Related papers: The Herbrand Functional Interpretation of the Doub…

We show that the supermembrane theory compactified on a torus is invariant under T-duality. There are two different topological sectors of the compactified supermembrane (M2) classified according to a vanishing or nonvanishing second…

We call a function $f$ in $C(X)$ to be hard-bounded if $f$ is bounded on every hard subset, a special kind of closed subset, of $X$. We call a subset $T$ of $X$ to be $S$-embedded if every hard-bounded continuous function of $T$ can be…

The operator-valued Schur-class is defined to be the set of holomorphic functions $S$ mapping the unit disk into the space of contraction operators between two Hilbert spaces. There are a number of alternate characterizations: the operator…

We consider a large class of series of symmetrizable Kac-Moody algebras (generically denoted X_n). This includes the classical series A_n as well as others like E_n whose members are of Indefinite type. The focus is to analyze the behavior…

We show how the theory of (dual) strongly relative Rickart objects may be employed in order to study strongly relative regular objects and (dual) strongly relative Baer objects in abelian categories. For each of them, we prove general…

The class of regular transformations has several equivalent characterizations such as functional MSO transductions, deterministic two-way transducers, streaming string transducers, as well as regular transducer expressions (RTE). For…

We use G\"{o}del's Dialectica interpretation to produce a computational version of the well known proof of Ramsey's theorem by Erd\H{o}s and Rado. Our proof makes use of the product of selection functions, which forms an intuitive…

Let X be a smooth elliptic fibration over a smooth base B. Under mild assumptions, we establish a Fourier-Mukai equivalence between the derived categories of two objects, each of which is an O^* gerbe over a genus one fibration which is a…

The Jost function formalism is extended with use of the complex potential in this paper. We derive the Jost function by taking into account the dual state which is defined by the complex conjugate the complex Hamiltonian. By using the…

In the setup of i.i.d.~observations and a real valued differentiable functional~$T$, locally asymptotic upper bounds are derived for the power of one-sided tests (simple, versus large values of~$T$)and for the confidence probability of…

Given a monad $T$ on $\mathscr{A}$ and a functor $G \colon \mathscr{A} \to \mathscr{B}$, one can construct a monad $G_\#T$ on $\mathscr{B}$ subject to the existence of a certain Kan extension; this is the pushforward of $T$ along $G$. We…

Let $T$ be a quadratic operator on a complex Hilbert space $H$. We show that $T$ can be written as a product of two positive contractions if and only if $T$ is of the form $$aI \oplus bI \oplus\begin{pmatrix} aI & P \cr 0 & bI \cr…

The definition of conservative-irreversible functions is extended to smooth manifolds. The local representation of these functions is studied and reveals that not each conservative-irreversible function is given by the weighted product of…

This is a continuation of a previous joint work with Robert Weston on the quantum group invariant XXZ spin-chain (math-ph/0703085). The previous results on quasi-Hermiticity of this integrable model are briefly reviewed and then connected…

Recently, Gekeler proved that the group of invertible analytic functions modulo constant functions on Drinfeld's upper half space is isomorphic to the dual of an integral generalized Steinberg representation. In this note we show that the…

Following up on a previous analysis of graph embeddings, we generalize and expand some results to the general setting of vector symbolic architectures (VSA) and hyperdimensional computing (HDC). Importantly, we explore the mathematical…

It has been shown that a functional interpretation of proofs in mathematical analysis can be given by the product of selection functions, a mode of recursion that has an intuitive reading in terms of the computation of optimal strategies in…

We derive two types of representation results for increasing convex functionals in terms of countably additive measures. The first is a max-representation of functionals defined on spaces of real-valued continuous functions and the second a…

This article studies a structural aspect of measure-preserving actions of products of countable discrete groups, involving a so-called 'synergodic decomposition' in terms of the ergodic components of the actions of the two factor groups. We…

Let X be a regular scheme, projective and flat over the integers. Let A be the constant in the conjectured functional equation for the zeta-function of X. We give a conjecture computing A in terms of Euler characteristics of derived…