graph
35150 papers tagged with this keyword
On the Ramsey number of a graph obtained by attaching a pendant to a path with length 1 modulo 4
In this paper, for odd $n$, we consider the graph $T_n$ with vertex set $\{x_1,....,x_n,x_{n+1}\}$ and edge set $\{x_{1}x_{2},x_{2}x_{3},...,x_{n-1}x_{n}\} \cup \{x_{\frac{n+1}{2}}x_{n+1}\}$ and prove that the Ramsey number $R(T_n,T_n)$ is equal to $\frac{3n+1}{2}$ for $n \in [1]_{4}$.
Rational exponents near 3/2
Given a graph $H$, the extremal number $ex(n,H)$ is the maximum number of edges in an $n$-vertex graph not containing $H$ as a subgraph. The well-known rational exponents conjecture of Erdős and Simonovits states that for any rational $γ\in (1,2)$ there exists a single bipartite graph $H$ satisfying $ex(n,H)=Θ(n^γ)$. Among other results, the conjecture has been verified for all $γ=1+a/b$, where $b>a^2$, by Jiang and Qiu and for all $γ=2-a/b$, where $b>\max\{a, (a-1)^2\}$, by Conlon and Janzer.
In this paper, we establish the rational exponents conjecture for many $γ$ near the center of the interval, namely, for all $γ=1+\frac{rt-1}{2rt+2r}$, where $r,t$ are natural numbers satisfying $t\geq 2$, $r\geq 2t+3$.
Some New Sufficient Conditions for a Graph to be $l$-Deficient
For a (molecular) graph $G$ and any real number $α\ne 0$ , the zero-order general Randić index , denote by $^0R_α$, is defined by the following equation: \begin{align*}
{^0R_α} (G) =\sum_{v\in G}d_G (v) ^α (α\in \mathbb{R}-\left\{0\right\}) . \end{align*} The deficiency of $G$, denoted by $def(G)$, is equal to the cardinality of vertices which are not covered by a maximum matching in $G$. A graph G is called $l$-deficient if $def(G)\le l$.
In this paper, we use this index to give sufficient conditions for a connected graph, bipartite graph and a balanced bipartite graph $G$ to satisfy the $l$-deficient property, and show that none of these conditions can be dropped. We will also use these results to enhance and generalise the results that already obtained by M. An and K. C. Das in 2018 and G. Su et al. in 2022.
Acyclic Poset Multiplihedra and their Quotients
Two families of polytopes underlie the combinatorics of associative operations. Associahedra and multiplihedra respectively capture the information in the operation itself and in the morphisms that respect that operation. The first applications of these polytopes, from Stasheff, were for modeling homotopy associative spaces and their homotopy homomorphisms. Later, lax and weak higher categories used both as the shapes of commuting diagrams. More recently, the associahedra have been generalized to versions based on graphs, and then to posets: the acyclonestohedra. Here we use the graph multiplihedra to define and realize new multiplihedra for the acyclonestohedra. Quotients of these are also studied, concluding with the interval polytopes of the order polytopes of posets.
On the Cores of Uniform and Almost-Uniform $3$-Qualitative Independence Hypergraphs
Qualitative independence hypergraphs provide a useful combinatorial framework for analyzing the existence and structure of covering arrays. In this work, we study the \emph{uniform} and \emph{almost-uniform $3$-qualitative independence hypergraphs} $3\text{-}UQI(n,2)$ and $3\text{-}AUQI(n,2)$, and establish a structural correspondence between these families and merged Johnson graphs, with emphasis on their cores. Focusing on the smallest unresolved instance, $3\text{-}QI(8,2)$, we classify all of its strongly independent sets and determine its strong independence number. Using this, along with its strong chromatic number and the size of the largest $3$-clique, we show that $3\text{-}QI(8,2)$ is a core. For $n>8$, we further identify sufficient conditions under which $3\text{-}UQI(n,2)$ and $3\text{-}AUQI(n,2)$ are cores.
A classification of locally-quasiprimitive circulant digraphs
Circulant digraphs are Cayley digraphs over finite cyclic groups and constitute a fundamental class of objects in algebraic graph theory. Extending the classification of locally-primitive circulant graphs \cite{JZ-2026}, we completely determine all locally-quasiprimitive circulant digraphs. Our main theorem shows that a connected locally-quasiprimitive circulant digraph is isomorphic to one of the following: the complete graph \(\K_n\), the complete bipartite graph \(\K_{n/2,n/2}\), the graph \(\K_{n/2,n/2}-\frac{n}{2}\K_2\) (with \(n/2\) odd), the cycle \(\C_n\), the directed cycle \(\vec \C_n\), a normal circulant digraph of prime valency, the lexicographic product \(\vec \C_m[\overline{\K_b}]\), or the tensor product \(\vec \C_m\times \K_b\) with \(\gcd(m,b)=1\).
On the Computational Complexity of Local and Global Covering Numbers
The global and local $\mathcal{G}$-covering number $c_{\mathrm{g}}^{\mathcal{G}}(H)$ and $c_{\mathrm{l}}^{\mathcal{G}}(H)$ encode how well the edges of a graph $H$ can be covered with graphs from a graph class $\mathcal{G}$: in the global setting, we minimize the number of graphs from $\mathcal{G}$ required, in the local setting how often a vertex is hit by the graphs of the cover. Within this work we consider for $\mathcal{G}$ the graph classes $\mathcal{B}$ of all bipartite and $\mathcal{B}_{\mathrm{c}}$ of all complete bipartite graphs. We give a tight lower bound on $c_{\mathrm{l}}^{\mathcal{B}}(H)$ in terms of the fractional chromatic number of $H$, thereby giving a local analogue of a result by Harary, Hsu and Miller. Answering a question by Fishburn and Hammer, we show that it is NP-hard to determine $c_{\mathrm{l}}^{\mathcal{B}_{\mathrm{c}}}(H)$. Further, we provide a finite and monotone graph class $\mathcal{G}$ such that $c_{\mathrm{g}}^{\mathcal{G}}(H)$ can be computed in constant time for every graph $H$ while determining $c_{\mathrm{l}}^{\mathcal{G}}(H)$ is NP-hard. This yields a natural example to a question raised by Knauer and Ueckerdt.
Cographs and Minimum Diamond-Generating Edge Sets in Boolean Lattices
We study a local closure operation on the cover edges of a Boolean lattice: whenever the two lower edges or the two upper edges of a square face are present, all four edges of that square are added. We prove that every set of cover edges generating the full cover graph of $\mathcal{B}_n$ has cardinality at least $n$, and we classify all generators attaining this bound. For a graph $G$ on $[n]$, let $S_G=\{N_G(i)\to N_G(i)\cup\{i\}:i\in[n]\}$. Then $S_G$ diamond-generates the full cover graph if and only if $G$ is a cograph, and every minimum-cardinality generator arises uniquely in this way. Consequently, labeled minimum diamond-generating sets of $\mathcal{B}_n$ are in bijection with labeled cographs on $n$ vertices.
Various Bialgebras Of Representative Functions On Free Monoids
Factorization and decomposition of representative functions on a free monoid X * (generated by an alphabet X ) and with values in a ring A containing Q are equivalent to factorization and decomposition of their graphs (within the A-algebra of rational noncommutative series over X ) admitting linear representations (thanks to the Kleene-Sch{ü}tzenberger theorem). To factorize and to decompose effectively these graphs, we examine various products of noncommutative series (as concatenation, shuffle and its $φ$deformations) and co-products such that, for A is a field K, their associated non graded commutative and co-noncommutative bialgebras of series are isomorphic to the Sweedler's dual of the graded noncommutative co-commutative bialgebras of polynomials having, for the concatenation, only Kleene stars of the planes as characters, or equivalently, only the planes are infinitesimal characters (thanks to a Ree's theorem like).
A complete solution to the Boots-Royle/Cao-Vince conjecture
Boots and Royle, and independently Cao and Vince, conjectured that the join of an edge and a path on $n-2$ vertices is the unique planar graph of maximum adjacency spectral radius for $n\geq 9$. Tait and Tobin (JCTB, 2017) proved the conjecture for sufficiently large order. In this paper, we completely resolved the Boots-Royle/Cao-Vince conjecture.
Perfect state transfer in Grover walks on normal Cayley graphs
A Cayley graph $\operatorname{Cay}(Γ,S)$ over a finite group $Γ$ is said to be normal if its connection set $S$ is a union of some conjugacy classes of $Γ$. This paper investigates perfect state transfer in Grover walks on normal Cayley graphs. The Grover walk is a widely studied discrete-time quantum walk. We establish a necessary and sufficient condition for the occurrence of perfect state transfer on normal Cayley graphs. As applications, we derive explicit spectral criteria for perfect state transfer on Cayley graphs over abelian groups, dicyclic groups, and dihedral groups. These results yield several infinite families of Cayley graphs exhibiting perfect state transfer. We further obtain simple combinatorial characterizations of the existence of perfect state transfer on Cayley graphs over dihedral and dicyclic groups. Our general characterization also recovers a number of previously known results as special cases. As a further consequence, we obtain a complete characterization of perfect state transfer on unitary Cayley graphs. In particular, we prove that exactly four graphs in the class of unitary Cayley graphs exhibit perfect state transfer.
An improved lower bound for the blowup defective chromatic separation constant
For a graph $G$ and an integer $d \geq 0$, let $χ^d(G)$ denote the $d$-defective chromatic number, and let $G \boxtimes K_{d+1}$ be the $(d+1)$-fold clique blowup of $G$. Norin and Steiner disproved the conjecture $χ(G) = χ^d(G \boxtimes K_{d+1})$ of Guo, Kang and Zwaneveld by exhibiting, for infinitely many $d$, graphs with $χ(G) \geq (30/29) χ^d(G \boxtimes K_{d+1})$, and they proved the universal upper bound $χ(G) \leq 2 χ^d(G \boxtimes K_{d+1})$. Writing $C_d = \sup_G χ(G)/χ^d(G \boxtimes K_{d+1})$ and $C^* = \sup_d C_d$, their results give $C^* \in [30/29, 2]$. We improve the lower bound: we exhibit an explicit 40-vertex graph $W$ with $χ(W) = 11$ and $χ^2(W \boxtimes K_3) = 10$, so that $C^* \geq C_2 \geq 11/10 > 30/29$, already at the smallest defect for which such a separation is possible, namely $d = 2$. All parameters are established by the proofs; the only computer-assisted input, the non-list-colourability of a certain 30-vertex, 10-colour list instance $(B,L)$, is certified by an independently checkable DRAT refutation.
On Some Problems from the Kourovka Notebook
The Kourovka Notebook is a long-running collection of open problems in group theory. In this paper we present solutions to eight of its problems. We construct a group with exactly two maximal locally soluble normal subgroups and show that, for every $1 \le k\le n!$, there is a group containing $n$ distinct elements whose $n!$ ordered products take exactly $k$ distinct values. We also give examples showing that group order together with the statistic $\sum_g\varphi(\lvert g\rvert)$ does not determine simplicity, and we construct a surjective non-injective Rota-Baxter operator on a non-abelian group. Further, we determine the group generated by the class transpositions of moduli at most $k$, prove that every power graph of a finite group that is a cograph is chordal, show that the right-relatively convex subgroups of a right-orderable group need not form a sublattice of its subgroup lattice, and disprove a proposed rank inequality for certain $p$-group extensions. All of these solutions were autonomously discovered and formally verified in Lean by Aristotle, a formal reasoning agent developed by Harmonic.
Minimum degree conditions for removable matchings in $k$-connected graphs
In 1969, Halin proved that every $k$-connected graph $G$ with minimum degree at least $k+1$ contains an edge $e$ such that $G-e$ is $k$-connected. As an edge is a matching of size one, it is natural to ask whether Halin's result extends to matchings of larger size, a question recently investigated by Li, Zhou, Fujita, and Mao. A matching $M$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-M$ is $k$-connected. In this paper, we study minimum degree conditions that guarantee the existence of a $k$-removable matching of prescribed size. Specifically, we prove that for all positive integers $k$ and $m$, every $k$-connected graph $G$ with at least $2m$ vertices contains a $k$-removable matching of size $m$ if \[δ(G)\ \ge\ \begin{cases} \max\bigl\{k+\bigl\lceil\tfrac m2\bigr\rceil,\ 2m\bigr\} & \text{if } k\ge m,\\[2pt] k+m & \text{if } k<m. \end{cases}\] As a consequence, every $k$-connected graph $G$ with $δ(G)\ge2k+1$ contains a $k$-removable matching of size $\bigl\lceil(δ(G)+1)/2\bigr\rceil$, unless $δ(G)$ is even and $G\cong K_{δ(G)+1}$. This verifies a conjecture of Li, Zhou, Fujita, and Mao in the range $δ(G)\ge2k+1$. Our main tool, of independent interest, is a strengthening of Halin's result producing a $k$-removable edge that avoids a prescribed set of vertices.
Faster and simpler traversal of 0/1-polytopes
Recently, Merino and Mütze (FOCS'23+SICOMP'24) presented an algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq\{0,1\}^n$. The algorithm uses as a black box an algorithm for solving the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$ for some weight vector $w\in\mathbb{R}^n$. The resulting delay per visited vertex on the Hamilton path is only by a $\log n$ factor larger than the time to solve one instance of the optimization algorithm. In this paper, we make the Hamilton path algorithm simpler and faster. Namely, we obtain an amortized delay that is only by a constant factor larger than the running time of the optimization algorithm, thus removing the $\log n$ factor. As concrete results, this yields improved algorithms for generating bases and independent sets in a matroid, spanning trees, forests, matchings and maximum matchings in a graph, vertex covers, minimum vertex covers, independent sets and maximum independent sets in a bipartite graph, and antichains, maximum antichains and ideals in a poset. All of these listings correspond to Hamilton paths on the corresponding polytopes. Furthermore, we obtain an $\mathcal{O}(t_{\rm LP})$ amortized delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the $\mathcal{O}(t_{\rm LP} \log n)$ delay algorithm of Merino and Mütze, and the previous $\mathcal{O}(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke from 1998.
The Weak Zero-Divisor Difference Graph of a Finite Commutative Ring
For a finite commutative ring $R$, let $\GR$ denote its zero-divisor graph and $\WGR$ its weakly zero-divisor graph, the latter containing the former as a spanning subgraph. We introduce the \emph{weak zero-divisor difference graph} $\DR:=\WGR-\GR$ and develop a complete structural theory for finite reduced rings $R\cong\mathbb F_{q_1}\times\cdots\times\mathbb F_{q_t}$. We show $\DR$ sits strictly between $\GR$ and $\WGR$ in a three-stage refinement that also contains Badawi's annihilator graph, and prove that distinct support classes $X_A,X_B$ are completely joined in $\DR$ if and only if $A\cap B\ne\emptyset$ -- an exact criterion underlying every result that follows. Consequently $\DR$ is edgeless for $t\le2$ but connected with diameter $2$ and girth $3$ for every $t\ge3$, independently of the field orders. We establish a complete perfectness dichotomy -- $\DR$ is perfect exactly when $t\in\{3,4\}$, with an elementary combinatorial proof at $t=4$, and never perfect for $t\ge5$ -- and determine its clique number exactly at $t=3$ and $t=4$; for general $t$ we give two incomparable lower bounds and two upper bounds, sharp at $t=3$ but not beyond, together with a compression argument showing an extremal family may always be taken shifted without this alone resolving the problem. A reconstruction theorem shows $\DR$ recovers the multiset of field orders intrinsically, so $\DR\cong\mathcal D(S)$ forces $R\cong S$. We further give closed forms, valid for every $t\ge3$, for the degree sequence and minimum degree, the domination number, and the independence and vertex cover numbers. Finally, we briefly indicate, via the valuation structure of finite chain rings, why the reduced-ring hypothesis cannot simply be dropped.
Graphs with zero as a main eigenvalue of the signless Laplacian
An eigenvalue of the signless Laplacian $Q(G)$ is $Q$-main if its eigenspace is not orthogonal to the all-ones vector. We characterize graphs with exactly $\ell\ge3$ $Q$-main eigenvalues, one of which is zero. The case $\ell=3$ reduces to non-semiregular bipartite graphs satisfying a vertexwise signed degree-sum identity. For each integer $k\ge0$, we construct infinitely many pairwise nonisomorphic graphs of cyclomatic number $k$ and unbounded diameter, all with exactly three $Q$-main eigenvalues including zero. These families provide counterexamples to the stated classifications of trees, unicyclic graphs, and bicyclic graphs of Javarsineh and Fath-Tabar.
Breaking the Bollobás-Eldridge-Catlin Barrier for Bipartite Graphs
The celebrated Bollobás-Eldridge-Catlin packing conjecture states that every $n$-vertex graph $G$ with minimum degree at least $\big(1-\frac{1}{Δ+1}\big) n$ contains every $n$-vertex graph $H$ of maximum degree at most $Δ$. Despite considerable attention, the conjecture remains widely open.
We show that for bipartite $H$ this threshold can be greatly improved: there is an absolute constant $c>0$ such that every $n$-vertex graph $G$ with minimum degree at least $ \big(1-c\frac{\logΔ}Δ\big)n $ contains every $n$-vertex bipartite graph $H$ of maximum degree at most $Δ$, provided $Δ$ is not too large compared to $n$. Moreover, we prove that this logarithmic improvement is best possible up to the value of the constant.
Contributions in Algebraic Graph Theory
This thesis investigates two central directions in algebraic graph theory, with an emphasis on spectral methods: spectral determination of graphs and transitivity properties of generalized-Hamming graphs and their complements. The first part focuses on graphs that are determined by the spectra of associated matrices. We study spectral determination with respect to the adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, with particular emphasis on the adjacency spectrum. We survey existing results on graphs determined by their spectrum and develop new proof techniques for establishing spectral uniqueness. In particular, we present new proofs for the spectral characterization of complete bipartite graphs and Turán graphs, as well as some new results related to the spectral characterization of the important family of strongly regular graphs. In addition, we introduce a new family of graphs, called \emph{the graphs of pyramids}, and prove that they are determined by their adjacency spectrum using tools from matrix analysis, such as Cauchy's interlacing theorem and Schur complements. The second part of the thesis studies generalized-Hamming graphs, a family of Cayley graphs that generalize the sub-family of Hamming graphs, and their complements. We classify the parameters for which these graphs are edge-transitive or even distance-transitive. Our analysis combines spectral methods, group-theoretic arguments, and techniques from the theory of association schemes. As an application, we derive closed-form expressions for the Lovász $\vartheta$-function of generalized-Hamming graphs and their complements whenever either the graph or its complement is edge-transitive. Overall, the results demonstrate how spectral methods provide powerful tools for understanding the structure and symmetry of graphs, and they suggest several directions for further research.
A New Lower Bound on the Spectral Radius of Graphs with Prescribed Average Degree
This work establishes an improved lower bound for the spectral radius of a graph given its average degree. The new bound follows from an exact solution of the fractional relaxation of the problem. Our findings lead to an affirmative answer to a conjecture by Hong (1993) for graphs with specific average degrees -- as the extremal graphs that meet our bound are proven to have a minimal and maximal degree that differ by at most one. Furthermore, we provide an exact characterization of the conditions that permit such discrete realizations. We prove that for a fixed number of vertices $n$, the number of valid edge configurations grows at least linearly with $n$, achieving an average asymptotic order of $Θ(n\log n)$.