Comparison and oscillatory behavior for certain second order nonlinear dynamic equations

We present some new necessary and sufficient conditions for the oscillation of second order nonlinear dynamic equation $$\bigl(a\bigl(x^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }(t)+q(t)x^{\beta }(t)=0$$ on an arbitrary time scale $\mathbb{T}$ , where α and β are ratios of positive odd integers, a and q are positive rd-continuous functions on $\mathbb{T}$ . Comparison results with the inequality $$\bigl(a\bigl(x^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }(t)+q(t)x^{\beta }(t)\leqslant 0\quad (\geqslant 0)$$ are established and application to neutral equations of the form $$\bigl(a(t)\bigl(\bigl[x(t)+p(t)x[\tau (t)]\bigr]^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }+q(t)x^{\beta }\bigl[g(t)\bigr]=0$$ are investigated.     

A sharp equivalence between H ∞ functional calculus and square function estimates

Let (T _t ) _{t?≥ 0} be a bounded analytic semigroup on L ^p (Ω), with 1?<?p?<?∞. Let ?A denote its infinitesimal generator. It is known that if A and A ^* both satisfy square function estimates ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{\frac{1}{2}} T_t(x)\vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^p} \lesssim \|x\|_{L^p}}$ and ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{*\frac{1}{2}} T_t^*(y) \vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^{p^\prime}} \lesssim \|y\|_{L^{p^\prime}}}$ for ${x\in L^p(\Omega)}$ and ${y\in L^{p^\prime}(\Omega)}$ , then A admits a bounded ${H^{\infty}(\Sigma_\theta)}$ functional calculus for any ${\theta>\frac{\pi}{2}}$ . We show that this actually holds true for some ${\theta<\frac{\pi}{2}}$ .     

Oscillation theorems for second order nonlinear dynamic equations

Some new criteria for the oscillation of nonlinear dynamic equations of the form $$\bigl(a(t)(x^{\Delta}(t))^{\alpha}\bigr)^{\Delta}+f(t,x^{\sigma}(t))=0$$ on a time scale $\mathbb{T}$ are established.     

Oscillation of even order advanced type dynamic equations with mixed nonlinearities on time scales

This paper is concerned with the oscillatory properties of even order advanced type dynamic equation with mixed nonlinearities of the form $$\bigl[r(t)\varPhi_\alpha\bigl(x^{\Delta^{n-1}}(t) \bigr) \bigr]^\Delta+ p(t)\varPhi_\alpha\bigl(x\bigl(\delta(t)\bigr) \bigr) +\sum_{i=1}^kp_i(t) \varPhi_{\alpha_i} \bigl(x\bigl(\delta(t)\bigr) \bigr)=0 $$ on an arbitrary time scale $\mathbb{T}$ , where Φ _?(u)=|u|^??1 u. We present some new oscillation criteria for the equation by introducing parameter functions, establishing a new lemma, using a Hardy-Littlewood-Pólya inequality and an arithmetic-geometric mean inequality and developing a generalized Riccati technique. Our results extend and supplement some known results in the literature. Several examples are given to illustrate our main results.     

Differentiable vectors and unitary representations of Fréchet–Lie supergroups

A locally convex Lie group G has the Trotter property if, for every $x_1, x_2 \in \mathfrak{g }$ , $$\begin{aligned} \exp _G(t(x_1 + x_2))=\lim _{n \rightarrow \infty } \left(\exp _G\left(\frac{t}{n}x_1\right)\exp _G\left(\frac{t}{n}x_2\right)\right)^n \end{aligned}$$ holds uniformly on compact subsets of $\mathbb{R }$ . All locally exponential Lie groups have this property, but also groups of automorphisms of principal bundles over compact smooth manifolds. A key result of the present article is that, if G has the Trotter property, $\pi : G \rightarrow {\mathrm{GL}}(V)$ is a continuous representation of G on a locally convex space, and $v \in V$ is a vector such that $\overline{\mathtt{d}\pi }(x)v :=\frac{d}{dt}|_{t=0} \pi (\exp _G(tx))v$ exists for every $x \in \mathfrak{g }$ , then the map $\mathfrak{g }\rightarrow V,x \mapsto \overline{\mathtt{d}\pi }(x)v$ is linear. Using this result we conclude that, for a representation of a locally exponential Fréchet–Lie group G on a metrizable locally convex space, the space of $\mathcal{C }^{k}$ -vectors coincides with the common domain of the k-fold products of the operators $\overline{\mathtt{d}\pi }(x)$ . For unitary representations on Hilbert spaces, the assumption of local exponentiality can be weakened to the Trotter property. As an application, we show that for smooth (resp., analytic) unitary representations of Fréchet–Lie supergroups $(G,\mathfrak{g })$ where G has the Trotter property, the common domain of the operators of $\mathfrak{g }=\mathfrak{g }_{\overline{0}}\oplus \mathfrak{g }_{\overline{1}}$ can always be extended to the space of smooth (resp., analytic) vectors for G.     

An Integral Test on Time-Dependent Local Extinction for Super-coalescing Brownian Motion with Lebesgue Initial Measure

This paper concerns the almost sure time-dependent local extinction behavior for super-coalescing Brownian motion X with (1+β)-stable branching and Lebesgue initial measure on ?. We first give a representation of X using excursions of a continuous-state branching process and Arratia’s coalescing Brownian flow. For any nonnegative, nondecreasing, and right-continuous function g, let $$\tau:=\sup\bigl\{t\geq0: X_t\bigl(\bigl[-g(t),g(t)\bigr]\bigr )>0 \bigr \}.$$ We prove that ?{τ=∞}=0 or 1 according as the integral $\int_{1}^{\infty}\! g(t)t^{-1-1/\beta} dt$ is finite or infinite.     

On the oscillation of third order nonlinear difference equations

Some new criteria for the oscillation of third order nonlinear difference equations $$\begin{array}{l}\Delta^{2}\bigl(\frac{1}{a(k)}(\Delta x(k))^{\alpha}\bigr)+q(k)f(x[g(k)])=0\quad\mbox{and}\\[6pt]\Delta^{2}\bigl(\frac{1}{a(k)}(\Delta x(k))^{\alpha}\bigr)=q(k)f(x[g(k)])+p(k)h(x[\sigma(k)])\end{array}$$ are established.     

Stability in nonlinear neutral integro-differential equations with variable delay using fixed point theory

The nonlinear neutral integro-differential equation $$\frac{d}{dt}x ( t ) =-\int_{t-\tau ( t ) }^{t}a ( t,s ) g \bigl( x ( s ) \bigr) ds+\frac{d}{dt}G \bigl( t,x \bigl( t-\tau ( t ) \bigr) \bigr) , $$ with variable delay τ(t)≥0 is investigated. We find suitable conditions for τ, a, g and G so that for a given continuous initial function ψ a mapping P for the above equation can be defined on a carefully chosen complete metric space $S_{\psi }^{0}$ in which P possesses a unique fixed point. The final result is an asymptotic stability theorem for the zero solution with a necessary and sufficient condition. The obtained theorem improves and generalizes previous results due to Burton (Proc. Am. Math. Soc. 132:3679–3687, 2004), Becker and Burton (Proc. R. Soc. Edinb., A 136:245–275, 2006) and Jin and Luo (Comput. Math. Appl. 57:1080–1088, 2009).     

Global Attractor for a Generalized Discrete Nonlinear Schrödinger Equation

A generalized discrete nonlinear Schrödinger equation $$i\dot{u}_n(t)+\sum_{m=-\infty}^{+\infty} J(n-m)u_m(t)+g\bigl(u_n(t)\bigr)+i\gamma u_n(t)=f_n,\quad n\in\mathbb{Z}, $$ with long-range interactions in weighted spaces \(\ell_{\mathbf{{q}}}^{2}\) is considered. Under suitable assumptions on the coupling constants J(m), the damping γ and the weight \(\mathbf{{q}}=(q_{n})_{n\in \mathbb{Z}}\) , the existence of a global attractor is proved.     

A Construction of Generalized Harish-Chandra Modules for Locally Reductive Lie Algebras

We study cohomological induction for a pair $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ , $ \mathfrak{g} $ being an infinitedimensional locally reductive Lie algebra and $ \mathfrak{k} \subset \mathfrak{g} $ being of the form $ \mathfrak{k}_{0} \subset C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ , where $ \mathfrak{k}_{0} \subset \mathfrak{g} $ is a finite-dimensional reductive in $ \mathfrak{g} $ subalgebra and $ C_{\mathfrak{g}} {\left( {\mathfrak{k}_{0} } \right)} $ is the centralizer of $ \mathfrak{k}_{0} $ in $ \mathfrak{g} $ . We prove a general nonvanishing and $ \mathfrak{k} $ -finiteness theorem for the output. This yields, in particular, simple $ {\left( {\mathfrak{g},\mathfrak{k}} \right)} $ -modules of finite type over k which are analogs of the fundamental series of generalized Harish-Chandra modules constructed in [PZ1] and [PZ2]. We study explicit versions of the construction when $ \mathfrak{g} $ is a root-reductive or diagonal locally simple Lie algebra.     

Central Limit Theorems for Super Ornstein-Uhlenbeck Processes

Suppose that X={X _t :t≥0} is a supercritical super Ornstein-Uhlenbeck process, that is, a superprocess with an Ornstein-Uhlenbeck process on $\mathbb{R}^{d}$ corresponding to $L=\frac{1}{2}\sigma^{2}\Delta-b x\cdot\nabla$ as its underlying spatial motion and with branching mechanism ψ(λ)=?αλ+βλ ²+∫_(0,+∞)(e ^?λx ?1+λx)n(dx), where α=?ψ′(0+)>0, β≥0, and n is a measure on (0,∞) such that ∫_(0,+∞) x ² n(dx)<+∞. Let $\mathbb{P} _{\mu}$ be the law of X with initial measure μ. Then the process W _t =e ^?αt ∥X _t ∥ is a positive $\mathbb{P} _{\mu}$ -martingale. Therefore there is W _∞ such that W _t →W _∞, $\mathbb{P} _{\mu}$ -a.s. as t→∞. In this paper we establish some spatial central limit theorems for X. Let $\mathcal{P}$ denote the function class $$ \mathcal{P}:=\bigl\{f\in C\bigl(\mathbb{R}^d\bigr): \mbox{there exists } k\in\mathbb{N} \mbox{ such that }|f(x)|/\|x\|^k\to 0 \mbox{ as }\|x\|\to\infty \bigr\}. $$ For each $f\in\mathcal{P}$ we define an integer γ(f) in term of the spectral decomposition of f. In the small branching rate case α<2γ(f)b, we prove that there is constant $\sigma_{f}^{2}\in (0,\infty)$ such that, conditioned on no-extinction, $$\begin{aligned} \biggl(e^{-\alpha t}\|X_t\|, ~\frac{\langle f , X_t\rangle}{\sqrt{\|X_t\|}} \biggr) \stackrel{d}{\rightarrow}\bigl(W^*,~G_1(f)\bigr), \quad t\to\infty, \end{aligned}$$ where W ^? has the same distribution as W _∞ conditioned on no-extinction and $G_{1}(f)\sim \mathcal{N}(0,\sigma_{f}^{2})$ . Moreover, W ^? and G ₁(f) are independent. In the critical rate case α=2γ(f)b, we prove that there is constant $\rho_{f}^{2}\in (0,\infty)$ such that, conditioned on no-extinction, $$\begin{aligned} \biggl(e^{-\alpha t}\|X_t\|, ~\frac{\langle f , X_t\rangle}{t^{1/2}\sqrt{\|X_t\|}} \biggr) \stackrel{d}{\rightarrow}\bigl(W^*,~G_2(f)\bigr), \quad t\to\infty, \end{aligned}$$ where W ^? has the same distribution as W _∞ conditioned on no-extinction and $G_{2}(f)\sim \mathcal{N}(0, \rho_{f}^{2})$ . Moreover W ^? and G ₂(f) are independent. We also establish two central limit theorems in the large branching rate case α>2γ(f)b. Our central limit theorems in the small and critical branching rate cases sharpen the corresponding results in the recent preprint of Mi?o? in that our limit normal random variables are non-degenerate. Our central limit theorems in the large branching rate case have no counterparts in the recent preprint of Mi?o?. The main ideas for proving the central limit theorems are inspired by the arguments in K. Athreya’s 3 papers on central limit theorems for continuous time multi-type branching processes published in the late 1960’s and early 1970’s.     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

Mean Square Estimates for Coefficients of Symmetric Power <Emphasis Type="Italic">L</Emphasis>-Functions

Let L(sym ^j f,s) be the jth symmetric power L-function attached to a holomorphic Hecke eigencuspform f(z) for the full modular group, and \(\lambda_{\mathrm{sym}^{j}f}(n)\) denote its nth coefficient. In this paper we are able to prove that

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{3}f}(n)\bigg|^{2}dy=O\bigl(x^{2}\bigr),$

and

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{4}f}(n)\bigg|^{2}dy=O\bigl(x^{\frac{11}{5}}\log x\bigr).$

     

An Almost-Markov-Type Mixing Condition and Large Deviations for Boolean Models on the Line

We consider a not necessarily stationary one-dimensional Boolean model Ξ=∪ _i≥1(Ξ _i +X _i ) defined by a Poisson process $\Psi=\sum_{i\ge 1}\delta_{X_{i}}$ with bounded intensity function λ(t)≤λ ₀ and a sequence of independent copies Ξ ₁,Ξ ₂,… of a random compact subset Ξ ₀ of the real line ?¹ whose diameter ‖Ξ ₀‖ possesses a finite exponential moment $\mathsf{E}\exp\{a\|\Xi_{0}\|\}$ . We first study the higher-order covariance functions $\mathop{\mathsf{E}}\limits^{\frown}\xi(t_{1})\xi(t_{2})\cdots \xi(t_{k})$ of the {0,1}-valued stochastic process $\xi(t)=\mathbf{1}_{\Xi^{c}(t)},\ t\in \mathbb{R}^{1}$ , and derive exponential estimates of them as well as of the mixed cumulants Cum _k (ξ(t ₁),ξ(t ₂),…,ξ(t _k )). From this, we derive Cramér-type large deviations relations and a Berry–Esseen bound for the distribution of empirical total length meas(Ξ∩[0,T]) of Ξ within [0,T] as T grows large. Second, we prove that the family of events {ξ(t)=1}={t ? Ξ}, t∈?¹, satisfies an almost-Markov-type mixing condition with an exponentially decaying mixing rate. In case of a stationary Boolean model, i.e. λ(t)≡λ ₀, these properties enable us to show the existence and analyticity of the thermodynamic limit $$L(z)=\lim_{T\to \infty}\frac{1}{T}\log \mathsf{E}\exp\bigl\{z\mathop{\mathrm{meas}}\bigl(\Xi\cap [0,T]\bigr)\bigr\}\quad \hbox{for}\ |z|<\varepsilon(a,\lambda_{0}).$$      

Complete weight enumerators of a class of linear codes

Let \(\mathbb {F}_{q}\) be the finite field with \(q=p^{m}\) elements, where p is an odd prime and m is a positive integer. For a positive integer t, let \(D\subset \mathbb {F}^{t}_{q}\) and let \({\mathrm {Tr}}_{m}\) be the trace function from \(\mathbb {F}_{q}\) onto \(\mathbb {F}_{p}\). In this paper, let \(D=\{(x_{1},x_{2},\ldots ,x_{t}) \in \mathbb {F}_{q}^{t}\setminus \{(0,0,\ldots ,0)\} : {\mathrm {Tr}}_{m}(x_{1}+x_{2}+\cdots +x_{t})=0\},\) we define a p-ary linear code \(\mathcal {C}_{D}\) by

$$\begin{aligned} \mathcal {C}_{D}=\{\mathbf {c}(a_{1},a_{2},\ldots ,a_{t}) : (a_{1},a_{2},\ldots ,a_{t})\in \mathbb {F}^{t}_{q}\}, \end{aligned}$$

where

$$\begin{aligned} \mathbf {c}(a_{1},a_{2},\ldots ,a_{t})=({\mathrm {Tr}}_{m}(a_{1}x^{2}_{1}+a_{2}x^{2}_{2}+\cdots +a_{t}x^{2}_{t}))_{(x_{1},x_{2},\ldots ,x_{t}) \in D}. \end{aligned}$$

We shall present the complete weight enumerators of the linear codes \(\mathcal {C}_{D}\) and give several classes of linear codes with a few weights. This paper generalizes the results of Yang and Yao (Des Codes Cryptogr, 2016).

     

Necessary and Sufficient Conditions for Associated Differential Operators in Quaternionic Analysis and Applications to Initial Value Problems

This paper deals with the initial value problem of type $$\begin{array}{ll} \qquad \frac{\partial u}{\partial t} = \mathcal{L} u := \sum \limits^3_{i=0} A^{(i)} (t, x) \frac{\partial u}{\partial x_{i}} + B(t, x)u + C(t, x)\\ u (0, x) = u_{0}(x)\end{array}$$ in the space of generalized regular functions in the sense of Quaternionic Analysis satisfying the differential equation $$\mathcal{D}_{\lambda}u := \mathcal{D} u + \lambda u = 0,$$ where ${t \in [0, T]}$ is the time variable, x runs in a bounded and simply connected domain in ${\mathbb{R}^{4}, \lambda}$ is a real number, and ${\mathcal{D}}$ is the Cauchy-Fueter operator. We prove necessary and sufficient conditions on the coefficients of the operator ${\mathcal{L}}$ under which ${\mathcal{L}}$ is associated with the operator ${\mathcal{D}_{\lambda}}$ , i.e. ${\mathcal{L}}$ transforms the set of all solutions of the differential equation ${\mathcal{D}_{\lambda}u = 0}$ into solutions of the same equation for fixedly chosen t. This criterion makes it possible to construct operators ${\mathcal{L}}$ for which the initial value problem is uniquely soluble for an arbitrary initial generalized regular function u ₀ by the method of associated spaces constructed by W. Tutschke (Teubner Leipzig and Springer Verlag, 1989) and the solution is also generalized regular for each t.     

Eta Cocycles, Relative Pairings and the Godbillon–Vey Index Theorem

We prove a Godbillon?CVey index formula for longitudinal Dirac operators on a foliated bundle with boundary ${(X,\mathcal{F})}$ ; in particular, we define a Godbillon?CVey eta invariant on ${(\partial X,\mathcal{F}_{\partial}),}$ that is, a secondary invariant for longitudinal Dirac operators on type III foliations. Moreover, employing the Godbillon?CVey index as a pivotal example, we explain a new approach to higher index theory on geometric structures with boundary. This is heavily based on the interplay between the absolute and relative pairings of K-theory and cyclic cohomology for an exact sequence of Banach algebras, which in the present context takes the form ${0 \to \mathbf{\mathfrak{J}} \to \mathbf{\mathfrak{A}} \to \mathbf{\mathfrak{B}} \to 0}$ with ${ \mathbf{\mathfrak{J}}}$ dense and holomorphically closed in ${C^* (X,\mathcal{F})}$ and ${ \mathbf{\mathfrak{B}}}$ depending only on boundary data. Of particular importance is the definition of a relative cyclic cocycle ${(\tau_{GV}^r,\sigma_{GV})}$ for the pair ${\mathbf{\mathfrak{A}} \to \mathbf{\mathfrak{B}}}$ ; ${\tau_{GV}^r}$ is a cyclic cochain on ${\mathbf{\mathfrak{A}}}$ defined through a regularization à la Melrose of the usual Godbillon?CVey cyclic cocycle ?? _GV ; ?? _GV is a cyclic cocycle on ${\mathbf{\mathfrak{B}}}$ , obtained through a suspension procedure involving ?? _GV and a specific 1-cyclic cocycle (Roe??s 1-cocycle). We call ?? _GV the eta cocycle associated to ?? _GV . The Atiyah?CPatodi?CSinger formula is obtained by defining a relative index class ${{\rm Ind} (D,D^\partial) \in K_* (\mathbf{\mathfrak{A}}, \mathbf{\mathfrak{B}})}$ and establishing the equality ${\langle {\rm Ind} (D), [\tau_{GV}] \rangle\,=\,\langle {\rm Ind} (D,D^\partial), [(\tau^r_{GV}, \sigma_{GV})] \rangle}$ . The Godbillon?CVey eta invariant ?? _GV is obtained through the eta cocycle ?? _GV .     

A commutant realization of Odake’s algebra

The bcβγ-system $ \mathcal{W} $ of rank 3 has an action of the affine vertex algebra $ {V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ , and the commutant vertex algebra $ \mathcal{C}=\mathrm{Com}\left( {{V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right),\mathcal{W}} \right) $ contains copies of V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and Odake’s algebra $ \mathcal{O} $ . Odake’s algebra is an extension of the N = 2 super-conformal algebra with c = 9, and is generated by eight fields which close nonlinearly under operator product expansions. Our main result is that V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and $ \mathcal{O} $ form a Howe pair (i.e., a pair of mutual commutants) inside $ \mathcal{C} $ . More generally, any finite-dimensional representation of a Lie algebra $ \mathfrak{g} $ gives rise to a similar Howe pair, and this example corresponds to the adjoint representation of $ \mathfrak{s}{{\mathfrak{l}}_2} $ .     

Extended Euler congruence

The matricial Euler congruence $\mathop{\mathrm{Tr}}\bigl(A^{p^{n}}\bigr)\equiv\mathop{\mathrm{Tr}}\bigl(A^{p^{n-1}}\bigr)$ modulo p ⁿ , previously announced in  Arnold, Japanese J. Math. 1(1), 1–24, 2006 for A∈M _N (?), is given a proof based on extending it to the ring of Witt vectors of length n.