Related papers: On the Linear AFL: The Non-Basic Case

We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…

We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic…

The intersection type assignment system has been designed directly as deductive system for assigning formulae of the implicative and conjunctive fragment of the intuitionistic logic to terms of lambda-calculus. But its relation with the…

We prove a special case of a dynamical analogue of the classical Mordell-Lang conjecture. In particular, let $\phi$ be a rational function with no superattracting periodic points other than exceptional points. If the coefficients of $\phi$…

In 2005, Abramsky introduced various linear/affine combinatory algebras of partial involutions over a suitable formal language, to discuss reversible computation in a game-theoretic setting. These algebras arise as instances of the general…

The classical Lagrange inversion formula is extended to analytic and non--analytic inversion problems on non--Archimedean fields. We give some applications to the field of formal Laurent series in $n$ variables, where the non--analytic…

Intersection types are an essential tool in the analysis of operational and denotational properties of lambda-terms and functional programs. Among them, non-idempotent intersection types provide precise quantitative information about the…

We show that the principal types of the closed terms of the affine fragment of $\lambda$-calculus, with respect to a simple type discipline, are structurally isomorphic to their interpretations, as partial involutions, in a natural Geometry…

Flat bands (FBs) in materials can enhance the correlation effects, resulting in exotic phenomena. Line graph (LG) lattices are well known for hosting FBs with isotropic hoppings in $s$-orbital models. Despite their prevalent application in…

The main goal of this paper is to introduce a framework for infinitesimal deformation problems, using new methods coming from operadic calculus. We construct an adjunction between infinitesimal deformation problems over some type of…

We prove a degenerate homological Arnol'd conjecture on Lagrangian intersections beyond the case studied by A. Floer and H. Hofer via a new version of Lagrangian Ljusternik--Schnirelman theory. We introduce the notion of (Lagrangian)…

Let G be a (real or complex) linear reductive algebraic group acting on an affine variety V. Let W be a subvariety. In this work we study how the G-orbits intersect W. We develop a criterion to determine when the intersection can be…

Let G be an unramified reductive group over a non archimedian local field F. The so-called "Langlands Fundamental Lemma" is a family of conjectural identities between orbital integrals for G(F) and orbital integrals for endoscopic groups of…

A commutative associative algebra A with an identity over the field of real numbers which has a basis, where all elements are invertible, is considered in the work. Moreover, among matrixes consisting of the structure constants of A, there…

We study the problem of existence of orbits connecting stationary points for the nonlinear heat and strongly damped wave equations being at resonance at infinity. The main difficulty lies in the fact that the problems may have no solutions…

We present some elementary ideas to prove the following Sylvester-Gallai type theorems involving incidences between points and lines in the planes over the complex numbers and quaternions. (1) Let A and B be finite sets of at least two…

We study locally finite varieties (=primitive classes) of linear algebras over finite fields. We do not assume that our algebras are associative or Lie. We are interested in the basic properties of finite algebras in these varieties such…

We show that any asymptotically locally Euclidean (ALE) metric which is obstruction-flat or extended obstruction-flat must be ALE of a certain optimal order. Moreover, our proof applies to very general elliptic systems and in any dimension…

In his deep and prolific investigations of heat diffusion, Lam\'e was led to the investigation of the eigenvalues and eigenfunctions of the Laplace operator in an equilateral triangle. In particular he derived explicit results for the…

Basis tensor gauge theory is a vierbein analog reformulation of ordinary gauge theories in which the difference of local field degrees of freedom has the interpretation of an object similar to a Wilson line. Here we present a non-Abelian…