Related papers: Patterns of resemblance and Bachmann-Howard fixed …
Commutative analogues of Clifford algebras are algebras defined in the same way as Clifford algebras except that their generators commute with each other, in contrast to Clifford algebras in which the generators anticommute. In this paper,…
We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in…
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational…
We prove an abstract form of the strong convergence of the Halpern-type and Tikhonov-type proximal point algorithms in CAT(0) spaces. In addition, we derive uniform and computable rates of metastability (in the sense of Tao) for these…
In this article we will examine a "generalized topological sigma model." This so-called "generalized topological sigma model" is the M-Theoretic analog of the standard topological sigma model of string theory. We find that the observables…
nspired by the work of J$\o$rgensen [J], we define a (upper-, lower-) symmetric recollements; and give a one-one correspondence between the equivalent classes of the upper-symmetric recollements and one of the lower-symmetric recollements,…
We propose a novel sparse dictionary learning method for planar shapes in the sense of Kendall, namely configurations of landmarks in the plane considered up to similitudes. Our shape dictionary method provides a good trade-off between…
We show that a strongly $\lambda$-spirallike function of order $\alpha$ can be extended to a $\sin(\pi\alpha/2)$-quasiconformal automorphism of the complex plane for $-\pi/2<\lambda<\pi/2$ and $0<\alpha<1$ with $|\lambda|<\pi\alpha/2.$ In…
We study a long-recognised but under-appreciated symmetry called "dynamical similarity" and illustrate its relevance to many important conceptual problems in fundamental physics. Dynamical similarities are general transformations of a…
Some results on (pre-)Jacobi-Jordan algebras and their representations are proved. Moreover, the notion of matched pairs and relative Rota-Baxter operators on these algebras are introduced and studied. The cohomology theory of relative…
Boltzmann samplers, introduced by Duchon et al. in 2001, make it possible to uniformly draw approximate size objects from any class which can be specified through the symbolic method. This, through by evaluating the associated generating…
This paper finally fully elaborates the tree pulldown method used by one of us (Harrington) to settle McLaughlin's conjecture. This method enables the construction of a computable tree $T_0$ whose paths are incomparable over $0^{(\alpha)}$…
We extend the {\lambda}-calculus with constructs suitable for relational and functional-logic programming: non-deterministic choice, fresh variable introduction, and unification of expressions. In order to be able to unify…
We establish direct isomorphisms between different versions of tiling cohomology. The first version is the direct limit of the cohomologies of the approximants in the Anderson-Putnam-G\"ahler complex, the second is the recently introduced…
The nonrelativistic Hamiltonians of scalar, spinor and vector particles in the electromagnetic field are studied by applying the Douglas-Kroll-Hess approach. Their relativistic Hamiltonians are expanded on the potential, and the…
Dictionary learning is the task of determining a data-dependent transform that yields a sparse representation of some observed data. The dictionary learning problem is non-convex, and usually solved via computationally complex iterative…
Consider a normal function $f$ on the ordinals (i. e. a function $f$ that is strictly increasing and continuous at limit stages). By enumerating the fixed points of $f$ we obtain a faster normal function $f'$, called the derivative of $f$.…
We study the first-order axiomatisability of finite semiring interpretations or, equivalently, the question whether elementary equivalence and isomorphism coincide for valuations of atomic facts over a finite universe into a commutative…
The eigenvalues of a self-adjoint nxn matrix A can be put into a decreasing sequence $\lambda=(\lambda_1,...,\lambda_n)$, with repetitions according to multiplicity, and the diagonal of A is a point of $R^n$ that bears some relation to…
New results on strong-consistency, in the Hilbert-Schmidt and trace operator norms, are obtained, in the parameter estimation of an autoregressive Hilbertian process of order one (ARH(1) process). In particular, a strongly-consistent…