Related papers: An inclusion-exclusion identity for normal cones o…

A set $\mathcal{S}$ of points in $\mathbb{R}^n$ is called a rationally parameterisable hypersurface if $\mathcal{S}=\{\boldsymbol{\sigma}(\mathbf{t}): \mathbf{t} \in D\}$, where $\boldsymbol{\sigma}: \mathbb{R}^{n-1} \rightarrow…

I present a coordinate-free, symbolic framework for determining whether a given set of polygonal faces can form a closed, genus-zero polyhedral surface and for predicting admissible internal tetrahedral decompositions consistent with…

Let $\mathcal{F}=\{F_1,F_2, \ldots,F_n\}$ be a family of $n$ sets on a ground set $S$, such as a family of balls in $\mathbb{R}^d$. For every finite measure $\mu$ on $S$, such that the sets of $\mathcal{F}$ are measurable, the classical…

Let P and Q be convex polyhedra in E3 with face lattices F(P) and F(Q) and symmetry groups G(P) and G(Q), respectively. Then, P and Q are called face equivalent if there is a lattice isomorphism between F(P) and F(Q); P and Q are called…

In this paper, we consider the following $(A, B)$-polynomial $f$ over finite field: $$f(x_0,x_1,\cdots,x_n)=x_0^Ah(x_1,\cdots,x_n)+g(x_1,\cdots,x_n)+P_B(1/x_0),$$ where $h$ is a Deligne polynomial of degree $d$, $g$ is an arbitrary…

We prove an uniform boundedness principle for the Lipschitz seminorm of continuous, monotone, positively homogeneous and subadditive mappings on suitable cones of functions. The result is applicable to several classes of classically…

In this article we define an algebraic vertex of a generalized polyhedron and show that it is the smallest set of points needed to define the polyhedron. We prove that the indicator function of a generalized polytope $P$ is a linear…

A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set…

We introduce the notion of a bounded weight function on a language, and show that the set of bounded weight functions on a regular language is a rational polyhedral cone. We study the cell recognised by a bounded weight function (that is,…

In this paper, we consider mixed sums of generalized polygonal numbers. Specifically, we obtain a finiteness condition for universality of such sums; this means that it suffices to check representability of a finite subset of the positive…

Let $f_i(P)$ denote the number of $i$-dimensional faces of a convex polytope $P$. Furthermore, let $S(n,d)$ and $C(n,d)$ denote, respectively, the stacked and the cyclic $d$-dimensional polytopes on $n$ vertices. Our main result is that for…

Let $F/\QQ $ be a totally real number field of degree $n$. We explicitly evaluate a certain sum of rational functions over a infinite fan of $F$-rational polyhedral cones in terms of the norm map $\Norm \colon F\to \QQ $. This completes…

Different commutative semigroups may have a common saturation. We consider distinguishing semigroups with a common saturation based on their ``sparsity''. We propose to qualitatively describe sparsity of a semigroup by considering which…

We introduce a new criterion providing a sufficient condition for a hypersurface in an unramified regular local ring to be perfectoid pure. The criterion is formulated in terms of an explicitly computable sequence of integers, called the…

Despite a full characterization of the face vectors of simple and simplicial polytopes, the face numbers of general polytopes are poorly understood. Around 1997, B\'ar\'any asked whether for all convex $d$-polytopes $P$ and all $0 \leq k…

Fix $N\in\mathbb N$ and assume that for every $n\in\{1,\ldots, N\}$ the functions $f_n\colon[0,1]\to[0,1]$ and $g_n\colon[0,1]\to\mathbb R$ are Lebesgue measurable, $f_n$ is almost everywhere approximately differentiable with…

Five different ways of combinatorial description of non-empty faces of the cone of supermodular functions on the power set of a finite basic set $N$ are introduced. Their identification with faces of the cone of supermodular games allows…

Given a normal toric algebra $R$, we compute a uniform integer $D = D(R) > 0$ such that the symbolic power $P^{(D N)} \subseteq P^N$ for all $N >0$ and all monomial primes $P$. We compute the multiplier $D$ explicitly in terms of the…

We consider the following conjecture (from Huang, et al): Let $\Delta^+$ denote the upper half disc in $\mathbb{C}$ and let $\gamma = ( - 1, 1)$ (viewed as an interval in the real axis in $\mathbb{C}$). Assume that $F$ is a holomorphic…

In a previous work we proved that each $n$-dimensional convex polyhedron ${\mathcal K}subset{\mathbb R}^n$ and its relative interior are regular images of ${\mathbb R}^n$. As the image of a non-constant polynomial map is an unbounded…