Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Fat Shellable Spheres
The fatness of a 4-polytope or 3-sphere is defined as $(f_1+f_2-20)/(f_0+f_3-10)$. We construct arbitrarily fat, strongly regular CW 3-spheres that are both shellable and dual shellable. These spheres have $f$-vectors $(Θ(n),Θ(nα(n)),Θ(nα(n)),Θ(n))$, where $α$ is the inverse Ackermann function.
Mutually Abelian-Bordered Binary Words
Published
• View Publication
• BIB
A word is said to be bordered if it contains a nonempty proper prefix that is also a suffix. A pair of words $(u, v)$ is said to be mutually bordered if there exists a word that is a nonempty proper prefix of $u$ and suffix of $v$, and there exists a word that is a nonempty proper suffix of $u$ and prefix of $v$. Recently, Gabric studied the number of mutually bordered pairs. In this work, we extend the concept of mutually bordered pairs to abelian setting, and determine the number of mutually abelian-bordered pairs of binary words using lattice paths. We also find the number of unbordered pairs in this context.
A multiset approach to MacWilliams identities
Published in Des. Codes Cryptogr. 94 (2026) 215
• View Publication
• BIB
We interpret the symmetrized weight enumerator of linear codes over finite commutative Frobenius rings as a summation over multisets and thereby provide a new proof of the MacWilliams identity for the symmetrized weight enumerator. The proof and the identity are expressed in combinatorial terms that do not require generating characters. We also generalize the symmetrized weight enumerator with respect to supports and codeword tuples, and our multiset approach enables us to derive new and general MacWilliams identities expressed in combinatorial terms.
Bigraded Polynomials for the Cohomology of Wild Hitchin Systems
We introduce a bi-graded polynomial that encodes the cohomology groups of the wild Hitchin system of type~$A_{n-1}$, constructed using an irregular singularity (determined by an integer~$m$) and an arbitrary regular singularity~$f$. When the regular singularity is of the form~$f = [1, \ldots, 1]$, the bi-graded polynomial~$C_{m,n}(q,t)$ coincides with the bigraded rational parking function defined combinatorially, admitting a Schur expansion~$C_{m,n}(q,t) = \sum_λf_λ(q,t) s_λ(x)$. For general~$f$, the polynomial takes the form~$C^f_{m,n}(q,t) = \sum_λf_λ(q,t) K_{λf}$, where~$K_{λf}$ denotes the Kostka number. We conjecture that this bi-graded polynomial agrees with the one arising from the perverse filtration of the Hitchin fibration, or equivalently, from the weight filtration of the mixed Hodge structure from the character variety. We also give a description by using the geometry of affine Springer fiber.}
A recurrence for certain Tutte polynomials
We combinatorially prove a new recurrence between the Tutte polynomials of graphs obtained by contraction of the complete graphs $K_{n}$%. This generalizes, to two variables, a relation previously obtained by the author between the inversion enumerator polynomials in the colored tree sequences.
A weak Lehmer code for type $F_4$
We show that, despite the Poincaré polynomial of $F_4$ is a product of $q$-analogues, the Bruhat order of $F_4$ does not admit a product of chains as subposet. This answers negatively, in this type, a question by Billey, Fan and Losonczy. In other words, we show that Lehmer codes for type $F_4$ do not exist. Nevertheless, by introducing weak Lehmer codes, we construct explicitly multicomplexes and Lehmer complexes for any lower Bruhat interval in type $F_4$.
Tight bounds for judicious 3-partitions of graphs
In this paper, we show that every graph with $m$ edges admits a 3-partition such that \[ \max_{1 \leq i \leq 3} e(V_i) \leq \frac{m}{9} + \frac{1}{9}h(m) \quad \text{and} \quad e(V_1, V_2, V_3) \geq \frac{2}{3}m + \frac{1}{3}h(m), \] where $h(m) = \sqrt{2m + 1/4} - 1/2$. This answers a problem of Bollobás and Scott affirmatively. We also solve several related problems of Bollobás and Scott. All of our results are tight.
A Simplified Proof for the Edge-Density of 4-Planar Graphs
A graph on $n \ge 3$ vertices drawn in the plane such that each edge is crossed at most four times has at most $6(n-2)$ edges -- this result proven by Ackerman is outstanding in the literature of beyond-planar graphs with regard to its tightness and the structural complexity of the graph class. We provide a much shorter proof while at the same time relaxing the conditions on the graph and its embedding, i.e., allowing multi-edges and non-simple drawings.
Very Generalized LYM Inequality
The LYM inequality is a fundamental result concerning the sizes of subsets in a Sperner family. Subsequent studies on the LYM inequality have been generalized to families of $r$-decompositions, where all components are required to avoid chains of the same length. In this paper, we relax this constraint by allowing components of a family of $r$-decompositions to avoid chains of distinct lengths, and derive generalized LYM inequalities across all the relevant settings, including set-theoretic, $q$-analog, continuous analog, and arithmetic analog frameworks. Notably, the bound in our LYM inequalities does not depend on the maximal length of all forbidden chains. Moreover, we extend our approach beyond $r$-decompositions to $r$-multichains, and establish analogous LYM inequalities.
Maximum Spread of Vertex Degrees in a Simple Graph
We consider the following problem: let $n>k$ be natural numbers, and let $G$ be a graph on $n$ vertices (undirected, without loops or multiple edges). Denote by $h_k(G)$ the number of unordered pairs of vertices in the graph $G$ whose degrees differ by less than $k$. We aim to determine the smallest possible value $f(n,k)$ of the quantity $h_k(G)$. Interest in this question is motivated by the fact that the bipartite analogue of the problem enabled S. Cichomski and F. Petrov to prove the Burdzy -- Pitman conjecture on the spread of independent coherent random variables.
The problem has been solved under a number of restrictions on $n$ and $k$. A conjecture about the answer in the general case is also presented.
Asymptotics of partition parts in arithmetic progressions
We study the distribution of partition parts in arithmetic progressions and find asymptotic results that capture all exponentially growing terms. This is accomplished by studying the behavior of non-modular Eisenstein series that appear in their generating function and have expressions in terms of indefinite and false-indefinite theta functions.
Bailey pairs and quantum $q$-series identites. I. The classical identities
Published
• View Publication
• BIB
We use Bailey pairs to prove $q$-series identities at roots of unity due to Cohen and Bryson-Ono-Pitman-Rhoades. The proofs use Bailey pairs with quadratic forms developed in the study of mock theta functions. In addition to the standard Bailey lemma, we require some changes-of-base established by Bressoud-Ismail-Stanton. We then embed the identities in infinite families using the Bailey chain.
Maxout Polytopes
Maxout polytopes are defined by feedforward neural networks with maxout activation function and non-negative weights after the first layer. We characterize the parameter spaces and extremal f-vectors of maxout polytopes for shallow networks, and we study the separating hypersurfaces which arise when a layer is added to the network. We also show that maxout polytopes are cubical for generic networks without bottlenecks.
Cubic tic-tac-toe: A matching-based approach
In the natural generalization of tic-tac-toe to an $n \times n \times n$ board where $n \in \mathbb{N}$, it is known that the first player has a winning strategy if $n \leq 4$ and that either player can force a draw if $n \geq 8$. The question of whether the first player has a winning strategy if $n = 5, 6$ or $7$ has remained open. Here, we prove that the first player does not have a winning strategy if $n = 7$. The proof, which is computer-assisted, exploits the fact that the second player's first four moves can always be chosen such that their remaining moves can be automated via a simple pairing strategy. The process of finding the pairing strategy involves reframing the problem in such a way that the goal is to seek a maximal matching in a bipartite graph that represents the tic-tac-toe board after each player has made four moves. We use the Hopcroft-Karp matching algorithm to find such maximal matchings.
Semi-Random Graphs, Robust Asymmetry, and Reconstruction
The Graph Reconstruction Conjecture famously posits that any undirected graph on at least three vertices is determined up to isomorphism by its family of (unlabeled) induced subgraphs. At present, the conjecture admits partial resolutions of two types: 1) casework-based demonstrations of reconstructibility for families of graphs satisfying certain structural properties, and 2) probabilistic arguments establishing reconstructibility of random graphs by leveraging average-case phenomena. While results in the first category capture the worst-case nature of the conjecture, they play a limited role in understanding the general case. Results in the second category address much larger graph families, but it remains unclear how heavily the necessary arguments rely on optimistic distributional properties. Drawing on the perspectives of smoothed and semi-random analysis, we study the robustness of what are arguably the two most fundamental properties in this latter line of work: asymmetry and uniqueness of subgraphs. Notably, we find that various semi-random graph distributions exhibit these properties asymptotically, much like their Erdős-Rényi counterparts. In particular, Bollobás (1990) demonstrated that almost all Erdős-Rényi random graphs $G = (V, E) \sim \mathscr{G}(n, p)$ enjoy the property that their induced subgraphs on $n - Θ(1)$ vertices are asymmetric and mutually non-isomorphic, for $1 - p, p = Ω(\log(n) / n)$. We show that this property is robust against perturbation -- even when an adversary is permitted to add/remove each vertex pair in $V^{(2)}$ with (independent) arbitrarily large constant probability. Exploiting this result, we derive asymptotic characterizations of asymmetry in random graphs with planted structure and bounded adversarial corruptions, along with improved bounds on the probability mass of nonreconstructible graphs in $\mathscr{G}(n, p)$.
Spin Leonard pairs and the zero diagonal space
Published
• View Publication
• BIB
We consider a Leonard pair $A, A^*$ of linear maps on a vector space $V$ that has finite positive dimension. This Leonard pair $A,A^*$ is said to have spin whenever there exist invertible linear maps $W : V \to V$ and $W^* : V \to V$ such that $W A = A W$ and $W^* A^* = A^* W^*$ and $W A^* W^{-1} = (W^*)^{-1} A W^*$. Let $\{θ^*_i\}_{i=0}^d$ denote a standard ordering of the eigenvalues of $A^*$. There is a related sequence of scalars $\{a_i\}_{i=0}^d$ called intersection numbers. The Leonard pair $A,A^*$ is called self-dual whenever $\{θ^*_i\}_{i=0}^d$ is a standard ordering of the eigenvalues of $A$. We obtain the following results under the assumption that the ground field is algebraically closed and $d \geq 3$. We show that a Leonard pair $A,A^*$ on $V$ has spin if and only if both (i) $A,A^*$ is self-dual; (ii) there exist scalars $f_0,f_1,f_2, f_3$ (not all zero) such that $f_0 + f_1 θ^*_i + f_2 a_i + f_3 a_i θ^*_i = 0$ for $0 \leq i \leq d$. We also classify the Leonard pairs $A,A^*$ on $V$ that satisfy (ii) without assuming (i). To do this we bring in the following maps. For $0 \leq i \leq d$ let $E^*_i : V \to V$ denote the projection onto the $θ^*_i$-eigenspace of $A^*$. Let ${\mathcal Z}(A,A^*)$ denote the set of elements $X$ in $\text{Span}\{I, A^*, A, A A^*\}$ such that $E^*_i X E^*_i= 0$ for $0 \leq i \leq d$. We call ${\mathcal Z}(A,A^*)$ the zero diagonal space of $A,A^*$. As we will see, ${\mathcal Z}(A,A^*) \neq 0$ if and only if the above condition (ii) holds. As we investigate the case ${\mathcal Z}(A,A^*) \neq 0$ in detail, we break the problem into 13 cases called types; these are the $q$-Racah type and its relatives. For each type we give a necessary and sufficient condition for ${\mathcal Z}(A,A^*) \not=0$. For each type we give an explicit basis for ${\mathcal Z}(A,A^*)$.
Leaky Zero Forcing on Induced Subgraphs of $d$-dimensional Grid Graphs with an Application to Hopi Rectangles
We study zero forcing and $\ell$-leaky zero forcing on induced subgraphs of $d$-dimensional grid graphs. Using $\ell$-leaky forts, we prove structural results showing that for $\ell \le 2d-1$, every nonempty $\ell$-leaky fort in an induced subgraph of $P_{n_1}\square\cdots\square P_{n_d}$ intersects the boundary of the graph. These results give general bounds and, in certain settings, exact values for the $\ell$-leaky forcing number of induced subgraphs. Motivated by this framework, we introduce an integer lattice based definition of the Hopi rectangle graphs $HD(a,b)$ as induced subgraphs of $P_{a+b}\square P_{a+b}$. For this particular family of graphs, we show that the zero forcing number equals the maximum nullity, and we completely characterize the $\ell$-leaky forcing number for all $\ell\ge 1$.
A weak regularity lemma for polynomials
A regularity lemma for polynomials provides a decomposition in terms of a bounded number of approximately independent polynomials. Such regularity lemmas play an important role in numerous results, yet suffer from the familiar shortcoming of having tower-type bounds or worse. In this paper we design a new, weaker regularity lemma with strong bounds. The new regularity lemma in particular provides means to quantitatively study the curves contained in the image of a polynomial map, which is beyond the reach of standard methods.
Applications include strong bounds for a problem of Karam on generalized rank, as well as a new method to obtain upper bounds for fan-in parameters in arithmetic circuits. For example, we show that if the image of a polynomial map $\mathbf{P} \colon \mathbb{F}^n \to \mathbb{F}^m$ of degree $d$ does not contain a line, then $\mathbf{P}$ can be computed by a depth-$4$ arithmetic formula with bottom fan-in at most $d/2$ and top fan-in at most $(2m)^{C(d)}$ (with $C(d)=2^{(1+o(1))d}$). One implication of our work is a certain ``barrier'' to arithmetic circuit lower bounds, in terms of the smallest degree of a polynomial curve contained in the image of the given polynomial map.
Cocycle stability in permutations of random simplicial complexes
Finding a non-sofic hyperbolic group will resolve two major problems in geometric group theory: Are there non sofic groups? Are there non residually finite hyperbolic groups?
In this paper, we propose a new probabilistic approach to this problem, based on the cocycle stability in permutations of random 2-dimensional Linial-Meshulam complexes. Specifically, we study their cocycle stability rate, which measures how far cochains with small coboundaries are from being cocycles.
Our main contribution is the following: If, in a middle triangle density range, these random complexes typically have a linear cocycle stability rate, then there exists a non-sofic hyperbolic group. Our proof method is inspired by a well known fact about the non local testability of Sipser-Spielman expander codes.
The clock theorem for knotoids and linkoids
In this paper, we generalize the \textit{Clock Theorem} of Formal Knot Theory to knotoids in $S^2$. The clock theorem implies that clock states of a knotoid diagram form a lattice under transpositions. These states form the basis of many invariants of knotoids and linkoids including the Alexander polynomial, Mock Alexander polynomial and the Jones polynomial.