@article{12313, abstract = {Let P be a nontorsion point on an elliptic curve defined over a number field K and consider the sequence {Bn}n∈N of the denominators of x(nP). We prove that every term of the sequence of the Bn has a primitive divisor for n greater than an effectively computable constant that we will explicitly compute. This constant will depend only on the model defining the curve.}, author = {Verzobio, Matteo}, issn = {0030-8730}, journal = {Pacific Journal of Mathematics}, number = {2}, pages = {331--351}, publisher = {Mathematical Sciences Publishers}, title = {{Some effectivity results for primitive divisors of elliptic divisibility sequences}}, doi = {10.2140/pjm.2023.325.331}, volume = {325}, year = {2023}, } @article{14245, abstract = {We establish effective counting results for lattice points in families of domains in real, complex and quaternionic hyperbolic spaces of any dimension. The domains we focus on are defined as product sets with respect to an Iwasawa decomposition. Several natural diophantine problems can be reduced to counting lattice points in such domains. These include equidistribution of the ratio of the length of the shortest solution (x,y) to the gcd equation bx−ay=1 relative to the length of (a,b), where (a,b) ranges over primitive vectors in a disc whose radius increases, the natural analog of this problem in imaginary quadratic number fields, as well as equidistribution of integral solutions to the diophantine equation defined by an integral Lorentz form in three or more variables. We establish an effective rate of convergence for these equidistribution problems, depending on the size of the spectral gap associated with a suitable lattice subgroup in the isometry group of the relevant hyperbolic space. The main result underlying our discussion amounts to establishing effective joint equidistribution for the horospherical component and the radial component in the Iwasawa decomposition of lattice elements.}, author = {Horesh, Tal and Nevo, Amos}, issn = {1945-5844}, journal = {Pacific Journal of Mathematics}, number = {2}, pages = {265--294}, publisher = {Mathematical Sciences Publishers}, title = {{Horospherical coordinates of lattice points in hyperbolic spaces: Effective counting and equidistribution}}, doi = {10.2140/pjm.2023.324.265}, volume = {324}, year = {2023}, } @article{13091, abstract = {We use a function field version of the Hardy–Littlewood circle method to study the locus of free rational curves on an arbitrary smooth projective hypersurface of sufficiently low degree. On the one hand this allows us to bound the dimension of the singular locus of the moduli space of rational curves on such hypersurfaces and, on the other hand, it sheds light on Peyre’s reformulation of the Batyrev–Manin conjecture in terms of slopes with respect to the tangent bundle.}, author = {Browning, Timothy D and Sawin, Will}, issn = {1944-7833}, journal = {Algebra & Number Theory}, number = {3}, pages = {719--748}, publisher = {Mathematical Sciences Publishers}, title = {{Free rational curves on low degree hypersurfaces and the circle method}}, doi = {10.2140/ant.2023.17.719}, volume = {17}, year = {2023}, } @article{13973, abstract = {We construct families of log K3 surfaces and study the arithmetic of their members. We use this to produce explicit surfaces with an order 5 Brauer–Manin obstruction to the integral Hasse principle.}, author = {Lyczak, Julian}, issn = {0373-0956}, journal = {Annales de l'Institut Fourier}, number = {2}, pages = {447--478}, publisher = {Association des Annales de l'Institut Fourier}, title = {{Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces}}, doi = {10.5802/aif.3529}, volume = {73}, year = {2023}, } @article{12427, abstract = {Let k be a number field and X a smooth, geometrically integral quasi-projective variety over k. For any linear algebraic group G over k and any G-torsor g : Z → X, we observe that if the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for all twists of Z by elements in H^1(k, G), then the étale-Brauer obstruction is the only one for strong approximation off a finite set of places S for X. As an application, we show that any homogeneous space of the form G/H with G a connected linear algebraic group over k satisfies strong approximation off the infinite places with étale-Brauer obstruction, under some compactness assumptions when k is totally real. We also prove more refined strong approximation results for homogeneous spaces of the form G/H with G semisimple simply connected and H finite, using the theory of torsors and descent.}, author = {Balestrieri, Francesca}, issn = {1088-6826}, journal = {Proceedings of the American Mathematical Society}, number = {3}, pages = {907--914}, publisher = {American Mathematical Society}, title = {{Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups}}, doi = {10.1090/proc/15239}, volume = {151}, year = {2023}, } @article{12916, abstract = {We apply a variant of the square-sieve to produce an upper bound for the number of rational points of bounded height on a family of surfaces that admit a fibration over P1 whose general fibre is a hyperelliptic curve. The implied constant does not depend on the coefficients of the polynomial defining the surface. }, author = {Bonolis, Dante and Browning, Timothy D}, issn = {2036-2145}, journal = {Annali della Scuola Normale Superiore di Pisa, Classe di Scienze}, number = {1}, pages = {173--204}, publisher = {Scuola Normale Superiore - Edizioni della Normale}, title = {{Uniform bounds for rational points on hyperelliptic fibrations}}, doi = {10.2422/2036-2145.202010_018}, volume = {24}, year = {2023}, } @article{13180, abstract = {We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface}, author = {Browning, Timothy D and Lyczak, Julian and Sarapin, Roman}, issn = {1944-4184}, journal = {Involve}, number = {2}, pages = {331--342}, publisher = {Mathematical Sciences Publishers}, title = {{Local solubility for a family of quadrics over a split quadric surface}}, doi = {10.2140/involve.2023.16.331}, volume = {16}, year = {2023}, } @article{14717, abstract = {We count primitive lattices of rank d inside Zn as their covolume tends to infinity, with respect to certain parameters of such lattices. These parameters include, for example, the subspace that a lattice spans, namely its projection to the Grassmannian; its homothety class and its equivalence class modulo rescaling and rotation, often referred to as a shape. We add to a prior work of Schmidt by allowing sets in the spaces of parameters that are general enough to conclude the joint equidistribution of these parameters. In addition to the primitive d-lattices Λ themselves, we also consider their orthogonal complements in Zn⁠, A1⁠, and show that the equidistribution occurs jointly for Λ and A1⁠. Finally, our asymptotic formulas for the number of primitive lattices include an explicit bound on the error term.}, author = {Horesh, Tal and Karasik, Yakov}, issn = {1464-3847}, journal = {Quarterly Journal of Mathematics}, number = {4}, pages = {1253--1294}, publisher = {Oxford University Press}, title = {{Equidistribution of primitive lattices in ℝn}}, doi = {10.1093/qmath/haad008}, volume = {74}, year = {2023}, } @article{18179, abstract = {Linnik type problems concern the distribution of projections of integral points on the unit sphere as their norm increases, and different generalizations of this phenomenon. Our work addresses a question of this type: we prove the uniform distribution of the projections of primitive Z2 points in the p-adic unit sphere, as their (real) norm tends to infinity. The proof is via counting lattice points in semi-simple S-arithmetic groups.}, author = {Guilloux, Antonin and Horesh, Tal}, issn = {2592-6616}, journal = {Publications mathématiques de Besançon - Algèbre et Théorie des nombres}, pages = {85--107}, publisher = {Presses Universitaires de Franche-Comté}, title = {{p-adic directions of primitive vectors}}, doi = {10.5802/pmb.50}, volume = {2023}, year = {2023}, } @article{8682, abstract = {It is known that the Brauer--Manin obstruction to the Hasse principle is vacuous for smooth Fano hypersurfaces of dimension at least 3 over any number field. Moreover, for such varieties it follows from a general conjecture of Colliot-Thélène that the Brauer--Manin obstruction to the Hasse principle should be the only one, so that the Hasse principle is expected to hold. Working over the field of rational numbers and ordering Fano hypersurfaces of fixed degree and dimension by height, we prove that almost every such hypersurface satisfies the Hasse principle provided that the dimension is at least 3. This proves a conjecture of Poonen and Voloch in every case except for cubic surfaces.}, author = {Browning, Timothy D and Boudec, Pierre Le and Sawin, Will}, issn = {0003-486X}, journal = {Annals of Mathematics}, number = {3}, pages = {1115--1203}, publisher = {Princeton University}, title = {{The Hasse principle for random Fano hypersurfaces}}, doi = {10.4007/annals.2023.197.3.3}, volume = {197}, year = {2023}, } @article{9034, abstract = {We determine an asymptotic formula for the number of integral points of bounded height on a blow-up of P3 outside certain planes using universal torsors.}, author = {Wilsch, Florian Alexander}, issn = {1687-0247}, journal = {International Mathematics Research Notices}, number = {8}, pages = {6780--6808}, publisher = {Oxford University Press}, title = {{Integral points of bounded height on a log Fano threefold}}, doi = {10.1093/imrn/rnac048}, volume = {2023}, year = {2023}, } @article{13097, abstract = {Vertebrate movement is orchestrated by spinal inter- and motor neurons that, together with sensory and cognitive input, produce dynamic motor behaviors. These behaviors vary from the simple undulatory swimming of fish and larval aquatic species to the highly coordinated running, reaching and grasping of mice, humans and other mammals. This variation raises the fundamental question of how spinal circuits have changed in register with motor behavior. In simple, undulatory fish, exemplified by the lamprey, two broad classes of interneurons shape motor neuron output: ipsilateral-projecting excitatory neurons, and commissural-projecting inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates, a more complex spinal neuron composition is observed. In this review, we provide evidence that movement elaboration correlates with an increase and specialization of these three basic interneuron types into molecularly, anatomically, and functionally distinct subpopulations. We summarize recent work linking neuron types to movement-pattern generation across fish, amphibians, reptiles, birds and mammals.}, author = {Wilson, Alexia C and Sweeney, Lora Beatrice Jaeger}, issn = {1662-5110}, journal = {Frontiers in Neural Circuits}, publisher = {Frontiers}, title = {{Spinal cords: Symphonies of interneurons across species}}, doi = {10.3389/fncir.2023.1146449}, volume = {17}, year = {2023}, } @inproceedings{13120, abstract = {We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to show closure of the class of type-0 languages under four operations: union, reversal, concatenation, and the Kleene star. The literature mostly focuses on Turing machine arguments, which are possibly more difficult to formalize. For the Kleene star, we could not follow the literature and came up with our own grammar-based construction.}, author = {Dvorak, Martin and Blanchette, Jasmin}, booktitle = {14th International Conference on Interactive Theorem Proving}, isbn = {9783959772846}, issn = {1868-8969}, location = {Bialystok, Poland}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Closure properties of general grammars - formally verified}}, doi = {10.4230/LIPIcs.ITP.2023.15}, volume = {268}, year = {2023}, } @article{13049, abstract = {We propose a computational design approach for covering a surface with individually addressable RGB LEDs, effectively forming a low-resolution surface screen. To achieve a low-cost and scalable approach, we propose creating designs from flat PCB panels bent in-place along the surface of a 3D printed core. Working with standard rigid PCBs enables the use of established PCB manufacturing services, allowing the fabrication of designs with several hundred LEDs. Our approach optimizes the PCB geometry for folding, and then jointly optimizes the LED packing, circuit and routing, solving a challenging layout problem under strict manufacturing requirements. Unlike paper, PCBs cannot bend beyond a certain point without breaking. Therefore, we introduce parametric cut patterns acting as hinges, designed to allow bending while remaining compact. To tackle the joint optimization of placement, circuit and routing, we propose a specialized algorithm that splits the global problem into one sub-problem per triangle, which is then individually solved. Our technique generates PCB blueprints in a completely automated way. After being fabricated by a PCB manufacturing service, the boards are bent and glued by the user onto the 3D printed support. We demonstrate our technique on a range of physical models and virtual examples, creating intricate surface light patterns from hundreds of LEDs.}, author = {Freire, Marco and Bhargava, Manas and Schreck, Camille and Hugron, Pierre-Alexandre and Bickel, Bernd and Lefebvre, Sylvain}, issn = {1557-7368}, journal = {Transactions on Graphics}, keywords = {PCB design and layout, Mesh geometry models}, location = {Los Angeles, CA, United States}, number = {4}, publisher = {Association for Computing Machinery}, title = {{PCBend: Light up your 3D shapes with foldable circuit boards}}, doi = {10.1145/3592411}, volume = {42}, year = {2023}, } @article{13317, abstract = {We prove the Eigenstate Thermalisation Hypothesis (ETH) for local observables in a typical translation invariant system of quantum spins with L-body interactions, where L is the number of spins. This mathematically verifies the observation first made by Santos and Rigol (Phys Rev E 82(3):031130, 2010, https://doi.org/10.1103/PhysRevE.82.031130) that the ETH may hold for systems with additional translational symmetries for a naturally restricted class of observables. We also present numerical support for the same phenomenon for Hamiltonians with local interaction.}, author = {Sugimoto, Shoki and Henheik, Sven Joscha and Riabov, Volodymyr and Erdös, László}, issn = {1572-9613}, journal = {Journal of Statistical Physics}, number = {7}, publisher = {Springer Nature}, title = {{Eigenstate thermalisation hypothesis for translation invariant spin systems}}, doi = {10.1007/s10955-023-03132-4}, volume = {190}, year = {2023}, } @article{14343, abstract = {The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation.}, author = {Cipolloni, Giorgio and Erdös, László and Henheik, Sven Joscha and Kolupaiev, Oleksii}, issn = {2050-5094}, journal = {Forum of Mathematics, Sigma}, publisher = {Cambridge University Press}, title = {{Gaussian fluctuations in the equipartition principle for Wigner matrices}}, doi = {10.1017/fms.2023.70}, volume = {11}, year = {2023}, } @article{14421, abstract = {Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\in\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission).}, author = {Henheik, Sven Joscha and Tumulka, Roderich}, issn = {1751-8121}, journal = {Journal of Physics A: Mathematical and Theoretical}, number = {44}, publisher = {IOP Publishing}, title = {{Creation rate of Dirac particles at a point source}}, doi = {10.1088/1751-8121/acfe62}, volume = {56}, year = {2023}, } @article{12702, abstract = {Hydrocarbon mixtures are extremely abundant in the Universe, and diamond formation from them can play a crucial role in shaping the interior structure and evolution of planets. With first-principles accuracy, we first estimate the melting line of diamond, and then reveal the nature of chemical bonding in hydrocarbons at extreme conditions. We finally establish the pressure-temperature phase boundary where it is thermodynamically possible for diamond to form from hydrocarbon mixtures with different atomic fractions of carbon. Notably, here we show a depletion zone at pressures above 200 GPa and temperatures below 3000 K-3500 K where diamond formation is thermodynamically favorable regardless of the carbon atomic fraction, due to a phase separation mechanism. The cooler condition of the interior of Neptune compared to Uranus means that the former is much more likely to contain the depletion zone. Our findings can help explain the dichotomy of the two ice giants manifested by the low luminosity of Uranus, and lead to a better understanding of (exo-)planetary formation and evolution.}, author = {Cheng, Bingqing and Hamel, Sebastien and Bethkenhagen, Mandy}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Thermodynamics of diamond formation from hydrocarbon mixtures in planets}}, doi = {10.1038/s41467-023-36841-1}, volume = {14}, year = {2023}, } @article{12912, abstract = {The chemical potential of adsorbed or confined fluids provides insight into their unique thermodynamic properties and determines adsorption isotherms. However, it is often difficult to compute this quantity from atomistic simulations using existing statistical mechanical methods. We introduce a computational framework that utilizes static structure factors, thermodynamic integration, and free energy perturbation for calculating the absolute chemical potential of fluids. For demonstration, we apply the method to compute the adsorption isotherms of carbon dioxide in a metal-organic framework and water in carbon nanotubes.}, author = {Schmid, Rochus and Cheng, Bingqing}, issn = {1089-7690}, journal = {The Journal of Chemical Physics}, number = {16}, publisher = {AIP Publishing}, title = {{Computing chemical potentials of adsorbed or confined fluids}}, doi = {10.1063/5.0146711}, volume = {158}, year = {2023}, } @article{12879, abstract = {Machine learning (ML) has been widely applied to chemical property prediction, most prominently for the energies and forces in molecules and materials. The strong interest in predicting energies in particular has led to a ‘local energy’-based paradigm for modern atomistic ML models, which ensures size-extensivity and a linear scaling of computational cost with system size. However, many electronic properties (such as excitation energies or ionization energies) do not necessarily scale linearly with system size and may even be spatially localized. Using size-extensive models in these cases can lead to large errors. In this work, we explore different strategies for learning intensive and localized properties, using HOMO energies in organic molecules as a representative test case. In particular, we analyze the pooling functions that atomistic neural networks use to predict molecular properties, and suggest an orbital weighted average (OWA) approach that enables the accurate prediction of orbital energies and locations.}, author = {Chen, Ke and Kunkel, Christian and Cheng, Bingqing and Reuter, Karsten and Margraf, Johannes T.}, issn = {2041-6539}, journal = {Chemical Science}, publisher = {Royal Society of Chemistry}, title = {{Physics-inspired machine learning of localized intensive properties}}, doi = {10.1039/d3sc00841j}, year = {2023}, }