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 Km,n-algebras, pp. 411-425.
ABSTRACT. In this paper we study subdirectly irreducible double Km,n-algebras. In particular, we prove that every finitely subdirectly irreducible double Km,n-algebra is subdirectly irreducible and we characterize subdirectly irreducible double Km,n-algebras by determining their lattice of congruences.
Chang, Gyu Whan, Department of Mathematics Education, Incheon National
University, Incheon 22012, Korea
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.
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
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.
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).
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).
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).
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).
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).
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⊂
X2. If X is a Lindelöf Σ-space and the
closure of D is countable for every discrete subspace D ⊂
X2, 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⊂ X2. We also
prove that for any space X of countable π-weight, there exists
a discrete D⊂ X2 such that
ΔX={(x,x): x∈ X} ⊂ cl(D). Therefore,
if X has countable π-weight, then for every closed-hereditary
property P , if X2 is discretely P, then
the space X has P.
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.
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.
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.