English
Related papers

Related papers: Proving Properties of $\varphi$-Representations wi…

200 papers

As a generalization of the Fourier transform, the fractional Fourier transform was introduced and has been further investigated both in theory and in applications of signal processing. We obtain a sampling theorem on shift-invariant spaces…

Functional Analysis · Mathematics 2013-02-12 Sinuk Kang

Reynold's parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependently-typed programming languages, such relations and…

Logic in Computer Science · Computer Science 2017-07-13 Abhishek Anand , Greg Morrisett

Quantum finite automata derive their strength by exploiting interference in complex valued probability amplitudes. Of particular interest is the 2-way model of Ambainis and Watrous that has both quantum and classical states (2QCFA) [A.…

Quantum Physics · Physics 2007-05-23 M. V. Panduranga Rao , V. Vinay

We present two possible generalisations of Roth's approximation theorem on proper adelic curves, assuming some technical conditions on the behavior of the logarithmic absolute values. We illustrate how tightening such assumptions makes our…

Number Theory · Mathematics 2023-05-16 Paolo Dolce , Francesco Zucconi

We study Birkhoff sums over rotations (series of the form $\sum_{r=1}^{N}\phi(r\alpha)$), in which the summed function $\phi$ may be unbounded at the origin. Estimates of these sums have been of significant interest and application in pure…

Number Theory · Mathematics 2023-04-04 Paul Verschueren

A recursive form of arbitrary-order Wronskian associated with transformation functions in the confluent algorithm of supersymmetric quantum mechanics (SUSY) is constructed. With this recursive form regularity conditions for the generated…

Mathematical Physics · Physics 2017-02-06 Alonso Contreras-Astorga , Axel Schulze-Halberg

We provide a new algorithm for evaluating the gamma function at any (rational) point and a new infinite product representation free from the presence of Euler and Mascheroni constant.Formulae and inequalities seemingly new are obtained as…

Classical Analysis and ODEs · Mathematics 2007-12-04 D. Karayannakis

In this paper we introduce a method that allows one to prove uniform local results for one-dimensional discrete Schr\"odinger operators with Sturmian potentials. We apply this method to the transfer matrices in order to study the Lyapunov…

Mathematical Physics · Physics 2007-05-23 David Damanik , Daniel Lenz

We suggest a geometrical approach to the semi-invariants of quivers based on Luna's slice theorem and the Luna-Richardson theorem. The locally semi-simple representations are defined in this spirit but turn out to be connected with stable…

Algebraic Geometry · Mathematics 2007-05-23 D. A. Shmelkin

We extend the polynomial method of Chen--Garza-Vargas--Tropp--van Handel and Magee--Puder--van Handel for operator-norm bounds in random permutation models to the setting where torsion is present. The main new feature is that asymptotic…

Spectral Theory · Mathematics 2026-02-13 Marco Barbieri , Urban Jezernik

This survey is intended to be a fast (and reasonably updated) reference for the theory of Stallings automata and its applications to the study of subgroups of the free group, with the main accent on algorithmic aspects. Consequently,…

Group Theory · Mathematics 2022-06-14 Jordi Delgado , Enric Ventura

Using a special case of the Efros theorem which was derived by Wlodarski, and operational calculus, it was possible to derive many infinite integrals, finite integrals and integral identities for the function represented by the inverse…

Classical Analysis and ODEs · Mathematics 2021-02-23 Alexander Apelblat , Francesco Mainardi

We describe an algorithm, meant to be very general, to compute a presentation of the group of units of an order in a (semi)simple algebra over Q. Our method is based on a generalisation of Vorono\"i's algorithm for computing perfect forms,…

Number Theory · Mathematics 2014-07-24 Oliver Braun , Renaud Coulangeon , Gabriele Nebe , Sebastian Schoennenbeck

Working in any model theoretic structure, we single out a class of definable bipartite graphs that admit definable, close to perfect matchings. We use this result to prove a strengthening of Tarski's theorem for the definable setting.

Logic · Mathematics 2025-07-14 Jana Maříková

Recently, Todorov and Wilf independently realized that de Branges' original proof of the Bieberbach and Milin conjectures and the proof that was later given by Weinstein deal with the same special function system that de Branges had…

Classical Analysis and ODEs · Mathematics 2008-02-03 Wolfram Koepf , Dieter Schmersau

A new representation -which is similar to the Bargmann representation- of the creation and annihilation operators is introduced, in which the operators act like "multiplication with" and like "derivation with respect to" a single real…

High Energy Physics - Theory · Physics 2015-06-12 Enore Guadagnini

We construct automata with input(s) in Fibonacci representation (also known as Zeckendorf representation) recognizing some basic arithmetic relations and study their number of states. We also consider some basic operations on…

Formal Languages and Automata Theory · Computer Science 2026-03-24 Delaram Moradi , Narad Rampersad , Jeffrey Shallit

About global and local algebraic integrability of ovals. A contribution to clarify Newton results and relative comments on his work done by Arnol'd and Pourciau. A possibile application to air damper sections computation is offered, as…

General Mathematics · Mathematics 2011-10-28 Gianluca Argentini

In this article, we analyze the approximation properties of the new family of Durrmeyer type exponential sampling operators. We derive the point-wise and uniform approximation theorem and Voronovskaya type theorem for these generalized…

Functional Analysis · Mathematics 2020-08-11 Shivam Bajpeyi , A. Sathish Kumar

We prove several Tauberian theorems for regularizing transforms of vector-valued distributions. The regularizing transform of $f$ is given by the integral transform $M^{f}_{\varphi}(x,y)=(f\ast\varphi_{y})(x),$…

Functional Analysis · Mathematics 2014-07-25 Stevan Pilipovic , Jasson Vindas