Asymptotics for discrete weighted minimal Riesz energy problems on rectifiable sets

Given a closed -rectifiable set embedded in Euclidean space, we investigate minimal weighted Riesz energy points on ; that is, points constrained to and interacting via the weighted power law potential , where is a fixed parameter and is an admissible weight. (In the unweighted case () such points for fixed tend to the solution of the best-packing problem on as the parameter .) Our main results concern the asymptotic behavior as of the minimal energies as well as the corresponding equilibrium configurations. Given a distribution with respect to -dimensional Hausdorff measure on , our results provide a method for generating -point configurations on that are ``well-separated' and have asymptotic distribution as .

     

Quantum symmetric derivatives

For , a one-parameter family of symmetric quantum derivatives is defined for each order of differentiation as are two families of Riemann symmetric quantum derivatives. For , symmetrization holds, that is, whenever the th Peano derivative exists at a point, all of these derivatives of order also exist at that point. The main result, desymmetrization, is that conversely, for , each symmetric quantum derivative is a.e. equivalent to the Peano derivative of the same order. For and , each th symmetric quantum derivative coincides with both corresponding th Riemann symmetric quantum derivatives, so, in particular, for and , both th Riemann symmetric quantum derivatives are a.e. equivalent to the Peano derivative.

     

Decomposition numbers for weight three blocks of symmetric groups and Iwahori-Hecke algebras

Let be a field, a non-zero element of and the Iwahori-Hecke algebra of the symmetric group . If is a block of of -weight and the characteristic of is at least , we prove that the decomposition numbers for are all at most . In particular, the decomposition numbers for a -block of of defect are all at most .

     

Equipartitions of measures in

A well-known problem of B. Grünbaum (1960) asks whether for every continuous mass distribution (measure) on there exist hyperplanes dividing into parts of equal measure. It is known that the answer is positive in dimension (see H. Hadwiger (1966)) and negative for (see D. Avis (1984) and E. Ramos (1996)). We give a partial solution to Grünbaum's problem in the critical dimension by proving that each measure in admits an equipartition by hyperplanes, provided that it is symmetric with respect to a -dimensional affine subspace of . Moreover we show, by computing the complete obstruction in the relevant group of normal bordisms, that without the symmetry condition, a naturally associated topological problem has a negative solution. The computation is based on Koschorke's exact singularity sequence (1981) and the remarkable properties of the essentially unique, balanced binary Gray code in dimension ; see G. C. Tootill (1956) and D. E. Knuth (2001).

     

On the unique representation of families of sets

Let and be uncountable Polish spaces. represents a family of sets provided each set in occurs as an -section of . We say that uniquely represents provided each set in occurs exactly once as an -section of . is universal for if every -section of is in . is uniquely universal for if it is universal and uniquely represents . We show that there is a Borel set in which uniquely represents the translates of if and only if there is a Vitali set. Assuming there is a Borel set with all sections sets and all non-empty sets are uniquely represented by . Assuming there is a Borel set with all sections which uniquely represents the countable subsets of . There is an analytic set in with all sections which represents all the subsets of , but no Borel set can uniquely represent the sets. This last theorem is generalized to higher Borel classes.

     

On the essential commutant of QC

Let (QC) (resp. ) be the -algebra generated by the Toeplitz operators QC (resp. ) on the Hardy space of the unit circle. A well-known theorem of Davidson asserts that (QC) is the essential commutant of . We show that the essential commutant of (QC) is strictly larger than . Thus the image of in the Calkin algebra does not satisfy the double commutant relation. We also give a criterion for membership in the essential commutant of (QC).

     

Free lines for homeomorphisms of the open annulus

Let be a homeomorphism of the open annulus isotopic to the identity and let be a lift of to the universal cover without fixed point. Then we show that admits a Brouwer line which is a lift of a properly imbedded line joining one end to the other in the annulus or admits a free essential simple closed curve.

     

Topological pressure via saddle points

Let be a compact locally maximal invariant set of a - diffeomorphism on a smooth Riemannian manifold . In this paper we study the topological pressure (with respect to the dynamical system ) for a wide class of Hölder continuous potentials and analyze its relation to dynamical, as well as geometrical, properties of the system. We show that under a mild non-uniform hyperbolicity assumption the topological pressure of is entirely determined by the values of on the saddle points of in . Moreover, it is enough to consider saddle points with ``large' Lyapunov exponents. We also introduce a version of the pressure for certain non-continuous potentials and establish several variational inequalities for it. Finally, we deduce relations between expansion and escape rates and the dimension of . Our results generalize several well-known results to certain non-uniformly hyperbolic systems.

     

Sur le rang du

On the rank of the -class group of . Let be a square-free positive integer and be a prime such that . We set , where or . In this paper, we determine the rank of the -class group of .

RÉSUMÉ. Soit , un corps biquadratique où ou bien un premier et étant un entier positif sans facteurs carrés. Dans ce papier, on détermine le rang du -groupe de classes de .

     

Livsic theorems for connected Lie groups

Let be a hyperbolic diffeomorphism on a basic set and let be a connected Lie group. Let be Hölder. Assuming that satisfies a natural partial hyperbolicity assumption, we show that if is a measurable solution to a.e., then must in fact be Hölder. Under an additional centre bunching condition on , we show that if assigns `weight' equal to the identity to each periodic orbit of , then for some Hölder . These results extend well-known theorems due to Livsic when is compact or abelian.

     

Torsion freeness of symmetric powers of ideals

Let be an ideal in a Noetherian commutative ring with unit, let be an integer, and let be the canonical surjective -module homomorphism from the th symmetric power of to the th power of . When or when is a perfect Gorenstein ideal of grade , we provide a necessary and sufficient condition for to be an isomorphism in terms of upper bounds for the minimal number of generators of the localisations of . When is a maximal ideal of we show that is an isomorphism if and only if is a regular local ring. In all three cases for our results yield that if is an isomorphism, then is also an isomorphism for each .

     

The kernels of radical homomorphisms and intersections of prime ideals

We establish a necessary condition for a commutative Banach algebra so that there exists a homomorphism from into another Banach algebra such that the prime radical of the continuity ideal of is not a finite intersection of prime ideals in . We prove that the prime radical of the continuity ideal of an epimorphism from onto another Banach algebra (or of a derivation from into a Banach -bimodule) is always a finite intersection of prime ideals. Under an additional cardinality condition (and assuming the Continuum Hypothesis), this necessary condition is proved to be sufficient. En route, we give a general result on norming commutative semiprime algebras; extending the class of algebras known to be normable. We characterize those locally compact metrizable spaces for which there exists a homomorphism from into a radical Banach algebra whose kernel is not a finite intersection of prime ideals.

     

Pure subrings of regular rings are pseudo-rational

We prove a generalization conjectured by Aschenbrenner and Schoutens (2003) of the Hochster-Roberts-Boutot-Kawamata Theorem: let be a pure homomorphism of equicharacteristic zero Noetherian local rings. If is regular, then is pseudo-rational, and if is moreover -Gorenstein, then it is pseudo-log-terminal.

     

One-dimensional asymptotic classes of finite structures

A collection of finite -structures is a 1-dimensional asymptotic class if for every and every formula , where :

(i)

There is a positive constant and a finite set such that for every and , either , or for some ,

(ii)

For every , there is an -formula , such that is precisely the set of with

One-dimensional asymptotic classes are introduced and studied here. These classes come equipped with a notion of dimension that is intended to provide for the study of classes of finite structures a concept that is central in the development of model theory for infinite structures. Connections with the model theory of infinite structures are also drawn.

     

Stein compacts in Levi-flat hypersurfaces

We explore connections between geometric properties of the Levi foliation of a Levi-flat hypersurface and holomorphic convexity of compact sets in , or bounded in part by . Applications include extendability of Cauchy-Riemann functions, solvability of the -equation, approximation of Cauchy-Riemann and holomorphic functions, and global regularity of the -Neumann operator.

     

The Lipschitz continuity of the distance function to the cut locus

Let be a closed submanifold of a complete smooth Riemannian manifold and the total space of the unit normal bundle of . For each , let denote the distance from to the cut point of on the geodesic with the velocity vector The continuity of the function on is well known. In this paper we prove that is locally Lipschitz on which is bounded; in particular, if and are compact, then is globally Lipschitz on . Therefore, the canonical interior metric may be introduced on each connected component of the cut locus of and this metric space becomes a locally compact and complete length space.

     

On initial segment complexity and degrees of randomness

One approach to understanding the fine structure of initial segment complexity was introduced by Downey, Hirschfeldt and LaForte. They define to mean that . The equivalence classes under this relation are the -degrees. We prove that if is -random, then and have no upper bound in the -degrees (hence, no join). We also prove that -randomness is closed upward in the -degrees. Our main tool is another structure intended to measure the degree of randomness of real numbers: the -degrees. Unlike the -degrees, many basic properties of the -degrees are easy to prove. We show that implies , so some results can be transferred. The reverse implication is proved to fail. The same analysis is also done for , the analogue of for plain Kolmogorov complexity.

Two other interesting results are included. First, we prove that for any , a -random real computable from a --random real is automatically --random. Second, we give a plain Kolmogorov complexity characterization of -randomness. This characterization is related to our proof that implies .

     

Local and global -regularity

A bounded domain is called -regular if the plurisubharmonic envelope of every continuous function on extends continuously to . We show using Gauthier's Fusion Lemma that a domain is locally -regular if and only if it is -regular.