On the Number of Topological Types Occurring in a Parameterized Family of Arrangements

Let be an o-minimal structure over ℝ, a closed definable set, and

On Optimal 4-Dimensional Metrics

We completely determine, up to homeomorphism, which simply connected compact oriented 4-manifolds admit scalar-flat, anti-self-dual Riemannian metrics. The key new ingredient is a proof that the connected sum of five reverse-oriented complex projective planes admits such metrics. Supported in part by NSF grant DMS-0604735.     

( m,n)-Equidista nt Sets i n $\ mathbb{R}^{k},\ mathbb{S}^{k}$ , a nd ℙk

We call a metric space X (m,n)-equidistant if, when A⊆X has exactly m points, there are exactly n points in X each of which is equidistant from (the points of) A. We prove that, for k≥2, the Euclidean space ℝ ^k contains an (m,1)-equidistant set if and only if k≥m. Although the sphere is (3,2)-equidistant, and ℝ⁴ contain no (4,2)-equidistant sets. We discuss related results about projective spaces, and state a conjecture about analogous to the Double Midset Conjecture.     

Shellable Complexes and Topology of Diagonal Arrangements

We prove that if a simplicial complex Δ is shellable, then the intersection lattice L _Δ for the corresponding diagonal arrangement is homotopy equivalent to a wedge of spheres. Furthermore, we describe precisely the spheres in the wedge, based on the data of shelling. Also, we give some examples of diagonal arrangements  where the complement is K(π,1), coming from rank-3 matroids. This work forms part of the author’s doctoral dissertation at the University of Minnesota, supervised by Vic Reiner, and partially supported by NSF grant DMS-0245379.     

On cyclotomic schemes over finite near-fields

We introduce a concept of cyclotomic association scheme over a finite near-field . It is proved that any isomorphism of two such nontrivial schemes is induced by a suitable element of the group AGL(V), where V is the linear space associated with . A sufficient condition on a cyclotomic scheme that guarantee the inclusion where is a finite field with elements, is given. I. Ponomarenko partially supported by RFFI, grants 03-01-00349, NSH-2251.2003.1.     

Region-Fault Tolerant Geometric Spanners

We introduce the concept of region-fault tolerant spanners for planar point sets and prove the existence of region-fault tolerant spanners of small size. For a geometric graph on a point set P and a region F, we define to be what remains of after the vertices and edges of intersecting F have been removed. A  -fault tolerant t-spanner is a geometric graph  on P such that for any convex region F, the graph is a t-spanner for , where is the complete geometric graph on P. We prove that any set P of n points admits a -fault tolerant (1+ε)-spanner of size for any constant ε>0; if adding Steiner points is allowed, then the size of the spanner reduces to  , and for several special cases, we show how to obtain region-fault tolerant spanners of size without using Steiner points. We also consider fault-tolerant geodesic t -spanners: this is a variant where, for any disk D, the distance in between any two points u,v∈P∖D is at most t times the geodesic distance between u and v in ℝ²∖D. We prove that for any P, we can add Steiner points to obtain a fault-tolerant geodesic (1+ε)-spanner of size  . M.A. Abam was supported by the Netherlands’ Organisation for Scientific Research (NWO) under project no. 612.065.307 and by the MADALGO Center for Massive Data Algorithmics, a Center of the Danish National Research Foundation. M. de Berg was supported by the Netherlands’ Organisation for Scientific Research (NWO) under project no. 639.023.301. M. Farshi was supported by Ministry of Science, Research and Technology of I.R. Iran. NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence program.     

The critical groups of a family of graphs and elliptic curves over finite fields

Let q be a power of a prime, and E be an elliptic curve defined over  . Such curves have a classical group structure, and one can form an infinite tower of groups by considering E over field extensions for all k≥1. The critical group of a graph may be defined as the cokernel of L(G), the Laplacian matrix of G. In this paper, we compare elliptic curve groups with the critical groups of a certain family of graphs. This collection of critical groups also decomposes into towers of subgroups, and we highlight additional comparisons by using the Frobenius map of E over  . This work was partially supported by the NSF, grant DMS-0500557 during the author’s graduate school at the University of California, San Diego, and partially supported by an NSF Postdoctoral Fellowship.     

Slices of Essentially Algebraic Categories

This paper is a contribution to the theory of functor slices of J. Sichler and V. Trnková. For every ordinal α we introduce a basket , prove that every essentially algebraic category of height α is a slice of , characterize small slices of and give a common generalization of known results about slices of the algebraic basket .      

Relations between different types of spectra and spectral characterizations

In the study of the asymptotic behaviour of solutions of differential-difference equations the -spectrum has been useful, where and implies Fourier transform , with given , φ∈L ^∞(ℝ,X), X a Banach space, (half)line. Here we study and related concepts, give relations between them, especially weak Laplace half-line spectrum of φ, and thus ⊂ classical Beurling spectrum = Carleman spectrum =  ; also  = Beurling spectrum of “φ modulo ” (Chill-Fasangova). If satisfies a Loomis type condition (L _U ), then countable and uniformly continuous ∈U are shown to imply ; here (L _U ) usually means , indefinite integral Pf of f in U imply Pf in (the Bohl-Bohr theorem for = almost periodic functions, U=bounded functions). This spectral characterization and other results are extended to unbounded functions via mean classes , ℳ ^m U ((2.1) below) and even to distributions, generalizing various recent results for uniformly continuous bounded φ. Furthermore for solutions of convolution systems S*φ=b with in some we show . With these above results, one gets generalizations of earlier results on the asymptotic behaviour of solutions of neutral integro-differential-difference systems. Also many examples and special cases are discussed.     

On sum-product bases

We investigate additive-multiplicative bases in . Let , s>2, and . It is proved that , provided min {|B| ^s/2|A|^(s−2)/2,|A| ^s/2|B|^(s−2)/2}>p ^s/2. This note is supported by “Balaton Program Project” and OTKA grants K 61908, K 67676.     

Wavelet Bases for Confinements of the Infrared Divergence

We propose the construction of wavelet bases with pseudo-polynomials adapted to the homogeneous Sobolev spaces , s−n/2∈ℕ. They provide a confinement of the infrared divergence by decomposing as a direct sum X ⊕ Y where X is a “small” space which carries the divergence and Y can be embedded in . In the case of we also construct such an orthonormal basis, which provides a confinement of the Mumford process.     

Plurisubharmonic Functions on the Octonionic Plane and <Emphasis Type="Italic">Spin</Emphasis>(9)-Invariant Valuations on Convex Sets

A new class of plurisubharmonic functions on the octonionic plane is introduced. An octonionic version of theorems of A.D. Aleksandrov (Vestnik Leningrad. Univ. Ser. Mat. Meh. Astr. 13(1):5–24, 1958) and Chern-Levine-Nirenberg (Global Analysis, pp. 119–139, 1969), and Błocki (Proc. Am. Math. Soc. 128(12):3595–3599, 2000) are proved. These results are used to construct new examples of continuous translation invariant valuations on convex subsets of . In particular, a new example of Spin(9)-invariant valuation on ℝ¹⁶ is given. Partially supported by ISF grant 1369/04.     

Versal deformations and versality in central extensions of Jacobi schemes

Let be the scheme of the laws defined by the Jacobi identities on with a field. A deformation of , parametrized by a local ring A, is a local morphism from the local ring of at ϕ _m to A. The problem of classifying all the deformation equivalence classes of a Lie algebra with given base is solved by “versal” deformations. First, we give an algorithm for computing versal deformations. Second, we prove there is a bijection between the deformation equivalence classes of an algebraic Lie algebra ϕ _m = R ⋉ φ _n in and its nilpotent radical φ _n in the R-invariant scheme with reductive part R, under some conditions. So the versal deformations of ϕ _m in are deduced from those of φ _n in , which is a more simple problem. Third, we study versality in central extensions of Lie algebras. Finally, we calculate versal deformations of some Lie algebras. Supported by the EC project Liegrits MCRTN 505078.     

Restriction matrices for numerically exploiting symmetry

In this paper we develop a technique for exploiting symmetry in the numerical treatment of boundary value problems (BVP) and eigenvalue problems which are invariant under a finite group of congruences of . This technique will be based upon suitable restriction matrices strictly related to a system of irreducible matrix representation of . Both Abelian and non-Abelian finite groups are considered. In the framework of symmetric Galerkin boundary element method (SGBEM), where the discretization matrices are typically full, to increase the computational gain we couple Panel Clustering Method [30] and Adaptive Cross Approximation algorithm [13] with restriction matrices introduced in this paper, showing some numerical examples. Applications of restriction matrices to SGBEM under the weaker assumption of partial geometrical symmetry, where the boundary has disconnected components, one of which is invariant, are proposed. The paper concludes with several numerical tests to demonstrate the effectiveness of the introduced technique in the numerical resolution of Dirichlet or Neumann invariant BVPs, in their differential or integral formulation.      

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.     

Complete surfaces of constant curvature in H<Superscript>2</Superscript> × R and S<Superscript>2</Superscript> × R

We study isometric immersions of surfaces of constant curvature into the homogeneous spaces and . In particular, we prove that there exists a unique isometric immersion from the standard 2-sphere of constant curvature c > 0 into and a unique one into when c > 1, up to isometries of the ambient space. Moreover, we show that the hyperbolic plane of constant curvature c < −1 cannot be isometrically immersed into or . J.A. Aledo was partially supported by Ministerio de Education y Ciencia Grant No. MTM2004-02746 and Junta de Comunidades de Castilla-La Mancha, grant no. PAI-05-034. J.M. Espinar and J.A. Gálvez were partially supported by Ministerio de Education y Ciencia grant no. MTM2004-02746 and Junta de Andalucía Grant No. FQM325.     

Constructions of p-ary Quadratic Bent Functions

Bent functions have many applications in the fields of coding theory, communications and cryptography. This paper studies the constructions of bent functions having the form for odd n and for even n, over the finite field of odd characteristic p, where . Based on the irreducibility of some polynomials on , we focus on characterizing the bent functions for n=p ^v q ^r and n=2p ^v q ^r , where is an odd prime and p a primitive root modulo q ². Moreover, the enumerations of those functions are also considered. Partially supported by the NSF of China under Grants No. 60603012 and No. 60573053.     

Beurling Zeta Functions, Generalised Primes, and Fractal Membranes

We study generalised prime systems , with tending to infinity) and the associated Beurling zeta function . Under appropriate assumptions, we establish various analytic properties of , including its analytic continuation, and we characterise the existence of a suitable generalised functional equation. In particular, we examine the relationship between a counterpart of the Prime Number Theorem (with error term) and the properties of the analytic continuation of . Further we study ‘well-behaved’ g-prime systems, namely, systems for which both the prime and integer counting function are asymptotically well-behaved. Finally, we show that there exists a natural correspondence between generalised prime systems and suitable orders on . Some of the above results are relevant to the second author’s theory of ‘fractal membranes’, whose spectral partition functions are given by Beurling-type zeta functions, as well as to joint work of that author and R. Nest on zeta functions attached to quasicrystals.The work of M. L. Lapidus was partially supported by the U. S. National Science Foundation under grant DMS-0070497.     

Exotic smooth structures on small 4-manifolds

Let M be either or . We construct the first example of a simply-connected irreducible symplectic 4-manifold that is homeomorphic but not diffeomorphic to M. Dedicated to Ronald J. Stern on the occasion of his sixtieth birthday Mathematics Subject Classification (2000)  Primary 57R55; Secondary 57R17, 57M05     

Poisson Kernel and Green Function of the Ball in Real Hyperbolic Spaces

Let (X _t ) _t⩾0 be the n-dimensional hyperbolic Brownian motion, that is the diffusion on the real hyperbolic space having the Laplace–Beltrami operator as its generator. The aim of the paper is to derive the formulas for the Gegenbauer transform of the Poisson kernel and the Green function of the ball for the process (X _t ) _t⩾0. Under additional hypotheses we prove integral representations for the Poisson kernel. This yields explicit formulas in and spaces for the Poisson kernel and the Green function as well.