scholarly journals Cooperative Colorings and Independent Systems of Representatives

10.37236/2488 ◽  
2015 ◽  
Vol 22 (2) ◽  
Author(s):  
Ron Aharoni ◽  
Ron Holzman ◽  
David Howard ◽  
Philipp Sprüssel
Keyword(s):  
Simplicial Complex ◽  
Independent Sets ◽  
Choice Functions ◽  
Sample Result ◽  
List Colorings ◽  
Vertex Set ◽  
Degree Conditions

We study a generalization of the notion of coloring of graphs, similar in spirit to that of list colorings: a cooperative coloring of a family of graphs $G_1,G_2, \ldots,G_k$ on the same vertex set $V$ is a choice of independent sets $A_i$ in $G_i$ ($1 \le i \le k)$ such that $\bigcup_{i=1}^kA_i=V$. This notion is linked (with translation in both directions) to the notion of ISRs, which are choice functions on given sets, whose range belongs to some simplicial complex. When the complex is that of the independent sets in a graph $G$, an ISR for a partition of the vertex set of a graph $G$ into sets $V_1,\ldots, V_n$ is a choice of a vertex $v_i \in V_i$ for each $i$ such that $\{v_1,\ldots,v_n\}$ is independent in $G$. Using topological tools, we study degree conditions for the existence of cooperative colorings and of ISRs. A sample result: Three cycles on the same vertex set have a cooperative coloring.

scholarly journals Hard Squares with Negative Activity and Rhombus Tilings of the Plane

10.37236/1093 ◽  
2006 ◽  
Vol 13 (1) ◽  
Author(s):  
Jakob Jonsson
Keyword(s):  
Partition Function ◽  
Statistical Mechanics ◽  
Simplicial Complex ◽  
Transfer Matrix ◽  
Euler Characteristic ◽  
Independent Sets ◽  
Roots Of Unity ◽  
Hard Squares ◽  
Vertex Set

Let $S_{m,n}$ be the graph on the vertex set ${\Bbb Z}_m \times {\Bbb Z}_n$ in which there is an edge between $(a,b)$ and $(c,d)$ if and only if either $(a,b) = (c,d\pm 1)$ or $(a,b) = (c \pm 1,d)$ modulo $(m,n)$. We present a formula for the Euler characteristic of the simplicial complex $\Sigma_{m,n}$ of independent sets in $S_{m,n}$. In particular, we show that the unreduced Euler characteristic of $\Sigma_{m,n}$ vanishes whenever $m$ and $n$ are coprime, thereby settling a conjecture in statistical mechanics due to Fendley, Schoutens and van Eerten. For general $m$ and $n$, we relate the Euler characteristic of $\Sigma_{m,n}$ to certain periodic rhombus tilings of the plane. Using this correspondence, we settle another conjecture due to Fendley et al., which states that all roots of $\det (xI-T_m)$ are roots of unity, where $T_m$ is a certain transfer matrix associated to $\{\Sigma_{m,n} : n \ge 1\}$. In the language of statistical mechanics, the reduced Euler characteristic of $\Sigma_{m,n}$ coincides with minus the partition function of the corresponding hard square model with activity $-1$.

scholarly journals Hard Squares with Negative Activity on Cylinders with Odd Circumference

10.37236/71 ◽  
2009 ◽  
Vol 16 (2) ◽  
Author(s):  
Jakob Jonsson
Keyword(s):  
Partition Function ◽  
Statistical Mechanics ◽  
Simplicial Complex ◽  
Euler Characteristic ◽  
Independent Sets ◽  
Square Grid ◽  
Unit Square ◽  
Hard Squares ◽  
Vertex Set

Let $C_{m,n}$ be the graph on the vertex set $\{1, \ldots, m\} \times \{0, \ldots, n-1\}$ in which there is an edge between $(a,b)$ and $(c,d)$ if and only if either $(a,b) = (c,d\pm 1)$ or $(a,b) = (c \pm 1,d)$, where the second index is computed modulo $n$. One may view $C_{m,n}$ as a unit square grid on a cylinder with circumference $n$ units. For odd $n$, we prove that the Euler characteristic of the simplicial complex $\Sigma_{m,n}$ of independent sets in $C_{m,n}$ is either $2$ or $-1$, depending on whether or not $\gcd(m-1,n)$ is divisble by $3$. The proof relies heavily on previous work due to Thapper, who reduced the problem of computing the Euler characteristic of $\Sigma_{m,n}$ to that of analyzing a certain subfamily of sets with attractive properties. The situation for even $n$ remains unclear. In the language of statistical mechanics, the reduced Euler characteristic of $\Sigma_{m,n}$ coincides with minus the partition function of the corresponding hard square model with activity $-1$.

scholarly journals Hypergraph domination and strong independence

2009 ◽  
Vol 3 (2) ◽  
pp. 347-358 ◽  
Author(s):  
Bibin Jose ◽  
Zsolt Tuza
Keyword(s):  
Dominating Set ◽  
Independent Sets ◽  
Dominating Sets ◽  
Tight Bound ◽  
Open Problems ◽  
Odd Cycle ◽  
Vertex Set

We solve several conjectures and open problems from a recent paper by Acharya [2]. Some of our results are relatives of the Nordhaus-Gaddum theorem, concerning the sum of domination parameters in hypergraphs and their complements. (A dominating set in H is a vertex set D X such that, for every vertex x? X\D there exists an edge E ? E with x ? E and E?D ??.) As an example, it is shown that the tight bound ??(H)+??(H) ? n+2 holds in hypergraphs H = (X, E) of order n ? 6, where H is defined as H = (X, E) with E = {X\E | E ? E}, and ?? is the minimum total cardinality of two disjoint dominating sets. We also present some simple constructions of balanced hypergraphs, disproving conjectures of the aforementioned paper concerning strongly independent sets. (Hypergraph H is balanced if every odd cycle in H has an edge containing three vertices of the cycle; and a set S X is strongly independent if |S?E|? 1 for all E ? E.).

scholarly journals The independence polynomial of inverse commuting graph of dihedral groups

2020 ◽  
Vol 16 (1) ◽  
pp. 115-120
Author(s):  
Aliyu Suleiman ◽  
Aliyu Ibrahim Kiri
Keyword(s):  
Identity Element ◽  
Independent Set ◽  
Independent Sets ◽  
Dihedral Groups ◽  
Independence Polynomial ◽  
Independence Polynomials ◽  
Commuting Graph ◽  
Central Elements ◽  
Vertex Set

Set of vertices not joined by an edge in a graph is called the independent set of the graph. The independence polynomial of a graph is a polynomial whose coefficient is the number of independent sets in the graph. In this research, we introduce and investigate the inverse commuting graph of dihedral groups (D2N) denoted by GIC. It is a graph whose vertex set consists of the non-central elements of the group and for distinct  x,y, E D2N, x and y are adjacent if and only if xy = yx = 1  where 1 is the identity element. The independence polynomials of the inverse commuting graph for dihedral groups are also computed. A formula for obtaining such polynomials without getting the independent sets is also found, which was used to compute for dihedral groups of order 18 up to 32.

scholarly journals Linear syzygies of Stanley-Reisner ideals

2001 ◽  
Vol 89 (1) ◽  
pp. 117 ◽  
Author(s):  
V Reiner ◽  
V Welker
Keyword(s):  
Simplicial Complex ◽  
Lower Bounds ◽  
Monomial Ideal ◽  
Independent Sets ◽  
Free Resolution ◽  
Monomial Ideals ◽  
Minimal Free Resolution ◽  
Linear Syzygies ◽  
Alexander Dual ◽  
Syzygy Modules

We give an elementary description of the maps in the linear strand of the minimal free resolution of a square-free monomial ideal, that is, the Stanley-Reisner ideal associated to a simplicial complex $\Delta$. The description is in terms of the homology of the canonical Alexander dual complex $\Delta^*$. As applications we are able to prove for monomial ideals and $j=1$ a conjecture of J. Herzog giving lower bounds on the number of $i$-syzygies in the linear strand of $j^{th}$-syzygy modules show that the maps in the linear strand can be written using only $\pm 1$ coefficients if $\Delta^*$ is a pseudomanifold exhibit an example where multigraded maps in the linear strand cannot be written using only $\pm 1$ coefficients compute the entire resolution explicitly when $\Delta^*$ is the complex of independent sets of a matroid

scholarly journals Playing Nim on a Simplicial Complex

10.37236/1233 ◽  
1996 ◽  
Vol 3 (1) ◽  
Author(s):  
Richard Ehrenborg ◽  
Einar Steingrímsson
Keyword(s):  
Simplicial Complex ◽  
Winning Strategy ◽  
Independent Sets ◽  
Binary Matroid ◽  
Classical Game

We introduce a generalization of the classical game of Nim by placing the piles on the vertices of a simplicial complex and allowing a move to affect the piles on any set of vertices that forms a face of the complex. Under certain conditions on the complex we present a winning strategy. These conditions are satisfied, for instance, when the simplicial complex consists of the independent sets of a binary matroid. Moreover, we study four operations on a simplicial complex under which games on the complex behave nicely. We also consider particular complexes that correspond to natural generalizations of classical Nim.

scholarly journals The homotopy theory of polyhedral products associated with flag complexes

2018 ◽  
Vol 155 (1) ◽  
pp. 206-228
Author(s):  
Taras Panov ◽  
Stephen Theriault
Keyword(s):  
Simplicial Complex ◽  
Homotopy Theory ◽  
Chordal Graph ◽  
Polyhedral Product ◽  
Flag Complex ◽  
Vertex Set ◽  
Flag Complexes

If $K$ is a simplicial complex on $m$ vertices, the flagification of $K$ is the minimal flag complex $K^{f}$ on the same vertex set that contains $K$. Letting $L$ be the set of vertices, there is a sequence of simplicial inclusions $L\stackrel{}{\longrightarrow }K\stackrel{}{\longrightarrow }K^{f}$. This induces a sequence of maps of polyhedral products $(\text{}\underline{X},\text{}\underline{A})^{L}\stackrel{g}{\longrightarrow }(\text{}\underline{X},\text{}\underline{A})^{K}\stackrel{f}{\longrightarrow }(\text{}\underline{X},\text{}\underline{A})^{K^{f}}$. We show that $\unicode[STIX]{x1D6FA}f$ and $\unicode[STIX]{x1D6FA}f\circ \unicode[STIX]{x1D6FA}g$ have right homotopy inverses and draw consequences. For a flag complex $K$ the polyhedral product of the form $(\text{}\underline{CY},\text{}\underline{Y})^{K}$ is a co-$H$-space if and only if the 1-skeleton of $K$ is a chordal graph, and we deduce that the maps $f$ and $f\circ g$ have right homotopy inverses in this case.

scholarly journals Stirling Numbers of Forests and Cycles

10.37236/3170 ◽  
2013 ◽  
Vol 20 (1) ◽  
Author(s):  
David Galvin ◽  
Do Trong Thanh
Keyword(s):  
Generating Functions ◽  
Direct Proof ◽  
Random Variable ◽  
Stirling Numbers ◽  
Independent Sets ◽  
Stirling Number ◽  
Asymptotically Normal ◽  
Standard Normal ◽  
Vertex Set ◽  
Number Of Classes

For a graph $G$ and a positive integer $k$, the graphical Stirling number $S(G,k)$ is the number of partitions of the vertex set of $G$ into $k$ non-empty independent sets. Equivalently it is the number of proper colorings of $G$ that use exactly $k$ colors, with two colorings identified if they differ only on the names of the colors. If $G$ is the empty graph on $n$ vertices then $S(G,k)$ reduces to  $S(n,k)$, the familiar Stirling number  of the second kind.In this note we first consider Stirling numbers of forests. We show that if $(F^{c(n)}_n)_{n\geq 0}$ is any sequence of forests with $F^{c(n)}_n$ having $n$ vertices and $c(n)=o(\sqrt{n/\log n})$ components, and if $X^{c(n)}_n$ is a random variable that takes value $k$ with probability proportional to $S(F^{c(n)}_n,k)$ (that is, $X^{c(n)}_n$ is the number of classes in a uniformly chosen partition of $F^{c(n)}_n$ into non-empty independent sets), then $X^{c(n)}_n$ is asymptotically normal, meaning that suitably normalized it tends in distribution to the standard normal. This generalizes a seminal result of Harper on the ordinary Stirling numbers. Along the way we give recurrences for calculating the generating functions of the sequences $(S(F^c_n,k))_{k \geq 0}$, show that these functions have all real zeroes, and exhibit three different interlacing patterns between the zeroes of pairs of consecutive generating functions.We next consider Stirling numbers of cycles. We establish asymptotic normality for the number of classes in a uniformly chosen partition of $C_n$ (the cycle on $n$ vertices) into non-empty independent sets. We give a recurrence for calculating the generating function of the sequence $(S(C_n,k))_{k \geq 0}$, and use this to give a direct proof of a log-concavity result that had previously only been arrived at in a very indirect way.

scholarly journals Extracting List Colorings from Large Independent Sets

2017 ◽  
Vol 86 (3) ◽  
pp. 315-328 ◽  
Author(s):  
H. A. Kierstead ◽  
Landon Rabern
Keyword(s):  
Independent Sets ◽  
List Colorings

scholarly journals On Vietoris–Rips complexes of ellipses

2019 ◽  
Vol 11 (03) ◽  
pp. 661-690 ◽  
Author(s):  
Michał Adamaszek ◽  
Henry Adams ◽  
Samadwara Reddy
Keyword(s):  
Simplicial Complex ◽  
Finite Subset ◽  
Metric Space ◽  
Scale Parameter ◽  
Main Tool ◽  
Small Eccentricity ◽  
Scale Parameters ◽  
Homotopy Types ◽  
Rips Complex ◽  
Vertex Set

For [Formula: see text] a metric space and [Formula: see text] a scale parameter, the Vietoris–Rips simplicial complex [Formula: see text] (resp. [Formula: see text]) has [Formula: see text] as its vertex set, and a finite subset [Formula: see text] as a simplex whenever the diameter of [Formula: see text] is less than [Formula: see text] (resp. at most [Formula: see text]). Though Vietoris–Rips complexes have been studied at small choices of scale by Hausmann and Latschev [13,16], they are not well-understood at larger scale parameters. In this paper we investigate the homotopy types of Vietoris–Rips complexes of ellipses [Formula: see text] of small eccentricity, meaning [Formula: see text]. Indeed, we show that there are constants [Formula: see text] such that for all [Formula: see text], we have [Formula: see text] and [Formula: see text], though only one of the two-spheres in [Formula: see text] is persistent. Furthermore, we show that for any scale parameter [Formula: see text], there are arbitrarily dense subsets of the ellipse such that the Vietoris–Rips complex of the subset is not homotopy equivalent to the Vietoris–Rips complex of the entire ellipse. As our main tool we link these homotopy types to the structure of infinite cyclic graphs.

Sign in / Sign up

Export Citation Format

Share Document