Analysis of an Inverse Problem Arising in Photolithography

We consider the inverse problem of determining an optical mask that produces a desired circuit pattern in photolithography. We set the problem as a shape design problem in which the unknown is a two-dimensional domain. The relationship between the target shape and the unknown is modeled through diffractive optics. We develop a variational formulation that is well-posed and propose an approximation that can be shown to have convergence properties. The approximate problem can serve as a foundation to numerical methods.Comment: 28 pages, 1 figur

A characterization of Schauder frames which are near-Schauder bases

A basic problem of interest in connection with the study of Schauder frames in Banach spaces is that of characterizing those Schauder frames which can essentially be regarded as Schauder bases. In this paper, we give a solution to this problem using the notion of the minimal-associated sequence spaces and the minimal-associated reconstruction operators for Schauder frames. We prove that a Schauder frame is a near-Schauder basis if and only if the kernel of the minimal-associated reconstruction operator contains no copy of $c_0$. In particular, a Schauder frame of a Banach space with no copy of $c_0$ is a near-Schauder basis if and only if the minimal-associated sequence space contains no copy of $c_0$. In these cases, the minimal-associated reconstruction operator has a finite dimensional kernel and the dimension of the kernel is exactly the excess of the near-Schauder basis. Using these results, we make related applications on Besselian frames and near-Riesz bases.Comment: 12 page

On peak phenomena for non-commutative H∞H^\infty

A non-commutative extension of Amar and Lederer's peak set result is given. As its simple applications it is shown that any non-commutative $H^\infty$-algebra $H^\infty(M,\tau)$ has unique predual,and moreover some restriction in some of the results of Blecher and Labuschagne are removed, making them hold in full generality.Comment: final version (the presentation of some part is revised and one reference added

Shift invariant preduals of ℓ₁(ℤ)

The Banach space ℓ<sub>1</sub>(ℤ) admits many non-isomorphic preduals, for example, C(K) for any compact countable space K, along with many more exotic Banach spaces. In this paper, we impose an extra condition: the predual must make the bilateral shift on ℓ<sub>1</sub>(ℤ) weak<sup>*</sup>-continuous. This is equivalent to making the natural convolution multiplication on ℓ<sub>1</sub>(ℤ) separately weak*-continuous and so turning ℓ<sub>1</sub>(ℤ) into a dual Banach algebra. We call such preduals <i>shift-invariant</i>. It is known that the only shift-invariant predual arising from the standard duality between C<sub>0</sub>(K) (for countable locally compact K) and ℓ<sub>1</sub>(ℤ) is c<sub>0</sub>(ℤ). We provide an explicit construction of an uncountable family of distinct preduals which do make the bilateral shift weak<sup>*</sup>-continuous. Using Szlenk index arguments, we show that merely as Banach spaces, these are all isomorphic to c<sub>0</sub>. We then build some theory to study such preduals, showing that they arise from certain semigroup compactifications of ℤ. This allows us to produce a large number of other examples, including non-isometric preduals, and preduals which are not Banach space isomorphic to c<sub>0</sub>

A topological group observation on the Banach-Mazur separable quotient problem

The Separable Quotient Problem of Banach and Mazur asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space. It has remained unsolved for 85 years but has been answered in the affirmative for special cases such as reflexive Banach spaces. An affirmative answer to the Separable Quotient Problem would obviously imply that every infinite-dimensional Banach space has a quotient topological group which is separable, metrizable, and infinite-dimensional in the sense of topology. In this paper it is proved that every infinite-dimensional Banach space has as a quotient group the separable metrizable infinite-dimensional topological group,