English
Related papers

Related papers: Contractible independence complexes of trees

200 papers

In this paper we study unimodality problems for the independence polynomial of a graph, including unimodality, log-concavity and reality of zeros. We establish recurrence relations and give factorizations of independence polynomials for…

Combinatorics · Mathematics 2010-08-17 Yi Wang , Bao-Xuan Zhu

Say a trinomial $x^n+A x^m+B \in \Q[x]$ has reducibility type $(n_1,n_2,...,n_k)$ if there exists a factorization of the trinomial into irreducible polynomials in $\Q[x]$ of degrees $n_1$, $n_2$,...,$n_k$, ordered so that $n_1 \leq n_2 \leq…

Number Theory · Mathematics 2011-12-20 Andrew Bremner , Maciej Ulas

Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On…

Category Theory · Mathematics 2021-05-13 Zoltan A. Kocsis , Benjamin Merlin Bumpus

This paper contains a classification of countable lower 1-transitive linear orders. The notion of lower 1-transitivity generalises that of 1-transitivity for linear orders, and is essential for the structure theory of 1-transitive trees.…

Combinatorics · Mathematics 2015-10-22 Silvia Barbina , Katie Chicot

In this paper we investigate the use of the concept of tree dimension in Horn clause analysis and verification. The dimension of a tree is a measure of its non-linearity - for example a list of any length has dimension zero while a complete…

Logic in Computer Science · Computer Science 2015-12-15 Bishoksan Kafle , John P. Gallagher , Pierre Ganty

In this article, we discuss the vertex decomposability of three well-studied simplicial complexes associated to forests. In particular, we show that the bounded degree complex of a forest and the complex of directed trees of a multidiforest…

Combinatorics · Mathematics 2021-01-15 Anurag Singh

In this paper, we introduce a notion of clock moves for spanning trees in plane graphs. This enables us to develop a spanning tree model of an Alexander polynomial for a plane graph and prove the unimodal property of its associate…

Geometric Topology · Mathematics 2024-10-23 Wenbo Liao , Zhongtao Wu

We consider the equiprobable distribution of spanning trees on the square lattice. All bonds of each tree can be oriented uniquely with respect to an arbitrary chosen site called the root. The problem of predecessors is finding the…

Statistical Mechanics · Physics 2013-08-19 V. S. Poghosyan , V. B. Priezzhev

An oriented compact closed manifold is called inflexible if the set of mapping degrees ranging over all continuous self-maps is finite. Inflexible manifolds have become of importance in the theory of functorial semi-norms on homology.…

Algebraic Topology · Mathematics 2011-09-06 Manuel Amann

Completely independent spanning trees in a graph $G$ are spanning trees of $G$ such that for any two distinct vertices of $G$, the paths between them in the spanning trees are pairwise edge-disjoint and internally vertex-disjoint. In this…

Combinatorics · Mathematics 2022-09-21 Toru Hasunuma

We show that P2T - the problem of deciding whether the edge set of a simple graph can be partitioned into two trees or not - is NP-complete.

Computational Complexity · Computer Science 2010-02-23 Domotor Palvolgyi

A graph $G$ is asymmetrizable if it has a set of vertices whose setwise stablizer only consists of the identity automorphism. The motion $m$ of a graph is the minimum number of vertices moved by any non-identity automorphism. It is known…

Combinatorics · Mathematics 2023-01-26 Wilfried Imrich , Rafał Kalinowski , Florian Lehner , Monika Pilśniak , Marcin Stawiski

In this paper, we define and study the concept of traceable regressions. These are sequences of regressions in joint or single responses for which a corresponding regression graph captures not only an independence structure but represents,…

Methodology · Statistics 2012-05-09 Nanny Wermuth

The independent set sequence of trees has been well studied, with much effort devoted to the (still open) question of Alavi, Malde, Schwenk and Erd\H{o}s on whether the independent set sequence of a tree is always unimodal. Much less…

Combinatorics · Mathematics 2026-02-03 David Galvin , Courtney Sharpe

The topological complexity of a path-connected space $X,$ denoted $TC(X),$ can be thought of as the minimum number of continuous rules needed to describe how to move from one point in $X$ to another. The space $X$ is often interpreted as a…

Algebraic Topology · Mathematics 2018-03-16 Steven Scheirer

We prove that it is NP-complete to decide whether a given (3-dimensional) simplicial complex is collapsible. This work extends a result of Malgouyres and Franc\'{e}s showing that it is NP-complete to decide whether a given simplicial…

Computational Geometry · Computer Science 2015-10-08 Martin Tancer

We solve the isomorphism problem for braid groups on trees with $n = 4$ or 5 strands. We do so in three main steps, each of which is interesting in its own right. First, we establish some tools and terminology for dealing with computations…

Group Theory · Mathematics 2010-04-05 Lucas Sabalka

Let $K$ be a global field and $n > 1$ an integer. We show $n$ is composite if and only if there is an irreducible polynomial $f(x) \in K[x]$ of degree $n$ which is reducible $q$-adically for all the primes $q$ of $K$.

Number Theory · Mathematics 2007-05-23 R. Guralnick , M. Schacher , J. Sonn

We consider finite trees with edges labeled by letters on a finite alphabet $\varSigma$. Each pair of nodes defines a unique labeled path whose trace is a word of the free monoid $\varSigma^*$. The set of all such words defines the language…

Combinatorics · Mathematics 2015-05-12 Srečko Brlek , Nadia Lafrenière , Xavier Provençal

The tree share structure proposed by Dockins et al. is an elegant model for tracking disjoint ownership in concurrent separation logic, but decision procedures for tree shares are hard to implement due to a lack of a systematic theoretical…

Logic in Computer Science · Computer Science 2020-10-19 Xuan-Bach Le , Aquinas Hobor , Anthony W. Lin