math.CO ↗ arXiv
5274 papers in this category
Non-existence probabilities and lower tails in the critical regime via Belief Propagation
We compute the logarithmic asymptotics of the non-existence probability (and more generally the lower-tail probability) for a wide variety of combinatorial problems for a range of parameters in the `critical regime' between the regime amenable to hypergraph container methods and that amenable to Janson's inequality. Examples include lower tails and non-existence probabilities for subgraphs of random graphs and for $k$-term arithmetic progressions in random sets of integers.
Our methods apply in the general framework of estimating the probability that a $p$-random subset of vertices in a $k$-uniform hypergraph induces significantly fewer hyperedges than expected. We show that under some simple structural conditions on the hypergraph and an upper bound on $p$ determined by a phase transition in the hard-core model on the infinite $k$-uniform, $Δ$-regular, linear hypertree, this probability can be accurately approximated by the Bethe free energy evaluated at the unique fixed point of a Belief Propagation operator on the hypergraph.
Problems and results on intersections of product sets and sumsets in semigroups
For every subset $A$ of a semigroup $S$, let $A^h$ be the set of all products of $h$ elements of $S$. If $(A)_{q\in Q}$ is a family of subsets of $S$, then $A = \bigcap_{q \in Q} A_q$ satisfies $A^h \subseteq \bigcap_{q \in Q} A_q^h$. The product intersection set $H(A_q) = \left\{h \in \mathbf{N}: A^h = \bigcap_{q \in Q} A_q^h \right\}$ is investigated.
Hall-Littlewood-positive harmonic functionals on the algebra of symmetric functions
We study the problem of describing the set of real functionals on the quotient $\textrm{Sym}/(p_2-1)$ of the ring of symmetric functions that are nonnegative on the images of certain modified Hall-Littlewood symmetric functions. This question is equivalent to the problem, posed in [Adv Math 395, p.108087 (2022)], of describing the set of coadjoint-invariant measures for unitary groups over a finite field in the infinite-dimensional setting. Our main results constitute partial progress towards this problem. Firstly, we show that the desired set of functionals is very large, in the sense that it contains explicit families of examples depending on infinitely many parameters. Secondly, we provide an analogue of Kerov's mixing construction that produces new sought after functionals from known old ones. This construction depends on an explicit "$p_2$-twisted action" of $\textrm{Sym}$ on itself and the resulting dual map that makes $\textrm{Sym}$ into a comodule. Finally, our third main result explains the relation between the $p_2$-twisted comultiplication and the usual comultiplication on $\textrm{Sym}$.
On Generalized Token Graphs
The vertices of a $k$-token graph of a graph $G$ correspond to $k$ indistinguishable tokens placed on $k$ different vertices of $G$. Changing some conditions on both the nature of the tokens and the number of tokens allowed in each vertex of $G$, we define a generalization of token graphs, which we call generalized token graphs or simply supertoken graphs, which have different applications. Depending on the above conditions, different families of graphs (such as the Cartesian $k$-th power of $G$ by itself) are obtained, and we present some of their properties, including order, size, and connectivity.
An improved bound for sumsets of thick compact sets via the Shapley--Folkman theorem
Let $E_1,\dots,E_n \subset \mathbb{R}^d$ be compact sets of positive diameter with Feng--Wu thickness at least $c>0$. Feng and Wu proved that $E_1+\cdots+E_n$ has non-empty interior when $n>2^{11}c^{-3}+1$. We show that \[n>\frac{\sqrt d}{(\sqrt{1+c}-1)^2}=\frac{\sqrt d\,(\sqrt{1+c}+1)^2}{c^2}\] already suffices. In particular, since $0<c\le 1$, the bound $n>6\sqrt d\,c^{-2}$ is enough. For fixed dimension $d$, this improves the exponent in $c^{-1}$ from $3$ to $2$, while introducing only an explicit factor of $\sqrt d$. The proof replaces the one-summand-at-a-time enlargement of Feng--Wu by a simultaneous convexification step based on a radius form of the Shapley--Folkman theorem.
Measuring Depth of Matroids
Motivated by recently discovered connections between matroid depth measures and block-structured integer programming [ICALP 2020, 2022], we undertake a systematic study of recursive depth parameters for matrices and matroids, aiming to unify recently introduced and scattered concepts. We propose a general framework that naturally yields eight different depth measures for matroids, prove their fundamental properties and relationships, and relate them to two established notions in the field: matroid branch-depth and a newly introduced natural depth counterpart of matroid tree-width. In particular, we show that six of our eight measures are mutually functionally inequivalent, and among these, one is functionally equivalent to matroid branch-depth and another to matroid tree-depth. Importantly, we also prove that these depth measures coincide on matroids and on matrices over any field, which is (somehow surprisingly) not a trivial task. Finally, we provide a comparison between the matroid parameters and classical depth measures of graphs.
On Semisymmetric Height and a Multidimensional Generalization of Weighted Catalan Numbers
Weighted Catalan numbers are a class of weighted sums over Dyck paths. Well-studied for their arithmetic properties and applications to enumerative combinatorics, these numbers were recently generalized to the setting of $k$-dimensional Catalan numbers for $k \geq 2$. In this paper, we introduce the $k$-dimensional semisymmetric weighted Catalan numbers ($k$-dimensional SSWCNs), an alternative $k$-dimensional generalization, along with their variant, the $k$-dimensional $u$-bounded semisymmetric weighted Catalan numbers ($k$-dimensional $u$-bounded SSWCNs). We define these two classes of numbers using the notion of semisymmetric height, a new statistic on points in $\mathbb{Z}^k_{\geq 0}$ motivated by geometric symmetries of $k$-dimensional analogs of Dyck paths and of the fundamental Weyl chamber of type $A_{k-1}$. For our main results, we prove the eventual periodicity of $k$-dimensional SSWCNs and their $u$-bounded variants modulo a suitable integer $m$, and we derive formulas for several classes of $k$-dimensional $u$-bounded SSWCNs. Additionally, using semisymmetric height, we derive novel analogs in the $k$-dimensional setting of the integer sequence counting Dyck paths by height and of the Narayana numbers. We conclude the paper with a future direction for generalizing weighted Catalan numbers to the $k$-dimensional setting.
Counting geodesic paths in graphs
A geodesic is a shortest path which connects a pair of vertices of a graph G. In this paper we define the geodesic subpath number gpn(G) of a graph G as the number of geodesics in G. The number of subtrees and subpaths are already studied in literature, but they are both large quantities. Hence, the geodesic subpath number which is related to these quantities but smaller than both, seems worthy of investigation. We first consider extremal graphs with respect to the geodesic subpath number among all connected graphs on n vertices. This number is minimized by the so called geodetic graphs, i.e. graphs in which each pair of vertices is connected by precisely one geodesic. As for the graphs which maximize the geodesic subpath number, we provide an upper bound on gpn(G) in terms of n and we further consider several graph families which might have a large gpn(G). Yet, their value of gpn(G) still does not attain the established bound, so narrowing the gap remains as an open problem. We also consider the class of cactus graphs on n vertices and k cycles and among them characterize extremal graphs with respect to this new invariant.
Morse functions with regular level sets consisting of $2$-dimensional spheres, $2$-dimensional tori, or Klein Bottles
In this paper, we study Morse functions with regular level sets consisting of spheres, tori, or Klein Bottles on $3$-dimensional closed manifolds.
We characterize $3$-dimensional manifolds represented by connected sums each of whose summands is the product $S^1 \times S^2$ of the circle $S^1$ and the sphere $S^2$, lens spaces, or non-orientable closed and connected manifolds of genus $1$ by a certain subclass of such Morse functions. This is a kind of extensions of the orientable case, by Saeki, in 2006. This is a variant of its extension by the author for $3$-dimensional orientable manifolds represented by connected sums each of whose summands is the product $S^1 \times S^2$, lens spaces, or torus bundles over $S^1$ by a certain class of Morse-Bott functions. We also classify Morse functions with given regular level sets consisting of $S^2$, $S^1 \times S^1$, or Klein Bottles in a certain sense, generalizing some previous work by the author.
The matching book embedding of the $F$-sum of two graphs
The $F$-sum is a new graph operation defined by combining four graph transformation operations with the Cartesian product operation. A matching book embedding of a graph $G$ is a book embedding in which the vertices of $G$ are placed on a fixed linear order along the spine, and the edges are assigned to pages such that (i) no two edges on the same page cross, and (ii) each vertex has degree at most one on every page. The minimum number of pages required for such a matching book embedding is called the \emph{matching book thickness} of $G$, denoted by $mbt(G)$. A graph $G $ is dispersable if and only if $ mbt(G) = Δ(G) $, and nearly dispersable if and only if $mbt(G) = Δ(G) + 1 $. In this paper, we determine the dispersability of outerplanar graphs and establish an upper bound on the matching book thickness of the $F$-sum of any simple graph with any dispersable bipartite graph.
Determinantally Equivalent Functions Beyond the Nowhere-Zero Case
Let $Λ$ be a set and $\mathbb{F}$ a field, and suppose that $K,Q:Λ^2\to\mathbb{F}$ are two functions such that for any $n\in\mathbb{N}$ and $x_1,x_2,\ldots,x_n\inΛ$, the determinants of matrices $(K(x_i,x_j))_{1\leq i,j\leq n}$ and $(Q(x_i,x_j))_{1\leq i,j\leq n}$ agree. To what extent is it true that solely the two canonical transformations $(Tf)(x,y)=f(y,x)$ and $(Tf)(x,y)=g(x)g(y)^{-1}f(x,y)$, for some nowhere-zero function $g$, can be used to transform $Q$ into $K$?
In the symmetric case, this holds without further assumptions (see [Marco Stevens, Equivalent symmetric kernels of determinantal point processes, RMTA, 10(03):2150027, 2021]). Without symmetry, however, the statement fails in general. In [Harry Sapranidis Mantelos, Determinantally equivalent nonzero functions, Discrete Mathematics, 349(6):115021, 2026], it is shown that the conclusion remains valid under a natural structural condition, referred to as property D, together with the additional assumption that both functions are nowhere zero.
In the present paper, we remove this nowhere-zero hypothesis. Building on the combinatorial framework introduced in Mantelos (2026), we extend its underlying principle through a detailed analysis of the implications of property D. Our proof avoids linear algebra entirely and instead exploits the combinatorial structure of permutations in the definition of the determinant, interpreting them as cycles in a graph. This yields an elementary and intuitive argument, which in the finite case recovers a version of Loewy's classical matrix result from [Raphael Loewy, Principal minors and diagonal similarity of matrices, Linear Algebra and its Applications 78 (1986), 23--64].
Equality in Fill's spectral gap problem
We study the adjacent-transposition chain on the symmetric group $\mathfrak{S}_n$ with a regular parameter vector $\vec{p} = (p_{i,j})_{i\neq j}$. Fill's spectral gap conjecture, recently resolved in the affirmative by Greaves-Zhu, states that among all regular parameter vectors, the spectral gap of the transition matrix is minimized by the uniform vector $p_{i,j}= 1/2$ for all $i\neq j$.
We prove the stronger statement that among all regular parameter vectors, the spectral gap is minimized if and only if $\vec{p}$ has a neutral label, i.e., there exists $c \in [n]$ such that $p_{c,i} = 1/2$ for all $i\neq c$. Moreover, in this case, we show that the multiplicity of the second largest eigenvalue is equal to the number of neutral labels, unless the number of neutral labels is $n-2$ or $n$, in which case the multiplicity is $n-1$. This confirms a conjecture of Fill.
2-Geodesic-transitive graphs of order twice a prime power
In this paper, we study 2-geodesic-transitive graphs of order twice an odd prime power. Classifications of corresponding basic graphs and such graphs with almost simple automorphism groups are given, and a reduction theorem for general case is obtained. Certain new 2-geodesic-transitive graphs are found, and a Magma code regarding 2-geodesic-transitive graphs is provided.
Independent domination polynomial of comaximal graphs of commutative rings
Published in Algebra Colloquium, in the second issue of 2026
• Search Publication
The comaximal graph $ Γ(R) $ of a commutative ring $R$ is a simple graph with vertex set $ R $ and two distinct vertices $ a $ and $b $ of $ Γ(R) $ are adjacent if and only if $ aR+bR=R $, where $ aR $ is the ideal generated by $ a $ in $ R $. In this article, the independent domination polynomial $ D_{i}(Γ(\mathbb{Z}_{n}),x) $ of $ Γ(\mathbb{Z}_{n}) $ is discussed, along with its unimodal and log-concave properties for certain values of $n$. Some auxiliary results related to $D_{i}(Γ(\mathbb{Z}_{n}),x)$ are presented in terms of their zeros. In addition, we determine the independence polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ of $ Γ(\mathbb{Z}_{n}) $ for special values of $n$ and provide a general result associated with it. The bounds for the zero of the polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ are established, and their log-concave and unimodal properties are examined.
Proof of Two Supercongruences of Guillera and Zudilin
In $2012$, Guillera and Zudilin established the following two supercongruences involving truncated Ramanujan-type series: for any odd prime $p>2$, \begin{align*} \sum_{n=0}^{p-1}\frac{(\frac{1}{2})_n(\frac{1}{3})_n(\frac{1}{4})_n(\frac{3}{4})_n}{(1)_n^5}(-1)^n\left(172n^2+75n+9\right)\left(\frac{27}{16}\right)^n\equiv 9p^2 \pmod{p^5}, \end{align*} and \begin{align*} \sum_{n=0}^{p-1}\frac{(\frac{1}{2})_n(\frac{1}{3})_n(\frac{2}{3})_n}{(1)_n^3}\left(11n+3\right)\left(\frac{27}{16}\right)^n\equiv 3p \pmod{p^3}, \end{align*} where $(a)_n=\prod_{k=0}^{n-1}(a+k)$ denotes the Pochhammer symbol (rising factorial). In this paper, we mainly apply the Wilf-Zeilberger (WZ) method and symbolic summation techniques to prove these two supercongruences.
A note on piercing discrete rectangles
In 2008, Halman proved a discrete Helly-type theorem for axis-parallel boxes in $\mathbb R^d$. Very recently, this result was extended to the $(p,q)$ setting with $p \geq q \geq d+1$ by Edwards and Soberón, and subsequently to the case $p \geq q \geq 2$ by Gangopadhyay, Polyanskii, and the author of this paper.
In this paper, we obtain improved bounds for the $(p,q)$ problem in the case $q=2$ and $d=2$. More precisely, our main result asserts that for any integer $p \geq 2$, any set $P \subseteq \mathbb R^2$, and any finite family $\mathcal B$ of axis-parallel rectangles in $\mathbb R^2$ such that every rectangle contains a point of $P$, if among every $p$ rectangles there exist two whose intersection contains a point of $P$, then there exists a subset $S \subseteq P$ of size at most $O\!\bigl( (p \log \log p)^2 \bigr)$ such that every rectangle contains a point of $S$. Moreover, when $p=2$, the size of $S$ can be bounded by $8$.
Signotopes Induce Unique Sink Orientations on Grids
A unique sink orientation (USO) is an orientation of the edges of a polytope in which every face contains a unique sink. For a product of simplices $Δ_{m-1} \times Δ_{n-1}$, Felsner, Gärtner and Tschirschnitz (2005) characterize USOs which are induced by linear functions as the USOs on a $(m \times n)$-grid that correspond to a two-colored arrangement of lines. We generalize some of their results to products $Δ^1 \times\cdots\times Δ^r$ of $r$ simplices, USOs on $r$-dimensional grids and $(r+1)$-signotopes.
The Limited Augmented Zarankiewicz Number
The limited augmented Zarankiewicz number $z_L(m,n)$ satisfies $\operatorname{BSR}(m,n) \ge z_L(m,n) \ge z(m,n)$, where $\operatorname{BSR}(m,n)$ is the maximum SOS rank of $m \times n$ biquadratic forms and $z(m,n)$ is the classical Zarankiewicz number.
We determine the exact values of $z_L(m,n)$ for all $m,n \le 5$. In particular, we prove that $z_L(5,3) = 9$, $z_L(5,4) = 12$, and $z_L(5,5) = 14$, confirming that previously known lower bounds are tight. Moreover, by a lifting construction we obtain $z_L(6,5) \ge 17$, which is the first example where $z_L(m,n) \ge z(m,n) + 3$, demonstrating that the gap can grow with the dimensions.
The analysis proceeds by enumerating all non-isomorphic extremal $C_4$-free graphs for each parameter set and systematically checking the admissible 2-edge augmentations. Our results reveal that the augmentability of a $C_4$-free graph depends critically on its specific structure, not merely on its edge count. These findings provide improved lower bounds for $\operatorname{BSR}(m,n)$ and offer a foundation for future investigations of larger parameters.
Gallai 3-colourings of random graphs
A Gallai $k$-colouring of a graph $G$ is a colouring of $E(G)$ with $k$ colours that induces no rainbow triangles, that is, a triangle with edges of 3 different colours. We give a first step towards estimating the number of Gallai colourings of the Erdős-Rényi random graph, by proving that for every $δ> 0$ there are $c$ and $C$ such that with high probability the number of Gallai 3-colourings of $G(n,p)$ is at least $3^{(1-δ)\binom{n}{2}p}$ for $p \leq cn^{-1/2}$, and at most $2^{(1+δ)\binom{n}{2}p}$ for $p \geq Cn^{-1/2}$.
Extensions of the Carlitz-McConnel and Blokhuis-Sziklai theorems for unions of cyclotomic classes
Let $p$ be a prime, let $q=p^n$, and let $D\subseteq \mathbb{F}_q^\ast$. A celebrated result of Carlitz and McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^\ast$, and $f:\mathbb{F}_q\to\mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y)\in D$ for all $x\neq y$, then $f$ must be of the form $f(x)=ax^{p^j}+b$. In this paper, we extend their result to the setting where $D$ is a union of cosets of a fixed subgroup of $\mathbb{F}_q^\ast$, under a mild assumption. In a similar spirit, we also investigate maximum cliques in related Cayley graphs over finite fields, strengthening several results of Blokhuis, Sziklai, and Asgarli and Yip.