Related papers: A refinement of Cauchy-Schwarz complexity
In this article, we establish an improvement of the Cauchy-Schwarz inequality. Let $x, y \in \mathcal{H},$ and let $f: (0,1) \rightarrow \mathbb{R}^+$ be a well-defined function, where $\mathbb{R}^+$ denote the set of all positive real…
We extend existing results for the Nielsen complexity of scalar primaries and spinning primaries in four dimensions by including supersymmetry. Specifically, we study the Nielsen complexity of circuits that transform a superconformal…
Given a computable sequence of natural numbers, it is a natural task to find a G\"odel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmic learning…
Recently, an analogue over $\mathbb{F}_q[T]$ of Landau's theorem on sums of two squares was considered by Bary-Soroker, Smilansky and Wolf. They counted the number of monic polynomials in $\mathbb{F}_q[T]$ of degree $n$ of the form…
Let $f(x,y)$ be a complex irreducible formal power series without constant term. One may solve the equation $f(x,y)=0$ by choosing either $x$ or $y$ as independent variable, getting two finite sets of Newton-Puiseux series. In 1967 and…
Green, Tao and Ziegler prove ``Dense Model Theorems'' of the following form: if R is a (possibly very sparse) pseudorandom subset of set X, and D is a dense subset of R, then D may be modeled by a set M whose density inside X is…
We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized…
We show the short time existence and uniqueness of solutions to the Cauchy problem for fully nonlinear systems of arbitrary even order on closed manifolds which are strongly parabolic at the initial values. The proof uses a linearization…
This paper studies the feedback stabilization of abstract Cauchy problems with unbounded output operators by finite-dimensional controllers. Both necessary conditions and sufficient conditions for feedback stabilizability are presented. The…
Generalizing a result of Masuti and the second author, we describe inverse limits of Macaulay's inverse systems for Cohen-Macaulay factor algebras of formal power series or polynomial rings over an infinite field. On the way we find a…
Optimizing and certifying the positivity of polynomials are fundamental primitives across mathematics and engineering applications, from dynamical systems to operations research. However, solving these problems in practice requires large…
We prove, in ZFC, that there is an infinite strictly descending chain of classes of theories in Keisler's order. Thus Keisler's order is infinite and not a well order. Moreover, this chain occurs within the simple unstable theories,…
We consider the $k$-error linear complexity of binary sequences derived from Eluer quotients modulo $2p$ ($p>3$ is an odd prime), recently introduced by J. Zhang and C. Zhao. We adopt certain decimal sequences to determine the values of…
We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity of the solution of the problem with respect to the data. The…
Pseudo-splines of integer order $(m,\ell)$ were introduced by Daubechies, Han, Ron, and Shen as a family which allows interpolation between the classical B-splines and the Daubechies' scaling functions. The purpose of this paper is to…
Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…
In this paper, we introduce a pair of multiplication-like operations, $L_0$ and $L_1$, which derive $k$-regular functions from $(k+1)$-regular functions. The investigation of the inverse problem naturally leads to a deeper study of the…
The paper contains two main parts: in the first part, we analyze the general case of $p\geq 2$ matrices coupled in a chain subject to Cauchy interaction. Similarly to the Itzykson-Zuber interaction model, the eigenvalues of the Cauchy chain…
In this paper, we study the Cauchy problem of a higher-order $\mu$-Camassa-Holm equation. We first establish the Green's function of $(\mu-\partial_{x}^{2}+\partial_{x}^{4})^{-1}$ and local well-posedness for the equation in Sobolev spaces…
Large complexity classes, like the exponential time hierarchy, received little attention in terms of finding complete problems. In this work a generalization of propositional logic is investigated which fills this gap with the introduction…