Related papers: Constructive Matrix Theory

We continue our constructive study of tensor field theory through the next natural model, namely the rank four tensor theory with quartic melonic interactions and propagator inverse of the Laplacian on $U(1)^4$. This superrenormalizable…

There have recently been several developments in synthetic mathematics using extensions of dependent type theory with univalence and higher inductive types: simplicial homotopy type theory, synthetic algebraic geometry and synthetic Stone…

We develop a method to construct elusive functions using techniques of commutative algebra and algebraic geometry. The key notions of this method are elusive subsets and evaluation mappings. We also develop the effective elimination theory…

In this paper we review many interesting open problems in mathematical physics which may be attacked with the help of tools from constructive field theory. They could give work for future mathematical physicists trained with the…

We construct correlators in the $W_4$ Toda 2d conformal field theory for a particular class of representations and demonstrate a relation to a $W_2$ (Virasoro) theory with different central charge. The relevance of the classical limits of…

Field theory on a fuzzy noncommutative sphere can be considered as a particular matrix approximation of field theory on the standard commutative sphere. We investigate from this point of view the scalar $\phi^4$ theory. We demonstrate that…

Scalar field theory is studied by constructing interacting saddle point expansions in the symmetric and broken phase, respectively. Focusing on analytically tractable saddle expansions, it is found that broken and symmetric phases are…

The constructive martingale representation theorem of functional It\^o calculus is extended, from the space of square integrable martingales, to the space of local martingales. The setting is that of an augmented filtration generated by a…

The exactly solvable four-vertex model with the fixed boundary conditions in the presence of inhomogeneous linearly growing external field is considered. The partition function of the model is calculated and represented in the determinantal…

Utilizing our recent proximal-average based results on the constructive extension of monotone operators, we provide a novel approach to the celebrated Kirszbraun-Valentine Theorem and to the extension of firmly nonexpansive mappings.

In this paper we continue our program of non-pertubative constructions of tensorial group field theories (TGFT). We prove analyticity and Borel summability in a suitable domain of the coupling constant of the simplest super-renormalizable…

This is a survey of some recent results concerning polynomial inequalities and polynomial approximation of functions in the complex plane. The results are achieved by the application of methods and techniques of modern geometric function…

We have constructed noncommutative phi^4 field theory on kappa-Minkowski spacetime. Quantum properties via 2-point functions were analized, and effect of birefringence for the massive scalar field has been found.

In a recent work [1] we consider the topological expansion for the non-mixed observables (including the free energy) for the formal Cauchy matrix model. The only restriction in [1] was the fact that all the branch points have to be simple.…

We review our recent construction of the $\phi^4$-model on four-dimensional Moyal space. A milestone is the exact solution of the quartic matrix model $Z[E,J]=\int d\Phi \exp(tr(J\Phi- E\Phi^2 -(\lambda/4) \Phi^4))$ in terms of the solution…

Quantization of spacetime by means of finite dimensional matrices is the basic idea of fuzzy spaces. There remains an issue of quantizing time, however, the idea is simple and it provides an interesting interplay of various ideas in…

We consider the problem of the observability of positively expansive maps by the time series associated to continuous real functions. For this purpose we prove a general result on the generic observability of a locally injective map of a…

We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minimal type theory. This theory extends the set-theoretic version…

We study the conformal bootstrap in fractional space-time dimensions, obtaining rigorous bounds on operator dimensions. Our results show strong evidence that there is a family of unitary CFTs connecting the 2D Ising model, the 3D Ising…

Perturbation theory and renormalization group methods are used to derive a finite-size scaling theory for the partition function zeroes and thermodynamic functions in the $O(n)$ $\phi^4$ model in four dimensions. The leading power--law…