arXiv++ Combinatorics

Inspired by the BCFW recurrence for tilings of the amplituhedron, we introduce the general framework of `plabic tangles' that utilizes plabic graphs to define rational maps between products of Grassmannians called `promotions'. The central conjecture of the paper is that promotion maps are quasi-cluster homomorphisms, which we prove for several classes of promotions. In order to define promotion maps, we utilize $m$-vector-relation configurations ($m$-VRCs) on plabic graphs. We relate $m$-VRCs to the degree (a.k.a `intersection number') of the amplituhedron map on positroid varieties and characterize all plabic trees with intersection number one and their VRCs. Finally, we show that promotion maps admit an operad structure and, supported by the class of `$4$-mass box' promotion, we point at new positivity properties for non-rational maps beyond cluster algebras. Promotion maps have important connections to the geometry and cluster structure of the amplituhedron and singularities of scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory.

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.

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''.

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 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. In this article we prove two major conjectures about the $m=4$ amplituhedron: $i)$ the BCFW tiling conjecture, which says that any way of iterating the BCFW recurrence gives rise to a tiling of the amplituhedron $A_{n,k,4}(Z)$; $ii)$ the cluster adjacency conjecture for BCFW tiles, which says that facets of tiles are cut out by collections of compatible cluster variables for $Gr_{4,n}$. Moreover, we show that each BCFW tile is the subset of $Gr_{k, k+4}$ where certain cluster variables have particular signs. Along the way, we construct many explicit seeds for $Gr_{4,n}$ comprised of high-degree cluster variables, which may be of independent interest in the study of cluster algebras.

We develop a general method for constructing random manifolds and submanifolds in arbitrary dimensions. The method is based on associating colors to the vertices of a triangulated manifold, as in recent work for curves in 3-dimensional space by Sheffield and Yadin (2014). We determine conditions on which submanifolds can arise, in terms of Stiefel-Whitney classes and other properties. We then consider the random submanifolds that arise from randomly coloring the vertices. Since this model generates submanifolds, it allows for studying properties and using tools that are not available in processes that produce general random subcomplexes. The case of 3 colors in a triangulated 3-ball gives rise to random knots and links. In this setting, we answer a question raised by de Crouy-Chanel and Simon (2019), showing that the probability of generating an unknot decays exponentially. In the general case of k colors in d-dimensional manifolds, we investigate the random submanifolds of different codimensions, as the number of vertices in the triangulation grows. We compute the expected Euler characteristic, and discuss relations to homological percolation and other topological properties. Finally, we explore a method to search for solutions to topological problems by generating random submanifolds. We describe computer experiments that search for a low-genus surface in the 4-dimensional ball whose boundary is a given knot in the 3-dimensional sphere.

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.

Motivated by potential applications in network theory, engineering and computer science, we study $r$-ample simplicial complexes. These complexes can be viewed as finite approximations to the Rado complex which has a remarkable property of {\it indestructibility,} in the sense that removing any finite number of its simplexes leaves a complex isomorphic to itself. We prove that an $r$-ample simplicial complex is simply connected and $2$-connected for $r$ large. The number $n$ of vertexes of an $r$-ample simplicial complex satisfies $\exp(Ω(\frac{2^r}{\sqrt{r}}))$. We use the probabilistic method to establish the existence of $r$-ample simplicial complexes with $n$ vertexes for any $n>r 2^r 2^{2^r}$. Finally, we introduce the iterated Paley simplicial complexes, which are explicitly constructed $r$-ample simplicial complexes with nearly optimal number of vertexes.

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.

In 1948 Hoeffding devised a nonparametric test that detects dependence between two continuous random variables X and Y, based on the ranking of n paired samples (Xi,Yi). The computation of this commonly-used test statistic takes O(n log n) time. Hoeffding's test is consistent against any dependent probability density f(x,y), but can be fooled by other bivariate distributions with continuous margins. Variants of this test with full consistency have been considered by Blum, Kiefer, and Rosenblatt (1961), Yanagimoto (1970), Bergsma and Dassios (2010). The so far best known algorithms to compute these stronger independence tests have required quadratic time. Here we improve their run time to O(n log n), by elaborating on new methods for counting ranking patterns, from a recent paper by the author and Leng (SODA'21). Therefore, in all circumstances under which the classical Hoeffding independence test is applicable, we provide novel competitive algorithms for consistent testing against all alternatives. Our R package, independence, offers a highly optimized implementation of these rank-based tests. We demonstrate its capabilities on large-scale datasets.

There is a well-studied correspondence by Jaclyn Anderson between partitions that avoid hooks of length s or t and certain binary strings of length s+t. Using this map, we prove that the total size of a random partition of this kind converges in law to Watson's U^2 distribution, as conjectured by Doron Zeilberger.

A surface with boundary is randomly generated by gluing polygons along some of their sides. We show that its genus and number of boundary components asymptotically follow a bivariate normal distribution.

A sample of n generic points in the xy-plane defines a permutation that relates their ranks along the two axes. Every subset of k points similarly defines a pattern, which occurs in that permutation. The number of occurrences of small patterns in a large permutation arises in many areas, including nonparametric statistics. It is therefore desirable to count them more efficiently than the straightforward ~O(n^k) time algorithm. This work proposes new algorithms for counting patterns. We show that all patterns of order 2 and 3, as well as eight patterns of order 4, can be counted in nearly linear time. To that end, we develop an algebraic framework that we call corner tree formulas. Our approach generalizes the existing methods and allows a systematic study of their scope. Using the machinery of corner trees, we find twenty-three independent linear combinations of order-4 patterns, that can be computed in time ~O(n). We also describe an algorithm that counts one of the remaining 4-patterns, and hence all 4-patterns, in time ~O(n^(3/2)). As a practical application, we provide a nearly linear time computation of a statistic by Yanagimoto (1970), Bergsma and Dassios (2010). This statistic yields a natural and strongly consistent variant of Hoeffding's test for independence of X and Y, given a random sample as above. This improves upon the so far most efficient ~O(n^2) algorithm.

Every k entries in a permutation can have one of k! different relative orders, called patterns. How many times does each pattern occur in a large random permutation of size n? The distribution of this k!-dimensional vector of pattern densities was studied by Janson, Nakamura, and Zeilberger (2015). Their analysis showed that some component of this vector is asymptotically multinormal of order 1/sqrt(n), while the orthogonal component is smaller. Using representations of the symmetric group, and the theory of U-statistics, we refine the analysis of this distribution. We show that it decomposes into k asymptotically uncorrelated components of different orders in n, that correspond to representations of Sk. Some combinations of pattern densities that arise in this decomposition have interpretations as practical nonparametric statistical tests.

We study collections of planar curves that yield diagrams for all knots. In particular, we show that a very special class called potholder curves carries all knots. This has implications for realizing all knots and links as special types of meanders and braids. We also introduce and apply a method to compare the efficiency of various classes of curves that represent all knots.

The study of knots and links from a probabilistic viewpoint provides insight into the behavior of "typical" knots, and opens avenues for new constructions of knots and other topological objects with interesting properties. The knotting of random curves arises also in applications to the natural sciences, such as in the context of the structure of polymers. We present here several known and new randomized models of knots and links. We review the main known results on the knot distribution in each model. We discuss the nature of these models and the properties of the knots they produce. Of particular interest to us are finite type invariants of random knots, and the recently studied Petaluma model. We report on rigorous results and numerical experiments concerning the asymptotic distribution of such knot invariants. Our approach raises questions of universality and classification of the various random knot models.

The representation of knots by petal diagrams (Adams et al. 2012) naturally defines a sequence of distributions on the set of knots. In this article we establish some basic properties of this randomized knot model. We prove that in the random n-petal model the probability of obtaining every specific knot type decays to zero as n, the number of petals, grows. In addition we improve the bounds relating the crossing number and the petal number of a knot. This implies that the n-petal model represents at least exponentially many distinct knots. Past approaches to showing, in some random models, that individual knot types occur with vanishing probability, rely on the prevalence of localized connect summands as the complexity of the knot increases. However this phenomenon is not clear in other models, including petal diagrams, random grid diagrams, and uniform random polygons. Thus we provide a new approach to investigate this question.

In a previous work, the first and third authors studied a random knot model for all two-bridge knots using billiard table diagrams. Here we present a closed formula for the distribution of the crossing numbers of such random knots. We also show that the probability of any given knot appearing in this model decays to zero at an exponential rate as the length of the billiard table goes to infinity. This confirms a conjecture from the previous work.

We introduce and study the writhe of a permutation, a circular variant of the well-known inversion number. This simple permutation statistics has several interpretations, which lead to some interesting properties. For a permutation sampled uniformly at random, we study the asymptotics of the writhe, and obtain a non-Gaussian limit distribution. This work is motivated by the study of random knots. A model for random framed knots is described, which refines the Petaluma model. The distribution of the framing in this model is equivalent to the writhe of random permutations.

We study random knots and links in R^3 using the Petaluma model, which is based on the petal projections developed by Adams et al. (2012). In this model we obtain a formula for the distribution of the linking number of a random two-component link. We also obtain formulas for the expectations and the higher moments of the Casson invariant and the order-3 knot invariant v3. These are the first precise formulas given for the distributions of invariants in any model for random knots or links. We also use numerical computation to compare these to other random knot and link models, such as those based on grid diagrams.

There is much recent interest in understanding the density at which constant size graphs can appear in a very large graph. Specifically, the inducibility of a graph H is its extremal density, as an induced subgraph of G, where |G| -> infinity. Already for 4-vertex graphs many questions are still open. Thus, the inducibility of the 4-path was addressed in a construction of Exoo (1986), but remains unknown. Refuting a conjecture of Erdos, Thomason (1997) constructed graphs with a small density of both 4-cliques and 4-anticliques. In this note, we merge these two approaches and construct better graphs for both problems.