Difference Sets in {\mathbb{Z}}_4^m and {\mathbb{F}}_2^{2m}

Let R=GR(4,m) be the Galois ring of cardinality 4^m and let T be the Teichmüller system of R. For every map λ of T into { -1,+1} and for every permutation Π of T, we define a map φ _λ ^Π of Rinto { -1,+1} as follows: if x∈R and if x=a+2b is the 2-adic representation of x with x∈T and b∈T, then φ _λ ^Π (x)=λ(a)+2Tr(Π(a)b), where Tr is the trace function of R . For i=1 or i=-1, define D _i as the set of x in R such thatφ _λ ^Π =i. We prove the following results: 1) D _i is a Hadamard difference set of (R,+). 2) If φ is the Gray map of R into ${\mathbb{F}}_2^{2m}$ , then (D _i) is a difference set of ${\mathbb{F}}_2^{2m}$ . 3) The set of D _i and the set of φ(D _i) obtained for all maps λ and Π, both are one-to-one image of the set of binary Maiorana-McFarland difference sets in a simple way. We also prove that special multiplicative subgroups of R are difference sets of kind D _i in the additive group of R. Examples are given by means of morphisms and norm in R.     

Fractal functions and interpolation

Let a data set {(x _i,y _i) ∈I×R;i=0,1,?,N} be given, whereI=[x ₀,x _N]?R. We introduce iterated function systems whose attractorsG are graphs of continuous functionsf∶I→R, which interpolate the data according tof(x _i)=y _i fori ε {0,1,?,N}. Results are presented on the existence, coding theory, functional equations and moment theory for such fractal interpolation functions. Applications to the approximation of naturally wiggly functions, which may show some kind of geometrical self-similarity under magnification, such as profiles of cloud tops and mountain ranges, are envisaged.     

An Erdös-Ko-Rado theorem for the subcubes of a cube

LetP be that partially ordered set whose elements are vectors x=(x ₁, ...,x _n ) withx _i ε {0, ...,k} (i=1, ...,n) and in which the order is given byx≦y iffx _i =y _i orx _i =0 for alli. LetN _i (P)={x εP : |{j:x _j ≠ 0}|=i}. A subsetF ofP is called an Erdös-Ko-Rado family, if for allx, y εF it holdsx ≮y, x ≯ y, and there exists az εN ₁(P) such thatz≦x andz≦y. Let ? be the set of all vectorsf=(f ₀, ...,f _n ) for which there is an Erdös-Ko-Rado familyF inP such that |N _i (P) ∩F|=f _i (i=0, ...,n) and let 〈?〉 be its convex closure in the (n+1)-dimensional Euclidean space. It is proved that fork≧2 (0, ..., 0) and \(\left( {0,...,0,\overbrace {i - component}^{\left( {\begin{array}{*{20}c} {n - 1} \\ {i - 1} \\ \end{array} } \right)}k^{i - 1} ,0,...,0} \right)\) (i=1, ...,n) are the vertices of 〈?〉.     

The maximal Fejér operator on the spacesH p (R×···×R)

It is shown that the maximal operator of the Fejér means of a tempered distribution is bounded from thed-dimensional Hardy spaceH _p (R×···×R) toL _p (R ^d ) (1/2<p<∞) and is of weak type (H ₁ ^?i ,L ₁) (i=1,…,d), where the Hardy spaceH ₁ ^?i is defined by a hybrid maximal function. As a consequence, we obtain that the Fejér means of a functionf ∈H ₁ ^?i ?L(logL) ^d?1 converge a.e. to the function in question. Moreover, we prove that the Fejér means are uniformly bounded onH _p (R×···×R) whenever 1/2<p<∞. Thus, in casef ∈H _p (R×···×R) the Fejér means converge tof inH _p (R×···×R) norm. The same results are proved for the conjugate Fejér means, too.     

An embedding theorem for partial algebras and the free completion of a free partial algebra within a primitive class

Let U be any nontrivial primitive class of partial algebras, i.e. there existsA ∈ U with |A|≥2, and U is closed with respect to homomorphic images (in the weak sense), subalgebras (on closed subsets) and cartesian products of U-algebras, and let U _f denote the—also nontrivial and primitive—class of all full U-algebras. Then every U-algebra with at least two elements is a relative algebra of some U _f -algebra. For any U-algebraAsetU _A =U _i εI({i}×(A ^K _i—domf _i ^A )), where (K _i) _i εI is the type under consideration. Furthermore let F(N, U) denote any U-algebra U-freely generated by some setN (and let F (M, U _f ) be similarly defined). Then for every nonempty setM there exists a setN satisfyingM ?N such that there exists a bijective mapping σ:U _{F(N, U)} →N ?M satisfying σ((i, α)) ? α(K _i ) for all (i, α) ∈U _{F (N, U)}, and, for the structureg=(g _i)_iεI defined by ,g _i : =f _i ^{F(N, U)} ∪ {(α, σ((i, α))) | (i, α ∈U _{F(N, U)}} id _M induces an isomorphism betweenF(M, U _f ), and (F(N, U)g).     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Weighted restriction theorems for Bessel potentials

Пустьk-мерное евклид ово пространствоR ^k рассматривается как подмножествоR ⁿ . Зафиксируемр, 1<р<∞ иα >(n?k)/p, α≠п. Как обычно, бесселев потенциалJαf обобщенной функции Шварцаf наR ⁿ определяется с помощ ью ее преобразования Фурь е \((\widehat{G_\alpha f})(\xi ) = (2\pi )^{ - n/2} [1 + |\xi |^2 ]^{\alpha /2} f(\xi ), \xi \in R^n .B\) , ξ∈R ⁿ . В работе характ еризуются положител ьные весовые функцииw(x ₁,...,x _k ), которые при продолжении наR ⁿ с помощью равенстваw(x ₁,...,x _k ,...,x _n )=w(x ₁, ...,x _k ) обладают с ледующим свойством: существует числос>0, не зависящее отf, такое, что $$\begin{gathered} \int\limits_{R^k } {|(G_\alpha f)(x_1 ,...,x_k ,0,...,0)w(x_1 ,...,x_k )|^p dx_1 ...dx_k \leqq } \hfill \\ \leqq C\int\limits_{R^n } {|f(x_1 ,...,x_n )w(x_1 ,...,x_n )|^p dx_1 ...dx_n } \hfill \\ \end{gathered} $$      

Chebyshev's inequalities for functions monotone in the mean

LetR be the reals ≥ 0. LetF be the set of mapsf: {1, 2, ?,n} →R. Choosew ∈ F withw _i = w(i) > 0. PutW _i = w₁ + ? + w_i. Givenf ∈ F, define \(\bar f\) ∈F by $$\bar f\left( i \right) = \frac{{\left\{ {w_i f\left( 1 \right) + \ldots + w_i f\left( i \right)} \right\}}}{{W_i }}.$$ Callf mean increasing if \(\bar f\) is increasing. Letf ₁, ?, f_t be mean decreasing andf _t+1,?: f_t+u be mean increasing. Put $$k = W_n^u \min \left\{ {w_i^{u - 1} W_i^{t - u} } \right\}.$$ Then $$k\mathop \sum \limits_{i = 1}^n w_i f_1 \left( i \right) \ldots f_{t + u} \left( i \right) \leqslant \mathop \prod \limits_{j = 1}^{t + u} (\mathop \sum \limits_{i = 1}^n w_i f_1 (i)).$$      

Geometric Realizations of Lusztig’s Symmetries of Symmetrizable Quantum Groups

Let U be the quantum group and f be the Lusztig’s algebra associated with a symmetrizable generalized Cartan matrix. The algebra f can be viewed as the positive part of U. Lusztig introduced some symmetries T _i on U for all i ∈ I. Since T _i (f) is not contained in f, Lusztig considered two subalgebras _i f and ⁱ f of f for any i ∈ I, where _i f={x ∈ f | T _i (x) ∈ f} and \({^{i}\mathbf {f}}=\{x\in \mathbf {f}\,\,|\,\,T^{-1}_{i}(x)\in \mathbf {f}\}\). The restriction of T _i on _i f is also denoted by \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\). The geometric realization of f and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig’s symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of _i f, ⁱ f and \(T_{i}:{_{i}\mathbf {f}}\rightarrow {^{i}\mathbf {f}}\) by using the language ’quiver with automorphism’ introduced by Lusztig.     

Compositions of sums of absolute powers

We obtain an explicit formula for then-dimensional volumes of certain bodies, calledoddballs hereinafter. An oddball is a bodyG = {x εR ⁿ :f(x) ≤ 1}, wheref:R ⁿ →R is anoddball function. Oddball functions are defined by way of the following construction: We begin with the class of functionsf of the formf(x ₁, ...,x _k ) = |x ₁|^α + |x ₂|^β + ... + |x _k|^γ. Herek may be any positive integer, and is not fixed. The Greek exponents are arbitrary positive real numbers. We extend this class by permitting any finite number of substitutions among functions in the class. Finally, we extend the substitution-enlarged class by permitting linear formsy _i = Σ _j b _ij x _j to replacex _i 's, the transformations being nonsingular. Thus, if det(b _ij ) ≠ 0, the oddball function $$f(x_1 ,x_2 ,x_3 ,x_4 ,x_5 ,x_6 ) = ((|y_1 |^\alpha + |y_2 |^\beta )^\tau + (|y_3 |^\gamma + |y_4 |^\phi + |y_5 |^\psi )^\delta )^\mu + |y_6 |^\eta $$ is a fairly typical example. We also consider the number of lattice points in certain types of oddballs, as well as their latticepacking densities. Neither do oddballs include thesuperballs discussed elsewhere by this and other authors, nor is every oddball a superball.     

Existence and nonuniqueness of solutions to a functional-differential equation

We examine the functional-differential equation Δu(x) — div(u(H(x))f (x)) = 0 on a torus which is a generalization of the stationary Fokker-Planck equation. Under sufficiently general assumptions on the vector field f and the map H, we prove the existence of a nontrivial solution. In some cases the subspace of solutions is established to be multidimensional.     

Sets of vectors with many orthogonal paris:

What is the most number of vectors inR ^d such that anyk+1 contain an orthogonal pair? The 24 positive roots of the root systemF ₄ inR ⁴ show that this number could exceeddk.     

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$ .     

Critical sets in 3-space

Given a non-empty compact set C ?R ³, is C the set of critical points for some smooth proper functionf :R ³ →R ₊? In this paper we prove that the answer is “yes” for Antoine’s Necklace and most but not all tame links.     

On Fourier Transforms of Radial Functions and Distributions

We find a formula that relates the Fourier transform of a radial function on R ⁿ with the Fourier transform of the same function defined on R ⁿ⁺². This formula enables one to explicitly calculate the Fourier transform of any radial function f(r) in any dimension, provided one knows the Fourier transform of the one-dimensional function t?f(|t|) and the two-dimensional function (x ₁,x ₂)?f(|(x ₁,x ₂)|). We prove analogous results for radial tempered distributions.     

On the order of magnitude of double fourier transforms. II

Denote by $\hat f$ the (complex) Fourier transform of a functionf which belongs toL ¹(R ²). We shall assume thatf is odd inx andy, orf is even inx and odd iny, orf is odd inx and even iny. Among others, we prove that iff ∈L ¹(R ²) and (x, y)=(0,0) is a strong Lebesgue point off, then $\left| t \right|\left| v \right|\hat f(t,v)$ tends to 0 as |t|, |v|→∞ in the sense (C;α,β) for allα,β>1.     

Unique solvability of the stationary Fokker-Planck equation in a class of positive functions

We study the stationary Focker-Planck equation Δu ? div(u f) = 0 with a given vector field f of the class C ₀ ^∞ (R ⁿ ) on the basis of a fixed point principle that generalizes the contraction mapping method. Next, we introduce a parameter in the equation and prove the unique solvability of the equation Δu ? div(uγ f) = 0 with the parameter in the class of positive slowly increasing functions. We reveal the analytic dependence of the positive solution u on the parameter γ. Pointwise estimates for positive solutions are proved.     

Variational Inequalities: an Elementary Approach

We will deal with the following problem: Let M be an n×n matrix with real entries. Under which conditions the family of inequalities: x∈? ⁿ ;x?0;M·x?0has non–trivial solutions? We will prove that a sufficient condition is given by m_i,j+m_j,i?0 (1?i,j?n); from this result we will derive an elementary proof of the existence theorem for Variational Inequalities in the framework of Monotone Operators.     

An Improved Interval Linearization for Solving Nonlinear Problems

Let f(x) denote a system of n nonlinear functions in m variables, m≥n. Recently, a linearization of f(x) in a box x has been suggested in the form L(x)=Ax+b where A is a real n×m matrix and b is an interval n-dimensional vector. Here, an improved linearization L(x,y)=Ax+By+b, x∈x, y∈y is proposed where y is a p-dimensional vector belonging to the interval vector y while A and B are real matrices of appropriate dimensions and b is a real vector. The new linearization can be employed in solving various nonlinear problems: global solution of nonlinear systems, bounding the solution set of underdetermined systems of equations or systems of equalities and inequalities, global optimization. Numerical examples illustrating the superiority of L(x,y)=Ax+By+b over L(x)=Ax+b have been solved for the case where the problem is the global solution of a system of nonlinear equations (n=m).     

On the classification of conditionally integrable evolution systems in (1 + 1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1 + 1)-dimensional evolution equations of order n that admit an N-shock-type solution with N ≤ n + 1. For this, we develop a refinement of the technique from our earlier work, where we completely characterized all (1+1)-dimensional evolution systems u _t = F (x, t, u, ?u/?x,..., ?ⁿ u/? x ⁿ) that are conditionally invariant under a given generalized (Lie-Bäcklund) vector field Q(x, t, u, ?u/?x,..., ?^k u/?x ^k)?/?u under the assumption that the system of ODEs Q = 0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in t, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics.