Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Constructions of minimally $t$-tough regular graphs
A non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. The toughness $τ(G)$ of the graph $G$ is the maximum value of $t$ such that $G$ is $t$-tough. A graph $G$ is said to be minimally $t$-tough if $τ(G)=t$ and $τ(G-e)<t$ for every $e\in E(G)$. In 2003, Kriesell conjectured that every minimally $1$-tough graph contains a vertex of degree $2$. In 2018, Katona and Varga generalized this conjecture, asserting that every minimally $t$-tough graph contains a vertex of degree $\lceil 2t \rceil$. Recently, Zheng and Sun disproved the generalized Kriesell conjecture by constructing a family of $4$-regular graphs of even order. They also raised the question of whether there exist other minimally $t$-tough regular graphs that do not satisfy the generalized Kriesell conjecture. In this paper, we provide an affirmative answer by constructing a family of $4$-regular graphs of odd order, as well as a family of 6-regular graphs of order $3k+1~(k\geq 5)$.
Partitions of Graphs into Special Bipartite Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (November 17, 2025) dmtcs:15361
• View Publication
• BIB
We study the problem of partitioning the edge set of the complete graph into bipartite subgraphs under certain constraints defined by forbidden subgraphs. These constraints lead to both classical problems, such as partitioning into independent matchings or complete bipartite subgraphs, and novel variants motivated by structural restrictions. Our theoretical framework is inspired by clustering problems in real-world transaction graphs, which can be formulated naturally as edge partitioning problems under bipartite graph constraints.
The main result of this paper is the proof of the bounds for $χ'_{2K_2}(n)$, which corresponds to the minimum number of induced $2K_2$-free bipartite subgraphs needed to partition the edges of $K_n$. In addition to this central result, we also present several similar bounds for other forbidden subgraphs on three or four vertices. Some are included primarily for the sake of completeness, to demonstrate the broad applicability of our approach, and some lead to other novel or well-known graph theoretical problems.
Entropy approach for a generalization of Frankl's conjecture
In this paper, we will use the entropy approach to derive a necessary and sufficient condition for the existence of an element that belongs to at least half of the sets in a finite family of sets.
Forbidden Patterns in Mixed Linear Layouts
An ordered graph is a graph with a total order over its vertices. A linear layout of an ordered graph is a partition of the edges into sets of either non-crossing edges, called stacks, or non-nesting edges, called queues. The stack (queue) number of an ordered graph is the minimum number of required stacks (queues). Mixed linear layouts combine these layouts by allowing each set of edges to form either a stack or a queue. The minimum number of stacks plus queues is called the mixed page number. It is well known that ordered graphs with small stack number are characterized, up to a function, by the absence of large twists (that is, pairwise crossing edges). Similarly, ordered graphs with small queue number are characterized by the absence of large rainbows (that is, pairwise nesting edges). However, no such characterization via forbidden patterns is known for mixed linear layouts.
We address this gap by introducing patterns similar to twists and rainbows, which we call thick patterns; such patterns allow a characterization, again up to a function, of mixed linear layouts of bounded-degree graphs. That is, we show that a family of ordered graphs with bounded maximum degree has bounded mixed page number if and only if the size of the largest thick pattern is bounded. In addition, we investigate an exact characterization of ordered graphs whose mixed page number equals a fixed integer $ k $ via a finite set of forbidden patterns. We show that for every $ k \ge 2 $, there is no such characterization, which supports the nature of our first result.
Maximize the Steklov eigenvalue of trees
We study the maximal Steklov eigenvalues of trees with given number of boundary vertices and total number of vertices. Trees can be regarded as discrete analogue of Hadamard manifolds, namely simply-connected Riemannian manifolds of non-positive sectional curvature. Let $σ_{k,\text{max}}(b, n)$ be the maximal of $k$-th Steklov eigenvalue of trees with $b$ leaves as boundary and $n$ vertices. We determine that $$ σ_{2, \text{max}} (b, n) = \begin{cases}
\frac{2}{n-1}, & b=2, n\geq 3,
\frac{1}{r}, & b \geq 3, n = br + m, 3 - b \leq m \leq 1, r \in \mathbb{Z}_+,
\frac{1}{r+1-\frac{1}{b}}, & b \geq 3, n = br + 2, r \in \mathbb{Z}_+, \end{cases} $$ and we characterize the trees attaining this bound. For $k \geq 3$, we show that $σ_{k, \text{max}} (b, n) = 1$. We also give a lower bound on the maximal Steklov eigenvalues of trees with given diameter and total number of vertices. Our work can be regarded as a completion of the work by He--Hua [Upper bounds for the Steklov eigenvalues on trees, Calc. Var. Partial Differential Equations (2022)] and Yu--Yu [Monotonicity of Steklov eigenvalues on graphs and applications, Calc. Var. Partial Differential Equations (2024)].
Presentations of the braid group of the complex reflection group $G(d,d,n)$
We show that the braid group associated to the complex reflection group $G(d,d,n)$ is an index $d$ subgroup of the braid group of the orbifold quotient of the complex numbers by a cyclic group of order $d$. We also give a compatible presentation of $G(d,d,n)$ and its braid group for each tagged triangulation of the disk with $n$ marked points on its boundary and an interior marked point (interpreted as a cone point of degree $d$) in such a way that the presentations of Broué-Malle-Rouquier correspond to a special tagged triangulation.
Total restrained coalitions in graphs
A set $S\subseteq V$ in an isolate-free graph $G$ is a total restrained dominating set, abbreviated TRD-set, if every vertex in $V$ is adjacent to a vertex in $S$, and every vertex in $V\setminus S$ is adjacent to a vertex in $V\setminus S$. A total restrained coalition is made up of two disjoint sets of vertices $X$ and $Y$ of $G$, neither of which is a TRD-set but their union $X\cup Y$ is a TRD-set. A total restrained coalition partition of a graph $G$ is a partition $Φ=\{V_1, V_2,\dots,V_k\}$ such that for all $i \in [k]$, the set $V_i$ forms a total restrained coalition with another set $V_j$ for some $j$, where $j\in [k]\setminus{i}$. The total restrained coalition number $C_{tr}(G)$ in $G$ equals the maximum order of a total restrained coalition partition in $G$. In this work, we initiate the study of total restrained coalition in graphs and its properties.
Estimates on the decay of the Laplace-Polya integral
Published
• View Publication
• BIB
The Laplace--Pólya integral, defined by $J_n(r) = \frac1π\int_{-\infty}^\infty \mathrm{sinc}^n t \cos(rt) \mathrm{d} \, t$, appears in several areas of mathematics. We study this quantity by combinatorial methods; accordingly, our investigation focuses on the values at integer $r$'s. Our main result establishes a lower bound for the ratio $\frac{J_n(r+2)}{J_n(r)}$ which extends and generalises the previous estimates of Lesieur and Nicolas, and provides a natural counterpart to the upper estimate established in our previous work. We derive the statement by purely combinatorial, elementary arguments. As a corollary, we deduce that no subdiagonal central sections of the unit cube are extremal, apart from the minimal, maximal, and the main diagonal sections. We also prove several consequences for Eulerian numbers.
Forcing Graphs to be Forcing
Sidorenko's conjecture states that the number of copies of any given bipartite graph in another graph of given density is asymptotically minimized by a random graph. The forcing conjecture further strengthens this, claiming that any minimizer in fact needs to be quasi-random. Here we extend the family of bipartite graphs for which the forcing conjecture is known to hold to include balanced blow-ups of Sidorenko graphs and subdivisions of Sidorenko graphs by a forcing graph. This partially generalizes results by Conlon et al. (2018) and Conlon and Lee (2021). We also show that the box product of a Sidorenko graph with an edge is forcing, partially generalizing results of Kim, Lee, and Lee (2016) and, in particular, showing that cubes are forcing. We achieve these results through algebraic arguments building on Razborov's flag algebra framework (2007). This approach additionally allows us to construct Sidorenko hypergraphs from known 2-uniform Sidorenko graphs and to study forcing pairs.
A partial proof of the Brouwer's conjecture
Let $G$ be a simple graph with $n$ vertices and $m$ edges and let $k$ be a natural number such that $k\leq n.$ Brouwer conjectured that the sum of the $k$ largest Laplacian eigenvalues of $G$ is at most $m+{k+1 \choose 2}.$ In this paper we prove that this conjecture is true for simple $(m,n)$-graphs where $n\leq m\leq \frac{\sqrt{3}-1}{4}(n-1)n$ and $k\in \left[ \sqrt[3]{\frac{8m^{2}}{n-1}+4mn+n^{2}}, n\right].$ Moreover, we prove that the conjecture is true for all simple $(m,n)$-graphs where $k (\leq n)$ is a natural number from the interval $\left[\sqrt{2n-2m+2\sqrt{2m^{2}+mn(n-1)}},1+\frac{8m^{2}}{n^{2}(n-1)}+\frac{4m}{n}\right].$
Graph Burning On Large $p$-Caterpillars
Graph burning models the spread of information or contagion in a graph. At each time step, two events occur: neighbours of already burned vertices become burned, and a new vertex is chosen to be burned. The big conjecture is known as the {\it burning number conjecture}: for any connected graph on $n$ vertices, all $n$ vertices can be burned after at most $\lceil \sqrt{n}\ \rceil$ time steps. It is well-known that to prove the conjecture, it suffices to prove it for trees. We prove the conjecture for sufficiently large $p$-caterpillars.
Isoperimetric inequality for nonlocal bi-axial discrete perimeter
In the present manuscript we address and solve for the first time a nonlocal discrete isoperimetric problem. We consider indeed a generalization of the classical perimeter, what we call a nonlocal bi-axial discrete perimeter, where, not only the external boundary of a polyomino $\mathcal{P}$ contributes to the perimeter, but all internal and external components of $\mathcal{P}$. Furthermore, we find and characterize its minimizers in the class of polyominoes with fixed area $n$. Moreover, we explain how the solution of the nonlocal discrete isoperimetric problem is related to the rigorous study of the metastable behavior of a long-range bi-axial Ising model.
The free product of $q$-matroids
We introduce the notion of the free product of $q$-matroids, which is the $q$-analogue of the free product of matroids. We study the properties of this noncommutative binary operation, making an extensive use of the theory of cyclic flats. We show that the free product of two $q$-matroids $M_1$ and $M_2$ is maximal with respect to the weak order on $q$-matroids having $M_1$ as a restriction and $M_2$ as the complementary contraction. We characterise $q$-matroids that are irreducible with respect to the free product and we prove that the factorization of a $q$-matroid into a free product of irreducibles is unique up to isomorphism. We discuss the representability of the free product, with a particular focus on rank one uniform $q$-matroids and show that such a product is represented by clubs on the projective line.
Determinantal representations of alternating run polynomials
Based on a determinantal formula for the higher derivative of a quotient of two functions, we first present the determinantal expressions of Eulerian polynomials and Andre polynomials. In particular, we discover that the Euler number (number of alternating permutations) can be expressed as a lower Hessenberg determinant. We then investigate the determinantal representations of the up-down run polynomials and the types A and B alternating run polynomials. As applications, we deduce several new recurrence relations, which imply the multiplicity of -1 in these three kinds of polynomials. And then, we provide two determinantal representations for the alternating run polynomials of dual Stirling permutations. In particular, we discover a close connection between the alternating run polynomials of dual Stirling permutations and the type B Eulerian polynomials.
Time-Biased Random Walks and Robustness of Expanders
Random walks on expanders play a crucial role in Markov Chain Monte Carlo algorithms, derandomization, graph theory, and distributed computing. A desirable property is that they are rapidly mixing, which is equivalent to having a spectral gap $γ$ (asymptotically) bounded away from $0$. Our work has two main strands.
First, we establish a dichotomy for the robustness of mixing times on edge-weighted $d$-regular graphs (i.e., reversible Markov chains) subject to a Lipschitz condition, which bounds the ratio of adjacent weights by $β\geq 1$. If $β\ge 1$ is sufficiently small, then $γ\asymp 1$ and the mixing time is logarithmic in $n$. On the other hand, if $β\geq 2d$, there is an edge-weighting such that $γ$ is polynomially small in $1/n$.
Second, we apply our robustness result to a time-dependent version of the so-called $\varepsilon$-biased random walk, as introduced in Azar et al. [Combinatorica 1996]. We show that, for any constant $\varepsilon>0$, a bias strategy can be chosen adaptively so that the $\varepsilon$-biased random walk covers any bounded-degree regular expander in $Θ(n)$ expected time, improving the previous-best bound of $O(n \log \log n)$. We prove the first non-trivial lower bound on the cover time of the $\varepsilon$-biased random walk, showing that, on bounded-degree regular expanders, it is $ω(n)$ whenever $\varepsilon = o(1)$. We establish this by controlling how much the probability of arbitrary events can be ``boosted'' by using a time-dependent bias strategy.
On the Rigidity of Random Graphs in high-dimensional spaces
We study the maximum dimension $d=d(n,p)$ for which an Erdős-Rényi $G(n,p)$ random graph is $d$-rigid. Our main results reveal two different regimes of rigidity in $G(n,p)$ separated at $p_c=C_*\log n/n,~C_*=2/(1-\log 2)$ -- the point where the graph's minimum degree exceeds half its average degree. We show that if $p < (1-\varepsilon)p_c $, then $d(n,p)$ is asymptotically almost surely (a.a.s.) equal to the minimum degree of $G(n,p)$. In contrast, if $p_c \leq p = o(n^{-1/2}) $ then $d(n,p) $ is a.a.s. equal to $(1/2 + o(1))np$. The second result confirms, in this regime, a conjecture of Krivelevich, Lew, and Michaeli.
Stable Approximation Algorithms for Dominating Set and Independent Set
Published in SIAM Journal on Discrete Mathematics, 2025
• View Publication
• BIB
We study the Dominating set problem and Independent Set Problem for dynamic graphs in the vertex-arrival model. We say that a dynamic algorithm for one of these problems is $k$-stable when it makes at most $k$ changes to its output independent set or dominating set upon the arrival of each vertex. We study trade-offs between the stability parameter $k$ of the algorithm and the approximation ratio it achieves. We obtain the following results. 1. We show that there is a constant $\varepsilon^*>0$ such that any dynamic $(1+\varepsilon^*)$-approximation algorithm the for Dominating set problem has stability parameter $Ω(n)$, even for bipartite graphs of maximum degree 4. 2. We present algorithms with very small stability parameters for the Dominating set problem in the setting where the arrival degree of each vertex is upper bounded by $d$. In particular, we give a $1$-stable $(d+1)^2$-approximation algorithm, a $3$-stable $(9d/2)$-approximation algorithm, and an $O(d)$-stable $O(1)$-approximation algorithm. 3. We show that there is a constant $\varepsilon^*>0$ such that any dynamic $(1+\varepsilon^*)$-approximation algorithm for the Independent Set Problem has stability parameter $Ω(n)$, even for bipartite graphs of maximum degree $3$. 4. Finally, we present a $2$-stable $O(d)$-approximation algorithm for the Independent Set Problem, in the setting where the average degree of the graph is upper bounded by some constant $d$ at all times. We extend this latter algorithm to the fully dynamic model where vertices can also be deleted, achieving a $6$-stable $O(d)$-approximation algorithm.
Enumerating Diagonalizable Matrices over $\mathbb{Z}_{p^k}$
Although a good portion of elementary linear algebra concerns itself with matrices over a field such as $\mathbb{R}$ or $\mathbb{C}$, many combinatorial problems naturally surface when we instead work with matrices over a finite field. As some recent work has been done in these areas, we turn our attention to the problem of enumerating the square matrices with entries in $\mathbb{Z}_{p^k}$ that are diagonalizable over $\mathbb{Z}_{p^k}$. This turns out to be significantly more nontrivial than its finite field counterpart due to the presence of zero divisors in $\mathbb{Z}_{p^k}$.
On Fourier coefficients of sets with small doubling
Let $A$ be a subset of a finite abelian group such that $A$ has a small difference set $A-A$ and the density of $A$ is small. We prove that, counter--intuitively, the smallness (in terms of $|A-A|$) of the Fourier coefficients of $A$ guarantees that $A$ is correlated with a large Bohr set. Our bounds on the size and the dimension of the resulting Bohr set are close to exact.
Water Cells in Compositions of 1s and 2s
Published in Fibonacci Quart. 63(2) (2025) 400-411
• View Publication
• BIB
Mansour and Shattuck introduced the notion of water cells for integer compositions in 2018. We focus on compositions with parts restricted to 1 and 2 and consider the array of counts for such compositions of $n$ with $k$ water cells, establishing generating functions for the columns and diagonal sums, recurrences within the array in the spirit of Pascal's lemma, and connections to other restricted compositions. Most of our proofs are combinatorial, but we also make connections to Riordan arrays.