graph
34665 papers tagged with this keyword
Generalized spectral characterizations of almost controllable graphs
Published
• View Publication
• BIB
Characterizing graphs by their spectra is an important topic in spectral graph theory, which has attracted a lot of attention of researchers in recent years. It is generally very hard and challenging to show a given graph to be determined by its spectrum. In Wang~[J. Combin. Theory, Ser. B, 122 (2017):438-451], the author gave a simple arithmetic condition for a family of graphs being determined by their generalized spectra. However, the method applies only to a family of the so called \emph{controllable graphs}; it fails when the graphs are non-controllable.
In this paper, we introduce a class of non-controllable graphs, called \emph{almost controllable graphs}, and prove that, for any pair of almost controllable graphs $G$ and $H$ that are generalized cospectral, there exist exactly two rational orthogonal matrices $Q$ with constant row sums such that $Q^{\rm T}A(G)Q=A(H)$, where $A(G)$ and $A(H)$ are the adjacency matrices of $G$ and $H$, respectively. The main ingredient of the proof is a use of the Binet-Cauchy formula. As an application, we obtain a simple criterion for an almost controllable graph $G$ to be determined by its generalized spectrum, which in some sense extends the corresponding result for controllable graphs.
Two point concentration of maximum degree in sparse random planar graphs
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We show that in the sparse regime, when $\limsup_{n \to \infty} m/n<1$, with high probability the maximum degree of $P(n,m)$ takes at most two different values.
On Graph Neural Networks versus Graph-Augmented MLPs
From the perspective of expressive power, this work compares multi-layer Graph Neural Networks (GNNs) with a simplified alternative that we call Graph-Augmented Multi-Layer Perceptrons (GA-MLPs), which first augments node features with certain multi-hop operators on the graph and then applies an MLP in a node-wise fashion. From the perspective of graph isomorphism testing, we show both theoretically and numerically that GA-MLPs with suitable operators can distinguish almost all non-isomorphic graphs, just like the Weifeiler-Lehman (WL) test. However, by viewing them as node-level functions and examining the equivalence classes they induce on rooted graphs, we prove a separation in expressive power between GA-MLPs and GNNs that grows exponentially in depth. In particular, unlike GNNs, GA-MLPs are unable to count the number of attributed walks. We also demonstrate via community detection experiments that GA-MLPs can be limited by their choice of operator family, as compared to GNNs with higher flexibility in learning.
Reducing the domination number of $P_3+kP_2$-free graphs via one edge contraction
Published
• View Publication
• BIB
In this note, we consider the following problem: given a connected graph $G$, can we reduce the domination number of $G$ by using only one edge contraction? We show that the problem is polynomial-time solvable on $P_3+kP_2$-free graphs for any $k \geq 0$ which combined with results of [1,2] leads to a complexity dichotomy of the problem on $H$-free graphs.
On Erdős Chains in the Plane
Let $P$ be a finite point set in $\mathbb{R}^2$ with the set of distance $n$-chains defined as $$ Δ_n(P)=\{(|p_1-p_2|,|p_2-p_3|,\ldots,|p_n-p_{n+1}|):p_i \in P\}.$$ We show that for $2\leq n=O_{|P|}(1)$ we have $$|Δ_n(P)|\gtrsim \frac{|P|^{n}}{\log^{\frac{13}{2}(n-1)}|P|}.$$ Our argument uses the energy construction of Elekes and a general version of Rudnev's rich-line bound implicit in Rudnev's recent hinge paper which allows one to iterate efficiently on highly intersecting nested subsets of Guth-Katz lines. Let $G$ is a simple connected graph on $m=O(1)$ vertices with $m\geq 2$. Define the graph-distance set $Δ_G(P)$ as $$ Δ_G(P) = \{ (|p_{i}-p_{j}|)_{\{i,j\}\in E(G)} : p_i,p_j \in P\}.$$
Combining with results of Guth and Katz and Rudnev with the above, if $G$ has a Hamiltonian path we have $$ |Δ_G(P)| \gtrsim \frac{|P|^{m-1}}{\text{polylog}|P|}. $$ \end{abstract}
$1/2$-conjectures on the domination game and claw-free graphs
Let $γ_g(G)$ be the game domination number of a graph $G$. Rall conjectured that if $G$ is a traceable graph, then $γ_g(G) \le \left\lceil \frac{1}{2}n(G)\right\rceil$. Our main result verifies the conjecture over the class of line graphs. Moreover, in this paper we put forward the conjecture that if $δ(G) \geq 2$, then $γ_g(G) \leq \left\lceil \frac{1}{2}n(G) \right\rceil$. We show that both conjectures hold true for claw-free cubic graphs. We further prove the upper bound $γ_g(G) \le \left\lceil \frac{11}{20} \, n(G) \right\rceil$ over the class of claw-free graphs of minimum degree at least $2$. Computer experiments supporting the new conjecture and sharpness examples are also presented.
Associahedra, cyclohedra and inversion of power series
We introduce the Hopf monoid of sets of cycles and paths, which contains the Faà di Bruno Hopf monoid as a submonoid. We give cancellation-free and grouping-free formulas for its antipode, one in terms of tubings and one in terms of \emph{pointed} noncrossing partitions. We provide an explicit description of the group of characters of this Hopf monoid in terms of pairs of power series. Using graph associahedra, we relate paths and cycles to associahedra and cyclohedra, respectively. We give formulas for inversion in the group of characters in terms of the faces of these polytopes.
Simulations and the Lamplighter group
Published
• View Publication
• BIB
We introduce a notion of "simulation" for labelled graphs, in which edges of the simulated graph are realized by regular expressions in the simulating graph, and prove that the tiling problem (aka "domino problem") for the simulating graph is at least as difficult as that for the simulated graph.
We apply this to the Cayley graph of the "lamplighter group" $L=\mathbb Z/2\wr\mathbb Z$, and more generally to "Diestel-Leader graphs". We prove that these graphs simulate the plane, and thus deduce that the seeded tiling problem is unsolvable on the group $L$.
We note that $L$ does not contain any plane in its Cayley graph, so our undecidability criterion by simulation covers cases not covered by Jeandel's criterion based on translation-like action of a product of finitely generated infinite groups.
Our approach to tiling problems is strongly based on categorical constructions in graph theory.
The twinning operation on graphs does not always preserve $e$-positivity
Published
• View Publication
• BIB
Motivated by Stanley's $\mathbf{(3+1)}$-free conjecture on chromatic symmetric functions, Foley, Hoàng and Merkel introduced the concept of strong $e$-positivity and conjectured that a graph is strongly $e$-positive if and only if it is (claw, net)-free. In order to study strongly $e$-positive graphs, they further introduced the twinning operation on a graph $G$ with respect to a vertex $v$, which adds a vertex $v'$ to $G$ such that $v$ and $v'$ are adjacent and any other vertex is adjacent to both of them or neither of them. Foley, Hoàng and Merkel conjectured that if $G$ is $e$-positive, then so is the resulting twin graph $G_v$ for any vertex $v$. Based on the theory of chromatic symmetric functions in non-commuting variables developed by Gebhard and Sagan, we establish the $e$-positivity of a class of graphs called tadpole graphs. By considering the twinning operation on a subclass of these graphs with respect to certain vertices we disprove the latter conjecture of Foley, Hoàng and Merkel. We further show that if $G$ is $e$-positive, the twin graph $G_v$ and more generally the clan graphs $G^{(k)}_v$ ($k \ge 1$) may not even be $s$-positive, where $G^{(k)}_v$ is obtained from $G$ by applying $k$ twinning operations to $v$.
Star edge-coloring of some special graphs
The star chromatic index of a multigraph $G$, denoted by $χ_{\mathrm{star}}'(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length $4$ is bicolored. In this paper, we study the star edge-coloring of Halin graphs, $k$-power graphs and the generalized Petersen graphs $P(3n, n)$.
Critical properties of bipartite permutation graphs
Published
• View Publication
• BIB
The class of bipartite permutation graphs enjoys many nice and important properties. In particular, this class is critically important in the study of clique- and rank-width of graphs, because it is one of the minimal hereditary classes of graphs of unbounded clique- and rank-width. It also contains a number of important subclasses, which are critical with respect to other parameters, such as graph lettericity or shrub-depth, and with respect to other notions, such as well-quasi-ordering or complexity of algorithmic problems. In the present paper we identify critical subclasses of bipartite permutation graphs of various types.
Constructing Dense Grid-Free Linear $3$-Graphs
Published
• View Publication
• BIB
We show that there exist linear $3$-uniform hypergraphs with $n$ vertices and $Ω(n^2)$ edges which contain no copy of the $3 \times 3$ grid. This makes significant progress on a conjecture of Füredi and Ruszinkó. We also discuss connections to proving lower bounds for the $(9,6)$ Brown-Erdős-Sós problem and to a problem of Solymosi and Solymosi.
Standard monomials of $1$-skeleton ideals of multigraphs
Published in Indian Journal of Pure and Applied Mathematics (2025)
• View Publication
• BIB
Given a graph $G$ on the vertex set $\{0,1,\ldots,n\}$ with the root vertex $0$, Postnikov and Shapiro associated a monomial ideal $\mathcal{M}_G$ in the polynomial ring $R=\mathbb{K}[x_1,\ldots,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb{K}}(R/\mathcal{M}_G)=\det\widetilde L_G$, where $\widetilde L_G$ is the truncated Laplacian of $G$. Dochtermann introduced the $1$-skeleton ideal $\mathcal{M}_G^{(1)}$ of $\mathcal{M}_G$ which satisfies the property that $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})\ge\det\widetilde Q_G$, where $\widetilde Q_G$ is the truncated signless Laplacian of $G$. In this paper we characterize all subgraphs of the multigraph $K_{n+1}^{a,1}$, in particular all simple graphs $G$, such that $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})=\det\widetilde Q_G$. Moreover, we give examples of subgraphs $G$ of the complete multigraph $K_{n+1}^{a,b}$, in which the equality $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})=\det\widetilde Q_G$ holds. We also provide a conjecture on the structure of a general multigraph satisfying the above-mentioned equality.
Generalized rainbow Turán numbers of odd cycles
Published
• View Publication
• BIB
Given graphs $F$ and $H$, the generalized rainbow Turán number $\text{ex}(n,F,\text{rainbow-}H)$ is the maximum number of copies of $F$ in an $n$-vertex graph with a proper edge-coloring that contains no rainbow copy of $H$. B. Janzer determined the order of magnitude of $\text{ex}(n,C_s,\text{rainbow-}C_t)$ for all $s\geq 4$ and $t\geq 3$, and a recent result of O. Janzer implied that $\text{ex}(n,C_3,\text{rainbow-}C_{2k})=O(n^{1+1/k})$. We prove the corresponding upper bound for the remaining cases, showing that $\text{ex}(n,C_3,\text{rainbow-}C_{2k+1})=O(n^{1+1/k})$. This matches the known lower bound for $k$ even and is conjectured to be tight for $k$ odd.
Cayley graphs for extraspecial p-groups and a covering graph perspective on Huang's theorem
In 1985, Arjeh Cohen and Jacques Tits proved the existence of a 4-cycle-free 2-fold cover of the hypercube. This Cohen-Tits cover is closely related to the signed adjacency matrix that Hao Huang used last year in his proof of the Sensitivity Conjecture. Terence Tao observed that Huang's signed adjacency matrix can be understood by lifting functions on an elementary abelian 2-group to functions on a central extension. Inspired by Tao's observation, we generalize the Cohen-Tits cover by constructing, as Cayley graphs for extraspecial p-groups, two infinite families of 4-cycle-free p-fold covers of the Cartesian product of p-cycles.
Gaussian Asymptotics of Jack Measures on Partitions from Weighted Enumeration of Ribbon Paths
Published
• View Publication
• BIB
In this paper we determine two asymptotic results for Jack measures on partitions, a model defined by two specializations of Jack polynomials proposed by Borodin-Olshanski in [European J. Combin. 26.6 (2005): 795-834]. Assuming these two specializations are the same, we derive limit shapes and Gaussian fluctuations for the anisotropic profiles of these random partitions in three asymptotic regimes associated to diverging, fixed, and vanishing values of the Jack parameter. To do so, we introduce a generalization of Motzkin paths we call "ribbon paths", show for general Jack measures that certain joint cumulants are weighted sums of connected ribbon paths on $n$ sites with $n-1+g$ pairings, and derive our two results from the contributions of $(n,g)=(1,0)$ and $(2,0)$, respectively. Our analysis makes use of Nazarov-Sklyanin's spectral theory for Jack polynomials. As a consequence, we give new proofs of several results for Schur measures, Plancherel measures, and Jack-Plancherel measures. In addition, we relate our weighted sums of ribbon paths to the weighted sums of ribbon graphs of maps on non-oriented real surfaces recently introduced by Chapuy-Dolęga.
Eulers Graph World - Purity, Regularity and Evenness -Law of Nature? - Constructions and Examples
We propose a Law of Nature? Viz., Pure Regularity Occurs at Naïve Levels and Regularity has Affinity with Evenness. In a series of three papers, it was established that regular Euler graphs with only one type of (pure) cycles are nonexistent; Regular Euler graphs with only two types of cycles are possible in one of the six cases, viz., regular bipartite Euler graphs of degree >2; Evenness plays role in unveiling regularity; Lastly, K5 is a regular Euler graph with three types of cycles (0,1,3); This is the only known graph with the property; It is conjectured that regular Euler graphs of order >5 with only three cycle types are nonexistent and this is proved true in part cases in each of the four cases. Some constructions and examples are given for the Euler graphs under (mod 4) satisfying intersection (combined cycle) rules. These infinite classes of Euler graphs serve as candidates for gracefulness. Infinite families of graceful graphs are presented in Case-0.
Moore graph with parameters (3250,57,0,1) does not exist
If a regular graph of degree $k$ and diameter $d$ has $v$ vertices then $$v\le 1+k+k(k-1)+\dots+k(k-1)^{d-1}.$$ Graphs with $v=1+k+k(k-1)+\dots+k(k-1)^{d-1}$ are called Moore graphs. Damerell proved that a Moore graph of degree $k\ge 3$ has diameter $2$. If $Γ$ is a Moore graph of diameter $2$, then $v=k^2+1$, $Γ$ is strongly regular with $λ=0$ and $μ=1$, and one of the following statements holds{\rm:} $k=2$ and $Γ$ is the pentagon, $k=3$ and $Γ$ is the Petersen graph, $k=7$ and $Γ$ is the Hoffman-Singleton graph, or $k=57$. The existence of a Moore graph of degree $57$ was unknown. Jurishich and Vidali have proved that the existence of a Moore graph of degree $k>3$ is equivalent to the existence of a distance-regular graph with intersection array $\{k-2,k-3,2;1,1,k-3\}$ (in the case $k=57$ we have a distance-regular graph with intersection array $\{55,54,2;1,1,54\}$). In this paper we prove that a distance-regular graph with intersection array $\{55,54,2;1,1,54\}$ does not exist. As a corollary, we prove that a Moore graph of degree $57$ does not exist.
Domination versus independent domination in regular graphs
Published
• View Publication
• BIB
A set $S$ of vertices in a graph $G$ is a dominating set if every vertex of $G$ is in $S$ or is adjacent to a vertex in $S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set in $G$, while the independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. We prove that for all integers $k \geq 3$ it holds that if $G$ is a connected $k$-regular graph, then $\frac{i(G)}{γ(G)} \leq \frac{k}{2}$, with equality if and only if $G = K_{k,k}$. The result was previously known only for $k\leq 6$. This affirmatively answers a recent question of Babikir and Henning.
On the Non-Commuting Graph of the Group $U_{6n}$
Published
• View Publication
• BIB
A non-commuting graph of a finite group $G$ is a graph whose vertices are non-central elements of $G$ and two vertices are adjacent if they don't commute in $G$. In this paper, we study the non-commuting graph of the group $U_{6n}$ and explore some of its properties including the independent number, clique and chromatic numbers. Also, the general formula of the resolving polynomial of the non-commuting graph of the group $U_{6n}$ are provided. Furthermore, we find the detour index, eccentric connectivity, total eccentricity and independent polynomials of the graph.