More Like this

1. The $$L^p$$-Fisher–Rao metric and Amari–C̆encov $$\alpha $$-Connections

   https://doi.org/10.1007/s00526-024-02660-5  

   Bauer, Martin ; Le Brigant, Alice ; Lu, Yuxiu ; Maor, Cy ( February 2024 , Calculus of Variations and Partial Differential Equations)

   We introduce a family of Finsler metrics, called the$$L^p$$$L^p$-Fisher–Rao metrics$$F_p$$$F_p$, for$$p\in (1,\infty )$$$p\in (1,\infty )$, which generalizes the classical Fisher–Rao metric$$F_2$$$F_2$, both on the space of densities$${\text {Dens}}_+(M)$$${\text{Dens}}_{+}\left(M\right)$and probability densities$${\text {Prob}}(M)$$$\text{Prob}\left(M\right)$. We then study their relations to the Amari–C̆encov$$\alpha $$$\alpha$-connections$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$from information geometry: on$${\text {Dens}}_+(M)$$${\text{Dens}}_{+}\left(M\right)$, the geodesic equations of$$F_p$$$F_p$and$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$coincide, for$$p = 2/(1-\alpha )$$$p=2/(1-\alpha )$. Both are pullbacks of canonical constructions on$$L^p(M)$$$L^p\left(M\right)$, in which geodesics are simply straight lines. In particular, this gives a new variational interpretation of$$\alpha $$$\alpha$-geodesics as being energy minimizing curves. On$${\text {Prob}}(M)$$$\text{Prob}\left(M\right)$, the$$F_p$$$F_p$and$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$geodesics can still be thought as pullbacks of natural operations on the unit sphere in$$L^p(M)$$$L^p\left(M\right)$, but in this case they no longer coincide unless$$p=2$$$p=2$. Using this transformation, we solve the geodesic equation of the$$\alpha $$$\alpha$-connection by showing that the geodesic are pullbacks of projections of straight lines onto the unit sphere, and they always cease to exists after finite time when they leave the positive part of the sphere. This unveils the geometric structure of solutions to the generalized Proudman–Johnson equations, and generalizes them to higher dimensions. In addition, we calculate the associate tensors of$$F_p$$$F_p$, and study their relation to$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$.

    

   more » « less
2. Random Quantum Circuits Transform Local Noise into Global White Noise

   https://doi.org/10.1007/s00220-024-04958-z  

   Dalzell, Alexander M. ; Hunter-Jones, Nicholas ; Brandão, Fernando G. S. L. ( March 2024 , Communications in Mathematical Physics)

   We study the distribution over measurement outcomes of noisy random quantum circuits in the regime of low fidelity, which corresponds to the setting where the computation experiences at least one gate-level error with probability close to one. We model noise by adding a pair of weak, unital, single-qubit noise channels after each two-qubit gate, and we show that for typical random circuit instances, correlations between the noisy output distribution$$p_{\text {noisy}}$$$p_{\text{noisy}}$and the corresponding noiseless output distribution$$p_{\text {ideal}}$$$p_{\text{ideal}}$shrink exponentially with the expected number of gate-level errors. Specifically, the linear cross-entropy benchmarkFthat measures this correlation behaves as$$F=\text {exp}(-2s\epsilon \pm O(s\epsilon ^2))$$$F=\text{exp}(-2sϵ\pm O\left(s{ϵ}^2\right))$, where$$\epsilon $$$ϵ$is the probability of error per circuit location andsis the number of two-qubit gates. Furthermore, if the noise is incoherent—for example, depolarizing or dephasing noise—the total variation distance between the noisy output distribution$$p_{\text {noisy}}$$$p_{\text{noisy}}$and the uniform distribution$$p_{\text {unif}}$$$p_{\text{unif}}$decays at precisely the same rate. Consequently, the noisy output distribution can be approximated as$$p_{\text {noisy}}\approx Fp_{\text {ideal}}+ (1-F)p_{\text {unif}}$$$p_{\text{noisy}}\approx F{p}_{\text{ideal}}+(1-F)p_{\text{unif}}$. In other words, although at least one local error occurs with probability$$1-F$$$1-F$, the errors are scrambled by the random quantum circuit and can be treated as global white noise, contributing completely uniform output. Importantly, we upper bound the average total variation error in this approximation by$$O(F\epsilon \sqrt{s})$$$O\left(Fϵ\sqrt{s}\right)$. Thus, the “white-noise approximation” is meaningful when$$\epsilon \sqrt{s} \ll 1$$$ϵ\sqrt{s}\ll 1$, a quadratically weaker condition than the$$\epsilon s\ll 1$$$ϵs\ll 1$requirement to maintain high fidelity. The bound applies if the circuit size satisfies$$s \ge \Omega (n\log (n))$$$s\ge \Omega (nlog(n\left)\right)$, which corresponds to onlylogarithmic depthcircuits, and if, additionally, the inverse error rate satisfies$$\epsilon ^{-1} \ge {\tilde{\Omega }}(n)$$${ϵ}^{-1}\ge \tilde{\Omega }\left(n\right)$, which is needed to ensure errors are scrambled faster thanFdecays. The white-noise approximation is useful for salvaging the signal from a noisy quantum computation; for example, it was an underlying assumption in complexity-theoretic arguments that noisy random quantum circuits cannot be efficiently sampled classically, even when the fidelity is low. Our method is based on a map from second-moment quantities in random quantum circuits to expectation values of certain stochastic processes for which we compute upper and lower bounds.

    

   more » « less
3. Torsion phenomena for zero-cycles on a product of curves over a number field

   https://doi.org/10.1007/s40993-024-00519-4  

   Gazaki, Evangelia ; Love, Jonathan ( March 2024 , Research in Number Theory)

   For a smooth projective varietyXover an algebraic number fieldka conjecture of Bloch and Beilinson predicts that the kernel of the Albanese map ofXis a torsion group. In this article we consider a product$$X=C_1\times \cdots \times C_d$$$X=C_1\times \cdots \times C_d$of smooth projective curves and show that if the conjecture is true for any subproduct of two curves, then it is true forX. For a product$$X=C_1\times C_2$$$X=C_1\times C_2$of two curves over$$\mathbb {Q} $$$Q$with positive genus we construct many nontrivial examples that satisfy the weaker property that the image of the natural map$$J_1(\mathbb {Q})\otimes J_2(\mathbb {Q})\xrightarrow {\varepsilon }{{\,\textrm{CH}\,}}_0(C_1\times C_2)$$$J_1\left(Q\right)\otimes J_2\left(Q\right)\stackrel{\epsilon }{\to }{\text{CH}}_0(C_1\times C_2)$is finite, where$$J_i$$$J_i$is the Jacobian variety of$$C_i$$$C_i$. Our constructions include many new examples of non-isogenous pairs of elliptic curves$$E_1, E_2$$$E_1,E_2$with positive rank, including the first known examples of rank greater than 1. Combining these constructions with our previous result, we obtain infinitely many nontrivial products$$X=C_1\times \cdots \times C_d$$$X=C_1\times \cdots \times C_d$for which the analogous map$$\varepsilon $$$\epsilon$has finite image.

    

   more » « less
4. The geometric distribution of Selmer groups of elliptic curves over function fields

   https://doi.org/10.1007/s00208-022-02429-1  

   Feng, Tony ; Landesman, Aaron ; Rains, Eric M. ( September 2022 , Mathematische Annalen)

   Fix a positive integernand a finite field$${\mathbb {F}}_q$$$F_q$. We study the joint distribution of the rank$${{\,\mathrm{rk}\,}}(E)$$$\mathrm{rk}\left(E\right)$, then-Selmer group$$\text {Sel}_n(E)$$${\text{Sel}}_n\left(E\right)$, and then-torsion in the Tate–Shafarevich group Equation missing<#comment/>asEvaries over elliptic curves of fixed height$$d \ge 2$$$d\ge 2$over$${\mathbb {F}}_q(t)$$$F_q\left(t\right)$. We compute this joint distribution in the largeqlimit. We also show that the “largeq, then large height” limit of this distribution agrees with the one predicted by Bhargava–Kane–Lenstra–Poonen–Rains.

    

   more » « less
5. Undecidable Translational Tilings with Only Two Tiles, or One Nonabelian Tile

   https://doi.org/10.1007/s00454-022-00426-4  

   Greenfeld, Rachel ; Tao, Terence ( January 2023 , Discrete & Computational Geometry)

   We construct an example of a group$$G = \mathbb {Z}^2 \times G_0$$$G=Z^2\times G_0$for a finite abelian group $$G_0$$$G_0$, a subsetEof $$G_0$$$G_0$, and two finite subsets$$F_1,F_2$$$F_1,F_2$of G, such that it is undecidable in ZFC whether$$\mathbb {Z}^2\times E$$$Z^2\times E$can be tiled by translations of$$F_1,F_2$$$F_1,F_2$. In particular, this implies that this tiling problem isaperiodic, in the sense that (in the standard universe of ZFC) there exist translational tilings ofEby the tiles$$F_1,F_2$$$F_1,F_2$, but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in $$\mathbb {Z}^2$$$Z^2$). A similar construction also applies for$$G=\mathbb {Z}^d$$$G=Z^d$for sufficiently large d. If one allows the group$$G_0$$$G_0$to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile F. The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles.

    

   more » « less