Showing 20 papers (Total: 81378 papers, 47165 authors in database)
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
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.
Structure, Perfect Divisibility and Coloring of ($P_2\cup P_4, C_3$)-Free Graphs
Randerath {\em et al.} [Discrete Math. 251 (2002) 137-153] proved that every $(P_6,C_3)$-free graph $G$ satisfies $χ(G)\leq4$. Pyatkin [Discrete Math. 313 (2013) 715-720] proved that every $(2P_3,C_3)$-free graph $G$ satisfies $χ(G)\leq4$. In this paper, we prove that for a connected $(P_2\cup P_4, C_3)$-free graph $G$, either $G$ has two nonadjacent vertices $u,v$ such that $N(u)\subseteq N(v)$, or $G$ is 3-colorable, or $G$ contains Grőtzsch graph as an induced subgraph and is an induced subgraph of Clebsch graph. Consequently, we have determined the chromatic number of $(P_2\cup P_4, C_3)$-free graph is 4.
A graph $G$ is {\em perfectly divisible} if, for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A {\em bull} is a graph consisting of a triangle with two disjoint pendant edges. Deng and Chang [Graphs Combin. (2025) 41: 63] proved that every ($P_2\cup P_3$, bull)-free graph $G$ with $ω(G)\geq3$ has a partition $(X,Y)$ such that $G[X]$ is perfect and $G[Y]$ has clique number less than $ω(G)$ if $G$ admits no homogeneous set; Chen and Wang [arXiv:2507.18506v2] proved that such property is also true for ($P_2\cup P_4$, bull)-free graphs. In this paper, we prove that a ($P_2\cup P_4$, bull)-free graph is perfectly divisible if and only if it contains no Grőtzsch graph.
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
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
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
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.
Equiangular tight frames in real symplectic space: Zauner's conjecture and the skew Hadamard conjecture
We introduce the notion of equiangular tight frames in real symplectic spaces and formulate a conjecture on their existence in terms of the dimension and number of vectors. Our main results shows the "symplectic Zauner's conjecture" is equivalent to the skew Hadamard conjecture. The proof involves counting subgraphs called "diamonds" in tournaments.
Spectra of Corona Products of Digraphs
Two types of corona products for simple directed graphs are introduced, extending the classical notions from the undirected setting: the vertex-corona and the arc-corona. Their structural and spectral properties are investigated through the use of digraph coronals, with particular emphasis on the adjacency, Laplacian, and signless Laplacian spectra. Finally, the coronals corresponding to these three matrices are computed for several families of digraphs.
An averaging result for union-closed families of sets
Let $\mathcal{A}$ be a union-closed family of sets with base set $b(\mathcal{A})=\bigcup_{A \in \mathcal{A}}A$ denoted by $[n]=\{1, \cdots, n\}$, and for any real $x>0$, let $\mathcal{A}_{<x} = \{A \in \mathcal{A} \ | \ |A| < x\}$. Also, denote by $\mathcal{B}$ any smallest irredundant subfamily of $\mathcal{A}_{<n/2}$ such that $b(\mathcal{B})=b(\mathcal{A}_{<n/2})$. We prove that if $\mathcal{A}$ is separating with height $h = 4 \leq n$ and $0 \leq |\mathcal{B}| \leq 2$, then the average size of a member set from $\mathcal{A}$ is at least $n/2$. We show that $h=4$ is greatest possible with respect to this result, and conclude by considering the remaining domain $3 \leq |\mathcal{B}| \leq 4$.
Remarks on proper conflict-free degree-choosability of graphs with prescribed degeneracy
A proper coloring $φ$ of $G$ is called a proper conflict-free coloring of $G$ if for every non-isolated vertex $v$ of $G$, there is a color $c$ such that $|φ^{-1}(c)\cap N_G(v)|=1$. As an analogy of degree-choosability of graphs, we introduced the notion of proper conflict-free $({\rm degree}+k)$-choosability of graphs. For a non-negative integer $k$, a graph $G$ is proper conflict-free $({\rm degree}+k)$-choosable if for any list assignment $L$ of $G$ with $|L(v)|\geq d_G(v)+k$ for every vertex $v\in V(G)$, $G$ admits a proper conflict-free coloring $φ$ such that $φ(v)\in L(v)$ for every vertex $v\in V(G)$. In this note, we first remark if a graph $G$ is $d$-degenerate, then $G$ is proper conflict-free $({\rm degree}+d+1)$-choosable. Furthermore, when $d=1$, we can reduce the number of colors by showing that every tree is proper conflict-free $({\rm degree}+1)$-choosable. This motivates us to state a question.
Proof of a conjecture of Garvan and Jennings-Shaffer on the nonnegativity of M_{C1}(m,n) and M_{C5}(m,n)
In their 2016 paper on exotic Bailey--Slater SPT-functions, Garvan and Jennings-Shaffer introduced many new spt-crank-type functions and proposed a conjecture that the spt-crank-type functions $M_{C1}(m,n)$ and $M_{C5}(m,n)$ are both nonnegative for all $m\in\mathbb{Z}$ and $n\in\mathbb{N}.$ Applying Wright\textquoteright s circle method, Jang and Kim showed that $M_{C1}(m,n)$ and $M_{C5}(m,n)$ are both positive for a fixed integer $m$ and large enough integers $n.$ Up to now, no complete proof of this conjecture has been given. In this paper, we provide a complete proof for this conjecture by using the theory of lattice points. Our proof is quite different from that of Jang and Kim.
Sharp lower bounds and extremal graphs for the generalized $k$-independence number
A vertex set $S$ is a generalized $k$-independent set if the induced subgraph $G[S]$ contains no tree on $k$ vertices. The generalized $k$-independence number $α_k(G)$ is the maximum size of such a set. For a tree $T$ with $n$ vertices, Bock et al. [J. Graph Theory 103 (2023) 661-673] and Li et al. [Taiwanese J. Math. 27 (2023) 647-683] independently showed that $α_3(G)\geq \frac{2}{3}n$ and identified the extremal trees that attain this lower bound. Subsequently, Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] established that $α_4(T) \geq \frac{3}{4}n$ and they further characterized all trees achieving this bound. This result was recently extended by Huang, who proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ holds for every $n$-vertex graph, where $ω(G)$ denotes the dimension of the cycle space of $G.$ The extremal graphs attaining this lower bound were also fully characterized. Based on these findings, Huang proposed a conjecture concerning a lower bound for $α_k(G)\ (k\geq2)$ together with the corresponding extremal graphs, which naturally generalizes all the aforementioned results. In this paper, we confirm this conjecture here. We further quantify strict improvements over this bound when the equality conditions fail, and we provide a linear-time algorithm that constructs a generalized $k$-independent set of size at least $\left\lceil\frac{k-1}{k}\left(n-ω(G)\right)\right\rceil$.
The Insertion Chain Complex: A Topological Approach to the Structure of Word Sets
We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups, as measures of the complexity for word sets. After establishing its theoretical foundations, we investigate the computational and combinatorial aspects of these complexes. Among other results, we classify minimal 1-dimensional cycles and prove that every finitely generated abelian group can be realized as the homology of the insertion complex for some set of words. We also identify conditions that guarantee vanishing homology. These results provide new invariants for characterizing finite sets of words through word-based topological structures and their properties.