Related papers: Universality of Polyhedral Linkages
We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…
Based on the properties of the poset of those equivalence relations of a multialgebra for which the factor multialgebra is a universal algebra, we give a characterization for the fundamental relations of a multialgebra. We point out the…
Discrete analogs of extrema of curvature and generalizations of the four-vertex theorem to the case of polygons and polyhedra are suggested and developed. For smooth curves and polygonal lines in the plane, a formula relating the number of…
We obtain a new general sufficient condition for the continuity of the Bergman projection in tube domains over symmetric cones using multifunctional embeddings.We also obtain some sharp embedding relations between the generalized…
Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in…
We present structures comprised of identical convex polyhedra which are interlocked geometrically. These sets cannot be disassembled by removing individual polyhedra by translations and/or rotations. The shapes that permit interlocking…
We construct triangular hyperbolic polyhedra whose links are generalized 4-gons. The universal cover of those polyhedra are hyperbolic buildings, which appartments are hyperbolic planes tesselated by regular triangles with angles $\pi/4$.…
Designing complex engineered systems requires managing tightly coupled trade-offs between subsystem capabilities and resource requirements. Monotone co-design provides a compositional language for such problems, but its generality does not…
This paper establishes an analogue of the special chain theorem for the embedding dimension of polynomial rings, with direct application on the (embedding) codimension. In particular, we recover a classic result on the transfer of…
Universality theorems (in the sense of N. Mn\"{e}v) claim that the realization space of a combinatorial object (a point configuration, a hyperplane arrangement, a convex polytope, etc.) can be arbitrarily complicated. In the paper, we prove…
The Campbell-Magaard theorem is widely seen as a way of embedding Einstein's 4D theory of general relativity in a 5D theory of the Kaluza-Klein type. We give a brief history of theorem, present a short account of it, and show that it…
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in…
The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
It is pointed out that if we allow for the possibility of a multilayered universe, it is possible to maintain exact supersymmetry and arrange, in principle, for the vanishing of the cosmological constant. Superpartner(s) of a known particle…
We show that the notion of generalized Lenard chains naturally allows formulation of the theory of multi-separable and superintegrable systems in the context of bi-Hamiltonian geometry. We prove that the existence of generalized Lenard…
Let p be a polynomial in one variable. It is shown that the universal C*-algebra of the relation p(x)=0, \|x\| \le C is semiprojective, residually finite-dimensional and has trivial extension group.
A general framework for obtaining certain types of contracted and centrally extended algebras is presented. The whole process relies on the existence of quadratic algebras, which appear in the context of boundary integrable models.
A point set $M$ in the Euclidean plane is called a planar integral point set if all the distances between the elements of $M$ are integers, and $M$ is not situated on a straight line. A planar integral point set is called to be in…
Given any rectangular polyhedron 3-manifold $P$ tiled with unit cubes, we find infinitely many explicit directions related to cubic algebraic numbers such that all half-infinite geodesics in these directions are uniformly distributed in…