相关论文: Every generating polytope is strongly monotypic

We prove that any finitely generated one ended group has linear end depth. Moreover, we give alternative proofs to theorems relating the growth of a finitely generated group to the number of its ends.

We prove that under a symmetry assumption all cocycles on Hopf *-algebras arise from generating functionals. This extends earlier results of R.Vergnioux and D.Kyed and has two quantum group applications: all quantum L\'evy processes with…

Cyclic polytopes are generally known for being involved in the Upper Bound Theorem, but they have another extremal property which is less well known. Namely, the special shape of their f-vectors makes them applicable to certain…

For any root system of rank $r$, we study the "dominant weight polytope" $P^\lambda$ associated with a strongly dominant weight $\lambda$. We prove that $P^\lambda$ is combinatorially equivalent to the $r$-dimensional cube. As an…

Strong typicality and the Markov lemma have been used in the proofs of several multiterminal source coding theorems. Since these two tools can be applied to finite alphabets only, the results proved by them are subject to the same…

In this paper we prove a generalization of a theorem of Schneider, which gives a criterion for a projective surface over the complex numbers to have an ample cotangent bundle. After reviewing different notions of positivity, we introduce a…

We prove the dichotomy that every Coxeter group either has a strongly solid group von Neumann algebra or contains the product of an infinite cyclic group and a free group of rank 2. This generalizes the same dichotomy for right-angled…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

It is shown that every separable abelian topological group is isomorphic with a topological subgroup of a monothetic group (that is, a topological group with a single topological generator). In particular, every separable metrizable abelian…

Abstract polytopes generalize the classical notion of convex polytopes to more general combinatorial structures. The most studied ones are regular and chiral polytopes, as it is well-known, they can be constructed as coset geometries from…

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…

A graph K is multiplicative if a homomorphism from any product G x H to K implies a homomorphism from G or from H. Hedetniemi's conjecture states that all cliques are multiplicative. In an attempt to explore the boundaries of current…

We prove, as claimed by A.Carboni and P.T.Johnstone, that the category of non-unital polygraphs, i.e. polygraphs where the source and target of each generator are not identity arrows, is a presheaf category. More generally we develop a new…

We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…

We prove the Singer conjecture for extended graph manifolds and pure complex-hyperbolic higher graph manifolds with residually finite fundamental groups. In real dimension three, where a result of Hempel ensures that the fundamental group…

Let $M$ be a closed manifold that admits a self-cover $p:M \to M$ of degree >1. We say p is strongly regular if all its iterates are regular covers. In this case, we establish an algebraic structure theorem for the fundamental group of $M$:…

Let $A$ be the $n$-th Weyl algebra over a field of characteristic zero, and $\varphi:A\rightarrow A$ an endomorphism with $S = \varphi(A)$. We prove that if $A$ is finitely generated as a left or right $S$-module, then $S = A$. The proof…

The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from…

We define the notion of the generic state polytope, analogous to the generic initial ideal and prove its existence: This greatly generalizes the work of R\"omer and Schmitz who proved the existence of generic Gr\"ober fans. We also show…

Given a set $S \subseteq \mathbb{R}^d$, a hollow polytope has vertices in $S$ but contains no other point of $S$ in its interior. We prove upper and lower bounds on the maximum number of vertices of hollow polytopes whose facets are…