\section{Who wants ``obsolete data''?}
\label{sec:introduction}

Perhaps the largest problem facing web archiving is that it remains
at the fringes of the larger web community.  The most illustrative
anecdote pertains to a web archiving paper we submitted to the 2010
WWW conference.  One of the reviews stated:

\begin{quote}
Is there (sic) any statistics to show that many or a good number of Web
users would like to get obsolete data or resources?
\end{quote}

This is just one reviewer, but the terminology used (``obsolete data or
resources'') succinctly captures the problem: web archiving is not widely
seen as a priority or even as in scope for a conference such as WWW.
Another common related misconception we have encountered is that the
Internet Archive has every copy of everything ever published on the web,
so preservation is a solved problem.  Despite the heroic efforts of the
Internet Archive, the reality is more grim: only 16\% of the resources
indexed by search engines are archived at least once in a public web
archive \cite{Ainsworth:2011:MWA:1998076.1998100}.   \\

While there are many specific challenges with regards to quality
criteria, tools, and metrics, the common thread goes back to
the fact that we, the web archiving community, have failed to
articulate clear, compelling use cases and demonstrate immediate
value for web preservation.  For too long web preservation has been
dominated by threats of future penalties, such as hoary stories
about file obsolescence that have not come true\footnote{David
Rosenthal has a series of convincing blog posts on this topic, see:
\url{http://blog.dshr.org/2010/09/reinforcing-my-point.html}}.  The lack
of a compelling use case for archives has relegated preservation to an
insurance-selling idiom, where uptake is unenthusiastic at best.\\

\section{I Blame Thompson and Ritchie}
\label{sec:inode}

The web has a poor notion of time, and it is getting worse instead
of better.  An early design document for the Web addressed the problem
of generic vs. specific resources \cite{tbl:generic}.  That document
identified three dimensions of genericity: time, language (e.g., English
vs. French), and representation (e.g., GIF vs. JPEG).  The latter two
dimensions were the basis for HTTP content negotiation as originally
defined in HTTP/1.1 \cite{rfc2068}.  Content negotiation allowed, for
example, GIF and JPEG resources to have unique URIs (i.e., specific
resources), but to be joined together with a third, generic resource
with its own URI.  When a client dereferences this generic URI, the
appropriate specific resource is selected based the client's preferences
for representations.  Content negotiation works similarly for language,
but content negotiation in the dimension of time was not part of the
original HTTP core technologies (the Memento project added content
negotiation in the dimension of time in 2009 \cite{nelson:memento:tr}).
One result of not having time as part of the core technologies is that
the web community's concept and expectations regarding time have not
become fully mature.\\

I believe the reason for this underdeveloped notion of time can be
traced to the tight historical integration of HTTP and Unix,
specifically the Unix filesystem.  Metadata about files in the Unix
filesystem is stored in ``inodes'', and the original description of the
Unix filesystem defined three notions of time to be stored in an inode:
file creation, last use, and last modification \cite{ritchie1974unix}.
However, at some early point the storage of the file creation time in
the inode was replaced with the last modification time of the inode
itself.  The result was that we could know the last modification and
access times of a file, but the creation time, a crucial part of
establishing provenance, was lost (most URIs contain semantics, and
creation time can be critical in establishing priority).  Although web
resources and Unix files are logically separate, in practice they were
tightly integrated during the formative years of the web, and so the
HTTP time semantics were limited by what could be provided by the Unix
inode.  For example, here is an HTTP response about a JPEG file:

\begin{scriptsize}
\begin{verbatim}
HTTP/1.1 200 OK
Date: Sun, 19 Aug 2012 13:30:06 GMT
Server: Apache
Last-Modified: Fri, 03 Aug 2012 03:54:26 GMT
Content-Length: 1447
Connection: close
Content-Type: image/png
\end{verbatim}
\end{scriptsize}

In the above example, the server is expressing the response was sent on
August 19th, but the JPEG file itself was last modified on August 3rd.
Notable by its absence is the creation time: via the inode limitations,
we cannot know when this file was created.  It might have been created on
August 3rd or it might have been created at an earlier time, and being
unable to establish even this basic level of metadata is a severe
limitation for archiving and provenance.  Unfortunately, even the
limited semantics of last modified are becoming less frequent as more
resources are dynamically generated.  The example below is in response
for a dynamically generated home page:

\begin{scriptsize}
\begin{verbatim}
HTTP/1.1 200 OK
Date: Sun, 19 Aug 2012 13:30:33 GMT
Server: Apache
X-Powered-By: PHP/5.2.8
Connection: close
Content-Type: text/html
\end{verbatim}
\end{scriptsize}

In the above example, there is the data of the response (August 19th),
but last modified times for dynamically generated representations are
not defined.  Dynamically generated resources make possible the web as
we know it today, but the net result is even fewer time semantics are
present in HTTP responses.  Evolving publishing technologies such as
personalization, Ajax, Flash, and streams\footnote{For example, see Anil
Dash's call to ``Stop Publishing Web Pages'' in favor of streams:
\url{http://dashes.com/anil/2012/08/stop-publishing-web-pages.html}}
will only serve to make it more difficult to ascribe a creation time to
any particular web page.

\section{W\{h\}ither Archives?}
\label{sec:lack}

I maintain that the entire web community has a poor notion of time and
are trapped in the ``perpetual now''.  Because the lack of capability
has shaped our expectations, we never object when prior versions of
web pages are unavailable.  We tolerate temporal inconsistency in our
browsing, even 404 errors, in part because we do not know enough to
expect better.  Remember ``lost in hypertext'' \cite{elm1985getting,
conklin1987hypertext}?  That has been solved in part through better
navigation tools and design practices, but also in part due to increased
familiarity with the hypertext navigation metaphor.  Now imagine if
a temporal dimension was added for each page -- there would be much
confusion, but eventually tools, practices, and user awareness would
prevail.

\subsection{Archives Are Not Destinations}
\label{sec:destinations}

The most fundamental problem is that we have designed web archives
as if they are destinations in themselves.  The motif of ``go to the
library/archive and spend an afternoon in the stacks'' has been replicated
in our web archives.  Figure \ref{fig:cnn-coffee-stain} shows the list
of archived pages (or ``mementos'') for \url{cnn.com} at the Internet
Archive.  If you want to browse the past versions of this news site, you
go to the archive and perform a browsing session within the archive,
and then return to the live web once you are done with your journey to the past. \\

\begin{figure}
\begin{center}
\includegraphics[scale=0.24]{cnn-coffee-stain.png}
\caption{All available versions of cnn.com at the Internet Archive.  This page is
not reachable from cnn.com.}
\label{fig:cnn-coffee-stain}
\end{center}
\end{figure}

In our experience, most web users do not know about the Internet Archive
or how to access it.  The Memento project has demonstrated a framework
for tighter integration of the past (i.e., archived) web and the current
web, but the tools exist as add-ons for both servers and clients and
have yet to reach mainstream acceptance, which will only arrive when
the archiving community can demonstrate a ``killer app'' that will cause
users to demand the functionality.

\subsection{Web Archiving Is Not Social}
\label{sec:social}

I am not sure what an archiving killer app would look like, but there
is a good chance it will be social.  People like to share links with
each other via Twitter, Facebook, Pinterest, et al.  However, with
the exception of Pinterest (which makes copies of ``pinned'' images)
this sharing is done by-reference and not by-value, exposing it to the
same link rot problems of common web pages (for example, we found 10\%
of the shared links about the Egyptian Revolution were lost after one
year \cite{TPDL2012:Losing}).  I am constantly surprised at the tasks that
people are willing to undertake if there is a social or gaming component
(i.e., ``games with a purpose''), yet I am unaware of any such activity
with a web preservation component.  Diigo (\url{diigo.com}) is a site
that provides social bookmarking services (similar to Delicious) with
an archiving component, but enthusiasm for social bookmarking seems to
be less than it once was.  \\

A web archiving application that could leverage the collection development
of Pinterest and the collaborative editing of Wikipedia and other wikis
would be a welcome development.  Archive-It (\url{archive-it.org})
is nearly such an application, but it is targeted for archiving and
librarian professionals, not as a general purpose social application.
Perhaps the legal challenges\footnote{A discussion of which is beyond
the scope of this paper; for a primer see \url{http://1.usa.gov/QgaUZO}}
of creating such collections would prevent the development of such an
application, but I would observe that early legal challenges about the
mechanics of HTTP and ``making copies'' were eventually overcome.

\subsection{Watchdog Archiving and Trust}
\label{sec:tds}

Perhaps a social web archiving activity that will grow to take
on a larger role is that of distributed, citizen watchdogs of
public figures and politicians.  For example, a supporter of
blogger Andrew Breitbart brought down Congressman Anthony Weiner by
zealously following and archiving Weiner's twitter feed\footnote{See
\url{http://en.wikipedia.org/wiki/Anthony_Weiner_sexting_scandal}}.
Most tweets are of arguably limited historical value, but this particular
tweet and the fact that it could not be fully redacted turned out to
have significant political and cultural implications.  \\

In another example, consultant and commentator Richard Grenell deleted
over 800 tweets after he was elevated to a senior position in the Romney
campaign in 2012\footnote{See: \url{http://huff.to/I6dpQo}}.  Presumably
Grenell's lesser status at the time did not warrant a corresponding
campaign to monitor and archive Grenell's twitter feed like there was
with Weiner's twitter feed.  Grenell's tweets most likely do not exist
outside of Twitter's own archives (and those they share with the Library
of Congress).\\

And what if someone did come forward with a correspondingly damning
tweet from Grenell, how could we verify it?  Aside from Weiner's
ultimate confession, was his tweet ever verified by an independent
third party?  And if so, how would we trust such a third party -- where
would the chain of trust terminate?  Could he not find a
technologically savvy staffer to fabricate evidence that contradicted
Breitbart's evidence (which is especially easy given the low level of
provenance regarding third-party archives)?  It is easy to envision a
market for a trusted, tamper-proof archive for tweets and other social
media so a person can \emph{deny} that they ever released an offending
tweet? \\

Our current approach to web archiving involves implicitly trusting
the Internet Archive and other public web archives as incorruptible.
Eventually the magnitude of scandals associated with web content will grow
to the point where less scrupulous web archives will be offered as proof.
A combination of trusted archives and citizen activism might form the
basis for the first killer app for web archiving.  Instead of canvassing
a neighborhood, volunteers can canvass/archive web pages.

\section{Wish List}
\label{sec:wish}

This section contains a personal wish list of features that would make
archiving web pages much easier.

\subsection{Machine-Readable Time Semantics}
\label{sec:machine}

We have moved beyond the limitations of the Unix filesystem and its inode,
so we should increase the time semantics in our HTTP transactions.
Unfortunately, this is not the case.  In the example below, when
dereferencing the URI of a specific tweet, twitter.com shows a last
modified time that matches the date the response was generated (this is
true for all responses, not just this one).  More importantly, Twitter has
a concept of time similar to ``Memento-Datetime'', which captures the time
a page was first observed on the web (see \cite{nelson2011memento} for
a discussion of how this differs from ``Last-Modified'').  Although this
date (June 27, 2012 in this example) is displayed in the HTML page and is
accessible to authenticated users via the Twitter API, the correct date
semantics are not presented, and the incorrect value for the last modified
time is presented instead.  This phenomenon is not unique to Twitter,
but Twitter makes for a good example due to its well-known nature.

\begin{scriptsize}
\begin{verbatim}
HTTP/1.1 200 OK
Date: Mon, 20 Aug 2012 00:41:38 GMT
Content-Length: 85440
Last-Modified: Mon, 20 Aug 2012 00:41:38 GMT
Content-Type: text/html; charset=utf-8
Server: tfe
\end{verbatim}
\end{scriptsize}

\subsection{APIs for Archives}
\label{sec:apsi}

Talk to anyone who has built applications using archived web data and
they will have crawled and ``page scraped'' the archives at some point.
Page scraping puts an undue burden on the archive itself, is error prone,
and doesn't facilitate inter-archive interaction.  The Memento project
defines a simple, inter-archive HTTP access mechanism, but this is not
enough.  The Internet Archive's Wayback Machine software supports a simple
API for file upload and searching, but this API is not evolved like APIs
for services like Google, Twitter, and Facebook.  If we want archives to
be used in the current web programming idiom, we have to go beyond the
``afternoon in the stacks'' model (see section \ref{sec:destinations})
and provide fully-featured APIs.

\subsection{Impedance Matching}
\label{sec:travel}

The Internet Archive does not have full-text search on the main Wayback
Machine.  While this is a limitation, it is probably not as big a
limitation as many think, in part because it is not clear what we would
do with full-text search at this scale if we had it (cf. the discussion
in section \ref{sec:lack}).  The kinds of questions that scholars wish
to answer using web archives are of the form ``what role did the Tea
Party play in the 2010 mid-term elections?''  The kind of access we can
offer right now is ``this is what \url{cnn.com} looked like November 1,
2010.'' Adding full-text searching, while useful in some cases, would
not immediately help address the kinds of questions that scholars want
to ask.  An example of the kind of advanced analysis that needs to be
performed on web archives is entity tracking experiments of the LAWA
project \cite{Spaniol:2012:TEW:2187980.2188030}, in which entities (e.g.,
people, companies) can be tracked through time and different URIs.

\section{Conclusions}
\label{sec:conclusions}

I expect data of known value to be successfully curated and available
well into the future.  I am more concerned with our cultural record,
with which we have made a Faustian bargain of increased volume and ease
of access (i.e., the web) at the expense of permanence and provenance
(i.e., paper).  We are stuck in the perpetual now and due to the initial
limitations of the Unix inode there, the notion of varying temporal
access to web pages is so unexpected that even web researchers need to
be convinced of the utility.\\

One problem is the limited design motif for web archives: destinations
that are wholly unconnected from their live web counterparts.  The related
problem is that we, as a community, have failed to envision and deliver
a ``killer app'' for web archiving.  Perhaps it is in a watchdog
role over public figures and institutions.  Or perhaps the emerging
field of personal digital preservation\footnote{See for example:
\url{http://www.personalarchiving.com/}} will energize the field and
increase what are often laissez-faire user expectations regarding
archiving \cite{Marshall07:Evaluating}. \\

I would like to see a more careful approach to specifying temporal
semantics in common web services like Twitter.  Similarly, I expect
web archives to offer richer APIs for accessing their content, and
to eventually offer the higher-level services, like entity tracking,
that will assist scholars in using the \st{obsolete data or resources}
archives.  \\

\section{Acknowledgments}
This work sponsored in part by the Library of Congress, NSF IIS-0643784
and IIS-1009392.

\bibliographystyle{abbrv}


\section{Introduction}

Topological insulator is a new state of matter which is characterized by an
insulating bulk and surface edge modes\cite{Hasan,Qi}. It is robust against
perturbations such as disorders and impurities as far as the gap does not
close. It is an interesting and important question whether the topological
insulator is robust against a formation of a superstructure in a periodic
potential. This is nontrivial since it changes a global structure of the
material such as the Brilloin zone. It is intriguing that superstructures
have been realized in silicene on top of the Ag substrate\cite{GLayPRL,Kawai,Takamura}. There may well be other ways to create periodic
potentials. Silicene is an interesting play ground where many types of
superstructures are naturally materialized.

Silicene is a sheet of silicon atoms replacing carbons in graphene. It could
follow the trend of graphene and attract much attention\cit
{GLayPRL,Kawai,Takamura,Shiraishi,Guzman,LiuPRL,LiuPRB,EzawaNJP,EzawaAQHE,EzawaEPJB,EzawaPhoto,EzawaJ}. It would open new perspectives for applications, especially due to its
compatibility with Si-based electronics. Almost every striking property of
graphene could be transferred to this innovative material. Indeed, it has
Dirac cones akin to graphene. It has additionally a salient feature, that is
a relatively large spin-orbit (SO) gap, which provides a mass to Dirac
electrons and realizes a detectable quantum spin Hall (QSH) effect\cit
{LiuPRL,EzawaNJP}. The QSH insulator is a two-dimensional topological
insulator with helical gapless edge modes\cite{Hasan,Qi}. Furthermore a
topological phase transition occurs from the QSH insulator to the trivial
band insulator in the electric field\cite{EzawaNJP}. In this paper we
address the problem if a superstructure is a QSH\ insulator as well and if
there exists a similar topological phase transition.

In silicene the states near the Fermi energy are $\pi $ orbitals residing
near the inequivalent K and K' points at opposite corners of the hexagonal
Brillouin zone. It is folded into a reduced Brillouin zone in a
superstructure. We can generally argue that a superstructure is a QSH
insulator provided it is topologically connected to silicene, namely, the
gap is open and does not close as the periodic potential is continuously
switched off. We also study the problem whether a silicene superstructure
undergoes a topological phase transition by applying external electric field
as in free-standing silicene\cite{EzawaNJP}. Furthermore, we point out an
intriguing possibility that the K and K' points are identified by the
folding. When it happens, there exists only one Dirac point where two Dirac
cones coexist, and this is experimentally detectable. In addition to general
arguments, to demonstrate these novel phenomena we carry out a numerical
analysis by taking an instance of the ($3\times 3$) superstructure on the (
4\times 4$) structure of the Ag substrate\cite{NoteA}.

This paper is composed as follows. In Section II, we present how a
superstructure is constructed from a honeycomb lattice. We derive the
condition that the K and K' points coincide. The (3$\times $3)
superstructure is the simplest example where this coincidence occurs. In
Section III, we postulate the tight-binding Hamiltonian to describe a
superstructure. Making a numerical analysis of the band structure of the (3
\times $3) superstructure, we explicitly see that two degenerate Dirac cones
are merged into two undegenerate hexagonally warped cones in the presence of
infinitesimal Coulomb interactions. The mechanism of the hexagonal warping
is explained based on the effective low-energy Dirac theory. In Section IV
we investigate the topological properties of superstructures in three
different ways, i.e., the topological connectedness, the bulk-edge
correspondence and the Dirac theory. We present a general criterion when the
topological phase transition may occur in superstructures. In the instance
of the (3$\times $3) superstructure, it is shown to be topologically
connected to silicene, and hence it is a QSH insulator. We also show that
there exists no topological phase transition in external electric field.
Section V is devoted to discussions.

\section{Superstructure}

\begin{figure}[t]
\centerline{\includegraphics[width=0.32\textwidth]{SuperStruc}}
\caption{(Color online) Illustration of (a) ($3\times 3$) superstucture and
(b) ($\protect\sqrt{7}\times \protect\sqrt{7}$) superstructure. The shaded
area spanned by vectors $\boldsymbol{g}_{1}$ and $\boldsymbol{g}_{2}$
represents one unit cell of a superstructure.}
\label{FigSuperStruc}
\end{figure}

We start with a study of a superstructure made on the honeycomb lattice (Fig
\ref{FigSuperStruc}). The honeycomb lattice is specified by the two basis
vectors $\mathbf{a}_{1}$ and $\mathbf{a}_{2}$. It has two inequivalent sites
(A and B sites) per unit cell. There are three B sites adjacent to one A
site. The A and B sites are generated by\beginAB
\begin{align}
\boldsymbol{A}(n_{1},n_{2})=& n_{1}\mathbf{a}_{1}+n_{2}\mathbf{a}_{2}, \\
\boldsymbol{B}(n_{1},n_{2})=& n_{1}\mathbf{a}_{1}+n_{2}\mathbf{a}_{2}
\mathbf{r}_{1},
\end{align
\endABC
where $\mathbf{r}_{1}$ is a vector connecting adjacent A and B sites, and
n_{i}$ are integers. They span the the A-sublattice and the B-sublattice. A
superstructure is specified by two translational vectors $\mathbf{g}_{1}$
and $\mathbf{g}_{2}$\ defined b
\begin{equation}
\mathbf{g}_{1}=p\mathbf{a}_{1}+q\mathbf{a}_{2},\qquad \mathbf{g}_{2}=e^{\pm
i\pi /3}\mathbf{g}_{1},
\end{equation
with $p$ and $q$ integers subject to $0<p$. The choice of the angles $\pm
\pi /3$ generates the same superstructure due to the hexagonal symmetry.
There are two types: The type-I superstructure is generated by choosing
0\leq q\leq p$, while the type-II superstructure is generated by the space
inversion of the type-I. When $q=0$, type-I and type-II are identical. We
show two examples by choosing $(p,q)=(3,0)$ and $(2,1)$ in Fig.\re
{FigSuperStruc}.

By a geometrical analysis of the honeycomb lattice we have
\begin{equation}
\left\vert \mathbf{g}_{1}\right\vert =\sqrt{p^{2}+q^{2}+pq}.
\end{equation
The structure thus generated is customarily referred to as the ($\left\vert
\mathbf{g}_{1}\right\vert \times \left\vert \mathbf{g}_{1}\right\vert $)
superstructure. The number of silicon atoms per unit cell is given b
\begin{equation}
N=2\left\vert \mathbf{g}_{1}\right\vert ^{2}=2\left( p^{2}+q^{2}+pq\right) .
\label{NumbeSI}
\end{equation
The angle $\phi $ between the vector $\mathbf{g}_{1}$ and the $y$-axis is
given by
\begin{equation}
\tan \phi =\sqrt{3}q/(2p+q).
\end{equation
For instance, the choices $(p,q)=(3,0)$ and $(2,1)$ generate the ($3\times 3
) superstructure with $N=18$ and $\phi =0$ and the ($\sqrt{7}\times \sqrt{7}
) superstructure with $N=14$ and $\phi =\arctan (\sqrt{3}/5)$, respectively,
as illustrated in Fig.\ref{FigSuperStruc}.

\begin{figure}[t]
\centerline{\includegraphics[width=0.32\textwidth]{SBril}}
\caption{(Color online) Brillouin zone of silicene and the $(3\times 3$)
superstructure. Its shape is honeycom (blue lines) or equivalently rhombus
(large orange lines) for silicene, and rhombus (red lines) for the
superstructure. It is constructed by folding the Brillouin zone of silicene.
The K and K' points are identified, which we denote by \={K} and take at the
center of the Brillouin zone (the shaded area). The band structure along the
horizontal thin lines (\textit{h1,h2}) and vertical thin lines (\textit{v1,v
}) are shown in Fig.\protect\ref{FigS2Sa}.}
\label{FigSBril}
\end{figure}

The basis vectors $\mathbf{b}_{i}$ of the reciprocal lattice are given by
solving the relations $\mathbf{b}_{i}\cdot \mathbf{a}_{j}=2\pi \delta _{ij}$
in the honeycomb lattice (Fig.\ref{FigSBril}). The Brillouin zone is made by
$\mathbf{b}_{1}$ and $\mathbf{b}_{2}$ in the reciprocal lattice with
opposite sides being identified. A similar construction is carried out for a
superstructure. The reciprocal vectors $\mathbf{G}_{1}$ and $\mathbf{G}_{2}
\ of a superstructure is given by
\begin{equation}
\mathbf{G}_{i}=(\mathbf{g}_{i}\times \mathbf{n)/}\left\vert \mathbf{g
_{1}\times \mathbf{g}_{2}\right\vert ,  \label{RecipG}
\end{equation
where $\mathbf{n}$ is the unit vector perpendicular to the silicene plane.
The Brillouin zone of a superstructure is constructed from that of silicene
by identifying two momentum vectors $\mathbf{k}$ and $\mathbf{k}^{\prime }$
provided they are different only by the principal reciprocal vectors
\mathbf{G}_{1}$ and $\mathbf{G}_{2}$, as illustrated in Fig.\ref{FigSBril}.

There may occur an intriguing phenomenon. In general, when there are two
integers $n_{i}$ such that
\begin{equation}
\mathbf{K}-\mathbf{K}^{\prime }=n_{1}\mathbf{G}_{1}+n_{2}\mathbf{G}_{2},
\label{CondiOneK}
\end{equation
the K and K' points are identified. We call it the \={K} point, and choose
\mathbf{\bar{K}}=(0,0)$. Two Dirac cones coexist at the \={K} point. This
happens indeed in the $(3\times 3)$ superstructure, where the Brillouin zone
is obtained by folding that of silicene three times along the $k_{x}$-axis
and three times along the $k_{y}$-axis. The area of the Brillouin zone is
1/9$ of that of silicene, and its shape is rhombus (Fig.\ref{FigSBril}).
This superstructure is simplest and most interesting, which we investigate
as an explicit example.

\section{Tight-Binding Hamiltonian}

The superstructure system is described by the second-nearest-neighbor
tight-binding model constructed as follows. The Hamiltonian consists of two
parts. The basic part is the Hamiltonian of silicene,\cite{KaneMele}

\begin{equation}
H_{0}=-t\sum_{\left\langle i,j\right\rangle \alpha }c_{i\alpha }^{\dagger
}c_{j\alpha }+i\frac{\lambda _{\text{SO}}}{3\sqrt{3}}\sum_{\left\langle
\!\left\langle i,j\right\rangle \!\right\rangle \alpha \beta }\nu
_{ij}c_{i\alpha }^{\dagger }\sigma _{\alpha \beta }^{z}c_{j\beta },
\label{BasicHamil}
\end{equation
where $c_{i\alpha }^{\dagger }$ creates an electron with spin polarization
\alpha $ at site $i$, and $\left\langle i,j\right\rangle /\left\langle
\!\left\langle i,j\right\rangle \!\right\rangle $ run over all the
nearest/next-nearest neighbor hopping sites. The first term represents the
usual nearest-neighbor hopping with the transfer energy $t=1.6$eV. The
second term represents the intrinsic SO coupling with $\lambda _{\text{SO
}=3.9$meV, where $\mathbf{\sigma }=(\sigma _{x},\sigma _{y},\sigma _{z})$ is
the Pauli matrix of spin, $\nu _{ij}=\left( \mathbf{d}_{i}\times \mathbf{d
_{j}\right) /\left\vert \mathbf{d}_{i}\times \mathbf{d}_{j}\right\vert $
with $\mathbf{d}_{i}$ and $\mathbf{d}_{j}$ the two bonds connecting the
next-nearest neighbors. Additionally there exist two types of Rashba SO
couplings ($\lambda _{\text{R1}}$ and $\lambda _{\text{R2}}$) to describe
silicene\cite{EzawaAQHE}. They are quite small, and play no important roles
in the present analysis, as far as we have numerically checked. To avoid
unnecessary complications, we neglect them.

\begin{figure}[t]
\centerline{\includegraphics[width=0.45\textwidth]{S2Sa}}
\caption{(Color online) (a1,a2) Band structure of silicene along the
horizontal lines (\textit{h1,h2}) in Fig.\protect\ref{FigSBril}. (b1,b2)
Band structure of silicene along the vertical lines (\textit{v1,v2}) in Fig
\protect\ref{FigSBril}. (a3,b3) 3-folded band structure obtained from
(a1,a2) together with shifts along the $k_{x}$axis, and the one obtained
from (b1,b2) together with shifts along the $k_{y}$-axis. They give the band
structure of the ($3\times 3$) superstructure shown in Fig.\protect\re
{FigBand}(a1) and (b1) with $U^{\prime }\rightarrow 0$. The horizontal arrow
in (a3,b3) indicates the first Brillouin zone.}
\label{FigS2Sa}
\end{figure}

The second part is the periodic potential term $H_{1}$ that introduces a
superstructure to the honeycomb lattice. The periodicity is such that the
band structure satisfie
\begin{equation}
\varepsilon (\mathbf{k}+\mathbf{G}_{i})=\varepsilon (\mathbf{k}),
\label{BrillIdent}
\end{equation
where $\mathbf{G}_{i}$ are the principal reciprocal vectors (\ref{RecipG}).
It is to be emphasized that the band structure is simply constructed by
folding that of silicene when $H_{1}\simeq 0$, as illustrated in Fig.\re
{FigS2Sa} for an instance of the $(3\times 3)$ superstructure.

\subsection{An Explicit Example and Numerical Results}

\begin{figure}[t]
\centerline{\includegraphics[width=0.35\textwidth]{Unit}}
\caption{(Color online) Unit cell of the (3$\times $3) superstructure. There
are $18$ silicon atoms per unit cell, in which $6$ atoms (red) are in higher
position and $12$ atoms (blue) are in lower position. There are $3$ A and $3
\ B sites in higher position. Their vertical sepation is $2\ell \approx 0.8
\AA . The basis vectors are represented by $\mathbf{a}_{i}$.}
\label{FigUnit}
\end{figure}

Superstructures have been materialized on the Ag substrate. The structure of
the substrate acts as a periodic potential to silicene and generate a
superstructure on silicene. Such an effect can be formulated into the
periodic potential term $H_{1}$.

Silicene available now is mostly grown on the Ag(111) substrate. The most
common one is the ($3\times 3$) superstructure synthesized on the ($4\times
4 $) Ag-structure\cite{GLayPRL,Kawai}, though many other superstructures are
possible due to the commensurability with the Ag substrate\cit
{Jamgo,Enriquez}. There are $3\times 3$ silicon atoms on top of $4\times 4$
silver atoms in this structure. The unit cell contains $2\times (3\times
3)=18$ silicon atoms. The superstructure contain two sublattices: There are
6$ ($12$) atoms in the higher (lower) sublattice which is $3.0$\AA\ ($2.2
\AA ) above the Ag surface, as illustrated in Fig.\ref{FigUnit}. This
structure has been observed in scanning tunneling microscopy (STM) images,
where only the atoms in the higher sublattice are visible\cite{GLayPRL,Kawai
. We may summarize the effect from the Ag substrate as a chemical potential
difference $U$ between silicon atoms in higher and lower sublattices.
Additionally we may apply the electric field $E_{z}$ perpendicular to the
plane. It generates a staggered sublattice potential $\varpropto 2\ell E_{z}$
with $2\ell \approx 0.8$\AA\ between them.

The basic nature of the above superstructure is summarized into the periodic
potential term,
\begin{equation}
H_{1}=U^{\prime }\sum_{i\in \text{high}}c_{i}^{\dagger }c_{i},
\label{PotenU}
\end{equation
wit
\begin{equation}
U^{\prime }=U+2\ell E_{z},
\end{equation
where the summation is taken over higher sites: $U$ is a constant of the
order of $0.1$eV\ according to the first-principle calculation\cite{Enriquez
.

\begin{figure}[t]
\centerline{\includegraphics[width=0.47\textwidth]{xBand}}
\caption{(Color online) Band structure of the ($3\times 3$) superstructure
(a1,a2) along the $k_{x}$-axis and (b1,b2) along the $k_{y}$-axis, where
(a1,b1) for $U^{\prime }=0$ and (a2,b2) for $U^{\prime }=0.5t$. Band
structure (a1,b1) agrees with (a3,b3) in Fig.\protect\ref{FigS2Sa}. The
vertical axis is the energy in unit of $t$. The horizontal axis is momentum
k_{x}$ or $k_{y}$. We have set $\protect\lambda _{\text{SO}}=0.2t$ for
illustration. }
\label{FigBand}
\end{figure}

The total Hamiltonian is $H=H_{0}+H_{1}$, where the spin $s_{z}$ is a good
quantum number. Hence, the Hamiltonian is decomposed into the spin sectors
indexed by $s_{z}=\pm 1$. Since the number (\ref{NumbeSI}) of silicon atoms
per unit cell is $18$ in the (3$\times $3) superstructure, we analyze the
18-band tight-binding model. We show numerically calculated band structures
of the superstructure for $U^{\prime }=0$ and $U^{\prime }\neq 0$ in Fig.\re
{FigBand}. They have qualitatively very similar behaviors though there are
some quantitative difference.

\begin{figure}[t]
\centerline{\includegraphics[width=0.35\textwidth]{ContourJ}}
\caption{(Color online) Contour plot of two trigonally warped Dirac cones at
the \={K} point (a) for $U^{\prime }=0$ and (b) for $U^{\prime }=0.5t$. They
are originally present at the K and K' points in silicene.}
\label{FigContourJ}
\end{figure}

We also show the contour plot of the band structures (Fig.\ref{FigContourJ
). We find two trigonally warped Dirac cones at the center \={K} of the
Brillouin zone. The origin of these two cones is clear: There are Dirac
cones at the K and K' points in silicene, but they are placed on the same
point in the superstructure since the K and K' points are identified. There
appears a new feature because these two Dirac cones now cross each other.
The level crossing will be transformed into the level anticrossing when
Dirac electrons interact among themselves. We show the contour plots of the
Dirac cones in Fig.\ref{FigCoulo}, by introducing an infinitesimal on-site
Coulomb interaction. The two Dirac cones merges and transformed into two
hexagonally warped cones as illustrated in Fig.\ref{FigCoulo}. They are no
longer degenerate, and must be experimentally detectable by angle resolved
photoemission spectroscopy (ARPES).

\subsection{Dirac Theory}

To understand this phenomenon of the hexagonal warping analytically, we
analyze the low energy Dirac theory of the Hamiltonian (\ref{BasicHamil}),
\begin{eqnarray}
H_{\eta } &=&\hbar v_{\text{F}}\left( k_{x}\tau _{x}+\eta k_{y}\tau
_{y}\right) +\frac{\eta ae^{3\pi \eta i/2}}{4\sqrt{3}}\left( k_{\eta
}^{2}\sigma _{+}+k_{-\eta }^{2}\sigma _{-}\right)  \notag \\
&&-\eta \lambda _{\text{SO}}\sigma _{z}\tau _{z},  \label{DiracTheor}
\end{eqnarray
where $\mathbf{\tau }=(\tau _{x},\tau _{y},\tau _{z})$ is the Pauli matrix
of pseudospin associated with the A and B sites. Two Dirac cones are
labelled by $\eta =\pm $, which are originally present at the K point ($\eta
=+$) and the K' point ($\eta =-)$ in silicene. The way of trigonal warping
is represented by the factor $e^{3\pi \eta i/2}$ with the phase being
opposite ($\eta =\pm 1$) between the two types of electrons\cite{Ajiki}. We
assume $U^{\prime }=0$ in the analytical treatment for simplicity.
Nevertheless, we are able to see clearly how two trigonally warped Dirac
cones are transformed into two undegenerate hexagonally warped Dirac cones.

\begin{figure}[t]
\centerline{\includegraphics[width=0.35\textwidth]{Coulo}}
\caption{(Color online) Contour plots of two hexagonally warped Dirac cones.
Trigonally warped Dirac cones [Fig.\protect\ref{FigContourJ}] emerge when
two crossing levels are transformed into two anticrossing levels by an
infinitesimal on-site Coulomb interaction. (a) We have taken $U^{\prime }=0$
for simplicity. (b) The Dirac cones are modified slightly when $U^{\prime
}=0.5t$.}
\label{FigCoulo}
\end{figure}

When we introduce the on-site Coulomb interaction, the Hamiltonian $H_{\text
K}}$ and $H_{\text{K'}}$ are mixed int
\begin{equation}
H=\left(
\begin{array}{cc}
H_{\text{K}} & H_{12} \\
H_{21} & H_{\text{K'}
\end{array
\right) ,
\end{equation
where we have chosen the basis $\{c_{A}^{K},c_{B}^{K},c_{A}^{K^{\prime
}},c_{B}^{K^{\prime }}\}$, an
\begin{equation}
H_{\text{K}}=\left(
\begin{array}{cc}
-\lambda _{\text{SO}} & \hbar v_{\text{F}}k_{-}+ae^{3\pi i/2}k_{+}^{2} \\
\hbar v_{\text{F}}k_{+}+ae^{-3\pi i/2}k_{-}^{2} & \lambda _{\text{SO}
\end{array
\right) ,
\end{equation
\begin{equation}
H_{\text{K'}}=\left(
\begin{array}{cc}
\lambda _{\text{SO}} & \hbar v_{\text{F}}k_{+}-ae^{-3\pi i/2}k_{-}^{2} \\
\hbar v_{\text{F}}k_{-}-ae^{3\pi i/2}k_{+}^{2} & -\lambda _{\text{SO}
\end{array
\right) .
\end{equation
\begin{equation}
H_{12}=H_{21}=\left(
\begin{array}{cc}
V & 0 \\
0 &
\end{array
\right) ,
\end{equation
with $V$ representing the Coulomb energy. Up to the first order in $V$, the
two bands are explicitly given b
\begin{equation}
\varepsilon _{\pm }^{2}=\left( \hbar v_{\text{F}}k\right) ^{2}+\lambda _
\text{SO}}^{2}+a^{2}\pm \sqrt{2}a\hbar v_{\text{F}}k\sqrt{1+\cos 6\theta },
\end{equation
where $\theta $ is the azimuthal angle in the momentum space, $k_{x}=k\cos
\theta $. The degeneracy has been resolved. We can check that these two band
structures reproduce the hexagonally warped Dirac cones in Fig.\ref{FigCoulo}
quite well.

\section{Topological Numbers}

The topological quantum numbers\cite{Hasan,Qi} are the Chern number
\mathcal{C}$ and the $\mathbb{Z}_{2}$ index. If the spin $s_{z}$ is a good
quantum number, the $\mathbb{Z}_{2}$ index is identical to the spin-Chern
number $\mathcal{C}_{s}$ modulo $2$. They are defined when the state is
gapped and given by
\begin{equation}
\mathcal{C}=\mathcal{C}_{\uparrow }+\mathcal{C}_{\downarrow },\qquad
\mathcal{C}_{s}=\frac{1}{2}(\mathcal{C}_{\uparrow }-\mathcal{C}_{\downarrow
}),
\end{equation
where $\mathcal{C}_{\uparrow \downarrow }$ is the summation of the Berry
curvature in the momentum space over all occupied states of electrons with
s_{z}=\pm 1$. The characteristic feature is that they are unchanged even if
some parameters are continuously switched off in the Hamiltonian provided
that the gap does not close\cite{Prodan09B,Sheng}.

\begin{figure}[t]
\centerline{\includegraphics[width=0.4\textwidth]{Gap}}
\caption{(Color online) Band gap $\Delta $ as a function of $U^{\prime }$.
We show $\Delta $ for the ($3\times 3$) superstructure in the solid curve
and for free-standing silicene in the dashed lines. The band gap closes at
U^{\prime }=\pm 2\ell E_{\text{cr}}$ with $E_{\text{cr}}\equiv \protec
\lambda _{\text{SO}}/\ell $ for the free-standing silicene ($U=0$), but not
closes for the ($3\times 3$) superstructure ($U^{\prime }=U=0.1$eV). The
vertical axis is the energy in unit of $t$. We have set $\protect\lambda _
\text{SO}}=0.005t$ for illustration.}
\label{FigGap}
\end{figure}

The spin-Chern number is defined by the integration of the Berry curvature
\Omega _{i}(\mathbf{k})$ over the conduction band indexed $i$ in the
Brilloin zone $S$ for each spin sector,
\begin{equation}
\mathcal{C}_{s_{z}}=\sum_{i}^{N/2}\int_{S}d^{2}k\,\Omega _{i}(\mathbf{k}).
\label{ChernB}
\end{equation
Here, the Brilloin zone $S$ is that of the superstructure. The number of
conduction bands is $N/2$ when the system is half filled. By making use of
the band structure (\ref{BrillIdent}) we may equivalently integrate the
Berry curvature $\Omega (\mathbf{k})$ over one conduction band in the
extended Brilloin zone $S_{\text{ex}}$, which is the Brilloin zone of
silicene
\begin{equation}
\mathcal{C}_{s_{z}}=\int_{S_{\text{ex}}}d^{2}k\,\Omega (\mathbf{k}).
\end{equation
Recall that $N/2$ conduction bands in the Brilloin zone $S$ are merged into
one conduction band in the extended Brilloin zone $S$, as illustrated in Fig
\ref{FigS2Sa}.

It is well known that silicene is a SQH insulator characterized by the
topological numbers
\begin{equation}
\mathcal{C}=0,\qquad \mathcal{C}_{s}=1.  \label{SiTopNum}
\end{equation
It is an important question whether a superstructure is also a topological
insulator. We investigate this problem in the following three ways. All of
them produce the same result on this problem.

\subsection{Adiabatic Analysis}

We take the example of the ($3\times 3$) superstructure by investigating our
Hamiltonian system $H=H_{0}+H_{1}$. We have explicitly calculated the band
gap of the ($3\times 3$) superstructure by taking the potential term (\re
{PotenU}), whose result is given in Fig.\ref{FigGap}. It is surprising that
the band gap never closes as a function of $U^{\prime }=U+2\ell E_{z}$. Let
us first choose the external electric field $E_{z}$ to cancel the internal
chemical potential difference $U$, namely, $U^{\prime }=U+2\ell E_{z}=0$.
Then, the Hamiltonian of the system is reduced to that of silicene, and
hence the topological numbers are given by (\ref{SiTopNum}). We then
continuously change $E_{z}$ till $E_{z}=0$. As we have seen, the gap is kept
open during this process. Hence, the topological quantum numbers are kept
unchanged during this continuous process. Namely the ($3\times 3$)
superstructure is topologically connected to silicene. We conclude that the
superstructure is a QSH insulator.

\begin{figure}[t]
\centerline{\includegraphics[width=0.5\textwidth]{SuperRibbon}}
\caption{(Color online) Band structure of a zigzag nanorbibbon made of the (
3\times 3$) superstructure (a) for $U^{\prime }=0$ and (b) for $U^{\prime
}=0.5t$. The width contains 8 unit cells of the superstructure. The red
lines indicate the doubly degenerate edge modes with up and down spins. The
vertical axis is the energy in unit of $t$. The horizontal axis is the
momentum $k$. The points $k=0$ and $k=2\protect\pi $ are identified, and
give the \={K} point, while $k=\protect\pi $ is the $\Gamma $ point. We have
set $\protect\lambda _{\text{SO}}=0.2t$ for illustration. Each red line
connects the \={K} point in the conduction and valence bands after winding
once a circle of the whole Brillouin zone. (c) Illustration of a nanoribon
with the width containing 3 unit cells of the superstructure. The red and
blue arrows indicate the degenerate gapless edge modes with up and down
spins.}
\label{FigRibbon}
\end{figure}

When we apply external electric field $E_{z}$, silicene undergoes a
topological phase transition\cite{EzawaNJP}. However, the ($3\times 3$)
superstructure does not since the gap does not close. We shall see the
reason why this is the case in subsection \ref{SubsecDirac}.

\subsection{Edge States Analysis}

The bulk-edge correspondence\cite{Hasan,Qi} is well known to characterize
the topological insulators. Namely, a topological insulator is characterized
by the appearance of gapless modes on edges. The reason why gapless modes
appear in the edge of a topological insulator is understood as follows. The
topological insulator has a nontrivial topological number, the $\mathbb{Z
_{2}$ index\cite{KaneMele}, which is defined only for a gapped state. When a
topological insulator has an edge beyond which the region has the trivial
\mathbb{Z}_{2}$ index, the band must close and yield gapless modes in the
interface. Otherwise the $\mathbb{Z}_{2}$ index cannot change its value
across the interface.

We have numerically calculated the band structure of a zigzag nanoribbon
geometry in Fig.\ref{FigRibbon}(a,b), where the width contains 8 unit cells
of the superstructure. Two zero-energy edge modes (indicated by red lines)
are clearly seen: Each line represents the two-fold degenerate helical modes
propagating one edge as indicated in Fig.\ref{FigRibbon}(c). The band
structure of a nanoribbon with $U^{\prime }=0$ is just the one obtained by
folding that of a silicene nanoribbon as in Fig.\ref{FigRibbon}(a). It is
modified for $U^{\prime }\neq 0$, but the modification is only slight even
when we take a quite large value for $U^{\prime }$, as shown in Fig.\re
{FigRibbon}(b). The essential feature is that the edge state, connecting the
conduction and valence bands at the same \={K} point, is topologically
protected since it winds a circle of the whole Brillouin zone as in Fig.\re
{FigRibbon}. Namely, as far as the band is open, though the band structure
is modified by changing $U^{\prime }$, the gapless edge modes connecting the
conduction and valence bands continue to exist. We remark that each zero
mode originally connects the K and K' points in silicene and is
topologically protected. This property is not lost even when they are
identified as the \={K} point. Consequently, the superstructure is a QSH
insulator.

\subsection{Dirac Theory Analysis}

\label{SubsecDirac}

We have found that there exists no topological phase transition in the (
3\times 3$) superstructure by the change of the external electric field
E_{z}$. We present an analytic argument by calculating the topological
numbers based on the effective Dirac theory. This analysis is valid for a
generic superstructure. We assume that the buckled structure consists of two
sublattices. Indeed, there is a report\cite{Enriquez} that this is the case
for all structures grown on Ag(1,1,1). Let the numbers of A sites and B
sites be $N_{A}$ and $N_{B}$, respectively, in the higher sublattice per
unit cell which contains $N$ silicon atoms. It yields a contribution to the
Dirac mass $m_{\text{D}}$ within the mean-field approximation
\begin{equation}
m_{\text{D}}=\frac{N_{A}-N_{B}}{N}(U+2\ell E_{z})+\eta s_{z}\lambda _{\text
SO}}.  \label{MassFormu}
\end{equation
It has been shown\cite{EzawaEPJB,Hasan,Qi} that the topological charges are
determined by the sign of the Dirac mass $m_{\text{D}}$.

In the ($3\times 3$) superstructure, since we have $N_{A}=N_{B}=3$ and $N=18
, the superstructure is a QSH insulator. Furthermore, since it does not
depend on $E_{z}$, there occurs no phase transitions by the change of $E_{z}
. This gives an analytic reasoning why the gap does not close in Fig.\re
{FigGap}.

The condition that the phase transition occurs \cite{EzawaEPJB} is that $m_
\text{D}}=0$, which determines the critical field,
\begin{equation}
E_{\text{cr}}=-\frac{1}{2\ell }\left( \eta s_{z}\lambda _{\text{SO}}\frac{N}
N_{A}-N_{B}}+U\right) .
\end{equation
In the case of free-standing silicene, we have $U=0$, $N=2$, $N_{A}=1$,
N_{B}=0$, and hence
\begin{equation}
E_{\text{cr}}=\lambda _{\text{SO}}/\ell ,
\end{equation
as agrees with the previous result\cite{EzawaNJP}. In general it is
necessary that $N_{A}\neq N_{B}$ for a topological phase transition to occur
in a superstructure described by the potential term (\ref{PotenU}).

\section{Discussions}

\label{SecDiscu}

\begin{figure}[t]
\centerline{\includegraphics[width=0.35\textwidth]{Deformed}}
\caption{(Color online) Cotour plot of Dirac cones with structural
deformation by transfer-energy difference for (a) $U^{\prime }=0$ and (b)
U^{\prime }=0.5t$. We set $t_{\text{LL}}=1.5t$ and $t_{\text{LH}}=t$. By
comparing these with Fig.\protect\ref{FigContourJ}, the modification of the
band structure is found to be quite small.}
\label{FigDeformed}
\end{figure}

In conclusion, we have investigated the topological properties of a
superstructure made from the silicene honeycomb lattice by a periodic
potential term $H_{1}$. The superstructure is a QSH insulator if it is
topologically connected to silicene. The concept of the topological
connectedness may be formulated as follows. We consider the Hamiltonian
\begin{equation}
H(\lambda )=H_{0}+\lambda H_{1}.
\end{equation
Provided the gap is open in the system $H(\lambda )$ for any values of
\lambda $ ($0\leq \lambda \leq 1$) as $\lambda $ is continuously changed
from $\lambda =1$ to $\lambda =0$, the two systems $H(1)$ and $H(0)$ are
topologically connected. For the instance of the potential (\ref{PotenU}) we
have used the electric field $E_{z}$ instead of $\lambda $ as such a
continuous parameter to show the topological connectedness.

We have investigated the problem if the topological phase transition occurs
as in silicene\cite{EzawaNJP}. We have also derived the condition (\re
{CondiOneK}) that the K and K' points become identical in superstructures.
In this case, there occurs an intriguing phenomenon that two Dirac cones
coexist at a single point (\={K} point). They exhibit hexagonal warping in
the presence of the Coulomb interaction, which must be observed by ARPES.

We have carried out a numerical analysis and confirm these observations by
taking an instance of the ($3\times 3$) buckled superstructure together with
the potential term $H_{1}$ given by (\ref{PotenU}). In so doing we have
assumed that all transfer energys are the same. In principle, there may be
two different transfer energyies, $t_{\text{LL}}$ and $t_{\text{LH}}$, where
$t_{\text{LL}}$ is the transfer energy between two lower sites (indicated as
blue balls) and $t_{\text{LH}}$ is the transfer energy between lower and
higher sites (indicated as blue and red balls) in Fig.\ref{FigUnit},
although there is no report that there is a significant difference between
them. Note that there is no $t_{\text{HH}}$ term as seen in Fig.\ref{FigUnit
. We have calculated the band structure with different transfer energy in
Fig.\ref{FigDeformed}. It is clearly seen that there is no qualitative
difference even if we assume very different transfer energies such as $t_
\text{LL}}=1.5t_{\text{LH}}=1.5t$. A possible transfer-energy difference
does not cause any qualitative change of the band structure. In particular,
the gap does not close as a function of $E_{z}$. We conclude that such a
transfer-energy difference does not destroy the topological properties of
the superstructure.

Silicene superstructures are grown on the Ag substrate. The most common one
is the ($3\times 3$) superstructure on the ($4\times 4$) Ag-structure. There
are several possible superstructures obtained in this way. Here we give some
correspondences between them\cite{Jamgo,Enriquez}
\begin{equation*}
\begin{tabular}{|c|c|c|c|c|c|}
\hline
Si-superstructure & Ag-structure & p & q & ratio & Refs. \\ \hline
$3\times 3$ & $4\times 4$ & $3$ & $0$ & $1.33$ & \cite{GLayPRL,Kawai} \\
\hline
$2\times 2$ & $\sqrt{7}\times \sqrt{7}$ & $2$ & $0$ & $1.32$ &  \\ \hline
$\sqrt{7}\times \sqrt{7}$ & $\sqrt{13}\times \sqrt{13}$ & $2$ & $1$ & $1.36$
& \cite{Kawai} \\ \hline
$2\sqrt{3}\times 2\sqrt{3}$ & $\sqrt{21}\times \sqrt{21}$ & $2$ & $2$ &
1.32 $ &  \\ \hline
$\sqrt{7}\times \sqrt{7}$ & $2\sqrt{3}\times 2\sqrt{3}$ & $2$ & $1$ & $1.31$
& \cite{Jamgo} \\ \hline
\end{tabular
\end{equation*
It is interesting that the ratios of the Ag-structure and Si-superstructures
are around $1.3$. There would be other ways to construct superstructures by
introducing periodic potentials to silicene. Our analysis of topological
properties in superstructure is applicable to any of them.

I am very much grateful to G.L. Lay, S. Hasegawa and N. Nagaosa for many
fruitful discussions on the subject. This work was supported in part by
Grants-in-Aid for Scientific Research from the Ministry of Education,
Science, Sports and Culture No. 22740196.


\section{Introduction}\label{s:intro}

We are interested in one of the most well-studied symmetry properties of a finite partially ordered set -- possessing a partition into symmetric chains.  We want to determine circumstances under which having of a symmetric chain decomposition is preserved by quotients.

Here we restrict our attention to finite ordered sets $P$ with minimum element, denoted $0_P$, in which all maximal chains have the same length.
Such $P$ have
a rank function $r= r_P$ defined as follows:  for all $x \in P$, $r(x)$ is the maximum length $l(C) = |C| - 1$ over all chains
$C \subseteq P$ with  maximum element $x$.  The {\it rank} $r(P)$ of $P$ is
the maximum of $r(x)$ over all $x \in P$ and we call such $P$ {\it ranked} partial orders.

In a ranked order $P$ a chain $x_1 < x_2 < \dots < x_k$ is {\it saturated} if for each $i$ there is no $z$ such that
$x_i < z < x_{i + 1}$.  Call the saturated chain  \emph{symmetric} if
$r(x_1) + r(x_k) = r(P)$.   A \emph{symmetric chain decomposition}, an \emph{SCD}, of $P$ is a partition of $P$ into
symmetric chains.  If $P$ has an SCD, call $P$ a {\it symmetric chain order}, an {\it SCO}.
Here, we are concerned with a particular family of SCOs, products of finite chains, and whether quotients of
these are also SCOs.

For any partially ordered set $P$ and any subgroup $G$ of $\mathrm{Aut} (P)$ the automorphism group of $P$, let $P/G$
denote the quotient poset.  That is, the elements of $P/G$ are the orbits induced by $G$, denoted by $[x]_G$, or just $[x]$
when no confusion should arise.  And, $[x] \le [y]$ in $P/G$
if there are $x' \in [x]$ and $y' \in [y]$ such that $x' \le y'$ in $P$.    Canfield and Mason \cite{CM} conjectured that for
$P = B_n$, the Boolean lattice of all subsets  of an $n$-element set ordered by containment, $B_n / G$ is an SCO
for all subgroups $G$ of $\mathrm{Aut} (B_n)$.  (Observe that $\mathrm{Aut} (B_n) \cong S_n$, the symmetric group on $[n] := \{1, 2, \ldots, n\}$.)   A more general problem is to investigate
conditions on an SCO $P$ and a subgroup $G$ of $\mathrm{Aut} (P)$ under which $P/G$ an SCO.

In studying Venn diagrams,
Griggs, Killian and Savage \cite{GKS} explicitly constructed an SCD of the quotient $B_n/G$ for $n$ prime and given
that $G$ is generated by a single $n$-cycle.  They asked if this {\it necklace} poset is an SCO for arbitrary $n$.
Jordan \cite{KKJ} proved that it is by constructing an SCD of the quotient on the SCD in $B_n$ based on an SCD obtained by
Greene and Kleitman \cite{GK} for the Boolean lattice.   P. Hersh and A. Schilling \cite{HS} gave another proof of Jordan's result with an explicit construction of an SCD in $B_n/\mathbb{Z}_n$ via invention of a cyclic version of Greene and Kleitman's bracketing procedure.
We showed that $B_n/G$ is an SCO provided that $G$ is generated by
powers of disjoint cycles \cite{DMT}.  While this generalizes Jordan's result somewhat,  the method of proof is likely
more interesting in that we construct an SCD of the quotient by refining, or pruning, the Greene-Kleitman SCD in a more direct way than Jordan.

Results can be extended in several directions.  Dhand \cite{D} has shown that if $P$ is an SCO and $\mathbb{Z}_n$ acts
on $P^n$ in the usual way (by permuting coordinates) then $P^n/\mathbb{Z}_n$ is an SCO.  (This is the same as
considering $P^n/G$ where $G$ is generated by an $n$-cycle.) His methods are algebraic.  As a special case,
in some sense the base case of his argument, for any chain $C$, $C^n/G$ is an SCO for $G$ generated by an
$n$-cycle.  We have a somewhat more general version of this special case, that $C^n/G$ is an SCO for $G$ generated
by powers of disjoint cycles \cite{DMT}.  The proof again proceeds by pruning the Greene-Kleitman SCD to give an SCD of the quotient.

Quotients of the form $(C_1 \times C_2 \times \cdots \times C_n) /K$, where each $C_i$ is a chain, are interesting for
several reasons.  First, it follows from a result of Stanley \cite{RPS3} that  for any chain product and all subgroups $K$
of its automorphism group, $(C_1 \times C_2 \times \cdots \times C_n) /K$
is rank-symmetric, rank-unimodal, and strongly Sperner (see, for instance, \cite{E} or \cite{KKJ} for definitions).  An SCO has
these three properties.  While these conditions are not sufficient to insure an SCD, Griggs \cite{JRG} showed that a
ranked ordered set with the LYM property, rank-symmetry and rank-unimodality is an SCO.   And it is the case that
products of chains have the LYM property.  (We shall see, at the end of Section \ref{s:examples}, that Stanley \cite{RPS}
was first to ask if certain quotients of $B_n$ are SCOs.)

Second, the automorphism group of a product of chains consists of just those maps that permute coordinates corresponding
to chains of the same length.  To be more precise, for

\centerline{$P = \prod_{i = 1}^{m} C_i^{n_i},  \ C_j \ncong C_k \ \text{for} \ j \ne k,$}
and $\phi \in \mathrm{Aut}(P)$ there exist $\phi_i \in \mathrm{Aut}(C_i^{n_i})$ and $\sigma_i \in S_{n_i}$, $i = 1, 2, \ldots, m$, such that
$\phi = ( \phi_1, \phi_2, \ldots, \phi_m )$
and for $\overline{x} = (x_1 , x_2, \ldots, x_{n_i} )\in  C_i^{n_i}$,
$$\phi_i (\overline{x}) = (x_{\sigma_i^{-1}(1)}, x_{\sigma_i^{-1}(2)}, \ldots, x_{\sigma_i^{-1}(n_i)} ).$$
In particular, $\mathrm{Aut} (P)$ is identified with a subgroup of $S_{n_1} \times S_{n_2} \times \cdots \times S_{n_m}$ that is itself a product
of wreath products (see Section \ref{s:mainresult}).   These observations are
justified by examining the action of an automorphism of a chain product on the atoms of the product.  They are also a
consequence of results of Chang, J\'onsson and Tarski \cite{CJT} on the refinement property for product decompositions of
partially ordered sets.

Third, since a product of SCOs is an SCO (first proved by Katona \cite{K} and rediscovered more than once \cite{E}), whenever a subgroup $K$ of $\mathrm{Aut}(P)$ factors into subgroups $K_i$ of $\mathrm{Aut}(C_i^{n_i})$,
$P/K$ is an SCO provided that each $C_i^{n_i}/K_i$ is an SCO.  Thus, $P/K$ is an SCO whenever each of the factors
$K_i$ is generated by powers of disjoint cycles, as noted in \cite{DMT} in Corollary 7.

Finally, one can use the fact that $(C_1 \times C_2 \times \cdots \times C_n )/K$ has an SCD for certain groups $K$
to prove that $B_n /G$ has an SCD for groups $G$ that are wreath products involving these $K$.  This is described
precisely in Section \ref{s:mainresult}.    The main results are stated and proved there.   In Section \ref{s:dhand} we show
how the methods developed to prove Theorem \ref{T:main} can be used to prove, in a very elementary way,  the result of
Dhand \cite{D} mentioned above.  Examples and questions are
presented in Section \ref{s:examples}.

\section{The Main Result}\label{s:mainresult}

We requires some terminology and notation to state the main result.  We use standard ordered set notation.  See \cite {DM} for
background on permutation groups.

For this section, let $n = k t$ for $n, k, t \in \mathbb{N}$ and let $B_n$ denote the Boolean lattice of subsets of
the $n$-element set $[k] \times [t]$ of ordered pairs.  Let $S_X$ denote symmetric
group on any set $X$.  It is convenient to use $S_n$ in place of $S_{ [k] \times [t]}$, while using $S_k$ and $S_t$
for the symmetric groups on $[k]$ and $[t]$, respectively.  Let
\begin{equation}\label{e:partition}
[k]\times[t] = N_1 \cup N_2 \cup \cdots \cup N_t \ \  \text{where} \ \ N_r = [k] \times \{r\}, \ (r = 1, 2, \ldots, t).
\end{equation}

Given subgroups $K$ of $S_k$ and $T$ of $S_t$, the wreath product  $G =  K \wr T$ of $K$ by $T$ is the set of all
$\phi \in S_n$ defined as follows: given $\overline{\rho} = (\rho_1, \rho_2, \ldots, \rho_t ) \in K^t$ and $\tau \in T$, for all
$(i, r) \in [k]\times[t]$,
\begin{equation}\label{e:phi}
\phi (i, r) = (\rho_r (i), \tau(r) ).
\end{equation}

Wreath products allow us to extend the methods in \cite{DMT} to larger families of groups.
\begin{theorem}\label{T:main}
Let $n, k, t$ be positive integers and  $n = kt$.   Then $B_n/G$ is a symmetric chain order for any subgroup $G$ of
$\mathrm{Aut} (B_n)$ defined as follows: $G = K \wr T$ where $K$ is a subgroup of $S_k$, $T$ is a subgroup of $S_t$, and
both $K$ and $T$ are generated by powers of disjoint cycles.
\end{theorem}

The three subsections below are organized as follows.   In {\bf\S\ref{ss:required}}, we specify the properties of $K$ and $T$ that are needed in our proof that for $G = K \wr T$, $B_n/G$ is an SCO.  In {\bf \S\ref{ss:sufficiency}}, we show that these properties do indeed suffice.  In
{\bf \S\ref{ss:powers}}, we prove that if subgroups $K$ and $T$ are each generated by powers of disjoint cycles then they do have the
required properties.

\subsection{The required properties}\label{ss:required}
Let us assume that $G$ is a subgroup of $S_n$ and $G = K \wr T$ with $K$ a subgroup of $S_k$ and $T$ a subgroup of
$S_t$.    To derive the requisite properties, some notation and a few observations are needed.

Given a partially ordered set $P$ and subsets $P_i$, $i = 1, 2, \ldots, m$, use $P = \sum_{i = 1}^m P_i$ to mean
that $P$ is partitioned by the family of $P_i$'s and the order on each $P_i$ is the restriction of the order on $P$,
with no information given about the order relations between elements of distinct  $P_i$'s.  For a subposet $Q$ of
a ranked partially ordered set $P$, $Q$ is said to be {\it saturated} if for all $x, y \in Q$, $x$ is covered by $y$ in
$Q$ implies that $x$ is covered by $y$ in $P$.   Given a saturated $Q \subseteq P$ with minimum $0_Q$ and
maximum $1_Q$, say that  $Q$ is {\it symmetric} in $P$ if $r_P( 0_Q ) + r_P(1_Q) = r_P(P).$
\noindent\footnote{As is customary, we define ``symmetric" only for saturated subposets.  However, we usually use the phrase
``saturated and symmetric", or some variant, to emphasize the two aspects of the property.}

\begin{lemma}\label{l:partition}
Let $P$ be a partially ordered sets and let $P_1, P_2, \ldots, P_m$ be saturated, symmetric subsets of $P$.  If
$P = \sum_{i = 1}^m P_i$ and each $P_i$ is an SCO then $P$ is an SCO.
\end{lemma}
\begin{proof}
Each chain $C$ in an SCD of a $P_i$ is a symmetric, saturated chain in $P_i$ and each $P_i$ is symmetric and saturated in $P$.
Hence, $C$ is symmetric and saturated in $P$.  Thus, the set of all these chains, over all $i$, provides an SCD of $P$.
\end{proof}

For all $X \subseteq [n]$, let $X_r = X \cap N_r$, $r = 1, 2, \ldots, t$ (see (\ref{e:partition})).
With the notation in (\ref{e:phi}), let $K'$ be the subgroup of $G$ consisting of all $\phi$ for which $\tau$ is the
identity on $[t]$.  This is
the base group of
the wreath product and is isomorphic to $K^t$.   Let $K_r$ denote the copy of $K$ acting on $N_r$ and for any set
$N$, let $B(N)$ denote the Boolean lattice of all subsets of $N$.  Then\\[-.6cm]
\begin{equation}\label{e:inside}
B_n/K' \ \cong \ \prod_{r = 1}^t B(N_r)/K_r \ \cong \ (B_k/K)^t .
\end{equation}
The first isomorphism, say $F$, in (\ref{e:inside}) is the map $[X]_{K'} \xrightarrow{F}  ([X_1]_{K_1}, [X_2]_{K_2}, \ldots, [X_t]_{K_t})$, where
$[X]_{K'}$ and $[X_r]_{K_r}$ denote the orbit of $X$ under $K'$ and the orbit of $X_r$ under $K_r$, respectively.

Here is the property of the subgroup $K$ of $S_k$ needed in our proof:\\

\centerline{[{\bf K}]:   $B_k / K$ has an SCD.}

With an SCD guaranteed by [{\bf K}], we now derive the required property of $T$.

Suppose that $C_1, C_2, \ldots, C_s$ constitute an SCD of $B_k/K$ and that $C_1^r, C_2^r, \ldots, C_s^r$ is the
corresponding SCD of $B(N_r)/K_r$, $r = 1, 2, \ldots, t$.   Then these SCDs define a partition of the product $\prod_{r=1}^t B(N_r)/K_r$ into {\it grids}, that is, products of chains:
\begin{equation}\label{e:grids}
\prod_{r = 1}^t B(N_r)/K_r \ = \ \prod_{r = 1}^t \left( \sum_{j = 1}^s C_j^r \right) \ = \!
\sum_{\overline{j} = (j_1, j_2, \ldots, j_t ) \in [s]^t} C_{j_1}^1 \times C_{j_2}^2 \ldots \times C_{j_t}^t .
\end{equation}
Note that each grid $C(\overline{j}) =  C_{j_1}^1 \times C_{j_2}^2 \ldots \times C_{j_t}^t$ is itself an SCO
(\cite {BTK}) and
is a symmetric, saturated subset of  $\prod_{r = 1}^t B(N_r)/K_r$.   Following Lemma \ref{l:partition}, the family of all chains from the SCDs of the $C(\overline{j})$s
and the first isomorphism in (\ref{e:inside}) yield an SCD for $B_n/K' $.

The group $T$ acts on $[s]^t$ as follows: for $\tau \in T$ and $\overline{j} = (j_1, j_2, \ldots, j_t ) \in [s]^t$,
$$\tau(\overline{j}) = (j_{\tau^{-1}(1)}, j_{\tau^{-1}(2)}, \ldots, j_{\tau^{-1}(t)} ).$$
Let $T_{\overline{j}}$ denote the stabilizer of ${\overline{j}}$ -- the subgroup of all $\tau \in T$ such that
$\tau(\overline{j}) = {\overline{j}}$.  Of course, each $\tau \in T$ also induces a permutation of the family of all $C(\overline{j})$,
$\overline{j} \in [s]^t$, via $C(\overline{j}) \to C(\tau(\overline{j}))$.    In fact, each $\tau \in T$ induces ``local isomorphisms"
among the grids $C(\overline{j})$, $\overline{j} \in [s]^t$, as follows.

Given $X \subseteq [k] \times [t]$ and $X_r = X \cap N_r$, let $X_{r,p} = \{ (i, p) | (i, r) \in X_r \}$.  Thus, $X_r$ and $X_{r,p}$
have the same first projection into $[k]$.  Also, for brevity, let $[X_r]$ replace $[X_r]_{K_r}$, let $[X_{r,p}]$ replace $[X_{r,p}]_{K_p}$,
and let $\overline{X} =  ([X_1], [X_2], \ldots , [X_t])$.

Define $\widehat{\tau}: C(\overline{j}) \to C(\tau(\overline{j}))$ by
\begin{equation}\label{e:tau}
\widehat{\tau} ([X_1], [X_2], \ldots , [X_t]) = ([X_{{\tau}^{-1}(1), 1}], [X_{{\tau}^{-1}(2), 2}], \ldots, [X_{{\tau}^{-1}(t), t}]) .
\end{equation}
Then $\widehat{\tau}$ is well-defined and is an order isomorphism because:
\begin{align*}
\widehat{\tau}(\overline{X}) = \widehat{\tau} ([X_1], [X_2], \ldots , [X_t]) \le \widehat{\tau} ([Y_1], [Y_2], \ldots , [Y_t]) \ \text{in} \ C(\tau(\overline{j})) &\iff \\
[X_{{\tau}^{-1}(r), r}] \le [Y_{{\tau}^{-1}(r), r}] \ \text{in} \  C_{j_{\tau^{-1} (r)}}^r  \ (r = 1, 2, \ldots, t) &\iff \\
[X_{{\tau}^{-1}(r)}] \le [Y_{{\tau}^{-1}(r)}]  \ \text{in} \ C_{j_{\tau^{-1} (r)}}^{\tau^{-1} (r)}  \ (r = 1, 2, \ldots, t) &\iff \\
 ([X_1], [X_2], \ldots , [X_t]) \le ([Y_1], [Y_2], \ldots , [Y_t]) \ \text{in} \  C(\overline{j}).
\end{align*}

Whenever $\tau \in T_{\overline{j}}$,  $\widehat{\tau}: C(\overline{j}) \to C(\overline{j})$ is an automorphism of
 $C(\overline{j})$.

Finally, we can state the property of $T$ we need.

[{\bf T}]:  With the SCD $C_1, C_2, \ldots, C_s$ of $B(k)/K$, for each $\overline{j} \in [s]^t$,
$C(\overline{j})/T_{\overline{j}}$ is an SCO.

\subsection{Proof of Theorem \ref{T:main} from [K] and [T]}\label{ss:sufficiency}
In this subsection, we assume that the subgroups $K$ and $T$ of $S_k$ and $S_t$, respectively, satisfy [{\bf K}] and [{\bf T}].
We have the partition of $\prod_{r = 1}^t B(N_r)/K_r$ into symmetric, saturated grids  $C(\overline{j}), \ \overline{j} \in  [s]^t$, given
in (\ref{e:grids}) and know that the union of the SCDs of these grids gives an SCD of  $\prod_{r = 1}^t B(N_r)/K_r$.

Select a representative from each orbit in $[s]^t$ under $T$, say the lexicographically least, and let $J$ be the set of these
representatives.  The family $\{ C(\overline{j}) \ | \ \overline{j} \in J \}$ seems to be a promising source of an SCD of $B_n/G$.
Indeed, for $X = \cup_{r = 1}^t X_r \subseteq [n]$, each $X_r$ determines an index $j_r$ via $[X_r] \in C_{j_r}^r$ in the SCD of
$B(N_r)/K_r$.   There is a unique $\overline{j} \in [s]^t$ such that $\overline {X} = ([X_1], [X_2], \ldots , [X_t]) \in C(\overline{j})$.   Thus, there is
exactly one $\overline{j'} \in J$ such that $\widehat{\tau} (\overline{X}) \in C(\overline{j'})$ for some $\tau \in T$.

Creating an SCD for $B_n/G$ begins with verifying this claim.

\begin{claim}\label{cl:bijection}
Let $\Phi: B_n/G \to \sum_{\overline{j} \in J} C(\overline{j})/T_{\overline{j}}$ be defined by
$$\Phi([Y]_G) = [\overline{X}]_{T_{\overline{j}}}$$
where $X \in [Y]_G$ and $\overline{X} \in C(\overline{j})$ for some $\overline{j} \in J$.  Then $\Phi$ is a bijection.
\end{claim}

\begin{proof}
Let's begin by verifying the following equivalence:   for all $U, V \subseteq [k] \times [t]$,
\begin{equation}\label{e:mainpoint}
\phi(U) = V \ \text{for some} \ \phi \in G \ \text{if and only if} \ \widehat{\tau}(\overline{U}) = \overline{V}  \ \text{for some} \ \tau \in T .
\end{equation}

Suppose that $\phi \in G$ corresponds to $\overline{\rho} \in K^t$ and $\tau \in T$ as in (\ref{e:phi}).  We need a description of
$\phi(W)$ for any $W \subseteq [k] \times [t]$: with $W_r' = \{ i \in [k] | (i,r) \in W_r \}$,
$$\phi(W) \ = \ \bigcup_{r = 1}^t \left( \rho_{\tau^{-1}(r )}( W_{\tau^{-1}(r)}') \times \{ r \} \right) .$$
With this notation we have
\begin{align*}
\phi(U) = V \ &\iff \bigcup_{r = 1}^t \left( \rho_{\tau^{-1}(r )}( U_{\tau^{-1}(r)}') \times \{ r \} \right) = \bigcup_{r = 1}^t V_r \\
&\iff  \ \rho_{\tau^{-1} (r)}(U_{{\tau}^{-1}(r)}')   \times \{ r \} = V_r , \ r = 1, 2, \ldots, t \\
&\iff  \ [U_{\tau^{-1}(r), r}] = [V_r],   \ r  = 1, 2, \ldots, t\\
&\iff \  \widehat{\tau}(\overline{U}) = \overline{V} .
\end{align*}
The first equivalence is from the description of the wreath product in (\ref{e:phi}).  The second is obvious.  The
third is the definition of the $K_r$-orbit.  The last is the definition of $\widehat{\tau}$ in (\ref{e:tau}).

Let us see that $\Phi$ is well-defined and injective.  Suppose that $X$ and $Y$ are as in the statement of the claim
and that $V \in [U]_G$, $V \in C_{\overline{j'}}$ for some $\overline{j'} \in J$ and $\Phi([U]_G) = [\overline{V}]_{T_{\overline{j'}}}$.
Suppose that $[U]_G = [Y]_G$.
Then $\phi(X) = V$ for some $\phi \in G$ so, by (\ref{e:mainpoint}), $\widehat{\tau}(\overline{X}) =
\overline{V}$ for some $\tau \in T$.  Then $\tau(\overline{j}) = \overline{j'}$.  Since $\overline{j},\overline{j'} \in J$, a system of representatives
of the $T$-orbits in $[s]^t$, $\overline{j} = \overline{j'}$ and $\tau \in T_{\overline{j}}$.  Hence, $ [\overline{X}]_{T_{\overline{j}}} =
 [\overline{V}]_{T_{\overline{j}}}$, that is, $\Phi([U]_G) = \Phi([Y]_G).$  Thus, $\Phi$ is well-defined.  The converse is easily argued,
 also based on (\ref{e:mainpoint}), establishing that $\Phi$ is injective.

 It is obvious that $\Phi$ is surjective: any element of  $\sum_{\overline{j} \in J} C(\overline{j})/T_{\overline{j}}$ is the form
 $[\overline{X}]_{T_{\overline{j}}}$, for some $\overline{X} \in C({\overline{j}})$, ${\overline{j}} \in J$.  Then $X \subseteq [k] \times [t]$
 and $\Phi([X]_G) = [\overline{X}]_{T_{\overline{j}}}$.  \end{proof}

 We began this subsection assuming that

 [{\bf T}]:  With the SCD $C_1, C_2, \ldots, C_s$ of $B(k)/K$, for each $\overline{j} \in [s]^t$,
$C(\overline{j})/T_{\overline{j}}$ is an SCO.

Let  $\overline{j} \in J$ and let $\mathcal{C}$ be a symmetric chain in an SCO of $C(\overline{j})/T_{\overline{j}}$.

\begin{claim}\label{cl:quotient}
The inverse image $\Phi^{-1} (\mathcal{C})$ of $\mathcal{C}$ under $\Phi$ is a symmetric, saturated chain in $B_n/G$.
\end{claim}

\begin{proof}
Observe that for all ranked orders $P$, and all subgroups $G$ of $\mathrm{Aut}(P)$, and all $x \in P$, $r_{P/G} ([x]_G) = r_P(x)$. Thus,
for all $[\overline{X}]_{T_{\overline{j}}} \in C(\overline{j})/T_{\overline{j}}$,
$$r_{C(\overline{j})/T_{\overline{j}}} ([\overline{X}]_{T_{\overline{j}}}) = r_{C(\overline{j})} (\overline{X}) \ \text {and} \  r_{B_n/K'} ([X]_{K'}) = r_{B_n/G} ([X]_{G}) .$$
Recall $C(\overline{j})$ is a symmetric, saturated subset of $\prod_{r = 1}^t B(N_r)/K_r \cong B(n)/K'$ and that $r_{B_n/K'} = r(B_n) = n$.  If $r_{C(\overline{j})} = n_{\overline{j}}$ then we have
$$ r_{B_n/K'} ([X]_{K'}) = 1/2(n - n_{\overline{j}}) + r_{C(\overline{j})} (\overline{X}).$$
Since $\mathcal{C}$ is a symmetric saturated chain in an SCD of $C_{\overline{j}}/T_{\overline{j}}$, the ranks of its elements form an interval
$k, k+1, \dots, n_{\overline{j}} - k$, for some $k$.  Thus, the ranks of the elements of  $\Phi^{-1} (\mathcal{C})$ in $B_n/G$ form the interval
$$1/2(n - n_{\overline{j}}) + k, 1/2(n - n_{\overline{j}}) + k + 1, \ldots, 1/2(n - n_{\overline{j}}) +  n_{\overline{j}} - k = n - (1/2(n - n_{\overline{j}}) + k),$$
a symmetric interval of ranks in $B_n/G$.

Suppose that $[\overline{X}]_{T_{\overline{j}}} \le [\overline{Y}]_{T_{\overline{j}}}$ in $\mathcal{C}$.  Then there is some $\overline{Y'} =
\widehat{\tau}(\overline{Y})$, for some $\tau \in T_{\overline{j}}$ such that $\overline{X} \le \overline{Y'}$ in $\prod_{r = 1}^t B(N_r)/K_r$.
Then $[X]_{K'} \le [Y']_{K'}$ and, so,  $[X]_{G} \le [Y']_{G} = [Y]_G$.  Hence,  $\Phi^{-1} (\mathcal{C})$ is a symmetric saturated chain in
$B_n/G$.  \end{proof}

The collection of the symmetric, saturated chains $\Phi^{-1} (\mathcal{C})$, over all $\mathcal{C}$ in the given SCDs of  all $C(\overline{j})/T_{\overline{j}}$, $\overline{j} \in J$, provides an SCD of $B_n/G$.

\subsection{Powers of disjoint cycles suffice}\label{ss:powers}

Let's see that if both $K$ and $T$ are generated by powers of disjoint cycles, in $S_k$ and $S_t$, respectively, then both {\bf [K]} and
{\bf [T]} hold.   We use this result from \cite{DMT} (Corollary 7) and \cite{D}.

\begin{lemma}\label{l:cycles}
Let $P$ be a product of chains and let $K$ be a subgroup of $\mathrm{Aut}(P)$ that is generated by powers of disjoint cycles.  Then $P/K$ is an SCO.
\end{lemma}

Of course {\bf [K]} holds, when we assume $K$ is generated by powers of disjoint cycles.

The following observation show  that {\bf [T]} holds, assuming $T$, too, is generated by powers of disjoint cycles.

\begin{lemma}\label{L:stabilizer}  Let $s, t$ be positive integers and let $T$ be a subgroup of $S_t$ that is generated by powers of disjoint cycles.   Then for all $\overline{j} \in [s]^t$, the stabilizer $T_{\overline{j}}$ of $\overline{j}$ in the action of $T$ on $[s]^t$ is also generated by powers of disjoint cycles.
\end{lemma}

\begin{proof}
Let $\overline{j} \in [s]^t$ and $\tau \in T$.  Then $\tau \in T_{\overline{j}}$ if and only
if  for all $u, v \in [t]$, $\tau (u) = v$ implies that $j_u = j_v$.  In other words, the partition of $[t]$ defined by the orbits of $[t]$
under $\tau$ must refine the partition of $[t]$ defined $\overline{j}$.   For each $\tau \in T$ there is a minimum $m$ such that
$\tau^m \in  T_{\overline{j}}$.  This is because $\tau^k \in  T_{\overline{j}}$ for at least one $k$, the order of $\tau$,  and if
$\tau^a, \tau^b \in  T_{\overline{j}}$ then with $d = \gcd (a, b)$, $\tau^d \in  T_{\overline{j}}$.

Suppose that $T = \langle \sigma_1^{r_1},  \sigma_2^{r_2}, \ldots,  \sigma_m^{r_m} \rangle$ and $d_i$ is minimum such that
$(\sigma_i^{r_i})^ {d_i} \in  T_{\overline{j}}$ for $i = 1, 2, \ldots, m$.  Then $T_{\overline{j}} = \langle \sigma_1^{r_1 d_1},
\sigma_2^{r_2 d_2}, \ldots,  \sigma_m^{r_m d_m} \rangle$.  \end{proof}

This completes the proof of Theorem \ref{T:main}.

There are certainly circumstances, other than $K$ and $T$ each being generated by powers of disjoint cycles, under which the
properties {\bf [K]} and {\bf [T]} hold.  Here is an instance.  If $K$ is either the full symmetric group $S_k$ or the alternating subgroup
$A_k$ the the quotient $B(k)/K$ is a $k+1$-element chain -- evidently an SCO!  Let's denote this by $C$.  In this case property {\bf [T]} amounts to
having that $C^t/T$ is an SCO.   Therefore we have the following, which we state as a corollary since it is a direct consequence of the
proof of Theorem \ref{T:main} and Corollary 7 in \cite{DMT}.

\begin{corollary}
Let $n, k, t$ be positive integers and  $n = kt$.   Then $B_n/G$ is a symmetric chain order for any subgroup $G$ of
$\mathrm{Aut} (B_n)$ defined as follows: $G = K \wr T$ where $K$ is either $S_k$ or the alternating subgroup $A_k$, and $T$ is a subgroup of $S_t$
generated by powers of disjoint cycles.
\end{corollary}

\section{More General SCOs}\label{s:dhand}

The methods used in Section \ref{s:mainresult} provide what appears to be a new and elementary proof
of Dhand's result on quotients of SCOs by a cyclic group \cite{D}.   We also use Lemma \ref{l:cycles} (\cite{DMT}, Corollary 7).

\begin{theorem}\label{T:dhand}
Let $P$ be a symmetric chain order and let $G$ be a subgroup of $S_n$ generated by powers of disjoint cycles.  Then
$P/G$ is a symmetric chain order.
\end{theorem}

\begin{proof}
Let $C_1, C_2, \ldots, C_s$ form an SCD of $P$.   As noted after (\ref{e:grids}) in {\bf \S2.1}, the family
of grids
$$C(\overline{j}) = C_{j_1} \times C_{j_2} \times \cdots \times C_{j_n}, \ \overline{j} = (j_1, j_2, \ldots , j_n) \in [s]^n$$
provides a partition of $P^n$ into symmetric, saturated subsets.   The group $G$ acts on $[s]^n$ as before, $\sigma(j_1, j_2, \ldots, j_n) =
(j_{\sigma^{-1}(1)},  j_{\sigma^{-1}(2)}, \ldots, j_{\sigma^{-1}(n)})$, and defines these mappings:

\qquad $\sigma$ permutes the members of the family $\{ C(\overline{j}) \ | \ \overline{j} \in [s]^n \}$;

\qquad $\sigma: P^n \to P^n$, $\sigma(\overline{p}) = (p_{\sigma^{-1}(1)}, p_{\sigma^{-1}(2)}, \ldots, p_{\sigma^{-1}(n)}, )$, $\overline{p} = (p_1, p_2, \ldots, p_n) \in P^n$,

\qquad\qquad is an automorphism; and,

\qquad for each $\overline{j} \in [s]^n$, the restriction of $\sigma$ is a local isomorphism of $C(\overline{j})$ to $C(\sigma(\overline{j}))$.

Let $J \subseteq [s]^n$ be a system of representatives of the $G$-orbits of $[s]^n$.   Note that for each $\overline{j} \in [s]^n$ and $\sigma \in G_{\overline{j}}$, the stabilizer of $\overline{j}$ in $G$, the restriction of $\sigma$ is an automorphism of $C(\overline{j})$.

\begin{claim}\label{cl:bijection2}
Let $\Psi: P^n/G \to \sum_{\overline{j} \in J} C(\overline{j})/G_{\overline{j}}$ be defined by
$$\Psi([\overline{y}]_G) = [\overline{x}]_{G_{\overline{j}}}$$
where $\overline{x} \in [\overline{y}]_G$ and $\overline{x} \in C(\overline{j})$ for some $\overline{j} \in J$.  Then $\Psi$ is a bijection.
\end{claim}

The proof of this claim is analogous to that of  Claim \ref{cl:bijection}, with simpler notation.  If $[\overline{y'}]_G = [\overline{y}]_G$,
$\overline{x'} \in [\overline{y'}]_G$ with $\overline{x'} \in C(\overline{j'})$ for some $\overline{j'} \in J$, and  $\overline{x}, \overline{y}$ are
as in the statement of Claim \ref{cl:bijection2}, then there exist $\sigma_1, \sigma_2, \sigma_3 \in G$ such that
$$\sigma_1(\overline{x}) = \overline{y}, \sigma_2(\overline{y'}) = \overline{y}, \ \text{and} \ \sigma_3(\overline{x'}) = \overline{y'}.$$
Thus, $\sigma_1^{-1} \sigma_2 \sigma_3 (\overline{x'}) = \overline{x}$.  Since $\overline{x} \in C_{\overline{j}}$, $\overline{x'} \in C_{\overline{j'}}$,
and $\overline{j}, \overline{j'} \in J$, we have $\overline{j} = \overline{j'}$ and, thus, $\sigma_1^{-1} \sigma_2 \sigma_3 \in G_{\overline{j}}$.  This shows that $\Psi$ is well-defined.
It is easily shown to be bijective.

By Lemma \ref{L:stabilizer} and the hypothesis that $G$ is generated by powers of disjoint cycles, we have that the same is true for each $G_{\overline{j}}$.  By Lemma \ref{l:cycles}, each $C(\overline{j})/G_{\overline{j}}$ has an SCD.    Let  $\overline{j} \in J$ and let $\mathcal{C}$ be a symmetric chain in an SCO of $C(\overline{j})/G_{\overline{j}}$. That $P^n/G$ has an SCD follows from

\begin{claim}\label{cl:quotient2}
The inverse image $\Psi^{-1} (\mathcal{C})$ of $\mathcal{C}$ under $\Psi$ is a symmetric, saturated chain in $P^n/G$.
\end{claim}

Follow the proof of Claim \ref{cl:quotient} in the obvious way to establish that the set of ranks of elements of $\Psi^{-1} (\mathcal{C})$ is a
symmetric interval in the ranks of $P^n/G$ and that if $\Psi([\overline{y}]_G) \le \Psi([\overline{u}]_G)$ in $\mathcal{C}$ then
 $[\overline{y}]_G \le [\overline{u}]_G$ in $P^n/G$.  \end{proof}

\section{Examples and Questions}\label{s:examples}

The subgroups of $S_n$ to which Theorem \ref{T:main} and the results of \cite{DMT} apply appear to be quite a restricted
class.   Unfortunately, we do not have a very satisfying description of the family of groups to which our
methods apply.   We can provide a catalog of those subgroups of $S_n$ that, by these results, do generate
quotients of $B_n$ with SCDs for some small values of $n$.  We display the collection for $n = 6$.

First, let's review the facts we can apply.   Let $G$ be a subgroup of $S_n$.

 \qquad     $\bullet$ If $[n] = X_1 \cup X_2 \cup \cdots \cup X_m$ is a partition and $G = G_1 \times G_2 \times \cdots \times G_m$ where
     $G_i = G_{|X_i}$ then $B_n/G$ is an SCO provided that each $B(X_i)/G_i$ is an SCO.

 \qquad     $\bullet$  If $G = \langle \sigma^r \rangle$ for some cycle $\sigma \in S_n$ then $B_n/G$ is an SCO.

 \qquad    $\bullet$ Theorem \ref{T:main}.

For $n = 6$, we can organize the subgroups by listing them according to the partitions of 6 given by the
orbit sizes, then refining with the cycle structure.  The list given should be all the subgroups, up to conjugation, that are handled
by the three statements above and the observation that the quotient of $B_n$ by either the symmetric group $S_n$ or the alternating group
$A_n$ is an $n+1$-element chain.

 \begin{figure}

    \begin{tabular}{l  l  l  r} \hline \\[-.1cm]
    {\bf Partition of 6} &  \qquad {\bf Generators} &  \qquad {\bf Description} &  \qquad {\bf Order} \\[.1cm]  \hline  \\
    1 + 1 + 2 + 2 &  \qquad (1 2 ), (3 4) & \qquad $ \mathbb{Z}_2 \times \mathbb{Z}_2$ &  \qquad 4 \\[.1cm]
                            &  \qquad (1 2 )(3 4)  &  \qquad$ \mathbb{Z}_2$                     &  \qquad 2 \\[.2cm] \hline \\[-.2cm]
   1 + 1 + 4 &  \qquad (1 2 3 4) & \qquad $ \mathbb{Z}_4 $ &  \qquad 4 \\[.1cm]
                    &  \qquad (1 2 3 4), (1 2)  &  \qquad$ S_4$                     &  \qquad 24 \\[.1cm]
                    &  \qquad (1 2 3), (2 3 4)  &  \qquad$A_4$                     &  \qquad 12 \\[.1cm]
                    &  \qquad (1 2 3 4), (1 3)  &  \qquad$ \mathbb{Z}_2 \wr \mathbb{Z}_2 \cong D_8$     &  \qquad  8   \\[.2cm] \hline \\[-.2cm]

   1 + 2 + 3 &  \qquad (1 2), (3 4 5) & \qquad $ \mathbb{Z}_2 \times \mathbb{Z}_3 $ &  \qquad 6 \\[.1cm]
                    &  \qquad (1 2), (3 4 5), (3 4)  &  \qquad$ \mathbb{Z}_2 \times S_3$     &  \qquad  12   \\[.2cm] \hline \\[-.2cm]

   2 + 2 + 2 &  \qquad (1 2), (3 4), (5 6) & \qquad $ \mathbb{Z}_2 \times \mathbb{Z}_2 \times \mathbb{Z}_2 $ &  \qquad 8 \\[.1cm]
                    &  \qquad (1 2)(3 4), (5 6)     &  \qquad$ \mathbb{Z}_2 \times \mathbb{Z}_2$     &  \qquad  4 \\[.1cm]
                    &  \qquad (1 2)(3 4)(5 6)     &  \qquad$ \mathbb{Z}_2$     &  \qquad  2  \\[.2cm] \hline \\[-.2cm]                                                                                3 + 3 &  \qquad (1 2 3), ( 4 5 6) & \qquad $ \mathbb{Z}_3 \times \mathbb{Z}_3$ &  \qquad 9 \\[.1cm]
                    &  \qquad (1 2 3), (1 2), (4 5 6)     &  \qquad$ S_3 \times \mathbb{Z}_3$     &  \qquad  18\\[.1cm]
                    &  \qquad (1 2 3), (1 2), ( 4 5 6), (4 5)  &  \qquad$ S_3 \times S_3$     &  \qquad  36 \\[.2cm] \hline \\[-.1cm]
   2 + 4 &  \qquad (1 2), (3 4 5 6) & \qquad $ \mathbb{Z}_2 \times \mathbb{Z}_4 $ &  \qquad 8 \\[.1cm]
                    &  \qquad (1 2), (3 4 5 6), (3 4)     &  \qquad$ \mathbb{Z}_2 \times S_4$     &  \qquad  48 \\[.1cm]
                    &  \qquad (1 2), (3 4 5), (4 5 6)     &  \qquad$ \mathbb{Z}_2 \times A_4$     &  \qquad  24 \\[.1cm]
                    &  \qquad (1 2), (3 4 5 6), (3 5)     &  \qquad$ \mathbb{Z}_2 \times (\mathbb{Z}_2 \wr \mathbb{Z}_2)$     &  \qquad  16 \\[.2cm] \hline \\[-.2cm]
  1 + 5 &  \qquad (1 2 3 4 5) & \qquad $ \mathbb{Z}_5$ &  \qquad 5 \\[.1cm]
                     &  \qquad (1 2 3 4 5), (1 2 3)     &  \qquad$ A_5$     &  \qquad  60  \\[.1cm]
                    &  \qquad (1 2 3 4 5), (1 2)     &  \qquad$ S_5$     &  \qquad  120  \\[.2cm] \hline \\[-.2cm]
   6 &  \qquad (1 2 3 4 5 6) & \qquad $ \mathbb{Z}_6$ &  \qquad 6 \\[.1cm]
        &    \qquad (1 2 3 4 5), (1 2 3), (1 2)(5 6) & \qquad $ A_6$ &  \qquad 360 \\[.1cm]
                  &  \qquad (1 2 3 4 5 6), (1 2) & \qquad $ S_6$ &  \qquad 720 \\[.1cm]
                    &    \qquad (1 2 3)(4 5 6), (1 4) & \qquad $\mathbb{Z}_2 \wr \mathbb{Z}_3$ &  \qquad 24 \\[.1cm]
                     &    \qquad (1 2 3), (1 4)(2 5)(3 6) & \qquad $\mathbb{Z}_3 \wr \mathbb{Z}_2$ &  \qquad 18 \\[.1cm]
                     &    \qquad (1 2 3), (1 2), (1 4)(2 5)(3 6) & \qquad $ S_3 \wr \mathbb{Z}_2$ &  \qquad 72 \\[.2cm] \hline
    \end{tabular}

 \end{figure}

The partitions $6 = 1 + 1 + \cdots + 1$ and $6 = 1 + \cdots + 1 + 2$ each give only one group, $(1)$ and $\mathbb{Z}_2 \cong  \langle (12) \rangle$, respectively.  Also, $6 = 1 + 1 + 1 + 3$ yields two: $\mathbb{Z}_3 \cong \langle (1\  2 \ 3) \rangle$ and $S_3 \cong  \langle (1\  2 \ 3), (1 2) \rangle$.    The rest are listed in the table.  This is far from all the groups of degree 6.  In \cite{DM}, there are 16 transitive subgroups of $S_6$ listed.
Our table contains 6.  One familiar transitive subgroup of $S_6$ missing from our list is the dihedral group $D_{12}$.  The dihedral groups
seem to be the next interesting case.

{\bf Problem 1:} For all $n \ge 1$, let $D_{2n}$ denote the dihedral group of symmetries of a regular $n$-gon.  Show that
$B_n/D_{2n}$ is an SCO.

We know this only for the trivial cases $n = 1, 2, 3$ and, as noted in the table, $n = 4$, since $D_8$ is a
wreath product $\mathbb{Z}_2 \wr \mathbb{Z}_2$.   Note that $D_{2n}$ is the semidirect product $\mathbb{Z}_n \rtimes \mathbb{Z}_2$.  However the dihedral groups
are not wreath products for $n \ge 5$.  This is easy to see: each permutation in $D_{2n}$ has either no fixed points,
or one (for odd $n$) or two (for even $n$), or $n$ fixed points.    However, a wreath product $K \wr T$ has maps with
$k, 2k, \ldots, tk$ fixed points, where $K$ is a subgroup of $S_k$ and $T$ is a subgroup of $S_t$.

The approach presented above can be extended in some other special cases.  Here is an example.  Let

\qquad $G$ be the subgroup of $S_8$ generated by $\{ (1 5)(2 6)(3 7)(4 8) , (1 4)(2 3) \}$, and

\qquad $H$ be the subgroup of $G$ generated by $\{ (1 5)(2 6)(3 7)(4 8) , (1 4)(2 3)(5 8)(6 7) \}$.

Then $G =K \wr T$ where

 \qquad $K = \langle (1 2 4 3)^2 \rangle$ is a subgroup of $S_4$ and $T = \langle (12) \rangle$ is a subgroup of $S_2$.

Thus $B_8 / G$ is an SCO.  One can describe how to refine the $G$-orbits to obtain  $H$-orbits and how to produce the
additional symmetric chains required for an SCD of $B_8 / H$.   Unfortunately,
 this sort of argument does not appear to yield anything for $D_{2n}$ since it is not a ``manageable" subgroup of any
 group we can handle, such as $Z_n \wr Z_2$ or $Z_2 \wr Z_n$.

As noted in the introduction, Stanley \cite{RPS} first raised the question of whether the distributive lattice $L(k, t)$, the poset with elements all integer sequences $\overline{a} = (a_1, a_2, \ldots, a_t)$ such that $0 \le a_1 \le \cdots \le a_t \le k$  and  componentwise order,
is an SCO for all $k$ and $t$.
He noted \cite{RPS2, RPS3} that $L(k, t)$ is obtained as a quotient of the Boolean lattice $B_{kt}$ by the
group $S_k \wr S_t$ with its natural action on $[k] \times [t]$.  (This is the action described at the beginning of  Section \ref{s:mainresult}.)    It is easiest to see this if we think of $L(k, t)$ as the set of down sets of the grid $\overline{k} \times \overline{t}$ ordered
by containment (using $\overline{m}$ to denote the $m$-element chain).  The wreath product $S_k \wr S_t$ acts on the elements of $\overline{k} \times \overline{t}$ by permuting the
elements of $C_j = \{ (1, j), (2, j), \ldots, (k,j) \}$  independently under $S_k$ for each $j = 1, 2, \ldots, t$, then permuting $C_1, C_2, \ldots, C_t$.  Each
equivalence class under this action contains a unique down set of  $\overline{k} \times \overline{t}$.

If we regard this description in two steps then the independent permutations of the elements in each  $C_j$
produce the quotient $(B_k/S_k)^t$, just as in (\ref{e:inside}) in Section \ref{s:mainresult}.  In this case, $B_k/S_k \cong \overline{k+1}$.  The second part of the action is just $S_t$ acting on the coordinates of $(\overline{k+1})^t$.  We
restate Stanley's problem.

{\bf Problem 2:}  Show that for all $k, t$, $L(k, t)$ is an SCO.  Equivalently, show that this  quotient is an SCO:
$$ B_{kt} / (S_k \wr S_t ) \ \cong \ (\overline{k+1})^t / S_t .$$
In thinking about Dhand's result, one can ask several types of questions.  If we focus on groups acting by permuting coordinates,
we can pose this problem.

{\bf Problem 3:}  Determine whether $P^n/G$ is an SCO, assuming that $P$ is an SCO and the subgroup $G$ of $S_n$ acts on
$P^n$ by permuting coordinates.

One approach to this follows the strategy given in {\bf \S2.1} and the proof of Theorem \ref{T:dhand}.  With an SCD
 $C_1, C_2, \ldots, C_s$ of $P$, the family of grids  $C(\overline{j})$, $\overline{j} \in [s]^t$, forms a partition of $P^n$ into
 symmetric, saturated subsets.   Every $\sigma \in G$ permutes the members of the family $\{ C(\overline{j}) \ | \ \overline{j} \in [s]^n \}$
 and the restriction of $\sigma$ defines a local isomorphism of $C(\overline{j})$ to $C(\sigma(\overline{j}))$.  We have an SCD for
 $P^n/G$ if we can obtain an SCD of each $C(\overline{j})/G_{\overline{j}}$ for a set $J$ of representatives of the $G$-orbits of
 $[s]^n$.   If we follow this line, quotients of products of chains could be the key to Problem 3.   Of course, in the case
 that $G = S_n$, the stabilizers $G_{\overline{j}}$ are themselves products of symmetric groups acting on disjoint subsets of
 $[n]$, so we are back to Stanley's problem.

 In another direction, we can ask (as we did in the introduction) whether $P/G$ is an SCO, given that $P$ has an SCD and $G$ is a subgroup of $\mathrm{Aut}(P)$.  This would seem to be quite different from the problem of considering subgroups of $S_n$ acting by permuting coordinates of
 a product.  A special case is to ask: for which SCOs $P$ is $P/\mathrm{Aut}(P)$ an SCO?  Most partially ordered sets have no nontrivial
 automorphisms, so there is an immediate positive and vacuous answer.  But in general?