graph
35150 papers tagged with this keyword
A Balancing Theorem for Spanning Trees of Rectangular Grid Graphs
We prove that, among rectangular grid graphs with a fixed number of vertices, the number of spanning trees increases when the side lengths are made more balanced. In particular, among all rectangular grid graphs with $n^2$ vertices, the square $n\times n$ grid has the largest number of spanning trees. The proof starts with the Laplacian product formula, passes to hyperbolic coordinates, and compares logarithms by separating a discrete-concavity term from a positive decreasing residual term.
Strong majority colorings of graphs
Motivated by majority vertex-colorings of graphs and digraphs and majority edge-colorings of graphs, we introduce two concepts of strong majority colorings. A strong majority vertex-coloring of a graph $G=(V,E)$ is a mapping $c:V\rightarrow C$ such that for every vertex $v\in V$ and every color $α\in C$, at most half of the neighbors of $v$ have color $α$. The strong majority number of $G$, denoted Maj$(G)$, is the least number of colors in such a coloring. We show that Maj$(G)$ can be arbitrarily large and prove a tight upper bound Maj$(G)\le 2Δ(G)+1$ for every graph $G$ without pendant vertices. A strong majority edge-coloring of a graph $G$ is a mapping $c:E\rightarrow C$ such that for every edge $e\in E$ and every color $α\in C$, at most half of the edges adjacent to $e$ have color $α$. The strong majority index of $G$, denoted Maj'$(G)$, is the least number of colors in such a coloring. It is shown that there is an upper constant bound for Maj'$(G)$ of all admissible graphs $G$. We conjecture that this constant is as small as 4 and confirm this conjecture for numerous graph classes.
Graphs from quadratic forms and vector spaces over finite fields
Let $q$ be an odd prime power, let $n\ge 2$, and let $V\subsetneq \mathbb F_{q^n}$ be a proper $\mathbb F_q$-vector subspace. Given a nonzero quadratic form $Q(X,Y)\in \mathbb F_{q^n}[X,Y]$, we consider the graph $Γ(Q,V)$ that naturally arises from the condition $Q(X,Y)\in V$. We determine all quadratic forms $Q$ for which $Γ(Q,V)$ is undirected for every $V$. Besides the case $Q(x,y)=XY$, studied earlier by the second author, this essentially leads to the forms $X^2\pm Y^2$ and the family $Q_b(X, Y):=X^2+bXY+Y^2, b\ne 0$. We then study connectedness and clique number for the corresponding graphs. Our results reveal a clear contrast between these cases. The graphs $Γ(X^2\pm Y^2, V)$ are well structured, disconnected and their clique number can be as large as $\# V$. On the other hand, the family $Q_b$ seems to yield less structured graphs: the graphs are connected (in fact, of diameter $2$) if $\# V\ge q^{3n/4}$ and, in many cases, their clique number is $o(\# V)$. Our proofs are mainly based on character sums, while requiring a few algebraic and combinatorial ideas. We end the paper with some open problems and remarks, including a short discussion of the complementary case where $q$ is even.
A single $3$-graph with infinite stability number
The stability number of a forbidden family measures how many different structures are needed to approximate all near-extremal constructions avoiding it. An infinite stability number means that no finite list of structures suffices. We construct a simple explicit $3$-graph whose stability number is infinite. This extends the infinite-stability phenomenon for finite forbidden families, established by Hou--Li--Liu--Mubayi--Zhang, to the single-forbidden setting, and further develops the single-$3$-graph direction of Balogh--Clemen--Luo, in which exponentially many exact extremal constructions coexist with stability.
Induced/Incomparable versus Ramsey
We consider the following problem: Let $H$ and $F$ be two graphs on $k$ vertices and assume $F \neq H$. We say that $H$ and $F$ are incomparable if neither $F$ nor $H$ contains the other.
Let $H$ be a graph on $k$ vertices and let $G$ be a graph on at least $k$ vertices. Then $G$ is said to be $H$-exact if any induced subgraph of $G$ on $k$ vertices is either isomorphic to $H$ or incomparable with $H$. Exact($H$) is the family of all graphs $G$ which are $H$-exact.
We pose the following problem: For a graph $H$ on $k$ vertices, determine or estimate $f(H) = \max \{n: \exists G \in \text{Exact}(H), |V (G)| = n\}$.
Among the many results obtained in this paper the following are representatives concerning trees and matchings:
1. For a tree on $k \geq 3$ vertices, $ (k - 1)(\left \lceil \frac{k}{2} \right \rceil -1 ) \leq f(T) \leq ( k-1)^2$.
2. For $k \geq 4$, $f(K_{1,k-1}) = (k-1)(k-2)$.
3. For $k \geq 5$, $f(P_k) = \frac{(k-1)}{2}$ if $k$ is odd and $f(P_k) = \frac{(k-1)(k-2)}{2}+1$ if $k$ is even.
4. $f(nK_2) = 3n$ for $n = 2, 3$ and $f(nK_2) = 4n - 4$ for $n \geq 4$.
Diagonal Ramsey numbers for wheels
The Ramsey number $\mathrm{R}(G_1,G_2)$ is the smallest integer $N$ such that any red-blue coloring of the edges of the complete graph $K_N$ contains either a red copy of $G_1$ or a blue copy of $G_2$. In 2022, the third author and others gave lower and upper bounds of the Ramsey number $\mathrm{R}(W_n,W_n)$, where $W_n$ is the wheel graph with $n$ vertices. In this paper, we improve their bounds by showing that $3n-2\leq \mathrm{R}(W_n,W_n)\leq 6n-6$ for even $n\geq 8$ and $2n\leq \mathrm{R}(W_n,W_n)\leq \frac{9n-7}{2}$ for odd $n\geq 7$. Furthermore, we give recursive bounds for the $k$-colored Ramsey number for $W_n$.
Polylogarithmic Bounds for Nested Cycles without Geometric Crossings
A problem of Erdős asks for extremal conditions forcing edge-disjoint cycles with a prescribed nested structure. In the geometric version, the nesting is required to be noncrossing with respect to the cyclic orders. Fernández, Kim, Kim and Liu proved that constant average degree forces two such cycles. We prove a polylogarithmic bound for the natural multi-layer version: for every fixed $k\ge 3$, every sufficiently large $n$-vertex graph with at least \[
C_k n(\log n)^{k-1}(\log\log n)^{k-3} \] edges contains $k$ pairwise edge-disjoint nested cycles without geometric crossings. The proof combines the robust sublinear expander framework of Alon, Bucić, Sauermann, Zakharov and Zamir with a controlled wrapping lemma that permits the layers to be built successively with controlled length.
The weak $k$-metric dimension of the direct product of complete graphs
The weak $k$-metric dimension of a graph is roughly understood as the cardinality of a smallest set of vertices $S$ of the graph with the property of uniquely recognizing all the vertices of the graph throughout summations of differences of distances to the vertices of $S$. The weak $k$-metric dimension of the direct product of two isomorphic complete graphs is considered in this work. Specifically, the value of such parameter is computed for almost all possibilities of these products and a bound is provided in the remaining case.
A random version of the Burr-Erdős-Spencer theorem
A well-known result of Burr, Erdős and Spencer [Transactions of the American Mathematical Society, 1975] determines the $2$-colour Ramsey number for any sufficiently large collection of vertex-disjoint copies of a fixed graph $H$ without isolated vertices. In this short note we prove a random version of this result, thereby generalising the random Ramsey theorem of Rödl and Ruciński [Journal of the American Mathematical Society, 1995].
An Ore-type Alon-Yuster Theorem
A graph $G$ admits an $H$-tiling if it contains a collection of vertex-disjoint copies of $H$. In this paper, we confirm a conjecture proposed by Kühn, Osthus, and Treglown by showing that for any given graph $H$, there exists a constant $C(H)$ such that the following holds. If $G$ is a sufficiently large $n$-vertex graph satisfying $d(x) + d(y) \geq 2\left(1 - 1/χ_{\text{cr}}(H)\right)n$ for all nonadjacent vertices $x, y \in V(G)$, then $G$ contains an $H$-tiling covering all but at most $C(H)$ vertices. Here $χ_{\text{cr}}(H)$ denotes the critical chromatic number of $H$.
The Manickam-Miklós-Singhi Property in Graphs and Hypergraphs
This paper studies the Manickam-Miklós-Singhi (MMS) property for graphs and hypergraphs. Using the structural characterisation of the $2$-uniform case, we construct new families of regular graphs with the MMS property. We then analyse the Erdős--Rényi random graph model $\mathbf{G}(n,p)$ and identify regimes in which the MMS property holds with high probability. Finally, we extend the matching-based sufficient condition to higher uniformities via pseudo-matchings and introduce a blowout construction that produces higher-uniformity hypergraphs with the MMS property from lower-uniformity examples.
Path-Minimality of $p$-Energy for Connected Graphs
Let $G$ be a simple connected graph on $n$ vertices, and let $λ_1(G),λ_2(G),\ldots,λ_n(G)$ be the eigenvalues of its adjacency matrix $A(G)$. For $p>0$, define the $p$-energy of $G$ by $\mathcal E_p(G)=\sum_{i=1}^n |λ_i(G)|^p$. We prove that, for every real number $p\ge 2$ and every simple connected graph $G$ on $n$ vertices, $$ \mathcal E_p(G)\ge \mathcal E_p(P_n), $$ where $P_n$ denotes the path on $n$ vertices. Moreover, for each fixed $p>2$, equality holds if and only if $G\cong P_n$. Together with the previously known star-minimality results, this completes the solution of two questions of Nikiforov.
The proof combines two different comparison principles. For $2<p<4$, we use a bipartite reduction, a Mellin representation of fractional powers, and a determinant comparison involving matching generating polynomials and tree shifts. For $p\ge4$, we prove a second-order stop-loss comparison for the squared singular values of bipartite graphs. This comparison is established by rank-one spectral-shift estimates, deletion-minimal counterexamples, and a finite certified analysis of the terminal sparse-sun configurations. As applications, we obtain sharp path-minimality results for positive $p$-energies in several cases, and for Laplacian and signless Laplacian power sums and related indices.
Betti Numbers of Cut Complexes of Squared Paths and a Recurrence Conjecture
For a graph $G$ on $[n]$, the $k$-cut complex $Δ_k(G)$ has facets $[n]\setminus T$, where $T$ ranges over the disconnected $k$-vertex induced subgraphs of $G$. Bayer, Denker, Jelić Milutinović, Sundaram, and Xue proved that the $k$-cut complex of the squared path $P_n^2$ is shellable for $n\ge k+3$ and conjectured a finite-difference recurrence for its top reduced Betti number along every diagonal $n-k=r$. We prove the recurrence by giving the exact formula $β(k,n)=\binom{n-1}{k-1}-\sum_{j=0}^{\min\{k-1,n-k\}}\binom{k-1}{j}(n-k-j+1)+(n-k)$ for $r=n-k\ge3$. Equivalently, for fixed $r\ge3$, the diagonal sequence $B_r(k)=β(k,k+r)$ is a polynomial in $k$ of degree $r-1$, and therefore $\nabla^rB_r(k)=0$. The proof uses a complementary-face enumeration: among complements with size at least $k$, all bad complements have size $k$ or $k+1$, and they are, respectively, connected $k$-subsets of $P_n^2$ and intervals of length $k+1$. The same formula also proves the conjectural closed forms for $k=4,5$.
Structural Infinite-Exponent Partition Relations and Weak Choice Principles
We investigate infinite-exponent partition relations on arbitrary relational structures, with a focus on linear orders and graphs. Any such relation contradicts the Axiom of Choice. We show that there are some such relations which are consistent with ZF which imply the failure not just of Choice but also of the Kinna-Wagner Selection Principle KWP$_1$ and the Ordering Principle O.
The Finite Length Property of the Rado Graph and Friends
An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable pure set and the countable dense linear order without endpoints have this property. We generalise these results to (a) any structure approximated by finite substructures with few orbits, provided the field is of characteristic zero, and (b) any Fraïssé limit with free amalgamation in a finite vocabulary consisting of unary and binary relations, possibly expanded with a generic total order. As a special case, we deduce the finite length property of the Rado graph using both methods. We also describe some connections with function spaces, weighted register automata, and orbit-finite systems of linear equations.
Spectra of Subdivision Products of Digraphs
This paper introduces four types of subdivision products for simple directed graphs extending those from the undirected case, in particular, the subdivision-vertex join, subdivision-arc join, subdivision-vertex corona and subdivision-arc corona. Structural and spectral properties of these constructions are analyzed, with a focus on adjacency, Laplacian and signless Laplacian spectra.
A linear upper bound on the $\mathbb{Z}_p$-Ramsey number of graphs with sufficiently large $2$-packing
Given a positive integer $k$ and graph $G$, the $\mathbb{Z}_k$-Ramsey number $R(G,\mathbb{Z}_k)$ is the least $N$ (if it exists) such that every coloring $f:E(K_N)\rightarrow \mathbb{Z}_k$ contains a copy $G'$ of $G$ such that $\sum_{e\in E(G')}f(e)=0$. Motivated by a question of Caro and Mifsud, we study the $\mathbb{Z}_k$-Ramsey number of graphs with a sufficiently large 2-packing, i.e. a set of vertices $S\subseteq V(G)$ such that $N[u]\cap N[v]=\emptyset$ for all distinct $u,v\in S$. In particular, we prove that $R(G,\mathbb{Z}_p)\leq n+6p-9$ for all $n$-vertex graphs $G$ and all primes $p$ such that $p$ divides $e(G)$, the minimum degree of $G$ is at least $1$, and there exists a $2$-packing of $G$ with size $p-1$. This upper bound improves depending on vertex degrees in the $2$-packing, with equality in certain cases. The result also implies an upper bound of the form $R(G,\mathbb{Z}_p)\leq n+C$ for $n$-vertex graphs $G$ of bounded maximum degree.
Critical subgraphs and the regularity of symbolic powers of cover ideals of graphs
Let $G$ be a simple graph. We demonstrate a method for using $t$-admissible subgraphs of $G$ to determine the regularity of the $t$-th symbolic power of the cover ideal of $G$. As an application, we compute the regularity of powers of cover ideals of bipartite unicyclic graphs.
An axiomatic framework from splitting and merging in MAT-labeled graphs, vines, and single-peaked domains
In recent work (Forum Math.~Sigma, 2024), we established a correspondence between MAT-labeled graphs arising from hyperplane arrangements and regular vines from probability theory. In this paper, we extend this connection to Arrow's single-peaked domains in social choice theory. We show that MAT-labeled complete graphs, regular vines, and maximal Arrow's single-peaked domains arise from the same recursive combinatorial structure.
Our main result gives an axiomatic characterization of these objects using the language of combinatorial species. At the heart of this characterization are two fundamental operations, called splitting and merging, together with natural compatibility conditions that uniquely determine the structures. As consequences, we obtain explicit correspondences between maximal Arrow's single-peaked domains, MAT-labeled complete graphs, and regular vines, resolving an open problem in the economics literature concerning the combinatorial characterization of single-peaked domains.
We further show, by a direct proof, that regular vines are equivalent to $(n,3)$-extremal lattices from formal concept analysis. Consequently, these extremal lattices also fit naturally into the same splitting and merging framework, providing another example from a different area that satisfies our axiomatic characterization.
Generalized quaternion NCI-groups, NNN-groups and NNND-groups
A Cayley (di)graph $\Cay(G,S)$ of a finite group $G$ is called CI if, for every Cayley (di)graph $\Cay(G,T)$ of $G$, $\Cay(G,S)\cong \Cay(G,T)$ implies that $S^σ=T$ for some $σ\in \Aut(G)$. The group $G$ is called an NDCI-group (resp. NCI-group) if every normal Cayley digraph (resp. graph) of $G$ is CI. It was shown that the generalized quaternion group $\Q_{4n}$ of order $4n$ ($n\geq 2$) is an NDCI-group if and only if either $n=2$ or $n$ is odd, but its NCI-group classification has been left as an open question. In this paper, we solve the question and prove that $\Q_{4n}$ is an NCI-group for every $n\geq 2$. A normal Cayley (di)graph of a group $G$ is called NNN if its automorphism group contains a non-normal regular subgroup isomorphic to $G$, and $G$ is called an NNND-group (resp. NNN-group) if it admits an NNN Cayley digraph (resp. graph). In this paper, we show that $\Q_{4n}$ is not an NNN-group for every $n\geq 2$, and is an NNND-group if and only if $n\geq 6$ and $n$ is even.