English
Related papers

Related papers: Degrees of incomputability, realizability and cons…

200 papers

We extend to the infinite dimensional context the link between two completely different topics recently highlighted by the authors: the classical eigenvalue problem for real square matrices and the Brouwer degree for maps between oriented…

Spectral Theory · Mathematics 2021-01-08 Pierluigi Benevieri , Alessandro Calamai , Massimo Furi , Maria Patrizia Pera

Iterated Bernstein polynomial approximations of degree n for continuous function which also use the values of the function at i/n, i=0,1,...,n, are proposed. The rate of convergence of the classic Bernstein polynomial approximations is…

Classical Analysis and ODEs · Mathematics 2009-10-16 Zhong Guan

For various classes of Lipschitz functions we provide dimension free concentration inequalities for infinitely divisible random vectors with independent components and finite exponential moments.

Probability · Mathematics 2007-05-23 C. Houdré , P. Reynaud-Bouret

Eigenvalue problems for semidefinite operators with infinite dimensional kernels appear for instance in electromagnetics. Variational discretizations with edge elements have long been analyzed in terms of a discrete compactness property. As…

Numerical Analysis · Mathematics 2013-06-24 Snorre Harald Christiansen , Ragnar Winther

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function, namely, that it cannot be covered by countably many sets, each of which is closed and purely…

Functional Analysis · Mathematics 2020-11-11 Michael Dymond , Olga Maleva

Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minimal polynomials of these algebraic numbers. Geometrically,…

Optimization and Control · Mathematics 2008-09-09 Jiawang Nie , Kristian Ranestad , Bernd Sturmfels

In this paper, we give the explicit bounds for the data of objects involved in some basic theorems of Singularity theory: the Inverse, Implicit and Rank Theorems for Lipschitz mappings, Splitting Lemma and Morse Lemma, the density and…

Numerical Analysis · Mathematics 2012-08-28 Ta Le Loi , Phan Phien

A solution to the more than 300-years old problem of geometric and physical interpretation of fractional integration and differentiation (i.e., integration and differentiation of an arbitrary real order) is suggested for the…

Classical Analysis and ODEs · Mathematics 2007-05-23 Igor Podlubny

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Logic · Mathematics 2011-05-16 Alexandra Shlapentokh , Carlos Videla

In this article, we establish necessary and sufficient viability conditions for continuity inclusions over the 1-Wasserstein space. Depending on the regularity properties of the dynamics, we derive two results which are based on fairly…

Analysis of PDEs · Mathematics 2025-11-26 Benoît Bonnet-Weill , Alberto Domínguez Corella , Hélène Frankowska

We introduce the point degree spectrum of a represented space as a substructure of the Medvedev degrees, which integrates the notion of Turing degrees, enumeration degrees, continuous degrees, and so on. The notion of point degree spectrum…

General Topology · Mathematics 2017-08-07 Takayuki Kihara , Arno Pauly

We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…

Mathematical Physics · Physics 2009-11-10 S. Lombardo , A. V. Mikhailov

Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.

Logic in Computer Science · Computer Science 2024-05-24 Ludwig Staiger

To minimize or upper-bound the value of a function "robustly", we might instead minimize or upper-bound the "epsilon-robust regularization", defined as the map from a point to the maximum value of the function within an epsilon-radius. This…

Optimization and Control · Mathematics 2010-06-10 Adrian S. Lewis , C. H. Jeffrey Pang

New splitting theorems in a semi-Riemannian manifold which admits an irrotational vector field (not necessarily a gradient) with some suitable properties are obtained. According to the extras hypothesis assumed on the vector field, we can…

Differential Geometry · Mathematics 2007-05-23 Manuel Gutierrez , Benjamin Olea

Properties of partial integrals such as real and complex-valued polynomial, multiple polynomial, exponential, and conditional for ordinary differential systems are studied. The possibilities of constructing first integrals and last…

Classical Analysis and ODEs · Mathematics 2018-09-20 V. N. Gorbuzov

This paper develops a technical and practical reinterpretation of the real interval [a,b] under the paradigm of fractal countability. Instead of assuming the continuum as a completed uncountable totality, we model [a,b] as a layered…

Logic in Computer Science · Computer Science 2025-05-21 Stanislav Semenov

We give infinite dimensional and finite dimensional examples of $F-$fold Lie superalgebras. The finite dimensional examples are obtained by an inductive procedure from Lie algebras and Lie superalgebras.

High Energy Physics - Theory · Physics 2008-11-26 M. Rausch de Traubenberg , M. J. Slupinski

We study the effective versions of several notions related to incompleteness, undecidability and inseparability along the lines of Pour-El's insights. Firstly, we strengthen Pour-El's theorem on the equivalence between effective essential…

Logic · Mathematics 2024-06-03 Taishi Kurahashi , Albert Visser

We give an example of a finite dimensional algebra with infinite delooping level, based on an example of a semi-Gorenstein-projective module due to Ringel and Zhang.

Representation Theory · Mathematics 2023-05-17 Luke Kershaw , Jeremy Rickard