Related papers: Complete Order Equivalence of Spin Unitaries
All four dimensional orbit spaces of compact coregular linear groups have been determined. The results are obtained through the integration of a universal differential equation, that only requires as input the number of elements of an…
We characterize the simplicity of universal C$^*$-algebras arising from multispinal groups. Let $\mathcal{O}_{G_{\max}}$ be the universal C$^*$-algebra associated to a multispinal group $G$. We show that the invertibility of a matrix…
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…
We continue the investigation of Spin(7) holonomy metric of cohomogeneity one with the principal orbit SU(3)/U(1). A special choice of U(1) embedding in SU(3) allows more general metric ansatz with five metric functions. There are two…
Let $C=C(X)$ be the unital $C^*$-algebra of all continuous functions on a finite CW complex $X$ and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. We show that two unital monomorphisms $\phi, \psi: C\to A$ are…
In this paper, we characterize the families of those bounded linear operators on a separable Hilbert space which are simultaneously unitarily equivalent to integral bi-Carleman operators on $L_2(R)$ having arbitrarily smooth kernels of…
In spin-adapted open-shell coupled cluster (CC) theory, the choice of spin-free spatial substitution operators is generally not unique. Due to an increasing linear dependence of the cluster operator (with increasing substitution level), the…
We study topological groups $G$ for which the universal minimal $G$-system $M(G)$, or the universal irreducible affine $G$-system $IA(G)$ are tame. We call such groups intrinsically tame and convexly intrinsically tame. These notions are…
For a given stationary set $S$ of countable ordinals we prove (in $\mathbf{ZFC}$) that the assertion "every $S$-ladder system has $\aleph_0$-uniformization" is equivalent to "every strongly $\aleph_1$-free abelian group of cardinality…
Based on a fact that complex Clifford algebras of even dimension are isomorphic to the matrix ones, we consider bundles in Clifford algebras whose structure group is a general linear group acting on a Clifford algebra by left…
Orthogonal sets of idempotents are used to design sets of unitary matrices, known as constellations, such that the modulus of the determinant of the difference of any two distinct elements is greater than $0$. It is shown that unitary…
This study explores the relationship between hypergraph automorphisms and the spectral properties of matrices associated with hypergraphs. For an automorphism $f$, an \( f \)-compatible matrices capture aspects of the symmetry, represented…
Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…
The integral variation map and algebraic monodromy of isolated plane curve singularities are important homological invariants of the singularity which are still far from being completely understood. This work provides effective ways of…
A $\mu$-algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms $(f,\mu_{x}.f)$ where $\mu_{x}.f$ is axiomatized as the least prefixed point of $f$, whose axioms are…
Each square complex matrix is unitarily similar to an upper triangular matrix with diagonal entries in any prescribed order. Let A and B be upper triangular n-by-n matrices that (i) are not similar to direct sums of matrices of smaller…
Matrix Product Vectors form the appropriate framework to study and classify one-dimensional quantum systems. In this work, we develop the structure theory of Matrix Product Unitary operators (MPUs) which appear e.g. in the description of…
We prove that every continuous mapping from a separable infinite-dimensional Hilbert space $X$ into $\mathbb{R}^{m}$ can be uniformly approximated by $C^\infty$ smooth mappings {\em with no critical points}. This kind of result can be…
The space of unitary $C_{0}$-semigroups on separable infinite dimensional Hilbert space, when viewed under the topology of uniform weak convergence on compact subsets of $\mathbb{R}_{+}$, is known to admit various interesting residual…
We investigate a rearrangement inequality for pairs of n-square matrices: Let |A\|_p denote the C^p trace norm of an n-square matrix A. Consider the quantity |A+B|_p^p + |A-B|_p^p. Under certain positivity conditions, we show that this is…