Related papers: A Logic of Strong Contact between Polytopes
Given a relation on $ X \times Y $, we can construct two abstract simplicial complexes called Dowker complexes. The geometric realizations of these simplicial complexes are homotopically equivalent. We show that if two relations are…
The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-L\"of into…
Charged soft-matter systems--such as colloidal dispersions and charged polymers--are dominated by attractive forces between constituent like-charged particles when neutralizing counterions of high charge valency are introduced. Such…
Symmetric edge polytopes are a recent and well-studied family of centrally symmetric polytopes arising from graphs. In this paper, we introduce a generalization of this family to arbitrary simplicial complexes. We show how topological…
In this paper, we prove a theorem that gives a simple criterion for generating commuting pairs of generalized almost complex structures on spaces that are the product of two generalized almost contact metric spaces. We examine the…
Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they…
We develop the contact theory for spin-orbit-coupled Fermi gases. By using a perturbation method, we derive analytically the universal two-body behavior at short distance, which does not depend on the short-range details of interatomic…
Let $\{\mathbb{P}_n\}_{n\ge 0}$ and $\{\mathbb{Q}_n\}_{n\ge 0}$ be two monic polynomial systems in several variables satisfying the linear structure relation $$\mathbb{Q}_n = \mathbb{P}_n + M_n \mathbb{P}_{n-1}, \quad n\ge 1,$$ where $M_n$…
Below, by space we mean a separable metrizable zero-dimensional space. It is studied when the space can be embedded in a Cantor set while maintaining the algebraic structure. Main results of the work: every space is an open retract of a…
Harmonicity of holomorphic maps between various subclasses of almost contact metric manifolds is discussed. Consequently, some new results are obtained. Also some known results are recovered, some of them are generalized and some of them…
We generalize Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational simplex, that is, an n-dimensional polytope with n+1 rational vertices, we use its description as the intersection of n+1 halfspaces,…
Entangled many-body states are an essential resource for quantum computing and interferometry. Determining the type of entanglement present in a system usually requires access to an exponential number of parameters. We show that in the case…
A simple model for the formation of a complex organism is introduced. Individuals can communicate and specialize, leading to an increase in productivity. If there are limits to the capacity of individuals to communicate with other…
We prove that for regular contact forms there exists a bijective correspondence between the $C^0$ limits of sequences of smooth strictly contact isotopies and the limits with respect to the contact distance of their corresponding…
The first three sections of this survey represent an updated and much expanded version of the abstract of my talk at FPSAC'2010: new results are incorporated and several concrete conjectures on the interactions between the three…
We present a simple, analytic and straightforward method to elucidate the effects produced by polytropic fluids on any other gravitational source, no matter its nature, for static and spherically symmetric spacetimes. As a direct…
The characterization of the interactions between two fully flexible self-avoiding polymers is one of the classic and most important problems in polymer physics. In this paper we measure these interactions in the presence of active…
A celebrated theorem of Balas gives a linear mixed-integer formulation for the union of two nonempty polytopes whose relaxation gives the convex hull of this union. The number of inequalities in Balas formulation is linear in the number of…
We obtain analytical expressions for an effective potential of interaction between two- and three-dimensional (2D and 3D) solitons (including the case of 2D vortex solitons) belonging to two different modes which are incoherently coupled by…
We give examples of tight high dimensional contact manifolds admitting a contactomorphism whose powers are all smoothly isotopic but not contact-isotopic to the identity. This is a generalization of an observation in dimension 3 by Gompf,…