graph
35252 papers tagged with this keyword
The dimension of sparse and co-sparse random graph orders
A random graph order is a partial order obtained from a random graph on $[n]$ by taking the transitive closure of the adjacency relation. The dimension of the random graph orders from random bipartite graphs $B(n,n,p)$ and from $G(n,p)$ were previously studied when $p=Ω(\log n/n)$ and when $p$ is not too close to 1. There is a conjectured phase transition in the sparse range at $p=1/n$. In this paper, we investigate this conjectured phase transition and estimate the dimension of the partial orders arising from $B(n,n,p)$ and $G(n,p)$ when $p=O(1/n)$. For the random bipartite order, we additionally estimate its dimension in the co-sparse regime, thereby closing all previously open ranges of $p$. Finally, we establish a general upper bound on the dimension of partial orders based on their decompositions into suborders, a result that is of independent interest.
An Upper Bound on the Number of Generalized Cospectral Mates of Oriented Graphs
This paper examines the spectral characterizations of oriented graphs. Let $Σ$ be an $n$-vertex oriented graph with skew-adjacency matrix $S$. Previous research mainly focused on self-converse oriented graphs, proposing arithmetic conditions for these graphs to be uniquely determined by their generalized skew-spectrum ($\mathrm{DGSS}$). However, self-converse graphs are extremely rare; this paper considers a more general class of oriented graphs $\mathcal{G}_{n}$ (not limited to self-converse graphs), consisting of all $n$-vertex oriented graphs $Σ$ such that $2^{-\left \lfloor \frac{n}{2} \right \rfloor }\det W(Σ)$ is an odd and square-free integer, where $W(Σ)=[e,Se,\dots,S^{n-1}e]$ ($e$ is the all-one vector) is the skew-walk matrix of $Σ$. Given that $Σ$ is cospectral with its converse $Σ^{\rm T}$, there always exists a unique regular rational orthogonal $Q_0$ such that $Q_0^{\rm T}SQ_0=-S$. This study reveals that there exists a deep relationship between the level $\ell_0$ of $Q_0$ and the number of generalized cospectral mates of $Σ$. More precisely, we show, among others, that the maximum number of generalized cospectral mates of $Σ\in\mathcal{G}_{n}$ is at most $2^{t}-1$, where $t$ is the number of prime factors of $\ell_0$. Moreover, some numerical examples are also provided to demonstrate that the above upper bound is attainable. Finally, we also provide a criterion for the oriented graphs $Σ\in\mathcal{G}_{n}$ to be weakly determined by the generalized skew-spectrum ($\mathrm{WDGSS})$.
Tutte's theorem as an educational formalization project
In this work, we present two results: The first result is the formalization of Tutte's theorem in Lean, a key theorem concerning matchings in graph theory. As this formalization is ready to be integrated in Lean's mathlib, it provides a valuable step in the path towards formalizing research-level mathematics in this area. The second result is a framework for doing educational formalization projects. This framework provides a structure to learn to formalize mathematics with minimal teacher input. This framework applies to both traditional academic settings and independent community-driven environments. We demonstrate the framework's use by connecting it to the process of formalizing Tutte's theorem.
Spectral radius and Hamiltonicity of uniform hypergraphs
Published
• View Publication
• BIB
Let $n$ and $r$ be integers with $n-2\ge r\ge 3$. We prove that any $r$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with spectral radius $λ(\mathcal{H}) > \binom{n-2}{r-1}$ must contain a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^r$ with one additional edge. This generalizes a result proved by Fiedler and Nikiforov for graphs. As part of our proof, we show that if $|\mathcal{H}| > \binom{n-1}{r}$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^r$ with one additional edge, generalizing a classical theorem for graphs.
Computing Distances on Graph Associahedra is Fixed-parameter Tractable
An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a polytope whose vertices correspond to elimination trees of $G$ and whose edges correspond to tree rotations, a natural operation between elimination trees. These objects generalize associahedra, which correspond to the case where $G$ is a path. Ito et al. [ICALP 2023] recently proved that the problem of computing distances on graph associahedra is NP-hard. In this paper we prove that the problem, for a general graph $G$, is fixed-parameter tractable parameterized by the distance $k$. Prior to our work, only the case where $G$ is a path was known to be fixed-parameter tractable. To prove our result, we use a novel approach based on a marking scheme that restricts the search to a set of vertices whose size is bounded by a (large) function of $k$.
On constrained intersection representations of graphs and digraphs
We study the problem of determining optimal directed intersection representations of DAGs in a model introduced by Kostochka, Liu, Machado, and Milenkovic [ISIT2019]: vertices are assigned color sets so that there is an arc from a vertex $u$ to a vertex $v$ if and only if their color sets have nonempty intersection and $v$ gets assigned strictly more colors than $u$, and the goal is to minimize the total number of colors. We show that the problem is polynomially solvable in the class of triangle-free and Hamiltonian DAGs and also disclose the relationship of this problem with several other models of intersection representations of graphs and digraphs.
Lower bounds on collective additive spanners
In this paper we present various lower bound results on collective tree spanners and on spanners of bounded treewidth. A graph $G$ is said to admit a system of $μ$ collective additive tree $c$-spanners if there is a system $\cal{T}$$(G)$ of at most $μ$ spanning trees of $G$ such that for any two vertices $u,v$ of $G$ a tree $T\in \cal{T}$$(G)$ exists such that the distance in $T$ between $u$ and $v$ is at most $c$ plus their distance in $G$. A graph $G$ is said to admit an additive $k$-treewidth $c$-spanner if there is a spanning subgraph $H$ of $G$ with treewidth $k$ such that for any pair of vertices $u$ and $v$ their distance in $H$ is at most $c$ plus their distance in $G$. Among other results, we show that:
$\bullet$ Any system of collective additive tree $1$ -- spanners must have $Ω(\sqrt[3]{\log n})$ spanning trees for some unit interval graphs;
$\bullet$ No system of a constant number of collective additive tree $2$-spanners can exist for strongly chordal graphs;
$\bullet$ No system of a constant number of collective additive tree $3$-spanners can exist for chordal graphs;
$\bullet$ No system of a constant number of collective additive tree $c$-spanners can exist for weakly chordal graphs as well as for outerplanar graphs for any constant $c\geq 0$;
$\bullet$ For any constants $k \ge 2$ and $c \ge 1$ there are graphs of treewidth $k$ such that no spanning subgraph of treewidth $k-1$ can be an additive $c$-spanner of such a graph.
All these lower bound results apply also to general graphs. Furthermore, they %results complement known upper bound results with tight lower bound results.
Utilizing Symmetry in Finding New Permutiples from Known Examples
A permutiple is a natural number whose representation in some base, $b>1$, is an integer multiple of a number whose base-$b$ representation has the same collection of digits. Previous efforts have made progress in finding such numbers using graph-theoretical and finite-state-machine constructions. These are the mother graph and the Hoey-Sloane machine. In this paper, we leverage the inherent symmetry of the above constructions for the purpose of finding new permutiples from old. Such results also help us to see previous work through a new lens.
Graph Quasirandomness for Hypothesis Testing of Stochastic Block Models
The celebrated theorem of Chung, Graham, and Wilson on quasirandom graphs implies that if the 4-cycle and edge counts in a graph $G$ are both close to their typical number in $\mathbb{G}(n,1/2),$ then this also holds for the counts of subgraphs isomorphic to $H$ for any $H$ of constant size. We aim to prove a similar statement where the notion of close is whether the given (signed) subgraph count can be used as a test between $\mathbb{G}(n,1/2)$ and a stochastic block model $\mathbb{SBM}.$
Quantitatively, this is related to approximately maximizing $H \longrightarrow |Φ(H)|^{\frac{1}{|\mathsf{V}(H)|}},$ where $Φ(H)$ is the Fourier coefficient of $\mathbb{SBM}$, indexed by subgraph $H.$ This formulation turns out to be equivalent to approximately maximizing the partition function of a spin model over alphabet equal to the community labels in $\mathbb{SBM}.$
We resolve the approximate maximization when $\mathbb{SBM}$ satisfies one of four conditions: 1) the probability of an edge between any two vertices in different communities is exactly $1/2$; 2) the probability of an edge between two vertices from any two communities is at least $1/2$ (this case is also covered in a recent work of Yu, Zadik, and Zhang); 3) the probability of belonging to any given community is at least $c$ for some universal constant $c>0$; 4) $\mathbb{SBM}$ has two communities. In each of these cases, we show that there is an approximate maximizer of $|Φ(H)|^{\frac{1}{|\mathsf{V}(H)|}}$ in the set $\mathsf{A} = \{\text{stars, 4-cycle}\}.$ This implies that if there exists a constant-degree polynomial test distinguishing $\mathbb{G}(n,1/2)$ and $\mathbb{SBM},$ then the two distributions can also be distinguished via the signed count of some graph in $\mathsf{A}.$ We conjecture that the same holds true for distinguishing $\mathbb{G}(n,1/2)$ and any graphon if we also add triangles to $\mathsf{A}.$
Sombor index and eigenvalues of weakly zero-divisor graph of commutative rings
The weakly zero-divisor graph $WΓ(R)$ of a commutative ring $R$ is the simple undirected graph whose vertices are nonzero zero-divisors of $R$ and two distinct vertices $x$, $y$ are adjacent if and only if there exist $w\in {\rm ann}(x)$ and $ z\in {\rm ann}(y)$ such that $wz =0$. In this paper, we determine the Sombor index for the weakly zero-divisor graph of the integers modulo ring $\mathbb{Z}_n$. Furthermore, we investigate the Sombor spectrum and establish bounds for the Sombor energy of the weakly zero-divisor graph of $\mathbb{Z}_n$.
An Upper Bound on Generalized Cospectral Mates of Oriented Graphs Using Skew-Walk Matrices
Published
• View Publication
• BIB
Let $D$ be an oriented graph with skew adjacency matrix $S(D)$. Two oriented graphs $D$ and $C$ are said to share the same generalized skew spectrum if $S(D)$ and $S(C)$ have the same eigenvalues, and $J-S(D)$ and $J-S(C)$ also have the same eigenvalues, where $J$ is the all-ones matrix. Such graphs that are not isomorphic are generalized cospectral mates. We derive tight upper bounds on the number of non-isomorphic generalized cospectral mates an oriented graph can admit, based on arithmetic criteria involving the determinant of its skew-walk matrix. As a special case, we also provide a criterion for an oriented graph to be weakly determined by its generalized skew spectrum (WDGSS), that is, its only generalized cospectral mate is its transpose. These criteria relate directly to the controllability of graphs, a fundamental concept in the control of networked systems, thereby connecting spectral characterization of graphs to graph controllability.
Vertex evaluation of multiplex graphs using Forman Curvature
Published
• View Publication
• BIB
The identification of vertices that play a central role in network analysis is a fundamental challenge. Although traditional centrality measures have been extensively employed for this purpose, the increasing complexity of modern networks necessitates the use of sophisticated metrics. The concept of Forman curvature has recently garnered significant attention as a promising approach. We define the Forman curvature for multiplex graphs, which are a category of complex networks characterized by multiple layers of connections between nodes. We then prove the key properties of the Forman curvature in the context of multiplex graphs and show its usefulness in identifying vertices occupying central positions within these networks. Moreover, through a series of comparative experiments with traditional graph features and graph kernels, we demonstrate that the Forman curvature can function as an effective metric for classifying the overall structure of networks.
Graph covers and semi-covers: Who is stronger?
The notion of graph cover, also known as locally bijective homomorphism, is a discretization of covering spaces known from general topology. It is a pair of incidence-preserving vertex- and edge-mappings between two graphs, the edge-component being bijective on the edge-neighborhoods of every vertex and its image. In line with the current trends in topological graph theory and its applications in mathematical physics, graphs are considered in the most relaxed form and as such they may contain multiple edges, loops and semi-edges.
Nevertheless, simple graphs (binary structures without multiple edges, loops, or semi-edges) play an important role. It has been conjectured in [Bok et al.: List covering of regular multigraphs, Proceedings IWOCA 2022, LNCS 13270, pp. 228--242] that for every fixed graph $H$, deciding if a graph covers $H$ is either polynomial time solvable for arbitrary input graphs, or NP-complete for simple ones. A graph $A$ is called stronger than a graph $B$ if every simple graph that covers $A$ also covers $B$. This notion was defined and found useful for NP-hardness reductions for disconnected graphs in [Bok et al.: Computational complexity of covering disconnected multigraphs, Proceedings FCT 2022, LNCS 12867, pp. 85--99]. It was conjectured in [Kratochvíl: Towards strong dichotomy of graphs covers, GROW 2022 - Book of open problems, p. 10, {\tt https://grow.famnit.upr.si/GROW-BOP.pdf}] that if $A$ has no semi-edges, then $A$ is stronger than $B$ if and only if $A$ covers $B$. We prove this conjecture for cubic one-vertex graphs, and we also justify it for all cubic graphs $A$ with at most 4 vertices.
Boundedness and Separation in the Graph Covering Number Framework
For a graph class $\mathcal G$ and a graph $H$, the four $\mathcal G$-covering numbers of $H$, namely global ${\rm cn}_{g}^{\mathcal{G}}(H)$, union ${\rm cn}_{u}^{\mathcal{G}}(H)$, local ${\rm cn}_{l}^{\mathcal{G}}(H)$, and folded ${\rm cn}_{f}^{\mathcal{G}}(H)$, each measure in a slightly different way how well $H$ can be covered with graphs from $\mathcal G$. For every $\mathcal G$ and $H$ it holds \[
{\rm cn}_{g}^{\mathcal{G}}(H) \geq {\rm cn}_{u}^{\mathcal{G}}(H) \geq {\rm cn}_{l}^{\mathcal{G}}(H) \geq {\rm cn}_{f}^{\mathcal{G}}(H) \] and in general each inequality can be arbitrarily far apart. We investigate structural properties of graph classes $\mathcal G$ and $\mathcal H$ such that for all graphs $H \in \mathcal{H}$, a larger $\mathcal G$-covering number of $H$ can be bounded in terms of a smaller $\mathcal G$-covering number of $H$. For example, we prove that if $\mathcal G$ is hereditary and the chromatic number of graphs in $\mathcal H$ is bounded, then there exists a function $f$ (called a binding function) such that for all $H \in \mathcal{H}$ it holds ${\rm cn}_{u}^{\mathcal{G}}(H) \leq f({\rm cn}_{g}^{\mathcal{G}}(H))$.
For $\mathcal G$ we consider graph classes that are component-closed, hereditary, monotone, sparse, or of bounded chromatic number. For $\mathcal H$ we consider graph classes that are sparse, $M$-minor-free, of bounded chromatic number, or of bounded treewidth. For each combination and every pair of $\mathcal G$-covering numbers, we either give a binding function $f$ or provide an example of such $\mathcal{G},\mathcal{H}$ for which no binding function exists.
Two gluing methods for string C-group representations of the symmetric groups
Published
• View Publication
• BIB
The study of string C-group representations of rank at least $n/2$ for the symmetric group $S_n$ has gained a lot of attention in the last fifteen years. In a recent paper, Cameron et al. gave a list of permutation representation graphs of rank $r\geq n/2$ for $S_n$, having a fracture graph and a non-perfect split. They conjecture that these graphs are permutation representation graphs of string C-groups. In trying to prove this conjecture, we discovered two new techniques to glue two CPR graphs for symmetric groups together. We discuss the cases in which they yield new CPR graphs. By doing so, we invalidate the conjecture of Cameron et al. We believe our gluing techniques will be useful in the study of string C-group representations of high ranks for the symmetric groups.
Substructure Analysis and Cycle Enumeration Methods for Oriented Graphs Based on Parameterizing Hermitian Laplacian Matrices by Galois Conjugates
This paper investigates the principal minors of a parameterized Hermitian Laplacian matrix for oriented graphs. Particularly, we focus on the properties of the matrix for parameters chosen as Galois conjugates of a primitive $p$th root of unity, where $p$ is an odd prime. We demonstrate that under this condition, the product of the corresponding Hermitian Laplacian determinants is an integer power of $p$. This algebraic property forms the basis for a method to enumerate non-vanishing unicyclic graph components within certain substructures. The study is situated within a framework where a variable unit-modulus complex parameter is introduced into the Hermitian Laplacian matrix, which also allows for an examination of relationships among principal minors under different parameters. Our analysis adopts the concept of substructures, defined as vertex-edge pairs $(V',E')$ where edges in $E'$ are not restricted to connecting vertices within $V'$.
$C^*$- Colored graph algebras
Following our previous works on $C^*$-graph algebras and the associated Cuntz-Krieger graph families, in this paper we will try to have a look at the colored version of these structures and to see what a $C^*$-colored graph algebra might mean by employing some constructive examples very close to the toy example used in our previous works, and we also will try to study their graph theoretical properties as possible.
On graphs with a simple structure of maximal cliques
We say that a hereditary graph class $\mathcal{G}$ is \emph{clique-sparse} if there is a constant $k=k(\mathcal{G})$ such that for every graph $G\in\mathcal{G}$, every vertex of $G$ belongs to at most $k$ maximal cliques, and any maximal clique of $G$ can be intersected in at most $k$ different ways by other maximal cliques.
We provide various characterisations of clique-sparse graph classes, including a list of five parametric forbidden induced subgraphs. We show that recent techniques for proving induced analogues of Menger's Theorem and the Grid Theorem of Robertson and Seymour can be lifted to prove induced variants in clique-sparse graph classes when replacing ``treewidth'' by ''tree-independence number''.
On the number of drawings of a combinatorial triangulation
Published
• View Publication
• BIB
In 1962, Tutte provided a formula for the number of combinatorial triangulations, that is, maximal planar graphs with a fixed triangular face and $n$ additional vertices. In this note, we study how many ways a combinatorial triangulation can be drawn as geometric triangulation, that is, with straight-line segments, on a given point set in the plane. Our central contribution is that there exists a combinatorial triangulation with n vertices that can be drawn in at least $Ω(1,31^n)$ ways on a set of n points as different geometric triangulations. We also show an upper bound on the number of drawings of a combinatorial triangulation on the so-called double chain point set.
Hypertrees and their host trees: a survey
A hypergraph $\mathcal{H}=(V,\mathcal{E})$ is a hypertree if it admits a tree $T$ with vertex set $V$ such that every edge of $\mathcal{H}$ induces a subtree of $T$. A tree like that is called a host tree. Several characterizations and properties of hypertrees have been discovered over the years. However, the interest in the structure of their host trees was weaker and restricted to particular scenarios where they arise, like the clique tree of chordal graphs. In that special case, the proofs of most characteristics of clique trees that exist in the literature rely significantly on the structural properties of chordal graphs. The purpose of this work is the study of the properties of the host trees of hypertrees in a more general context and have them described in a single place, giving simpler proofs for known facts, generalizing others and introducing some new concepts that the author considers that are relevant for the study of the topic. Particularly, we will determine what edges can be found in some host tree of a hypertree, and how these edges must be combined to form a host tree, with an emphasis in tools like the basis and the completion of a hypergraph, and the concept of equivalent hypergraphs.