graph
35396 papers tagged with this keyword
Maximizing and minimizing the number of generalized colorings of trees
Published
• View Publication
• BIB
We classify the trees on $n$ vertices with the maximum and the minimum number of certain generalized colorings, including conflict-free, odd, non-monochromatic, star, and star rainbow vertex colorings. We also extend a result of Cutler and Radcliffe on the maximum and minimum number of existence homomorphisms from a tree to a completely looped graph on $q$ vertices.
On groups all of whose Haar graphs are Cayley graphs
Published
• View Publication
• BIB
A Cayley graph of a group $H$ is a finite simple graph $Γ$ such that ${\rm Aut}(Γ)$ contains a subgroup isomorphic to $H$ acting regularly on $V(Γ)$, while a Haar graph of $H$ is a finite simple bipartite graph $Σ$ such that ${\rm Aut}(Σ)$ contains a subgroup isomorphic to $H$ acting semiregularly on $V(Σ)$ and the $H$-orbits are equal to the bipartite sets of $Σ$. A Cayley graph is a Haar graph exactly when it is bipartite, but no simple condition is known for a Haar graph to be a Cayley graph. In this paper, we show that the groups $D_6, \, D_8, \, D_{10}$ and $Q_8$ are the only finite inner abelian groups all of whose Haar graphs are Cayley graphs (a group is called inner abelian if it is non-abelian, but all of its proper subgroups are abelian). As an application, it is also shown that every non-solvable group has a Haar graph which is not a Cayley graph.
Supersaturation of Even Linear Cycles in Linear Hypergraphs
Published in Combinator. Probab. Comp. 29 (2020) 698-721
• View Publication
• BIB
A classic result of Erdős and, independently, of Bondy and Simonovits says that the maximum number of edges in an $n$-vertex graph not containing $C_{2k}$, the cycle of length $2k$, is $O( n^{1+1/k})$. Simonovits established a corresponding supersaturation result for $C_{2k}$'s, showing that there exist positive constants $C,c$ depending only on $k$ such that every $n$-vertex graph $G$ with $e(G)\geq Cn^{1+1/k}$ contains at least $c\left(\frac{e(G)}{v(G)}\right)^{2k}$ many copies of $C_{2k}$, this number of copies tightly achieved by the random graph (up to a multiplicative constant).
In this paper, we extend Simonovits' result to a supersaturation result of $r$-uniform linear cycles of even length in $r$-uniform linear hypergraphs. Our proof is self-contained and includes the $r=2$ case. As an auxiliary tool, we develop a reduction lemma from general host graphs to almost-regular host graphs that can be used for other supersaturation problems, and may therefore be of independent interest.
Coloring Chains for Compression with Uncertain Priors
Published
• View Publication
• BIB
Haramaty and Sudan considered the problem of transmitting a message between two people, Alice and Bob, when Alice's and Bob's priors on the message are allowed to differ by at most a given factor. To find a deterministic compression scheme for this problem, they showed that it is sufficient to obtain an upper bound on the chromatic number of a graph, denoted $U(N,s,k)$ for parameters $N,s,k$, whose vertices are nested sequences of subsets and whose edges are between vertices that have similar sequences of sets. In turn, there is a close relationship between the problem of determining the chromatic number of $U(N,s,k)$ and a local graph coloring problem considered by Erdős et al. We generalize the results of Erdős et al. by finding bounds on the chromatic numbers of graphs $H$ and $G$ when there is a homomorphism $φ:H\rightarrow G$ that satisfies a nice property. We then use these results to improve upper and lower bounds on $χ(U(N,s,k))$.
On a lower bound for the Laplacian eigenvalues of a graph
Published in Graphs and Combin. 33 (2017), no. 6, pp. 1509-1519
• View Publication
• BIB
If $μ_m$ and $d_m$ denote, respectively, the $m$-th largest Laplacian eigenvalue and the $m$-th largest vertex degree of a graph, then $μ_m \geqslant d_m-m+2$. This inequality was conjectured by Guo in 2007 and proved by Brouwer and Haemers in 2008. Brouwer and Haemers gave several examples of graphs achieving equality, but a complete characterisation was not given. In this paper we consider the problem of characterising graphs satisfying $μ_m = d_m-m+2$. In particular we give a full classification of graphs with $μ_m = d_m-m+2 \leqslant 1$.
Clique-cutsets beyond chordal graphs
Published
• View Publication
• BIB
Truemper configurations (thetas, pyramids, prisms, and wheels) have played an important role in the study of complex hereditary graph classes (e.g. the class of perfect graphs and the class of even-hole-free graphs), appearing both as excluded configurations, and as configurations around which graphs can be decomposed. In this paper, we study the structure of graphs that contain (as induced subgraphs) no Truemper configurations other than (possibly) universal wheels and twin wheels. We also study several subclasses of this class. We use our structural results to analyze the complexity of the recognition, maximum weight clique, maximum weight stable set, and optimal vertex coloring problems for these classes. Furthermore, we obtain polynomial chi-bounding functions for these classes.
A characterization of testable hypergraph properties
Published in Journal of Combinatorial Theory, Series B 174 (2025), 133-189
• View Publication
• BIB
We provide a combinatorial characterization of all testable properties of $k$-uniform hypergraphs ($k$-graphs for short). Here, a $k$-graph property $P$ is testable if there is a randomized algorithm which makes a bounded number of edge queries and distinguishes with probability $2/3$ between $k$-graphs that satisfy $P$ and those that are far from satisfying $P$. For the $2$-graph case, such a combinatorial characterization was obtained by Alon, Fischer, Newman and Shapira. Our results for the $k$-graph setting are in contrast to those of Austin and Tao, who showed that for the somewhat stronger concept of local repairability, the testability results for graphs do not extend to the $3$-graph setting. Our proof relies on a random subhypergraph sampling result proved in a companion paper.
Combinatorics of generalized exponents
Published
• View Publication
• BIB
We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type C_n, we obtain a combinatorial description of the generalized exponents based on the so-called distinguished vertices in crystals of type A_{2n-1}, which we also connect to symplectic King tableaux. This gives a combinatorial proof of the positivity of Lusztig t-analogues associated to zero weight spaces in the irreducible representations of symplectic Lie algebras. We also present three applications of our combinatorial formula, and discuss some implications to relating two type C branching rules. Our methods are expected to extend to the orthogonal types.
Bipartite bi-Cayley graphs over metacyclic groups of odd prime-power order
A graph $Γ$ is a bi-Cayley graph over a group $G$ if $G$ is a semiregular group of automorphisms of $Γ$ having two orbits. Let $G$ be a non-abelian metacyclic $p$-group for an odd prime $p$, and let $Γ$ be a connected bipartite bi-Cayley graph over the group $G$. In this paper, we prove that $G$ is normal in the full automorphism group ${\rm Aut}(Γ)$ of $Γ$ when $G$ is a Sylow $p$-subgroup of ${\rm Aut}(Γ)$. As an application, we classify half-arc-transitive bipartite bi-Cayley graphs over the group $G$ of valency less than $2p$. Furthermore, it is shown that there are no semisymmetric and no arc-transitive bipartite bi-Cayley graphs over the group $G$ of valency less than $p$.
High Order Random Walks: Beyond Spectral Gap
Published
• View Publication
• BIB
We study high order random walks in high dimensional expanders; namely, in complexes which are local spectral expanders. Recent works have studied the spectrum of high order walks and deduced fast mixing. However, the spectral gap of high order walks is inherently small, due to natural obstructions that do not happen for walks on expander graphs. In this work we go beyond spectral gap, and relate the shrinkage of a $k$-cochain by the walk operator, to its structure under the assumption of local spectral expansion. A simplicial complex is called an one-sided local spectral expander, if its links have large spectral gaps and a two-sided local spectral expander if its links have large two-sided spectral gaps. We show two Decomposition Theorems (one per one-sided/two-sided local spectral assumption) : For every $k$-cochain $φ$ defined on an $n$-dimensional local spectral expander, there exists a decomposition of $φ$ into `orthogonal' parts that are, roughly speaking, the `projections' on the $j$-dimensional cochains for $0 \leq j \leq k$. The random walk shrinks each of these parts by a factor of $\frac{k+1-j}{k+2}$ plus an error term that depends on the spectral expansion. %Our two Decomposition Theorems differ in their assumptions on the local spectral gaps - we derive different Decomposition Theorems for the cases of one-sided local spectral gap and two-sided local spectral gap.
On the metric dimension of incidence graphs
Published
• View Publication
• BIB
A resolving set for a graph $Γ$ is a collection of vertices $S$, chosen so that for each vertex $v$, the list of distances from $v$ to the members of $S$ uniquely specifies $v$. The metric dimension $μ(Γ)$ is the smallest size of a resolving set for $Γ$. We consider the metric dimension of two families of incidence graphs: incidence graphs of symmetric designs, and incidence graphs of symmetric transversal designs (i.e. symmetric nets). These graphs are the bipartite distance-regular graphs of diameter $3$, and the bipartite, antipodal distance-regular graphs of diameter $4$, respectively. In each case, we use the probabilistic method in the manner used by Babai to obtain bounds on the metric dimension of strongly regular graphs, and are able to show that $μ(Γ)=O(\sqrt{n}\log n)$ (where $n$ is the number of vertices).
On some graph densities in locally dense graphs
Published
• View Publication
• BIB
The Kohayakawa-Nagle-Rödl-Schacht conjecture roughly states that every sufficiently large locally $d$-dense graph $G$ on $n$ vertices must contain at least $(1-o(1))d^{|E(H)|}n^{|V(H)|}$ copies of a fixed graph $H$. Despite its important connections to both quasirandomness and Ramsey theory, there are very few examples known to satisfy the conjecture. We provide various new classes of graphs that satisfy the conjecture. Firstly, we prove that adding an edge to a cycle or a tree produces graphs that satisfy the conjecture. Secondly, we prove that a class of graphs obtained by gluing complete multipartite graphs in a tree-like way satisfies the conjecture. We also prove an analogous result with odd cycles replacing complete multipartite graphs.
Frames, $A$-paths and the Erdős-Pósa property
Published
• View Publication
• BIB
A key feature of Simonovits' proof of the classic Erdős-Pósa theorem is a simple subgraph of the host graph, a frame, that determines the outcome of the theorem. We transfer this frame technique to $A$-paths. With it we deduce a simple proof of Gallai's theorem, although with a worse bound, and we verify the Erdős-Pósa property for long and for even $A$-paths. We also show that even $A$-paths do not have the edge-Erdős-Pósa property.
Contact graphs of ball packings
Published in Journal of Combinatorial Theory, Series B, Volume 145, 2020, 323-340
• View Publication
• BIB
A contact graph of a packing of closed balls is a graph with balls as vertices and pairs of tangent balls as edges. We prove that the average degree of the contact graph of a packing of balls (with possibly different radii) in $\mathbb{R}^3$ is not greater than $13.92$. We also find new upper bounds for the average degree of contact graphs in $\mathbb{R}^4$ and $\mathbb{R}^5$.
Ramsey expansions of metrically homogeneous graphs
Published in European Journal of Combinatorics (132), 2026
• View Publication
• BIB
We investigate Ramsey expansions, the coherent extension property for partial isometries (EPPA), and the existence of a stationary independence relation for all classes of metrically homogeneous graphs from Cherlin's catalogue. We show that, with the exception of tree-like graphs, all metric spaces in the catalogue have precompact Ramsey expansions (or lifts) with the expansion property. With two exceptions we can also characterise the existence of a stationary independence relation and coherent EPPA.
Our results are a contribution to Nešetřil's classification programme of Ramsey classes and can be seen as empirical evidence of the recent convergence in techniques employed to establish the Ramsey property, the expansion property, EPPA and the existence of a stationary independence relation. At the heart of our proof is a canonical way of completing edge-labelled graphs to metric spaces in Cherlin's classes. The existence of such a ``completion algorithm'' then allows us to apply several strong results in the areas that imply EPPA or the Ramsey property.
The main results have numerous consequences for the automorphism groups of the Fraisse limits of the classes. As corollaries, we prove amenability, unique ergodicity, existence of universal minimal flows, ample generics, small index property, 21-Bergman property and Serre's property (FA).
The smallest singular value of a shifted $d$-regular random square matrix
Published in Probability Theory and Related Fields, 2018
• View Publication
• BIB
We derive a lower bound on the smallest singular value of a random $d$-regular matrix, that is, the adjacency matrix of a random $d$-regular directed graph. More precisely, let $C_1<d< c_1 n/\log^2 n$ and let $\mathcal{M}_{n,d}$ be the set of all $0/1$-valued square $n\times n$ matrices such that each row and each column of a matrix $M\in \mathcal{M}_{n,d}$ has exactly $d$ ones. Let $M$ be uniformly distributed on $\mathcal{M}_{n,d}$. Then the smallest singular value $s_{n} (M)$ of $M$ is greater than $c_2 n^{-6}$ with probability at least $1-C_2\log^2 d/\sqrt{d}$, where $c_1$, $c_2$, $C_1$, and $C_2$ are absolute positive constants independent of any other parameters.
The confirmation of a conjecture on disjoint cycles in a graph
Published
• View Publication
• BIB
In this paper, we prove the following conjecture proposed by Gould, Hirohata and Keller [Discrete Math. submitted]: Let $G$ be a graph of sufficiently large order. If $σ_t(G) \geq 2kt - t + 1$ for any two integers $k \geq 2$ and $t \geq 5$, then $G$ contains $k$ disjoint cycles.
The Cat and the Noisy Mouse
Published
• View Publication
• BIB
We consider a variant of a pursuit and evasion game studied independently by Britnell and Wildon as well as Haslegrave. In their game, a cat has to catch an invisible mouse that moves along the edges of some graph $G$. In our version, the cat receives partial information about its distance to the mouse, and we show that the cat has a winning strategy if and only if $G$ is a forest. Seager proposed a similar game with complete distance information whose rules cause some small yet important differences to the game we consider.
Computing spectral bounds of the Heisenberg ferromagnet from geometric considerations
Published
• View Publication
• BIB
We give a polynomial-time algorithm for computing upper bounds on some of the smaller energy eigenvalues in a spin-1/2 ferromagnetic Heisenberg model with any graph $G$ for the underlying interactions. An important ingredient is the connection between Heisenberg models and the symmetric products of $G$. Our algorithms for computing upper bounds are based on generalized diameters of graphs. Computing the upper bounds amounts to solving the minimum assignment problem on $G$, which has well-known polynomial-time algorithms from the field of combinatorial optimization. We also study the possibility of computing the lower bounds on some of the smaller energy eigenvalues of Heisenberg models. This amounts to estimating the isoperimetric inequalities of the symmetric product of graphs. By using connections with discrete Sobolev inequalities, we show that this can be performed by considering just the vertex-induced subgraphs of $G$. If our conjecture for a polynomial time approximation algorithm to solve the edge-isoperimetric problem holds, then our proposed method of estimating the energy eigenvalues via approximating the edge-isoperimetric properties of vertex-induced subgraphs will yield a polynomial time algorithm for estimating the smaller energy eigenvalues of the Heisenberg ferromagnet.
Trees, homology, and automorphism groups of RAAGs
Published
• View Publication
• BIB
We study the homology of an explicit finite-index subgroup of the automorphism group of a partially commutative group, in the case when its defining graph is a tree. More concretely, we give a lower bound on the first Betti number of this subgroup, based on the number and degree of a certain type of vertices, which we call deep. We then use combinatorial methods to analyze the average value of this Betti number, in terms of the size of the defining tree.