Additive energy and the Hausdorff dimension of the exceptional set in metric pair correlation problems

For a sequence of integers {a(x)} _x≥1 we show that the distribution of the pair correlations of the fractional parts of {〈αa(x)〉} _x≥1 is asymptotically Poissonian for almost all α if the additive energy of truncations of the sequence has a power savings improvement over the trivial estimate. Furthermore, we give an estimate for the Hausdorff dimension of the exceptional set as a function of the density of the sequence and the power savings in the energy estimate. A consequence of these results is that the Hausdorff dimension of the set of α such that {〈αx ^d 〉} fails to have Poissonian pair correlation is at most \(\frac{{d + 2}}{{d + 3}} < 1\). This strengthens a result of Rudnick and Sarnak which states that the exceptional set has zero Lebesgue measure. On the other hand, classical examples imply that the exceptional set has Hausdorff dimension at least \(\frac{2}{{d + 1}}\).An appendix by Jean Bourgain was added after the first version of this paper was written. In this appendix two problems raised in the paper are solved.     

On the Hausdorff Dimension of Continuous Functions Belonging to Hölder and Besov Spaces on Fractal <Emphasis Type="Italic">d</Emphasis>-Sets

The Hausdorff dimension of the graphs of the functions in Hölder and Besov spaces (in this case with integrability p≥1) on fractal d-sets is studied. Denoting by s∈(0,1] the smoothness parameter, the sharp upper bound min{d+1?s,d/s} is obtained. In particular, when passing from d≥s to d<s there is a change of behaviour from d+1?s to d/s which implies that even highly nonsmooth functions defined on cubes in ? ⁿ have not so rough graphs when restricted to, say, rarefied fractals.     

Hausdorff operators defined by measures on <Emphasis Type="Italic">p</Emphasis>-adic linear spaces and their norms

For Hausdorff operator defined by a measure on p-adic linear space Q _p ⁿ we give the exact values for its norms in power type Morrey space,BMO(Q _p ⁿ ) and BLO(Q _p ⁿ ). Also we prove the sharp two-sided estimate for its norm in Herz space. These results generalize some previous results of the author.     

<Emphasis Type="Italic">V</Emphasis>-Gorenstein injective modules preenvelopes and related dimension

Let R and S be associative rings and _S V _R a semidualizing (S-R)-bimodule. An R-module N is said to be V-Gorenstein injective if there exists a Hom _R (I _V (R),?) and Hom _R (?,I _V (R)) exact exact complex \( \cdots \to {I_1}\xrightarrow{{{d_0}}}{I_0} \to {I^0}\xrightarrow{{{d_0}}}{I^1} \to \cdots \) of V-injective modules I _i and I ⁱ , i ∈ N₀, such that N ? Im(I ₀ → I ⁰). We will call N to be strongly V-Gorenstein injective in case that all modules and homomorphisms in the above exact complex are equal, respectively. It is proved that the class of V-Gorenstein injective modules are closed under extension, direct summand and is a subset of the Auslander class A _V (R) which leads to the fact that V-Gorenstein injective modules admit exact right I _V (R)-resolution. By using these facts, and thinking of the fact that the class of strongly V-Gorenstein injective modules is not closed under direct summand, it is proved that an R-module N is strongly V-Gorenstein injective if and only if N ⊕ E is strongly V-Gorenstein injective for some V-injective module E. Finally, it is proved that an R-module N of finite V-Gorenstein injective injective dimension admits V-Gorenstein injective preenvelope which leads to the fact that, for a natural integer n, Gorenstein V-injective injective dimension of N is bounded to n if and only if \(Ext_{{I_V}\left( R \right)}^{ \geqslant n + 1}\left( {I,N} \right) = 0\) for all modules I with finite I _V (R)-injective dimension.     

Space of invariant bilinear forms

Let \({\mathbb {F}}\) be a field, V a vector space of dimension n over \({\mathbb {F}}\). Then the set of bilinear forms on V forms a vector space of dimension \(n^2\) over \({\mathbb {F}}\). For char \({\mathbb {F}}\ne 2\), if T is an invertible linear map from V onto V then the set of T-invariant bilinear forms, forms a subspace of this space of forms. In this paper, we compute the dimension of T-invariant bilinear forms over \({\mathbb {F}}\). Also we investigate similar type of questions for the infinitesimally T-invariant bilinear forms (T-skew symmetric forms). Moreover, we discuss the existence of nondegenerate invariant (resp. infinitesimally invariant) bilinear forms.     

A sharp bound on the Hausdorff dimension of the singular set of a uniform measure

The study of the geometry of n-uniform measures in \(\mathbb {R}^{d}\) has been an important question in many fields of analysis since Preiss’ seminal proof of the rectifiability of measures with positive and finite density. The classification of uniform measures remains an open question to this day. In fact there is only one known example of a non-trivial uniform measure, namely 3-Hausdorff measure restricted to the Kowalski–Preiss cone. Using this cone one can construct an n-uniform measure whose singular set has Hausdorff dimension \(n-3\). In this paper, we prove that this is the largest the singular set can be. Namely, the Hausdorff dimension of the singular set of any n-uniform measure is at most \(n-3\).     

Largest <Emphasis Type="Italic">H</Emphasis>-eigenvalue of uniform <Emphasis Type="Italic">s</Emphasis>-hypertrees

The k-uniform s-hypertree G = (V,E) is an s-hypergraph, where 1 ≤ s ≤ k - 1; and there exists a host tree T with vertex set V such that each edge of G induces a connected subtree of T. In this paper, some properties of uniform s-hypertrees are establised, as well as the upper and lower bounds on the largest H-eigenvalue of the adjacency tensor of k-uniform s-hypertrees in terms of the maximal degree Δ. Moreover, we also show that the gap between the maximum and the minimum values of the largest H-eigenvalue of k-uniform s-hypertrees is just Θ(Δ ^s/k ).     

Removable sets for homogeneous linear partial differential equations in Carnot groups

Let L be a homogeneous left-invariant differential operator on a Carnot group. Assume that both L and L^t are hypoelliptic. We study the removable sets for L-solutions. We give precise conditions in terms of the Carnot- Caratheodory Hausdorff dimension for the removability for L-solutions under several auxiliary integrability or regularity hypotheses. In some cases, our criteria are sharp on the level of the relevant Hausdorff measure. One of the main ingredients in our proof is the use of novel local self-similar tilings in Carnot groups.     

Random cutout sets with spatially inhomogeneous intensities

We study the Hausdorff dimension of Poissonian cutout sets defined via inhomogeneous intensity measures on Q-regular metric spaces. Our main results explain the dependence of the dimension of the cutout sets on the multifractal structure of the average densities of the Q-regular measure. As a corollary, we obtain formulas for the Hausdorff dimension of such cutout sets in self-similar and self-conformal spaces using the multifractal decomposition of the average densities for the natural measures.     

On collineation groups of finite projective spaces containing a Singer cycle

By a result of Kantor, any subgroup of GL(n, q) containing a Singer cycle normalizes a field extension subgroup. This result has as a consequence a projective analogue, and this paper gives the details of this deduction, showing that any subgroup of PΓL(n, q) containing a projective Singer cycle normalizes the image of a field extension subgroup GL(n/s, q^s) under the canonical homomorphism GL(n, q) → PGL(n, q), for some divisor s of n, and so is contained in the image of ΓL(n/s, q^s) under the canonical homomorphism ΓL(n, q) → PΓL(n, q). The actions of field extension subgroups on V (n, q) are also investigated. In particular, we prove that any field extension subgroup GL(n/s, q^s) of GL(n, q) has a unique orbit on s-dimensional subspaces of V (n, q) of length coprime to q. This orbit is a Desarguesian s-partition of V (n, q).     

Some dimensional results for a class of special homogeneous Moran sets

We construct a class of special homogeneous Moran sets, called {m_k}-quasi homogeneous Cantor sets, and discuss their Hausdorff dimensions. By adjusting the value of {m_k}_k?1, we constructively prove the intermediate value theorem for the homogeneous Moran set. Moreover, we obtain a sufficient condition for the Hausdorff dimension of ho- mogeneous Moran sets to assume the minimum value, which expands earlier works.     

General Hausdorff functions,and the notion of one-sided measure and dimension

The main facts about Hausdorff and packing measures and dimensions of a Borel set E are revisited, using determining set functions \(\phi_\alpha\colon\mathcal{B}_E\to(0,\infty)\), where \(\mathcal{B}_E\) is the family of all balls centred on E and α is a real parameter. With mild assumptions on φ_α, we verify that the main density results hold, as well as the basic properties of the corresponding box dimension. Given a bounded open set V in ? ^D , these notions are used to introduce the interior and exterior measures and dimensions of any Borel subset of ?V. We stress that these dimensions depend on the choice of φ_α. Two determining functions are considered, φ_α(B)=Vol _D (B∩V)diam(B)^α-D and φ_α(B)=Vol _D (B∩V)^α/D , where Vol _D denotes the D-dimensional volume.     

The SL(<Emphasis Type="Italic">V</Emphasis>)-ample cone of product of flag varieties

Let k be an algebraically closed field, and V be a vector space of dimension n over k. For a set ω = (\(\vec d\)(1), ..., \(\vec d\)(m)) of sequences of positive integers, denote by L _ω the ample line bundle corresponding to the polarization on the product X = Π _i=1 ^m Flag(V, \(\vec n\)(i)) of flag varieties of type \(\vec n\)(i) determined by ω. We study the SL(V)-linearization of the diagonal action of SL(V) on X with respect to L _ω. We give a sufficient and necessary condition on ω such that X ^ss (L _ω) ≠ \(\not 0\) (resp., X ^s (L _ω) ≠ \(\not 0\)). As a consequence, we characterize the SL(V)-ample cone (for the diagonal action of SL(V) on X), which turns out to be a polyhedral convex cone.     

On sets of directions determined by subsets of ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Given E ? ? ^d , d ≥ 2, define

$D(E) \equiv \left\{ {{{x - y} \over {\left| {x - y} \right|}}:x,y \in E} \right\} \subset {S^{d - 1}}$

to be the set of directions determined by E. We prove that if the Hausdorff dimension of E is greater than d ? 1, then σ(D(E)) > 0, where σ denotes the surface measure on S ^d?1. In the process, we prove some tight upper and lower bounds for the maximal function associated with the Radon-Nikodym derivative of the natural measure on D. This result is sharp, since the conclusion fails to hold if E is a (d ? 1)-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir ([22, 23]) on directions determined by finite subsets of ? ^d . We also discuss the case when the Hausdorff dimension of E is precisely d ? 1, where some interesting counter-examples have been obtained by Simon and Solomyak ([25]) in the planar case. In response to the conjecture stated in this paper, T. Orponen and T. Sahlsten ([20]) have recently proved that if the Hausdorff dimension of E equals d ? 1 and E is rectifiable and is not contained in a hyper-pane, the Lebesgue measure of the set of directions is still positive. Finally, we show that our continuous results can be used to recover and, in some cases, improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set P ? ? ^d , d ≥ 3, satisfying a certain discrete energy condition (Definition 3.1) determines ? #P distinct directions.

     

A criterion for Hill operators to be spectral operators of scalar type

We derive necessary and sufficient conditions for a Hill operator (i.e., a one-dimensional periodic Schrö dinger operator) H = ?d ² /dx ² + V to be a spectral operator of scalar type. The conditions show the remarkable fact that the property of a Hill operator being a spectral operator is independent of smoothness (or even analyticity) properties of the potential V. In the course of our analysis, we also establish a functional model for periodic Schrödinger operators that are spectral operators of scalar type and develop the corresponding eigenfunction expansion.The problem of deciding which Hill operators are spectral operators of scalar type appears to have been open for about 40 years.     

On judicious bipartitions of graphs

For a positive integer m, let f(m) be the maximum value t such that any graph with m edges has a bipartite subgraph of size at least t, and let g(m) be the minimum value s such that for any graph G with m edges there exists a bipartition V (G)=V ₁?V ₂ such that G has at most s edges with both incident vertices in V _i . Alon proved that the limsup of \(f\left( m \right) - \left( {m/2 + \sqrt {m/8} } \right)\) tends to infinity as m tends to infinity, establishing a conjecture of Erd?s. Bollobás and Scott proposed the following judicious version of Erd?s' conjecture: the limsup of \(m/4 + \left( {\sqrt {m/32} - g(m)} \right)\) tends to infinity as m tends to infinity. In this paper, we confirm this conjecture. Moreover, we extend this conjecture to k-partitions for all even integers k. On the other hand, we generalize Alon's result to multi-partitions, which should be useful for generalizing the above Bollobás-Scott conjecture to k-partitions for odd integers k.     

DISTINGUISHED PRE-NICHOLS ALGEBRAS

We formally define and study the distinguished pre-Nichols algebra \( \tilde{B} \)(V) of a braided vector space of diagonal type V with finite-dimensional Nichols algebra B(V). The algebra \( \tilde{B} \)(V) is presented by fewer relations than B(V), so it is intermediate between the tensor algebra T(V) and B(V). Prominent examples of distinguished pre-Nichols algebras are the positive parts of quantized enveloping (super)algebras and their multiparametric versions. We prove that these algebras give rise to new examples of Noetherian pointed Hopf algebras of finite Gelfand-Kirillov dimension. We investigate the kernel (in the sense of Hopf algebras) of the projection from \( \tilde{B} \)(V) to B(V), generalizing results of De Concini and Procesi on quantum groups at roots of unity.     

On the Nitsche conjecture for harmonic mappings in ℝ<Superscript>2</Superscript> and ℝ<Superscript>3</Superscript>

We give the new inequality related to the J. C. C. Nitsche conjecture (see [6]). Moreover, we consider the two- and three-dimensional case. LetA(r, 1)={z:r<|z|<1}. Nitsche's conjecture states that if there exists a univalent harmonic mapping from an annulusA(r, 1), to an annulusA(s, 1), thens is at most 2r/(r ²+1).Lyzzaik's result states thats<t wheret is the length of the Grötzsch's ring domain associated withA(r, 1) (see [5]). Weitsman's result states thats≤1/(1+1/2(r logr)²) (see [8]).Our result for two-dimensional space states thats≤1/(1+1/2 log² r) which improves Weitsman's bound for allr, and Lyzzaik's bound forr close to 1. For three-dimensional space the result states thats≤1/(r?logr).     

Squares and their centers

We study the relationship between the size of two sets B, S ? R², when B contains either the whole boundary or the four vertices of a square with axes-parallel sides and center in every point of S. Size refers to cardinality, Hausdorff dimension, packing dimension, or upper or lower box dimension. Perhaps surprisingly, the results vary depending on the notion of size under consideration. For example, we construct a compact set B of Hausdorff dimension 1 which contains the boundary of an axes-parallel square with center in every point in [0, 1]², prove that such a B must have packing and lower box dimension at least 7/4, and show by example that this is sharp. For more general sets of centers, the answers for packing and box counting dimensions also differ. These problems are inspired by the analogous problems for circles that were investigated by Bourgain, Marstrand and Wolff, among others.     

On the summability of spectral expansions of piecewise smooth functions

For piecewise smooth functions of n variables, we prove the uniform Riesz summability of order s > (n ? 3)/2 of their spectral expansions associated with an arbitrary elliptic operator with constant coefficients. For s = (n ? 3)/2, the corresponding Riesz means are bounded.