graph
34585 papers tagged with this keyword
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
We propose and study the graph-theoretical problem EXISTS-PMVC: the existence of perfect matching under vertex-color constraints on graphs with bi-colored edges. EXISTS-PMVC is of special interest because of its motivation from quantum-state identification and quantum-experiment design, as well as its rich expressiveness, i.e., EXISTS-PMVC naturally subsumes important constrained matching problems, such as exact perfect matching. We give complexity and algorithmic results for EXISTS-PMVC under two types of vertex color constraints: (1) decision-diagram constraints (EXISTS-PMVC-DD) and (2) symmetric constraints (EXISTS-PMVC-Sym).
For EXISTS-PMVC-DD, we reveal its NP-hardness by a graph-gadget technique. We prove that EXISTS-PMVC-Sym with a bounded number of colors (EXISTS-PMVC-Sym-Bounded) is polynomially equivalent with Exact Perfect Matching (XPM), which implies that EXISTS-PMVC-Sym-Bounded is in RNC on general graphs and PTIME on planar graphs. Directly applying algorithms for XPM to solve EXISTS-PMVC-Sym-Bounded is, however, impractical. We propose algorithms that natively handle EXISTS-PMVC-Sym-Bounded with considerably better complexity. Our novel results for EXISTS-PMVC provide insights into both constrained matching and scalable quantum experiment design.
Edge-fault-tolerance about the SM-λ property of hypercube-like networks
The edge-fault-tolerance of networks is of great significance to the design and maintenance of networks. For any pair of vertices $u$ and $v$ of the connected graph $G$, if they are connected by $\min \{ °_G(u),°_G(v)\}$ edge-disjoint paths, then $G$ is strong Menger edge connected (SM-$λ$ for short).
The conditional edge-fault-tolerance about the SM-$ λ$ property of $G$, written $sm_λ^r(G)$, is the maximum value of $m$ such that $G-F$ is still SM-$λ$ for any edge subset $F$ with $|F|\leq m$ and $δ(G-F)\geq r$, where $δ(G-F)$ is the minimum degree of $G-F$.
Previously, most of the exact value for $sm_λ^r(G)$ is aimed at some well-known networks when $r\leq 2$, and a few of the lower bounds on some well-known networks for $r\geq 3$. In this paper, we firstly determine the exact value of $sm_λ^r(G)$ on class of hypercube-like networks (HL-networks for short, including hypercubes, twisted cubes, crossed cubes etc.) for a general $r$, that is, $sm_λ^r(G_n)=2^r(n-r)-n$ for every $G_n\in HL_n$, where $n\geq 3$ and $1\leq r \leq n-2$.
The Ihara expression of a generalization of the weighted zeta function on a finite digraph
Published
• View Publication
• BIB
We define a new weighted zeta function for a finite digraph and obtain its determinant expression called the Ihara expression. The graph zeta function is a generalization of the weighted graph zeta function introduced in previous research. That is, our result makes it possible to derive the Ihara expressions of the previous graph zeta functions for any finite digraphs.
Regularity of powers of d-sequence (parity) binomial edge ideals of unicycle graphs
Published
• View Publication
• BIB
We classify all unicycle graphs whose edge-binomials form a $d$-sequence, particularly linear type binomial edge ideals. We also classify unicycle graphs whose parity edge-binomials form a $d$-sequence. We study the regularity of powers of (parity) binomial edge ideals of unicycle graphs generated by $d$-sequence (parity) edge-binomials.
Extreme singular values of inhomogeneous sparse random rectangular matrices
Published in Bernoulli, 30(4): 2904-2931, 2024
• View Publication
• BIB
We develop a unified approach to bounding the largest and smallest singular values of an inhomogeneous random rectangular matrix, based on the non-backtracking operator and the Ihara-Bass formula for general random Hermitian matrices with a bipartite block structure. We obtain probabilistic upper (respectively, lower) bounds for the largest (respectively, smallest) singular values of a large rectangular random matrix $X$. These bounds are given in terms of the maximal and minimal $\ell_2$-norms of the rows and columns of the variance profile of $X$. The proofs involve finding probabilistic upper bounds on the spectral radius of an associated non-backtracking matrix $B$. The two-sided bounds can be applied to the centered adjacency matrix of sparse inhomogeneous Erdős-Rényi bipartite graphs for a wide range of sparsity, down to criticality. In particular, for Erdős-Rényi bipartite graphs $G(n,m,p)$ with $p=ω(\log n)/n$, and $m/n\to y \in (0,1)$, our sharp bounds imply that there are no outliers outside the support of the Marčenko-Pastur law almost surely. This result extends the Bai-Yin theorem to sparse rectangular random matrices.
Clustered Coloring of Graphs with Bounded Layered Treewidth and Bounded Degree
Published in European J. Combin. 122 (2024), 103730
• View Publication
• BIB
The clustering of a graph coloring is the maximum size of monochromatic components. This paper studies colorings with bounded clustering in graph classes with bounded layered treewidth, which include planar graphs, graphs of bounded Euler genus, graphs embeddable on a fixed surface with a bounded number of crossings per edge, map graphs, amongst other examples. Our main theorem says that every graph with layered treewidth at most $k$ and with maximum degree at most $Δ$ is $3$-colorable with clustering $O(k^{19}Δ^{37})$. This is the first known polynomial bound on the clustering. This greatly improves upon a corresponding result of Esperet and Joret for graphs of bounded genus.
Contribution of $n$-cylinder square-tiled surfaces to Masur-Veech volume of $\mathcal{H}(2g-2)$
Published in Geometric and Functional Analysis (2023)
• View Publication
• BIB
We find the generating function for the contributions of $n$-cylinder square-tiled surfaces to the Masur-Veech volume of $\mathcal{H}(2g-2)$. It is a bivariate generalization of the generating function for the total volumes obtained by Sauvaget via intersection theory. Our approach is, however, purely combinatorial. It relies on the study of counting functions for certain families of metric ribbon graphs. Their top-degree terms are polynomials, whose (normalized) coefficients are cardinalities of certain families of metric plane trees. These polynomials are analogues of Kontsevich polynomials that appear as part of his proof of Witten's conjecture.
Spectral radius of graphs forbidden $C_7$ or $C_6^{\triangle}$
Let $C_k^{\triangle}$ be the graph obtained from a cycle $C_{k}$ by adding a new vertex connecting two adjacent vertices in $C_{k}$. In this note, we obtain the graph maximizing the spectral radius among all graphs with size $m$ and containing no subgraph isomorphic to $C_6^{\triangle}$. As a byproduct, we will show that if the spectral radius $λ(G)\ge1+\sqrt{m-2}$, then $G$ must contains all the cycles $C_i$ for $3\le i\le 7$ unless $G\cong K_3\nabla \left(\frac{m-3}{3}K_1\right)$.
Between graphical zonotope and graph-associahedron
Published
• View Publication
• BIB
This manuscript introduces a finite collection of generalized permutohedra associated to a simple graph. The first polytope of this collection is the graphical zonotope of the graph and the last is the graph-associahedron associated to it. We describe the weighted integer points enumerators for polytopes in this collection as Hopf algebra morphisms of combinatorial Hopf algebras of decorated graphs.
When you come at the kings you best not miss
A tournament is an orientation of a complete graph.
We say that a vertex $x$ in a tournament $\vec T$ controls another vertex $y$ if there exists a directed path of length at most two from $x$ to $y$.
A vertex is called a king if it controls every vertex of the tournament. It is well known that every tournament has a king.
We follow Shen, Sheng, and Wu (SIAM J. Comput., 2003) in investigating the query complexity of finding a king, that is, the number of arcs in $\vec T$ one has to know in order to surely identify at least one vertex as a king.
The aforementioned authors showed that one always has to query at least $Ω(n^{4/3})$ arcs and provided a strategy that queries at most $O(n^{3/2})$. While this upper bound has not yet been improved for the original problem,
Biswas et al. (Frontiers in Algorithmics, 2017) proved that with $O(n^{4/3})$ queries one can identify a semi-king, meaning a vertex which controls at least half of all vertices.
Our contribution is a novel strategy which improves upon the number of controlled vertices: using $O(n^{4/3} \operatorname{polylog} n)$ queries, we can identify a $(\frac{1}{2}+\frac{2}{17})$-king.
To achieve this goal we use a novel structural result for tournaments.
Turán problems in pseudorandom graphs
Published in Combinator. Probab. Comp. 33 (2024) 583-596
• View Publication
• BIB
Given a graph $F$, we consider the problem of determining the densest possible pseudorandom graph that contains no copy of $F$. We provide an embedding procedure that improves a general result of Conlon, Fox, and Zhao which gives an upper bound on the density. In particular, our result implies that optimally pseudorandom graphs with density greater than $n^{-1/3}$ must contain a copy of the Peterson graph, while the previous best result gives the bound $n^{-1/4}$. Moreover, we conjecture that the exponent $1/3$ in our bound is tight. We also construct the densest known pseudorandom $K_{2,3}$-free graphs that are also triangle-free. Finally, we obtain the densest known construction of clique-free pseudorandom graphs due to Bishnoi, Ihringer and Pepe in a novel way and give a different proof that they have no large clique.
Distance spectra of some double join of graphs and some new families of distance equienergetic graphs
In this paper we compute the spectrum of a special block matrix and use it to describe the distance spectra of some double join of graphs. As an application, we give several families of distance equienergetic graphs of diameter 3.
Planar graph with twin-width seven
We construct a planar graph with twin-width equal to seven.
Central Measures of Continuous Graded Graphs:\\ the Case of Distinct Frequencies
Published
• View Publication
• BIB
We define a class of continuous graded graphs similar to the graph of Gelfand--Tsetlin patterns, and describe the set of all ergodic central measures of discrete type on the path spaces of such graphs. The main observation is that an ergodic central measure on a subgraph of a Pascal-type graph can often be obtained as the restriction of the standard Bernoulli measure to the path space of the subgraph. This observation dramatically changes the approach to finding central measures also on discrete graphs, such as the famous Young graph.
The simplest example of this type is given by the theorem on the weak limits of normalized Lebesgue measures on simplices; these are the so-called Cesàro measures, which are concentrated on the sequences with prescribed Cesàro limits (this limit parametrizes the corresponding measure).
More complicated examples are the graphs of continuous Young diagrams with fixed number of rows and the graphs of spectra of infinite Hermitian matrices of finite rank. We prove existence and uniqueness theorems for ergodic central measures and describe their structure. In particular, our results 1) give a new spectral description of the so-called infinite-dimensional Wishart measures~\cite{W}~ -- ergodic unitarily invariant measures of discrete type on the set of infinite Hermitian matrices; 2) describe the structure of continuous analogs of measures on discrete graded graphs.
New problems and connections which appear are to be considered in new publications.
On star-$k$-PCGs: Exploring class boundaries for small $k$ values
Published
• View Publication
• BIB
A graph $G=(V,E)$ is a star-$k$-PCG if there exists a weight function $w: V \rightarrow R^+$ and $k$ mutually exclusive intervals $I_1, I_2, \ldots I_k$, such that there is an edge $uv \in E$ if and only if $w(u)+w(v) \in \bigcup_i I_i$. These graphs are related to two important classes of graphs: PCGs and multithreshold graphs. It is known that for any graph $G$ there exists a $k$ such that $G$ is a star-$k$-PCG. Thus, for a given graph $G$ it is interesting to know which is the minimum $k$ such that $G$ is a star-$k$-PCG. We define this minimum $k$ as the star number of the graph, denoted by $γ(G)$. Here we investigate the star number of simple graph classes, such as graphs of small size, caterpillars, cycles and grids. Specifically, we determine the exact value of $γ(G)$ for all the graphs with at most 7 vertices. By doing so we show that the smallest graphs with star number 2 are only 4 and have exactly 5 vertices; the smallest graphs with star number 3 are only 3 and have exactly 7 vertices. Next, we provide a construction showing that the star number of caterpillars is one. Moreover, we show that the star number of cycles and two dimensional grid graphs is 2 and that the star number of $4$-dimensional grids is at least 3. Finally, we conclude with numerous open problems.
Discrete Bakry-Émery curvature tensors and matrices of connection graphs
Connection graphs are natural extensions of Harary's signed graphs. The Bakry-Émery curvature of connection graphs has been introduced by Liu, Münch and Peyerimhoff in order to establish Buser type eigenvalue estimates for connection Laplacians. In this paper, we reformulate the Bakry-Émery curvature of a vertex in a connection graph in terms of the smallest eigenvalue of a family of unitarily equivalent curvature matrices. We further interpret this family of curvature matrices as the matrix representations of a new defined curvature tensor with respect to different orthonormal basis of the tangent space at a vertex. This is a strong extension of previous works of Cushing-Kamtue-Liu-Peyerimhoff and Siconolfi on curvature matrices of graphs. Moreover, we study the Bakry-Émery curvature of Cartesian products of connection graphs, strengthening the previous result of Liu, Münch and Peyerimhoff. While results of a vertex with locally balanced structure cover previous works, various interesting phenomena of locally unbalanced connection structure have been clarified.
Toric rings arising from vertex cover ideals
Published
• View Publication
• BIB
We extend the sortability concept to monomial ideals which are not necessarily generated in one degree and as an application we obtain normal Cohen-Macaulay toric rings attached to vertex cover ideals of graphs. Moreover, we consider a construction on a graph called a clique multi-whiskering which always produces vertex cover ideals with componentwise linear powers.
On the Turán number of $K_m \vee C_{2k-1}$
Published
• View Publication
• BIB
Given a graph $H$ and a positive integer $n$, the Turán number of $H$ for the order $n$, denoted $ex(n,H)$, is the maximum size of a simple graph of order $n$ not containing $H$ as a subgraph. Given graphs $G$ and $H$, the notation $G \vee H$ means the joint of $G$ and $H$. $χ(G)$ denotes the chromatic number of a graph $G$. Since $χ(K_m \vee C_{2k-1})=m+3$ and there is an edge $e\in E(K_m \vee C_{2k-1})$ such that $χ(K_m \vee C_{2k-1}-e)= m+2$, by the Simonovits theorem, $ex(n, K_m \vee C_{2k-1}) = \lfloor \frac{(m+1)n^2}{2(m+2)}\rfloor$ for sufficiently large $n$. In this paper, we prove that $2(m+2)k-3(m+2)-1$ is large enough for $n$.
On the Maximum Induced Matching Number of a Stacked-book graph
Suppose that G is a simple, undirected graph. An induced matching in G is a set of edges M in the edge set E(G) of G such that if e1, e2 in M, then no endpoint v1, v2 of e1 and e2 respectively is incident to any edge ek in E(G) such that ek is incident to any edge in M. Denoted by im(G), the maximum cardinal number of M is known as the induced matching number of G. In this work, we probe im(G) where G = Gm,n, which is the stacked-book graph obtained by the Cartesian product of the star graph Sm and path Pn.
On weighted spectral radius of unraveled balls and normalized Laplacian eigenvalues
Published in Discrete Mathematics, 2022
• View Publication
• BIB
For a graph $G$, the unraveled ball of radius $r$ centered at a vertex $v$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We obtain a lower bound on the weighted spectral radius of unraveled balls of fixed radius in a graph with positive weights on edges, which is used to present an upper bound on the $s$-th (where $s\ge 2$) smallest normalized Laplacian eigenvalue of irregular graphs under minor assumptions. Moreover, when $s=2$, the result may be regarded as an Alon--Boppana type bound for a class of irregular graphs.