graph
34516 papers tagged with this keyword
Testing versus estimation of graph properties, revisited
A distance estimator for a graph property $\mathcal{P}$ is an algorithm that given $G$ and $α, \varepsilon >0$ distinguishes between the case that $G$ is $(α-\varepsilon)$-close to $\mathcal{P}$ and the case that $G$ is $α$-far from $\mathcal{P}$ (in edit distance). We say that $\mathcal{P}$ is estimable if it has a distance estimator whose query complexity depends only on $\varepsilon$.
Every estimable property is also testable, since testing corresponds to estimating with $α=\varepsilon$. A central result in the area of property testing, the Fischer--Newman theorem, gives an inverse statement: every testable property is in fact estimable. The proof of Fischer and Newman was highly ineffective, since it incurred a tower-type loss when transforming a testing algorithm for $\mathcal{P}$ into a distance estimator. This raised the natural problem, studied recently by Fiat--Ron and by Hoppen--Kohayakawa--Lang--Lefmann--Stagni, whether one can find a transformation with a polynomial loss. We obtain the following results.
1. If $\mathcal{P}$ is hereditary, then one can turn a tester for $\mathcal{P}$ into a distance estimator with an exponential loss. This is an exponential improvement over the result of Hoppen et. al., who obtained a transformation with a double exponential loss.
2. For every $\mathcal{P}$, one can turn a testing algorithm for $\mathcal{P}$ into a distance estimator with a double exponential loss. This improves over the transformation of Fischer--Newman that incurred a tower-type loss. Our main conceptual contribution in this work is that we manage to turn the approach of Fischer--Newman, which was inherently ineffective, into an efficient one. On the technical level, our main contribution is in establishing certain properties of Frieze--Kannan Weak Regular partitions that are of independent interest.
On density conditions for transversal trees in multipartite graphs
Let $G$ be an $r$-partite graph such that the edge density between any two parts is at least $α$. How large does $α$ need to be to guarantee that $G$ contains a connected transversal, that is, a tree on $r$ vertices meeting each part in one vertex? And what if instead we want to guarantee the existence of a Hamiltonian transversal? In this paper we initiate the study of such extremal multipartite graph problems, obtaining a number of results and providing many new constructions, conjectures and further questions.
Non-split Domination Cover Pebbling Number for Some Class of Middle Graphs
Let $G$ be a connected graph. A pebbling move is defined as taking two pebbles from one vertex and placing one pebble to an adjacent vertex and throwing away the other pebble. The non-split domination cover pebbling number, $ψ_{ns}(G)$, of a graph $G$ is the minimum of pebbles that must be placed on $V(G)$ such that after a sequence of pebbling moves, the set of vertices with a pebble forms a non-split dominating set of $G$, regardless of the initial configuration of pebbles. We discuss some basic results, NP-completeness of non-split domination number, and determine $ψ_{ns}$ for some families of Middle graphs.
Embeddability of joinpowers, and minimal rank of partial matrices
A general position map $f:K\to M$ of a $k$-dimensional simplicial complex to a $2k$-dimensional manifold (for $k=1$, of a graph to a surface) is a $\mathbb Z_2$-embedding if $|fσ\cap fτ|$ is even for any non-adjacent $k$-faces $σ,τ$. We present criteria for $\mathbb Z_2$-embeddability of certain $k$-dimensional complex (for $k=1$, of any graph) to $2k$-dimensional manifolds. These criteria are
$\bullet$ a `Kuratowski-type' version of the Fulek-Kynčl-Bikeev criteria (for $k=1$), and
$\bullet$ a converse to the Dzhenzher-Skopenkov necessary condition (for $k>1$).
Our higher-dimensional criterion allows us to reduce the modulo 2 Kühnel problem on embeddings to a purely algebraic problem.
Our proof is interplay between geometric topology, combinatorics and linear algebra. It is based on calculation of generators in the homology of certain configuration space (the deleted product) of certain complex (joinpower).
On Cohen-Macaulay posets of dimension two and permutation graphs
We characterize Cohen-Macaulay posets of dimension two; they are precisely the shellable and strongly connected posets of dimension two. We also give a combinatorial description of these posets. Using the fact that co-comparability graph of a 2-dimensional poset is a permutation graph, we characterize Cohen-Macaulay permutation graphs.
On Sombor Index of Graphs
Published in MATCH Commun. Math. Comput. Chem. 86 (2021) 703-713
• Search Publication
Recently, Gutman defined a new vertex-degree-based graph invariant, named the Sombor index $SO$ of a graph $G$, and is defined by $$SO(G)=\sum_{uv\in E(G)}\sqrt{d_G(u)^2+d_G(v)^2},$$ where $d_G(v)$ is the degree of the vertex $v$ of $G$. In this paper, we obtain the sharp lower and upper bounds on $SO(G)$ of a connected graph, and characterize graphs for which these bounds are attained.
Sufficient conditions for the existence of path-factors with given properties
A spanning subgraph $H$ of a graph $G$ is called a $P_{\geq k}$-factor of $G$ if every component of $H$ is isomorphic to a path of order at least $k$, where $k\geq2$ is an integer. A graph $G$ is called a $(P_{\geq k},l)$-factor critical graph if $G-V'$ contains a $P_{\geq k}$-factor for any $V'\subseteq V(G)$ with $|V'|=l$. A graph $G$ is called a $(P_{\geq k},m)$-factor deleted graph if $G-E'$ has a $P_{\geq k}$-factor for any $E'\subseteq E(G)$ with $|E'|=m$. Intuitively, if a graph is dense enough, it will have a $P_{\geq 3}$-factor. In this paper, we give some sufficient conditions for a graph to be a $(P_{\geq 3},l)$-factor critical graph or a $(P_{\geq 3},m)$-factor deleted graph. In this paper, we demonstrate that (i) $G$ is a $(P_{\geq 3},l)$-factor critical graph if its sun toughness $s(G)>\frac{l+1}{3}$ and $κ(G)\geq l+2$. (ii) $G$ is a $(P_{\geq 3},l)$-factor critical graph if its degree sum $σ_3(G)\geq n+2l$ and $κ(G)\geq l+1$. (iii) $G$ is a $(P_{\geq 3},m)$-factor deleted graph if its sun toughness $s(G)\geq \frac{m+1}{m+2}$ and $κ(G)\geq 2m+1$. (iv) $G$ is a $(P_{\geq 3},m)$-factor deleted graph if its degree sum $σ_3(G)\geq n+2m$ and $κ(G)\geq 2m+1$.
A dynamical approach to spanning and surplus edges of random graphs
Consider a finite inhomogeneous random graph running in continuous time, where each vertex has a mass, and the edge that links any pair of vertices appears with a rate equal to the product of their masses. The simultaneous breadth-first-walk introduced by Limic (2019) is extended in order to account for the surplus edge data in addition to the spanning edge data. Two different graph-based representations of the multiplicative coalescent, with different advantages and drawbacks, are discussed in detail. A canonical multi-graph from Bhamidi, Budhiraja and Wang (2014) naturally emerges. The presented framework will facilitate the understanding of scaling limits with surplus edges for near-critical random graphs in the domain of attraction of general (not necessarily standard) eternal augmented multiplicative coalescent.
A Menger-type theorem for two induced paths
Published in SIAM Journal on Discrete Mathematics Volume 38 Issue 2 (June 2024), Pages: 1438 - 1450
• View Publication
• BIB
We give an approximate Menger-type theorem for when a graph $G$ contains two $X-Y$ paths $P_1$ and $P_2$ such that $P_1 \cup P_2$ is an induced subgraph of $G$. More generally, we prove that there exists a function $f(d) \in O(d)$, such that for every graph $G$ and $X,Y \subseteq V(G)$, either there exist two $X-Y$ paths $P_1$ and $P_2$ such that the distance between $P_1$ and $P_2$ is at least $d$, or there exists $v \in V(G)$ such that the ball of radius $f(d)$ centered at $v$ intersects every $X-Y$ path.
Count on CFI graphs for #P-hardness
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
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
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
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
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
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
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
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.