Related papers: Reverse mathematics and Weihrauch analysis motivat…
Reconstructing a hypothetical recurrence equation from the first terms of an infinite sequence is a classical and well-known technique in experimental mathematics. We propose a variation of this technique which can succeed with fewer input…
This expository essay discusses a finite dimensional approach to dilation theory. How much of dilation theory can be worked out within the realm of linear algebra? It turns out that some interesting and simple results can be obtained. These…
In this paper, we introduce two new forms of the dual Hartwig-Spindelb{\"o}ck decomposition and employ them to derive explicit representations for several classes of dual generalized inverses. Building on these representations, we further…
We extend the Weil representation of infinite-dimensional symplectic group to a representation a certain category of linear relations.
We study the complexity of deterministic and probabilistic inversions of partial computable functions on the reals.
The inverse problem of amplitude reconstruction on an inclined line based on the values of amplitude or its module as recorded on semi-infinite line orthogonal to the beam propagation direction is considered within the framework of 2D…
We introduce the concept of inverse powerset by adding three axioms to the Zermelo-Fraenkel set theory. This extends the Zermelo-Fraenkel set theory with a new type of set which is motivated by an intuitive meaning and interesting…
This note deals with the direct and inverse spectral analysis for a class of infinite band symmetric matrices. This class corresponds to operators arising from difference quations with usual and inner boundary conditions. We give a…
This is a survey of old and new problems and results in additive number theory.
We study the inverse problem of recovering the order and the diffusion coefficient of an elliptic fractional partial differential equation from a finite number of noisy observations of the solution. We work in a Bayesian framework and show…
We introduce and study em (or "emergent"), a lambda calculus style rewrite system inspired from dilations structures in metric geometry. Then we add a new axiom (convex) and explore its consequences. Although (convex) forces commutativity…
Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…
Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain new criteria equivalent to the Riemann hypothesis. Later, the same theorem was applied…
We give a reformulation of the Lehmer conjecture about algebraic integers in terms of a simple counting problem modulo p.
We study endomorphisms and derivations of infinite dimensional cyclic Leibniz algebra.
We first formulate an inverse problem for a linear fractional Lam\'e system. We determine the Lam\'e parameters from exterior partial measurements of the Dirichlet-to-Neumann map. We further study an inverse obstacle problem as well as an…
The inverse scattering transform is extended to investigate the Tzitz\'{e}ica equation. A set of sectionally analytic eigenfunctions and auxiliary eigenfunctions are introduced. We note that in this procedure, the auxiliary eigenfunctions…
We investigate invertible matrices over finite additively idempotent semirings. The main result provides a criterion for the invertibility of such matrices. We also give a construction of the inverse matrix and a formula for the number of…
We prove that there are infinitely many finite simple groups of symplectic Lie type, of any specified characteristic and rank, which appear as Galois groups over the field of rational numbers. This generalizes a result of Wiese, which…
Inversion of function sinc(x) is studied. New series and integral representations of branches of inverse function are obtained using Fourier analysis.