Source author record

Amol Aggarwal

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.PR math-ph math.MP math.CO Computational Geometry Computational Complexity Data Structures and Algorithms Discrete Mathematics math.CA math.NT

Catalog footprint

Research overview

11works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Arctic Boundaries of the Ice Model on Three-Bundle Domains

In this paper we consider the six-vertex model at ice point on an arbitrary three-bundle domain, which is a generalization of the domain-wall ice model on the square (or, equivalently, of a uniformly random alternating sign matrix). We show that this model exhibits the arctic boundary phenomenon, whose boundary is given by a union of explicit algebraic curves. This was originally predicted by Colomo-Sportiello in 2016 as one of the initial applications of a general heuristic that they introduced for locating arctic boundaries, called the (geometric) tangent method. Our proof uses a probabilistic analysis of non-crossing directed path ensembles to provide a mathematical justification of their tangent method heuristic in this case, which might be of independent interest.

preprint2022arXiv

Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation

For any real numbers $B \ge 1$ and $δ\in (0, 1)$ and function $f: [0, B] \rightarrow \mathbb{R}$ , let $d_{B; δ} (f) \in \mathbb{Z}_{> 0}$ denote the minimum degree of a polynomial $p(x)$ satisfying $\sup_{x \in [0, B]} \big| p(x) - f(x) \big| < δ$ . In this paper, we provide precise asymptotics for $d_{B; δ} (e^{-x})$ and $d_{B; δ} (e^{x})$ in terms of both $B$ and $δ$ , improving both the previously known upper bounds and lower bounds. In particular, we show $d_{B; δ} (e^{-x}) = Θ\left( \max \left\{ \sqrt{B \log(δ^{-1})}, \frac{\log(δ^{-1}) }{ \log(B^{-1} \log(δ^{-1}))} \right\}\right), \text{ and}$ $d_{B; δ} (e^{x}) = Θ\left( \max \left\{ B, \frac{\log(δ^{-1}) }{ \log(B^{-1} \log(δ^{-1}))} \right\}\right).$ Polynomial approximations for $e^{-x}$ and $e^x$ have applications to the design of algorithms for many problems, and our degree bounds show both the power and limitations of these algorithms. We focus in particular on the Batch Gaussian Kernel Density Estimation problem for $n$ sample points in $Θ(\log n)$ dimensions with error $δ= n^{-Θ(1)}$ . We show that the running time one can achieve depends on the square of the diameter of the point set, $B$ , with a transition at $B = Θ(\log n)$ mirroring the corresponding transition in $d_{B; δ} (e^{-x})$ : - When $B=o(\log n)$ , we give the first algorithm running in time $n^{1 + o(1)}$ . - When $B = κ\log n$ for a small constant $κ>0$ , we give an algorithm running in time $n^{1 + O(\log \log κ^{-1} /\log κ^{-1})}$ . The $\log \log κ^{-1} /\log κ^{-1}$ term in the exponent comes from analyzing the behavior of the leading constant in our computation of $d_{B; δ} (e^{-x})$ . - When $B = ω(\log n)$ , we show that time $n^{2 - o(1)}$ is necessary assuming SETH.

preprint2022arXiv

The ASEP speed process

For ASEP with step initial data and a second class particle started at the origin we prove that as time goes to infinity the second class particle almost surely achieves a velocity that is uniformly distributed on $[-1,1]$ . This positively resolves Conjecture 1.9 and 1.10 of [Amir, Angel and Valko, "The TASEP speed process", Annals of Probability 39, 1205--1242, 2011] and allows us to construct the ASEP speed process.

preprint2020arXiv

Nonexistence and Uniqueness for Pure States of Ferroelectric Six-Vertex Models

In this paper we consider the existence and uniqueness of pure states with some fixed slope $(s, t) \in [0, 1]^2$ for a general ferroelectric six-vertex model. First, we show there is an open subset $\mathfrak{H} \subset [0, 1]^2$ , which is parameterized by the region between two explicit hyperbolas, such that there is no pure state for the ferroelectric six-vertex model of any slope $(s, t) \in \mathfrak{H}$ . Second, we show that there is a unique pure state for this model of any slope $(s, t)$ on the boundary $\partial \mathfrak{H}$ of $\mathfrak{H}$ . These results confirm predictions of Bukman-Shore from 1995.

preprint2019arXiv

Limit Shapes and Local Statistics for the Stochastic Six-Vertex Model

In this paper we consider the stochastic six-vertex model on a cylinder with arbitrary initial data. First, we show that it exhibits a limit shape in the thermodynamic limit, whose density profile is given by the entropy solution to an explicit, non-linear conservation law that was predicted by Gwa-Spohn in 1992 and by Reshetikhin-Sridhar in 2018. Then, we show that the local statistics of this model around any continuity point of its limit shape are given by an infinite-volume, translation-invariant Gibbs measure of the appropriate slope.

preprint2016arXiv

Convergence of the Stochastic Six-Vertex Model to the ASEP

In this note we establish the convergence of the stochastic six-vertex model to the one-dimensional asymmetric simple exclusion process, under a certain limit regime recently predicted by Borodin-Corwin-Gorin. This convergence holds for arbitrary initial data.

preprint2016arXiv

Phase Transitions in the ASEP and Stochastic Six-Vertex Model

In this paper we consider two models in the Kardar-Parisi-Zhang (KPZ) universality class, the asymmetric simple exclusion process (ASEP) and the stochastic six-vertex model. We introduce a new class of initial data (which we call {\itshape generalized step Bernoulli initial data}) for both of these models that generalizes the step Bernoulli initial data studied in a number of recent works on the ASEP. Under this class of initial data, we analyze the current fluctuations of both the ASEP and stochastic six-vertex model and establish the existence of a phase transition along a characteristic line, across which the fluctuation exponent changes from $1 / 2$ to $1 / 3$ . On the characteristic line, the current fluctuations converge to the general (rank $k$ ) Baik-Ben-Arous-Péché distribution for the law of the largest eigenvalue of a critically spiked covariance matrix. For $k = 1$ , this was established for the ASEP by Tracy and Widom; for $k > 1$ (and also $k = 1$ , for the stochastic six-vertex model), the appearance of these distributions in both models is new.

preprint2015arXiv

Armstrong's Conjecture for $(k, mk + 1)$ -Core Partitions

A conjecture of Armstrong states that if $\gcd (a, b) = 1$ , then the average size of an $(a, b)$ -core partition is $(a - 1)(b - 1)(a + b + 1) / 24$ . Recently, Stanley and Zanello used a recursive argument to verify this conjecture when $a = b - 1$ . In this paper we use a variant of their method to establish Armstrong's conjecture in the more general setting where $a$ divides $b - 1$ .

preprint2014arXiv

On Unit Distances in a Convex Polygon

In 1959, Erdős and Moser asked for the maximum number of unit distances that may be formed among the vertices of a convex $n$ -gon; until now, the best known upper bound has been $2πn \log_2 n + O(n)$ , achieved by Füredi in 1990. In this paper, we examine two properties that any convex polygon must satisfy and use them to prove several new facts related to the question posed by Erdős and Moser. In particular, we improve on Füredi's result, and instead obtain a bound of $n \log_2 n + O(n)$ ; we exhibit a class of `cycles' formed by unit distances that are forbidden in convex polygons; and we provide a lower bound that shows the limitations of our methods. The second result addresses a question asked by Fishburn and Reeds regarding the possible configurations of vertices that form a convex polygon.

preprint2014arXiv

When Does the Set of $(a, b, c)$ -Core Partitions Have a Unique Maximal Element?

In 2007, Olsson and Stanton gave an explicit form for the largest $(a, b)$ -core partition, for any relatively prime positive integers $a$ and $b$ , and asked whether there exists an $(a, b)$ -core that contains all other $(a, b)$ -cores as subpartitions; this question was answered in the affirmative first by Vandehey and later by Fayers independently. In this paper we investigate a generalization of this question, which was originally posed by Fayers: for what triples of positive integers $(a, b, c)$ does there exist an $(a, b, c)$ -core that contains all other $(a, b, c)$ -cores as subpartitions? We completely answer this question when $a$ , $b$ , and $c$ are pairwise relatively prime; we then use this to generalize the result of Olsson and Stanton.

preprint2010arXiv

On Isosceles Triangles and Related Problems in a Convex Polygon

Given any convex $n$ -gon, in this article, we: (i) prove that its vertices can form at most $n^2/2 + Θ(n\log n)$ isosceles trianges with two sides of unit length and show that this bound is optimal in the first order, (ii) conjecture that its vertices can form at most $3n^2/4 + o(n^2)$ isosceles triangles and prove this conjecture for a special group of convex $n$ -gons, (iii) prove that its vertices can form at most $\lfloor n/k \rfloor$ regular $k$ -gons for any integer $k\ge 4$ and that this bound is optimal, and (iv) provide a short proof that the sum of all the distances between its vertices is at least $(n-1)/2$ and at most $\lfloor n/2 \rfloor \lceil n/2 \rceil(1/2)$ as long as the convex $n$ -gon has unit perimeter.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Amol Aggarwal

Research overview

Is this your work?

11 publications

Arctic Boundaries of the Ice Model on Three-Bundle Domains

Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation

The ASEP speed process

Nonexistence and Uniqueness for Pure States of Ferroelectric Six-Vertex Models

Limit Shapes and Local Statistics for the Stochastic Six-Vertex Model

Convergence of the Stochastic Six-Vertex Model to the ASEP

Phase Transitions in the ASEP and Stochastic Six-Vertex Model

Armstrong's Conjecture for $(k, mk + 1)$ -Core Partitions

On Unit Distances in a Convex Polygon

When Does the Set of $(a, b, c)$ -Core Partitions Have a Unique Maximal Element?

On Isosceles Triangles and Related Problems in a Convex Polygon

See the researcher in context

Building this map preview

Amol Aggarwal

Research overview

Is this your work?

11 publications

Arctic Boundaries of the Ice Model on Three-Bundle Domains

Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation

The ASEP speed process

Nonexistence and Uniqueness for Pure States of Ferroelectric Six-Vertex Models

Limit Shapes and Local Statistics for the Stochastic Six-Vertex Model

Convergence of the Stochastic Six-Vertex Model to the ASEP

Phase Transitions in the ASEP and Stochastic Six-Vertex Model

Armstrong's Conjecture for (k,mk+1)(k, mk + 1)(k,mk+1)-Core Partitions

On Unit Distances in a Convex Polygon

When Does the Set of (a,b,c)(a, b, c)(a,b,c)-Core Partitions Have a Unique Maximal Element?

On Isosceles Triangles and Related Problems in a Convex Polygon

See the researcher in context

Building this map preview

Armstrong's Conjecture for $(k, mk + 1)$ -Core Partitions

When Does the Set of $(a, b, c)$ -Core Partitions Have a Unique Maximal Element?