graph
34516 papers tagged with this keyword
Zarankiewicz's problem via $ε$-t-nets
The classical Zarankiewicz's problem asks for the maximum number of edges in a bipartite graph on $n$ vertices which does not contain the complete bipartite graph $K_{t,t}$. In one of the cornerstones of extremal graph theory, Kővári Sós and Turán proved an upper bound of $O(n^{2-\frac{1}{t}})$. In a celebrated result, Fox et al. obtained an improved bound of $O(n^{2-\frac{1}{d}})$ for graphs of VC-dimension $d$ (where $d<t$). Basit, Chernikov, Starchenko, Tao and Tran improved the bound for the case of semilinear graphs. At SODA'23, Chan and Har-Peled further improved Basit et al.'s bounds and presented (quasi-)linear upper bounds for several classes of geometrically-defined incidence graphs, including a bound of $O(n \log \log n)$ for the incidence graph of points and pseudo-discs in the plane.
In this paper we present a new approach to Zarankiewicz's problem, via $ε$-t-nets - a recently introduced generalization of the classical notion of $ε$-nets. We show that the existence of `small'-sized $ε$-t-nets implies upper bounds for Zarankiewicz's problem. Using the new approach, we obtain a sharp bound of $O(n)$ for the intersection graph of two families of pseudo-discs, thus both improving and generalizing the result of Chan and Har-Peled from incidence graphs to intersection graphs. We also obtain a short proof of the $O(n^{2-\frac{1}{d}})$ bound of Fox et al., and show improved bounds for several other classes of geometric intersection graphs, including a sharp $O(n\frac{\log n}{\log \log n})$ bound for the intersection graph of two families of axis-parallel rectangles.
Sparse graph counting and Kelley-Meka bounds for binary systems
Published
• View Publication
• BIB
In a recent breakthrough, Kelley and Meka (FOCS 2023) obtained a strong upper bound on the density of sets of integers without nontrivial three-term arithmetic progressions. In this work, we extend their result, establishing similar bounds for all linear patterns defined by binary systems of linear forms, where "binary" indicates that every linear form depends on exactly two variables. Prior to our work, no strong bounds were known for such systems even in the finite field model setting. A key ingredient in our proof is a graph counting lemma. The classical graph counting lemma, developed by Thomason (Random Graphs 1985) and Chung, Graham, and Wilson (Combinatorica 1989), is a fundamental tool in combinatorics. For a fixed graph $H$, it states that the number of copies of $H$ in a pseudorandom graph $G$ is similar to the number of copies of $H$ in a purely random graph with the same edge density as $G$. However, this lemma is only non-trivial when $G$ is a dense graph. In this work, we prove a graph counting lemma that is also effective when $G$ is sparse. Moreover, our lemma is well-suited for density increment arguments in additive number theory. As an immediate application, we obtain a strong bound for the Turán problem in abelian Cayley sum graphs: let $Γ$ be a finite abelian group with odd order. If a Cayley sum graph on $Γ$ does not contain any $r$-clique as a subgraph, it must have at most $2^{-Ω_r(\log^{1/16}|Γ|)}\cdot |Γ|^2$ edges. These results hinge on the technology developed by Kelley and Meka and the follow-up work by Kelley, Lovett, and Meka (STOC 2024).
Dihedral groups of order $2pq$ or $2pqr$ are DCI
A group has the (D)CI ((Directed) Cayley Isomorphism) property, or more commonly is a (D)CI group, if any two Cayley (di)graphs on the group are isomorphic via a group automorphism. That is, $G$ is a (D)CI group if whenever $\rm{Cay}(G,S)\cong \rm{Cay}(G,T)$, there is some $δ\in \rm{Aut}(G)$ such that $S^δ=T$. (For the CI property, we only require this to be true if $S$ and $T$ are closed under inversion.)
Suppose $p,q,r$ are distinct odd primes. We show that $D_{2pqr}$ is a DCI group. We present this result in the more general context of dihedral groups of squarefree order; some of our results apply to any such group, and may be useful in future toward showing that all dihedral groups of squarefree order are DCI groups.
Short rainbow cycles in edge-colored graphs
A famous conjecture of Caccetta and Häggkvist (CHC) states that a directed graph $D$ with $n$ vertices and minimum outdegree at least $r$ has a directed cycle of length at most $\lceil \frac{n}{r}\rceil$. In 2017, Aharoni proposed the following generalization: an edge-colored graph $G$ with $n$ vertices, $n$ color classes of size at least $r$ has a rainbow cycle of length at most $\lceil \frac{n}{r}\rceil$. Since CHC can be seen as the case of Aharoni's Conjecture: color classes in the color partition are monochromatic stars centered at distinct vertices, one way to study Aharoni's Conjecture is to structure the color classes as each color class is either a star, a triangle or contains a matching of size 2. Guo improved the upper bound in Aharoni's Conjecture to $O(\log n)$ in some mixed cases when the color classes are not necessarily stars. In this paper, we extend Guo's results. Our main result is as follows: Let $G$ an edge-colored graph on $n$ vertices and $n$ color classes, if at least $αn$ color classes are either a matching of size 2 or a triangle for $α>\frac{1}{2}$, then $G$ contains a rainbow cycle of length $O(\log n)$. We also prove that the $\log n$ bound is the right order of magnitude.
Toughness and distance spectral radius in graphs involving minimum degree
The toughness $τ(G)=\mathrm{min}\{\frac{|S|}{c(G-S)}: S~\mbox{is a cut set of vertices in}~G\}$ for $G\ncong K_n.$ The concept of toughness initially proposed by Chv$\mathrm{\acute{a}}$tal in 1973, which serves as a simple way to measure how tightly various pieces of a graph hold together. A graph $G$ is called $t$-tough if $τ(G)\geq t.$ It is very interesting to investigate the relations between toughness and eigenvalues of graphs. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] provided sufficient conditions in terms of the spectral radius for a graph to be 1-tough with minimum degree $δ$ and $t$-tough with $t\geq 1$ being an integer, respectively. By using some typical distance spectral techniques and structural analysis, we in this paper present sufficient conditions based on the distance spectral radius to guarantee a graph to be 1-tough with minimum degree $δ.$ Moreover, we also prove sufficient conditions with respect to the distance spectral radius for a graph to be $t$-tough, where $t$ or $\frac{1}{t}$ is a positive integer.
Eigenvalues and spanning trees with constrained degree
In this paper, we study some spanning trees with bounded degree and leaf degree from eigenvalues. For any integer $k\geq2$, a $k$-tree is a spanning tree in which every vertex has degree no more than $k$. Let $T$ be a spanning tree of a connected graph. The leaf degree of $T$ is the maximum number of end-vertices attached to $v$ in $T$ for any $v\in V(T)$. By referring to the technique shown in [Eigenvalues and $[a,b]$-factors in regular graphs, J. Graph Theory. 100 (2022) 458-469], for an $r$-regular graph $G$, we provide an upper bound for the fourth largest adjacency eigenvalue of $G$ to guarantee the existence of a $k$-tree. Moreover, for a $t$-connected graph, we prove a tight sufficient condition for the existence of a spanning tree with leaf degree at most $k$ in terms of spectral radius. This generalizes a result of Theorem 1.5 in [Spectral radius and spanning trees of graphs, Discrete Math. 346 (2023) 113400]. Finally, for a general graph $G$, we present two sufficient conditions for the existence of a spanning tree with leaf degree at most $k$ via the Laplacian eigenvalues of $G$ and the spectral radius of the complement of $G$, respectively.
Lecture hall graphs and the Askey scheme
We establish, for every family of orthogonal polynomials in the $q$-Askey scheme and the Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths on the lecture hall graph. This generalizes the previous results of Corteel and Kim for the little $q$-Jacobi polynomials. We build these combinatorial models by bootstrapping, beginning with polynomials at the bottom and working towards Askey-Wilson polynomials which sit at the top of the $q$-Askey scheme. As an application of the theory, we provide the first combinatorial proof of the symmetries in the parameters of the Askey-Wilson polynomials.
Soft random simplicial complexes
A soft random graph $G(n,r,p)$ can be obtained from the random geometric graph $G(n,r)$ by keeping every edge in $G(n,r)$ with probability $p$. This random graph is a particular case of the soft random graph model introduced by Penrose, in which the probability between 2 vertices is a function that depends on the distance between them. In this article, we define models for random simplicial complexes built over the soft random graph $G(n,r,p)$, which also present randomness in all other dimensions. Furthermore, we study the homology of those random simplicial complexes in different regimes of $n,r$, and $p$ by giving asymptotic formulas for the expectation of the Betti numbers in the sparser regimes, and bounds in the denser regimes.
Symmetry and asymmetry between positive and negative square energies of graphs
The positive and negative square energies of a graph, $s^+(G)$ and $s^-(G)$, are the sums of squares of the positive and negative eigenvalues of the adjacency matrix, respectively. The first results on square energies revealed symmetry between $s^+(G)$ and $s^-(G)$. This paper reviews examples of asymmetry between these parameters, for example using large random graphs and the ratios $s^+/s^-$ and $s^-/s^+$, as well as new examples of symmetry. We answer some questions previously asked about $s^{+}$ and $s^{-}$ and suggest several further avenues of research.
Combinatorial spectra of graphs
In this article we are introducing combinatorial spectra of graphs, this is a generalization of $H$-Hamiltonian spectra. The main motivation was to made from $H$-Hamiltonian spectra an operation and develop some algebra in this field. An improved version of this operation form a commutative monoid. The most important thing is that most of the basic concepts of graph theory, such as maximum pairing, vertex and edge connectivity and coloring, Ramsey numbers, isomorphisms and regularity, can be expressed in the language of this operation.
Confluence Graphs of Unitals
We show that the cliques of maximal size in the confluence graph of an arbitrary unital of order $q>2$ have size $q^2$, and that these cliques are the pencils of all blocks through a given point. This solves the Erdős-Ko-Rado problem for all unitals. We also determine all maximal cliques of the confluence graph of the Hermitian unitals. As an application, we show that the confluence graph of an arbitrary unital unambiguously determines the unital. Along the way, we show that each linear space with $q^2$ points such that the sizes of both point rows and line pencils are bounded above by $q+1$ embeds in a projective plane of order $q$.
Critical Exponent for the Acyclic Chromatic Number of Random Graphs
In this paper we study acyclic colouring in the random subgraph $\mathit{G}$ of the complete graph $\mathit{K}_n$ on $\mathit{n}$ vertices where each edge is present with probability $\mathit{p}$; independent of the other edges. We show that the acyclic chromatic number exhibits a phase transition from sublinear to linear growth as the edge probability increases, even in the sparse regime and obtain estimates for the critical exponent. Next, we introduce a relaxation by allowing for a small fraction of "bad" cycles to violate the acyclic colouring condition and show that the critical exponent in this case is in fact zero, no matter how small the fraction.
Linearity Property of Unique Colourings in Random Graphs
In this paper, we study unique colourings in random graphs as a generalization of both conflict-free and injective colourings. Specifically, we impose the condition that a fraction of vertices in the neighbourhood of any vertex are assigned unique colours and use vertex partitioning and the probabilistic method to show that the minimum number of colours needed grows linearly with the uniqueness parameter, unlike both conflict-free and injective colourings. We argue how the unboundedness of the vertex neighbourhoods influences the linearity property and illustrate our case with an example involving treeunique colourings in random graphs.
Linearity and Local Correctness in Weighted Colourings of Random Graphs
In this paper, we consider a weighted generalization of the chromatic number of a Binomial random graph~\(G.\) We equip each edge with a random weight and then colour the vertices in such a way that the absolute colour difference between any two adjacent vertices is at least as large as their edge weight. We show that with high probability, the weighted colouring number grows linearly with the maximum vertex degree if the edge weights have sufficiently large moments. Conversely, if the edge weight moments are unbounded then the weighted chromatic number is much larger than the maximum vertex degree, with high probability. We also obtain a sharp threshold result for locally correct weighted colourings for balanced subgraphs of~\(G.\)
A classification of Mengerian $4$-uniform hypergraphs derived from graphs
In this paper, we give a classification of all Mengerian $4$-uniform hypergraphs derived from graphs.
Algebras of graph functions
Differential operators acting on functions defined on graphs by different studies do not form a consistent framework for the analysis of real or complex functions in the sense that they do not satisfy the Leibniz rule of any order. In this paper we propose a new family of operators that satisfy the Leibniz rule, and as special cases, produce the specific operators defined in the literature, such as the graph difference and the graph Laplacian. We propose a framework to define the order of a differential operator consistently using the Leibniz rule in Lie algebraic setting.
Furthermore by identifying the space of functions defined on graph edges with the tensor product of node functions we construct a Lie bialgebra of graph functions and reinterpret the difference operator as a co-bracket. As an application, some explicit solutions of Schrödinger and Fokker-Planck equations are given.
Word Measures on Wreath Products II
Every word $w$ in $F_r$, the free group of rank $r$, induces a probability measure (the $w$-measure) on every finite group $G$, by substitution of random $G$-elements in the letters. This measure is determined by its Fourier coefficients: the $w$-expectations $E_w[χ]$ of the irreducible characters of $G$. For every finite group $G$, every stable character $χ$ of $G\wr S_n$ (trace of a finitely generated $FI_G$-module), and every word $w\in F_r$, we approximate $E_w[χ]$ up to an error term of $O(n^{-π(w)})$, where $π(w)$ is the primitivity rank of $w$. This generalizes previous works by Puder, Hanany, Magee and the author. As an application we show that random Schreier graphs of representation-stable actions of $G\wr S_n$ are close-to-optimal expanders. The paper reveals a surprising relation between stable representation theory of wreath products and not-necessarily connected Stallings core graphs.
Structure and substructure connectivity of folded divide-and-swap cube
Let $ H $ be a connected subgraph of a graph $ G $. The structure connectivity of $ G $, denoted by $ κ(G;H) $, is the minimum number of a set of connected subgraphs in $ G $, whose removal disconnects $ G $ and each element in the set is isomorphic to $ H $. The substructure connectivity of $ G $, denoted by $ κ^s(G;H) $, is the minimum number of a set of connected subgraphs in $ G $, whose removal disconnects $ G $ and each element in the set is isomorphic to a connected subgraph of $ H $. In this paper, we determine $ H $-structure connectivity and $ H $-substructure connectivity of folded divide-and-swap cube $ FDSC_n $ for $ H\in\{K_1, K_{1,1}, K_{1,m} (2\leq m \leq d+1) \} $ where $ n=2^d $. We show that $κ(FDSC_n;K_1)=κ^s(FDSC_n;K_1)=d+2$, $κ(FDSC_n;K_{1,1})=κ^s(FDSC_n;K_{1,1})=d+1 $ for $ d\geq1 $ and $κ(FDSC_n;K_{1,m})=κ^s(FDSC_n;K_{1,m})=\lfloor\frac{d}{2}\rfloor+1$ for $d\geq1 $ and $ 2\leq m \leq d+1$.
Weighted tree games
We consider a variation on Maker-Breaker games on graphs or digraphs where the edges have random costs. We assume that Maker wishes to choose the edges of a spanning tree, but wishes to minimise his cost. Meanwhile Breaker wants to make Maker's cost as large as possible.
Bounded quantifier depth spectrum for random uniform hypegraphs
The notion of spectrum for first-order properties introduced by J. Spencer for Erdos-Renyi random graph is considered in relation to random uniform hypergraphs. In this work we study the set of limit points of the spectrum for first-order formulae with bounded quantifier depth and obtain bounds for its maximum value. Moreover, we prove zero-one k-laws for the random uniform hypergraph and improve the bounds for the maximum value of the spectrum for first-order formulae with bounded quantifier depth. We obtain that the maximum value of the spectrum belongs to some two-element set.