相关论文: A Generalization of Euler's Theorem on Congruencie…

Elementary proofs of Sylvester's, Wolstenholme's, Morley's and Lehmer's congruence theorems

Let $A$ and $C$ be two unital simple C*-algebas with tracial rank zero. Suppose that $C$ is amenable and satisfies the Universal Coefficient Theorem. Denote by ${{KK}}_e(C,A)^{++}$ the set of those $\kappa$ for which…

We consider the space $A(\mathbb T)$ of all continuous functions $f$ on the circle $\mathbb T$ such that the sequence of Fourier coefficients $\hat{f}=\{\hat{f}(k), ~k \in \mathbb Z\}$ belongs to $l^1(\mathbb Z)$. The norm on $A(\mathbb T)$…

We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generalized coherence theorem for linear category is established.…

We extend Lusternik-Schnirelmann theory to pairs $(f, \phi)$, where $\phi$ is a homotopy equivalence of a space $X$, $f$ is a function on $X$ which decreases along $\phi$ and $(f, \phi)$ satisfies a discrete analog of the Palais-Smale…

We generalize the Stirling numbers of the first kind $s(a,k)$ to the case where $a$ may be an arbitrary real number. In particular, we study the case in which $a$ is an integer. There, we discover new combinatorial properties held by the…

A celebrated theorem of Selberg states that for congruence subgroups of SL(2,Z) there are no exceptional eigenvalues below 3/16. We prove a generalization of Selberg's theorem for infinite index "congruence" subgroups of SL(2,Z).…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

We prove the following generalization of the classical Lichnerowicz vanishing theorem: if $F$ is an oriented flat vector bundle over a closed spin manifold $M$ such that $TM$ carries a metric of positive scalar curvature, then $<\widehat…

Let $\phi(\cdot)$ and $\sigma(\cdot)$ denote the Euler function and the sum of divisors function, respectively. In this paper, we give a lower bound for the number of positive integers $m\le x$ for which the equation $m=n-\phi(n)$ has no…

We prove that the Eulerian polynomial satisfies certain polynomial congruences. Furthermore, these congruences characterize the Eulerian polynomial.

To determine Euler numbers modulo powers of two seems to be a difficult task. In this paper we achieve this and apply the explicit congruence to give a new proof of a classical result due to M. A. Stern.

We study and generalize some arithmetical properties of the classes (2^k+) and (2^k-) introduced by V. I. Arnold: a number n belongs to the class (N+) if N|\varphi(n) and 2^{\frac{\varphi(n)}{N}} \equiv 1 mod n where \varphi(n) is the Euler…

Theorem: There is a {\em complete sentence} $\phi$ of $L_{\omega_1,\omega}$ such that $\phi$ has maximal models in a set of cardinals $\lambda$ that is cofinal in the first measurable $\mu$ while $\phi$ has no maximal models in any $\chi…

The incompressible Euler equations on a compact Riemannian manifold $(M,g)$ take the form \begin{align*} \partial_t u + \nabla_u u &= - \mathrm{grad}_g p \\ \mathrm{div}_g u &= 0, \end{align*} where $u: [0,T] \to \Gamma(T M)$ is the…

We introduce a geometric generalization of Hall's marriage theorem. For any family $F = \{X_1, \dots, X_m\}$ of finite sets in $\mathbb{R}^d$, we give conditions under which it is possible to choose a point $x_i\in X_i$ for every $1\leq i…

We discuss $q$-analogues of the classical congruence $\binom{ap}{bp}\equiv\binom{a}{b}\pmod{p^3}$, valid for primes $p>3$, as well as its generalisations. In particular, we prove related congruences for ($q$-analogues of) integral factorial…

Generalisations of the familiar Euler top equations in three dimensions are proposed which admit a sufficiently large number of conservation laws to permit integrability by quadratures. The usual top is a classical analogue of the Nahm…

For functions $f(z)= z+ a_2 z^2 + a_3 z^3 + \cdots$ in various subclasses of normalized analytic functions, we consider the problem of estimating the generalized Zalcman coefficient functional $\phi(f,n,m;\lambda):=|\lambda a_n a_m…

Let $C$ be a unital AH-algebra and let $A$ be a unital separable simple C*-algebra with tracial rank no more than one. Suppose that $\phi, \psi: C\to A$ are two unital monomorphisms. With some restriction on $C,$ we show that $\phi$ and…