English
Related papers

Related papers: Constructive Matrix Theory

200 papers

This is the second paper in a series of papers aimed at providing a geometric construction of modular functors and topological quantum field theories from conformal field theory building on the constructions in [TUY] and [KNTY]. We give a…

Differential Geometry · Mathematics 2008-11-26 Jorgen Ellegaard Andersen , Kenji Ueno

We develop in this article the principal constructive arguments used in quantum field theory, limiting us to bosonic theories, for which there does not exist any recent general presentation. The article is primarily written for…

Mathematical Physics · Physics 2011-02-22 J. Unterberger

In Chapter 3 of his Notes on constructive mathematics, Martin-L{\"o}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable ordinals. In fact, the Turing definition of computable…

Logic · Mathematics 2024-12-11 Thierry Coquand , Henri Lombardi , Stefan Neuwirth

We discuss the phase structure of a higher derivative four-fermion model in four dimensions in curved spacetime in frames of the $\frac{1}{N_c}$-expansion. First, we evaluate in our model the effective potential of two composite scalars in…

High Energy Physics - Theory · Physics 2009-09-25 E. Elizalde , S. Leseduarte , S. D. Odintsov

We present a method for constructing countable models of small theories and apply it to prove theorems on the maximal number of countable non-isomorphic models of linearly ordered theories.

Logic · Mathematics 2021-10-01 Bektur Baizhanov , Tatyana Zambarnaya

A method is developed to construct a non-local massless scalar field theory in a flat quantised space-time generated by an operator algebra. Implicit in the operator algebra is a fundamental length scale of the space-time. The fundamental…

High Energy Physics - Theory · Physics 2010-04-06 J. ~C. ~Breckenridge , T. ~G. ~Steele , V. Elias

All constructive methods employed in modern mathematics produce only countable sets, even when designed to transcend countability. We show that any constructive argument for uncountability -- excluding diagonalization techniques --…

General Mathematics · Mathematics 2025-05-28 Stanislav Semenov

A path-integral method effective beyond the perturbation expansion approach is suggested to consider the quartic anharmonicity in different spatial dimensions. Due to an optimal representation of the partition function, the leading term has…

Quantum Physics · Physics 2007-05-23 G. V. Efimov , G. Ganbold

We construct rich vector spaces of continuous functions with prescribed curved or linear pathwise quadratic variations. We also construct a class of functions whose quadratic variation may depend in a local and nonlinear way on the function…

Probability · Mathematics 2019-07-02 Yuliya Mishura , Alexander Schied

The correlators of free four dimensional conformal field theories (CFT4) have been shown to be given by amplitudes in two-dimensional $so(4,2)$ equivariant topological field theories (TFT2), by using a vertex operator formalism for the…

High Energy Physics - Theory · Physics 2020-08-13 Robert de Mello Koch , Sanjaye Ramgoolam

Evolution of structure functions and their moments at low and moderate $Q^2$ is studied in the chiral field theory. Evolution equations based on perturbation expansion in the coupling constant of the effective theory are derived and solved…

High Energy Physics - Phenomenology · Physics 2016-09-06 Kakali Ray-Maity , Padmanabha Dasgupta

We extend the shell and kernel reductions for hyperexponential functions over the field of rational functions to a monomial extension. Both of the reductions are incorporated into one algorithm. As an application, we present an additive…

Symbolic Computation · Computer Science 2023-10-03 Shaoshi Chen , Hao Du , Yiman Gao , Ziming Li

We present an explicit formula for the expected value of a product of several independent symplectically invariant matrices in which the trace and real part function may be applied, possibly to different subexpressions. This takes the form…

Probability · Mathematics 2015-03-25 C. E. I. Redelmeier

We study a noncommutative gauge theory on a fuzzy four-sphere. The idea is to use a matrix model with a fifth-rank Chern-Simons term and to expand matrices around the fuzzy four-sphere which corresponds to a classical solution of this…

High Energy Physics - Theory · Physics 2009-11-07 Yusuke Kimura

We show that the four-point functions in conformal field theory are defined as distributions on the boundary of the region of convergence of the conformal block expansion. The conformal block expansion converges in the sense of…

High Energy Physics - Theory · Physics 2020-06-24 Petr Kravchuk , Jiaxin Qiao , Slava Rychkov

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…

Logic · Mathematics 2015-10-27 Russell Miller , Bjorn Poonen , Hans Schoutens , Alexandra Shlapentokh

We consider the multiplicative structure of sets of the form AA+1, where where A is a large, finite set of real numbers. In particular, we show that the additively shifted product set, AA+1 must have a large part outside of any generalized…

Combinatorics · Mathematics 2012-05-23 Steven Senger

The free Maxwell theory in D<>4 dimensions provides a physical example of a unitary, scale invariant theory which is NOT conformally invariant. The easiest way to see this is that the field strength operator F_mn is neither a primary nor a…

High Energy Physics - Theory · Physics 2015-05-27 Sheer El-Showk , Yu Nakayama , Slava Rychkov

Let $M$ be a matroid. We study the expansions of $M$ mainly to see how the combinatorial properties of $M$ and its expansions are related to each other. It is shown that $M$ is a graphic, binary or a transversal matroid if and only if an…

Combinatorics · Mathematics 2017-05-29 Rahim Rahmati-Asghar

Real numbers do not admit an extensional procedure for observing discrete information, such as the first digit of its decimal expansion, because every extensional, computable map from the reals to the integers is constant, as is well known.…

Logic · Mathematics 2023-06-22 Auke B. Booij