natural ↗ reference
4897 papers tagged with this keyword
Iterated Ramsey bounds for the Hales-Jewett numbers
Consider the Hales-Jewett theorem. The $k$-dimensional version of it tells us that the combinatorial space $\mathcal{U}_{M, Λ} = \{ η\mid η: M \to Λ\}$ has, under suitable assumptions, monochromatic $k$-dimensional subspaces, where by a $k$-dimensional subspace we mean there exist a partition $\langle N_0, N_1, \cdots, N_k \rangle$ of $M$ such that $N_1, \cdots, N_k \neq \emptyset$ (but we allow $N_0$ to be empty) and some $ρ_0: N_0 \to Λ$, such that the subspace consists of those $ρ\in \mathcal{U}_{M, Λ}$ such that for $0<l<k+1, ρ\restriction N_l$ is constant and $ρ\restriction N_0= ρ_0.$
It seems natural to think it is better to have each $N_{l}, 0<l<k+1$ a singleton. However it is then impossible to always find monochromatic $k$-dimensional subspaces (for example color $η$ by $0$ if $|η^{-1}\{α\}|$ is an even number and by $1$ otherwise). But modulo restricting the sign of each $|η^{-1}\{α\}|$, we prove the parallel theorem -- whose proof is not related to the Hales-Jewett theorem. We then connect the two numbers by showing that the Hales-Jewett numbers are not too much above the present ones. This gives an alternative proof of the Hales-Jewett theorem.
Stringy Canonical Forms
Published
• View Publication
• BIB
Canonical forms of positive geometries play an important role in revealing hidden structures of scattering amplitudes, from amplituhedra to associahedra. In this paper, we introduce "stringy canonical forms", which provide a natural definition and extension of canonical forms for general polytopes, deformed by a parameter $α'$. They are defined by real or complex integrals regulated with polynomials with exponents, and are meromorphic functions of the exponents, sharing various properties of string amplitudes. As $α' \to 0$, they reduce to the usual canonical form of a polytope given by the Minkowski sum of the Newton polytopes of the regulating polynomials, or equivalently the volume of the dual of this polytope, naturally determined by tropical functions. At finite $α'$, they have simple poles corresponding to the facets of the polytope, with the residue on the pole given by the stringy canonical form of the facet. There is the remarkable connection between the $α' \to 0$ limit of tree-level string amplitudes, and scattering equations that appear when studying the $α' \to \infty$ limit. We show that there is a simple conceptual understanding of this phenomenon for any stringy canonical form: the saddle-point equations provide a diffeomorphism from the integration domain to the interior of the polytope, and thus the canonical form can be obtained as a pushforward via summing over saddle points. When the stringy canonical form is applied to the ABHY associahedron in kinematic space, it produces the usual Koba-Nielsen string integral, giving a direct path from particle to string amplitudes without an a priori reference to the string worldsheet. We also discuss a number of other examples, including stringy canonical forms for finite-type cluster algebras (with type A for string amplitudes), and other natural integrals over the positive Grassmannian.
Coefficients of the solid angle and Ehrhart quasi-polynomials
Macdonald studied a discrete volume measure for a rational polytope $P$, called solid angle sum, that gives a natural discrete volume for $P$. We give a local formula for the codimension two quasi-coefficient of the solid angle sum of $P$. We also show how to recover the classical Ehrhart quasi-polynomial from the solid angle sum and in particular we find a similar local formula for the codimension one and codimension two quasi-coefficients. These local formulas are naturally valid for all positive real dilates of $P$.
An interesting open question is to determine necessary and sufficient conditions on a polytope $P$ for which the discrete volume of $P$ given by the solid angle sum equals its continuous volume: $A_P(t) = \mathrm{vol}(P) t^d$. We prove that a sufficient condition is that $P$ tiles $\mathbb R^d$ by translations, together with the Hyperoctahedral group.
Second powers of cover ideals of paths
Published in Algebra Colloq. 29 (2022), no. 4, 669-686
• View Publication
• BIB
We show that the second power of the cover ideal of a path graph has linear quotients. To prove our result we construct a recursively defined order on the generators of the ideal which yields linear quotients. Our construction has a natural generalization to the larger class of chordal graphs. This generalization allows us to raise some questions that are related to some open problems about powers of cover ideals of chordal graphs.
Non-perturbative geometries for planar $\mathcal{N}=4$ SYM amplitudes
Published
• View Publication
• BIB
There is a remarkable well-known connection between the G$(4,n)$ cluster algebra and $n$-particle amplitudes in $\mathcal{N}=4$ SYM theory. For $n \ge 8$ two long-standing open questions have been to find a mathematically natural way to identify a finite list of amplitude symbol letters from among the infinitely many cluster variables, and to find an explanation for certain algebraic functions, such as the square roots of four-mass-box type, that are expected to appear in symbols but are not cluster variables. In this letter we use the notion of "stringy canonical forms" to construct polytopal realizations of certain compactifications of (the positive part of) the configuration space Conf${}_n(\mathbb{P}^{k-1}) \cong {\rm G}(k,n)/T$ that are manifestly finite for all $k$ and $n$. Some facets of these polytopes are naturally associated to cluster variables, while others are naturally associated to algebraic functions constructed from Lusztig's canonical basis. For $(k,n) = (4,8)$ the latter include precisely the expected square roots, revealing them to be related to certain "overpositive" functions of the kinematical invariants.
Automorphisms of the k-curve graph
Published
• View Publication
• BIB
Given a natural number k and an orientable surface S of finite type, define the k-curve graph to be the graph with vertices corresponding to isotopy classes of essential simple closed curves on S and with edges corresponding to pairs of such curves admitting representatives that intersect at most k times. We prove that the automorphism group of the k-curve graph of a surface S is isomorphic to the extended mapping class group for all k sufficiently small with respect to the Euler characteristic of S. We prove the same result for the so-called systolic complex, a variant of the curve graph whose complete subgraphs encode the intersection patterns for any collection of systoles with respect to a hyperbolic metric. This resolves a conjecture of Schmutz Schaller.
Sandpile Groups of Cayley Graphs of $\mathbb{F}_2^r$
Published
• View Publication
• BIB
The sandpile group of a connected graph $G$, defined to be the torsion part of the cokernel of the graph Laplacian, is a subtle graph invariant with combinatorial, algebraic, and geometric descriptions. Extending and improving previous works on the sandpile group of hypercubes, we study the sandpile groups of the Cayley graphs of $\mathbb{F}_2^r$, focusing on their poorly understood Sylow-$2$ component. We find the number of Sylow-$2$ cyclic factors for "generic" Cayley graphs and deduce a bound for the non-generic ones. Moreover, we provide a sharp upper bound for their largest Sylow-$2$ cyclic factors. In the case of hypercubes, we give exact formulae for the largest $n-1$ Sylow-$2$ cyclic factors. Some key ingredients of our work include the natural ring structure on these sandpile groups from representation theory, and calculation of the $2$-adic valuations of binomial sums via the combinatorics of carries.
Capelli operators for spherical superharmonics and the Dougall-Ramanujan identity
Published
• View Publication
• BIB
Let $(V,ω)$ be an orthosympectic $\mathbb Z_2$-graded vector space and let $\mathfrak g:=\mathfrak{gosp}(V,ω)$ denote the Lie superalgebra of similitudes of $(V,ω)$. When the space $\mathscr P(V)$ of superpolynomials on $V$ is \emph{not} a completely reducible $\mathfrak g$-module, we construct a natural basis $D_λ$ of Capelli operators for the algebra of $\mathfrak g$-invariant superpolynomial superdifferential operators on $V$, where the index set $\mathcal P$ is the set of integer partitions of length at most two. We compute the action of the operators $D_λ$ on maximal indecomposable components of $\mathscr P(V)$ explicitly, in terms of Knop-Sahi interpolation polynomials. Our results show that, unlike the cases where $\mathscr P(V)$ is completely reducible, the eigenvalues of a subfamily of the $D_λ$ are \emph{not} given by specializing the Knop-Sahi polynomials. Rather, the formulas for these eigenvalues involve suitably regularized forms of these polynomials. In addition, we demonstrate a close relationship between our eigenvalue formulas for this subfamily of Capelli operators and the Dougall-Ramanujan hypergeometric identity.
We also transcend our results on the eigenvalues of Capelli operators to the Deligne category $\mathsf{Rep}(O_t)$. More precisely, we define categorical Capelli operators $\{\mathbf D_{t,λ}\}_{λ\in\mathcal P}^{}$ that induce morphisms of indecomposable components of symmetric powers of $\mathsf V_t$, where $\mathsf V_t$ is the generating object of $\mathsf{Rep}(O_t)$. We obtain formulas for the eigenvalue polynomials associated to the $\left\{\mathbf D_{t,λ}\right\}_{λ\in\mathcal P}$ that are analogous to our results for the operators $\{D_λ\}_{λ\in\mathcal P}^{}$.
Degree-One Rational Cherednik Algebras for the Symmetric Group
Published in SIGMA 17 (2021), 039, 35 pages
• View Publication
• BIB
Drinfeld orbifold algebras deform skew group algebras in polynomial degree at most one and hence encompass graded Hecke algebras, and in particular symplectic reflection algebras and rational Cherednik algebras. We introduce parametrized families of Drinfeld orbifold algebras for symmetric groups acting on doubled representations that generalize rational Cherednik algebras by deforming in degree one. We characterize rich families of maps recording commutator relations with their linear parts supported only on and only off the identity when the symmetric group acts on the natural permutation representation plus its dual. This produces degree-one versions of $\mathfrak{gl}_n$-type rational Cherednik algebras. When the symmetric group acts on the standard irreducible reflection representation plus its dual there are no degree-one Lie orbifold algebra maps, but there is a three-parameter family of Drinfeld orbifold algebras arising from maps supported only off the identity. These provide degree-one generalizations of the $\mathfrak{sl}_n$-type rational Cherednik algebras $H_{0,c}$.
Barely lonely runners and very lonely runners
Published
• View Publication
• BIB
We introduce a sharpened version of the well-known Lonely Runner Conjecture of Wills and Cusick. Given a real number $x$, let $\Vert x \Vert$ denote the distance from $x$ to the nearest integer. For each set of positive integer speeds $v_1, \ldots, v_n$, we define the associated maximum loneliness to be $\text{ML}(v_1, \ldots, v_n)=\max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \Vert tv_i \Vert$. The Lonely Runner Conjecture asserts that $\text{ML}(v_1, \ldots, v_n) \geq 1/(n+1)$ for all choices of $v_1, \ldots, v_n$. If the Lonely Runner Conjecture is true, then the quantity $1/(n+1)$ is the best possible, for there are known equality cases with $\text{ML}(v_1, \ldots, v_n)=1/(n+1)$. A natural but (to our knowledge) hitherto unasked question is: If $v_1, \ldots, v_n$ satisfy the Lonely Runner Conjecture but are not an equality case, must $\text{ML}(v_1, \ldots, v_n)$ be uniformly bounded away from $1/(n+1)$? We conjecture that, contrary to what one might expect, this question has an affirmative answer that reflects an underlying rigidity of the problem. More precisely, we conjecture that for each choice of $v_1, \ldots, v_n$, we have either $\text{ML}(v_1, \ldots, v_n)=s/(ns+1)$ for some $s \in \mathbb{N}$ or $\text{ML}(v_1, \ldots, v_n) \geq 1/n$. Our main results are: confirming this stronger conjecture for $n \leq 3$; and confirming it for $n=4$ and $n=6$ in the case where one speed is much faster than the rest. We also obtain a number of related results.
Representability of Matroids by c-Arrangements is Undecidable
Published in Israel Journal of Mathematics (2022)
• View Publication
• BIB
For a natural number $c$, a $c$-arrangement is an arrangement of dimension $c$ subspaces satisfying the following condition: the sum of any subset of the subspaces has dimension a multiple of $c$. Matroids arising as normalized rank functions of $c$-arrangements are also known as multilinear matroids. We prove that it is algorithmically undecidable whether there exists a $c$ such that a given matroid has a $c$-arrangement representation, or equivalently whether the matroid is multilinear. It follows that certain network coding problems are also undecidable. In the proof, we introduce a generalized Dowling geometry to encode an instance of the uniform word problem for finite groups in matroids of rank three. The $c$-arrangement condition gives rise to some difficulties and their resolution is the main part of the paper.
Wall-crossing for Newton-Okounkov bodies and the tropical Grassmannian
Published
• View Publication
• BIB
Tropical geometry and the theory of Newton-Okounkov bodies are two methods which produce toric degenerations of an irreducible complex projective variety. Kaveh-Manon showed that the two are related. We give geometric maps between the Newton-Okounkov bodies corresponding to two adjacent maximal-dimensional prime cones in the tropicalization of $X$. Under a technical condition, we produce a natural "algebraic wall-crossing" map on the underlying value semigroups (of the corresponding valuations). In the case of the tropical Grassmannian $Gr(2,m)$, we prove that the algebraic wall-crossing map is the restriction of a geometric map. In an Appendix by Nathan Ilten, he explains how the geometric wall-crossing phenomenon can also be derived from the perspective of complexity-one $T$-varieties; Ilten also explains the connection to the "combinatorial mutations" studied by Akhtar-Coates-Galkin-Kasprzyk.
Defective Ramsey Numbers in Graph Classes
Published
• View Publication
• BIB
Given a graph $G$, a $k$-sparse $j$-set is a set of $j$ vertices inducing a subgraph with maximum degree at most $k$. A $k$-dense $i$-set is a set of $i$ vertices that is $k$-sparse in the complement of $G$. As a generalization of Ramsey numbers, the $k$-defective Ramsey number $R_k^{\mathcal{G}}(i,j)$ for the graph class $\mathcal{G}$ is defined as the smallest natural number $n$ such that all graphs on $n$ vertices in the class $\mathcal{G}$ have either a $k$-dense $i$-set or a $k$-sparse $j$-set. In this paper, we examine $R_k^{\mathcal{G}}(i,j)$ where $\mathcal{G}$ represents various graph classes. In forests and cographs, we give formulas for all defective Ramsey numbers. In cacti, bipartite graphs and split graphs, we provide defective Ramsey numbers in most of the cases and point out open questions, formulated as conjectures if possible.
Numerical semigroups, polyhedra, and posets I: the group cone
Published in Combinatorial Theory 1 (2021), #19
• View Publication
• BIB
Several recent papers have explored families of rational polyhedra whose integer points are in bijection with certain families of numerical semigroups. One such family, first introduced by Kunz, has integer points in bijection with numerical semigroups of fixed multiplicity, and another, introduced by Hellus and Waldi, has integer points corresponding to oversemigroups of numerical semigroups with two generators. In this paper, we provide a combinatorial framework from which to study both families of polyhedra. We introduce a new family of polyhedra called group cones, each constructed from some finite abelian group, from which both of the aforementioned families of polyhedra are directly determined but that are more natural to study from a standpoint of polyhedral geometry. We prove that the faces of group cones are naturally indexed by a family of finite posets, and illustrate how this combinatorial data relates to semigroups living in the corresponding faces of the other two families of polyhedra.
Shift-invariance for vertex models and polymers
Published
• View Publication
• BIB
We establish a symmetry in a variety of integrable stochastic systems: Certain multi-point distributions of natural observables are unchanged under a shift of a subset of observation points. The property holds for stochastic vertex models, (1+1)d directed polymers in random media, last passage percolation, the Kardar-Parisi-Zhang equation, and the Airy sheet. In each instance it leads to computations of previously inaccessible joint distributions. The proofs rely on a combination of the Yang-Baxter integrability of the inhomogeneous colored stochastic six-vertex model and Lagrange interpolation. We also show that a simplified (Gaussian) version of our theorems is related to the invariance in law of the local time of the Brownian bridge under the shift of the observation level.
Gaussian graphical models with toric vanishing ideals
Published
• View Publication
• BIB
Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. They are widely used throughout natural sciences, computational biology and many other fields. Computing the vanishing ideal of the model gives us an implicit description of the model.
In this paper, we resolve two conjectures of Sturmfels and Uhler from \cite{BS n CU}. In particular, we characterize those graphs for which the vanishing ideal of the Gaussian graphical model is generated in degree $1$ and $2$. These turn out to be the Gaussian graphical models whose ideals are toric ideals, and the resulting graphs are the $1$-clique sums of complete graphs.
Chains of binary paths and shifted tableaux
In this paper, a natural bijection between multichains of binary paths and shifted tableaux is presented, and it is used for the enumeration of the chains with maximum length from a given path $P$ to the maximum path $\mathbf{1}_{|P|}$. By mapping chains to shifted tableaux, the main formulas given in a recent paper by the authors for the enumeration of the $P - \mathbf{1}_{|P|}$ chains having only small intervals and minimum length are proved, using some new bijections on shifted tableaux.
Generalisations of Capparelli's and Primc's identities, I: coloured Frobenius partitions and combinatorial proofs
Published
• View Publication
• BIB
In these two companion papers, we give infinite families of partition identities which generalise Primc's and Capparelli's identities, and study their consequences on the theory of crystal bases of the affine Lie algebra $A_{n-1}^{(1)}.$
In this first paper, we focus on combinatorial aspects. We give a $n^2$-coloured generalisation of Primc's identity by constructing a $n^2 \times n^2$ matrix of difference conditions, Primc's original identities corresponding to $n=2$ and $n=3$. While most coloured partition identities in the literature connect partitions with difference conditions to partitions with congruence conditions, in our case, the natural way to generalise these identities is to relate partitions with difference conditions to coloured Frobenius partitions. This gives a very simple expression for the generating function. With a particular specialisation of the colour variables, our generalisation also yields a partition identity with congruence conditions. Then, using a bijection from our new generalisation of Primc's identity, we deduce a multi-parameter family of identities on $(n^2-1)$-coloured partitions which generalise Capparelli's identity, also in terms of coloured Frobenius partitions. The particular case $n=2$ is Capparelli's identity and the case $n=3$ recovers an identity of Meurman and Primc.
In the second paper, we will focus on crystal theoretic aspects. We will show that the difference conditions we defined in our $n^2$-coloured generalisation of Primc's identity are actually energy functions for certain $A_{n-1}^{(1)}$ crystals. We will then use this result to retrieve the Kac-Peterson character formula and derive a new character formula as a sum of infinite products for all the irreducible highest weight $A_{n-1}^{(1)}$-modules of level $1$.
On strong infinite Sidon and $B_h$ sets and random sets of integers
Published
• View Publication
• BIB
A set of integers $S \subset \mathbb{N}$ is an $α$-strong Sidon set if the pairwise sums of its elements are far apart by a certain measure depending on $α$, more specifically if $| (x+w) - (y+z) | \geq \max \{ x^α,y^α,z^α,w^α\}$ for every $x,y,z,w \in S$ satisfying $\max \{x,w\} \neq \max \{y,z\}$. We obtain a new lower bound for the growth of $α$-strong infinite Sidon sets when $0 \leq α< 1$. We also further extend that notion in a natural way by obtaining the first non-trivial bound for $α$-strong infinite $B_h$ sets. In both cases, we study the implications of these bounds for the density of, respectively, the largest Sidon or $B_h$ set contained in a random infinite subset of $\mathbb{N}$. Our theorems improve on previous results by Kohayakawa, Lee, Moreira and Rödl.
Characterising the Structure of Halo Merger Trees Using a Single Parameter: The Tree Entropy
Published
• View Publication
• BIB
Linking the properties of galaxies to the assembly history of their dark matter haloes is a central aim of galaxy evolution theory. This paper introduces a dimensionless parameter $s\in[0,1]$, the "tree entropy", to parametrise the geometry of a halo's entire mass assembly hierarchy, building on a generalisation of Shannon's information entropy. By construction, the minimum entropy ($s=0$) corresponds to smoothly assembled haloes without any mergers. In contrast, the highest entropy ($s=1$) represents haloes grown purely by equal-mass binary mergers. Using simulated merger trees extracted from the cosmological $N$-body simulation SURFS, we compute the natural distribution of $s$, a skewed bell curve peaking near $s=0.4$. This distribution exhibits weak dependences on halo mass $M$ and redshift $z$, which can be reduced to a single dependence on the relative peak height $δ_{\rm c}/σ(M,z)$ in the matter perturbation field. By exploring the correlations between $s$ and global galaxy properties generated by the SHARK semi-analytic model, we find that $s$ contains a significant amount of information on the morphology of galaxies $-$ in fact more information than the spin, concentration and assembly time of the halo. Therefore, the tree entropy provides an information-rich link between galaxies and their dark matter haloes.