graph
35299 papers tagged with this keyword
Count on CFI graphs for #P-hardness
Published
• View Publication
• BIB
Given graphs $H$ and $G$, possibly with vertex-colors, a homomorphism is a function $f:V(H)\to V(G)$ that preserves colors and edges. Many interesting counting problems (e.g., subgraph and induced subgraph counts) are finite linear combinations $p(\cdot)=\sum_{H}α_{H}\hom(H,\cdot)$ of homomorphism counts, and such linear combinations are known to be hard to evaluate iff they contain a large-treewidth graph $S$. The hardness can be shown in two steps: First, the problems $\hom(S,\cdot)$ for colorful (i.e., bijectively colored) large-treewidth graphs $S$ are shown to be hard. In a second step, these problems are reduced to finite linear combinations of homomorphism counts that contain the uncolored version $S^{\circ}$ of $S$. This step can be performed via inclusion-exclusion in $2^{|E(S)|}\mathrm{poly}(n,s)$ time, where $n$ is the size of the input graph and $s$ is the maximum number of vertices among all graphs in the linear combination.
We show that the second step can be performed even in time $4^{Δ(S)}\mathrm{poly}(n,s)$, where $Δ(S)$ is the maximum degree of $S$. Our reduction is based on graph products with Cai-Fürer-Immerman graphs, a novel technique that is likely of independent interest. For colorful graphs $S$ of constant maximum degree, this technique yields a polynomial-time reduction from $\hom(S,\cdot)$ to linear combinations of homomorphism counts involving $S^{\circ}$. Under certain conditions, it actually suffices that a supergraph $T$ of $S^{\circ}$ is contained in the target linear combination.
The new reduction yields $\mathsf{\#P}$-hardness results for several counting problems that could previously be studied only under parameterized complexity assumptions. This includes the problems of counting, on input a graph from a restricted graph class and a general graph $G$, the homomorphisms or (induced) subgraph copies from $H$ in $G$.
Random Algebraic Graphs and Their Convergence to Erdos-Renyi
Published
• View Publication
• BIB
A random algebraic graph is defined by a group $G$ with a uniform distribution over it and a connection $σ:G\longrightarrow[0,1]$ with expectation $p,$ satisfying $σ(g)=σ(g^{-1}).$ The random graph $\mathsf{RAG}(n,G,p,σ)$ with vertex set $[n]$ is formed as follows. First, $n$ independent vectors $x_1,\ldots,x_n$ are sampled uniformly from $G.$ Then, vertices $i,j$ are connected with probability $σ(x_ix_j^{-1}).$ This model captures random geometric graphs over the sphere and the hypercube, certain regimes of the stochastic block model, and random subgraphs of Cayley graphs. The main question of interest to the current paper is: when is a random algebraic graph statistically and/or computationally distinguishable from $\mathsf{G}(n,p)$? Our results fall into two categories. 1) Geometric. We focus on the case $G =\{\pm1\}^d$ and use Fourier-analytic tools. For hard threshold connections, we match [LMSY22b] for $p = ω(1/n)$ and for $1/(r\sqrt{d})$-Lipschitz connections we extend the results of [LR21b] when $d = Ω(n\log n)$ to the non-monotone setting. We study other connections such as indicators of interval unions and low-degree polynomials. 2) Algebraic. We provide evidence for an exponential statistical-computational gap. Consider any finite group $G$ and let $A\subseteq G$ be a set of elements formed by including each set of the form $\{g, g^{-1}\}$ independently with probability $1/2.$ Let $Γ_n(G,A)$ be the distribution of random graphs formed by taking a uniformly random induced subgraph of size $n$ of the Cayley graph $Γ(G,A).$ Then, $Γ_n(G,A)$ and $\mathsf{G}(n,1/2)$ are statistically indistinguishable with high probability over $A$ if and only if $\log|G|\gtrsim n.$ However, low-degree polynomial tests fail to distinguish $Γ_n(G,A)$ and $\mathsf{G}(n,1/2)$ with high probability over $A$ when $\log |G|=\log^{Ω(1)}n.$
Isomorphisms between dense random graphs
Published in Combinatorica 45 (2025), Article 35, 42 pages
• View Publication
• BIB
We consider two variants of the induced subgraph isomorphism problem for two independent binomial random graphs with constant edge-probabilities p_1,p_2. In particular, (i) we prove a sharp threshold result for the appearance of G_{n,p_1} as an induced subgraph of G_{N,p_2}, (ii) we show two-point concentration of the size of the maximum common induced subgraph of G_{N, p_1} and G_{N,p_2}, and (iii) we show that the number of induced copies of G_{n,p_1} in G_{N,p_2} has an unusual limiting distribution.
These results confirm simulation-based predictions of McCreesh, Prosser, Solnon and Trimble, and resolve several open problems of Chatterjee and Diaconis. The proofs are based on careful refinements of the first and second moment method, using extra twists to (a) take some non-standard behaviors into account, and (b) work around the large variance issues that prevent standard applications of these methods.
In Honour of Ted Swart
This is a tribute to my dear life-long friend, mentor and colleague Ted Swart. It includes anecdotal stories and memories of our times together, and also includes a new academic contribution in his honour, Teds polytope. Tweeks made to the Birkhoff polytope Bn endow Teds polytope Tn(ε) with a special tunable parameter ε = ε(n). Observe how Bn can be viewed as the convex hull of both the TSP polytope, and the set of non-tour permutation extrema, and, that its extended formulation is compact. Tours (connected 2-factor permutation matrices when viewed as adjacency matrices) can be distinguished from non-tours (disconnected 2-factor permutation matrices) where ε scales the magnitude of tweeks made to Bn. For ε > 0, Tn(ε) is tuned so that the convex hull of extrema corresponding to transformed tours is lifted from Bn, and separated (by a hyperplane) from the convex hull of extrema corresponding to translated non-tours. This leads to creation of the feasible region of an LP model that can decide existence of a tour in a graph based on an extended formulation of the TSP polytope. That is, by designing for polynomial-time distinguishable tour extrema embedded in a subspace disjoint from non-tour extrema, NP-completeness strongholds come into play, necessarily expressed in a non-compact extended formulation of Tn(ε) i.e. a compact extended formulation of the TSP polytope cannot exist. No matter, Ted would have loved these ideas, and Tn(ε) might one day yet be useful in the study of the P versus NP conundrum. In summary, Tn(ε) is a perturbed Bn i.e. the convex hull of both an ε-stretched TSP polytope, and the set of translated non-tour permutation extrema i.e. a TSP-like polytope and separable non-tour extrema.
Improved upper bounds on longest-path and maximal subdivision transversals
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices. The Gallai number $Gal(G)$ of $G$ is the size of the smallest set of vertices that meets every maximum path in $G$. Grünbaum constructed a graph $G$ with $Gal(G)=3$. Very recently, Long, Milans, and Munaro, proved that $Gal(G)\leq 8n^{{3}/{4}}$. This was the first sublinear upper bound on $Gal(G)$ in terms of $n$. We improve their bound to $Gal(G)\leq 5 n^{{2}/{3}}$. We also tighten a more general result of Long et al. For a multigraph $M$ on m edges, we prove that if the set $L(M,G)$ of maximum $M$-subdivisions in $G$ is pairwise intersecting and $n\geq m^{6}$, then $G$ has a set of vertices with size at most $5 n^{{2}/{3}}$ that meets every $Q\in \mathcal{L}(M,G)$
On combinatorial differential operators on species of structures
In 1981, André Joyal provided a combinatorial interpretation of the algebra of formal power series, a central gadget in the toolkit of enumerative combinatorics. In Joyal's theory of species of structures, combinatorial species (like permutations, graphs, partitions, etc.) are incarnated in endofunctors on the category of finite sets and bijections. Species can be added, multiplied, composed and differentiated; new species arise as solutions to functional and differential equations. Moreover, everything achieved at the level of species can be directly translated into the language of generating series for enumeration of labelled, as well as unlabelled structures. More recently, Labelle and Lamathe developed a general theory of differential operators on species of structures, such as cycles or diagrams of derivatives. The main goal of this dissertation is to present some parts of this theory.
The absolute values of the perfect matching derangement graph's eigenvalues almost follow the lexicographic order of partitions
Published
• View Publication
• BIB
In 2013, Ku and Wong showed that for any partitions $μ$ and $μ'$ of a positive integer $n$ with the same first part $u$ and the lexicographic order $μ\triangleleft μ'$, the eigenvalues $ξ_μ$ and $ξ_{μ'}$ of the derangement graph $Γ_n$ have the property $|ξ_μ|\le |ξ_{μ'}|$, where the equality holds if and only if $u=3$ and all other parts are less than $3$. In this article, we obtain an analogous conclusion on the eigenvalues of the perfect matching derangement graph $\mathcal{M}_{2n}$ of $K_{2n}$ by finding a new recurrence formula for the eigenvalues of $\mathcal{M}_{2n}$.
Random Turán theorem for expansions of spanning subgraphs of tight trees
Published
• View Publication
• BIB
The $r$-expansion of a $k$-uniform hypergraph $H$, denoted by $H^{(+r)}$, is an $r$-uniform hypergraph obtained by enlarging each $k$-edge of $H$ with a set of $r-k$ vertices of degree one. The random Turán number $\mathrm{ex}(G^r_{n,p},H)$ is the maximum number of edges in an $H$-free subgraph of $G^r_{n,p}$, where $G^r_{n,p}$ is the Erdős-Rényi random $r$-graph with parameter $p$. In this paper, we prove an upper bound for $\mathrm{ex}(G^r_{n,p},H)$ when $H$ belongs to a large family of $r$-partite $r$-graphs: the $r$-expansion of spanning subgraphs of tight trees. This upper bound is essentially tight for at least the following two families of hypergraphs.
1. Our upper bounds are essentially tight for expansions of $K^{k-1}_{k}$, the complete $(k-1)$-graph on $k$ vertices. The proof of the lower bound makes use of a recent construction of Gowers and Janzer generalizing the famous Ruzsa-Szemerëdi construction. In particular, when $k=3$, this answers a question of the current author, Spiro and Verstraëte concerning the random Turán number of linear triangle.
2. Let $T$ be a tight tree such that the intersection of all edges of $T$ is empty. Simple construction shows that the upper bounds we have for expansions of $T$ are essentially tight.
The main technical contribution of this paper is a new way to obtain balanced supersaturation results for expansions of hypergraphs: we combine two ideas, one of Mubayi-Yepremyan and another of Balogh-Narayanan-Skokan, via codegree dichotomy. We note that neither of these two ideas alone would be enough to recover results in this paper.
Spectral condition for spanning $k$-ended trees in $t$-connected graphs
Published
• View Publication
• BIB
For any integer $k\geq 2$, a spanning $k$-ended tree is a spanning tree with at most $k$ leaves. In this paper, we provide a tight spectral radius condition for the existence of a spanning $k$-ended tree in $t$-connected graphs, which generalizes a result of Ao, Liu and Yuan (2023).
Laplacian eigenvalues and eigenspaces of cographs generated by finite sequence
Published
• View Publication
• BIB
In this paper we consider particular graphs defined by $\overline{\overline{\overline{K_{α_1}}\cup K_{α_2}}\cup\cdots \cup K_{α_k}}$, where $k$ is even, $K_α$ is a complete graph on $α$ vertices, $\cup$ stands for the disjoint union and an overline denotes the complementary graph. These graphs do not contain the $4$-vertex path as an induced subgraph, i.e., they belong to the class of cographs. In addition, they are iteratively constructed from the generating sequence $(α_1, α_2, \ldots, α_k)$. Our primary question is what invariants or graph properties can be deduced form a given sequence. In this context, we compute the Lapacian eigenvalues and the corresponding eigenspaces, and derive a lower and an upper bound for the number of distinct Laplacian eigenvalues. We also determine the graphs under consideration with a fixed number of vertices that either minimize or maximize the algebraic connectivity (that is the second smallest Laplacian eigenvalue). The clique number is computed in terms of a generating sequence and a relationship between it and the algebraic connectivity is established.
Resolution of a conjecture about linking ring structures
Published
• View Publication
• BIB
An LR-structure is a tetravalent vertex-transitive graph together with a special type of a decomposition of its edge-set into cycles. LR-structures were introduced in a paper by P. Potočnik and S. Wilson, titled `Linking rings structures and tetravalent semisymmetric graphs', in Ars Math. Contemp. 7 (2014), as a tool to study tetravalent semisymmetric graphs of girth 4. In this paper, we use the methods of group amalgams to resolve some problems left open in the above-mentioned paper.
Online size Ramsey number for $C_4$ and $P_6$
Published
• View Publication
• BIB
In this paper we consider a game played on the edge set of the infinite clique $K_\mathbb{N}$ by two players, Builder and Painter. In each round of the game, Builder chooses an edge and Painter colors it red or blue. Builder wins when Painter creates a red copy of $G$ or a blue copy of $H$, for some fixed graphs $G$ and $H$. Builder wants to win in as few rounds as possible, and Painter wants to delay Builder for as many rounds as possible. The online size Ramsey number $\tilde{r}(G,H)$, is the minimum number of rounds within which Builder can win, assuming both players play optimally. So far it has been proven by Dybizbański, Dzido and Zakrzewska that $11\leq\tilde{r}(C_4,P_6)\leq13$ \cite{Dzido}. In this paper, we refine this result and show the exact value, namely we will present the Theorem that $\tilde{r}(C_4,P_6)=11$, with the details of the proof.
Keywords: graph theory, Ramsey theory, combinatorial games, online size Ramsey number
Reconsideration of Tangle and Ultrafilter using Separation and Partition
Published in International Journal of Mathematics Trends and Technology (IJMTT), vol. 70, no. 7, pp. 5-12, 2024
• View Publication
• BIB
Tangle is a concept in graph theory that has a dual relationship with branch-width which is well-known graph width parameter. Ultrafilter, a fundamental notion in mathematics, is similarly known to have a dual relationship with branch-width when extended to a connectivity system (X, f). We will reconsider these concepts using separation and partition.
Moderate deviations of triangle counts in sparse Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$
Published
• View Publication
• BIB
We consider the question of determining the probability of triangle count deviations in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$ with densities larger than $n^{-1/2}(\log{n})^{1/2}$. In particular, we determine the log probability $\log\mathbb{P}(N_{\triangle}(G)\, >\, (1+δ)p^3n^3)$ up to a constant factor across essentially the entire range of possible deviations, in both the $G(n,m)$ and $G(n,p)$ model. For the $G(n,p)$ model we also prove a stronger result, up to a $(1+o(1))$ factor, in the non-localised regime. We also obtain some results for the lower tail and for counts of cherries (paths of length $2$).
Graphs that contain a $K_{1,2,3}$ and no induced subdivision of $K_4$ are $4$-colorable
In 2012, Lévêque, Maffray, and Trotignon conjectured that each graph $G$ that contains no induced subdivision of $K_4$ is $4$-colorable. In this paper, we prove that this conjecture holds when $G$ contains a $K_{1,2,3}$.
Spectral extremal problem on the square of $\ell$-cycle
Published
• View Publication
• BIB
Let $C_{\ell}$ be the cycle of order ${\ell}$. The square of $C_{\ell}$, denoted by $C_{\ell}^2$, is obtained by joining all pairs of vertices with distance no more than two in $C_{\ell}$. A graph is called $F$-free if it does not contain $F$ as a subgraph. Denote by $ex(n,F)$ and $spex(n,F)$ the maximum size and spectral radius over all $n$-vertex $F$-free graphs, respectively. The well-known Turán problem asks for the $ex(n,F)$, and Nikiforov in 2010 proposed a spectral counterpart, known as Brualdi-Solheid-Turán type problem, focusing on determining $spex(n,F)$. In this paper, we consider a Turán problem on $ex(n,C_{\ell}^2)$ and a Brualdi--Solheid--Turán type problem on $spex(n,C_{\ell}^2)$. We give a sharp bound of $ex(n,C_{\ell}^2)$ and $spex(n,C_{\ell}^2)$ for sufficiently large $n$, respectively. Moreover, in both results, we characterize the corresponding extremal graphs for any integer $\ell\geq 6$ that is not divisible by $3$.
A digraph version of the Friendship Theorem
Published
• View Publication
• BIB
The Friendship Theorem states that if in a party any pair of persons has precisely one common friend, then there is always a person who is everybody's friend and the theorem has been proved by Paul Erdős, Alfréd Rényi, and Vera T. Sós in 1966. ``What would happen if instead any pair of persons likes precisely one person?" While a friendship relation is symmetric, a liking relation may not be symmetric. Therefore to represent a liking relation we should use a directed graph. We call this digraph a ``liking digraph". It is easy to check that a symmetric liking digraph becomes a friendship graph if each directed cycle of length two is replaced with an edge. In this paper, we provide a digraph formulation of the Friendship Theorem which characterizes the liking digraphs. We also establish a sufficient and necessary condition for the existence of liking digraphs.
Combinatorics of higher-dimensional tropical covers
We develop a combinatorial framework to study certain polyhedral maps which are higher-dimensional analogues of tropical covers between metric graphs. Under a mild combinatorial assumption, we show that a map satisfies the so-called balancing condition if and only if it is an indexed branched cover, i.e.~locally over connected sets the count with multiplicity of points in every fibre is a constant, which in particular gives a well-defined global degree when the target is connected. Given a balanced map $(Σ, m_Σ) \to Δ$, we lift several connectivity properties of $Δ$ to~$Σ$. Using these lifting results we determine whether a multiplicity $m_{\mathcal U}$ that is defined only on the interiors of maximal cells of $Σ$ can be extended to all $Σ$ in a balanced manner. This relies on a strong connectivity assumption; we give a counterexample when this is missing.
Signless Laplacian spectral radius of graphs without short cycles or long cycles
Published in Linear Algebra and its Applications 645 (2022) 123-136
• View Publication
• BIB
The signless Laplacian spectral radius of a graph $G$, denoted by $q(G)$, is the largest eigenvalue of its signless Laplacian matrix. In this paper, we investigate extremal signless Laplacian spectral radius for graphs without short cycles or long cycles. Let $\mathcal{G}(m,g)$ be the family of graphs on $m$ edges with girth $g$ and $\mathcal{H}(m,c)$ be the family of graphs on $m$ edges with circumference $c$. More precisely, we obtain the unique extremal graph with maximal $q(G)$ in $\mathcal{G}(m,g)$ and $\mathcal{H}(m,c)$, respectively.
Semicubic cages and small graphs of even girth from voltage graphs
Published
• View Publication
• BIB
An \emph{$(3,m;g)$ semicubic graph} is a graph in which all vertices have degrees either $3$ or $m$ and fixed girth $g$. In this paper, we construct families of semicubic graphs of even girth and small order using two different techniques. The first technique generalizes a previous construction which glues cubic cages of girth $g$ together at remote vertices (vertices at distance at least $g/2$). The second technique, the main content of this paper, produces bipartite semicubic $(3,m; g)$-graphs with fixed even girth $g = 4t$ or $4t+2$ using voltage graphs over $\mathbb{Z}_{m}$. When $g = 4t+2$, the graphs have two vertices of degree $m$, while when $g = 4t$ they have exactly three vertices of degree $m$ (the remaining vertices are of degree $3$ in both cases). Specifically, we describe infinite families of semicubic graphs $(3,m; g)$ for $g = \{6, 8, 10, 12\}$ for infinitely many values of $m$. The cases $g = \{6,8\}$ include the unique $6$-cage and the unique $8$-cage when $m = 3$.
The families obtained in this paper for girth $g=\{10,12\}$ include examples with the best known bounds for semicubic graphs $(3,m; g)$