Related papers: Surreal fields stable under exponential and logari…
We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…
Nonrelativistic scalar field theories can exhibit a natural cascading hierarchy of scales, protected by a hierarchy of polynomial shift symmetries. Using a simple model, we argue that a high-energy cross-over to such nonrelativistic…
In this paper, we explain a procedure based on a classical result of Sturm that can be used to determine rigorously whether a given trigonometric polynomial is nonnegative in a certain interval or not. Many examples are given. This…
Let $\Lambda$ be the limit set of an infinite conformal iterated function system and let $F$ denote the set of fixed points of the maps. We prove that the box dimension of $\Lambda$ exists if and only if \[ \overline{\dim}_{\mathrm B} F\leq…
We study a class of perturbative scalar quantum field theories where dynamics is characterized by Lorentz-invariant or Lorentz-breaking non-local operators of fractional order and the underlying spacetime has a varying spectral dimension.…
In this note, we study non-standard models of the rational numbers with countably many elements. These are ordered fields, and so it makes sense to complete them, using non-standard Cauchy sequences. The main result of this note shows that…
Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the…
We study the class of polynomials whose Hessians evaluated at any point of a closed convex cone have Lorentzian signature. This class is a generalization to the remarkable class of Lorentzian polynomials. We prove that hyperbolic…
We study symmetric arithmetic circuits and improve on lower bounds given by Dawar and Wilsenach (ArXiv 2020). Their result showed an exponential lower bound of the permanent computed by symmetric circuits. We extend this result to show a…
Several properties of stationary subdivision schemes are nowadays well understood. In particular, it is known that the polynomial generation and reproduction capability of a stationary subdivision scheme is strongly connected with sum…
We investigate the classical stability of the higher-dimensional Schwarzschild black holes against linear perturbations, in the framework of a gauge-invariant formalism for gravitational perturbations of maximally symmetric black holes,…
Recently Ferraris, Lee and Lifschitz proposed a new definition of stable models that does not refer to grounding, which applies to the syntax of arbitrary first-order sentences. We show its relation to the idea of loop formulas with…
We prove that if T is an operator on an infinite-dimensional Hilbert space whose spectrum and essential spectrum are both connected and whose Fredholm index is only 0 or 1, then the only nontrivial norm-stable invariant subspaces of T are…
We examine the exponentially improved asymptotic expansion of the Lerch zeta function $L(\lambda,a,s)=\sum_{n=1}^\infty \exp (2\pi ni\lambda)/(n+a)^s$ for large complex values of $a$, with $\lambda$ and $s$ regarded as parameters. It is…
We study static spherically symmetric black hole solutions with a linearly time-dependent scalar field and discuss their linear stability in the shift- and reflection-symmetric subclass of quadratic degenerate higher-order scalar-tensor…
We investigate dynamics of the homogeneous time-dependent SU(2) Yang-Mills fields governed by the non-Abelian Born-Infeld lagrangian which arises in superstring theory as a result of summation of all orders in the string slope parameter…
We introduce the new concepts of pseu\-do numerical range for operator functions and families of sesquilinear forms as well as the pseu\-do block numerical range for $n \times n$ operator matrix functions. While these notions are new even…
Strongly regular graphs are highly symmetrical and can be described fully with just a few parameters, yet the existence of many of them is still under the question. In this paper, we continue the study of the famuly of strongly regular…
Let $\mathcal A$ and $\mathcal B$ be two closed linear relation acting between two Banach spaces $X$ and $Y$ and let $\lambda$ be a complex number. We study the stability of the nullity and deficiency of $\mathcal A$ when it is perturbed by…
Sublinear functionals of random variables are known as sublinear expectations; they are convex homogeneous functionals on infinite-dimensional linear spaces. We extend this concept for set-valued functionals defined on measurable set-valued…