Related papers: Calculation of Lebesgue Integrals by Using Uniform…

Here using some methods of combinatorial set theory, particularly the ones related to the construction of independent families of sets and some modified version of the notion of small sets originally introduced by Riecan, Riecan and…

We prove very general index formulae for integral Galois modules, specifically for units in rings of integers of number fields, for higher K-groups of rings of integers, and for Mordell-Weil groups of elliptic curves over number fields.…

In this paper we apply ideas from the theory of Uniform Distribution of sequences to Functional Analysis and then drawing inspiration from the consequent results, we study concepts and results in Uniform Distribution itself. So let $E$ be a…

We consider the space $C_{\lambda}$ of all continuous interval maps preserving the Lebesgue measure $\lambda$. A continuous function $f\colon~[0,1]\to \mathbb R$ is called Besicovitch if it does not have any finite or infinite unilateral…

We prove the universality of the large deviations principle for the empirical measures of zeros of random polynomials whose coefficients are i.i.d. random variables possessing a density with respect to the Lebesgue measure on C, R or R + ,…

The class of Banach spaces $(L^{q},L^{p}) ^{\alpha}(X,d,\mu)$, $1\leq q\leq \alpha \leq p\leq \infty ,$ introduced in \cite{F1} in connection with the study of the continuity of the fractional maximal operator of Hardy-Littlewood and of the…

In this note, we study inequality and limit theory under sublinear expectations. We mainly prove Doob's inequality for submartingale and Kolmogrov's inequality. By Kolmogrov's inequality, we obtain a special version of Kolmogrov's law of…

To obtain the highest confidence on the correction of numerical simulation programs implementing the finite element method, one has to formalize the mathematical notions and results that allow to establish the soundness of the method.…

A sequence of nonzero integers $f = (f_1, f_2, \dots)$ is ``binomid'' if every $f$-binomid coefficient $\left[\! \begin{array}{c} n \\ k \end{array}\! \right]_f$ is an integer. Those terms are the generalized binomial coefficients: \[…

We obtain multidimensional metric uniform distribution results involving sequences in ${\mathbb R}^k$ parametrized by analytic curves. Our theorems extend the classical theorems of Weyl and Koksma in a variety of ways. One of our main…

A key tool in recent advances in understanding arithmetic progressions and other patterns in subsets of the integers is certain norms or seminorms. One example is the norms on $\Z/N\Z$ introduced by Gowers in his proof of Szemer\'edi's…

We study the uniform distribution of the polynomial sequence $\lambda(P)=(\lfloor P(k) \rfloor )_{k\geq 1}$ modulo integers, where $P(x)$ is a polynomial with real coefficients. In the nonlinear case, we show that $\lambda(P)$ is uniformly…

We show that for any set $A\subseteq [0,1]^n$ with $\text{Vol}(A)\ge 1/2$ there exists a line $\ell $ such that the one-dimensional Lebesgue measure of $\ell \cap A$ is at least $\Omega ( n^{1/4} )$. The exponent $1/4$ is tight. More…

Let $m\ge 2$ be an integer, $K$ an algebraic number field and $\alpha\in K\setminus \{0,-1\}$ with sufficiently small absolute value. In this article, we provide a new lower bound for linear form in…

Using the approach of N. Etemadi for the Strong Law of Large Numbers (SLLN) from 1981 and the elaboration of this approach by S. Cs\"org\H{o}, K. Tandori and V. Totik from 1983, I give weak conditions under which the SLLN still holds for…

For non-decreasing real functions $f$ and $g$, we consider the functional $ T(f,g ; I,J)=\int_{I} f(x)\di g(x) + \int_J g(x)\di f(x)$, where $I$ and $J$ are intervals with $J\subseteq I$. In particular case with $I=[a,t]$, $J=[a,s]$, $s\leq…

In this paper we investigate how a typical, large-dimensional representation looks for a complex Lie algebra. In particular, we study the family $\mathfrak{sl}_{r+1}(\mathbb{C})$ of Lie algebras for $r \geq 2$ and derive asymptotic…

This paper investigates the dimension theory of some families of continuous piecewise linear iterated function systems. For one family, we show that the Hausdorff dimension of the attractor is equal to the exponential growth rate obtained…

Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…

We study the Unadjusted Langevin Algorithm (ULA) for sampling from a probability distribution $\nu = e^{-f}$ on $\mathbb{R}^n$. We prove a convergence guarantee in Kullback-Leibler (KL) divergence assuming $\nu$ satisfies a log-Sobolev…