Related papers: Well ordering principles and $\Pi^1_4$-statements:…

We discuss recent results on two-point functions of chiral primary operators in {\cal N}=4 SU(N) supersymmetric Yang-Mills theory. Our results give further support to the belief that such correlators are not renormalized to all orders in g…

We study the computability-theoretic complexity and proof-theoretic strength of the following statements: (1) "If X is a well-ordering, then so is epsilon_X", and (2) "If X is a well-ordering, then so is phi(alpha,X)", where alpha is a…

Using results from theory of operators on a Hilbert space, we prove approximation results for matrix-valued holomorphic functions on the unit disc and the unit bidisc. The essential tools are the theory of unitary dilation of a contraction…

Let g be an analytic function on the open unit disc U such that g(U) is contained in U, and let h be an analytic function on U such that the weighted composition operator W_{h,g) defined by W_{h,g}f = h f(g) is bounded on the Hardy space…

In terms of the best approximations of functions and generalized moduli of smoothness, direct and inverse approximation theorems are proved for Besicovitch almost periodic functions whose Fourier exponent sequences have a single limit point…

Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing…

The classical Grothendieck inequality is viewed as a statement about representations of functions of two variables over discrete domains by integrals of two-fold products of functions of one variable. An analogous statement is proved,…

We prove that uniform second order growth, tilt stability, and strong metric regularity of the limiting subdifferential --- three notions that have appeared in entirely different settings --- are all essentially equivalent for any…

Generalizing Fujita-Odaka invariant, we define a function $\tilde{\delta}$ on a set of generalized $b$-divisors over a smooth Fano variety. This allows us to provide a new characterization of uniform $K$-stability. A key role is played by a…

In this paper we show that the existence of omega-models of bar induction is equivalent to the principle saying that applying the Howard-Bachmann operation to any well-ordering yields again a well-ordering.

Second-order estimates are established for solutions to the $p$-Laplace system with right-hand side in $L^2$. The nonlinear expression of the gradient under the divergence operator is shown to belong to $W^{1,2}$, and hence to enjoy the…

We consider the Cauchy problem for the fourth order cubic nonlinear Schr\"odinger equation (4NLS). The main goal of this paper is to prove low regularity well-posedness and mild ill-posedness for (4NLS). We prove three results. First, we…

We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest…

We introduce two new classes of single-valued contractions of polynomial type defined on a metric space. For the first one, called the class of polynomial contractions, we establish two fixed point theorems. Namely, we first consider the…

We study the property of global-local mixing for full-branched expanding maps of either the half-line or the interval, with one indifferent fixed point. Global-local mixing expresses the decorrelation of global vs local observables w.r.t.…

Norm inflation implies certain discontinuous dependence of the solution on the initial value. The well-posedness of the mild solution means the existence and uniqueness of the fixed points of the corresponding integral equation. For ${\rm…

Let K be a complete, non-archimedean valued field with a residue field of characteristic different from 2. A Whittaker group G is a discontinuous subgroup of PGL(2,K), freely generated by elements s_0,...,s_g of order two, each defined by a…

We introduce a class of regular continuous functions on the closed 2-disk and show that each function from this class is topologically conjugate to a linear function defined on a sqare, a closed half-disk or a closed disk.

We establish fixed-point theorems for Meir-Keeler-type contractions in b-metric spaces. While Lu et al. demonstrated via an explicit counterexample that classical Meir-Keeler contractions may fail to admit fixed points in this setting, we…

This paper proposes a definition of recognizable transducers over monads and comonads, which bridges two important ongoing efforts in the current research on regularity. The first effort is the study of regular transductions, which extends…