Related papers: A refinement of Cauchy-Schwarz complexity
We give improved bounds for our theorem in [GW09], which shows that a system of linear forms on $\mathbb{F}_p^n$ with squares that are linearly independent has the expected number of solutions in any linearly uniform subset of…
We prove a query complexity variant of the weak polynomial Freiman-Ruzsa conjecture in the following form. For any $\epsilon > 0$, a set $A \subset \mathbb{Z}^d$ with doubling $K$ has a subset of size at least $K^{-\frac{4}{\epsilon}}|A|$…
Parabolic integro-differential model Cauchy problem is considered in the scale of Lp -spaces of functions whose regularity is defined by a scalable Levy measure. Existence and uniqueness of a solution is proved by deriving apriori…
In Monoidal Computer I, we introduced a categorical model of computation where the formal reasoning about computability was supported by the simple and popular diagrammatic language of string diagrams. In the present paper, we refine and…
In this article we provide a generalized version of the result of L.H. Son and W. Tutschke \cite{tut} on the solvability of first order systems on the plane whose initial functions are arbitrary holomorphic functions. This is achieved by…
The $k$-Cauchy-Fueter complex, $k=0,1,\ldots$, in quaternionic analysis are the counterpart of the Dolbeault complex in the theory of several complex variables. In this paper, we construct explicitly boundary complexes of these complexes on…
For any field k and any integers m,n with 0 <= 2m <= n+1, let W_n be the k-vector space of sequences (x_0,...,x_n), and let H_m be the subset of W_n consisting of the sequences that satisfy a degree-m linear recursion, that is, for which…
In this paper conditions, under which an integro-differential operator is a linear automorphism, are provided. Alternatively, the problem can be considered in terms of existence of a unique formal power series solution for a linear Cauchy…
Lipschitz continuity of algorithms, introduced by Kumabe and Yoshida (FOCS'23), measures the stability of an algorithm against small input perturbations. Algorithms with small Lipschitz continuity are desirable, as they ensure reliable…
We introduce a machine free mathematical framework to get a natural formalization of some general notions of infinite computation in the context of Kolmogorov complexity. Namely, the classes Max^{X\to D}_{PR} and Max^{X\to D}_{Rec} of…
We construct an explicit solution of the Cauchy initial value problem for the one-dimensional Schroedinger equation with a time-dependent Hamiltonian operator for the forced harmonic oscillator. The corresponding Green function (propagator)…
This text provides very easy and short proofs of some basic properties of complex power series (addition, subtraction, multiplication, division, rearrangement, composition, differentiation, uniqueness, Taylor's series, Principle of…
Let $k\ge 1$ be an odd integer, $t=\lfloor {{k+2}\over 4}\rfloor$, and $q$ be a prime power. We construct a bipartite, $q$-regular, edge-transitive graph $C\!D(k,q)$ of order $v \le 2q^{k-t+1}$ and girth $g \ge k+5$. If $e$ is the the…
Recently it has been shown that the complexity of SU($n$) operator is determined by the geodesic length in a bi-invariant Finsler geometry, which is constrained by some symmetries of quantum field theory. It is based on three axioms and one…
The fundamental role of the Cauchy transform in harmonic and complex analysis has led to many different proofs of its $L^2$ boundedness. In particular, a famous proof of Melnikov-Verdera [18] relies upon an iconic symmetrization identity of…
We develop a linear theory of discrete complex analysis on general quad-graphs, continuing and extending previous work of Duffin, Mercat, Kenyon, Chelkak and Smirnov on discrete complex analysis on rhombic quad-graphs. Our approach based on…
Integral Cauchy theorem is used to derive closed-form expressions of the roots of a univariate polynomial of any degree as integrals of elementary functions.
We introduce two related notions of pattern enforcement in $(0,1)$-matrices: $Q$-forcing and strongly $Q$-forcing, which formalize distinct ways a fixed pattern $Q$ must appear within a larger matrix. A matrix is $Q$-forcing if every…
We consider random systems of equations x_1 + ... + x_k = a; 0 <= a <= 2 which are interpreted as equations modulo 3: We show for k >= 15 that the satisfiability threshold of such systems occurs where the 2-core has density 1: We show a…
A double sequence $\{x_{k,l}\}$ is quasi-Cauchy if given an $\epsilon > 0$ there exists an $N \in {\bf N}$ such that $$\max_{r,s= 1\mbox{ and/or} 0} \left \{|x_{k,l} - x_{k+r,l+s}|< \epsilon\right \} .$$ We study continuity type properties…