graph
35175 papers tagged with this keyword
On the classification of triply-transitive strongly-regular graphs
Published
• View Publication
• BIB
Let $Γ= (Ω,E)$ be a strongly-regular graph with adjacency matrix $A_1$, and let $A_2$ be the adjacency matrix of its complement. For any vertex $ω\in Ω$, we define $E_{0,ω}^*$ $E_{1,ω}^*$ and $E_{2,ω}^*$ to be respectively the diagonal matrices whose main diagonal is the row corresponding to $ω$ in the matrices $I, A_1$, and $A_2$. The Terwilliger algebra of $Γ$ with respect to the vertex $ω\in Ω$ is the subalgebra $T_ω= \left\langle I,A_1,A_2,E_{0,ω}^*,E_{1,ω}^*,E_{2,ω}^* \right\rangle$ of the complex matrix algebra $\operatorname{M_{|Ω|}}(\mathbb{C})$. The algebra $T_ω$ contains the subspace $T_{0,ω} = \operatorname{Span}\left\{ E_{i,ω}^*A_jE_{k,ω}^*: 0\leq i,j,k\leq 2 \right\}$.
In addition, if $G = \AutΓ$, then $T_ω$ is a subalgebra of the centralizer algebra $\tilde{T}_ω= \End{G_ω}{\mathbb{C}^Ω}$.
The strongly-regular graph $Γ=(Ω,E)$ is triply transitive if $Γ$ is vertex transitive and $T_{0,ω} = T_ω= \tilde{T}_ω$, for any $ω\in Ω$. In this paper, we classify all triply transitive strongly-regular graphs that are not isomorphic to the collinearity graph of the polar space $O_{6}^-(q)$, where $q$ is a prime power, or the affine polar graph $\vo_{2m}^\varepsilon(2)$, where $m\geq 1$ and $\varepsilon = \pm 1$.
Cops and Robbers, Clique Covers, and Induced Cycles
Published
• View Publication
• BIB
We consider the Cops and Robbers game played on finite simple graphs. In a graph $G$, the number of cops required to capture a robber in the Cops and Robbers game is denoted by $c(G)$. For all graphs $G$, $c(G) \leq α(G) \leq θ(G)$ where $α(G)$ and $θ(G)$ are the independence number and clique cover number respectively. In 2022 Turcotte asked if $c(G) < α(G)$ for all graphs with $α(G) \geq 3$. Recently, Char, Maniya, and Pradhan proved this is false, at least when $α= 3$,by demonstrating the compliment of the Shrikhande graph has cop number and independence number $3$. We prove, using random graphs, the stronger result that for all $k\geq 1$ there exists a graph $G$ such that $c(G) = α(G) = θ(G) = k$. Next, we consider the structure of graphs with $c(G) = θ(G) \geq 3$. We prove, using structural arguments, that any graphs $G$ which satisfies $c(G) = θ(G) = k \geq 3$ contain induced cycles of all lengths $3\leq t \leq k+1$. This implies all perfect graphs $G$ with $α(G)\geq 4$ have $c(G) < α(G)$. Additionally,we discuss if typical triangle-free and $C_4$-free graphs will have $c(G) < α(G)$.
Combinatorial generation via permutation languages. VII. Supersolvable hyperplane arrangements
Published
• View Publication
• BIB
For an arrangement $\mathcal{H}$ of hyperplanes in $\mathbb{R}^n$ through the origin, a region is a connected subset of $\mathbb{R}^n\setminus\mathcal{H}$. The graph of regions $G(\mathcal{H})$ has a vertex for every region, and an edge between any two vertices whose corresponding regions are separated by a single hyperplane from $\mathcal{H}$. We aim to compute a Hamiltonian path or cycle in the graph $G(\mathcal{H})$, i.e., a path or cycle that visits every vertex (=region) exactly once. Our first main result is that if $\mathcal{H}$ is a supersolvable arrangement, then the graph of regions $G(\mathcal{H})$ has a Hamiltonian cycle. More generally, we consider quotients of lattice congruences of the poset of regions $P(\mathcal{H},R_0)$, obtained by orienting the graph $G(\mathcal{H})$ away from a particular base region $R_0$. Our second main result is that if $\mathcal{H}$ is supersolvable and $R_0$ is a canonical base region, then for any lattice congruence $\equiv$ on $P(\mathcal{H},R_0)=:L$, the cover graph of the quotient lattice $L/\equiv$ has a Hamiltonian path. [...]
Unavoidable pivot-minors in graphs of large rank-depth
Shrub-depth and rank-depth are related graph parameters that are dense analogs of tree-depth. We prove that for every positive integer $t$, every graph of sufficiently large rank-depth contains a pivot-minor isomorphic to a path on $t$ vertices or a graph consisting of two disjoint cliques of size $t$ joined by a half graph. This answers an open problem raised by Kwon, McCarty, Oum, and Wollan in 2021.
Oriented graphs on curve complex I: hyperbolic and extremal length
We investigate oriented graphs based on the curve complex $C(S)$ of a closed surface $S$ and induced by functions on the vertex set of $C(S)$. In particular, we introduce the Dehn quasi-homothetic functions, which behave similarly to homotheties under repeated Dehn twists. We prove that any two positive such functions of the same type induce different oriented graphs unless they are proportional. This leads to a new rigidity result for closed hyperbolic surfaces -- distinct from the $9g-9$ theorem and length spectrum rigidity -- knowing only for any two disjoint simple closed curves which one is longer (in terms of hyperbolic or extremal length) suffices to determine the hyperbolic metric on the surface. We also prove that each automorphism of the oriented graph induced by a function with sublevel sets finite is induced by a self-homeomorphism of $S$.
The Total Coloring Conjecture holds for planar graphs without three special subgraphs
The Total Coloring Conjecture (TCC) for planar graphs with a maximum degree of six remains open. Previous studies suggest that TCC is valid for such graphs if they do not contain any subgraph isomorphic to a 4-fan. In this paper, we present an improved conclusion by establishing that TCC holds for planar graphs that are free of three particular substructures, namely the mushroom, the tent, and the cone. This advancement enhances previous findings by demonstrating that TCC is applicable to planar graphs with a maximum degree of six, which can accommodate sparse 4-fans, 5-fans, 5-wheels, and 6-wheels.
Transversal packings in families of percolated hypergraphs
Let $F$ be a strictly $1$-balanced $k$-graph on $s$ vertices with $t$ edges and $δ_{F,d}^T$ be the infimum of $δ>0$ such that for every $α>0$ and sufficiently large $n\in \mathbb{N}$, every $k$-graph system $\mathbf H=\{H_{1}, H_{2}, \dots ,H_{tn}\}$ on the same $sn$ vertices with $δ_d(H_i)\ge (δ+α)\binom{sn-d}{k-d}$, $i\in [tn]$ contains a transversal $F$-factor, that is, an $F$-factor consisting of exactly one edge from each $H_i$. In this paper we prove the following result. Let $\mathbf{H} =\{H_{1}, H_{2}, \dots ,H_{tn}\}$ be a $k$-graph system where each $H_{i}$ is an $sn$-vertex $k$-graph with $δ_d(H_i)\ge (δ_{F,d}^T+α)\binom{sn-d}{k-d}$. Then with high probability $\mathbf{H}(p) :=\{H_{1}(p), H_{2}(p), \dots ,H_{tn}(p)\}$ contains a transversal $F$-factor, where $H_i(p)$ is a random subhypergraph of $H_i$ and $p=Ω(n^{-1/d_1(F)-1}(\log n)^{1/t})$. This extends a recent result by Kelly, Müyesser and Pokrovskiy, and independently by Joos, Lang and Sanhueza-Matamala. Moreover, the assumption on $p$ is best possible up to a constant. Along the way, we also obtain a spread version of a result of Pikhurko on perfect matchings in $k$-partite $k$-graphs.
Improved Decomposition Bounds for Partition Polytopes and Odd-Covers
The assignments of a set of $m$ items into $n$ clusters of prescribed sizes $k_1,\dots,k_n$ can be encoded as the vertices of the partition polytope $\mathrm{PP}(k_1,\dots,k_n)$. We prove that, if $K = \max\{k_1,\dots,k_n\}$, then the combinatorial diameter of $\mathrm{PP}(k_1,\dots,k_n)$ is at most $\lceil 3K/2\rceil$. This improves the previously known upper bound of $2K$.
A cycle (or path) odd-cover of a graph $G$ is a set of cycles (or paths) with symmetric difference $G$. We prove that every Eulerian graph $G$ with maximum degree $Δ$ admits a cycle odd-cover and a path odd-cover, each of size at most $\lceil 3Δ/4\rceil$. This improves the previously known upper bound of $Δ$.
The two proofs share many similarities and are both based on the proof of Akiyama, Exoo, and Harary that every graph with maximum degree 4 has linear arboricity at most 3.
On $2$-connected graphs avoiding cycles of length $0$ modulo $4$
For two integers $k$ and $\ell$, an $(\ell \text{ mod }k)$-cycle means a cycle of length $m$ such that $m\equiv \ell\pmod{k}$. In 1977, Bollobás proved a conjecture of Burr and Erdős by showing that if $\ell$ is even or $k$ is odd, then every $n$-vertex graph containing no $(\ell \text{ mod }k)$-cycles has at most a linear number of edges in terms of $n$. Since then, determining the exact extremal bounds for graphs without $(\ell \text{ mod }k)$-cycles has emerged as an interesting question in extremal graph theory, though the exact values are known only for a few integers $\ell$ and $k$. Recently, Győri, Li, Salia, Tompkins, Varga and Zhu proved that every $n$-vertex graph containing no $(0 \text{ mod }4)$-cycles has at most $\left\lfloor \frac{19}{12}(n -1) \right\rfloor$ edges, and they provided extremal examples that reach the bound, all of which are not $2$-connected. In this paper, we show that a $2$-connected graph without $(0 \text{ mod } 4)$-cycles has at most $\left\lfloor \frac{3n-1}{2} \right\rfloor$ edges, and this bound is tight by presenting a method to construct infinitely many extremal examples.
A perfect matching reciprocity method for embedding multiple hypercubes in an augmented cube: Applications to Hamiltonian decomposition and fault-tolerant Hamiltonicity
Published
• View Publication
• BIB
This paper focuses on the embeddability of hypercubes in an important class of Cayley graphs, known as augmented cubes. An $n$-dimensional augmented cube $AQ_n$ is constructed by augmenting the $n$-dimensional hypercube $Q_n$ with additional edges, thus making $Q_n$ a spanning subgraph of $AQ_n$. Dong and Wang (2019) first posed the problem of determining the number of $Q_n$-isomorphic subgraphs in $AQ_n$, which still remains open. By exploiting the Cayley properties of $AQ_n$, we establish a lower bound for this number. What's more, we develop a method for constructing pairs of $Q_n$-isomorphic subgraphs in $AQ_n$ with the minimum number of common edges. This is accomplished through the use of reciprocal perfect matchings, a technique that also relies on the Cayley property of $AQ_n$. As an application, we prove that $AQ_n$ admits $n-1$ edge-disjoint Hamiltonian cycles when $n\geq3$ is odd and $n-2$ cycles when $n$ is even, thereby confirming a conjecture by Hung (2015) for the odd case. Additionally, we prove that $AQ_n$ has a fault-free cycle of every even length from $4$ to $2^n$ with up to $4n-8$ faulty edges, when each vertex is incident to at least two fault-free edges. This result not only provides an alternative proof for the fault-tolerant Hamiltonicity of established by Hsieh and Cian (2010), but also extends their work by demonstrating the fault-tolerant bipancyclicity of $AQ_n$.
A coarse Halin Grid Theorem with applications to quasi-transitive, locally finite graphs
Published
• View Publication
• BIB
We prove a coarse version of Halin's Grid Theorem: Every one-ended, locally finite graph that contains the disjoint union of infinitely many rays as an asymptotic minor also contains the half-grid as an asymptotic minor. More generally, we show that the same holds for arbitrary (not necessarily one-ended or locally finite) graphs under additional, necessary assumptions on the minor-models of the infinite rays. This resolves a conjecture of Georgakopoulos and Papasoglu.
As an application, we show that every one-ended, quasi-transitive, locally finite graph contains the half-grid as an asymptotic minor and as a diverging minor. This in particular includes all locally finite Cayley graphs of one-ended finitely generated groups and solves a problem of Georgakopoulos and Papasoglu.
Anti-Ramsey number of intersecting cliques
An edge-colored graph is called a rainbow graph if all its edges have distinct colors. The anti-Ramsey number $ar(n, G)$, for a graph $G$ and a positive integer $n$, is defined as the minimum number of colors $r$ such that every exact $r$-edge-coloring of the complete graph $K_n$ contains at least one rainbow copy of $G$. A $(k, r)$-fan graph, denoted $F_{k, r}$, is a graph composed of $k$ cliques each of size $r$, all intersecting at exactly one common vertex. In this paper, we determine $ar(n, F_{k, r})$ for $n \geq 256r^{16}(k+1)^5$, $k \geq 1$, and $r \geq 2$.
On the Turánability and tileability of oriented graphs
An oriented graph $H$ is Turánable (resp. tileable) if there exist $n_0 \in \mathbb{N}$ such that every regular tournament on $n \ge n_0$ vertices contains a copy of $H$ (resp. a perfect $H$-tiling). We disprove a conjectured characterization of Turánable oriented graphs by DeBiasio, Han, Lo, Molla, Piga, and Treglown, show that there are Turánable oriented graphs which are not tileable, and provide a new example of tileable oriented graph.
Power in Sharing Networks with a priori Unions
We introduce and analyze a novel family of power indices tailored for sharing networks in technological markets, where firms operate competitively within, but not across, distinct industrial sectors. In these settings, inter-firm collaboration structures emerge from formal technology licensing agreements. The proposed indices are defined over graphs with a priori unions and combine two key centrality measures - degree-based and rescaled eigenvector centrality - modulated by positive market coefficients that reflect sectoral dynamics. We first explore the monotonicity properties of these indices, highlighting their responsiveness to local changes in network structure. Interestingly, major economic actors exhibit structural stability when inter-sectoral technological spillovers are minimal. Building on these findings, we provide theoretical underpinnings by characterizing the indices as the Shapley values of a family of coherent and economically interpretable transferable utility (TU) games defined over such graphs. However, for a broad class of network structures, the core of these TU games is often empty, signaling inherent instability in technological sharing arrangements. Finally, we offer an axiomatic foundation for this family of indices, proving independence of the proposed axioms. This axiomatization extends naturally to exchange networks, even when stage-propagation coefficients are not positive.
Beyond the MaxCut problem in $H$-free graphs
In a recent breakthrough, Zhang proves that if $G$ is an $H$-free graph with $m$ edges, then $G$ has a cut of size at least $m/2+c_Hm^{0.5001}$, making a significant step towards a well known conjecture of Alon, Bollobás, Krivelevich and Sudakov. We show that the methods of Zhang can be further boosted, and prove the following strengthening. If $G$ is a graph with $m$ edges and no clique of size $m^{1/2-δ}$, then $G$ has a cut of size at least $m/2+m^{1/2+\varepsilon}$ for some $\varepsilon=\varepsilon(δ)>0$.
In addition, we sharpen another result of Zhang by proving that if $G$ is an $n$-vertex $m$-edge graph with MaxCut of size at most $m/2+n^{1+\varepsilon}$ (or its smallest eigenvalue $λ_n$ satisfies $|λ_n|\leq n^{\varepsilon}$), then $G$ is $n^{-\varepsilon}$-close to the disjoint union of cliques for some absolute constant $\varepsilon>0$.
Graphical Designs find Combinatorial Structures
Graphical designs are subsets of vertices of a graph that perfectly average a selected set of eigenvectors of the Graph Laplacian. We show that in highly-structured graphs, graphical designs can coincide with highly structured and well-known combinatorial objects: orthogonal arrays in hypercube graphs, combinatorial block designs and extremizers of the Erdos-Ko-Rado theorem in Johnson graphs, and t-wise uniform sets of permutations and symmetric subgroups in normal Cayley graphs on the symmetric group. These connections allow tools from spectral graph theory to bear on these combinatorial objects. We also show that the central vertex in a Mycielskian is an extremely good design and certain designs of the Mycielskian coincide with designs of the original graph.
2-switch-degree classification of split graphs
The 2-switch-degree of $G$ is the number of distinct 2-switches acting on a graph $G$. In this work we study structural properties of the 2-switch-degree, with a focus on split graphs. Our approach is motivated by the Tyshkevich decomposition, which uniquely expresses any graph as a composition $G_r \circ \ldots \circ G_1$ of indecomposable graphs, where $G_2, \ldots, G_r$ are split. Our key tool is the factor graph $Φ(S)$, a multigraph associated with a split graph $S$ that encodes 2-switch-degree information via edge multiplicities between independet vertices of $S$. By leveraging $Φ(S)$, we reduce the problem of classifying indecomposable split graphs to enumerating and analyzing unlabeled connected multigraphs of fixed size. Using this method, we fully classify indecomposable split graphs of degrees 1, 2, 3, and 4. Further, we introduce and investigate the $Δ$-property, a surprising connection between Graph Theory and Number Theory that arises from $n$-simple triangles (3-cycles with uniform edge multiplicity $n$) of the factor graph.
Unavoidable butterfly minors in digraphs of large cycle rank
Cycle rank is one of the depth parameters for digraphs introduced by Eggan in 1963. We show that there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that every digraph of cycle rank at least $f(k)$ contains a directed cycle chain, a directed ladder, or a directed tree chain of order $k$ as a butterfly minor. We also investigate a new connection between cycle rank and a directed analogue of the weak coloring number of graphs.
Bounded powers of edge ideals: symmetric exchange binomials
It has been conjectured that the toric ideal of the base ring of a discrete polymatroid is generated by symmetric exchange binomials. In the present paper, we give several classes of discrete polymatroids which yield toric ideals generated by symmetric exchange binomials. Especially, we are interested in the discrete polymatroids arising from bounded powers of edge ideals of finite graphs.
Spectral extremal problems for non-bipartite graphs without odd cycles
Published in Discrete Mathematics 349 (2026) 114670
• View Publication
• BIB
A well-known result of Mantel asserts that every $n$-vertex triangle-free graph $G$ has at most $\lfloor n^2/4 \rfloor$ edges. Moreover, Erdős proved that if $G$ is further non-bipartite, then $e(G)\le \lfloor {(n-1)^2}/{4}\rfloor +1$. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] established a spectral version by showing that if $G$ is a triangle-free non-bipartite graph on $n$ vertices, then $λ(G)\le λ(S_1(T_{n-1,2}))$, with equality if and only if $G=S_1(T_{n-1,2})$, where $S_1(T_{n-1,2})$ is obtained from $T_{n-1,2}$ by subdividing an edge. In this paper, we investigate the maximum spectral radius of a non-bipartite graph without some short odd cycles. Let $C_{2\ell +1}(T_{n-2\ell, 2})$ be the graph obtained by identifying a vertex of $C_{2\ell+1}$ and a vertex of the smaller partite set of $T_{n-2\ell ,2}$. We prove that for $1\le \ell < k$ and $n\ge 187k$, if $G$ is an $n$-vertex $\{C_3,\ldots ,C_{2\ell -1},C_{2k+1}\}$-free non-bipartite graph, then $λ(G)\le λ(C_{2\ell +1}(T_{n-2\ell, 2}))$, with equality if and only if $G=C_{2\ell +1}(T_{n-2\ell, 2})$. This result could be viewed as a spectral analogue of a min-degree result due to Yuan and Peng [European J. Combin. 127 (2025)]. Moreover, our result extends a result of Guo, Lin and Zhao [Linear Algebra Appl. 627 (2021)] as well as a recent result of Zhang and Zhao [Discrete Math. 346 (2023)] since we can get rid of the condition that $n$ is sufficiently large. The argument in our proof is quite different and makes use of the classical spectral stability method and the double-eigenvector technique. The main innovation lies in a more clever argument that guarantees a subgraph to be bipartite after removing few vertices, which may be of independent interest.