-
Piecewise-linear embeddings of the space of 3D lattices into $\RR^{13}$ for high-throughput handling of lattice parameters
Authors:
Ryoko Oishi-Tomiyasu
Abstract:
We present two methods to continuously and piecewise-linearly parametrize rank-3 lattices by vectors of $\RR^{13}$, which provides an efficient way to judge if two sets of parameters provide nearly identical lattices within their margins of errors. Such a parametrization can be used to speed up scientific computing involving periodic structures in $\RR^3$ such as crystal structures, which includes…
▽ More
We present two methods to continuously and piecewise-linearly parametrize rank-3 lattices by vectors of $\RR^{13}$, which provides an efficient way to judge if two sets of parameters provide nearly identical lattices within their margins of errors. Such a parametrization can be used to speed up scientific computing involving periodic structures in $\RR^3$ such as crystal structures, which includes database querying, detection of duplicate entries, and structure generation via deep learning techniques. One gives a novel application of Conway's vonorms and conorms, and another is achieved through a natural extension of Ry{\u s}hkov's $C$-type to the setting modulo $3$. Voronoi vectors modulo 3 obtained in the latter approach provide an algorithm for enumerating of all potential isometries under perturbations of lattice parameters.
△ Less
Submitted 11 June, 2025; v1 submitted 10 June, 2025;
originally announced June 2025.
-
Packing theory derived from phyllotaxis and products of linear forms 0
Authors:
S. E. Graiff Zurita,
B. Kane,
R. Oishi-Tomiyasu
Abstract:
\textit{Parastichies} are spiral patterns observed in plants and numerical patterns generated using golden angle method. We generalize this method by using Markoff theory and the theory of product of linear forms, to obtain a theory for packing of Riemannian manifolds of general dimensions $n$ with a locally diagonalizable metric, including the Euclidean spaces. For example, packings in a plane wi…
▽ More
\textit{Parastichies} are spiral patterns observed in plants and numerical patterns generated using golden angle method. We generalize this method by using Markoff theory and the theory of product of linear forms, to obtain a theory for packing of Riemannian manifolds of general dimensions $n$ with a locally diagonalizable metric, including the Euclidean spaces. For example, packings in a plane with logarithmic spirals and in a 3D ball (3D analogue of the Vogel spiral) are newly obtained. Using this method, we prove that it is possible to generate almost uniformly distributed point sets on any real analytic Riemannian surfaces in a local sense. We also discuss how to extend the packing to the whole manifold in some special cases including the Vogel spiral. The packing density is bounded below by approximately 0.7 for surfaces and 0.38 for 3-manifolds under the most general assumption.
△ Less
Submitted 26 September, 2024; v1 submitted 23 June, 2021;
originally announced June 2021.
-
On ternary positive-definite quadratic forms with the same representations over Z
Authors:
Ryoko Oishi-Tomiyasu
Abstract:
Kaplansky conjectured that if two positive-definite real ternary quadratic forms have perfectly identical representations over $\mathbb{Z}$, they are constant multiples of regular forms, or is included in either of two families parametrized by $\mathbb{R}^2$ (so called, hexagonal and rhombohedral families). Our results aim to clarify the limitations imposed to such a pair by computational and theo…
▽ More
Kaplansky conjectured that if two positive-definite real ternary quadratic forms have perfectly identical representations over $\mathbb{Z}$, they are constant multiples of regular forms, or is included in either of two families parametrized by $\mathbb{R}^2$ (so called, hexagonal and rhombohedral families). Our results aim to clarify the limitations imposed to such a pair by computational and theoretical approaches. Firstly, the result of an exhaustive search for such pairs of integral quadratic forms is presented, in order to provide a concrete version of the Kaplansky conjecture. The obtained list contains a small number of non-regular forms that are confirmed to have the identical representations up to 3,000,000, although a strong limitation on the existence of such pairs is still observed, regardless of whether the coefficient field is $\mathbb{Q}$ or $\mathbb{R}$. Secondly, we prove that if two pairs of ternary quadratic forms have the identical simultaneous representations over $\mathbb{Q}$, their constant multiples are equivalent over $\mathbb{Q}$. This was motivated by the question why the other families were not detected in the search. In the proof, the parametrization of quartic rings and their resolvent rings by Bhargava is used to discuss pairs of ternary quadratic forms.
△ Less
Submitted 2 September, 2019; v1 submitted 26 March, 2017;
originally announced March 2017.
-
Distribution rules of crystallographic systematic absences on the Conway topograph and their application to powder auto-indexing
Authors:
Ryoko Oishi-Tomiyasu
Abstract:
Powder auto-indexing is the crystallographic problem of lattice determination from an average theta series. There, in addition to all the multiplicities, the lengths of part of lattice vectors cannot be obtained owing to systematic absences. As a consequence, solutions are not always unique. We develop a new algorithm to enumerate powder auto-indexing solutions. This is a novel application of the…
▽ More
Powder auto-indexing is the crystallographic problem of lattice determination from an average theta series. There, in addition to all the multiplicities, the lengths of part of lattice vectors cannot be obtained owing to systematic absences. As a consequence, solutions are not always unique. We develop a new algorithm to enumerate powder auto-indexing solutions. This is a novel application of the reduction theory of positive-definite quadratic forms to a problem of crystallography. Our algorithm is proved to be effective for all types of systematic absences, using their newly obtained common properties. The properties are stated as distribution rules for lattice vectors corresponding to systematic absences on a topograph. Conway defined topographs for 2-dimensional lattices as graphs whose edges are associated with $|l_1|^2$, $|l_2|^2$, $|l_1+l_2|^2$, $|l_1-l_2|^2$. In our enumeration algorithm, topographs are utilized as a network of lattice vector lengths. As a crystal structure is a lattice of rank 3, the definition of topographs is generalized to any higher dimensional lattices using Voronoi's second reduction theory. The use of topographs allows us to speed up the algorithm. The computation time is reduced to 1/250--1/32, when it is applied to real powder diffraction patterns. Another advantage of our algorithm is its robustness to missing or false elements in the set of lengths extracted from a powder diffraction pattern. Conograph is the powder indexing software which implements the algorithm. We present results of Conograph for 30 diffraction patterns, including some very difficult cases.
△ Less
Submitted 25 July, 2017; v1 submitted 15 November, 2012;
originally announced November 2012.
-
On some algebraic properties of CM-types of CM-fields and their reflexes
Authors:
Ryoko Oishi-Tomiyasu
Abstract:
The purpose of this paper is to show that the reflex fields of a given CM-field is equipped with a certain combinatorial structure that has not been exploited yet. We prove three theorems using this structure; the first theorem is on the abelian extension generated by the moduli and the b-torsion points of abelian varieties of CM-type, for any natural number b. It is a generalization of the result…
▽ More
The purpose of this paper is to show that the reflex fields of a given CM-field is equipped with a certain combinatorial structure that has not been exploited yet. We prove three theorems using this structure; the first theorem is on the abelian extension generated by the moduli and the b-torsion points of abelian varieties of CM-type, for any natural number b. It is a generalization of the result by Wei on the abelian extension obtained by the moduli and all the torsion points. The second theorem gives a character identity of the Artin L-function of a CM-field K and the reflex fields of K. The character identity pointed out by Shimura follows from this. The third theorem states that some Pfister form is isomorphic to the orthogonal sum of Tr(\bar{a}a) (\bar{a} is the complex conjugation of a) defined on a direct sum of reflex fields. This result suggests that the theory of complex multiplication on abelian varieties has a relationship with the multiplicative forms in higher dimension.
△ Less
Submitted 1 April, 2010;
originally announced April 2010.
