Related papers: Once more about the 52 four-dimensional parallelot…
A dichotomy for expansions of the real field is established: Either the set of integers is definable or every nonempty bounded nowhere dense definable subset of the real numbers has Minkowski dimension zero.
Conformal field theories corresponding to two-dimensional electrically charged black holes and to two-dimensional anti-de Sitter space with a covariantly constant electric field are simply constructed as $SL(2,R)/Z$ WZW coset models. The…
We introduce a system of invariants of isotopy classes of Morse polynomials ${\mathbb R}^2 \to {\mathbb R}^1$, prove its completeness for polynomials of degrees $\leq 4$, calculate all 71 possible values of these invariants for the case of…
We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy…
Construction of a semigroup with 15 generators and 84 relations is given. The center of this semigroup is in one-to-one correspondence with the set of all isotopy classes of non-oriented singular knots (links with finitely many double…
We classify parallelizable noncommutative manifold structures on finite sets of small size in the general formalism of framed quantum manifolds and vielbeins introduced previously. The full moduli space is found for $\le 3$ points, and a…
We propose a method to efficiently compute the Minkowski sum, denoted by binary operator $\oplus$ in the paper, of convex polytopes in $\Re^d$ using their face lattice structures as input. In plane, the Minkowski sum of convex polygons can…
A quadratic invariant is defined as a quadratic form in the elements of a tensor that remains invariant under a group of coordinate transformations. It is proved that there are 7 quadratic invariants of the 21-element elastic modulus tensor…
In this paper we construct the space of smooth 4-manifolds and find the homotopy model for the connected components of the complement to the discriminant. The discriminant of this space is a singular hypersurface and its generic points…
A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $\lambda_1$ common neighbors, and two…
A marginally trapped surface in the four-dimensional Minkowski space is a spacelike surface whose mean curvature vector is lightlike at each point. We associate a geometrically determined moving frame field to such a surface and using the…
In the note, all indecomposable canonical forms of linear systems with dimension less than or equal to $4$ are determined based on Belitskii's algorithm. As an application, an effective way to calculate dimensions of equivalence classes of…
Parallelogram polyominoes are a subclass of convex polyominoes in the square lattice that has been studied extensively in the literature. Recently congruence classes of convex polyominoes with respect to rotations and reflections have been…
This paper develops and compares algorithms to compute inner approximations of the Minkowski sum of convex polytopes. As an application, the paper considers the computation of the feasibility set of aggregations of distributed energy…
We study enumerative questions on the moduli space $\mathcal{M}(L)$ of hyperplane arrangements with a given intersection lattice $L$. Mn\"ev's universality theorem suggests that these moduli spaces can be arbitrarily complicated; indeed it…
This paper concerns the enumeration of isomorphism classes of modules of a polynomial algebra in several variables over a finite field. This is the same as the classification of commuting tuples of matrices over a finite field up to…
We show that there are four chiral ${\cal W}$-algebra extensions of $\mathfrak{so}(2,3)$ algebra and construct them explicitly. We do this by a simple identification of each of the inequivalent embeddings of a copy of…
Using ultraproduct techniques we define a nonstandard Minkowski dimension which exists for all bounded sets and which has the property that $\dim(A\times B)=\dim(A)+\dim(B).$ That is, our new dimension is product-summable. To illustrate our…
A $3$-dimensional polytope $P$ is $k$-equiprojective when the projection of $P$ along any line that is not parallel to a facet of $P$ is a polygon with $k$ vertices. In 1968, Geoffrey Shephard asked for a description of all equiprojective…
We prove that every endomorphism of an infinite-dimensional vector space splits as the sum of four idempotents and as the sum of four square-zero endomorphisms, a result that is optimal in general.