In the present paper, exterior algebraic shifting and symmetric algebraic shifting of bipartite graphs and chordal graphs are studied. First, we will determine the symmetric algebraic shifted graph of complete bipartite graphs. It turns out that, for $a>3$ and $b>3$, the exterior algebraic shifted graph of the complete bipartite graph $K_{a,b}$ of size $a,b$ is different from the symmetric algebraic shifted graph of $K_{a,b}$. Second, we will show that the exterior algebraic shifted graph of any chordal graph $G$ is coincident with the symmetric algebraic shifted graph of $G$.
We try to understand the behavior of exterior algebraic shifting with respect to basic constructions on simplicial complexes, like union and join. In particular we give a complete combinatorial description of the shifting of a disjoint union, and more generally of a union along a simplex, in terms of the shifting of its components. As a corollary, we prove the following, conjectured by Kalai: $Δ(K \cup L) = Δ(Δ(K) \cup Δ(L))$, where $K,L$ are complexes, $\cup$ means disjoint union, and $Δ$ is the exterior shifting operator. We give an example showing that replacing the operation 'union' with t…
Recently, Nevo introduced the notion of strongly edge decomposable spheres. In this paper, we characterize the algebraic shifted complex of those spheres. Algebraically, this result yields the characterization of the generic initial ideal of the Stanley--Reisner ideal of Gorenstein* complexes having the strong Lefschetz property in characteristic 0.
In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let $σ$ and $τ$ be simplicial complexes and $σ* τ$ their join. Let $J_σ$ be the exterior face ideal of $σ$ and $Δ(σ)$ the exterior algebraic shifted complex of $σ$. Assume that $σ* τ$ is a simplicial complex on $[n]=\{1,2,...,n\}$. For any $d$-subset $S \subset [n]$, let $m_{\preceq_{rev} S}(σ)$ denote the number of $d$-subsets $R \in σ$ which is equal to or smaller than $S$ w.r.t. the reverse lexicographic order. We will prove that $m_{\preceq_{rev} S}(Δ({σ* τ}))\geq m_{\preceq_{…
This thesis focuses on algebraic shifting and its applications to f-vector theory of simplicial complexes and more general graded posets. In particular, several approaches and partial results concerning the g-conjecture for simplicial spheres are presented here.
A family $\mathcal{A}$ of sets is {\it $t$-intersecting} if the cardinality of the intersection of every pair of sets in $\mathcal{A}$ is at least $t$, and is an {\it $r$-family} if every set in $\mathcal{A}$ has cardinality $r$. A well-known theorem of Erdős, Ko, and Rado bounds the cardinality of a $t$-intersecting $r$-family of subsets of an $n$-element set, or equivalently of $(r-1)$-dimensional faces of a simplex with $n$ vertices. As a generalization of the Erdős-Ko-Rado theorem, Borg presented a conjecture concerning the size of a $t$-intersecting $r$-family of faces of an arbitrary sim…
We propose a strengthening of the conclusion in Turán's (3,4)-conjecture in terms of algebraic shifting, and show that its analogue for graphs does hold. In another direction, we generalize the Mantel-Turán theorem by weakening its assumption: for any graph G on n vertices and any involution on its vertex set, if for any 3-set S of the vertices, the number of edges in G spanned by S, plus the number of edges in G spanned by the image of S under the involution, is at least 2, then the number of edges in G is at least the Mantel-Turán bound, namely the number achieved by two disjoint cliques of …
Gluck (1975) has proven that triangulated 2-spheres are generically 3-rigid. Equivalently, planar graphs are generically 3-stress free. We show that linklessly embeddable graphs are generically 4-stress free. Both of these results are corollaries of the following theorem: every K_{r+2}-minor free graph is generically r-stress free for 0<r<5. (This assertion is false for r>5.) We give an equivalent formulation of this theorem in the language of symmetric algebraic shifting and show that its analogue for exterior algebraic shifting also holds. Some further extensions are detailed.
We show that by restricting the degrees of the vertices of a graph to an arbitrary set \( Δ\), the threshold point $ α(Δ) $ of the phase transition for a random graph with $ n $ vertices and $ m = α(Δ) n $ edges can be either accelerated (e.g., $ α(Δ) \approx 0.381 $ for $ Δ= \{0,1,4,5\} $) or postponed (e.g., $ α(\{ 2^0, 2^1, \cdots, 2^k, \cdots \}) \approx 0.795 $) compared to a classical Erdős--Rényi random graph with $ α(\mathbb Z_{\geq 0}) = \tfrac12 $. In particular, we prove that the probability of graph being nonplanar and the probability of having a complex component, goes from $ 0 $ …
We present an algebraic algorithm to detect the existence of and to list all indecomposable even circuits in a given graph. We also discuss an application of our work to the study of directed cycles in digraphs.
Given two graphs $T$ and $F$, the maximum number of copies of $T$ in an $F$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n,T,F)$. When $T=K_2$, it reduces to the classical Turán number $ex(n,F)$. Let $M_{k}$ be a matching with $k$ edges and $K^{*}_{s,t}$ a graph obtained from $K_{s,t}$ by replacing the part of size $s$ by a clique of the same size. In this paper, we show that for any $s\geq 2$ and $n\geq 2k+1$, \[ ex(n,K_s,M_{k+1})=\max\left\{\binom{2k+1}{s}, \binom{k}{s}+(n-k)\binom{k}{s-1}\right\}. \] For any $s\geq 1$, $t\geq 2$ and $n\geq 2k+1$, \[ ex(n…
The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that $k$-colorability of a graph $G$ is equivalent to the condition $1 \in I_{G,k}$ for a certain ideal $I_{G,k} \subseteq \k[x_1, ..., x_n]$. In this paper, we extend this result by proving a general decomposition theorem for $I_{G,k}$. This theorem allows us to give an algebraic characterization of uniquely $k$-colorable graphs. Our results also give algorithms for testing unique colorability. As an application, we verify a counterexamp…
In this paper, we characterize chordal and perfect zero-divisor graphs of finite posets. Also, it is proved that the zero-divisor graphs of finite posets and the complement of zero-divisor graphs of finite $0$-distributive posets satisfy the Total Coloring Conjecture. These results are applied to the zero-divisor graphs of finite reduced rings, the comaximal ideal graph of rings, the annihilating ideal graphs, the intersection graphs of ideals of rings, and the intersection graphs of subgroups of cyclic groups. In fact, it is proved that these graphs associated with a commutative ring $R$ with…
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal in a polynomial ring $R$. We give the formula of Castelnuovo-Mumford regularity of $R/I(\mathcal{D})$ when $\mathcal{D}$ is a weighted oriented path or cycle such that edges of $\mathcal{D}$ are oriented in one direction. Additionally, we compute the projective dimension for this class of graphs.
An extension of an induced path $P$ in a graph $G$ is an induced path $P'$ such that deleting the endpoints of $P'$ results in $P$. An induced path in a graph is said to be avoidable if each of its extensions is contained in an induced cycle. In 2019, Beisegel, Chudovsky, Gurvich, Milanič, and Servatius conjectured that every graph that contains an induced $k$-vertex path also contains an avoidable induced path of the same length, and proved the result for $k = 2$. The case $k = 1$ was known much earlier, due to a work of Ohtsuki, Cheung, and Fujisawa in 1976. The conjecture was proved for all…
Let $G$ and $H$ be two simple graphs and let $G*H$ denotes the graph theoretical product of $G$ by $H$. In this paper we provide some results on graded Betti numbers, Castelnuovo-Mumford regularity, projective dimension, $h$-vector, and Hilbert series of $G*H$ in terms of that information of $G$ and $H$. To do this, we will provide explicit formulae to compute graded Betti numbers, $h$-vector, and Hilbert series of disjoint union of complexes. Also we will prove that the family of graphs whose regularity equal the maximum number of pairwise $3$-disjoint edges, is closed under product of graphs…
In this paper, motivated by a question posed in \cite{AH}, we introduce strongly biconvex graphs as a subclass of weakly chordal and bipartite graphs. We give a linear time algorithm to find an induced matching for such graphs and we prove that this algorithm indeed gives a maximum induced matching. Applying this algorithm, we provide a strongly biconvex graph whose (monomial) edge ideal does not admit a unique extremal Betti number. Using this constructed graph, we provide an infinite family of the so-called closed graphs (also known as proper interval graphs) whose binomial edge ideals do no…
The connectivity of graphs of simplicial and polytopal complexes is a classical subject going back at least to Steinitz, and the topic has since been studied by many authors, including Balinski, Barnette, Athanasiadis and Bjorner. In this note, we provide a unifying approach which allows us to obtain more general results. Moreover, we provide a relation to commutative algebra by relating connectivity problems to graded Betti numbers of the associated Stanley--Reisner rings.
Let $G$ be the circulant graph $C_n(S)$ with $S\subseteq\{ 1,\ldots,\left \lfloor\frac{n}{2}\right \rfloor\}$ and let $I(G)$ be its edge ideal in the ring $K[x_0,\ldots,x_{n-1}]$. Under the hypothesis that $n$ is prime we : 1) compute the regularity index of $R/I(G)$; 2) compute the Castelnuovo-Mumford regularity when $R/I(G)$ is Cohen-Macaulay; 3) prove that the circulant graphs with $S=\{1,\ldots,s\}$ are sequentially $S_2$ . We end characterizing the Cohen-Macaulay circulant graphs of Krull dimension $2$ and computing their Cohen-Macaulay type and Castelnuovo-Mumford regularity.
We develop a bipartite rigidity theory for bipartite graphs parallel to the classical rigidity theory for general graphs, and define for two positive integers $k,l$ the notions of $(k,l)$-rigid and $(k,l)$-stress free bipartite graphs. This theory coincides with the study of Babson--Novik's balanced shifting restricted to graphs. We establish bipartite analogs of the cone, contraction, deletion, and gluing lemmas, and apply these results to derive a bipartite analog of the rigidity criterion for planar graphs. Our result asserts that for a planar bipartite graph $G$ its balanced shifting, $G^b…
We derive a new upper bound on the algebraic connectivity of a regular graph using the Higman-Sims technique. Together with a new result on the connectivity of the neighbourhood graph of strongly regular graphs, our result gives a characterization of a class of strongly regular graphs that maximize the algebraic connectivity amongst regular graphs.
Among all simple 2-connected graphs, and among all $θ$-graphs, the graphs with the minimum algebraic connectivity are completely determined, respectively.
This paper investigates some relationship between the algebraic connectivity and the clique number of graphs. We characterize all extremal graphs which have the maximum and minimum the algebraic connectivity among all graphs of order $n$ with the clique number $r$, respectively. In turn, an upper and lower bounds for the clique number of a graph in terms of the algebraic connectivity are obtained. Moreover, a spectral version of the Erdős-Stone theorem in terms of the algebraic connectivity of graphs is presented.
In this paper we consider the following problem: Over the class of all simple connected graphs of order $n$ with $k$ pendant vertices ($n,k$ being fixed), which graph maximizes (respectively, minimizes) the algebraic connectivity? We also discuss the algebraic connectivity of unicyclic graphs.
A new algebraic Cayley graph is constructed using finite fields. Its connectedness and diameter bound are studied via Weil's estimate for character sums. These graphs provide a new source of expander graphs, extending classical results of Chung.
In this expository paper, we present a motivated construction of large graphs not containing a given complete bipartite subgraph. The key insight is that the algebraic constructions yield very non-smooth probability distributions.
We study the algebraic connectivity (or second Laplacian eigenvalue) of token graphs, also called symmetric powers of graphs. The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. Recently, it was conjectured that the algebraic connectivity of $F_k(G)$ equals the algebraic connectivity of $G$. In this paper, we prove the conjecture for new infinite families of graphs, such as trees and graphs with maximum degree large enough.
We investigate how the algebraic connectivity of a graph changes by relocating a connected branch from one vertex to another vertex, and then minimize the algebraic connectivity among all connected graphs of order $n$ with fixed domination number $γ\le \frac{n+2}{3}$, and finally present a lower bound for the algebraic connectivity in terms of the domination number.
We conjecture a new lower bound on the algebraic connectivity of a graph that involves the number of vertices of high eccentricity in a graph. We prove that this lower bound implies a strengthening of the Laplacian Spread Conjecture. We discuss further conjectures, also strengthening the Laplacian Spread Conjecture, that include a conjecture for simple graphs and a conjecture for weighted graphs.
A problem by Diestel is to extend algebraic flow theory of finite graphs to infinite graphs with ends. In order to pursue this problem, we define an A-flow and non-elusive H-flow for arbitrary graphs and for abelian topological Hausdorff groups H and compact subsets A of H. We use these new definitions to extend several well-known theorems of flows in finite graphs to infinite graphs.
In this paper we characterize the unique graph whose algebraic connectivity is minimum among all connected graphs with given order and fixed matching number or edge covering number, and present two lower bounds for the algebraic connectivity in terms of the matching number or edge covering number.
In the present paper we study algebraic properties of edge ideals associated with plane curve arrangements via their Levi graphs. Using combinatorial properties of such Levi graphs we are able to describe those monomial algebras being Cohen-Macaulay, Buchsbaum, and sequentially Cohen-Macaulay. We also condsider the projective dimension and the Castelnuovo-Mumford regularity for these edge ideals. We provide effective lower and upper bounds on them. As a byproduct of our study we connect, in general, various Buchsbaum properties of squarefree modules.
We present simple graph-theoretic characterizations of Cayley graphs for left-cancellative monoids, groups, left-quasigroups and quasigroups. We show that these characterizations are effective for the end-regular graphs of finite degree.
The $d$-dimensional algebraic connectivity $a_d(G)$ of a graph $G=(V,E)$, introduced by Jordán and Tanigawa, is a quantitative measure of the $d$-dimensional rigidity of $G$ that is defined in terms of the eigenvalues of stiffness matrices (which are analogues of the graph Laplacian) associated to mappings of the vertex set $V$ into $\mathbb{R}^d$. Here, we analyze the $d$-dimensional algebraic connectivity of complete graphs. In particular, we show that, for $d\geq 3$, $a_d(K_{d+1})=1$, and for $n\geq 2d$, \[ \left\lceil\frac{n}{2d}\right\rceil-2d+1\leq a_d(K_n) \leq \frac{2n}{3(d-1)}+\frac{1…
We present the implementation of an algorithm for graph isomorphism testing, based on ideas about number of walks (of sufficiently large length) between vertices. The algorithm is expanded for strongly regular graphs (SRG-s) by testing the local complements and values of determinants of their adjacency matrices. All known non-isomorphic SRG-s (with no more than 64 vertices) are distinguishable by this method.
We present simple graph-theoretic characterizations of Cayley graphs for monoids, semigroups and groups. We extend these characterizations to commutative monoids, semilattices, and abelian groups.
Let $Γ=(V,E)$ be a graph. If all the eigenvalues of the adjacency matrix of the graph $Γ$ are integers, then we say that $Γ$ is an integral graph. A graph $Γ$ is determined by its spectrum if every graph cospectral to it is in fact isomorphic to it. In this paper, we investigate some algebraic properties of the Cayley graph $Γ=Cay(\mathbb{Z}_{n}, S)$, where $n=p^m$, ($p$ is a prime integer, $m\in\mathbb{N}$) and $S=\{{a}\in\mathbb{Z}_{n}\,|\,\, (a, n)=1\}$. First, we show that $Γ$ is an integral graph. Also we determine the automorphism group of $Γ$. Moreover, we show that $Γ$ and $K_v \bigtri…
We compute magnitude homology of various graphs using algebraic Morse theory. Specifically, we (1) give an alternative proof that trees are diagonal, (2) identify a new class of diagonal graphs, (3) prove that the icosahedral graph is diagonal, and (4) compute the magnitude homology of cycles. These results answer several questions of Hepworth and Willerton [HW17].
In this paper we show that the $d$-dimensional algebraic connectivity of an arbitrary graph $G$ is bounded above by its $1$-dimensional algebraic connectivity, i.e., $a_d(G) \leq a_1(G)$, where $a_1(G)$ corresponds the well-studied second smallest eigenvalue of the graph Laplacian.
The difference between the two largest eigenvalues of the adjacency matrix of a graph $G$ is called the spectral gap of $G.$ If $G$ is a regular graph, then its spectral gap is equal to algebraic connectivity. Abdi, Ghorbani and Imrich, in [European J. Combin. 95 (2021) 103328], showed that the minimum algebraic connectivity of cubic connected graphs on $2n$ vertices is $(1+o(1))\frac{π^{2}}{2n^{2}}$, which is attained on non-bipartite graphs. Motivated by the above result, we in this paper investigate the algebraic connectivity of cubic bipartite graphs. We prove that the minimum algebraic co…
We investigate a descent on simple graphs, starting with the complete graph on $n$ vertices and ending up with the cycle graph by removing one edge after another. We obtain quantitative results showing that graphs with large diameter must have some eigenvalues of large algebraic degree.
For a graph $G$, let $λ_2(G)$ denote its second smallest Laplacian eigenvalue. It was conjectured that $λ_2(G) + λ_2(\overline G) \ge 1$, where $\overline G$ is the complement of $G$. In this paper, it is shown that $\max\{λ_2(G), λ_2(\overline G)\} \ge 2/5$.
The Algebraic Connectivity and Laplacian Spectral Radius of Token Graphs
Shenzhen University of Information Technology（深圳信息职业技术学院）；Universitat de Lleida（莱里达大学）；Universitat Politècnica de Catalunya（加泰罗尼亚理工大学）；Northwestern Polytechnical University（西北工业大学）
An oriented hypergraph is a hypergraph where each vertex-edge incidence is given a label of $+1$ or $-1$. We define the adjacency, incidence and Laplacian matrices of an oriented hypergraph and study each of them. We extend several matrix results known for graphs and signed graphs to oriented hypergraphs. New matrix results that are not direct generalizations are also presented. Finally, we study a new family of matrices that contains walk information.
The sandpile group of a graph is a well-studied object that combines ideas from algebraic graph theory, group theory, dynamical systems, and statistical physics. A graph's sandpile group is part of a larger algebraic structure on the graph, known as its sandpile monoid. Most of the work on sandpiles so far has focused on the sandpile group rather than the sandpile monoid of a graph, and has also assumed the underlying graph to be undirected. A notable exception is the recent work of Babai and Toumpakari, which builds up the theory of sandpile monoids on directed graphs from scratch and provide…
We study the algebraic rank of a divisor on a graph, an invariant defined using divisors on algebraic curves dual to the graph. We prove it satisfies the Riemann-Roch formula, a specialization property, and the Clifford inequality. We prove that it is at most equal to the (usual) combinatorial rank, and that equality holds in many cases, though not in general.
Partially commutative monoids provide a powerful tool to study graphs, viewingwalks as words whose letters, the edges of the graph, obey a specific commutation rule. A particularclass of traces emerges from this framework, the hikes, whose alphabet is the set of simple cycleson the graph. We show that hikes characterize undirected graphs uniquely, up to isomorphism, andsatisfy remarkable algebraic properties such as the existence and uniqueness of a prime factorization.Because of this, the set of hikes partially ordered by divisibility hosts a plethora of relations in directcorrespondence with…
The paper investigates relationship between algebraic expressions and graphs. We consider a digraph called a Fibonacci graph which gives a generic example of non-series-parallel graphs. Our intention in this paper is to simplify the expressions of Fibonacci graphs and eventually find their shortest representations. With that end in view, we describe the optimal decomposition method for generating Fibonacci graph expressions that is conjectured to provide these representations. Proof (or disproof) of this conjecture is presented as an open problem.
