Related papers: Iterating reflection over intuitionistic arithmeti…
We develop a new method for showing that a given sequence of random variables verifies an appropriate law of the iterated logarithm. Our tools involve the use of general estimates on multidimensional Wasserstein distances, that are in turn…
The Iterative Rational Krylov Algorithm (IRKA) of [8] is an interpolatory model reduction approach to the optimal $\mathcal{H}_2$ approximation problem. Even though the method has been illustrated to show rapid convergence in various…
An iterative algorithm is adopted to construct approximate representations of matrices describing the scattering properties of arbitrary objects. The method is based on the implicit evaluation of scattering responses from iteratively…
This paper studies relative unification and admissibility in the intuitionistic logic. We generalize results of [Ghilardi, 1999; Iemhoff, 2001a] and prove them relative in NNIL(par) propositions, the class of propositions with No Nested…
We prove sharp spectral transition in the arithmetics of phase between localization and singular continuous spectrum for Diophantine almost Mathieu operators. We also determine exact exponential asymptotics of eigenfunctions and of…
In this paper we study some local and global regularity properties of Fourier series obtained as fractional integrals of modular forms. In particular we characterize the differentiability at rational points, determine their H\"older…
Iterative refinement -- start with a random guess, then iteratively improve the guess -- is a useful paradigm for representation learning because it offers a way to break symmetries among equally plausible explanations for the data. This…
We give a brief introduction to Hamiltonian optics and Lie algebraic methods. We use these methods to describe the operators governing light propagation, refraction and reflection in phase space. The method offers a systematic way to find…
In this paper we apply proof mining techniques to compute, in the setting of CAT$(\kappa)$ spaces (with $\kappa >0$), effective and highly uniform rates of asymptotic regularity and metastability for a nonlinear generalization of the…
We obtain variational formulas for holomorphic objects on Riemann surfaces with respect to arbitrary local coordinates on the moduli space of complex structures. These formulas are written in terms of a canonical object on the moduli space…
For a given quasitriangular Hopf algebra $\Ha$ we study relations between the braided group $\tilde \Ha^*$ and Drinfeld's twist. We show that the braided bialgebra structure of $\tilde \Ha^*$ is naturally described by means of twisted…
We prove a sharp version of Hal\'asz's theorem on sums $\sum_{n \leq x} f(n)$ of multiplicative functions $f$ with $|f(n)|\le 1$. Our proof avoids the "average of averages" and "integration over $\alpha$" manoeuvres that are present in many…
In a recent article the authors showed that the radiative Transfer equations with multiple frequencies and scattering can be formulated as a nonlinear integral system. In the present article, the formulation is extended to handle reflective…
Using the Carleman linearization technique the continuous iteration of a mapping is studied. Based on the detailed analysis of the Carleman embedding matrix the precise mathematical meaning is given to such notion. The ordinary differential…
We developed a formula for the law of reflection of a plane-polarized light beam from an inclined flat mirror in uniform rectilinear motion by a direct application of the Huygens-Fresnel principle. Applying the obtained formula and the…
The deep interconnection between linear algebra and graph theory allows one to interpret classical matrix invariants through combinatorial structures. To each square matrix A over a commutative ring K, one can associate a weighted directed…
For Hilbert, the consistency of a formal theory T is an infinite series of statements "D is free of contradictions" for each derivation D and a consistency proof is i) an operation that, given D, yields a proof that D is free of…
This note provides a very short proof of a spectral gap independent property of the simultaneous iterations algorithm for finding the top singular space of a matrix. See Rokhlin-Szlam-Tygert-2009, Halko-Martinsson-Tropp-2011 and…
We introduce and investigate an iterative scheme for approximating common fixed point of a family of Bregman relatively-nonexpansive mappings in real reflexive Banach spaces. We prove strong convergence theorem of the sequence generated by…
In this paper, we first get a criterion formula for whether a differential form is holomorphic with respect to the generalized complex structure induced by $\epsilon$. Next, we get the local extensions of $\overline\partial$-closed forms on…