Showing 20 papers (Total: 81378 papers, 47165 authors in database)
MinDist is less than 7
The metric MinDist, introduced recently to quantify the distance of an arbitrary Rummy hand from a valid declaration, plays a central role in algorithmic hand evaluation and optimal play. Existing results show that the MinDist of any $13$-card Rummy hand from a single deck is bounded above by $9$. In this paper, we sharpen this bound and prove that the MinDist of any hand is at most $7$. We further show that this bound is tight by explicitly exhibiting a hand whose MinDist equals $7$ for a suitable choice of wildcard joker. The proof combines elementary combinatorial arguments with structural properties of card partitions across suits and resolves the gap between the previously known upper bound and the true extremal value.
Combinatorial invariance for the coefficient of $q$ in Kazhdan-Lusztig polynomials
We prove the combinatorial invariance of the coefficient of $q$ in Kazhdan-Lusztig polynomials for arbitrary Coxeter groups. As a result, we obtain the Combinatorial Invariance Conjecture for Bruhat intervals of length at most $6$. We also prove the Gabber-Joseph conjecture for the second-highest $\mathrm{Ext}$ group of a pair of Verma modules, as well as the combinatorial invariance of the dimension of this group.
Critical level-set percolation on finite graphs and spectral gap
We study the bond percolation on finite graphs induced by the level-sets of zero-average Gaussian free field on the associated metric graph above a given height (level) parameter $h \in \mathbb{R}$. We characterize the near- and off-critical phases of this model for any expanders family $\mathcal{G}_n = (V_n, E_n)$ with uniformly bounded degrees. In particular, we show that the volume of the largest open cluster at level $h_n$ is of the order $|V_n|^{\frac23}$ when $h_n$ lies in the corresponding critical window which we identify as $|h_n| = O(|V_n|^{-\frac13})$. Outside this window, the volume starts to deviate from $Θ(|V_n|^{\frac23})$ culminating into a linear order in the supercritical phase $h_n = h < 0$ (the giant component) and a logarithmic order in the subcritical phase $h_n = h > 0$. We deduce these from effective estimates on tail probabilities for the maximum volume of an open cluster at any level $h$ for a generic base graph $\mathcal{G}$. The estimates depend on $\mathcal{G}$ only through its size and upper and lower bounds on its degrees and spectral gap respectively. To the best of our knowledge, this is the first instance where a mean-field critical behavior is derived under such general setup for finite graphs. The generality of these estimates preclude any local approximation of $\mathcal{G}$ by regular infinite trees -- a standard approach in the area. Instead, our methods rely on exploiting the connection between spectral gap of the graph $\mathcal{G}$ and its connection to the level-sets of zero-average Gaussian free field mediated via a set function we call the zero-average capacity.
On the range of two-distance graphs
The topic of this paper is related to the well-known notion of unit distance graphs. Take a graph with its edges coloured red and blue such that for some $d$ it can be mapped into the plane with all vertices going to distinct points, the red edges to segments of length $1$ and the blue edges to segments of length $d$. We define the range of this graph to be the set of such numbers $d$. It is easy to show that the range of any edge-bicoloured graph consists of finitely many intervals with algebraic endpoints, and we now prove that any such set with a finite positive upper and lower bound is the range of a suitable graph.
The genesis sequence, tree records and endofunctions
In this work, we present a series of bijections that reveal the deep connections between the concepts of tree records, the girth of a connected endofunction, and the genesis sequence, the first sequence in the OEIS. We use these results to derive the generating functions for the tree and forest record numbers, expressing them in terms of the Cayley's tree function. Finally, we provide a new proof for Cayley's forest formula.
The Davenport constant of an interval: a proof that $\mathsf{D}=χ$
For two positive integers $m$ and $M$, we study the Davenport constant of the interval of integers $[\![ -m,M ]\!]$, that is the maximal length of a minimal zero-sum sequence composed of elements from $[\![ -m,M ]\!]$. We prove the conjecture that it is equal to $m+M- r$ where $r$ is the smallest integer which can be decomposed as a sum of two non-negative integers $t_1$ and $t_2$ ($r=t_1+t_2$) having the property that $\gcd (M-t_1, m-t_2)=1$.
Virtual Hodge numbers of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$: stability and calculations
We study $\mathbb{S}_n$-equivariant motivic invariants of the moduli space $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ of degree-$d$ maps from $n$-pointed curves of genus $g$ to $\mathbb{P}^r$. In particular, we obtain formulas for the Serre characteristic, which specializes to the Hodge--Deligne polynomial. Fixing $g, r \geq 1$, we prove that an explicit invertible transform of the generating function for the Serre characteristics is rational. We use our formula to prove a stability result for the weight-graded compactly-supported Euler characteristics of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ as $d \to \infty$. In genus one and two, we reduce the calculation of the Serre characteristic of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ to those of the moduli spaces $\mathcal{M}_{g, n}$ of $n$-pointed curves. Formulas for the latter follow from work of Getzler and Petersen, so our formula in particular determines the Serre characteristic of $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ for arbitrary $n$, $r$, and $d$ when $g = 1$ and $g = 2$.
The punctured dodecacode is unique
The punctured dodecacode is an additive $4$-ary code of length $11$ and distance $5$ which is uniformly packed. We show that a code with the same weight distribution is equivalent to it. This code is also shown to be nonlinear.
We also establish the nonexistence of analogues of the dodecacode and the punctured dodecacode in Doob graphs. To that end, we classify two-weight codes of weights $6$ and $8$ in Doob and $4$-ary Hamming graphs of diameter $9$ and the corresponding strongly regular graphs.
Keywords: dodecacode, additive code, trace Hermitian duality, uniformly packed code, completely regular code, Doob graph, strongly regular graph
Hook Multiplication in the Quantum K-Theory of Grassmannians
We study the quantum K-theory ring $QK(X)$ of a Grassmannian $X$ and prove a manifestly positive formula for the product of an arbitrary class by a hook class. This generalizes the quantum K-theoretic Pieri rule, a prior result of Buch and Mihalcea. We also present a combinatorial interpretation of this result.
Combinatorial comparison of general galled trees, time-consistent galled trees, and simplex time-consistent galled trees
Rooted binary phylogenetic networks are extensions of rooted binary trees, adding reticulation nodes that are designed to represent evolutionary processes that involve hybridization events. Enumerative combinatorics studies have counted leaf-labeled phylogenetic networks in a variety of classes, finding that when the number of reticulations is fixed, the time-consistent galled trees are asymptotically less numerous than each of several network classes that had been previously examined. Here we provide enumerative results on two additional network classes: general galled trees and simplex time-consistent galled trees. We show that for a fixed number of galls, as the number of leaves goes to infinity, the asymptotic count of general galled trees is identical to that of time-consistent galled trees, whereas the count of simplex time-consistent galled trees is smaller. If the number of galls is not restricted, then the asymptotic approximations all differ: simplex time-consistent galled trees are less numerous than time-consistent galled trees, which are in turn less numerous than general galled trees. We also report a variety of additional results: recursions to count the studied networks with small numbers of leaves a fixed number of galls, as well as enumerative results for unlabeled networks in the classes that we investigate.
Reconfiguration of Hamiltonian Cycles in Rectangular Grid Graphs
An \textit{\(m \times n\) grid graph} is the induced subgraph of the square lattice whose vertex set consists of all integer grid points \(\{(i,j) : 0 \leq i < m,\ 0 \leq j < n\}\). Let $H$ and $K$ be Hamiltonian cycles in an $m \times n$ grid graph $G$. We study the problem of reconfiguring $H$ into $K$, \textcolor{blue}{\textbullet} where the Hamiltonian cycles are viewed as vertices of a reconfiguration graph \textcolor{blue}{\textbullet}, using a sequence of local transformations called \textit{moves}. A \textit{box} of $G$ is a unit square face. A box with vertices $a, b, c, d$ is \textit{switchable} in $H$ if exactly two of its edges belong to $H$, and these edges are parallel. Given such a box with edges $ab$ and $cd$ in $H$, a \textit{switch move} removes $ab$ and $cd$, and adds $bc$ and $ad$. A \textit{double-switch move} consists of performing two consecutive switch moves. If, after a double-switch move, we obtain a Hamiltonian cycle, we say that the double-switch move is \textit{valid}.
We prove that any Hamiltonian cycle $H$ can be transformed into any other Hamiltonian cycle $K$ via a sequence of valid double-switch moves, such that every intermediate graph remains a Hamiltonian cycle. Moreover, assuming $n \geq m$, the number of required moves is bounded by $mn^2$.
Reconfiguration of Hamiltonian Paths and Cycles in Rectangular Grid Graphs
\noindent An \textit{\(m \times n\) grid graph} is the induced subgraph of the square lattice whose vertex set consists of all integer grid points \(\{(i,j) : 0 \leq i < m,\ 0 \leq j < n\}\). Let $H$ and $K$ be Hamiltonian cycles in an $m \times n$ grid graph $G$. We study the problem of reconfiguring $H$ into $K$ using a sequence of local transformations called \textit{moves}. A \textit{box} of $G$ is a unit square face. A box with vertices $a, b, c, d$ is \textit{switchable} in $H$ if exactly two of its edges belong to $H$, and these edges are parallel. Given such a box with edges $ab$ and $cd$ in $H$, a \textit{switch move} removes $ab$ and $cd$, and adds $bc$ and $ad$. A \textit{double-switch move} consists of performing two consecutive switch moves. If, after a double-switch move, we obtain a Hamiltonian cycle, we say that the double-switch move is \textit{valid}.
We prove that any Hamiltonian cycle $H$ can be transformed into any other Hamiltonian cycle $K$ via a sequence of valid double-switch moves, such that every intermediate graph remains a Hamiltonian cycle.
This result extends to Hamiltonian paths. In that case, we also use single-switch moves and a third operation, the \textit{backbite move}, which enables the relocation of the path endpoints.
Algebraic topology of the Lagrange inversion
The Lagrange inversion formula for power series is one of the classical formulas from analysis and combinatorics. A nice geometric interpretation of this formula in terms of the Stasheff polytopes was discovered by Loday. We show that it also admits a natural topological interpretation in terms of the Chern numbers of the complex projective space. The proof is based on our earlier work on the Chern-Dold character in complex cobordism theory and leads to a new derivation of the Lagrange inversion formula. We provide a similar interpretation of the multiplicative inversion formulas in terms of Chern numbers of the smooth theta divisors. We discuss also the general related problem when all Chern numbers of an algebraic variety are divisible by its Euler characteristic.
Unimodular Equivalence of Integral Simplices
Testing the unimodular equivalence of two full-dimensional integral simplices can be reduced to testing unimodular permutation (UP) equivalence of two nonsingular matrices. We conduct a systematic study of UP-equivalence, which leads to the first average-case quasi-polynomial time algorithm, called \texttt{HEM}, for deciding the unimodular equivalence of $d$-dimensional integral simplices, as well as achieving a polynomial-time complexity with a failure probability less than $2.5 \times 10^{-7}$. A key ingredient is the introduction of the \emph{permuted Hermite normal form} and its associated \emph{pattern group}, which streamlines the UP-equivalence test by comparing canonical forms derived from induced coset representatives. We also present an acceleration strategy based on Smith normal forms. As a theoretical by-product, we prove that two full-dimensional integral simplices are unimodularly equivalent if and only if their $n$-dimensional pyramids are unimodularly equivalent. This resolves an open question posed by Abney-McPeek et al.
Polyominoes with maximal number of deep holes
In this paper, we study the extremal behaviour of deep holes in polyominoes. We determine the maximum number, $h_n$ of deep holes that an $n$-omino can enclose, ensuring that the boundary of each hole is disjoint from the boundaries of any other hole and from the outer boundary of the $n$-tile. Using the versatile application of Pick's theorem, we establish the lower and the upper bound for $h_n$, and show that $h_n=\frac{n}{3}+o(n)$ asymptotically. To further develop these results, we compute $h_n$ as a function of $n$ for an infinite subset of positive integers.
Nearly Erdős-Ko-Rado theorems
If a family $\mathcal{F}$ of $k$-element subsets of an $n$-element set is pairwise intersecting, $2k\leq n$ then $|\mathcal{F}|\leq {n-1\choose k-1}$ holds by the celebrated Erdős-Ko-Rado theorem. But an intersecting family obviously satisfies the condition $${\ell \choose 2}\leq \sum_{1\leq i<j\leq \ell}|F_i\cap F_j| $$ for any $\ell$ distinct members of the family. It has been proved in [5] that even if ${\ell \choose 2}$ is replaced by ${\ell -1 \choose 2}+1$ the conclusion $|\mathcal{F}|\leq {n-1\choose k-1}$ remains valid for large $n$. However the 1 cannot be omitted, because there is a larger family satisfying that weaker condition. In the present paper we determine the largest size of the family under this weaker condition when $n$ is sufficiently large. All of these are treated in the more general setting of $t$-intersecting families.
Elimination ideals of Plücker ideals and algebras with straightening laws
It is well known that the Plücker ideal defining the Grassmannian is generated by quadratic Plücker relations. These relations form a reverse lexicographic Gröbner basis and endow the Plücker algebra with the structure of an algebra with straightening laws (ASL). In this paper, we study quadratically generated projections of the Grassmannian of lines $\mathrm{Gr}(2,n)$. We then combinatorially characterize the Gorenstein ASL subalgebras of the Plücker algebra of $\mathrm{Gr}(2,n)$.
The edge-isoperimetric inequality for powers of cycles
This note provides a complete solution to a certain version of the edge-isoperimetric problem for powers of a cycle graph. Namely, it shows that the maximum number of edges inside a vertex subset of $C_n^s$ of size $k$ is achieved by a set of $k$ consecutive vertices.
Infinite sumsets in $U^k(Φ)$-uniform sets
Extending recent developments of Kra, Moreira, Richter and Roberson, we study infinite sumset patterns in $U^k(Φ)$-uniform subsets of the integers, defined via the local uniformity seminorms introduced by Host and Kra. The main result relates the degree $k$ of a $U^k(Φ)$-uniform set to the existence of sumset patterns along prescribed vertices of $\ell$-dimensional parallelepipeds, for $k \leq \ell$. The proof relies on a dynamical analysis of return-time sets to neighborhoods of points lying over pronilfactor fibers. We then derive higher-order parity obstructions for sumset patterns and consequences in topological dynamics.
On the zero-free region for the chromatic polynomial of claw-free graphs with and without induced square and induced diamond
Given a claw-free graph $G=(V,E)$ with maximum degree $Δ$,
we define the parameter $κ\in [0,1]$ as $κ={\max_{v\in V}|I_v|\over \lfloorΔ^2/4\rfloor}$ where $I_v$ is the set of all independent pairs in the neighborhood of $v$. We refer to $κ$ as the pair independence ratio of $G$.
We prove that for any claw-free graph $G$ with pair independence ratio at most $κ$ the zeros of its chromatic polynomial $P_G(q)$ lie inside the disk $D=\{q\in \mathbb{C}:~|q|< C_κ^0Δ\}$, where $C_κ^0$ is an increasing function of $κ\in [0,1]$. If $G$ is also square-free and diamond free, the function $C_κ^0$ can be replaced by a sharper function $C_κ^1$. These bounds constitute an improvement upon results
recently given by Bencs and Regts in ''Improved bounds on the zeros of the chromatic polynomial of graphs and claw-free graphs''.