Related papers: Axiomatizing rectangular grids with no extra non-u…
We consider Yang-Mills theory in Euclidean space-time $(R^4)$ and construct its configuration space. The orbits are first shown to form a congruence set. Then we discuss the orthogonal gauge condition in Abelian theory and show that…
Chiral symmetry provides the symmetry protection for a large class of topological edge states. It exists in non-Hermitian systems as well, and the same anti-commutation relation between the Hamiltonian and a linear chiral operator, i.e.,…
We define the \emph{visual complexity} of a plane graph drawing to be the number of basic geometric objects needed to represent all its edges. In particular, one object may represent multiple edges (e.g., one needs only one line segment to…
Billey et al. [arXiv:1507.04976] have recently discovered a surprisingly simple formula for the number $a_n(\sigma)$ of leaf-labelled rooted non-embedded binary trees (also known as phylogenetic trees) with $n\geq 1$ leaves, fixed (for the…
We use algebraic geometry to study the anomaly-free representations of an arbitrary gauge Lie algebra for 4-dimensional spacetime fermions. For irreducible representations, the problem reduces to studying the Lie algebras $\mathfrak{su}_n$…
The fundamental concepts of Riemannian geometry, such as differential forms, vielbein, metric, connection, torsion and curvature, are generalized in the context of non-commutative geometry. This allows us to construct the…
In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this…
We consider $\omega^n$-automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length $\omega^n$ for some integer $n\geq 1$. We show that all these structures are…
We consider a condition for non-degenerate commuting squares of matrix algebras (finite dimensional von Neumann algebras) called the \emph{span condition}, which in the case of the $n$-dimensional standard spin models is shown to be…
The Seiberg-Witten map links noncommutative gauge theories to ordinary gauge theories, and allows to express the noncommutative variables in terms of the commutative ones. Its explicit form can be found order by order in the noncommutative…
For causal discovery in the presence of latent confounders, constraints beyond conditional independences exist that can enable causal discovery algorithms to distinguish more pairs of graphs. Such constraints are not well-understood yet. In…
In this paper we propose a way to construct an analytic space over a non-archimedean field, starting with a real manifold with an affine structure which has integral monodromy. Our construction is motivated by the junction of Homological…
We study pseudorandomness and pseudorandom generators from the perspective of logical definability. Building on results from ordinary derandomization and finite model theory, we show that it is possible to deterministically construct, in…
Quantum spaces with $\frak{su}(2)$ noncommutativity can be modelled by using a family of $SO(3)$-equivariant differential $^*$-representations. The quantization maps are determined from the combination of the Wigner theorem for $SU(2)$ with…
In this paper, we show that the presence of nonlinear coupling between time series may be detected employing kernel feature space representations alone dispensing with the need to go back to solve the pre-image problem to gauge model…
Proof schemata are infinite sequences of proofs which are defined inductively. In this paper we present a general framework for schemata of terms, formulas and unifiers and define a resolution calculus for schemata of quantifier-free…
A class of background independent matrix models is made for which the structure of both local gauge symmetries and classical solutions is clarified. These matrix models do not involve a space-time metric and provide the matrix analogs of…
The paper introduces a new characterisation of strictly positive definiteness for kernels on the 2-sphere without assuming the kernel to be radially (isotropic) or axially symmetric. The results use the series expansion of the kernel in…
A linear mapping $\phi$ from an algebra $\mathcal{A}$ into its bimodule $\mathcal M$ is called a centralizable mapping at $G\in\mathcal{A}$ if $\phi(AB)=\phi(A)B=A\phi(B)$ for each $A$ and $B$ in $\mathcal{A}$ with $AB=G$. In this paper, we…
We describe a unitary matrix model which is constructed from discrete analogs of the usual projective modules over the noncommutative torus and use it to construct a lattice version of noncommutative gauge theory. The model is a…