\section{Nonintroduction}
This is a report of the massive multi-year effort by the author and two
graduate students Huilin Chen and Sarah Childs to compute all exact relations
and links for two-dimensional thermoelectric composites. The size of this
report is due to the inclusion of all technical details of calculations, which
are customarily omitted in journal articles. At the moment I have no time to
prepare a proper ``archival quality'' manuscript with a good introduction and
references. However, I believe that the results, concisely summarized in the
last three sections of this report, should be made available to the
research community even in this unfinished form.

\section{Equations of thermoelectricity}
Thermoelectric properties of a material are described by the relations between
the gradient $\nabla\mu$ of an electrochemical potential, temperature gradient
$\nabla T$, current density $\Bj_{E}$ and entropy flux $\Bj_{S}$.
The total energy $U=U(S,N)$ is a function of entropy and the number of charge
carriers $N$. Therefore, the energy flux $\dot{U}$ is given by
\[
\dot{U}=T\dot{S}+\mu\dot{N},\quad T=\dif{U}{S},\quad\mu=\dif{U}{N}.
\]
where $T$ is the absolute temperature and $\mu$ is the electrochemical potential.
Thus, in a general heterogeneous medium we have
\[
\Bj_{U}=T\Bj_{S}+\mu\Bj_{E},
\]
where $\Bj_{U}$ is the total energy flux, $\Bj_{S}$ is the entropy flux and
$\Bj_{E}$ is the electric current (charge crrier flux).
The consevation of charge and energy laws are expressed by the equations
\begin{equation}
  \label{conslaws}
  \nabla \cdot\Bj_{E}=0,\qquad \nabla \cdot\Bj_{U}=0.
\end{equation}
In addition to conservation laws we also postulate linear constitutive laws
that relate the electric current and the entropy flux to the nonuniformity of
electrochemical potential and temperature. In a thermoelectric material these
two driving forces are coupled:
\begin{equation}
  \label{constitlaw}
  \begin{cases}
      \Bj_{E}=\BGs\nabla(-\mu)+\BGs\BS\nabla(-T),\\
      \Bj_{S}=\BS^{T}\BGs\nabla(-\mu)+\BGg\nabla(-T)/T,
  \end{cases}\qquad\BGs^{T}=\BGs,\quad\BGg^{T}=\BGg.
\end{equation}
The Onsager reciprocity relation is incorporated in the above constitutive laws.
The form of the cross-property coupling tensors is chosen in such a way as to
make the thermoelectric coupling laws more transparent.  We will now show how
the general equations (\ref{conslaws}), (\ref{constitlaw}) relate to the
well-known thermoelectric effects.

\subsection{Seebeck effect and the figure of merit}
The electrochemical potential $\mu$ is a sum of the electrostatic potential
and a chemical potential. The latter depends only on the temperature and is
therefore constant, when the temperature is constant. In this case
$\BE=\nabla(-\mu)$ is the electric field and the first equation in
(\ref{constitlaw}) reads $\Bj_{E}=\BGs\BE$. Therefore, $\BGs$ has the physical
meaning of the isothermal conductivity tensor. As such it must be represented
by a symmetric, positive definite $3\times 3$ matrix. In the absence of the
electrical current ($\Bj_{E}=\Bzr$) the gradient of $-\mu$ has the meaning of
the electromotive force generated by a temperature gradient. This is called
the \emph{Seebeck effect}. From the first equation in (\ref{constitlaw}) we obtain
\[
\Be_{\rm emf}=-\nabla\mu=\BS\nabla T.
\]
The $3\times 3$ matrix $\BS$ is called the Seebeck coefficient (tensor). In
the literature the Seebeck coefficient is often assumed to be a
scalar. However, we will see that in general, a composite made of such
materials will have an anisotropic Seeback coefficient. Another a priori assumption
is that $\BS$ is symmetric (see e.g. [lusi18]). We will again see that
symmetry of $\BS$ is not preserved under homogenization.

The heat flux at zero electric current is characterized by the heat
conductivity tensor $\Bj_{U}=-\BGk\nabla T$, which gives a formula for the
tensor $\BGg$ in the constitutive equtions in terms of the symmetric, positive
definite heat conductivity tensor $\BGk$:
\[
\BGk=\BGg-T\BS^{T}\BGs\BS.
\]

Thus, imposing a temperature gradient on a thermoelectic material creates stored
electrical energy with density
\[
e_{\rm el}=\BGs\Be_{\rm emf}\cdot\Be_{\rm emf}=(\BS^{T}\BGs\BS\nabla T)\cdot(\nabla T).
\]
This phenomenon can be used to make a ``Seebeck generator'', converting heat
flux (temperature differences) directly into electrical energy. The efficiency
of Seebeck generator is called the \emph{figure of merit}.

The body not in thermal equilibrium can be used to produce mechanical
work. However, not all thermal energy can be used. One of the physical
interpretations of entropy is that it is a measure of the inaccessible portion
of the total internal energy per degree of temperature. Thus,
the density of this non-extractable thermal energy is the product of
temperature and the entropy production density:
\[
e_{\rm th}=T\nabla \cdot\Bj_{S}=\nabla \cdot(T\Bj_{S})-\Bj_{S}\cdot\nabla T=
\nabla \cdot\Bj_{U}-\frac{\Bj_{U}}{T}\cdot\nabla T=\nth{T}(\BGk\nabla T)\cdot\nabla T.
\]
In a thermoelectric device we want to maximize the stored electrical energy
while minimizing unusable thermal energy.
The ratio $E_{\rm electrical}/E_{\rm entropy}$ is therefore a measure of
efficiency of the
thermoelectric \emph{device}, since the values of energies depend on specific
boundary condition s. If we want a \emph{material property} that is independent of the boundary condition s
we may define the figure of merit as follows
\[
Z=\sup_{\Bh}\frac{\BS^{T}\BGs\BS\Bh\cdot\Bh}{\BGk\Bh\cdot\Bh}.
\]
Thus, $Z$ is the largest eigenvalue of $\BGk^{-1}\BS^{T}\BGs\BS$.

In the isotropic case, where $\BGs$, $\BS$, and $\BGk$ are all
constant multiples of the identity, we have
$Z=S^{2}\sigma/\kappa$.

In summary, our assumptions on the
possible values of the tensors $\BGs$, $\BS$ and $\BGg$ are equivalent to the
symmetry and positive definiteness of the $6\times 6$ matrix
\begin{equation}
  \label{physL}
  \mathsf{L}'=\mat{\BGs}{\BGs\BS}{\BS^{T}\BGs}{\BGk/T+\BS^{T}\BGs\BS},
\end{equation}
that describes constitutive relation (\ref{constitlaw})
\[
\vect{\Bj_{E}}{\Bj_{S}}=\mathsf{L}'\vect{\nabla(-\mu)}{\nabla(-T)}.
\]

\subsection{The Thomson and Peltier effects}
In physically relevant variables we can write equations of thermoelectricity
in the form of the following system
\begin{equation}
  \label{physeq}
  \begin{cases}
    \Bj_{E}=\BGs\nabla(-\mu)+\BGs\BS\nabla(-T),\\
    \Bj_{Q}=T\BS^{T}\Bj_{E}+\BGk\nabla(-T),\\
    \Bj_{U}=\Bj_{Q}+\mu\Bj_{E},\\
    \nabla \cdot\Bj_{E}=\nabla \cdot\Bj_{U}=0,
  \end{cases}
\end{equation}
where $\Bj_{Q}=T\Bj_{S}$ is the heat flux. In this form it is immediately
apparent that adding a constant to the electrochemical potential $\mu$ does
not change the flux $\Bj_{E}$, while adding a constant multiple of $\Bj_{E}$
to $\Bj_{U}$. Since $\nabla \cdot\Bj_{E}=0$ then adding a constant to the
electrochemical potential $\mu$ gives another solution of balance equations
(\ref{physeq}). This observation will be useful later.

Let us write the conservation of energy law:
\[
0=\nabla \cdot\Bj_{U}=\nabla \cdot(\BGk\nabla(-T))+\nabla \cdot(T\BS^{T}\Bj_{E})+\nabla\mu\cdot\Bj_{E},
\]
where we have used the conservation of charge law $\nabla \cdot\Bj_{E}=0$.
From the first equation in (\ref{physeq}) we have
\[
\nabla\mu=-\BGs^{-1}\Bj_{E}+\BS\nabla(-T),
\]
so that the conservation of energy has the form
\[
0=\nabla \cdot(\BGk\nabla(-T))+\nabla \cdot(T\BS^{T}\Bj_{E})-(\BGs^{-1}\Bj_{E})\cdot\Bj_{E}-(\BS\nabla T)\cdot\Bj_{E}.
\]
We can rewrite it as
\begin{equation}
  \label{enerbal}
  \nabla \cdot(\BGk\nabla(-T))=(\BGs^{-1}\Bj_{E})\cdot\Bj_{E}-T\nabla \cdot(\BS^{T}\Bj_{E}).
\end{equation}
On the left we have heat production density. On the right we have two heat
sources: Joule heating, represented by the first term and the thermoelectric
heating or cooling. This second term represents those thermoelectric effects
that occur when the current flows through the thermoelectric material. The
commonly encountered description of these effects assumes that the Seebeck
tensor is scalar: $\BS=S\BI_{3}$. In that case the conservation of charge law
allows us to simplify the second term on the right-hand side\ of (\ref{enerbal}):
\[
\dot{Q}_{\rm thel}=-T\nabla \cdot(\BS^{T}\Bj_{E})=-T(\nabla S)\cdot\Bj_{E}.
\]
The \emph{Thompson effect} is related to the dependence of the Seebeck
coefficient $S$ on $T$. In this case the additional thermoelectric heat
production density is
\[
\dot{Q}_{\rm thel}=-T\nabla S\cdot\Bj_{E}=-TS'(T)\nabla T\cdot\Bj_{E}=-{\mathcal K}\nabla T\cdot\Bj_{E} .
\]
The coefficient ${\mathcal K}=TS'(T)$ is called the Thompson coefficient. The
\emph{Peltier effect} occurs at an isothermal junction $\Sigma$ of two
different materials with different Seebeck coefficients. At every point $\Bs\in\Sigma$
\[
\dot{Q}_{\rm thel}=-T\nabla S\cdot\Bj_{E}=-T\jump{S}(\Bj_{E}\cdot\Bn)\delta_{\Bs}(\Bx)=-\jump{\Pi}(\Bj_{E}\cdot\Bn)\delta_{\Bs}(\Bx),
\]
where $\Pi=TS$ is called the Peltier coefficient and the normal charge flux
$\Bj_{E}\cdot\Bn$ is continuous across the junction $\Sigma$.
In general, when $\BS$ is not scalar we can rewrite the thermoelectric heat
production term $\dot{Q}_{\rm thel}$ as
follows
\begin{equation}
  \label{anisiS}
\dot{Q}_{\rm thel}=-T(\nabla \cdot\BS)\cdot\Bj_{E}-T\av{\dev{\BS},\nabla\Bj_{E}},
\end{equation}
where
\[
\dev{\BS}=\BS-\nth{3}(\mathrm{Tr}\,\BS)\BI_{3}
\]
is the deviatoric part of $\BS$. The second term in (\ref{anisiS}) represents
the thermoelectric effects of anisotropy, of which there seems to be no
evidence in the literature.

In conclusion, aside from the completely undocumented anisotropic effects from
(\ref{anisiS}) the most commonly described effects are due to either
inhomogeneity (Peltier effect) or essential nonlinearity (Thomson's effect due
to the dependence of $\BS$ on $T$). In what follows we will focus on the case
of small perturbations
\[
\mu=\mu_{0}+\epsilon\Tld{\mu},\qquad T=T_{0}+\epsilon\Tld{T}.
\]
As $\epsilon\to 0$ the equations of theremoelectricity become linear with respect
to $\Tld{\mu}$ and $\Tld{T}$, with temperature-dependent coefficients set to
their values corresponding to $T=T_{0}$. In what follows we use notation $\mu$
and $T$ instead of $\Tld{\mu}$ and $\Tld{T}$.

\subsection{The canonical form of equations of thermoelectricity}
Many physical phenomena and processes are described by systems of linear PDE
(partial differential equations). A very large class of these have a common
structure that I would like to emphasise. These phenomena deal with various
properties of solid bodies (materials). For example, we may be interested in
how materials respond to electromagnetic fields, heat or mechanical forces. In
each of these cases we identify a pair of vector fields, defined at each point
inside the material and taking values in appropriate vector spaces (different
in each physical context). The first field in the pair describes what is being
done to a material: applied deformation, or an electric field, or a temperature
distribution, etc. The second describes how material responds to the applied
field, such as forces (stress) that arise in response to a deformation or an
electrical current that arises in response to an applied electric field, etc.
These physical vector fields obey fundamental laws of classical physics,
such as conservation of energy, for example. These laws can be expressed as
system of linear differential equations, which combined with the constitutive
laws give a full quantitative description of the respective phenomena.

The constitutive law is a linear relation between the two fields in a
pair. The linear operator effecting this relation describes material
properties in question. If one adds information of how the disturbance is
applied to the body (usually through a particular action on the boundary of
the body), then one obtains a unique solution. To summarize, we will be
looking at
\begin{itemize}
\item A pair of vector fields (we will call them $\BE(\Bx)$ and $\BJ(\Bx)$)
  defined at each point $\Bx$ inside the body $\Omega$, with values
  in some finite dimensional vector space, equipped with a physically natural
  inner product;
\item Systems of constant coefficient PDEs obeyed by $\BE(\Bx)$ and $\BJ(\Bx)$
\item A linear relation between $\BE(\Bx)$ and $\BJ(\Bx)$, written in operator
  form $\BJ(\Bx)=\mathsf{L}(\Bx)\BE(\Bx)$, where the linear operator $\mathsf{L}(\Bx)$
  describes material properties (that can be different at different points
  $\Bx\in\Omega$). This operator is almost always symmeteric and positive
  definite.
\end{itemize}
We do not include boundary condition s in the above list because answers to questions that we
are interested in do not depend on boundary condition s. We will now show how equations of
thermoelectricity (\ref{physeq}) can be rewritten as a linear relation between
a pair of curl-free fields $(\Be_{1},\Be_{2})$ and a pair of divergence-free
fields $(\Bj_{1},\Bj_{2})$
\begin{equation}
  \label{constrel}
  \begin{cases}
  \Bj_{1}=\BL_{11}\Be_{1}+\BL_{12}\Be_{2},\\
\Bj_{2}=\BL_{12}^{T}\Be_{1}+\BL_{22}\Be_{2}.
\end{cases}
\end{equation}
Following Callen's textbook we define new
potentials
\[
\psi_{1}=\frac{\mu}{T},\qquad\psi_{2}=\nth{T},
\]
denoting
\[
\Be_{1}=\nabla\psi_{1},\quad\Be_{2}=\nabla\psi_{2},\quad\Bj_{1}=-\Bj_{E},\quad\Bj_{2}=\Bj_{U},
\]
we obtain the form (\ref{constrel}), were
\begin{equation}
  \label{mathL}
  \BL_{11}=T\BGs,\quad\BL_{12}=-T(\mu\BGs+T\BGs\BS),\quad
\BL_{22}=T[\mu^{2}\BGs+T\BGg+T\mu(\BGs\BS+\BS^{T}\BGs)].
\end{equation}
In general the coefficients $\BL_{ij}$ depend on the values of $T$ and $\mu$,
and we are considering situations where these quantities change little and
equations (\ref{constrel}) represent the linearization around the fixed values
$T_{0}$ and $\mu_{0}$. We observe that the new material tensor
\[
\mathsf{L}=T\mat{\BGs}{-\BGs(\mu+T\BS)}{-(\mu+T\BS)^{T}\BGs}
{T\BGk+(\mu+T\BS)^{T}\BGs(\mu+T\BS)}
\]
is symmetric and positive definite if and only if  $\mathsf{L}'$, given by (\ref{physL}), is
symmetric and positive definite, i.e. if and only if  $\BGs$ and $\BGk$ are symmetric and
positive definite $3\times 3$ matrices. In full generality equations of
thermoelectricity are very nonlinear, especially in view of the fact that all
physical property tensors $\BGs$, $\BGk$ and $\BS$ depend on temperature
$T$. We will be working with linearized version of the equations where both
$\mu$ and $T$ do not vary a lot. Mathematically, we look at the leading order
asymptotics of solutions $(\mu,T)$ of the form $\mu=\mu_{0}+\epsilon\Tld{\mu}$ and
$T=T_{0}+\epsilon\Tld{T}$. We have already observed that the full thermoelectric
system is invariant with respect to addition of a constant to the
electrochemical potential $\mu$. Thus, modifying the potential $\psi_{1}$
\[
\psi_{1}\mapsto\frac{\mu-\mu_{0}}{T},
\]
we can set $\mu_{0}=0$, without loss of generality. Thus, for linearized problems we can write
\begin{equation}
  \label{Lcanon}
  \mathsf{L}=T_{0}^{2}\mat{\BGs/T_{0}}{-\BGs\BS}{-\BS^{T}\BGs}{\BGk+T_{0}\BS^{T}\BGs\BS},
\end{equation}
where all physical property tensors $\BGs$, $\BGk$ and $\BS$ are evaluated at
$T=T_{0}$---the working temperature. We note (for no particular reason other
than curiousity) that
\begin{equation}
  \label{Lcanoninv}
  \mathsf{L}^{-1}=\nth{T_{0}}\mat{\BGs^{-1}+T_{0}\BS\BGk^{-1}\BS^{T}}{-\BS\BGk^{-1}}{-\BGk^{-1}\BS^{T}}{\BGk^{-1}/T_{0}}.
\end{equation}

Now, the vector fields $\BE=(\Be_{1},\Be_{2})$ and $\BJ=(\Bj_{1},\Bj_{2})$
take their values in the $2d$-dimesnional vector space
${\mathcal T}=\bb{R}^{d}\oplus\bb{R}^{d}$, $d=2$ or 3. (It will be 2 in this paper.)
The natural inner product on ${\mathcal T}$ is defined by
\[
(\BE,\BE')_{{\mathcal T}}=\Be_{1}\cdot\Be'_{1}+\Be_{2}\cdot\Be'_{2}.
\]
The differential equations satisfied by $\BE$ and $\BJ$ are
\begin{equation}
  \label{PDE}
  \nabla \times\Be_{1}=\nabla \times\Be_{2}=0,\qquad\nabla \cdot\Bj_{1}=\nabla \cdot\Bj_{2}=0.
\end{equation}
The material properties tensor $\mathsf{L}(\Bx)$ can therefore be written as a
$2\times 2$ block matrix
\begin{equation}
  \label{BML}
  \mathsf{L}(\Bx)=\mat{\BL_{11}(\Bx)}{\BL_{12}(\Bx)}{\BL_{12}^{T}(\Bx)}{\BL_{22}(\Bx)},
\end{equation}
where $\BL_{11}$ and $\BL_{22}$ are symmetric (and positive definite) $3\times
3$ matrices. The constitutive relation $\BJ=\mathsf{L}\BE$ can also be written as
$\BJ=\mathsf{L}\BE$. From the block-components of $\mathsf{L}$ we can recover the physical
tensors:
\begin{equation}
  \label{L2phys}
  \BGs=\beta_{0}\BL_{11},\quad\BS=-\beta_{0}\BL_{11}^{-1}\BL_{12},\quad
\BGk=\beta_{0}^{2}(\BL_{22}-\BL_{12}^{T}\BL_{11}^{-1}\BL_{12}),\quad\beta_{0}=\nth{T_{0}}.
\end{equation}
With these formulas the figure of merit form is
\begin{equation}
  \label{ZTL}
  ZT=\max_{\Bh}\frac{\BL_{12}^{T}\BL_{11}^{-1}\BL_{12}\Bh\cdot\Bh}{(\BL_{22}-\BL_{12}^{T}\BL_{11}^{-1}\BL_{12})\Bh\cdot\Bh}=\frac{\lambda}{1-\lambda},
\end{equation}
where $\lambda\in(0,1)$ is the largest eigenvalue of
$\BL_{22}^{-1}\BL_{12}^{T}\BL_{11}^{-1}\BL_{12}$.

For isotropic materials $\mathsf{L}=\BL\otimes\BI_{3}$ and their figure of merit is
\[
ZT=\frac{L_{12}^{2}}{\det\BL},\qquad\BL=\mat{L_{11}}{L_{12}}{L_{12}}{L_{22}}.
\]

\section{Periodic composites}
Let $Q=[0,1]^{d}$. It is a unit square when $d=2$ and unit cube when
$d=3$. Let us suppose that $Q$ is divided into two complementary subsets $A$
and $B$. We place one thermoelectric material in $A$ and another in $B$. If
the corresponding tensors of material properties and denoted by $\mathsf{L}_{A}$ and
$\mathsf{L}_{B}$, then the function
\[
\mathsf{L}(\Bx)=\mathsf{L}_{A}\chi_{A}(\Bx)+\mathsf{L}_{B}\chi_{B}(\Bx)
\]
describes this situation mathematically, since $\mathsf{L}(\Bx)=\mathsf{L}_{A}$, if and only if
$\Bx\in A$ and $\mathsf{L}(\Bx)=\mathsf{L}_{B}$, if and only if  $\Bx\in B$. Here $\chi_{S}(\Bx)$ is
the characteristic function of a subset $S$, taking value 1, when $\Bx\in S$
and value 0, otherwise.

Now we are going to tile the entire space $\bb{R}^{d}$ with the copies of the
``period cell'' $Q$, generating a $Q$-periodic function $\mathsf{L}_{\rm per}(\Bx)$,
$\Bx\in\bb{R}^{d}$. Specifically, in order to find the value of $\mathsf{L}_{\rm
  per}(\Bx)$ at a specific point $\Bx\in\bb{R}^{d}$ we first find a vector
$\Bz$ with integer components, such that $\Bx-\Bz\in Q$ and then define
$\mathsf{L}_{\rm per}(\Bx)=\mathsf{L}(\Bx-\Bz)$. In general $\mathsf{L}_{\rm
  per}(\Bx_{1})=\mathsf{L}_{\rm per}(\Bx_{2})$, whenever $\Bx_{1}-\Bx_{2}$ has
integer components.

A periodic composite material would have such a structure on a
\emph{microscopic level}. Mathematically, we choose $\epsilon>0$, representing a
microscopic length scale and define $\mathsf{L}_{\epsilon}(\Bx)=\mathsf{L}_{\rm per}(\Bx/\epsilon)$,
restricting $\Bx$ to lie in a subset $\Omega\subset\bb{R}^{d}$ occupied by our
composite. On a macroscopic level, such a composite will look as though it is
a homogeneous thermoelectric material. Its thermoelectric tensor $\mathsf{L}^{*}$,
called the effective tensor of the composite, is a complicated function not
only of the tensors $\mathsf{L}_{A}$ and $\mathsf{L}_{B}$ of its constituents, but also of
the set $A$ ($B=Q\setminus A$). Specifically, if we keep $\mathsf{L}_{A}$ and
$\mathsf{L}_{B}$ fixed and change only the shape of $A$, then the effective tensor
$\mathsf{L}^{*}$ will change as well. Understanding how $\mathsf{L}^{*}$ depends on the
shape of $A$ is an important (and difficult) problem, that could help design
thermoelectric composites with desired properties. Even though, there is a
mathematical description of $\mathsf{L}^{*}$ as a function of $A$, it is complicated
and we will not be needing or using this description.

\section{Exact relations}
Let us recall that the thermoelectric tensor $\mathsf{L}$ is a $2\times 2$
block-matrix
\begin{equation}
  \label{blckM}
  \mathsf{L}=\mat{\BL_{11}}{\BL_{12}}{\BL_{12}^{T}}{\BL_{22}},
\end{equation}
where $\BL_{11}$ and $\BL_{22}$ are symmetric $3\times 3$ matrices.
Therefore, we are going to think of each such tensor as a point in an
$N$-dimensional vector space, where $N=2d^{2}+d$.

Now, let us imagine that we have fixed two such points, representing tensors
$\mathsf{L}_{A}$ and $\mathsf{L}_{B}$ and we are making periodic composites with all
possible subsets $A\subset Q$. For each choice of the set $A$ we get a point
$\mathsf{L}^{*}$ in our $N$-dimensional vector space. The set of all such points
corresponding to all possible subsets $A\subset Q$ is called the G-closure of
of a two-point set $\{\mathsf{L}_{A},\mathsf{L}_{B}\}$. Generically, this G-closure set
will have a non-empty interior is the $N$-dimensional vector space of material
tensors. However, there are special cases, all of which we want to describe,
where the G-closure set is a submanifold of positive codimension.
Equations describing such a submanifold are
called exact relations. In the language of composite materials, these relations will be
satisfied by \emph{all} composites, as long as they are made of materials that
satisfy these equations.

\section{Polycrystals}
A general thermoelectric tensor $\mathsf{L}$ is \emph{anisotropic}, i.e. its $N$
components will change when we rotate the material. Nevertheless, there are
\emph{isotropic} materials, whose tensors are given by
\begin{equation}
  \label{Liso3d}
  \mathsf{L}=\mat{\lambda_{11}\BI_{d}}{\lambda_{12}\BI_{d}}{\lambda_{12}\BI_{d}}{\lambda_{22}\BI_{d}}
  =\BGL\otimes\BI_{d},\qquad\BGL=\mat{\lambda_{11}}{\lambda_{12}}{\lambda_{12}}{\lambda_{22}},
\end{equation}
when $d=3$. When $d=2$ there is an additional isotropic tensor
\begin{equation}
  \label{Liso2d}
  \mathsf{L}=\BGL\otimes\BI_{2}+\nu\BR_{\perp}\otimes\BR_{\perp},\qquad\BR_{\perp}=\mat{0}{-1}{1}{0}.
\end{equation}
However, if we think that the 2D case is just a special case of 3D, where
fields do not change in one of the direction, then the isotropy (\ref{Liso2d})
can be exhibited by anisotropic thermoelectrics that are, for example, only
transversely isotropic.

Operators (\ref{Liso3d}) are positive definite if and only if  $\lambda_{11}>0$ and
$\det\BGL>0$, while operators (\ref{Liso2d}) are positive definite if and only if  $\lambda_{11}>0$ and
$\det\BGL>\nu^{2}$.

If tensors $\mathsf{L}_{A}$ and $\mathsf{L}_{B}$
are anisotropic, it means that in a composite described above we have to use
these materials in one fixed orientation. This is very often impractical, and
we will restrict our attention to polycrystals, where we are permitted to use
each anisotropic material in any orientation, so that at different points we
may have different orientation of the same material. There are a lot fewer
exact relations and links for polycrystals, and they will be easier (not easy)
to find.

\section{Exact relations for thermoelectricity}
Recall that in space dimension $d$ the space ${\mathcal T}=\bb{R}^{d}\oplus\bb{R}^{d}$
is $2d$-dimensional and the space $\mathrm{Sym}({\mathcal T})$ of all symmetric operators on
${\mathcal T}$ is $N=2d(2d+1)/2=2d^{2}+d$ dimensional. A positive definite operator
$\mathsf{L}\in\mathrm{Sym}({\mathcal T})$ will be thought of as a description of thermoelectric
properties of a material via (\ref{constrel}), (\ref{BML}) and will be
referred to as a \emph{tensor of material properties} or a
\emph{thermoelectric tensor}.  The set of all thermoelectric tensors, i.e. the
set of all positive definite symmetric operators on ${\mathcal T}$ will be denoted
$\mathrm{Sym}^{+}({\mathcal T})$. Our first task is to identify all \emph{exact
  relations}---submanifolds $\bb{M}$ (think surfaces or curves in space) in
$\mathrm{Sym}^{+}({\mathcal T})$, such that the thermoelectric tensor of any composite made with
materials from $\bb{M}$ must necessarily be in $\bb{M}$. To be precise we are
only interested in polycrystalline exact relations $\bb{M}$ that have the
additional property that $\BR\cdot\mathsf{L}\in\bb{M}$ for any $\mathsf{L}\in\bb{M}$ and
for any rotation $\BR\in SO(d)$. In fact, the complete list of them is known
for $d=3$. Our first goal will be to compute all polycrystalline exact
relations when $d=2$. This is done by applying the general theory of exact
relations that states that every exact relation $\bb{M}$ corresponds to a peculiar algebraic
object called \emph{Jordan multialgebra}. Jordan algebras are very-well
studied object in algebra. The particle ``multi'' comes from the fact that in
our case each Jordan algebra carries several Jordan multiplications,
parametrized by a particular subspace ${\mathcal A}\subset\mathrm{Sym}({\mathcal T})$.
\begin{definition}
  We say that a subspace $\Pi\subset\mathrm{Sym}({\mathcal T})$ is a Jordan ${\mathcal A}$-multialgebra
  if
\[
\mathsf{K}_{1}*_{\mathsf{A}}\mathsf{K}_{2}=\displaystyle\frac{1}{2}(\mathsf{K}_{1}\mathsf{A}\mathsf{K}_{2}+\mathsf{K}_{2}\mathsf{A}\mathsf{K}_{1})\in\Pi,\quad
\forall\mathsf{K}\in\Pi,\ \mathsf{A}\in{\mathcal A}.
\]
\end{definition}
The subspace ${\mathcal A}$ of Jordan multiplications is defined by the formula
\begin{equation}
  \label{Adef}
  {\mathcal A}=\mathrm{Span}\{\BGG_{0}(\Bn)-\BGG_{0}(\Bn_{0}):|\Bn|=1\},
\end{equation}
where $\BGG_{0}(\Bn)$ is accociated to an isotropic tensor $\mathsf{L}_{0}$, through
which the exact relations manifold $\bb{M}$ is passing and is determined by
the differential equations (\ref{PDE}) satified by the fields $\BE$ and $\BJ$, written in
Fourier space
\begin{equation}
  \label{FPDE}
  \BGx\times\Hat{\Be_{1}}=\BGx\times\Hat{\Be_{2}}=0,\qquad
\BGx\cdot\Hat{\Bj_{1}}=\BGx\cdot\Hat{\Bj_{2}}=0.
\end{equation}
We view these equations as definitions of two subspaces ${\mathcal E}_{\BGx}$ and
${\mathcal J}_{\BGx}$ of pairs $(\Hat{\Be_{1}},\Hat{\Be_{2}})$ and
$(\Hat{\Bj_{1}},\Hat{\Bj_{2}})$, respectively, regarding the Fourier wave
vector $\BGx$ as fixed. Specifically,
\[
{\mathcal E}_{\BGx}=\{(\gamma_{1}\BGx,\gamma_{2}\BGx):\gamma_{1}\in\bb{R},\ \gamma_{1}\in\bb{R}\},\qquad
{\mathcal J}_{\BGx}=\{(\Bv_{1},\Bv_{2})\in\bb{R}^{d}\oplus\bb{R}^{d}:\BGx\cdot\Bv_{1}=\BGx\cdot\Bv_{2}=0\}.
\]
We observe that vectors $\BGx$ and $c\BGx$, where $c\in\bb{R}\setminus\{0\}$
produce the same subspaces ${\mathcal E}_{c\BGx}-{\mathcal E}_{\BGx}$ and
${\mathcal J}_{c\BGx}={\mathcal J}_{\BGx}$. Therefore, we only need to refer to subspaces
${\mathcal E}_{\Bn}$ and ${\mathcal J}_{\Bn}$ for unit vectors $\Bn$.

Now let $\mathsf{L}_{0}\in\mathrm{Sym}({\mathcal T})$ be isotropic (and positive definite), then we define
\begin{equation}
  \label{G0def}
  \BGG_{0}(\Bn)=\mathsf{L}_{0}^{-1}\BGG'(\Bn),
\end{equation}
where $\BGG'(\Bn)$ is the projection onto $\mathsf{L}_{0}{\mathcal E}_{\Bn}$ along
${\mathcal J}_{\Bn}$.

In order to compute $\BGG_{0}(\Bn)$ we take an arbitrary vector
$(\Bu_{1},\Bu_{2})\in{\mathcal T}$ and decompose it into the sum
\[
(\Bu_{1},\Bu_{2})=\mathsf{L}_{0}\BE+\BJ,\qquad\BE\in{\mathcal E}_{\Bn},\quad\BJ\in{\mathcal J}_{\Bn}.
\]
Then $\mathsf{L}_{0}\BE=\BGG'(\Bn)(\Bu_{1},\Bu_{2})$ and therefore,
\[
\BE=\mathsf{L}_{0}^{-1}\BGG'(\Bn)(\Bu_{1},\Bu_{2})=\BGG_{0}(\Bn)(\Bu_{1},\Bu_{2}).
\]
The vector $\BE\in{\mathcal E}_{\Bn}$ is uniquely determined by two scalars $\gamma_{1}$, $\gamma_{2}$:
$\BE=(\gamma_{1}\Bn,\gamma_{2}\Bn)$, while $\BJ=(\Bj_{1},\Bj_{2})$ must satisfy
\begin{equation}
  \label{Geq}
  \Bj_{1}\cdot\Bn=0,\qquad\Bj_{2}\cdot\Bn=0.
\end{equation}
Finding expressions for $(\Bj_{1},\Bj_{2})$ from
\[
\BJ=(\Bu_{1},\Bu_{2})-\mathsf{L}_{0}(\gamma_{1}\Bn,\gamma_{2}\Bn),
\]
where $\mathsf{L}_{0}$ is given by (\ref{Liso3d}) or (\ref{Liso2d}), and substituting
into (\ref{Geq}) we will obtain two linear equations for the two unknowns
$\gamma_{1}$, $\gamma_{2}$. Solving this linear system we will obtain the explicit
expressions for $\gamma_{1}$, $\gamma_{2}$ in terms of $\Bu_{1}$, $\Bu_{2}$, $\Bn$
and $\mathsf{L}_{0}$. The obtained expressions will be linear in $\Bu_{1}$, $\Bu_{2}$,
permitting us to write the desired operator $\BGG_{0}(\Bn)$ in block-matrix
form (\ref{BML}).
\begin{equation}
  \label{G0}
  \BGG_{0}(\Bn)=\BGL^{-1}\otimes(\tns{\Bn}).
\end{equation}
Formula (\ref{G0}) is valid in both cases $d=2$ and $d=3$. We can now use
formula (\ref{G0}) in (\ref{Adef}) and obtain
the explicit formula for the subspace ${\mathcal A}$:
\begin{equation}
  \label{Athel}
  {\mathcal A}=\{\BGL^{-1}\otimes\BA:\BA^{T}=\BA,\mathrm{Tr}\,\BA=0\}.
\end{equation}
Our first task is to identify
(explicitly) all SO(d)-invariant Jordan ${\mathcal A}$-multialgebras
$\Pi\subset\mathrm{Sym}({\mathcal T})$. Once this is done, the theory of exact relations, gives
an explicit formula for the corresponding exact
relation $\bb{M}$
\begin{equation}
  \label{Mdef}
  \bb{M}=\{\mathsf{L}\in\mathrm{Sym}^{+}({\mathcal T}): W_{\Bn}(\mathsf{L})\in\Pi\}
\end{equation}
for some unit vector $\Bn$, where
\[
W_{\Bn}(\mathsf{L})=[(\mathsf{L}-\mathsf{L}_{0})^{-1}+\BGG_{0}(\Bn)]^{-1}.
\]
We ephasize that even though transformations $W_{\Bn}$ are all different for
different $\Bn$, the submanifold $\bb{M}$ in (\ref{Mdef}) does not depend on
the choice of $\Bn$. In fact, we can also compute $\bb{M}$ using the transformation
\[
W_{\mathsf{M}}(\mathsf{L})=[(\mathsf{L}-\mathsf{L}_{0})^{-1}+\mathsf{M}]^{-1},
\]
where the ``inversion key'' $\mathsf{M}$ is found as the ``simplest'' isotropic
tensor satisfying
\begin{equation}
  \label{invkeydef}
  \mathsf{K}_{1}*_{\BGG_{0}(\Bn)-\mathsf{M}}\mathsf{K}_{2}\in\Pi,\quad\forall\mathsf{K}\in\Pi.
\end{equation}

At this point we note that the subspace ${\mathcal A}$ is different for different
isotropic reference tensors $\mathsf{L}_{0}$ through which the exact relations
manifolds are passing. In many cases, and in ours in particular, this technical
complication can be eliminated by means of the  ``covariance
transformations''. The idea is to observe that for any invertible operators
$\mathsf{B}$ and $\mathsf{C}$ on ${\mathcal T}$ we have
\[
\mathsf{B}(\mathsf{K}_{1}*_{\mathsf{A}}\mathsf{K}_{2})\mathsf{C}=(\mathsf{B}\mathsf{K}_{1}\mathsf{C})*_{\mathsf{C}^{-1}\mathsf{A}\mathsf{B}^{-1}}(\mathsf{B}\mathsf{K}_{2}\mathsf{C}).
\]
It means that if $\Pi$ is an Jordan ${\mathcal A}$-multialgebra, then $\mathsf{B}\Pi\mathsf{C}$ is
a Jordan $\mathsf{C}^{-1}\mathsf{A}\mathsf{B}^{-1}$-multialgebra. In order to preserve symmetry
of operators and $SO(d)$-invariance of subspaces we have to set $\mathsf{B}=\mathsf{C}^{T}$ and use
only isotropic operators $\mathsf{C}$. In the case of ${\mathcal A}$, given by (\ref{Athel})
we can use $\mathsf{C}=\BGL^{-1/2}\otimes\BI_{d}$, so that
\[
{\mathcal A}_{0}=\mathsf{C}^{-1}\mathsf{A}\mathsf{C}^{-1}=\{\BI_{2}\otimes\BA:\BA^{T}=\BA,\mathrm{Tr}\,\BA=0\}
\]
is independent of $\mathsf{L}_{0}$. Now, if $\Pi_{0}$ is a Jordan
${\mathcal A}_{0}$-multialgebra then we compute a corresponding inversion key
$\mathsf{M}_{0}$, which must be an isotropic tensor satisfying
\begin{equation}
  \label{invkeyeq}
  \mathsf{K}_{1}*_{\BI_{2}\otimes\BI_{d}-d\mathsf{M}_{0}}\mathsf{K}_{2}\in\Pi_{0},\quad\forall\mathsf{K}\in\Pi_{0}.
\end{equation}
In particular, the choice
\begin{equation}
  \label{M0univ}
  \mathsf{M}_{0}=\nth{d}\BI_{2}\otimes\BI_{d}=\nth{d}{\mathcal I}_{{\mathcal T}}
\end{equation}
satisfies (\ref{invkeyeq}). When $d=2$ we will also try two other simpler
choices for $\mathsf{M}$: $\mathsf{M}=0$ and $\mathsf{M}=\displaystyle\frac{1}{2}\BI_{2}\otimes(\tns{\Be_{1}})$.
Once the inversion key $\mathsf{M}_{0}$ is determined, the corresponding exact
relation $\bb{M}$ will be computed using
\[
\bb{M}=\{\mathsf{C}^{-1}\mathsf{L}\mathsf{C}^{-1}:\mathsf{L}\in\bb{M}_{0}\},\qquad
\bb{M}_{0}=\{\mathsf{L}\in\mathrm{Sym}^{+}({\mathcal T}): W_{0}(\mathsf{L})\in\Pi_{0}\},
\]
where $\mathsf{C}=\BGL^{-1/2}\otimes\BI_{d}$ and
\[
W_{0}(\mathsf{L})=[(\mathsf{L}-\mathsf{L}_{0}^{0})^{-1}+\mathsf{M}_{0}]^{-1},
\]
where
\[
\mathsf{L}_{0}^{0}=\mathsf{C}\mathsf{L}_{0}\mathsf{C}=
\begin{cases}
  \BI_{2}\otimes\BI_{3},&d=3,\\
 \BI_{2}\otimes\BI_{2}+\frac{\nu}{\sqrt{\det\BGL}}\tns{\BR_{\perp}},&d=2.
\end{cases}
\]
In summary, our first task is to solve a (very nontrivial) problem of identifying
all SO(2)-invariant subspaced $\Pi_{0}\subset\mathrm{Sym}(\bb{R}^{2}\oplus\bb{R}^{2})$,
that are Jordan ${\mathcal A}_{0}$-multialgebras. Very often a difficult problem can be
made easier by identifying its symmetries. In our case a symmetry is
an SO(2)-invariant linear operator $\Phi:\mathrm{Sym}({\mathcal T})\to\mathrm{Sym}({\mathcal T})$, such that
\begin{equation}
  \label{autodef}
  \Phi(\mathsf{K}\mathsf{A}\mathsf{K})=\Phi(\mathsf{K})\mathsf{A}\Phi(\mathsf{K}),\quad\forall\mathsf{K}\in\mathrm{Sym}({\mathcal T}),\ \mathsf{A}\in{\mathcal A}_{0}.
\end{equation}
Such a transformation will be called a gobal SO(2)-invariant Jordan
${\mathcal A}_{0}$-multialgebra automorphism of $\mathrm{Sym}({\mathcal T})$.

\section{SO(2)-invariant subspaces of $\mathrm{Sym}({\mathcal T})$}
Our task of finding SO(2)-invariant Jordan ${\mathcal A}_{0}$-multialgebras will be
significantly simplified by first identifying all SO(2)-invariant subspaces of
$\mathrm{Sym}({\mathcal T})$, a standard task in the representation theory of compact Lie
groups, which is particularly easy for a commutative ``circle group'' $SO(2)$.
It is well know that all irreducible representations of $SO(2)$ are of complex
type. Therefore, it will be convenient to identify the physical space $\bb{R}^{2}$
with complex numbers, so that\footnote{The image in $\bb{C}$ of a vector in
  $\bb{R}^{2}$, denoted by a bold letter, is represented by the same letter in
  normal font.}  $\Bx=(x_{1},x_{2})\mapsto x=x_{1}+ix_{2}\in\bb{C}$. Then
\begin{equation}
  \label{TCn}
  {\mathcal T}=\bb{R}^{2}\oplus\bb{R}^{2}\cong\bb{C}\oplus\bb{C}\cong\bb{C}^{2},
\end{equation}
With corresponding identification
\[
{\mathcal T}\ni\vect{\Bu}{\Bv}\mapsto(u,v)\in\bb{C}^{2},\quad u=u_{1}+iu_{2},\ v=v_{1}+iv_{2}.
\]

The utility of this isomorphism of $4$-dimensional real vector spaces (${\mathcal T}$
and $\bb{C}^{2}$) comes from the fact that the set $\bb{C}^{2}$ also has a
structure of a complex vector space. In order to characterize all rotationally
invariant subspaces in $\mathrm{Sym}({\mathcal T})$ we observe that rotations $\BR_{\theta}$ of
$\bb{R}^{2}$ through the angle $\theta$ counterclockwise act on vectors
$\Bu\in{\mathcal T}\cong\bb{C}^{2}$ by $\BR_{\theta}\cdot\Bu=e^{i\theta}\Bu$. Every
real operator $\mathsf{K}$ on ${\mathcal T}$ can be described by two complex $2\times 2$ matrices
$X$ and $Y$ via
\begin{equation}
  \label{Ku}
  \mathsf{K}\Bu=X\Bu+Y\bra{\Bu},\qquad\Bu\in\bb{C}^{2},
\end{equation}
where $\Bu$ on the left-hand side\ is an element of ${\mathcal T}$, while $\Bu$ on the right-hand side\ is
its $\bb{C}^{2}$ representation. Henceforth, we will write $K(X,Y)$ to
indicate this parametrization of $\mathrm{End}({\mathcal T})$.

We compute
\[
\left(\vect{\Bu_{1}}{\Bu_{2}},\vect{\Bv_{1}}{\Bv_{2}}\right)_{{\mathcal T}}=
\Bu_{1}\cdot\Bv_{1}+\Bu_{2}\cdot\Bv_{2}=\Re\mathfrak{e}(u_{1}\bra{v_{1}})+\Re\mathfrak{e}(u_{2}\bra{v_{2}})=
\Re\mathfrak{e}(\Bu,\Bv)_{\bb{C}^{2}}.
\]
We compute
\[
(K(X,Y)\Bu,\Bv)_{\bb{C}^{2}}=(X\Bu+Y\bra{\Bu},\Bv)_{\bb{C}^{2}}=
(\Bu,X^{H}\Bv)_{\bb{C}^{2}}+\bra{(\Bu,\bra{Y^{H}}\bra{\Bv})_{\bb{C}^{2}}},
\]
where $X^{H}=\bra{X}^{T}$ denotes Hermitian conjugation\footnote{We do not use
  the standard notation $X^{\ast}$ to avoid confusion with our notation for
  the effective tensor.}.  Hence
\[
(K(X,Y)\Bu,\Bv)_{{\mathcal T}}=\Re\mathfrak{e}(\Bu,X^{H}\Bv)_{\bb{C}^{2}}+\Re\mathfrak{e}(\Bu,\bra{Y^{H}}\bra{\Bv})_{\bb{C}^{2}}=
\Re\mathfrak{e}(\Bu,X^{H}\Bv+Y^{T}\bra{\Bv})_{\bb{C}^{2}}=(\Bu,\mathsf{K}^{T}\Bv)_{{\mathcal T}}.
\]
This shows that $K(X,Y)^{T}=K(X^{H},Y^{T})$. It follows that
$K(X,Y)\in\mathrm{Sym}({\mathcal T})$ if and only if  $X$ is a complex Hermitian $2\times 2$ matrix
($X^{H}=X$) and $Y$ is a complex symmetric $2\times 2$ matrix ($Y^{T}=Y$).

Let us find the characterization of positive definiteness of
$K(X,Y)\in\mathrm{Sym}({\mathcal T})$ in terms of complex matrices $X$ and $Y$. The first
observation is that
\[
(K(X,Y)\Bu,\Bu)_{{\mathcal T}}=\displaystyle\frac{1}{2}\left(\Hat{K}(X,Y)\vect{\Bu}{\bra{\Bu}},
\vect{\Bu}{\bra{\Bu}}\right)_{\bb{C}^{4}},\qquad\Hat{K}(X,Y)=\mat{X}{Y}{\bra{Y}}{\bra{X}}.
\]
We see that $\Hat{K}(X,Y)\in\mathfrak{H}(\bb{C}^{4})$. We now view
$\bb{C}^{4}=\bb{C}^{2}\oplus\bb{C}^{2}$ as a real (8-dimensional) vector
space with the standard inner product
$(\BGx,\BGn)=\Re\mathfrak{e}(\BGx,\BGn)_{\bb{C}^{4}}$. It is then easy to check that
$\bb{C}^{4}$ can be split into the orthogonal sum of subspaces
$\bb{C}^{4}=S_{+}\oplus S_{-}$,
\[
S_{\pm}=\left\{\vect{\Bu}{\pm\bra{\Bu}}:\Bu\in\bb{C}^{2}\right\}.
\]
Moreover, both $S_{+}$ and $S_{-}$ are invariant subspaces for
$\Hat{K}(X,Y)$. The final observation is that $S_{-}=iS_{+}$. Now, the
positive definiteness of $K(X,Y)$ is equivelent to the positive definiteness
of $\Hat{K}(X,Y)$ on $S_{+}$. But $i\BGx\in S_{+}$ for any $\BGx\in
S_{-}$, and therefore,
\[
(\Hat{K}(X,Y)\BGx,\BGx)_{\bb{C}^{4}}=(\Hat{K}(X,Y)i\BGx,i\BGx)_{\bb{C}^{4}}>0.
\]
This implies that the positive definiteness
of $\Hat{K}(X,Y)$ on $S_{+}$ is equivalent to the positive definiteness
of $\Hat{K}(X,Y)$ on $\bb{C}^{4}$. In turn, the positive definiteness
of $\Hat{K}(X,Y)$ on $\bb{C}^{4}$ is equivalent to
\[
X>0,\qquad S_{X}=X-Y\bra{X}^{-1}\bra{Y}>0.
\]
We will see later that
\[
K(X,Y)^{-1}=K(S_{X}^{-1},-S_{X}^{-1}Y\bra{X}^{-1}).
\]
In other words, positive definiteness of $K(X,Y)$ is equivalent to positive
definiteness of the ``X-components'' of both $K(X,Y)$ and $K(X,Y)^{-1}$.

We easily compute the action of rotations $\BR_{\theta}$ on $K(X,Y)$ from the
``distributive law''
\[
\BR_{\theta}\cdot(K(X,Y)\Bu)=(\BR_{\theta}\cdot K(X,Y))(\BR_{\theta}\cdot\Bu)
\]
and the formula $\BR_{\theta}\cdot\Bu=e^{i\theta}\Bu$:
\[
e^{i\theta}(X\Bu+Y\bra{\Bu})=(\BR_{\theta}\cdot K(X,Y))e^{i\theta}\Bu.
\]
Denoting $e^{i\theta}\Bu$ be $\Bv$ and substituting $\Bu=e^{-i\theta}\Bv$ we
obtain
\[
(\BR_{\theta}\cdot K(X,Y))\Bv=X\Bv+e^{2i\theta}Y\bra{\Bv},
\]
which means that
\begin{equation}
  \label{Raction}
   \BR_{\theta}\cdot K(X,Y)=K(X,e^{2i\theta}Y).
\end{equation}
Therefore, if $\Pi$ is an SO(2)-invariant subspace of $\mathrm{Sym}({\mathcal T})$ then
\[
\Pi={\mathcal L}(V,W){\buildrel\rm def\over=}\{K(X,Y):X\in V\subset{\mathcal H}(\bb{C}^{2}),\ Y\in W\subset\mathrm{Sym}(\bb{C}^{2})\},
\]
where $V$ can be any subspace of ${\mathcal H}(\bb{C}^{2})$|the set of all complex
Hermitian $2\times 2$ matrices, regarded as a real vector space, and $W$ can
be any subspace of $\mathrm{Sym}(\bb{C}^{2})$|the set of all complex symmetric
$2\times 2$ matrices, regarded as a complex vector space. In this notation the
subspace ${\mathcal A}_{0}$ corresponds to $V=\{0\}$ and $W=\{z\BI_{2}:z\in\bb{C}\}$:
\[
{\mathcal A}_{0}=\{K(0,z\BI_{2}):z\in\bb{C}\}.
\]

\section{SO(2)-invariant Jordan ${\mathcal A}_{0}$-multialgebras}
Using definition (\ref{Ku}) of the action of an operator $\mathsf{K}$ we compute
\begin{equation}
  \label{multrule}
  K(X_{1},Y_{1})K(X_{2},Y_{2})=K(X_{1}X_{2}+Y_{1}\bra{Y_{2}},X_{1}Y_{2}+Y_{1}\bra{X_{2}}),
\end{equation}
Using this  multiplication rule we compute
\[
K(X,Y)K(0,z\BI_{2})K(X,Y)=K(zX\bra{Y}+\bar{z}YX,zX\bra{X}+\bar{z}Y^{2})
\]
This formula implies that
a subspace $\Pi={\mathcal L}(V,W)$ is a Jordan ${\mathcal A}_{0}$-multialgebra if and only if
\begin{equation}
    \label{2dJMA}
Y^{2}+XX^{T}\in W,\quad YX+XY^{H}\in V\text{ for all }X\in V,\ Y\in W.
  \end{equation}
  The goal is therefore find all solutions ${\mathcal L}(V,W)$ of
  (\ref{2dJMA}). Equations (\ref{2dJMA}) suggest an obvious strategy. We first
  identify all 0, 1, 2 and 3-dimensional complex subspace
  $W\subset\mathrm{Sym}(\bb{C}^{2})$ satisfying $Y^{2}\in W$ for all $Y\in W$. Then,
  for each such $W$ we will look for 0, 1, 2, 3 and 4-dimensional subspaces
  $V\subset\mathfrak{H}(\bb{C}^{2})$, the space of complex Hermitian $2\times
  2$ matrices. However, before we begin it will be helpful to identify all
  symmetries of (\ref{2dJMA}), i.e. all global SO(2)-invariant Jordan
  ${\mathcal A}_{0}$-multialgebra automorphisms.

\section{Global SO(2)-invariant Jordan ${\mathcal A}_{0}$-multialgebra automorphisms}
Let $\Phi:\mathrm{Sym}({\mathcal T})\to\mathrm{Sym}({\mathcal T})$ be SO(2)-invariant. Any such linear map must
have the form
\[
\Phi(K(X,Y))=K(\Phi_{11}(X)+\Phi_{12}(Y),\Phi_{21}(X)+\Phi_{22}(Y)),
\]
where $\Phi_{ij}$ are real linear maps between the appropriate spaces
Then the ``distributive law'' for rotations says
\[
\BR_{\theta}\cdot\Phi(K(X,Y))=\Phi(\BR_{\theta}\cdot K(X,Y))
\]
Using formula (\ref{Raction}) we obtain
\[
K(\Phi_{11}(X)+\Phi_{12}(Y),e^{2i\theta}\Phi_{21}(X)+e^{2i\theta}\Phi_{22}(Y))=
K(\Phi_{11}(X)+\Phi_{12}(e^{2i\theta}Y),\Phi_{21}(X)+\Phi_{22}(e^{2i\theta}Y))
\]
It follows that
\[
\Phi_{12}(Y)=\Phi_{12}(e^{2i\theta}Y),\quad
e^{2i\theta}\Phi_{21}(X)=\Phi_{21}(X),\quad
e^{2i\theta}\Phi_{22}(Y)=\Phi_{22}(e^{2i\theta}Y).
\]
The first two equations imply that $\Phi_{12}=0$ and $\Phi_{21}=0$, while the
third equation implies that $\Phi_{22}$ is a complex-linear map on
$\mathrm{Sym}(\bb{C}^{2})$. Thus, any linear $SO(2)$ automorphism $\Phi$ of
$\mathrm{Sym}({\mathcal T})$ can be written as
\[
\Phi(K(X,Y))=K(\Phi_{0}(X),\Phi_{2}(Y)),
\]
where $\Phi_{0}$ is a real-linear automorphism  of
$\mathfrak{H}(\bb{C}^{2})$ and $\Phi_{2}$ is a complex-linear automorphism  of
$\mathrm{Sym}(\bb{C}^{2})$.

Let us now assume that $\Phi$ is also a Jordan ${\mathcal A}_{0}$-multialgebra
automorphism. In that case the maps $\Phi_{0}$ and $\Phi_{2}$ must satisfy,
additionally,
\begin{equation}
  \label{PhiXX}
\Phi_{2}(XX^{T})=\Phi_{0}(X)\Phi_{0}(X)^{T},\qquad\Phi_{2}(Y^{2})=\Phi_{2}(Y)^{2},
\end{equation}
\begin{equation}
  \label{PhiXY}
\Phi_{0}(X\bra{Y}+YX)=\Phi_{0}(X)\bra{\Phi_{2}(Y)}+\Phi_{2}(Y)\Phi_{0}(X).
\end{equation}
Our task is to determine all maps $\Phi_{0}$ and $\Phi_{2}$, satisfying
(\ref{PhiXX}), (\ref{PhiXY}).

Observe that $\Phi_{2}(Y^{2})=\Phi_{2}(Y)^{2}$ means $\Phi_{2}$ maps
projections (idempotents) into projections. Conversely, if $\Phi_{2}(Y)$ is a
projection for some
$Y\in\mathrm{Sym}(\bb{C}^{2})$, then $\Phi_{2}(Y^{2})=\Phi_{2}(Y)$, which implies that
$Y^{2}=Y$, since $\Phi_{2}$ is a bijection. Every non-zero idempotent in
$\mathrm{Sym}(\bb{C}^{2})$ is either $I_{2}$ or $\Ba\otimes\Ba$, where
$\Ba\cdot\Ba=1$. Since $\Phi_{2}$ is a bijection it must map all idempotents
of the form $\Ba\otimes\Ba$, except
possibly one, into idempotents of the same form. Then the map
\[
\Ba\mapsto\mathrm{Tr}\,\Phi_{2}(\Ba\otimes\Ba)
\]
is continuous and has constant value 1 on almost all $\Ba$. Hence, by
continuity it must have value 1 on all $\Ba$. This implies that
$\Phi_{2}(I_{2})=I_{2}$ and $\Phi_{2}(\Ba\otimes\Ba)=\tns{C\Ba}$ for
some complex linear map $C$ that has the property
$C\Ba\cdot C\Ba=\Ba\cdot\Ba=1$. Thus,
$\Phi_{2}(Y)=CYC^{T}$, where $C\in
O(2,\bb{C})=\{C\in\mathrm{End}_{\bb{C}}(\bb{C}^{2}):CC^{T}=I_{2}\}$.

Now we need to compute the map $\Phi_{0}$. We start by determining all
possible values of $\Phi_{0}(I_{2})$. To this end we take $X=I_{2}$ in the
first equation in (\ref{PhiXX}). Then
$\Phi_{0}(I_{2})\Phi_{0}(I_{2})^{T}=I_{2}$. Hence, $\Phi_{0}(I_{2})\in
O(2,\bb{C})\cap\mathfrak{H}(\bb{C}^{2})$.  Let us take $X=I_{2}$, $Y=iS$,
$S\in\mathrm{Sym}(\bb{R}^{2})$ in (\ref{PhiXY}). Then
\[
0=-i\Phi_{0}(I)\bra{C}S\bra{C}^{T}+iCSC^{T}\Phi_{0}(I).
\]
Using the fact that $C\in O(2,\bb{C})$ we obtain that
$C^{T}\Phi_{0}(I)\bra{C}$ commutes with every $S\in\mathrm{Sym}(\bb{R}^{2})$. This
quickly leads, via $\Phi_{0}(I)\Phi_{0}(I)^{T}=I$, to $\Phi_{0}(I)=\pm
CC^{H}$. Notice that if $\Phi_{0}$ satisfies our equations, then so does
$-\Phi_{0}$. Hence, without loss of generality\ we assume that $\Phi_{0}(I)=CC^{H}$.

Next we determine $\Phi_{0}$ on real symmetric matrices.
Taking $X=I$, $Y=S\in\mathrm{Sym}(\bb{R}^{2})$ in (\ref{PhiXY}) we then obtain
$\Phi_{0}(S)=CSC^{H}$. It remains to figure out the value of $\Phi_{0}$ on $i\BR_{\perp}$.

Now we take $X=S_{1}$, $Y=iS_{2}$ in (\ref{PhiXY}),
where $\{S_{1},S_{2}\}\subset\mathrm{Sym}(\bb{R}^{2})$. Then
\[
\Phi_{0}(i[S_{2},S_{1}])=-iCS_{1}C^{H}\bra{C}S_{2}C^{H}+iCS_{2}C^{T}CS_{1}C^{H}=
iC[S_{2},S_{1}]C^{H}.
\]
Hence, $\Phi_{0}(X)=CXC^{H}$ for all $X\in\mathfrak{H}(\bb{C}^{2})$. Thus the
set of all $SO(2)$ Jordan ${\mathcal A}_{0}$-multialgebra automorphisms is given by
\begin{equation}
  \label{Jautoex}
\Phi(K(X,Y))=K(\pm CXC^{H},CYC^{T}),\qquad C\in O(2,\bb{C}).
\end{equation}
Finally every $C\in O(2,\bb{C})$ has a representation
\[
C=C_{+}=\mat{\cos z}{\sin z}{-\sin z}{\cos z},\text{ or }
C=C_{-}=\mat{\cos z}{\sin z}{\sin z}{-\cos z},\qquad z\in\bb{C}.
\]

In fact, there is a general theorem that guarantees that the set of all
$SO(d)$-invariant Jordan multialgebra automorphisms has the form
$\Phi(\mathsf{X})=\mathsf{C}\mathsf{X}\mathsf{C}^{T}$ for any isotropic $\mathsf{C}$ preserving $\mathsf{A}$,
$\mathsf{C}\Tld{\BGG}_{0}\mathsf{C}^{T}=\Tld{\BGG}_{0}$. In addition to these there could be
additional automorphisms of the form $\Phi(\mathsf{X})=-\mathsf{C}\mathsf{X}\mathsf{C}^{T}$ for those $\mathsf{C}$ for
which $\mathsf{C}\Tld{\BGG}_{0}\mathsf{C}^{T}=-\Tld{\BGG}_{0}$ (which can only happen when
$\Tld{\BGG}_{0}$ has the same number of positive and negative
eigenvalues). From this and (\ref{multrule}) it is easy to get the general
form obtained above (using the fact that any isotropic tensor $\mathsf{C}$ has the
form $K(C,0)$).

\section{Describing all Jordan ${\mathcal A}_{0}$-multialgebras}
\label{sec:JMA}
Complex subspace $W\subset\mathrm{Sym}(\bb{C}^{2})$ can have dimension 0, 1, 2 or 3.
\begin{itemize}
\item $\dim W=0$. Then  $W=\{0\}$ and $V$ may contain only those $X$ for
  which $X^{T}X=0$. If $X\not=0$, then $X$ is rank 1 and Hermitian. Thus,
  $X=\Ba\otimes\bra{\Ba}$ for some $\Ba\in\bb{C}^{2}$, satisfying
  $\Ba\cdot\Ba=0$, i.e. $a_{1}^{2}=-a_{2}^{2}$, which is equivalent to
  $a_{2}=\pm ia_{1}$. Thus, all such $X$ must be real
  multiples of one of the following 2 matrices
\[
X_{1}=\mat{1}{i}{-i}{1},\qquad X_{2}=\bra{X_{1}}.
\]
Hence, either $V=\{0\}$ or $V=\bb{R}X_{j}$ for some $j=1,2$.
These two are isomorphic by $C=\mat{0}{1}{1}{0}\in O(2,\bb{C})$ that map $W$ into
    itslef and maps $X_{1}$ into $X_{2}$ and vice versa.
\item  $\dim W=1$. If $W$ contains an invertible matrix $Y$, then the
  Cayley-Hamilton theorem implies that $W$ contains $\BI_{2}$, since
\[
\BI_{2}=\frac{\mathrm{Tr}\,(Y)Y-Y^{2}}{\det(Y)}\in W.
\]
Thus we have two possibilities
\begin{itemize}
\item $W=\bb{C}\BI_{2}$. In that case $V$ must contain only
  matrices $X$ such that $XX^{T}=\lambda\BI_{2}$ for some $\lambda\in\bb{C}$. We compute that all
  such matrices $X$ must have one of two possible forms
\[
F_{1}(\alpha,\beta)=\mat{\alpha}{i\beta}{-i\beta}{\alpha},\quad F_{2}(\alpha,\beta)=\mat{\alpha}{\beta}{\beta}{-\alpha},\qquad
\{\alpha,\beta\}\subset\bb{R}.
\]
Then $V$ is either $\{0\}$ or $V_{1}=\{F_{1}(\alpha,\beta):\{\alpha,\beta\}\subset\bb{R}\}$,
$V_{2}=\{F_{2}(\alpha,\beta):\{\alpha,\beta\}\subset\bb{R}\}$, or any 1D subspace of $V_{1}$
or $V_{2}$.
\item $W=\bb{C}\tns{\Ba}$ for some $\Ba\in\bb{C}^{2}$. Then $V$ must contain only
  matrices $X$ such that $XX^{T}=\lambda\tns{\Ba}$. In particular, $X$ must be
  rank-1 (if it is non-zero). Thus, $V$ is either $\{0\}$ or
  $\bb{R}\Ba\otimes\bra{\Ba}$. In the latter case $\Pi$ is the annihilator of
  the 1D complex subspace $U$ of $\bb{C}^{2}$, where $U=\bb{C}\Ba^{\perp}$,
  where
\[
\Ba^{\perp}=\BR_{\perp}\Ba=(-a_{2},a_{1}).
\]
\end{itemize}
\item $\dim W=2$. Then $W$ must contain an invertible matrix. Indeed, the
  set of non-zero complex singular $2\times 2$ matrices is a 2D complex
  manifold and is not a subspace. Hence any 2D subspace cannot be contained in
  it. By Cayley-Hamilton $\BI_{2}\in W$. Let $W=\mathrm{Span}_{\bb{C}}\{\BI_{2},A\}$ for some
  $A\in\mathrm{Sym}(\bb{C}^{2})\setminus\{\lambda\BI_{2}\}$. Observe that without loss of generality, we may assume that
  $A=\tns{\Ba}$ for some $\Ba\in\bb{C}^{2}$ (if $\lambda\in\bb{C}$ is an
  eigenvalue of $A$, then $A-\lambda\BI_{2}\in W$ has rank 1.) So,
\[
W=W_{\Ba}=\mathrm{Span}\{\BI_{2},\tns{\Ba}\},
\]
which obviously satisfies $Y^{2}\in W_{\Ba}$ for every $Y\in W_{\Ba}$. We can
apply the global automorphism $\Phi$ to the Jordan multialgebra $\Pi$ and
reduce $W$ to the algebra of complex $2\times 2$ diagonal matrices, if
$\Ba\cdot\Ba\not=0$ or to
\[
W=\left\{\mat{\alpha-\beta}{\pm i\beta}{\pm i\beta}{\alpha+\beta}:\{\alpha,\beta\}\subset\bb{C}\right\}.
\]
 In order to compute all possible subspace $V$, we need to consider the two cases above separately
 \begin{itemize}
 \item $W$ is the algebra of complex $2\times 2$ diagonal matrices.
  \begin{itemize}
  \item $\dim V=0$, $V=\{0\}$
  \item $\dim V=1$. Then $V=\bb{R}H_{0}$ for some
    $H_{0}\in\mathfrak{H}(\bb{C}^{2})$. Condition $H_{0}H_{0}^{T}\in W$
    results in 4 possibilities for $H_{0}$:
    \begin{equation}
      \label{Hsqdiag}
      \mat{h_{1}}{0}{0}{h_{2}},\quad\mat{h}{i\alpha}{-i\alpha}{h},\quad
\mat{h}{\alpha}{\alpha}{-h},\quad\mat{0}{a}{\bra{a}}{0}.
    \end{equation}
If both components $H_{11}$ and $H_{22}$ are nonzero, or $H_{12}\not=0$,
then $\{YH_{0}+H_{0}\bra{Y}:Y\in W\}\subset V$ will be at least
two-dimensional. Hence, there are two
    possibilities: $H_{0}=\tns{\Be_{1}}$ and $H_{0}=\tns{\Be_{2}}$. These two
    are isomorphic by $C=\mat{0}{1}{1}{0}\in O(2,\bb{C})$ that map $W$ into
    itslef and maps $\tns{\Be_{1}}$ into $\tns{\Be_{2}}$.
  \item $\dim V\ge 2$. We notice that the set of all
    $H\in\mathfrak{H}(\bb{C}^{2})$, such that $HH^{T}$ is diagonal is the
    union of 4 two-dimensional vector spaces (\ref{Hsqdiag}). Thus, there are
    no solutions $V$ with dimension greater than 2, while solutions $V$ with
    $\dim V=2$ must be one of the 4 spaces in (\ref{Hsqdiag}). We only need to
    check which of the 4 subspaces $V$ in in (\ref{Hsqdiag}) have the property
    $\{YX+X\bra{Y}:Y\in W\}\subset V$ for any $X\in V$. It is easy to verify
    that only the first and the fourth ones have that property. Hence,
For $\dim V=2$ we have the following choices:
\begin{itemize}
\item[(a)] $V=\left\{\mat{\alpha}{0}{0}{\beta}:\{\alpha,\beta\}\subset\bb{R}\right\}$
\item[(b)] $V=\left\{\mat{0}{\bra{a}}{a}{0}:a\in\bb{C}\right\}$
\end{itemize}
\end{itemize}
\item $\displaystyle
W=\left\{\mat{\alpha-\beta}{\pm i\beta}{\pm i\beta}{\alpha+\beta}:\{\alpha,\beta\}\subset\bb{C}\right\}.
$\\
We note that using $C=\mat{1}{0}{0}{-1}\in O(2,\bb{C})$ we can transform
``$-$'' sign above into the ``$+$'' sign. So, that without loss of generality
\[
W=\left\{\mat{\alpha-\beta}{i\beta}{i\beta}{\alpha+\beta}:\{\alpha,\beta\}\subset\bb{C}\right\}.
\]
  In this case Maple worksheet
shows that
  \begin{itemize}
  \item $\dim V=0$, $V=\{0\}$
\item $\dim V=1$, $V=\bb{R}\mat{1}{i}{-i}{1}$
\item $\dim V=2$. There is a 1-parameter family of 2D subspaces permuted by the
  automorphism $\Phi$:
\[
V_{t}=\left\{\mat{x}{t(x-y)+i\frac{x+y}{2}}{t(x-y)-i\frac{x+y}{2}}{y}:\{x,y\}\subset\bb{R}\right\},
\]
together with
\[
V_{\infty}=\left\{\mat{y}{x+iy}{x-iy}{y}:\{x,y\}\subset\bb{R}\right\},
\]
which we select to be the representative of the entire family.
\item $\dim V=3$,
\[
V=\left\{X\in\mathfrak{H}(\bb{C}^{2}):
\mathrm{Tr}\, X=2\mathfrak{Im}(X_{12})\right\}.
 \]
Is the only 3D solution.
  \end{itemize}
\end{itemize}
\item $\dim W=3$. Then $W=\mathrm{Sym}(\bb{C}^{2})$.\\
Let us assume that there is a non-zero $X\in V$. Then for any
$\{Y_{1},Y_{2}\}\subset W$ $X'=Y_{1}X+XY_{1}^{H}\in V$ and therefore,
$Y_{2}X'+X'Y_{2}^{H}\in V$. We compute
\[
Y_{2}X'+X'Y_{2}^{H}=
Y_{2}Y_{1}X+X(Y_{2}Y_{1})^{H}+Y_{2}XY_{1}^{H}+Y_{1}XY_{2}^{H}\in V.
\]
Switching $Y_{1}$ and $Y_{2}$ we also obtain
\[
Y_{1}Y_{2}X+X(Y_{1}Y_{2})^{H}+Y_{1}XY_{2}^{H}+Y_{2}XY_{1}^{H}\in V.
\]
Adding the two expressions we obtain
\[
(Y_{1}Y_{2}+Y_{2}Y_{1})X+X(Y_{1}Y_{2}+Y_{2}Y_{1})^{H}+2Y_{1}XY_{2}^{H}+2Y_{2}XY_{1}^{H}\in
V.
\]
But $Y_{1}Y_{2}+Y_{2}Y_{1}\in W$ for all $\{Y_{1},Y_{2}\}\subset W$ and
therefore,
\[
Y_{1}XY_{2}^{H}+Y_{2}XY_{1}^{H}\in V.
\]
for every $\{Y_{1},Y_{2}\}\subset W$.

Now let $Z\in \mathfrak{H}(\bb{C}^{2})$ be orthogonal to $V$. Then for every
$\{Y_{1},Y_{2}\}\subset W$ we must have
$\av{Y_{1}XY_{2}^{H}+Y_{2}XY_{1}^{H},Z}=0$. We compute
\[
0=\av{Y_{1}XY_{2}^{H}+Y_{2}XY_{1}^{H},Z}=\av{Y_{1},ZY_{2}X}+\av{Y_{1}^{H},XY_{2}^{H}Z}
\]
Restricting to $Y_{1}\in \mathrm{Sym}(\bb{R}^{2})$ we obtain
\[
\av{Y_{1},ZY_{2}X+XY_{2}^{H}Z}=0
\]
The matrix $M=ZY_{2}X+XY_{2}^{H}Z$ is self-adjoint and therefore has the form
$M_{1}+iM_{2}$, where $M_{1}\in\mathrm{Sym}(\bb{R}^{2})$,
$M_{2}\in\mathrm{Skew}(\bb{R}^{2})$. Thus, $\av{Y_{1},M_{1}}=0$ for every $Y_{1}\in
\mathrm{Sym}(\bb{R}^{2})$. Hence, $M_{1}=0$ and we conclide that for every $Y_{2}\in
\mathrm{Sym}(\bb{C}^{2})$
\[
ZY_{2}X+XY_{2}^{H}Z=\mat{0}{-i\beta}{i\beta}{0}
\]
for some $\beta=\beta(Y_{2})\in\bb{R}$. We repeat the same argument, now
restricting $Y_{1}$ to be of the form
$Y_{1}=iY_{0}$, $Y_{0}\in \mathrm{Sym}(\bb{R}^{2})$. In that case we obtain
\[
\av{Y_{0},ZY_{2}X-XY_{2}^{H}Z}=0,\quad\forall Y_{0}\in \mathrm{Sym}(\bb{R}^{2}).
\]
In this case the matrix $M=ZY_{2}X-XY_{2}^{H}Z$ is skew-adjoint and therefore
has the form $M=M_{1}+iM_{2}$, where $M_{1}\in\mathrm{Skew}(\bb{R}^{2})$,
$M_{2}\in\mathrm{Sym}(\bb{R}^{2})$ resulting in $\av{Y_{0},M_{2}}=0$ for all $Y_{0}\in
\mathrm{Sym}(\bb{R}^{2})$. It follows that $M_{2}=0$ and
\[
ZY_{2}X-XY_{2}^{H}Z=\mat{0}{-\alpha}{\alpha}{0}
\]
for some $\alpha=\alpha(Y_{2})\in\bb{R}$. Adding the two results we obtain that for
every $Y_{2}\in\mathrm{Sym}(\bb{C}^{2})$ there exists $b=b(Y_{2})\in\bb{C}$, such that
\[
ZY_{2}X=\mat{0}{-b}{b}{0}.
\]
We now choose $Y_{2}=\tns{\Ba}$ obtaining
\[
Z\Ba\otimes X^{T}\Ba=\mat{0}{-b}{b}{0}.
\]
The matrix on the left-hand side\ has rank at most 1, while the matrix on the right-hand side\ has
rank 2, unless $b=0$. Therefore, $Z\Ba\otimes X^{T}\Ba=0$ for every $\Ba\in\bb{C}^{2}$.
If $X\not=0$ then either $X^{T}\Be_{1}\not=0$ or $X^{T}\Be_{2}\not=0$. To fix
ideas suppose that $X^{T}\Be_{1}\not=0$. But then, for $\Ba=\Be_{1}$ we must
have $Z\Be_{1}=0$. If $Z\Be_{2}\not=0$ then, for $\Ba=\Be_{2}$, we must have that
$X^{T}\Be_{2}=0$. Now writing $\Ba=a_{1}\Be_{1}+a_{2}\Be_{2}$ we obtain
\[
0=Z(a_{1}\Be_{1}+a_{2}\Be_{2})\otimes X^{T}(a_{1}\Be_{1}+a_{2}\Be_{2})=a_{1}a_{2}Z\Be_{2}\otimes
X^{T}\Be_{1}.
\]
We can just choose $a_{1}=a_{2}=1$ and conclude, recalling that
$X^{T}\Be_{1}\not=0$, that $Z\Be_{2}=0$ in contradiction to our
assumption. Thus, we must have $Z=0$, implying that $V=\mathfrak{H}(\bb{C}^{2})$.
\end{itemize}
\newpage
\begin{center}
  \textbf{Summary}
\end{center}
It will be convenient to introduce the ``square-free'' vector
$\Bz_{0}=(1,-i)$. We order the 23 solutions by dimension of $(W,V)$ in
lexicographic order. We also give them short names for easy reference and identify families of
equivalent solutions.

~

  \begin{itemize}
  \item $W=\{0\}$
    \begin{itemize}
    \item $V=\{0\}$ \textcolor{red}{$(0,0)$}
    \item $V=\bb{R}\Bz_{0}\otimes\bra{\Bz_{0}}$ and the equivalent
$V=\bb{R}\bra{\Bz_{0}}\otimes\Bz_{0}$ \textcolor{red}{$(0,\bb{R}\BZ_{0})$}$\sim(0,\bb{R}\bra{\BZ}_{0})$
    \end{itemize}
\item $W=\bb{C}\BI$.
  \begin{itemize}
  \item $V=\{0\}$ \textcolor{red}{$(\bb{C}\BI,0)$}
  \item $V=V_{1}=\left\{\mat{\alpha}{i\beta}{-i\beta}{\alpha}:\{\alpha,\beta\}\subset\bb{R}\right\}$,
\textcolor{red}{$(\bb{C}\BI,\BGF)$}
  \item $V=V_{2}=\left\{\mat{\alpha}{\beta}{\beta}{-\alpha}:\{\alpha,\beta\}\subset\bb{R}\right\}$,
  \textcolor{red}{$(\bb{C}\BI,\BGY)$}
\item $V$ is any 1D subspace of $V_{1}$ or $V_{2}$, which can be ``rotated''
    by $C\in O(2,\bb{C})$ into one of the following subspaces
    \begin{itemize}
    \item $V=\bb{R}\BI_{2}$ \textcolor{red}{$(\bb{C}\BI,\bb{R}\BI)$}$\sim(\bb{C}\BI,\bb{R}\phi_{t})$,
$
\phi_{t}=\bb{R}\mat{\cosh t}{i\sinh t}{-i\sinh t}{\cosh t},
$
 $t\in\bb{R}$
   \item $V=\bb{R}\mat{0}{1}{1}{0}$ \textcolor{red}{$(\bb{C}\BI,\bb{R}\psi(i))$}$\sim(\bb{C}\BI,\bb{R}\psi(e^{i\alpha}))$,
$
\psi(e^{i\alpha})=\bb{R}\mat{\cos\alpha}{\sin\alpha}{\sin\alpha}{-\cos\alpha},
$
$\alpha\in[0,\pi)$,
    \item $V=\bb{R}\mat{0}{i}{-i}{0}$ \textcolor{red}{$(\bb{C}\BI,i\BR_{\perp})$}$\sim(\bb{C}\BI,\bb{R}\phi'_{t})$,
$
\phi'_{t}=\bb{R}\mat{\sinh t}{i\cosh t}{-i\cosh t}{\sinh t},
$
 $t\in\bb{R}$
    \item $V=\bb{R}\Bz_{0}\otimes\bra{\Bz_{0}}$ \textcolor{red}{$(\bb{C}\BI,\bb{R}\BZ_{0})$}$\sim(\bb{C}\BI,\bb{R}\bra{\BZ}_{0})$
    \end{itemize}
  \end{itemize}
\item $W=\bb{C}\tns{\Be_{1}}\sim\bb{C}\tns{\Ba}$, if $\Ba\cdot\Ba=1$
  \begin{itemize}
  \item $V=\{0\}$ \textcolor{red}{$(\tns{\Be_{1}},0)$}$\sim(\tns{\Ba},0)$,
      $\Ba\cdot\Ba=1$, ($\pm\Ba$ defining the same subspaces)
  \item $V=\bb{R}\tns{\Be_{1}}\sim\bb{R}\Ba\otimes\bra{\Ba}$ (any vector
    $\Ba$, satisfying $\Ba\cdot\Ba=1$ can be rotated by $C\in O(2,\bb{C})$ into either
$\Be_{1}$. \textcolor{red}{${\rm Ann}(\bb{C}\Be_{2})$}$\sim{\rm
  Ann}(\bb{C}\bra{\Ba}^{\perp})$, where
$
\Ba^{\perp}=\BR_{\perp}\Ba=(-a_{2},a_{1}).
$
  \end{itemize}
\item $W=\bb{C}\tns{\Bz_{0}}\sim\bb{C}\tns{\bra{\Bz}_{0}}$
  \begin{itemize}
  \item $V=\{0\}$ \textcolor{red}{$(\tns{\Bz_{0}},0)$}$\sim(\tns{\bra{\Bz}_{0}},0)$,
  \item $V=\bb{R}\Bz_{0}\otimes\bra{\Bz}_{0}$
    \textcolor{red}{${\rm Ann}(\bb{C}\bra{\Bz_{0}})$}$\sim{\rm Ann}(\bb{C}\Bz_{0})$
  \end{itemize}
\item $W=\mathrm{Span}_{\bb{C}}\{\tns{\Be_{1}},\tns{\Be_{2}}\}$, (representing an
  infinite $O(2,\bb{C})$-orbit)
  \begin{itemize}
  \item $V=\{0\}$, \textcolor{red}{$({\mathcal D},0)$}$\sim(W_{\Ba},0)$,
$W_{\Ba}=\{Y\in\mathrm{Sym}(\bb{C}^{2}):Y\Ba\cdot\Ba^{\perp}=0\}$.
  \item $V=\bb{R}\Be_{1}\otimes\Be_{1}$,
\textcolor{red}{$({\mathcal D},\Be_{1}\otimes\Be_{1})$}$\sim(W_{\Ba},\bb{R}\Ba\otimes\bra{\Ba})$
\item $V=\mathrm{Span}_{\bb{R}}\{\tns{\Be_{1}},\tns{\Be_{2}}\}$
\textcolor{red}{$({\mathcal D},{\mathcal D})$}$\sim(W_{\Ba},V_{\Ba})$, where we define
\[
V_{\Ba}=\{X\in\mathfrak{H}(\bb{C}^{2}):(X\Ba,\Ba^{\perp})_{\bb{C}^{2}}=0\}.
\]
  \item $V=\left\{\mat{0}{\bra{c}}{c}{0}:c\in\bb{C}\right\}$
\textcolor{red}{$({\mathcal D},{\mathcal D}')$}$\sim(W_{\Ba},V'_{\Ba})$, where we define
\[
V'_{\Ba}=\{X\in\mathfrak{H}(\bb{C}^{2}):(X\Ba,\Ba)_{\bb{C}^{2}}=(X\Ba^{\perp},\Ba^{\perp})_{\bb{C}^{2}}=0\}.
\]
In all cases above $\Ba\cdot\Ba=1$, (where $\pm\Ba$ define the same $\Pi$). I
all cases, except $({\mathcal D},\Be_{1}\otimes\Be_{1})$, vectors $\pm\Ba^{\perp}$
also define the same subspace as $\Ba$.
\end{itemize}
\item $\displaystyle
W=\left\{\mat{\alpha-\beta}{i\beta}{i\beta}{\alpha+\beta}:\{\alpha,\beta\}\subset\bb{C}\right\}
$, (equivalent set coming from $\bra{W}$, $\bra{V}$)
\begin{itemize}
\item $\dim V=0$, $V=\{0\}$ \textcolor{red}{$(W,0)$}$\sim(\bra{W},0)$
\item $\dim V=1$, $V=\bb{R}\Bz_{0}\otimes\bra{\Bz_{0}}$
  \textcolor{red}{$(W,\bb{R}\BZ_{0})$}$\sim(\bra{W},\bb{R}\bra{\BZ}_{0})$
\item $\dim V=2$. There is a 1-parameter family of 2D subspaces permuted by the
  automorphism $\Phi$. This $\Phi$-orbit can be represented by
\[
V=\left\{\mat{y}{x+iy}{x-iy}{y}:\{x,y\}\subset\bb{R}\right\}
\]
We denote this set by
\textcolor{red}{$(W,V_{\infty})$}$\sim(W,V_{t})\sim(\bra{W},\bra{V_{t}})$,
\[
V_{t}=\left\{\mat{x}{t(x-y)+i\frac{x+y}{2}}{t(x-y)-i\frac{x+y}{2}}{y}:\{x,y\}\subset\bb{R}\right\},
\]
\item $\dim V=3$,
$
V=\left\{X\in\mathfrak{H}(\bb{C}^{2}):
\mathrm{Tr}\, X=2\mathfrak{Im}(X_{12})\right\}
$ \textcolor{red}{$(W,V)$}$\sim(\bra{W},\bra{V})$
\end{itemize}

\item $W=\mathrm{Sym}(\bb{C}^{2})$
  \begin{itemize}
  \item $V=\{0\}$ \textcolor{red}{$(\mathrm{Sym}(\bb{C}^{2}),0)$}
  \item $V=\mathfrak{H}(\bb{C}^{2})$ \textcolor{red}{$\mathrm{Sym}({\mathcal T})$}
  \end{itemize}
\end{itemize}
The Summary table below also lists subalgebras, squares and ideals of each of
the algebras $\Pi(V,W)$. They have been computed with Maple computer algebra
package by Huilin Chen.

\newpage For the purposes of writing Maple code we will refer to each Jordan
multialgebra (labeled in red) by its item number in the list below. The orbit
of each equivalence class is also indicated, but will not be used in Maple
directly, unless explicitly stated.\\
\begin{tabular}[h]{|c|c|c|c|c|}
  \hline
item \# & representative & orbit & dimensions & subalgebras\\
\hline
1 & \textcolor{red}{$(0,0)$} & * & (0,0) & []\\
\hline
2 & \textcolor{red}{$(0,\bb{R}\BZ_{0})$} & $(0,\bb{R}\bra{\BZ}_{0})$ & (0,1) & [\textcolor{red}{1}]\\
\hline
3 & \textcolor{red}{$(\bb{C}\BI,0)$} & * & (1,0) & [\textcolor{blue}{1}]\\
\hline
4&\textcolor{red}{$(\bb{C}\BI,\bb{R}\BI)$}&$(\bb{C}\BI,\bb{R}\phi_{t})$, $t\in\bb{R}$&
(1,1)&[\textcolor{blue}{1},3]\\
\hline
5 &\textcolor{red}{$(\bb{C}\BI,\bb{R}\psi(i))$}&
$(\bb{C}\BI,\bb{R}\psi(e^{i\alpha}))$, $\alpha\in[0,\pi)$& (1,1)&[\textcolor{blue}{1},3]\\
\hline
6& \textcolor{red}{$(\bb{C}\BI,i\BR_{\perp})$}&$(\bb{C}\BI,\bb{R}\phi'_{t})$, $t\in\bb{R}$&
(1,1)&[\textcolor{blue}{1},3]\\
\hline
7& \textcolor{red}{$(\bb{C}\BI,\bb{R}\BZ_{0})$}&$(\bb{C}\BI,\bb{R}\bra{\BZ}_{0})$&
(1,1)&[\textcolor{blue}{1},\textcolor{blue}{2},3]\\
\hline
8& \textcolor{red}{$(\bb{C}\BI,\BGF)$}&*&(1,2)&[\textcolor{blue}{1},2,3,4,6,7]\\
\hline
9& \textcolor{red}{$(\bb{C}\BI,\BGY)$}&*&(1,2)&[\textcolor{blue}{1},3,5]\\
\hline
10&\textcolor{red}{$(\tns{\Be_{1}},0)$}&$(\tns{\Ba},0)$,  $\Ba\sim-\Ba$&
(1,0)&[\textcolor{blue}{1}]\\
\hline
11& \textcolor{red}{${\rm Ann}(\bb{C}\Be_{2})$}&${\rm Ann}(\bb{C}\bra{\Ba}^{\perp})$,
 $\Ba\sim-\Ba$&(1,1)&[\textcolor{blue}{1},10]\\
\hline
12& \textcolor{red}{$(\tns{\Bz_{0}},0)$}&$(\tns{\bra{\Bz}_{0}},0)$&(1,0)&[\textcolor{red}{1}]\\
\hline
13& \textcolor{red}{${\rm Ann}(\bb{C}\bra{\Bz_{0}})$}&${\rm Ann}(\bb{C}\Bz_{0})$&(1,1)&
[\textcolor{red}{1},\textcolor{blue}{2},\textcolor{blue}{12}]\\
\hline
14&\textcolor{red}{$({\mathcal D},0)$}&$(W_{\Ba},0)$,  $\pm\Ba\sim\pm\Ba^{\perp}$&
(2,0)&[\textcolor{blue}{1},3,\textcolor{blue}{10}]\\
\hline
15&\textcolor{red}{$({\mathcal D},\Be_{1}\otimes\Be_{1})$}&$(W_{\Ba},\bb{R}\Ba\otimes\bra{\Ba})$,
 $\Ba\sim-\Ba$& (2,1)&[\textcolor{blue}{1},3,10,\textcolor{blue}{-10},\textcolor{blue}{11},14]\\
\hline
16&\textcolor{red}{$({\mathcal D},{\mathcal D})$}&$(W_{\Ba},V_{\Ba})$,
$\pm\Ba\sim\pm\Ba^{\perp}$& (2,2)&[\textcolor{blue}{1},3,4,-5,10,\textcolor{blue}{11},14,15]\\
\hline
17& \textcolor{red}{$({\mathcal D},{\mathcal D}')$}&$(W_{\Ba},V'_{\Ba})$,
$\pm\Ba\sim\pm\Ba^{\perp}$& (2,2)&[\textcolor{blue}{1},3,5,6,10,14]\\
\hline
18&\textcolor{red}{$(W,0)$}&$(\bra{W},0)$&(2,0)&[\textcolor{blue}{1},3,\textcolor{blue}{12}]\\
\hline
19&\textcolor{red}{$(W,\bb{R}\BZ_{0})$}&$(\bra{W},\bb{R}\bra{\BZ}_{0})$&(2,1)&
[\textcolor{blue}{1},\textcolor{blue}{2},3,7,\textcolor{blue}{12},\textcolor{blue}{13},18]\\
\hline
20&\textcolor{red}{$(W,V_{\infty})$}&$(W,V_{t})\sim(\bra{W},\bra{V_{t}})$&(2,2)&
[\textcolor{blue}{1},2,3,5,7,12,\textcolor{blue}{13},18,19]\\
\hline
21&\textcolor{red}{$(W,V)$}&$(\bra{W},\bra{V})$&(2,3)&[\textcolor{blue}{1},2,3,5,7,9,12,\textcolor{blue}{13},18,19,20]\\
\hline
22&\textcolor{red}{$(\mathrm{Sym}(\bb{C}^{2}),0)$}&*&(3,0)&[\textcolor{blue}{1},3,10,12,14,18]\\
\hline
23&\textcolor{red}{$\mathrm{Sym}({\mathcal T})$}&*&(3,4)&$[\textcolor{blue}{1},2,\ldots,21,22]$\\
\hline
\end{tabular}
\begin{itemize}
\item Symbol * in the ``orbit'' column means that the orbit consists of a single
  algebra listed in the ``representative'' column.
\item Vectors $\Ba$ always lie on
  the ``complex circle''
$
\bb{S}_{\bb{C}}^{1}=\{\Ba\in\bb{C}^{2}:\Ba\cdot\Ba=1\}.
$
\item Algebra -10 in item 15, refers to an algebra from the orbit of item 10, corresponding
  to $\Ba=\Be_{2}$: $(\tns{\Be_{2}},0)$. It is there because among all global
  automorphisms mapping item 15 into itself none map 10 into -10. Therefore,
  within item 15 algebras 10 and -10 are not equivalent. There are no other occurrances
  of such a situation.
\item Algebra -5 in item 16 refers to an algebra from the orbit of item 5, corresponding
  to $\alpha=0$: $(\bb{C}\BI,\bb{R}\psi(1))$.
\item If an algebra is not listed as a subalgebra of a particular algebra it
  means that no algebra from its orbit is a subalgebra of that particular algebra.
\item The subalgebras listed in red are squares, the subalgebras listed in
  blue are ideals.
\end{itemize}
\newpage

\section{Theory of links}
Another related and important part of the project is to discover all possible
links. In order to describe a link, consider the opposite exercise. Instead of
fixing tensors $\mathsf{L}_{A}$ and $\mathsf{L}_{B}$ we are fixing the set $A$ and varying
$\mathsf{L}_{A}$ and $\mathsf{L}_{B}$. If we know $\mathsf{L}^{*}$ for one pair $\mathsf{L}_{A}$,
$\mathsf{L}_{B}$, does it give us any information about $\mathsf{L}^{*}$ for other pairs?
If the answer is yes for any subset $A$, then we say that we have discovered a
link. Links are much harder to characterise. Since, in general they contain a
lot more information than exact relations.

In the framework of the theory, links are described by Jordan
$\Hat{{\mathcal A}}$-multialgebras in $\mathrm{Sym}({\mathcal T})\oplus\mathrm{Sym}({\mathcal T})$, where
\[
\Hat{{\mathcal A}}=\mathrm{Span}\left\{
\mat{\BGG_{0}^{(1)}(\Bn)-\BGG_{0}^{(1)}(\Bn_{0})}{0}{0}{\BGG_{0}^{(2)}(\Bn)-\BGG_{0}^{(2)}(\Bn_{0})}:
|\Bn|=1\right\},
\]
where $\BGG_{0}^{(1)}(\Bn)$ and $\BGG_{0}^{(2)}(\Bn)$ are constructed using
different reference media $\mathsf{L}_{0}^{(1)}$ and $\mathsf{L}_{0}^{(2)}$, respectively.
In our case
\[
\Hat{{\mathcal A}}=\mathrm{Span}\left\{
\mat{\BGL_{1}^{-1}\otimes\BA}{0}{0}{\BGL_{2}^{-1}\otimes\BA}:\BA^{T}=\BA,\mathrm{Tr}\,\BA=0\right\}.
\]
We say that $\Hat\Pi\subset\mathrm{Sym}({\mathcal T})\oplus\mathrm{Sym}({\mathcal T})$ describes a link if
\[
\mat{\mathsf{K}_{1}}{0}{0}{\mathsf{K}_{2}}\mat{\mathsf{A}_{1}}{0}{0}{\mathsf{A}_{2}}\mat{\mathsf{K}_{1}}{0}{0}{\mathsf{K}_{2}}
\in\Pi,\quad\forall\mat{\mathsf{K}_{1}}{0}{0}{\mathsf{K}_{2}}\in\Hat{\Pi},\
\forall\mat{\mathsf{A}_{1}}{0}{0}{\mathsf{A}_{2}}\in\Hat{{\mathcal A}}.
\]
From now on we will be using a more compact notation
\[
[\mathsf{K}_{1},\mathsf{K}_{2}]=\mat{\mathsf{K}_{1}}{0}{0}{\mathsf{K}_{2}},\qquad
[\mathsf{A}_{1},\mathsf{A}_{2}]=\mat{\mathsf{A}_{1}}{0}{0}{\mathsf{A}_{2}}.
\]

As in the case of Jordan ${\mathcal A}$-multialgebras we will first apply the
convariance transformation
\[
\Hat{{\mathcal A}}_{0}=\Hat{\mathsf{C}}\Hat{{\mathcal A}}\Hat{\mathsf{C}}^{T}
\]
where
$\Hat{\mathsf{C}}=[\BC_{1}\otimes\BI_{d},\BC_{2}\otimes\BI_{d}]$, and $\BC_{1}$,
$\BC_{2}$ are as before: $\BC_{1}=\BGL_{1}^{1/2}$, $\BC_{2}=\BGL_{2}^{1/2}$, so that
\[
\Hat{{\mathcal A}}_{0}=\{[\BA,\BA]:\BA\in{\mathcal A}_{0}\},\qquad{\mathcal A}_{0}=\{\BI_{2}\otimes\BA:\BA^{T}=\BA,\mathrm{Tr}\,\BA=0\}.
\]
All Jordan $\Hat{{\mathcal A}}$-multialgebras can be described entirely in terms of the
algebraic structure of Jordan ${\mathcal A}$-multialgebras. In order to describe an
$\Hat{{\mathcal A}}$-multialgebra $\Hat{\Pi}$ we need the following algebraic data:
Jordan ${\mathcal A}$-ideals ${\mathcal I}_{1}\subset\Pi_{1}$, ${\mathcal I}_{2}\subset\Pi_{2}$, such
that the factor-algebras $\Pi_{1}/{\mathcal I}_{1}$ and $\Pi_{2}/{\mathcal I}_{2}$ are
isomorphic, since we will also require a Jordan ${\mathcal A}$-factoralgebra
isomorphism $\Phi:\Pi_{1}/{\mathcal I}_{1}\to\Pi_{2}/{\mathcal I}_{2}$. In that case
\begin{equation}
  \label{Pihatstr}
  \Hat{\Pi}=\{[\mathsf{K}_{1},\mathsf{K}_{2}]\in\Pi_{1}\times\Pi_{2}:\Phi([\mathsf{K}_{1}])=[\mathsf{K}_{2}],\},
\end{equation}
where $[\mathsf{K}_{j}]$ denotes the equivalence class of $\mathsf{K}_{j}$ in
$\Pi_{j}/{\mathcal I}_{j}$, $j=1,2$.

The most common occurrence is the situation, where $\Pi_{1}=\Pi_{2}=\Pi$ and
${\mathcal I}_{1}={\mathcal I}_{2}=\{0\}$, in which case
\begin{equation}
  \label{Philink}
  \Hat{\Pi}=\{[\mathsf{K},\Phi(\mathsf{K})]:\mathsf{K}\in\Pi\}.
\end{equation}
Another common occurrence happens when there exists a Jordan
${\mathcal A}$-multialgebra $\Pi'\subset\Pi$, such that $\Pi={\mathcal I}\oplus\Pi'$, where
${\mathcal I}$ is an ideal in $\Pi$. That means that every $\mathsf{K}\in\Pi$ can be written
uniquely as $\mathsf{K}=\mathsf{K}'+\mathsf{J}$, where $\mathsf{K}'\in\Pi'$ and $\mathsf{J}\in{\mathcal I}$. The map
$\Phi([\mathsf{K}])=\mathsf{K}'$ is obviously a factor-algebra isomorphism
$\Phi:\Pi/{\mathcal I}\to\Pi'/\{0\}$. In that case
\begin{equation}
  \label{idlink}
  \Hat{\Pi}=\{[\mathsf{K}'+\mathsf{J},\mathsf{K}']:\mathsf{K}'\in\Pi',\ \mathsf{J}\in{\mathcal I}\}.
\end{equation}
We will see later that in our case only links of the above two types are present.

\section{Factor algebra isomorphism classes}
A Maple ideal checker has found 11 nontrivial ideals. In each case we have a situation where
$\Pi=\Pi'\oplus J$, where $\Pi'$ is a subalgebra and $J$ is an ideal.
In that
case, every $\mathsf{K}\in\Pi$ can be written uniquely as $\mathsf{K}=\mathsf{K}'+\mathsf{J}$ and
hence $\mathsf{K}'$ becomes a natural choice of the representative of the
equivalence class of $\mathsf{K}$ in $\Pi/J$. This identification is obviously an
algebra isomorphism.
Then
natural projection $\pi:\Pi\to\Pi/J\cong\Pi'$ is an algebra isomorphism:
\[
[\mathsf{K}*_{\mathsf{A}}\mathsf{K}]=[\mathsf{K}'*_{\mathsf{A}}\mathsf{K}'+2\mathsf{K}'*_{\mathsf{A}}\mathsf{J}+\mathsf{J}*_{\mathsf{A}}\mathsf{J}]=\mathsf{K}'*_{\mathsf{A}}\mathsf{K}'.
\]
\begin{enumerate}
\item $(0,\bb{R}\BZ_{0})\subset(\bb{C}\BI,\bb{R}\BZ_{0})$. In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\bb{C}\BI,0)$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item $(\tns{\Be_{1}},0)\subset({\mathcal D},0)$.  In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\tns{\Be_{2}},0)$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item $(\tns{\Be_{2}},0)\subset({\mathcal D},\Be_{1}\otimes\Be_{1})$. In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'={\rm Ann}(\bb{C}\Be_{2})$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item ${\rm Ann}(\bb{C}\Be_{2})\subset({\mathcal D},\Be_{1}\otimes\Be_{1})$. In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\tns{\Be_{2}},0)$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item ${\rm Ann}(\bb{C}\Be_{2})\subset({\mathcal D},{\mathcal D})$. In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'={\rm Ann}(\bb{C}\Be_{1})$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$. It remains to recall that the
  algebras ${\rm Ann}(\bb{C}\Be_{1})$ and ${\rm Ann}(\bb{C}\Be_{2})$ are isomorphic my
  means of the global isomorphism. Thus, $({\mathcal D},{\mathcal D})/{\rm
    Ann}(\bb{C}\Be_{2})\cong{\rm Ann}(\bb{C}\Be_{2})$.
\item $(\tns{\Bz_{0}},0)\subset(W,0)$. In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\bb{C}\BI,0)$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item $(0,\bb{R}\BZ_{0})\subset(W,\bb{R}\BZ_{0})$.  In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(W,0)$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item $(\tns{\Bz_{0}},0)\subset(W,\bb{R}\BZ_{0})$.  In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\bb{C}\BI,\bb{R}\BZ_{0})$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item ${\rm Ann}(\bb{C}\bra{\Bz_{0}})\subset(W,\bb{R}\BZ_{0})$.  In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\bb{C}\BI,0)$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item ${\rm Ann}(\bb{C}\bra{\Bz_{0}})\subset(W,V_{\infty})$. In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\bb{C}\BI,\bb{R}\psi(i))$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\item ${\rm Ann}(\bb{C}\bra{\Bz_{0}})\subset(W,V)$. In this case
  $\Pi=\Pi'\oplus J$, where $\Pi'=(\bb{C}\BI,\BGY)$, and therefore, the factor
  algebra is naturally isomorphic to $\Pi'$.
\end{enumerate}
Since there are no new factor-algebras in addition to the 23 algebras above,
we only need to know the algebra-ideal pairs. This information can kept in a
more economical list, observing that if $J\subset\Pi$ is an ideal, then for
any other algebra $\Pi'$ $J\cap\Pi'$ is an ideal in $\Pi\cap\Pi'$.
In this way, we have a reduced set of algebra-ideal pairs.
\begin{enumerate}
\item $({\mathcal D},\Be_{1}\otimes\Be_{1})/(\tns{\Be_{2}},0)\cong{\rm Ann}(\bb{C}\Be_{2})$
\item $({\mathcal D},{\mathcal D})/{\rm Ann}(\bb{C}\Be_{2})\cong{\rm Ann}(\bb{C}\Be_{2})$
\item $(W,\bb{R}\BZ_{0})/(0,\bb{R}\BZ_{0})\cong(W,0)$
\item $(W,\bb{R}\BZ_{0})/(\tns{\Bz_{0}},0)\cong(\bb{C}\BI,\bb{R}\BZ_{0})$
\item $(W,V)/{\rm Ann}(\bb{C}\bra{\Bz_{0}})\cong(\bb{C}\BI,\BGY)$
\end{enumerate}
We remark that in the list above algebra/ideal pairs 1 and 2 represent
links in the absense of
thermoelectric coupling. Item 1 corresponds to the KDM link for 2D
conductivity, while item 2 just corresponds to a pair of uncoupled conducting
composites and it says that the effective tensor for the pair is a pair of
effective tensors of each of the composites.

\section{SO(2)-invariant Jordan multialgebra automorphisms}
We can partially determine all possible automorphisms $\Phi$ of each of the
algebras $\Pi$ by describing all transformations $\Phi_{2}:W\to W$ satisfying
(\ref{PhiXX})$_{2}$. There are only 7 possibilities for $W$
\begin{enumerate}
\item $W=\{0\}$. Then the only choice is the ``identity map'' $\Phi_{2}(Y)=Y$.
\item $W=\bb{C}\BI_{2}$. Then the only choice is the ``identity map''
  $\Phi_{2}(Y)=Y$.
\item $W=\bb{C}\tns{\Be_{1}}$. Then the only choice is the ``identity map''
  $\Phi_{2}(Y)=Y$.
\item $W=\bb{C}\tns{\Bz_{0}}$. In that case every nonzero linear map satisfies
  (\ref{PhiXX})$_{2}$: $\Phi(Y)=aY$ for some $a\in\bb{C}\setminus\{0\}$.
\item $W={\mathcal D}$. Then in addition to the ``identity map'' $\Phi_{2}(Y)=Y$ there
  is one more possibility:
\[
\Phi_{2}\left(\mat{x}{0}{0}{y}\right)=\mat{y}{0}{0}{x}.
\]
\item $W=\mathrm{Span}_{\bb{C}}\{\BI_{2},\tns{\Bz_{0}}\}$. In that case $\Phi_{2}$ is
determined by its values on basis vectors:
\[
\Phi_{2}(\BI_{2})=\BI_{2},\qquad\Phi_{2}(\tns{\Bz_{0}})=a\tns{\Bz_{0}},\qquad
a\in\bb{C}\setminus\{0\}.
\]
\item $W=\mathrm{Sym}(\bb{C}^{2})$. This case has already been examined (in Section
  10). The set of all maps $\Phi_{2}$ is described by
\[
\Phi_{2}(Y)=CYC^{T},\qquad C\in O(2,\bb{C}).
\]
\end{enumerate}
The problem of determination of $\Phi_{0}$ is trivial when $V=\{0\}$, which is
true in 7 cases. It has also been solved by $\Pi=\mathrm{Sym}({\mathcal T})$. In another 9
cases $\dim V=1$. Then in order to determine $\Phi_{0}$ we only need to find
all real non-zero numbers $\alpha$ for which $\Phi_{0}(X)=\alpha X$. If $X_{0}\in
V\setminus\{0\}$, then equations (\ref{PhiXX}), (\ref{PhiXY}) imply
\[
\Phi_{2}(Y)X_{0}=YX_{0},\qquad\Phi_{2}(X_{0}X_{0}^{T})=\alpha^{2}X_{0}X_{0}^{T}.
\]
In particular, if $X_{0}X_{0}^{T}X_{0}\not=0$, then $\alpha=\pm 1$ are the only
choices that can work. If $X_{0}=\BZ_{0}$, then any $\alpha\not=0$
works. Finally, we need to note that in the case
$\Pi=({\mathcal D},\Be_{1}\otimes\Be_{1})$ the nontrivial map $\Phi_{2}$ is ruled out,
since
\[
\mat{y}{0}{0}{x}\Be_{1}\otimes\Be_{1}\not=\mat{x}{0}{0}{y}\Be_{1}\otimes\Be_{1}.
\]
Thus, for this algebra, the only nontrivial automorphism is defined by
$\Phi_{0}(X)=-X$ and $\Phi_{2}(Y)=Y$. There are only 6 cases (except
$\Pi=\mathrm{Sym}({\mathcal T})$), where $\dim V>1$. In 2 of these 6 cases $W=\bb{C}\BI_{2}$
and therefore $\Phi_{2}(Y)=Y$, while $\Phi_{0}$ satisfies
\[
\Phi_{0}(X)\Phi_{0}(X)^{T}=XX^{T},\qquad X\in V.
\]

\newpage
\begin{center}
  List of all SO(2)-invariant Jordan multialgebra automorphisms
\end{center}
\begin{tabular}[h]{|c|c|c|}
  \hline
item \# & representative & automorphisms\\
\hline
1 & \textcolor{red}{$(0,0)$} & *\\
\hline
2 & \textcolor{red}{$(0,\bb{R}\BZ_{0})$} & $\Phi_{0}(\BZ_{0})=\alpha\BZ_{0}$\\
\hline
3 & \textcolor{red}{$(\bb{C}\BI,0)$} & *\\
\hline
4&\textcolor{red}{$(\bb{C}\BI,\bb{R}\BI)$}&$\Phi_{0}(\BI)=-\BI$\\
\hline
5 &\textcolor{red}{$(\bb{C}\BI,\bb{R}\psi(i))$}&$\Phi_{0}(\psi(i))=-\psi(i)$\\
\hline
6& \textcolor{red}{$(\bb{C}\BI,i\BR_{\perp})$}&$\Phi_{0}(i\BR_{\perp})=-i\BR_{\perp}$\\
\hline
7& \textcolor{red}{$(\bb{C}\BI,\bb{R}\BZ_{0})$}&$\Phi_{0}(\BZ_{0})=\alpha\BZ_{0}$\\
\hline
8& \textcolor{red}{$(\bb{C}\BI,\BGF)$}&see below\\
\hline
9& \textcolor{red}{$(\bb{C}\BI,\BGY)$}&see below\\
\hline
10&\textcolor{red}{$(\tns{\Be_{1}},0)$}&*\\
\hline
11& \textcolor{red}{${\rm Ann}(\bb{C}\Be_{2})$}&$\Phi_{0}(\tns{\Be_{1}})=-\tns{\Be_{1}}$\\
\hline
12& \textcolor{red}{$(\tns{\Bz_{0}},0)$}&$\Phi(\mathsf{K})=a\mathsf{K}$\\
\hline
13& \textcolor{red}{${\rm Ann}(\bb{C}\bra{\Bz_{0}})$}&$\Phi_{2}(\tns{\Bz_{0}})=a\tns{\Bz_{0}}$,
$\Phi_{0}(\BZ_{0})=\alpha\BZ_{0}$\\
\hline
14&\textcolor{red}{$({\mathcal D},0)$}&$\Phi_{2}(Y)=\psi(i)Y\psi(i)$\\
\hline
15&\textcolor{red}{$({\mathcal D},\Be_{1}\otimes\Be_{1})$}&$\Phi_{0}(X)=-X$\\
\hline
16&\textcolor{red}{$({\mathcal D},{\mathcal D})$}&$\Phi_{0}(X)=\pm\psi(i)X\psi(i)$, $\Phi_{2}(Y)=\psi(i)Y\psi(i)$\\
\hline
17& \textcolor{red}{$({\mathcal D},{\mathcal D}')$}&$\Phi_{0}(X)=-X$, $\Phi_{2}(Y)=Y$ or
$\Phi_{0}(X)=\pm X^{T}$, $\Phi_{2}(Y)=\psi(i)Y\psi(i)$\\
\hline
18&\textcolor{red}{$(W,0)$}&$\Phi_{2}(\BI_{2})=\BI_{2}$, $\Phi_{2}(\tns{\Bz_{0}})=a\tns{\Bz_{0}}$\\
\hline
19&\textcolor{red}{$(W,\bb{R}\BZ_{0})$}&$\Phi_{2}(\BI_{2})=\BI_{2}$,
$\Phi_{2}(\tns{\Bz_{0}})=a\tns{\Bz_{0}}$, $\Phi_{0}(\BZ_{0})=\alpha\BZ_{0}$\\
\hline
20&\textcolor{red}{$(W,V_{\infty})$}&see below\\
\hline
21&\textcolor{red}{$(W,V)$}&see below\\
\hline
22&\textcolor{red}{$(\mathrm{Sym}(\bb{C}^{2}),0)$}&$\Phi_{2}(Y)=CYC^{T}$, $C\in O(2,\bb{C})$\\
\hline
23&\textcolor{red}{$\mathrm{Sym}({\mathcal T})$}&$\Phi(K(X,Y))=K(\pm CXC^{H},CYC^{T})$, $C\in O(2,\bb{C})$\\
\hline
\end{tabular}

Item 8: $\Phi_{2}(\BI_{2})=\BI_{2}$ and $\Phi_{0}(\BGF(x,y))=\BGF(x',y')$, where
\[
\BGF(x,y)=\mat{x}{iy}{-iy}{x},\qquad\vect{x'}{y'}=\BF\vect{x}{y},\qquad\BF^{T}\psi(1)\BF=\BI_{2}.
\]
Then,
\[
\BF=\pm\mat{\cosh t}{\sinh t}{\sinh t}{\cosh t}\text{ or }
\BF=\pm\mat{\cosh t}{\sinh t}{-\sinh t}{-\cosh t}.
\]
Item 9: $\Phi_{2}(\BI_{2})=\BI_{2}$ and $\Phi_{0}(\BGY(x,y))=\BGY(x',y')$, where
\[
\BGY(x,y)=\mat{x}{y}{y}{-x},\qquad\vect{x'}{y'}=\BF\vect{x}{y},\qquad\BF^{T}\BF=\BI_{2}.
\]
Then,
\[
\BF=\mat{\cos t}{\sin t}{-\sin t}{\cos t}\text{ or }
\BF=\mat{\cos t}{\sin t}{\sin t}{-\cos t}.
\]
If we denote $z=x+iy$, then $\BGY(x,y)=\psi(z)$ and
$\Phi_{0}(\psi(z))=\psi(e^{-it}z)$ or $\psi(e^{it}\bra{z})$.

Item 20: Every $X\in V_{\infty}$ has the general form
$X=\xi\psi(i)+\eta\BZ_{0}$, $\{\xi,\eta\}\subset\bb{R}$, while every $Y\in W$
has the general form $Y=x\BI_{2}+y\tns{\Bz_{0}}$, $\{x,y\}\subset\bb{C}$. Then
\[
\Phi_{0}(\xi\psi(i)+\eta\BZ_{0})=\pm(\xi\psi(i)+\alpha\eta\BZ_{0}),\qquad
\Phi_{2}(x\BI_{2}+y\tns{\Bz_{0}})=x\BI_{2}+\alpha y\tns{\Bz_{0}},\qquad\alpha\in\bb{R}\setminus\{0\}.
\]
Item 21: Every $X\in V$ has the general form
$X=\psi(z)+\eta\BZ_{0}$, $z\in\bb{C}$, $\eta\in\bb{R}$, while every $Y\in W$
has the general form $Y=x\BI_{2}+y\tns{\Bz_{0}}$, $\{x,y\}\subset\bb{C}$. Then
\[
\Phi_{0}(\psi(z)+\eta\BZ_{0})=\pm(\psi(e^{i\theta}z)+\rho\eta\BZ_{0}),\quad
\Phi_{2}(x\BI_{2}+y\tns{\Bz_{0}})=x\BI_{2}+\rho e^{i\theta}y\tns{\Bz_{0}},\quad \rho e^{i\theta}\in\bb{C}\setminus\{0\}.
\]

Our next task is to determine which of these automorphisms are not
restrictions of the global one to the multialgebra in question.
For this purpose we define
\begin{equation}
  \label{Cpmdef}
  \BC_{+}(c)=\mat{\cos c}{\sin c}{-\sin c}{\cos c},\qquad
\BC_{-}(c)=\mat{\cos c}{\sin c}{\sin c}{-\cos c},\qquad c\in\bb{C}.
\end{equation}
We compute
\[
\BC_{+}(c)\Bz_{0}=e^{-ic}\Bz_{0},\qquad\BC_{-}(c)\Bz_{0}=e^{-ic}\bra{\Bz}_{0}
\]
Hence,
\[
\BC_{+}(c)\BZ_{0}\BC_{+}(c)^{H}=e^{2\mathfrak{Im}(c)}\BZ_{0},\qquad\BC_{-}(c)\BZ_{0}\BC_{-}(c)^{H}=e^{2\mathfrak{Im}(c)}\bra{\BZ}_{0}.
\]
\[
\BC_{+}(c)\psi(z)\BC_{+}(c)^{H}=\psi(e^{-2i\Re\mathfrak{e}(c)}z),\qquad\BC_{-}(c)\psi(z)\BC_{-}(c)^{H}=\psi(e^{2i\Re\mathfrak{e}(c)}\bra{z}),\quad z\in\bb{C}
\]
These formulas show that the Automorphisms of algebras 20 and 21, as well as 9 are all
restrictions of the global automorphism.

In Item 19 there are new automorphisms. We can use the global one to set
$a=1$. The remaining ones $\Phi_{2}(Y)=Y$, $\Phi_{0}(\BZ_{0})=\alpha\BZ_{0}$, are
all new (except when $\alpha=\pm 1$). The same remark hold for item 13. However,
all automorphisms are now restrictions of automorphisms of algebra 19.

In order to decide on item 8. We similarly denote $\BGF(x,y)$ by $\BGF(z)$,
where $z=x+iy$. In that case the transformation $\Phi_{0}$ acts by
\[
\Phi_{0}^{+}(\BGF(z))=\pm\BGF(z\cosh t+i\bra{z}\sinh t),\text{ or }
\Phi_{0}^{-}(\BGF(z))=\pm\BGF(\bra{z}\cosh t-iz\sinh t).
\]
It remains to compute (via Maple) that
\[
\BC_{+}(c)\BGF(z)\BC_{+}(c)^{H}=\Phi_{0}^{+}(\BGF(z)),\qquad
\BC_{-}(c)\BGF(z)\BC_{-}(c)^{H}=\Phi_{0}^{-}(\BGF(z)),
\]
where $t=2\mathfrak{Im}(c)$. Hence, all automorphisms of algebra 8 are generated by the
global ones.

The automorphisms of the remaining algebras are easily seen to come from the
global ones. This leaves a single family of non-global automorphisms for
algebra 19:
\[
\Phi_{2}(Y)=Y,\qquad\Phi_{0}(\BZ_{0})=\alpha\BZ_{0},\quad Y\in W,\ \alpha\in\bb{R}\setminus\{0\}.
\]

\section{Eliminating redundancies}
We can now eliminate some of the Jordan multialgebras from our list either
because they are physically trivial or because they can be obtained as
intersections of other multialgebras.
\begin{enumerate}
\item
is physically trivial
\item
$2=7\cap 13$ and $2^{2}=7^{2}\cap 13^{2}$;
$\mat{\lambda\BI_{2}}{\pm(\lambda-1)\BR_{\perp}}{\mp(\lambda-1)\BR_{\perp}}{\lambda\BI_{2}}$, $\lambda>\displaystyle\frac{1}{2}$,
$(\lambda^{*})^{-1}=\av{\lambda^{-1}}$.
\item
$3=4\cap 7$
\item
$4=8\cap 16$;  $\mat{\BGs}{0}{0}{\BGs}$, $\BGs>0$.
\item
$5=9\cap 17$; $\mat{\BL}{t\BL}{t\BL}{\BL}$, $\det\BL=\nth{1-t^{2}}$, $|t|<1$, $\BL>0$;\\[2ex]
$\BGs=(t+1)\BL$, $t^{*}=\frac{\det\BGs^{*}-1}{\det\BGs^{*}+1}$,
$\BL^{*}=\dfrac{\det\BGs^{*}+1}{2}\cdot\dfrac{\BGs^{*}}{\det\BGs^{*}}$.\\[2ex]
$5'=(\bb{C}\BI_{2},\bb{R}\psi(1))=9\cap 16$, $\mat{\BGs}{0}{0}{\frac{\BGs}{\det\BGs}}$, $\BGs>0$.
\item
$6=8\cap 17$; $\mat{\BL}{-t\BR_{\perp}}{t\BR_{\perp}}{\BL}$, $\det\BL=1+t^{2}$, $t\in\bb{R}$, $\BL>0$.
\item
$7=8\cap 19$; (see (\ref{ER7}))
\item
is essential (see (\ref{ER8}))
\item
$9=21\cap\bra{21}$ (see (\ref{ER9}))
\item
$10=11\cap 14$
\item
is physically trivial because it is an ER in the absense of thermoelectric coupling
\item
$12=13\cap 18$ and $12^{2}=13^{2}\cap 18^{2}$ (see
(\ref{Annz0}) and (\ref{FR}))
\item
is essential because of the volume fraction relation that accompanies it
\item
is physicaly trivial because it is an ER in the absense of thermoelectric coupling
\item
is physically trivial because it is an ER in the absense of thermoelectric coupling
\item
is physically trivial because it is an ER in the absense of thermoelectric coupling
\item
is essential (see (\ref{ER17}) or (\ref{ER17fin}))
\item
$18=19\cap 22$ (see (\ref{ER19fin}) and (\ref{ER18ad}))
\item
$19=20\cap 20_{t}$: $(W,\bb{R}\BZ_{0})=(W,V_{\infty})\cap(W,V_{t})$ for any $t\in\bb{R}$.
(see (\ref{ER19fin}))
\item
is essential (see (\ref{ER20})--(\ref{ER20fin}))
\item
is essential (see (\ref{ER21}) or (\ref{ER21fin}))
\item
is essential (see (\ref{ER22}) or (\ref{ER22fin}))
\item
is physically trivial
\end{enumerate}

\section{Verifying 3 and 4-chain properties}
Recall that every exact relation corresponds to a Jordan multialgebra. However,
theoretically, not every Jordan multialgebra may correspond to an exact
relation. Validity of 3 and 4-chain properties for a Jordan multialgebra ensures that it
corresponds to an exact relation. Specifically we need to verify
\begin{align}
  \label{3chain}
  &\mathsf{K}_1\mathsf{A}_1\mathsf{K}_2\mathsf{A}_2\mathsf{K}_3+\mathsf{K}_3\mathsf{A}_2\mathsf{K}_2\mathsf{A}_1\mathsf{K}_1\in\Pi,\\
&\mathsf{K}_1\mathsf{A}_1\mathsf{K}_2\mathsf{A}_2\mathsf{K}_3\mathsf{A}_3\mathsf{K}_4+\mathsf{K}_4\mathsf{A}_3\mathsf{K}_3\mathsf{A}_2\mathsf{K}_2\mathsf{A}_1\mathsf{K}_1\in\Pi
\label{4chain}
\end{align}
for every $\mathsf{K}_{j}\in\Pi$ and every $\mathsf{A}_{j}\in{\mathcal A}$.  The algebraic meaning
of 3 and 4 chain properties is the existence of an associative
${\mathcal A}$-multialgebra $\Pi'$ (closed under the associative set of multiplications
$\mathsf{K}_{1}\circ_{\mathsf{A}}\mathsf{K}_{2}=\mathsf{K}_{1}\mathsf{A}\mathsf{K}_{2}$), such that $\mathsf{K}\in\Pi'$
implies $\mathsf{K}^{T}\in\Pi'$ and $\Pi'\cap\mathrm{Sym}({\mathcal T})=\Pi$. If $\Pi$ is
rotationally invariant, then $\Pi$ must necessarily be rotationally invariant,
as well. In our setting an $SO(2)$-invariant associative ${\mathcal A}$-multialgebra
$\Pi'$ is characterized by a real subspace $V'$ and a complex subspace $W'$ of
$2\times 2$ complex matrices, such that
\[
X\bra{Y},\ YX\in V',\quad X_{1}\bra{X}_{2},\ Y_{1}Y_{2}\in W'
\]
for all $X,X_{1},X_{2}\in V'$ and all $Y,Y_{1},Y_{2}\in W'$. If
\[
X^{H}\in V',\quad Y^{T}\in W',\quad\forall X\in V',\ Y\in W'
\]
and
\[
V=V'\cap\mathfrak{H}(\bb{C}^{2}),\qquad W=W'\cap\mathrm{Sym}(\bb{C}^{2}).
\]
Then $\Pi(V,W)$ satisfies the 3 and 4-chain properties.
For example for the algebra \#19 $(W,\bb{R}\BZ_{0})$ we can set $W'=W$ and $V'=\bb{C}\BZ_{0}$ and
verify that all the relations above hold.

There is also a version of 3 and 4-chain properties for ideals and
automorphisms. We say that an ideal ${\mathcal I}\subset\Pi$ satisifies the 3 and 4-chain
properties if
\begin{align}
  \label{id3chain}
  &\mathsf{J}\mathsf{A}_1\mathsf{K}_2\mathsf{A}_2\mathsf{K}_3+\mathsf{K}_3\mathsf{A}_2\mathsf{K}_2\mathsf{A}_1\mathsf{J}\in{\mathcal I},\\
&\mathsf{K}_1\mathsf{A}_1\mathsf{K}_2\mathsf{A}_2\mathsf{K}_3\mathsf{A}_3\mathsf{K}_4+\mathsf{K}_4\mathsf{A}_3\mathsf{K}_3\mathsf{A}_2\mathsf{K}_2\mathsf{A}_1\mathsf{K}_1\in{\mathcal I}
\label{id4chain}
\end{align}
for every $\mathsf{K}_{j}\in\Pi$, every $\mathsf{A}_{j}\in{\mathcal A}$ and every $\mathsf{J}\in{\mathcal I}$.
Equivalently, if we happen to know the associative ${\mathcal A}$-multialgebra $\Pi'$
that establishes the 3 and 4-chain properties of $\Pi$, we can look for an
associative ideal ${\mathcal I}'\subset\Pi'$, such that ${\mathcal I}'\cap\mathrm{Sym}({\mathcal T})={\mathcal I}$.
For example, two of the 3 nontrivial ideals belong to the algebra \#19. It it
is easy to verify that $J'=(\bb{C}\tns{\Bz_{0}},0)$ and $J'=(0,\bb{C}\BZ_{0})$ are
ideals in $(V',W')$, establishing the
3 and 4-chain properties for $J=(\bb{R}\tns{\Bz_{0}},0)$ and $J=(0,\bb{C}\BZ_{0})$.

The 3 and 4-chain properties for
automorphisms are
\[
\Phi(\mathsf{K}_{0}\mathsf{A}\mathsf{K}_{1}\mathsf{A}'\mathsf{K}_{2}+\mathsf{K}_{2}\mathsf{A}'\mathsf{K}_{1}\mathsf{A}\mathsf{K}_{0})=
\Phi(\mathsf{K}_{0})\mathsf{A}\Phi(\mathsf{K}_{1})\mathsf{A}'\Phi(\mathsf{K}_{2})+
\Phi(\mathsf{K}_{2})\mathsf{A}'\Phi(\mathsf{K}_{1})\mathsf{A}\Phi(\mathsf{K}_{0})
\]
\begin{multline*}
\Phi(\mathsf{K}_{0}\mathsf{A}\mathsf{K}_{1}\mathsf{A}'\mathsf{K}_{2}\mathsf{A}''\mathsf{K}_{3}+
\mathsf{K}_{3}\mathsf{A}''\mathsf{K}_{2}\mathsf{A}'\mathsf{K}_{1}\mathsf{A}\mathsf{K}_{0})=\\
\Phi(\mathsf{K}_{0})\mathsf{A}\Phi(\mathsf{K}_{1})\mathsf{A}'\Phi(\mathsf{K}_{2})
\mathsf{A}''\Phi(\mathsf{K}_{3})+\Phi(\mathsf{K}_{3})\mathsf{A}''\Phi(\mathsf{K}_{2})
\mathsf{A}'\Phi(\mathsf{K}_{1})\mathsf{A}\Phi(\mathsf{K}_{0})
\end{multline*}
for all
$
\{\mathsf{K}_{0},\mathsf{K}_{1},\mathsf{K}_{2},\mathsf{K}_{3}\}\subset\Pi$, and all $
\{\mathsf{A},\mathsf{A}',\mathsf{A}'',\mathsf{A}''\}\subset{\mathcal A}.
$
In our setting the automorphisms $\Phi$ has the 3 and 4-chain properties, if and only if
it is a restriction to $(V,W)$ of the automorphism $\Phi'$ of $\Pi'$,
generated by real and complex linear maps $\Phi'_{0}$ and
$\Phi'_{2}$ on $V'$ and $W'$, respectively, satisfying
\[
\Phi'_{0}(X\bra{Y})=\Phi'_{0}(X)\bra{\Phi'_{2}(Y)},\qquad
\Phi'_{0}(YX)=\Phi'_{2}(Y)\Phi'_{0}(X),
\]
\[
\Phi'_{2}(X_{1}\bra{X}_{2})=\Phi'_{0}(X_{1})\bra{\Phi'_{0}(X_{2})},\qquad
\Phi'_{2}(Y_{1}Y_{2})=\Phi'_{2}(Y_{1})\Phi'_{2}(Y_{2}).
\]
It is easy to verify that the map defined by $\Phi'_{2}(Y)=Y$ and $\Phi'_{0}(X)=\alpha X$
satisfies all the relations above. Hence, the ER, corresponding to algebra
\#19 $(W,\bb{R}\BZ_{0})$
and the links corresponding to this family of automorphisms, as well as the
links corresponding to the two ideals in this algebra hold for all
thermoelectric composites.

Finally, there is also a version of 3 and 4-chain properties for volume
fraction relations corresponding to situations where $\Pi^{2}\not=\Pi$. In
this case we need to verify conditions (\ref{3chain}) and (\ref{4chain}),
except the chains must belong to $\Pi^{2}$, instead of $\Pi$.

Thus, we only need to check the 3 and 4-chain relations for the remaining 7
essential Jordan multialgebras (8,9,13,17,20,21,22), for the volume
fraction relation that accompanies algebra \#13, as well as for the
remaining algebra/ideal pair $(W,V)/{\rm Ann}(\bb{C}\bra{\Bz_{0}})$. All these
checks have been done with Maple by Huilin Chen and confirmed that the 3 and 4-chain
relations were satisfied in all cases.

\section{Computing inversion keys}
We have already mentioned the algorithm for computing the inversion keys for
exact relations. Let us restate it in the $K(X,Y)$-language. The inversion key
$\mathsf{M}_{0}$ is always sought is the form $\mathsf{M}_{0}=K(M_{0},0)$, where $M_{0}$
is one of the 4 choices: 0, $\tns{\Be_{1}}/2$, $\tns{\Be_{2}}/2$ or
$\BI_{2}/2$. It is found from the rule that
\[
K(X,Y)K\left(\displaystyle\frac{1}{2}\BI_{2}-M_{0},0\right)K(X,Y)\in\Pi,\quad\forall K(X,Y)\in\Pi.
\]
This property holds trivially for the choice $M_{0}=\BI_{2}/2$. Thus, only if
we want to use one of the three remaining choices there is something to
verify. Obviously, $M_{0}=0$ is the most desirable choice. We can use it only
if the Jordan multialgebra $\Pi$ satisifes
\begin{equation}
  \label{Meq0}
  K(X,Y)^{2}\in\Pi,\quad\forall K(X,Y)\in\Pi.
\end{equation}
If (\ref{Meq0}) fails we will try
\begin{equation}
  \label{Me1e1}
  K(X,Y)K\left(\mat{0}{0}{0}{1},0\right)K(X,Y)\in\Pi,\quad\forall K(X,Y)\in\Pi.
\end{equation}
If (\ref{Me1e1}) holds, then we will be able to use
$M_{0}=\tns{\Be_{1}}/2$. If this condition fails as well, then we will try
\begin{equation}
  \label{Me2e2}
  K(X,Y)K\left(\mat{1}{0}{0}{0},0\right)K(X,Y)\in\Pi,\quad\forall K(X,Y)\in\Pi.
\end{equation}
If (\ref{Me2e2}) holds, then we will be able to use
$M_{0}=\tns{\Be_{2}}/2$. If this condition also fails, then we choose $M_{0}=\BI_{2}/2$.

Now let us describe the algorithm for finding the inversion key for the links. In
our case there are 5 of them: 3 are of type (\ref{idlink}) and 2 are of type (\ref{Philink}).
Links $\Hat{\Pi}$ have two components and each can use its own inversion key,
so that $\Hat{M}_{0}=[M_{1},M_{2}]$.
For simplicity of notation we will denote
\[
\Delta_{j}=\displaystyle\frac{1}{2}\BI_{2}-M_{j},\quad j=1,2.
\]
The inversion key $\Hat{M}_{0}$ for $\Hat{\Pi}$, given by the algebra ideal pair
$\Pi={\mathcal I}\oplus\Pi'$ via (\ref{idlink}) is identified by checking the following 3
properties
\begin{enumerate}
\item $K(X',Y')K(\Delta_{2},0)K(X',Y')\in\Pi'$ for all $K(X',Y')\in\Pi'$ ($M_{2}$
  must be an inversion key for $\Pi'$.)
\item $K(J_{X},J_{Y})K(\Delta_{1},0)K(X,Y)+K(X,Y)K(\Delta_{1},0)K(J_{X},J_{Y})\in{\mathcal I}$
 for all $K(X,Y)\in\Pi$ and $K(J_{X},J_{Y})\in{\mathcal I}$ ($M_{1}$
  must be an inversion key for ${\mathcal I}$.)
\item $K(X',Y')K(M_{1}-M_{2},0)K(X',Y')\in{\mathcal I}$ for all $K(X',Y')\in\Pi'$
\end{enumerate}
In the case of $\Hat{\Pi}$ corresponding to an automorphism of $\Pi$ the
inversion key $\Hat{M}_{0}$ is sought in the form $\Hat{M}_{0}=[M_{0},M_{0}]$,
where $M_{0}$ is an inversion key for $\Pi$, satisfying additionally the
relation
\[
\Phi(K(X,Y)K(\Delta_{0},0)K(X,Y))=\Phi(K(X,Y))K(\Delta_{0},0)\Phi(K(X,Y)).
\]
Let us show that $\Hat{M}_{0}=[0,0]$ is \emph{not} an inversion key for the global
automorphism. $\Hat{M}_{0}=[0,0]$ is equivalent to the property that all global automorphisms
satisfy
\begin{equation}
  \label{glinvkey}
  \Phi(\mathsf{K}^{2})=\Phi(\mathsf{K})^{2}\qquad\forall\mathsf{K}\in\mathrm{Sym}({\mathcal T}).
\end{equation}
Let us verify that this is not always the case.
There are two branches of the global
automotphisms:
\[
\Phi_{+}(\mathsf{K})=\mathsf{C}\mathsf{K}\mathsf{C}^{T},\qquad\mathsf{C}=K(C,0),\quad C\in O(2,\bb{C}).
\]
and
\[
\Phi_{-}(\mathsf{K})=-\mathsf{C}\mathsf{K}\mathsf{C}^{T},\qquad\mathsf{C}=K(iC,0),\quad C\in O(2,\bb{C}).
\]
For $\Phi_{\pm}$ equation (\ref{glinvkey}) is equivalent to
$\mathsf{C}^{T}\mathsf{C}=\pm\mathsf{I}$. We compute for $C\in O(2,\bb{C})$
\[
K(C,0)^{T}K(C,0)=K(C^{H}C,0),\qquad K(iC,0)^{T}K(iC,0)=K(C^{H}C,0).
\]
We see that $\mathsf{C}^{T}\mathsf{C}=-\mathsf{I}$ is never satisfied, while $\mathsf{C}^{T}\mathsf{C}=\mathsf{I}$
holds if and only if  $\mathsf{C}\in O(2,\bb{R})$. In fact the inversion key for the global
automorphism must be
\begin{equation}
  \label{globinvkey}
  \Hat{M}_{\rm glob}=\left[\displaystyle\frac{1}{2}\BI_{2},\displaystyle\frac{1}{2}\BI_{2}\right].
\end{equation}
Nevertheless we can write an arbitrary transformation $\Phi_{+}$ as a
superposition of a transformation in $O(2,\bb{R})$ and a transformation
corresponding to
\begin{equation}
  \label{nontriv}
  \BC_{+}(t)=\mat{\cosh t}{i\sinh t}{-i\sinh t}{\cosh t},\quad t\in\bb{R}.
\end{equation}
To obtain transformations $\Phi_{-}$ we only need to compose a transformation
$\Phi_{+}$ with $\Phi_{*}(K(X,Y))=K(-X,Y)$.

\section{Summary of non-redundant and nontrivial ERs and Links}
\begin{center}
  \textbf{Exact relations}
\end{center}
\begin{center}
\begin{tabular}[h]{|c|c|c|}
  \hline
item \# & algebra & inversion key\\
\hline
8& $(\bb{C}\BI,\BGF)$ &$M_{0}=0$\\
\hline
13& ${\rm Ann}(\bb{C}\bra{\Bz_{0}})$ &$M_{0}=0$\\
\hline
17& $({\mathcal D},{\mathcal D}')$ &$M_{0}=\BI_{2}/2$\\
\hline
20&$(W,V_{\infty})$ &$M_{0}=\BI_{2}/2$\\
\hline
21&$(W,V)$ &$M_{0}=\BI_{2}/2$\\
\hline
22&$(\mathrm{Sym}(\bb{C}^{2}),0)$ &$M_{0}=\BI_{2}/2$\\
\hline
\end{tabular}
\end{center}
\begin{center}
  \textbf{Links}
\end{center}
\begin{tabular}[h]{|c|c|c|c|}
  \hline
item \# & algebra & link & inversion key\\
\hline
13& ${\rm Ann}(\bb{C}\bra{\Bz_{0}})$ &$\Pi^{2}=\{0\}$&$M_{0}=\BI_{2}/2$\\
\hline
19&$(W,\bb{R}\BZ_{0})$ &$\Phi_{2}(Y)=Y$,
$\Phi_{0}(\BZ_{0})=\alpha\BZ_{0}$&$\Hat{M}_{0}=[\BI_{2}/2,\BI_{2}/2]$\\
\hline
19&$(W,\bb{R}\BZ_{0})$ &
${\mathcal I}=(0,\bb{R}\BZ_{0})$&$\Hat{M}_{0}=[\BI_{2}/2,\BI_{2}/2]$\\
\hline
19&$(W,\bb{R}\BZ_{0})$ &
${\mathcal I}=(\tns{\Bz_{0}},0)$&$\Hat{M}_{0}=[\BI_{2}/2,\BI_{2}/2]$\\
\hline
21&$(W,V)$ &${\mathcal I}={\rm Ann}(\bb{C}\bra{\Bz_{0}})$&$\Hat{M}_{0}=[\BI_{2}/2,\BI_{2}/2]$\\
\hline
23&$\mathrm{Sym}({\mathcal T})$ &$\Phi(K(X,Y))=K(\pm CXC^{H},CYC^{T})$, $C\in O(2,\bb{C})$&
$\Hat{M}_{0}=[\BI_{2}/2,\BI_{2}/2]$\\
\hline
\end{tabular}

\section{Global Link}
The global link will actually consist of 3 families of links:
\begin{enumerate}
\item  One comes from
choosing $\BC\in O(2,\bb{R})$ (it is obtained using the $\Hat{M}_{0}=[0,0]$
inversion key);
\item The second family comes from the single global automorphism
$\Phi(K(X,Y))=K(-X,Y)$;
\item The third family of links corresponds to the family (\ref{nontriv}) of
  global automorphisms.
\end{enumerate}
 The last two families require using
inversion key (\ref{globinvkey}).

\subsection{$O(2,\bb{R})$ family}
Let us begin with the simplest case, where $\Hat{M}_{0}=[0,0]$, i.e. with
finding links corresponding to global automorphisms defined by $\BC\in
O(2,\bb{R})$. The simplified version is
\[
\mathsf{L}_{2}=K(\BI_{2}+\beta_{2}i\BR_{\perp},0)-K(\BC,0)(\mathsf{L}_{1}-K(\BI_{2}+\beta_{1}i\BR_{\perp},0))K(\BC^{T},0).
\]
For $\BC\in O(2,\bb{R})$ we obtain
\[
\mathsf{L}_{2}=(\beta_{2}\mp(\det\BC)\beta_{1})\tns{\BR_{\perp}}+(\BC\otimes\BI_{2})\mathsf{L}_{1}(\BC^{T}\otimes\BI_{2})
\]
To obtain the general link we replace $\mathsf{L}_{j}$ in the above formula with
$(\BGL_{j}^{-1/2}\otimes\BI_{2})\mathsf{L}_{j}(\BGL_{j}^{-1/2}\otimes\BI_{2})$.
We obtain, solving for $\mathsf{L}_{2}$
\[
\mathsf{L}_{2}=(\beta_{2}\mp(\det\BC)\beta_{1})\sqrt{\det\BGL_{2}}\tns{\BR_{\perp}}+
(\BGL_{2}^{1/2}\BC\BGL_{1}^{-1/2}\otimes\BI_{2})\mathsf{L}_{1}(\BGL_{1}^{-1/2}\BC^{T}\BGL_{2}^{1/2}\otimes\BI_{2})
\]
We observe that a polar decomosition of a matrix implies that every
non-singular $2\times 2$ real matrix can be written as $\BGL^{1/2}\BC$ for
some symmetric positive definite matrix $\BGL$ and $\BC\in
O(2,\bb{R})$. Therefore, we obtain the link
\begin{equation}
  \label{lingloblink}
  \mathsf{L}_{2}=\beta_{0}\mathsf{T}+(\BB_{0}\otimes\BI_{2})\mathsf{L}_{1}(\BB_{0}^{T}\otimes\BI_{2}),\qquad\mathsf{T}=\tns{\BR_{\perp}}.
\end{equation}
where $\beta_{0}\in\bb{R}$ and $\BB_{0}\in GL(2,\bb{R})$ are parameters of the
family of links, restricted by the requirement that $\mathsf{L}_{1,2}$ be
positive definite. We note that by construction for any pair
$\Hat{\mathsf{L}}_{0}=[\mathsf{L}_{0}^{(1)},\mathsf{L}_{0}^{(2)}]$ of isotropic materials, there is a link of
the form (\ref{lingloblink}) passing through $\Hat{\mathsf{L}}_{0}$. That means that
\emph{any} link $\mathsf{L}_{2}=\mathfrak{L}(\mathsf{L}_{1})$ passing through $\Hat{\mathsf{L}}_{0}$ can
be obtained from a link passing through
$\Hat{\mathsf{L}}_{0}^{0}=[\mathsf{I},\mathsf{I}]$. Indeed, let $\mathfrak{L}_{1}$ and
$\mathfrak{L}_{2}$ be the links of the form (\ref{lingloblink}), passing
through $[\mathsf{L}_{0}^{(1)},\mathsf{I}]$ and $[\mathsf{L}_{0}^{(2)},\mathsf{I}]$,
respectively. Then, the function
\[
\mathfrak{L}_{0}(\mathsf{L}_{1})=\mathfrak{L}_{2}(\mathfrak{L}(\mathfrak{L}_{1}^{-1}(\mathsf{L}_{1})))
\]
is a link passing through $\Hat{\mathsf{L}}_{0}^{0}$. Hence,
\[
\mathfrak{L}(\mathsf{L}_{1})=\mathfrak{L}_{2}^{-1}(\mathfrak{L}_{0}(\mathfrak{L}_{1}(\mathsf{L}_{1}))).
\]
We therefore, have the option of deriving only the links passing through
$\Hat{\mathsf{L}}_{0}^{0}=[\mathsf{I},\mathsf{I}]$, which, combined with (\ref{lingloblink}),
will generate all global links. The same goes for exact relations: we only
need to compute the ones passing though $\mathsf{L}_{0}=\mathsf{I}$.

\subsection{$\Phi(K(X,Y))=K(-X,Y)$ family}
Next, let us compute the link corresponding to the  map
$\Phi(\mathsf{K}(X,Y))=\mathsf{K}(-X,Y)$. This has the form
\begin{equation}
  \label{initlink0}
  [(\mathsf{L}_{2}-\mathsf{I})^{-1}+\displaystyle\frac{1}{2}\mathsf{I}]^{-1}=K(i\BI_{2},0)[(\mathsf{L}_{1}-\mathsf{I})^{-1}+\displaystyle\frac{1}{2}\mathsf{I}]^{-1}K(i\BI_{2},0),
\end{equation}
The idea is to identify two
fixed points of this transformation $\mathsf{F}_{+}$ and $\mathsf{F}_{-}$ and then rewrite
(\ref{initlink0}) as
\[
(\mathsf{L}_{2}-\mathsf{F}_{-})^{-1}(\mathsf{L}_{2}-\mathsf{F}_{+})=\mathsf{S}_{-}^{-1}(\mathsf{L}_{1}-\mathsf{F}_{-})^{-1}(\mathsf{L}_{1}-\mathsf{F}_{+})\mathsf{S}_{+}
\]
We can solve (\ref{initlink0}) for $\mathsf{L}_{2}$ and then express
$(\mathsf{L}_{2}-\mathsf{F}_{-})^{-1}(\mathsf{L}_{2}-\mathsf{F}_{+})$ as
$\mathsf{S}_{-}^{-1}(\mathsf{L}_{1}-\mathsf{X}_{-})^{-1}(\mathsf{L}_{1}-\mathsf{X}_{+})\mathsf{S}_{+}$, which
leads to the formulas for $\mathsf{S}_{\pm}$:
\[
\mathsf{S}_{\pm}=K(i\BI_{2},0)\mathsf{F}_{\pm}.
\]
It is reasonable to look for fixed points in the form
\begin{equation}
  \label{fixedans}
  \mathsf{F}=K\left(\mat{x}{y}{\bra{y}}{x},0\right),
\end{equation}
since, all tensors in (\ref{initlink0}), except $\mathsf{L}_{1,2}$, have that form.
We compute (using Maple) that there exists a pair of fixed points of the form
$\mathsf{F}_{\pm}=\pm\mathsf{T}$. Therefore,
$\mathsf{S}_{\pm}=\mp K(\BR_{\perp},0)$. So we have the link
$\Hat{\bb{M}}_{0}$ of the form
\begin{equation}
  \label{gnonlin0}
(\mathsf{L}_{2}+\mathsf{T})^{-1}(\mathsf{L}_{2}-\mathsf{T})=K(\BR_{\perp},0)(\mathsf{L}_{1}+\mathsf{T})^{-1}(\mathsf{L}_{1}-\mathsf{T})K(\BR_{\perp},0).
\end{equation}
We can rewrite (\ref{gnonlin0}) by observing that
\begin{equation}
  \label{convform}
  (\mathsf{L}+\mathsf{T})^{-1}(\mathsf{L}-\mathsf{T})-\mathsf{I}=-2(\mathsf{L}+\mathsf{T})^{-1}\mathsf{T}.
\end{equation}
Thus, (\ref{gnonlin0}) becomes
\[
(\mathsf{L}_{2}+\mathsf{T})^{-1}=\mathsf{T}-(\BR_{\perp}\otimes\BI_{2})(\mathsf{L}_{1}+\mathsf{T})^{-1}(\BR_{\perp}^{T}\otimes\BI_{2})
\]
Applying the link (\ref{lingloblink}) ($\mathsf{L}_{2}'=\mathsf{L}_{2}+\mathsf{T}$ and
$\mathsf{L}_{1}'=(\BR_{\perp}\otimes\BI_{2})\mathsf{L}_{1}(\BR_{\perp}^{T}\otimes\BI_{2})+\mathsf{T}$)
we can simplify our link to
\begin{equation}
  \label{gnonlinalt}
\mathsf{L}_{2}^{-1}=\mathsf{T}-\mathsf{L}_{1}^{-1}.
\end{equation}

\subsection{(\ref{nontriv}) family}
Finally, we need to compute the link, corresponding to $\BC\in O(2,\bb{C})$,
given by (\ref{nontriv}). We first compute the link $\Hat{\bb{M}}_{0}$ defined
by
\begin{equation}
  \label{initlink}
  [(\mathsf{L}_{2}-\mathsf{I})^{-1}+\displaystyle\frac{1}{2}\mathsf{I}]^{-1}=\mathsf{C}[(\mathsf{L}_{1}-\mathsf{I})^{-1}+\displaystyle\frac{1}{2}\mathsf{I}]^{-1}\mathsf{C},
\end{equation}
where $\mathsf{C}=K(\BC,0)$, where $\BC$ is given by (\ref{nontriv}).

We rewrite (\ref{initlink}) in a symmetrical way with respect to
$\mathsf{L}_{1}$ and $\mathsf{L}_{2}$ using the fixed points $\mathsf{F}_{\pm}$ of the form
\begin{equation}
  \label{fixedans0}
  \mathsf{F}=K\left(\mat{0}{y}{\bra{y}}{0},0\right),
\end{equation}
as we discovered before. We also find that
\[
\mathsf{S}_{\pm}=\displaystyle\frac{1}{2}(\mathsf{C}^{-1}-\mathsf{C})(\mathsf{I}-\mathsf{F}_{\pm})+\mathsf{C}.
\]

Using Maple, we find that $\mathsf{F}_{\pm}=\pm\mathsf{T}$. Then
$\mathsf{S}_{\pm}=e^{\mp t}\mathsf{I}$, resulting in the formula
\[
(\mathsf{L}_{2}+\mathsf{T})^{-1}(\mathsf{L}_{2}-\mathsf{T})=e^{-2t}(\mathsf{L}_{1}+\mathsf{T})^{-1}(\mathsf{L}_{1}-\mathsf{T}),
\]
Equivalently, using (\ref{convform}),
\begin{equation}
  \label{gnonlin}
(\mathsf{L}_{2}+\mathsf{T})^{-1}=e^{-2t}(\mathsf{L}_{1}+\mathsf{T})^{-1}+e^{-t}\sinh(t)\mathsf{T}.
\end{equation}
Applying the link (\ref{lingloblink}) we can simplify our link to
\begin{equation}
  \label{gnonlin1}
\mathsf{L}_{2}^{-1}=\alpha_{0}\mathsf{T}+\mathsf{L}_{1}^{-1},
\end{equation}
which forms a group of transformations $\mathfrak{L}_{\alpha_{0}}$, such that
$\mathfrak{L}_{\alpha_{0}}\circ\mathfrak{L}_{\beta_{0}}=\mathfrak{L}_{\alpha_{0}+\beta_{0}}$

\subsection{General form and properties of the global link}
Combining the results obtained so far we conclude that any global link can be
obtained as a superposition of the following subgroups of links
\begin{equation}
  \label{globlinkcomb}
  \begin{cases}
\mathsf{L}_{2}^{-1}=\mathsf{T}-\mathsf{L}_{1}^{-1},\\
\mathsf{L}_{2}^{-1}=\alpha_{0}\mathsf{T}+\mathsf{L}_{1}^{-1},\\
\mathsf{L}_{2}=\beta_{0}\mathsf{T}+\mathsf{L}_{1},\\
\mathsf{L}_{2}=(\BB_{0}\otimes\BI_{2})\mathsf{L}_{1}(\BB_{0}^{T}\otimes\BI_{2}).
  \end{cases}
\end{equation}
The most general transformation that can be made by compositing
transformations (\ref{globlinkcomb}) with each other is
\begin{equation}
  \label{globauto}
  \Psi(\mathsf{L})=(\BB_{0}\otimes\BI_{2})\mathsf{T}(\alpha_{1}\mathsf{L}+\beta_{1}\mathsf{T})^{-1}(\alpha_{0}\mathsf{L}+\beta_{0}\mathsf{T})(\BB_{0}^{T}\otimes\BI_{2}).
\end{equation}
We remark that
\[
 \Psi(\mathsf{L})=(\BB_{0}\otimes\BI_{2})(\alpha_{0}\mathsf{L}+\beta_{0}\mathsf{T})(\alpha_{1}\mathsf{L}+\beta_{1}\mathsf{T})^{-1}\mathsf{T}(\BB_{0}^{T}\otimes\BI_{2}).
\]
If $\Psi(\mathsf{L})$ is given by (\ref{globauto}) we will write
$\Psi_{\BA_{0},\BB_{0}}(\mathsf{L})$ to refer to it, where
\[
\BA_{0}=\mat{\alpha_{0}}{\beta_{0}}{\alpha_{1}}{\beta_{1}}.
\]
Different pairs of matrices $\{\BA,\BB\}\subset GL(2,\bb{R})$ can define
the same transformation $\Psi_{\BA,\BB}$. Specifically,
\begin{equation}
  \label{projinv}
  \Psi_{\lambda\BA,\BB}=\Psi_{\BA,\BB},\quad\Psi_{\BA,\lambda\BB}=\Psi_{\BA_{\lambda},\BB},\qquad\BA_{\lambda}=\mat{\lambda^{2}}{0}{0}{1}\BA
\end{equation}
for any nonzero real number $\lambda$. Thus, without loss of generality, we may assume that
$|\det\BA|=|\det\BB|=1$. Even with this assumption we still have symmetries
\[
\Psi_{-\BA,\BB}=\Psi_{\BA,\BB},\qquad\Psi_{\BA,-\BB}=\Psi_{\BA,\BB}.
\]

Let us derive the formula for superposition of two transformations
(\ref{globauto}). We note that $\Psi_{\BA,\BI_{2}}(\mathsf{L})=M_{\BA}(\mathsf{L}\mathsf{T})\mathsf{T}$, where
$M_{\BA}(z)$ is a fractional-linear M\"obius transformation with real matrix
$\BA$. The composition law for M\"obius transformations then imply that
\[
\Psi_{\BA_{1},\BI_{2}}\circ\Psi_{\BA_{2},\BI_{2}}=\Psi_{\BA_{1}\BA_{2},\BI_{2}}.
\]
The composition formula
$\Psi_{\BI_{2},\BB_{1}}\circ\Psi_{\BA,\BB_{2}}=\Psi_{\BA,\BB_{1}\BB_{2}}$
is completely evident. Finally, a direct calculation shows that
\[
\Psi_{\BA,\BI_{2}}\circ\Psi_{\BI_{2},\BB}=\Psi_{\BA^{\BB},\BB},\qquad
\BA^{\BB}=\mat{\det\BB}{0}{0}{1}^{-1}\BA\mat{\det\BB}{0}{0}{1}.
\]
where we have used the projective invariance property (\ref{projinv}).
These formulas allow us to derive the full composion formula
\begin{multline*}
  \Psi_{\BA_{1},\BB_{1}}\circ\Psi_{\BA_{2},\BB_{2}}=\Psi_{\BI_{2},\BB_{1}}\circ\Psi_{\BA_{1},\BI_{2}}\circ
\Psi_{\BA_{2}^{\BB_{2}^{-1}},\BI_{2}}\circ\Psi_{\BI_{2},\BB_{2}}=
\Psi_{\BI_{2},\BB_{1}}\circ\Psi_{\BA_{1}\BA_{2}^{\BB_{2}^{-1}},\BI_{2}}\circ\Psi_{\BI_{2},\BB_{2}}=\\
\Psi_{\BI_{2},\BB_{1}}\circ\Psi_{(\BA_{1}\BA_{2}^{\BB_{2}^{-1}})^{\BB_{2}},\BB_{2}}=
\Psi_{\BI_{2},\BB_{1}}\circ\Psi_{\BA_{1}^{\BB_{2}}\BA_{2},\BB_{2}}=\Psi_{\BA_{1}^{\BB_{2}}\BA_{2},\BB_{1}\BB_{2}}.
\end{multline*}
We note that if $\det\BB_{2}=1$, then
$\Psi_{\BA_{1},\BB_{1}}\circ\Psi_{\BA_{2},\BB_{2}}=\Psi_{\BA_{1}\BA_{2},\BB_{1}\BB_{2}}$.
The most general transformation $\Psi_{\BA,\BB}$, such that $\Psi_{\BA,\BB}(\mathsf{I})=\mathsf{I}$ has the
form
\begin{equation}
  \label{Idfixed}
  \BA=\mat{\alpha_{0}}{\beta_{0}}{\beta_{0}}{\alpha_{0}},\quad\BB\in O(2,\bb{R}),\qquad
|\alpha_{0}^{2}-\beta_{0}^{2}|=1.
\end{equation}

\section{Formulas for computing ERs}
The relation bewteen $K(X,Y)$ and the $2\times 2$ block-matrix representation
(\ref{blckM}) is
\begin{equation}
  \label{K2block}
  K(X,Y)=\mat{\varphi(X_{11})+\psi(Y_{11})}{\varphi(X_{12})+\psi(Y_{12})}{\varphi(X_{21})+\psi(Y_{21})}{\varphi(X_{22})+\psi(Y_{22})},
\end{equation}
where
\[
\varphi(\alpha+i\beta)=\mat{\alpha}{-i\beta}{i\beta}{\alpha},\qquad\psi(\alpha+i\beta)=\mat{\alpha}{\beta}{\beta}{-\alpha}.
\]

When $M_{0}=0$ we have
\begin{equation}
  \label{M0red}
  \bb{M}_{0}=\{\mathsf{I}+\mathsf{K}\in\mathrm{Sym}^{+}({\mathcal T}):\mathsf{K}\in\Pi_{0}\}.
\end{equation}

For $M_{0}=\BI_{2}/2$ we have
\begin{equation}
  \label{L2K}
  \mathsf{K}=\left[(\mathsf{L}-\mathsf{I})^{-1}+\displaystyle\frac{1}{2}\BI_{2}\right]^{-1}=2(\mathsf{L}+\mathsf{I})^{-1}(\mathsf{L}-\mathsf{I})=
2\mathsf{I}-4(\mathsf{L}+\mathsf{I})^{-1}
\end{equation}
Equivalently $4(\mathsf{L}+\mathsf{I})^{-1}=2\mathsf{I}-\mathsf{K}$. Solving for $\mathsf{L}$ we obtain
\[
\mathsf{L}=\mathsf{I}+2(2\mathsf{I}-\mathsf{K})^{-1}\mathsf{K}=2(\mathsf{I}-\mathsf{K}/2)^{-1}-\mathsf{I}.
\]
Since our goal is to compute the image of the \emph{subspace} $\Pi$ under the
above transformation, we may just as well use the formula
\begin{equation}
  \label{invform0}
 \bb{M}_{0}=\{\mathsf{L}\in\mathrm{Sym}^{+}({\mathcal T}):\mathsf{L}=2(\mathsf{I}+\mathsf{K})^{-1}-\mathsf{I},\ \mathsf{K}\in\Pi_{0}\}.
\end{equation}
Sometimes it might be easier to characterize $\bb{M}_{0}$ by computing $\mathsf{K}$
in terms of $\mathsf{L}$ and writing equations satisfied by $\mathsf{K}$ in terms of
$\mathsf{L}$. Then
\begin{equation}
  \label{invform1}
 \bb{M}_{0}=\left\{\mathsf{L}\in\mathrm{Sym}^{+}({\mathcal T}):(\mathsf{L}+\mathsf{I})^{-1}-\displaystyle\frac{1}{2}\mathsf{I}\in\Pi_{0}\right\}.
\end{equation}
Both formulas require inverting the $2\times 2$ block-matrices.
One may choose to compute block-matrix inverse in two ways: in the $2\times 2$
block-matrix notation or in the $K(X,Y)$ notation. The $2\times 2$
block-matrix formalism is standard. Let us assume that $\BF_{11}$ in
\[
\mathsf{F}=\mat{\BF_{11}}{\BF_{12}}{\BF_{21}}{\BF_{22}},
\]
is invertible. Then, in order to invert $\mathsf{F}$ we need to solve the system of
equations:
\[
\begin{cases}
  \BF_{11}\Bu_{1}+\BF_{12}\Bu_{2}=\Bv_{1},\\
  \BF_{21}\Bu_{1}+\BF_{22}\Bu_{2}=\Bv_{2}
\end{cases}
\]
We solve it using the method of elimination. We solve the first equation for $\Bu_{1}$:
\[
\Bu_{1}=\BF_{11}^{-1}\Bv_{1}-\BF_{11}^{-1}\BF_{12}\Bu_{2},
\]
and substitute the result into the second equation:
 \[
\BF_{21}\BF_{11}^{-1}\Bv_{1}+(\BF_{22}-\BF_{21}\BF_{11}^{-1}\BF_{12})\Bu_{2}=\Bv_{2}.
\]
We then solve this for $\Bu_{2}$:
\[
\Bu_{2}=-(\BF_{22}-\BF_{21}\BF_{11}^{-1}\BF_{12})^{-1}\BF_{21}\BF_{11}^{-1}\Bv_{1}+
(\BF_{22}-\BF_{21}\BF_{11}^{-1}\BF_{12})^{-1}\Bv_{2},
\]
and substitute this into the formula for $\Bu_{1}$:
\[
\Bu_{1}=(\BF_{11}^{-1}+\BF_{11}^{-1}\BF_{12}(\BF_{22}-\BF_{21}\BF_{11}^{-1}\BF_{12})^{-1}\BF_{21}\BF_{11}^{-1})\Bv_{1}-
\BF_{11}^{-1}\BF_{12}(\BF_{22}-\BF_{21}\BF_{11}^{-1}\BF_{12})^{-1}\Bv_{2}
\]
A little matrix algebra shows that
\[
\Bu_{1}=(\BF_{11}-\BF_{12}\BF_{22}^{-1}\BF_{21})^{-1}\Bv_{1}-
\BF_{11}^{-1}\BF_{12}(\BF_{22}-\BF_{21}\BF_{11}^{-1}\BF_{12})^{-1}\Bv_{2}
\]
This gives us a formula for $\mathsf{F}^{-1}$:
\[
\mathsf{F}^{-1}=\mat{\BS_{11}^{-1}}{-\BF_{11}^{-1}\BF_{12}\BS_{22}^{-1}}{-\BS_{22}^{-1}\BF_{21}\BF_{11}^{-1}}{\BS_{22}^{-1}},
\]
where matrices
\[
\BS_{11}=\BF_{11}-\BF_{12}\BF_{22}^{-1}\BF_{21},\qquad
\BS_{22}=\BF_{22}-\BF_{21}\BF_{11}^{-1}\BF_{12}
\]
are called Schur complements of $\BF_{11}$ and $\BF_{22}$, respectively. Of
course,
\[
\BF_{11}^{-1}\BF_{12}\BS_{22}^{-1}=\BS_{11}^{-1}\BF_{12}\BF_{22}^{-1},\qquad
\BS_{22}^{-1}\BF_{21}\BF_{11}^{-1}=\BF_{22}^{-1}\BF_{21}\BS_{11}^{-1}.
\]
Therefore, we can write $\mathsf{F}^{-1}$ in two equivalent more symmetrical forms
\begin{equation}
  \label{Finv}
  \mathsf{F}^{-1}=\mat{\BS_{11}^{-1}}{-\BS_{11}^{-1}\BF_{12}\BF_{22}^{-1}}{-\BS_{22}^{-1}\BF_{21}\BF_{11}^{-1}}{\BS_{22}^{-1}}=\mat{\BS_{11}^{-1}}{-\BF_{11}^{-1}\BF_{12}\BS_{22}^{-1}}{-\BF_{22}^{-1}\BF_{21}\BS_{11}^{-1}}{\BS_{22}^{-1}}.
\end{equation}
Equivalently,
\[
\mathsf{F}^{-1}=\mat{\BS_{11}}{0}{0}{\BS_{22}}^{-1}\mat{\BF_{11}}{-\BF_{12}}{-\BF_{21}}{\BF_{22}}
\mat{\BF_{11}}{0}{0}{\BF_{22}}^{-1}
\]
\[
\mathsf{F}^{-1}=
\mat{\BF_{11}}{0}{0}{\BF_{22}}^{-1}\mat{\BF_{11}}{-\BF_{12}}{-\BF_{21}}{\BF_{22}}
\mat{\BS_{11}}{0}{0}{\BS_{22}}^{-1}
\]

A necessary and sufficient condition for $\mathsf{F}$ to be in $\mathrm{Sym}^{+}({\mathcal T})$ is
$\BF_{11}>0$ and $\BS_{22}>0$ (or $\BF_{22}>0$ and $\BS_{11}>0$).

We can also derive formulas for $K(X,Y)^{-1}$. In this case we solve the equation
\[
X\Bu+Y\bra{\Bu}=\Bv
\]
for $\Bu$ or $\bra{\Bu}$:
\[
\Bu=X^{-1}\Bv-X^{-1}Y\bra{\Bu},
\]
or
\[
\bra{\Bu}=Y^{-1}\Bv-Y^{-1}X\Bu.
\]
Taking complex conjugates we get
\[
\bra{\Bu}=\bra{X}^{-1}\bra{\Bv}-\bra{X}^{-1}\bra{Y}\Bu,
\]
or
\[
\Bu=\bra{Y}^{-1}\bra{\Bv}-\bra{Y}^{-1}\bra{X}\bra{\Bu}.
\]
We then substitute this into the original equation:
\[
(X-Y\bra{X}^{-1}\bra{Y})\Bu=\Bv-Y\bra{X}^{-1}\bra{\Bv},
\]
or
\[
(Y-X\bra{Y}^{-1}\bra{X})\bra{\Bu}=\Bv-X\bra{Y}^{-1}\bra{\Bv}.
\]
we now solve for $\Bu$ (or $\bra{\Bu}$):
\[
\Bu=(X-Y\bra{X}^{-1}\bra{Y})^{-1}\Bv-(X-Y\bra{X}^{-1}\bra{Y})^{-1}Y\bra{X}^{-1}\bra{\Bv},
\]
or
\[
\bra{\Bu}=(Y-X\bra{Y}^{-1}\bra{X})^{-1}\Bv-(Y-X\bra{Y}^{-1}\bra{X})^{-1}X\bra{Y}^{-1}\bra{\Bv}.
\]
Hence, we obtain two formulas for $K(X,Y)^{-1}$:
\begin{equation}
  \label{Kinv}
  K(X,Y)^{-1}=K(S_{X}^{-1},-S_{X}^{-1}Y\bra{X}^{-1})=
K(-S_{Y}^{-1}\bra{X}Y^{-1},S_{Y}^{-1})=K(S_{X}^{-1},S_{Y}^{-1})
\end{equation}
where
\[
S_{X}=X-Y\bra{X}^{-1}\bra{Y},\qquad S_{Y}=\bra{Y}-\bra{X}Y^{-1}X
\]
play the role of Schur complements of $X$ and $Y$, respectively.

\section{$\Pi_{0}=(\bb{C}\BI_{2},\BGF)$ and $\Pi_{0}={\rm Ann}(\bb{C}\bra{z_{0}})$}
For $\Pi_{0}=(\bb{C}\BI_{2},\BGF)$ we have
\[
  \mathsf{K}=\mat{\psi(z)}{0}{0}{\psi(z)}+\mat{\varphi(\alpha)}{\varphi(-i\beta)}{\varphi(i\beta)}{\varphi(\alpha)}=
\mat{\psi(z)+\varphi(\alpha)}{\varphi(-i\beta)}{\varphi(i\beta)}{\psi(z)+\varphi(\alpha)}.
\]
Let $\BK=\psi(z)+\varphi(\alpha)\in\mathrm{Sym}(\bb{R}^{2})$. This is our change of variables. There is a
1-1 correspondence between $\bb{C}\times\bb{R}$ and $\mathrm{Sym}(\bb{R}^{2})$, given
by $\BK=\psi(z)+\varphi(\alpha)\in\mathrm{Sym}(\bb{R}^{2})$. Thus, we obtain
\[
\mathsf{K}=\mat{\BK}{-\beta\BR_{\perp}}{\beta\BR_{\perp}}{\BK}=\BI_{2}\otimes\BK+\beta\BR_{\perp}\otimes\BR_{\perp}.
\]
Recall that
$\mathsf{L}_{0}=\tns{\BI_{2}}$. Then
\[
\mathsf{L}_{0}^{0}+\mathsf{K}=\BI_{2}\otimes(\BK+\BI_{2})+\beta\BR_{\perp}\otimes\BR_{\perp}.
\]
We conclude that (denoting $\BL=\BK+\BI_{2}$)
\[
\bb{M}_{0}=\{\BI_{2}\otimes\BL+\beta\BR_{\perp}\otimes\BR_{\perp}\in\mathrm{Sym}^{+}({\mathcal T}):
\BL\in\mathrm{Sym}(\bb{R}^{2}),\ \beta\in\bb{R}\}.
\]
Finally (and this is optional, since the global link can map $\bb{M}_{0}$ into
$\bb{M}$), $\bb{M}=\{\mathsf{C}_{0}\mathsf{L}\mathsf{C}_{0}:\mathsf{L}\in\bb{M}_{0}\}$, where
$\mathsf{C}_{0}=\BGL_{0}^{1/2}\otimes\BI_{2}$. We compute
\[
(\BGL_{0}^{1/2}\otimes\BI_{2})(\BI_{2}\otimes\BL+\nu\BR_{\perp}\otimes\BR_{\perp})
(\BGL_{0}^{1/2}\otimes\BI_{2})=\BGL_{0}\otimes\BL+\nu\sqrt{\det\BGL_{0}}\BR_{\perp}\otimes\BR_{\perp}
\]
Hence, (introducing a new variable $t=\nu\sqrt{\det\BGL_{0}}$)
\begin{equation}
    \label{ER8}
\bb{M}=\{\BGL_{0}\otimes\BL+t\BR_{\perp}\otimes\BR_{\perp}:
\BL\in\mathrm{Sym}^{+}(\bb{R}^{2}),\ |t|<\sqrt{\det(\BGL_{0}\BL)}\}.
 \end{equation}
This is a whole family of exact relation manifolds (one for each choice of
$\BGL_{0}$) corresponding to $\Pi_{0}=(\bb{C}\BI_{2},\BGF)$. We have computed
$\bb{M}$ for the sole reason that it just as beautiful as $\bb{M}_{0}$. In our
next example, this does not seem to be the case, so we leave the exact
relations in the $\bb{M}_{0}$ form.

For $\Pi_{0}={\rm Ann}(\bb{C}\bra{z_{0}})$ we have
\[
  \mathsf{K}=\mat{\psi(z)}{\psi(-iz)}{\psi(-iz)}{-\psi(z)}+\mat{\varphi(\alpha)}{\varphi(i\alpha)}{\varphi(-i\alpha)}{\varphi(\alpha)}=
\mat{\psi(z)+\varphi(\alpha)}{\psi(-iz)+\varphi(i\alpha)}{\psi(-iz)+\varphi(-i\alpha)}{-\psi(z)+\varphi(\alpha)}.
\]
Let $\BK=\psi(z)+\varphi(\alpha)\in\mathrm{Sym}(\bb{R}^{2})$. This is our change of
variables. Then
\[
\mathsf{K}=\mat{\BK}{\BK\BR_{\perp}}{-\BR_{\perp}\BK}{\mathrm{cof}(\BK)}.
\]
\[
\mathsf{L}=\mathsf{I}+\mathsf{K}=\mat{\BK+\BI_{2}}{\BK\BR_{\perp}}
{-\BR_{\perp}\BK}{\mathrm{cof}(\BK+\BI_{2})}.
\]
Denoting $\BL=\BK+\BI_{2}$ we obtain
\begin{equation}
  \label{Annz0}
  \mathsf{L}=\mat{\BL}{(\BL-\BI_{2})\BR_{\perp}}{\BR_{\perp}^{T}(\BL-\BI_{2})}{\mathrm{cof}(\BL)}=
\mat{\BL}{\BL\BR_{\perp}}{\BR_{\perp}^{T}\BL}{\mathrm{cof}(\BL)}+\mathsf{T}.
\end{equation}
One can check that $\mathsf{L}>0$ if and only if  $\BL>\BI_{2}/2$ in
the sense of quadratic forms. The attempts to compute $\bb{M}$ have not lead
to a very beatiful representation of this exact relation, so we leave it in
the $\bb{M}_{0}$ form. Application of the inversion formula with
$M_{0}=\BI_{2}/2$ will lead the volume fraction relation in the form
\begin{equation}
  \label{FR}
\BL_{*}^{-1}=\av{\BL^{-1}}.
\end{equation}

\section{$\Pi_{0}=(\mathrm{Sym}(\bb{C}^{2}),0)$ and $\Pi_{0}=({\mathcal D},{\mathcal D}')$}
\[
\mathsf{K}=\mat{\psi(x)}{\psi(c)}{\psi(c)}{\psi(y)},\qquad
\{x,y,c\}\subset\bb{C}.
\]
We can compute the ER using the complex inversion formula
(\ref{Kinv}). According to this formula we have
\[
\mathsf{L}+\mathsf{I}=\left(\mathsf{K}+\displaystyle\frac{1}{2}\mathsf{I}\right)^{-1}=K\left(\displaystyle\frac{1}{2}\BI,\BY\right)^{-1}=K\left(2(\BI-4\BY\bra{\BY})^{-1},4(4\bra{\BY}-\BY^{-1})^{-1}\right).
\]
Thus, if we write $\mathsf{L}+\mathsf{I}=K(\BU,\BZ)$, then
\[
\BU=2(\BI-4\BY\bra{\BY})^{-1},\qquad\BZ=-4(\BI-4\BY\bra{\BY})^{-1}\BY
\]
Thus, $2\BY=-\BU^{-1}\BZ$. The symmetry of $\BY$ is equivalent to the equation
$\BU^{-1}\BZ=\BZ\bra{\BU^{-1}}$, or equivalently, to
\[
\BZ\bra{\BU}=\BU\BZ.
\]
Again, due to the symmetry of $\BY$ we have
\[
2\bra{\BY}=2\BY^{*}=-\bra{\BZ}\BU^{-1}.
\]
Using this in the formula for $\BU$ to eliminate $\BY$ and $\bra{\BY}$ we have
\[
2\BU^{-1}=\BI-\BU^{-1}\BZ\bra{\BZ}\BU^{-1}\Longleftrightarrow\BZ\bra{\BZ}=\BU^{2}-2\BU=(\BU-\BI)^{2}-\BI.
\]
Noting that $\mathsf{L}=K(\BU-\BI,\BZ)=K(\BV,\BZ)$ we obtain the description of this
exact relation as the system of equations:
\[
\BZ\bra{\BV}=\BV\BZ,\qquad\BV^{2}-\BZ\bra{\BZ}=\BI.
\]
This suggests that these equations can be rewritten in terms of the $4\times
4$ matrix multiplication. Let $\mathfrak{I}:\mathrm{Sym}({\mathcal T})\to\mathrm{Sym}({\mathcal T})$ be given by
its action $\mathfrak{I}(K(X,Y))=K(X,-Y)$. Then it is easy to see that our
exact relation says
\[
\mathsf{L}\mathfrak{I}(\mathsf{L})=\mathsf{I}.
\]
We observe that
\[
\mathfrak{I}(\mathsf{L})=(\BI\otimes\BR_{\perp})\mathsf{L}(\BI\otimes\BR_{\perp})^{T}.
\]
Hence, we have an alternative representation of the ER $(\mathrm{Sym}(\bb{C}^{2}),0)$:
\begin{equation}
  \label{ER22}
  \bb{M}=\{\mathsf{L}>0:\mathsf{L}(\BI\otimes\BR_{\perp})\mathsf{L}(\BI\otimes\BR_{\perp})^{T}=\mathsf{I}\}=
\{\mathsf{L}>0:\mathsf{L}(\BI\otimes\BR_{\perp})\mathsf{L}=\BI\otimes\BR_{\perp}\}.
\end{equation}
In block-components we can rewrite this as a system of equations
\begin{equation}
  \label{ER22comp}
  \begin{cases}
    \frac{\BL_{11}}{\det\BL_{11}}=\BL_{11}-\BL_{12}\BL_{22}^{-1}\BL_{12}^{T},\\
    \det\BL_{11}+\det\BL_{12}=1,\\
    \det\BL_{22}+\det\BL_{12}=1,
  \end{cases}
\end{equation}
where the last equation is redundant and is added to the system for the sake
of the symmetry. For the sake of reference
\begin{equation}
  \label{ER22fin}
  \bb{M}=\left\{\mathsf{L}>0:\BL_{11}=-\frac{\BL_{12}\mathrm{cof}(\BL_{22})\BL_{12}^{T}}{\det\BL_{12}},\
\det\BL_{22}+\det\BL_{12}=1\right\}.
\end{equation}

The form (\ref{ER22}) of the ER corresponding to $\Pi_{0}=(\mathrm{Sym}(\bb{C}^{2}),0)$ suggests
looking for other isotropic tensors $\mathsf{A}$, such that
$\mathsf{L}\mathsf{A}\mathsf{L}=\mathsf{B}=$const is an ER. Hence, we are looking for an isotropic
tensor $\mathsf{A}=K(\BA,0)$, such that $\Pi=\{\mathsf{K}:\mathsf{K} K(\BA,0)+K(\BA,0)\mathsf{K}=0\}$
is one of the algebras in our list. It is not hard to compute that the only
other choice of $\BA$ besides $\mat{i}{0}{0}{i}$ is $\mat{i}{0}{0}{-i}$, which
corresponds to $\Pi=({\mathcal D},{\mathcal D}')$ and
\[
\mathsf{A}=K\left(\mat{i}{0}{0}{-i},0\right)=\mat{\BR_{\perp}}{0}{0}{-\BR_{\perp}}=
\BJ\otimes\BR_{\perp},\quad\BJ=\psi(1)=\mat{1}{0}{0}{-1}.
\]
The Maple calculation confirms that
\begin{equation}
  \label{ER17}
  \bb{M}=\{:\mathsf{L}(\BJ\otimes\BR_{\perp})\mathsf{L}=\BJ\otimes\BR_{\perp}\},
\end{equation}
since the manifold has the same dimension as $\Pi_{0}$ and every matrix $\mathsf{L}$
of the formb $\mathsf{L}=2\mathsf{F}^{-1}-\mathsf{I}$, $\mathsf{K}\in\Pi_{0}$ satisfies (\ref{ER17}).
In block-components we can rewrite this as a system of equations:
\begin{equation}
  \label{ER17comp}
  \begin{cases}
    \frac{\BL_{11}}{\det\BL_{11}}=\BL_{11}-\BL_{12}\BL_{22}^{-1}\BL_{12}^{T},\\
    \det\BL_{11}-\det\BL_{12}=1,\\
    \det\BL_{22}-\det\BL_{12}=1,
  \end{cases}
\end{equation}
where the last equation is redundant and is added to the system for the sake
of the symmetry.
\begin{equation}
  \label{ER17fin}
  \bb{M}=\left\{\mathsf{L}>0:\BL_{11}=\frac{\BL_{12}\mathrm{cof}(\BL_{22})\BL_{12}^{T}}{\det\BL_{12}},\
\det\BL_{22}-\det\BL_{12}=1\right\}.
\end{equation}
The next idea comes from examining an application of the theory.

\section{$\Pi_{0}=(W,V_{\infty})$}
Figure~\ref{fig:bincomp} shows that $(W,V_{\infty})$, corresponding to
$\BY\not=0$ and $\BF\in\bb{R}\BZ_{0}$ is a limiting case of the generic
situation, as $\BF\to\BF_{0}\in\bb{R}\BZ_{0}$. The limiting position of a
family of ERs is also an ER. In other words, the set of ERs is closed in the
Grassmannian of $\mathrm{Sym}({\mathcal T})$. Our study of the ERs applicable to binary
composites made of two isotropic phases shows that the $(W,V_{\infty})$ ER is
the limiting position of images of both $({\mathcal D},{\mathcal D})$ and $({\mathcal D},{\mathcal D}')$ under
the action of global outomorphisms
\[
K(X,Y)\mapsto K(C(c)XC(c)^{H},C(c)YC(c)^{T}),\qquad
C(c)=\mat{\cos(c)}{\sin(c)}{-\sin(c)}{\cos(c)},\quad c\in\bb{C}.
\]
We have understood the action of the automorphism as follows:
\begin{itemize}
\item \textbf{Action on X}. We can decompose every
  $X\in\mathfrak{H}(\bb{C}^{2})$ as
\[
X=\psi(x)+\xi\BZ_{0}+\eta\bra{\BZ_{0}},\qquad\BZ_{0}=\Bz_{0}\otimes\bra{\Bz_{0}},\
\Bz_{0}=[1,-i],\ x\in\bb{C},\ \{\xi,\eta\}\subset\bb{R}.
\]
Then
\[
C(c)XC(c)^{H}=\psi(e^{-2i\Re\mathfrak{e}(c)}x)+\xi e^{2\mathfrak{Im}(c)}\BZ_{0}+\eta e^{-2\mathfrak{Im}(c)}\bra{\BZ_{0}}.
\]
\item \textbf{Action on Y}. We can decompose every
  $Y\in\mathrm{Sym}(\bb{C}^{2})$ as
\[
Y=a\BI_{2}+y\tns{\Bz_{0}}+z\tns{\bra{\Bz_{0}}},\quad\{a,y,z\}\subset\bb{C}.
\]
Then,
\[
C(c)YC(c)^{T}=a\BI_{2}+ye^{-2ic}\tns{\Bz_{0}}+ze^{2ic}\tns{\bra{\Bz_{0}}}.
\]
\end{itemize}
We then describe the $(W,V_{\infty})$ ER in the appropriate basis:
\[
W=\{a\BI+y\tns{\Bz_{0}}:\{a,y\}\subset\bb{C}\},\quad
V_{\infty}=\{\psi(it)+\xi\BZ_{0}:\{t,\xi\}\subset\bb{R}\}.
\]
We also describe the $({\mathcal D},{\mathcal D}')$ ER in the same basis:
\[
{\mathcal D}_{Y}=\{b\BI_{2}+w(\tns{\Bz_{0}}+\tns{\bra{\Bz_{0}}}):\{b,w\}\subset\bb{C}\},\quad
{\mathcal D}'_{X}=\{\psi(is)+\eta(\BZ_{0}-\bra{\BZ_{0}}):\{s,\eta\}\subset\bb{R}\}.
\]
Now we set $c=iM$, where $M>0$ is large. We then reparametrize
$({\mathcal D},{\mathcal D}')$ as follows:
\[
b=a,\quad w=ye^{-2M},\quad s=t,\quad\eta=e^{-2M}\xi.
\]
Then
\[
C(c)\cdot({\mathcal D},{\mathcal D}')=(a\BI+y\tns{\Bz_{0}}+ye^{-4M}\tns{\bra{\Bz_{0}}},
\psi(it)+\xi\BZ_{0}-\xi e^{-4M}\bra{\BZ_{0}}).
\]
This shows that
\[
\lim_{M\to+\infty}C(iM)\cdot({\mathcal D},{\mathcal D}')=(W,V_{\infty}).
\]
We take as a starting point formula (\ref{ER17}) for $({\mathcal D},{\mathcal D}')$ and
formula (\ref{gnonlin}) as the action of the subgroup $C(it)$ on material
tensors. We then try to apply this transformation with $t=M$ to formula
(\ref{ER17}), discarding exponentially small terms\footnote{Terms like
  $e^{-2M}\mathsf{L}$ are not necessarily exponentially small, since some components
  of $\mathsf{L}$ can be exponentially large.} along the way. At the end we obtain
\begin{equation}
  \label{ER20}
  (\mathsf{L}-\mathsf{T})(\BJ\otimes\BR_{\perp})(\mathsf{L}-\mathsf{T})=0,\qquad\BJ=\psi(1)=\mat{1}{0}{0}{-1}.
\end{equation}
Maple verification confirms the correctness of (\ref{ER20}). We can also
rewrite (\ref{ER20}) in terms of the block-components of $\mathsf{L}$ in the form of
4 independent equations. If we write
\[
\mathsf{L}=\mat{\BL_{11}}{\BL_{12}}{\BL_{12}^{T}}{\BL_{22}},
\]
then (\ref{ER20}) is equivalent to
\begin{equation}
  \label{ER20comp}
  \begin{cases}
      \BL_{11}=(\BL_{12}+\BR_{\perp})\BL_{22}^{-1}(\BL_{12}+\BR_{\perp})^{T},\\
      \det\BL_{22}=\det\BS+(\beta+1)^{2}=\det(\BL_{12}+\BR_{\perp}).
  \end{cases}
\end{equation}
Equivalently,
\begin{equation}
  \label{ER20compa}
  \begin{cases}
      \BL_{22}=(\BL_{12}+\BR_{\perp})^{T}\BL_{11}^{-1}(\BL_{12}+\BR_{\perp}),\\
      \det\BL_{11}=\det(\BL_{12}+\BR_{\perp}).
  \end{cases}
\end{equation}
We can also write this ER in terms of $\BM=\BL_{11}^{-1}(\BL_{12}+\BR_{\perp})$:
\[
\BL_{12}=\BL_{11}\BM-\BR_{\perp},\quad\BL_{22}=\BM^{T}\BL_{11}\BM,\quad\det\BM=1.
\]
\begin{equation}
  \label{ER20fin}
  \bb{M}=\left\{\mat{\BL}{\BL\BM-\BR_{\perp}}{\BM^{T}\BL+\BR_{\perp}}{\BM^{T}\BL\BM}:\det\BM=1,\
\BL>0,\ \BL+2\BR_{\perp}\BM\det\BL<0\right\}.
\end{equation}
The choice of the parameter $t=\infty$ in the family $V_{t}$ was probably not
the best. A better choice is $t=0$, giving
\begin{equation}
  \label{ER20t0}
  (\mathsf{L}-\mathsf{T})(\BJ'\otimes\BR_{\perp})(\mathsf{L}-\mathsf{T})=0,\qquad\BJ'=\psi(i)=\mat{0}{1}{1}{0}.
\end{equation}
Equivalently (obtained by substituting (\ref{ER21fin}) into (\ref{ER20t0})),
\begin{equation}
  \label{ER20t0fin}
  \bb{M}=\left\{\mat{\BL}{\BL\BM-\BR_{\perp}}{\BM^{T}\BL+\BR_{\perp}}{\BM^{T}\BL\BM}:\mathrm{Tr}\,\BM=0,\
\BL>0,\ \BL+2\BR_{\perp}\BM\det\BL<0\right\}.
\end{equation}

\section{$\Pi_{0}=(W,V)$}
Here are several different ways to describe $(W,V)$.
\[
W=\{Y\in\mathrm{Sym}(\bb{C}^{2}):Y_{22}-Y_{11}+2iY_{12}=0\},\qquad
V=\{X\in{\mathcal H}(\bb{C}^{2}):2\mathfrak{Im}(X_{12})=\mathrm{Tr}\, X\}.
\]
or
\[
\Pi_{0}=\left\{\mathsf{K}=\mat{\BK_{11}}{\BK_{12}}{\BK_{12}^{T}}{\BK_{22}}:
\BK_{11}+\BR_{\perp}\BK_{22}\BR_{\perp}^{T}+\BK_{12}\BR_{\perp}-\BR_{\perp}\BK_{12}^{T}=0.
\right\}.
\]
$\dim\Pi_{0}=7$, co$\dim\Pi_{0}=3$.

We observe that $(W,V)$ contains $(W,V_{\infty})$ as a codimension 1
subspace. It means that $(W,V)$ requires one less equation for its description
than $(W,V_{\infty})$. Formula (\ref{ER20comp}) describes $(W,V_{\infty})$ as
a set of one matrix and one scalar equation. It is natural to try to see if
eliminating the scalar equation results in the correct description of
$(W,V)$. Maple check confirms this hypothesis. So, the ER $(W,V)$ can be
described as
\begin{equation}
  \label{ER21}
  \BL_{11}=(\BL_{12}+\BR_{\perp})\BL_{22}^{-1}(\BL_{12}+\BR_{\perp})^{T}.
\end{equation}
The equation says that the Schur complement of $\BL_{22}$ in $\mathsf{L}-\mathsf{T}$ vanishes.
Equivalently,
\[
  \BL_{22}=(\BL_{12}+\BR_{\perp})^{T}\BL_{11}^{-1}(\BL_{12}+\BR_{\perp}).
\]
Hence, the Schur complement of $\BL_{11}$ in $\mathsf{L}-\mathsf{T}$ also vanishes.
\begin{equation}
  \label{ER21fin}
  \bb{M}=\left\{\mat{\BL}{\BL\BM-\BR_{\perp}}{\BM^{T}\BL+\BR_{\perp}}{\BM^{T}\BL\BM}:\BL>0,\
\BL+2\BR_{\perp}\BM\det\BL<0\right\}.
\end{equation}

\section{Link $(W,V)=(\bb{C}\BI,\BGY)\oplus{\rm Ann}(\bb{C}\bra{\Bz_{0}})$}
\subsection{$\Pi_{0}=(\bb{C}\BI,\BGY)$}
In this case $\mathsf{K}\in\Pi$ has the form
\[
\mathsf{K}=\mat{\psi(z)}{0}{0}{\psi(z)}+\mat{\phi(\alpha)}{\phi(\beta)}{\phi(\beta)}{\phi(-\alpha)}=
\mat{\BK}{\beta\BI}{\beta\BI}{-\mathrm{cof}(\BK)},\qquad\BK\in\mathrm{Sym}(\bb{R}^{2})
\]
\[
\mathsf{I}+\mathsf{K}=\mat{\BI_{2}+\BK}{\beta\BI}{\beta\BI}{\BI_{2}-\mathrm{cof}(\BK)},
\]
changing parametrization to $\BK'=\BI_{2}+\BK$ and dropping
primes we see that we need to compute
\[
\mathsf{L}=2\mat{\BK}{\beta\BI}{\beta\BI}{\mathrm{cof}(2\BI_{2}-\BK)}^{-1}-\mathsf{I}
\]
Applying formula for the inverse of the block matrix we conclude that
\[
\mathsf{L}=\mat{\BL_{11}}{\lambda\BL_{11}}{\lambda\BL_{11}}{\eta(\lambda,\BL_{11})\BL_{11}}.
\]
Hence, one only needs to determine a scalar function $\eta(\lambda,\BL_{11})$.
Applying formula for the inverse of the block matrix to $(\mathsf{L}+\mathsf{I})^{-1}$
we find that the 12-block of $(\mathsf{L}+\mathsf{I})^{-1}$ is
\[
\BL_{12}=-\lambda(\BL_{11}+\BI_{2})^{-1}\BL_{11}(\eta\BL_{11}+\BI_{2}-\lambda^{2}\BL_{11}(\BL_{11}+\BI_{2})^{-1}\BL_{11})^{-1}.
\]
It is a multiple of the identity if and only if
\[
\eta\BL_{11}+\BL_{11}^{-1}-\lambda^{2}\BL_{11}
\]
is a multiple of the identity. In other words, we need to choose $\eta$, such
that the two eigenvalues of the above matrix are the same. If $\sigma_{1}$ and
$\sigma_{2}$ are the eigenvalues of $\BL_{11}$, then we must have
\[
\eta\sigma_{1}+\nth{\sigma_{1}}-\lambda^{2}\sigma_{1}=\eta\sigma_{2}+\nth{\sigma_{2}}-\lambda^{2}\sigma_{2},
\]
from which we find that
\[
\eta=\lambda^{2}+\nth{\sigma_{1}\sigma_{2}}=\lambda^{2}+\nth{\det\BL_{11}}.
\]
Hence,
\begin{equation}
  \label{ER9}
\bb{M}_{0}=\left\{\mat{1}{\lambda}{\lambda}{\lambda^{2}+\dfrac{1}{\det\BL}}\otimes\BL:
\lambda\in\bb{R},\ \BL>0\right\}=\{\mathsf{L}=\BGL\otimes\BL>0:
\det\mathsf{L}=\det\BGL\det\BL=1\}.
\end{equation}
The exact relation $\bb{M}_{(\bb{C}\BI,\BGY)}$ says that if the Seebeck tensor
is scalar and heat conductivity is $\BGk$ is a constant scalar multiple of
$\BGs/\det\BGs$, then the effective tensor will also have the same form.

\subsection{Link calculation}
The strategy is use Maple to compute
\begin{enumerate}
\item $\mathsf{L}=\mathsf{L}(\BL_{22},\BL_{12})$,
\item $\mathsf{K}=2(\mathsf{L}+\mathsf{I})^{-1}-\mathsf{I}$,
\item Projection $\mathsf{P}$ of $\mathsf{K}$ onto $(\bb{C}\BI,\BGY)$
\item $\mathsf{L}'=2(\mathsf{P}+\mathsf{I})^{-1}-\mathsf{I}$,
\item $\lambda$: $\lambda\BI_{2}=\BL'_{12}(\BL'_{11})^{-1}$.
\item $\eta$: $\eta\BI_{2}=\BL'_{22}(\BL'_{11})^{-1}$.
\item $\BL'_{11}$
\end{enumerate}
The link can be written as the map from
\[
\bb{M}_{(W,V)}=\{\mathsf{L}>0:\BL_{22}=(\BL_{12}+\BR_{\perp})^{T}\BL_{11}^{-1}(\BL_{12}+\BR_{\perp})\}
\]
to
\[
\bb{M}_{(\bb{C}\BI,\BGY)}=\{\BGL\otimes\BL:\BL>0,\ \BGL>0,\ \det(\BL\BGL)=1\}.
\]
We obtain (setting $\Lambda_{11}=1$)
\[
\BGL=\mat{1}{\lambda}{\lambda}{\eta},\quad\lambda=\frac{\mathrm{Tr}\,\BM}{2},\quad
\eta=\det\BM,\quad\BM=\BL_{11}^{-1}(\BL_{12}+\BR_{\perp}),\quad
\BL=\BR_{\perp}\frac{\lambda\BI_{2}-\BM}{\det\BGL}.
\]
This implies that $\BM^{*}=(\BL_{11}^{*})^{-1}(\BL^{*}_{12}+\BR_{\perp})$
depends only on $\BM(\Bx)=\BL_{11}(\Bx)^{-1}(\BL_{12}(\Bx)+\BR_{\perp})$,
which can be computed from $(\BGL\otimes\BL)^{*}=\BGL^{*}\otimes\BL^{*}$ by
expressing $\BM$ in terms of $\BL$ and $\BGL$.

\section{Links for $(W,\bb{R}\BZ_{0})$}
\subsection{$\Pi_{0}=(W,\bb{R}\BZ_{0})$}
\[
\Pi_{0}=\{\mathsf{K}:2\BK_{12}=\BR_{\perp}(\BK_{11}-\BK_{22}+(\mathrm{Tr}\,\BK_{22})\BI_{2}),\
\mathrm{Tr}\,(\BK_{11})=\mathrm{Tr}\,(\BK_{22}).\}.
\]
$\dim\Pi_{0}=$co$\dim\Pi_{0}=5$. The idea is to compute the representation of
$\Pi_{0}$ from the condition that corresponding $\mathsf{L}$ satisfies
\begin{equation}
  \label{preER19}
  (\mathsf{L}^{\BR}-\mathsf{T})(\BJ\otimes\BR_{\perp})(\mathsf{L}^{\BR}-\mathsf{T})=0,\quad
\forall\BR\in SO(2),
\end{equation}
where
\[
\BJ=\mat{1}{0}{0}{-1},\qquad
\mathsf{L}^{\BR}=(\BR\otimes\BI_{2})\mathsf{L}(\BR^{T}\otimes\BI_{2}).
\]
Factoring $\BR\otimes\BI_{2}$ and $\BR^{T}\otimes\BI_{2}$ out and recalling
that $\BR_{\perp}$ is isotropic we obtain
\[
(\mathsf{L}-\mathsf{T})(\BR\otimes\BI_{2})(\BJ\otimes\BR_{\perp})\BR^{T}\otimes\BI_{2}(\mathsf{L}-\mathsf{T})=0
\]
Thus, writing $\BJ=\psi(1)$ we obtain that $(W,\bb{R}\BZ_{0})$ can be
described by the equation
\[
(\mathsf{L}-\mathsf{T})(\psi(z)\otimes\BR_{\perp})(\mathsf{L}-\mathsf{T})=0\quad\forall z\in\bb{C}.
\]
In other words
\[
\begin{cases}
  (\mathsf{L}-\mathsf{T})(\psi(1)\otimes\BR_{\perp})(\mathsf{L}-\mathsf{T})=0,\\
  (\mathsf{L}-\mathsf{T})(\psi(i)\otimes\BR_{\perp})(\mathsf{L}-\mathsf{T})=0
\end{cases}
\]
The first equation is written as (\ref{ER20comp}), while the second equation
adds one more scalar condition:
\begin{equation}
  \label{ER19add}
  \mathrm{Tr}\,(\BL_{22}\mathrm{cof}(\BS))=0.
\end{equation}
Equivalently, this can also be written as
\[
\det(\BL_{22}+\BL_{12})=\det\BL_{22}+\det\BL_{12}.
\]
Let us write a complete system of equations for reference purposes:
\begin{equation}
  \label{ER19}
  \begin{cases}
    \BL_{11}=(\BL_{12}+\BR_{\perp})\BL_{22}^{-1}(\BL_{12}+\BR_{\perp})^{T},\\
    \det\BL_{22}=\det(\BL_{12}+\BR_{\perp}),\\
    \mathrm{Tr}\,(\BL_{22}\mathrm{cof}(\BL_{12}))=0
  \end{cases}
\end{equation}
The third equation can also be written as
\[
\det(\BL_{22}+\BL_{12})=\det\BL_{22}+\det\BL_{12}.
\]
In order to find a parametrization of $\mathsf{L}$ it will be convenient to write
the ER in terms of $\BM=\BL_{11}^{-1}(\BL_{12}+\BR_{\perp})$:
\begin{equation}
  \label{ER19M}
  \BL_{12}=\BL_{11}\BM-\BR_{\perp},\quad\BL_{22}=\BM^{T}\BL_{11}\BM,\quad\det\BM=1,\quad\mathrm{Tr}\,\BM=0.
\end{equation}
For example we can write
\begin{equation}
  \label{Msqm1}
  \BM=\mat{m_{11}}{m_{12}}{-\frac{m_{11}^{2}+1}{m_{12}}}{-m_{11}}
\end{equation}
Another equivalent formulation of constraints satisfied by $\BM$ is $\BM^{2}=-\BI_{2}$.
The tensor $\mathsf{L}=\mathsf{L}(\BL_{11},\BM)$ is positive definite if and only if
\begin{equation}
  \label{WRZpos}
\BL_{11}>0,\quad  \frac{\BL_{11}}{\det\BL_{11}}+2\BR_{\perp}\BM<0.
\end{equation}
Thus we can also write
\begin{equation}
  \label{ER19fin}
\bb{M}=\left\{\mat{\BL}{\BL\BM-\BR_{\perp}}{\BM^{T}\BL+\BR_{\perp}}{\BM^{T}\BL\BM}:\BM^{2}=-\BI_{2},
\ \BL>0,\ \BL+2\BR_{\perp}\BM\det\BL<0\right\}.
\end{equation}
This equation is obtained immediately from the representations (\ref{ER20fin})
and (\ref{ER20t0fin}) for $(W,V_{\infty})$ and $(W,V_{0})$, respectively.

\subsection{Link $(W,\bb{R}\BZ_{0})$, $\Phi(K(X,Y))=K(\alpha X,Y)$}
The strategy is use Maple to compute
\begin{enumerate}
\item $\mathsf{L}=\mathsf{L}(\BL_{22},z)$,
\item $\mathsf{K}=2(\mathsf{L}+\mathsf{I})^{-1}-\mathsf{I}$,
\item $\mathsf{K}^{\alpha}=\Phi_{\alpha}(\mathsf{K})$,
\item $\mathsf{L}^{\alpha}=2(\mathsf{K}_{\alpha}+\mathsf{I})^{-1}-\mathsf{I}$,
\item $\BL_{22}^{\alpha}$ and $z^{\alpha}$.
\end{enumerate}
If we write $\mathsf{L}=\mathsf{L}(\BL_{11},\BM)$, where $\BM^{2}=-\BI_{2}$ then for any
$\gamma_{0}\in\bb{R}$ for which the resulting $\mathsf{L}$ is positive definite we have
\begin{equation}
  \label{WRZalpha}
  \mathsf{L}'=\mathsf{L}\left(\frac{\BQ\det\BL_{11}}{\det\BQ},\BM\right),\qquad
\BQ=\gamma_{0}\BL_{22}+(1+\gamma_{0})\BL_{11}+2\gamma_{0}(\det\BL_{11})\BR_{\perp}\BM.
\end{equation}
The parameters $\alpha$ and $\gamma_{0}$ are related by the formula
$\alpha=2\gamma_{0}+1$. The restrictions on $\gamma_{0}$ are
\[
\BQ>0,\qquad\frac{\BQ}{\det\BL_{11}}+2\BR_{\perp}\BM<0.
\]
An even nicer form is obtained if instead of $\BQ$ we use
$\BP=\mathrm{cof}(\BQ)/\det\BL_{11}$, so that
\begin{equation}
  \label{WRZalpha0}
  \mathsf{L}'=\mathsf{L}\left(\BP^{-1},\BM\right),\qquad
\BP=\gamma_{0}\BL^{-1}_{22}+(1+\gamma_{0})\BL^{-1}_{11}+2\gamma_{0}\BM\BR_{\perp},
\end{equation}
where the parameter $\gamma_{0}$ is constrained by the inequalities
\[
\BP>0,\qquad\BP+2\BM\BR_{\perp}<0,
\]
understood in the sense of quadratic forms.
We note that the map
$\Phi_{\gamma_{0}}$ fails to be bijective for $\gamma_{0}=-1/2$, but it remains a valid link between
$\bb{M}_{19}$ and ER \#18, whose definition includes the additional relation
\begin{equation}
  \label{ER18ad}
  \BM\BL^{-1}-\BL^{-1}\BM^{T}=2\BR_{\perp}
\end{equation}
between parameters $\BL$ and $\BM$.

\subsection{Link $(W,\bb{R}\BZ_{0})=(\bb{C}\BI,\bb{R}\BZ_{0})\oplus(\bb{C}(\tns{\Bz_{0}}),0)$}
\subsubsection{$\Pi_{0}=(\bb{C}\BI,\bb{R}\BZ_{0})$}
This ER is redundant, but $\Pi_{0}\oplus(\tns{\Bz_{0}},0)=(W,\bb{R}\BZ_{0})$,
where $(\tns{\Bz_{0}},0)$ is an ideal in $(W,\bb{R}\BZ_{0})$. Both the ER
$(W,\bb{R}\BZ_{0})$ and the link  corresponding to the above decomposition are
unresolved. The calculation is therefore considered useful for the puproses of
computing the unresolved cases. We have
\[
\Pi_{0}=\{K(\rho\BZ_{0},c\BI):\rho\in\bb{R},\ c\in\bb{C}\}.
\]
We will use the inversion formula
\[
\mathsf{L}=2(\mathsf{K}+\mathsf{I})^{-1}-\mathsf{I}.
\]
\[
\mathsf{K}+\mathsf{I}=K(\BX,\BY),\qquad \BX=\mat{\rho+1}{i\rho}{-i\rho}{\rho+1},\quad\BY=c\BI_{2}.
\]
We will use formula (\ref{Kinv}):
\[
(\mathsf{K}+\mathsf{I})^{-1}=K(S_{X}^{1},S_{Y}^{-1}),\quad
S_{X}=\BX-\BY\bra{\BX}^{-1}\bra{\BY},\quad S_{Y}=\bra{\BY}-\bra{\BX}\BY^{-1}\BX.
\]
We compute
\[
\bra{\BX}^{-1}=\frac{\BX}{2\rho+1},\quad\bra{\BX}\BX=(2\rho+1)\BI_{2}.
\]
Using these formulas we compute
\[
S_{X}=\frac{2\rho+1-|c|^{2}}{2\rho+1}\BX,\quad
S_{Y}=\frac{|c|^{2}-2\rho-1}{c}\BI_{2}.
\]
Hence,
\[
S_{X}^{-1}=\frac{\bra{\BX}}{2\rho+1-|c|^{2}},\quad
S_{Y}^{-1}=\frac{c}{|c|^{2}-2\rho-1}\BI_{2}.
\]
Writing $K(\bra{\BX},0)=(\rho+1)\mathsf{I}+\rho\mathsf{T}$ we compute
\[
\mathsf{L}=\frac{(1+|c|^{2})\mathsf{I}+2\rho\mathsf{T}-K(0,2c\BI_{2})}{2\rho+1-|c|^{2}}.
\]
Converting to the block matrix form we get
\[
\mathsf{L}=\mat{\BL}{-\theta\BR_{\perp}}{\theta\BR_{\perp}}{\BL},\quad
\BL=\frac{\varphi(1+|c|^{2})-\psi(2c)}{2\rho+1-|c|^{2}},\quad
\theta=\frac{2\rho}{2\rho+1-|c|^{2}}.
\]
Now it is easy to see that $\det\BL=(1-\theta)^{2}$. Requiring that $\BL>0$ we
get the restriction that $2\rho+1-|c|^{2}>0$. If this is satisfied then
$\mathsf{L}>0$ holds if and only if  $\theta^{2}<\det\BL$. The two constraints can be combined
into one:
\[
2|\rho|<1-|c|^{2},
\]
giving the ER
\begin{equation}
  \label{ER7}
  \bb{M}=\left\{\mat{\BL}{\theta\BR_{\perp}}{-\theta\BR_{\perp}}{\BL}: \det\BL=(1+\theta)^{2},\
\BL>0,\ \theta>-1/2\right\}
\end{equation}
Of course the isomorphic ER $(\bb{C}\BI,\bb{R}\bra{\BZ_{0}})$ is obtained from
this by replacing $\theta$ with $-\theta$ in the matrix, while keeping all other
constraints the same.

\subsubsection{Link calculation}
The strategy is use Maple to compute
\begin{enumerate}
\item $\mathsf{L}=\mathsf{L}(\BL_{11},\BM)$, where $\BM$ is given by (\ref{Msqm1})
\item $\mathsf{K}=2(\mathsf{L}+\mathsf{I})^{-1}-\mathsf{I}$,
\item Projection $\mathsf{P}$ of $\mathsf{K}$ onto $(\bb{C}\BI,\bb{R}\BZ_{0})$
\item $\mathsf{L}'=2(\mathsf{P}+\mathsf{I})^{-1}-\mathsf{I}$,
\item $\theta$: $\theta\BI_{2}=\BR_{\perp}^{T}\BL'_{12}$.
\item $\BL'_{11}$
\end{enumerate}
We obtain
\[
\theta+1=-\frac{2\det\BL_{11}}{\mathrm{Tr}\,(\BL_{11}\BM\BR_{\perp})}=
-\frac{2}{\mathrm{Tr}\,(\BL_{11}^{-1}\BR_{\perp}\BM)}
\]
\[
\BL'_{11}=-(\theta+1)\BR_{\perp}\BM=\frac{2\BR_{\perp}\BM}{\mathrm{Tr}\,(\BL_{11}^{-1}\BR_{\perp}\BM)}.
\]
If we use the link $(W,\bb{R}\BZ_{0})/{\rm
  Ann}(\bb{C}\bra{\Bz_{0}})\cong(\bb{C}\BI,0)$, which is inherited from $(W,V)$,
then we obtain that $\BGs^{*}=-\BR_{\perp}\BM^{*}$ is the effective
conductivity of the 2D conducting composite with local conductivity
$\BGs(\Bx)=-\BR_{\perp}\BM(\Bx)$, also satisfying $\det\BGs=1$. This link
shows that the scalar $s^{*}=\av{\BL_{11}^{*}/\det\BL^{*}_{11},\BGs^{*}}$ depends
only on $\BGs(\Bx)$ and $s(x)$ via the effective thermoelectricity in the ER (\ref{ER7}).

\subsection{Link $(W,\bb{R}\BZ_{0})=(W,0)\oplus(0,\bb{R}\BZ_{0})$}
\subsubsection{$(W,0)$}
Need to verify that one additional equation that must be added to the system
(\ref{ER19M}) is
\[
\BL_{11}\BM-\BM^{T}\BL_{11}=2\det\BL_{11}\BR_{\perp}.
\]
If we write $\BL_{12}=\BS+\beta\BR_{\perp}$, then this additional equation says
that $\beta+1=\det\BL_{11}$. Recalling the condition of positivity
(\ref{WRZpos}) of $\mathsf{L}$ we can also write the extra equation as
\[
\BL_{22}=-(\BL_{11}+2\BR_{\perp}\BM\det\BL_{11})>0.
\]

\subsection{Link calculation}
Same strategy using Maple produces a link
$\Phi(\mathsf{L}(\BL_{11},\BM))=\mathsf{L}(\BL'_{11},\BM)$, where $\BL'_{11}$ satisfies
the additional relation
\[
\BL'_{11}\BM-\BM^{T}\BL'_{11}=2\det\BL'_{11}\BR_{\perp}.
\]
We compute using Maple:
\[
\mathsf{L}'=\mathsf{L}\left(\frac{\BQ\det\BL_{11}}{\det\BQ},\BM\right),\qquad
\BQ=\frac{\BL_{11}-\BL_{22}}{2}-(\det\BL_{11})\BR_{\perp}\BM,
\]
which coincides with formula (\ref{WRZalpha}) when $\gamma_{0}=-1/2$. Indeed,
$\gamma_{0}=-1/2$ corresponds to $\alpha=0$, so that the map $\Phi(K(X,Y))=K(\alpha
X,Y)$ is no longer the automorphism, but the link
$(W,\bb{R}\BZ_{0})=(W,0)\oplus(0,\bb{R}\BZ_{0})$ instead.

\section{Summary of the essential exact relations and links}
Here we refer to various exact relations by their number in the list at the
end of Section~\ref{sec:JMA}. In order to streamline our notation it will be
convenient to introduce the function
\begin{equation}
  \label{LMpar}
  \mathfrak{L}(\BL,\BM)=\mat{\BL}{\BL\BM}{\BM^{T}\BL}{\BM^{T}\BL\BM}+\mathsf{T},
\qquad\mathsf{T}=\BR_{\perp}\otimes\BR_{\perp},
\end{equation}
since many of the exact relations below can be described in terms of
$\mathfrak{L}(\BL,\BM)$. Here is the list.

  \[
    \bb{M}_{8}=\{\BI_{2}\otimes\BL+t\mathsf{T}:\BL\in\mathrm{Sym}^{+}(\bb{R}^{2}),\ \det\BL>t^{2}\},
  \]
\[
  \bb{M}_{13}=\left\{\mathfrak{L}(\BL,\BR_{\perp}):\BL>\displaystyle\frac{1}{2}\BI_{2} \right\},\qquad
\BL_{*}=\av{\BL^{-1}}^{-1}.
\]
\[
  \bb{M}_{17}=\{\mathsf{L}>0:\mathsf{L}(\BJ\otimes\BR_{\perp})\mathsf{L}=\BJ\otimes\BR_{\perp}\},\quad\BJ=\mat{1}{0}{0}{-1}.
\]
In block-components we can rewrite this as
\[
  \bb{M}_{17}=\left\{\mathsf{L}>0:\BL_{11}=\frac{\BL_{12}\mathrm{cof}(\BL_{22})\BL_{12}^{T}}{\det\BL_{12}},\
\det\BL_{22}-\det\BL_{12}=1\right\}.
\]
Of course, there is symmetry between indices and we also have
\[
\bb{M}_{17}=\left\{\mathsf{L}>0:\BL_{22}=\frac{\BL_{12}^{T}\mathrm{cof}(\BL_{11})\BL_{12}}{\det\BL_{12}},\
\det\BL_{11}-\det\BL_{12}=1\right\}.
\]
\[
\bb{M}_{19}=\left\{\mathfrak{L}(\BL,\BM):\BM^{2}=-\BI_{2}, \ \BL>0,\
\BL^{-1}+2\BM\BR_{\perp}<0\right\}.
\]
This exact relation has two different links, which are not consequences of
other relations or links listed here.
\begin{enumerate}
\item This is an infinite family of links that we describe in terms of the
  function $\mathfrak{L}(\BL,\BM)$, given by (\ref{LMpar}). The family of links
  are the maps $\Phi_{\gamma_{0}}:\bb{M}_{19}\to\bb{M}_{19}$, given by
\[
  \Phi_{\gamma_{0}}(\mathfrak{L}(\BL,\BM))=\mathfrak{L}\left(\BP_{\gamma_{0}}^{-1},\BM\right),
\quad\BP_{\gamma_{0}}=\gamma_{0}\BM\BL^{-1}\BM^{T}+(1+\gamma_{0})\BL^{-1}+2\gamma_{0}\BM\BR_{\perp},
\]
where the parameter $\gamma_{0}$ is constrained by the inequalities
\[
\BP_{\gamma_{0}}>0,\qquad\BP_{\gamma_{0}}+2\BM\BR_{\perp}<0,
\]
understood in the sense of quadratic forms. We note that the map
$\Phi_{\gamma_{0}}$ fails to be bijective for $\gamma_{0}=-1/2$, but it remains a valid link between
$\bb{M}_{19}$ and
\[
\bb{M}_{18}=\{\mathfrak{L}(\BL,\BM):\BM^{2}=-\BI_{2}, \
\BM\BL^{-1}-\BL^{-1}\BM^{T}=2\BR_{\perp},\ \BL>0\}.
\]
\item The second link is between $\bb{M}_{19}$ and
  \[
    \bb{M}_{7}=\{\mathfrak{L}(\mu\BGs,\BR_{\perp}\BGs):\det\BGs=1,\ \BGs>0,\ \mu>1/2\}.
  \]
The link is then given by the formulas
\[
  \BGs=-\BR_{\perp}\BM,\qquad\mu=\frac{2}{\mathrm{Tr}\,(\BL\BGs)},
\]
so that $\BM^{*}=\BR_{\perp}\BGs^{*}$, where $\BGs^{*}$ is the
effective conductivity of the 2D polycrystal with texture
$\BGs(\Bx)=-\BR_{\perp}\BM(\Bx)$, as before, while additionally we have
\[
  \mathrm{Tr}\,(\BL^{*}\BGs^{*})=\frac{2}{\mu^{*}}.
\]
\end{enumerate}
\[
  \bb{M}_{20}=\left\{\mathsf{L}>0:(\mathsf{L}-\mathsf{T})(\BJ\otimes\BR_{\perp})(\mathsf{L}-\mathsf{T})=0\right\}.
\]
We can also write this ER in parametric form
\[
  \bb{M}_{20}=\left\{\mathfrak{L}(\BL,\BM):\det\BM=1,\ \BL>0,\
\BL^{-1}<-2\BM\BR_{\perp}\right\},
\]
where inequalities are undestood in the sense of quadratic forms.
\[
  \bb{M}_{21}=\left\{\mathfrak{L}(\BL,\BM):\BL>0,\
\BL^{-1}<-2\BM\BR_{\perp}\right\}.
\]
There is also a link associated with this ER. It says that
$\BM^{*}$ does not depend on $\BL(\Bx)$ in the parametrization
(\ref{ER21fin}). The effective tensor $\BM^{*}$ can be computed from the exact
relation described by
\[
  \bb{M}_{9}=\{\mathsf{L}=\BGL\otimes\BP>0:
\det\mathsf{L}=\det\BGL\det\BP=1\}.
\]
Specifically, $\mathsf{L}=\BGL\otimes\BP\in\bb{M}_{9}$ is uniquely determined by a pair of symmetric,
positive definite $2\times 2$ matrices
$\BGL$ and $\BP$, satisfying $\det\BGL\det\BP=1$, provided we fix
$\Lambda_{11}=1$. We will denote this parametrization by
$\mathsf{L}=\mathsf{L}_{9}(\BGL,\BP)$. The fact that $\bb{M}_{9}$ is an exact relation
means that $\mathsf{L}_{9}(\BGL,\BP)^{*}=\mathsf{L}_{9}(\BGL^{*},\BP^{*})$, for some
$\BGL^{*}$ and $\BP^{*}$ that depend on the microstructure\ of the composite.
The link between $\bb{M}_{21}$, given by (\ref{ER21fin}) and
$\bb{M}_{9}$ is given by a bijective transformation
$\BM\mapsto(\BGL(\BM),\BP(\BM))$
\[
  \BGL(\BM)=\mat{1}{\mathrm{Tr}\,\BM/2}{\mathrm{Tr}\,\BM/2}{\det\BM},\qquad
  \BP(\BM)=-\BR_{\perp}\frac{\BM-(\mathrm{Tr}\,\BM)\BI_{2}/2}{\det\BGL(\BM)}.
\]
The link says that $\BM^{*}$ is determined via the formula
\[
  \mathsf{L}_{9}(\BGL(\BM),\BP(\BM))^{*}=\mathsf{L}_{9}(\BGL(\BM^{*}),\BP(\BM^{*})),
\]
so, that
\[
  \BM^{*}=\Lambda_{12}^{*}\BI_{2}+\BR_{\perp}\BP^{*}\det\BGL^{*}.
\]
\[
  \bb{M}_{22}=\{\mathsf{L}>0:\mathsf{L}(\BI_{2}\otimes\BR_{\perp})\mathsf{L}=\BI_{2}\otimes\BR_{\perp}\}.
\]
In block-components we can rewrite this as
\[
  \bb{M}_{22}=\left\{\mathsf{L}>0:\BL_{11}=-\frac{\BL_{12}\mathrm{cof}(\BL_{22})\BL_{12}^{T}}{\det\BL_{12}},\
\det\BL_{22}+\det\BL_{12}=1\right\}.
\]
Of course, there is symmetry between indices and we also have
\[
\bb{M}_{22}=\left\{\mathsf{L}>0:\BL_{22}=-\frac{\BL^{T}_{12}\mathrm{cof}(\BL_{11})\BL_{12}}{\det\BL_{12}},\
\det\BL_{11}+\det\BL_{12}=1\right\}.
\]

\section{An application: Isotropic polycrystals}
The subspace $\Pi_{0}=(\mathrm{Sym}(\bb{C}^{2}),0)$ contains the unique isotropic
tensor $\mathsf{K}=0$. Therefore, the corresponding exact relation
(\ref{ER22}) passes through the unique isotropic tensor $\mathsf{L}=\mathsf{I}$. The
global automorphisms
\[
\Psi_{\alpha,\BB}(\mathsf{L})=(\BB\otimes\BI_{2})(\mathsf{L}-\alpha\mathsf{T})(\BB\otimes\BI_{2}),\quad\BB^{T}=\BB.
\]
Map $\mathsf{L}=\mathsf{I}$ into $\BB^{2}\otimes\BI_{2}-(\alpha\det\BB)\mathsf{T}$. Every isotropic
tensor has the form $\BGL\otimes\BI_{2}+\beta\mathsf{T}$, where $\BGL$ is symmetric
and positive definite (additionally we must also have
$\det\BGL>\beta^{2}$). Thus, there exists a unique symmetric and positive
definite matrix $\BB$, such that $\BB^{2}=\BGL$ and $\alpha=\beta/\det\BB$, so that
$\Psi_{\alpha,\BB}(\mathsf{I})=\BGL\otimes\BI_{2}+\beta\mathsf{T}$. We conclude that for every
isotropic, symmetric and positive definite tensor $\mathsf{L}$ there exists a unique
symmetric and positive definite real $2\times 2$ matrix $\BB$ and real number
$|\alpha|<1$, such that $\mathsf{L}=\Psi_{\alpha,\BB}(\mathsf{I})$. Each such transformation
maps the exact relation (\ref{ER22}) into another exact relation, which are
all disjoint and therefore foliate an open neighborhood\ of the space of isotropic
tensors. Suppose $\mathsf{L}_{0}$ is an anisotropic tensor. Then for sufficiently
small $\epsilon>0$ the tensor $\epsilon\mathsf{L}_{0}$ will be in that neighborhood\ foliated by exact
relations. Hence, there exists a unique exact relation $\bb{M}_{\epsilon}$
isomorphic to (\ref{ER22}) that passes through $\epsilon\mathsf{L}_{0}$. But then
$\epsilon^{-1}\bb{M}_{\epsilon}$ is the exact relation isomorphic to (\ref{ER22})
that passes through $\mathsf{L}_{0}$. Thus, regardless of texture, the effective
tensor of an isotropic polycrystal made of the single cystallite $\mathsf{L}_{0}$
will be uniquely determined by $\mathsf{L}_{0}$, as in 2D conductivity
$\sigma^{*}=\sqrt{\det\BGs_{0}}$. If its effective tensor is
$\mathsf{L}^{*}$, then if $\Psi_{\alpha,\BB}(\mathsf{L}^{*})=\mathsf{I}$, then
$\mathsf{L}'=\Psi_{\alpha,\BB}(\mathsf{L}_{0})$ will belong to the exact relation
(\ref{ER22}). Specifically,
\[
2(\mathsf{L}'+\mathsf{I})^{-1}-\mathsf{I}\in\Pi_{0}=(\mathrm{Sym}(\bb{C}^{2}),0).
\]
In order to find equations satisfied by $\BB$ and $\alpha$ we will write
$\mathsf{L}_{0}=K(\BX,\BY)$. Then
\[
\mathsf{L}'=\Psi_{\alpha,\BB}(\mathsf{L}_{0})=K(\BB(\BX-i\alpha\BR_{\perp})\BB,\BB\BY\BB).
\]
Thus, we need to find $\BB\in\mathrm{Sym}^{+}(\bb{R}^{2})$ and $\alpha\in(-1,1)$, such that
\[
2K(\BB(\BX-i\alpha\BR_{\perp})\BB+\BI_{2},\BB\BY\BB)^{-1}-K(\BI_{2},0)=K(\Bzr,\cdot).
\]
Using formula (\ref{Kinv}) we obtain $S_{X}=2\BI_{2}$,
where
\[
S_{X}=\BB(\BX-i\alpha\BR_{\perp})\BB+\BI_{2}-\BB\BY\BB(\BB(\bra{\BX}+i\alpha\BR_{\perp})\BB+\BI_{2})^{-1}\BB\bra{\BY}\BB.
\]
Hence, the equation $S_{X}=2\BI_{2}$ becomes
\[
\BX-i\alpha\BR_{\perp}-\BY(\bra{\BX}+i\alpha\BR_{\perp}+\BB^{-2})^{-1}\bra{\BY}=\BB^{-2}
\]
We now observe that $\mathsf{L}^{*}=K(\BB^{-2}+i\alpha\BR_{\perp},0)$. Thus, denoting
\[
\BL^{*}=\BB^{-2}+i\alpha\BR_{\perp}\in\mathfrak{H}(\bb{C}^{2}),
\]
we obtain the equation for $\BL^{*}$:
\begin{equation}
  \label{isopoly}
  \BX-\BL^{*}=\BY(\bra{\BX}+\BL^{*})^{-1}\bra{\BY},\quad\mathsf{L}_{0}=K(\BX,\BY),\quad
\mathsf{L}^{*}=K(\BL^{*},0).
\end{equation}
If we make a change of variables $\BZ=\bra{\BX}+\BL^{*}$ then $\BZ$ is still
self-adjoint (and positive definite) and solves
\begin{equation}
  \label{Zeq}
  \BZ+\BY\BZ^{-1}\BY^{H}=\BX+\bra{\BX}.
\end{equation}
We can first solve 4 real linear equations with 4 real unknowns:
\begin{equation}
  \label{Zeqlin}
  \BZ+\theta\BY\mathrm{cof}(\BZ)^{T}\BY^{H}=\BX+\bra{\BX},
\end{equation}
Obtaining a solution $\Hat{\BZ}(\theta)$. We then find $\theta>0$ from the
equation $\theta\det\Hat{\BZ}(\theta)=1$. Let us analyze the linear equation
(\ref{Zeqlin}), assuming first that $\BY$ is invertible. Let
$\mathfrak{B}_{\BY}\in\mathrm{End}_{\bb{R}}(\mathfrak{H}(\bb{C}^{2}))$ be defined by
\[
\mathfrak{B}_{\BY}\BZ=\BY\mathrm{cof}(\BZ)^{T}\BY^{H}.
\]
Let $\lambda$ be an eigenvalue of $\mathfrak{B}_{\BY}$.
Then, taking determinants in the equation $\mathfrak{B}_{\BY}\BZ=\lambda\BZ$ we obtain
\[
\lambda^{2}\det\BZ=|\det\BY|^{2}\det\BZ.
\]
Hence, either $\lambda=\pm|\det\BY|$ or $\det\BZ=0$. In the latter case, $\BZ$
is a real multiple of $\Ba\otimes\bra{\Ba}$ for some nonzero vector
$\Ba\in\bb{C}^{2}$. Then
\[
\BY\BR_{\perp}\bra{\Ba}\otimes\bra{\BY}\BR_{\perp}\Ba=\lambda\Ba\otimes\bra{\Ba}.
\]
Taking traces we obtain
\[
\lambda=\frac{|\BY\BR_{\perp}\bra{\Ba}|^{2}}{|\Ba|^{2}}\ge 0.
\]
Thus, the only possible negative eigenvalue of $\mathfrak{B}_{\BY}$ is
$\lambda=-|\det\BY|$. Observing that
$\mathfrak{B}_{e^{i\alpha}\BY}=\mathfrak{B}_{\BY}$ for any $\alpha\in\bb{R}$, we may
assume, without loss of generality, that $\det\BY>0$. It is then easy to see that
\[
\mathfrak{B}_{\BY}\Re\mathfrak{e}(\BY)=(\det\BY)\Re\mathfrak{e}(\BY),\qquad
\mathfrak{B}_{\BY}\mathfrak{Im}(\BY)=-(\det\BY)\mathfrak{Im}(\BY).
\]
If $\BY$ is real and symmetric, then
\[
\mathfrak{B}_{\BY}\BZ_{\pm}(c)=(\pm\det\BY)\BZ_{\pm}(c),\quad
\BZ_{+}=\phi(c)\BY+\BY\phi(\bra{c}),\quad\BZ_{-}=\psi(c)\BY+\BY\psi(c)
\]
for any $c\in\bb{C}$ for which $\BZ_{\pm}(c)\not=0$.
In fact, the characteristic polynomial of $\mathfrak{B}_{\BY}$ (as computed by Maple) is
\[
p(x)=(x^{2}-|\det\BY|^{2})(x^{2}+|\det\BY|^{2}+x\av{\BY,\mathrm{cof}(\BY)})),\quad
\av{\BA,\BB}=\mathrm{Tr}\,(\BA\BB^{H}).
\]
One can check that the roots of $p(x)$, other than $\pm|\det\BY|$, are either
both complex or both positive.

Hence, $\Hat{\BZ}(\theta)=(\mathsf{I}+\theta\mathfrak{B}_{\BY})^{-1}(\BX+\bra{\BX})$ and
$\theta$ is found as a positive root of
\begin{equation}
  \label{rootheta}
  \theta\det\left[(\mathsf{I}+\theta\mathfrak{B}_{\BY})^{-1}(\BX+\bra{\BX})\right]=1,
\end{equation}
such that $(\mathsf{I}+\theta\mathfrak{B}_{\BY})^{-1}(\BX+\bra{\BX})>\bra{\BX}$.

The case $\det\BY=0$ was not considered, but being the
limiting case of the general one, our conclusion stays the same: $\theta$ is
a positive root of (\ref{rootheta}), such that
\begin{equation}
  \label{Lst}
  \BL^{*}=(\mathsf{I}+\theta\mathfrak{B}_{\BY})^{-1}(\BX+\bra{\BX})-\bra{\BX}>0.
\end{equation}
We conjecture that $\theta$ must be the smallest positive root of
(\ref{rootheta}). This is easily verified if $|\BY|$ is sufficiently small.

In the special case when $\BY$ is real (or purely imaginary) we can write reasonably compact
equations:
\[
\BZ=\frac{2\Re\mathfrak{e}(\BX)}{1-\theta\det\BY}-\frac{2\theta\mathrm{Tr}\,(\mathrm{cof}(\BY)\Re\mathfrak{e}(\BX))\BY}{1-\theta^{2}\det\BY^{2}}
\]
\[
\frac{\theta\det\Re\mathfrak{e}(\BX)}{(1-\theta\det\BY)^{2}}-\frac{\theta^{2}(\mathrm{Tr}\,(\mathrm{cof}(\BY)\Re\mathfrak{e}(\BX)))^{2}}
{(1-\theta^{2}\det\BY^{2})^{2}}=\nth{4}.
\]
If we change variables $t=\theta\det\BY$, then we can write the equation for $t$ as
\[
t(1+t)^{2}\det(\BY^{-1}\Re\mathfrak{e}(\BX))-t^{2}(\mathrm{Tr}\,(\BY^{-1}\Re\mathfrak{e}(\BX)))^{2}=\nth{4}(1-t^{2})^{2}.
\]
If $s_{1}$ and $s_{2}$ are the eigenvalues of
$(\Re\mathfrak{e}\BX)^{1/2}\BY^{-1}(\Re\mathfrak{e}\BX)^{1/2}$, then (assuming, without loss of generality, that
$\det\BY>0$) we obtain $|s_{j}|>1$ as a consequence of positive definteness of
$\mathsf{L}_{0}$, while the equation for $t$ reads
\[
p(t)=t(1+t)^{2}|s_{1}||s_{2}|-t^{2}(|s_{1}|+|s_{2}|)^{2}-\nth{4}(1-t^{2})^{2}=0.
\]
The case $s_{1}=s_{2}=s$ can be solved explicitly. The roots of $p(t)$ are $t=1$
of multiplicity 2 and $t_{\pm}(s)=2s^{2}-1\pm2s\sqrt{s^{2}-1}$. It is obvious
that $p(t)<0$, when $t\le 0$, so all the real roots of $p(t)$ have to be
positive. The product $t_{+}(s)t_{-}(s)=1$, so one of the roots is in $(0,1)$,
while the other is in $(1,+\infty)$. The discriminant of $p(t)$ is
\[
\Delta[p]=(s_{1}^{2}-1)^{2}(s_{2}^{2}-1)^{2}(s_{1}^{2}-s_{2}^{2})^{2}.
\]
Thus, for all $(s_{1},s_{2})\in D=\{(s_{1},s_{2}):s_{1}>s_{2}>1\}$ the number
of real roots is the same. We also compute $p(0)=-1/2$ and
$p(1)=-(s_{1}-s_{2})^{2}$, which show that the number of roots in $(0,1)$ and
in $(1,+\infty)$ remains the same. It is easy to check that there are 4 real
roots when $s_{1}=s_{2}+\epsilon$: two in $(0,1)$ and two in $(1,+\infty)$.

\section{An application: two phase composites with isotropic phases}
\label{sec:twophase}
The results in this section consitute Master's thesis of Sarah Childs (MS
2020, Temple University).

\subsection{Analysis}
If we have two given isotropic tensors $\mathsf{L}_{1}$, $\mathsf{L}_{2}$ we first use the
global link to map $\mathsf{L}_{1}$ to $\mathsf{I}$, while $\mathsf{L}_{2}$ will be mapped to
some other isotropic tensor $\mathsf{L}_{0}$. Next we compute
$\mathsf{K}_{0}=2(\mathsf{L}_{0}+\mathsf{I})^{-1}-\mathsf{I}$ and write is as $\mathsf{K}_{0}=K(\BX_{0},0)$ for
some $\BX_{0}\in\mathfrak{H}(\bb{C}^{2})$. We then apply the global automorphism
(\ref{Jautoex}) and map $\BX_{0}$ to $\BC\BX_{0}\BC^{H}$ using $\BC\in O(2,\bb{C})$. Hence,
we need to understand the action of $G=O(2,\bb{C})$ on
$\mathfrak{H}(\bb{C}^{2})$. The group $G$ has two connected components
$G_{+}=SO(2,\bb{C})$ and $G_{-}=\psi(1)G_{+}$. Hence, it is enough to
understand the action of the subgroup $G_{+}$ on $\mathfrak{H}(\bb{C}^{2})$.
We do this by first identifying invariant subspaces
of $G_{+}$. The calculations have already been done. These invariant subspaces are
$\bb{R}\BZ_{0}$, $\bb{R}\bra{\BZ_{0}}$, and $\BGY$, where
\[
\mathfrak{H}(\bb{C}^{2})=\bb{R}\BZ_{0}\oplus\bb{R}\bra{\BZ_{0}}\oplus\BGY.
\]
We recall that
$\BGY=\{\psi(z):z\in\bb{C}\}$. We then have for $\BC_{+}(c)\in G_{+}$,
given by (\ref{Cpmdef})
\[
\BC_{+}(c)\psi(z)\BC_{+}(c)^{H}=\psi(e^{-2i\Re\mathfrak{e}(c)}z),
\]
and
\[
\BC_{+}(c)\BZ_{0}\BC_{+}(c)^{H}=e^{2\mathfrak{Im}(c)}\BZ_{0},\qquad
\BC_{+}(c)\bra{\BZ_{0}}\BC_{+}(c)^{H}=e^{-2\mathfrak{Im}(c)}\bra{\BZ_{0}}.
\]
These formulas show that $G_{+}$ contains two 1-parameter subgroups
\[
H_{+}=\{\BC_{+}(c): c\in\bb{R}\}=SO(2,\bb{R}),\qquad
H_{-}=\{\BC_{+}(c): \Re\mathfrak{e}(c)=0\}.
\]
All points in the subspace $\BGY$ are fixed by $H_{-}$, while all points
in the subspace $\BGF=\mathrm{Span}_{\bb{R}}\{\BZ_{0},\bra{\BZ_{0}}\}$ are fixed by $H_{+}$. At
the same time $H_{+}$ acts by rotations on $\BGY$, while $H_{-}$ acts by
hyperbolic rotations on $\BGF$. Thus, in order to understand how we can
transform $\BX_{0}$ by $G_{+}$ we first split $\BX_{0}$ into its $\BGF$ and
$\BGY$ components:
\[
\BX_{0}=\BF+\BY,\qquad\BF\in\BGF,\quad \BY\in\BGY.
\]
We first apply $H_{+}$ to transform $\BY$ as desired, while $\BF$ is
unchanged. We then apply $H_{-}$ to transform $\BF$ as desired, while the
transformed matrix $\BY$ is unchanged. What can be accomplished is shown in
Fig.~\ref{fig:bincomp}.
\begin{figure}[t]
  \centering
  \includegraphics[scale=0.39]{bincompfig.eps}
  \caption{Action of the global automorphism (\ref{Jautoex}) on $\BX_{0}=\BF+\BY$.}
  \label{fig:bincomp}
\end{figure}
It depends on
whether we are in a generic situation, where $\BY\not=0$ and $\BF$ is neither
a real multiple of $\BZ_{0}$ nor of $\bra{\BZ_{0}}$, or in one of the special
ones. In the generic case we can rotate $\BF$ to a matrix
$f\BI_{2}\in{\mathcal D}\cap\BGF$ or $if\BR_{\perp}\in{\mathcal D}'\cap\BGF$, depending on
whether $|\mathrm{Tr}\,\BF|$ is greater or smaller than $2|\mathfrak{Im}(F_{12})|$,
respectively. While we can rotate $\BY$ to $\psi(y)\in{\mathcal D}\cap\BGY$ or in
$\psi(iy)\in{\mathcal D}'\cap\BGY$, $y>0$, as desired, i.e. according to which space the
component $\BF$ can be rotated to. In that case either the physically trivial
exact relation $({\mathcal D},{\mathcal D})$ can be used or an exact relation $({\mathcal D},{\mathcal D}')$
is applicable, unless $\det(\BX_{0})=0$, in which case
$\mathrm{Ann}(\bb{C}\Be_{2})\subset({\mathcal D},{\mathcal D})$ exact relation would apply. There are the
following special cases
\begin{enumerate}
\item $\BY\not=0$, $\BF\in\bb{R}\BZ_{0}$ or $\BF\in\bb{R}\bra{\BZ_{0}}$ and
  $\BF\not=0$. Exact relation $(W,V_{\infty})\sim(\bra{W},\bra{V_{\infty}})$
  is applicable.
\item $\BY\not=0$, $\BF=0$. Exact relation
  $(\bb{C}\BI,\bb{R}\BY)\sim(\bb{C}\BI,\bb{R}\psi(i))=(\bb{C}\BI,\Psi)\cap({\mathcal D},{\mathcal D}')$
  is applicable.
\item $\BY=0$, $\BF\not\in\bb{R}\BZ_{0}$,
  $\BF\not\in\bb{R}\bra{\BZ_{0}}$. Exact relation $(\bb{C}\BI,\bb{R}\BF)$ is
  applicable. If we are in a strongly coupled case then
  $(\bb{C}\BI,\bb{R}\BF)\sim(\bb{C}\BI,i\BR_{\perp})=(\bb{C}\BI,\Psi)\cap({\mathcal D},{\mathcal D}')$,
  otherwise,
  $(\bb{C}\BI,\bb{R}\BF)\sim(\bb{C}\BI,\bb{R}\BI)=(\bb{C}\BI,\Psi)\cap({\mathcal D},{\mathcal D})$.
\item $\BY=0$ and $\BF\in\bb{R}\BZ_{0}$ or $\BF\in\bb{R}\bra{\BZ_{0}}$ and $\BF\not=0$. Exact
  relation $(0,\bb{R}\BZ_{0})\sim(0,\bb{R}\bra{\BZ_{0}})$ is applicable.
\end{enumerate}
Thus, if both components of $\BX_{0}$ are non-zero then there are 4 exact
relations between components of $\mathsf{L}^{*}$. What is interesting is that the
form of these relations depends very much on specific values of the
components.  If one of the components of $\BX_{0}$ happens to be 0, then there
would be at least 7 exact relations, rising to 9 in a very special case
$\BX_{0}=x_{0}\BZ_{0}$ or $\BX_{0}=x_{0}\bra{\BZ_{0}}$, in this very special case
\emph{all} components of $\mathsf{L}^{*}$ will be uniquely determined if the volume
fractions of the components are known.

If we write $\mathsf{L}_{j}=\BGs_{j}\otimes\BI_{2}+r_{j}\mathsf{T}$. Then the
transformation
\begin{equation}
  \label{Psi0}
  \Psi(\mathsf{L})=(\BGs_{1}^{-1/2}\otimes\BI_{2})(\mathsf{L}-r_{1}\mathsf{T})(\BGs_{1}^{-1/2}\otimes\BI_{2})
\end{equation}
maps $\mathsf{L}_{1}$ to $\mathsf{I}$, while
\[
\mathsf{L}'=\Psi(\mathsf{L}_{2})=K\left(\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2}+\frac{r_{2}-r_{1}}{\sqrt{\det{\BGs_{1}}}}i\BR_{\perp},0\right).
\]
Next we apply transformation $\Psi_{\BA,\BI_{2}}$, where
\[
 \BA=\mat{a_{0}}{1}{1}{a_{0}}
\]
These transformations have the property that
$\Psi(\mathsf{I})=\mathsf{I}$. Then denoting
\begin{equation}
  \label{sigmarho}
  \BGs=\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2},\qquad\rho=\frac{r_{2}-r_{1}}{\sqrt{\det{\BGs_{1}}}},
\end{equation}
we obtain
\[
\Psi_{\BA,\BI_{2}}(K(\BGs+i\rho\BR_{\perp},0))=K(\BL,0),\quad
\BL=i\BR_{\perp}(\BGs+i(\rho+a_{0})\BR_{\perp})^{-1}(a_{0}\BGs+i(a_{0}\rho+1)\BR_{\perp}).
\]
Since all the matrices involved in the formula for $\BL$ are $2\times 2$ we
have
\[
(\BGs+i(\rho+a_{0})\BR_{\perp})^{-1}=
\frac{\BR_{\perp}^{T}(\BGs-i(\rho+a_{0})\BR_{\perp})\BR_{\perp}}{\det\BGs-(\rho+a_{0})^{2}}.
\]
Thus,
\begin{equation}
  \label{Psi2L}
  \BL=\frac{(1-a_{0}^{2})\BGs+i(a_{0}\det\BGs-(\rho+a_{0})(a_{0}\rho+1))\BR_{\perp}}
{\det\BGs-(\rho+a_{0})^{2}}.
\end{equation}
Let us now choose $a_{0}$ so that the matrix $\BL$ is real and symmetric. This
means that $a_{0}$ must be a root of
\begin{equation}
  \label{diaga0}
  (a_{0}^{2}+1)\rho=a_{0}(\det\BGs-(\rho^{2}+1)).
\end{equation}
It is easy to check that the discriminant of the quadratic equation
(\ref{diaga0}) is nonnegative if and only if
\begin{equation}
  \label{wkcpld}
  |r_{1}-r_{2}|\le\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|.
\end{equation}
We will call this case ``weakly coupled'' because there is a choice of $a_{0}$
(a root of (\ref{diaga0})) that eliminates the thermoelectric coupling from
both materials. The exceptional cases are $\det\BGs=(\rho\pm 1)^{2}$, in
which case the inverse in the definition of $\BL$ does not exist. We note that
there are several possibilities.
\begin{enumerate}
\item We could have mapped $\mathsf{L}_{2}$ to $\mathsf{I}$, instead of $\mathsf{L}_{1}$. That
  means that instead of a pair of numbers $(\rho,\det\BGs)$ we will get a pair
  of numbers
\[
(\rho',\det\BGs')=\left(-\frac{\rho}{\sqrt{\det\BGs}},\nth{\det\BGs}\right).
\]
It is easy to check that the sign of the discriminant of (\ref{diaga0}) does
not depend on the choice of which $\mathsf{L}_{j}$ gets mapped to $\mathsf{I}$.
\item In each case there are two real roots $a_{0}$. If one root is $a_{0}$,
  the other root is $1/a_{0}$.
\end{enumerate}
We want $\BL>0$.
This means that in each case we must have the inequality
\[
\frac{1-a_{0}^{2}}{\det\BGs-(\rho+a_{0})^{2}}>0.
\]
In the weakly coupled case (\ref{diaga0}) we have
\[
\frac{1-a_{0}^{2}}{\det\BGs-(\rho+a_{0})^{2}}=\frac{a_{0}}{\rho+a_{0}}=\frac{a_{0}\rho+1}{\det\BGs}.
\]
If $a_{1}$ and $a_{2}$ are the two roots of (\ref{diaga0}), then
\[
\frac{a_{1}}{\rho+a_{1}}\cdot\frac{a_{2}}{\rho+a_{2}}=\nth{\det\BGs}>0,
\]
\[
\frac{a_{1}}{\rho+a_{1}}+\frac{a_{2}}{\rho+a_{2}}=\frac{\det\BGs-\rho^{2}+1}{\det\BGs}.
\]
The inequality $\det\BGs-\rho^{2}+1>0$
always holds in the weakly coupled case.

In the strongly coupled case, i.e. when inequality (\ref{wkcpld}) is violated,
we first apply the transformation
\[
\Psi_{0}(\mathsf{L})=(\BGs_{1}^{-1/2}\otimes\BI_{2})\mathsf{L}(\BGs_{1}^{-1/2}\otimes\BI_{2})
\]
which mapps $\BL_{1}$ into
$\BL'_{1}=\BI_{2}+i\rho_{1}\BR_{\perp}$, and $\BL_{2}$ into
$\BL'_{2}=\BGs+i\rho_{2}\BR_{\perp}$, where
\[
\rho_{j}=\frac{r_{j}}{\sqrt{\det{\BGs_{1}}}}.
\]
In this case we look for a simpler transformation
\[
\Psi_{3}(\mathsf{L})=a\mathsf{L}+b\mathsf{T},
\]
which maps $\mathsf{L}'_{j}$ onto the ER $({\mathcal D},{\mathcal D}')$ if we work in the frame in
which $\BGs_{11}=\BGs_{22}$. The coefficients $a>0$ and $b\in\bb{R}$ need to
be chosen so that
\[
\det(a\BI_{2}+i(a\rho_{1}+b)\BR_{\perp})=\det(a\BGs+i(a\rho_{2}+b)\BR_{\perp})=1
\]
This means that
\[
a^{2}=(a\rho_{1}+b)^{2}+1,\qquad a^{2}\det\BGs=(a\rho_{2}+b)^{2}+1.
\]
Subtracting the two equations we find
\[
b=a\frac{\det\BGs-1+\rho_{1}^{2}-\rho_{2}^{2}}{2\rho},
\]
where $\rho$ is the same as before. We then find that
\[
a^{2}\frac{((\rho+1)^{2}-\det\BGs)(\det\BGs-(\rho-1)^{2})}{4\rho^{2}}=1.
\]
We note that since $|\rho_{1}|<1$ and $|\rho_{2}|<\sqrt{\det\BGs}$, then
\[
|\rho|=|\rho_{2}-\rho_{1}|\le|\rho_{2}|+|\rho_{1}|<\sqrt{\det\BGs}+1.
\]
This is equivalent to
\[
|r_{2}-r_{1}|<\sqrt{\det\BGs_{1}}+\sqrt{\det\BGs_{2}}.
\]
Using our original parameters we can write
\[
a^{2}=\frac{4\Delta r^{2}\det\BGs_{1}}{
(\Delta r^{2}-(\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}})^{2})
((\sqrt{\det\BGs_{1}}+\sqrt{\det\BGs_{2}})^{2}-\Delta r^{2})},\qquad\Delta r=r_{2}-r_{1}
\]
This shows that in the strongly coupled regime we can always choose $a>0$.
We will therefore write
\[
a=2a_{0}\sqrt{\det\BGs_{1}},\quad
a_{0}=\frac{|\Delta r|}{\sqrt{(\Delta r^{2}-(\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}})^{2})
((\sqrt{\det\BGs_{1}}+\sqrt{\det\BGs_{2}})^{2}-\Delta r^{2})}}
\]
\[
b=a_{0}\frac{\det\BGs_{2}+r_{1}^{2}-r_{2}^{2}}{r_{2}-r_{1}}.
\]

Let us find the conditions for each case, including special cases explicitly
in terms of $\BGs_{j}$, $r_{j}$, $j=1,2$. We compute
\[
\BX_{0}=2\left(\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2}+\BI_{2}+\frac{r_{2}-r_{1}}{\sqrt{\det{\BGs_{1}}}}i\BR_{\perp}\right)^{-1}-\BI_{2}.
\]
It fairly easy to show that $\BY\not=0$ if and only if  $\BGs_{1}$ and $\BGs_{1}$ are not scalar
multiples of one another. it is also easy to show that $\BF=0$ if and only if  $r_{1}=r_{2}$ and
$\det\BGs_{1}=\det\BGs_{2}$. In order to split $\BX_{0}$ into the $\BGF$ and
$\BGY$ parts we can use the formula
\[
(\varphi(\alpha)+\psi(a)+ir\BR_{\perp})^{-1}=\frac{\varphi(\alpha)-\psi(a)-ir\BR_{\perp}}{\alpha^{2}-|a|^{2}-r^{2}}.
\]
So, if $\BF=\varphi(\alpha)+ir\BR_{\perp}$ and $\BY=\psi(a)$, then we have the
equation
\[
\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2}+\BI_{2}+\frac{r_{2}-r_{1}}{\sqrt{\det{\BGs_{1}}}}i\BR_{\perp}=2\frac{\varphi(\alpha+1)-\psi(a)-ir\BR_{\perp}}{(\alpha+1)^{2}-|a|^{2}-r^{2}}.
\]
Hence we have the following system
\[
\begin{cases}
  \frac{r_{2}-r_{1}}{\sqrt{\det{\BGs_{1}}}}=-\frac{2r}{(\alpha+1)^{2}-|a|^{2}-r^{2}},\\
\mathrm{Tr}\,(\BGs_{2}\BGs_{1}^{-1})+2=\frac{4(\alpha+1)}{(\alpha+1)^{2}-|a|^{2}-r^{2}},\\
\frac{\det\BGs_{2}}{\det\BGs_{1}}=\det\left(2\frac{\varphi(\alpha+1)-\psi(a)}{(\alpha+1)^{2}-|a|^{2}-r^{2}}-\varphi(1)\right).
\end{cases}
\]
The condition that $\BF\in\bb{R}\BZ_{0}$ or $\BF\in\bb{R}\bra{\BZ_{0}}$ is
equivalent to $r^{2}=\alpha^{2}$.
\[
\begin{cases}
  |a|^{2}=\frac{\mathrm{Tr}\,(\BGs_{1}\mathrm{cof}(\BGs_{2}))^{2}-4\det(\BGs_{1}\BGs_{2})}{(\det(\BGs_{1}+\BGs_{2})-(r_{1}-r_{2})^{2})^{2}},\\
r^{2}=\frac{4(r_{1}-r_{2})^{2}\det(\BGs_{1})}{(\det(\BGs_{1}+\BGs_{2})-(r_{1}-r_{2})^{2})^{2}},\\
\alpha=\frac{(r_{1}-r_{2})^{2}+\det(\BGs_{1})-\det(\BGs_{2})}{\det(\BGs_{1}+\BGs_{2})-(r_{1}-r_{2})^{2}}
\end{cases}
\]
The condition that $\BF\in\bb{R}\BZ_{0}$ or $\BF\in\bb{R}\bra{\BZ_{0}}$ is
equivalent to
\begin{equation}
  \label{RZ0}
  |r_{1}-r_{2}|=\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|.
\end{equation}
The composite made with the pair of isotropic materials $\mathsf{L}_{j}$ will be
called weakly thermoelectrically heterogenerous if
\begin{equation}
  \label{weak}
  |r_{1}-r_{2}|<\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|,
\end{equation}
and strongly coupled otherwise. (We note that requirement of positive
definteness of $\mathsf{L}_{j}$ implies that $r_{j}^{2}<\det\BGs_{j}$.) The
thermoelectric interactions in a weakly thermoelectrically heterogenerous
composite can be decoupled. Such a decoupling is impossible in a strongly
thermoelectrically heterogenerous composite. Here is the summary.
\begin{enumerate}
\item $\BGs_{1}\not=\theta\BGs_{2}$ (generic case)
  \begin{enumerate}
  \item $|r_{1}-r_{2}|<\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|$
    (weakly coupled case)
    \begin{enumerate}
    \item $|r_{1}-r_{2}|^{2}\not=\det(\BGs_{1}-\BGs_{2})$: ER $({\mathcal D},{\mathcal D})$.
      This implies that the 10 components of $\mathsf{L}^{*}$ depend only on 6
      microstructure-dependent parameters. Moreover, the link
      $({\mathcal D},{\mathcal D})/{\rm Ann}(\bb{C}\Be_{2})\cong{\rm Ann}(\bb{C}\Be_{2})$ that relates
      $\mathsf{L}^{*}$ to the effective tensor of a 2D conducting composite applies.
    \item $|r_{1}-r_{2}|^{2}=\det(\BGs_{1}-\BGs_{2})$: ER Ann$(\bb{C}\Be_{2})$.
      This implies that the 10 components of $\mathsf{L}^{*}$ depend only on 3
      microstructure-dependent parameters. Moreover, they can be expressed in
      terms of the effective tensor of a 2D conducting composite.
    \end{enumerate}
  \item $|r_{1}-r_{2}|>\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|$:
    ER $({\mathcal D},{\mathcal D}')$ (strongly coupled case)
    This implies that the 10 components of $\mathsf{L}^{*}$ depend
    only on 6 microstructure-dependent parameters.
  \item $|r_{1}-r_{2}|=\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|$
  (borderline strongly coupled case)
    \begin{enumerate}
    \item $r_{1}\not=r_{2}$: ER $(W,V_{\infty})$. This implies that the 10
      components of $\mathsf{L}^{*}$ depend only on 6 microstructure-dependent
      parameters. Moreover, the link $(W,V_{\infty})/{\rm
        Ann}(\bb{C}\bra{\Bz_{0}})\cong(\bb{C}\BI,\bb{R}\psi(i))$ is applicable. This
      means that there is a link between this case and the $r_{1}=r_{2}$ case,
      since ERs $(\bb{C}\BI,\bb{R}\psi(i))$ and $(\bb{C}\BI,\bb{R}\psi(1))$
      are isomorphic.
    \item $r_{1}=r_{2}$: ER $(\bb{C}\BI,\bb{R}\psi(1))$. This implies that the
      10 components of $\mathsf{L}^{*}$ depend only on 3 microstructure-dependent
      parameters, expressible in terms of 2D conductivity.
    \end{enumerate}
\end{enumerate}
\item $\BGs_{1}=\theta_{1}\BGs$, $\BGs_{2}=\theta_{2}\BGs$ (special nongeneric case)
  \begin{enumerate}
  \item $|r_{1}-r_{2}|<|\theta_{1}-\theta_{2}|\sqrt{\det\BGs}$:
    ER $(\bb{C}\BI,\bb{R}\BI)$. This implies that the 10 components of $\mathsf{L}^{*}$ depend
    only on 3 microstructure-dependent parameters, which are expressible in
    terms of the effective tensor of a 2D conducting composite.
  \item $|r_{1}-r_{2}|>|\theta_{1}-\theta_{2}|\sqrt{\det\BGs}$:
    ER $(\bb{C}\BI,i\BR_{\perp})$. This implies that the 10 components of $\mathsf{L}^{*}$ depend
    only on 3 microstructure-dependent parameters.
  \item $|r_{1}-r_{2}|=|\theta_{1}-\theta_{2}|\sqrt{\det\BGs}$:
    ER $(0,\bb{R}\BZ_{0})$. This implies $\mathsf{L}^{*}$ is completely determined, regardless
    of microstructure, if the volue fractions are known.
  \end{enumerate}
\end{enumerate}

An example is a binary composite made with isotropic thermoelectric materials
in which the Seebeck coefficient $\BS$ is a scalar. In this case we have
$r_{1}=r_{2}=0$. Let $\Sigma^{*}(h)$ be the effective tensor of an isotropic
conducting composite made with two isotropic materials, whose conductivities
are 1 and $h$. Then $\BGS^{*}$ can be applied to symmetric matrices according
to the rule
\[
\Sigma^{*}(\BS)=\BR\mat{\Sigma^{*}(s_{1})}{0}{0}{\Sigma^{*}(s_{2})}\BR^{T},\qquad
\BS=\BR\mat{s_{1}}{0}{0}{s_{2}}\BR^{T}.
\]
Then the effective thermoelectric tensor of such a composite will be isotropic
and also have scalar Seebeck coefficient
$r^{*}=0$ and
\[
\mathsf{L}^{*}=\BGs^{*}\otimes\BI_{2},\qquad
\BGs^{*}=\BGs_{1}^{1/2}\Sigma^{*}(\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2})\BGs_{1}^{1/2}.
\]
\subsection{Results}
In many cases the results will be formulated in terms of the microstructure-dependent function
$\BGS(h)$, representing the effictive conductivity of a two-phase composite
with isotropic constituent conductivities $\BI_{2}$ and $h\BI_{2}$, replacing
materials $\mathsf{L}_{1}$, $\mathsf{L}_{2}$ in the original composite. Another convenient
notation will be matrices $\BS_{1}$ and $\BS_{2}$ definied by
\[
\BS_{1}=\frac{\BGs_{2}-\lambda_{1}\BGs_{1}}{\lambda_{2}-\lambda_{1}},\qquad
\BS_{2}=\frac{\BGs_{2}-\lambda_{2}\BGs_{1}}{\lambda_{1}-\lambda_{2}},
\]
where $\lambda_{1}$ and $\lambda_{2}$ are the two roots of the quadratic equation
$\det(\BGs_{2}-\lambda\BGs_{1})=0$. The ordering of the roots is unimportant. This
notation will not be used when $\BGs_{1}$ and $\BGs_{2}$ are scalar multiples
of one another, since in this case $\lambda_{1}=\lambda_{2}$ and the
matrices $S_{j}$ are undefined.

$\bullet$ (2(c)) $\BGs_{1}=\theta_{1}\BGs_{0}$, $\BGs_{2}=\theta_{2}\BGs_{0}$,
$|r_{1}-r_{2}|=|\theta_{1}-\theta_{2}|\sqrt{\det\BGs_{0}}$. We apply the global
automorphism
\[
\Psi(\mathsf{L})=\nth{\theta_{1}}(\BGs_{0}^{-1/2}\otimes\BI_{2})(\mathsf{L}-r_{1}\mathsf{T})(\BGs_{0}^{-1/2}\otimes\BI_{2}),
\]
which maps $\mathsf{L}_{1}$ into $\mathsf{I}$ and $\mathsf{L}_{2}$ into
\[
\mathsf{L}_{0}=\mat{\frac{\theta_{2}}{\theta_{1}}\BI_{2}}{-\frac{r_{2}-r_{1}}{\theta_{1}\sqrt{\det\BGs_{0}}}\BR_{\perp}}{\frac{r_{2}-r_{1}}{\theta_{1}\sqrt{\det\BGs_{0}}}\BR_{\perp}}{\frac{\theta_{2}}{\theta_{1}}\BI_{2}},
\]
corresponding to the ER $(0,\bb{R}\BZ_{0})$ or $(0,\bb{R}\bra{\BZ_{0}})$.
We choose indexing in such a way that $\theta_{2}\ge \theta_{1}$, so that
$\mathsf{L}_{0}>0$. If we denote
\[
\lambda=\frac{\theta_{2}}{\theta_{1}}\ge 1,
\]
then either
\[
\frac{r_{2}-r_{1}}{\theta_{1}\sqrt{\det\BGs_{0}}}=\lambda-1,\text{ or }
\frac{r_{2}-r_{1}}{\theta_{1}\sqrt{\det\BGs_{0}}}=-(\lambda-1),
\]
depending on whether
$r_{1}-r_{2}=(\theta_{1}-\theta_{2})\sqrt{\det\BGs_{0}}$ or
$r_{1}-r_{2}=-(\theta_{1}-\theta_{2})\sqrt{\det\BGs_{0}}$, respectively.
In either case the effective tensor of a composite made with $\mathsf{I}$ and
$\mathsf{L}_{0}$ will have the form
\[
\mathsf{L}^{*}_{0}=\mat{\lambda^{*}\BI_{2}}{\mp(\lambda^{*}-1)\BR_{\perp}}{\pm(\lambda^{*}-1)\BR_{\perp}}{\lambda^{*}\BI_{2}},
\qquad\nth{\lambda^{*}}=\av{\lambda(x)^{-1}}=f_{1}+\frac{f_{2}}{\lambda}.
\]
Applying $\Psi^{-1}$ transformation we obtain the formula for
$\mathsf{L}^{*}=K(\BGs^{*}+ir^{*}\BR_{\perp},0)$:
\[
  \BGs^{*}=(f_{1}\BGs_{1}^{-1}+f_{2}\BGs_{2}^{-1})^{-1},\qquad
r^{*}=r_{1}+\frac{(r_{2}-r_{1})f_{2}\theta_{1}}{f_{1}\theta_{2}+f_{2}\theta_{1}}=
\frac{r_{1}f_{1}\theta_{1}^{-1}+r_{2}f_{2}\theta_{2}^{-1}}{f_{1}\theta_{1}^{-1}+f_{2}\theta_{2}^{-1}}.
\]
In other words,
\begin{equation}
  \label{2c}
\BGs^{*}=\av{\BGs(\Bx)^{-1}}^{-1},\qquad r^{*}=\frac{\av{r(x)\theta(x)^{-1}}}{\av{\theta(x)^{-1}}}.
\end{equation}

  \textbf{In every case we will work in the frame in which
    $\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2}$ is diagonal! This is not a
    physical frame. Rather it is a mathematical one, where two different linear
    combinations of the original curl-free and divergence-free fields are
    chosen as a pair of intensity and flux fields.}

$\bullet$ (1(c)ii) $\BL_{1}=\BGs_{1}+ir_{0}\BR_{\perp}$,
  $\BL_{2}=\BGs_{2}+ir_{0}\BR_{\perp}$, moreover, $\det\BGs_{1}=\det\BGs_{2}$.
The global link (\ref{Psi0}) maps $\BL_{1}$ to $\BI_{2}$ and $\BL_{2}$ to
$\BGs=\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2}$, which is always assumed to be
diagonal. Since in this case we have
$\det\BGs=1$ we can write
\[
\BGs=\mat{\lambda}{0}{0}{\lambda^{-1}},
\]
where the eigenvalues $\lambda$ and $1/\lambda$ solve
the quadratic equation
\begin{equation}
  \label{geneig12}
  \det(\BGs_{2}-\lambda\BGs_{1})=0.
\end{equation}
The effective tensor of the resulting composite is
\[
\mathsf{L}_{0}^{*}=\mat{\BGs^{*}}{0}{0}{\frac{\BGs^{*}}{\det\BGs^{*}}}=
\mat{1}{0}{0}{\nth{\det\BGs^{*}}}\otimes
\BGs^{*},\qquad\BGs^{*}=\BGS(\lambda).
\]
where $\BGs^{*}$ is the effective conductivity of the composite made
with 2 isotropic materials of conductivities 1 and $\lambda$ and the same microstructure\ as
the original composite.
We conclude that
\begin{equation}
  \label{1cii}
  \mathsf{L}^{*}=\BGs_{1}^{1/2}\mat{1}{0}{0}{\nth{\det\BGs^{*}}}\BGs_{1}^{1/2}
  \otimes\BGs^{*}+r_{0}\mathsf{T},
\end{equation}
where we have used the the form in which terms on both sides of the $\otimes$
sign are invariant with respect to the $\lambda\mapsto\lambda^{-1}$ permutation.
We can express the answer without using $\BGs_{1}^{1/2}$ by observing that
\[
\BGs_{1}^{1/2}\BI_{2}\BGs_{1}^{1/2}=\BGs_{1},\qquad
\BGs_{1}^{1/2}\BGs\BGs_{1}^{1/2}=\BGs_{2}.
\]
In the frame in which $\BGs$ is diagonal we obtain
\[
\mathsf{L}^{*}=r_{0}\mathsf{T}+((\det\BGs^{*}-\lambda^{2})\BGs_{1}+\lambda(1-\det\BGs^{*})\BGs_{2})
\otimes\frac{\BGs^{*}}{(1-\lambda^{2})\det\BGs^{*}},
\]
where $\lambda>0$ solves (\ref{geneig12}) and $\BGs^{*}=\Sigma_{\rm 2D cond}(1,\lambda)$,
and the result is independent of the choice of the root in (\ref{geneig12}).
We note that in the notation $\BA\otimes\BB$, the frame of the operator $\BB$
is the physical one, while the frame of $\BA$ is mathematical. In the formula
for $\mathsf{L}^{*}$ above the first factor of the tensor product would look the
same in the original frame, since the tensors $\BGs_{j}$ are transforming
together with the mathematical frame. Using our notation $\BS_{1}$ and
$\BS_{2}$ are can write the final answer as
\[
\mathsf{L}^{*}=r_{0}\mathsf{T}+\left(\frac{\BS_{1}}{\det\BGs^{*}}+\BS_{2}\right)\otimes\BGs^{*}.
\]

$\bullet$ (1(a)ii) $|r_{1}-r_{2}|^{2}=\det(\BGs_{1}-\BGs_{2})$. In this case the
quadratic equation (\ref{diaga0}) has two solutions $(\lambda_{j}-1)/\rho$,
$j=1,2$, where the eigenvalues $\lambda_{1}$ and $\lambda_{2}$ of $\BGs$ solve
(\ref{geneig12}). If we choose $a_{0}=(\lambda_{1}-1)/\rho$, then
\begin{equation}
  \label{L0st1aii}
  \BS=\mat{\frac{\lambda_{1}}{\lambda_{2}}}{0}{0}{1},\qquad
\mathsf{L}_{0}^{*}=\mat{\BGs^{*}}{0}{0}{\BI_{2}},\qquad\BGs^{*}=\BGS\left(\frac{\lambda_{1}}{\lambda_{2}}\right).
\end{equation}

Inverting our global link that mappled $\mathsf{L}_{1}$ to $\tns{\BI_{2}}$ and
$\mathsf{L}_{2}$ to $\BS\otimes\BI_{2}$ we obtain
\[
\mathsf{L}^{*}=r_{1}\mathsf{T}+(\BGs_{1}^{1/2}\otimes\BI_{2})(\mathsf{T}-a_{0}\mathsf{L}_{0}^{*})(\mathsf{L}_{0}^{*}-a_{0}\mathsf{T})^{-1}\mathsf{T}(\BGs_{1}^{1/2}\otimes\BI_{2}).
\]
Observe that
\[
\mathsf{P}^{*}=(\mathsf{T}-a_{0}\mathsf{L}_{0}^{*})(\mathsf{L}_{0}^{*}-a_{0}\mathsf{T})^{-1}\mathsf{T}=
(1-a_{0}^{2})\mathsf{T}(\mathsf{L}_{0}^{*}-a_{0}\mathsf{T})^{-1}\mathsf{T}-a_{0}\mathsf{T}.
\]
We then compute (verified by Maple)
\[
\mathsf{P}^{*}_{0}=(1-a_{0}^{2})\mathsf{T}(\mathsf{L}_{0}^{*}-a_{0}\mathsf{T})^{-1}\mathsf{T}=\frac{1-a_{0}^{2}}{\det(\BGs^{*}-a_{0}^{2})}
\mat{\det\BGs^{*}-a_{0}^{2}\BGs^{*}}{a_{0}\BR_{\perp}^{T}(\BGs^{*}-a_{0}^{2})}
{a_{0}(\BGs^{*}-a_{0}^{2})\BR_{\perp}}{\BGs^{*}-a_{0}^{2}}.
\]
Thus,
\begin{equation}
  \label{Lst1aii}
  \mathsf{L}^{*}=(r_{1}-a_{0}\sqrt{\det\BGs_{1}})\mathsf{T}+(\BGs_{1}^{1/2}\otimes\BI_{2})\mathsf{P}^{*}_{0}
(\BGs_{1}^{1/2}\otimes\BI_{2}).
\end{equation}

In order to write $\mathsf{L}^{*}$ without the explicit reference to $\BGs_{1}^{1/2}$ we
write $\mathsf{P}_{0}^{*}$ as a sum of tensor products. In order to accomplish this
we first write $\BGs^{*}=\phi(x^{*})+\psi(y^{*})$ and then observe that
\[
\BR_{\perp}^{T}\psi(y^{*})=-\psi(iy^{*})=\psi(y^{*})\BR_{\perp}.
\]
Thus, we get
\[
\mathsf{P}^{*}_{0}=\frac{1-a_{0}^{2}}{\det(\BGs^{*}-a_{0}^{2})}\left(
\mat{\det\BGs^{*}}{0}{0}{-a_{0}^{2}}\otimes\BI_{2}+\mat{-a_{0}^{2}}{0}{0}{1}\otimes\BGs^{*}
+a_{0}(x^{*}-a_{0}^{2})\mathsf{T}-a_{0}\psi(i)\otimes\psi(iy^{*})
\right)
\]
We will then be able to compute $\mathsf{L}^{*}$ in the covariant form, if we can
express $\BGs_{1}^{1/2}\psi(i)\BGs_{1}^{1/2}$, in the covariant form.
To do this we first write $\psi(i)=\phi(i)\psi(1)$, and then
\[
\BGs_{1}^{1/2}\psi(i)\BGs_{1}^{1/2}=
\BGs_{1}^{1/2}\phi(i)\BGs_{1}^{1/2}\BGs_{1}^{-1}\BGs_{1}^{1/2}\psi(1)\BGs_{1}^{1/2}=
\sqrt{\det\BGs_{1}}\BR_{\perp}\BGs_{1}^{-1}(\BGs_{1}^{1/2}\psi(1)\BGs_{1}^{1/2}).
\]
Thus, we compute
\[
\BGs_{1}^{1/2}\psi(1)\BGs_{1}^{1/2}=\frac{(\lambda_{1}+\lambda_{2})\BGs_{1}-2\BGs_{2}}{\lambda_{2}-\lambda_{1}}
=\BS_{2}-\BS_{1}.
\]
Therefore,
\[
\BGs_{1}^{1/2}\psi(i)\BGs_{1}^{1/2}=\sqrt{\det\BGs_{1}}\BR_{\perp}\BGs_{1}^{-1}(\BS_{2}-\BS_{1}),
\]
which is now in a frame-covariant form. Putting everything together we obtain
\begin{multline}
  \label{1aiimonster}
\mathsf{L}^{*}=\left(r_{1}+a_{0}\left(\frac{(1-a_{0}^{2})(x^{*}-a_{0}^{2})}
{\det(\BGs^{*}-a_{0}^{2})}-1\right)\sqrt{\det\BGs_{1}}\right)\mathsf{T}+
\frac{1-a_{0}^{2}}{\det(\BGs^{*}-a_{0}^{2})}\times\\
\{\BS_{1}\otimes(\BGs^{*}-a_{0}^{2})+\BS_{2}\otimes(\det\BGs^{*}-a_{0}^{2}\BGs^{*})+
a_{0}\sqrt{\det\BGs_{1}}\mathsf{T}[\BGs_{1}^{-1}(\BS_{1}-\BS_{2})\otimes(\BGs^{*}-x^{*})]\}
\end{multline}
This expression is invariant with respect to the choice of $\lambda_{1}$ and
$\lambda_{2}$. This means that if we interchange $\lambda_{1}$ and $\lambda_{2}$,
$\BS_{1}$ and $\BS_{2}$,  repalce $a_{0}$ with
$1/a_{0}$, and $\BGs^{*}$ with $\BGs^{*}/\det\BGs^{*}$, the value of $\mathsf{L}^{*}$
will not change.

We also want to see if there is a symmetry wrt to material index
interchange ``1''$\mapsto$''2'' (the result should not depend on naming conventions). Hence we
need to make the following replacements:
\[
\det\BGs_{1}\mapsto\lambda_{1}\lambda_{2}\det\BGs_{1},\
a_{0}\mapsto a_{0}\sqrt{\frac{\lambda_{2}}{\lambda_{1}}},\
\BGs^{*}\mapsto\frac{\lambda_{2}}{\lambda_{1}}\BGs^{*},\ \lambda_{j}\mapsto\nth{\lambda_{j}},\
\BS_{j}\mapsto\lambda_{1}\lambda_{2}\frac{\BS_{j}}{\lambda_{j}}.
\]
We can verify that the second term is invariant. This is due to the
observation that, since
\[
a_{0}=\frac{\lambda_{1}-1}{\rho}=\frac{\rho}{\lambda_{2}-1},
\]
we can also write
\[
a_{0}^{2}=\frac{\lambda_{1}-1}{\lambda_{2}-1}\quad\Rightarrow\quad
1-a_{0}^{2}=\frac{\lambda_{2}-\lambda_{1}}{\lambda_{2}-1}.
\]
This shows that under the index-interchange we also have
$1-a_{0}^{2}\mapsto\nth{\lambda_{1}}(1-a_{0}^{2})$. The first term was also
verified to be invariant, since we can write
\[
r_{1}=\frac{r_{1}+r_{2}}{2}-\displaystyle\frac{1}{2}\rho\sqrt{\det\BGs_{1}}=\frac{r_{1}+r_{2}}{2}
-\displaystyle\frac{1}{2} a_{0}(\lambda_{2}-1)\sqrt{\det\BGs_{1}}.
\]

If $\BGs^{*}=x^{*}\BI_{2}$, the result simplifies:
\begin{equation}
  \label{1aiiiso}
  \mathsf{L}^{*}=\left(r_{1}+\frac{(1-x^{*})a_{0}}
{x^{*}-a_{0}^{2}}\sqrt{\det\BGs_{1}}\right)\mathsf{T}+
\frac{1-a_{0}^{2}}{x^{*}-a_{0}^{2}}(\BS_{1}+x^{*}\BS_{2})\otimes\BI_{2}.
\end{equation}
In order to verify (\ref{1aiimonster}) with Maple we can parametrize this case
by $\Bs=\BGs_{1}^{1/2}$, $\lambda_{1}$, $\rho$, $r_{1}$,
so that
\[
\BGs_{1}=\Bs^{2},\quad r_{2}=\rho\det\Bs+r_{1},\quad\lambda_{2}=\frac{\rho^{2}}{\lambda_{1}-1}+1,\quad
\BGs_{2}=\Bs\mat{\lambda_{1}}{0}{0}{\lambda_{2}}\Bs,\quad a_{0}=\frac{\lambda_{1}-1}{\rho}.
\]
Substituting these and $\mathsf{L}_{0}^{*}$ given by (\ref{L0st1aii}) into
(\ref{Lst1aii}) we obtain (\ref{1aiimonster}), as verified by Maple. Formula
(\ref{1aiiiso}) has also been verified.

Finally we point out that the case $a_{0}=\infty$ corresponding to
$r_{1}=r_{2}=r_{0}$ and $\det(\BGs_{1}-\BGs_{2})=0$ is also included by taking
a limit as  $a_{0}\to\infty$ in (\ref{1aiimonster}):
\[
\mathsf{L}^{*}=r_{0}\mathsf{T}+\BS_{1}\otimes\BI_{2}+\BS_{2}\otimes\BGS^{*}(\lambda_{1}),\quad\lambda_{1}\not=1=\lambda_{2}.
\]

$\bullet$ (1(c)i):
$|r_{1}-r_{2}|=\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|$. The
relevant ER is $(W,V_{0})$, described as
\begin{equation}
  \label{WV0}
  \left\{\mat{\BL}{\pm(\BL\BM-\BR_{\perp})}{\pm(\BM^{T}\BL+\BR_{\perp})}{\BM^{T}\BL\BM}:\mathrm{Tr}\,\BM=0,\
\BL>0,\ \BL+2\BR_{\perp}\BM\det\BL<0\right\}.
\end{equation}
The relevant link is as follows. $\BM^{*}=\BR_{\perp}\BGs^{*}$, where $\BGs^{*}$
is the 2D effective condictivity tensor of the composite with local
conductivity $\Bc(\Bx)=-\BR_{\perp}\BM(\Bx)$, which is symmetric and positive
definite for $\BM(\Bx)$ satisfying the constraints in (\ref{WV0}).

Any isotropic tensor $\mathsf{L}$ in this ER must have the form
\[
\mathsf{L}=\mat{\lambda_{1}\BI_{2}}{\pm(\sqrt{\lambda_{1}\lambda_{2}}-1)\BR_{\perp}}
{\mp(\sqrt{\lambda_{1}\lambda_{2}}-1)\BR_{\perp}}{\lambda_{2}\BI_{2}},
\qquad\lambda_{1}>0,\ \lambda_{1}\lambda_{2}>\nth{4},
\]
corresponding to $\BM=\sqrt{\lambda_{2}/\lambda_{1}}\BR_{\perp}$.
 Thus,
\begin{equation}
  \label{L01ci}
  \mathsf{L}_{0}^{*}=\mat{\BL^{*}}{\pm\BR_{\perp}\mathrm{cof}(\BL^{*})\BGs^{*}}{\pm\BGs^{*}\mathrm{cof}(\BL^{*})\BR_{\perp}^{T}}{\BGs^{*}\mathrm{cof}(\BL^{*})\BGs^{*}}\pm\mathsf{T},
\end{equation}
where $\BGs^{*}=\BGS^{*}(\sqrt{\lambda_{2}/\lambda_{1}})$, where $\lambda_{1,2}$ are the
two roots of (\ref{geneig12}), and $\BL^{*}$ is microstructure-dependent tensor that
depends on material moduli only through $\lambda_{1}$ and $\lambda_{2}$. It is not
expressible in terms of the effective conductivity. To compute $\mathsf{L}^{*}$ we
take $\Psi^{-1}$ and obtain as in the case 1(a)ii
\[
\mathsf{L}^{*}=\BS_{1}\otimes\BGs^{*}\mathrm{cof}(\BL^{*})\BGs^{*}+\BS_{2}\otimes\BL^{*}
+\alpha\mathsf{T}\left[\BGs_{1}^{-1}(\BS_{1}-\BS_{2})\otimes\BA^{*}\right]+\beta\mathsf{T},
\]
where
\[
\BA^{*}=\mathrm{cof}(\BL^{*})\BGs^{*}-a^{*}\BI_{2},\quad
\BGs^{*}=\BGS^{*}\left(\sqrt{\frac{\lambda_{2}}{\lambda_{1}}}\right),\quad
a^{*}=\displaystyle\frac{1}{2}\mathrm{Tr}\,(\mathrm{cof}(\BL^{*})\BGs^{*}),
\]
\[
\alpha=\frac{\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}}{r_{1}-r_{2}}\sqrt{\det\BGs_{1}},\qquad
\beta=r_{1}+\alpha(a^{*}-1).
\]
\noindent$\bullet$ (2a) $\BGs_{1}=\theta_{1}\BGs$, $\BGs_{2}=\theta_{2}\BGs$,
$|r_{1}-r_{2}|<|\theta_{1}-\theta_{2}|\sqrt{\det\BGs}$. The relevant ER is
\[
\left\{\mat{\BL}{0}{0}{\BL}:\BL>0\right\}.
\]
and the relevant link is that $\BL^{*}$ is the effective conductivity tensor
of the conducting composite with local conductivity $\BL(\Bx)$.

We first apply (\ref{Psi0}) mappling $\mathsf{L}_{1}$ to $\mathsf{I}$ and $\mathsf{L}_{2}$ to
\[
\mathsf{L}'_{2}=\frac{\theta_{2}}{\theta_{1}}\tns{\BI_{2}}+\rho\mathsf{T}.
\]
Let $a_{0}$ be a root of (\ref{diaga0}), where
$\BGs=(\theta_{2}/\theta_{1})\BI_{2}$. Then apply
\begin{equation}
  \label{Psi2}
\Psi_{2}(\mathsf{L})=(a_{0}\mathsf{L}+\mathsf{T})(\mathsf{L}+a_{0}\mathsf{T})^{-1}\mathsf{T}=
\mathsf{T}(\mathsf{L}+a_{0}\mathsf{T})^{-1}(a_{0}\mathsf{L}+\mathsf{T}).
\end{equation}
This gives $\Psi_{2}(\mathsf{I})=\mathsf{I}$ and
\[
\Psi_{2}(\mathsf{L}'_{2})=\frac{(1-a_{0}^{2})\theta_{1}\theta_{2}}{\theta_{2}^{2}-(\theta_{1}\rho+\theta_{1}a_{0})^{2}}\mathsf{I}.
\]
Then defining
\[
\BGs^{*}=\BGS^{*}\left(\frac{(1-a_{0}^{2})\theta_{1}\theta_{2}}{\theta_{2}^{2}-(\theta_{1}\rho+\theta_{1}a_{0})^{2}}\right)=\BGS^{*}\left(\frac{a_{0}}{\rho+a_{0}}\right)=
\BGS^{*}\left(\frac{\theta_{1}}{\theta_{2}}(\rho a_{0}+1)\right)
\]
We obtain
\[
\mathsf{L}^{*}=\Psi_{1}^{-1}(\Psi_{2}^{-1}(\BI_{2}\otimes\BGs^{*})).
\]
Recalling that $\Psi_{2}^{-1}$ is $\Psi_{2}$ with $a_{0}$ replaced by $-a_{0}$
and that $\mathfrak{A}:\BA\otimes\BB\mapsto\BB\otimes\BA$ is the algebra
automorphism we can write the expression for
$\mathsf{L}'_{*}=\Psi_{2}^{-1}(\BGs^{*}\otimes\BI_{2})$ immediately from (\ref{Psi2L}):
\[
\mathsf{L}'_{*}=\frac{(1-a_{0}^{2})(\BI_{2}\otimes\BGs^{*})}{\det\BGs^{*}-a_{0}^{2}}
+\frac{a_{0}(1-\det\BGs^{*})}{\det\BGs^{*}-a_{0}^{2}}\mathsf{T}.
\]
Thus,
\[
\mathsf{L}^{*}=\frac{(1-a_{0}^{2})(\BGs_{1}\otimes\BGs^{*})}{\det\BGs^{*}-a_{0}^{2}}
+\left(r_{1}+\frac{a_{0}(1-\det\BGs^{*})\sqrt{\det\BGs_{1}}}{\det\BGs^{*}-a_{0}^{2}}\right)\mathsf{T}.
\]

\noindent$\bullet$ (1b) $|r_{1}-r_{2}|>\left|\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}}\right|$.
The relevant ER is
\[
\bb{M}_{17}=\{\mathsf{L}>0:\mathsf{L}(\BJ\otimes\BR_{\perp})\mathsf{L}=\BJ\otimes\BR_{\perp}\},\quad\BJ=\mat{1}{0}{0}{-1}
\]
In this case
\[
\mathsf{L}^{*}_{0}=a((\BGs_{1}^{-1/2}\otimes\BI_{2})\mathsf{L}^{*}(\BGs_{1}^{-1/2}\otimes\BI_{2}))+b\mathsf{T}.
\]
Then
\[
(a\mathsf{L}^{*}+b\sqrt{\det\BGs_{1}}\mathsf{T})(\BGs_{1}^{-1/2}\BJ\BGs_{1}^{-1/2}\otimes\BR_{\perp})
(a\mathsf{L}^{*}+b\sqrt{\det\BGs_{1}}\mathsf{T})=\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2}\otimes\BR_{\perp}
\]
Observe that
\[
\BGs_{1}^{-1/2}\BJ\BGs_{1}^{-1/2}=-\frac{\mathrm{cof}(\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2})}{\det\BGs_{1}}
=-\frac{\mathrm{cof}(\BM)}{\det\BGs_{1}},\qquad\BM=\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2}
\]
Substituting the values of $a$ and $b$
we obtain
\[
-(2\Delta r\mathsf{L}^{*}+b_{0}\mathsf{T})(\mathrm{cof}(\BM)\otimes\BR_{\perp})(2\Delta r\mathsf{L}^{*}+b_{0}\mathsf{T})
=c_{0}\BM\otimes\BR_{\perp},
\]
where
\[
b_{0}=\det\BGs_{2}-\det\BGs_{1}+r_{1}^{2}-r_{2}^{2},\quad
c_{0}=(\Delta r^{2}-(\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}})^{2})
((\sqrt{\det\BGs_{1}}+\sqrt{\det\BGs_{2}})^{2}-\Delta r^{2})
\]

In order to compute matrix $\BM$ we recall that we now work in the frame where
\[
\BGs=\mat{s_{1}}{s_{2}}{s_{2}}{s_{1}}.
\]
The numbers $s_{1}$ and $s_{2}$ are related to the eigenvalues $\lambda_{1}$,
$\sigma_{2}$ of $\BGs$ via
\[
\lambda_{1}=s_{1}+s_{2},\qquad \lambda_{2}=s_{1}-s_{2}.
\]
Thus, from
\[
\BGs=\BGs_{1}^{-1/2}\BGs_{2}\BGs_{1}^{-1/2}=s_{1}\BI_{2}+s_{2}\psi(i)
\]
we obtain
\[
\BGs_{1}^{1/2}\psi(i)\BGs_{1}^{1/2}=\frac{\BGs_{2}-s_{1}\BGs_{1}}{s_{2}}=\BS_{2}-\BS_{1}=\Delta\BS.
\]
Thus,
\[
\BM=\BGs_{1}^{1/2}\psi(i)\phi(i)\BGs_{1}^{1/2}=
(\BS_{2}-\BS_{1})\BGs_{1}^{-1}\sqrt{\det\BGs_{1}}\BR_{\perp}.
\]
Since $\BM$ is a symmetric matrix we obtain
\[
\BM=s(\BGs_{2}\BGs_{1}^{-1}\BR_{\perp})_{\rm sym}
\]
for some scalar $s$.
So, we have
\begin{equation}
  \label{2a}
(\mathsf{L}^{*}+\beta_{0}\mathsf{T})(\mathrm{cof}(\BA(\BGs_{1},\BGs_{2}))\otimes\BR_{\perp})(\mathsf{L}^{*}+\beta_{0}\mathsf{T})
=-\gamma_{0}\BA(\BGs_{1},\BGs_{2})\otimes\BR_{\perp},
\end{equation}
\[
\BA(\BGs_{1},\BGs_{2})=(\BGs_{2}\BGs_{1}^{-1}\BR_{\perp})_{\rm sym},\quad
\beta_{0}=\frac{b_{0}}{2\Delta r},\quad\gamma_{0}=\frac{c_{0}}{4(\Delta r)^{2}}.
\]

We have derived the equation for $\mathsf{L}^{*}$:
\[
(a\mathsf{S}\mathsf{L}^{*}\mathsf{S}+b\mathsf{T})\mathsf{J}(a\mathsf{S}\mathsf{L}^{*}\mathsf{S}+b\mathsf{T})=\mathsf{J},
\]
written to highlight the structure. Now factor out the $\mathsf{S}$s:
\[
\mathsf{S}(a\mathsf{L}^{*}+b\mathsf{S}^{-1}\mathsf{T}\mathsf{S}^{-1})\mathsf{S}\mathsf{J}\mathsf{S}(a\mathsf{L}^{*}+b\mathsf{S}^{-1}\mathsf{T}\mathsf{S}^{-1})\mathsf{S}=\mathsf{J},
\]
Now multiply by $\mathsf{S}^{-1}$ on both sides:
\[
(a\mathsf{L}^{*}+b\mathsf{S}^{-1}\mathsf{T}\mathsf{S}^{-1})\mathsf{S}\mathsf{J}\mathsf{S}(a\mathsf{L}^{*}+b\mathsf{S}^{-1}\mathsf{T}\mathsf{S}^{-1})=\mathsf{S}^{-1}\mathsf{J}\mathsf{S}^{-1}.
\]
Observe now that all the tensors aside from $\mathsf{L}^{*}$ are nice tensor
products. Multiply them:
\[
\mathsf{S}^{-1}\mathsf{T}\mathsf{S}^{-1}=\sqrt{\det\BGs_{1}}\mathsf{T},\quad
\mathsf{S}\mathsf{J}\mathsf{S}=\BGs_{1}^{-1/2}\BJ\BGs_{1}^{-1/2}\otimes\BR_{\perp},\quad
\mathsf{S}^{-1}\mathsf{J}\mathsf{S}^{-1}=\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2}\otimes\BR_{\perp}.
\]
We also have (using $\BJ^{-1}=\BJ$)
\[
\BGs_{1}^{-1/2}\BJ\BGs_{1}^{-1/2}=\frac{\mathrm{cof}(\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2})}{\det(\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2})}=-\frac{\mathrm{cof}(\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2})}{\det\BGs_{1}}.
\]
It remains to figure out $\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2}$. Before we do it,
divide the equation by $a^{2}$ and use constants $A$ and $B$ from case 2b.
\[
(\mathsf{L}^{*}+A\mathsf{T})\mathsf{S}\mathsf{J}\mathsf{S}(\mathsf{L}^{*}+A\mathsf{T})=B\frac{\mathsf{S}^{-1}\mathsf{J}\mathsf{S}^{-1}}{\det\BGs_{1}}.
\]
Denoting $\BZ=\BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2}$ we obtain
\[
-(\mathsf{L}^{*}+A\mathsf{T})\mathsf{T}(\BZ\otimes\BR_{\perp})\mathsf{T}(\mathsf{L}^{*}+A\mathsf{T})=B\BZ\otimes\BR_{\perp}.
\]

We work in the frame where
\[
\BGs=\mat{\mu}{\nu}{\nu}{\mu}.\]
It is easy to see that the eigenvalues of $\BGs$ are $\mu+\nu$ and
$\mu-\nu$. These eigenvalues have been denoted $\lambda_{1}$ and $\lambda_{2}$ before,
so
\[
\lambda_{1}=\mu+\nu,\qquad\lambda_{2}=\mu-\nu.
\]
Solving for $\mu$ and $\nu$ we obtain
\[
\mu=\frac{\lambda_{1}+\lambda_{2}}{2},\qquad\nu=\frac{\lambda_{1}-\lambda_{2}}{2}.
\]
Using relations $\BGs_{1}^{1/2}\BGs\BGs_{1}^{1/2}=\BGs_{2}$ and $\BGs_{1}^{1/2}\BI_{2}\BGs_{1}^{1/2}=\BGs_{1}$ we obtain
\[
\BGs_{2}=\BGs_{1}^{1/2}\mat{\mu}{\nu}{\nu}{\mu}\BGs_{1}^{1/2}=\mu\BGs_{1}+\nu\BX,
\]
where
$
\BX=\BGs_{1}^{1/2}\mat{0}{1}{1}{0}\BGs_{1}^{1/2}
$.
Solving for $\BX$ we obtain
\[
\BX=\frac{\BGs_{2}-\mu\BGs_{1}}{\nu}=
\frac{2\BGs_{2}-(\lambda_{1}+\lambda_{2})\BGs_{1}}{\lambda_{1}-\lambda_{2}}=\BS_{2}-\BS_{1}.
\]
Now using $\BJ=\mat{0}{1}{1}{0}\BR_{\perp}$ we get
\begin{multline*}
\BZ=  \BGs_{1}^{1/2}\BJ\BGs_{1}^{1/2}=\BX\BGs_{1}^{-1}\BGs_{1}^{1/2}\BR_{\perp}\BGs_{1}^{1/2}=
\BX\frac{\BR_{\perp}\BGs_{1}\BR_{\perp}^{T}}{\det\BGs_{1}}\sqrt{\det\BGs_{1}}\BR_{\perp}=
\frac{\BX\BR_{\perp}\BGs_{1}}{\sqrt{\det\BGs_{1}}}=\\
\frac{(\BS_{2}-\BS_{1})\BR_{\perp}(\BS_{2}+\BS_{1})}{\sqrt{\det\BGs_{1}}}=
\frac{\BS_{2}\BR_{\perp}\BS_{1}-\BS_{1}\BR_{\perp}\BS_{2}}{\sqrt{\det\BGs_{1}}}
\end{multline*}
The final answer is the equation
\[
(\mathsf{L}^{*}+A\mathsf{T})\mathsf{T}(\BZ_{0}\otimes\BR_{\perp})\mathsf{T}(\mathsf{L}^{*}+A\mathsf{T})+B\BZ_{0}\otimes\BR_{\perp}=0,
\qquad\BZ_{0}=\BS_{2}\BR_{\perp}\BS_{1}-\BS_{1}\BR_{\perp}\BS_{2}.
\]

$\bullet$ (2b)
$\BGs_{1}=\theta_{1}\BGs_{0}$, $\BGs_{2}=\theta_{2}\BGs_{0}$,
$|r_{1}-r_{2}|>|\theta_{1}-\theta_{2}|\sqrt{\det\BGs_{0}}$. The formula for the
effective tensor is
\[
\mathsf{L}^{*}=\BGs_{1}\otimes\BL^{*}+t^{*}\mathsf{T},\qquad
\det\BGs_{1}\det\BL^{*}=\left(t^{*}+A\right)^{2}+B,
\]
where $A$ and $B$ are given by (\ref{Asc}) and (\ref{Bsc}), respectively.

You have derived two formulas
\[
\det\BL_{0}^{*}=\left(\frac{a}{\sqrt{\det\BGs_{1}}}t^{*}+b\right)^{2}+1,
\]
and
\[
\det\BL^{*}=\nth{a^{2}}\det\BL_{0}^{*}.
\]
Now combine the two formulas to eliminate $\BL_{0}^{*}$:
\[
\det\BL^{*}=\nth{a^{2}}\left(\frac{a}{\sqrt{\det\BGs_{1}}}t^{*}+b\right)^{2}+\nth{a^{2}}.
\]
Use the formula $x^{2}y^{2}=(xy)^{2}$ in the first terms and leave the second
as it is:
\[
\det\BL^{*}=\left(\frac{t^{*}}{\sqrt{\det\BGs_{1}}}+\frac{b}{a}\right)^{2}+\nth{a^{2}}.
\]
Now multiply both sides by $\det\BGs_{1}$ and use the same formula by writing
$\det\BGs_{1}=(\sqrt{\det\BGs_{1}})^{2}$:
\[
\det\BGs_{1}\det\BL^{*}=\left(t^{*}+\frac{b\sqrt{\det\BGs_{1}}}{a}\right)^{2}+\frac{\det\BGs_{1}}{a^{2}}.
\]
Now let
\[
A=\frac{b\sqrt{\det\BGs_{1}}}{a},\qquad B=\frac{\det\BGs_{1}}{a^{2}}.
\]
Let us use the formulas for $a$ and $b$ to derive explicit formulas for $A$
and $B$:
\[
b=a\frac{\det\BGs-1+\rho_{1}^{2}-\rho_{2}^{2}}{2\rho},\quad
a^{2}=\frac{4\rho^{2}}{((\rho+1)^{2}-\det\BGs)(\det\BGs-(\rho-1)^{2})}.
\]
For compactness of notation let us denote $\Delta r=r_{2}-r_{1}$, so that
\[
\rho=\frac{\Delta r}{\sqrt{\det\BGs_{1}}}.
\]
We obtain
\[
A=\sqrt{\det\BGs_{1}}\frac{\frac{\det\BGs_{2}}{\det\BGs_{1}}-1+\frac{r_{1}^{2}}{\det\BGs_{1}}-\frac{r_{2}^{2}}{\det\BGs_{1}}}{2\frac{\Delta
    r}{\sqrt{\det\BGs_{1}}}}.
\]
Converting to a normal fraction we obtain
\[
A=\sqrt{\det\BGs_{1}}\frac{\sqrt{\det\BGs_{1}}}{\det\BGs_{1}}\frac{\det\BGs_{2}-\det\BGs_{1}+r_{1}^{2}-r_{2}^{2}}{2\Delta r}.
\]
The factor in front simplifies to 1 and we obtain
\begin{equation}
  \label{Asc}
  A=\frac{\det\BGs_{2}-\det\BGs_{1}+r_{1}^{2}-r_{2}^{2}}{2\Delta r}.
\end{equation}
We perform the same simplification for $B$:
\[
B=\frac{((\Delta r+\sqrt{\det\BGs_{1}})^{2}-\det\BGs_{2})(\det\BGs_{2}-(\Delta
  r-\sqrt{\det\BGs_{1}})^{2})}{4(\Delta r)^{2}}.
\]
Let us make the numerator $nB$ of $B$ a bit more symmetric:
\begin{multline*}
nB=(\Delta r+\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}})
(\Delta r+\sqrt{\det\BGs_{1}}+\sqrt{\det\BGs_{2}})\times\\
(\sqrt{\det\BGs_{2}}+\Delta r-\sqrt{\det\BGs_{1}})
(\sqrt{\det\BGs_{2}}-\Delta r+\sqrt{\det\BGs_{1}}).
\end{multline*}
We now combine first and third terms together and also the other two together:
\[
nB=((\Delta r)^{2}-(\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}})^{2})
((\sqrt{\det\BGs_{1}}+\sqrt{\det\BGs_{2}})^{2}-(\Delta r)^{2}).
\]
This gives
\begin{equation}
  \label{Bsc}
  B=\frac{((\Delta r)^{2}-(\sqrt{\det\BGs_{1}}-\sqrt{\det\BGs_{2}})^{2})
((\sqrt{\det\BGs_{1}}+\sqrt{\det\BGs_{2}})^{2}-(\Delta r)^{2})}{4(\Delta r)^{2}}.
\end{equation}

\end{document}