BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Amol Aggarwal

Amol Aggarwal contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.PRmath-phmath.MPmath.COComputational ComplexityComputational GeometryData Structures and AlgorithmsDiscrete Mathematicsmath.CA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
9topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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, &#34;The TASEP speed process&#34;, Annals of Probability 39, 1205--1242, 2011] and allows us to construct the ASEP speed process.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access