Colourful and Fractional (p,q)-theorems

Let p≥q≥d+1 be positive integers and let ${\mathcal{F}}$ be a finite family of convex sets in ${\mathbb{R}}^{d}$ . Assume that the elements of ${\mathcal{F}}$ are coloured with p colours. A p-element subset of ${\mathcal{F}}$ is heterochromatic if it contains exactly one element of each colour. The family ${\mathcal{F}}$ has the heterochromatic (p,q)-property if in every heterochromatic p-element subset there are at least q elements that have a point in common. We show that, under the heterochromatic (p,q)-condition, some colour class can be pierced by a finite set whose size we estimate from above in terms of d,p, and q. This is a colourful version of the famous (p,q)-theorem. (We prove a colourful variant of the fractional Helly theorem along the way.) A fractional version of the same problem is when the (p,q)-condition holds for all but an α fraction of the p-tuples in ${\mathcal{F}}$ . We show that, in the case that d=1, all but a β fraction of the elements of ${\mathcal{F}}$ can be pierced by p?q+1 points. Here β depends on α and p,q, and β→0 as α goes to zero.     

On the cosets of the 2q-power group in the unit group modulop

Letp be a prime number ≡ 3 mod 4,G ^p the unit group of ?/p?, andg a generator ofG _p. Letq be an odd divisor ofp - 1 andG _p ^2q = {t ^2q;t ∈G _pthe subgroup of index2q inG _p. The groupG _p ² / _p ^2q consists of the classes \(\bar g^{2j} \) ,j = 0,...,q – 1. In this paper we study the ’excesses’ of the classes \(\bar g^{2j} \) in {l,...,(_p–l)/2}, i.e., the numbers \(\Phi _j = \left| {\left\{ {k;1 \leqslant k \leqslant \left( {p - 1} \right)/2,\bar k \in \bar g^{2j} } \right\}} \right| - \left| {\left\{ {k;\left( {p - 1} \right)/2 \leqslant k \leqslant p - 1,\bar k \in \bar g^{2j} } \right\}} \right|\) ,j = 0.....q — 1. First we express therelative class number h _2q of the subfieldK _2q? ?(e^2#x03C0;i/p ) of degree [K _2q: ?] =2q in terms of these excesses. We use this formula to establish certaincongruences for the Ф^j. E.g., ifq ∈ {3,5,11}, each number Фj is congruent modulo 4 to each other iff 2 dividesh _2q ^- . Finally we study thevariance of the excesses, i.e., the number \(\sigma ^2 = ((\Phi _0 - \hat \Phi )^2 + \ldots + (\Phi _{q - 1} - \hat \Phi )^2 )/(q - 1)\) , where \(\hat \Phi \) is the mean value of the numbers Ф_j. We obtain an explicit lower bound for σ² in terms ofh _2q ^- /h ₂ ^- . Moreover, we show that log σ² is asymptotically equal to 21og(h _2q ^- h ₂ ^- )/(q - 1) forp→∞. Three tables illustrate the results.     

Optimal Sobolev Type Inequalities in Lorentz Spaces

It is well known that the classical Sobolev embeddings may be improved within the framework of Lorentz spaces L ^p,q : the space $\mathcal{D}^{1,p}(\mathbb R^n)$ , 1?<?p?<?n, embeds into $L^{p^*,q}(\mathbb R^n)$ , p?≤?q?≤?∞. However, the value of the best possible embedding constants in the corresponding inequalities is known just in the case $L^{p^*,p}(\mathbb R^n)$ . Here, we determine optimal constants for the embedding of the space $\mathcal{D}^{1,p}(\mathbb R^n)$ , 1?<?p?<?n, into the whole Lorentz space scale $L^{p^{\ast}, q}(\mathbb R^n)$ , p?≤?q?≤?∞, including the limiting case q?=?p of which we give a new proof. We also exhibit extremal functions for these embedding inequalities by solving related elliptic problems.     

Congruence modularity at 0

Given a variety ${\mathcal{V}}$ with a constant 0 in its type and a lattice identity p ?? q, we say that p ?? q holds for congruences in ${\mathcal{V}}$ at 0 if the p-block of 0 is included in the q-block of 0 for all substitutions of congruences of ${\mathcal{V}}$ -algebras for the variables of p and q. Varieties that are congruence modular at 0 are characterized by a Mal??tsev condition. This result generalizes the classical characterization of congruence modularity by Day terms.     

Classi di isomorfismo delle cubiche diF q

LetF _q (q=p^r) be a field of characteristicp>3 andA the set of all elliptic cubic curves overF _q having a given absolute invariantj. Furthermore let ≈be the following equivalence relation: « if and only if and F_q are isomorphic overF _q as abelian varieties». The aim of this paper is to study the equivalence classes inA, induced by ≈, and the Frobenius' traces of the cubic curves belonging to different subclasses ofA.     

Transitive A 6-invariant k-arcs in PG(2, q)

For q = p ^r with a prime p ≥ 7 such that ${q \equiv 1}$ or 19 (mod 30), the desarguesian projective plane PG(2, q) of order q has a unique conjugacy class of projectivity groups isomorphic to the alternating group A ₆ of degree 6. For a projectivity group ${\Gamma \cong A_6}$ of PG(2, q), we investigate the geometric properties of the (unique) Γ-orbit ${\mathcal{O}}$ of size 90 such that the 1-point stabilizer of Γ in its action on ${\mathcal O}$ is a cyclic group of order 4. Here ${\mathcal O}$ lies either in PG(2, q) or in PG(2, q ²) according as 3 is a square or a non-square element in GF(q). We show that if q ≥ 349 and q ≠ 421, then ${\mathcal O}$ is a 90-arc, which turns out to be complete for q = 349, 409, 529, 601,661. Interestingly, ${\mathcal O}$ is the smallest known complete arc in PG(2,601) and in PG(2,661). Computations are carried out by MAGMA.     

A construction for infinite families of semisymmetric graphs revealing their full automorphism group

We give a general construction leading to different non-isomorphic families $\varGamma_{n,q}(\mathcal{K})$ of connected q-regular semisymmetric graphs of order 2q ⁿ⁺¹ embedded in $\operatorname{PG}(n+1,q)$ , for a prime power q=p ^h , using the linear representation of a particular point set $\mathcal{K}$ of size q contained in a hyperplane of $\operatorname{PG}(n+1,q)$ . We show that, when $\mathcal{K}$ is a normal rational curve with one point removed, the graphs $\varGamma_{n,q}(\mathcal{K})$ are isomorphic to the graphs constructed for q=p ^h in Lazebnik and Viglione (J. Graph Theory 41, 249–258, 2002) and to the graphs constructed for q prime in Du et al. (Eur. J. Comb. 24, 897–902, 2003). These graphs were known to be semisymmetric but their full automorphism group was up to now unknown. For q≥n+3 or q=p=n+2, n≥2, we obtain their full automorphism group from our construction by showing that, for an arc $\mathcal{K}$ , every automorphism of $\varGamma_{n,q}(\mathcal{K})$ is induced by a collineation of the ambient space $\operatorname{PG}(n+1,q)$ . We also give some other examples of semisymmetric graphs $\varGamma _{n,q}(\mathcal{K})$ for which not every automorphism is induced by a collineation of their ambient space.     

An example of asymmetry of convolution operators

Esistono un gruppo compatto non commutativoG ^～ ed un operatore di convoluzioneT tale che: perp∈[2,4] e perq∈[1,2),T∈L _p ^p (G ^～) eT?L _q ^q (G ^～).     

The annihilator of Bergman space

LetD be a bounded plane domain (with some smoothness requirements on its boundary). LetB _p(D), 1≤p<∞, be the Bergmanp-space ofD. In a previous paper we showed that the “natural projection”P, involving the Bergman kernel forD, is a bounded projection fromL _p(D) ontoB _p(D), 1<p<∞. With this we have the decompositionL _p(D)=B _p(D)⊕B _q ^⊥ (D,p ^–1+q ^–=1, 1<p< ∞. Here, we show that the annihilatorB _q ^⊥ (D) is the space of allL _p-complex derivatives of functions belonging to Sobolev space and which vanish on the boundary ofD. This extends a result of Schiffer for the casep=2. We also study certain operators onL _p(D). Especially, we show that , whereI is the identity operator and ? is an operator involving the adjoint of the Bergman kernel. Other relationships relevant toB _q ^⊥ (D) are studied.     

Composed products and factors of cyclotomic polynomials over finite fields

Let q = p ^s be a power of a prime number p and let ${\mathbb {F}_{\rm q}}$ be a finite field with q elements. This paper aims to demonstrate the utility and relation of composed products to other areas such as the factorization of cyclotomic polynomials, construction of irreducible polynomials, and linear recurrence sequences over ${\mathbb {F}_{\rm q}}$ . In particular we obtain the explicit factorization of the cyclotomic polynomial ${\Phi_{2^nr}}$ over ${\mathbb {F}_{\rm q}}$ where both r ≥ 3 and q are odd, gcd(q, r) = 1, and ${n\in \mathbb{N}}$ . Previously, only the special cases when r = 1, 3, 5, had been achieved. For this we make the assumption that the explicit factorization of ${\Phi_r}$ over ${\mathbb {F}_{\rm q}}$ is given to us as a known. Let ${n = p_1^{e_1}p_2^{e_2}\cdots p_s^{e_s}}$ be the factorization of ${n \in \mathbb{N}}$ into powers of distinct primes p _i , 1 ≤ i ≤ s. In the case that the multiplicative orders of q modulo all these prime powers ${p_i^{e_i}}$ are pairwise coprime, we show how to obtain the explicit factors of ${\Phi_{n}}$ from the factors of each ${\Phi_{p_i^{e_i}}}$ . We also demonstrate how to obtain the factorization of ${\Phi_{mn}}$ from the factorization of ${\Phi_n}$ when q is a primitive root modulo m and ${{\rm gcd}(m, n) = {\rm gcd}(\phi(m),{\rm ord}_n(q)) = 1.}$ Here ${\phi}$ is the Euler’s totient function, and ord _n (q) denotes the multiplicative order of q modulo n. Moreover, we present the construction of a new class of irreducible polynomials over ${\mathbb {F}_{\rm q}}$ and generalize a result due to Varshamov (Soviet Math Dokl 29:334–336, 1984).     

Estimates for wave and Klein-Gordon equations on modulation spaces

We prove that the fundamental semi-group eit(m 2I+|Δ|)1/2(m = 0) of the Klein-Gordon equation is bounded on the modulation space M ps,q(Rn) for all 0 < p,q ∞ and s ∈ R.Similarly,we prove that the wave semi-group eit|Δ|1/2 is bounded on the Hardy type modulation spaces μsp,q(Rn) for all 0 < p,q ∞,and s ∈ R.All the bounds have an asymptotic factor tn|1/p 1/2| as t goes to the infinity.These results extend some known results for the case of p 1.Also,some applications for the Cauchy problems related to the semi-group eit(m2I+|Δ|)1/2 are obtained.Finally we discuss the optimum of the factor tn|1/p 1/2| and raise some unsolved problems.     

Generalised Gagliardo–Nirenberg Inequalities Using Weak Lebesgue Spaces and BMO

Using elementary arguments based on the Fourier transform we prove that for ${1 \leq q < p < \infty}$ and ${s \geq 0}$ with s > n(1/2 ? 1/p), if ${f \in L^{q,\infty} (\mathbb{R}^n) \cap \dot{H}^s (\mathbb{R}^n)}$ , then ${f \in L^p(\mathbb{R}^n)}$ and there exists a constant c _p,q,s such that $$\| f \|_{L^{p}} \leq c_{p,q,s} \| f \|^\theta _{L^{q,\infty}} \| f \|^{1-\theta}_{\dot{H}^s},$$ where 1/p = θ/q + (1?θ)(1/2?s/n). In particular, in ${\mathbb{R}^2}$ we obtain the generalised Ladyzhenskaya inequality ${\| f \| _{L^4} \leq c \| f \|^{1/2}_{L^{2,\infty}} \| f \|^{1/2}_{\dot{H}^1}}$ .We also show that for s = n/2 and q > 1 the norm in ${\| f \|_{\dot{H}^{n/2}}}$ can be replaced by the norm in BMO. As well as giving relatively simple proofs of these inequalities, this paper provides a brief primer of some basic concepts in harmonic analysis, including weak spaces, the Fourier transform, the Lebesgue Differentiation Theorem, and Calderon–Zygmund decompositions.     

Sign-definiteness of q-eigenfunctions for a super-linear p-Laplacian eigenvalue problem

We consider the following q-eigenvalue problem for the p-Laplacian $$\left\{\begin{array}{ll}-{\rm div}\big( |\nabla u|^{p-2}\nabla u\big) = \lambda \|u\|_{L^{q}(\Omega)}^{p-q}|u|^{q-2}u \quad \quad\, {\rm in} \,\,\,\, \Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,\,{\rm on } \,\,\,\, \partial\Omega,\end{array}\right.$$ where \({\lambda\in\mathbb{R},}\) p > 1, Ω is a bounded and smooth domain of \({\mathbb{R}^{N},}\) N > 1, \({1\leq q < p^{\star}}\) , \({p^{\star}=\frac{Np}{N-p}}\) if p < N and \({p^{\star}=\infty}\) if \({p\geq N.}\) Let λ _q denote the first q-eigenvalue. We prove that in the super-linear case, \({p < q < p^{\star},}\) there exists \({\epsilon_{q}>0}\) such that if \({\lambda\in(\lambda_{q},\lambda _{q}+\epsilon_{q})}\) is a q-eigenvalue, then any corresponding q-eigenfunction does not change sign in Ω. As a consequence of this result we obtain, in the super-linear case, the isolatedness of λ _q for those Ω such that the Lane–Emden problem $$\left\{\begin{array}{ll}-{\rm div}\big(|\nabla u|^{p-2}\nabla u\big) = |u|^{q-2}u \qquad\quad\quad\quad \,\,{\rm in}\,\,\,\Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,{\rm on } \,\,\, \partial\Omega,\end{array}\right.$$ has exactly one positive solution.     

Square-free values of f(p), f cubic

Let \({f \in \mathbb{Z}[x]}\) , \({\deg f =3}\) . Assume that f does not have repeated roots. Assume as well that, for every prime q, \({f(x)\not\equiv 0}\) mod q ² has at least one solution in \({(\mathbb{Z}/q^2 \mathbb{Z})^*}\) . Then, under these two necessary conditions, there are infinitely many primes p such that f(p) is square-free.     

Sharp Weak Type Inequalities for the Dyadic Maximal Operator

We obtain sharp estimates for the localized distribution function of $\mathcal{M}\phi $ , when ? belongs to L ^p,∞ where $\mathcal{M}$ is the dyadic maximal operator. We obtain these estimates given the L ¹ and L ^q norm, q<p and certain weak-L ^p conditions.In this way we refine the known weak (1,1) type inequality for the dyadic maximal operator. As a consequence we prove that the inequality 0.1 is sharp allowing every possible value for the L ¹ and the L ^q norm for a fixed q such that 1<q<p, where ∥?∥ _p,∞ is the usual quasi norm on L ^p,∞.     

On the Gagliardo-Nirenberg type inequality in the critical Sobolev-Morrey space

Our main purpose in this article is to establish a Gagliardo-Nirenberg type inequality in the critical Sobolev–Morrey space $H\mathcal{M}^{\frac{n}{p}}_{p,q}(\mathbb{R}^{n})$ with n∈? and 1<q≤p<∞, which coincides with the usual critical Sobolev space $H^{\frac{n}{p}}_{p}(\mathbb{R}^{n})$ in the case of q=p. Indeed, we shall show the following interpolation inequality. If q<p, there exists a positive constant C _p,q depending only on p and q such that GN $$ \|f\|_{{\mathcal{M}}_{r,\frac{q}{p}r}} \leq C_{p,q}r\|f \|_{{\mathcal{M}}_{p,q}}^{\frac{p}{r}}\bigl\|(-\Delta)^{\frac{n}{2p}} f\bigr\|_{{\mathcal{M}}_{p,q}}^{1-\frac{p}{r}} $$ for all $u\in H\mathcal{M}^{\frac{n}{p}}_{p,q}( \mathbb{R}^{n})$ and for all p≤r<∞. In the case of q=p, that is, the case of the critical Sobolev space $H^{\frac{n}{p}}_{p}(\mathbb{R}^{n})$ , the corresponding inequality was obtained in Ogawa (Nonlinear Anal. 14:765–769, 1990), Ogawa-Ozawa (J. Math. Anal. Appl. 155:531–540, 1991) and Ozawa (J. Func. Anal. 127:259–269, 1995) with the growth order $r^{1-\frac{1}{p}}$ as r→∞. The inequality (GN) implies that the growth order as r→∞ is linear, which might look worse compared to the case of the critical Sobolev space. However, we investigate the optimality of the growth order and prove that this linear order is best-possible. Furthermore, as several applications of the inequality (GN), we shall obtain a Trudinger-Moser type inequality and a Brézis-Gallouët-Wainger type inequality in the critical Sobolev-Morrey space.     

An endline bilinear cone restriction estimate for mixed norms

We prove an ${L^2 \times L^2 \rightarrow L_t^qL_x^p }$ bilinear Fourier extension estimate for the cone when p, q are on the critical line ${1/q=(\frac{n+1}{2})(1-1/p)}$ . This extends previous results by Wolff, Tao and Lee-Vargas.     

Gauss periods and codebooks from generalized cyclotomic sets of order four

Let p, q be distinct primes with gcd(p ? 1, q ? 1) = 4. Let D ₀, D ₁, D ₂, D ₃ be Whiteman’s generalized cyclotomic classes, satisfying the multiplicative group ${{\mathbb Z}^*_{pq}=D_0\cup D_1\cup D_2\cup D_3}$ . In this paper, we give formulas of Gauss periods: ${\sum_{i\in D_0\cup D_2}\zeta^i}$ and ${\sum_{i\in D_0}\zeta^i}$ , where ${\zeta}$ is a pqth primitive root of unity. As an application, we get the maximum cross-correlation amplitudes of three codebooks from generalized cyclotomic sets of order four and supply conditions on p and q such that they nearly meet the Welch bound.     

Sharp constants in the doubly weighted Hardy-Littlewood-Sobolev inequality

It is well known that the doubly weighted Hardy-Littlewood-Sobolev inequality is as follows,Z Rn Z Rn f(x)g(y)|x||x.y||y|dxdy6 B(p,q,,,,n)kfkLp(Rn)kgkLq(Rn).The main purpose of this paper is to give the sharp constants B(p,q,,,,n)for the above inequality for three cases:(i)p=1 and q=1;(ii)p=1 and 1q 6∞,or 1p 6∞and q=1;(iii)1p,q∞and 1p+1q=1.In addition,the explicit bounds can be obtained for the case 1p,q∞and 1p+1q1.     

Variable Exponent Herz Spaces

We introduce a new type of variable exponent function spaces  ? ^{p(·),q(·),α(·)}( ${\mathbb{R}^n}$ ) and H ^{p(·),q(·),α(·)}( ${\mathbb{R}^n}$ ) of Herz type, homogeneous and non-homogeneous versions, where all the three parameters are variable, and give comparison of continual and discrete approaches to their definition. Under the only assumption that the exponents p, q and α are subject to the log-decay condition at infinity, we prove that sublinear operators, satisfying the size condition known for singular integrals and bounded in L ^p(·)( ${\mathbb{R}^n}$ ), are also bounded in the nonhomogeneous version of the introduced spaces, which includes the case maximal and Calderón-Zygmund singular operators.