Orbits of SU(2)-representations and minimal isometric immersions

In contrast to all known examples, we show that in the case of minimal isometric immersions of into the smallest target dimension is almost never achieved by an -equivariant immersion. We also give new criteria for linear rigidity of a fixed minimal isometric immersion of into . The minimal isometric immersions arising from irreducible SU(2)-representations are linearly rigid within the moduli space of SU(2)-equivariant immersions. Hence the question arose whether they are still linearly rigid within the full moduli space. We show that this is false by using our new criteria to construct an explicit SU(2)-equivariant immersion which is not linearly rigid. Various authors [GT], [To3], [W1] have shown that minimal isometric immersions of higher isotropy order play an important role in the study of the moduli space of all minimal isometric immersions of into . Using a new necessary and sufficient condition for immersions of isotropy order , we derive a general existence theorem of such immersions. Received: 13 May 1999 / in final form: 13 July 1999     

Maximal τ-Critical Linear Hypergraphs

 A construction using finite affine geometries is given to show that the maximum number of edges in a τ-critical linear hypergraph is (1−o(1))τ². This asymptotically answers a question of Roudneff [14], Aharoni and Ziv [1]. Received: June 28, 1999 Final version received: October 22, 1999     

The Leech lattice and complex hyperbolic reflections

We construct a natural sequence of finite-covolume reflection groups acting on the complex hyperbolic spaces ℂH ¹³, ℂH ⁹ and ℂH ⁵, and show that the 9-dimensional example coincides with the largest of the groups of Mostow [11]. Our reflection groups arise as automorphism groups of certain Lorentzian lattices over the Eisenstein integers, and we obtain our largest example by using the complex Leech lattice in a manner inspired by Conway [5]. We also construct finite-covolume reflection groups on the quaternionic hyperbolic spaces ?H ⁷, ?H ⁵ and ?H ³, again using the Leech lattice, and apply results of Borcherds [4] to obtain automorphic forms for our groups. Oblatum 25-III-1999 & 2-IX-1999?Published online: 21 February 2000     

Nonfocusing Instabilities in Coupled, Integrable Nonlinear Schrödinger pdes

nonfocusing instabilities that exist independently of the well-known modulational instability of the focusing NLS equation. The focusing versus defocusing behavior of scalar NLS fields is a well-known model for the corresponding behavior of pulse transmission in optical fibers in the anomalous (focusing) versus normal (defocusing) dispersion regime [19], [20]. For fibers with birefringence (induced by an asymmetry in the cross section), the scalar NLS fields for two orthogonal polarization modes couple nonlinearly [26]. Experiments by Rothenberg [32], [33] have demonstrated a new type of modulational instability in a birefringent normal dispersion fiber, and he proposes this cross-phase coupling instability as a mechanism for the generation of ultrafast, terahertz optical oscillations. In this paper the nonfocusing plane wave instability in an integrable coupled nonlinear Schr?dinger (CNLS) partial differential equation system is contrasted with the focusing instability from two perspectives: traditional linearized stability analysis and integrable methods based on periodic inverse spectral theory. The latter approach is a crucial first step toward a nonlinear , nonlocal understanding of this new optical instability analogous to that developed for the focusing modulational instability of the sine-Gordon equations by Ercolani, Forest, and McLaughlin [13], [14], [15], [17] and the scalar NLS equation by Tracy, Chen, and Lee [36], [37], Forest and Lee [18], and McLaughlin, Li, and Overman [23], [24]. Received February 9, 1999; accepted June 28, 1999     

Smooth Stable Planes and the Moduli Spaces of Locally Compact Translation Planes

 Smooth stable planes have been introduced in [3]. At every point p of a smooth stable plane the tangent spaces of the lines through p form a compact spread (see the definition in Section 2) on the tangent space thus defining a locally compact topological affine translation plane . We introduce the moduli space of isomorphism classes of compact spreads, . We show that for the topology of is not by constructing a sequence of non-classical spreads in that converges to the classical spread in , where . Moreover, we prove that the isomorphism type of varies continuously with the point p. Finally, we give examples of smooth affine planes which have both classical and non-classical tangent translation planes. (Received 15 April 1999; in revised form 22 October 1999)     

Halvings on small point sets

A halving is a t-design which has the same parameters as its complementary design. Together these two designs form a large set LS[2](t, k, v). There are several recursion theorems for large sets, such that a single new halving results in several new infinite families of halvings. We present new halvings with the parameters 7-(24, 10, 340), 6-(22, 9, 280), 5-(21, 10, 2184), and 5-(21, 9, 910). Recursive constructions by S. Ajoodani-Namini and G. B. Khosrovshahi [Discrete Math 135 (1994), 29–37; J. Combin. Theory A 76 (1996), 139–144] then yield that an LS[2](t, k, v) exists if and only if the parameter set is admissible for t = 6, k = 7, 8, 9, and for t ≤ 5, k ≤ 15. Thus, Hartman's conjecture is true in these cases. © 1999 John Wiley & Sons, Inc. J Combin Designs 7: 233–241, 1999     

Biorthogonal M -Channel Compactly Supported Wavelets

We study a class of M -channel subband coding schemes with perfect reconstruction. Along the lines of [8] and [10], we construct compactly supported biorthogonal wavelet bases of L ² (R) , with dilation factor M , associated to these schemes. In particular, we study the case of splines, and obtain explicitly simple expressions for all the relevant filters. The resulting wavelets have arbitrarily large regularity and we also obtain asymptotic estimates for the regularity exponent. September 17, 1998. Date revised: June 14, 1999. Date accepted: June 25, 1999.     

Analyticity and smoothing effect for the Korteweg de Vries equation with a single point singularity

We show that a solution of the Cauchy problem for the KdV equation, has a drastic smoothing effect up to real analyticity if the initial data only have a single point singularity at x = 0. It is shown that for () data satisfying the condition the solution is analytic in both space and time variable. The above condition allows us to take as initial data the Dirac measure or the Cauchy principal value of 1/x. The argument is based on the recent progress on the well-posedness result by Bourgain [2] and Kenig-Ponce-Vega [20] and a systematic use of the dilation generator . Received 22 March 1999     

On the Schwartz space of the basic affine space

Let G be the group of points of a split reductive algebraic group G over a local field k and let X = G / U where U is the group of k-points of a maximal unipotent subgroup of G. In this paper we construct a certain canonical G-invariant space (called the Schwartz space of X) of functions on X, which is an extension of the space of smooth compactly supported functions on X. We show that the space of all elements of , which are invariant under the Iwahori subgroup I of G, coincides with the space generated by the elements of the so called periodic Lusztig basis, introduced recently by G. Lusztig (cf. [10] and [11]). We also give an interpretation of this space in terms of a certain equivariant K-group (this was also done by G. Lusztig — cf. [12]). Finally we present a global analogue of , which allows us to give a somewhat non-traditional treatment of the theory of the principal Eisenstein series.     

Simple proof of the nonrationality of three-dimensional quartics

The rigidity theorem for smooth three-dimensional quartics [1] is reproved following an idea of Corti [2] and using Shokurov’s connectedness theorem. Translated fromMatematicheskie Zametki, Vol. 65, No. 5, pp. 667–673, May, 1999.     

Sharp Bounds on Geometric Permutations of Pairwise Disjoint Balls in R d

We prove that the maximum number of geometric permutations, induced by line transversals to a collection of n pairwise disjoint balls in \R ^d , is Θ (n ^d-1 ) . This improves substantially the upper bound of O(n ^2d-2 ) known for general convex sets [9]. We show that the maximum number of geometric permutations of a sufficiently large collection of pairwise disjoint unit disks in the plane is two, improving the previous upper bound of three given in [5]. Received September 21, 1998, and in revised form March 14, 1999.     

Conical equipartitions of mass distributions

A conical dissection of R ^d is a decomposition of the space into polyhedral cones. An example of a conical dissection is a fan associated to the faces of a convex polytope. Motivated by some recent questions and results about (simultaneous) conical partitions of measures by Kaneko and Kano, Bárány and Matoušek, and Bespamyatnikh et al. [2], [4], [19], we study related partition problems in higher dimensions. In the case of a single measure, several conical partition results associated to a nondegenerated pointed simplex (Δ,a) in R ⁿ are obtained with the aid of the Brouwer fixed point theorem. In the other direction, it is demonstrated that general ``symmetrical' equipartition results [21] may be used to yield, by appropriate specialization, fairly general ``asymmetric,' conical equipartitions for two or more mass distributions. Finally, the topological nature of these results is exemplified by their extension to the case of topological (projective) planes. Received December 2, 1999, and in revised form July 1, 2000. Online publication Feburary 1, 2001.     

Hamiltonian Kneser Graphs

The Kneser graph K(n,k) has as vertices the k-subsets of {1, 2, ..., n}. Two vertices are adjacent if the corresponding k-subsets are disjoint. It was recently proved by the first author [2] that Kneser graphs have Hamilton cycles for n >= 3k. In this note, we give a short proof for the case when k divides n. Received September 14, 1999     

Circulant Double Coverings of a Circulant Graph of Valency Four

Several isomorphism classes of graph coverings of a graph G have been enumerated by many authors (see [3], [8]–[15]). A covering of G is called circulant if its covering graph is circulant. Recently, the authors [4] enumerated the isomorphism classes of circulant double coverings of a certain kind, called typical, and showed that no double covering of a circulant graph of valency 3 is circulant. In this paper, the isomorphism classes of connected circulant double coverings of a circulant graph of valency 4 are enumerated. As a consequence, it is shown that no double covering of a non-circulant graph G of valency 4 can be circulant if G is vertex-transitive or G has a prime power of vertices. The first author is supported by NSF of China (No. 60473019) and by NKBRPC (2004CB318000), and the second author is supported by Com²MaC-KOSEF (R11-1999-054) in Korea.     

Asymptotic Expansion in Nonlinear Filtering with Homogenization

The problem of nonlinear filtering is studied for a class of diffusions whose statistics depend periodically on the state and a small parameter ε . Our purpose here is to show that, under some assumptions, the conditional density of the filtering problem admits an asymptotic expansion (see [2]). Accepted 9 September 1999     

The parity of the Zeckendorf sum-of-digits function

Let s(n) denote the sum of digits of the Zeckendorf representation of n and . The aim of this paper is to discuss the behaviour of $S_{q,i}(N)$. First it is shown that that the values of admit a Gaussian limit law with bounded mean and variance of order log N. Conversely, for q≤1 (mostly) has a periodic fractal structure. We also prove that which is an analogue to a well-known result by Newman [14] for binary digit expansions. Received: 15 March 1999 / Revised version: 5 November 1999     

Global well-posedness and scattering for a nonlinear Klein–Gordon system in low dimensions

This article investigates the global well-posedness and the scattering for a nonlinear Klein–Gordon system in spatial dimensions 1 and 2. We establish a Morawetz estimate for this system which is similar to the Morawetz estimate established by Nakanishi [K. Nakanishi, Energy scattering for nonlinear Klein–Gordon and Schrödinger equations in spatial dimensions 1 and 2, J. Funct. Anal. 169(1), pp. 201–225], combining this Morawetz estimate with the induction on energy argument developed by Bourgain [J. Bourgain, Global well-posedness of defocusing 3D critical NLS in the radial case, J. Am. Math. Soc. 12 (1999), pp. 145–171], the bound of a certain space-time norm and scattering result are obtained.     

On a Degree Property of Cross-Intersecting Families

Motivated by some applications in computational complexity, Razborov and Vereshchagin proved a degree bound for cross-intersecting families in [1]. We sharpen this result and show that our bound is best possible by constructing appropriate families. We also consider the case of cross-t-intersecting families. Received October 28, 1999     

Smoothness and tangent bundles of arithmetical schemes

We study a notion of quasi-smoothness which makes possible to associate a canonical tangent bundle to certain arithmetical schemes (see [V1]). In this context we prove that we can associate a jacobian ideal to any irreducible subscheme. A class of regular centers, so that quasi-smoothness is preserved by blowing-up, will be enlarged and characterized by means of their jacobian ideal and some geometrical conditions, improving the results appearing in [V1]. Received: 16 April 1999; in final form: 5 June 2000 / Published online: 25 June 2001     

Some Properties of Hadamard Matrices Coming from Dihedral Groups

 In [4], one of the authors introduced a method to construct Hadamard matrices of degree 8n+4 from the dihedral group of order 2n. Here we study some properties of this construction. Received: May 7, 1999 Final version received: February 28, 2000