Related papers: A note on the differences of computably enumerable…
We study the modular representation theory of the symmetric and alternating groups. One of the most natural ways to label the irreducible representations of a given group or algebra in the modular case is to show the unitriangularity of the…
Suppose that $\mathcal{C}$ is the space of all middle Cantor sets. We characterize all triples $(\alpha,~\beta,~\lambda)\in \mathcal{C}\times\mathcal{C}\times \mathbb{R}^*$ that satisfy $C_\alpha- \lambda C_\beta=[-\lambda,~1]. $ Also all…
In this paper, we study admissible $\omega$-left-symmetric algebraic structures on $\omega$-Lie algebras over the complex numbers field $\mathbb C$. Based on the classification of $\omega$-Lie algebras, we prove that any perfect…
The Church-Turing Thesis confuses numerical computations with symbolic computations. In particular, any model of computability in which equality is not definable, such as the lambda-models underpinning higher-order programming languages, is…
For the two-parameter Mittag-Leffler function $E_{\alpha,\beta}$ with $\alpha > 0$ and $\beta \ge 0,$ we consider the question whether $|E_{\alpha,\beta}(z)|$ and $E_{\alpha,\beta}(\Re z)$ are comparable on the whole complex plane. We show…
The quantum mechanics of closed systems such as the universe is formulated using an extension of familiar probability theory that incorporates negative probabilities. Probabilities must be positive for sets of alternative histories that are…
We characterize pairs of orthogonal countable ordinals. Two ordinals $\alpha$ and $\beta$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $\alpha$ and $\beta$ respectively such that the only…
Analogue to commutants in the theory of associative algebras, one can construct a new subalgebra of vertex algebra known as a vertex algebra commutant. In this paper, for the adjoint representation $V$ of Lie algebra $sl(2,\C)$, we describe…
Non-commutative QED would lead to deviations from the Standard Model depending on a new energy scale Lambda_NC and a unique direction in space defined by two angles eta and xi. Here in this analysis eta is defined as the angle between the…
We introduce two extensions of the $\lambda$-calculus with a probabilistic choice operator, $\Lambda_\oplus^{cbv}$ and $\Lambda_\oplus^{cbn}$, modeling respectively call-by-value and call-by-name probabilistic computation. We prove that…
Martin-Lof's definition of random sequences of cbits as those not belonging to any set of constructive zero Lebesgue measure is reformulated in the language of Algebraic Probability Theory. The adoption of the Pour-El Richards theory of…
Some drawbacks of the formalism of Bayes Theorem can be avoided by the rMPE-Method, a modification of the cMPE-Method that permits (i): Adding probabilities in spite of non-linearity. (ii): Taking into account extensional evidence and…
Bell's theorem is supposed to exclude all local hidden-variable models of quantum correlations. However, an explicit counterexample shows that a new class of local realistic models, based on generalized arithmetic and calculus, can exactly…
This paper studies left invertibility of discrete-time linear I/O quantized linear systems of dimension 1. Quantized outputs are generated according to a given partition of the state-space, while inputs are sequences on a finite alphabet.…
The countable condensation on a linear order $L$ is the equivalence relation $\sim_\omega$ defined by declaring $x \sim_\omega y$ when the set of points between $x$ and $y$ is countable. We characterize the linear orders $L$ that condense…
In traditional quantum computing, it has been established that real quantum computation augmented with non-Clifford gates is as powerful as universal quantum computation. Here we investigate this phenomenon in the non-Hermitian setting. We…
In this paper, we consider partially commutative metabelian Lie algebras whose defining graphs are cycles. We show that such algebras are universally equivalent iff the corresponding cycles have the same length. Moreover, we give an example…
We investigate the log-concavity on the half-line of the Wright function $\phi(-\alpha,\beta,-x),$ in the probabilistic setting $\alpha\in (0,1)$ and $\beta \ge 0.$ Applications are given to the construction of generalized entropies…
It is shown that the universal theory of the free pseudocomplemented distributive lattice is decidable and a recursive axiomatization is presented. This contrasts with the case of the full elementary theory of the finitely generated free…
We introduce the notion of a restricted exchangeable partition of $\mathbb{N}$. We obtain integral representations, consider associated fragmentations, embeddings into continuum random trees and convergence to such limit trees. In…