2.9k citations
- Centre National de la Recherche ScientifiqueFR147 papers
- University of OxfordGB114 papers
- University of CambridgeGB88 papers
- Max Planck Institute for Extraterrestrial PhysicsDE84 papers
- University of BristolGB80 papers
- University College LondonGB78 papers
- Center for Astrophysics Harvard & SmithsonianUS72 papers
- Space Telescope Science InstituteUS72 papers
- National Institute for AstrophysicsIT71 papers
- University of EdinburghGB69 papers
- University of WarwickGB69 papers
- University of CopenhagenDK63 papers
101 papers · 1 filter
Hubbard model for atomic impurities bound by the vortex lattice of a rotating BEC
T. H. Johnson, Y. Yuan, W. Bao +3
We investigate cold bosonic impurity atoms trapped in a vortex lattice formed by condensed bosons of another species. We describe the dynamics of the impurities by a bosonic Hubbar…
Typed realizability for first-order classical analysis
Valentin Blot
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed λμ-calculus. This allows a direct interpretation of classical pr…
Efficient photonic reformatting of celestial light for diffraction-limited spectroscopy
David G. MacLachlan, Robert J. Harris, Itandehui Gris-Sánchez +9
The spectral resolution of a dispersive astronomical spectrograph is limited by the trade-off between throughput and the width of the entrance slit. Photonic guided-wave transition…
Long paths in first passage percolation on the complete graph I. Local PWIT dynamics
M. Eckhoff, J. Goodman, R. van der Hofstad +1
We study the random geometry of first passage percolation on the complete graph equipped with independent and identically distributed edge weights, continuing the program initiated…
Long paths in first passage percolation on the complete graph II. Global branching dynamics
M. Eckhoff, J. Goodman, R. van der Hofstad +1
We study the random geometry of first passage percolation on the complete graph equipped with independent and identically distributed edge weights, continuing the program initiated…
Mesh Adaptation on the Sphere using Optimal Transport and the Numerical Solution of a Monge-Ampère type Equation
Hilary Weller, Philip Browne, Chris Budd +1
An equation of Monge-Ampère type has, for the first time, been solved numerically on the surface of the sphere in order to generate optimally transported (OT) meshes, equidistribut…