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.     

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 ℓ₁.     

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.      

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.     

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.     

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.     

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 .     

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     

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:

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.     

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.     

Borel equivalence relations between <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript> and <Emphasis Type="Italic">ℓ</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

In this paper, we show that, for each p 〉 1, there are continuum many Borel equivalence relations between Rω/l1 and Rω/p ordered by ≤B which are pairwise Borel incomparable.     

<Emphasis Type="Italic">q</Emphasis>-extensions of Dougall’s bilateral <Subscript>2</Subscript>H<Subscript>2</Subscript>-series

Transformations for a bilateral ₂ ψ ₂-series are investigated by means of Abel’s lemma on summation by parts. Two q-extensions of Dougall’s classical identity for bilateral ₂H₂-sum are established. As by-products, the Rogers–Fine identity is recovered and a new proof is presented for Bailey’s identity of bilateral well-poised ₆ ψ ₆-series.     

The James constant for the <Emphasis Type="Italic">l</Emphasis><Subscript>3</Subscript> − <Emphasis Type="Italic">l</Emphasis><Subscript>1</Subscript> space

In this note, the exact value of the James constant for the l₃-l₁ space is obtained, J(l₃-l₁)=1.5573…. This result improves the known inequality, J(l₃-l₁)≤4/³√10, which was given by Dhompongsa, Piraisangjun and Saejung.     

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.     

Seas of squares with sizes from a Π<Stack><Subscript>1</Subscript><Superscript>0</Superscript></Stack> set

A family of sets is union-free if there are no three distinct sets in the family such that the union of two of the sets is equal to the third set. Kleitman proved that every union-free family has size at most (1+o(1))( _n/2 ⁿ ). Later, Burosch–Demetrovics–Katona–Kleitman–Sapozhenko asked for the number α(n) of such families, and they proved that \({2^{\left( {\begin{array}{*{20}{c}} n \\ {n/2} \end{array}} \right)}} \leqslant \alpha \left( n \right) \leqslant {2^{2\sqrt 2 \left( {\begin{array}{*{20}{c}} n \\ {n/2} \end{array}} \right)\left( {1 + o\left( 1 \right)} \right)}}\) They conjectured that the constant \(2\sqrt 2 \) can be removed in the exponent of the right-hand side. We prove their conjecture by formulating a new container-type theorem for rooted hypergraphs.     

<Emphasis Type="Italic">c</Emphasis><Subscript>0</Subscript>-Singular and <Emphasis Type="Italic">ℓ</Emphasis><Subscript>1</Subscript>-singular operators between vector-valued Banach lattices

Given an operator T : X → Y between Banach spaces, and a Banach lattice E consisting of measurable functions, we consider the point-wise extension of the operator to the vector-valued Banach lattices T _E : E(X) → E(Y) given by T _E (f)(ω) = T(f(ω)). It is proved that for any Banach lattice E which does not contain c ₀, the operator T is an isomorphism on a subspace isomorphic to c ₀ if and only if so is T _E . An analogous result for invertible operators on subspaces isomorphic to ℓ ₁ is also given.     

Siegmund Duality for Continuous Time Markov Chains on ℤ<Stack><Subscript>+</Subscript><Superscript>d</Superscript></Stack>

For the continuous time Markov chain with transition function P(t) on Z₊^d, we give the necessary and sufficient conditions for the existence of its Siegmund dual with transition function P(t). If Q, the q-matrix of P(t), is uniformly bounded, we show that the Siegmund dual relation can be expressed directly in terms of q-matrices, and a sufficient condition under which the Q-function is the Siegmund dual of some Q-function is also given.     

Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25