Related papers: Logarithmic Space and Permutations
The study of operator algebras on Hilbert spaces, and C*-algebras in particular, is one of the most active areas within Functional Analysis. A natural generalization of these is to replace Hilbert spaces (which are $L^2$-spaces) with…
In this paper we investigate the reproducing kernel Hilbert space where the polylogarithm appears as kernel functions. This investigation begins with the properties of functions in this space, and here a connection to the classical Hardy…
Usually, the dynamics of linear time-invariant systems described by an integral operator of convolution type, which is defined in the Hilbert space of Lebesgue square integrable functions on the whole line. Such a description leads to…
The Langlands correspondence for complex curves is traditionally formulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the…
We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and the coordination mechanisms that rule the operational…
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an…
This work wishes to support various mathematical issues concerning the iterative methods with the help of new programming languages. We consider a way to show how problems in math have an answer by using different academic resources and…
In this article, we propose a $p$-adic analogue of complex Hilbert space and consider generalizations of some well-known theorems from functional analysis and the basic study of operators on Hilbert spaces. We compute the $K$-theory of the…
This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently…
We construct a rigged Hilbert space for the square integrable functions on the line L^2(R) adding to the generators of the Weyl-Heisenberg algebra a new discrete operator, related to the degree of the Hermite polynomials. All together,…
The translation of an operator is defined by using conjugation with time-frequency shifts. Thus, one can define $\Lambda$-shift-invariant subspaces of Hilbert-Schmidt operators, finitely generated, with respect to a lattice $\Lambda$ in…
We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…
We discuss some basic properties of Lie group representations in rigged Hilbert spaces. In particular, we show that a differentiable representation in a rigged Hilbert space may be obtained as the projective limit of a family of continuous…
For finitely generated nilpotent groups, we employ Mal'cev coordinates to solve several classical algorithmic problems efficiently. Computation of normal forms, the membership problem, the conjugacy problem, and computation of presentations…
We present a linearity theorem for a proof language of intuitionistic multiplicative additive linear logic, incorporating addition and scalar multiplication. The proofs in this language are linear in the algebraic sense. This work is part…
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherence spaces (where both fixed points are interpreted in the same way) and in coherence spaces with totality (where they have different…
When humans conceive how to perform a particular task, they do so hierarchically: splitting higher-level tasks into smaller sub-tasks. However, in the literature on natural language (NL) command of situated agents, most works have treated…
We show that Hilbert-Schmidt operators can be used to define frame-like structures for $L^2(\mathbb{R}^d)$ over lattices in $\mathbb{R}^{2d}$ that include multi-window Gabor frames as a special case. These frame-like structures are called…
We generalize the Umbral Calculus of G-C. Rota by studying not only sequences of polynomials and inverse power series, or even the logarithms studied in, but instead we study sequences of formal expressions involving the iterated logarithms…
We introduce a graph-theoretical representation of proofs of multiplicative linear logic which yields both a denotational semantics and a notion of truth. For this, we use a locative approach (in the sense of ludics) related to game…