SearcharxivSearch

arXiv subjects

Tsviqa Lakrec

Publications and source records attributed to Tsviqa Lakrec.

8 recordsLinked to original sources

Cluster algebras and tilings for the m=4 amplituhedron

The amplituhedron $A_{n,k,m}(Z)$ is the image of the positive Grassmannian $Gr_{k,n}^{\geq 0}$ under the map ${Z}: Gr_{k,n}^{\geq 0} \to Gr_{k,k+m}$ induced by a positive linear map $Z:\mathbb{R}^n \to \mathbb{R}^{k+m}$. Motivated by a question of Hodges, Arkani-Hamed and Trnka introduced the amplituhedron in 2013 as a geometric object whose tilings conjecturally encode the BCFW recursion for computing scattering amplitudes. More specifically, the expectation was that one can compute scattering amplitudes in ${N}=4$ SYM by tiling the $m=4$ amplituhedron $A_{n,k,4}(Z)$ - that is, decomposing the amplituhedron into 'tiles' (closures of images of $4k$-dimensional cells of $Gr_{k,n}^{\geq 0}$ on which ${Z}$ is injective) - and summing the 'volumes' of the tiles. Also in 2013, Golden-Goncharov-Spradlin-Vergu-Volovich gave the first link between scattering amplitudes and cluster algebras, with Drummond-Foster-Gurdogan subsequently formulating the {cluster adjacency conjecture}. In this article we reveal and prove the deep mechanism behind `cluster phenomena' in tree-level scattering amplitudes. By connecting the BCFW recursion to a new cluster quasi-homomorphism on the Grassmannian $\Gr_{4,n}$, we prove the {cluster adjacency conjecture} for BCFW tiles, which says that each tile is a semialgebraic subset of the amplituhedron where a collection of compatible cluster variables take on definite signs. In particular, the facets of these tiles are cut out by compatible cluster variables. We also use the cluster description of BCFW tiles to prove the {BCFW tiling conjecture}, resolving the main original conjecture for the $m=4$ amplituhedron.

math.CO

Spectral Analysis of Word Statistics

Given a random text over a finite alphabet, we study the frequencies at which fixed-length words occur as subsequences. As the data size grows, the joint distribution of word counts exhibits a rich asymptotic structure. We investigate all linear combinations of subword statistics, and fully characterize their different orders of magnitude using diverse algebraic tools. Moreover, we establish the spectral decomposition of the space of word statistics of each order. We provide explicit formulas for the eigenvectors and eigenvalues of the covariance matrix of the multivariate distribution of these statistics. Our techniques include and elaborate on a set of algebraic word operators, recently studied and employed by Dieker and Saliola (Adv Math, 2018). Subword counts find applications in Combinatorics, Statistics, and Computer Science. We revisit special cases from the combinatorial literature, such as intransitive dice, random core partitions, and questions on random walk. Our structural approach describes in a unified framework several classical statistical tests. We propose further potential applications to data analysis and machine learning.

math.PR

BCFW tilings and cluster adjacency for the amplituhedron

In 2005, Britto, Cachazo, Feng and Witten gave a recurrence (now known as the BCFW recurrence) for computing scattering amplitudes in N=4 super Yang Mills theory. Arkani-Hamed and Trnka subsequently introduced the amplituhedron to give a geometric interpretation of the BCFW recurrence. Arkani-Hamed and Trnka conjectured that each way of iterating the BCFW recurrence gives a "triangulation" or "tiling" of the m=4 amplituhedron. In this article we prove the BCFW tiling conjecture of Arkani-Hamed and Trnka. We also prove the cluster adjacency conjecture for BCFW tiles of the amplituhedron, which says that facets of tiles are cut out by collections of compatible cluster variables for the Grassmannian Gr(4,n). Moreover we show that each BCFW tile is the subset of the Grassmannian where certain cluster variables have particular signs.

math.CO

The Amplituhedron BCFW Triangulation

The amplituhedron Ank4 is a geometric object, introduced by Arkani-Hamed and Trnka (2013) in the study of scattering amplitudes in quantum field theories. They conjecture that Ank4 admits a decomposition into images of BCFW positroid cells, arising from the Britto--Cachazo--Feng--Witten recurrence (2005). We prove that this conjecture is true.

math-ph

A cluster of results on amplituhedron tiles

The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in $\mathcal{N}=4$ super Yang Mills theory. It generalizes \emph{cyclic polytopes} and the \emph{positive Grassmannian}, and has a very rich combinatorics with connections to cluster algebras. In this article we provide a series of results about tiles and tilings of the $m=4$ amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for $\mbox{Gr}_{4,n}$. Secondly, we exhibit a tiling of the $m=4$ amplituhedron which involves a tile which does not come from the BCFW recurrence -- the \emph{spurion} tile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for $\mbox{Gr}_{4,n}$. This paper is a companion to our previous paper ``Cluster algebras and tilings for the $m=4$ amplituhedron''.

math.CO

Equidistribution of affine random walks on some nilmanifolds

We study quantitative equidistribution in law of affine random walks on nilmanifolds, motivated by a result of Bourgain, Furman, Mozes and the third named author on the torus. Under certain assumptions, we show that a failure to having fast equidistribution is due to a failure on a factor nilmanifold. Combined with equidistribution results on the torus, this leads to an equidistribution statement on some nilmanifolds such as Heisenberg nilmanifolds. In an appendix we strengthen results of de Saxce and the first named author regarding random walks on the torus by eliminating an assumption on Zariski connectedness of the acting group.

math.DS

Scenery Reconstruction for Random Walk on Random Scenery Systems

Consider a simple random walk on $\mathbb{Z}$ with a random coloring of $\mathbb{Z}$. Look at the sequence of the first $N$ steps taken in the random walk, together with the colors of the visited locations. We call this the record. From the record one can deduce the coloring of of the interval in $\mathbb{Z}$ that was visited, which is of size approximately $\sqrt{N}$. This is called scenery reconstruction. Now suppose that an adversary may change $δN$ entries in the record that was obtained. What can be deduced from the record about the scenery now? In this paper we show that it is likely that we can still reconstruct a large part of the scenery. More precisely, we show that for any $θ<0.5,p>0,ε>0$, there are $N_{0}$ and $δ_{0}$ such that if $N>N_{0}$ and $δ<δ_{0}$ then with probability $>1-p$, the walk is such that we can reconstruct the coloring of $>N^θ$ integers, up to a number of possible reconstructions that is less than $2^{εs}$, where $s$ is the number of integers whose color we reconstruct.

math.PR

Affine random walks on the torus

We consider random walks on the torus arising from the action of the group of affine transformations. We give a quantitative equidistribution result for this random walk under the assumption that the Zariski closure of the group generated by the linear part acts strongly irreducibly on $\mathbb{R}^d$ and is either Zariski connected or contains a proximal element. Specifically, we give quantitative estimates (depending only on the linear part of the random walk) for how fast the random walk equidistributes unless the initial point and the translation part of the affine transformations can be perturbed so that the random walk is trapped in a finite orbit of small cardinality. In particular, we prove that the random walk equidistributes in law to the Haar measure if and only if the random walk is not trapped in a finite orbit.

math.DS