@inproceedings{7272,
  abstract     = {Many systems rely on optimistic concurrent search trees for multi-core scalability. In principle, optimistic trees have a simple performance story: searches are read-only and so run in parallel, with writes to shared memory occurring only when modifying the data structure. However, this paper shows that in practice, obtaining the full performance benefits of optimistic search trees is not so simple.

We focus on optimistic binary search trees (BSTs) and perform a detailed performance analysis of 10 state-of-the-art BSTs on large scale x86-64 hardware, using both microbenchmarks and an in-memory database system. We find and explain significant unexpected performance differences between BSTs with similar tree structure and search implementations, which we trace to subtle performance-degrading interactions of BSTs with systems software and hardware subsystems. We further derive a prescriptive approach to avoid this performance degradation, as well as algorithmic insights on optimistic BST design. Our work underlines the gap between the theory and practice of multi-core performance, and calls for further research to help bridge this gap.},
  author       = {Arbel-Raviv, Maya and Brown, Trevor A and Morrison, Adam},
  booktitle    = {Proceedings of the 2018 USENIX Annual Technical Conference},
  isbn         = {9781939133021},
  location     = {Boston, MA, United States},
  pages        = {295--306},
  publisher    = {USENIX Association},
  title        = {{Getting to the root of concurrent binary search tree performance}},
  year         = {2020},
}

@inproceedings{85,
  abstract     = {Concurrent accesses to shared data structures must be synchronized to avoid data races. Coarse-grained synchronization, which locks the entire data structure, is easy to implement but does not scale. Fine-grained synchronization can scale well, but can be hard to reason about. Hand-over-hand locking, in which operations are pipelined as they traverse the data structure, combines fine-grained synchronization with ease of use. However, the traditional implementation suffers from inherent overheads. This paper introduces snapshot-based synchronization (SBS), a novel hand-over-hand locking mechanism. SBS decouples the synchronization state from the data, significantly improving cache utilization. Further, it relies on guarantees provided by pipelining to minimize synchronization that requires cross-thread communication. Snapshot-based synchronization thus scales much better than traditional hand-over-hand locking, while maintaining the same ease of use.},
  author       = {Gilad, Eran and Brown, Trevor A and Oskin, Mark and Etsion, Yoav},
  issn         = {03029743},
  location     = {Turin, Italy},
  pages        = {465 -- 479},
  publisher    = {Springer},
  title        = {{Snapshot based synchronization: A fast replacement for Hand-over-Hand locking}},
  doi          = {10.1007/978-3-319-96983-1_33},
  volume       = {11014},
  year         = {2018},
}

@article{1880,
  abstract     = {We investigate the relation between Bose-Einstein condensation (BEC) and superfluidity in the ground state of a one-dimensional model of interacting bosons in a strong random potential. We prove rigorously that in a certain parameter regime the superfluid fraction can be arbitrarily small while complete BEC prevails. In another regime there is both complete BEC and complete superfluidity, despite the strong disorder},
  author       = {Könenberg, Martin and Moser, Thomas and Seiringer, Robert and Yngvason, Jakob},
  journal      = {New Journal of Physics},
  publisher    = {IOP Publishing Ltd.},
  title        = {{Superfluid behavior of a Bose-Einstein condensate in a random potential}},
  doi          = {10.1088/1367-2630/17/1/013022},
  volume       = {17},
  year         = {2015},
}

@article{1573,
  abstract     = {We present a new, simpler proof of the unconditional uniqueness of solutions to the cubic Gross-Pitaevskii hierarchy in ℝ3. One of the main tools in our analysis is the quantum de Finetti theorem. Our uniqueness result is equivalent to the one established in the celebrated works of Erdos, Schlein, and Yau.},
  author       = {Chen, Thomas and Hainzl, Christian and Pavlović, Nataša and Seiringer, Robert},
  journal      = {Communications on Pure and Applied Mathematics},
  number       = {10},
  pages        = {1845 -- 1884},
  publisher    = {Wiley},
  title        = {{Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti}},
  doi          = {10.1002/cpa.21552},
  volume       = {68},
  year         = {2015},
}

@article{1821,
  abstract     = {We review recent progress towards a rigorous understanding of the Bogoliubov approximation for bosonic quantum many-body systems. We focus, in particular, on the excitation spectrum of a Bose gas in the mean-field (Hartree) limit. A list of open problems will be discussed at the end.},
  author       = {Seiringer, Robert},
  journal      = {Journal of Mathematical Physics},
  number       = {7},
  publisher    = {American Institute of Physics},
  title        = {{Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation}},
  doi          = {10.1063/1.4881536},
  volume       = {55},
  year         = {2014},
}

@article{1904,
  abstract     = {We prove a Strichartz inequality for a system of orthonormal functions, with an optimal behavior of the constant in the limit of a large number of functions. The estimate generalizes the usual Strichartz inequality, in the same fashion as the Lieb-Thirring inequality generalizes the Sobolev inequality. As an application, we consider the Schrödinger equation with a time-dependent potential and we show the existence of the wave operator in Schatten spaces.},
  author       = {Frank, Rupert and Lewin, Mathieu and Lieb, Élliott and Seiringer, Robert},
  journal      = {Journal of the European Mathematical Society},
  number       = {7},
  pages        = {1507 -- 1526},
  publisher    = {European Mathematical Society},
  title        = {{Strichartz inequality for orthonormal functions}},
  doi          = {10.4171/JEMS/467},
  volume       = {16},
  year         = {2014},
}

@article{1918,
  abstract     = {As the nuclear charge Z is continuously decreased an N-electron atom undergoes a binding-unbinding transition. We investigate whether the electrons remain bound and whether the radius of the system stays finite as the critical value Zc is approached. Existence of a ground state at Zc is shown under the condition Zc < N-K, where K is the maximal number of electrons that can be removed at Zc without changing the energy.},
  author       = {Bellazzini, Jacopo and Frank, Rupert and Lieb, Élliott and Seiringer, Robert},
  journal      = {Reviews in Mathematical Physics},
  number       = {1},
  publisher    = {World Scientific Publishing},
  title        = {{Existence of ground states for negative ions at the binding threshold}},
  doi          = {10.1142/S0129055X13500219},
  volume       = {26},
  year         = {2014},
}

@article{1926,
  abstract     = {We consider cross products of finite graphs with a class of trees that have arbitrarily but finitely long line segments, such as the Fibonacci tree. Such cross products are called tree-strips. We prove that for small disorder random Schrödinger operators on such tree-strips have purely absolutely continuous spectrum in a certain set.},
  author       = {Sadel, Christian},
  journal      = {Mathematical Physics, Analysis and Geometry},
  number       = {3-4},
  pages        = {409 -- 440},
  publisher    = {Springer},
  title        = {{Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips}},
  doi          = {10.1007/s11040-014-9163-4},
  volume       = {17},
  year         = {2014},
}

@article{2186,
  abstract     = {We prove the existence of scattering states for the defocusing cubic Gross-Pitaevskii (GP) hierarchy in ℝ3. Moreover, we show that an exponential energy growth condition commonly used in the well-posedness theory of the GP hierarchy is, in a specific sense, necessary. In fact, we prove that without the latter, there exist initial data for the focusing cubic GP hierarchy for which instantaneous blowup occurs.},
  author       = {Chen, Thomas and Hainzl, Christian and Pavlović, Nataša and Seiringer, Robert},
  journal      = {Letters in Mathematical Physics},
  number       = {7},
  pages        = {871 -- 891},
  publisher    = {Springer},
  title        = {{On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti}},
  doi          = {10.1007/s11005-014-0693-2},
  volume       = {104},
  year         = {2014},
}

@article{2407,
  abstract     = {Two definitions of the effective mass of a particle interacting with a quantum field, such as a polaron, are considered and shown to be equal in models similar to the Fröhlich polaron model. These are: 1. the mass defined by the low momentum energy E(P)≈E(0)+P2/2 M of the translation invariant system constrained to have momentum P and 2. the mass M of a simple particle in an arbitrary slowly varying external potential, V, described by the nonrelativistic Schrödinger equation, whose ground state energy equals that of the combined particle/field system in a bound state in the same V.},
  author       = {Lieb, Élliott and Seiringer, Robert},
  journal      = {Journal of Statistical Physics},
  number       = {1-2},
  pages        = {51 -- 57},
  publisher    = {Springer},
  title        = {{Equivalence of two definitions of the effective mass of a polaron}},
  doi          = {10.1007/s10955-013-0791-z},
  volume       = {154},
  year         = {2014},
}