Related papers: Axiomatizing rectangular grids with no extra non-u…
Conventional quantum field theory is a method for studying structureless elementary particles. Non-elementary particles, on the other hand, are those with internal structure or particles that are made up of elementary constituents like the…
We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…
The independence number of a square matrix $A$, denoted by $\alpha(A)$, is the maximum order of its principal zero submatrices. Let $S_n^{+}$ be the set of $n\times n$ nonnegative symmetric matrices with zero trace. Denote by $J_n$ the…
We use an extension of the method due to Batalin, Fradkin, Fradkina, and Tyutin (BFFT) for transforming the nonlinear $\sigma$ model in a non-Abelian gauge theory. We deal with both supersymmetric and nonsupersymmetric cases. The bosonic…
Chamseddine and Connes have argued that the action for Einstein gravity, coupled to the SU(3)\times SU(2)\times U(1) standard model of particle physics, may be elegantly recast as the "spectral action" on a certain "non-commutative…
In the traditional quantum theory, one-dimensional quantum spin models possess a factorization surface where the ground states are fully separable having vanishing bipartite as well as multipartite entanglement. We report that in the…
We consider a homogeneous system of linear equations of the form $A_\alpha^{\otimes N} {\bf x} = 0$ arising from the distinguishability of two quantum operations by $N$ uses in parallel, where the coefficient matrix $A_\alpha$ depends on a…
For every positive integer $n$, we find a complete classification for planar graphs according to the collection of numbers of common neighbours for every $n$-tuple of distinct vertices. Our results expand the literature on planar graphical…
A computable structure $\mathcal{A}$ is decidable if, given a formula $\varphi(\bar{x})$ of elementary first-order logic, and a tuple $\bar{a} \in \mathcal{A}$, we have a decision procedure to decide whether $\varphi$ holds of $\bar{a}$. We…
We study approximate equivalence relations up to commensurability, in the presence of a definable measure. As a basic framework, we give a presentation of probability logic based on continuous logic. Hoover's normal form is valid here; if…
We propose a generalization of non-commutative geometry and gauge theories based on ternary Z_3-graded structures. In the new algebraic structures we define, we leave all products of two entities free, imposing relations on ternary products…
Several results related to flat Friedmann-Lema\^{\i}tre-Robertson-Walker models in the conformal (Einstein) frame of scalar-tensor gravity theories are extended. Scalar fields with arbitrary (positive) potentials and arbitrary coupling…
We use filtrations of the Grassmannian model to produce explicit algebraic formulae for all harmonic maps of finite uniton number from a Riemann surface, and so all harmonic maps from the 2-sphere, to the unitary group for a general class…
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axiomatic systems are nowadays mere definitions, such as the axioms of Group Theory; but some systems are much deeper, such as the axioms of…
We consider two systems of curves $(\alpha_1,...,\alpha_m)$ and $(\beta_1,...,\beta_n)$ drawn on a compact two-dimensional surface $M$ with boundary. Each $\alpha_i$ and each $\beta_j$ is either an arc meeting the boundary of $M$ at its two…
We consider a theory of noncommutative Gr\"obner bases on decreasingly filtered algebras whose associated graded algebras are commutative. We transfer many algorithms that use commutative Gr\"obner bases to this context. As an important…
We describe quasi-Hopf twist deformations of flat closed string compactifications with non-geometric R-flux using a suitable cochain twist, and construct nonassociative deformations of fields and differential calculus. We report on our new…
This paper deals with $n$-dimensional algebras, over any field, which have only trivial derivation (automorphism) and simple algebras. It is shown that the corresponding sets of algebras are not empty and, in algebraically closed field…
The aim of this paper is to give a new method to construct explicit formulas for algebraic differential operators of any order on a finitely generated projective module $E$ on a commutative unital ring $A$. We moreover give explicit…
The paper aims at finding acyclic graphs under a given set of constraints. More specifically, given a propositional formula {\phi} over edges of a fixed-size graph, the objective is to find a model of {\phi} that corresponds to a graph that…