Related papers: Improvement upon Mahler's transference theorem
We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…
A review of the parallel transport (translation) in fibre bundles is presented. The connections between transports along paths and parallel transports in fibre bundles are examined. It is proved that the latter ones are special cases of the…
Parallel addition, i.e., addition with limited carry propagation, has been so far studied for complex bases and integer alphabets. We focus on alphabets consisting of integer combinations of powers of the base. We give necessary conditions…
We show that a constant number of self-attention layers can efficiently simulate, and be simulated by, a constant number of communication rounds of Massively Parallel Computation. As a consequence, we show that logarithmic depth is…
We introduce the notion of $\imath$Schur superalgebra, which can be regarded as a type B/C counterpart of the $q$-Schur superalgebra (of type A) formulated as centralizer algebras of certain signed $q$-permutation modules over Hecke…
Motivated by the notion of a set of uniqueness in a locally compact group $G$, we introduce and study ideals of uniqueness in the Fourier algebra $A(G)$ of $G$, and their accompanying operator version, masa-bimodules of uniqueness. We…
Complementable operators extend classical matrix decompositions, such as the Schur complement, to the setting of infinite-dimensional Hilbert spaces, thereby broadening their applicability in various mathematical and physical contexts. This…
A new formalism is given for the renormalization of quantum field theories to all orders of perturbation theory, in which there are manifestly no overlapping divergences. We prove the BPH theorem in this formalism, and show how the local…
Capacities of quantum channels and decoherence times both quantify the extent to which quantum information can withstand degradation by interactions with its environment. However, calculating capacities directly is known to be intractable…
We prove Euler's theorem of number theory developing an argument based on quandles. A quandle is an algebraic structure whose axioms mimic the three Reidemeister moves of knot theory.
In this paper, we give a necessary and sufficient condition that discrete Morse functions on a digraph can be extended to be Morse functions on its transitive closure, from this we can extend the Morse theory to digraphs by using…
We investigate interconnected aspects of hyperderivatives of polynomials over finite fields, q-th powers of polynomials, and specializations of Vandermonde matrices. We construct formulas for Carlitz multiplication coefficients using…
We observe that the classical Grauert-Riemenschneider Vanishing Theorem is a direct consequence of basic results from the theory of modulus sheaves with transfers as developed by Kahn-Saito-Yamazaki. We also obtain a new characterization of…
We give here a general, best-possible, and smoothly-derived form of the Master Theorem for divide-and-conquer recurrences.
In this paper, we construct a differential graded Lie algebra whose Maurer-Cartan elements are given by crossed homomorphisms on Leibniz algebras. This allows us to define cohomology for a crossed homomorphism. Finally, we study linear…
We state and prove a new closure theorem closely related to the classical closure theorems of Poncelet and Steiner. Along the way, we establish a number of theorems concerning conic sections.
We survey the classical results of the Dirichlet Approximation Theorem.
We present short proofs of the transcendence of the Liouville and the Mahler numbers. The first proof is known for a long time, the second proof apparently appeared only in 2002-2003. The proofs are accessible to high-school students.
This paper is a modified chapter of the author's Ph.D. thesis. We introduce the notions of sequentially approximated types and sequentially approximated Keisler measures. As the names imply, these are types which can be approximated by a…
The Abundance conjecture predicts that on a minimal projective klt pair $(X,\Delta)$, the adjoint divisor $K_X+\Delta$ is semiample. When $\chi(X,\mathcal O_X)\neq0$, we give a necessary and sufficient condition for the conjecture to hold…