Showing 20 papers (Total: 81378 papers, 47165 authors in database)
The minimal nonplanar strong digraphs
Kuratowski's theorem says that the minimal (under subgraph containment) graphs that are not planar are the subdivisions of $K_5$ and of $K_{3,3}$. Here we study the minimal (under subdigraph containment) strongly-connected digraphs that are not planar. We also find the minimal strongly-connected non-outerplanar digraphs and the minimal strongly-connected non-series-parallel digraphs.
Eulerian magnitude homology: diagonality, injective words, and regular path homology
In this paper we explore the algebraic structure and combinatorial properties of eulerian magnitude homology. First, we analyze the diagonality conditions of eulerian magnitude homology, providing a characterization of complete graphs. Then, we construct the regular magnitude-path spectral sequence as the spectral sequence of the (filtered) injective nerve of the reachability category, and explore its consequences. Among others, we show that such spectral sequence converges to the complex of injective words on a digraph, and yields characterization results for the regular path homology of diagonal directed graphs.
Probabilistic Entry Swapping Bijections for Non-Attacking Fillings
Non-attacking fillings are combinatorial objects central to the theory of Macdonald polynomials. A probabilistic bijection for partition-shaped non-attacking fillings was introduced by Mandelshtam (2024) to prove a compact formula for symmetric Macdonald polynomials. In this work, we generalize this probabilistic bijection to composition-shaped non-attacking fillings. As an application, we provide a bijective proof to extend a symmetry theorem for permuted-basement Macdonald polynomials established by Alexandersson (2019), proving a version with fewer assumptions.
Characterizing optimal monitoring edge-geodetic sets for some structured graph classes
Given a graph $G=(V,E)$, a set $S\subseteq V$ is said to be a monitoring edge-geodetic set if the deletion of any edge in the graph results in a change in the distance between at least one pair of vertices in $S$. The minimum size of such a set in $G$ is called the monitoring edge-geodetic number of $G$ and is denoted by $meg(G)$.
In this work, we compute the monitoring edge-geodetic number efficiently for the following graph classes: distance-hereditary graphs, $P_4$-sparse graphs, bipartite permutation graphs, and strongly chordal graphs. The algorithms follow from structural characterizations of the optimal monitoring edge-geodetic sets for these graph classes in terms of \emph{mandatory vertices} (those that need to be in every solution). This extends previous results from the literature for cographs, interval graphs and block graphs.
On the coefficients of Tutte polynomials with one variable at 1
Denote the Tutte polynomial of a graph $G$ and a matroid $M$ by $T_G(x,y)$ and $T_M(x,y)$ respectively. $T_G(x,1)$ and $T_G(1,y)$ were generalized to hypergraphs and further extended to integer polymatroids by Kálmán \cite{Kalman} in 2013, called interior and exterior polynomials respectively. Let $G$ be a $(k+1)$-edge connected graph of order $n$ and size $m$, and let $g=m-n+1$. Guan et al. (2023) \cite{Guan} obtained the coefficients of $T_G(1,y)$: \[[y^j]T_G(1,y)=\binom{m-j-1}{n-2} \text{ for } g-k\leq j\leq g,\] which was deduced from coefficients of the exterior polynomial of polymatroids. Recently, Chen and Guo (2025) \cite{Chen} further obtained \[[y^j]T_G(1,y)=\binom{m-j-1}{n-2}-\sum_{i=k+1}^{g-j}\binom{m-j-i-1}{n-2}|\mathcal{EC}_i(G)|\] for $g-3(k+1)/2< j\leq g$, where $\mathcal{EC}_i(G)$ denotes the set of all minimal edge cuts with $i$ edges. In this paper, for any matroid $M=(X,rk)$ we first obtain \[[y^j]T_M(1,y)=\sum_{t=j}^{|X|-r}(-1)^{t-j}\binom{t}{j}σ_{r+t}(M),\] where $σ_{r+t}(M)$ denotes the number of spanning sets with $r+t$ elements in $M$ and $r=rk(M)$. Moveover, the expression of $[x^i]T_M(x,1)$ is obtained immediately from the duality of the Tutte polynomial. As applications of our results, we generalize the two aforementioned results on graphs to the setting of matroids. This not only resolves two open problems posed by Chen and Guo in \cite{Chen} but also provides a purely combinatorial proof that is significantly simpler than their original proofs.
Embeddings of edge-colored dual graphs of balanced 3- and 4-manifolds
This article focuses on a class of properly edge-colored graphs, which arise from topological combinatorics, and investigates their embeddings onto surfaces. Specifically, these graphs are known as the dual graphs of balanced normal pseudomanifolds. We introduce the concept of the balanced genus, which represents the smallest genus of a surface onto which the dual graph of a normal pseudomanifold can embed regularly.
As a key result, we establish that for any 3-manifold $ M $ that is not a sphere, the balanced genus satisfies the lower bound $ \mathcal{G}_M \geq m+3 $, where $ m $ is the rank of its fundamental group of $M$. Furthermore, we prove that a 3-manifold $ M $ is homeomorphic to the 3-sphere if and only if its balanced genus $ \mathcal{G}_M $ is at most 3. Similarly, for 4-manifolds, we establish that if $ M $ is not homeomorphic to a sphere, then its balanced genus is bounded below by $ \mathcal{G}_M \geq 2χ(M) + 5m + 11 $. Moreover, a 4-manifold $ M $ is PL homeomorphic to the 4-sphere if and only if its balanced genus satisfies $ \mathcal{G}_M \leq 2χ(M) + 10 $.
We believe that the balanced genus offers a new perspective in graph theory and combinatorics and will inspire further developments in the field in connection with algebraic combinatorics. To this end, we outline several directions for future research.
Arcs, Caps and Generalisations in a Finite Projective Space
Arcs and caps are fundamental structures in finite projective spaces. They can be generalised. Here, a survey is given of some important results on these objects, in particular on generalised ovals and generalised ovoids. The paper also contains recent results and several open problems.
The connectivity carcass of a vertex subset in a graph: both odd and even case
Let $G=(V,E)$ be an undirected unweighted multi-graph and $S\subseteq V$ be a subset of vertices. A set of edges with the least cardinality whose removal disconnects $S$, that is, there is no path between at least one pair of vertices from $S$, is called a Steiner mincut for $S$ or simply an $S$-mincut. Connectivity Carcass is a compact data structure storing all $S$-mincuts in $G$ announced by Dinitz and Vainshtein in an extended abstract by Dinitz and Vainshtein in 1994. The complete proof of various results of this data structure for the simpler case when the capacity of $S$-mincut is odd appeared in the year 2000 in SICOMP. Over the last couple of decades, there have been attempts towards the proof for the case when the capacity of $S$-mincut is even, but none of them met a logical end. We present the following results.
- We present the first complete, self-contained exposition of the connectivity carcass which covers both even and odd cases of the capacity of $S$-mincut.
- We derive the results using an alternate and much simpler approach. In particular, we derive the results using submodularity of cuts -- a well-known property of graphs expressed using a simple inequality.
- We also show how the connectivity carcass can be helpful in efficiently answering some basic queries related to $S$-mincuts using some additional insights.
Defect and transference versions of the Alon-Frankl-Lovasz theorem
Confirming a conjecture of Erdős on the chromatic number of Kneser hypergraphs, Alon, Frankl and Lovász proved that in any $q$-colouring of the edges of the complete $r$-uniform hypergraph, there exists a monochromatic matching of size $\lfloor \frac{n+q-1}{r+q-1}\rfloor$. In this paper, we prove a transference version of this theorem. More precisely, for fixed $q$ and $r$, we show that with high probability, a monochromatic matching of approximately the same size exists in any $q$-colouring of a random hypergraph, already when the average degree is a sufficiently large constant. In fact, our main new result is a defect version of the Alon--Frankl--Lovász theorem for almost complete hypergraphs. From this, the transference version is obtained via a variant of the weak hypergraph regularity lemma. The proof of the defect version uses tools from extremal set theory developed in the study of the Erdős matching conjecture.
The threshold for loose Hamilton cycles in random hypergraph
We show that w.h.p.\ the random $r$-uniform hypergraph $H_{n,m}$ contains a loose Hamilton cycle, provided $r\geq 3$ and $m\geq \frac{(1+ε)n\log n}{r}$, where $ε$ is an arbitrary positive constant. This is asymptotically best possible, as if $m\leq \frac{(1-ε)n\log n}{r}$ then w.h.p.\ $H_{n,m}$ contains isolated vertices.
Characterizing the positive inertia index of connected signed graphs in terms of girth
Let $G^σ=(G,σ)$ be a connected signed graph and $A(G^σ)$ be its adjacency matrix. The positive inertia index of $G^σ$, denoted by $p^{+}(G^σ)$, is defined as the number of positive eigenvalues of $A(G^σ)$. Assume that $G^σ$ contains at least one cycle, and let $g_{r}$ be its girth. In this paper, we prove $p^{+}(G^σ) \geq \lceil \frac {g_{r}}{2} \rceil-1$ for a signed graph $G^σ$. The extremal signed graphs corresponding to $p^{+}(G^σ) = \lceil \frac {g_{r}}{2} \rceil-1$ and $p^{+}(G^σ) =\lceil \frac {g_{r}}{2} \rceil$ are characterized, respectively. The results presented in this article extend the recent work on ordinary graphs by Duan and Yang (Linear Algebra Appl., 2024) to the context of signed graphs.
Turán problems for suspension of a balanced tree
The Turán number $\ex(n,H)$ is the maximum number of edges that an $n$-vertex $H$-free graph can have. The suspension $\widehat{H}$ is obtained from $H$ by adding a new vertex which is adjacent to all vertices of $H$ and a tree is balanced if the sizes of its two color classes differ at most $1$. In this paper, we obtain a sharp bound of $\ex(n,\widehat{T})$ when $n\ge 4(4k)^6$ based on the Erdős-Sós conjecture. We also show the bound is sharp for infinitely many $n$ and characterize all extremal graphs. In particular, if $T$ satisfies some conditions such as $T$ contains a matching covering all vertices in one color class, then the bound is sharp for all $n$. This is a new class of graphs whose decomposition family does not contain a linear forest but we still can determine its Turán number.
Moment conditions for the asymptotic completeness of iid gap sequences
We study conditions under which integer sequences with independent, identically distributed gaps are asymptotically $k$-complete, meaning that every sufficiently large integer can be represented as the sum of exactly $k$ distinct elements of the sequence, or equivalently whether $k$-fold sumsets with distinct entries from such sequences generate all sufficiently large integers. Prior results established asymptotic completeness under strong conditions on the gap distribution involving the moment generating function. Leveraging renewal theory our main result shows that asymptotic $2$-completeness holds almost surely under the much weaker assumption of a finite second moment. Furthermore, using Schnirelmann densities and Mann's theorem we show weak asymptotic $k$-completeness under only a finite first moment condition, albeit with an upper bound on the first moment.
Density conditions for $k$ vertex-disjoint triangles in tripartite graphs
Let $n,k$ be positive integers such that $n\geq k$ and $G$ be a tripartite graph with parts $A,B,C$ such that $|A|=|B|=|C|=n$. Denote the edge densities of $G[A,B]$, $G[A,C]$ and $G[B,C]$ by $α$, $β$ and $γ$, respectively. In this paper, we study edge density conditions for the existence of $k$ vertex-disjoint triangles in a tripartite graph. For $n\geq 5k+2$ we give an optimal condition in terms of densities $α,β,γ$ for the existence of $k$ vertex-disjoint triangles in $G$. We also give an optimal condition in terms of densities $α,β,γ$ for the existence of a triangle-factor in $G$.
Minimum degree conditions for Hamilton $l$-cycles in $ k $-uniform hypergraphs
Published in The Electronic Journal of Combinatorics. Volume 32, Issue 1, 2025. Article number P1.35
• View Publication
• BIB
We show that for $ η>0 $ and sufficiently large $ n $, every 5-graph on $ n $ vertices with $δ_{2}(H)\ge (91/216+η)\binom{n}{3}$ contains a Hamilton 2-cycle. This minimum 2-degree condition is asymptotically best possible. Moreover, we give some related results on Hamilton $ \ell $-cycles with $ d $-degree for $\ell\le d \le k-1$ and $1\le \ell < k/2$.
Upper tail bounds for irregular graphs
We consider the upper tail large deviations of subgraph counts for irregular graphs $\mathrm{H}$ in $\mathbb{G}(n,p)$, the sparse Erdős-Rényi graph on $n$ vertices with edge connectivity probability $p \in (0,1)$. For $n^{-1/Δ} \ll p \ll 1$, where $Δ$ is the maximum degree of $\mathrm{H}$, we derive the upper tail large deviations for any irregular graph $\mathrm{H}$. On the other hand, we show that for $p$ such that $1 \ll n^{v_{\mathrm{H}}} p^{e_{\mathrm{H}}} \ll (\log n)^{α^{*}_{\mathrm{H}}/\left(α^{*}_{\mathrm{H}}-1\right)}$, where $v_{\mathrm{H}}$ and $e_{\mathrm{H}}$ denote the number of vertices and edges of $\mathrm{H}$, and $α^*_{\mathrm{H}}$ denotes the fractional independence number, the upper tail large deviations of the number of unlabelled copies of $\mathrm{H}$ in $\mathbb{G}(n,p)$ is given by that of a sequence of Poisson random variables with diverging mean, for any strictly balanced graph $\mathrm{H}$. Restricting to the $r$-armed star graph we further prove a localized behavior in the intermediate range of $p$ (left open by the above two results) and show that the mean-field approximation is asymptotically tight for the logarithm of the upper tail probability. This work further identifies the typical structures of $\mathbb{G}(n,p)$ conditioned on upper tail rare events in the localized regime.
Lonely passengers: a short proof
Published in Electron. Commun. Probab. 30 1 - 4, 2025
• View Publication
• BIB
A fixed number of passengers independently board one of several buses uniformly at random. The lonely passenger problem is to prove that the probability of at least one passenger being the only one in their bus is increasing in the number of buses. It was solved in a strong form by Imre Péter Tóth, who proved stochastic dominance of the number of such passengers as the number of buses increases, but observed that, surprisingly, no short proof was known ``despite the efforts of several experts''. We give a very short proof of the weaker result. The proof of the strong form, using the same idea, is more involved but still relatively short.
Full subcomplexes of Bier spheres
Full subcomplexes of a simplicial complex encode essential structure for understanding the complex itself. For a simplicial complex $K$, possibly with a ghost vertex, the Bier sphere of $K$ is a simplicial sphere obtained as the deleted join of $K$ and its combinatorial Alexander dual. In this paper, we determine the homotopy types of all full subcomplexes of Bier spheres. As applications, we provide a formula for the bigraded Betti numbers of the Bier sphere of $K$ in terms of full subcomplexes of $K$, and we explicitly describe the cohomology of real toric manifolds associated with Bier spheres.
3-path-connectivity of bubble-sort star graphs
Let $G$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $T$ be a subset of $ V(G)$ with cardinality $|T|\geq2$. A path connecting all vertices of $T$ is called a $T$-path of $G$. Two $T$-paths $P_i$ and $P_j$ are said to be internally disjoint if $V(P_i)\cap V(P_j)=T$ and $E(P_i)\cap E(P_j)=\emptyset$. Denote by $π_G(T)$ the maximum number of internally disjoint $T$- paths in G. Then for an integer $\ell$ with $\ell\geq2$, the $\ell$-path-connectivity $π_\ell(G)$ of $G$ is formulated as $\min\{π_G(T)\,|\,T\subseteq V(G)$ and $|T|=\ell\}$. In this paper, we study the $3$-path-connectivity of $n$-dimensional bubble-sort star graph $BS_n$. By deeply analyzing the structure of $BS_n$, we show that $π_3(BS_n)=\lfloor\frac{3n}2\rfloor-3$, for any $n\geq3$.
The largest subcritical component in inhomogeneous random graphs of preferential attachment type
We identify the size of the largest connected component in a subcritical inhomogeneous random graph with a kernel of preferential attachment type. The component is polynomial in the graph size with an explicitly given exponent, which is strictly larger than the exponent for the largest degree in the graph. This is in stark contrast to the behaviour of inhomogeneous random graphs with a kernel of rank one. Our proof uses local approximation by branching random walks going well beyond the weak local limit and novel results on subcritical killed branching random walks.