arXiv++ Combinatorics

Browse math.CO papers from arXiv

graph

35299 papers tagged with this keyword
Distinguishing graphs by their spectra, Smith normal forms and complements
Published • View Publication • BIB
The search for a highly discriminating and easily computable invariant to distinguish graphs remains a challenging research topic. Here we focus on cospectral graphs whose complements are also cospectral (generalized cospectral), and on coinvariant graphs (same Smith normal form) whose complements are also coinvariant (generalized coinvariant). We show a new characterization of generalized cospectral graphs in terms of codeterminantal graphs. We also establish the Smith normal form of some graph classes for certain associated matrices, and as an application, we prove that the Smith normal form can be used to uniquely determine star graphs. Finally, for graphs up to 10 vertices, we present enumeration results on the number of generalized cospectral graphs and generalized coinvariant graphs with respect to several associated matrices.
2023-04-14
Bounding the number of graph refinements for Brill-Noether existence
Published • View Publication • BIB
Let $G$ be a finite graph of genus $g$. Let $d$ and $r$ be non-negative integers such that the Brill-Noether number is non-negative. It is known that for some $k$ sufficiently large, the $k$-th homothetic refinement $G^{(k)}$ of $G$ admits a divisor of degree $d$ and rank at least $r$. We use results from algebraic geometry to give an upper bound for $k$ in terms of $g,d,$ and $r$.
No mixed graph with the nullity $η(\widetilde{G})=|V(G)|-2m(G)+2c(G)-1$
Published • View Publication • BIB
A mixed graph $\widetilde{G}$ is obtained from a simple undirected graph $G$, the underlying graph of $\widetilde{G}$, by orienting some edges of $G$. Let $c(G)=|E(G)|-|V(G)|+ω(G)$ be the cyclomatic number of $G$ with $ω(G)$ the number of connected components of $G$, $m(G)$ be the matching number of $G$, and $η(\widetilde{G})$ be the nullity of $\widetilde{G}$. Chen et al. (2018)\cite{LSC} and Tian et al. (2018)\cite{TFL} proved independently that $|V(G)|-2m(G)-2c(G) \leq η(\widetilde{G}) \leq |V(G)|-2m(G)+2c(G)$, respectively, and they characterized the mixed graphs with nullity attaining the upper bound and the lower bound. In this paper, we prove that there is no mixed graph with nullity $η(\widetilde{G})=|V(G)|-2m(G)+2c(G)-1$. Moreover, for fixed $c(G)$, there are infinitely many connected mixed graphs with nullity $|V(G)|-2m(G)+2c(G)-s$ $( 0 \leq s \leq 3c(G), s\neq1 )$ is proved.
2023-04-13
The extremal unicyclic graphs of the revised edge Szeged index with given diameter
Published • View Publication • BIB
Let $G$ be a connected graph. The revised edge Szeged index of $G$ is defined as $Sz^{\ast}_{e}(G)=\sum\limits_{e=uv\in E(G)}(m_{u}(e|G)+\frac{m_{0}(e|G)}{2})(m_{v}(e|G)+\frac{m_{0}(e|G)}{2})$, where $m_{u}(e|G)$ (resp., $m_{v}(e|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $m_{0}(e|G)$ is the number of edges equidistant from both ends of $e$, respectively. In this paper, the graphs with minimum revised edge Szeged index among all the unicyclic graphs with given diameter are characterized.
2023-04-13
The minimal spectral radius with given independence number
Published • View Publication • BIB
In this paper, we determine the graphs which have the minimal spectral radius among all the connected graphs of order $n$ and the independence number $\lceil\frac{n}{2}\rceil-1.$
On a generalization of median graphs: $k$-median graphs
Published • View Publication • BIB
Median graphs are connected graphs in which for all three vertices there is a unique vertex that belongs to shortest paths between each pair of these three vertices. To be more formal, a graph $G$ is a median graph if, for all $μ, u,v\in V(G)$, it holds that $|I(μ,u)\cap I(μ,v)\cap I(u,v)|=1$ where $I(x,y)$ denotes the set of all vertices that lie on shortest paths connecting $x$ and $y$. In this paper we are interested in a natural generalization of median graphs, called $k$-median graphs. A graph $G$ is a $k$-median graph, if there are $k$ vertices $μ_1,\dots,μ_k\in V(G)$ such that, for all $u,v\in V(G)$, it holds that $|I(μ_i,u)\cap I(μ_i,v)\cap I(u,v)|=1$, $1\leq i\leq k$. By definition, every median graph with $n$ vertices is an $n$-median graph. We provide several characterizations of $k$-median graphs that, in turn, are used to provide many novel characterizations of median graphs.
2023-04-13
Jack Derangements
For each integer partition $λ\vdash n$ we give a simple combinatorial expression for the sum of the Jack character $θ^λ_α$ over the integer partitions of $n$ with no singleton parts. For $α= 1,2$ this gives closed forms for the eigenvalues of the permutation and perfect matching derangement graphs, resolving an open question in algebraic graph theory. A byproduct of the latter is a simple combinatorial formula for the immanants of the matrix $J-I$ where $J$ is the all-ones matrix, which might be of independent interest. Our proofs center around a Jack analogue of a hook product related to Cayley's $Ω$--process in classical invariant theory, which we call the principal lower hook product.
Mutually avoiding Eulerian circuits
Published • View Publication • BIB
Two Eulerian circuits, both starting and ending at the same vertex, are avoiding if at every other point of the circuits they are at least distance 2 apart. An Eulerian graph which admits two such avoiding circuits starting from any vertex is said to be doubly Eulerian. The motivation for this definition is that the extremal Eulerian graphs, i.e. the complete graphs on an odd number of vertices and the cycles, are not doubly Eulerian. We prove results about doubly Eulerian graphs and identify those that are the `densest' and `sparsest' in terms of the number of edges.
2023-04-13
Distinct distances for points lying on curves in $\mathbb{R}^d$ -- the bipartite case
Published • View Publication • BIB
Let $γ_1,γ_2$ be a pair of constant-degree irreducible algebraic curves in $\mathbb{R}^d$. Assume that $γ_i$ is neither contained in a hyperplane nor in a quadric surface in $\mathbb{R}^d$, for each $i=1,2$. We show that for every pair of $n$-point sets $P_1\subsetγ_1$ and $P_2\subsetγ_2$, the number of distinct distances spanned by $P_1\times P_2$ is $Ω(n^{3/2})$, with a constant of proportionality that depends on ${\rm deg}γ_1$, ${\rm deg}γ_2$, and $d$. This extends earlier results of Charalambides [Char], Pach and De Zeeuw [PdZ], and Raz [Ra] to the bipartite version. For the proof we use rigidity theory, and in particular the description of Bolker and Roth [BR80] for realizations in $\mathbb{R}^d$ of the complete bipartite graph $K_{m,n}$ that are not infinitesimally rigid.
2023-04-13 v2
The signed graphs with symmetric spectra
It is well known that a graph $G$ has a symmetric spectrum if and only if it is bipartite, a signed graph $Γ=(G,σ)$ has a symmetric spectrum if $G$ is bipartite. However, there exists a spectrally symmetric signed graph $Γ=(G,σ)$ such that $G$ is not bipartite. In this paper, we focus to characterize the signed graphs with symmetric spectra. Some necessary and (or) sufficient conditions for spectrally symmetric signed graphs are given. Moreover, some methods to construct signed graphs with symmetric spectra are found and infinite families of these signed graphs are produced.
2023-04-12
Fiedler vectors with unbalanced sign patterns
Published • View Publication • BIB
In spectral bisection, a Fielder vector is used for partitioning a graph into two connected subgraphs according to its sign pattern. In this article, we investigate graphs having Fiedler vectors with unbalanced sign patterns such that a partition can result in two connected subgraphs that are distinctly different in size. We present a characterization of graphs having a Fiedler vector with exactly one negative component, and discuss some classes of such graphs. We also establish an analogous result for regular graphs with a Fiedler vector with exactly two negative components. In particular, we examine the circumstances under which any Fiedler vector has unbalanced sign pattern according to the number of vertices with minimum degree.
2023-04-12 v2
A new construction for planar Turán number of cycle
The planar Turán number ${\rm ex}_{\mathcal{P}}(n,C_k)$ is the largest number of edges in an $n$-vertex planar graph with no cycle of length $k$. Let $k\ge 11$ and $C,D$ be constants. Cranston, Lidický, Liu and Shantanam \cite{2021Planar}, and independently Lan and Song \cite{LanSong} showed that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{Cn}{k}$ for large $n$. Moreover, Cranston et al. conjectured that ${\rm ex}_{\mathcal{P}}(n,C_k)\le 3n-6-\frac{Dn}{k^{lg_23}}$ when $n$ is large. In this note, we prove that ${\rm ex}_{\mathcal{P}}(n,C_k)\ge 3n-6-\frac{6\cdot 3^{lg_23}n}{k^{lg_23}}$ for every $k$. It implies Cranston et al.'s conjecture is essentially best possible.
2023-04-12
Graph Labelings Obtainable by Random Walks
Published • View Publication • BIB
We initiate the study of what we refer to as random walk labelings of graphs. These are graph labelings that are obtainable by performing a random walk on the graph, such that the labeling occurs increasingly whenever an unlabeled vertex is encountered. Some of the results we obtain involve sums of inverses of binomial coefficients, for which we obtain new identities. In particular, we prove that $\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}\binom{n+k}{k}=\binom{2n}{n}2^{-n}\sum_{k=0}^{n-1}2^{k}(2k+1)^{-1}\binom{2k}{k}^{-1}$, thus confirming a conjecture of Bala.
2023-04-12 v2
A Hall-type theorem with algorithmic consequences in planar graphs
Published • View Publication • BIB
Given a graph $G=(V,E)$, for a vertex set $S\subseteq V$, let $N(S)$ denote the set of vertices in $V$ that have a neighbor in $S$. Extending the concept of binding number of graphs by Woodall~(1973), for a vertex set $X \subseteq V$, we define the binding number of $X$, denoted by $\bind(X)$, as the maximum number $b$ such that for every $S \subseteq X$ where $N(S)\neq V(G)$ it holds that $|N(S)|\ge b {|S|}$. Given this definition, we prove that if a graph $V(G)$ contains a subset $X$ with $\bind(X)= 1/k$ where $k$ is an integer, then $G$ possesses a matching of size at least $|X|/(k+1)$. Using this statement, we derive tight bounds for the estimators of the matching size in planar graphs. These estimators are previously used in designing sublinear space algorithms for approximating the maching size in the data stream model of computation. In particular, we show that the number of locally superior vertices is a $3$ factor approximation of the matching size in planar graphs. The previous analysis by Jowhari (2023) proved a $3.5$ approximation factor. As another application, we show a simple variant of an estimator by Esfandiari \etal (2015) achieves $3$ factor approximation of the matching size in planar graphs. Namely, let $s$ be the number of edges with both endpoints having degree at most $2$ and let $h$ be the number of vertices with degree at least $3$. We prove that when the graph is planar, the size of matching is at least $(s+h)/3$. This result generalizes a known fact that every planar graph on $n$ vertices with minimum degree $3$ has a matching of size at least $n/3$.
Wiener Indices of Minuscule Lattices
Published • View Publication • BIB
The Wiener index of a finite graph G is the sum over all pairs (p, q) of vertices of G of the distance between p and q. When P is a finite poset, we define its Wiener index as the Wiener index of the graph of its Hasse diagram. In this paper, we find exact expressions for the Wiener indices of the distributive lattices of order ideals in minuscule posets. For infinite families of such posets, we also provide results on the asymptotic distribution of the distance between two random order ideals.
2023-04-11
$G^{+}$ Method in Action: New Classes of Nonnegative Matrices with Results
The $G^{+}$ method is a new method, a powerful one, for the study of (homogeneous and nonhomogeneous) products of nonnegative matrices -- for problems on the products of nonnegative matrices. To study such products, new classes of matrices are introduced: that of the sum-positive matrices, that of the $\left[ Δ\right] $-positive matrices on partitions (of the column index sets), that of the $g_{k}^{+}$-matrices... On the other hand, the $g_{k}^{+}$-matrices lead to necessary and sufficient conditions for the $k$-connected graphs. Using the $G^{+}$ method, we prove old and new results (Wielandt Theorem and a generalization of it, etc.) on the products of nonnegative matrices -- mainly, sum-positive, $\left[ Δ\right] $-positive on partitions, irreducible, primitive, reducible, fully indecomposable, scrambling, or Sarymsakov matrices, in some cases the matrices being, moreover, $g_{k}^{+}$-matrices (not only irreducible).
2023-04-11
Embedding problem between right-angled Artin groups
Given a graph $Γ$, the right-angled Artin group $A(Γ)$ is given by the presentation $\langle u \in V(Γ) \mid [u,v]=1, \ \{u,v\} \in E(Γ) \rangle$. The Embedding Problem in right-angled Artin groups asks, given two finite graphs $Φ,Ψ$, how to determine whether or not $A(Φ)$ is isomorphic to a subgroup of $A(Ψ)$. These are the notes of a mini-course given at the CIRM in April 2022, dedicated to a geometric point of view on this embedding problem, based on quasi-median graphs.
Some Results On Spectrum And Energy Of Graphs With Loops
Published in Bulletin of the Malaysian Mathematical Sciences Society, 46(94) (2023) • View Publication • BIB
Let $G_S$ be a graph with loops obtained from a graph $G$ of order $n$ and loops at $S \subseteq V(G)$. In this paper, we establish a neccesary and sufficient condition on the bipartititeness of a connected graph $G$ and the spectrum Spec($G_S$) and Spec($G_{V(G)\backslash S}$). We also prove that for every $S \subseteq V(G)$, $E(G_S) \geq E(G)$ when $G$ is bipartite. Moreover, we provide an identification of the spectrum of complete graphs $K_n$ and complete bipartite graphs $K_{m,n}$ with loops. We characterize any graphs with loops of order n whose eigenvalues are all positive or non-negative, and also any graphs with a few distinct eigenvalues. Finally, we provide some bounds related to $G_S$.
2023-04-11 v2
Feynman symmetries of the Martin and $c_2$ invariants of regular graphs
Published in Combinatorial Theory 5 (1), 2025, #10 • View Publication • BIB
For every regular graph, we define a sequence of integers, using the recursion of the Martin polynomial. This sequence counts spanning tree partitions and constitutes the diagonal coefficients of powers of the Kirchhoff polynomial. We prove that this sequence respects all known symmetries of Feynman period integrals in quantum field theory. We show that other quantities with this property, the $c_2$ invariant and the extended graph permanent, are essentially determined by our new sequence. This proves the completion conjecture for the $c_2$ invariant at all primes, and also that it is fixed under twists. We conjecture that our invariant is perfect: Two Feynman periods are equal, if and only if, their Martin sequences are equal.
Sampling planar tanglegrams and pairs of disjoint triangulations
Published • View Publication • BIB
A tanglegram consists of two rooted binary trees and a perfect matching between their leaves, and a planar tanglegram is one that admits a layout with no crossings. We show that the problem of generating planar tanglegrams uniformly at random reduces to the corresponding problem for irreducible planar tanglegram layouts, which are known to be in bijection with pairs of disjoint triangulations of a convex polygon. We extend the flip operation on a single triangulation to a flip operation on pairs of disjoint triangulations. Interestingly, the resulting flip graph is both connected and regular, and hence a random walk on this graph converges to the uniform distribution. We also show that the restriction of the flip graph to the pairs with a fixed triangulation in either coordinate is connected, and give diameter bounds that are near optimal. Our results furthermore yield new insight into the flip graph of triangulations of a convex $n$-gon with a geometric interpretation on the associahedron.