Some presentations of the real number field

It is proved that every two Σ-presentations of an ordered field \mathbbR \mathbb{R} of reals over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) , whose universes are subsets of \mathbbR \mathbb{R} , are mutually Σ-isomorphic. As a consequence, for a series of functions f:\mathbbR ? \mathbbR f:\mathbb{R} \to \mathbb{R} (e.g., exp, sin, cos, ln), it is stated that the structure \mathbbR \mathbb{R} = 〈R, +, ×, <, 0, 1, f〉 lacks such Σ-presentations over \mathbbH\mathbbF ( \mathbbR ) \mathbb{H}\mathbb{F}\,\left( \mathbb{R} \right) .     

On branch points of three-dimensional mappings with unbounded characteristic of quasiconformality

For open discrete mappings f:D\{ b } ? \mathbbR³ f:D\backslash \left\{ b \right\} \to {\mathbb{R}^3} of a domain D ì \mathbbR³ D \subset {\mathbb{R}^3} satisfying relatively general geometric conditions in D \ {b} and having an essential singularity at a point b ? \mathbbR³ b \in {\mathbb{R}^3} , we prove the following statement: Let a point y ₀ belong to [`(\mathbbR³)] \f( D\{ b } ) \overline {{\mathbb{R}^3}} \backslash f\left( {D\backslash \left\{ b \right\}} \right) and let the inner dilatation K _I (x, f) and outer dilatation K _O (x, f) of the mapping f at the point x satisfy certain conditions. Let B _f denote the set of branch points of the mapping f. Then, for an arbitrary neighborhood V of the point y ₀, the set V ∩ f(B _f ) cannot be contained in a set A such that g(A) = I, where I = { t ? \mathbbR:| t | < 1 } I = \left\{ {t \in \mathbb{R}:\left| t \right| < 1} \right\} and g:U ? \mathbbRⁿ g:U \to {\mathbb{R}^n} is a quasiconformal mapping of a domain U ì \mathbbRⁿ U \subset {\mathbb{R}^n} such that A ⊂ U.     

Affine extractors over prime fields

An affine extractor is a map that is balanced on every affine subspace of large enough dimension. We construct an explicit affine extractor AE from \mathbbFⁿ \mathbb{F}^n to \mathbbF\mathbb{F}, \mathbbF\mathbb{F} a prime field, so that AE(x) is exponentially close to uniform when x is chosen uniformly at random from an arbitrary affine subspace of \mathbbFⁿ \mathbb{F}^n of dimension at least δn, 0<δ≤1 a constant. Previously, Bourgain constructed such affine extractors when the size of \mathbbF\mathbb{F} is two. Our construction is in the spirit of but different than Bourgain’s construction. This allows for simpler analysis and better quantitative results.     

Swan-like results for binomials and trinomials over finite fields of odd characteristic

Swan (Pac. J. Math. 12:1099–1106, 1962) gives conditions under which the trinomial x ⁿ + x ^k + 1 over \mathbbF₂{\mathbb{F}_{2}} is reducible. Vishne (Finite Fields Appl. 3:370–377, 1997) extends this result to trinomials over extensions of \mathbbF₂{\mathbb{F}_{2}}. In this work we determine the parity of the number of irreducible factors of all binomials and some trinomials over the finite field \mathbbF_q{\mathbb{F}_{q}}, where q is a power of an odd prime.     

Heat flows for a nonconvex Signorini type problem in $$ {\mathbb{R}^{N}} $$

We prove the existence of a global heat flow u : Ω ×  \mathbbR⁺ ? \mathbbR^N {\mathbb{R}^{+}} \to {\mathbb{R}^{N}}, N > 1, satisfying a Signorini type boundary condition u(∂Ω ×  \mathbbR⁺ {\mathbb{R}^{+}}) ⊂  \mathbbRⁿ {\mathbb{R}^{n}}), n \geqslant 2 n \geqslant 2 , and \mathbbR^N {\mathbb{R}^{N}}) with boundary ∂ [`(W)] \bar{\Omega } such that φ(∂Ω) ⊂ \mathbbR^N {\mathbb{R}^{N}} is given by a smooth noncompact hypersurface S. Bibliography: 30 titles.     

Towards dimension expanders over finite fields

In this paper we study the problem of explicitly constructing a dimension expander raised by [3]: Let \mathbbFⁿ \mathbb{F}^n be the n dimensional linear space over the field \mathbbF\mathbb{F}. Find a small (ideally constant) set of linear transformations from \mathbbFⁿ \mathbb{F}^n to itself {A _i } _i∈I such that for every linear subspace V ⊂ \mathbbFⁿ \mathbb{F}^n of dimension dim(V)<n/2 we have

On random surface area

Consider a random smooth Gaussian field G(x): F ? \mathbbR F \to \mathbb{R} , where F is a compact set in \mathbbR^d {\mathbb{R}^d} . We derive a formula for the average area of a surface determined by the equation G(x) = 0 and give some applications. As an auxiliary result, we obtain an integral expression for the area of a surface determined by zeros of a nonrandom smooth field. Bibliography: 13 titles.     

Dilation of Newton Polytope and <Emphasis Type="Italic">p</Emphasis>-adic Estimate

Let f(X) be a polynomial in n variables over the finite field  \mathbbF_q\mathbb{F}_{q}. Its Newton polytope Δ(f) is the convex closure in ℝ ⁿ of the origin and the exponent vectors (viewed as points in ℝ ⁿ ) of monomials in f(X). The minimal dilation of Δ(f) such that it contains at least one lattice point of $\mathbb{Z}_{>0}^{n}$\mathbb{Z}_{>0}^{n} plays a vital pole in the p-adic estimate of the number of zeros of f(X) in  \mathbbF_q\mathbb{F}_{q}. Using this fact, we obtain several tight and computational bounds for the dilation which unify and improve a number of previous results in this direction.     

On modules over integer-valued group rings of locally soluble groups with rank restrictions imposed on subgroups

We study a \mathbbZG \mathbb{Z}G -module A such that \mathbbZ \mathbb{Z} is the ring of integer numbers, the group G has an infinite sectional p-rank (or an infinite 0-rank), C _G (A) = 1, A is not a minimax \mathbbZ \mathbb{Z} -module, and, for any proper subgroup H of infinite sectional p-rank (or infinite 0-rank, respectively), the quotient module A/C _A (H) is a minimax \mathbbZ \mathbb{Z} -module. It is shown that if the group G is locally soluble, then it is soluble. Some properties of soluble groups of this kind are discussed.     

Uniform rates of approximation by short asymptotic expansions in the CLT for quadratic forms

Let X, X ₁, X ₂,… be i.i.d. \mathbbR^d {\mathbb{R}^d} -valued real random vectors. Assume that E X = 0 and that X has a nondegenerate distribution. Let G be a mean zero Gaussian random vector with the same covariance operator as that of X. We study the distributions of nondegenerate quadratic forms \mathbbQ[ S_N ] \mathbb{Q}\left[ {{S_N}} \right] of the normalized sums S _N  = N ^−1/2 (X ₁ + ⋯ + X _N ) and show that, without any additional conditions,

The Edge Correlation of Random Forests

The conjecture was made by Kahn that a spanning forest F chosen uniformly at random from all forests of any finite graph G has the edge-negative association property. If true, the conjecture would mean that given any two edges ε₁ and ε₂ in G, the inequality \mathbbP(e₁ ? F, e₂ ? F) ￡ \mathbbP(e₁ ? F)\mathbbP(e₂ ? F){{\mathbb{P}(\varepsilon_{1} \in \mathbf{F}, \varepsilon_{2} \in \mathbf{F}) \leq \mathbb{P}(\varepsilon_{1} \in \mathbf{F})\mathbb{P}(\varepsilon_{2} \in \mathbf{F})}} would hold. We use enumerative methods to show that this conjecture is true for n large enough when G is a complete graph on n vertices. We derive explicit related results for random trees.     

On the Representation of Compact Nilpotent Rings by Triangular Matrices

We prove that every compact nilpotent ring R of characteristic p > 0 can be embedded in a ring of upper triangular matrices over a compact commutative ring. Furthermore, we prove that every compact topologically nilpotent ring R of characteristic p > 0, is embedded in a ring of infinite triangular matrices over \mathbbF_p^w(R)\mathbb{F}_{p}^{w(R)}.     

Numerical integration with polynomial exactness over a spherical cap

This paper presents rules for numerical integration over spherical caps and discusses their properties. For a spherical cap on the unit sphere \mathbbS²\mathbb{S}^2, we discuss tensor product rules with n ²/2 + O(n) nodes in the cap, positive weights, which are exact for all spherical polynomials of degree ≤ n, and can be easily and inexpensively implemented. Numerical tests illustrate the performance of these rules. A similar derivation establishes the existence of equal weight rules with degree of polynomial exactness n and O(n ³) nodes for numerical integration over spherical caps on \mathbbS²\mathbb{S}^2. For arbitrary d ≥ 2, this strategy is extended to provide rules for numerical integration over spherical caps on \mathbbS^d\mathbb{S}^d that have O(n ^d ) nodes in the cap, positive weights, and are exact for all spherical polynomials of degree ≤ n. We also show that positive weight rules for numerical integration over spherical caps on \mathbbS^d\mathbb{S}^d that are exact for all spherical polynomials of degree ≤ n have at least O(n ^d ) nodes and possess a certain regularity property.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

On the sets of branch points of mappings more general than quasiregular

It is shown that if a point x ₀ ∊ ℝ ⁿ , n ≥ 3, is an essential isolated singularity of an open discrete Q-mapping f : D → [`(\mathbb R<sup>n</sup>)] \overline {\mathbb {R}^n} , B <sub>f</sub> is the set of branch points of f in D; and a point z <sub>0</sub> ∊ [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} is an asymptotic limit of f at the point x ₀; then, for any neighborhood U containing the point x ₀; the point z ₀ ∊ [`(f( B<sub>f</sub> ?U ))] \overline {f\left( {B_f \cap U} \right)} provided that the function Q has either a finite mean oscillation at the point x <sub>0</sub> or a logarithmic singularity whose order does not exceed n − 1: Moreover, for n ≥ 2; under the indicated conditions imposed on the function Q; every point of the set [`(\mathbb Rⁿ)] \overline {\mathbb {R}^n} \ f(D) is an asymptotic limit of f at the point x ₀. For n ≥ 3, the following relation is true: [`(\mathbbR<sup>n</sup> )] \f( D ) ì [`(f B_f )] \overline {\mathbb{R}^n } \backslash f\left( D \right) \subset \overline {f\,B_f } . In addition, if ￥ ? f( D ) \infty \notin f\left( D \right) , then the set f B _f is infinite and x₀ ? [`(B_f )] x_0 \in \overline {B_f } .     

Simultaneous inhomogeneous diophantine approximation on manifolds

In 1998, Kleinbock and Margulis proved Sprindzuk’s conjecture pertaining to metrical Diophantine approximation (and indeed the stronger Baker–Sprindzuk conjecture). In essence, the conjecture stated that the simultaneous homogeneous Diophantine exponent w ₀(x) = 1/n for almost every point x on a nondegenerate submanifold M \mathcal{M} of \mathbbRⁿ {\mathbb{R}^n} . In this paper, the simultaneous inhomogeneous analogue of Sprindzuk’s conjecture is established. More precisely, for any “inhomogeneous” vector θ ∈ \mathbbRⁿ {\mathbb{R}^n} we prove that the simultaneous inhomogeneous Diophantine exponent w ₀(x , θ) is 1/n for almost every point x on M \mathcal{M} . The key result is an inhomogeneous transference principle which enables us to deduce that the homogeneous exponent w ₀(x) is 1/n for almost all x ∈ M \mathcal{M} if and only if, for any θ ∈ \mathbbRⁿ {\mathbb{R}^n} , the inhomogeneous exponent w ₀(x , θ) = 1/n for almost all x ∈ M \mathcal{M} . The inhomogeneous transference principle introduced in this paper is an extremely simplified version of that recently discovered by us. Nevertheless, it should be emphasised that the simplified version has the great advantage of bringing to the forefront the main ideas while omitting the abstract and technical notions that come with describing the inhomogeneous transference principle in all its glory.     

From Chaos to Global Convergence

The main purpose of this paper is to investigate dynamical systems F : \mathbbR² ? \mathbbR²{F : \mathbb{R}^2 \rightarrow \mathbb{R}^2} of the form F(x, y) = (f(x, y), x). We assume that f : \mathbbR² ? \mathbbR{f : \mathbb{R}^2 \rightarrow \mathbb{R}} is continuous and satisfies a condition that holds when f is non decreasing with respect to the second variable. We show that for every initial condition x₀ = (x ₀, y ₀), such that the orbit

The affine preservers of non-singular matrices

When \mathbbK{\mathbb{K}} is an arbitrary field, we study the affine automorphisms of M_n(\mathbbK){{\rm M}_n(\mathbb{K})} that stabilize GL_n(\mathbbK){{\rm GL}_n(\mathbb{K})}. Using a theorem of Dieudonné on maximal affine subspaces of singular matrices, this is easily reduced to the known case of linear preservers when n > 2 or # ${\mathbb{K} > 2}${\mathbb{K} > 2}. We include a short new proof of the more general Flanders theorem for affine subspaces of M_p,q(\mathbbK){{\rm M}_{p,q}(\mathbb{K})} with bounded rank. We also find that the group of affine transformations of M₂(\mathbbF₂){{\rm M}_2(\mathbb{F}_2)} that stabilize GL₂(\mathbbF₂){{\rm GL}_2(\mathbb{F}_2)} does not consist solely of linear maps. Using the theory of quadratic forms over \mathbbF₂{\mathbb{F}_2}, we construct explicit isomorphisms between it, the symplectic group Sp₄(\mathbbF₂){{\rm Sp}_4(\mathbb{F}_2)} and the symmetric group \mathfrakS₆{\mathfrak{S}_6}.     

Differential operators and BV structures in noncommutative geometry

We introduce a new formalism of differential operators for a general associative algebra A. It replaces Grothendieck’s notion of differential operators on a commutative algebra in such a way that derivations of the commutative algebra are replaced by \mathbbDer(A){\mathbb{D}{\rm er}(A)}, the bimodule of double derivations. Our differential operators act not on the algebra A itself but rather on F(A){\mathcal{F}(A)}, a certain ‘Fock space’ associated to any noncommutative algebra A in a functorial way. The corresponding algebra D(F(A)){\mathcal{D}(\mathcal{F}(A))} of differential operators is filtered and gr D(F(A)){\mathcal{D}(\mathcal{F}(A))}, the associated graded algebra, is commutative in some ‘wheeled’ sense. The resulting ‘wheeled’ Poisson structure on gr D(F(A)){\mathcal{D}(\mathcal{F}(A))} is closely related to the double Poisson structure on T_A \mathbbDer(A){T_{A} \mathbb{D}{\rm er}(A)} introduced by Van den Bergh. Specifically, we prove that gr D(F(A)) @ F(T_A(\mathbbDer(A)),{\mathcal{D}(\mathcal{F}(A))\cong\mathcal{F}(T_{A}(\mathbb{D}{\rm er}(A)),} provided the algebra A is smooth. Our construction is based on replacing vector spaces by the new symmetric monoidal category of wheelspaces. The Fock space F(A){\mathcal{F}(A)} is a commutative algebra in this category (a “commutative wheelgebra”) which is a structure closely related to the notion of wheeled PROP. Similarly, we have Lie, Poisson, etc., wheelgebras. In this language, D(F(A)){\mathcal{D}(\mathcal{F}(A))} becomes the universal enveloping wheelgebra of a Lie wheelgebroid of double derivations. In the second part of the paper, we show, extending a classical construction of Koszul to the noncommutative setting, that any Ricci-flat, torsion-free bimodule connection on \mathbbDer(A){\mathbb{D}{\rm er}(A)} gives rise to a second-order (wheeled) differential operator, a noncommutative analogue of the Batalin-Vilkovisky (BV) operator, that makes F(T_A(\mathbbDer(A))){\mathcal{F}(T_{A}(\mathbb{D}{\rm er}(A)))} a BV wheelgebra. In the final section, we explain how the wheeled differential operators D(F(A)){\mathcal{D}(\mathcal{F}(A))} produce ordinary differential operators on the varieties of n-dimensional representations of A for all n ≥ 1.     

Classification(s) of Danielewski hypersurfaces

The Danielewski hypersurfaces are the hypersurfaces X _Q,n in \mathbbC³ {\mathbb{C}^3} defined by an equation of the form x ⁿ y = Q(x, z) where n ⩾ 1 and Q(x, z) is a polynomial such that Q(0, z) is of degree at least two. They were studied by many authors during the last twenty years. In the present article, we give their classification as algebraic varieties. We also give their classification up to automorphism of the ambient space. As a corollary, we obtain that every Danielewski hypersurface X _Q,n with n ⩾ 2 admits at least two nonequivalent embeddings into \mathbbC³ {\mathbb{C}^3} .