Related papers: Infinite-dimensional calculus under weak spatial r…
The question is addressed of when a Sobolev type space, built upon a general rearrangement-invariant norm, on an $n$-dimensional domain, is a Banach algebra under pointwise multiplication of functions. A sharp balance condition among the…
In finite dimensions, controllability of bilinear quantum control systems can be decided quite easily in terms of the "Lie algebra rank condition" (LARC), such that only the systems Lie algebra has to be determined from a set of generators.…
We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces,…
The quantum mechanical formalism for position and momentum of a particle in a one dimensional cyclic lattice is constructively developed. Some mathematical features characteristic of the finite dimensional Hilbert space are compared with…
We carry out a systematic study of decidability for theories of (a) real vector spaces, inner product spaces, and Hilbert spaces and (b) normed spaces, Banach spaces and metric spaces, all formalised using a 2-sorted first-order language.…
Recent advances in our understanding of higher derived limits carry multiple implications in the fields of condensed and pyknotic mathematics, as well as for the study of strong homology. These implications are thematically diverse,…
We derive It\^o-type change of variable formulas for smooth functionals of irregular paths with non-zero $p-$th variation along a sequence of partitions where $p \geq 1$ is arbitrary, in terms of fractional derivative operators, extending…
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of…
Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes. A significant…
We study a factorization of bounded linear maps from an operator space $A$ to its dual space $A^*$. It is shown that $T : A \longrightarrow A^*$ factors through a pair of a column Hilbert spaces $\mathcal{H}_c$ and its dual space if and…
We answer, by counterexample, several open questions concerning algebras of operators on a Hilbert space. The answers add further weight to the thesis that, for many purposes, such algebras ought to be studied in the framework of operator…
For a family of infinite-dimensional diffusions with degenerate noise, we develop a modified $\Gamma$ calculus on finite-dimensional projections of the equation in order to produce explicit functional inequalities that can be scaled to…
We introduce the operators "modified limit" and "accumulation" on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable…
We study the existence of global implicit functions for equations defined on open subsets of Banach spaces. The partial derivative with respect to the second variable is only required to have a left inverse instead of being invertible.…
A simple axiomatic characterization of the general (infinite dimensional, noncommutative) Ito algebra is given and a pseudo-Euclidean fundamental representation for such algebra is described. The notion of Ito B*-algebra, generalizing the…
We show that, given a Banach space and a generator of an exponentially stable $C_{0}$-semigroup, a weakly admissible operator $g(A)$ can be defined for any $g$ bounded, analytic function on the left half-plane. This yields an (unbounded)…
We consider continuous structures which are obtained from finite dimensional Hilbert spaces over $\mathbb{C}$ by adding some unitary operators. Quantum automata and quantum circuits are naturally interpretable in such structures. We…
The spatial distribution has been widely used to develop various nonparametric procedures for finite dimensional multivariate data. In this paper, we investigate the concept of spatial distribution for data in infinite dimensional Banach…
Similar to ordinary differential equations, rough paths and rough differential equations can be formulated in a Banach space setting. For $\alpha\in (1/3,1/2)$, we give criteria for when we can approximate Banach space-valued weakly…
We study the solutions of infinite dimensional linear inverse problems over Banach spaces. The regularizer is defined as the total variation of a linear mapping of the function to recover, while the data fitting term is a near arbitrary…