Showing 20 papers (Total: 83502 papers, 48219 authors in database)
A concentration inequality for random combinatorial optimisation problems
Given a finite set $S$, i.i.d. random weights $\{X_i\}_{i\in S}$, and a family of subsets $\mathcal{F}\subseteq 2^S$, we consider the minimum weight of an $F\in \mathcal{F}$: \[ M(\mathcal{F}):= \min_{F\in \mathcal{F}} \sum_{i\in F}X_i. \] In particular, we investigate under what conditions this random variable is sharply concentrated around its mean.
We define the patchability of a family $\mathcal{F}$: essentially, how expensive is it to finish an almost-complete $F$ (that is, $F$ is close to $\mathcal{F}$ in Hamming distance) if the edge weights are re-randomized? Combining the patchability of $\mathcal{F}$, applying the Talagrand inequality to a dual problem, and a sprinkling-type argument, we prove a concentration inequality for the random variable $M(\mathcal{F})$.
Tensor product Markov chains and Weil representations
Published
• View Publication
• BIB
We obtain sharp bounds on the convergence rate of Markov chains on irreducible representations of finite general linear, unitary, and symplectic groups (in both odd and even characteristic) given by tensoring with Weil representations.
Growth Rates Of Permutations With Given Descent Or Peak Set
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
Given a set $I \subseteq \mathbb{N}$, consider the sequences $\{d_n(I)\},\{p_n(I)\}$ where for any $n$, $d_n(I)$ and $p_n(I)$ respectively count the number of permutations in the symmetric group $\mathfrak{S}_n$ whose descent set (respectively peak set) is $I \cap [n-1]$. We investigate the growth rates $\text{gr} \ d_n(I) = \lim_{n \to \infty} \left(d_n(I)/n!\right)^{1/n}$ and $\text{gr} \ p_n(I) = \lim_{n \to \infty} \left(p_n(I)/n!\right)^{1/n}$ over all $I \subseteq \mathbb{N}$. Our main contributions are two-fold. Firstly, we prove that the numbers $\text{gr} \ d_n(I)$ over all $I \subseteq \mathbb{N}$ are exactly the interval $\left[0,2/π\right]$. To do so, we construct an algorithm that explicitly builds $I$ for any desired limit $L$ in the interval. Secondly, we prove that the numbers $\text{gr} \ p_n(I)$ for periodic sets $I \subseteq \mathbb{N}$ form a dense set in $\left[0,1/\sqrt[3]{3}\right]$. We do this by explicitly finding, for any prescribed $L$ in the interval, a set $I$ whose corresponding growth rate is arbitrarily close to $L$.
On the existence of reflecting $n$-queens configurations
Published
• View Publication
• BIB
In 1967, Klarner proposed a problem concerning the existence of reflecting $n$-queens configurations. The problem considers the feasibility of placing $n$ mutually non-attacking queens on the reflecting chessboard, an $n\times n$ chessboard with a $1\times n$ "reflecting strip" of squares added along one side of the board. A queen placed on the reflecting chessboard can attack the squares in the same row, column, and diagonal, with the additional feature that its diagonal path can be reflected via the reflecting strip. Klarner noted the equivalence of this problem to a number theory problem proposed by Slater, which asks: for which $n$ is it possible to pair up the integers 1 through $n$ with the integers $n+1$ through $2n$ such that no two of the sums or differences of the $n$ pairs of integers are the same. We prove the existence of reflecting $n$-queens configurations for all sufficiently large $n$, thereby resolving both Slater's and Klarner's questions for all but a finite number of integers.
The Two-loop MHV Momentum Amplituhedron from Fibrations of Fibrations
Published
• View Publication
• BIB
Recently, a new approach to computing the canonical forms of the momentum amplituhedron in dual-momentum space was proposed by the authors. These are relevant for the integrands of scattering amplitudes in planar N=4 super-Yang-Mills. At one-loop the idea was to view the set of all loop momenta, which we refer to as the one-loop fiber geometry, as a fibration over the tree-level kinematic data. This led to the notion of tree-level chambers, subsets of the tree-level kinematic space for which the combinatorial structure of the one-loop fiber remains unchanged, that allowed for a novel representation of the one-loop integrand. The goal of this paper is to extend these ideas to two loops for MHV integrands. Our approach will be to view the geometry accessed by the second loop momentum, similarly referred to as the two-loop fiber geometry, as a fibration over both the one-loop kinematic data and the position of the first loop momentum in the one-loop fiber. This will lead to the notion of one-loop chambers, subsets of the one-loop fibers for which the combinatorial structure of the two-loop fiber remains unchanged. We will characterise the full set of one-loop chambers and their corresponding two-loop fibers and present formulae for their canonical forms. Ultimately, this will result in a new formula for the two-loop MHV integrand written as a fibration of fibration.
A threshold for relative hyperbolicity in random right-angled Coxeter groups
Published
• View Publication
• BIB
We consider the random right-angled Coxeter group $W_Γ$ whose presentation graph $Γ\sim \mathcal{G}_{n,p}$ is an Erd{\H o}s--Rényi random graph on $n$ vertices with edge probability $p=p(n)$. We establish that $p=1/\sqrt{n}$ is a threshold for relative hyperbolicity of the random group $W_Γ$. As a key step in the proof, we determine the minimal number of pairs of generators that must commute in a right-angled Coxeter group which is not relatively hyperbolic, a result which is of independent interest.
We also show that there is an interval of edge probabilities of width $Ω(1/\sqrt{n})$ in which the random right-angled Coxeter group has precisely cubic divergence. This interval is between the thresholds for relative hyperbolicity (whence exponential divergence) and quadratic divergence. Moreover, a simple random walk on any Cayley graph of the random right-angled Coxeter group for $p$ in this interval satisfies a central limit theorem.
Graph-theoretical estimates of the diameters of the Rubik's Cube groups
A strict lower bound for the diameter of a symmetric graph is proposed, which is calculable with the order $n$ and other local parameters of the graph such as the degree $k\,(\geq 3)$, even girth $g\,(\geq 4)$, and number of $g$-cycles traversing a vertex, which are easily determined by inspecting a small portion of the graph (unless the girth is large). It is applied to the symmetric Cayley graphs of some Rubik's Cube groups of various sizes and metrics, yielding slightly tighter lower bounds of the diameters than those for random $k$-regular graphs proposed by Bollobás and de la Vega. They range from 60% to 77% of the correct diameters of large-$n$ graphs.
Real toric manifolds associated with chordal nestohedra
Published
• View Publication
• BIB
This paper investigates the rational Betti numbers of real toric manifolds associated with chordal nestohedra. We consider the poset topology of a specific poset induced from a chordal building set, and show its EL-shellability. Based on this, we present an explicit description using alternating $\mathcal{B}$-permutations for a chordal building set $\mathcal{B}$, transforming the computing Betti numbers into a counting problem. This approach allows us to compute the $a$-number of a finite simple graph through permutation counting when the graph is chordal. In addition, we provide detailed computations for specific cases such as real Hochschild varieties corresponding to Hochschild polytopes.
Degree-Similar Graphs
Published
• View Publication
• BIB
The degree matrix of a graph is the diagonal matrix with diagonal entries equal to the degrees of the vertices of $X$. If $X_1$ and $X_2$ are graphs with respective adjacency matrices $A_1$ and $A_2$ and degree matrices $D_1$ and $D_2$, we say that $X_1$ and $X_2$ are degree similar if there is an invertible real matrix $M$ such that $M^{-1}A_1M=A_2$ and $M^{-1}D_1M=D_2$. If graphs $X_1$ and $X_2$ are degree similar, then their adjacency matrices, Laplacian matrices, unsigned Laplacian matrices and normalized Laplacian matrices are similar. We first show that the converse is not true. Then, we provide a number of constructions of degree-similar graphs. Finally, we show that the matrices $A_1-μD_1$ and $A_2-μD_2$ are similar over the field of rational functions $\mathbb{Q}(μ)$ if and only if the Smith normal forms of the matrices $tI-(A_1-μD_1)$ and $tI-(A_2-μD_2)$ are equal.
Illuminating 1-unconditional convex bodies in ${\mathbb R}^3$ and ${\mathbb R}^4$, and certain cases in higher dimensions
Published
• View Publication
• BIB
We settle the Hadwiger-Boltyanski Illumination Conjecture for all 1-unconditional convex bodies in ${\mathbb R}^3$ and in ${\mathbb R}^4$. Moreover, we settle the conjecture for those higher-dimensional 1-unconditional convex bodies which have at least one coordinate hyperplane projection equal to the corresponding projection of the circumscribing rectangular box. Finally, we confirm the conjectured equality cases of the Illumination Conjecture within the subclass of 1-unconditional bodies which, just like the cube $[-1,1]^n$, have no extreme points on coordinate subspaces.
Our methods are combinatorial, and the illuminating sets that we use consist primarily of small perturbations of the standard basis vectors. In particular, we build on ideas and constructions from [Sun-Vritsiou, "On the illumination of 1-symmetric convex bodies", preprint available at arXiv:2407.10314], and mainly on the notion of 'deep illumination' introduced there.
On the Houdré-Tetali conjecture about an isoperimetric constant of graphs
Houdré and Tetali defined a class of isoperimetric constants $\varphi_p$ of graphs for $0 \leq p \leq 1$, and conjectured a Cheeger-type inequality for $\varphi_\frac12$ of the form $$λ_2 \lesssim \varphi_\frac12 \lesssim \sqrt{λ_2}$$ where $λ_2$ is the second smallest eigenvalue of the normalized Laplacian matrix. If true, the conjecture would be a strengthening of the hard direction of the classical Cheeger's inequality. Morris and Peres proved Houdré and Tetali's conjecture up to an additional log factor, using techniques from evolving sets. We present the following related results on this conjecture.
- We provide a family of counterexamples to the conjecture of Houdré and Tetali, showing that the logarithmic factor is needed.
- We match Morris and Peres's bound using standard spectral arguments.
- We prove that Houdré and Tetali's conjecture is true for any constant $p$ strictly bigger than $\frac12$, which is also a strengthening of the hard direction of Cheeger's inequality.
Furthermore, our results can be extended to directed graphs using Chung's definition of eigenvalues for directed graphs.
Splitting for integer tilings
We consider translational integer tilings by finite sets $A\subset\mathbb{Z}$. We introduce a new method based on \emph{splitting}, together with a new combinatorial interpretation of some of the main tools from our earlier work. We also use splitting to prove the Coven-Meyerowitz conjecture for a new class of tilings $A\oplus B=\mathbb{Z}_M$. This includes tilings of period $M=p_1^{n_1}p_2^{n_2}p_3^{n_3}$ with $p_1>p_2^{n_2-1}p_3^{n_3-1}$, and tilings of period $M=p_1^{n_1}p_2^2p_3^2p_4^2$ with $p_1>p_2p_3p_4$, where $p_1,p_2,p_3,p_4$ are distinct primes and $n_1,n_2,n_3\in\mathbb{N}$.
This is the second one of the two papers replacing version 1 of arXiv:2207.11809 (the first one is available as arXiv:2207.11809 v2). The main results of this paper (Theorem 1.2, Corollaries 1.4 and 1.5) and the intermediate results in Section 4.2 are all new and did not appear previously in arXiv:2207.11809 v1 or anywhere else. The material in Sections 3, 4.1, and 5 (splitting and the splitting formulation of the slab reduction) did appear in arXiv:2207.11809 v1 and has been removed from arXiv:2207.11809 v2. The results in Section 7 were included in arXiv:2207.11809 v1 and have been removed from arXiv:2207.11809 v2; the proofs are shorter and (we hope) more readable.
Basic Tetravalent Oriented Graphs of Independent-Cycle Type
Published in Basic Tetravalent Oriented Graphs of Independent-Cycle Type (with Nemanja Poznanovic). Ars. Math. Contemporanea Published online April 4, 2024
• View Publication
• BIB
The family $\mathcal{OG}(4)$ consisting of graph-group pairs $(Γ, G)$, where $Γ$ is a finite, connected, 4-valent graph admitting a $G$-vertex-, and $G$-edge-transitive, but not $G$-arc-transitive action, has recently been examined using a normal quotient methodology. A subfamily of $\mathcal{OG}(4)$ has been identified as `basic', due to the fact that all members of $\mathcal{OG}(4)$ are normal covers of at least one basic pair. We provide an explicit classification of those basic pairs $(Γ, G)$ which have at least two independent cyclic $G$-normal quotients (these are $G$-normal quotients which are not extendable to a common cyclic normal quotient).
Long cycles in percolated expanders
Published
• View Publication
• BIB
Given a graph $G$ and probability $p$, we form the random subgraph $G_p$ by retaining each edge of $G$ independently with probability $p$. Given $d\in\mathbb{N}$ and constants $0<c<1, \varepsilon>0$, we show that if every subset $S\subseteq V(G)$ of size exactly $\frac{c|V(G)|}{d}$ satisfies $|N(S)|\ge d|S|$ and $p=\frac{1+\varepsilon}{d}$, then the probability that $G_p$ does not contain a cycle of length $Ω(\varepsilon^2c^2|V(G)|)$ is exponentially small in $|V(G)|$. As an intermediate step, we also show that given $k,d\in \mathbb{N}$ and a constant $\varepsilon>0$, if every subset $S\subseteq V(G)$ of size exactly $k$ satisfies $|N(S)|\ge kd$ and $p=\frac{1+\varepsilon}{d}$, then the probability that $G_p$ does not contain a path of length $Ω(\varepsilon^2 kd)$ is exponentially small. We further discuss applications of these results to $K_{s,t}$-free graphs of maximal density.
Optimal Constant-Weight and Mixed-Weight Conflict-Avoiding Codes
Published
• View Publication
• BIB
A conflict-avoiding code (CAC) is a deterministic transmission scheme for asynchronous multiple access without feedback. When the number of simultaneously active users is less than or equal to $w$, a CAC of length $L$ with weight $w$ can provide a hard guarantee that each active user has at least one successful transmission within every consecutive $L$ slots. In this paper, we generalize some previously known constructions of constant-weight CACs, and then derive several classes of optimal CACs by the help of Kneser's Theorem and some techniques in Additive Combinatorics. Another spotlight of this paper is to relax the identical-weight constraint in prior studies to study mixed-weight CACs for the first time, for the purpose of increasing the throughput and reducing the access delay of some potential users with higher priority. As applications of those obtained optimal CACs, we derive some classes of optimal mixed-weight CACs.
On unboundedness of some invariants of $\mathcal{C}$-semigroups
Published
• View Publication
• BIB
In this article, we first prove that the type of an affine semigroup ring is equal to the number of maximal elements of the Apéry set with respect to the set of exponents of the monomials, which form a maximal regular sequence. Further, we consider $\mathcal{C}$-semigroups in $\mathbb{N}^d$ and prove that the notions of symmetric and almost symmetric $\mathcal{C}$-semigroups are independent of term orders. We further investigate the conductor and the Apéry set of a $\mathcal{C}$-semigroup with respect to a minimal extremal ray. Building upon this, we extend the notion of reduced type to $\mathcal{C}$-semigroups and study its extremal behavior. For all $d$ and fixed $e \geq 2d$, we give a class of $\mathcal{C}$-semigroups of embedding dimension $e$ such that both the type and the reduced type do not have any upper bound in terms of the embedding dimension. We further explore irreducible decompositions of a $\mathcal{C}$-semigroup and give a lower bound on the irreducible components in an irreducible decomposition. Consequently, we deduce that for each positive integer $k$, there exists a $\mathcal{C}$-semigroup $S$ such that the number of irreducible components of $S$ is at least $k$.
Wigglyhedra
Published in Math. Z. 310(3), Paper No. 54, 2025
• View Publication
• BIB
Motivated by categorical representation theory, we define the wiggly complex, whose vertices are arcs wiggling around $n+2$ points on a line, and whose faces are sets of wiggly arcs which are pairwise pointed and non-crossing. The wiggly complex is a $(2n-1)$-dimensional pseudomanifold, whose facets are wiggly pseudotriangulations. We show that wiggly pseudotriangulations are in bijection with wiggly permutations, which are permutations of $[2n]$ avoiding the patterns $(2j-1) \cdots i \cdots (2j)$ for $i < 2j-1$ and $(2j) \cdots k \cdots (2j-1)$ for $k > 2j$. These permutations define the wiggly lattice, an induced sublattice of the weak order. We then prove that the wiggly complex is isomorphic to the boundary complex of the polar of the wigglyhedron, for which we give explicit and simple vertex and facet descriptions. Interestingly, we observe that any Cambrian associahedron is normally equivalent to a well-chosen face of the wigglyhedron. Finally, we recall the correspondence of wiggly arcs with objects in a category, and we develop categorical criteria for a subset of wiggly arcs to form a face of the wiggly complex.
Limit theorems for walks and triangles on Erdös-Rényi random graphs with large interaction radius
We study cumulants of numbers of $q$-step walks on Erdös-Rényi-type random graphs of long-range percolation radius model in the limit when the number of vertices $N$, concentration $c$, and the interaction radius $R$ tend to infinity. These cumulants can be associated with a formal cumulant expansion of the free energy of matrix models of exponential random graphs widely known in mathematical and theoretical physics.
We show that in three different asymptotic regimes, the limiting values of $k$-th cumulants ${\cal F}_k^{(q)}$ exist and can be associated with one or another family of tree-type diagrams, in dependence of the asymptotic behavior of parameters $cR/N$ for $q$-step non-closed walks and $c^2R/N^2$ for 3-step closed walks, respectively. In certain cases, we obtain ${\cal F}_k^{(q)}$ in explicit form.
These results allow us to prove Limit Theorems for the number of non-closed walks and for the number of triangles in corresponding ensembles of large random graphs. As a consequence, we indicate an asymptotic regime when in random graphs that we consider, the average vertex degree remains bounded while the total number of triangles infinitely increases, thus rigorously solving a graph collapse problem known in applications.
Uniform exclude distributions of Sidon sets
A Sidon set $S$ in $\mathbb{F}_2^n$ is a set such that the pairwise sums of distinct points are all distinct. The exclude points of a Sidon set $S$ are the sums of three distinct points in $S$, and the exclude multiplicity of a point in $\mathbb{F}_2^n \setminus S$ is the number of such triples in $S$ it is equal to. We call the function $d_S \colon \mathbb{F}_2^n \setminus S \to \mathbb{Z}_{\geq 0}$ taking points in $\mathbb{F}_2^n \setminus S$ to their exclude multiplicity the exclude distribution of $S$. We say that $d_S$ is uniform on $\mathcal{P}$ if $\mathcal{P}$ is an equally-sized partition $\mathcal{P}$ of $\mathbb{F}_2^n \setminus S$ such that $d_S$ takes the same values an equal number of times on every element of $\mathcal{P}$. In this paper, we use APN plateaued functions with all component functions unbalanced to construct Sidon sets $S$ in $(\mathbb{F}_2^n)^2$ whose exclude distributions are uniform on natural partitions of $(\mathbb{F}_2^n)^2 \setminus S$ into $2^n$ elements. We use this result and a result of Carlet to determine exactly what values the exclude distributions of the graphs of the Gold and Kasami functions take and how often they take these values.
Trace reconstruction of matrices and hypermatrices
Published
• View Publication
• BIB
A \emph{trace} of a sequence is generated by deleting each bit of the sequence independently with a fixed probability. The well-studied \emph{trace reconstruction} problem asks how many traces are required to reconstruct an unknown binary sequence with high probability. In this paper, we study the multivariate version of this problem for matrices and hypermatrices, where a trace is generated by deleting each row/column of the matrix or each slice of the hypermatrix independently with a constant probability. Previously, Krishnamurthy et al. showed that $\exp(\widetilde{O}(n^{d/(d+2)}))$ traces suffice to reconstruct any unknown $n\times n$ matrix (for $d=2$) and any unknown $n^{\times d}$ hypermatrix. By developing a dimension reduction procedure and establishing a multivariate version of the Littlewood-type result, we improve this upper bound by showing that $\exp(\widetilde{O}(n^{3/7}))$ traces suffice to reconstruct any unknown $n\times n$ matrix, and $\exp(\widetilde{O}(n^{3/5}))$ traces suffice to reconstruct any unknown $n^{\times d}$ hypermatrix. This breaks the tendency to trivial $\exp(O(n))$ as the dimension $d$ grows.