Equivalence and self-improvement of p-fatness and Hardy’s inequality, and association with uniform perfectness

We present an easy proof that p-Hardy’s inequality implies uniform p-fatness of the boundary when p = n. The proof works also in metric space setting and demonstrates the self-improving phenomenon of the p-fatness. We also explore the relationship between p-fatness, p-Hardy inequality, and the uniform perfectness for all p ≥ 1, and demonstrate that in the Ahlfors Q-regular metric measure space setting with p = Q, these three properties are equivalent. When p ≠ 2, our results are new evenin the Euclidean setting.     

On rational Drinfeld associators

We prove an estimate on denominators of rational Drinfeld associators. To obtain this result, we prove the corresponding estimate for the p-adic associators stable under the action of suitable elements of Gal([`(\mathbbQ)]/\mathbbQ){{\rm Gal}(\bar{\mathbb{Q}}/\mathbb{Q})} . As an application, we settle in the positive Duflo’s question on the Kashiwara–Vergne factorizations of the Jacobson element J _p (x, y) = (x + y) ^p − x ^p − y ^p in the free Lie algebra over a field of characteristic p. Another application is a new estimate on denominators of the Kontsevich knot invariant.     

Local–global divisibility by 4 in elliptic curves defined over {\mathbb{Q}}

Let ${\mathcal{E}}Let E{\mathcal{E}} be an elliptic curve defined over \mathbbQ{\mathbb{Q}} . Let P ? E(\mathbb Q){P\in {\mathcal{E}}(\mathbb {Q})} and let q be a positive integer. Assume that for almost all valuations v ? \mathbbQ{v\in \mathbb{Q}} , there exist points D_v ? E(\mathbb Q_v){D_v\in {\mathcal{E}}(\mathbb {Q}_v)} such that P = qD _v . Is it possible to conclude that there exists a point D ? E(\mathbb Q){D\in {\mathcal{E}}(\mathbb {Q})} such that P = qD? A full answer to this question is known when q is a power of almost all primes p ? \mathbbN{p\in \mathbb{N}} , but some cases remain open when p ? S={2,3,5,7,11,13,17,19,37,43,67,163}{p\in S=\{2,3,5,7,11,13,17,19,37,43,67,163\}} . We now give a complete answer in the case when q = 4.     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

Diffuse measures and nonlinear parabolic equations

Given a parabolic cylinder Q = (0, T) × Ω, where W ì \mathbb R^N{\Omega\subset \mathbb {R}^N} is a bounded domain, we prove new properties of solutions of

p-groups without noncharacteristic normal subgroups

Let P be a finite p-group, p a prime. We prove that there is a finite p-group Q ≥ P such that every normal subgroup of Q is characteristic in Q.     

The generalized relations among the code elements for Fibonacci coding theory

We have considered a class of square Fibonacci matrix of order (p + 1) whose elements are based on the Fibonacci p numbers with determinant equal to +1 or −1. There is a relation between Fibonacci numbers with initial terms which is known as cassini formula. Fibonacci series and the golden mean plays a very important role in the construction of a relatively new space–time theory, which is known as E-infinity theory. An original Fibonacci coding/decoding method follows from the Fibonacci matrices. There already exists a relation between the code matrix elements for the case p = 1 [Stakhov AP. Fibonacci matrices, a generalization of the cassini formula and a new coding theory. Chaos, Solitons and Fractals 2006;30:56–66.]. In this paper, we have established generalized relations among the code matrix elements for all values of p. For p = 2, the correct ability of the method is 99.80%. In general, correct ability of the method increases as p increases.     

The Trace of Nuclear Operators on L p (μ) for σ-Finite Borel Measures on Second Countable Spaces

Let Ω be a second countable topological space and μ be a σ−finite measure on the Borel sets M{\mathcal{M}}. Let T be a nuclear operator on L^p(W,M,m){L^p({\Omega},{\mathcal{M}},\mu) }, 1 < p < ∞, in this work we establish a formula for the trace of T. A preliminary trace formula is established applying the general theory of traces on operator ideals introduced by Pietsch and a characterization of nuclear operators for σ−finite measures. We also use the Doob’s maximal theorem for martingales with the purpose of studying the kernel k(x, y) of T on the diagonal.     

On fields definable inQ p

We prove that any field definable in (Q _{p, +}, ·) is definably isomorphic to a finite extension ofQ _p .     

Algebraic modular forms

In this paper, we develop an algebraic theory of modular forms, for connected, reductive groupsG overQ with the property that every arithmetic subgroup Γ ofG(Q) is finite. This theory includes our previous work [15] on semi-simple groupsG withG(R) compact, as well as the theory of algebraic Hecke characters for Serre tori [20]. The theory of algebraic modular forms leads to a workable theory of modular forms (modp), which we hope can be used to parameterize odd modular Galois representations. The theory developed here was inspired by a letter of Serre to Tate in 1987, which has appeared recently [21]. I want to thank Serre for sending me a copy of this letter, and for many helpful discussions on the topic.     

Boundary behavior of ring Q-homeomorphisms on Riemannian manifolds

We study the problems of continuous and homeomorphic extensions to the boundary for so-called ring Q-homeomorphisms between domains on the Riemannian manifolds and establish conditions for the function Q(x) and the boundaries of the domains under which every ring Q-homeomorphism admits a continuous or homeomorphic extension to the boundary. This theory can be applied, in particular, to the Sobolev classes.     

Characterizations of spaces in the unit ball of

Let B denote the unit ball of . For 0<p<∞, the holomorphic function spaces Q_p and Q_p,0 on the unit ball of are defined as

and

In this paper, we give some derivative-free, mixture and oscillation characterizations for Q_p and Q_p,0 spaces in the unit ball of .     

Potential Analysis on Carnot Groups，Part II：Relationship between Hausdorff Measures and Capacities

Abstract In this paper, we establish the relationship between Hausdorff measures and Bessel capacities on any nilpotent stratified Lie group (i. e., Carnot group). In particular, as a special corollary of our much more general results, we have the following theorem (see Theorems A and E in Section 1): Let Q be the homogeneous dimension of . Given any set E ⊂ , B _α,p (E) = 0 implies ℋ ^{Q−αp+ ε}(E) = 0 for all ε > 0. On the other hand, ℋ ^Q−αp (E) < ∞ implies B _α,p (E) = 0. Consequently, given any set E ⊂ of Hausdorff dimension Q − d, where 0 < d < Q, B _α,p (E) = 0 holds if and only if αp ≤ d. A version of O. Frostman’s theorem concerning Hausdorff measures on any homogeneous space is also established using the dyadic decomposition on such a space (see Theorem 4.4 in Section 4). Research supported partly by the U. S. National Science Foundation Grant No. DMS99–70352     

Large solutions to the p-Laplacian for large p

In this work we consider the behaviour for large values of p of the unique positive weak solution u _p to Δ _p u = u ^q in Ω, u = +∞ on , where q > p − 1. We take q = q(p) and analyze the limit of u _p as p → ∞. We find that when q(p)/p → Q the behaviour strongly depends on Q. If 1 < Q < ∞ then solutions converge uniformly in compacts to a viscosity solution of with u = +∞ on . If Q = 1 then solutions go to ∞ in the whole Ω and when Q = ∞ solutions converge to 1 uniformly in compact subsets of Ω, hence the boundary blow-up is lost in the limit.     

Study of Some Fundamental Projective Quadrics Associated with a Standard Pseudo-Hermitian Space H p,q

This self-contained short note deals with the study of the properties of some real projective compact quadrics associated with a a standard pseudo-hermitian space H _p,q , namely [(Q(p, q))\tilde], [(Q_2p+1,1)\tilde], [(Q_1,2q+1)\tilde], [(H_p,q)\tilde].  [(Q(p, q))\tilde]{\widetilde{Q(p, q)}, \widetilde{Q_{2p+1,1}}, \widetilde{Q_{1,2q+1}}, \widetilde{H_{p,q}}. \, \widetilde{Q(p, q)}} is the (2n – 2) real projective quadric diffeomorphic to (S ^2p–1 × S ^2q–1)/Z ₂. inside the real projective space P(E ₁), where E ₁ is the real 2n-dimensional space subordinate to H _p,q . The properties of [(Q(p, q))\tilde]{\widetilde{Q(p, q)}} are investigated. [(H_p,q)\tilde]{\widetilde{H_p,q}} is the real (2n – 3)-dimensional compact manifold-(projective quadric)- associated with H _p,q , inside the complex projective space P(H _p,q ), diffeomorphic to (S ^2p–1 × S ^2q–1)/S ¹. The properties of [(H_p,q)\tilde]{\widetilde{H_{p,q}}} are studied. [(Q_2p+1,1)\tilde]{\widetilde{Q_{2p+1,1}}} is a 2p-dimensional standard real projective quadric, and [(Q_1,2q+1)\tilde]{\widetilde{Q_{1,2q+1}}} is another standard 2q-dimensional projective quadric. [(Q_2p+1,1)\tilde] è[(Q_1,2q+1)\tilde]{\widetilde{Q_{2p+1,1}} \cup \widetilde{Q_{1,2q+1}}}, union of two compact quadrics plays a part in the understanding of the "special pseudo-unitary conformal compactification" of H _p,q . It is shown how a distribution y → D _y , where y ? H\{0},H{y \in H\backslash\{0\},H} being the isotropic cone of H _p,q allows to [(H_p+1,q+1)\tilde]{\widetilde{H_{p+1,q+1}}} to be considered as a "special pseudo-unitary conformal compactified" of H _p,q × R. The following results precise the presentation given in [1,c].     

Complexity of the decidability of the unquantified set theory with a rank operator

The unquantified set theory MLSR containing the symbols ∪, ∖, ≠, ∈,R (R(x) is interpreted as a rank ofx) is considered. It is proved that there exists an algorithm which for any formulaQ of the MLSR theory decides whetherQ is true or not using the spacec|Q|³ (|Q| is the length ofQ).     

Aperture-Angle and Hausdorff-Approximation of Convex Figures

The aperture angle α(x,Q) of a point x ∉ Q in the plane with respect to a convex polygon Q is the angle of the smallest cone with apex x that contains Q. The aperture angle approximation error of a compact convex set C in the plane with respect to an inscribed convex polygon Q⊂C is the minimum aperture angle of any x∈C∖Q with respect to Q. We show that for any compact convex set C in the plane and any k>2, there is an inscribed convex k-gon Q⊂C with aperture angle approximation error . This bound is optimal, and settles a conjecture by Fekete from the early 1990s. The same proof technique can be used to prove a conjecture by Brass: If a polygon P admits no approximation by a sub-k-gon (the convex hull of k vertices of P) with Hausdorff distance σ, but all subpolygons of P (the convex hull of some vertices of P) admit such an approximation, then P is a (k+1)-gon. This implies the following result: For any k>2 and any convex polygon P of perimeter at most 1 there is a sub-k-gon Q of P such that the Hausdorff-distance of P and Q is at most  . This research was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD) (KRF-2006-311-D00763). NICTA is funded through the Australian Government’s Backing Australia’s Ability initiative, in part through the Australian Research Council.     

A condition for arcs and MDS codes

There is polynomial function X _q in the entries of an m × m(q − 1) matrix over a field of prime characteristic p, where q = p ^h is a power of p, that has very similar properties to the determinant of a square matrix. It is invariant under multiplication on the left by a non-singular matrix, and under permutations of the columns. This gives a way to extend the invariant theory of sets of points in projective spaces of prime characteristic, to make visible hidden structure. There are connections with coding theory, permanents, and additive bases of vector spaces.     

Bounded Functions in Möbius Invariant Dirichlet Spaces

Forp∈(0, 1), letQ_p(Q_{p, 0}) be the space of analytic functionsfon the unit diskΔwith sup_w∈Δ ‖f°?_w‖_p<∞ (lim_|w|→1 ‖f°?_w‖_p=0), where ‖·‖_pmeans the weighted Dirichlet norm and?_wis the Möbius map ofΔonto itself with?_w(0)=w. In this paper, we prove the Corona theorem for the algebraQ_p∩H^∞(Q_{p, 0}∩H^∞); then we provide a Fefferman–Stein type decomposition forQ_p(Q_{p, 0}), and finally we describe the interpolating sequences forQ_p∩H^∞(Q_{p, 0}∩H^∞)).