相关论文: Potential theory and forcing
In this article we will apply the first- and second-order supersymmetric quantum mechanics to obtain new exactly-solvable real potentials departing from the inverted oscillator potential. This system has some special properties; in…
The Lagrangian and equations of the gauge model of the fifth fundamental interaction are constructed and the corresponding corrections to the Newtonian potential are obtained.
In this note we prove that the factorization theorem for dominated polynomials previously proved by the authors is equivalent to an alternative factorization scheme that uses classical linear techniques and a linearization process. However,…
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantified) multimodal logics and intuitionistic logics, can be…
Canonical variables for the Poisson algebra of quantum moments are introduced here, expressing semiclassical quantum mechanics as a canonical dynamical system that extends the classical phase space. New realizations for up to fourth order…
A simple criterion is derived in order that a number sequence ${\cal S}_n$ is a permitted spectrum of a quantized system. The sequence of the prime numbers fulfils the criterion and the corresponding one-dimensional quantum potential is…
The familiar theories of physics have the feature that the application of the theory to make predictions in specific circumstances can be done by means of an algorithm. We propose a more precise formulation of this feature --- one based on…
Contraction theory is a mathematical framework for studying the convergence, robustness, and modularity properties of dynamical systems and algorithms. In this opinion paper, we provide five main opinions on the virtues of contraction…
We compute quantum corrections for the gravitational potential obtained by including a derivative self-coupling in its classical dynamics as a toy model for analysing quantum gravity in the strong field regime. In particular, we focus on…
We define an effective potential describing all massless and massive modes in the supergravity limit of string/M theory compactification which is valid off-shell, i.e. without imposing the equations of motion. If we neglect the warp factor,…
Bayesian probability theory is used as a framework to develop a formalism for the scientific method based on principles of inductive reasoning. The formalism allows for precise definitions of the key concepts in theories of physics and also…
Using the electrostatic potential $u$ due to a uniformly charged body $\Omega\subset\mathbb R^n$, $n\geq 3$, we introduce a family of monotone quantities associated with the level set flow of $u$. The derived monotonicity formulas are…
The vacuum polarization energy is the leading quantum correction to the classical energy of a soliton. We study this energy for two-component solitons in one space dimension as a function of the soliton's topological charge. We find that…
Classical nucleation theory is used to estimate the free-energy barrier to nucleation of the solid phase of particles interacting via a potential which has a short-ranged attraction. Due to the high interfacial tension between the fluid and…
The solution of the Dirac equation for an attractive linear potential is considered. The Lorentz nature of the potential (vector or scalar) affects the existence of bound states. For simplicity, and since it is sufficient for the goals of…
An essential element of classical computation is the "if-then" construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand,…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.
For problems relating to fracture, a consistent embedding of a quantum (QM) domain in its classical (CM) environment requires that the classical system should yield the same structure and elastic properties as the QM domain for states near…
In the present paper we are interested in simple forcing notions and Forcing Axioms. A starting point for our investigations was the article [JR1] in which several problems were posed. We answer some of those problems here.