Related papers: On the Linear AFL: The Non-Basic Case
A long-standing conjecture of Littlewood about simultaneous Diophantine approximation has an analogous problem for a field of formal Laurent series $\mathbb{F}(\!(t^{-1})\!)$. That is, we can ask whether for any series $\Theta$, $\Phi$ and…
This paper has two objectives. First, we study lattices with skew-Hermitian forms over division algebras with positive involutions. For division algebras of Albert types I and II, we show that such a lattice contains an "orthogonal" basis…
Exploded layered tropical (ELT) algebra is an extension of tropical algebra with a structure of layers. These layers allow us to use classical algebraic results in order to easily prove analogous tropical results. Specifically we study the…
The aim of this paper is to study global bifurcations of non-constant solutions of some nonlinear elliptic systems, namely the system on a sphere and the Neumann problem on a ball. We study the bifurcation phenomenon from families of…
In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a…
Recently we have found an analytic integration formula that describes the dependence of the luminosity distance on the redshift for the flat cosmological model with a non-zero cosmological constant. The purpose of this article is to search…
We develop the intersection theory of non-archimedean analytic spaces and prove the projection formula and the GAGA principle. As an application, we naturally define the category of finite correspondences of analytic spaces.
Recently, a class of interaction round the face (IRF) solvable lattice models were introduced, based on any rational conformal field theory (RCFT). We investigate here the connection between the general solvable IRF models and the fusion…
We define some formal moduli space of quasi-isogenies of isoclinic $p$-divisible groups with a non-reductive group as the "structure group". We then formulate new Arithmetic Fundamental Lemma conjectures for Bessel subgroups in the context…
We present new descriptive complexity characterisations of classes REG (regular languages), LCFL (linear context-free languages) and CFL (context-free languages) as restrictions on inference rules, size of formulae and permitted connectives…
We extend the theory of unified correspondence to a very broad class of logics with algebraic semantics given by varieties of normal lattice expansions (LEs), also known as `lattices with operators'. Specifically, we introduce a very…
We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional…
We develop Algebraic Phase Theory (APT), an axiomatic framework for extracting intrinsic algebraic structure from phase based analytic data. From minimal admissible phase input we prove a general phase extraction theorem that yields…
In this paper it is stressed that there is no {\em physical} reason for symmetries to be linear and that Lie group theory is therefore too restrictive. We illustrate this with some simple examples. Then we give a readable review on the…
We study the orbits of a polynomial f in C[X], namely the sets {e,f(e),f(f(e)),...} with e in C. We prove that if nonlinear complex polynomials f and g have orbits with infinite intersection, then f and g have a common iterate. More…
We introduce a new framework called linear algebraic number theory (LANT) that reformulates the number-theoretic problem as a regression model and solves it using matrix algebra. This framework restricts all computations to log space,…
The representation theorem for odd or even involutive FLe-chains by bunches of layer groups, as discussed in [10], is redefined to demonstrate a more straightforward constructional relationship between odd or even involutive FLe-chains and…
We introduce a sequent calculus FL' for non-commutative substructural logic. It has at most one formula on the right side of sequent, and excludes three structural inference rules, i.e. contraction, weakening and exchange. (FL' is based on…
In this paper we derive some basic results of circuit theory using `Implicit Linear Algebra' (ILA). This approach has the advantage of simplicity and generality. Implicit linear algebra is outlined in [1]. We denote the space of all vectors…
This paper contains a complete description of minimal non-gatherable triangle triples in the lambda-sequences for the affine classical root systems and some claims for arbitrary (reduced) affine root systems. It continues our previous paper…