Related papers: Axiomatizing rectangular grids with no extra non-u…
We report briefly on an approach to quantum theory entirely based on symmetry grounds which improves Geometric Quantization in some respects and provides an alternative to the canonical framework. The present scheme, being typically…
We consider a self-gravitating system containing a globally timelike Killing vector and a nonlinear Born-Infeld electromagnetic field and scalar fields. We prove that under certain boundary conditions (asymptotically flat/AdS) there can't…
We propound the thesis that there is a limitation to the number of possible structures which are axiomatically endowed with identities involving operations. In the case of algebras with a binary operation satisfying a formally reducible (to…
In this paper we develop techniques that eliminate the need of the Generalized Riemann Hypothesis (GRH) from various (almost all) known results about deterministic polynomial factoring over finite fields. Our main result shows that given a…
A non-aligned drawing of a graph is a drawing where no two vertices are in the same row or column. Auber et al. showed that not all planar graphs have non-aligned drawings that are straight-line, planar, and in the minimal-possible $n\times…
We prove that for a finite first order structure $\mathbf{A}$ and a set of first order formulas $\Phi$ in its language with certain closure properties, the finitary relations on $A$ that are definable via formulas in $\Phi$ are uniquely…
By generalizing the path method, we show that nonlinear spectral gaps of a finite connected graph are uniformly bounded from below by a positive constant which is independent of the target metric space. We apply our result to an $r$-ball…
Poisson algebra is usually defined to be a commutative algebra together with a Lie bracket, and these operations are required to satisfy the Leibniz rule. We describe Poisson structures in terms of a single bilinear operation. This enables…
A cornerstone theorem in the Graph Minors series of Robertson and Seymour is the result that every graph $G$ with no minor isomorphic to a fixed graph $H$ has a certain structure. The structure can then be exploited to deduce far-reaching…
We consider absolutely free nonassociative algebras and, more generally, absolutely free algebras with (maybe infinitely) many multilinear operations. Such algebras are described in terms of labeled reduced planar rooted trees. This allows…
We study non-linear $\sigma$-models defined on noncommutative torus as a two dimensional string world-sheet. We consider a quantum group as a noncommutative space-time as well as two points, a circle, and a noncommutative torus. Using the…
We use axioms of abstract ternary relations to define the notion of a free amalgamation theory. These form a subclass of first-order theories, without the strict order property, encompassing many prominent examples of countable structures…
Mathematical modeling of gravitating configurations of physical fields is one of the priority directions of the modern theory of gravity. Most of the exact solutions constructed within the framework of the general relativity are static or…
Supersymmetric nonlinear sigma models are formulated as gauge theories. Auxiliary chiral superfields are introduced to impose supersymmetric constraints of F-type. Target manifolds defined by F-type constraints are always non-compact. In…
A qualitative representation $\phi$ is like an ordinary representation of a relation algebra, but instead of requiring $(a; b)^\phi = a^\phi | b^\phi$, as we do for ordinary representations, we only require that $c^\phi\supseteq a^\phi |…
Numerical characteristics of identities of finite-dimensional nonassociative algebras are studied. The main result is the construction of a four-dimensional simple unitary algebra with fractional PI-exponent strictly less than its…
We apply a recently proposed definition of a linear connection in non commutative geometry based on the natural bimodule structure of the algebra of differential forms to the case of the two-parameter quantum plane. We find that there…
A non-associative algebra over a field $\mathbb{K}$ is a $\mathbb{K}$-vector space $A$ equipped with a bilinear operation \[ {A\times A\to A\colon\; (x,y)\mapsto x\cdot y=xy}. \] The collection of all non-associative algebras over…
We show that having any planar (cyclic or acyclic) directed network on a disc with the only condition that all $n_1+m$ sources are separated from all $n_2+m$ sinks, we can construct a cluster-algebra realization of elements of an affine…
We establish a new self-consistent system of equations for the gravitational and electromagnetic fields. The procedure is based on a non-minimal non-linear extension of the standard Einstein-Hilbert-Maxwell action. General properties of a…