graph
35150 papers tagged with this keyword
Signed graphs with exactly two main eigenvalues: The unicyclic case
An eigenvalue $λ$ of a signed graph $S$ of order $n$ is called a main eigenvalue if its eigenspace is not orthogonal to the all-ones vector $j$. Characterizing signed graphs with exactly $k$ $(1\le k\le n)$ distinct main eigenvalues is a problem in algebraic and graph theory that has been studied since 2020. Du et al. (2024, 2026) characterized a class of signed graphs with exactly two main eigenvalues by analyzing a type of multigraph whose base graph is a tree. In this paper, we extend this study to the case where the associated multigraph has a unicyclic base graph, and we conclude by proposing several open problems.
All-to-all Routing on Kautz Graphs: Regular Routing Beats Shortest Paths
We study packet routing in the Kautz digraph K(d,D), where every ordered pair of distinct vertices is connected by a unique shortest directed path. The regular routing introduced in earlier work schedules all ordered pairs in tau(d,D) = (D-1)d^(D-2) + D d^(D-1) steps. We show that, for every fixed outdegree d at least 2 and all sufficiently large diameters D, no shortest-path routing scheme can match this makespan. More precisely, we prove that K(d,D) contains an edge whose shortest-path congestion strictly exceeds tau(d,D) when D is sufficiently large. Our construction uses edge-words drawn from a subset of ternary unbordered square-free words, together with a trimming inequality that propagates large congestion at distance D down to shorter distances. Computations for d=2 and small D show that for all D at least 4 there is an edge in K(2,D) with congestion greater than tau(2,D).
The Gaussian Wave for Graphs of Finite Cone Type
We show that for any infinite tree of finite cone type satisfying a mild expansion condition, the only typical process on its vertices with covariance induced by the Green's function is the Gaussian wave. This generalizes a result of Backhausz and Szegedy, who proved this for the infinite regular tree of degree $d\geq 3$. We do this by giving a reduction to a statement concerning the distribution of the inner product of our process with columns of the Green's function, which in turn are straightforward to calculate.
As a consequence, for random bipartite biregular graphs, the distribution of local neighborhoods of eigenvectors must approximate the Gaussian wave. Moreover, for generic configuration models including random lifts, the local distribution of a uniformly chosen eigenvector from any arbitrarily small spectral window likewise converges to the Gaussian wave.
Combinatorial Characterizations of Virtually Torsion-Free and Virtually Free Groups
We establish combinatorial characterizations of virtually torsion-free and virtually free groups using the canonical graph decomposition theory in \cite{DJKK22}. Our main results show that a finitely presented, residually finite group $Γ$ is virtually torsion-free if and only if there exists a locality parameter $r>0$ such that its $r$-local cover admits a canonical tree-decomposition with finite quotient and finite adhesion, every finite subgroup of $Γ$ fixes a vertex of this decomposition, and the finite subgroups in each bag have uniformly bounded order. Moreover, a finitely generated group $Γ$ is virtually free if and only if for some $r>0$ its $r$-global decomposition has a finite model graph with finite bags and the tree-decomposition of the $r$-local cover is $Γ$-equivariantly isomorphic to the Bass--Serre tree arising from a splitting of $Γ$ as a finite graph of finite groups.
Hypercube drawings with no long plane paths
We study the existence of plane substructures in drawings of the $d$-dimensional hypercube graph $Q_d$. We construct drawings of $Q_d$ which contain no plane subgraph with more than $2d-2$ edges, no plane path with more than $2d-3$ edges, and no plane matching of size more than $2d-4$. On the other hand, we prove that every rectilinear drawing of $Q_d$ with vertices in convex position contains a plane path of length $d$ (if $d$ is odd) or $d-1$ (if $d$ is even). We also prove that if a graph $G$ is a plane subgraph of every drawing of $Q_d$ for a sufficiently large $d$, then $G$ is necessarily a forest of caterpillars. Lastly, we give a short proof of a generalization of a result by Alpert et al. [Cong. Numerantium, 2009] on the maximum rectilinear crossing number of $Q_d$.
Graphs whose Eulerian trails have unique labels
Consider an undirected graph whose edges are labeled invertibly in a group. When does every Eulerian trail from one fixed vertex to another have the same label? We give a precise structural answer to this question. Essentially, we show that each ``$3$-connected part'' is labeled over a group which is isomorphic to $\mathbb{Z}_2^k$ for some $k$. We also show that the algorithmic problem admits a polynomial-time reduction to the word problem for the group.
An Upper Bound for the Double Domination Number in Maximal Outerplanar Graphs
In a graph $G$, a vertex dominates itself and its neighbors. A subset $S$ of vertices of $G$ is a double dominating set of $G$ if every vertex is dominated by at least two vertices in $S$. The double domination number $γ_{\times 2}(G)$ of $G$ is the minimum cardinality of a double dominating set of $G$. In this paper, we prove that, for a maximal outerplanar graph $G$, the double domination number $γ_{\times 2}(G)$ is at most $(n+k)/2$, where $k$ is the number of pairs of consecutive vertices on the outer cycle but at distance at least 3. Although this bound was previously proposed by Abd Aziz, Rad and Kamarulhaili (A note on the double domination number in maximal outerplanar and planar graphs, RAIRO Operations Research, 56 (2022) 3367--3371), their proof was found to be incomplete. In this paper we establish the validity of this result by providing a complete proof.
Autocatalytic Cores in Reaction Networks with Explicit Catalysis
Autocatalytic cores are minimal units in reaction networks (RNs) responsible for the emergence of autocatalysis. In the absence of explicit catalysis, i.e., when an entity appears both as reactant and product in the same reaction, they are known to be encoded by square submatrices of the stoichiometric matrix whose columns can be reordered as an irreducible child-selection (CS) matrix with negative diagonal and nonnegative off-diagonal (Metzler matrix). In the bipartite Koenig graph representing the RN, these CS matrices can be identified by fluffles, i.e., strong blocks with an identical number of entity and reaction vertices that have out- and in-degree 1, respectively. Here, we adapt the concepts derived for autocatalytic cores to RNs with explicitly catalyzed reactions, which emerge as digons, i.e., elementary circuits in the Koenig graph of length 2. In this setting, we confirm that an inspection of the stoichiometric matrix alone is inconclusive concerning the presence and number of autocatalytic cores, requiring a more delicate algebraic analysis. Nevertheless, this generalization preserves both the graph and the matrix representation as fluffles and irreducible Metzler CS matrices, respectively, although the diagonal is no longer necessarily strictly negative. We introduce the notion of hard autocatalytic cores, i.e. those that do not yield other autocatalytic cores upon inclusion of all reverse reactions. Finally, we consider the case of unit stoichiometries and show that each autocatalytic core can be constructed as the superposition of at most 2 elementary circuits. In particular, autocatalytic cores involving explicitly catalyzed reactions always contain a spanning subgraph consisting of a single elementary circuit together with a simple entity-to-reaction chord. Moreover, we identify the essentially unique example for which at least two circuits are required.
Reeb spaces of smooth functions associated to globally similar graphs of smooth functions
Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each infinity, and topological properties and combinatorial ones of its composition with the canonical projection. Here, we consider smooth functions with congruent or globally similar graphs instead.
Here, the Reeb space of a smooth function on a manifold with no boundary is fundamental and important. This is the naturally topologized quotient space of the manifold, consisting of all connected components (contours) of the function and is a graph under a certain nice situation. Related studies also related to the present study were started due to interest of the author in theory of Reeb spaces of non-proper functions. For proper functions, in 2020s related studies have developed mainly due to Gelbukh and Saeki.
A classification of rotary embeddings of multicycles
We classify rotary (orientably-regular) maps whose underlying graphs are multicycles. For the multicycle $\mathrm{C}_n^{(λ)}$ of length $n$ and edge-multiplicity $λ$, we determine all rotary embeddings for $n\geqslant 3$ and $λ\geqslant 2$. When $n$ is odd, there is a unique isomorphism class; when $n$ is even, the embeddings form a family $\mathcal{M}_n^{(λ)}(i,j)$ parameterized by integer pairs $(i,j)$ satisfying explicit congruence conditions.
Acyclic sets and colorings in digraphs under restrictions on degrees and cycle lengths
Published
• View Publication
• BIB
Given a digraph $D$, we denote by $\vecα(D)$ the maximum size of an acyclic set of $D$ (i.e. a set of vertices which induces a subdigraph with no directed cycles), and by $\vecχ(D)$ the minimum number of acyclic sets into which $V(D)$ can be partitioned. In this paper, we study $\vecα(D)$ and $\vecχ(D)$ from various perspectives, including restrictions on degrees and cycle lengths. A main result is that, if $D$ is a random $r$-regular digon-free simple digraph of order $n$, then $\vecα(D) = Θ(n \log r /r)$ with high probability. This corresponds to a result of Spencer and Subramanian on the Erdős--Rényi random digraph model. Along the way, we derive some related results and propose some conjectures. An example of this is an analogue of the theorem of Bondy which bounds the chromatic number of a graph by the circumference of any strong orientation.
Antimagic labelling of graphs with maximum degree $Δ(G) = n - 4$
An antimagic labelling of a graph $G = (V,E)$ is a bijection from $E$ to $\{1,2, \ldots, |E|\}$, such that all vertex-sums are pairwise distinct, where the vertex-sum of each vertex is the sum of labels over edges incident to this vertex. A graph is said to be antimagic if it has an antimagic labelling. It has been proven that graphs $G$ with $Δ(G) \geq n - 3$ are antimagic, where $Δ(G)$ is the maximum degree of a vertex in $G$ and $n = |V|$. In this article, we extend this result to graphs with $Δ(G) = n - 4$, provided that $|E| \geq 7n$.
Concentration of the largest induced tree size of $G_{n,p}$ around the standard expectation threshold
Let $T(G)$ be the size of the largest induced tree of $G$, and let $G_{n,p}$ be the binomial random graph. Kamaldinov, Skorkin, and Zhukovskii proved that $T(G_{n,p})$ equals one of two consecutive values with high probability if $p$ is constant, and more recently, Oropeza extended this result to include all vanishing $p$ such that $p > n^{-\frac{e-2}{3e-2} + ε}$, where $e$ is Euler's constant. We further extend this result to all vanishing $p$ such that $p \gg n^{-1/2} \ln^{3/2} n$, and furthermore, we show that, for $p$ such that $n^{-1} \ll p \ll n^{-1/2}, \ T(G_{n,p})$ cannot be concentrated at the standard expectation threshold.
Resolving the Kohayakawa-Kreuter Conjecture for Families
A graph $G$ is $(a,b)$-sparse if every nonempty subgraph $H$ satisfies $e(H) \leq a v(H) - b$. We are interested in the conditions under which an $(a,b)$-sparse graph can be partitioned $E(G) = E(G_1) \cup E(G_2)$ such that for $i \in \{1,2\}$ we have that $G_i$ is $(a_i, b_i)$-sparse. Kuperwasser, Samotij, and Wigderson conjectured that a $(m,0)$-sparse graph can be partitioned into a $(1,1)$-sparse graph and a $(m,2m-1)$-sparse graph. We prove the conjecture in full.
The Kohayakawa-Kreuter Conjecture for Families claims that $n^{-1/m_2}$ is the threshold function for the random graph being Ramsey a.a.s. for graph families $\mathcal{H}_1, \ldots \mathcal{H}_r$. Kuperwasser, Samotij, and Wigderson motivated their conjecture by proving that it is sufficient to establish the Kohayakawa-Kreuter Conjecture for Families.
The Antisymmetric Line Graph
We introduce the \emph{antisymmetric line graph} $\mathcal{A}(G)$, a canonical signed refinement of the line graph defined on the oriented edges of a graph $G$ via an antisymmetric incidence rule. We show that $\mathcal{A}(G)$ is balanced if and only if $G$ is bipartite, so the frustration index $\ell(\mathcal{A}(G))$ defines a switching-invariant measure of non-bipartiteness.
The switching class of $\mathcal{A}(G)$ determines $G$ up to isomorphism modulo isolated vertices, thereby resolving Whitney's exceptional ambiguity.
We obtain quantitative bounds relating $\ell(\mathcal{A}(G))$ to classical measures of non-bipartiteness; in particular, \[ \operatorname{def}(G)\le \ell(\mathcal{A}(G))\le (Δ(G)-1)\operatorname{def}(G), \] where $\operatorname{def}(G)$ is the minimum number of edges whose deletion makes $G$ bipartite. Our strongest result is an exact identification in the cubic case: for every cubic graph $G$, with $\operatorname{oct}(G)$ denoting the odd cycle transversal number, \[ \ell(\mathcal{A}(G)) = 2\operatorname{oct}(G). \] Hence on cubic graphs a canonical signed line-graph invariant recovers a central bipartization parameter, and computing $\ell(\mathcal{A}(G))$ is NP-hard even for cubic inputs.
A very robust Ramsey theorem for matchings
Our main result is a robust generalisation of the Cockayne-Lorimer theorem on the multicolour Ramsey number of matchings. It is moreover a generalisation of the transference generalisation of Cockayne-Lorimer, which (informally) says that the random graph $G \sim G(n,p)$ with $np \to \infty$ has, with high probability, essentially the same Ramsey matching properties as the complete graph $K_n$. We show, somewhat surprisingly, that the same is true under the rather weak robustness assumption that $G$ is an $s$-connector (i.e. $\overline{G}$ is $K_{s,s}$-free) with $s=o(n)$. Moreover, we show that such $G$ has only an additive $O(s)$ loss with respect to $K_n$ for monochromatic matchings, which is essentially sharp. Our proof adapts a compression algorithm based on Gallai-Edmonds decompositions that we developed previously for generalised Ramsey-Turán problems.
Some properties of minimally nonperfectly divisible graphs
A graph is perfectly divisible if for each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$, and a graph $G$ is perfectly weight divisible if for every positive integral weight function on $V(G)$ and each of its induced subgraph $H$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and the maximum weight of a clique in $H[B]$ is smaller than the maximum weight of a clique in $H$. A clique $X$ of a connected graph $G$ is called a clique cutset if $G-X$ is disconnected. In this paper, we investigate the relationship between the perfect divisibility of a graph and its perfect weighted divisibility. We also show that $2P_3$-free or claw-free minimally nonperfectly divisible graphs contain no clique cutset, that conditionally answers a question of Hoàng [Discrete Math. \textbf{349} (2025) 114809].
Sampling from the antiferromagnetic Ising model on bipartite, regular expander graphs
The antiferromagnetic Ising model samples subsets of vertices of a graph with weight decaying exponentially in the number of edges induced. We study the problem of sampling from this model on the class of bipartite, regular graphs with good vertex expansion. We show that a natural sampler, namely the Glauber dynamics, mixes exponentially slowly in a wide range of parameters. On the other hand, we give an efficient alternative algorithm for sampling from the Ising model and an FPTAS for its partition function, using polymer models and the cluster expansion method.
Degree Sequences vs. Forests in Bipartite Graphs
We prove a conjecture of Shteiner and Shteyner stating that for a bipartite graph $G=(V,E)$, the number of forests in $G$ equals the number of degree sequences arising from its spanning subgraphs. In the process, we provide several equivalent evaluations of the Tutte polynomial $T_G(x,y)$ at $(2,1)$, including interpretations in terms of degree vectors obtained from orientations of $G$.
A strong nullity parameter for rooted graphs
The inverse eigenvalue problem of a graph $G$ studies the possible spectra of matrices associated with $G$, including as an important subproblem the possible nullities of such a matrix. Much research in this area to date has focused only on the spectrum of the matrix itself, but there are applications of inverse eigenvalue problems that also involve the interaction between that spectrum and the spectrum of some maximal proper principal submatrix, or in other words the interlacing spectrum that results from crossing out any one row and the same column. Motivated by this refined information, given a graph $G$ on $n$ vertices with a designated root vertex, we investigate all possible nullity pairs where the first nullity is that of an $n \times n$ symmetric matrix associated to $G$ and the second nullity is that of the principal submatrix of size $(n - 1) \times (n - 1)$ that results from deleting the row and column associated to the root vertex. We define a new parameter $ξξ(G,i)$ for rooted graphs $(G,i)$ equipped with the strong nullity interlacing property that coordinates the two values of a nullity pair, and we show that this graph parameter is minor monotone. Moreover, we prove a bifurcation lemma for the strong nullity interlacing property. We use these new tools to characterize the rooted graphs with $ξξ(G,i) \geq s$ for $s \in \{ 0,1,2,3,4, 5\}$ by finding the minimal minors for each of these families. These families turn out to have strong connections to the minimal minors for $ξ(G) \geq k$.