Related papers: A Generalisation of Niven's Theorem for Trigonomet…

For a set of primes $\pi$, denote by $E_\pi$ the class of finite groups containing a Hall $\pi$-subgroup. We establish that $E_{\pi_1}\cap E_{\pi_2}$ is contained in $E_{\pi_1\cap\pi_2}$. As a corollary, we prove that if $\pi$ is a set of…

We reduce the $K(\pi,1)$-conjecture for all Artin groups with tree Coxeter diagrams to properties of Artin groups with tripod-shaped Coxeter diagrams. Combining this reduction theorem and properties of braid groups in previous works of…

For a generic degree d smooth map f: N^n -> M^n we introduce its "transverse fundamental group" \pi(f), which reduces to \pi_1(M) in the case where f is a covering, and in general admits a monodromy homomorphism \pi(f) -> S_{|d|};…

This paper provides a mean value theorem for arithmetic functions $f$ defined by $$f(n)=\prod_{d|n}g(d),$$ where $g$ is an arithmetic function taking values in $(0, 1]$ and satisfying some generic conditions. As an application of our main…

The Hopf theorem states that homotopy classes of continuous maps from a closed connected oriented smooth $n$-manifold $M$ to the $n$-sphere are classified by their degree. Such a map is equivalent to a section of the trivial $n$-sphere…

Generalizing the slicing inequality for functions on convex bodies from [11], it was proved in [4] that there exists an absolute constant $c$ so that for any $n\in \mathbb N$, any $q\in [0,n-1)$ which is not an odd integer, any…

Let $\mathcal{R}$ be an $\mathrm{NIP}$ expansion of $(\mathbb{R},<,+)$ by closed subsets of $\mathbb{R}^n$ and continuous functions $f : \mathbb{R}^m \to \mathbb{R}^n$. Then $\mathcal{R}$ is generically locally o-minimal. It follows that if…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

It is well known that sin(a\pi/b), cos(a\pi/b), etc., are only rational numbers for a few select integers a and b. We show that this is equivalent to the fact that only for d = 1,2,3,4, and 6 is the primitive dth root of unity of degree 2…

Using partition generating function techniques, we prove $q$-series analogues of a formula of Frobenius generalizing Abel's convergence theorem for complex power series. Frobenius' result states that for $|q|<1$, $\lim_{q\to…

In this article, we study the log-scheme theoretic version of the Nori fundamental group scheme. Similar to the classical Nori fundamental group scheme, the log Nori fundamental group scheme classifies torsors on log flat topology. We also…

This paper establishes an abstract Korovkin-type approximation theorem in general spaces, extending the framework of approximation theory to accommodate broader contexts. A critical result supporting this theorem is the proof that any…

In this paper we use a theorem first proved by S.W.Golomb and a famous inequality by J.B. Rosser and L.Schoenfeld in order to prove that there exists an exact formula for $\pi(n)$ which holds infinitely often.

Let $\pi$ be a finite dimensional unitary representation of a group $G$ with a generating symmetric $n$-element set $S\subset G$. Fix $\vp>0$. Assume that the spectrum of $|S|^{-1}\sum_{s\in S} \pi(s) \otimes \overline{\pi(s)}$ is included…

As we known, the {\it Seifert-Van Kampen theorem} handles fundamental groups of those topological spaces $X=U\cup V$ for open subsets $U, V\subset X$ such that $U\cap V$ is arcwise connected. In this paper, this theorem is generalized to…

For a valuation ring $V$, a smooth $V$-algebra $A$, and a reductive $V$-group scheme $G$ satisfying a certain natural isotropicity condition, we prove that every Nisnevich $G$-torsor on $\mathbb{A}^N_A$ descends to a $G$-torsor on $A$. As a…

We prove that any type in an NIP theory can be decomposed into a stable part (a generically stable partial type) and a distal-like quotient.

It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…

In this paper, we present a fixed point method for high-precision computation of number $\pi$ based on the sine function. Let $P\in \mathbb{N}$. We define the function: \[ S\left(x\right) =x+\sum_{k=1}^{P}\left(\prod_{\ell=1}^{k-1}\frac…

We prove a prime number theorem first for the classical Rankin-Selberg L-function $L(s,\pi\times\pi')$ over any Galois extension with $\pi$ and $\pi'$ unitary automorphic cuspidal representations of $GL_n$ and $GL_m$ respectively with at…