4,183 research outputs found
Rational invariants of even ternary forms under the orthogonal group
In this article we determine a generating set of rational invariants of
minimal cardinality for the action of the orthogonal group on
the space of ternary forms of even degree . The
construction relies on two key ingredients: On one hand, the Slice Lemma allows
us to reduce the problem to dermining the invariants for the action on a
subspace of the finite subgroup of signed permutations. On the
other hand, our construction relies in a fundamental way on specific bases of
harmonic polynomials. These bases provide maps with prescribed
-equivariance properties. Our explicit construction of these
bases should be relevant well beyond the scope of this paper. The expression of
the -invariants can then be given in a compact form as the
composition of two equivariant maps. Instead of providing (cumbersome) explicit
expressions for the -invariants, we provide efficient algorithms
for their evaluation and rewriting. We also use the constructed
-invariants to determine the -orbit locus and
provide an algorithm for the inverse problem of finding an element in
with prescribed values for its invariants. These are
the computational issues relevant in brain imaging.Comment: v3 Changes: Reworked presentation of Neuroimaging application,
refinement of Definition 3.1. To appear in "Foundations of Computational
Mathematics
Common transversals and tangents to two lines and two quadrics in P^3
We solve the following geometric problem, which arises in several
three-dimensional applications in computational geometry: For which
arrangements of two lines and two spheres in R^3 are there infinitely many
lines simultaneously transversal to the two lines and tangent to the two
spheres?
We also treat a generalization of this problem to projective quadrics:
Replacing the spheres in R^3 by quadrics in projective space P^3, and fixing
the lines and one general quadric, we give the following complete geometric
description of the set of (second) quadrics for which the 2 lines and 2
quadrics have infinitely many transversals and tangents: In the
nine-dimensional projective space P^9 of quadrics, this is a curve of degree 24
consisting of 12 plane conics, a remarkably reducible variety.Comment: 26 pages, 9 .eps figures, web page with more pictures and and archive
of computations: http://www.math.umass.edu/~sottile/pages/2l2s
Symmetric measures via moments
Algebraic tools in statistics have recently been receiving special attention
and a number of interactions between algebraic geometry and computational
statistics have been rapidly developing. This paper presents another such
connection, namely, one between probabilistic models invariant under a finite
group of (non-singular) linear transformations and polynomials invariant under
the same group. Two specific aspects of the connection are discussed:
generalization of the (uniqueness part of the multivariate) problem of moments
and log-linear, or toric, modeling by expansion of invariant terms. A
distribution of minuscule subimages extracted from a large database of natural
images is analyzed to illustrate the above concepts.Comment: Published in at http://dx.doi.org/10.3150/07-BEJ6144 the Bernoulli
(http://isi.cbs.nl/bernoulli/) by the International Statistical
Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm
- …