graph
34604 papers tagged with this keyword
GKM graph locally modeled by $T^{n}\times S^{1}$-action on $T^{*}\mathbb{C}^{n}$ and its graph equivariant cohomology
Published in Fields Institute Communications Volume 89, Toric Topology and Polyhedral Products, pp179--238 (2024)
• View Publication
• BIB
We introduce a class of labeled graphs (with legs) which contains two classes of GKM graphs of $4n$-dimensional manifolds with $T^{n}\times S^{1}$-actions, i.e., GKM graphs of the toric hyperK${\rm\ddot{a}}$hler manifolds and of the cotangent bundles of toric manifolds. Under some conditions, the graph equivariant cohomology ring of such a labeled graph is computed. We also give a module basis of the graph equivariant cohomology by using a shelling structure of such a labeled graph and study their multiplicative structure.
Bongartz completion via $c$-vectors
Published
• View Publication
• BIB
In the present paper, we first give a characterization for Bongartz completion in $τ$-tilting theory via $c$-vectors. Motivated by this characterization, we give the definition of Bongartz completion in cluster algebras using $c$-vectors. Then we prove the existence and uniqueness of Bongartz completion in cluster algebras. We also prove that Bongartz completion admits certain commutativity. We give two applications for Bongartz completion in cluster algebras. As the first application, we prove the full subquiver of the exchange quiver (or known as oriented exchange graph) of a cluster algebra $\mathcal A$ whose vertices consist of seeds of $\mathcal A$ containing particular cluster variables is isomorphic to the exchange quiver of another cluster algebra. As the second application, we prove that in a cluster Poisson algebra $\mathcal X_\bullet$, each cluster Poisson seed (up to seed equivalence) of $\mathcal X_\bullet$ is uniquely determined by its negative cluster Poisson variables.
The Wiener Index of Signed Graphs
Published
• View Publication
• BIB
The Wiener index of a graph $W(G)$ is a well studied topological index for graphs. An outstanding problem of Šolt{é}s is to find graphs $G$ such that $W(G)=W(G-v)$ for all vertices $v\in V(G)$, with the only known example being $G=C_{11}$. We relax this problem by defining a notion of Wiener indices for signed graphs, which we denote by $W_σ(G)$, and under this relaxation we construct many signed graphs such that $W_σ(G)=W_σ(G-v)$ for all $v\in V(G)$. This ends up being related to a problem of independent interest, which asks when it is possible to $2$-color the edges of a graph $G$ such that there is a path between any two vertices of $G$ which uses each color the same number of times.
A Smoother Notion of Spread Hypergraphs
Published
• View Publication
• BIB
Alweiss, Lovett, Wu, and Zhang introduced $q$-spread hypergraphs in their breakthrough work regarding the sunflower conjecture, and since then $q$-spread hypergraphs have been used to give short proofs of several outstanding problems in probabilistic combinatorics. A variant of $q$-spread hypergraphs was implicitly used by Kahn, Narayanan, and Park to determine the threshold for when a square of a Hamiltonian cycle appears in the random graph $G_{n,p}$. In this paper we give a common generalization of the original notion of $q$-spread hypergraphs and the variant used by Kahn et al.
Smaller extended formulations for spanning tree polytopes in minor-closed classes and beyond
Published in Electronic Journal of Combinatorics, 28/4:P4.47, 2021
• View Publication
• BIB
Let $G$ be a connected $n$-vertex graph in a proper minor-closed class $\mathcal G$. We prove that the extension complexity of the spanning tree polytope of $G$ is $O(n^{3/2})$. This improves on the $O(n^2)$ bounds following from the work of Wong (1980) and Martin (1991). It also extends a result of Fiorini, Huynh, Joret, and Pashkovich (2017), who obtained a $O(n^{3/2})$ bound for graphs embedded in a fixed surface. Our proof works more generally for all graph classes admitting strongly sublinear balanced separators: We prove that for every constant $β$ with $0<β<1$, if $\mathcal G$ is a graph class closed under induced subgraphs such that all $n$-vertex graphs in $\mathcal G$ have balanced separators of size $O(n^β)$, then the extension complexity of the spanning tree polytope of every connected $n$-vertex graph in $\mathcal{G}$ is $O(n^{1+β})$. We in fact give two proofs of this result, one is a direct construction of the extended formulation, the other is via communication protocols. Using the latter approach we also give a short proof of the $O(n)$ bound for planar graphs due to Williams (2002).
Structural properties of bipartite subgraphs
This paper establishes sufficient conditions that force a graph to contain a bipartite subgraph with a given structural property. In particular, let $β$ be any of the following graph parameters: Hadwiger number, Hajós number, treewidth, pathwidth, and treedepth. In each case, we show that there exists a function $f$ such that every graph $G$ with $β(G)\geq f(k)$ contains a bipartite subgraph $\hat{G}\subseteq G$ with $β(\hat{G})\geq k$.
Chordal graphs, higher independence and vertex decomposable complexes
Published in International Journal of Algebra and Computation, 33(3), 481-498, 2023
• View Publication
• BIB
Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground for interactions between commutative algebra, graph theory and algebraic topology. One of the line of research pursued by many authors is to determine the graph classes for which the associated independence complex is Cohen-Macaulay. For example, it is known that when $G$ is a chordal graph the complex $\mathrm{Ind}(G)$ is in fact vertex decomposable, the strongest condition in the Cohen-Macaulay ladder.
In this article we consider a generalization of independence complex. Given $r\geq 1$, a subset of the vertex set is called $r$-independent if the connected components of the induced subgraph have cardinality at most $r$. The collection of all $r$-independent subsets of $G$ form a simplicial complex called the $r$-independence complex and is denoted by $\mathrm{Ind}_r(G)$. It is known that when $G$ is a chordal graph the complex $\mathrm{Ind}_r(G)$ has the homotopy type of a wedge of spheres. Hence it is natural to ask which of these complexes are shellable or even vertex decomposable. We prove, using Woodroofe's chordal hypergraph notion, that these complexes are always shellable when the underlying chordal graph is a tree. Further, using the notion of vertex splittable ideals we show that for caterpillar graphs the associated $r$-independence complex is vertex decomposable for all values of $r$. We also construct chordal graphs on $2r+2$ vertices such that their $r$-independence complexes are not sequentially Cohen-Macaulay for any $r \ge 2$.
Three steps away from Shapiro's problem: lower bounds for graphic sums with functions `max' or `min' in denominators
Taking Shapiro's cyclic sums $\sum_{i=1}^n x_i/(x_{i+1}+x_{i+2})$ (assuming index addition mod $n$) as a starting point, we introduce a broader class of cyclic sums, called generalized Shapiro-Diananda sums, where the denominators are $p$-th order power means of the sets $\{x_{i+j_1},\dots,x_{i+j_k}\}$ with fixed distinct integers $j_1,\dots,j_k$ and $1\leq i\leq n$.
Generalizing further, we replace the set of arguments of the power mean in the $i$-th denominator by an arbitrary nonempty subset of $\{1,\dots,n\}$ interpreted as the set of out-neighbors of the node number $i$ in a directed graph with $n$ nodes. We call such sums graphic power sums since their structure is controlled by directed graphs.
The inquiry, as in the well-researched case of Shapiro's sums, concerns the greatest lower bound of the given ``sum'' as a function of positive variables $x_1,\dots,x_n$. We show that the cases of $p=+\infty$ (max-sums) and $p=-\infty$ (min-sums) are tractable.
For the max-sum associated with a given graph the g.l.b. is always an integer; for a strongly connected graph it equals to graph's girth.
For the similar min-sum, we could not relate the g.l.b. to a known combinatorial invariant; we only give some estimates and describe a method for finding the g.l.b., which has factorial complexity in $n$.
A satisfactory analytical treatment is available for the secondary minimization -- when the g.l.b.'s of min-sums for individual graphs are mininized over the class of strongly connected graphs with $n$ nodes. The result (depending only on $n$) is found to be asymptotic to $e\ln n$.
Revisiting the Maximum Principal Ratio of Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph, the principal ratio of $G$ is the ratio of the maximum and minimum entries of its Perron eigenvector. In 2007, Cioab\v a and Gregory conjectured that among all connected graphs on $n$ vertices, the kite graph attains the maximum principal ratio. In 2018, Tait and Tobin confirmed the conjecture for sufficientlty large $n$. In this article, we show the conjecture is true for all $n\geq 5000$.
Recolouring weakly chordal graphs and the complement of triangle-free graphs
Published
• View Publication
• BIB
For a graph $G$, the $k$-recolouring graph $\mathcal{R}_k(G)$ is the graph whose vertices are the $k$-colourings of $G$ and two colourings are joined by an edge if they differ in colour on exactly one vertex. We prove that for all $n \ge 1$, there exists a $k$-colourable weakly chordal graph $G$ where $\mathcal{R}_{k+n}(G)$ is disconnected, answering an open question of Feghali and Fiala. We also show that for every $k$-colourable $3K_1$-free graph $G$, $\mathcal{R}_{k+1}(G)$ is connected with diameter at most $4|V(G)|$.
Long induced paths in a configuration model
In an article published in 1987 in Combinatorica \cite{MR918397}, Frieze and Jackson established a lower bound on the length of the longest induced path (and cycle) in a sparse random graph. Their bound is obtained through a rough analysis of a greedy algorithm. In the present work, we provide a sharp asymptotic for the length of the induced path constructed by their algorithm. To this end, we introduce an alternative algorithm that builds the same induced path and whose analysis falls into the framework of a previous work by the authors on depth-first exploration of a configuration model \cite{EFMN}. We also analyze an extension of our algorithm that mixes depth-first and breadth-first explorations and generates $m$-induced paths.
Iwasawa Theory of Jacobians of Graphs
Published
• View Publication
• BIB
The Jacobian group (also known as the critical group or sandpile group) is an important invariant of a finite, connected graph $X$; it is a finite abelian group whose cardinality is equal to the number of spanning trees of $X$ (Kirchhoff's Matrix Tree Theorem). A specific type of covering graph, called a derived graph, that is constructed from a voltage graph with voltage group $G$ is the object of interest in this paper. Towers of derived graphs are studied by using aspects of classical Iwasawa Theory (from number theory). Formulas for the orders of the Sylow $p$-subgroups of Jacobians in an infinite voltage $p$-tower, for any prime $p$, are obtained in terms of classical $μ$ and $λ$ invariants by using the decomposition of a finitely generated module over the Iwasawa Algebra.
Powers of Hamiltonian cycles in multipartite graphs
Published in Discrete Math. 345 (2022) 112747
• View Publication
• BIB
We prove that if $G$ is a $k$-partite graph on $n$ vertices in which all of the parts have order at most $n/r$ and every vertex is adjacent to at least a $1-1/r+o(1)$ proportion of the vertices in every other part, then $G$ contains the $(r-1)$-st power of a Hamiltonian cycle
Massively Winning Configurations in the Convex Grabbing Game on the Plane
The convex grabbing game is a game where two players, Alice and Bob, alternate taking extremal points from the convex hull of a point set on the plane. Rational weights are given to the points. The goal of each player is to maximize the total weight over all points that they obtain. We restrict the setting to the case of binary weights. We show a construction of an arbitrarily large odd-sized point set that allows Bob to obtain almost 3/4 of the total weight. This construction answers a question asked by Matsumoto, Nakamigawa, and Sakuma in [Graphs and Combinatorics, 36/1 (2020)]. We also present an arbitrarily large even-sized point set where Bob can obtain the entirety of the total weight. Finally, we discuss conjectures about optimum moves in the convex grabbing game for both players in general.
Branched coverings of the 2-sphere
Published
• View Publication
• BIB
Thurston obtained a combinatorial characterization for generic branched self-coverings that preserve the orientation of the oriented 2-sphere by associating a planar graph to them [arXiv:1502.04760]. In this work, the Thurston result is generalized to any branched covering of the oriented 2-sphere. To achieve that the notion of local balance introduced by Thurston is generalized. As an application, a new proof for a Theorem of Eremenko-Gabrielov-Mukhin-Tarasov-Varchenko [MR1888795], [MR2552110] is obtained. This theorem corresponded to a special case of the B. \& M. Shapiro conjecture. In this case, it refers to generic rational functions stating that a generic rational function $ R : \mathbb{C}\mathbb{P}^1 \rightarrow \mathbb{C}\mathbb{P}^1$ with only real critical points can be transformed by post-composition with an automorphism of $\mathbb{C}\mathbb{P}^1$ into a quotient of polynomials with real coefficients. Operations against balanced graphs are introduced.
Convergence of the Probabilistic Interpretation of Modulus
Published
• View Publication
• BIB
Given a Jordan domain $Ω\subset\mathbb{C}$ and two disjoint arcs $A, B$ on $\partialΩ$, the modulus $m$ of the curve family connecting $A$ and $B$ in $Ω$ is equal to the modulus of the curve family connecting the vertical sides in the rectangle $R=[0,1]\times[0,m]$. Also, $m>0$ is the unique value such that there is a conformal map $ψ$ mapping $Ω$ to ${\rm int}(R)$ so that $ψ$ extends continuously to a homeomorphism of $\partial Ω$ onto $\partial R$ and the arcs $A$ and $B$ are sent to the vertical sides of $R$. Moreover, in the case of the rectangle the family of horizontal segments connecting the two sides has the same modulus as the entire connecting family. Pulling these segments back to $Ω$ via $ψ$ yields a family of extremal curves (also known as horizontal trajectories) connecting $A$ to $B$ in $Ω$. In this paper, we show that these extremal curves can be approximated by some discrete paths arising from an orthodiagonal approximation of $Ω$. Moreover, we show that there is a natural probability mass function (pmf) on these paths, deriving from the theory of discrete modulus, which converges to the transverse measure on the set of extremal curves. The key ingredient is an algorithm that, for an embedded planar graph, takes the current flow between two sets of nodes, and produces a unique path decomposition with non-crossing paths. Moreover, some care was taken to adapt recent results for harmonic convergence on orthodiagonal maps, due to Gurel-Gurevich, Jerison, and Nachmias, to our context. Finally, we generalize a result of N.~Alrayes from the square grid setting to the orthodiagonal setting, and prove that the discrete modulus of the approximating non-crossing paths converges to the continuous modulus.
Routing by matching on convex pieces of grid graphs
Published
• View Publication
• BIB
The routing number is a graph invariant introduced by Alon, Chung, and Graham in 1994, and it has been studied for trees and other classes of graphs such as hypercubes. It gives the minimum number of routing steps needed to sort a set of distinct tokens, placed one on each vertex, where each routing step swaps a set of disjoint pairs of adjacent tokens. Our main theorem generalizes the known estimate that a rectangular grid graph R with width w(R) and height h(R) has routing number rt(R) in O(w(R)+h(R)). We show that for the subgraph P of the infinite square lattice enclosed by any convex polygon, its routing number rt(P) is in O(w(P)+h(P)).
The Ihara-zeta function and the spectrum of the join of two semi-regular bipartite graphs
Published
• View Publication
• BIB
In this paper, using matrix techniques, we compute the Ihara-zeta function and the number of spanning trees of the join of two semi-regular bipartite graphs. Furthermore, we show that the spectrum and the zeta function of the join of two semi-regular bipartite graphs can determine each other.
Matching complexes of $\bf 3 \times n$ grid graphs
Published in Electronic Journal of Combinatorics, vol. 28, no. 4, Article no. P4.16, 2021
• View Publication
• BIB
The matching complex of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. In the last few years the matching complexes of grid graphs have gained much attention among the topological combinatorists. In 2017, Braun and Hough obtained homological results related to the matching complexes of $2 \times n$ grid graphs. Further in 2019, Matsushita showed that the matching complexes of $2 \times n$ grid graphs are homotopy equivalent to a wedge of spheres. In this article we prove that the matching complexes of $3\times n$ grid graphs are homotopy equivalent to a wedge of spheres. We also give the comprehensive list of the dimensions of spheres appearing in the wedge.
Spanning $F$-cycles in random graphs
We extend a recent argument of Kahn, Narayanan and Park (Proceedings of the AMS, to appear) about the threshold for the appearance of the square of a Hamilton cycle to other spanning structures. In particular, for any spanning graph, we give a sufficient condition under which we may determine its threshold. As an application, we find the threshold for a set of cyclically ordered copies of $C_4$ that span the entire vertex set, so that any two consecutive copies overlap in exactly one edge and all overlapping edges are disjoint. This answers a question of Frieze. We also determine the threshold for edge-overlapping spanning $K_r$-cycles.