Related papers: A rigorous computer aided estimation for Gelfond e…
We present a deterministic algorithm for computing spaces of weight 1 modular forms with exotic representations. This algorithm is an improved version of Schaeffer's Hecke stability method, utilising the author's previous work on the…
Weighing the topological domain over which data can be represented and analysed is a key strategy in many signal processing and machine learning applications, enabling the extraction and exploitation of meaningful data features and their…
We prove genuinely multilinear weighted estimates for singular integrals in product spaces. The estimates complete the qualitative weighted theory in this setting. Such estimates were previously known only in the one-parameter situation.…
In a previous work, "compact versions" of Rubio de Francia's weighted extrapolation theorem were proved, which allow one to extrapolate the compactness of an linear operator from just one space to the full range of weighted Lebesgue spaces,…
Accuracy-driven computation is a strategy widely used in exact-decisions number types for robust geometric algorithms. This work provides an overview on the usage of error bounds in accuracy-driven computation, compares different approaches…
Topologically protected waves in the linearly polarized Maxwell's equations with gyrotropic, magneto-optic media were studied a decade ago both computationally and experimentally. This paper develops a robust tight-binding model for this…
We report the result of our calculation of the complete tenth-order QED terms of the muon g-2. Our result is a_\mu^{(10)} = 753.29 (1.04) in units of (\alpha/\pi)^5, which is about 4.5 s.d. larger than the leading-logarithmic estimate 663…
We estimate Gowers uniformity norms for some classical automatic sequences, such as the Thue-Morse and Rudin-Shapiro sequences. The methods can also be extended to other automatic sequences. As an application, we asymptotically count…
We study the density of the invariant measure of the Hurwitz complex continued fraction from a computational perspective. It is known that this density is piece-wise real-analytic and so we provide a method for calculating the Taylor…
We present an algorithm for the rigorous integration of Delay Differential Equations (DDEs) of the form $x'(t)=f(x(t-\tau),x(t))$. As an application, we give a computer assisted proof of the existence of two attracting periodic orbits…
We study the convergence of these operators in a weighted space of functions on a positive semi-axis and estimate the approximation by using a new type of weighted modulus of continuity and error estimation.
Let $a, b$ be distinct, non-constant polynomials in ${\mathbb F}_2 [z]$. Let $\xi_{a, b}$ be the power series in ${\mathbb F}_2((z^{-1}))$ whose sequence of partial quotients is the Thue-Morse sequence over $\{a, b\}$. We establish that…
The tensor train (TT) format enjoys appealing advantages in handling structural high-order tensors. The recent decade has witnessed the wide applications of TT-format tensors from diverse disciplines, among which tensor completion has drawn…
In this paper quantitative weighted matrix estimates for vector valued extensions of $L^{r'}$-H\"ormander operators and rough singular integrals are studied. Strong type $(p,p)$ estimates, endpoint estimates, and some new results on…
In this paper, we study the weighted sums of multiple t-values and of multiple t-star values at even arguments. Some general weighted sum formulas are given, where the weight coefficients are given by (symmetric) polynomials of the…
We extend the author's formula (2011) of weighted counting of inversions on permutations to the one on alternating sign matrices. The proof is based on the sequential construction of alternating sign matrices from the unit matrix recently…
Gowers norms have been a key component in the proofs of many breakthrough results in connection to the sum of digits function. Spiegelhofer has used them to show that the Thue-Morse sequence has level of distribution 1 and also that it is…
In this paper, we develop a new approach that allows to identify the Gelfand spectrum of weighted Fourier algebras as a subset of an abstract complexification of the corresponding group for a wide class of groups and weights. This…
In this article, we study deformations of conjugate self-dual Galois representations. The study has two folds. First, we prove an R=T type theorem for a conjugate self-dual Galois representation with coefficients in a finite field,…
We introduce a local machine-learning method for predicting the electron densities of periodic systems. The framework is based on a numerical, atom-centred auxiliary basis, which enables an accurate expansion of the all-electron density in…