Related papers: A BPHZ convergence proof in Euclidean position spa…
Tensor network contraction on arbitrary graphs is a fundamental computational challenge with applications ranging from quantum simulation to error correction. While belief propagation (BP) provides a powerful approximation algorithm for…
We provide sufficient conditions for quantitative convergence of the iterates of proximal splitting algorithms for minimizing a sum of functions on a metric space. The theory does not assume that the functions have common minima, nor does…
In this paper, we prove the strong convergence theorems for nearly nonexpansive mappings, using the modified Picard-Mann hybrid iteration process in the context of uniformly convex Banach space.
Banach's fixed point theorem for contraction maps has been widely used to analyze the convergence of iterative methods in non-convex problems. It is a common experience, however, that iterative maps fail to be globally contracting under the…
We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and,…
The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…
In this paper, a strong convergence theorem for asymptotically nonexpansive mappings in a uniformly convex and smooth Banach space is proved by using metric projections. This theorem extends and improves the recent strong convergence…
Kurzweil's theorem ('55) is concerned with zero-one laws for well approximable targets in inhomogeneous Diophantine approximation under the badly approximable assumption. In this article, we prove the divergent part of a Kurzweil type…
The aim of this paper is to establish strong convergence theorems for a strongly relatively nonexpansive sequence in a smooth and uniformly convex Banach space. Then we employ our results to approximate solutions of the zero point problem…
An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories. It shows the bijective correspondence between sequential independent and parallel independent direct derivations in the Weak Double-Pushout framework,…
As a first application of our renormalisation group approach to non-local matrix models [hep-th/0305066], we prove (super-)renormalisability of Euclidean two-dimensional noncommutative \phi^4-theory. It is widely believed that this model is…
This paper is the first in a series revisiting the Faraday effect, or more generally, the theory of electronic quantum transport/optical response in bulk media in the presence of a constant magnetic field. The independent electron…
We prove a Bernstein-type theorem for two-valued minimal graphs in the four-dimensional Euclidean space $\mathbf{R}^4$. This states that two-valued functions defined on the entire $\mathbf{R}^3$, and whose graph is a minimal surface, must…
The concept of a profile decomposition formalizes concentration compactness arguments on the functional-analytic level, providing a powerful refinement of the Banach-Alaoglu weak-star compactness theorem. We prove existence of profile…
We consider decoupling in the context of an effective quantum field theory of two scalar fields with well separated mass scales and a $Z_2\times Z_2$ symmetry. We first prove, using Wilson's exact renormalization group equation, that the…
We prove that Picard-Lindel\"of iterations for an arbitrary smooth normal Cauchy problem for PDE converge if we assume a suitable Weissinger-like sufficient condition. This condition includes both a large class of non-analytic PDE or…
We prove that the subset sum problem has a polynomial time computable certificate of infeasibility for all $a$ weight vectors with density at most $1/(2n)$ and for almost all integer right hand sides. The certificate is branching on a…
We present a similarity transformation theory based on a polynomial form of a particle-hole pair excitation operator. In the weakly correlated limit, this polynomial becomes an exponential, leading to coupled cluster doubles. In the…
We develop a wide general theory of bilinear bi-parameter singular integrals $T$. First, we prove a dyadic representation theorem starting from $T1$ assumptions and apply it to show many estimates, including $L^p \times L^q \to L^r$…
The classical theorems about singular perturbation reduction (due to Tikhonov and Fenichel) are concerned with convergence on a compact time interval (in slow time) as a small parameter approaches zero. For unbounded time intervals…