Related papers: Comments on "Quantum Control by Decompositions of …
In a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those. In this…
Within the generalized definition of coherent states as group orbits we study the orbit spaces and the orbit manifolds in the projective spaces constructed from linear representations. Invariant functions are suggested for arbitrary groups.…
The paper reviews and discusses four ideas scattered in previous papers of the author. First, objective properties of quantum systems are not associated with observables but are defined by preparations. Second, measurable results of…
We show that most of the applications of SU_q(2) fermions to statistical mechanics and quantum field theory, previously discussed in literature, are based on a wrong statement about the connection between deformed and undeformed fermion…
Quantifying quantum resources for simulating the fundamental forces of Nature is sensitive to the mapping of gauge fields onto finite quantum computational architectures. When locally truncating lattice gauge theories in the irreducible…
The spherical vortex as introduced in [Phys. Rev. D77, 014515 (2008)] is generalized. A continuum form of the spherical vortex is derived and investigated in detail. The discrepancy between the gluonic lattice topological charge and the…
Recent attempts to resolve the ambiguity in the loop quantum gravity description of the quantization of area has led to the idea that j=1 edges of spin-networks dominate in their contribution to black hole areas as opposed to j=1/2 which…
We examine nucleon-nucleon realistic interactions, based on their SU(3) decomposition to SU(3)-symmetric components. We find that many of these interaction components are negligible, which, in turn, allows us to identify a subset of…
A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include…
From SUSY ladder operators in momentum space of a neutron in the magnetic field of a linear current, we construct $2\times 2$ matrix operators that together with the z-component of the angular momentum satisfy the su(2) Lie algebra. We use…
In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…
This paper has been withdrawn by the authors owing to a mistake in the proof of the basic lemma.
We comment on a priority claim given by the authors of Phys.Rev.C91 (2015) 6, 064311.
In this paper we prove some rigidity theorems associated to $Q$-curvature analysis on asymptotically Euclidean (AE) manifolds, which are inspired by the analysis of conservation principles within fourth order gravitational theories. A…
An analysis of a $SU(2)_L \times SU(2)_R$ invariant, supersymmetric effective theory is given. The resulting leading and next to leading independent invariants are stated in terms of the underlying Killing vectors and K\"ahler potential.…
An alternative, geometrical proof of a known theorem concerning the decomposition of positive maps of the matrix algebra $M_{2}(\mathbb{C})$ has been presented. The premise of the proof is the identification of positive maps with operators…
It is shown that embedding a four-dimensional flipped SU(5) model in a five-dimensional SO(10) model, preserves the best features of both flipped SU(5) and SO(10). The missing partner mechanism, which naturally achieves both doublet-triplet…
This paper studies controllability properties of recurrent neural networks. The new contributions are: (1) an extension of the result in the previous paper "Complete controllability of continuous-time recurrent neural networks" (Sontag and…
In this article, the author provides full details of the proof of the concordance/isotopy problem. The first published proof, [5], accomplished this task only partially since there was an error, see the erratum [6], which damaged the main…
We generalize the results from "P. Lipparini, Productive $[\lambda,\mu]$-compactness and regular ultrafilters, Topology Proceedings, 21 (1996), 161--171"; in particular the present results apply to singular cardinals, too.