Results 1 to 10 of about 12,698 (302)

Virtual Residue and an Integral Formalism [PDF]

The Journal of Geometric Analysis, 2018
We generalize Grothendieck's residues $Res\fracψ{s}$ to virtual cases, namely cases when the zero loci of the section $s$ has dimension larger than the expected dimension(zero). We also provide an exponential type integral formalism for the virtual residue, which can be viewed as an analogue of the Mathai-Quillen formalism for localized Euler classes.
Huai-Liang Chang, Mu-Lin Li
openaire   +5 more sources

Motion of Quantum Particles in Terms of Probabilities of Paths [PDF]

Entropy
The Feynman path integral formalism for non-relativistic quantum mechanics is revisited. A comparison is made with cases of light propagation (Huygens’ principle) and Brownian motion. The difficulties for a physical model applying Feynman’s formalism are
Emilio Santos
doaj   +2 more sources

A naturally regularized path integral formalism

European Physical Journal C: Particles and Fields, 2019
A minimal uncertainty in position measurement comes into play if, for instance, one incorporates gravitational interaction of photon and electron in the Heisenberg’s Electron Microscope Gedanken Experiment.
Kourosh Nozari, M. Hajebrahimi, M. Khodadi, A. Etemadi   +3 more
doaj   +2 more sources

Jackiw-Teitelboim gravity in the second order formalism

Journal of High Energy Physics, 2021
We formulate the path integral for Jackiw-Teitelboim gravity in the second order formalism working directly with the metric and the dilaton. We consider the theory both in Anti-de Sitter(AdS) and de Sitter space(dS) and analyze the path integral for the ...
Upamanyu Moitra, Sunil Kumar Sake, Sandip P. Trivedi   +2 more
doaj   +2 more sources

Global conformal blocks via shadow formalism

Journal of High Energy Physics
We study 𝔰𝔩2 and 𝔰𝔩3 global conformal blocks on a sphere and a torus, using the shadow formalism. These blocks arise in the context of Virasoro and 𝒲3 conformal field theories in the large central charge limit.
Vladimir Belavin, J. Ramos Cabezas
doaj   +3 more sources

Generalized pseudotensor formulations of the Stokes’ integral theorem [PDF]

Известия Саратовского университета. Новая серия: Математика. Механика. Информатика, 2022
Oriented continua play an important role in micropolar elasticity modelling. All realizations of micropolar theories are conceptually possible only within the framework of the pseudotensor formalism and the orientable manifold notion.
Radaev, Yuri Nickolaevich, Murashkin, Evgenii Valeryevich   +1 more
doaj   +1 more source

Formalization of Integral Linear Space [PDF]

Formalized Mathematics, 2011
Summary: In this article, we formalize integral linear spaces, that is a linear space with integer coefficients. Integral linear spaces are necessary for lattice problems, LLL (Lenstra-Lenstra-Lovász) base reduction algorithm that outputs short lattice base and cryptographic systems with lattice.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama   +2 more
openaire   +3 more sources

Komar integral and Smarr formula for axion-dilaton black holes versus S duality

Journal of High Energy Physics, 2021
We construct the Komar integral for axion-dilaton gravity using Wald’s formalism and momentum maps and we use it to derive a Smarr relation for stationary axion-dilaton black holes.
Dimitrios Mitsios, Tomás Ortín, David Pereñíguez   +2 more
doaj   +1 more source

Projective Metrizability and Formal Integrability [PDF]

Symmetry, Integrability and Geometry: Methods and Applications, 2011
The projective metrizability problem can be formulated as follows: under what conditions the geodesics of a given spray coincide with the geodesics of some Finsler space, as oriented curves. In Theorem 3.8 we reformulate the projective metrizability problem for a spray in terms of a first-order partial differential operator $P_1$ and a set of algebraic
Bucataru, I., Muzsnay, Z.
openaire   +4 more sources

A Coq Formalization of the Bochner integral

CoRR, 2022
The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we cannot rely on the properties of real numbers.
Sylvie Boldo, François Clément, Louise Leclerc   +2 more
openaire   +2 more sources