Related papers: A truncated second main theorem for algebraic tori…
We construct the effective action for toroidal compactifications of bosonic string theory from generalized Scherk-Schwarz reductions of double field theory. The enhanced gauge symmetry arising at special points in moduli space is…
We study a certain truncation of the ring of arithmetical functions with unitary convolution, consisting of functions vanishing on arguments >n. The truncations are artinian monomial quotients of a polynomial ring in finitely many…
We prove an effective version of the inverse theorem for the Gowers $U^3$-norm for functions supported on high-rank quadratic level sets in finite vector spaces. For configurations controlled by the $U^3$-norm (complexity-two…
This is the first in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ an ideal of $R$. We show that $I$-reduced $R$-modules and $I$-coreduced $R$-modules provide…
In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…
A new proof of the Second Main Theorem with truncation level 1 for Zariski-dense holomorphic curves into Abelian varieties, which has just been proved by Yamanoi [Y2], is presented. Our proof is based on the idea of the "Radon transform"…
In this paper we consider harmonic functions on gradient shrinking Ricci solitons with constant scalar curvature. A Liouville theorem is proved without using gradient estimate : any bounded harmonic function is constant on gradient…
Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on $n$-provability give rise to a $\Pi_{n+1}$ proof-theoretic ordinal. As such, to each theory $U$ we can…
In this paper, we explain a strategy on $g$-vectors to discover some new minimal $\tau$-tilting infinite two-point algebras. Consequently, the $\tau$-tilting finiteness of various two-point monomial algebras, including all radical cube zero…
We relate the unconstrained `double metric' of the `$\alpha'$-geometry' formulation of double field theory to the constrained generalized metric encoding the spacetime metric and b-field. This is achieved by integrating out auxiliary field…
Quasi-periodic motions on invariant tori of an integrable system of dimension smaller than half the phase space dimension may continue to exists after small perturbations. The parametric equations of the invariant tori can often be computed…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
In this note, we use the concept of a polynomial ring to give an elementary proof to Cayley-Hamilton Theorem. We also give an elementary proof to Birkhoff theorem on Bi-stochastic matrices.
We establish the following quantitative form of the Green--Tao theorem: if a set $\mathcal{A}$ of relative density $\delta$ within the primes up to $N$ contains no nontrivial arithmetic progressions of length $k\geq 4$, then $\delta\ll…
In this paper we give a factorization theorem for the ring of exponential polynomials in many variables over an algebraically closed field of characteristic 0 with an exponentiation. This is a generalization of the factorization theorem due…
Motivated by notions from coding theory, we study the generalized minimum distance (GMD) function $\delta_I(d,r)$ of a graded ideal $I$ in a polynomial ring over an arbitrary field using commutative algebraic methods. It is shown that…
In this work, an extension of two-point Ostrowski's formula for $n$-times differentiable functions is proved. A generalization of Taylor formula is deduced. An identity of Fink type for this extension is provided. Error estimates for the…
In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder…
In this paper, we derive a variant of the Taylor theorem to obtain a new minimized remainder. For a given function $f$ defined on the interval $[a,b]$, this formula is derived by introducing a linear combination of $f'$ computed at $n+1$…
An old conjecture of Erd\H{o}s and R\'enyi, proved by Schinzel, predicted a bound for the number of terms of a polynomial $g(x) \in \mathbb{C}[x]$ when its square $g(x)^2$ has a given number of terms. Further conjectures and results arose,…