1: %Convex Hulls of Orbits and Orientations of a Moving Protein Domain
2: %
3: % Marco Longinetti
4: % Luca Sgheri
5: % Frank Sottile
6: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
7: %\documentclass[12pt,a4paper]{amsart}
8: \documentclass[12pt]{amsart}
9: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10: \usepackage{amssymb,amsmath}
11: \usepackage{epsfig}
12: \usepackage{graphicx}
13: \usepackage{colordvi}
14: %%%%%%%%%%%%%%%%%%%%% Layouts %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
15: %
16: % US size paper
17: %
18: %\headheight=8pt \topmargin=-20pt
19: \textheight=621pt \textwidth=456pt
20: \oddsidemargin=6pt \evensidemargin=6pt
21: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
22: %%%%%%%%%%%%%%%%%%%%% Environments %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
23: \numberwithin{equation}{section}
24:
25: \newtheorem{theorem}[equation]{Theorem}
26: \newtheorem{lemma}[equation]{Lemma}
27: \newtheorem{proposition}[equation]{Proposition}
28: \newtheorem{cor}[equation]{Corollary}
29:
30: \theoremstyle{definition}
31: \newtheorem{definition}[equation]{Definition}
32:
33: %\theoremstyle{example}
34: \newtheorem{example}[equation]{Example}
35:
36: %\theoremstyle{remark}
37: \newtheorem{remark}[equation]{Remark}
38: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
39:
40: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
41: \def\publname{\Red{{\scriptsize Manuscript of 20 December 2007, revised 18 March 2008}}
42: \def\currentvolume{}
43: \def\currentissue{}
44: \PII{}}
45: \copyrightinfo{}{}
46: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
47: \newcounter{FNC}[page]
48: \def\fauxfootnote#1{{\addtocounter{FNC}{2}$^\fnsymbol{FNC}$%
49: \let\thefootnote\relax\footnotetext{$^\fnsymbol{FNC}$#1}}}
50:
51: %%%%%%%%%%%%%%%%%%%% Macros %%%%%%%%%%%%%%%%%%%%%%%%%%%%
52: %
53: %
54: %\newcommand{\QED}{\hfill\raisebox{-4pt}{\includegraphics[height=13pt]{figures/QED.eps}}}
55: \newcommand{\QED}{\hfill$\Box$}
56:
57: \newcommand{\Span}{\mbox{\rm Span}}
58: \newcommand{\Hom}{\mbox{\rm Hom}}
59: \newcommand{\Mat}{\mbox{\rm Mat}}
60:
61: \newcommand{\chibar}{{\overline{\chi}}}
62:
63: \newcommand{\ten}{\psi} %This is a symbol for a general tensor that is different than \chi
64:
65: \newcommand{\calO}{{\mathcal O}}
66:
67: %\newcommand{\refl}{\mbox{\tiny $\left(\hspace{-3pt}\begin{array}{rr}0\hspace{-5pt}&-1\\
68: % 1\hspace{-5pt}&0\end{array}\hspace{-3pt}\right)$}}
69:
70: \newcommand{\refl}{\mbox{\tiny $\left(\hspace{-3pt}\begin{array}{rr}-1\hspace{-5pt}&0\\
71: 0\hspace{-5pt}&1\end{array}\hspace{-3pt}\right)$}}
72:
73: \newcommand{\iden}{\mbox{\tiny $\left(\hspace{-3pt}\begin{array}{rr}1&0\\
74: 0&1\end{array}\hspace{-3pt}\right)$}}
75:
76: \newcommand{\C}{{\mathbb C}}
77: \renewcommand{\H}{{\mathbb H}}
78: \newcommand{\N}{{\mathbb N}}
79: \renewcommand{\P}{{\mathbb P}}
80: \newcommand{\R}{{\mathbb R}}
81: %
82: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
83: \begin{document}
84: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
85: \title{Convex Hulls of Orbits and Orientations of a Moving Protein Domain}
86:
87: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
88: \author{Marco Longinetti}
89: \address{Dipartimento ingegneria agraria e forestale\\
90: Universit\`a degli Studi di Firenze\\
91: Piazzale delle Cascine, 15\\
92: 50144 Firenze\\
93: ITALIA}
94: \email{longinetti@diaf.unfi.it}
95: \urladdr{\SMALL{wwwnt.unifi.it/diaf/nuovosito/withframes/docenti/longinetti/sitolonginetti/index.htm}}
96: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
97: \author{Luca Sgheri}
98: \address{IAC - CNR Sede di Firenze\\
99: Via Madonna del Piano 10\\
100: 50019 Sesto Fiorentino (FI)\\
101: ITALIA}
102: \email{luca@fi.iac.cnr.it}
103: \urladdr{www.fi.iac.cnr.it/iaga/luca.html}
104: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
105: \author{Frank Sottile}
106: \address{Department of Mathematics\\
107: Texas A\&M University\\
108: College Station\\
109: TX \ 77843-3368\\
110: USA}
111: \email{sottile@math.tamu.edu}
112: \urladdr{www.math.tamu.edu/\~{}sottile}
113: \thanks{Work of Sottile supported by NSF CAREER grant DMS-0538734 and Peter
114: Gritzmann of Technische Universit\"at M\"unchen}
115: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
116: \subjclass[2000]{52A20}
117: %
118: %
119: \keywords{Carath\'eodory number, compact group, magnetic susceptibility tensor}
120: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
121: \begin{abstract}
122: We study the facial structure and Carath\'eodory number of
123: the convex hull of an orbit of the group of rotations in $\R^3$ acting on the
124: space of pairs of anisotropic symmetric $3\times 3$ tensors.
125: This is motivated by the problem of determining the structure of some
126: proteins in aqueous solution.
127: \end{abstract}
128:
129: \maketitle
130: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
131: %
132: %
133: \section*{Introduction}
134:
135: The most aesthetically appealing polytopes arise as convex
136: hulls of orbits of finite groups acting on a vector space.
137: These include the platonic and archimedean solids and their higher-dimensional
138: generalizations, such as the regular polytopes~\cite{Coxeter}.
139: In contrast, the analogous objects for compact Lie groups have not
140: attracted much study.
141: We investigate convex hulls of orbits of the group
142: $SO(3)$ in a particular 10-dimensional representation.
143: Our motivation comes from an algorithm to understand the fold of some proteins.
144:
145: Certain proteins, such as calmodulin~\cite{BGKLP},
146: consist of two rigid domains connected via a region that is flexible
147: in aqueous solution (i.e.~under physiological conditions), and the
148: problem is to determine the relative position and orientation of
149: these two domains. Calmodulin, as many other proteins, incorporates
150: metal ions into its structure. When a paramagnetic ion is
151: substituted, it interacts with the magnetic field of dipoles within
152: the protein via its magnetic susceptibility tensor $\chi$. Part of
153: this interaction, the residual dipolar coupling, may be inferred
154: from nuclear magnetic resonance data and depends solely upon the
155: relative orientation of the two domains. When the relative
156: orientation of the two domains is not constant, we infer the mean
157: magnetic susceptibility tensor $\chibar$ from these data.
158:
159: We model this relative orientation by a probability measure $p$ on the
160: group $SO(3)$ of rotations of $\R^3$.
161: Then $\chibar$ is the average with respect to $p$ of rotations of $\chi$.
162: Recovering $p$ from $\chibar$ is an ill-posed inverse problem.
163: Nevertheless, $\chibar$ contains useful information about $p$.
164: Gardner, Longinetti, and Sgheri~\cite{GLS05} gave an algorithm
165: to determine the maximum probability of a given relative
166: orientation of the two domains.
167: Since $\chibar$ lies in the convex hull $V$ of the orbit of $\chi$ under the group
168: of rotations of $\R^3$, it admits a representation
169: %
170: $\chibar = \sum_j p_j R_j.\chi$,
171: %
172: % \[
173: % \chibar\ =\ \sum_j p_j R_j.\chi\,,
174: % \leqno{(*)}
175: % \]
176: %
177: where the sum is finite, $\sum_jp_j=1$ with $p_j\geq 0$, $R_j$ is a rotation in $\R^3$,
178: and $R_j.\chi$ is the action of $R_j$ on the tensor $\chi$.
179: The minimal number of
180: summands needed %in $(*)$
181: to represent any point $\chibar$ in $V$ is the
182: Carath\'eodory number of $V$.
183:
184: It is often possible to substitute a different metal ion into the
185: protein with a different susceptibility tensor $\chi'$. Repeating
186: the measurements gives a second mean tensor $\chibar'$ which is the
187: average of rotations of $\chi'$ with respect to the measure $p$.
188: Combining this with $\chibar$ gives more information about $p$.
189: Longinetti, Luchinat, Parigi, and Sgheri~\cite{LLPS} adapt the
190: algorithm of~\cite{GLS05} when there are two or more metal ions and
191: show how this can be used to better understand the structure of
192: calmodulin. Their algorithm uses some knowledge of the convex hull
193: $V^{1,2}$ of the orbit of the pair $(\chi,\chi')$ under the group of
194: rotations.
195:
196: We study the Carath\'eodory number and facets of $V^{1,2}$. When
197: $\chi$ and $\chi'$ are linearly independent, $V$ has dimension 10.
198: We call a subgroup of $SO(3)$ which stabilizes a line in $\R^3$ a
199: \Blue{{\it coaxial group}}, and a face of $V^{1,2}$ which is
200: stabilized by a such a subgroup a \Blue{{\it coaxial face}}. Our
201: main result is the following.\medskip
202:
203: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
204: \noindent{\bf Theorem~\ref{T:coaxial}.}
205: {\it
206: Faces of $V^{1,2}$ have dimension at most $6$.
207: The coaxial faces of\/ $V^{1,2}$ form a $3$-dimensional family
208: whose union is a $9$-dimensional
209: subset of the boundary of\/ $V^{1,2}$ if and only if $\chi$ and $\chi'$ have distinct
210: eigenvectors.
211: In that case, almost all coaxial faces have dimension $6$, have Carath\'eodory number
212: $4$, and are facets of\/ $V^{1,2}$. }\medskip
213: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
214:
215: Our main result implies that the Carath\'eodory number of $V^{1,2}$
216: is at most $8$. This is an advance over \cite{GLS05}, where it has
217: been bounded between $4$ and $10$ inclusive.
218:
219: We are unable to show that the boundary of $V^{1,2}$ is the union of
220: coaxial faces when $\chi$ and $\chi'$ have distinct eigenvectors,
221: but conjecture that this is the case. As a consequence of our main
222: result, we also conjecture that the Carath\'eodory number of
223: $V^{1,2}$ is at most $5$.
224:
225: Given any number $N$ of tensors $(\chi_1,\ldots,\chi_N)$ we may
226: define the convex hull $V^{1,\ldots,N}$. In
227: Subsection~\ref{S:dimension} we prove that $\dim V^{1,\ldots,N}$ is
228: $5$ times the dimension of the span of $(\chi_1,\ldots,\chi_N)$.
229: In the text, we will omit the superscripts from our notation for the
230: convex hull.
231:
232: Magnetic susceptibility tensors are $3\times 3$ symmetric
233: trace zero matrices and form a 5-dimen\-sion\-al irreducible representation of the
234: group $SO(3)$ of rotations in $\R^3$.
235: More generally, one could study the convex hulls of orbits of compact groups.
236: We were surprised to find that very little is known about such convex bodies,
237: particularly their Carath\'eodory numbers and facets.
238: We hope that our work will stimulate a more thorough study of convex
239: hulls of orbits of compact groups.
240:
241: In Section~\ref{S:motivation}, we describe the motivation for this work
242: from protein structure.
243: In Section~\ref{S:group} we discuss group actions and in Section~\ref{S:convex}
244: convex hulls of orbits.
245: In Section~\ref{S:One} we complete the analysis of~\cite{GLS05} in the case
246: of one metal ion.
247: In Section~\ref{S:Two} we analyze the case of two metal ions and deduce
248: Theorem~\ref{T:coaxial}.
249:
250: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
251: %
252: %
253: \section{Application to protein structure}\label{S:motivation}
254:
255: Proteins are large biological molecules synthesized by living
256: organisms. The genome of an organism contains the chemical formulae
257: for its proteins. Currently, hundreds of organisms (including man)
258: have had their genomes mapped, and such chemical formulae are
259: readily available. An important step towards inferring the
260: biological function of a protein from its chemical formula is to
261: determine its 3-dimensional structure, or its \Blue{{\it fold}}.
262:
263: About one third of all proteins %, the \Blue{{\it metallo-proteins}},
264: incorporate metal ions into their structures. The fold of these
265: proteins may be inferred from nuclear magnetic resonance, which can
266: measure the interactions between paramagnetic metal ions and dipoles
267: within the protein. The main quantities that can be measured are the
268: pseudo contact shifts (PCS) \cite{BBBCGLT} and the residual dipolar
269: coupling (RDC) \cite{TFKP}.
270: In this paper we only deal with the RDC.
271:
272: The residual dipolar coupling between a paramagnetic ion and a
273: dipole formed by atoms $a$ and $b$ within the protein depends upon
274: the vector displacement $r$ from the atom $a$ to the atom $b$ and
275: the \Blue{{\em magnetic susceptibility tensor} $\chi$} of the metal
276: ion, which is a $3\times 3$ symmetric matrix. The RDC interaction
277: has the following vector formula
278: %
279: \begin{equation} \label{eq1}
280: \delta\ :=\ \frac{C}{\|r\|^5}\, r^T \chi r\ -\
281: \frac{C}{3\|r\|^3}\mbox{Trace}(\chi)\,.
282: \end{equation}
283: %
284: Here, $C$ is a constant and $\|r\|$ is the length of the vector $r$.
285: This only depends upon the relative orientation of the dipole and metal
286: ion, and so the RDC data may be used to infer this relative orientation.
287:
288: Writing $\chi=\chi_0 + \frac{1}{3}\mbox{Trace}(\chi)I_3$, where $I_3$ is the
289: $3\times 3$ identity matrix and $\chi_0$ is the trace-free or
290: \Blue{{\it anisotropic}} part of $\chi$, this formula becomes
291: \[
292: \delta\ =\ \frac{C}{\|r\|^5}\, r^T \chi_0 r\,.
293: \]
294: We assume henceforth that $\chi=\chi_0$ is anisotropic.
295:
296: The fold of the protein is usually unique, in the sense that small
297: variations of the shape are allowed. There are proteins which
298: however exhibit large variations of shape under particular
299: conditions. A widely-studied example is calmodulin, which has two
300: rigid domains, called the \Blue{{\it N-terminal}} and \Blue{{\it
301: C-terminal}} domains, connected by a short flexible linker. The N-
302: and C-terminal domains are assumed to be rigid bodies with known
303: structures. Figure~\ref{calmod}, obtained with Molmol \cite{KBW},
304: shows calmodulin in two different orientations.
305:
306:
307: %
308: \begin{figure}[htb]
309: \begin{picture}(326,135)(-50,0)
310: \put(0,0){\includegraphics[height=4.5cm]{figures/calmodulin.eps}}
311: \put(120,0){linker zone}
312: \put(85, 3){\vector(0,1){50}} \put(85, 3){\line(1,0){30}}
313: \put(180, 3){\line(1,0){30}} \put(210, 3){\vector(0,1){40}}
314:
315: \put(-50,85){C-terminal} \put(-17,82){\vector(2,-1){30}}
316: \put(153,132){N-terminal}
317: \put(165,128){\vector(-2,-1){20}} \put(200,128){\vector(1,-1){20}}
318:
319: \put(278,77){\begin{minipage}{2in}ion\\binding\\site\end{minipage}}
320: \put(275,77){\vector(-1,0){35}}
321: \end{picture}
322: \caption{Two orientations of calmodulin}\label{calmod}
323: \end{figure}
324: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
325:
326:
327: The binding site of the metal ion in calmodulin belongs to the
328: N-terminal domain. The measured RDC of pairs of atoms belonging to
329: the N-terminal domain can be used to obtain a good estimate of
330: $\chi$. The measured RDC of pairs of atoms belonging to the
331: C-terminal domain can be used to study the relative orientation of
332: the two domains.
333:
334: Let us model the relative orientation of the N- and C-terminal domains with a
335: rotation $R$.
336: Then there is an unknown probability measure $p$ on the set $SO(3)$ of rotations
337: such that the \Blue{{\em mean RDC} $\overline{\delta}$} of the pair of atoms $a,b$ in the
338: C-terminal domain is given by
339: %
340: \begin{equation}\label{calcdata}
341: \overline{\delta}\ =\ \frac{C}{\|r\|^5}\int_{SO(3)} {(Rr)^T \chi (Rr)\,dp(R)}\,
342: \ =\ \frac{C}{\|r\|^5}r^T \chibar r\,,
343: \end{equation}
344: %
345: where the \Blue{\textit{mean magnetic susceptibility tensor} $\chibar$} is
346: %
347: \begin{equation}\label{genmtensor}
348: \chibar\ =\ \int_{SO_3} R^T\chi R\,dp(R)\,.
349: \end{equation}
350: %
351: This tensor $\chibar$ can be estimated from the RDC of several dipole pairs in
352: the C-terminal domain.
353: The experimental measures show that in terms
354: of difference of eigenvalues, $\chibar$ is between $5$ and $20$ times smaller
355: than $\chi$~\cite{BDGKLPPPZ}.
356: This indicates that $p$ is not a point mass, that is, the C-terminal domain
357: moves with respect to the N-terminal domain.
358:
359: The availability of $N$ distinct mean
360: susceptibility tensors $\chibar_k$ with respect to different metal
361: ions $k=1,\ldots,N$ increases the information about $p$ for $N$ up
362: to $5$, see for instance \cite{MPPGB} and~\cite[Theorem~3.2]{LLPS}.
363: However, even the exact knowledge of $5$ mean tensors $\chibar_k$
364: (i.e. $25$ real numbers) does not allow the exact reconstruction of
365: the probability measure $p$.
366:
367: An approach to extract information from the mean tensors is to
368: define $p_{\max}(R)$ as the maximal fraction of time that the
369: C-terminal can stay in a particular orientation $R$, yet still
370: produce the measured mean tensors. Orientations with a large
371: $p_{\max}$ agree with with what are thought to be the most favored
372: orientations of the C-terminal~\cite{LLPS}.
373:
374: The calculation of $p_{\max}$ can be performed geometrically if only
375: RDC is considered \cite{LLPS}. In the combined PCS+RDC case more
376: information is added \cite{BGLPPSY}, however the calculation of
377: $p_{\max}$ can only be performed numerically. For the convergence
378: and efficiency of the algorithm, the minimal number of orientations
379: needed to reconstruct any admissible set of mean tensors $\chibar_k$
380: should be used. Experience suggests that adding the PCS data does
381: not increase the actual number of orientations needed
382: \cite{BGLPPSY}, so the Carath\'eodory number for the RDC case may be
383: used as a basis for the numerical minimization.
384:
385:
386: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
387: %
388: %
389: \section{Groups actions and anisotropic tensors}\label{S:group}
390: %
391: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
392:
393: We first recall some basics about representations of compact groups, then consider
394: the action of the group $SO(3)$ of rotations in $\R^3$ on the 5-dimensional space of
395: anisotropic $3\times 3$ symmetric tensors, and finally investigate the coaxial subgroups of
396: $SO(3)$.
397:
398:
399: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
400: %
401: \subsection{Representations of compact groups}
402: %
403: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
404: This material may be found in the book of
405: Br\"ocker and tom Dieck~\cite[Ch. II]{BtD}.
406: Let $G$ be a compact group, such as $SO(3)$.
407: A \Blue{{\it representation}} of $G$ is a finite-dimensional vector space $W$ on
408: which $G$ acts by linear transformations.
409: That is, we have a group homomorphism $\rho\colon G\to GL(W)$, where
410: $GL(W)$ is the group of invertible linear transformations on $W$.
411: For $g\in G$ and $w\in W$, write $g.w$ for $\rho(g)(w)$.
412:
413: A representation $W$ of $G$ is \Blue{{\it irreducible}} if its only
414: $G$-invariant subspaces are $\{0\}$ and $W$.
415: Every representation of $G$ decomposes as the direct sum of irreducible
416: representations which is unique in the following way.
417: Given a representation $W$ of $G$ and a positive integer $l$,
418: let $W^l$ be the $l$-fold direct sum of $W$,
419: \[
420: W^l\ =\ \underbrace{W\oplus W\oplus\dotsb \oplus W}_l\,.
421: \]
422: Elements $g$ of $G$ act diagonally on elements $w=(w_1,\dotsc,w_l)$
423: of $W^l$, $g.w=(g.w_1, \dotsc,g.w_l)$. Suppose that $W_1, W_2,
424: \dotsc$ is the list of irreducible representations of $G$. If $U$ is
425: a representation of $G$ then there exist unique integers
426: $l_1,l_2,\dotsc$ such that
427: \[
428: U\ \simeq\ W_1^{l_1} \oplus W_2^{l_2}\oplus W_3^{l_3}\oplus \dotsb\ ,
429: \]
430: as representations of $G$.
431: If $U_i$ is the subrepresentation of $U$ mapped to the summand $W_i^{l_i}$ under this
432: isomorphism, then $U_i$ does not depend on any choices and is called the
433: \Blue{{\it isotypical component}} of $U$ corresponding to $W_i$.
434: If $l_i>0$, then we say that $U$ \Blue{{\it contains}} $W_i$.
435: Furthermore, if $U'\subset U$ is a subrepresentation, then the $i$th isotypical component
436: of $U'$ is $U'\cap U_i$, which is also the image of $U'$ under the projection to
437: $U_i$.
438:
439: \Blue{{\it Haar measure}} is a $G$-invariant measure \Blue{$\mu$} on $G$ with
440: $1=\int_Gd\mu(g)$.
441: Given a linear function $L\colon W\to \R$, where $W$ is a representation of $G$, we may
442: average $L$ over orbits of $G$ to get a new linear function $L'$, defined by
443: \[
444: \Blue{L'}(x)\ :=\ \int_G L(g.x)d\mu(g)\,.
445: \]
446: Since $L'$ is constant on orbits of $G$, it is $G$-invariant.
447: This association $L\mapsto L'$ is called the \Blue{{\it Reynolds operator}}.
448: It is an important tool for analyzing $G$-representations.
449:
450: Another key tool is Schur's lemma.
451: A linear map $\varphi\colon W\to U$ between representations of $G$ is a
452: \Blue{{\it $G$-map}} if for all $w\in W$ and $g\in G$, we have
453: $g.\varphi(w)=\varphi(g.w)$.
454: Let \Blue{$\Hom_G(W,U)$} be the space of $G$-maps.
455: A \Blue{{\it division algebra}} is a finite-dimensional associative algebra in
456: which every non-zero element is invertible.
457: \medskip
458:
459: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
460: \noindent{\bf Schur's Lemma.}
461: {\it
462: If\/ $W\not\simeq U$ are irreducible representations of $G$, then $\Hom_G(W,U)=0$
463: and $\Hom_G(W,W)$ is a division algebra which contains $\R$.
464: }\medskip
465: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
466:
467: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
468: \noindent{\it Proof.}
469: Let $\varphi\colon W\to U$ be a $G$-map.
470: Then the kernel of $\varphi$ is a subrepresentation of $W$ and so it is
471: either $0$ or $W$, and the image of $\varphi$, which is a
472: subrepresentation of $U$, is either 0 or $U$.
473: Examining the possibilities leads to the conclusions.
474: \QED\smallskip
475: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
476:
477: There are exactly 3 division algebras which contain $\R$:
478: The real numbers $\R$, the complex numbers $\C$, and the quaternions
479: $\H$.
480: An irreducible representation $W$ of $G$ has \Blue{{\it real}},
481: \Blue{{\it complex}}, or \Blue{{\it quaternionic type}}, depending on
482: $\Blue{\mbox{End}_G(W)}:=\Hom_G(W,W)$.
483:
484: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
485: \begin{example}
486: Consider the group $SO(2)$ of rotations of $\R^2$,
487: \[
488: SO(2)\ =\ \left\{ \Blue{R_\theta}\ :=\ {\textstyle \left(
489: \begin{array}{rr}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{array}
490: \right)}\ \mid\ \theta\in [0,2\pi)\right\}\ .
491: \]
492: $\mbox{End}_{SO(2)}(\R^2)$ consists of those $2\times 2$ matrices $M$ such that
493: $MR_\theta=R_\theta M$, and so
494: \[
495: \mbox{End}_{SO(2)}(\R^2)\ =\
496: \R{\textstyle \left(\begin{matrix}1&0\\0&1\end{matrix}\right)}
497: \ +\ \R\left(\!\begin{array}{rr}-1&0\\0&1\end{array}\right)\ .
498: \]
499: This is isomorphic to $\C$ (we send $\refl$ to $\sqrt{-1}$),
500: so this representation of $SO(2)$ has complex type.
501: It is the \Blue{{\it defining representation} $U_1$} of $SO(2)$.
502: If we identify $\R^2$ with $\C$ and $SO(2)$ with the circle group
503: $\Blue{S^1}:=\{e^{i\theta}\mid 0\leq\theta<2\pi\}$, then the action
504: is scalar multiplication by elements of $S^1$.
505: For any positive integer $k>0$, let \Blue{$U_k$} be the representation of $S^1$ on $\C$
506: (identified with $\R^2$) where $z\in S^1$ acts as multiplication by $z^k$.
507: These all have complex type.
508: \end{example}
509: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
510:
511:
512: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
513: \begin{example}
514: The orthogonal group \Blue{$O(2)$} contains $SO(2)$ as well
515: as the cosets of reflections
516: \[
517: SO(2)\cdot \left(\begin{array}{rr}0&-1\\1&0\end{array}\right)\ =\
518: \left\{\ R_\theta\cdot
519: \left(\!\begin{array}{rr}-1&0\\0&1\end{array}\right)\ \mid\
520: \theta\in[0,2\pi)\right\}\ .
521: \]
522: The defining representation \Blue{$U_1$} of $O(2)$ on $\R^2$ has real
523: type, as
524: \[
525: \left(\!\begin{array}{rr}-1&0\\0&1\end{array}\right)\cdot
526: \left(\begin{array}{rr}0&-1\\1&0\end{array}\right)\ =\
527: \left(\begin{matrix}0&1\\1&0\end{matrix}\right)\ \neq\
528: \left(\begin{array}{rr}0&-1\\-1&0\end{array}\right)\ =\
529: \left(\begin{array}{rr}0&-1\\1&0\end{array}\right)\cdot
530: \left(\!\begin{array}{rr}-1&0\\0&1\end{array}\right)\ ,
531: \]
532: and so $\mbox{End}_{O(2)}(\R^2)=\R\cdot\iden\simeq \R$.
533:
534: In the \Blue{{\it trivial representation}} $\Blue{U_0}=\R$ of $O(2)$, elements act as
535: multiplication by 1.
536: For a positive integer $k$, define the map
537: $\varphi_k\colon O(2)\to O(2)\subset GL(2,\R)$ by
538: $\varphi_k(R_\theta)=R_{k\theta}$ and $\varphi_k\refl=\refl$.
539: This defines the representation \Blue{$U_k$} of $O(2)$, which has real type.
540: Restricting to $SO(2)$ gives its representation $U_k$ of complex
541: type.
542: \end{example}
543: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
544:
545:
546: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
547: %
548: \subsection{Rotations of anisotropic tensors}
549: %
550: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
551:
552: Let $e_1=(1,0,0)^T$, $e_2=(0,1,0)^T$, and $e_3=(0,0,1)^T$ be the standard basis
553: of $\R^3$.
554:
555: The \Blue{{\it special orthogonal group $SO(3)$}} is the group of rotations in $\R^3$.
556: It consists of $3\times 3$ real orthogonal matrices
557: with determinant 1,
558: %
559: \[
560: SO(3)\ :=\ \left\{R\in \R^{3\times 3}\mid RR^T=1\quad\mbox{and}\quad \det R=1\right\}\,.
561: \]
562: %
563: Let $R\in SO(3)$, and let $T_R SO(3)$ be the tangent space to
564: $SO(3)$ at the matrix $R$. Let $I$ be the identity matrix, then $T_I
565: SO(3)$ is the space $\mathfrak{so}_3$ of skew symmetric $3\times 3$
566: matrices, which is the Lie algebra of $SO(3)$. That is,
567: \[
568: T_I SO(3)\ =\ I + \mathfrak{so}_3\,.
569: \]
570: Elements $R\in SO(3)$ act on $3\times 3$ symmetric matrices
571: (tensors) $\chi$ by conjugation, $R.\chi := R\chi
572: R^T$\fauxfootnote{This left action (if $R,S\in SO(3)$, then
573: $R(S.\chi)=RS.\chi$) is equivalent to the implied action in~\eqref{genmtensor}.}.
574: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
575: This preserves the trace of $\chi$, and so $SO(3)$ acts on the
576: space $W$ of \Blue{{\em anisotropic}} (trace-zero) tensors, a 5-dimensional irreducible
577: real representation.
578: We introduce some useful coordinates for $W$.
579: A point $(v,w,x,y,z)\in\R^5$ corresponds to %the anisotropic tensor
580: %
581: \begin{equation}\label{Eq:Coords}
582: \chi(v,w,x,y,z)\ :=\
583: \left(\begin{array}{crr}v&0&0\\0&-\tfrac{v}{2}&0\\0&0&-\tfrac{v}{2}\end{array}\right)
584: \ + \
585: \left(\begin{matrix}0&w&x\\w&0&0\\x&0&0\end{matrix}\right)
586: \ + \
587: \left(\begin{array}{ccr}0&0&0\\0&y&z\\0&z&-y\end{array}\right)\ .
588: \end{equation}
589: %
590: %We remark that these coordinates depend on the ordered basis $e_1,e_2,e_3$.
591: Observe that $e_1$ is an eigenvector for $\chi(v,w,x,y,z)$ if and only if $w=x=0$,
592: $e_2$ is an eigenvector if and only if $w=z=0$, and
593: $e_3$ is an eigenvector if and only if $x=z=0$.
594:
595:
596: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
597: %
598: \subsection{Coaxial subgroups}\label{S:coaxial}
599: %
600: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
601:
602: The \Blue{{\it coaxial subgroup $Q_e$}} is the set of rotations
603: fixing a line in $\R^3$ with direction $e$. It is isomorphic to the
604: orthogonal group $O(2)$. Its identity component $Q_e^+$ is
605: isomorphic to $SO(2)$ and consists of rotations about the axis $e$,
606: while the other component $Q_e^-$ consists of reflections in axes
607: orthogonal to $e$. For example, let
608: %
609: \begin{equation}\label{Eq:coaxial_members}
610: R_{e_1,\theta}\ :=\ \left(\begin{matrix}1&0&0\\0&\cos\theta&-\sin\theta
611: \\0&\sin\theta&\quad \cos\theta\end{matrix}\right)
612: \qquad\mbox{and}\qquad
613: R_{e_3,\pi}\ :=\ \left(\begin{array}{rrc}-1&0&0
614: \\0&-1&0\\0&0&1\end{array}\right)\ .
615: \end{equation}
616: %
617: If we fix $f$ perpendicular to $e$ and let $\theta$ run over all
618: angles, then $R_{e,\theta}$ and $R_{e,\theta}R_{f,\pi}$ give all
619: elements of $Q_e$.
620:
621: We consider the action of a coaxial subgroup $Q_e$ on $W$.
622: For this, suppose that $e=e_1$ and let $R_{e_1,\theta}$ act on
623: $\chi(v,w,x,y,z)$.
624: This gives the tensor $\chi(v',w',x',y',z')$, where
625: %
626: \begin{eqnarray*}
627: v'&=& v\ ,\\
628: \left(\begin{matrix}w'\\x'\end{matrix}\right)&=&
629: \left(\begin{array}{rr}\cos\theta&-\sin\theta\\
630: \sin\theta&\cos\theta\end{array}\right)
631: \left(\begin{matrix}w\\x\end{matrix}\right)\quad=\quad
632: R_\theta \ \left(\begin{matrix}w\\x\end{matrix}\right)\,,\quad\mbox{and}\\
633: \left(\begin{matrix}y'\\z'\end{matrix}\right)&=&
634: \left(\begin{array}{rr}\cos2\theta&-\sin2\theta\\
635: \sin2\theta&\cos2\theta\end{array}\right)
636: \left(\begin{matrix}y\\z\end{matrix}\right)\quad=\quad
637: R_{2\theta}\left(\begin{matrix}y\\z\end{matrix}\right)\,.
638: \end{eqnarray*}
639: %
640: Thus $R_{e_1,\theta}$ acts trivially
641: on the coordinate $v$, by rotation through the angle $\theta$ on the
642: vector $(w,x)^T$, and by rotation through $2\theta$ on the vector
643: $(y,z)^T$.
644: Note that $R_{e_3,\pi}$ sends $\chi(v,w,x,y,z)$ to $\chi(v,\,w,-x,\,y,-z)$.
645: Thus, if we restrict the action of $SO(3)$ on $W$ to
646: $Q_{e_1}\simeq O(2)$, then it
647: decomposes as a sum of irreducible representations
648: %
649: \begin{equation}\label{Eq:Decomposition}
650: W\ =\ U_0\ \oplus\ U_1\ \oplus\ U_2\,.
651: \end{equation}
652: %
653: This decomposition corresponds to the coordinates~\eqref{Eq:Coords}.
654: Projection to the trivial submodule $U_0=\R$ is, up to a scalar multiple, the
655: unique $Q_e$-invariant linear function $L\colon W\to \R$.
656:
657:
658: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
659: %
660: %
661: \section{Convex hulls of orbits}\label{S:convex}
662: %
663: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
664:
665: Let $\calO$ be an orbit of a compact group $G$ in a representation
666: $W$ of $G$. The \Blue{{\it convex hull} $V$} of $\calO$ is all
667: points of $W$ which are convex combinations of elements of $\calO$,
668: %
669: \[
670: \lambda_1v_1+\lambda_2v_2+\dotsb+\lambda_nv_n\,,
671: \]
672: %
673: where $v_1,\dotsc,v_n\in \calO$, and the non-negative numbers
674: $\lambda_i$ have sum 1. The set $V$ is a compact convex set, hence a
675: convex body.
676:
677: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
678: %
679: \subsection{Faces and Carath\'eodory number of $V$}
680: %
681: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
682:
683:
684: %
685: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
686: A \Blue{{\it face}} $F$ of $V$ is the subset of its boundary
687: where some linear function $L$ achieves its maximum on $V$,
688: \[
689: F\ :=\ \left\{v\in V\mid L(v)\geq L(u)
690: \mbox{ for all }u\in V\right\}\,.
691: \]
692: We say that $L$ \Blue{{\it supports}} $F$ and also that the
693: hyperplane $L(x)=L(F)$ \Blue{{\it supports}} $F$. (Here, $L(F)$ is
694: a constant.) The tangent spaces to $\calO$ of its points lying in
695: $F$ are contained in any hyperplane supporting $F$. Such a tangent
696: space \Blue{$T_v\calO$} at the point $v$ is
697: \[
698: v\ +\ \mathfrak{g}.v\,,
699: \]
700: where the action of the Lie algebra $\mathfrak{g}$ is the derivative
701: of the action of $G$. The face $F$ is \Blue{{\it proper}} if $F\neq
702: V$. When $V$ is full-dimensional so that $\dim V=\dim W$, this is
703: equivalent to $L\neq 0$. A \Blue{{\it facet}} is a maximal face and
704: a \Blue{{\it vertex}} is a minimal face. Vertices are not a convex
705: combination of other points of $V$.
706:
707:
708: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
709: \begin{lemma}
710: The vertices of\/ $V$ are exactly the points of\/ $\calO$.
711: \end{lemma}
712: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
713:
714: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
715: \noindent{\it Proof.}
716: The vertices of $V$ are a subset of $\calO:=G.x$.
717: Let $g.x\in\calO$ and suppose that it is a convex combination of vertices,
718: \[
719: g.x\ =\ \lambda_1 g_1.x + \lambda_2 g_2.x + \dotsb +\lambda_n g_n.x \,.
720: \]
721: Multiplying by $g_1g^{-1}$ expresses the vertex $g_1.x$ as a convex combination of points
722: of $\calO$.
723: Thus $n=1$ and $g.x=g_1.x$ is a vertex.
724: \QED\smallskip
725: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
726:
727:
728: When $V$ has dimension $d$, Carath\'eodory's Theorem~\cite{Ca1911},
729: see e.g. \cite[Theorem~1.1.4]{Schneider}, implies that any point $x$
730: of $V$ is a convex combination of at most $d{+}1$ vertices. The
731: \Blue{{\it Carath\'eodory number}} of $V$ is the minimum number $n$
732: such that any point $x\in V$ is a convex combination of at most $n$
733: vertices. For example, a ball in $\R^d$ has Carath\'eodory number
734: $2$, while a $d$-simplex has Carath\'eodory number $d+1$.
735: Fenchel~\cite{Fe1929}, see e.g. \cite[Theorem~1.4]{Reay}, showed
736: that the Carath\'eodory number is at most $d$ when the set of
737: vertices is connected. More useful for us is a recursive bound,
738: which is immediate from the observation that any point of $V$ is the
739: convex combination of any vertex and some boundary point.
740:
741:
742: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
743: \begin{lemma}\label{L:Cartheodory}
744: The Carath\'eodory number of a convex body $V$ is at most one more than the
745: maximal Carath\'eodory number of its facets.
746: \end{lemma}
747: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
748:
749: Suppose that $S$ is a closed (hence compact) subgroup of $G$ which stabilizes
750: a face $F$ of $V$, that is $s.F=F$ for all $s\in S$.
751:
752: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
753: \begin{lemma}\label{Lem:trivial_support}
754: When $F$ is proper, there is a non-zero $S$-invariant linear function on $W$, and $W$
755: contains the trivial representation of $S$.
756: \end{lemma}
757: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
758:
759: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
760: \noindent{\it Proof.}
761: Let $L\colon W\to \R$ be any linear function supporting $F$ with $L(F)=\ell$.
762: Let $L'$ be the image of $L$ under the Reynolds operator for $S$.
763: For $u\in F$, we have $L'(u)=\ell$, as $F$ is $S$-stable and $L'(u)$ is the average of
764: $L$ over the orbit of $S$ through $u$.
765:
766: Suppose that $w\in V \setminus F$.
767: Then $L(w)<L(u)=\ell$ and $L(s.w)$ is bounded away from $\ell$ as
768: $S.w$ is compact and disjoint from $F$.
769: In particular, this implies that $L'(w)<L'(u)$, which shows that the $S$-invariant linear
770: function $L'$ supports $F$ and that $L'\neq 0$.
771: Such an $S$-invariant linear function must factor through the trivial isotypical
772: component of $W$ as a representation of $S$.
773: This completes the proof.
774: \QED
775: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
776:
777: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
778: %
779: \subsection{The dimension of $V$}\label{S:dimension}
780: %
781: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
782: If $w=(w_1,\dotsc,w_l)\in W^l$, then we write $d(w)$ for the
783: dimension of the linear span of the components $w_1,\dotsc,w_l$ of
784: $w$ in $W$.
785:
786: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
787: \begin{lemma}\label{Lem:orbit-Span}
788: Suppose that $W$ is an irreducible representation of a group $G$ having real type.
789: If $w\in W^l$, then the linear span $U$ of the orbit $G.w$ in $W^l$ is
790: isomorphic to $W^{d(w)}$.
791: \end{lemma}
792: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
793:
794: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
795: \noindent{\it Proof.}
796: Write $k:=d(w)$.
797: We may assume that
798: $w_1,\dotsc,w_k$ form a basis for the linear span of $w_1,\dotsc,w_l$.
799: Let $A=(\alpha_{ij})\in\Mat_{l\times k}(\R)$ be the matrix which writes
800: the components of $w$ in terms of this basis,
801: $w_{i} = \sum_{j=1}^k \alpha_{i,j}w_j$ for $i=1,\dotsc,l$.
802: For each $i=1,\dotsc,l$, let
803: $\varphi_i\colon U\to W$ be the projection to the $i$th coordinate.
804: Since $\varphi_i(g.w)=g.w_i$, we have
805: %
806: \begin{equation}\label{Eq:phi_sum}
807: \varphi_{i}\ =\ \sum_{j=1}^k \alpha_{i,j}\varphi_j
808: \qquad\mbox{for}\quad i=1,\dotsc,l\,.
809: \end{equation}
810: %
811: This matrix $A$ defines a $G$-map $A\colon W^k\to W^l$ by
812: %
813: \begin{equation}\label{Eq:A_map}
814: A\ \colon\ (w_1,\dotsc,w_k)\ \longmapsto\
815: \left(\sum_j \alpha_{1,j}w_j,\,\sum_j \alpha_{2,j}w_j,\,
816: \dotsc,\,\sum_j \alpha_{l,j}w_j\right)\ .
817: \end{equation}
818: %
819: Composing the map $\psi:=(\varphi_1,\dotsc,\varphi_k)\colon U\to W^k$ with
820: $A\colon W^k\to W^l$ gives the identity map on $U$:
821: By~\eqref{Eq:phi_sum}, for $w\in U$, we have
822: \[
823: w\ =\ (\varphi_1(w),\varphi_2(w),\dotsc,\varphi_l(w))\,.
824: \]
825:
826: We show that the map~\eqref{Eq:A_map} is injective and thus $\psi$ is an
827: isomorphism.
828: A linear map $L\colon W\to \R$ induces maps $L^k\colon W^k\to\R^k$ and
829: $L^l\colon W^l\to\R^l$, which commute with $A$.
830: If $0\neq w\in W^k$, then there is some linear map $L\colon W\to \R$
831: with $L^k(w)\neq 0$.
832: Since $A$ has full rank $k$, $A(L^k(w))\neq 0$.
833: But this implies that $A(w)\neq 0$, as $A(L^k(w))=L^l(A(w))$.
834: \QED
835: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
836:
837:
838: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
839: \begin{lemma}\label{L:Orbit_dimension}
840: Suppose that $W=W_1^{l_1}\oplus\dotsb\oplus W_m^{l_m}$ is the decomposition of
841: a representation $W$ of $G$ into isotypical pieces, each of which has real type.
842: Let $w=(w_1,\dotsc,w_m)\in W$, where $w_i$ is the component of $w$ in $W_i^{l_i}$.
843: Then the dimension of the convex hull $V$ of the orbit $G.w$ is
844: \[
845: \sum_{W_i\neq \R} d(w_i)\cdot \dim W_i\,.
846: \]
847: If $W$ does not contain the trivial representation, then $0$ lies in $V$.
848: \end{lemma}
849: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
850:
851:
852: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
853: \noindent{\it Proof.}
854: If $W$ contains the trivial representation, assume that it is $W_1$.
855: Since $g.(w-w_1)=g.w-w_1$, we see that the orbits
856: $G.w$ and $G.(w-w_1)$ are isomorphic, and the same it true for their convex hulls.
857: Thus it it no loss to suppose that $w_1=0$, which is equivalent to assuming that $W$ does
858: not contain the trivial representation.
859:
860: The linear span $U$ of the orbit $G.w$ is the direct sum of its projections to the
861: isotypical components $W_i^{l_i}$ of $W$.
862: Each projection is the linear span of $G.w_i$, which by Lemma~\ref{Lem:orbit-Span} is
863: isomorphic to $W_i^{d(w_i)}$.
864: Thus $U$ has dimension $\sum_i d(w_i)\dim W_i$.
865: We may replace $W$ by this linear span, and therefore assume that the orbit $G.w$ spans
866: $W$.
867:
868: The convex hull of $G.w$ lacks full dimension only if it lies in some hyperplane $H$ not
869: containing the origin.
870: Suppose that this is not the case and let $B$ be the convex hull of $G.w$ and the
871: origin.
872: Then $V$ is a proper $G$-stable face of $B$ and so by Lemma~\ref{Lem:trivial_support}
873: $W$ contains the trivial representation, which is a contradiction.
874:
875: If $0\not\in V$, then there is some linear function $L$ which is bounded above 0 on $V$.
876: But then the image $L'$ of $L$ under the Reynolds operator is non-zero on $V$.
877: This implies that $L'\neq 0$, and so $W$ contains the trivial representation,
878: a contradiction.
879: \QED
880: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
881:
882:
883:
884: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
885: \begin{example}\label{Ex:SO(2)_Orbits}
886: Lemmas~\ref{Lem:orbit-Span} and~\ref{L:Orbit_dimension}
887: do not hold if the representation $W$ has complex type.
888: For example, let $G=SO(2)$ and $W=U_k^l$ with $k,l\geq 1$.
889: Identifying $W$ with $\C^l$ and $SO(2)$ with the circle group $S^1$, elements $z\in S^1$
890: act on $\C^l$ as scalar multiplication by $z^k$.
891: Thus the linear span $SO(2).w$ for $w\in U_k^l$ is
892: a complex line, and therefore has real dimension 2, and not 4 as
893: Lemma~\ref{Lem:orbit-Span} predicts for general $w\in W$ when $l,k\geq 1$.
894:
895: In particular, if $W=U_1\oplus U_2^2$, and $w\in W$ is general, then
896: the linear span of $G.w$ has complex dimension 2 and thus real dimension 4.
897: \end{example}
898: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
899:
900:
901: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
902: %
903: \section{One metal ion}\label{S:One}
904: %
905: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
906:
907: Let $W$ be the space of symmetric $3\times 3$ anisotropic tensors, a
908: 5-dimensional irreducible representation of $SO(3)$ of real type.
909: For each unit vector $e\in\R^3$, there is a linear function
910: %
911: \begin{equation}\label{E:L_e}
912: \Blue{L_e}\ \colon\ W\ni\chi \ \longmapsto\
913: \langle e, \chi e\rangle\ =\ e^T\chi e\in\R\,.
914: \end{equation}
915: %
916: If $e$ is an eigenvector of $\chi$, then $L_e(\chi)$ is its
917: eigenvalue. In general, $L_e(\chi)$ lies between the maximum and
918: minimum eigenvalues of $\chi$. Note that $L_e$ is $Q_e$-invariant.
919: By the decomposition~\eqref{Eq:Decomposition} of $W$ into
920: irreducible $Q_e$ representations, any $Q_e$-invariant linear
921: function is a scalar multiple of $L_e$.
922:
923:
924: As a matrix, a tensor in $W$ has real eigenvalues and its
925: eigenvectors form an orthonormal basis for $\R^3$. Fix a non-zero
926: anisotropic tensor $\chi\in W$ with maximum eigenvalue $M>0$ and
927: minimum eigenvalue $m<0$. The intermediate eigenvalue of $\chi$ is
928: $-M-m$, and we have $-\frac{M}{2}\geq m\geq -2M$. The orbit $\calO$
929: of $\chi$ under $SO(3)$ consists of the anisotropic tensors with
930: maximal eigenvalue $M$ and minimal eigenvalue $m$.
931: It is a manifold whose dimension we determine.
932:
933: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
934: \begin{proposition}\label{Prop:orbit_dim}
935: The orbit $\calO_\chi$ is $3$-dimensional unless $\chi$ has an eigenvalue of
936: multiplicity $2$ and then it is two-dimensional.
937: \end{proposition}
938: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
939:
940: \noindent{\it Proof.}
941: The dimension of $\calO$ is equal to the dimension of any of its tangent
942: spaces.
943: Since
944: \[
945: \calO\ =\ \left\{ R\chi R^T\mid R\in SO(3)\right\}\,,
946: \]
947: the tangent space $T_\xi\calO$ at a point $\xi\in\calO$ is the affine space
948: %
949: \begin{equation}\label{Eq:TS}
950: \xi\ +\ \left\{ r\xi + \xi r^T\mid r\in\mathfrak{so}_3\right\}\,.
951: \end{equation}
952: %
953: Indeed, consider the action in $\xi$ of an element $I+r$ of the tangent space
954: $T_ISO(3)=I+\mathfrak{so}_3$:
955: \[
956: (I+r)\xi(I+r)^T\ =\ \xi + r\xi + \xi r^T + r\xi r^T \ .
957: \]
958: Discarding the term which is quadratic in $\mathfrak{so}_3$ gives~\eqref{Eq:TS}.
959:
960: It suffices to determine the tangent space to $\calO$ at the point $\chi$.
961: We may suppose that $\chi$ is diagonal, and let $r$ be a general
962: element of $\mathfrak{so}_3$,
963: \[
964: \chi\ =\ \left(\begin{matrix}M&0&0\\0&-M-m&0\\0&0&m\end{matrix}\right)
965: \qquad\mbox{and}\qquad
966: r\ =\ \left(\begin{matrix}0&-a&-b\\a&0&-c\\b&c&0\end{matrix}\right)\ ,
967: \]
968: where $a,b,c\in\R$.
969: Let $\alpha:=M+\frac{m}{2}$, $\beta:=M-m$, and $\gamma:=-m-\frac{M}{2}$.
970: Then $\beta>0$ and $\alpha,\gamma\geq 0$ with $\alpha=0$ only when the eigenvalue $m$
971: has multiplicity 2 and $\gamma=0$ only when the eigenvalue $M$ has multiplicity 2.
972: We see that $T_\chi\calO$ is the affine subspace of $W$
973: %
974: \begin{equation}\label{Eq:TanSpace_k=1}
975: \xi
976: \ +\
977: \left(\begin{matrix}0&2a\alpha&b\beta\\
978: 2a\alpha&0&2c\gamma\\b\beta&2c\gamma&0\end{matrix}\right)\ ,
979: \end{equation}
980: %
981: where $a,b,c\in\R$.
982: This is 3-dimensional unless either $\alpha=0$ or $\gamma=0$.
983: \QED\smallskip
984: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
985:
986: Let $V$ be the convex hull of the orbit $\calO$ of $\chi\in W$.
987: By Lemma~\ref{Lem:orbit-Span}, this is a 5-dimensional convex body.
988:
989: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
990: \begin{lemma}\label{Lem:Le-bounds}
991: If\/ $\chibar\in V$ and $e\in\R^3$ is a unit vector, then we have
992: %
993: \begin{equation}\label{E:Le_ineq_orbit}
994: m\ \leq\ L_e(\chibar)\ \leq\ M\,.
995: \end{equation}
996: %
997: \end{lemma}
998: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
999: In fact, $V$ is the set of symmetric anisotropic tensors
1000: satisfying~\eqref{E:Le_ineq_orbit}~\cite[Theorem~3.3]{GLS05}.\smallskip
1001:
1002:
1003: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1004: \noindent{\it Proof.}
1005: $L_e(\chibar)$ lies between the maximum and minimum eigenvalues of $\chibar$.
1006: Thus the inequality~\eqref{E:Le_ineq_orbit} holds for $\chibar$ in the orbit of $\chi$.
1007: Since a general element of $V$ is a convex combination of tensors in the orbit
1008: of $\chi$, we deduce~\eqref{E:Le_ineq_orbit}.
1009: \QED\smallskip
1010: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1011:
1012: A \Blue{{\it coaxial face}} of $V$ is a face which is stabilized by some
1013: coaxial subgroup $Q_e$.
1014: By Lemma~\ref{Lem:trivial_support}, a coaxial face stabilized by
1015: $Q_e$ is supported by a non-trivial $Q_e$-invariant linear function.
1016: As we noted earlier, this linear function is necessarily a scalar multiple of $L_e$.
1017: By the inequality~\eqref{E:Le_ineq_orbit}, there are two possibilities for
1018: such a coaxial face,
1019: %
1020: \begin{equation}\label{Eq:Coax_Faces}
1021: \begin{array}{rcl}
1022: \Blue{F_e^M}&:=& \left\{\chibar\in V\mid L_e(\chibar)=M\right\}\quad\mbox{and}\\
1023: \Blue{F_e^m}&:=& \left\{\chibar\in V\mid L_e(\chibar)=m\right\}\,.
1024: \rule{0pt}{15pt}
1025: \end{array}
1026: \end{equation}
1027: %
1028: The coaxial face $F^M_e$ consists of tensors $\chibar\in V$ having $e$
1029: as an eigenvector with eigenvalue $M$ and tensors in $F^m_e$ have $e$ as an
1030: eigenvector with eigenvalue $m$.
1031:
1032: We now describe the facets of $V$ and determine its Carath\'eodory number.
1033: As in the proof of Proposition~\ref{Prop:orbit_dim}, set
1034: $\Blue{\alpha}:=M+\frac{m}{2}\geq 0$ and $\Blue{\gamma}:=-m-\frac{M}{2}\geq 0$.
1035:
1036: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1037: \begin{lemma}\label{L:Boundary_one}
1038: The boundary of\/ $V$ is the union of coaxial faces~\eqref{Eq:Coax_Faces} where $e$
1039: ranges over all unit vectors in $\R^3$.
1040: A nonempty intersection of two coaxial faces lies in the orbit of $SO(3)$.
1041: Each face $F_e^M$ is a circle of radius $\gamma$ and each face $F_e^m$ is a circle
1042: of radius $\alpha$.
1043: When $\chi$ has a repeated eigenvalue so that either $\alpha$ or $\gamma$ vanishes,
1044: then the corresponding coaxial face degenerates to a point.
1045: \end{lemma}
1046: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1047:
1048: A consequence of Lemma~\ref{L:Boundary_one} is that the coaxial faces are maximal faces,
1049: and are therefore facets.\medskip
1050:
1051: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1052: \noindent{\it Proof.}
1053: By Theorem~3.3 of~\cite{GLS05}, $V$ is the set of anisotropic tensors whose
1054: eigenvalues lie in the interval $[m,M]$, and so its boundary
1055: consists of tensors $\chibar$ either having maximal eigenvalue $M$
1056: or having minimal eigenvalue $m$.
1057: This shows that the boundary of $V$ consists of coaxial faces, which are thus the
1058: facets of $V$.
1059:
1060: We show that the intersection of two coaxial faces lies in the orbit of $\chi$.
1061: Suppose that $\chibar$ lies on two different coaxial faces.
1062: If these are $F^M_e$ and $F^m_f$, then $e$ and $f$ are eigenvectors of $\chi$
1063: with eigenvalues $M$ and $m$, respectively.
1064: The third eigenvalue of $\chibar$ is $-M-m$, and so $\chibar$ lies in the orbit of
1065: $\chi$.
1066: If the two faces have the form $F^M_e$ and $F^M_f$ with $e$ and $f$
1067: linearly independent, then the eigenvalue $M$ of $\chibar$ has multiplicity 2 and its
1068: third (smallest) eigenvalue is $-2M$.
1069: Since $\chibar\in V$, this smallest eigenvalue is bounded below by $m$; as
1070: $m\geq -2M$, we see that $m=-2M$ and so again $\chibar$ lies in the orbit of
1071: $\chi$.
1072: The argument is similar if the two faces are $F^m_e$ and $F^m_f$.\smallskip
1073:
1074: The coaxial face $F^M_e$ of $V$ consists of tensors
1075: $\chibar\in V$ having $e$ as an eigenvector with eigenvalue $M$.
1076: Since each point of the boundary of $F_e^M$ lies in some other coaxial face,
1077: this boundary lies in the orbit of $\chi$ and is necessary an orbit of
1078: $Q_e$.
1079: We need only consider the case when $\chi\in F_e^M$ so that this boundary is
1080: $Q_e.\chi$.
1081: Suppose that $e=e_1$ and $\chi=\chi(M,0,0,\gamma,0)$, in the
1082: coordinates~\eqref{Eq:Coords}.
1083: Here, $\gamma=-\frac{M}{2}-m\geq 0$.
1084: As in Section~\ref{S:coaxial}, elements of $Q_e$ act on
1085: $\chi$ by rotation of the vector $(\gamma,0)$ formed by the last two coordinates,
1086: and thus $F^M_{e_1}$ is a circle of radius $\gamma$, which degenerates to a point
1087: if $\gamma=0$.
1088:
1089: We omit the similar arguments for $F^m_e$.
1090: \QED\smallskip
1091: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1092:
1093:
1094: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1095: \begin{theorem}
1096: If zero is not an eigenvalue of $\chi$, then $V$ has Carath\'eodory number $3$,
1097: and when zero is an eigenvalue, $V$ has Carath\'eodory number $2$.
1098: \end{theorem}
1099: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1100:
1101: When zero is not an eigenvalue of $\chi$, this is the main result about $V$
1102: from~\cite{GLS05}.\medskip
1103:
1104: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1105: \noindent{\it Proof.}
1106: First suppose that zero is not an eigenvalue of $\chi$.
1107: Every facet has Carath\'eodory number 2, as it is a circle.
1108: So by Lemma~\ref{L:Cartheodory}, $V$ has Carath\'eodory number either 2 or 3.
1109: By Lemma~\ref{L:Orbit_dimension}, 0 lies in $V$.
1110: If $V$ has Carath\'eodory number 2 then there exist $\lambda\in [0,1]$ and
1111: $R,S\in SO(3)$ with $0= \lambda R.\chi + (1-\lambda) S.\chi$.
1112: Multiplying by $R^{-1}$, this becomes $0 = \lambda\chi + (1-\lambda) R.\chi$, for a
1113: different rotation $R\in SO(3)$, and so
1114: %
1115: \begin{equation}\label{Eq:CN=2}
1116: -\lambda\chi \ =\ (1-\lambda) R.\chi\,.
1117: \end{equation}
1118: %
1119: Suppose that $\chi$ is diagonal.
1120: Then~\eqref{Eq:CN=2} implies that $R.\chi$ is also diagonal.
1121:
1122: If $M\neq -m$ so that 0 is not an eigenvalue of $\chi$, then one of the
1123: diagonal matrices $-\lambda\chi$ and $(1-\lambda)R.\chi$ has two positive entries and
1124: the other has two negative entries, which is a contradiction.
1125: Thus if 0 is not an eigenvalue of $\chi$, then $V$ has Carath\'eodory
1126: number 3.\medskip
1127:
1128: Now we assume that 0 is an eigenvalue of $\chi$.
1129: We will show that the image of the map $[0,1]\times SO(3)\times SO(3)\to V$
1130: which takes $(\lambda,R,S)$ to $\lambda R.\chi+(1-\lambda)S.\chi$
1131: meets each $SO(3)$-orbit in $V$ and is therefore surjective.
1132: They key point is that two tensors are in the same orbit if and only if
1133: they have the same characteristic polynomial.
1134:
1135: The characteristic polynomial of a trace-zero matrix $\overline{\chi}$ with eigenvalues
1136: $s,t,-s-t$ is
1137: \[
1138: x^3 - x(st+t^2+s^2) + (s^2t+st^2)\,.
1139: \]
1140: The constant term is $-\det(\overline{\chi})$, while the coefficient $-\alpha$ of
1141: $x$ is the sum of the pairwise products of eigenvalues, which is an invariant of the
1142: matrix.
1143:
1144: Scaling $\chi$, we may assume that its eigenvalues are $1,0$, and $-1$, so
1145: that $V$ consists of tensors $\overline{\chi}\in W$ with eigenvalues
1146: $s,t,-s-t$ lying in the interval $[-1,1]$.
1147: The set of such pairs $(s,t)$ are the points of the hexagon of Figure~\ref{Fig:Hex}.
1148: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1149: \begin{figure}[htb]
1150: \[
1151: \begin{picture}(170,120)(-18,5)
1152: \put(0,11.2){\includegraphics[height=110pt]{figures/Hex.eps}}
1153: \put(98,73){$1$} \put(62,107){$1$}
1154: \put(-2,55){$-1$} \put(36,17){$-1$}
1155: \put(87,108){\Brown{$t=s$}}
1156: \put(-19,119){\Brown{$t=-2s$}}
1157: \put(105,22){{\Brown{${\displaystyle t=-\frac{s}{2}}$}}}
1158: \end{picture}
1159: %
1160: \qquad
1161: %
1162: \begin{picture}(235,120)(0,-5)
1163: \put(0,0){\includegraphics{figures/invariants.eps}}
1164:
1165: \put(138,108){$(\frac{3}{4},\frac{1}{4})$}
1166: \put(133, 0){$(\frac{3}{4},-\frac{1}{4})$}
1167: \put(165,20){$\det=\alpha-1$}
1168: \put(165,90){$\det=1-\alpha$}
1169: \put(38, 0){$27\det^2=4\alpha^3$}
1170: \put(78,11){\vector(0,1){53}}
1171: \put(85,11){\vector(1,1){20}}
1172: \put(11,95){$\frac{1}{4}$}
1173: \put(2,12){$-\frac{1}{4}$}
1174: \put(189,42){$1$}
1175: \put(213,65){$\alpha$}
1176: \put(34,106){$\det$}
1177: \end{picture}
1178: \]
1179: \caption{Eigenvalues and invariants of tensors in $V$.}\label{Fig:Hex}
1180: \end{figure}
1181: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1182: The three lines through the origin $t=s$, $t=-s/2$, and $t=2s$ divide the hexagon into six
1183: quadrilaterals and permutations of the eigenvalues permute these
1184: quadrilaterals.
1185: We leave it to the reader to check that $(s,t)\mapsto(\alpha,\det)$ is a one-to-one
1186: mapping of each quadrilateral onto the region
1187: shown in Figure~\ref{Fig:Hex}, which is
1188: %
1189: \begin{equation}\label{Eq:Region}
1190: \Blue{X}\ :=
1191: \left\{(\alpha,\det)\in\R^2\mid 27{\textstyle \det^2}\leq 4\alpha^3 \mbox{\ and\ }
1192: \alpha\leq 1-|\det|\right\}\,,
1193: \end{equation}
1194: %
1195: and is bounded by the curves $\det=1-\alpha$,
1196: $\det=\alpha-1$, and $27\det^2=4\alpha^3$.
1197:
1198:
1199: Consider matrices of the form
1200: $\chi(\lambda,\theta,\tau):=\lambda R(\theta).\chi + (1-\lambda)S(\tau).\chi$, where
1201: \[
1202: \Blue{R(\theta)}\ :=\ \left[
1203: \begin{matrix}\cos\theta&\sin\theta&0\\
1204: -\sin\theta&\cos\theta&0\\
1205: 0&0&1\end{matrix}\right]
1206: \qquad\mbox{and}\qquad
1207: \Blue{S(\tau)}\ :=\ \left[
1208: \begin{matrix}\cos\tau&0&\sin\tau\\0&1&0\\
1209: -\sin\tau&0&\cos\tau\end{matrix}\right]\,.
1210: \]
1211: %This convex combination is
1212: %\[
1213: % \left[ \begin{array}{ccc}
1214: % \frac{t}{2}(1+\cos 2\theta) + (1-t)\cos 2\tau & \frac{t}{2}\sin 2\theta &
1215: % (1-t)\sin 2\tau \\
1216: % \frac{t}{2}\sin 2\theta & \frac{t}{2}(1-\cos 2\theta)& 0\\
1217: % (1-t)\sin 2\tau &0&-1+(1-t)\cos 2\tau\end{array}\right]\ .
1218: %\]
1219: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1220: % [ 2 2 2 ]
1221: % [t c + (1 - t) (x - y ) t c s 2 (1 - t) x y ]
1222: %
1223: % [ 2 ]
1224: % [ t c s t s 0 ]
1225: %
1226: % [ 2 2 ]
1227: % [ 2 (1 - t) x y 0 -t + (1 - t) (y - x )]
1228: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1229: The invariants $(\alpha,\det)$ of $\chi(\lambda,\theta,\tau)$ are
1230: \[
1231: \left(1- \lambda(1-\lambda)(4\sin^2\tau + \sin^2\theta - 2\sin^2\tau\sin^2\theta),
1232: \quad
1233: \lambda(1-\lambda)\sin^2\theta(1-2\lambda\sin^2\tau)\right)\,.
1234: \]
1235: % 2 2
1236: % t s (-1 + t) (2 t y - 1)
1237: %
1238: % 2 2 2 2 2 2 2 2 2 2 2
1239: % 1 - t s - 4 t y + 2 y t s - 2 t y s + t s + 4 t y
1240: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1241: If we let $u=\sin^2\theta$ and $v=\sin^2\tau$, then the set of invariants
1242: of $\chi(\lambda,\theta,\tau)$ for all $(\lambda,\theta,\tau)$ are the image of the unit
1243: cube $[0,1]^3$ under the map
1244: \[
1245: f\ \colon\ (\lambda,u,v)\ \longmapsto\
1246: \left( 1-\lambda(1-\lambda)(4v+u-2uv), \ \lambda(1-\lambda)u(1-2\lambda v) \right)\,.
1247: \]
1248:
1249: We show that the image of $f$ includes that part of $X$~\eqref{Eq:Region} where
1250: $\det\geq 0$.
1251: This will complete the proof, as replacing $\chi$ by $-\chi=S(\frac{\pi}{2}).\chi\in V$
1252: in our definition of $f$ changes the sign of the determinant and does not change the
1253: invariant $\alpha$.
1254:
1255:
1256: Figure~\ref{F:subsets_faces} shows subsets of the faces $v=1$ and
1257: $u=1$ of the cube
1258: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1259: \begin{figure}[htb]
1260: \[
1261: \begin{picture}(180,105)(0,0)
1262: \put(0,0){\includegraphics[height=90pt] {figures/v.eps}}
1263: \put(44,80){$(\lambda-\lambda^2)u= 2(1-2\lambda)^2$}
1264: \put(23,100){$\lambda$} \put(168,20){$u$}
1265: \put(2,57){$\frac{1}{3}$} \put(2,80.8){$\frac{1}{2}$}
1266: \put(156,-3){$1$}
1267: \put(60,-10){Face $v=1$}
1268: \end{picture}
1269: \qquad\qquad
1270: \begin{picture}(180,105)(0,0)
1271: \put(0,0){\includegraphics[height=90pt] {figures/u.eps}}
1272: \put(44,84){$2(\lambda-\lambda^2)v = -(1-\lambda-2\lambda^2)$}
1273:
1274: \put(23,100){$\lambda$} \put(168,20){$v$}
1275: \put(2,57){$\frac{1}{3}$} \put(2,80.8){$\frac{1}{2}$}
1276: \put(156,-3){$1$}
1277: \put(60,-10){Face $u=1$}
1278: \end{picture}
1279: \]
1280: \caption{Subsets of faces of the cube}\label{F:subsets_faces}
1281: \end{figure}
1282: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1283: which include the segments $\lambda=1/3$ and have boundaries the indicated curves.
1284: The map $f$ is one-to-one on the interior of each region, and the
1285: images cover that part of $X$ with $\det\geq 0$, meeting only along the curve
1286: $\det=\sqrt{\frac{4}{27}(\alpha-\frac{1}{4})(\alpha-1)^2}$
1287: for $\frac{1}{3}\leq \alpha\leq 1$, as shown in Figure~\ref{F:images}.
1288: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1289: \begin{figure}[htb]
1290: \[
1291: \begin{picture}(335,125)(-23,-32)
1292: \put(0,0){\includegraphics[height=70pt]{figures/image.eps}}
1293: \put(-15,69){$\frac{1}{4}$} \put(281,-15){$1$}
1294: \put( 73,32){$(\frac{1}{3},\frac{2}{27}$)}
1295: \put(202,82){$(\frac{3}{4},\frac{1}{4}$)}
1296: \put(80,-28){$\det=\sqrt{\frac{4}{27}(\alpha-\frac{1}{4})(\alpha-1)^2}$}
1297: \put(145,-9){\vector(0,1){34}}
1298: \put(12,71){$\det$} \put(290,15){$\alpha$}
1299: \end{picture}
1300: \]
1301: \caption{Image of subsets of Figure~\ref{F:subsets_faces}}\label{F:images}
1302: \end{figure}
1303: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1304: The line $3\det=(\alpha-\frac{1}{9})$, which is tangent to the
1305: boundary curve $27\det^2=4\alpha^3$ at the point $(\frac{1}{3},\frac{2}{27})$,
1306: is the image of the lines $\lambda=\frac{1}{3}$ in Figure~\ref{F:subsets_faces}.
1307: This completes the proof.
1308: \QED\smallskip
1309: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1310:
1311:
1312: Lastly, we identify the hyperplanes supporting facets of $V$.
1313: By Lemma~\ref{L:Boundary_one}, the faces $F_e^M$ and $F_e^m$ are 2-dimensional, unless
1314: $\chi$ has an eigenvalue with multiplicity 2, and in that case exactly one face is
1315: degenerate.
1316:
1317: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1318: \begin{proposition}
1319: The facets $F_e^M$ and $F_e^m$ have a unique supporting linear function, unless they are
1320: degenerate.
1321: \end{proposition}
1322: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1323:
1324: \noindent{\it Proof.}
1325: It suffices to determine the hyperplanes supporting faces which contain $\chi$.
1326: Any hyperplane supporting the vertex $\chi$ contains the
1327: the tangent space $T_\chi\calO$ at
1328: $\chi$ to the orbit $\calO$ through $\chi$.
1329: Choose coordinates so that
1330: $\chi=\chi(M,0,0,\gamma,0)$ is diagonal ($\gamma=-\tfrac{M}{2}-m$) so that
1331: $\chi\in F^M_{e_1}\cap F^m_{e_3}$.
1332: Recall that $T_\chi\calO$~\eqref{Eq:TanSpace_k=1} is the affine 3-plane in $W$
1333: \[
1334: \chi(M, \Magenta{*}, \Magenta{*}, \gamma, \Magenta{*})\,,
1335: \]
1336: where $\Magenta{*}$ represents an arbitrary real number.
1337: If $(x_1,\dotsc,x_5)$ are the coordinates~\eqref{Eq:Coords}, then hyperplanes
1338: containing $T_\chi\calO$ have equation $\sum_i c_ix_i=c$, where
1339: %
1340: \begin{equation}\label{Eq:Supp_1}
1341: c_2\ =\ c_3\ =\ c_5\ =\ 0,\qquad\mbox{and}\qquad
1342: c_1M + c_4 \gamma\ =\ c\,.
1343: \end{equation}
1344: %
1345: If $\gamma\neq 0$, then $F^M_{e_1}$ is nondegenerate and contains the additional
1346: point
1347: \[
1348: R_{e_1,\frac{\pi}{2}}\ =\ \chi(M,0,0,0,\gamma)\ =\
1349: \left(\begin{matrix}M&0&0\\0&-\tfrac{M}{2}&\gamma\\
1350: 0&\gamma&-\tfrac{M}{2}\end{matrix}\right)\ ,
1351: \]
1352: which imposes the further condition $c_1 M = c$ on a support hyperplane to
1353: $F^M_{e_1}$.
1354: Thus $c_1=c/M$ and $c_4=0$.
1355: Setting $c=M$ so that $c_1=1$, we see that the support hyperplane to
1356: $F^M_{e_1}$ is defined by $x_1 = M$, which is $L_{e_1}(\chi)=M$.
1357:
1358: If $\nu=M+\frac{m}{2}\neq 0$, then $F^m_{e_3}$ is nondegenerate and it
1359: contains the point
1360: \[
1361: \left(\begin{matrix}-\tfrac{m}{2}&\nu&0\\\nu&-\tfrac{m}{2}&0\\0&0&m\end{matrix}\right)
1362: \ =\ \chi(-\tfrac{m}{2},\nu,0,-\tfrac{3m}{4},0)\,,
1363: \]
1364: and so a support hyperplane to $F^m_{e_3}$ must satisfy~\eqref{Eq:Supp_1} and also
1365: $-c_1\tfrac{m}{2} - c_4 \tfrac{3m}{4} = d$.
1366: Subtracting these equations and dividing by $\nu$, we see that $c_1=2c_4$, and
1367: so
1368: \[
1369: x_1 + 2x_4\ =\ -2m\,,
1370: \]
1371: is the support hyperplane to $F^m_{e_3}$.
1372: Note that $x_1+2x_4$ is $-2L_{e_3}(\chi)$.
1373: \QED
1374:
1375: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1376: %
1377: %
1378: \section{Two Metals}\label{S:Two}
1379: %
1380: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1381:
1382:
1383: Let $\chi_1,\chi_2\in W$ be linearly independent anisotropic tensors
1384: and set $\chi:=(\chi_1,\chi_2)\in W^2$.
1385: By Lemma~\ref{L:Orbit_dimension}, the convex hull $V$ of the orbit
1386: $\calO:=SO(3).\chi$ is a $2\cdot 5=10$-dimensional convex body containing the origin.
1387: Its boundary is 9-dimensional.
1388:
1389: We study the facial structure of $V\subset W^2$.
1390: One tool will be a family of $SO(3)$-equivariant maps $\pi_\alpha\colon W^2\to W$.
1391: We first determine the dimension of the orbit, show that
1392: the maximum dimension of a facet is 6, and then define coaxial faces.
1393: Our main result is that coaxial faces are facets if $\chi_1$ and
1394: $\chi_2$ have distinct eigenvectors.
1395: In that case, almost all coaxial faces have dimension 6 and Carath\'eodory number
1396: 4.
1397: We are unable to rule out the existence of other facets, but we conjecture that there are
1398: no other facets.
1399:
1400:
1401: Let $\Span(\chi)\subset W$ be the 2-dimensional subspace of $W$ spanned by $\chi_1$ and
1402: $\chi_2$.
1403: The structure of $V$ depends only on $\Span(\chi)$.
1404: Indeed, if $\chi'_1,\chi'_2\in\Span(\chi)$ are linearly independent, then
1405: there is a $2\times 2$ invertible matrix $A=(a_{ij})$ such that
1406: \[
1407: \chi'_1\ =\ a_{11}\chi_1\;+\; a_{12}\chi_2
1408: \qquad
1409: \chi'_2\ =\ a_{21}\chi_1\;+\; a_{22}\chi_2\,.
1410: \]
1411: This induces an $SO(3)$-isomorphism $W^2\xrightarrow{\sim}W^2$:
1412: \[
1413: W^2\ \ni\ (w_1,w_2)\ \longmapsto\ ( a_{11}w_1\;+\; a_{12}w_2,\
1414: a_{21}w_1\;+\; a_{22}w_2)\ \in\ W^2
1415: \]
1416: which sends $V$ to the convex hull of the orbit of
1417: $(\chi'_1,\chi'_2)$.
1418: This is nothing more than a change of coordinates on $W^2$.
1419:
1420:
1421: Any non-zero vector $\alpha=(\alpha_1,\alpha_2)\in\R^2$ gives an
1422: $SO(3)$-map
1423: %
1424: \begin{equation}\label{Eq:pi_alpha}
1425: \pi_\alpha\ \colon\ W^2\ \longrightarrow\ W
1426: \end{equation}
1427: %
1428: defined by $\pi_\alpha(w_1,w_2):=\alpha_1w_1+\alpha_2w_2$.
1429: Write $w_\alpha$ for $\pi_\alpha(w)$.
1430: In particular, $\Blue{\chi_\alpha}:=\pi_\alpha(\chi)\in\Span(\chi)$.
1431: Set $\Blue{V_\alpha}\subset W$ to be the convex hull of the orbit
1432: $\Blue{\calO_\alpha}:=SO(3).\chi_\alpha$.
1433: Since $\pi_\alpha(SO(3).\chi)=SO(3).\chi_\alpha$, we have
1434: $\pi_\alpha(\calO_\chi)=\calO_\alpha$ and $V_\alpha=\pi_\alpha(V)$.
1435: We compute the dimension of the orbit $\calO_\chi$.
1436:
1437: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1438: \begin{theorem}
1439: $\dim \calO_\chi =3$.
1440: \end{theorem}
1441: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1442:
1443: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1444: \noindent{\it Proof.}
1445: We will show that $\dim\calO_\alpha=3$ for some $\alpha\in\R^2$.
1446: As $\pi_\alpha(\calO_\chi)=\calO_\alpha$, this implies $\dim\calO_\chi\geq 3$.
1447: Since $\dim SO(3)=3$, we have $\dim\calO_\chi\leq 3$
1448: and so $\dim \calO_\chi =3$.
1449:
1450: By Proposition~\ref{Prop:orbit_dim}, the dimension of $\calO_\alpha$ is
1451: 3 if and only if $\chi_\alpha$ has distinct eigenvalues.
1452: If either $\chi_1$ or $\chi_2$, say $\chi_1$, has distinct eigenvalues,
1453: then $\dim\calO_{(1,0)}=3$
1454: and we are done.
1455: Suppose the contrary, that neither $\chi_1$ nor $\chi_2$ has distinct eigenvalues.
1456: That is, for each $i=1,2$, $\chi_i$ has a 2-dimensional eigenspace with eigenvalue
1457: $\alpha_i$.
1458: Since $0$ cannot be a repeated eigenvalue, neither $\alpha_1$ nor
1459: $\alpha_2$ is zero.
1460: These eigenspaces must meet, so $\chi_1$ and $\chi_2$ share an eigenvector,
1461: which is an eigenvector for the nonzero tensor
1462: $\chi_\alpha:=\alpha_2\chi_1\Red{-}\alpha_1\chi_2\in\Span(\chi)$
1463: with eigenvalue 0.
1464: But then $\chi_\alpha$ has distinct eigenvalues and so $\dim\calO_\alpha=3$.
1465: \QED\smallskip
1466: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1467:
1468:
1469:
1470: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1471: \begin{lemma}
1472: The maximum dimension of a proper face of $V$ is $6$.
1473: \end{lemma}
1474: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1475:
1476: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1477: \noindent{\it Proof.}
1478: Let $F$ be a proper face of $V$ and let $S\subset SO(3)$ its stabilizer subgroup,
1479: \[
1480: S\ =\ \left\{g\in SO(3)\mid g.F\subset F\right\}\,.
1481: \]
1482: This is a closed, proper subgroup, and thus either has dimension 1
1483: (in which case it is a coaxial subgroup $Q_e$ or a rotation subgroup $Q_e^+$), or
1484: it is finite and has dimension zero.
1485:
1486: Let $F^\circ$ be the relative interior of $F$, those points of
1487: $F$ which do not lie in any other face of $V$ of the same or smaller
1488: dimension. If $g.F^\circ\cap F^\circ\neq \emptyset$ then $g.F=F$,
1489: and so $g\in S$.
1490:
1491: Let \Blue{$\partial V$} be the boundary of $V$
1492: and consider the map $f\colon SO(3)\times F^\circ\to \partial V$ defined by
1493: %
1494: \[
1495: f\ \colon\ (g,v)\ \longmapsto\ g.v\,.
1496: \]
1497: %
1498: This map is not 1-1: Suppose that $g.v=h.w$, for $g,h\in SO(3)$ and
1499: $v,w\in F^\circ$. Then $h^{-1}g.v=w$ and so $h^{-1}g.F^\circ\cap
1500: F^\circ\neq \emptyset$, which implies that $s:=h^{-1}g\in S$. Then
1501: $s.v=w$.
1502:
1503: This calculation shows that the fibers of $f$ have the form
1504: \[
1505: \left\{ (gs^{-1}, sv)\mid s\in S\right\}, \qquad\mbox{for}\ g\in SO(3)
1506: \ \mbox{and}\ x\in F^\circ\,.
1507: \]
1508: Thus we have the dimension calculation
1509: %
1510: \[
1511: \dim \partial V\ \geq\ \dim SO(3)+\dim F^\circ-\dim S\,.
1512: \]
1513: %
1514: Since $\dim \partial V=9$ and $\dim SO(3)=3$, this gives
1515: %
1516: \begin{equation}\label{eq:dimension_ineq}
1517: 6+\dim S\ \geq\ \dim F\,.
1518: \end{equation}
1519: %
1520: If $S$ is finite, then $\dim F\leq 6$.
1521: If $S$ has dimension 1 so that it is either $Q_e$ or $Q_e^+$ for some $e$,
1522: then $F$ could have dimension up to 7.
1523: By~\eqref{Eq:Decomposition}, $W^2=\R^2\oplus U_1^2\oplus U_2^2$ as a
1524: representation of $S$.
1525: If $S=Q_e$, then Lemma~\ref{L:Orbit_dimension} implies that $F$ has even dimension,
1526: and if $S=Q_e^+$, then Example~\ref{Ex:SO(2)_Orbits} implies that $F$ has dimension 0, 2,
1527: or 4, which completes the proof.
1528: \QED
1529: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1530:
1531: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1532: %
1533: \subsection{Coaxial faces}
1534: %
1535: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1536:
1537: A \Blue{{\it coaxial face}} of $V$ is a face that is stabilized by some
1538: coaxial subgroup, $Q_e$.
1539: By Lemma~\ref{Lem:trivial_support}, such a face is supported by a $Q_e$-invariant linear
1540: function, which must factor through the projection to the
1541: trivial isotypical component of $W^2$, by Schur's Lemma.
1542: Since this component is $\R^2$~\eqref{Eq:Decomposition}, $L$ is the pullback of
1543: a linear map %$\R^2\to \R$,
1544: \[
1545: \R^2\ni(M_1,M_2)\ \longmapsto\ \alpha_1 M_1+\alpha_2 M_2\in \R\,.
1546: \]
1547: Up to a scalar, this is the composition of the $Q_e$-invariant linear function
1548: $L_e$~\eqref{E:L_e} on $W$ with $\pi_\alpha$, which is the map
1549: $\Blue{L_{e,\alpha}}$ defined by
1550: \[
1551: L_{e,\alpha}(w)\ :=\ L_e(w_\alpha)\ =\ \langle e, w_\alpha e\rangle\,.
1552: \]
1553:
1554:
1555: Suppose now that $e$ is a unit vector.
1556: For each non-zero $\alpha\in\R^2$, define
1557: %
1558: \begin{eqnarray*}
1559: M_\alpha&:=& \mbox{maximum eigenvalue of }\chi_\alpha\,,\quad\mbox{and}\\
1560: m_\alpha&:=& \mbox{minimum eigenvalue of }\chi_\alpha\,.
1561: \end{eqnarray*}
1562: %
1563: If $\chibar\in V$, then $\chibar_\alpha\in V_\alpha$, and
1564: so by Lemma~\ref{Lem:Le-bounds} we have
1565: %
1566: \begin{equation}\label{Eq:Lambda_alpha}
1567: M_\alpha\ \geq\ L_{e,\alpha}(\chibar)\ \geq\ m_\alpha\,,
1568: \end{equation}
1569: %
1570: with equality only when $e$ is an eigenvector of $\chibar_\alpha$ having
1571: eigenvalue $M_\alpha$ or $m_\alpha$.
1572: Thus coaxial faces are the faces of $V$ defined by equality in~\eqref{Eq:Lambda_alpha}.
1573: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1574:
1575: For $e\in\R^3$ a unit vector and $0\neq\alpha\in\R^2$, define the coaxial face
1576: \[
1577: \Blue{F_{e,\alpha}}\ :=\ \left\{\chibar\in V\mid L_{e,\alpha}(\chibar)=M_\alpha\right\}\,.
1578: \]
1579: If $\chibar\in F_{e,\alpha}$, then $e$ is an eigenvector of $\chibar_\alpha$ with
1580: eigenvector $M_\alpha$.
1581: As in Section~\ref{S:One}, each coaxial face $F_{e,\alpha}$ is the convex hull of an
1582: orbit $Q_e.\chi'$, for some $\chi'\in\calO$.
1583:
1584:
1585: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1586: \begin{theorem}\label{T:coaxial}
1587: Faces of $V$ have dimension at most $6$.
1588: The coaxial faces of\/ $V$ form a $3$-dimensional family
1589: whose union is a $9$-dimensional
1590: subset of the boundary of\/ $V$ if and only if $\chi_1$ and $\chi_2$ have distinct
1591: eigenvectors.
1592: When this happens, almost all coaxial faces have dimension $6$, have Carath\'eodory
1593: number $4$, and are facets of\/ $V$.
1594: \end{theorem}
1595: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1596:
1597: If the boundary of $V$ is the union of the coaxial faces, then Lemma~\ref{L:Cartheodory}
1598: implies that the Carath\'eodory number of $V$ is at most $5$, and we conjecture this is
1599: the case.
1600: If there are faces of dimension 6 that are not coaxial, then Carath\'eodory's Theorem
1601: implies that their Carath\'eodory number is at most 7.
1602: Then Lemma~\ref{L:Cartheodory} implies the following corollary of Theorem~\ref{T:coaxial}.
1603:
1604:
1605: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1606: \begin{cor}\label{co:Car}
1607: The Carath\'eodory number of $V$ is at most $8$.
1608: \end{cor}
1609: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1610:
1611: By almost all in the statement of Theorem~\ref{T:coaxial}, we mean in the algebraic sense:
1612: Except for those $\alpha\in\R^2$ lying in finitely many half-rays in $\R^2$,
1613: $F_{e,\alpha}$ has dimension 6 when $\chi_1$ and $\chi_2$ have distinct eigenvectors.
1614: The proof of Theorem~\ref{T:coaxial} is done in the series of lemmas below.
1615:
1616: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1617: \begin{remark}
1618: The condition that the magnetic susceptibility tensors $\chi_1$ and $\chi_2$ have
1619: distinct eigenvectors has already been considered in protein folding.
1620: It implies that RDC measurements from the two ions are sufficient to
1621: remove the symmetry property of the RDC~\cite{LPS}.
1622: \end{remark}
1623: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1624:
1625: Since $M_{-\alpha}=-m_\alpha$, there is no need for two types of coaxial faces as in
1626: Section~\ref{S:One}.
1627: Since if $r>0$ then $M_{r\alpha}=rM_\alpha$ and $L_e=L_{-e}$, we have
1628: \[
1629: F_{e,\alpha}\ =\ F_{-e,\alpha}\ =\ F_{e,r\alpha}
1630: \]
1631: if $r>0$.
1632: Thus we may assume that $\alpha$ lies on the unit circle $S^1$ in $\R^2$.
1633: We also only need to consider the unit vector $e$ up to multiplication by $\pm 1$,
1634: that is, as a point in the real projective plane, $\R\P^2$,
1635: which is a 2-dimensional manifold.
1636:
1637: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1638: \begin{lemma}\label{Lem:Coaxial_equivariant}
1639: The coaxial faces $F_{e,\alpha}$ form a $3$-dimensional family parameterized
1640: by $\R\P^2\times S^1$.
1641: For each $\alpha\in S^1$, any two coaxial faces $F_{e,\alpha}$ and $F_{e',\alpha}$ are
1642: isomorphic.
1643: \end{lemma}
1644: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1645:
1646: Since the boundary of $V$ is 9-dimensional and it has a 3-dimensional family of coaxial faces,
1647: we see again that the maximum dimension of a coaxial face is 6.\smallskip
1648:
1649:
1650: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1651: \noindent{\it Proof.}
1652: Suppose that $e\in\R^3$ is an eigenvector for $\chi_\alpha$ with maximal
1653: eigenvalue $M_\alpha$.
1654: Then $\chi\in F_{e,\alpha}$ and $F_{e,\alpha}$ is the convex hull of the orbit $Q_e.\chi$.
1655: If $R\in SO(3)$, then
1656: %
1657: \[
1658: R.Q_e.\chi\ =\ RQ_eR^T. R.\chi\ =\ Q_{Re}. (R.\chi)\,.
1659: \]
1660: %
1661: But $(R.\chi)_\alpha$ is an anisotropic tensor having eigenvector $Re$ with eigenvalue
1662: $M_\alpha$.
1663: Therefore $F_{Re,\alpha}$ is the convex hull of $Q_{Re}. (R.\chi)=R.Q_e.\chi$, and
1664: thus equals $R.F_{e,\alpha}$.
1665: \QED\smallskip
1666: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1667:
1668: We now determine the dimension of the coaxial faces. By
1669: Lemma~\ref{Lem:Coaxial_equivariant}, we need only study one coaxial
1670: face $F_{e,\alpha}$ for each $\alpha\in S^1$. We compute the
1671: dimension of the affine span of an orbit $Q_e.\chi$, where $e$ is an
1672: eigenvector of $\chi_\alpha$. This is the dimension of a coaxial
1673: face when the eigenvalue associated to $e$ is a maximal eigenvalue
1674: of $\chi_\alpha$. Since this dimension is the rank of a matrix,
1675: those entries are algebraic functions of $\alpha$. Thus that for all
1676: but finitely many $\alpha$, this rank will be constant and it will
1677: be smaller for $\alpha$ in that finite set.
1678:
1679: Let $\alpha\in S^1$ and suppose that $\chi_\alpha,\chi'\in\Span(\chi)$ are linearly
1680: independent, and let $e$ be a unit eigenvector of $\chi_\alpha$.
1681: The decomposition~\eqref{Eq:Decomposition} of $W$ into $Q_e$-isotypical components induces
1682: a decompostion of the tensors $\chi_\alpha$ and $\chi'$ into
1683: their components in $\R\oplus U_1\oplus U_2$,
1684: %
1685: \[
1686: \chi_\alpha\ =\ M_\alpha \oplus 0 \oplus y_\alpha
1687: \qquad\mbox{and}\qquad
1688: \chi' \ =\ M' \oplus x' \oplus y' \,.
1689: \]
1690: %
1691: The $U_1$-component of $\chi_\alpha$ is $0$, because $e$ is an
1692: eigenvalue of $\chi_\alpha$. Let $d_1\in\{0,1\}$ be the dimension of
1693: the linear span of $x'$ in $U_1$ and $d_2\in\{0,1,2\}$ be the
1694: dimension of the linear span of $y_\alpha,y'$ in $U_2$. By
1695: Lemma~\ref{L:Orbit_dimension}, the dimension of the convex hull of
1696: $Q_e.\chi$ is $d_1\cdot\dim U_1 + d_2\cdot\dim U_2$, which implies
1697: the following lemma.
1698:
1699: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1700: \begin{lemma}\label{L:face_dim}
1701: The coaxial face $F_{e,\alpha}$ has dimension $2(d_1+d_2)$.
1702: \end{lemma}
1703: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1704:
1705: Thus again a coaxial face has dimension at most 6.
1706:
1707: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1708: \begin{lemma}
1709: If $\chi_1$ and $\chi_2$ have a common eigenvector, then coaxial faces have dimension
1710: $2$ or $4$.
1711: \end{lemma}
1712: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1713:
1714: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1715: \noindent{\it Proof.}
1716: Fix $\alpha\in S^1$ and let $f$ be a common eigenvector of $\chi_1$ and $\chi_2$.
1717: Then it is an eigenvector of any $\chi_\alpha$.
1718: Let $\chi'$ be another tensor in $\Span(\chi)$ which is not proportional to
1719: $\chi_\alpha$.
1720: Suppose that $e=e_1$ is an eigenvector of $\chi_\alpha$, that $f\in\{e_1,e_2,e_3\}$, and
1721: write $\chi_\alpha$ and $\chi'$ in the coordinates~\eqref{Eq:Coords},
1722: \[
1723: \chi_\alpha\ =\ (M_\alpha,\ 0,0,\ y,z)
1724: \qquad\mbox{and}\qquad
1725: \chi'\ =\ (M',\ w',x',\ y',z')\,.
1726: \]
1727: Note that $(w',x')\in U_1$ and $(y,z), (y',z')\in U_2$.
1728:
1729: If $f=e_1$, then $(w',x')=(0,0)$, and so $d_1=0$.
1730: If $f=e_2$ or $e_3$, then $z=z'=0$ and so $d_2=1$.
1731: In either case, $d_1+d_2<3$ and so the coaxial face $F_{e,\alpha}$ has dimension $2$ or
1732: $4$.
1733: \QED
1734: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1735:
1736: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1737: \begin{lemma}
1738: If $\chi_1$ and $\chi_2$ do not have a common eigenvector, then there is a
1739: coaxial face with dimension $6$.
1740: \end{lemma}
1741: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1742:
1743: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1744: \noindent{\it Proof.}
1745: Suppose that $e=e_1$ and $e_1,e_2,e_3$ is an ordered basis of eigenvectors of
1746: $\chi_1$ with the eigenvalue of $e$ maximal.
1747: Write $\chi_1$ and $\chi_2$ in the coordinates~\eqref{Eq:Coords},
1748: \[
1749: \chi_1\ =\ \chi(M_1,\ 0,0,\ \gamma,0)
1750: \qquad
1751: \chi_2\ =\ \chi(M_2,\ w,x,\ y,z)\,.
1752: \]
1753:
1754: The dimension of the coaxial face $F_{e_1,(1,0)}$ is 6 if and only if
1755: $(w,x)\neq (0,0)$ and $(\gamma,0), (y,z)\in U_2$ are linearly independent.
1756: Suppose that $\dim F<6$.
1757: We cannot have $(w,x)= (0,0)$ for then $e_1$ is a common eigenvector of $\chi_1$ and
1758: $\chi_2$, a contradiction.
1759: Thus the vectors $(\gamma,0), (y,z)$ are dependent.
1760:
1761: If $\gamma=0$, then $\chi_1$ has a repeated smallest eigenvalue with eigenspace
1762: spanned by $e_2$ and $e_3$.
1763: Changing the last two coordinates, we may assume that $z=0$.
1764: We cannot also have either $w=0$ or $x=0$ for then $\chi_1$ and $\chi_2$ have
1765: either $e_2$ or $e_3$ as a common eigenvector.
1766: If $y=0$, then $-xe_2+we_3$ is a common eigenvector, so $y\neq 0$ and $F_{e_1,(1,0)}$ has
1767: dimension 4.
1768: In the coordinates~\eqref{Eq:Coords} with respect to the ordered basis $e_3,e_2,e_1$,
1769: $-\chi_1$ and $\chi_2$ are
1770: \[
1771: -\chi_1\ =\ \chi(\tfrac{M_1}{2},\, 0,0,\, 3\tfrac{M_1}{4},0)
1772: \quad{\rm and }\quad
1773: \chi_2\ =\
1774: \chi(-\tfrac{M_2}{2}-y,\,0,x,\,-3\tfrac{M_2}{4}+\tfrac{y}{2},w)\,.
1775: \]
1776: Since $w,x\neq 0$, the affine span of $Q_{e_3}.\chi$ has dimension 6.
1777: Since $\tfrac{M_1}{2}$ is the maximal eigenvalue of $-\chi_1$ with
1778: eigenvector $e_3$, this shows that $F_{e_3,(-1,0)}$ has dimension 6.
1779:
1780: The third possibility is that $z=0$.
1781: But then the same arguments as in the previous paragraph
1782: show that coaxial face $F_{e_3,(-1,0)}$ has dimension 6.
1783: \QED
1784: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1785:
1786: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1787: %
1788: \subsection{Structure and Carath\'eodory number of a coaxial facet}
1789: %
1790: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1791:
1792: Suppose that $F$ is a coaxial face of dimension 6.
1793: We may assume that $F$ is the convex hull of the orbit $Q_e.\chi$ and that $F$ spans the
1794: representation $U_1\oplus U_2^2$.
1795: This $Q_e$-orbit is the union of two orbits of its identity component
1796: $Q_e^+ (\simeq SO(2))$.
1797: Call them $\calO^+$ and $\calO^-$.
1798: By Example~\ref{Ex:SO(2)_Orbits}, each orbit spans a subrepresentation of
1799: $U_1\oplus U_2^2$ isomorphic to $U_1\oplus U_2$.
1800: Set
1801: \[
1802: \Blue{F^{\pm}}\ :=\ \mbox{convex hull of }\calO^{\pm}
1803: \quad\mbox{ and }\quad
1804: \Blue{W^{\pm}}\ :=\ \mbox{linear span of }\calO^{\pm}\simeq U_1\oplus U_2\,.
1805: \]
1806:
1807: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1808: \begin{proposition}\label{Pr:Fpm}
1809: The faces $F^{\pm}$ each have dimension $4$ and Carath\'eodory number $3$.
1810: Points on their boundary are the convex hull of one or two vertices, while
1811: points in their relative interiors are the convex hull of three vertices.
1812: \end{proposition}
1813: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1814:
1815:
1816: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1817: \noindent{\it Proof.}
1818: As in Example~\ref{Ex:SO(2)_Orbits}, we identify $Q_e^+\simeq SO(2)$ with the circle
1819: group $S^1$ and $U_1,U_2$ with $\C$.
1820: Then $z\in S^1$ acts on $U_1$ as scalar multiplication by $z$ and on $U_2$ as scalar
1821: multiplication by $z^2$ and $F^{\pm}$ has dimension 4.
1822:
1823: Let $(u,v)^T\in \C^2\simeq U_1\oplus U_2$ be the point corresponding to $\chi$.
1824: Then
1825: \[
1826: \calO^+\ =\ \left\{ (e^{i\theta} u, e^{2i\theta} v)\mid 0\leq \theta<2\pi\right\}\,,
1827: \]
1828: and its convex hull is
1829: \[
1830: \Bigl\{ \Bigl( \sum_{j=1}^n \lambda_j e^{i\theta_j} u,
1831: \sum_{j=1}^n \lambda_j e^{2i\theta_j} v\Bigr)\mid \sum_j \lambda_j=1,\
1832: \ 0\leq \theta_1,\dotsc,\theta_n< 2\pi\Bigr\}\,.
1833: \]
1834: But this is $B.(u,v)^T$, where $B$ is the set of $2\times 2$ diagonal matrices
1835: whose entries are
1836: %
1837: \begin{equation}\label{Eq:CF}
1838: \Bigl( \sum_{j=1}^n \lambda_j e^{i\theta_j} ,
1839: \sum_{j=1}^n \lambda_j e^{2i\theta_j}\Bigr)
1840: \quad\mbox{ where }\quad \sum_j \lambda_j=1
1841: \quad\mbox{ and }\quad
1842: 0\leq \theta_1,\dotsc,\theta_n< 2\pi\,.
1843: \end{equation}
1844: %
1845: Thus $F^+$ (and also $F^-$) is isomorphic to $B$.
1846:
1847: Curto and Fialkow~\cite{CF} characterized the points of $B$.
1848: Let $(a,b)$ be a point of $B$~\eqref{Eq:CF}
1849: and $p$ the corresponding measure on $S^1$,
1850: \[
1851: p(e^{i\theta})\ =\ \left\{
1852: \begin{array}{lcl} \lambda_j&\ &\mbox{if }\theta=\theta_j\,,\\
1853: 0&& \mbox{otherwise}\,.\end{array}\right.
1854: \]
1855: Set $\gamma_{ij}:=\int_{S^1}\overline{z}^i z^jdp(z)$ for
1856: $0\leq i,j$ with $i+j\leq 2$ and form the moment matrix
1857: \[
1858: M\ :=\ \left(\begin{matrix}
1859: \gamma_{00}&\gamma_{01}&\gamma_{10}\\
1860: \gamma_{10}&\gamma_{11}&\gamma_{20}\\
1861: \gamma_{01}&\gamma_{02}&\gamma_{11}\end{matrix}\right)
1862: \quad =\quad
1863: \left(\begin{array}{ccc} 1&a&\overline{a}\\
1864: \overline{a}&1&\overline{b}\\a&b&1\end{array}\right)\ .
1865: \]
1866:
1867:
1868: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1869: \begin{proposition}[Curto and Fialkow~\cite{CF}]\label{Prop:CF}
1870: The points $(a,b)\in B$ are exactly the points $(a,b)\in\C^2$ such that $M$ is positive
1871: semi-definite.
1872: The rank of $M$ is the minimum number of summands needed to represent the point
1873: $(a,b)$~$\eqref{Eq:CF}$.
1874: \end{proposition}
1875: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1876:
1877: In particular, this implies that each body $F^\pm$ has Carath\'eodory number 3.
1878:
1879: By Proposition~\ref{Prop:CF},
1880: \[
1881: B\ =\ \left\{(a,b)\in\C^2\mid 1-|a|^2\geq 0,\ 1-|b|^2\geq 0,\
1882: 1+\overline{a}^2b+a^2\overline{b}-2|a|^2-|b|^2\geq 0\right\}\,.
1883: \]
1884: If $1-|a|^2=0$ then $a\in S^1$ and so $n=1$ in~\eqref{Eq:CF}. If
1885: $1-|b|^2=0$, then $b\in S^1$ and either $n=1$ in~\eqref{Eq:CF} or
1886: $n=2$ with $|\theta_1-\theta_2|=\pi$. Thus if $M$ has rank 3, then
1887: $|a|<1$ and $|b|<1$, and so $(a,b)$ lies in the interior of $B$ as
1888: the inequalities are strict. This implies that points on the
1889: boundary of $B$ are the convex hull of one or two vertices and this
1890: completes the proof of Proposition~\ref{Pr:Fpm}. \QED\smallskip
1891: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1892:
1893:
1894: Now we complete the proof of Theorem~\ref{T:coaxial}, showing that
1895: the coaxial facet $F$ has Carath\'eodory number 4. The coaxial face
1896: $F$ is the convex hull of $F^+$ and $F^-$. Let $v\in F$. We suppose
1897: that $v\not\in F^+\cup F^-$, for otherwise $v$ is the convex
1898: combination of at most three vertices. Then there exist $v^\pm\in
1899: F^\pm$ and $\lambda\in(0,1)$ such that
1900: \[
1901: v\ =\ \lambda v^+ + (1-\lambda)v^-\,.
1902: \]
1903: If both $v^+$ and $v^-$ lie on the boundary of their respective
1904: subfaces, then each is a convex combination of at most 2 vertices,
1905: and $v$ is a convex combination of at most 4 vertices.
1906:
1907: Suppose instead that $v^+$ lies in the relative interior of $F^+$.
1908: The linear span of $v$ and $W^-$ has dimension 5 in the 6-dimensional space
1909: $U_1\oplus U_2^2$ and therefore it meets $W^+$ in a 3-dimensional affine subspace $U^+$.
1910: Similarly the span of $v$ and $W^+$ meets $W^-$ in a 3-dimensional subspace $U^-$.
1911: Observe that both $U^+$ and $U^-$ contain the two-dimensional linear subspace
1912: $W^+\cap W^-=U_1$ so that their span has dimension 4.
1913:
1914: Consider the cone over $U^-\cap F^-$ with vertex $v$.
1915: Removing $v$, this has two components.
1916: One meets $F^-$.
1917: Let $C$ be the component which does not meet $F^-$, and let
1918: $\Blue{C^+}:=C\cap U^+$.
1919: This is a convex set which contains $v^+$ and thus meets the relative interior of
1920: $\Blue{B^+}:=U^+\cap F^+$.
1921: Points $v'\in C^+\cap B^+$ are exactly those points of $F^+$ for which there exists
1922: a point $v''\in F^-$ such that $v$ is a convex combination of $v'$ and $v''$.
1923: There are two possibilities.
1924: %
1925: \begin{enumerate}
1926: \item The boundary of $C^+$ meets the boundary of $B^+$.
1927: \item Either the boundary of $C^+$ is a subset of $B^+$ or vice-versa.
1928: \end{enumerate}
1929: %
1930:
1931: In the first case, let $v'$ be a point common to the two boundaries.
1932: Then $v'$ lies on the boundary of $B^+$ and $v''$ lies on the boundary of $B^-$.
1933: But these are subsets of the boundaries of $F^{\pm}$, and so $v$ is the
1934: convex combination of at most 4 vertices.
1935:
1936: In the second case, suppose that the boundary of $B^+$ is a subset of $C^+$.
1937: Since $B^+$ is the intersection $F^+$ with a hyperplane, its boundary
1938: must contain a vertex of $F^+$, as the set of vertices of $F^+$ is a connected
1939: 1-dimensional set whose convex hull is $F^+$.
1940: Suppose that $v'\in B^+$ is a vertex of $F^+$.
1941: Since $v''\in F^-$ is a convex combination of three vertices of
1942: $F^-$, we see that $v$ is a convex combination of 1+3=4 vertices.
1943: If the boundary of $C^+$ is a subset of $B^+$, then we may choose the point $v'$ in the
1944: boundary of $C^+$ so that the corresponding point $v''$ is a a vertex of $F^-$.
1945: Again, $v$ is the convex combination of $3+1=4$ vertices.
1946: \QED
1947:
1948: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1949:
1950: We wish to thank Ivano Bertini, Claudio Luchinat
1951: and Giacomo Parigi of the Center for Magnetic Resonance of the
1952: University of Florence for suggesting and discussing with us this
1953: interesting problem.
1954:
1955: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1956: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1957: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1958:
1959: \providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
1960: \providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
1961: % \MRhref is called by the amsart/book/proc definition of \MR.
1962: \providecommand{\MRhref}[2]{%
1963: \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
1964: }
1965: \providecommand{\href}[2]{#2}
1966: \begin{thebibliography}{10}
1967:
1968: \bibitem{BBBCGLT}
1969: L.~Banci, I.~Bertini, K.L. Bren, M.A. Cremonini, H.B. Gray, C.~Luchinat, and
1970: P.~Turano, \emph{The use of pseudocontact shifts to refine solution
1971: structures of paramagnetic metalloproteins: Met80ala cyano-cytochrome c as an
1972: example}, J. Biol. Inorg. Chem. \textbf{1} (1996), 117--126.
1973:
1974: \bibitem{BDGKLPPPZ}
1975: I.~Bertini, C.~Del~Bianco, I.~Gelis, N.~Katsaros, C.~Luchinat, G.~Parigi,
1976: M.~Peana, A.~Provenzani, and M.A. Zoroddu, \emph{Experimentally exploring the
1977: conformational space sampled by domain reorientation in calmodulin}, Proc.
1978: Natl. Acad. Sci. USA \textbf{101} (2004), 6841--6846.
1979:
1980: \bibitem{BGKLP}
1981: I.~Bertini, I.~Gelis, N.~Katsaros, C.~Luchinat, and A.~Provenzani, \emph{Tuning
1982: the affinity for lanthanides of calcium binding proteins}, Biochemistry
1983: \textbf{42} (2003), 8011--8021.
1984:
1985: \bibitem{BGLPPSY}
1986: I.~Bertini, K.J. Gupta, C.~Luchinat, G.~Parigi, M.~Peana, L.~Sgheri, and
1987: J.~Yuan, \emph{Paramagnetism-based nmr restraints provide maximum allowed
1988: probabilities for the different conformations of partially independent
1989: protein domains}, J. Am. Chem. Soc. \textbf{129} (2007), 12786--12794.
1990:
1991: \bibitem{BtD}
1992: T.~Br{\"o}cker and T.~tom Dieck, \emph{Representations of compact {L}ie
1993: groups}, Graduate Texts in Mathematics, vol.~98, Springer-Verlag, New York,
1994: 1985.
1995:
1996: \bibitem{Ca1911}
1997: C.~Carath\'eodory, \emph{{\"Uber den Variabilit\"atsbereich der {\it
1998: Fourier}schen Konstanten von positiven harmonischen Funktionen.}}, Palermo
1999: Rend. \textbf{32} (1911), 193--217 (German).
2000:
2001: \bibitem{Coxeter}
2002: H.~S.~M. Coxeter, \emph{Regular polytopes}, third ed., Dover Publications Inc.,
2003: New York, 1973.
2004:
2005: \bibitem{CF}
2006: R.~Curto and L.~Fialkow, \emph{The quadratic moment problem for the unit circle
2007: and unit disk}, Integral Equations Operator Theory \textbf{38} (2000), no.~4,
2008: 377--409.
2009:
2010: \bibitem{Fe1929}
2011: W.~Fenchel, \emph{{\"{U}ber Kr\"{u}mmung und Windung geschlossener
2012: Raumkurven}}, Math. Ann. \textbf{101} (1929), 238--252 (German).
2013:
2014: \bibitem{GLS05}
2015: R.~Gardner, M.~Longinetti, and L.~Sgheri, \emph{Reconstruction of orientations
2016: of a moving protein domain from paramagnetic data}, Inverse Problems
2017: \textbf{21} (2005), no.~3, 879--898.
2018:
2019: \bibitem{KBW}
2020: R.~Koradi, M.~Billeter, and W\"uthrich K., \emph{Molmol: a program for display
2021: and analysis of macromolecular structures}, J. Mol. Graphics \textbf{14}
2022: (1996), 51--55.
2023:
2024: \bibitem{LLPS}
2025: M.~Longinetti, C.~Luchinat, G.~Parigi, and L.~Sgheri, \emph{Efficient
2026: determination of the most favoured orientations of protein domains from
2027: paramagnetic {NMR} data}, Inverse Problems \textbf{22} (2006), no.~4,
2028: 1485--1502.
2029:
2030: \bibitem{LPS}
2031: M.~Longinetti, G.~Parigi, and L.~Sgheri, \emph{Uniqueness and degeneracy in the
2032: localization of rigid structural elements in paramagnetic proteins}, J. Phys.
2033: A \textbf{35} (2002), no.~39, 8153--8169.
2034:
2035: \bibitem{MPPGB}
2036: J.~Meiler, J.J. Prompers, W.~Peti, C.~Griesenger, and R.~Br\"ushweiler,
2037: \emph{Model--free approach to the dynamic interpolation of residual dipolar
2038: coupling in globular proteins}, J. Am. Chem. Soc. \textbf{123} (2001),
2039: 6098--6107.
2040:
2041: \bibitem{Reay}
2042: John~R. Reay, \emph{Generalizations of a theorem of {C}arath\'eodory}, Memoirs
2043: of the Amer. Math. Soc., vol.~54, AMS, 1965.
2044:
2045: \bibitem{Schneider}
2046: R.~Schneider, \emph{The {B}runn-{M}inkowski theory}, Cambridge University
2047: Press, Cambridge, 1993.
2048:
2049: \bibitem{TFKP}
2050: J.R. Tolman, J.M. Flanagan, M.A. Kennedy, and J.H. Prestegard, \emph{Nuclear
2051: magnetic dipole interactions in field-oriented proteins: information for
2052: structure determination in solution}, Proc. Natl. Acad. Sci. USA \textbf{92}
2053: (1995), 9279--9283.
2054:
2055: \end{thebibliography}
2056:
2057: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2058:
2059: \end{document}
2060:
2061: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2062: \bibliographystyle{amsplain}
2063: \bibliography{bibl}
2064:
2065: \end{document}
2066: