相关论文: Potential theory and forcing
In this review we present the theoretical background for treating General Relativity as an effective field theory and focus on the concrete results of such a treatment. As a result we present the calculations of the low-energy leading…
A simple definition of torsion theory is presented, as a factorization system with both classes satisfying the 3--for--2 property. Comparisons with the traditional notion are given, as well as connections with the notions of fibration and…
We develop a general theory for class-sized symmetric systems as a natural extension of symmetric systems with respect to class forcing. In particular, adapting the usual notions of pretameness and tameness for class forcing, we present…
Motivated by improving the understanding of the quantum-to-classical transition we use a simple model of classical discrete interactions for studying the discrete-to-continuous transition in the classical harmonic oscillator. A parallel is…
We apply a simple decomposition to the energy of a moving particle. Based on this decomposition, we identify the potential and kinetic energies, then use them to give general definitions of momentum and the various kinds of forces exerted…
Modern physics makes wide use of the equation for which only a potential solution is sought. The probability that this equation has a nonpotential solution is omitted from consideration automatically without any explanation. In this paper,…
The effective potential theory is a physically motivated method for extending traditional plasma transport theories to stronger coupling. It is practical in the sense that it is easily incorporated within the framework of the Chapman-Enskog…
The aim of these lectures is to give a short introduction to forcing. We will avoid metamathematical issues as much as possible and similarly we will avoid performing the actual construction of forcing. We assume familiarity with basic…
Quantum lattice models describe a wide array of physical systems, and are a canonical way to numerically solve the Schrodinger equation. Here we prove the potential inversion theorem, which says that wavefunction probability in these models…
Non-abelian discrete gauge symmetries can provide the inflaton with a flat potential even when one takes into account gravitational strength effects. The discreteness of the symmetries also provide special field values where inflation can…
In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing.…
Integral equation methods provide an effective framework for solving partial differential equations, but their applicability typically relies on the availability of explicit free-space Green's functions. For coupled systems arising in…
We give a short proof of Weintraub's conjecture by constructing explicit highest weight vectors in the symmetric power of an even exterior power.
It is argued that the quantal behaviours may be understood in the framework of direct particle interactions. A specific example is introduced. The assumed potential predicts that at sufficiently large distances quantal behaviours arise,…
An approximate analytical expression for "capacitance" of MWPC configurations circulates in the literature since decades and is copied over and over again. In this paper we will try to show that this formula corresponds to a physical…
In this paper we study the coefficients of the powers of an ordinary generating function and their properties. A new class of functions based on compositions of an integer $n$ is introduced and is termed composita. We present theorems about…
This paper develops the model theory of normal modal logics based on partial "possibilities" instead of total "worlds," following Humberstone (1981) instead of Kripke (1963). Possibility semantics can be seen as extending to modal logic the…
Given positive real numbers, we prove two inequalities involving their potential energy and their power sums. We also prove an inequality involving the energy and the discriminant and apply it to deduce a result on totally positive…
Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular,…
When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union of the sets of the given collection and whose restrictions to…