Related papers: Iterating reflection over intuitionistic arithmeti…
We introduce iterated beta integrals, a new class of iterated integrals on the universal abelian covering of the punctured projective line that unifies hyperlogarithms and classical beta integrals while preserving their fundamental…
We combine the Riemann-Hilbert approach with the techniques of Banach algebras to obtain an extension of Baxter's Theorem for polynomials orthogonal on the unit circle. This is accomplished by using the link between the negative Fourier…
The purpose of this paper is to prove the equivalence$-$under rotations of distinct terms$-$of different forms of a determinantal equation that appears in the studies of wave propagation in Hookean solids, in the context of the Christoffel…
We study the diffraction produced by a slab of purely reflective PT-symmetric volume Bragg grating that combines modulations of refractive index and gain/loss of the same periodicity with a quarter-period shift between them. Such a complex…
In this paper we investigate iteration of maps on lattices and the corresponding polynomial-like iterative equation. Since a lattice need not have a metric space structure, neither the Schauder fixed point theorem nor the Banach fixed point…
In this paper we introduce hyperations and cohyperations, which are forms of transfinite iteration of ordinal functions. Hyperations are iterations of normal functions. Unlike iteration by pointwise convergence, hyperation preserves…
In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic. First, we extend Kreisel…
This is a survey paper about affine Hecke algebras. We start from scratch and discuss some algebraic aspects of their representation theory, referring to the literature for proofs. We aim in particular at the classification of irreducible…
We study the coherence and conservativity of extensions of dependent type theories by additional strict equalities. By considering notions of congruences and quotients of models of type theory, we reconstruct Hofmann's proof of the…
We have studied atomic diffraction at normal incidence from an evanescent standing wave with a high resolution using velocity selective Raman transitions. We have observed up to 3 resolved orders of diffraction, which are well accounted for…
We consider the problem of establishing nonlinear smoothing as a general feature of nonlinear dispersive equations, i.e. the improved regularity of the integral term in Duhamel's formula, with respect to the initial data and the…
This survey offers an overview of an on-going project on uniform symmetries in abstract stable homotopy theories. This project has calculational, foundational, and representation-theoretic aspects, and key features of this emerging field on…
This note presents a method to study center families of periodic orbits of complex holomorphic differential equations near singularities, based on some iteration properties of fixed point indices. As an application of this method, we will…
We introduce the volume function for hermitian invertible sheaves on an arithmetic variety as an analogue of the geometric volume function. The main result of this paper is the continuity of the arithmetic volume function. As a consequence,…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
We introduce a generalization of stationary set reflection which we call "filter reflection", and show it is compatible with the axiom of constructibility as well as with strong forcing axioms. We prove the independence of filter reflection…
This paper studies a general class of Iterated Function Systems (IFS). No contractivity assumptions are made, other than the existence of some compact attractor. The possibility of escape to infinity is considered. Our present approach is…
In this paper, we study $\Delta$- convergence of iterations for a sequence of strongly quasi-nonexpansive mappings as well as the strong convergence of the Halpern type regularization of them in Hadamard spaces. Then, we give some their…
We study local regularity properties for solutions of linear, non-uniformly elliptic equations. Assuming certain integrability conditions on the coefficient field, we prove local boundedness and Harnack inequality. The assumed integrability…
We present a theorem on taking the repeated indefinite summation of a holomorphic function $\phi(z)$ in a vertical strip of $\mathbb{C}$ satisfying exponential bounds as the imaginary part grows. We arrive at this result using transforms…