18 problems
- 0 votes0 replies0 views
Continuity of the contact-process survival probability on trees
Let be an infinite tree, and consider the contact process on started from a single infection. Write for the infection rate and let the survival probability be the…
- 0 votes0 replies0 views
Separation of survival and root-reinfection thresholds on strongly exponentially growing trees
Let be an infinite tree. Call a vertex essential if has at least two infinite components. Say that has strongly exponential growth if there is some in…
- 0 votes0 replies0 views
Equality of the contact-process critical values beyond survival
Let be an infinite tree, and let be its root. For the contact process on , define … … … and … where is the upper invariant measure and is th…
- 0 votes0 replies1 view
Characterization of 2-distinguishable trees by branch orbit counts
Let be a tree. For a vertex and a neighbor of , let denote the component containing after deleting , let denote the number of isomorphism types…
- 0 votes0 replies1 view
Starlike rayless-tree characterization conjecture for compact generated ultrametric spaces
Let be an infinite ultrametric space. A labeled ray is a ray equipped with a labeling that generates the indicated ultrametric space. A tree is starlike if it has exactly o…
- 0 votes0 replies0 views
Tyomkyn's conjecture for locally finite trees
Tyomkyn's conjecture. If a locally finite tree has a non-surjective embedding, then
- 0 votes0 replies2 views
Equality of upper and lower sofic entropies for invariant measures on trees
Let be the compact metric space defining the coloring space, let be the degree of the regular trees, and let denote the space of invariant probability me…
- 0 votes0 replies0 views
Property H conjecture for subdegree-finite primitive permutation groups
Let be a subdegree-finite primitive permutation group with more than one end. Recall that has property H if, in its faithful action on its structure tree , the pointwise…
- 0 votes0 replies0 views
Topological Tree Alternative Conjecture for locally finite trees
Topological Tree Alternative Conjecture. For a given locally finite tree , the number of isomorphism classes of trees that are mutually topological minors with is either …
- 0 votes0 replies0 views
The Tree Alternative Conjecture for isomorphism classes under mutual embeddability
Tree Alternative Conjecture. The number of isomorphism classes of trees mutually embeddable with a given tree is either or infinite.
- 0 votes0 replies0 views
The Tree Alternative Conjecture for mutual embeddability
Tree Alternative Conjecture. The number of isomorphism classes of trees mutually embeddable with a given tree is either or infinite.
- 0 votes0 replies1 view
Conjecture on chains of locally finite trees of every length below
Chain-length conjecture. For every ordinal , there is a chain of locally finite trees of length .
- 0 votes0 replies0 views
Tyomkyn's tree alternative conjecture for locally finite trees
Tyomkyn's conjecture. The set is infinite, except when is the one-way infinite path:
- 0 votes0 replies1 view
Decidability conjecture for ECTL* with constraints over the infinitely branching infinite tree
Decidability conjecture. Satisfiability for with constraints over is decidable.
- 0 votes0 replies0 views
The hard-core uniqueness threshold conjecture for trees
Hard-core uniqueness threshold conjecture. The general uniqueness result for the hard-core model on trees should hold under the condition
- 0 votes0 replies0 views
Optimality of the relationships between nested and higher-order pushdown hierarchies
Let the nested pushdown tree hierarchy be the hierarchy introduced in the paper, and let the higher-order pushdown and collapsible higher-order pushdown hierarchies be the correspo…
- 0 votes0 replies0 views
Non-interpretability of nested pushdown trees in collapsible pushdown graphs
Let -NPT denote the class of level nested pushdown trees, and let level collapsible pushdown graphs be the corresponding graph class. An interpretation is a logical inte…
- 0 votes0 replies0 views
Non-surjective self-embedding conjecture for locally finite trees
Let be a locally finite tree, and let denote the number of isomorphism classes of trees mutually embeddable with . A self-embedding of is an embedding from in…