*Editors*: D. Bao (San Francisco,
SFSU), D. Blecher (Houston), Bernhard G. Bodmann (Houston), H. Brezis (Paris and Rutgers),
B. Dacorogna (Lausanne), K. Davidson (Waterloo), M. Dugas (Baylor), M.
Gehrke (LIAFA, Paris7), C. Hagopian (Sacramento), R. M. Hardt (Rice), Y. Hattori
(Matsue, Shimane), W. B. Johnson (College Station), M. Rojas (College Station),
Min Ru (Houston), S.W. Semmes (Rice).

*Managing Editor*: K. Kaiser (Houston)

Houston Journal of Mathematics

*Contents*

**Hetzel, Andrew J.,**
Tennessee Tech University, Cookeville, TN 38505 (ahetzel@tntech.edu), and
**Lawson, Ashley M.,** Tennessee Tech
University, Cookeville, TN 38505.

Finite superideal domains, pp. 381-395.

ABSTRACT. We develop the basic theory of integral domains R such that for each nonzero ideal I of R, there exist only finitely many ideals J of R for which I is a subset of J, termed “finite superideal domains” (FSD's). It is shown that the class of FSD's properly encompasses both the class of Dedekind domains and the class of Cohen-Kaplansky domains (CK-domains). By characterizing FSD's in terms of special principal ideal rings (SPIR's) and finite rings, we demonstrate that the property of being an FSD is stable under the formation of localizations. We also characterize when the classical D+M construction yields an FSD and provide both a necessary condition and a sufficient condition for a monoid domain to be an FSD.

**Carmen Constantin**, Quantum Group, Department of Computer Science, University of Oxford
(i.m.carmen@gmail.com) and **Andreas Döring**, Institute for Theoretical Physics,
Department of Physics,
Friedrich-Alexander Universität Erlangen-Nürnberg,Schlossplatz 4,
91054 Erlangen, Germany
(andreas.doering@fau.de).

Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices, pp. 397-409.

ABSTRACT. Harding and Navara have shown that an orthomodular lattice L is determined up to isomorphism by the poset BL of its Boolean subalgebras. Here, we give a reasonably direct order-theoretic construction of an atomic orthomodular lattice L from the poset BL. This relates to an open problem presented by Harding and Navara. A further motivation for this line of work comes from quantum theory and the so-called topos approach, where one considers the poset of Boolean sublattices of L=PH, the projection lattice of the algebra BH of bounded operators on Hilbert space.

Mendes, Carla,
Centro de Matemática, Universidade do Minho, 4710-057 Braga, Portugal
(cmendes@math.uminho.pt).

Subdirectly irreducible double K_{m,n}-algebras, pp. 411-425.

ABSTRACT. In this paper we study subdirectly irreducible double K_{m,n}-algebras. In particular, we prove that every finitely subdirectly irreducible double K_{m,n}-algebra is subdirectly irreducible and we characterize subdirectly irreducible double K_{m,n}-algebras by determining their lattice of congruences.

**Chang, Gyu Whan,** Department of Mathematics Education, Incheon National
University, Incheon 22012, Korea**Houston, Evan,** University of North Carolina at Charlotte, Charlotte, NC 28223
(eghousto@uncc.edu), and **Park, Mi Hee,** Chung-Ang University, Seoul 156-756, Korea
(mhpark@cau.ac.kr).

Star operations on strong Mori domains, pp. 427-446

ABSTRACT. Let D be a strong Mori domain, S(D) the set of star operations
on D, and Sw(D) the subset consisting of those star operations at least as large
as the w-operation. We give a product formula for the cardinality of Sw(D),
which allows a reduction to the t-local case, we characterize when the
cardinality of Sw(D) is 2 or 3, and we prove that Sw(D[X]) and Sw(D) have the
same cardinality when the former is finite.

An explicit estimate on multiplicity truncation in the degenerated second main theorem, pp. 447-462.

ABSTRACT. Chen, Ru and Yan proved a weak Cartan-type Second Main Theorem for an algebraically non-degenerate holomorphic curve from the complex plane into a complex projective variety intersecting hypersurfaces in subgeneral position that included truncated counting functions. We improve their results by giving an explicit estimate for the level of truncation.

On entire solutions of a certain type of nonlinear differential equations, pp. 463-477.

ABSTRACT. By utilizing Nevanlinna's value distribution theory of meromorphic functions,we prove that a certain type of nonlinear differential equations has no transcendental entire solutions.

**Morales, CA,** Instituto de Matematica, UFRJ, 68530, 21945-970, Rio de Janeiro, Brazil
(morales@impa.br).

Finiteness of periods for diffeomorphisms,
pp. 479-497.

ABSTRACT. We give a sufficient condition for the finiteness of periods of a diffeomorphism. It is based on the growth of the derivative at the periodic points of nearby diffeomorphisms.

**Kentaro Saji,** Department of Mathematics, Graduate School of Science, Kobe University, Rokko, Nada, Kobe 657-8501, Japan
(saji@math.kobe-u.ac.jp).

Isotopy of Morin singularities, pp. 499-519.

ABSTRACT. We define an equivalence relation called A-isotopy between finitely determined map-germs, which is a strengthened version of A-equivalence. We consider the number of A-isotopy classes of equidimensional Morin singularities, and some other well-known low-dimensional singularities. We also give an application to stable perturbations of simple equi-dimensional map-germs.

**Royal, Jennifer, **University of Georgia, Athens, GA 30602
(jroyal@uga.edu).

Regularity of geodesics in sets of positive reach, pp. 521-535.

ABSTRACT. The question of regularity of geodesics is a central theme in geometry, having been addressed fully in the context of smooth Riemannian manifolds with and without boundary. In this paper, we examine geodesics in regular sets of positive reach (PR sets) in Euclidean space, and we prove that any geodesic in such a set has Lipschitz continuous velocity. To prove the result, we first show that the velocity of a geodesic has essentially bounded variation; we then use the geometric structure of the associated tangent and normal cones to conclude that the first derivative is Lipschitz continuous.

**Jameson Cahill,** Department of Mathematical Sciences, New Mexico State University, 1290 Frenger Mall, MSC 3MB/Science Hall
236, Las Cruces, NM 88003-8001 (jameson.cahill@gmail.com),** Peter G. Casazza**, Department of Mathematics, University of Missouri, Columbia, MO 65211-4100
(Casazzap@missouri.edu), **Jesse Peterson,
**Department of Mathematics and Statistics, Air Force Institute of Technology, WPAFB, OH 45433-7765
(jesse.peterson@afit.edu), and
**Lindsey Woodland**, (lmwvh4@gmail.com).

Phase retrieval by projections, pp. 537-558.

ABSTRACT.
The problem of recovering a vector from the absolute values of its inner products against a family of measurement vectors has been well studied in mathematics and engineering. A generalization of this phase retrieval problem also exists: recovering a vector from measurements consisting of norms of its orthogonal projections onto a family of subspaces. Much remains unknown for this more general case. Can families of subspaces for which such measurements are injective be completely classified? What is the minimal number of subspaces required to have injectivity? How closely does this problem compare to the usual phase retrieval problem with families of measurement vectors? In this paper, we answer or make incremental steps towards answering these questions. We provide several characterizations of subspaces which yield injective measurements, and through a concrete construction, we prove the surprising result that phase retrieval can be achieved with 2M-1 subspaces of arbitrary rank in a real M-dimensional vector space and 4M-3 subspaces of arbitrary rank in a complex M-dimensional vector space. Finally, we present several open problems as we discuss issues unique to the phase retrieval problem with subspaces.

**Andreas Döring,** Institut für Theoretische Physik I, Universität Erlangen-Nürnberg, Staudtstrasse 7, 91058 Erlangen, Germany
(andreas.doering@fau.de), and **Harding, John,** New Mexico State University, Las Cruces, NM 88003, USA
(jharding@nmsu.edu).

Abelian subalgebras and the Jordan structure of a von Neumann algebra, pp. 559-568.

ABSTRACT. For von Neumann algebras M, N not isomorphic to C + C and without type I_2 summands, we show that for an order-isomorphism f from the poset AbSub M of abelian von Neumann subalgebras of M to AbSub N, there is a unique Jordan *-isomorphism g from M to N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of a von Neumann algebra not isomorphic to C + C and without type I_2 summands is determined by the poset of its abelian subalgebras. This result has implications in recent approaches to foundational issues in quantum mechanics.

Two problems on power-regular operators, pp. 569-575.

ABSTRACT. We answer two questions raised by A. Atzmon in

The Chevet-Saphar tensor norms for operator spaces, pp. 577-596.

ABSTRACT. We introduce the operator space versions of the Chevet-Saphar tensor norms, and show that they share many properties with their Banach-space counterparts. Most importantly, these tensor norms are in operator space duality with the completely

Mehdi Rostami

Convolutions on the Haagerup tensor products of Fourier algebras, pp. 597-611.

ABSTRACT. The authors study ranges of maps of convolutions and notice that a certain operator algebra has an unexpected set of spectral synthesis.

**J.D. Rossi**, University of Buenos Aires, Argentina (jrossi@dm.uba.ar) and **N. Saintier**,
University of Buenos Aires and University of Gral Sarmiento, Argentina
(nsaintie@dm.uba.ar).

On the first nontrivial eigenvalue of the ∞-Laplacian with Neumann boundary conditions
, pp. 613-635.

ABSTRACT. We study the limit as p goes to infinity of the first non-zero eigenvalue λ_{p} of the p-Laplacian
with Neumann boundary conditions in a smooth bounded domain U of R^{n}.
We prove that λ_{∞}:=lim λ_{p}^{1/p}=2/diam(U), where diam(U) denotes
the diameter of U with respect to the geodesic distance in U.
We can think of λ_{∞} as the first eigenvalue of the infinity-Laplacian with Neumann boundary
conditions.
We also study the regularity of λ_{∞} as a function of the domain U proving that, under a smooth
perturbation U_{t} of U by diffeomorphisms close to the identity, there holds that
λ_{∞}(U_{t})=λ_{∞}(U)+O(t).
Although λ_{∞}(U_{t}) is in general not differentiable at t=0, we provide sufficient
geometric conditions for its differentiability with an explicit formula for the derivative.

**Michel Smith, **Department of Mathematics and Statistics, Auburn University,
Auburn, Alabama 36849
(smith01@auburn.edu) and ** Scott Varagona, **
Department of Biology, Chemistry and Mathematics, University of Montevallo, Montevallo, Alabama 35115
(svaragona@montevallo.edu).

Generalized inverse limits with N-type bonding functions,
pp. 637-657.

ABSTRACT. We construct a specific type of inverse limit with set valued bonding functions all but one of whose coordinate spaces are finite non-Hausdorff spaces. The resulting space is a metric chainable indecomposable Hausdorff continuum which is then used to show that a wide range of inverse limits with upper semi-continuous bonding functions are all homeomorphic to well known and studied chainable indecomposable metric continua.

**Alas, Ofelia T., ** Universidade de São Paulo,
05314-970 São Paulo, Brazil (alas@ime.usp.br),
**Junqueira, Lucia R., ** Universidade de São Paulo,
05314-970 São Paulo, Brazil (lucia@ime.usp.br),
** Tkachuk, Vladimir V., ** Universidad Autónoma
Metropolitana, 09340, Mexico City, Mexico (vova@xanum.uam.mx), and
** Wilson, Richard G., ** Universidad Autónoma
Metropolitana, 09340, Mexico City, Mexico (vova@xanum.uam.mx).

Discrete reflexivity in squares,
pp. 659-673.

ABSTRACT.We establish that first countability is discretely reflexive in
the class of pseudocompact spaces of character at most
ω_{1}. Given a property *P* from the list
{σ-compactness, zero-dimensionality, analyticity}, it is
shown that a space X with a countable network has *P* if and
only if the closure of D has *P* for any discrete set D⊂
X^{2}. If X is a Lindelöf Σ-space and the
closure of D is countable for every discrete subspace D ⊂
X^{2}, then X is countable. However, under CH, there
exists an example of an uncountable space X such that the closure
of D is countable for any discrete D⊂ X^{2}. We also
prove that for any space X of countable π-weight, there exists
a discrete D⊂ X^{2} such that
Δ_{X}={(x,x): x∈ X} ⊂ cl(D). Therefore,
if X has countable π-weight, then for every closed-hereditary
property *P* , if X^{2} is discretely *P*, then
the space X has *P*.

**Dimov, Georgi D.,** University of Sofia, 1164 Sofia, Bulgaria
(gdimov@fmi.uni-sofia.bg), and
**Ivanova, Elza P.,** University of Sofia, 1164 Sofia, Bulgaria
(elza@fmi.uni-sofia.bg).

Yet another duality theorem for locally compact spaces, pp. 675-700.

ABSTRACT. In 1962, H. de Vries (Compact Spaces and Compactifications, an Algebraic Approach,
Van Gorcum, The Netherlands) proved a duality theorem for the category HC of compact
Hausdorff spaces and continuous maps. In 2010 this duality theorem was extended by G. Dimov
(A de Vries-type duality theorem for the category of locally compact spaces and continuous
maps - I, Acta Math. Hungarica, 129, 314-349) to the category HLC of locally compact
Hausdorff spaces and continuous maps. The composition of the morphisms of the dual categories,
obtained in the papers cited above, differs from the set-theoretic one. Here we obtain a new
category MDHLC dual to the category HLC; the composition of the MDHLC-morphisms is a more natural
one but the MDHLC-morphisms are multi-valued maps.

**Michał Ryszard Wójcik,** Institute of Geography and Regional Development,
University of Wrocław,
pl. Uniwersytecki 1, 50-137 Wrocław, Poland (michal.wojcik@uni.wroc.pl).

The generalized Aron-Maestre comb, pp. 701-707

ABSTRACT. This note is inspired by the connected, not separably connected metric space constructed by Aron and Maestre in 2003. It is a comb-like space embedded in a Banach space. The construction explicitly uses a Vitali set and takes up two printed pages. We present an isometric half-a-page version, with no use of the axiom of choice, as a subspace of the plane whose topology is finer than the Euclidean topology but coarser than the river metric topology, making it easy to visualize. Using a Vitali set we show it to be absolutely F sigma. We also generalize this construction using topological formulations and arguments instead of the tricks which make it so short to write, which is still shorter than the original. We make no external references.

**Themba, Dube,** Department of Mathematical Sciences, University of South Africa, P. O. Box 392, 0003 Pretoria, SOUTH AFRICA
(dubeta@unisa.ac.za) and **Jissy, Nsonde-Nsayi**, Department of Mathematical Sciences, University of South Africa, P. O. Box 392, 0003 Pretoria, SOUTH AFRICA
(jissy@aims.ac.za).

Another ring-theoretic characterization of boundary spaces, pp. 709-722.

ABSTRACT. A Tychonoff space *X* is called a boundary space if the boundary of every zero-set of *X* is contained in a zero-set with empty interior. These spaces were studied in [F. Azarpanah and M. Karavan, On nonregular ideals and *z*-ideals in *C(X)*, Czechoslovak Math. J. 55 (2005), 397-407.]. They characterized them as those *X* for which every prime ideal of *C(X)* that consists entirely of zero-divisors is a *d*-ideal. In this note we give another ring-theoretic characterization. Call a ring *A* a boundary ring if, for every *a*âˆˆ*A*, the ideal *M(a) + *Ann*(a)* contains a non-divisor of zero, where *M(a)* designates the intersection of all maximal ideals of *A* containing *a*, and Ann(*a*) is the annihilator of *a*. We show that *X* is a boundary space if and only if *C(X)* is a boundary ring. We also show that if *X*Ã—*Y* is *z*-embedded in *Î²X*Ã—*Î²Y*, then *X* and *Y* are boundary spaces if *X*Ã—*Y* is a boundary space.