Related papers: Positive Pl\"ucker tree certificates for non-reali…
We consider the homogenized linear feasibility problem, to find an $x$ on the unit sphere, satisfying $n$ line ar inequalities $a_i^Tx\ge 0$. To solve this problem we consider the centers of the insphere of spherical simpl ices, whose…
The classes of sums of arithmetic-geometric exponentials (SAGE) and of sums of nonnegative circuit polynomials (SONC) provide nonnegativity certificates which are based on the inequality of the arithmetic and geometric means. We study the…
Frucht showed that, for any finite group $G$, there exists a cubic graph such that its automorphism group is isomorphic to $G$. For groups generated by two elements we simplify his construction to a graph with fewer nodes. In the general…
We prove the following result: Let $(\mathcal{O},g_0)$ be a complete, connected 3-orbifold with uniformly positive scalar curvature, with bounded geometry, and containing no bad 2-suborbifolds. Then there is a finite collection…
Let $n$ be a positive integer, $\sigma$ be an element of the symmetric group $\mathcal{S}_n$ and let $\sigma$ be a cycle of length $n$. The elements $\alpha ,\beta \in \mathcal{S}_n$ are $\sigma$-equivalent, if there are natural numbers $k$…
Associated to a closed, oriented surface S is the complex vector space with basis the set of all compact, oriented 3-manifolds which it bounds. Gluing along S defines a Hermitian pairing on this space with values in the complex vector space…
For non-reciprocal objects in vacuum, the Casimir interaction can become repulsive. Here, we present a comprehensive study for idealized non-reciprocal materials known as perfect electromagnetic conductors (PEMC). The system consists of two…
Let $X$ be a complex nonsingular variety with globally generated tangent bundle. We prove that the signed Segre-MacPherson (SM) class of a constructible function on $X$ with effective characteristic cycle is effective. This observation has…
We show that any symmetric positive definite homogeneous matrix polynomial $M\in\R[x_1,...,x_n]^{m\times m}$ admits a piecewise semi-certificate, i.e. a collection of identites $M(x)=\sum_jf_{i,j}(x)U_{i,j}(x)^TU_{i,j}(x)$ where…
Recently the authors and J.M. Kress presented a special function recurrence relation method to prove quantum superintegrability of an integrable 2D system that included explicit constructions of higher order symmetries and the structure…
We present a simple criterion for solvability of lattice spin systems on the basis of the graph theory and the simplicial homology. The lattice systems satisfy algebras with graphical representations. It is shown that the null spaces of…
Quillen proved that, if a Hermitian bihomogeneous polynomial is strictly positive on the unit sphere, then repeated multiplication of the standard sesquilinear form to this polynomial eventually results in a sum of Hermitian squares.…
A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani in 1987, via a non-constructive proof…
In this article, we classify (non-compact) $3$-manifolds with uniformly positive scalar curvature. Precisely, we show that an oriented $3$-manifold has a complete metric with uniformly positive scalar curvature if and only if it is…
We introduce topological prismatoids, a combinatorial abstraction of the (geometric) prismatoids recently introduced by the second author to construct counter-examples to the Hirsch conjecture. We show that the `strong $d$-step Theorem'…
In this paper we examine four different models for the realization space of a polytope: the classical model, the Grassmannian model, the Gale transform model, and the slack variety. Respectively, they identify realizations of the polytopes…
Given a complete Riemannian metric of nonnegative scalar curvature on $\Sigma \times (-\infty, 0 ] $, where $\Sigma$ denotes a $2$-sphere, we exhibit conditions that imply the existence of a closed minimal surface homologous to the…
The aim of this paper is to give a survey of the known results concerning centrally symmetric polytopes, spheres, and manifolds. We further enumerate nearly neighborly centrally symmetric spheres and centrally symmetric products of spheres…
We give a simple combinatoric proof of an exponential upper bound on the number of distinct 3-manifolds that can be constructed by successively identifying nearest neighbour pairs of triangles in the boundary of a simplicial 3-ball and show…
We construct many nonpolytopal nonsimplicial Gorenstein* meet semi-lattices with nonnegative toric g-vector, supporting a conjecture of Stanley. These are formed as Bier spheres over the face posets of multiplexes, polytopes constructed by…