Related papers: A Pseudopolynomial Algorithm for Alexandrov's Theo…
Penetration depth (PD) is essential for robotics due to its extensive applications in dynamic simulation, motion planning, haptic rendering, etc. The Expanding Polytope Algorithm (EPA) is the de facto standard for this problem, which…
Many combinatorial optimization problems can be formulated as the search for a subgraph that satisfies certain properties and minimizes the total weight. We assume here that the vertices correspond to points in a metric space and can take…
We prove that any length metric space homeomorphic to a surface may be decomposed into non-overlapping convex triangles of arbitrarily small diameter. This generalizes a previous result of Alexandrov--Zalgaller for surfaces of bounded…
We propose a convex-optimization-based framework for computation of invariant measures of polynomial dynamical systems and Markov processes, in discrete and continuous time. The set of all invariant measures is characterized as the feasible…
We present an algorithm that enumerates and classifies all edge-to-edge gluings of unit squares that correspond to convex polyhedra. We show that the number of such gluings of $n$ squares is polynomial in $n$, and the algorithm runs in time…
Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is "as convex as possible", given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time…
Based on a modified version of Abramov-Petkov\v{s}ek reduction, a new algorithm to compute minimal telescopers for bivariate hypergeometric terms was developed last year. We investigate further in this paper and present a new argument for…
We show that if an Alexandrov space $X$ has an Alexandrov subspace $\bar \Omega$ of the same dimension disjoint from the boundary of $X$, then the topological boundary of $\bar \Omega$ coincides with its Alexandrov boundary. Similarly, if a…
Markov's theorem classifies the worst irrational numbers with respect to rational approximation and the indefinite binary quadratic forms whose values for integer arguments stay farthest away from zero. The main purpose of this paper is to…
We consider the distance minimization problem to a real algebraic variety $X \subseteq \RR^n$ when the metric is induced by a polyhedral norm. Each point in the variety has a Voronoi cell whose geometry depends on the normal space at the…
Efficient algorithms for convex optimization, such as the ellipsoid method, require an a priori bound on the radius of a ball around the origin guaranteed to contain an optimal solution if one exists. For linear and convex quadratic…
Our goal is to show the beauty and power of Alexandrov geometry by reaching interesting applications and theorems with a minimum of preparation. The topics include 1. Reshetnyak's gluing theorem, 2. Estimates on the number of collisions in…
In this paper we study a polynomial time algorithms that for an input $A\subseteq {B_m}$ outputs a decision tree for $A$ of minimum depth. This problem has many applications that include, to name a few, computer vision, group testing, exact…
We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…
We give a deterministic nearly-linear time algorithm for approximating any point inside a convex polytope with a sparse convex combination of the polytope's vertices. Our result provides a constructive proof for the Approximate…
We present a short proof of the Alexandrov-Fenchel inequalities for mixed volumes of convex bodies.
Term "asymmetrical pseudoelasticity" refers to the theory, in which a symmetrical stress tensor and a symmetrical strain tensor are connected by means of an asymmetrical material tensor. An 6-dimensional asymmetrical matrix of elasticity…
In this expository note, we present a transparent proof of Toponogov's theorem for Alexandrov spaces in the general case, not assuming local compactness of the underlying metric space. More precisely, we show that if M is a complete…
We introduce a new fundamental algorithm called Matrix-POAFD to solve the matrix least square problem. The method is based on the matching pursuit principle. The method directly extracts, among the given features as column vectors of the…
In Graph Theory a number of results were devoted to studying the computational complexity of the number modulo 2 of a graph's edge set decompositions of various kinds, first of all including its Hamiltonian decompositions, as well as the…