Showing 1–7 of 7 results for author: Adve, A

Hyperbolic 3-manifolds with uniform spectral gap for coclosed 1-forms

Authors: Amina Abdurrahman, Anshul Adve, Vikram Giri, Ben Lowe, Jonathan Zung

Abstract: We study two quantifications of being a homology sphere for hyperbolic 3-manifolds, one geometric and one topological: the spectral gap for the Laplacian on coclosed 1-forms and the size of the first torsion homology group. We first construct a sequence of closed hyperbolic integer homology spheres with volume tending to infinity and a uniform coclosed 1-form spectral gap. This answers a question… ▽ More We study two quantifications of being a homology sphere for hyperbolic 3-manifolds, one geometric and one topological: the spectral gap for the Laplacian on coclosed 1-forms and the size of the first torsion homology group. We first construct a sequence of closed hyperbolic integer homology spheres with volume tending to infinity and a uniform coclosed 1-form spectral gap. This answers a question asked by Lin--Lipnowski. We also find sequences of hyperbolic rational homology spheres with the same properties that geometrically converge to a tame limit manifold. Moreover, we show that any such sequence must have unbounded torsion homology growth. Finally we show that a sequence of closed hyperbolic rational homology 3-spheres with uniformly bounded rank and a uniform coclosed 1-form spectral gap must have torsion homology that grows exponentially in volume. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Density criteria for Fourier uniqueness phenomena in $\mathbf{R}^d$

Authors: Anshul Adve

Abstract: We show that if a closed discrete subset $A \subseteq \mathbf{R}^d$ is denser than a certain critical threshold, then $A$ is a Fourier uniqueness set, while if $A$ is sparser, then uniqueness fails and one can prescribe arbitrary values for a Schwartz function and its Fourier transform on $A$ (assuming those values are rapidly decreasing). More general results of the same nature hold for Fourier u… ▽ More We show that if a closed discrete subset $A \subseteq \mathbf{R}^d$ is denser than a certain critical threshold, then $A$ is a Fourier uniqueness set, while if $A$ is sparser, then uniqueness fails and one can prescribe arbitrary values for a Schwartz function and its Fourier transform on $A$ (assuming those values are rapidly decreasing). More general results of the same nature hold for Fourier uniqueness pairs. This is an analog in all dimensions of the work of Kulikov, Nazarov, and Sodin in dimension $1$. Our methods are unrelated. As an application of our results, we produce Fourier uniqueness sets in higher dimensions which are optimally well-separated (up to constants). Our techniques also give the first purely analytic construction of discrete Fourier uniqueness pairs in higher dimensions. For a concrete example, consider \begin{align*} A = \{δ|n|^{t-1} n : n \in \mathbf{Z}^d\} \qquad \text{and} \qquad B = \{δ|n|^{u-1} n : n \in \mathbf{Z}^d\}, \end{align*} where $t,u,δ> 0$ and $t+u = 1$. We show that when $δ$ is sufficiently small, $(A,B)$ is a Fourier uniqueness pair, but when $δ$ is sufficiently large, there is an infinite-dimensional space of Schwartz functions $f$ with $f|_A = \hat{f}|_B = 0$. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: 30 pages

An efficient algorithm for deciding vanishing of Schubert polynomial coefficients

Authors: Anshul Adve, Colleen Robichaux, Alexander Yong

Abstract: Schubert polynomials form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. The vanishing problem for Schubert polynomials asks if a coefficient of a Schubert polynomial is zero. We give a tableau criterion to solve this problem, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope,… ▽ More Schubert polynomials form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. The vanishing problem for Schubert polynomials asks if a coefficient of a Schubert polynomial is zero. We give a tableau criterion to solve this problem, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid. In contrast, we show that computing these coefficients explicitly is #P-complete. △ Less

Submitted 8 March, 2021; originally announced March 2021.

Comments: 30 pages. This paper was split off from 1810.10361v1, with a new title and abstract. That earlier preprint has been replaced by a conference proceedings version 1810.10361v2, with a different title and abstract; it contains complexity discussion and a related conjecture not found here. To appear in Advances in Math

Journal ref: Adv. Math. 383 (2021), Paper No. 107669, 38 pp

On nonexpansiveness of metric projection operators on Wasserstein spaces

Authors: Anshul Adve, Alpár Mészáros

Abstract: In this paper we investigate properties of metric projections onto specific closed and geodesically convex proper subsets of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p).$ When $d=1$, as $(\mathcal{P}_2(\mathbf{R}),W_2)$ is isometrically isomorphic to a flat space with a Hilbertian structure, the corresponding projection operators are expected to be nonexpansive. We give a direct proof of… ▽ More In this paper we investigate properties of metric projections onto specific closed and geodesically convex proper subsets of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p).$ When $d=1$, as $(\mathcal{P}_2(\mathbf{R}),W_2)$ is isometrically isomorphic to a flat space with a Hilbertian structure, the corresponding projection operators are expected to be nonexpansive. We give a direct proof of this fact, relying on intrinsic analysis, which also implies nonexpansiveness in certain special cases in higher dimensions. When $d>1$, we show the failure of this property in two regimes: when $p>1$ is either small enough or large enough. Finally, we prove some positive curvature properties of Wasserstein spaces $(\mathcal{P}_p(\mathbf{R}^d),W_p)$ when $d\ge 2$ and $p\in(1,+\infty)$ are arbitrary: we show that Wasserstein spaces are nowhere locally Busemann NPC spaces, and they nowhere locally satisfy the so-called projection criterion. As a corollary of the former, they have nonnegative upper Alexandrov curvature, in a precise sense that we define here. In our analysis a particular subset of probability measures having densities uniformly bounded above by a given constant plays a special role. △ Less

Submitted 19 February, 2024; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: 16 pages

Computational complexity, Newton polytopes, and Schubert polynomials

Authors: Anshul Adve, Colleen Robichaux, Alexander Yong

Abstract: The nonvanishing problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, nonvanishing is in the complexity class $NP\cap coNP$ of problems with "good characterizations". This suggests a new algebraic combinatorics… ▽ More The nonvanishing problem asks if a coefficient of a polynomial is nonzero. Many families of polynomials in algebraic combinatorics admit combinatorial counting rules and simultaneously enjoy having saturated Newton polytopes (SNP). Thereby, in amenable cases, nonvanishing is in the complexity class $NP\cap coNP$ of problems with "good characterizations". This suggests a new algebraic combinatorics viewpoint on complexity theory. This report discusses the case of Schubert polynomials. These form a basis of all polynomials and appear in the study of cohomology rings of flag manifolds. We give a tableau criterion for nonvanishing, from which we deduce the first polynomial time algorithm. These results are obtained from new characterizations of the Schubitope, a generalization of the permutahedron defined for any subset of the n x n grid, together with a theorem of A. Fink, K. Mészáros, and A. St. Dizier, which proved a conjecture of C. Monical, N. Tokcan, and the third author. △ Less

Submitted 5 March, 2021; v1 submitted 24 October, 2018; originally announced October 2018.

Comments: 12 pages. v2 is the conference proceedings version. The remaining material of v1 (proofs, the theorem on #P-completeness) is split off into a subsequent arXiv post. That post has a different title ("An efficient algorithm for deciding vanishing of Schubert polynomial coefficients"), abstract, and discussion of the general "nonvanishing problem" removed

Journal ref: Proceedings of the 31st Conference on Formal Power Series and Algebraic Combinatorics (Ljubljana), Sem. Lothar. Combin. 82B (2020), Art. 52, 12 pp

Vanishing of Littlewood-Richardson polynomials is in P

Authors: Anshul Adve, Colleen Robichaux, Alexander Yong

Abstract: J. DeLoera-T. McAllister and K. D. Mulmuley-H. Narayanan-M. Sohoni independently proved that determining the vanishing of Littlewood-Richardson coefficients has strongly polynomial time computational complexity. Viewing these as Schubert calculus numbers, we prove the generalization to the Littlewood-Richardson polynomials that control equivariant cohomology of Grassmannians. We construct a polyto… ▽ More J. DeLoera-T. McAllister and K. D. Mulmuley-H. Narayanan-M. Sohoni independently proved that determining the vanishing of Littlewood-Richardson coefficients has strongly polynomial time computational complexity. Viewing these as Schubert calculus numbers, we prove the generalization to the Littlewood-Richardson polynomials that control equivariant cohomology of Grassmannians. We construct a polytope using the edge-labeled tableau rule of H. Thomas-A. Yong. Our proof then combines a saturation theorem of D. Anderson-E. Richmond-A. Yong, a reading order independence property, and E. Tardos' algorithm for combinatorial linear programming. △ Less

Submitted 14 August, 2017; originally announced August 2017.

Comments: 10 pages

Journal ref: Computational Complexity 28 (2019), no. 2, 241-257

Symmetric group representations and Z

Authors: Anshul Adve, Alexander Yong

Abstract: We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient. We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient. △ Less

Submitted 30 June, 2017; originally announced July 2017.

Comments: 4 pages

Journal ref: C. R. Math. Acad. Sci. Paris 356 (2018), No. 1, 1-4