Symmetric functions and the phase problem in crystallography
Authors:
J. Buhler and Z. Reichstein
Journal:
Trans. Amer. Math. Soc. 357 (2005), 23532377
MSC (2000):
Primary 05E05, 13A50, 13P99, 20C10
Published electronically:
August 11, 2004
MathSciNet review:
2140442
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: The calculation of crystal structure from Xray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with equal atoms in the unit cell, with small. We rephrase the problem as a question about multiplicative invariants for a particular finite group action. We show that the absolute values form a generating set for the field of invariants of this action, and consider the problem of making this theorem constructive and practical; the most promising approach for deriving explicit formulas uses SAGBI bases.
 [BCP]
W. Bosma, J. Cannon, C. Playoust, The Magma algebra system. I. The user language, Computational algebra and number theory (London, 1993). J. Symbolic Comput. 24 (1997), no. 34, 235265.
 [Da]
John
Dalbec, Multisymmetric functions, Beiträge Algebra Geom.
40 (1999), no. 1, 27–51. MR 1678567
(2000f:05084)
 [EM]
Shizuo
Endô and Takehiko
Miyata, Quasipermutation modules over finite groups, J. Math.
Soc. Japan 25 (1973), 397–421. MR 0318276
(47 #6823)
 [F]
Daniel
R. Farkas, Reflection groups and multiplicative invariants,
Rocky Mountain J. Math. 16 (1986), no. 2,
215–222. MR
843049 (87k:20085), http://dx.doi.org/10.1216/RMJ1986162215
 [Gia]
C. Giacovazzo, Direct Phasing in Crystallography, Oxford University Press, 1998.
 [Ha]
H. Hauptman, The phase problem of xray crystallography, Rep. Prog. Phys. (1991), 14271454.
 [HGXB]
H. Hauptman, D. Y. Guo, H. Xu, R. H. Blessing, Algebraic Direct Methods for FewAtom Structure Models, Acta Crystallographica A58 (2002), 361369.
 [HK]
Mowaffaq
Hajja and Mingchang
Kang, Twisted actions of symmetric groups, J. Algebra
188 (1997), no. 2, 626–647. MR 1435378
(98b:13003), http://dx.doi.org/10.1006/jabr.1996.6857
 [KM]
Deepak
Kapur and Klaus
Madlener, A completion procedure for computing a canonical basis
for a 𝑘subalgebra, Computers and mathematics (Cambridge, MA,
1989) Springer, New York, 1989, pp. 1–11. MR 1005954
(90g:13001)
 [L]
Nicole
Marie Anne Lemire, Reduction in the rationality problem for
multiplicative invariant fields, J. Algebra 238
(2001), no. 1, 51–81. MR 1822183
(2002b:13009), http://dx.doi.org/10.1006/jabr.2000.8652
 [M]
Jörn
MüllerQuade and Rainer
Steinwandt, Gröbner bases applied to finitely generated field
extensions, J. Symbolic Comput. 30 (2000),
no. 4, 469–490. MR 1784753
(2001i:13040), http://dx.doi.org/10.1006/jsco.1999.0417
 [Re]
Zinovy
Reichstein, SAGBI bases in rings of multiplicative invariants,
Comment. Math. Helv. 78 (2003), no. 1, 185–202.
MR
1966757 (2004c:13005)
 [RS]
Lorenzo
Robbiano and Moss
Sweedler, Subalgebra bases, Commutative algebra (Salvador,
1988) Lecture Notes in Math., vol. 1430, Springer, Berlin, 1990,
pp. 61–87. MR 1068324
(91f:13027), http://dx.doi.org/10.1007/BFb0085537
 [Ry]
Herbert
John Ryser, Combinatorial mathematics, The Carus Mathematical
Monographs, No. 14, Published by The Mathematical Association of America,
1963. MR
0150048 (27 #51)
 [Sh]
Igor
R. Shafarevich, Basic algebraic geometry. 1, 2nd ed.,
SpringerVerlag, Berlin, 1994. Varieties in projective space; Translated
from the 1988 Russian edition and with notes by Miles Reid. MR 1328833
(95m:14001)
 [St1]
Bernd
Sturmfels, Algorithms in invariant theory, Texts and
Monographs in Symbolic Computation, SpringerVerlag, Vienna, 1993. MR 1255980
(94m:13004)
 [St2]
Bernd
Sturmfels, Gröbner bases and convex polytopes, University
Lecture Series, vol. 8, American Mathematical Society, Providence, RI,
1996. MR
1363949 (97b:13034)
 [Sw]
Moss
Sweedler, Using Groebner bases to determine the algebraic and
transcendental nature of field extensions: return of the killer tag
variables, Applied algebra, algebraic algorithms and errorcorrecting
codes (San Juan, PR, 1993), Lecture Notes in Comput. Sci., vol. 673,
Springer, Berlin, 1993, pp. 66–75. MR 1251970
(94k:13036), http://dx.doi.org/10.1007/3540566864_34
 [vW]
B. L. van der Waerden, Algebra, 8th edition, SpringerVerlag, 1971.
 [BCP]
 W. Bosma, J. Cannon, C. Playoust, The Magma algebra system. I. The user language, Computational algebra and number theory (London, 1993). J. Symbolic Comput. 24 (1997), no. 34, 235265.
 [Da]
 J. Dalbec, Multisymmetric Functions, Beiträge zur Algebra und Geometrie, 40 (1999), 2751. MR 2000f:05084
 [EM]
 S. Endô, T. Miyata, Quasipermutation modules over finite groups, J. Math. Soc. Japan, 25, no. 3, (1973), 397421. MR 47:6823
 [F]
 D. R. Farkas, Reflection groups and multiplicative invariants, Rocky Mountain J. Math, 16, no. 2 (1986), 215222. MR 87k:20085
 [Gia]
 C. Giacovazzo, Direct Phasing in Crystallography, Oxford University Press, 1998.
 [Ha]
 H. Hauptman, The phase problem of xray crystallography, Rep. Prog. Phys. (1991), 14271454.
 [HGXB]
 H. Hauptman, D. Y. Guo, H. Xu, R. H. Blessing, Algebraic Direct Methods for FewAtom Structure Models, Acta Crystallographica A58 (2002), 361369.
 [HK]
 M. Hajja, M.C. Kang, Twisted actions of symmetric groups, J. Algebra 188 (1997), no. 2, 626647. MR 98b:13003
 [KM]
 D. Kapur, K. Madlener, A completion procedure for computing a canonical basis for a subalgebra, Computers and mathematics (Cambridge, MA, 1989), 111, Springer, New York, 1989. MR 90g:13001
 [L]
 N. Lemire, Reduction in the rationality problem for multiplicative invariant fields, J. Algebra 238 (2001), no. 1, 5181. MR 2002b:13009
 [M]
 J. MüllerQuade, R. Steinwandt, Gröbner bases applied to finitely generated field extensions, J. Symbolic Comput. 30 (2000), 469490. MR 2001i:13040
 [Re]
 Z. Reichstein, SAGBI bases in rings of multiplicative invariants, Comment. Math. Helv. 78 (2003), no. 1, 185202. MR 2004c:13005
 [RS]
 L. Robbiano, M. Sweedler, Subalgebra bases, Commutative algebra (Salvador, 1988), Lecture Notes in Math., 1430, Springer, Berlin, 1990, 6187. MR 91f:13027
 [Ry]
 H. J. Ryser, Combinatorial mathematics, The Carus Mathematical Monographs, No. 14, published by the Mathematical Association of America, 1963. MR 27:51
 [Sh]
 I. R. Shafarevich, Basic Algebraic Geometry, vol. 1, second edition, SpringerVerlag, 1994. MR 95m:14001
 [St1]
 B. Sturmfels, Algorithms in Invariant Theory, Texts and Monographs in Symbolic Computation, SpringerVerlag, 1993. MR 94m:13004
 [St2]
 B. Sturmfels, Gröbner Bases and Convex Polytopes, University Lecture Series, vol. 8, Amer. Math. Soc., 1995. MR 97b:13034
 [Sw]
 M. Sweedler, Using Groebner Basis to Determine the Algebraic and Transcendental Nature of Field Extensions: Return of the Killer Tag Variables, in Applied algebra, algebraic algorithms and errorcorrecting codes (San Juan, PR, 1993), Lecture Notes in Comput. Sci., 673, Springer, Berlin, 1993, 6675. MR 94k:13036
 [vW]
 B. L. van der Waerden, Algebra, 8th edition, SpringerVerlag, 1971.
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
05E05,
13A50,
13P99,
20C10
Retrieve articles in all journals
with MSC (2000):
05E05,
13A50,
13P99,
20C10
Additional Information
J. Buhler
Affiliation:
Department of Mathematics, Reed College, Portland, Oregon 97202
Email:
jpb@reed.edu
Z. Reichstein
Affiliation:
Department of Mathematics, University of British Columbia, Vancouver, British Columbia, Canada V6T 1Z2
Email:
reichst@math.ubc.ca
DOI:
http://dx.doi.org/10.1090/S0002994704035500
PII:
S 00029947(04)035500
Keywords:
Crystallography,
structure factor,
phase problem,
symmetric function,
group action,
field of invariants,
SAGBI basis,
algorithmic computation,
multiplicative invariant,
rational invariant field
Received by editor(s):
January 2, 2003
Received by editor(s) in revised form:
October 15, 2003
Published electronically:
August 11, 2004
Additional Notes:
The second author was partially supported by NSF grant DMS901675 and by an NSERC research grant
Article copyright:
© Copyright 2004 American Mathematical Society
