Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The expansion of half-integral polytopes
The expansion of a polytope is an important parameter for the analysis of the random walks on its graph. A conjecture of Mihai and Vazirani states that all $0/1$-polytopes have expansion at least 1. We show that the generalization to half-integral polytopes does not hold by constructing $d$-dimensional half-integral polytopes whose expansion decreases exponentially fast with $d$. We also prove that the expansion of half-integral zonotopes is uniformly bounded away from $0$. As an intermediate result, we show that half-integral zonotopes are always graphical.
Saturating linear sets in PG$(2,q^4)$
Published
• View Publication
• BIB
Bonini, Borello and Byrne started the study of saturating linear sets in Desarguesian projective spaces, in connection with the covering problem in the rank metric. In this paper we study \emph{$1$-saturating} linear sets in PG$(2,q^4)$, that is $\mathbb{F}_q$-linear sets in PG$(2,q^4)$ with the property that their secant lines cover the entire plane. By making use of a characterization of generalized Gabidulin codes, we prove that the rank of such a linear set is at least $5$. This answers to a recent question posed by Bartoli, Borello and Marino.
Square-free Word-representation of Word-representable Graphs
Published in Graphs and Combinatorics (2026) 42:12
• View Publication
• BIB
A graph $G = (V, E)$ is word-representable, if there exists a word w over the alphabet V such that for letters ${x, y} \in V$ , $x$ and $y$ alternate in $w$ if and only if $xy \in E$. In this paper, we prove that any non-empty word-representable graph can be represented by a word containing no non-trivial squares. This result provides a positive answer to the open problem present in the book Words and graphs written by Sergey Kitaev, and Vadim Lozin. Also, we prove that for a word-representable graph $G$, if the representation number of $G$ is $k$, then every $k$-uniform word representing the graph $G$ is also square-free. Moreover, we prove that every minimal-length word representing a graph is square-free. Then, we count the number of possible square-free word-representations of a complete graph. At last, using the infinite square-free string generated from the Thue-Morse sequence, we prove that infinitely many square-free words represent a non-complete connected word-representable graph.
Cluster Categorification of Rank 2 Webs
The homogeneous coordinate ring of the Grassmannian $\rm{Gr}(k,n)$ has a well-known cluster structure. There is a categorification of this cluster structure via a category of modules for a ring $A_{k,n}$ due to Jensen-King-Su, building on work of Geiss-Leclerc-Schröer, in which cluster variables correspond to indecomposable rigid modules. We give a combinatorial description of modules that correspond to rank $2$ cluster variables by using webs. This conjecturally gives the categorification of all rank $2$ cluster variables.
Groups having minimal covering number 2 of diagonal type
Published
• View Publication
• BIB
Garonzi and Lucchini~\cite{GL} explored finite groups $G$ possessing a normal $2$-covering, where no proper quotient of $G$ exhibits such a covering. Their investigation offered a comprehensive overview of these groups, delineating that such groups fall into distinct categories: almost simple, affine, product action, or diagonal.
In this paper, we focus on the family falling under the diagonal type. Specifically, we present a thorough classification of finite diagonal groups possessing a normal $2$-covering, with the attribute that no proper quotient of $G$ has such a covering.
Factorization and irreducibility of composed products
Brawley and Carlitz introduced diamond products of elements of finite fields and associated composed products of polynomials in 1987. Composed products yield a method to construct irreducible polynomials of large composite degrees from irreducible polynomials of lower degrees. We show that the composed product of two irreducible polynomials of degrees $m$ and $n$ is again irreducible if and only if $m$ and $n$ are coprime and the involved diamond product satisfies a special cancellation property, the so-called conjugate cancellation. This completes the characterization of irreducible composed products, considered in several previous papers. More generally, we give precise criteria when a diamond product satisfies conjugate cancellation. For diamond products defined via bivariate polynomials, we prove simple criteria that characterize when conjugate cancellation holds. We also provide efficient algorithms to check these criteria. We achieve stronger results as well as more efficient algorithms in the case that the polynomials are bilinear. Lastly, we consider possible constructions of normal elements using composed products and the methods we developed.
Stability of large cuts in random graphs
Published
• View Publication
• BIB
We prove that the family of largest cuts in the binomial random graph exhibits the following stability property: If $1/n \ll p = 1-Ω(1)$, then, with high probability, there is a set of $n - o(n)$ vertices that is partitioned in the same manner by all maximum cuts of $G_{n,p}$. Moreover, the analogous statement remains true when one replaces maximum cuts with nearly-maximum cuts.
We then demonstrate how one can use this statement as a tool for showing that certain properties of $G_{n,p}$ that hold in a fixed balanced cut hold simultaneously in all maximum cuts. We provide two example applications of this tool. First, we prove that maximum cuts in $G_{n,p}$ typically partition the neighbourhood of every vertex into nearly equal parts; this resolves a conjecture of DeMarco and Kahn for all but a narrow range of densities $p$. Second, for all edge-critical, nonbipartite, and strictly 2-balanced graphs $H$, we prove a lower bound on the threshold density $p$ above which every largest $H$-free subgraph of $G_{n,p}$ is $(χ(H)-1)$-partite. Our lower bound exactly matches the upper bound on this threshold recently obtained by the first two authors.
Differential equations for the series of hypermaps with control on their full degree profile
Published
• View Publication
• BIB
We consider the generating series of oriented and non-oriented hypermaps with controlled degrees of vertices, hyperedges and faces. It is well known that these series have natural expansions in terms of Schur and Zonal symmetric functions, and with some particular specializations, they satisfy the celebrated KP and BKP equations.
We prove that the full generating series of hypermaps satisfy a family of differential equations. We give a first proof which works for an $α$ deformation of these series related to Jack polynomials. This proof is based on a recent construction formula for Jack characters using differential operators. We also provide a combinatorial proof for the orientable case.
Our approach also applies to the series of $k$-constellations with control of the degrees of vertices of all colors. In other words, we obtain an equation for the generating function of Hurwitz numbers (and their $α$-deformations) with control of full ramification profiles above an arbitrary number of points. Such equations are new even in the orientable case.
On semi-restricted Rock, Paper, Scissors
Published
• View Publication
• BIB
Spiro, Surya and Zeng (Electron. J. Combin. 2023; arXiv:2207.11272) recently studied a semi-restricted variant of the well-known game Rock, Paper, Scissors; in this variant the game is played for $3n$ rounds, but one of the two players is restricted and has to use each of the three moves exactly $n$ times. They find the optimal strategy, and they show that it results in an expected score for the unrestricted player $Θ(\sqrt{n})$; they conjecture, based on numerical evidence, that the expectation is $\approx 1.46\sqrt{n}$.
We analyse the result of the strategy further and show that the average is $\sim c \sqrt{n}$ with $c=3\sqrt{3}/2\sqrtπ=1.466$, verifying the conjecture. We also find the asymptotic distribution of the score, and compute its variance.
Gilbert-Varshamov Bound for Codes in $L_1$ Metric using Multivariate Analytic Combinatorics
Published in IEEE Trans. Inform. Theory, vol. 71, no. 1, pp. 244-262, 2025
• View Publication
• BIB
Analytic combinatorics in several variables refers to a suite of tools that provide sharp asymptotic estimates for certain combinatorial quantities. In this paper, we apply these tools to determine the Gilbert--Varshamov lower bound on the rate of optimal codes in $L_1$ metric. Several different code spaces are analyzed, including the simplex and the hypercube in $\mathbb{Z^n}$, all of which are inspired by concrete data storage and transmission models such as the sticky insertion channel, the permutation channel, the adjacent transposition (bit-shift) channel, the multilevel flash memory channel, etc.
A concept of largeness of combinatorially rich sets
Published
• View Publication
• BIB
In \cite[Proposition 8.21 Page-169]{F} Using the methods of topological dynamics, H. Furstenberg introduced the notion of central set and proved the famous Central Sets Theorem. Later, in \cite{DHS}, D. De, H. Hindman and D. Struss established a strong Central Sets Theorem, where they introduced the notion of $J$-set. Like $J$-set, in \cite{BG} V. Bergelson and D. Glasscock introduced the notion of combinatorially rich set ( $CR$-set). Let $u,v\in\mathbb{N}$ and $A$ be a $u\times v$ matrix with rational entries. In \cite{HS23}, N. Hindman and D. Strauss established that whenever $B$ is a piecewise syndetic set (resp. $J$-set) in $\mathbb{Z}$, $\left\{ \vec{x}\in\mathbb{Z}^{v}:A\vec{x}\in B^{u}\right\} $ is a piecewise syndetic set ( resp. $J$-set) in $\mathbb{Z}^{v}$. In this article, we prove the same result for $CR$-sets using an equivalent definition of $CR$-set in \cite{HHST} by N. Hindman, H. Hosseini, D. Strauss and M. Tootkaboni.
New scattered linearized quadrinomials
Published
• View Publication
• BIB
Let $1<t<n$ be integers, where $t$ is a divisor of $n$. An R-$q^t$-partially scattered polynomial is a $\mathbb F_q$-linearized polynomial $f$ in $\mathbb F_{q^n}[X]$ that satisfies the condition that for all $x,y\in\mathbb F_{q^n}^*$ such that $x/y\in\mathbb F_{q^t}$, if $f(x)/x=f(y)/y$, then $x/y\in\mathbb F_q$; $f$ is called scattered if this implication holds for all $x,y\in\mathbb F_{q^n}^*$. Two polynomials in $\mathbb F_{q^n}[X]$ are said to be equivalent if their graphs are in the same orbit under the action of the group $ΓL(2,q^n)$. For $n>8$ only three families of scattered polynomials in $\mathbb F_{q^n}[X]$ are known: $(i)$~monomials of pseudoregulus type, $(ii)$~binomials of Lunardon-Polverino type, and $(iii)$~a family of quadrinomials defined in [1,10] and extended in [8,13]. In this paper we prove that the polynomial $\varphi_{m,q^J}=X^{q^{J(t-1)}}+X^{q^{J(2t-1)}}+m(X^{q^J}-X^{q^{J(t+1)}})\in\mathbb F_{q^{2t}}[X]$, $q$ odd, $t\ge3$ is R-$q^t$-partially scattered for every value of $m\in\mathbb F_{q^t}^*$ and $J$ coprime with $2t$. Moreover, for every $t>4$ and $q>5$ there exist values of $m$ for which $\varphi_{m,q}$ is scattered and new with respect to the polynomials mentioned in $(i)$, $(ii)$ and $(iii)$ above. The related linear sets are of $ΓL$-class at least two.
Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem
This paper presents two shortcuts to a classical proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem, which can be found in B. Davey and H. Priestley [2] and S. Burris and H. Sankappanavar [1]. To be precise, the shortcuts pertain a particular step of the proof that requires showing an algebraic equality. In addition, we briefly discuss how to compare the lengths of the three proofs (the original and our two proposed shortcuts). To do so, we introduce two methods to compare the lengths of proofs based on algebraic lattice expressions. We call them the proof count method and the proof poset method. Both methods indicate that our proofs are shorter but the difference is more pronounced in the former.
Keywords: lattices, posets
Dot Product Representations of Graphs Using Tropical Arithmetic
A dot-product representation of a graph is a mapping of its vertices to vectors of length $k$ so that vertices are adjacent if and only if the inner product (a.k.a. dot product) of their corresponding vertices exceeds some threshold. Minimizing dimension of the vector space into which the vectors must be mapped is a typical focus. We investigate this and structural characterizations of graphs whose dot product representations are mappings into the tropical semi-rings of min-plus and max-plus. We also observe that the minimum dimension required to represent a graph using a \emph{tropical representation} is equal to the better-known threshold dimension of the graph; that is, the minimum number of subgraphs that are threshold graphs whose union is the graph being represented.
Folding polyominoes into cubes
Which polyominoes can be folded into a cube, using only creases along edges of the square lattice underlying the polyomino, with fold angles of $\pm 90^\circ$ and $\pm 180^\circ$, and allowing faces of the cube to be covered multiple times? Prior results studied tree-shaped polyominoes and polyominoes with holes and gave partial classifications for these cases.
We show that there is an algorithm deciding whether a given polyomino can be folded into a cube. This algorithm essentially amounts to trying all possible ways of mapping faces of the polyomino to faces of the cube, but (perhaps surprisingly) checking whether such a mapping corresponds to a valid folding is equivalent to the unlink recognition problem from topology.
We also give further results on classes of polyominoes which can or cannot be folded into cubes. Our results include (1) a full characterisation of all tree-shaped polyominoes that can be folded into the cube (2) that any rectangular polyomino which contains only one simple hole (out of five different types) does not fold into a cube, (3) a complete characterisation when a rectangular polyomino with two or more unit square holes (but no other holes) can be folded into a cube, and (4) a sufficient condition when a simply-connected polyomino can be folded to a cube.
These results answer several open problems of previous work and close the cases of tree-shaped polyominoes and rectangular polyominoes with just one simple hole.
Bounded fractional intersecting families are linear in size
Published in Electron. J. Combin. 32(3) (2025), #P3.34
• View Publication
• BIB
Using the sunflower method, we show that if $θ\in (0,1) \cap \mathbb{Q}$ and $\mathcal{F}$ is a $O(n^{1/3})$-bounded $θ$-intersecting family over $[n]$, then $\lvert \mathcal{F} \rvert = O(n)$, and that if $\mathcal{F}$ is $o(n^{1/3})$-bounded, then $\lvert \mathcal{F} \rvert \leq (\frac{3}{2} + o(1))n$. This partially solves a conjecture of Balachandran, Mathew and Mishra that any $θ$-intersecting family over $[n]$ has size at most linear in $n$, in the regime where we have no very large sets.
A combinatorial $K$-theory perspective on the Edge Reconstruction Conjecture in graph theory
Published
• View Publication
• BIB
We provide a framework for abstract reconstruction problems using the $K$-theory of categories with covering families, which we then apply to reformulate the edge reconstruction conjecture in graph theory. Along the way, we state some fundamental theorems for the $K$-theory of categories with covering families.
The 10 antipodal pairings of strongly involutive polyhedra
It is known that strongly involutive polyhedra are closely related to self-dual maps where the antipodal function acts as duality isomorphism. Such a family of polyhedra appears in different combinatorial, topological and geometric contexts, and is thus attractive to be studied. In this note, we determine the 10 antipodal pairings among the classification of the 24 self-dual pairings $Dual(G)\rhd Aut(G)$ of self-dual maps G. We also present the orbifold associated to each antipodal pairing and describe explicitly the corresponding fundamental regions. We finally explain how to construct two infinite families of strongly involutive polyhedra (one of them new) by using their doodles and the action of the corresponding orbifolds.
Multiple-Error-Correcting Codes for Analog Computing on Resistive Crossbars
Published
• View Publication
• BIB
Error-correcting codes over the real field are studied which can locate outlying computational errors when performing approximate computing of real vector--matrix multiplication on resistive crossbars. Prior work has concentrated on locating a single outlying error and, in this work, several classes of codes are presented which can handle multiple errors. It is first shown that one of the known constructions, which is based on spherical codes, can in fact handle multiple outlying errors. A second family of codes is then presented with $\zeroone$~parity-check matrices which are sparse and disjunct; such matrices have been used in other applications as well, especially in combinatorial group testing. In addition, a certain class of the codes that are obtained through this construction is shown to be efficiently decodable. As part of the study of sparse disjunct matrices, this work also contains improved lower and upper bounds on the maximum Hamming weight of the rows in such matrices.
Dimensions of $τ$-tilting modules over path algebras and preprojective algebras of Dynkin type
Published in Journal of Algebra. Volume 667, 1 April 2025, Pages 365-411
• View Publication
• BIB
In this paper, we introduce a new generating function called $d$-polynomial for the dimensions of $τ$-tilting modules over a given finite dimensional algebra. Firstly, we study basic properties of $d$-polynomials and show that it can be realized as a certain sum of the $f$-polynomials of the simplicial complexes arising from $τ$-rigid pairs. Secondly, we give explicit formulas of $d$-polynomials for preprojective algebras and path algebras of Dynkin quivers by using a close relation with $W$-Eulerian polynomials and $W$-Narayana polynomials. Thirdly, we consider the ordinary and exponential generating functions defined from $d$-polynomials and give closed-form expressions in the case of preprojective algebras and path algebras of Dynkin type $\mathbb{A}$.