-
On the Ground State Energies of Discrete and Semiclassical Schrödinger Operators
Authors:
Isabel Detherage,
Nikhil Srivastava,
Zachary Stier
Abstract:
We study the infimum of the spectrum, or ground state energy (g.s.e.), of a discrete Schrödinger operator on $θ\mathbb{Z}^d$ parameterized by a potential $V:\mathbb{R}^d\rightarrow\mathbb{R}_{\ge 0}$ and a frequency parameter $θ\in (0,1)$. We relate this g.s.e. to that of a corresponding continuous semiclassical Schrödinger operator on $\mathbb{R}^d$ with parameter $θ$, arising from the same choic…
▽ More
We study the infimum of the spectrum, or ground state energy (g.s.e.), of a discrete Schrödinger operator on $θ\mathbb{Z}^d$ parameterized by a potential $V:\mathbb{R}^d\rightarrow\mathbb{R}_{\ge 0}$ and a frequency parameter $θ\in (0,1)$. We relate this g.s.e. to that of a corresponding continuous semiclassical Schrödinger operator on $\mathbb{R}^d$ with parameter $θ$, arising from the same choice of potential. We show that: the discrete g.s.e. is at most the continuous one for continuous periodic $V$ and irrational $θ$; the opposite inequality holds up to a factor of $1-o(1)$ as $θ\rightarrow 0$ for sufficiently regular smooth periodic $V$; and the opposite inequality holds up to a constant factor for every bounded $V$ and $θ$ with the property that discrete and continuous averages of $V$ on fundamental domains of $θ\mathbb{Z}^d$ are comparable. Our proofs are elementary and rely on sampling and interpolation to map low-energy functions for the discrete operator on $θ\mathbb{Z}^d$ to low-energy functions for the continuous operator on $\mathbb{R}^d$, and vice versa.
△ Less
Submitted 6 July, 2024; v1 submitted 9 May, 2024;
originally announced May 2024.
-
A Ricci flow on graphs from effective resistance
Authors:
Aleyah Dawkins,
Vishal Gupta,
Mark Kempton,
William Linz,
Jeremy Quail,
Harry Richman,
Zachary Stier
Abstract:
In this paper, we introduce a new notion of curvature on the edges of a graph that is defined in terms of effective resistances. We call this the Ricci--Foster curvature. We study the Ricci flow resulting from this curvature. We prove the existence of solutions to Ricci flow on short time intervals, and prove that Ricci flow preserves graphs with nonnegative (resp. positive) curvature.
In this paper, we introduce a new notion of curvature on the edges of a graph that is defined in terms of effective resistances. We call this the Ricci--Foster curvature. We study the Ricci flow resulting from this curvature. We prove the existence of solutions to Ricci flow on short time intervals, and prove that Ricci flow preserves graphs with nonnegative (resp. positive) curvature.
△ Less
Submitted 2 March, 2024;
originally announced March 2024.
-
Node resistance curvature in Cartesian graph products
Authors:
Aleyah Dawkins,
Vishal Gupta,
Mark Kempton,
William Linz,
Jeremy Quail,
Harry Richman,
Zachary Stier
Abstract:
Devriendt and Lambiotte recently introduced the \emph{node resistance curvature}, a notion of graph curvature based on the effective resistance matrix. In this paper, we begin the study of the behavior of the node resistance curvature under the operation of the Cartesian graph product. We study the natural question of global positivity of node resistance curvature of the Cartesian product of posit…
▽ More
Devriendt and Lambiotte recently introduced the \emph{node resistance curvature}, a notion of graph curvature based on the effective resistance matrix. In this paper, we begin the study of the behavior of the node resistance curvature under the operation of the Cartesian graph product. We study the natural question of global positivity of node resistance curvature of the Cartesian product of positively-curved graphs, and prove that, whenever $m,n\ge3$, the node resistance curvature of the interior vertices of a $m\times n$ grid is always nonpositive, while it is always nonnegative on the boundary of such grids. For completeness, we also prove a number of results on node resistance curvature in $2\times n$ grids and exhibit a counterexample to a generalization. We also give generic bounds and suggest several further questions for future study.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
Fast Navigation with Icosahedral Golden Gates
Authors:
Terrence Richard Blackman,
Zachary Stier
Abstract:
An algorithm of Ross and Selinger for the factorization of diagonal elements of PU(2) to within distance $\varepsilon$ was adapted by Parzanchevski and Sarnak into an efficient probabilistic algorithm for any element of PU(2) using at most effective $3\log_p\frac{1}{\varepsilon^{3}}$ factors from certain well-chosen sets associated to a number field and a prime $p$. The icosahedral super golden ga…
▽ More
An algorithm of Ross and Selinger for the factorization of diagonal elements of PU(2) to within distance $\varepsilon$ was adapted by Parzanchevski and Sarnak into an efficient probabilistic algorithm for any element of PU(2) using at most effective $3\log_p\frac{1}{\varepsilon^{3}}$ factors from certain well-chosen sets associated to a number field and a prime $p$. The icosahedral super golden gates are one such set associated to $\mathbb{Q}(\sqrt{5})$. We leverage recent work of Carvalho Pinto, Petit, and Stier to reduce this bound to $\frac{7}{3}\log_{59}\frac{1}{\varepsilon^3}$, and we implement the algorithm in Python. This represents an improvement by a multiplicative factor of $\log_259\approx5.9$ over the analogous result for the Clifford+$T$ gates. This is of interest because the icosahedral gates have shortest factorization lengths among all super golden gates.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Short paths in PU(2)
Authors:
Zachary Stier
Abstract:
Parzanchevski and Sarnak recently adapted an algorithm of Ross and Selinger for factorization of PU(2)-diagonal elements to within distance $\varepsilon$ into an efficient probabilistic algorithm for any PU(2)-element, using at most $3\log_p\frac{1}{\varepsilon^3}$ factors from certain well-chosen sets. The Clifford+$T$ gates are one such set arising from $p=2$. In that setting, we leverage recent…
▽ More
Parzanchevski and Sarnak recently adapted an algorithm of Ross and Selinger for factorization of PU(2)-diagonal elements to within distance $\varepsilon$ into an efficient probabilistic algorithm for any PU(2)-element, using at most $3\log_p\frac{1}{\varepsilon^3}$ factors from certain well-chosen sets. The Clifford+$T$ gates are one such set arising from $p=2$. In that setting, we leverage recent work of Carvalho Pinto and Petit to improve this to $\frac{7}{3}\log_2\frac{1}{\varepsilon^3}$, and implement the algorithm in Haskell.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
Dihedral Sieving on Cluster Complexes
Authors:
Zachary Stier,
Julian Wellman,
Zixuan Xu
Abstract:
The cyclic sieving phenomenon of Reiner, Stanton, and White characterizes the stabilizers of cyclic group actions on finite sets using q-analogue polynomials. Eu and Fu demonstrated a cyclic sieving phenomenon on generalized cluster complexes of every type using the q-Catalan numbers. In this paper, we exhibit the dihedral sieving phenomenon, introduced for odd n by Rao and Suk, on clusters of eve…
▽ More
The cyclic sieving phenomenon of Reiner, Stanton, and White characterizes the stabilizers of cyclic group actions on finite sets using q-analogue polynomials. Eu and Fu demonstrated a cyclic sieving phenomenon on generalized cluster complexes of every type using the q-Catalan numbers. In this paper, we exhibit the dihedral sieving phenomenon, introduced for odd n by Rao and Suk, on clusters of every type. In the type A case, we show that the Raney numbers count both reflection-symmetric k-angulations of an n-gon and a particular evaluation of the (q,t)-Fuss--Catalan numbers. We also introduce a sieving phenomenon for the symmetric group, and discuss possibilities for dihedral sieving for even n.
△ Less
Submitted 26 October, 2021; v1 submitted 23 November, 2020;
originally announced November 2020.
-
Optimal topological generators of $U(1)$
Authors:
Zachary Stier
Abstract:
Sarnak's golden mean conjecture states that $(m+1)d_\varphi(m)\le1+\frac{2}{\sqrt{5}}$ for all integers $m\ge1$, where $\varphi$ is the golden mean and $d_θ$ is the discrepancy function for $m+1$ multiples of $θ$ modulo 1. In this paper, we characterize the set $\mathcal{S}$ of values $θ$ that share this property, as well as the set $\mathcal{T}$ of those with the property for some lower bound…
▽ More
Sarnak's golden mean conjecture states that $(m+1)d_\varphi(m)\le1+\frac{2}{\sqrt{5}}$ for all integers $m\ge1$, where $\varphi$ is the golden mean and $d_θ$ is the discrepancy function for $m+1$ multiples of $θ$ modulo 1. In this paper, we characterize the set $\mathcal{S}$ of values $θ$ that share this property, as well as the set $\mathcal{T}$ of those with the property for some lower bound $m\ge M$. Remarkably, $\mathcal{S}\text{ mod }1$ has only 16 elements, whereas $\mathcal{T}$ is the set of $GL_2(\mathbb{Z})$-transformations of $\varphi$.
△ Less
Submitted 8 February, 2020;
originally announced February 2020.
-
A Taxonomy of Crystallographic Sphere Packings
Authors:
Debra Chait,
Alisa Cui,
Zachary Stier
Abstract:
The Apollonian circle packing, generated from three mutually-tangent circles in the plane, has inspired over the past half-century the study of other classes of space-filling packings, both in two and in higher dimensions. Recently, Kontorovich and Nakamura introduced the notion of crystallographic sphere packings, $n$-dimensional packings of spheres with symmetry groups that are isometries of…
▽ More
The Apollonian circle packing, generated from three mutually-tangent circles in the plane, has inspired over the past half-century the study of other classes of space-filling packings, both in two and in higher dimensions. Recently, Kontorovich and Nakamura introduced the notion of crystallographic sphere packings, $n$-dimensional packings of spheres with symmetry groups that are isometries of $\mathbb{H}^{n+1}$. There exist at least three sources which give rise to crystallographic packings, namely polyhedra, reflective extended Bianchi groups, and various higher dimensional quadratic forms. When applied in conjunction with the Koebe-Andreev-Thurston Theorem, Kontorovich and Nakamura's Structure Theorem guarantees crystallographic packings to be generated from polyhedra in $n=2$. The Structure Theorem similarly allows us to generate packings from the reflective extended Bianchi groups in $n=2$ by applying Vinberg's algorithm to obtain the appropriate Coxeter diagrams. In $n>2$, the Structure Theorem when used with Vinberg's algorithm allows us to explore whether certain Coxeter diagrams in $\mathbb{H}^{n+1}$ for a given quadratic form admit a packing at all. Kontorovich and Nakamura's Finiteness Theorem shows that there exist only finitely many classes of superintegral such packings, all of which exist in dimensions $n\le20$. In this work, we systematically determine all known examples of crystallographic sphere packings.
△ Less
Submitted 6 March, 2019;
originally announced March 2019.