<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[10pt]{article}
\usepackage{amssymb,graphics,epsf}
\usepackage
[colorlinks=true,
linkcolor=webblue,
filecolor=webbrown,
citecolor=webblue]
{hyperref}
\usepackage{graphicx}

\usepackage{amsthm,amssymb}
%\usepackage{psfig,epsf}
\input pictex

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\topmargin}{-.5in}
\setlength{\textheight}{8.9in}

\newcommand{\TP}{T}
\newcommand{\CP}{C}

\newcommand{\NN}{\mathbb N}
\newcommand{\D}{\displaystyle}
\renewcommand{\j}[1]{J_{#1}}
\newcommand{\lrfloor}[1]{\left\lfloor #1 \right\rfloor}
\newcommand{\lrpar}[1]{\left( #1 \right)}
\newcommand{\jac}[1]{ \frac{2^{#1 +1}+(-1)^{#1}}{3}}
\newcommand{\six}[2]{L^{\#}_{#1, #2}}
\newcommand{\four}[2]{M^{\#}_{#1, #2}}
\newcommand{\Nk}{N_k^{\#}(n)}
\newcommand{\Dk}{D_k^{\#}(n)}
\newcommand{\Lk}{L_k^{\#}(n)}
\newcommand{\Lkl}[1]{L^{\#}_{k, #1}}
\newcommand{\Mk}{M_k^{\#}(n)}
\newcommand{\Mkl}[1]{M^{\#}_{k, #1}}
\newcommand{\lrceil}[1]{\left\lceil #1 \right\rceil}
\newcommand{\seqnum}[1]{\href{http://www.research.att.com/cgi-bin/access.cgi/as/njas/sequences/eisA.cgi?Anum=#1}{\underline{#1}}}

\newtheorem{Definition}{Definition}[section]
\newtheorem{Lemma}[Definition]{Lemma}
\newtheorem{Theorem}[Definition]{Theorem}
\newtheorem{Notation}[Definition]{Notation}
\newtheorem{Prop}[Definition]{Proposition}
\newtheorem{Cor}[Definition]{Corollary}

\renewcommand{\baselinestretch}{1.2} 
\renewcommand{\arraystretch}{.7} 

\makeatletter
\def\section{\@startsection {section}{1}{\z@}{-3.5ex plus -1ex minus
 -.2ex}{2.3ex plus .2ex}{\normalsize\bf}}
\makeatother

%\DeclareGraphicsRule{.wmf}{bmp}{}{}% declare WMF filename extension

\begin{document}
\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo118.eps}
\vskip 1cm
{\LARGE\bf On Powers of 2 Dividing the Values of Certain Plane Partition Functions}
\vskip 1cm
\large Darrin D. Frey and James A. Sellers\footnote{Current address:
Department of Mathematics, Eberly College of Science, The Pennsylvania State University, University Park, PA  16802}
 \\ \medskip

Department of Science and Mathematics \\
Cedarville University \\
Cedarville, OH 45314 \\
\medskip
Email addresses:
\href{mailto:freyd@cedarville.edu}{freyd@cedarville.edu} and
\href{mailto:sellersj@cedarville.edu}{sellersj@cedarville.edu} 
\vskip2cm
\bf {Abstract}
\end{center}
{\em We consider two families of plane partitions: 
totally symmetric self-complementary plane partitions (TSSCPPs) and
cyclically symmetric transpose complement plane partitions (CSTCPPs). 
If $\TP(n)$ and $\CP(n)$ are the numbers of such plane partitions in
a $2n\times 2n\times 2n$ box, then
$$ord_2(\TP(n)) = ord_2(\CP(n))$$
for all $n\geq 1$.
We also discuss various consequences, along
with other results on $ord_2(\TP(n)).$ 
}

\vspace*{+.1in}
\noindent 2000 {\it Mathematics Subject Classification}: \ \ 05A10,
05A17, 11P83
%05A10, 15A15

\vspace*{+.1in}
\noindent \emph{Keywords: alternating sign matrices, totally symmetric
self-complementary plane partitions, TSSCPP, cyclically symmetric
transpose complement plane partitions, CSTCPP, Jacobsthal numbers}


\begin{section}{Introduction}

In his book ``Proofs and Confirmations,'' David Bressoud
\cite{Bressoud} discusses the rich history of the 
Alternating Sign Matrix conjecture and its proof.
One of the themes of the book is the connection
between
alternating sign matrices and various families of plane partitions.
(Reference \cite{notices} gives a synopsis of this work.)

Pages 197--199 of \cite{Bressoud} list ten
families of plane partitions which have been extensively studied.  The
last family in this list is the set of totally symmetric
self--complementary plane partitions (TSSCPPs) which fit in a
$2n\times 2n\times 2n$ box.  In 1994, Andrews \cite{Andrews1} proved
that the number of such partitions is given by 
\begin{equation}
\label{tsscppformula}
\TP(n) = \prod_{j=0}^{n-1}\frac{(3j+1)!}{(n+j)!}.
\end{equation}
%
(This formula also gives the number of $n \times n$ alternating sign
matrices.  See \cite{zeil}.  The values $\TP(n)$ can be found as
sequence
\seqnum{A005130} in \cite{Sloane}.)

Another family mentioned by Bressoud is the set of cyclically
symmetric transpose complement plane partitions (CSTCPPs).  We will
let $\CP(n)$ denote the number of such partitions that fit in a
$2n\times 2n\times 2n$ box.  (The values $\CP(n)$ make up 
sequence
\seqnum{A051255} in \cite{Sloane}.)
In 1983, Mills, Robbins, and Rumsey \cite{MRR} proved that 
\begin{eqnarray}
\label{cstcppformula}
\CP(n) &amp;=&amp; \prod_{j=0}^{n-1}\frac{(3j+1)(6i)!(2i)!}{(4i+1)!(4i)!} \\
\nonumber
&amp;=&amp; \prod_{j=0}^{n-1}\frac{(3j+1)!(6i)!(2i)!}{(3j)!(4i+1)!(4i)!}.
\end{eqnarray}
The goal of this note is to consider arithmetic properties of, and
relationships between, the two functions $T(n)$ and $C(n)$.  In
particular, we will prove that, for all $n\geq 1$, 
$$ord_2(\TP(n)) = ord_2(\CP(n))$$
where $ord_2(m)$ is the highest power of 2 dividing $m$.  This is the
gist of Section 2 below.  Using this fact and additional tools
developed in Section 3, we will prove the following congruences:

\begin{enumerate}
\item 
For all $n\geq 0,$
$$\TP(n) \equiv \CP(n) \pmod{4}.$$
\item
For all $n\geq 0,$ $n$ not a Jacobsthal number, 
$$\TP(n) \equiv \CP(n) \pmod{16}.$$

\end{enumerate}
(The Jacobsthal numbers $\left\{J_n\right\}_{n=0}^\infty$ are the
numbers satisfying $J_0 = J_1=1$ and $J_{n+2} = J_{n+1}+2J_n$ for
$n\geq 0.$  The values $J_n$ make up sequence
\seqnum{A001045} in \cite{Sloane}.)

Indeed, if we ignore those values of $n$ which are Jacobsthal numbers,
we will prove that, for fixed $k\geq 1,$
$$\TP(n) \equiv \CP(n) \pmod{2^k}$$
for all but a finite set of values of $n.$  Moreover, the values of
$n$ for which this congruence does not hold must satisfy $n\leq
J_{2k+1}.$
This extends earlier work of the authors \cite{FSJacob}. 

The above results imply some interesting arithmetic properties of
$C'(n),$ the number of CSTCPPs in a $2n\times 2n\times 2n$ box which
are not TSSCPPs.   In particular, we have 
$$C'(n) \equiv 0 \pmod{4}$$
for all $n\geq 0.$  Moreover, we have, for fixed $k\geq 1,$  
$$C'(n) \equiv 0 \pmod{2^k}$$ for all but finitely many non-Jacobsthal
numbers.
There does not appear to be any obvious reason why this
property should hold, nor why
$C'(n)$ behaves 
differently when $n$ is a Jacobsthal number.
\end{section}


\begin{section}{The 2-adic Relationship Between $\CP(n)$ and $\TP(n)$}
Throughout this note, we make use of the following lemma:

\begin{Lemma}
\label{pinnfact}
For any prime $p$ and positive integer $N$,
$$ord_p(N!) = \sum\limits_{k\geq 1} \lrfloor{\frac{N}{p^k}}.$$
\end{Lemma}

\begin{proof}
For a proof, see \cite[Theorem 2.29]{Long}.
\end{proof}

The goal of this section is to prove the following theorem:
\begin{Theorem}
\label{equalords}
For all $n\geq 1,$ 
$$ord_2(\CP(n)) = ord_2(\TP(n)).$$ 
\end{Theorem}

\begin{proof}
The proof simply involves a manipulation of various sums using
Lemma \ref{pinnfact}.  Given (\ref{cstcppformula}), we have 
\begin{eqnarray*}
ord_2(\CP(n)) 
&amp;=&amp; 
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\lrfloor{\frac{3j+1}{2^{k}}} + \lrfloor{\frac{6j}{2^{k}}}
-\lrfloor{\frac{3j}{2^{k}}}+
\lrfloor{\frac{2j}{2^{k}}}-\lrfloor{\frac{4j}{2^{k}}}-\lrfloor{\frac{4j+1}{2^{k}}}
\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\lrfloor{\frac{3j+1}{2^{k}}} + \lrpar{\lrfloor{\frac{3j}{2^{k-1}}}
-\lrfloor{\frac{3j}{2^{k}}}}+
\lrfloor{\frac{2j}{2^{k}}}-2\lrfloor{\frac{4j}{2^{k}}}\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\left\{\lrfloor{\frac{3j+1}{2^{k}}}
-\lrpar{2\lrfloor{\frac{2j}{2^{k-1}}}-
\lrfloor{\frac{j}{2^{k-1}}}}\right\}
+\sum_{j=0}^{n-1} 3j\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\left\{\lrfloor{\frac{3j+1}{2^{k}}}
-\lrpar{2\lrfloor{\frac{2j}{2^{k}}}-
\lrfloor{\frac{j}{2^{k}}}+2(2j)-j}\right\}
+\sum_{j=0}^{n-1} 3j\\
%&amp;=&amp;
%\sum_{j=0}^{n-1} \sum_{k\geq 1} 
%\lrpar{\lrfloor{\frac{3j+1}{2^{k}}} +
%\lrfloor{\frac{2j}{2^{k}}}-2\lrfloor{\frac{4j}{2^{k}}}}
%+\sum_{j=0}^{n-1} 3j\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\left\{\lrfloor{\frac{3j+1}{2^{k}}}
-\lrpar{2\lrfloor{\frac{2j}{2^{k}}}-
\lrfloor{\frac{j}{2^{k}}}}\right\}
+\sum_{j=0}^{n-1} (3j-4j+j)\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\left\{\lrfloor{\frac{3j+1}{2^{k}}}
-\lrpar{\lrfloor{\frac{2j}{2^{k}}}+\lrfloor{\frac{2j+1}{2^{k}}}-
\lrfloor{\frac{j}{2^{k}}}}\right\}
\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\lrfloor{\frac{3j+1}{2^{k}}} 
-
\sum_{j=0}^{2n-1} \sum_{k\geq 1} 
\lrfloor{\frac{j}{2^{k}}}
+
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\lrfloor{\frac{j}{2^{k}}}
\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\lrfloor{\frac{3j+1}{2^{k}}} 
-
\sum_{j=n}^{2n-1} \sum_{k\geq 1} 
\lrfloor{\frac{j}{2^{k}}}
\\
&amp;=&amp;
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\lrfloor{\frac{3j+1}{2^{k}}} 
-
\sum_{j=0}^{n-1} \sum_{k\geq 1} 
\lrfloor{\frac{n+j}{2^{k}}}
\\
&amp;=&amp; ord_2(T(n))
\end{eqnarray*}
again using Lemma \ref{pinnfact} and (\ref{tsscppformula}). 

\end{proof}

\end{section}


\begin{section}{A Finiteness Result}

In this section, we show that there is an upper bound on the values of
$n$ 
for which $ord_2(\TP(n))=k$ for any positive integer $k$.  To do this,
we use insight obtained from 
our work in \cite{FSJacob}.  In that paper, we studied the functions 
$$\Nk = \sum_{j=0}^{n-1}\lrfloor{\frac{3j+1}{2^k}}\mbox{ and }\Dk = 
\sum_{j=0}^{n-1}\lrfloor{\frac{n+j}{2^k}}$$ which implicitly appear in

the second-to-last line of the string of equalities in the proof of
Theorem~\ref{equalords}.

\begin{Definition}
We define the function $c_k(n) := \Nk - \Dk$ for any positive integer
$n,$ so that $ord_2(\TP(n))= \sum\limits_{k\geq 1} c_k(n).$
\end{Definition}

\begin{Theorem}
\label{ck}
Suppose $0 \leq \rho_k &lt; 2^k$.  Then
$$c_k(\rho_k)=\left\{ \begin{array}{c@{\ \ \mbox{if}\quad}l}
0 &amp; 0 \leq \rho_k \leq J_{k-1}\\
\rho_k-J_{k-1} &amp; J_{k-1} &lt; \rho_k \leq 2^{k-1}\\
J_k-\rho_k &amp; 2^{k-1} \leq \rho_k &lt; J_k\\
0 &amp; J_k \leq \rho_k &lt; 2^k.
\end{array}\right.$$
Moreover, $$c_k(n+2^k)=c_k(n) \textrm{\ for all }  n,k \textrm{\ in\ }
\NN.$$ 
Furthermore, if $n=2^kq_k+\rho_k$, then
$$c_k(n)=c_k(2^k(q_k+1)-\rho_k).$$
\end{Theorem}

\begin{proof}
This follows from Lemmas 5.1 through 5.4 of \cite{FSJacob} for $n$
which are not Jacobsthal numbers 
(though in the case of Lemmas 5.2 and 5.3 of \cite{FSJacob} one has to
look inside the proof to get this 
stronger result), and Theorem 4.1 of \cite{FSJacob} for $n$ which are
Jacobsthal numbers.
\end{proof}

Since the submission of this article, the authors have found a
simpler proof of Theorem 3.2, which will appear in \cite{FSMathComp}.
It is clear from Theorem~\ref{ck} that the values of the function
$c_k$ increase in increments
of 1 beginning at $J_{k-1}$, reach a peak at $2^{k-1},$ and then
decrease in increments of 1 
between $2^{k-1}$ and $J_k$.  Propositions~\ref{jacrecurr} and
\ref{crecur} show us that 
when the parities of $i$ and $j$
are the same, the ascents for $c_i$ and $c_j$ ``line up" in such a way
that if say $j&gt;i$,
$c_i$ is beginning one of its ascents at the same point that $c_j$ is
beginning an ascent, so 
that there is an interval where the two agree.  Of course $c_i$ will
reach its peak first, so 
beyond that point, the two will fail to agree for some time.  However,
given the periodic nature of 
these functions, they will realign at some later point.   See the
table in the Appendix for a demonstration of this
phenomenon.

We use this insight to achieve a 
lower bound for $ord_2(\TP(n))$ when $n$ is between two Jacobsthal
numbers.

\begin{Prop}
\label{jacrecurr}
For $\D 0\leq i \leq \left\lceil\frac{k}{2}-1\right\rceil,$
$$J_k=J_{k-2i}+J_{2i-1}\cdot 2^{k-2i+1}.$$
\end{Prop}

\begin{proof}
Recall from \cite{FSJacob} that, for all $m\geq 0,$ $\displaystyle{J_m
= \frac{2^{m+1}+(-1)^m}{3}}.$  Then
\begin{eqnarray*}
J_{k-2i}+J_{2i-1}\cdot 2^{k-2i+1} &amp;=&amp;
\frac{2^{k-2i+1}+(-1)^{k-2i}+2^{2i}\cdot
2^{k-2i+1}+(-1)^{2i-1}2^{k-2i+1}}{3}\\
&amp;=&amp; \frac{2^{k+1}+(-1)^k}{3} \textrm{\ upon simplification}\\
&amp;=&amp; J_k.
\end{eqnarray*}
\end{proof}

Proposition~\ref{jacrecurr} allows us to show that, for a given $n,$
the functions $c_k$ 
are equal to each other for several values of $k$.

\begin{Prop}
\label{crecur}
Suppose $J_k \leq n \leq 2^k$, say $n=J_k+r$ where $r\geq 0.$  If 
$0 \leq i \leq \lrceil{\frac{k}{2}-1}$ and $0 \leq r \leq J_{k-1-2i}$,

then $$c_{k+1-2i}(n)=r.$$
\end{Prop}

\begin{proof}
This follows from Theorem~\ref{ck} and Proposition~\ref{jacrecurr}.
\end{proof}

A symmetric result is true when $2^k\leq n\leq J_{k+1}.$

\begin{Cor}
\label{symmetry}
Suppose $2^k\leq n \leq J_{k+1}$, say $n = J_{k+1}-r$ where $r\geq 0.$
 
If $0\leq i \leq \lrceil{\frac{k}{2}-1}$ and $0 \leq r \leq
J_{k-1-2i}$,
then $$c_{k+1-2i}(n)=r.$$
\end{Cor}
\begin{proof}
This result follows directly from the fact stated in Theorem~\ref{ck}
which says that,
if $n=2^kq_k+\rho_k$, then $$c_k(n)=c_k(2^k(q_k+1)-\rho_k).$$ In our
case, we replace 
$k$ by $k+1$ and note that $q_{k+1}=0,$ so 
we have 
\begin{eqnarray*}
c_{k+1}(n) &amp;=&amp; c_{k+1}(J_{k+1}-r)\\
&amp;=&amp; c_{k+1}(2^{k+1}-(J_{k+1}-r))\\
&amp;=&amp; c_{k+1}(J_k+r) \mbox{ using \cite[Lemma 3.2]{FSJacob}}  \\
&amp;=&amp; r \mbox{ by Proposition~\ref{crecur}}.
\end{eqnarray*}
\end{proof}


\begin{Theorem}
\label{main}
Let $i, k \in \NN$ such that $0\leq i\leq \lrceil{\frac{k}{2}-1}$ and
$k-i$ odd.  
If $(J_i+1)\leq r \leq 2^k-(J_i+1)$, then
$$ord_2(\TP(J_k+r))\geq (J_i+1)\lrpar{\frac{k-i-1}{2}}.$$
\end{Theorem}

\begin{proof}
If $r \leq J_{k-2i-1}$, where $0 \leq i \leq \lrceil{\frac{k}{2}-1}$ ,
then by Proposition~\ref{crecur}
or Corollary~\ref{symmetry},
$$c_{k+1-2i}(J_k+r)=r.$$
Now, suppose $i$ is such that $k-i$ is odd and let $2j+1=k-i$.  
If $J_i+1\leq r \leq J_{k-1}$, then $r \not \leq
J_{i}=J_{k-(k-i)}=J_{k-1-2j}$, but 
$r \leq J_{i+2}=J_{k-(k-i-2)}=J_{k-1-2(j-1)}$.  Hence
$$c_{k+1}(J_{k}+r)=c_{k-1}(J_{k}+r) 
=\cdots =c_{k+1-2(j-1)}(J_k+r)=r.$$
Thus, $ord_2(\TP(J_k+r))$ has $j=\frac{k-i-1}{2}$ summands of value
$r,$ so that
$$ord_2(\TP(J_k+r))\geq
r\lrpar{\frac{k-i-1}{2}}\geq(J_i+1)\lrpar{\frac{k-i-1}{2}}.$$ 
\end{proof}

\begin{Cor} 
\label{bothcor}
If $J_{m-1} &lt; n &lt; J_{m}$, then $$ord_2(\TP(n))\geq
\lrfloor{\frac{m}{2}}.$$
\end{Cor}

\begin{proof}
We break the proof into two cases.  First, assume that $m=2k$, so $n =
J_{2k-1}+r$
where $0&lt;r&lt;2J_{2k-2}.$ Using Theorem~\ref{main} with $i=0$ yields

\begin{eqnarray*}
ord_2(\TP(n))&amp;\geq&amp; 
(J_0+1)(k-1)\mbox{ \ \ if $2\leq r \leq 2J_{2k-2}-2$}\\
&amp;&gt;&amp; k.
\end{eqnarray*}
If $r=1$ or $r=2J_{2k-2}-1$ then 
$$c_{2k}(n)=c_{2k-2}(n)=\cdots = c_2(n)=1$$
noting that $2=2k-2(k-1)$, 
so $$ord_2(\TP(n))\geq k.$$ 
Since $k=\lrfloor{\frac{m}{2}}$, we have our result.

Next, assume that $m=2k+1$, so $n=J_{2k}+r$ where $0&lt;r&lt;2J_{2k-1}.$ 
Using Theorem~\ref{main} with $i=1$ yields

\begin{eqnarray*}
ord_2(\TP(n))&amp;\geq&amp; 
(J_1+1)(k-1)\mbox{ \ \ if $2\leq r \leq 2J_{2k-1}-2$}\\
&amp;&gt;&amp; k.
\end{eqnarray*}
If $r=1$ or $r=2J_{2k-1}-1$ then 
$$c_{2k+1}(n)=c_{2k-1}(n)=\cdots = c_3(n)=1$$
noting that $3=2k+1-2(k-1)$, so $$ord_2(\TP(n))\geq k.$$ 
Since $k=\lrfloor{\frac{m}{2}}$, we have our result.
\end{proof}




\begin{Cor}
\label{finiteness}
If $ord_2(\TP(n))=k$ with $k\geq 1,$ then $n &lt; J_{2k+1}$.
\end{Cor}

\begin{proof}
Suppose $ord_2(\TP(n))=k$.  From \cite[Theorem 4.1]{FSJacob}, $n$ is
not a Jacobsthal number since $ord_2(\TP(J_i))=0$ for all $i$.
Moreover, by Corollary~\ref{bothcor}, if 
$J_{2j-1}&lt;n&lt;J_{2j+1}$, then $ord_2(\TP(n))\geq j$.  So if $j&gt;k$, $n$
is not between 
$J_{2j-1}$ and $J_{2j+1}$.  The largest number remaining is
$J_{2k+1}-1$ and, in fact, 
$ord_2(\TP(J_{2k+1}-1))=k$. 
\end{proof}

\end{section}


\begin{section}{Implications}
It is clear from Theorem \ref{equalords} that 
$$
\TP(n) \equiv \CP(n) \pmod{2}.
$$
However, much more can be said.  

\begin{Theorem}
\label{congmod4}
For all $n\geq 1,$ 
$$
\TP(n) \equiv \CP(n) \pmod{4}.
$$
\end{Theorem}

\begin{proof}
Given Theorem \ref{equalords}, it is clear that Theorem \ref{congmod4}
is automatically true for those values of $n$ for which $ord_2(\TP(n))
\geq 1.$  Hence, we only need to focus on those $n$ for which
$ord_2(\TP(n)) =0.$  

As noted in \cite{FSJacob}, $ord_2(\TP(n)) = 0$ if and only if $n$ is
a Jacobsthal number.  Via straightforward calculations based on
(\ref{tsscppformula}) and (\ref{cstcppformula}), it can be proved
that, for all $m\geq 1,$ 
$$\TP(J_m) \equiv \CP(J_m) \equiv (-1)^{m-1} \pmod{4}.$$  
\end{proof}


\begin{Theorem}
\label{congmod16}
For all $n\geq 1,$ $n$ not a Jacobsthal number, 
$$
\TP(n) \equiv \CP(n) \pmod{16}.
$$
\end{Theorem}

\begin{proof}
We need only check those values
of $n$ for which $1 \leq ord_2(\TP(n)) \leq 2$,
so, from Corollary \ref{finiteness}, only
$1\leq n\leq J_5-1$
or $1\leq n\leq 20$.
This is straightforward using Maple and
(\ref{tsscppformula}) and (\ref{cstcppformula}).
\end{proof}

One last congruential implication is noted here.  

\begin{Theorem}
\label{congmod2k}
For all positive integers $k$ and all but finitely many $n\geq 1,$ $n$
not a Jacobsthal number, 
$$
\TP(n) \equiv \CP(n) \pmod{2^k}.
$$
\end{Theorem}

\begin{proof}
This is quickly proved since all that must be checked are those values
of $n$ for which $1 \leq ord_2(\TP(n)) \leq k-2.$  Corollary
\ref{finiteness} implies that the only nonJacobsthal positive integers
$n$ for which 
$ord_2(T(n)) \leq k-2$ satisfy $1\leq n\leq J_{2k+1}-1$.
\end{proof}

Finally, we note that results analogous to Corollary \ref{finiteness}
and Theorem \ref{congmod2k}
do not appear to hold
for primes $p&gt;2$.
We have confirmed this computationally in regards to Theorem
\ref{congmod2k}, and have proved that the finiteness result in
Corollary \ref{finiteness} can only hold for $p=2.$  In fact, we
\cite{FSMathComp} have proved the following:

\begin{Theorem}
\label{infinitenessthm}
If $p$ is a prime greater than 3, then for each nonnegative integer
$k$ there exist infinitely many positive integers $n$ for which
$ord_p(A(n))=k$.
\end{Theorem}

A result similar to Theorem \ref{infinitenessthm} can be proved for
$p=3,$ although it is a bit weaker.  See \cite{FSMathComp}.

\end{section}


\begin{thebibliography}{99}

\bibitem{Andrews1} G. E. Andrews, 
Plane partitions V.  The TSSCPP conjecture, 
\emph{Journal of Combinatorial Theory, Series A}, 
\textbf{66} (1994), 28-39.

\bibitem{Bressoud}  D. M. Bressoud,
``Proofs and Confirmations:  The story of the alternating sign matrix
conjecture'',
Cambridge University Press,
1999.

\bibitem{notices}   D. M. Bressoud and J. Propp,
How the Alternating Sign Matrix Conjecture Was Solved,
\emph{Notices of the American Mathematical Society},
\textbf{46} (6) (1999), 637-646.

\bibitem{FSJacob} D. D. Frey and J. A. Sellers, 
Jacobsthal Numbers and Alternating Sign Matrices,
\emph{Journal of Integer Sequences},
\textbf{3} (2000), Article 00.2.3.

\bibitem{FSMathComp}
D. D. Frey and J. A. Sellers, 
On Efficient Calculation
of the Number of Alternating Sign Matrices, 
preprint, 2001.

\bibitem{Long}  C. T. Long,
``Elementary Introduction to Number Theory'', 3rd edition,
Waveland Press, Inc., Prospect Heights, IL,
1995.

\bibitem{MRR} W. H. Mills, D. P. Robbins, and H. Rumsey, 
Alternating sign matrices and descending plane partitions,
\emph{Journal of Combinatorial Theory, Series A}, 
\textbf{34} (1983), 340-359.

\bibitem{Sloane} N. J. A. Sloane,
The On-Line Encyclopedia of Integer Sequences.
Published electronically at
\htmladdnormallink{http://www.research.att.com/$\sim
$njas/sequences/}{http://www.research.att.com/~njas/sequences/}.

\bibitem{zeil} D. Zeilberger, Proof of the alternating sign matrix
conjecture, 
\emph{Electronic Journal of Combinatorics} \textbf{3} (1996), R13.
%\bibitem{Sloane} N. J. A. Sloane,
%The On-Line Encyclopedia of Integer Sequences.
%Published electronically at
\htmladdnormallink{http://www.research.att.com/$\sim$njas/sequences/}.
%$njas/sequences/}{http://www.research.att.com/~njas/sequences/}.
    
\end{thebibliography}


\bigskip
%\vfil\eject
\noindent {\bf Appendix}

The table below includes the values of the functions $c_2(n),$
$c_4(n),$ $c_6(n)$ and $c_8(n)$ for $n$ between 
85 and 171, which are the Jacobsthal numbers $J_8$ and $J_9.$  We
provide this table to show the periodic nature 
of the functions $c_k(n)$, and to motivate Proposition
\ref{jacrecurr}.  It should be noted that, if we were to build a
similar table for values of $n$ between $J_{2m-1}$ and $J_{2m},$ then
we would focus attention on functions $c_k(n)$ where $k$ is odd rather
than even.  

\bigskip

\begin{center}

\parbox{3in}{\begin{tabular}{rr|rrrrrrrr}
$n$ &amp;&amp;&amp; $c_2(n)$ &amp;&amp; $c_4(n)$ &amp;&amp; $c_6(n)$ &amp;&amp; $c_8(n)$\\\hline
%\large{$\mathbf{85}$} &amp; \large{$\mathbf{0}$} &amp; \large{$\mathbf{0}$} &amp;
%\large{$\mathbf{0}$} &amp; \large{$\mathbf{0}$} \\
&amp;&amp;&amp;&amp;&amp;&amp;&amp;&amp;&amp;\\
85 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0\\
86 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 1\\
87 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 2 &amp;&amp; 2\\
88 &amp;&amp;&amp; 0 &amp;&amp; 3 &amp;&amp; 3 &amp;&amp; 3\\
89 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 4 &amp;&amp; 4\\
90 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 5 &amp;&amp; 5\\
91 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 6 &amp;&amp; 6\\
92 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 7 &amp;&amp; 7\\
93 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 8 &amp;&amp; 8\\
94 &amp;&amp;&amp; 1 &amp;&amp; 0 &amp;&amp; 9 &amp;&amp; 9\\
95 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 10 &amp;&amp; 10 \\
96 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 11 &amp;&amp; 11\\
97 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 10 &amp;&amp; 12\\
98 &amp;&amp;&amp; 1 &amp;&amp; 0 &amp;&amp; 9 &amp;&amp; 13\\
99 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 8 &amp;&amp; 14\\
100 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 7 &amp;&amp; 15\\
101 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 6 &amp;&amp; 16\\
102 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 5 &amp;&amp; 17\\
103 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 4 &amp;&amp; 18\\
104 &amp;&amp;&amp; 0 &amp;&amp; 3 &amp;&amp; 3 &amp;&amp; 19\\
105 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 2 &amp;&amp; 20\\
106 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 21\\
107 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 22\\
108 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 23\\
\vdots &amp;&amp;&amp; \vdots &amp;&amp; \vdots &amp;&amp; \vdots &amp;&amp; \vdots \\
128 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 43\\
%\end{tabular}}
%\parbox{3in}{\begin{tabular}{c|cccc}
%$n$ &amp; $c_2(n)$ &amp; $c_4(n)$ &amp; $c_6(n)$ &amp; $c_8(n)$\\\hline
\vdots &amp;&amp;&amp; \vdots &amp;&amp; \vdots &amp;&amp; \vdots &amp;&amp; \vdots \\
148 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 23\\
%\large{$\mathbf{149}$} &amp; \large{$\mathbf{0}$}  &amp; \large{$\mathbf{0}$}
% &amp; \large{$\mathbf{0}$}  &amp; \large{$\mathbf{22}$} 
%\\
149 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 22\\
150 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 21\\
151 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 2 &amp;&amp; 20\\
152 &amp;&amp;&amp; 0 &amp;&amp; 3 &amp;&amp; 3 &amp;&amp; 19\\
153 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 4 &amp;&amp; 18\\
154 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 5 &amp;&amp; 17\\
155 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 6 &amp;&amp; 16\\
156 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 7 &amp;&amp; 15\\
157 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 8 &amp;&amp; 14\\
158 &amp;&amp;&amp; 1 &amp;&amp; 0 &amp;&amp; 9 &amp;&amp; 13\\
159 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 10 &amp;&amp; 12\\
160 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 11 &amp;&amp; 11\\
161 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 10 &amp;&amp; 10\\
162 &amp;&amp;&amp; 1 &amp;&amp; 0 &amp;&amp; 9 &amp;&amp; 9\\
163 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 8 &amp;&amp; 8\\
164 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 7 &amp;&amp; 7\\
165 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 6 &amp;&amp; 6\\
166 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 5 &amp;&amp; 5\\
167 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 4 &amp;&amp; 4\\
168 &amp;&amp;&amp; 0 &amp;&amp; 3 &amp;&amp; 3 &amp;&amp; 3\\
169 &amp;&amp;&amp; 0 &amp;&amp; 2 &amp;&amp; 2 &amp;&amp; 2\\
170 &amp;&amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 1 &amp;&amp; 1\\
171 &amp;&amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0 &amp;&amp; 0\\
\end{tabular}}

\end{center}

\bigskip
The following figure gives plots
of the functions 
$c_2, c_4, c_6,$ $c_8$ on the same set of axes.

\vspace*{+.25in}

%\setbox1=\vbox{
\beginpicture
\setcoordinatesystem units &lt;0.05in,0.08in&gt;
\put {\phantom{.}} at 66.08000 -0.22670
\put {\phantom{.}} at 66.08000 23.22670
\put {\phantom{.}} at 189.92000 -0.22670
\put {\phantom{.}} at 189.92000 23.22670
\setlinear

%plot the axes

\plot 84 0 180 0 / 
\plot 84 0 84 45 /
\plot 179.5 -0.25 180 0 /
\plot 179.5 0.25 180 0 /
\plot 83.5 44.5 84 45 /
\plot 84.5 44.5 84 45 /

%\put{$n$} at 177 -1 /
%\put{$85$} at 85 -1 / 
%\put{$171$} at 171 -1 / 
\put{$(128, 43)$} at 134 44 / 
\put{$(85, 0)$} at 89 -1.5 / 
\put{$(171, 0)$} at 173 -1.5 / 


%plot the functions 
 
\plot 85 0 108 23 /
\plot 85 0 128 43 /

\plot 89 0 90 1 /
\plot 93 0 94 1 /
\plot 97 0 98 1 /
\plot 101 0 102 1 /
\plot 105 0 106 1 /
\plot 86 1 87 0 /
\plot 90 1 91 0 /
\plot 94 1 95 0 /
\plot 98 1 99 0 /
\plot 102 1 103 0 /
\plot 106 1 107 0 /
\plot 88 3 91 0 /
\plot 104 3 107 0 /
\plot 101 0 104 3 /
\plot 96 11 107 0 /
\plot 171 0 148 23 /
\plot 171 0 128 43 /
\plot 149 0 160 11 / 
\plot 155 0 152 3 /
\plot 165 0 168 3 /
\plot 149 0 150 1 /
\plot 153 0 154 1 /
\plot 157 0 158 1 /
\plot 161 0 162 1 /
\plot 165 0 166 1 /
\plot 169 0 170 1 /
\plot 150 1 151 0 /
\plot 154 1 155 0 /
\plot 158 1 159 0 /
\plot 162 1 163 0 /
\plot 166 1 167 0 /
\plot 170 1 171 0 /
\plot 86 1 87 0 /
\plot 90 1 91 0 /
\plot 94 1 95 0 /
\plot 98 1 99 0 /
\plot 102 1 103 0 /
\plot 106 1 107 0 /
\plot 88 3 91 0 /
\plot 104 3 107 0 /
\plot 101 0 104 3 /
\plot 96 11 107 0 /
\endpicture
%}
%\end


\bigskip

\begin{center}
Values of $c_2, c_4, c_6,$ $c_8$ 

for $n = 85$ to $n=171$
\end{center}

%\vspace*{+.5in}
\centerline{\rule{6.5in}{.01in}}

\vspace*{+.1in}
\noindent
{\small
(Concerned with sequences
\htmladdnormallink{A001045}{http://www.research.att.com/cgi-bin/access.cgi/as/njas/sequences/eisA.cgi?Anum=001045},
\htmladdnormallink{A005130}{http://www.research.att.com/cgi-bin/access.cgi/as/njas/sequences/eisA.cgi?Anum=005130}
and
\htmladdnormallink{A051255}{http://www.research.att.com/cgi-bin/access.cgi/as/njas/sequences/eisA.cgi?Anum=051255}.)
}

\centerline{\rule{6.5in}{.01in}}

\vspace*{+.1in}
\noindent
Received May 18, 2001.
Published in Journal of Integer Sequences, July 19, 2001.

\centerline{\rule{6.5in}{.01in}}


\vspace*{+.1in}
\noindent
Return to \htmladdnormallink{Journal of Integer Sequences home
page}{http://www.
research.att.com/~njas/sequences/JIS/}.

\centerline{\rule{6.5in}{.01in}}



\end{document}



</pre></body></html>