Related papers: ELT Linear Algebra II
Large Language Models (LLMs) are powerful but often too slow and costly for real-world use during inference. Looped transformers save on parameters by reusing the same weights for multiple computational steps, or "loops." However, this…
This is a survey paper on the connection of enriched category theory over a quantale and tropical mathematics. Quantales or complete idempotent semirings, as well as matrices with coefficients in them, are fundamental objects in both…
This is an introduction to advanced linear algebra, with emphasis on geometric aspects, and with some applications included too. We first review basic linear algebra, notably with the spectral theorem in its general form, and with the…
We prove a completeness result for Multiplicative Exponential Linear Logic (MELL): we show that the relational model is injective for MELL proof-nets, i.e. the equality between MELL proof-nets in the relational model is exactly axiomatized…
In this paper we further develop the theory of matrices over the extended tropical semiring. Introducing a notion of tropical linear dependence allows for a natural definition of matrix rank in a sense that coincides with the notions of…
This paper examines a general method for producing twists of a comodule algebra by tensoring it with a torsor then taking co-invariants. We examine the properties that pass from the original algebra to the twisted algebra and vice versa. We…
Large language models (LLMs) can acquire strong code-generation capabilities through few-shot learning. In contrast, supervised fine-tuning is still needed for smaller models to achieve good performance. Such fine-tuning demands a large…
In this thesis we describe the universal central extension of two important classes of so-called root-graded Lie algebras defined over a commutative associative unital ring $k.$ Root-graded Lie algebras are Lie algebras which are graded by…
We show that coefficients in unicellular LLT polynomials are evaluations of Hecke algebra traces at Kazhdan-Lusztig basis elements. We express these in terms of traditional trace bases, induction, and Kazhdan-Lusztig R-polynomials.
A correspondence exists between affine tropical varieties and algebraic objects, following the classical Zariski correspondence between irreducible affine varieties and the prime spectrum of the coordinate algebra in affine algebraic…
This paper is a review of concepts from graded commutative algebra with specific attention given to length and multiplicity. The author's motivation for this paper comes from the study of equivariant cohomology in algebraic topology where…
We present an unexpected application of tropical convexity to the determination of invariants for linear systems of differential equations. We show that the classical G\'erard-Levelt lattice saturation procedure can be geometrically…
The aim of this paper is to revisit the question of local-global principles for embeddings of \'etale algebras with involution into central simple algebras with involution over global fields of characteristic not 2. A necessary and…
The goal of this paper is to present an algebraic approach to the basic results of the theory of linear recurrence relations. This approach is based on the ideas from the theory of representations of one endomorphisms (a special case of…
Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evolutions, one has to specify, along with an LTL formula f, which…
This paper proposes a tropical geometry-based edge detection framework that reformulates convolution and gradient computations using min-plus and max-plus algebra. The tropical formulation emphasizes dominant intensity variations,…
Transfer learning (TL) is a powerful tool for enhancing the performance of neural networks (NNs) in applications such as weather and climate prediction and turbulence modeling. TL enables models to generalize to out-of-distribution data…
We introduce a twisted relative trace formula which simultaneously generalizes the twisted trace formula of Langlands et.al. (in the quadratic case) and the relative trace formula of Jacquet and Lai. Certain matching statements relating…
In this two-part series of articles, we present a new proof comparing the trace formula for a general linear group with that of one of its inner forms. Our methodology relies on the trace formula for Lie algebras, incorporating the notion…
For a tropical univariate polynomial $f$ we define its tropical Hilbert function as the dimension of a tropical linear prevariety of solutions of the tropical Macauley matrix of the polynomial up to a (growing) degree. We show that the…