Related papers: The Herbrand Functional Interpretation of the Doub…

We introduce a common generalization of the L-R-smash product and twisted tensor product of algebras, under the name L-R-twisted tensor product of algebras. We investigate some properties of this new construction, for instance we prove a…

Let $X$ be a (real or complex) rearrangement-in\-va\-riant function space on $\Om$ (where $\Om = [0,1]$ or $\Om \subseteq \bbN$) whose norm is not proportional to the $L_2$-norm. Let $H$ be a separable Hilbert space. We characterize…

The functional interpretation is a systematic, syntactic method for transforming certain non-constructive proofs into constructive proofs with explicit bounds. We illustrate the interpretation by working through a concrete, fairly simple…

We present a framework for the formal meta-theory of lambda calculi in first-order syntax, with two sorts of names, one to represent both free and bound variables, and the other for constants, and by using Stoughton's multiple…

Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations in categories over a base category X are considered. In particular, we illustrate the formulas (|P)x = ten(x/X,P) ; (P|)x = hom(X/x,P) which…

We show that if a theory R defined by a rewrite system is super-consistent, the classical sequent calculus modulo R enjoys the cut elimination property, which was an open question. For such theories it was already known that proofs strongly…

After a brief review of the definition of the Trudinger-Moser functions in dimension $N=2$ and some basic notions in the theory of ``Reproducing Kernel Hilbert Spaces (RKHS)'', we will show that there is a close connection between those two…

Given a torsion pair $(\mathcal{T},\mathcal{F})$ in an abelian category $\mathcal{A}$ and its Happel-Reiten-Smal{\o} tilt $\mathcal{B}$, the equivalence of the realization functor $D^b({\mathcal B})\to D^b({\mathcal A})$ is determined by…

In the previous author's paper the Macdonald norm conjecture (including the famous constant term conjecture) was proved. This paper contains the proof of the remaining two (the duality and evaluation conjectures). The evaluation theorem is…

We extend the classical Mercer theorem to reproducing kernel Hilbert spaces whose elements are functions from a measurable space $X$into $\mathbb C^n$. Given a finite measure $\mu$ on $X$, we represent the reproducing kernel $K$ as…

Weighted monadic second-order logic is a weighted extension of monadic second-order logic that captures exactly the behaviour of weighted automata. Its semantics is parameterized with respect to a semiring on which the values that weighted…

We show that if $X$ is virtually any classical fractal subset of $\mathbb{R}^n$, then $(\mathbb{R},<,+,X)$ interprets the monadic second-order theory of $(\mathbb{N},+1)$. This result is sharp in the sense that the standard model of the…

Given a representation of a C*-algebra, thought of as an abstract collection of physical observables, together with a unit vector, one obtains a state on the algebra via restriction. We show that the Gelfand-Naimark-Segal (GNS) construction…

Let $ Tf =\sum_{ I} \varepsilon_I \langle f,h_{I^+}\rangle h_{I^-}$. Here, $ \lvert \varepsilon _I\rvert=1 $, and $ h_J$ is the Haar function defined on dyadic interval $ J$. We show that, for instance, \begin{equation*} \lVert T \rVert _{L…

We prove the $r$-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer $r$: The 2-groupoid of 2-dimensional fully extended $r$-spin TQFTs with given target is equivalent to the homotopy fixed points of…

In earlier work a crossed product of a Banach algebra was constructed from a Banach algebra dynamical system $(A,G,\alpha)$ and a class $\mathcal{R}$ of continuous covariant representations, and its representations were determined. In this…

By considering type B analogs of permutations and tableaux, we extend abstract dual equivalence to type B in two directions. In one direction, we define involutions on signed permutations and shifted tableaux that give a weak dual…

In the second part of our work on observables we have shown that quantum observables in the sense of von Neumann, i.e.bounded selfadjoint operators in some von Neumann subalgebra $R$ of $L(H)$, can be represented as bounded continuous…

We study different pointwise recurrence notions for linear dynamical systems from the Ergodic Theory point of view. We show that from any reiteratively recurrent vector $x_0$, for an adjoint operator $T$ on a separable dual Banach space…

This is a research announcement concerning a series of constructions obtained by applying the "doubling method" from the theory of automorphic forms to covering groups. Using these constructions, we obtain partial tensor product L-functions…