Related papers: Sequences of LCT-polytopes
In this paper we extend the notion of a Lorentz cone. We call a closed convex set isotone projection set with respect to a pointed closed convex cone if the projection onto the set is isotone (i.e., monotone) with respect to the order…
Unconditional polytopes are convex polytopes that are symmetric with respect to all coordinate hyperplanes and arise naturally from anti-blocking polytopes by reflection. This paper investigates algebraic relations between an anti-blocking…
We consider all compatible topologies of an arbitrary finite-dimensional vector space over a non-trivial valuation field whose metric completion is a locally compact space. We construct the canonical lattice isomorphism between the lattice…
We study topologization of the semigroup $\mathscr{O\!\!I}\!_n(L)$ of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set $(L,\leqslant)$. In particular we show that every $T_1$ left-topological…
If $X$ is an algebraic variety with at worst canonical singularities and $S$ is a $\Q$-Cartier hypersurface in $X$, the canonical threshold of the pair $(X,S)$ is the supremum of $c\in\R$ such that the pair $(X,cS)$ is canonical. We show…
Motivated by set estimation problems, we consider three closely related shape conditions for compact sets: positive reach, r-convexity and rolling condition. First, the relations between these shape conditions are analyzed. Second, we…
We study the geometry of dynamically defined Cantor sets in arbitrary dimensions, introducing a criterion for $\mathcal{C}^{1+\alpha}$ stable intersections of such Cantor sets, under a mild bunching condition. This condition is naturally…
Let $X(\RR)$ be a geometrically connected variety defined over $\RR$ and such that the set of all its (also complex) points $X(\CC)$ is non-degenerate. We introduce the notion of \emph{admissible rank} of a point $P$ with respect to $X$ to…
The arithmetic rank of an ideal in a polynomial ring over an algebraically closed field is the smallest number of equations needed to define its vanishing locus set-theoretically. We determine the arithmetic rank of the generic $m$-residual…
An equidistant polytope is a special equidistant set in the space $\mathbb{R}^n$ all of whose boundary points have equal distances from two finite systems of points. Since one of the finite systems of the given points is required to be in…
We explore the applications of Lorentzian polynomials to the fields of algebraic geometry, analytic geometry and convex geometry. In particular, we establish a series of intersection theoretic inequalities, which we call rKT property, with…
Let (R,m) be a local ring with prime ideals p and q such that p+q is an m-primary ideal. If R is regular and contains a field, and dim(R/p)+dim(R/q)=dim(R), we prove that p^{(r)}\cap q^{(n)}\subseteq m^{m+n} for all positive integers r and…
For any family of elliptic curves over the rational numbers with fixed $j$-invariant, we prove that the existence of a long sequence of rational points whose $x$-coordinates form a non-trivial arithmetic progression implies that the…
In this paper, we draw a connection between ideal lattices and Gr\"{o}bner bases in the multivariate polynomial rings over integers. We study extension of ideal lattices in $\mathbb{Z}[x]/\langle f \rangle$ (Lyubashevsky \& Micciancio,…
A theorem of Gr\"unbaum, which states that every $m$-polytope is a refinement of an $m$-simplex, implies the following generalization of Tverberg's theorem: if $f$ is a linear function from an $m$-dimensional polytope $P$ to $\mathbb{R}^d$…
We show that if X is a piecewise Euclidean 2-complex with a cocompact isometry group, then every 2-quasiflat in X is at finite Hausdorff distance from a subset which is locally flat outside a compact set, and asymptotically conical.
Let K and L be compact convex sets in R^n. The following two statements are shown to be equivalent: (i) For every polytope Q inside K having at most n+1 vertices, L contains a translate of Q. (ii) L contains a translate of K. Let 1 <= d <=…
A sequence of rational functions in a variable $q$ is $q$-holonomic if it satisfies a linear recursion with coefficients polynomials in $q$ and $q^n$. We prove that the degree of a $q$-holonomic sequence is eventually a quadratic…
If $\mathcal{P}$ is a lattice polytope (i.e., $\mathcal{P}$ is the convex hull of finitely many integer points in $\mathbb{R}^d$), Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|t \mathcal{P} \cap…
We consider the asymptotic normalcy of families of random variables $X$ which count the number of occupied sites in some large set. We write $Prob(X=m)=p_mz_0^m/P(z_0)$, where $P(z)$ is the generating function $P(z)=\sum_{j=0}^{N}p_jz^j$…