Related papers: On Langlands functoriality- reduction to the semis…
We describe a type system for the linear-algebraic $\lambda$-calculus. The type system accounts for the linear-algebraic aspects of this extension of $\lambda$-calculus: it is able to statically describe the linear combinations of terms…
We here aim to complete our model-theoretic account of the function field Mordell-Lang conjecture, avoiding appeal to dichotomy theorems for Zariski geometries, where we now consider the general case of semiabelian varieties. The main…
In this article, we give a simple proof of the comparison of nearby and vanishing cycles in the sense of Riemann-Hilbert correspondence following the idea of Beilinson and Bernstein, without using the Kashiwara-Malgrange $V$-filtrations.
We prove a generalization to the context of real geometry of an intersection formula for the vanishing cycle functor, which in the complex context is due to Dubson, Ginsburg, Le and Sabbah (after a conjecture of Deligne). It is also a…
Let $F$ be a $p$--adic field, i.e., a finite extension of $\mathbb Q_p$ for some prime $p$. The local Langlands correspondence attaches to each continuous $n$--dimensional $\Phi$-semisimple representation $\rho$ of $W'_F$, the Weil--Deligne…
Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with…
A function in a class $\mathcal{F}(X)$ is said to be subdifferentially determined in $\mathcal{F}(X)$ if it is equal up to an additive constant to any function in $\mathcal{F}(X)$ with the same subdifferential. A function is said to be…
Binary relations are an important abstraction arising in many data representation problems. The data structures proposed so far to represent them support just a few basic operations required to fit one particular application. We identify…
Morrill and Valentin in the paper "Computational coverage of TLG: Nonlinearity" considered an extension of the Lambek calculus enriched by a so-called "exponential" modality. This modality behaves in the "relevant" style, that is, it allows…
We investigate functorial properties of Putnam's homology theory for Smale spaces. Our analysis shows that the addition of a conjugacy condition is necessary to ensure functoriality. Several examples are discussed that elucidate the need…
We give a parametrization of the simple Bernstein components of inner forms of a general linear group over a local field by invariants constructed from type theory, and explicitly describe its behaviour under the Jacquet-Langlands…
Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…
The intrinsic treatment of binding in the lambda calculus makes it an ideal data structure for representing syntactic objects with binding such as formulas, proofs, types, and programs. Supporting such a data structure in an implementation…
We give an FPRAS for Holant problems with parity constraints and not-all-equal constraints, a generalisation of the problem of counting sink-free-orientations. The approach combines a sampler for near-assignments of "windable" functions --…
Two extension problems are solved. First, the class of locally matricial algebras over an arbitrary field is closed under extensions. Second, the class of locally finite dimensional semisimple algebras over a fixed field is closed under…
A consistent functional calculus approach to the spectral theorem for strongly commuting normal operators on Hilbert spaces is presented. In contrast to the common approaches using projection-valued measures or multiplication operators,…
Let $\lambda$ be a real number with $-\pi/2<\lambda<\pi/2.$ In order to study $\lambda$-spirallike functions, it is natural to measure the angle according to $\lambda$-spirals. Thus we are led to the notion of $\lambda$-argument. This fits…
In this paper we address the problem of consistently construct Langevin equations to describe fluctuations in non-linear systems. Detailed balance severely restricts the choice of the random force, but we prove that this property together…
We verify that the descent maps provided by Langlands's Conjugacy Conjecture do satisfy the continuity condition necessary for them to be effective. Thus Langlands's conjecture does imply the existence of canonical models. This replaces an…
A form of the Laplace transform is reviewed as a paradigm for an entire class of fractional functional transforms. Various of its properties are discussed. Such transformations should be useful in application to differential/integral…