Moduli spaces ℳ<Subscript>2,1</Subscript> and ℳ<Subscript>3,1</Subscript>

The cell structure of the spaces ℳ_2,1 and ℳ_3,1 is considered. These are the spaces of complex curves of genus 2 and 3 with one marked point. For the space ℳ_2,1, nine cells of the highest dimension 8 are described and their adjacency is studied. For the space ℳ_3,1, a list of all 1726 cells of the highest dimension 14 (with orientation) is obtained. The list of adjacent couples of cells is also obtained. These lists can be found on the web.     

Approximation Representations for Δ<Subscript>2</Subscript> Reals

We study ₂ reals x in terms of how they can be approximated symmetrically by a computable sequence of rationals. We deal with a natural notion of approximation representation and study how these are related computationally for a fixed x. This is a continuation of earlier work; it aims at a classification of ₂ reals based on approximation and it turns out to be quite different than the existing ones (based on information content etc.)Mathematics Subject Classification (2000): 03F60, 03D30     

Combined ℓ<Subscript>2</Subscript> data and gradient fitting in conjunction with ℓ<Subscript>1</Subscript> regularization

We are interested in minimizing functionals with ℓ₂ data and gradient fitting term and ℓ₁ regularization term with higher order derivatives in a discrete setting. We examine the structure of the solution in 1D by reformulating the original problem into a contact problem which can be solved by dual optimization techniques. The solution turns out to be a ’smooth’ discrete polynomial spline whose knots coincide with the contact points while its counterpart in the contact problem is a discrete version of a spline with higher defect and contact points as knots. In 2D we modify Chambolle’s algorithm to solve the minimization problem with the ℓ₁ norm of interacting second order partial derivatives as regularization term. We show that the algorithm can be implemented efficiently by applying the fast cosine transform. We demonstrate by numerical denoising examples that the ℓ₂ gradient fitting term can be used to avoid both edge blurring and staircasing effects.      

Stabilization of Linear Switched Delay Systems: ℋ<Subscript>2</Subscript> and ℋ<Subscript>∞</Subscript> Methods

This paper presents new results pertaining to the delay-dependent stability and control synthesis of a class of linear switched continuous-time systems with time-varying delays. A new state transformation is introduced to exhibit the delay-dependent dynamics in the slow-time scale. For stability, we construct an appropriate selective Lyapunov functional to derive delay-dependent LMI-based sufficient conditions under arbitrary switching and without relying to overbounding. For the control synthesis, we design switched feedback schemes based on quadratic ℋ₂, ℋ_∞ and simultaneous ℋ₂/ℋ_∞ performance criteria. Under the developed transformation, it is established that both the instantaneous and delayed feedback control yield identical results. Numerical examples are presented to illustrate the analytical development.     

Distance-Regular Graph with <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript> > 1 and <Emphasis Type="Italic">a</Emphasis><Subscript>1</Subscript> = 0 < <Emphasis Type="Italic">a</Emphasis><Subscript>2</Subscript>

Let Γ be a distance-regular graph of diameter d ≥ 3 with c ₂ > 1. Let m be an integer with 1 ≤ m ≤ d − 1. We consider the following conditions:

Containment of c<Subscript>0</Subscript> and ℓ<Subscript>1</Subscript> in π<Subscript>1</Subscript>(<Emphasis Type="Italic">E,F</Emphasis>)

Suppose π₁(E, F) is the space of all absolutely 1-summing operators between two Banach spacesE andF. We show that ifF has a copy of c₀, then π₁ (E, F) will have a copy of c₀, and under some conditions ifE has a copy of ℓ₁ then π₁ (E, F) would have a complemented copy of ℓ₁.     

Topological recursion relation for <Emphasis Type="Italic">ψ</Emphasis><Subscript>1</Subscript><Emphasis Type="Italic">ψ</Emphasis><Subscript>2</Subscript> in

We give the definition of the full potential with descendants, which is a genus expansion of the Barannikov-Kontsevich solution of the WDVV equation. This potential satisfies the Getzler relation, which comes from the geometry of the moduli space of curves Open image in new window .     

Quincunx multiresolution analysis for <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℚ<Stack><Subscript>2</Subscript><Superscript>2</Superscript></Stack>)

With an eye on applications in quantum mechanics and other areas of science, much work has been done to generalize traditional analytic methods to p-adic systems. In 2002 the first paper on p-adic wavelets was published. Since then p-adic wavelet sets, multiresolution analyses, and wavelet frames have all been introduced. However, so far all constructions have involved dilations by p. This paper presents the first construction of a p-adic wavelet system with a more general matrix dilation, laying the foundation for further work in this direction.     

Dyadic Diaphony of Digital Nets Over ℤ<Subscript>2</Subscript>

The dyadic diaphony, introduced by Hellekalek and Leeb, is a quantitative measure for the irregularity of distribution of point sets in the unit-cube. In this paper we study the dyadic diaphony of digital nets over ℤ₂. We prove an upper bound for the dyadic diaphony of nets and show that the convergence order is best possible. This follows from a relation between the dyadic diaphony and the discrepancy. In order to investigate the case where the number of points is small compared to the dimension we introduce the limiting dyadic diaphony, which is defined as the limiting case where the dimension tends to infinity. We obtain a tight upper and lower bound and we compare this result with the limiting dyadic diaphony of a random sample.The first author is supported by the Australian Research Council under its Center of Excellence Program.The second author is supported by the Austrian Research Foundation (FWF), Project S 8305 and Project P17022-N12.     

Simple ℤ<Subscript>2</Subscript>-actions twisted by aperiodic automorphisms

We construct a simple transformation whose centralizer is isomorphic to (?)² ? _A ?, where A is an aperiodic automorphism of ?². As a corollary we obtain an example of a ?²-action \({({T_g})_{g \in {Z^2}}}\) with minimal self-joinings which is conjugate to the (twisted by A) action \({({T_{Ag}})_{g \in {Z^2}}}\). This answers a question of E. Glasner.     

New multiple <Subscript>6</Subscript><Emphasis Type="Italic">ψ</Emphasis><Subscript>6</Subscript> summation formulas and related conjectures

Three new summation formulas for ₆ ψ ₆ bilateral basic hypergeometric series attached to root systems are presented. Remarkably, two of these formulae, labelled by the A_2n−1 and A_2n root systems, can be reduced to multiple ₆ φ ₅ sums generalising the well-known van Diejen sum. This latter sum serves as the weight-function normalisation for the BC _n q-Racah polynomials of van Diejen and Stokman. Two ₈ φ ₇-level extensions of the multiple ₆ φ ₅ sums, as well as their elliptic analogues, are conjectured. This opens up the prospect of constructing novel A-type extensions of the Koornwinder–Macdonald theory.     

On estimates for the Fourier-Bessel integral transform in the space <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(ℝ<Subscript>+</Subscript>)

Two estimates useful in applications are proved for the Fourier-Bessel integral transform in L ₂(?₊) as applied to some classes of functions characterized by a generalized modulus of continuity.     

The Algorithm Z and Ramanujan’s <Subscript>1</Subscript><Emphasis Type="Italic">ψ</Emphasis><Subscript>1</Subscript> summation

We use the Algorithm Z on partitions due to Zeilberger, in a variant form, to give a combinatorial proof of Ramanujan’s ₁ ψ ₁ summation formula.     

GL<Subscript>2</Subscript>(ℂ)-orbits of binary forms

In the present paper we study the orbits of action of the group GL₂(ℂ) on the space of binary forms. The main result of the paper is the proof of the criterion which divides the GL₂(ℂ)-orbits of binary forms.     

Eisenstein series associated with Γ<Subscript>0</Subscript>(2)

In this paper, we define the normalized Eisenstein series ℘, e, and associated with Γ₀(2), and derive three differential equations satisfied by them from some trigonometric identities. By using these three formulas, we define a differential equation depending on the weights of modular forms on Γ₀(2) and then construct its modular solutions by using orthogonal polynomials and Gaussian hypergeometric series. We also construct a certain class of infinite series connected with the triangular numbers. Finally, we derive a combinatorial identity from a formula involving the triangular numbers.      

A volume formula for ℤ<Subscript>2</Subscript>-symmetric spherical tetrahedra

We obtain formulas for the volume of a spherical tetrahedron with ℤ₂-symmetry realized as rotation about the axis passing through the midpoints of a pair of skew edges. We show the dependence of the volume formula on the edge lengths and dihedral angles of the tetrahedron. Several different formulas result whose scopes are determined by the geometric characteristics of the tetrahedron.     

Function spaces not containing ℓ<Subscript>1</Subscript>

For Ω bounded and open subset of andX a reflexive Banach space with 1-symmetric basis, the function spaceJF _X (Ω) is defined. This class of spaces includes the classical James function space. Every member of this class is separable and has non-separable dual. We provide a proof of topological nature thatJF _X (Ω) does not contain an isomorphic copy of ℓ₁. We also investigate the structure of these spaces and their duals.     

A Ring Theoretic Construction of Hadamard Difference Sets in ℤ<Subscript>8</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>×ℤ<Subscript>2</Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let be the Galois ring of characteristic 2³ and rank n and let . We give an explicit construction of Hadamard difference sets in .}Research supported by NSA grant MDA 904-02-1-0080.     

Complex lines in complex hyperbolic space <Emphasis Type="Italic">H</Emphasis><Stack><Subscript>ℂ</Subscript><Superscript>2</Superscript></Stack>

Let p ₁, p ₂, p ₃, p ₄ be four pairwise distinct points in the boundary of complex hyperbolic 2-space H _ℂ² and any three points do not lie in the same C-circle. We show that we are always able to group the four points into two classes such that each class contains two points, the two complex lines spanned by each class are ultra-parallel or intersect. As an application, we can simplify the discussion in the paper [7], in which Parker and Platis used the global geometry coordinates to describe the Falbel’s cross-ratio variety of the four pairwise distinct points on the ∂H _ℂ².     

Approximation of the classes <Emphasis Type="Italic">C</Emphasis><Stack><Subscript>β</Subscript><Superscript>ψ</Superscript></Stack><Emphasis Type="Italic">H</Emphasis><Subscript>ω</Subscript> by generalized Zygmund sums

We obtain asymptotic equalities for the least upper bounds of approximations by Zygmund sums in the uniform metric on the classes of continuous 2π-periodic functions whose (ψ, β)-derivatives belong to the set H _ω in the case where the sequences ψ that generate the classes tend to zero not faster than a power function.