graph
34516 papers tagged with this keyword
An ${\mathfrak S}_3$-cover of $K_4$ and integral polyhedral graphs
We show that the star graph defined as the Cayley graph of ${\mathfrak S}_{n+1}$ generated by the star transpositions is an ${\mathfrak S}_n$-cover of the complete graph $K_{n+1}$, which is known to have fine spectral properties. In the case $n = 3$, the star graph also has fine geometric properties: it embeds into the honeycomb lattice and has a spectrum computable via both representation theory and an explicit Fourier formula. Intermediate covers correspond to the cube and truncated tetrahedron, offering a new interpretation of their integral spectra.
Asymptotic enumeration of graph factors by cumulant expansion
Let $G$ be a dense graph with good expansion properties and not too close to being bipartite. Let $\boldsymbol d$ be a graphical degree sequence. Under very weak conditions, we find the number of subgraphs of $G$ with degree sequence $\boldsymbol d$ to arbitrary precision. The average degree can be any power of $n$ and the variation in degrees can be very large. The method uses an explicit bound on the tail of the cumulant generating function found by the first author. As a first application, we prove that there is an asymptotic expansion for the number of regular graphs and find several terms explicitly. We believe that this is the first combinatorial application of the Fourier inversion method for which the integral outside the dominant regions cannot be bounded by the integral of the absolute value, and we give a general method for dealing with that situation.
Hoffman colorability of (strongly) regular graphs
Hoffman's bound is a well-known eigenvalue bound on the chromatic number of a graph. By interpreting this bound as a parameter, we show multiple applications of colorings attaining the bound (Hoffman colorings) for several notions of graph regularity: regular, (co-)edge-regular, and strongly regular. For strongly regular graphs, we prove that Hoffman colorability implies pseudo-geometricity, and we strengthen Haemers' finiteness result on strongly regular graphs with a bounded chromatic number by considering the Hoffman bound instead of the chromatic number. Furthermore, by using Hoffman colorings we show that a sufficient condition for non-unique vector colorability shown by Godsil, Roberson, Rooney, Šámal and Varvitsiotis [European J. Combin. 79, 2019] can be relaxed in the setting of strongly regular graphs. Lastly, using Hoffman colorings we derive several new characterizations of the mentioned graph regularity notions.
$k$-fold circuits and coning in rigidity matroids
In 1980 Lovász introduced the concept of a double circuit in a matroid. The 2nd, 3rd and 4th authors recently generalised this notion to $k$-fold circuits (for any natural number $k$) and proved foundational results about these $k$-fold circuits. In this article we use $k$-fold circuits to derive new results on the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. These results include analysing 2-sums, showing sufficient conditions for the $k$-fold circuit property to hold for $k$-fold $\mathcal{R}_d$-circuits, and giving an extension of Whiteley's coning lemma. The last of these allows us to reduce the problem of determining if a graph $G$ with a vertex $v$ of sufficiently high degree is independent in $\mathcal{R}_d$ to that of verifying matroidal properties of $G-v$ in $\mathcal{R}_{d-1}$.
Vertex-partitions of 2-edge-colored graphs
A {\bf $\mathbf{k}$-majority coloring} of a digraph $D=(V,A)$ is a coloring of $V$ with $k$ colors so that each vertex $v\in V$ has at least as many out-neighbours of color different from its own color as it has out-neighbours with the same color as itself.
Majority colorings have received much attention in the last years and many interesting open problems remain.
Inspired by this and the fact that digraphs can be modelled via 2-edge-colored graphs we study several problems concerning vertex partitions of 2-edge-colored graphs. In particular we study vertex partitions with the property that for each $c=1,2$ every vertex $v$ has least as many edges of colour $c$ to vertices outside the set it belongs to as it has to vertices inside its own set. We call such a vertex partition with $k$ sets a {\bf $\mathbf{k}$-majority partition. Among other things we show that every 2-edge-coloured graph has a 4-majority partition and that it is NP-complete to decide whether a 2-edge-coloured graph has a 3-majority partition. We also apply probabilistic tools to show that every $2$-edge-colored graph $G$ of minimum color-degree $δ$ and maximum degree $Δ\le \frac{e^{δ/18}}{9δ}-2$ has a balanced majority $3$-partition.
On the size of universal graphs for spanning trees
Chung and Graham [J. London Math. Soc., 1983] claimed that there exists an $n$-vertex graph $G$ containing all $n$-vertex trees as subgraphs that has at most $\frac{5}{2}n \log_2 n + O(n)$ edges. We identify an error in their proof. This error can be corrected by adding more edges, which increases the number of edges to $e(G) \leq \frac{7}{2}n \log_2 n + O(n)$. Moreover, we further improve this by showing that there exists such an $n$-vertex graph with at most $\left(5- \frac{1}{3}\right)n \log_3 n + O(n) \leq 2.945 n \log_2 n$ edges. This is the first improvement of the bound since Chung and Graham's pioneering work four decades ago.
Furstenberg set theorem for transversal families of functions
We prove an extension of the Furstenberg set theorem to families of graphs satisfying a transversality condition. We apply the result to derive bounds on $L^{p}$-norms of Fourier transforms of fractal measures supported on plane curves.
Short presentations for crystallographic groups
A practical approach is proposed to construct short presentations for Euclidean crystallographic groups in terms of generators and relations. For our purposes a short presentation is the one with a small number of short relators for a given generating set. The connection is emphasized between relators of a group presentation and cycles in the associated Cayley graph. It is shown by examples that a short presentation is usually the one where relators correspond to strong rings in the Cayley graph and therefore provide a natural upper bound for their size. Presentations are computed for vertex-transitive groups which act with trivial vertex stabilizers on a number of high-symmetry 2-, 3- and 4-periodic graphs. Higher-dimensional as well as subperiodic examples are also considered. Relations are explored between geodesics in periodic graphs and corresponding cycles in their quotients.
Reconstructing graphs and their connectivity using graphlets
Graphlets are subgraphs rooted at a fixed vertex. The number of occurrences of graphlets aligned to a particular vertex, called graphlet degree sequence (gds), gives a topological description of the surrounding of the analyzed vertex. Graphlet degree distribution (gdd) of a graph is a matrix containing graphlet degree sequence for all vertices in the given graph. A long standing open problem called reconstruction conjecture (RC) asks whether the structure of a graph is uniquely determined by the multiset of its vertex-deleted subgraphs. Graphlet degree distribution up to size (n - 1), (<= n - 1)-gdd, gives more information to reconstruct the graph and we use it to reconstruct any graph having a unique almost-asymmetric vertex-deleted subgraph, where almost-asymmetric means that at most one automorphism orbit has size larger than one. Moreover, we prove that any graph containing a vertex-cut of size 1 or any graph of order n having a vertex with degree at most 2 or at least n-2 is reconstructible from its (<= n - 1)-gdd, which expands results shown in the standard RC. We also discuss the relation between gdd and graph connectivity and the conditions on (<= 3)-gdd, whose breaking means that no graph with such gdd exists.
Local Statistics of the $M_n$-Dimer Model
The classical dimer model is concerned with the (weighted) enumeration of perfect matchings of a graph. An $n$-dimer cover is a multiset of edges that can be realized as the disjoint union of $n$ individual matchings. For a probability measure recently defined by Douglas, Kenyon, and Shi, which we call the $M_n$-dimer model, we study random $n$-dimer covers on bipartite graphs with matrix edge weights and produce formulas for local edge statistics and correlations. We also classify local moves that can be used to simplify the analysis of such graphs.
Weak saturation numbers of large complete bipartite graphs
An $n$-vertex graph $G$ is weakly $F$-saturated if $G$ contains no copy of $F$ and there exists an ordering of all edges in $E(K_n) \setminus E(G)$ such that, when added one at a time, each edge creates a new copy of $F$. The minimum size of a weakly $F$-saturated graph $G$ is called the weak saturation number $\mathrm{wsat}(n, F)$. We obtain exact values and new bounds for $\mathrm{wsat}(n, K_{s,t})$ in the previously unaddressed range $s+t < n < 3t-3$, where $3\leq s\leq t$. To prove lower bounds, we introduce a new method that takes into account connectivity properties of subgraphs of a complement $G'$ to a weakly saturated graph $G$. We construct an auxiliary hypergraph and show that a linear combination of its parameters always increases in the process of the deletion of edges of $G'$. This gives a lower bound which is tight, up to an additive constant.
Burning numbers via eigenpolytopes -- Hamming graphs, Johnson graphs, and halved cubes
We give lower and upper bounds on the burning number of Hamming graphs, Johnson graphs, and halved cube graphs. For the lower bounds, we use the fact that $1$-skeletons of the eigenpolytopes of these graphs are isomorphic to the original graphs. Then, we present a dynamic search algorithm performed on the eigenpolytope to find an unburned vertex. This idea was originally used by Alon (Discrete Appl.\ Math.,\ 1992), who determined the burning number of the hypercube graphs.
A Size Condition for Small Diameter Orientable Graphs
In 2002, Koh and Tay conjectured that every bridgeless graph of order $n\geq 5$ and size at least ${n\choose 2}-n+5$ has an orientation of diameter two. Later, Cochran, Czabarka, Dankelmann and Székely proved this conjecture and asked what is the minimum number of edges required in a bridgeless graph of order $n$ to guarantee the existence of an orientation of diameter at most $d$? We conjecture that the answer is ${n-d \choose 2}+n+2$. We prove this conjecture for the case $d=n-2$ and prove the lower bound of this conjecture for the case $5\leq d\leq n-2$.
Relatively closed subgroups of permutation groups with a cyclic regular normal subgroup
Motivated by some known problems concerning combinatorial structures associated with finite one-dimensional affine permutation groups, we study subgroups which are closed in $\operatorname{Γ{L}}_1(q)$. This brings us to a description of the relatively closed subgroups of permutation groups with a cyclic regular normal subgroup. Our results, in particular, provide a classification of the minimal nontrivial one-dimensional affine association schemes which generalizes the recent Muzychuk classification of the one-dimensional affine rank 3 graphs.
On graphs with equal and different Kromatic symmetric functions
The Kromatic symmetric function (KSF) $\overline{X}_G$ of a graph $G$ is a $K$-analogue introduced by Crew, Pechenik, and Spirkl in arXiv:2301.02177 of Stanley's chromatic symmetric function (CSF) $X_G$. The KSF is known to distinguish some pairs of graphs with the same CSF. The first author showed in arXiv:2403.15929 and arXiv:2502.21285 that the number of copies in $G$ of certain induced subgraphs can be determined given $\overline{X}_G$, and conjectured that $\overline{X}_G$ distinguishes all graphs. We disprove that conjecture by finding four pairs of 8-vertex graphs with equal KSF, as well as giving several ways to use existing graph pairs with equal KSF to construct larger graph pairs that also have equal KSF. On the other hand, we show that many of the graph pairs from the constructions of Orellana and Scott in arXiv:1308.6005 and of Aliste-Prieto, Crew, Spirkl, and Zamora in arXiv:2007.11042 of graphs with the same CSF are distinguished by the KSF, thus also giving some new examples of cases where the KSF is a stronger invariant than the CSF.
Hook immanantal equalities for linear combination matrices of (di)graphs and their applications
Let $χ_λ$ be an irreducible character of the symmetric group $S_n$. For an $n \times n$ matrix $M = (m_{ij})$, define the immanant of $M$ corresponding to $χ_λ$ by \begin{eqnarray*} d_λ(M) = \sum_{σ\in S_n} χ_λ(σ) \prod_{i=1}^n m_{iσ(i)}. \end{eqnarray*} For $λ= (k, 1^{n-k})$, the immanant $d_{(k, 1^{n-k})}(M)$ is called the hook immanant and denoted by $d_k(M)$. The hook immanant polynomial of matrix $M$ is defined as $d_{k}(xI_n - M)$, where $I_n$ is the $n \times n$ identity matrix. Let $G$ and $\overrightarrow{G}$ be a graph and a digraph, respectively. Suppose that $D(G)$ and $A(G)$ (resp. $D(\overrightarrow{G})$ and $A(\overrightarrow{G})$) are the degree matrix and adjacency matrix of $G$ (resp. $\overrightarrow{G}$), respectively. In this paper, we characterize two hook immanantal equalities for the linear combination of matrices $βD(G)+γA(G)$ and $βD(\overrightarrow{G})+γA(\overrightarrow{G})$, where $β$ and $γ$ are real numbers. As applications, we derive recursive formulas for the hook immanantal polynomials and hook immanants of graph matrices.
Zero blocking numbers of graphs with complexity results
For a graph $G$ in which vertices are either black or white, a zero forcing process is an iterative vertex color changing process such that the only white neighbor of a black vertex becomes black in the next time step. A zero forcing set is an initial subset of black vertices in a zero forcing process ultimately expands to include all vertices of the graph; otherwise we call its complement a zero blocking set. The zero blocking number $B(G)$ of $G$ is the minimum size of a zero blocking set. This paper determines zero blocking numbers of the union and the join of two graphs. It also determines all minimum zero blocking sets of hypercubes. Finally, a linear-time algorithm for the zero blocking numbers of trees is given.
Upper bounds on the odd graceful chromatic number of graphs
We obtain several new upper bounds of the odd graceful chromatic number of a graph $G$, which must be bipartite. Some of our bounds depend only on the number of the vertices of $G$ or the chromatic number of some graphs related to the bipartition of $G$.
On nut graphs with two vertex and three edge orbits
Nut graphs are graphs whose adjacency matrix is singular with one-dimensional null space spanned by a vector with no zero entries. In a recent paper, Bašić, Fowler and Pisanski proved that the automorphism group of a nut graph has more orbits on the edge set than on the vertex set. They classified all orders for which a vertex-transitive nut graph with precisely two edge orbits exists, and conjectured that a nut graph with two vertex and three edge orbits exists for each non-prime order $n \ge 9$. Motivated by this conjecture, we introduce a very general construction that provides graphs with the desired symmetry properties, and we determine some sufficient spectral and structural conditions under which they are nut graphs. The construction yields infinite families of examples and confirms the above conjecture for all odd non-prime orders up to $2\,500$ and for at least $99.8$ percent of all odd non-prime orders up to a million. Finally, we present some additional interesting examples of nut graphs with two vertex and three edge orbits that do not arise from this construction.
Characterisations and Structural Properties of Pure n-Simplicial Trees
This paper extends the concept of trees in graphs to the context of pure n-simplicial complexes by generalising the notion of paths and cycles (in graphs). We introduce and study these higher-dimensional analogues of trees known as pure n-simplicial trees. Our main result is to establish the equivalence between pure n-simplicial trees and the (m, n)-trees introduced by Dewdney in 1974 when m = n - 1, thereby extending and improving his original characterisation. We also disprove two conjectures proposed by Dewdney in 1974 by providing counterexamples, and we present a refined version of the conjecture with an added condition, along with a rigorous proof. Our results contribute to the theoretical knowledge of higher-dimensional trees and their structural properties.