Showing 20 papers (Total: 83190 papers, 48060 authors in database)
4-uniform Maker-Breaker and Maker-Maker games are PSPACE-complete
We study two positional games where two players take turns picking a previously unpicked vertex of a hypergraph $H$. We say a player fills an edge of $H$ if that player has picked all the vertices of that edge. In the Maker-Maker game, whoever first fills an edge wins, or we get a draw if no edge is filled. In the Maker-Breaker game, the first player aims at filling an edge while the second player aims at preventing the first player from filling an edge. We show that, for both games, deciding whether the first player has a winning strategy is a PSPACE-complete problem even when restricted to 4-uniform hypergraphs. For the Maker-Maker game, this improves on a previous result for hypergraphs of rank 4. For the Maker-Breaker game, this improves on a previous result for 5-uniform hypergraphs, and closes the complexity gap as the problem for hypergraphs of rank 3 is known to be solvable in polynomial time.
To cover a permutohedron
The permutohedron $P_n$ of order $n$ is a polytope embedded in $\mathbb{R}^n$ whose vertex coordinates are permutations of the first $n$ natural numbers. It is obvious that $P_n$ lies on the hyperplane $H_n$ consisting of points whose coordinates sum up to $n(n+1)/2$. We prove that if the vertices of $P_n$ are contained in the union of $m$ affine hyperplanes different from $H_n$, then $m\geq n$ when $n \geq 3$ is odd, and $m \geq n-1$ when $n \geq 4$ is even. This confirms a recent conjecture of Hegedüs and Károlyi. Our proof gives an algebraic criterion for a non-standard permutohedron generated by $n$ distinct real numbers to require at least $n$ non-trivial hyperplanes to cover its vertices.
Generalized $f$-Eulerian polynomials: zeros and hypergeometric representations with applications
Published
• View Publication
• BIB
In this paper, we explore (slightly generalized) $f$-Eulerian polynomials introduced by Stanley and frequently appearing in combinatorics. Notable special cases include the classical Eulerian polynomials, the generating polynomials of order polynomials for certain labeled posets, and the $d$-Narayana polynomials. We establish simple sufficient conditions for the reality (and sign) of their zeros and present implications for total positivity of sequences generated by values of polynomials at integers. We further relate these polynomials to generalized Euler's transformations for the generalized hypergeometric functions with integral parameter differences. Exploiting this and other hypergeometric connections, we provide purely hypergeometric proofs for various known and some new properties of $d$-Narayana polynomials. Another family encompassed by our definition of the generalized $f$-Eulerian polynomials is that of Jacobi-Piñeiro type II multiple orthogonal polynomials. Their zero location can thus be analyzed, for both canonical and non-canonical parameter values, without invoking orthogonality. Finally, we present several connection formulas relating $d$-Narayana polynomials to particular Jacobi-Piñeiro polynomials.
A sphere of spherical objects
Given a Bridgeland stability condition on a 2-Calabi--Yau category, we define a simplicial complex that encodes the Harder--Narasimhan filtrations of spherical objects. For 2-Calabi--Yau categories of type A, we relate this complex to the complex of pointed pseudo-triangulations on configurations of points on the plane. Using this connection, we prove that the complex undergoes piecewise-linear wall-crossings as we vary the stability condition, and is piecewise-linearly homeomorphic to a sphere.
Additionally, we prove that for a generic stability condition on a 2-Calabi--Yau category, a spherical object is determined by the ordered list of its Harder--Narasimhan factors.
Single conflict coloring, adaptable choosability and separation choosability
We study relations between three interrelated notions of graph (list) coloring: single conflict coloring, adapted list coloring and choosability with separation (with $1$ overlapping color between lists of adjacent vertices), and their respective invariants single conflict chromatic number $χ_{\nleftrightarrow}$, adaptable choosability $ch_{ad}$ and separation choosability $ch_{sep}$. We investigate graphs with small values of these invariants, and construct explicit families of graphs $G$ with $χ_{\nleftrightarrow}(G) = ch_{ad}(G) > ch_{sep}(G)$, as well as where all three invariants are equal. Furthermore, we consider planar graphs and investigate for which triples $(a,b,c)$, there is a planar graph $G$ with $(ch_{sep}(G), ch_{ad}(G), χ_{\nleftrightarrow}(G)) = (a,b,c)$. Throughout the paper we pose many questions on these graph coloring parameters, and discuss connections to related coloring invariants such as adapted coloring.
Frozen-corner enumeration of Alternating Sign Matrices
Published
• View Publication
• BIB
An Alternating Sign Matrix (ASM) is a square matrix with entries in $\{0,1,-1\}$, and such that: $i)$ in each row and columns, nonzero entries alternate in sign; $ii)$ for any given row or column, entries sum up to 1. We define the frozen-square enumeration as the enumeration of $n\times n$ ASMs under the refinement of having, located in a corner, an $s\times s$ square of entries that are all zeroes. We state a conjectural formula for such enumeration, in terms of a Fredholm type determinant of some $s\times s$ matrix whose entries are given explicitely. We provide numerical support in favour of our conjecture. We also illustrate the relevance of the conjectured formula in connection with the limit shape observed in large ASMs, its fluctuations, and the Tracy--Widom distribution.
Semi-simple partition algebras as centralizers of representations for rook monoids
Let $\mathcal{P}_k(δ)$, where $k$ is a positive integer and $δ$ some complex parameter, be the classical partition algebra over the complex numbers. In the case when $δ=n$, it is well-known that the algebra $\mathcal{P}_k(δ)$ is the centralizer of the symmetric group $S_n$ acting on the $k$-fold tensor space of the natural representation of $S_n$, for $n\geq 2k$. The algebra $\mathcal{P}_k(δ)$ is semi-simple for generic values of $δ$. In this paper, we show that semi-simple partition algebras appear as the centralizer algebras for certain representations of the rook monoids given by an iterative restriction-induction of the trivial representation. Along the way, we also give a decomposition of this iterative representation of the rook monoid into various tensor spaces and show that the corresponding dimensions are given by generalized Bell numbers.
Monochromatic 4-AP avoidance in 2-colorings of Z/pZ for primes p >= 5 and a computation of W_c(4,2)
We study 2-colorings of Z/pZ that avoid monochromatic 4-term arithmetic progressions for every step d with p not dividing d. We prove a complete classification for primes: such a coloring exists if and only if p is in {5, 7, 11}. When solutions exist, the minimal period equals p, and we enumerate them up to dihedral symmetries and a global color swap. Nonexistence for all other primes combines DRAT-verified UNSAT certificates for 13 ≤ p ≤ 997 with a cyclic van der Waerden corollary that forces nonexistence for every prime p ≥ 34. Using the same SAT/DRAT pipeline on composite moduli (restricted to non-degenerate windows), we certify the exact cyclic van der Waerden value W_c(4,2) = 34: we find a witness at M = 33 and produce a DRAT-verified UNSAT certificate at M = 34. For all M ≥ 35 the bound W_c(4,2) ≤ W(4,2) = 35 implies unavoidability. All scripts and proof logs are provided for exact reproduction.
Generalizations of the Crossing Lemma
The crossing number of a graph is the minimum number of crossings over all of its drawings on the plane. The Crossing Lemma, proved more than 40 years ago, is a tight lower bound on the crossing number of a graph in terms of the number of vertices and edges. It is definitely the most important inequality on crossing numbers. We review some generalizations and applications of the Crossing Lemma.
The lonely runner conjecture holds for eight runners
Published
• View Publication
• BIB
We prove that the lonely runner conjecture holds for eight runners. Our proof relies on a computer verification and on recent results that allow bounding the size of a minimal counterexample. We note that our approach also applies to the known cases with 4, 5, 6, and 7 runners. We expect that minor improvements to our approach could be enough to solve the cases of 9 or 10 runners.
Lattice polytopes and semigroup algebras: Generic Lefschetz properties and Parseval-Rayleigh identities
We study semigroup algebras associated to lattice polytopes.
We begin by generalizing and refining work of Hochster, and describe the volume maps of these algebras, that is, their fundamental classes, in terms of Parseval-Rayleigh identities and differential equations, which we prove to be equivalent.
We use these descriptions to establish strong Lefschetz properties.
A consequence is the resolution of several conjectures concerning unimodality properties of the h*-polynomial of lattice polytopes.
On the set of fixed points for NRS($m$)
Let $f(z)$ be a degree $d$ polynomial with zeros $z_i$. For arbitrary $m$ we construct explicit set of fixed points (attractors) of NRS($m$), and prove a factored formula for the Jacobian at these points. We prove that if NRS(2), when applied to $f$ with an arbitrary starting point, converges to a point $(w_0, w_1)$, then $w_0$ is of the form $z_i+z_j$ for some $i \neq j$. As a corollary, we prove a formula expressing the elementary symmetric expansion of the function \[ \prod_{1\leq i < j \leq d} (z - z_i -z_j) \] in the variables $z_i$ in terms of non-intersecting paths on certain directed graphs, using the Lindström-Gessel-Veinnot Lemma.
An improved lower bound for Erdős--Szekeres products
Published
• View Publication
• BIB
In 1959, Erdős and Szekeres posed a series of problems concerning the size of polynomials of the form $$ P_n(z) = \prod_{j=1}^n (1 - z^{s_j}), $$ where $s_1, \dots, s_n$ are positive integers. Of particular interest is the quantity $$ f(n) = \inf_{s_1,\dots,s_n\ge 1} \max_{|z|=1} |P_n(z)|. $$They proved that $\lim_{n\to\infty} f(n)^{1/n} = 1$, and also established the classical lower bound $f(n) \ge \sqrt{2n}$. However, despite extensive effort over more than six decades, no stronger general lower bound had been established.
In this paper, we obtain the new bound $$ f(n) \ge 2\sqrt{n}. $$This gives the first improvement of the classical lower bound for the Erdős--Szekeres problem in the general case since 1959. In particular, our result confirms a remark of Billsborough et al., who observed that if the original Erdős--Szekeres proof could be fixed, the O'Hara--Rodriguez bound would yield exactly this inequality.
A counterexample to the $S_{10}$- and the $S_{12}$-Conjecture
Published
• View Publication
• BIB
For two graphs $G$ and $H$, a mapping $f\colon E(G) \to E(H)$ is an $H$-coloring of $G$, if it is a proper edge-coloring and for every $v \in V(G)$ there exists a vertex $u \in V(H)$ with $f(\partial_G(v))=\partial_H(u)$. Motivated by the Petersen Coloring Conjecture, Mkrtchyan [A remark on the Petersen coloring conjecture of Jaeger, \emph{Australas. J. Combin.}, 56 (2013), 145-151] and Mkrtchyan together with Hakobyan [$S_{12}$ and $P_{12}$-colorings of cubic graphs, \emph{Ars Math. Contemp.}, 17 (2019), 431-445] made the following two conjectures. (I) Every cubic graph has an $S_{10}$-coloring, where $S_{10}$ is a graph on 10 vertices sometimes also referred to as the Sylvester graph. (II) Every cubic graph with a perfect matching has an $S_{12}$-coloring, where $S_{12}$ is the graph obtained from $S_{10}$ by replacing the central vertex with a triangle. In this note we present a (rather small) counterexample to both conjectures.
Gremban Expansion for Signed Networks: Algebraic and Combinatorial Foundations for Community-Faction Detection
This article deals with the characterization and detection of community and faction structures in signed networks. We approach the study of these mesoscale structures through the lens of the Gremban expansion. This graph operation lifts a signed graph to a larger unsigned graph, and allows the extension of standard techniques from unsigned to signed graphs. We develop the combinatorial and algebraic properties of the Gremban expansion, with a focus on its inherent involutive symmetry. The main technical result is a bijective correspondence between symmetry-respecting cut-sets in the Gremban expansion, and regular cut-sets and frustration sets in the signed graph (i.e., the combinatorial structures that underlie communities and factions respectively). This result forms the basis for our new approach to community-faction detection in signed networks, which makes use of spectral clustering techniques that naturally respect the required symmetries. We demonstrate how this approach distinguishes the two mesoscale structures, how to generalize the approach to multi-way clustering and discuss connections to network dynamical systems.
Large deviations for probability graphons
We establish a large deviation principle (LDP) for probability graphons, which are symmetric functions from the unit square into the space of probability measures. This notion extends classical graphons and provides a flexible framework for studying the limit behavior of large dense weighted graphs. In particular, our result generalizes the seminal work of Chatterjee and Varadhan (2011), who derived an LDP for Erdős-Rényi random graphs via graphon theory. We move beyond their binary (Bernoulli) setting to encompass arbitrary edge-weight distributions. Specifically, we analyze the distribution on probability graphons induced by random weighted graphs in which edges are sampled independently from a common reference probability measure supported on a compact Polish space. We prove that this distribution satisfies an LDP with a good rate function, expressed as an extension of the Kullback-Leibler divergence between probability graphons and the reference measure. This theorem can also be viewed as a Sanov-type result in the graphon setting. Our work provides a rigorous foundation for analyzing rare events in weighted networks and supports statistical inference in structured random graph models under distributional edge uncertainty.
Matchings in Matroids over Abelian Groups, III
In an abelian group $G$, a \emph{matching} is a bijection $f\colon A\to B$ between finite subsets $A,B\subseteq G$ such that $a+f(a)\notin A$ for all $a\in A$. We say that $G$ has the \emph{matching property} if every pair of finite subsets $A,B\subseteq G$ with $|A|=|B|$ and $0\notin B$ admits such a matching. This paper develops matroidal analogues of classical results on group matchings. By embedding matroid ground sets in $G$, we introduce base matchings between matroid bases, recovering the group-theoretic setting in the uniform case, and derive structural and combinatorial criteria for their existence. Our methods blend techniques from matroid theory, group theory, and additive number theory. Our main focus is on paving matroids, a class conjectured to constitute asymptotically almost all matroids. We prove symmetric self-matchability for all paving matroids, extend asymmetric results via the hyperplane-nullity parameter, and connect stressed hyperplanes to matchability through relaxation, bridging paving and uniform matroids. This paper continues a line of research initiated in [3,4], yet is written to be self-contained and may be read independently.
Distribution of statistics on separable permutations restricted by a flat POP
Published
• View Publication
• BIB
Finding distributions of statistics in pattern-avoiding permutations has attracted significant attention in the literature. In particular, Chen, Kitaev, and Zhang derived functional equations for the joint distributions of any subset of classical minima and maxima statistics, as well as for the joint distributions of ascents and descents in separable permutations. Meanwhile, partially ordered patterns (POPs) have also been extensively studied. Notably, so-called flat POPs played a key role, via the notion of shape-Wilf-equivalence, in proving a conjecture on pattern-avoiding permutations.
In this paper, we study flat POP-avoiding separable permutations, where the maximum element in a flat POP receives the largest label. Avoiding such a POP imposes restrictions on the position of the maximum element in a separable permutation, forcing it to be positioned to the left. We establish a system of functional equations describing the joint distribution of six classical statistics in the most general case, extending the work of Chen, Kitaev, and Zhang.
As a specialization, when the POP has length 3, we recover a joint distribution result of Han and Kitaev on permutations avoiding classical patterns of length 3. As another specialization, for the flat POP of length 4, we derive an explicit rational generating function that captures the distribution of six statistics, with a numerator containing 100 monomials and a denominator containing 19 monomials.
On Laplacian and Signless Laplacian Permanental Polynomials of Some Well-known Graphs
The permanent of an $n \times n$ matrix $M = (m_{ij})$ is defined as $\mathrm{per}(M) = \sum_{σ\in S_n} \prod_{i=1}^n m_{i,σ(i)}$, where $S_n$ denotes the symmetric group on $\{1,2,\ldots,n\}$. The permanental polynomial of $M$, is defined by $ψ(M;x) = \mathrm{per}(xI_n - M)$. We study two fundamental variants: the Laplacian permanental polynomial $ψ(L(G);x)$ and signless Laplacian permanental polynomial $ψ(Q(G);x)$ of a graph $G$. A graph is said to be {determined} by its (signless) Laplacian permanental polynomial if no other non-isomorphic graph shares the same polynomial. A graph is combinedly determined when isomorphism is guaranteed by the equality of both polynomials. Characterizing which graphs are determined by their(signless) Laplacian permanental polynomials is an interesting problem. This paper investigates the permanental characterization problem for several families of starlike graphs, including: spider graphs (tree), coconut tree, perfect binary tree, corona product of $C_m$ and $K_n$, and $\bar K_n$ for various values of $m$ and $n$. We establish which of these graphs are determined by their Laplacian or signless Laplacian permanental polynomials, and which require both polynomials for complete characterization. We emphasize that in this manuscript, we have considered a few techniques to compute the permanental polynomial of matrices and their propagation.
Ideally Connected Cographs and Chordal Graphs
Published in Discrete Mathematics, Volume 349, Issue 2, February 2026
• View Publication
• BIB
For distinct vertices $u,v$ in a graph $G$, let $κ_G(u,v)$ denote the maximum number of internally disjoint $u$-$v$ paths in $G$. Then, $κ_G(u,v) \leq \min\{ \mbox{deg}_G(u), \mbox{deg}_G(v) \}$. If equality is attained for every pair of vertices in $G$, then $G$ is called ideally connected. In this paper, we characterize the ideally connected graphs in two well-known graph classes: the cographs and the chordal graphs. We show that the ideally connected cographs are precisely the $2K_2$-free cographs, and the ideally connected chordal graphs are precisely the threshold graphs, the graphs that can be constructed from the single-vertex graph by repeatedly adding either an isolated vertex or a dominating vertex.