Related papers: A theorem of Cobham for non-primitive substitution…
The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we augment the lambda-calculus's grammar with an uninterpreted…
We establish isomorphism ranges for the comparison maps between algebraic and topological K-groups, extending classical Quillen-Lichtenbaum conjecture to separated complex schemes of finite type after refinement. Additionally, we…
The concept of quantization consists in replacing commutative quantities by noncommutative ones. In mathematical language an algebra of continuous functions on a locally compact topological space is replaced with a noncommutative…
We establish a Liouville type theorem for some conformally invariant fully nonlinear equations
Using the basic ingredient of supersymmetry, we develop a simple alternative approach to perturbation theory in one-dimensional non-relativistic quantum mechanics. The formulae for the energy shifts and wave functions do not involve tedious…
We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic…
We prove a robust extension of the quantum adiabatic theorem. The theorem applies to systems that have resonances instead of bound states, and to systems for which just an approximation to a bound state is known. To demonstrate the…
Simple argument in favour of unitarity, to all orders, of space-like noncommutative theory is given.
We generalize the Cauchy-Davenport theorem to locally compact groups.
Generalizing the noncommutative harmonic oscillator construction, we propose a new extension of quantum field theory based on the concept of "noncommutative fields". Our description permits to break the usual particle-antiparticle…
We introduce a class of non-Moufang loops satisfying the Moufang's theorem.
We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non…
We propose an alternative interpretation for the meaning of noncommutativity of the string-inspired field theories and quantum mechanics. Arguments are presented to show that the noncommutativity generated in the stringy context should be…
We prove a set of general theorems that provide new nonlocal constants and first integrals for nonlinear Jacobi-type ordinary differential equations. Applications include equations of the Painleve-Gambier classification.
Doob's theorem provides guarantees of consistent estimation and posterior consistency under very general conditions. Despite the limitation that it only guarantees consistency on a set with prior probability 1, for many models arising in…
We provide primitive recursive bounds for the finite version of Gowers' $c_0$ theorem for both the positive and the general case. We also provide multidimensional versions of these results.
We extend Noether's symmetry theorem to fractional action-like variational problems with higher-order derivatives.
In this announcement we generalize the Markov-Kakutani fixed point theorem for abelian semi-groups of affine transformations extending it on some class of non-commutative semi-groups. As an interesting example we apply it obtaining a…
We provide a permutation-invariant version of the Koml\'os' theorem for non-negative random variables. The proof is quite elementary in the sense that it did not use the Axiom of Choice, and was based on a recent result in [3].
This paper considers a generalization of the notion of quantum observables in ontological models of quantum mechanics. Within this framework it is possible to construct physical models where quantum noncommutativity can arise dynamically.…