On permutations of central quadrics which preserve an inner distance

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume dimV ≥ 4 and ¦ $\mathbb{F}$ ¦ ≥ 4. We consider a permutation ? of the central affine quadric $\mathcal{F}$ := {x εV ¦q(x) = 1} such that $$(*)x \cdot y = \mu \Leftrightarrow x^\varphi \cdot y^\varphi = \mu \forall x,y\varepsilon \mathcal{F}$$ holds true, where μ is a fixed element of $\mathbb{F}$ and where “·” is the scalar product associated withq. We prove that ? is induced (in a certain sense) by a semi-linear bijection (σ,?): (V, $\mathbb{F}$ ) → (V, $\mathbb{F}$ ) such thatq o ?o q, provided $\mathcal{F}$ contains lines and the pair (μ, $\mathbb{F}$ ) has additional properties if there ar no planes in $\mathcal{F}$ . The cases μ,≠ 0 and μ = 0 require different techniques.     

Local linear independence of the translates of a box spline

Let Ξ=(ξ _i ) _l ⁿ be a sequence of vectors inR ^m . The box splineM _Ξ is defined as the distribution given by $$M_\Xi :\varphi \to \int_{[0,1]^n } \varphi \left( {\sum\limits_{i = 1}^n {\lambda (i)\xi _i } } \right)d\lambda ,\varphi \in C_c^\infty (R^m ).$$ . Suppose that Ξ contains a basis forR ^m . ThenM _Ξ∈L _∞(R ^m ). Assume $$\Xi \subset V: = z^m .$$ . Consider the translatesM _v :=M _Ξ(·?v),v∈V. It is known that (M _v ) _V is linearly dependent unless (*) $$|\det Z| = 1forallbasesZ \subset \Xi$$ . This paper demonstrates that under condition (*), (M _v ) _V is locally linearly independent, i.e., $$\{ M_v ;\sup p M_v \cap A \ne \not 0\}$$ is linearly independent over any open setA.     

On 1-isometries of affine quadrics over finite fields

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume $4 \leqslant dim V \leqslant \infty \wedge |\mathbb{F}| \in \mathbb{N}$ . A 1-isometry of the central quadric $\mathcal{F}: = \{ x \in V|q(x) = 1\}$ is a permutation ? of $\mathcal{F}$ such that (*) $$q(x - y) = \nu \Leftrightarrow q(x^\varphi - y^\varphi ) = \nu \forall x,y \in \mathcal{F}$$ holds true for a fixed element ν of $\mathbb{F}$ . For arbitraryν ∈ $\mathbb{F}$ we prove that? is induced (in a certain sense) by a semi-linear bijection $(\sigma ,\varrho ):(V,\mathbb{F}) \to (V,\mathbb{F})$ such thatq oσ =? oq, provided $\mathcal{F}$ contains lines and the exceptional case $(\nu = 2 \Lambda |\mathbb{F}| = 3 \Lambda \dim V = 4 \Lambda |\mathcal{F}| = 24)$ is excluded. In the exceptional case and as well in case of dim V = 3 there are counterexamples. The casesν ≠ 2 and v=2 require different techniques.     

Isotone maps on lattices

Let ${\mathcal{L} = (Li | i \in I)}$ be a family of lattices in a nontrivial lattice variety V, and let ${\varphi_{i} : L_{i} \rightarrow M}$ , for ${i \in I}$ , be isotone maps (not assumed to be lattice homomorphisms) to a common lattice M (not assumed to lie in V). We show that the maps ${\varphi_{i}}$ can be extended to an isotone map ${\varphi : L \rightarrow M}$ , where ${L = {\rm Free}_{V} \mathcal{L}}$ is the free product of the L _i in V. This was known for V = L, the variety of all lattices. The above free product L can be viewed as the free lattice in V on the partial lattice P formed by the disjoint union of the L _i . The analog of the above result does not, however, hold for the free lattice L on an arbitrary partial lattice P. We show that the only codomain lattices M for which that more general statement holds are the complete lattices. On the other hand, we prove the analog of our main result for a class of partial lattices P that are not-quite-disjoint unions of lattices. We also obtain some results similar to our main one, but with the relationship lattices : orders replaced either by semilattices : orders or by lattices : semilattices. Some open questions are noted.     

Über verallgemeinerte Momente additiver Funktionen

In this paper we give characterizations of additive functionsf, for which $$\mathop {\lim \sup }\limits_{x \to \infty } x^{ - 1} \sum\limits_{n \leqslant x} {\varphi (|f(n)|)}$$ is bounded, where φ: ?⁺ → ?⁺ is monotone and or $$\begin{array}{*{20}c} {\varphi (x) = c^x } & {(x \in \mathbb{R}).} \\ \end{array}$$ A typical example is φ (x)=x ^a (a>0) forx≥0.     

Antibasis theorems for {\Pi^0_1} classes and the jump hierarchy

We prove two antibasis theorems for ${\Pi^0_1}$ classes. The first is a jump inversion theorem for ${\Pi^0_1}$ classes with respect to the global structure of the Turing degrees. For any ${P\subseteq 2^\omega}$ , define S(P), the degree spectrum of P, to be the set of all Turing degrees a such that there exists ${A \in P}$ of degree a. For any degree ${{\bf a \geq 0'}}$ , let ${\textrm{Jump}^{-1}({\bf a) = \{b : b' = a \}}}$ . We prove that, for any ${{\bf a \geq 0'}}$ and any ${\Pi^0_1}$ class P, if ${\textrm{Jump}^{-1} ({\bf a}) \subseteq S(P)}$ then P contains a member of every degree. For any degree ${{\bf a \geq 0'}}$ such that a is recursively enumerable (r.e.) in 0', let ${Jump_{\bf \leq 0'} ^{-1}({\bf a)=\{b : b \leq 0' \textrm{and} b' = a \}}}$ . The second theorem concerns the degrees below 0'. We prove that for any ${{\bf a\geq 0'}}$ which is recursively enumerable in 0' and any ${\Pi^0_1}$ class P, if ${\textrm{Jump}_{\bf \leq 0'} ^{-1}({\bf a)} \subseteq S(P)}$ then P contains a member of every degree.     

Mass Transport and Uniform Rectifiability

In this paper we characterize the so called uniformly rectifiable sets of David and Semmes in terms of the Wasserstein distance W ₂ from optimal mass transport. To obtain this result, we first prove a localization theorem for the distance W ₂ which asserts that if??? and ?? are probability measures in ${{\mathbb{R}^n}}$ , ${{\varphi}}$ is a radial bump function smooth enough so that ${{\int \varphi d \mu \gtrsim 1}}$ , and??? has a density bounded from above and from below on supp( ${{\varphi}}$ ), then ${{W_2(\varphi \mu, a\varphi \nu) \leq cW_2(\mu, \nu)}}$ , where ${{a = \int \varphi d\mu/ \int \varphi d\nu}}$ .     

Embeddings into power series rings

Let T be an ordered ring without divisors of zero, and letA be the set of archimedean subgroups of T generated by a Banaschewski functionτ. Let_XΠ_Δ R be the power series ring of the real numbers ? over the totally ordered semigroup Δ of archimedean classes of T, and letχ be the usual Banaschewski function on_XΠ_Δ R. The following are equivalent:

1. τ satisfies the additional condition; for convex subgroups P,Q of T, where
2. There exists a one-to-one homomorphism Γ:T→_XΠ_Δ R of ordered rings such that for every convex subgroup Q of_XΠ_Δ R, there exists a convex subgroup P of T such that \(\Gamma (P) \subseteq Q\) and \(\Gamma (\tau (P)) \subseteq \chi (Q)\) .

     

On Homotopes of Novikov Algebras

Given a unital associative commutative ring Φ containing $\frac{1}{2}$ , we consider a homotope of a Novikov algebra, i.e., an algebra $A_\varphi $ that is obtained from a Novikov algebra A by means of the derived operation $x \cdot y = xy\varphi $ on the Φ-module A, where the mapping ? satisfies the equality $xy\varphi = x(y\varphi )$ . We find conditions for a homotope of a Novikov algebra to be again a Novikov algebra.     

Density of primes in l-th power residues

Given a prime number l, a finite set of integers S?=?{a ₁, ...,a _m } and m many l-th roots of unity $\zeta_l^{r_i}, i=1, \ldots ,m$ we study the distribution of primes p in ?(ζ _l ) such that the l-th residue symbol of a _i with respect to p is $\zeta_l^{r_i}, \mbox{ for all } i$ . We find out that this is related to the degree of the extension $\mathbb{Q}(a_1^{\frac{1}{l}}, \ldots ,a_m^{\frac{1}{l}})/\mathbb{Q}$ . We give an algorithm to compute this degree. Also we relate this degree to rank of a matrix obtained from S?=?{a ₁, ...,a _m }. This latter argument enables one to describe the degree $\mathbb{Q}(a_1^{\frac{1}{l}}, \ldots ,a_m^{\frac{1}{l}})/\mathbb{Q}$ in much simpler terms.     

Absolutely continuous cocycles over irrational rotations

For homeomorphisms $$\left( {z,w} \right)\mathop \to \limits^{T\varphi } \left( {z . e^{2xi\alpha } ,\varphi \left( z \right)w} \right)$$ (z, w ∈S ¹,α is irrational,?:S ¹→S ¹) of the torusS ¹×S ¹ it is proved thatT? has countable Lebesgue spectrum in the orthocomplement of the eigenfunctions whenever? is absolutely continuous with nonzero topological degree and the derivative of? is of bounded variation. Some other cocycles with bounded variation are studied and generalizations of the above result to certain distal homeomorphisms on finite dimensional tori are presented.     

Point Symmetric 2-Structures

We show that every symmetric 2-structure ${(P,\mathfrak G_1,\mathfrak G_2,\mathfrak K)}$ of the class (III) [cf. Karzel H et?al. (Result. Math., submitted)] is point symmetric, i.e. any two orthogonal chains ${A,B \in \mathfrak K}$ intersect in exactly one point and that any two points ${a,b \in P}$ have exactly one midpoint m :?=?a * b (with ${\widetilde m(a) = b}$ where ${\widetilde m}$ is the unique symmetry in the point m). ${ \widetilde{P} := \{\widetilde p \ | \ p \in P \}}$ is invariant, i.e. ${\forall a,b \in P : \widetilde a\circ \widetilde b\circ \widetilde a \in \widetilde P}$ . Therefore the pair ${(P,\widetilde{P})}$ is an invariant regular involution set and the loop derivation in a point ${o \in P}$ gives a K-loop (P,?+) uniquely 2-divisible.     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

Singular Solutions of the Generalized Dhombres Functional Equation

We consider singular solutions of the functional equation ${f(xf(x)) = \varphi (f(x))}$ where ${\varphi}$ is a given and f an unknown continuous map ${\mathbb R_{+} \rightarrow \mathbb R_{+}}$ . A solution f is regular if the sets ${R_f \cap (0, 1]}$ and ${R_f \cap [1, \infty)}$ , where R _f is the range of f, are ${\varphi}$ -invariant; otherwise f is singular. We show that for singular solutions the associated dynamical system ${({R_f}, \varphi|_{R_f})}$ can have strange properties unknown for the regular solutions. In particular, we show that ${\varphi |_{R_f}}$ can have a periodic point of period 3 and hence can be chaotic in a strong sense. We also provide an effective method of construction of singular solutions.     

Algebraic and geometric properties of quadratic Hamiltonians determined by sectional operators

Following the terminology introduced by V. V. Trofimov and A. T. Fomenko, we say that a self-adjoint operator $\varphi :\mathfrak{g}* \to \mathfrak{g}$ is sectional if it satisfies the identity ad _?x ^* a = ad _β ^* x, $x \in \mathfrak{g}*$ , where $\mathfrak{g}$ is a finite-dimensional Lie algebra and $a \in \mathfrak{g}*$ and $\beta \in \mathfrak{g}$ are fixed elements. In the case of a semisimple Lie algebra $\mathfrak{g}$ , the above identity takes the form [?x, a] = [β, x] and naturally arises in the theory of integrable systems and differential geometry (namely, in the dynamics of n-dimensional rigid bodies, the argument shift method, and the classification of projectively equivalent Riemannian metrics). This paper studies general properties of sectional operators, in particular, integrability and the bi-Hamiltonian property for the corresponding Euler equation $\dot x = ad_{\varphi x}^* x$ .     

Algebraic equations on the adèlic closure of a Drinfeld module

Let k be a field of positive characteristic and K = k(V) a function field of a variety V over k and let A _K be the ring of adèles of K with respect to the places on K corresponding to the divisors on V. Given a Drinfeld module $\Phi :\mathbb{F}[t] \to End_K (\mathbb{G}_a )$ over K and a positive integer g we regard both K ^g and A _K ^g as $\Phi \left( {\mathbb{F}_p [t]} \right)$ -modules under the diagonal action induced by Φ. For Γ ? K ^g a finitely generated $\Phi \left( {\mathbb{F}_p [t]} \right)$ -submodule and an affine subvariety $X \subseteq \mathbb{G}_a^g$ defined over K, we study the intersection of X(A _K ), the adèlic points of X, with $\bar \Gamma$ , the closure of Γ with respect to the adèlic topology, showing under various hypotheses that this intersection is no more than X(K) ∩ Γ.     

Представление целых функций рядами по фун кциям Миттаг-Леффлера

The class \(B_{\varrho _1 } \) is introduced and thoroughly studied in the paper. By definition,H∈ \(B_{\varrho _1 } \) if there exist sequences {А _n } and {μ _n }, ¦μ _n ¦ ↑ ∞ (depending onH(?)) such that $$\mathop {\lim \sup }\limits_{t \to \infty } \frac{{\ln \Phi \left( {re^{i\varphi } } \right)}}{{r^{\varrho _1 } }} = H\left( \varphi \right), \Phi \left( z \right) = \mathop \Sigma \limits_{k = 1}^\infty \left| {A_k E_\varrho \left( {\lambda _k z} \right)} \right|,$$ whereE _? (z) is a Mittag—Leffler function and? ₁>?>1/2. The significance of the class \(B_{\varrho _1 } \) is confirmed by the following theorem. For each functionH∈ \(B_{\varrho _1 } \) there exists a sequence {λ _n } with the following property: every entire functionF(z) of order? ₁ with the growth indicatorh _F (?)< <H(?) can be expanded into the series $$F\left( z \right) = \mathop \Sigma \limits_{n = 1}^\infty a_n E_\varrho \left( {\lambda _n z} \right),$$ furthermore, $$\mathop {\lim sup}\limits_{r \to \infty } \frac{{\ln \Phi \left( {re^{i\varphi } } \right)}}{{r^{\varrho 1} }}< H\left( \varphi \right), \Phi \left( z \right) = \mathop \Sigma \limits_{n = 1}^\infty \left| {a_n E_\varrho \left( {\lambda _n z} \right)} \right|.$$ The coefficientsa _n are explicitly defined. The results were previously announced by the author inDokl. AN SSSR,264 (1982), 1313–1315.     

Porosity and products of Orlicz spaces

Let $(\Omega , \Sigma , \mu )$ be a measure space and let $\varphi _1, \ldots , \varphi _n$ and $\varphi $ be Young functions. In this paper, we, among other things, prove that the set $E=\{(f_1, \ldots ,f_n)\in M^{\varphi _1}\times \cdots \times M^{\varphi _n}:\, N_\varphi (f_1\cdots f_n)<\infty \}$ is a $\sigma $ - $c$ -lower porous set in $M^{\varphi _1}\times \cdots \times M^{\varphi _n}$ , under mild restrictions on the Young functions $\varphi _1, \ldots , \varphi _n$ and $\varphi $ . This generalizes a recent result due to G? a? b and Strobin (J Math Anal Appl 368:382–390, 2010) to more general setting of Orlicz spaces. As an application of our results, we recover a sufficient and necessary condition for Orlicz spaces to be closed under the pointwise multiplication due to Hudzik (Arch Math 44:535–538, 1985) and Arens et al. (J Math Anal Appl 177:386–411, 1993).     

Bombieri's theorem in short intervals

The well-known Bombieri-A. I. Vinogradov theorem states that (1) $$\sum\limits_{q \leqslant x^{\tfrac{1}{2}} (\log x)^{ - s} } {\mathop {\max }\limits_{(a,q) = 1} \mathop {\max }\limits_{y \leqslant x} } \left| {\psi (y,q;a) - \frac{y}{{\varphi (q)}}} \right| \ll \frac{x}{{(\log x)^A }},$$ whereA is an arbitrary positive constant,B=B(A)>0, and as usual, $$\psi (x,q;a) = \sum\limits_{\mathop {n \leqslant x}\limits_{n = a(q)} } {\Lambda (n),}$$ Λ being the Von Mangoldt's function. The problem of finding a result analogous to (1) for short intervals was investigated by many authors. Using Heath-Brown's identity and the approximate functional equation for DirichletL-functions, A. Perelli, J. Pintz and S. Salerno in 1985 established the following extension of Bombieri's theorem: Theorem 1. (2) $$\sum\limits_{q \leqslant Q} {\mathop {\max }\limits_{(a,q) = 1} \mathop {\max }\limits_{h \leqslant y} \mathop {\max }\limits_{\frac{x}{2}< \approx \leqslant x} } \left| {\psi (z + h,q;a) - \psi (z,q;a) - \frac{h}{{\varphi (q)}}} \right| \ll \frac{y}{{(\log x)^A }}$$ where A>0 is an arbitrary constant,y=x ^θ $$\frac{7}{{12}}< \theta \leqslant 1, Q = x^{\frac{1}{{40}}} .$$ ,Q=x ^1/40. By improving the basic lemma which A. Perelli, J. Pintz and S. Salerno used as the main tool to prove Theorem 1, we obtain Theorem 2.Under the same condition as in Theorem 1,for Q=x ^1/38.5, (2)still holds.     

Følner sequences and Hilbert’s Irreducibility Theorem over Q

Letf(X; T ₁, ...,T _n) be an irreducible polynomial overQ. LetB be the set ofb teZ ⁿ such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F _j}{F _j } _j?1 ^∞ be a Følner sequence inZ ⁿ — that is, a sequence of finite nonempty subsetsF _j ?Z ⁿ such that for eachvteZ ⁿ , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP ⁿ ?A ⁿ and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ ⁿ is identified withA ⁿ (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .