Related papers: Interplay between the Chinese Remainder Theorem an…

We give a self-contained treatment of the theory of persistence modules indexed over the real line. We give new proofs of the standard results. Persistence diagrams are constructed using measure theory. Linear algebra lemmas are simplified…

We show a short proof of Higman's lemma using Friedman's adjacent Ramsey theorem for pairs. This provides an alternative proof of the known upper bound for the reverse mathematical status of Higman's lemma and that of its miniaturised…

We show that for integral operators of general form the norm bounds in Lorentz spaces imply certain norm bounds for the maximal function. As a consequence, the a.e. convergence for the integral operators on the Lorentz spaces follows from…

This is the second lecture note on the error analysis of interpolation on simplicial elements without the shape regularity assumption (the previous one is arXiv:1908.03894). In this manuscript, we explain the error analysis of Lagrange…

It is argued from geometrical, group-theoretical and physical points of view that in the framework of QCD it is not only necessary but also possible to modify the Dirac equation so that correspondence principle holds valid. The Dirac wave…

A proof of the continuous martingale convergence theorem is provided. It relies on a classical martingale inequality and the almost sure convergence of a uniformly bounded non-negative super-martingale, after a truncation argument.

We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig's interpolation property. As a…

In the paper based on the question of Zhang and L\"{u}[15], we present one theorem which will improve and extend the results of Banerjee-Majumder [2] and a recent result of Li-Huang [9].

We show that well-chosen Lagrangians for a class of two-dimensional integrable lattice equations obey a closure relation when embedded in a higher dimensional lattice. On the basis of this property we formulate a Lagrangian description for…

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…

We give a definition of higher dimensional iterated integrals based on integration over membranes. We prove basic properties of this definition and formulate a conjecture which extends Chen's de Rham Theorem for iterated integrals to the…

In recent years many efforts have been devoted to finding bidiagonal factorizations of nonsingular totally positive matrices, since their accurate computation allows to numerically solve several important algebraic problems with great…

In this article, using key tools including Zhou valuations, Tian functions and a convergence result for relative types, we establish necessary and sufficient conditions for the existence of valuative interpolations on the rings of germs of…

We explain how the gluing of a closed piece of the tensor-triangular spectrum with its open complement hinges on the support of the Tate ring.

In this paper, as an analogue of the integer case, we define congruence preserving functions over the residue class rings of polynomials over finite fields. We establish a counting formula for such congruence preserving functions, determine…

In this paper, we prove a Morse index theorem for the index form of regular Lagrangian system with selfadjoint boundary condition.

In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…

The size of rings (also called cyclic polymers) in bidisperse blends of chemically identical rings is analyzed by computer simulations. Data of entangled ring blends and blends of interpenetrating rings are compared and it is shown that the…

We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.

In this paper, we consider a q-analogue of Laplace transform and we investigate some properties of q-Laplace transform. From our investigation, we derive some interesting formulae related to q-Laplace transform.