1: \documentclass[11pt]{article}

2: \usepackage{fullpage,mathptm,times,amsmath,mathdots,amssymb,epsf,graphicx}

3: \advance\parskip 4pt

4: \usepackage{epstopdf}

5: 

6: \newtheorem{theorem}{Theorem}[section]

7: \newtheorem{definition}[theorem]{Definition}

8: %\newtheorem{condition}[theorem]{Condition}

9: \newtheorem{lemma}[theorem]{Lemma}

10: \newtheorem{proposition}[theorem]{Proposition}

11: \newtheorem{corollary}[theorem]{Corollary}

12: \newtheorem{conjecture}[theorem]{Conjecture}

13: \def\proof{\par\kern-\medskipamount\noindent\textbf{Proof.}~~}

14: %\def\remark{\par\kern\medskipamount\noindent\textbf{Remark.}~}

15: %\def\endremark{\par\smallskip}

16: \def\endproof{\ \vbox{\hrule\hbox{\vrule height1.0ex\hskip1.0ex\vrule}\hrule }\par\medskip}

17: \def\theequation{\arabic{section}.\arabic{equation}}

18: \def\remark{\par\kern\medskipamount\noindent\textbf{Remark~\stepcounter{theorem}\arabic{section}.\arabic{theorem}}~}

19: \def\endremark{\par\smallskip}

20: 

21: \catcode`\@ 11

22: \@addtoreset{equation}{section}

23: %

24: \long\def\@makecaption#1#2{\vskip\abovecaptionskip

25:   \sbox\@tempboxa{\small #1: #2}%

26:   \ifdim \wd\@tempboxa >\hsize \small #1: #2\par

27:   \else \global \@minipagefalse \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}\fi

28:   \vskip\belowcaptionskip}

29: %

30: \newenvironment{example}{\refstepcounter{theorem}

31:   \par\kern\medskipamount\noindent\textbf{Example~\thetheorem}~}{\par\smallskip}

32: \newenvironment{property}{\refstepcounter{theorem}

33:   \par\kern\medskipamount\noindent\textbf{Property~\thetheorem}~}{\par\smallskip}

34: \newenvironment{condition}{\refstepcounter{theorem}

35:   \par\kern\medskipamount\noindent\textbf{Condition~\thetheorem}~}{\par\smallskip}

36: 

37: %

38: \renewcommand\thefigure{\arabic{section}.\arabic{figure}}

39: \numberwithin{figure}{section}

40: \catcode`\@ 12

41: \renewcommand\labelenumi{(\roman{enumi})}

42: \let\==\bar

43: \let\@=\mathbf

44: \newcommand{\partialderiv}[3][]{\frac{\partial^{#1}#2}{\partial {#3}^{#1}}}

45: \def\circ{\ifmmode\mathchar"220E\else$\mathchar"220E$\fi}

46: \def\Wr{\mathop{\mathrm{Wr}}\nolimits}

47: %\def\Gr{\mathop{\mathrm{Gr}}\nolimits}

48: \def\diag{\mathop{\rm diag}\nolimits}

49: \def\Real{{\mathbb{R}}}

50: \def\sech{\mathop{\rm sech}\nolimits}

51: \def\half{{\textstyle\frac12}}

52: \def\rank{\mathop{\rm rank}\nolimits}

53: \let\next=\phi\global\let\phi=\varphi\global\let\varphi=\next

54: \def\mapto#1#2{\mathop{\longrightarrow}\limits^{#1\to#2}} 

55: \renewcommand\labelitemi{\ifmmode\circ\else$\circ$\fi}

56: \allowdisplaybreaks

57: 

58: \textwidth=6.5 in

59: \setlength{\topmargin}{-0.2 in}

60: %\setlength{\oddsidemargin}{-0.2 in}

61: \textheight = 9.5 in

62: 

63: 

64: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

65: \begin{document}

66: \title{\bf Classification of the line-soliton solutions of KPII}

67: \author{Sarbarish Chakravarty$^1$ and Yuji Kodama$^2$ \\[1ex]

68: \small\it\

69: $^1$Department of Mathematics, University of Colorado, Colorado Springs, CO 80933 \\

70: \small\it\

71: $^2$ Department of Mathematics, Ohio State University, Columbus, OH 43210}

72: \date{}

73: \maketitle

74: \begin{abstract}

75: In the previous papers (notably, Y. Kodama, J. Phys. A 37, 11169-11190 (2004),

76: and G. Biondini and S. Chakravarty, J. Math. Phys. 47 033514 (2006)),

77: we found a large variety of line-soliton solutions of the

78: Kadomtsev-Petviashvili II (KPII) equation. The line-soliton solutions

79: are solitary waves which decay exponentially in $(x,y)$-plane

80: except along certain rays.  In this paper,

81: we show that those solutions are classified by asymptotic information

82: of the solution as  $|y| \to \infty$. Our study then

83: unravels some interesting relations between the line-soliton classification

84: scheme and classical results in the theory of permutations. 

85: \end{abstract}

86: 

87: \tableofcontents

88: %\thispagestyle{empty}

89: %\newpage

90: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

91: \section{The KPII equation and its line-soliton solutions}

92: \label{s:introduction}

93: 

94: The Kadomtsev-Petviashvili (KP) equation

95: \begin{equation}

96: \partialderiv{}x\left(-4\partialderiv ut

97:   +\partialderiv[3]ux +6u\partialderiv ux \right)

98:             + 3\sigma^2 \partialderiv[2]uy =0\,,

99: \label{e:KP}

100: \end{equation}

101: where $u=u(x,y,t)$ and $\sigma^2=\pm1$,

102: describes the evolution of small-amplitude, quasi two-dimensional 

103: solitary waves in a weakly dispersive medium \cite{SovPhysDoklady15p539}.

104: The case $\sigma^2=-1$ corresponding to positive dispersion is known as 

105: the KPI equation, whereas the negative dispersion ($\sigma^2=1$) case is

106: referred to as the KPII equation. The KP equation arises in many physical 

107: applications including water waves and plasmas 

108: (see e.g. ~\cite{InfeldRowlands} for a review).

109: It is a completely integrable system with remarkably rich

110: mathematical structure which is well-documented in several monographs

111: ~\cite{AblowitzClarkson,Hirota,MatveevSalle,MiwaJimboDate,NMPZ1984}.

112: Particularly, it has been 

113: known that the solutions of the KP equation can be expressed in terms of the $\tau$-function

114: \cite{Hirota, Sato},

115: \begin{equation}

116: u(x,y,t)= 2\partialderiv[2]{ }x\log\tau(x,y,t)\,.

117: \label{e:u}

118: \end{equation}

119: In this paper, we consider a class of solutions whose $\tau$-function is given by the Wronskian 

120: determinant~\cite{Sato,PLA95p1}

121: \begin{equation}

122: \tau(x,y,t)= \Wr(f_1,\dots,f_N)= 

123:   \begin{pmatrix}

124:      f_1 & f_2 & \cdots & f_N \\ 

125:      f_1' & f_2' &\cdots & f_N' \\

126:      \vdots & \vdots & & \vdots \\

127:      f_N^{(N-1)} & f_2^{(N-1)} & \cdots &f_N^{(N-1)}

128:   \end{pmatrix}\,.

129: \label{e:tau}

130: \end{equation}

131: with $f^{(i)}= \partial^i \!f/\partial x^i$,

132: and where the functions $\{f_n\}_{n=1}^N$

133: is a set of linearly independent solutions of the linear system

134: \begin{equation}\label{e:fpde}

135: \partialderiv fy= \partialderiv[2]fx\,,

136: \qquad

137: \partialderiv ft= \partialderiv[3]fx\,.

138: %\label{e:u0Laxpair}

139: \end{equation}

140: In particular, we investigate the {\em line-soliton}

141: solutions of the KPII equation, which are real, non-singular

142: solutions localized along certain directions in the $(x,y)$-plane,

143: and decay exponentially everywhere else.

144: For example, a one-soliton solution is obtained by choosing $N=1$ 

145: in Eq.~ \eqref{e:tau} above, and $\tau (x,y,t) = f(x,y,t)= e^{\theta_1}+e^{\theta_2}$,

146: where

147: \begin{equation}

148: \theta_m(x,y,t) = k_mx +k_m^2y+k_m^3t+\theta_{m,0}

149: \label{e:theta}

150: \end{equation}

151: with $\theta_{m,0}, \, k_m$ for $m=1,2$ are constants, and $k_1 < k_2$.

152: The above choices yield the traveling-wave solution

153: \begin{equation}

154: u(x,y,t)= \half(k_2-k_1)^2\sech^2\half(\theta_2-\theta_1)= \Phi(\@k\cdot\@r+\omega t) \,,

155: \label{e:onesoliton}

156: \end{equation}

157: where $\@r=(x,y)$.

158: The wave vector $\@k:=(l_x,l_y) =(k_1-k_2,k_1^2-k_2^2)$ and the frequency $\omega$

159: satisfy the dispersion relation,

160: \begin{equation}

161: -4\omega l_x+l_x^4+3l_y^2=0\,. 

162: \label{e:dispersionrelation}

163: \end{equation}

164: The solitary wave given by Eq.~ \eqref{e:onesoliton} is localized 

165: in the $(x,y)$-plane along the line $L: \theta_1=\theta_2$

166: whose normal has the slope $c=l_y/l_x = k_1+k_2$. 

167: The one-soliton solution is characterized by two physical parameters, namely,

168: the \textit{soliton amplitude}~$a=k_2-k_1$ and the \textit{soliton direction}

169: $c=k_1+k_2$. The soliton direction can be also expressed as $c=\tan \alpha$,

170: where $\alpha$ is the angle, measured counterclockwise,

171: between the line $L$ and the positive $y$-axis.

172: Conversely, any given choice of amplitude ($a>0$) and direction of the soliton

173: gives the phase parameters $k_1$ and $k_2$ uniquely as

174: $k_1=\half (c-a)$ and $k_2=\half (c+a)$. 

175: Note that when $c=0$ (equivalently, $k_1 = -k_2$), the solution

176: in Eq.~\eqref{e:onesoliton} becomes $y$-independent and reduces

177: to the one-soliton solution of the Korteweg-de~Vries (KdV) equation.

178: 

179: \kern-\medskipamount

180: \paragraph{General line-soliton solutions.}

181: Like KdV, the KPII equation also admits multi-soliton solutions

182: which can also be constructed via the Wronskian formulation

183: of Eq.~\eqref{e:tau} by choosing~$M$ phases

184: $\{\theta_m\}_{m=1}^M$ defined as in Eq.~\eqref{e:theta}

185: with distinct real \textit{phase parameters} $k_1 < k_2 < \ldots < k_M$

186: and then defining the functions 

187: \begin{equation}

188: f_n(x,y,t)= \sum_{m=1}^{M} a_{nm}\,e^{\theta_m}\,, \quad

189: n = 1,2, \ldots, N\,,

190: \label{e:f}

191: \end{equation}

192: which give finite dimensional solutions of Eqs.~\eqref{e:fpde}.

193: The constant coefficients $a_{nm}$ define the $N \times M$

194: \textit{coefficient matrix} $A:= (a_{nm})$, all of whose $N \times N$ 

195: minors must be non-negative to ensure that the $\tau$-function $\tau(x,y,t)$

196: has no zeros in the $(x,y)$-plane for all $t$,

197: so that the corresponding KPII solution $u(x,y,t)$ resulting from Eq.~\eqref{e:u} is

198: non-singular.

199: 

200: However, the multi-soliton solution space of the KPII equation

201: turns out to be much richer than that of the (1+1)-dimensional KdV

202: equation due to the dependence of the KPII solutions on

203: the additional spatial variable $y$.

204:  Asymptotically as $y \rightarrow \pm\infty$, 

205: there exist certain (non-decaying) directions which are invariant in

206: $t$, and along which the solution 

207: has the form of a plane wave similar to the one-soliton solution in 

208: Eq.~\eqref{e:onesoliton}. These asymptotic solitary wave structures, 

209: referred to as {\em asymptotic} line-solitons in Ref.~\cite{BC},

210: have varying amplitudes and directions depending on $M$, $N$ and the

211: the values of the phase parameters $k_1,\dots,k_M$. More significantly,

212: the number $N_-$ of asymptotic line-solitons

213: as $y \rightarrow -\infty$ is in general different from the

214: number $N_+$ of the asymptotic line-solitons as $y \rightarrow \infty$,

215: with $N_- = M-N$ and $N_+=N$. Such multi-soliton configurations derived

216: from Eq.~\eqref{e:f} are called $(N_-,N_+)$-soliton solutions of KPII \cite{BC, jphysa36p10519}.

217: For example, Figure~\ref{f:kpfig}(c) exhibits a $(2,1)$-soliton solution,

218: also known as the Miles resonance solution~\cite{JFM1977v79p171}. 

219: At the interaction vertex or Y-junction, the three interacting line-solitons 

220: with wave numbers~$\@k_a$ and frequencies~$\omega_a$ ($a=1,2,3$)

221: satisfy the fundamental three-wave resonance condition

222: \begin{equation}

223: \@k_1 + \@k_2 = \@k_3\,,\qquad

224: %l_1+l_2=l_3, \, m_1+m_2=m_3, \,

225: \omega_1 + \omega_2 = \omega_3\,

226: \label{e:resonance}

227: \end{equation}

228: The $(N_-,N_+)$-soliton solutions exhibit a variety of time-dependent spatial 

229: interaction patterns including the formation of intermediate line-solitons 

230: in the $(x,y)$-plane ~\cite{jphysa36p10519,Kodama,medina}.

231: In contrast to these nontrivial interactions exhibited

232: by the KPII solitons, the KdV multi-soliton solutions experience only

233: a phase shift after collision.

234: \kern-\medskipamount

235: \begin{figure}[t!]

236: \centering

237: \raisebox{0.85in}{(a)}\includegraphics[scale=0.55]{figures/2s1a} \hskip 0.3cm 

238: \raisebox{0.85in}{(b)}\raisebox{-0.1cm}{\includegraphics[scale=0.55]{figures/inelastic3s}}\hskip 0.5cm

239: \raisebox{0.85in}{(c)}\includegraphics[scale=0.55]{figures/miles} 

240: \caption{Line-soliton solutions of the KPII equation illustrating

241: different interaction patterns:

242: (a)~a 2-soliton solution,

243: (b)~a partially resonant $(3,3)$-soliton,

244: (c)~a Miles resonance (Y-junction).

245: Here and in all following figures, the horizontal and vertical axes are respectively,

246: $x$~and~$y$, and the graphs show contour lines of the solution

247: $u(x,y,t)=2\partial_x^2\,\log\tau(x,y,t)$ for fixed~$t$.}

248: \label{f:kpfig}

249: \end{figure}

250: %

251: \paragraph{$N$-soliton solutions.}

252: When $N_-=N_+=N$ (i.e., when $M=2N$) the corresponding solutions consist of 

253: the same number of asymptotic line-solitons as $y \rightarrow \pm \infty$.

254: If in addition, the direction and amplitude of each of the $N$ line 

255: solitons as $y\to-\infty$ are {\em pairwise} equal to each of the 

256: $N$ line-solitons as $y\to\infty$, then the corresponding solutions

257: are simply referred to as the $N$-soliton solutions of the KPII equation.

258: It will be evident from the discussions in the following sections

259: that each $N$-soliton solution can be regarded as a configuration of

260: $N$ interacting asymptotic line-solitons where the amplitude and direction 

261: of the $n$-th line-soliton are given by 

262: \begin{equation}

263: a_n= k_{j_n}-k_{i_n},\quad c_n= k_{i_n}+k_{j_n},\qquad n=1,\dots,N\,.

264: \label{e:solitonparameters}

265: \end{equation}

266: Thus the $n$-th line-soliton is parametrized by a pair $(k_{i_n}, k_{j_n})$

267: of distinct phase parameters with $\, 1 \leq i_n < j_n \leq 2N$, or 

268: equivalently, by the index pair~$[i_n,j_n]$. 

269: 

270: The Y-junction solution found by Miles~\cite{JFM1977v79p171} is, perhaps the earliest 

271: evidence of resonant structure present in the line-soliton solutions of KPII.

272: Subsequently, this solution was reconstructed using different algebraic methods

273: in several earlier works (see e.g., ~\cite{NewellRedekopp,Freeman,JPSJ1983v52p749}),

274: and more general types of resonant line-soliton solutions of KPII were reported

275: in some recent works including Refs.~\cite{medina,jphysa36p10519,pashaev}.

276: The properties of the general line-soliton solutions 

277: were systematically investigated in Ref.~\cite{BC} where these solutions were

278: characterized by developing an asymptotic analysis of the $\tau$-function.

279: The special case of the $N$-soliton solutions was extensively studied

280: in Ref.~\cite{Kodama}. In particular, an explicit characterization of the

281: $N$-soliton solutions space in terms of Grassmannian $Gr(N,2N)$ was

282: presented for the first time in \cite{Kodama}. In this article, we extend the

283: work in Ref.~\cite{BC} by giving a combinatorial description of the general

284: line-soliton solutions of KPII, and show that the class of the general line-soliton 

285: solutions can be enumerated employing these combinatorial properties.

286: We also make remarks on those solutions in terms of the positive Grassmann cells.

287: Furthermore, we show that the solution space is divided into dual sub-classes

288: of $(N,M-N)$- and $(M-N,N)$-soliton solutions 

289: under the action of space-time inversion $(x,y,t) \to (-x,-y,-t)$, and give a

290: combinatorial interpretation of this discrete symmetry of the KPII equation.

291: Next we consider the $N$-soliton solutions

292: and describe how to construct such solutions starting only from the physical

293: data set of $N$ amplitudes and $N$ directions of the associated line-solitons.

294: We show that there exists a one-to-one correspondence between $N$-soliton solution 

295: space and the set of all fixed-point free involutions of the permutation group

296: of $2N$ elements. We exhibit how the combinatorial properties of the $N$-soliton

297: solutions provide a further refinement of the $N$-soliton solution space, and thus 

298: recover the results of Ref.~\cite{Kodama}.

299: 

300: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

301: \section{The KPII $\tau$-function and asymptotic line-solitons}

302: \label{s:general}

303: 

304: In this section, we investigate the general properties and

305: asymptotic behavior of the $\tau$-function associated with the

306: general line-soliton solutions of the KPII equation.

307: As before, we consider the Wronskian form of the $\tau$-function given by

308: Eq. \eqref{e:tau} where the functions $\{f_n\}_{n=1}^N$ are linear

309: combinations of exponentials with $M$ distinct phases as in

310: Eq. \eqref{e:f}. Furthermore, we can assume without loss of generality,

311: that the phase parameters are ordered as $k_1<k_2<\ldots<k_M$.

312: 

313: \subsection{Properties of the $\tau$-function}

314: The Wronskian in Eq.~\eqref{e:tau} can be expressed as

315: \begin{equation}

316: \tau(x,y,t)= \det(A\,\Theta\,K)\,,

317: \label{e:taudet}

318: \end{equation}

319: where $A=(a_{nm})$ is the $N\times M$ coefficient matrix,

320: $\Theta= \diag(e^{\theta_1}, \ldots, e^{\theta_M})$, and

321:  the $M\times N$ matrix $K$ is given by $K=(k_m^{n-1}), \,

322: m=1,2, \ldots, M, \, n=1,2,\ldots,N$. Expanding the determinant

323: in Eq.~\eqref{e:taudet} using Binet-Cauchy formula yields the

324: following explicit form of the $\tau$-function 

325: \begin{equation}

326: \tau(x,y,t)= \sum_{1\le m_1<\dots<m_N\le M}

327:   A(m_1,\dots,m_N)

328:   \,\,\,

329:   \exp[\,\, \theta(m_1,\ldots,m_N) \,]

330:   \!\!\prod_{1\le s < r\le N}(k_{m_{r}}-k_{m_{s}})\,,

331: \label{e:tauexp}

332: \end{equation}

333: where $\theta(m_1,\ldots,m_N):=\theta_{m_1}+\theta_{m_2}+\ldots+\theta_{m_N}$,

334: $A(m_1,\dots,m_N)$ is the $N\times N$ minor of $A$

335: obtained from columns $1\le m_1<\dots<m_N\le M$, and the product

336: term is the Van~der~Monde determinant obtained using the rows 

337: $1\le m_1<\dots<m_N\le M$ of the matrix $K$ in Eq.~\eqref{e:taudet}. 

338: The basic properties of the 

339: $\tau$-function following from Eq. \eqref{e:tauexp} are listed below.

340: \begin{property}

341: \begin{enumerate}

342: \item

343: The $\tau$-function is a linear combination of real exponentials,

344: where each exponential term contains combinations of $N$ out of $M$ distinct 

345: phases given by $\theta(m_1,\dots,m_N)$. Any given phase combination

346: $\theta(m_1,\dots,m_N)$ actually appears in the $\tau$-function

347: if and only if the corresponding minor $A(m_1,\dots,m_N)$ is nonzero.

348: Thus there are {\em at most} $\binom{M}{N}$ terms in the $\tau$-function.

349: \item

350: If $M=N$, the corresponding $\tau$-function in Eq.~\eqref{e:tauexp}

351: contains only one exponential term which

352: generates the trivial solution $u(x,y,t)=0$ of KPII via Eq. \eqref{e:u}.

353: Hence, $M>N$ for nontrivial solutions.

354: \item

355: If rank$(A) < N$, then all the $N \times N$ minors of $A$ vanish identically, 

356: leading to the trivial case $\tau = 0$. Moreover, for rank$(A)=N$,

357: if all minors $A(m_1,\dots,m_N) \geq 0$ then

358: $\tau(x,y,t) > 0, \, \forall (x,y,t) \in \Real^3$. Therefore,

359: the resulting solution $u(x,y,t)$ of the KPII equation is non-singular.

360: \item

361: The transformation $A \rightarrow CA$ where $C \in GL(N, \Real)$

362: corresponds to an overall rescaling $\tau \to \det(C)\tau$,

363: of the $\tau$-function in Eq. \eqref{e:taudet},

364: which leaves the solution $u(x,y,t)$ invariant.

365: This $GL(N, \Real)$ freedom can be exploited to choose the coefficient

366: matrix $A$ in Eq. \eqref{e:f} to be in the reduced row-echelon form (RREF).

367: \item 

368: The transformation $A \rightarrow AD,\,\Theta \rightarrow D^{-1}\Theta$ 

369: where $D \in GL(M, \Real)$ leaves the $\tau$-function in Eq. \eqref{e:taudet}

370: invariant. In particular, a diagonal matrix $D$ with diagonal elements 

371: $d_m>0,\, m=1,\ldots,M$, leaves the functions $\{f_n\}_1^N$ in Eq.~\eqref{e:f} 

372: invariant by simultaneously rescaling the $m^{\mathrm th}$ column 

373: of $A$ by $d_m$, and shifting the each phase constant in Eq.~\eqref{e:theta}

374: as $\theta_{m,0} \rightarrow \theta_{m,0}-\log(d_m)$.

375: \item

376: If for any given $n,\,m$ in Eq. \eqref{e:f}, we take $f_n = e^{\theta_m}$ 

377: such that the $n^{\mathrm th}$

378: row of $A$ has only one non-zero entry $a_{nm}=1$, then

379: the minors $A(m_1,\dots,m_N) = 0,\, m \notin \{m_1,\dots,m_N\}$.

380: The resulting $\tau$-function can be expressed as

381: $\tau(x,y,t) = e^{\theta_m}\tau_0(x,y,t)$,

382: where $\tau_0(x,y,t)$ contains at most $M-1$ phases (all but

383: $\theta_m$) which appear in phase combinations of $N-1$ distinct phases.

384: It is then evident from Eq.~\eqref{e:u} that $\tau(x,y,t)$ and $\tau_0(x,y,t)$

385: generate the same solution of KPII. Such $\tau$-functions are {\em reducible} 

386: in the sense that they can be effectively obtained from a Wronskian of

387: $N-1$ functions with $M-1$ distinct phases.

388: \end{enumerate}

389: \label{p:tau}

390: \end{property}

391: %

392: \noindent

393: For the remainder of this paper, we will consider the coefficient matrix~$A$ 

394: to be in RREF. Furthermore, to avoid trivial and reducible cases, and to ensure 

395: that the solution $u(x,y,t)$ of KPII resulting from the $\tau$-function

396: in Eq. \eqref{e:tauexp} are non-singular, we will impose the following restrictions

397: on the coefficient matrix~$A$:

398: \begin{condition} 

399: %\par\kern-\medskipamount

400: \begin{enumerate}

401: %\itemsep 0pt

402: %\parsep 0pt

403: \item

404: Positivity:\,\, Rank($A) = N < M$ and all nonzero minors of $A$ are positive.

405: \item

406: Irreducibility:\,\, Each column of $A$ contains at least one nonzero element, and 

407: each row of $A$ contains at least one nonzero element in addition to the 

408: pivot (first non-zero) entry.

409: \end{enumerate}

410: \label{positive}

411: \end{condition}

412: %\par\kern-\medskipamount\noindent

413: %

414: \begin{remark}

415: The matrices satisfying Condition \ref{positive}(i) above, are called 

416: totally non-negative (TNN) matrices. The classification of the $(N_-,N_+)$-soliton 

417: solutions is then given by the classification of the $N\times M$ irreducible

418: TNN matrices $A$ in RREF. From a more geometric perspective, each TNN matrix 

419: parametrizes a unique cell in the TNN Grassmannian 

420: $Gr^+(N,M)$ (see e.g. \cite{postnikov:06}), and the classification of the soliton solutions 

421: corresponds to a further refinement of the Schubert decomposition of $Gr(N,M)$ into

422: TNN Grassmann cells (see \cite{Kodama} for the case $M=2N$). 

423: The refinement is given by a classification of the coefficient matrix $A$, and

424: the minors $A(m_1,\ldots,m_N)$ represent the Pl\"ucker coordinates of $Gr(N,M)$.

425: We will discuss the geometric 

426: structure of this classification in a future communication~\cite{CK}.

427: \end{remark}

428: 

429: \subsection{Dominant phase combinations and asymptotic line-solitons}

430: The spatial structure of the solution $u(x,y,t)$ is determined

431: from the asymptotic behavior of the $\tau$-function

432: in the $(x,y)$-plane and for finite values of~$t$. Notice that the $\tau$-function 

433: in Eq. \eqref{e:tauexp} associated with an irreducible coefficient matrix $A$ is a 

434: sum of real exponentials with positive coefficients. If only one phase combination 

435: $\theta(m_1,\dots,m_N)(x,y,t)$ in the $\tau$-function is dominant in a certain

436: region of the $(x,y)$-plane at a given time, then $\tau \sim exp(\theta(m_1,\dots,m_N))$.

437: Consequently, the solution $u(x,y,t)$ of KPII generated by the

438: $\tau$-function~\eqref{e:tauexp} is exponentially small at all points

439: in the interior of any dominant region, and is localized at the boundaries 

440: where a balance exists between at least two dominant 

441: phase combinations in the $\tau$-function~\eqref{e:tauexp}.

442: Such boundary is identified by the equation

443: $\theta(m_1,\dots,m_N) = \theta(m'_1,\dots,m'_N)$,

444: which defines a line segment in the $(x,y)$-plane for each $t$.

445: Note that this phenomenon also arises for the one-soliton

446: solution~\eqref{e:onesoliton},

447: which is localized along the line $\theta_1=\theta_2$ corresponding

448: to the boundary of the two regions of the $(x,y)$-plane where $\theta_1$

449: and $\theta_2$ dominate.

450: In the one-soliton case, these two regions are simply half-planes, whereas

451: in the general case the dominant regions could be bounded or unbounded

452: (see e.g. Figure~ \ref{f:dominantphases}).

453: A detailed analysis of the asymptotic behavior of the $\tau$-function was 

454: carried out in Ref.~\cite{BC}, the main results are summarized below.

455: \begin{proposition}

456: The asymptotic properties of $\tau$-function~\eqref{e:tauexp} for finite 

457: values of $t$, and for generic values of phase parameters

458: $k_1,\ldots,k_M$, are as follows:\\

459: (i)\,\, The dominant phase combinations of the $\tau$-function in adjacent 

460: regions of the $(x,y)$-plane as $y\to\pm\infty$, contain

461: $N-1$~common phases and differ by only a single phase.

462: The transition $\theta(i,m_2,\dots,m_N) \mapsto \theta(j,m_2,\dots,m_N)$

463: between any two such dominant phase combinations

464: occurs along the line defined by $[i,j]:\,\theta_i=\theta_j,\,\, i\neq j$,

465: where a single phase $\theta_i$ in one dominant phase combination

466: is replaced by a phase $\theta_j$. \\

467: (ii)\,\, Along the single phase transition line $[i,j]$, the dominant phase balance yields  

468: \begin{subequations}

469: \begin{equation}

470: \tau(x,y,t)\sim

471:   C_i\,e^{\theta(i,\=m_2,\dots,\=m_N)}

472:   + C_j\,e^{\theta(j,\=m_2,\dots,\=m_N)}

473: \label{e:tauasymp}

474: \end{equation}

475: asymptotically as $y\to\infty$ or as $y\to-\infty$, where

476: the coefficients $C_i,\, C_j$ depend on appropriate

477: Van~der~Monde determinants and non-vanishing minors of the coefficient 

478: matrix~$A$. The asymptotic behavior of the solution along $[i,j]$ is given by

479: \begin{equation}

480: u(x,y,t) \sim \half(k_j-k_i)^2\sech^2\half(\theta_j-\theta_i+\delta_{ij}) \,,

481: \label{e:uasymp}

482: \end{equation}

483: which defines an asymptotic line-soliton.

484: \end{subequations}

485: \\

486: (iii)\,\, The number of the asymptotic line-solitons is invariant in time, and

487: so are their amplitudes and directions.

488: In particular, the soliton direction is given by the normal direction 

489: of $[i,j]$, which is~$c_{i,j}= k_i+k_j$,

490: and the soliton amplitude is given by $a_{ij}=|k_i-k_j|$.

491: \label{P:solitons}

492: \end{proposition} 

493: In view of Proposition \ref{P:solitons}, it is natural to denote

494: an asymptotic line-soliton by the index pair $[i,j]$ which labels 

495: the asymptotic direction as well as the phase parameters in Eq. \eqref{e:uasymp}.

496: The asymptotic properties of the $\tau$-function reveal that there

497: exists a certain pairing $(k_i, k_j),\,\, 1\leq i < j \leq M$ between the phase 

498: parameters, which in turn defines an asymptotic line-soliton.

499: However, Proposition \ref{P:solitons} does not specify how to determine

500: these pairings in a given solutions, or equivalently, which phase combinations

501: are actually dominant in a given $\tau$-function as $|y| \to \infty$. It is still 

502: necessary to identify the particular set of asymptotic line-solitons associated 

503: with any given $\tau$-function of Eq.~\eqref{e:tauexp}. For this purpose, we

504: first need a result derived in Ref~\cite{BC} ((Lemma 3.1) regarding the dominant 

505: phases.

506: \begin{lemma}

507: (Dominant phase conditions)~

508: Along the line $[i,j]:\theta_i=\theta_j$ with $i<j$,

509: the phases $\theta_1,\dots,\theta_M$ satisfy the following relations,

510: where $\theta:=\theta_i=\theta_j$, below.

511: \begin{enumerate}

512: \par\kern-0.5\medskipamount

513: \itemsep 0pt

514: \parsep 0pt

515: \item 

516: As $y\to\infty$,\,

517: $\theta_m<\theta ,\, \forall \, m\in\{i+1,\dots,j-1\}$,

518: and $\theta_m>\theta ,\, \forall \, m\in\{1,\dots,i-1,j+1,\dots,M\}$;

519: \item

520: as $y\to-\infty$,\,

521: $\theta_m>\theta,\, \forall \, m\in\{i+1,\dots,j-1\}$,

522: and $\theta_m<\theta,\, \forall \, m\in\{1,\dots,i-1,j+1,\dots,M\}$.

523: \end{enumerate}

524: %\par\kern-\smallskipamount\noindent

525: \label{dominantphase}

526: \end{lemma}

527: The proof of this Lemma based on the ordering $k_1<\cdots<k_M$ is

528: an easy exercise for the reader.

529: Lemma \ref{dominantphase} provides a simple yet useful way to determine

530: the dominant phase combinations along the line $[i,j]$. However, 

531: a given phase combination $\theta(m_1,\ldots,m_N)$ can only be dominant if 

532: it is in fact, {\em present} in the $\tau$-function of Eq.~\eqref{e:tauexp}, i.e.,

533: if the corresponding coefficient minor $A(m_1,\ldots,m_N) \neq 0$ in the 

534: $\tau$-function. Therefore, in order to obtain a complete characterization of the

535: asymptotic line-solitons it is necessary to consider the structure

536: of the $N \times M$ coefficient matrix $A$ in addition to

537: Lemma \ref{dominantphase}.

538: Each asymptotic line-soliton $[i,j]$ of a

539: $(N_-,N_+)$-soliton solution of KPII are uniquely determined by a pair of

540: columns of the coefficient matrix $A$, 

541: as prescribed below. Once again, the details can be found in Ref.~\cite{BC}.

542: \begin{proposition}

543: \label{P:pairing}

544: The $(N_-,N_+)$-soliton

545: solution of KPII generated from the $\tau$-function

546: in Eq.~\eqref{e:tauexp} has exactly $N_+= N$ asymptotic line-solitons

547: as $y\to\infty$ and $N_-=M-N$ asymptotic line-solitons as $y\to-\infty$.

548: The necessary and sufficient conditions for an index pair $[i,j]$

549: to identify an asymptotic line-soliton are determined by the ranks of two 

550: sub-matrices of $A$ defined below in terms of their column indices 

551: \begin{equation*}

552: X[ij] := \left[ 1,2,\ldots, i-1, j+1, \ldots, M \right] \qquad

553: Y[ij] := \left[i+1, \ldots j-1 \right] \,.

554: %\label{e:XY}

555: \end{equation*}

556: The rank conditions are then as follows:\\

557: (i)\, Each asymptotic line-soliton as $y\to\infty$ is labeled by 

558: a unique index pair $[e_n,j_n]$ with $e_n < j_n$ where

559: $\{e_n\}_{n=1}^N$ label the pivot columns of $A$.

560: Moreover, if $\rank(X[e_nj_n]):=r_n$, then 

561: $$r_n \le N-1 \qquad and \qquad \rank(X[e_nj_n]|e_n) \,\, = \,\,\rank(X[e_nj_n]|j_n) \,\,

562: = \,\, \rank(X[e_nj_n]|e_n,j_n) \,\,= \,\,r_n+1 \,.$$

563: (ii)\, An asymptotic line-soliton as $y\to -\infty$ is labeled

564: by a unique index pair $[i_n,g_n]$ with $i_n < g_n$ where

565: $\{g_n\}_{n=1}^{M-N}$ label the non-pivot columns of $A$.

566: Moreover, if $\rank(Y[i_ng_n]) := s_n$, then 

567: $$ s_n \le N-1 \qquad and \qquad \rank(Y[i_ng_n]|i_n) \,\, = \,\, \rank(Y[i_ng_n]|g_n)

568: \,\, = \,\,\rank(Y[i_ng_n]|i_n,g_n)\,\,= \,\,s_n+1 \,.$$

569: Above, $(Z|m,n)$ denotes the sub-matrix~$Z$ of $A$ augmented by the

570: columns $m$ and $n$ of $A$.

571: \end{proposition}

572: %

573: Given the $\tau$-function data, which consist of $M$ distinct phase parameters

574: $k_1,\ldots,k_M$ and a matrix $A$ satisfying Condition \ref{positive},

575: Propositions \ref{P:solitons} and \ref{P:pairing} provide an explicit

576: way to identify all the asymptotic line-solitons of the corresponding

577: solution of the KPII equation. This method is illustrated via the

578: examples below.

579: \begin{example}

580: Figure~\ref{f:dominantphases}(a) illustrates a $(2,1)$-soliton 

581: Y-junction solution \cite{JFM1977v79p171} describing the resonant interaction

582: of two line-solitons mentioned in Section \ref{s:introduction} 

583: (see Figure~\ref{f:kpfig}(c)).

584: This solution corresponds to $N=1,\, M=3$, and is generated by the

585: $\tau$-function and the coefficient matrix $A$,

586: $$

587: \tau(x,y,t)= e^{\theta_1}+e^{\theta_2}+e^{\theta_3}\,, \qquad \qquad 

588: A= \begin{pmatrix}

589:  1 &1 &1 

590: \end{pmatrix} \,.

591: $$

592: In this case we know from Proposition \ref{P:pairing} that the number

593: of asymptotic line-solitons as $y\to \infty$ and as $y\to -\infty$ are 

594: one and two, respectively. Applying the rank conditions from 

595: Proposition \ref{P:pairing}(i) to the 

596: pivot column $e_1=1$, we see that for the soliton $[1,j_1]$ as 

597: $y \to \infty$, $\rank(X[1j_1]) = 0$ since $N=1$. Hence, $j_1=3$, 

598: so that the line-soliton is $[1,3]$, which (according to Proposition

599: \ref{P:solitons}) corresponds to the

600: dominant balance of the phases $\theta_1$ and $\theta_3$ in the $\tau$-function.

601: As $y \to -\infty$, Proposition \ref{P:pairing}(ii) implies that for

602: the non-pivot columns $g_1=2$ and $g_2=3$, we should have 

603: $\rank(Y[i_12])=\rank(Y[i_23]) = 0$ as well. Consequently, $i_1=1, \, i_2=2$,

604: and the resulting line-solitons $[1,2],\, [2,3]$ correspond to the dominant

605: balance of the phase pairs $(\theta_1,\theta_2)$ and $(\theta_2,\,\theta_3)$,

606: respectively.  Thus, the $(x,y)$-plane is partitioned in

607: three disjoint regions where each of the phases $\theta_1,\, \theta_2$

608: and $\theta_3$ dominates, and the solution is localized along

609: the phase transition lines which mark the asymptotic line-solitons.

610: \label{E:2to1}

611: \end{example}

612: \begin{example}

613: Consider $N=2$ and $M=4$ corresponding to a $(2,2)$-soliton solution 

614: as shown in Figure~\ref{f:dominantphases}(b), and generated by the 

615: $\tau$-function in Eq.~\eqref{e:tau} with 

616: $$

617: f_1 = e^{\theta_1}-e^{\theta_4}, \quad

618: f_2 = e^{\theta_2}+e^{\theta_3}+ e^{\theta_4}, \qquad \qquad

619: A= \begin{pmatrix}

620: 1 &0 &0 &\!-1 \\ 0 &1 &1 &1 

621: \end{pmatrix} \,.

622: $$

623: The pivot columns of~$A$ are labeled by the indices $\{e_1,e_2\}=\{1,2\}$,

624: and the non-pivot columns by the indices $\{g_1,g_2\}=\{3,4\}$.

625: According to Proposition~\ref{P:pairing}, the number of asymptotic line

626: solitons are $N_+=N_-=2$. They are identified by the index pairs $[1,j_1],\, [2,j_2]$ 

627: as $y\to \infty$, for some $j_1>1$ and $j_2>2$; and by the index pairs $[i_1,3]\,,[i_2,4]$ 

628: as $y\to -\infty$, for some $i_1<3$ and $i_2<4$.

629: We first determine the asymptotic line-solitons as $y\to\infty$

630: using the rank conditions prescribed in Proposition~\ref{P:pairing}(i).

631: For the first pivot column $e_1=1$, starting from $j=2$ and then incrementing 

632: the value of $j$ by one, we check the rank of each sub-matrix $X[1j]$.

633: Proceeding in this way, we find that the rank conditions are satisfied 

634: when $j=3$: $X[13]= \bigl(\begin{smallmatrix}\!-1\\1\end{smallmatrix}\bigr)$.

635: So $\rank(X[13])=1=N-1$. Moreover, $\rank(X[13]|1)= \rank(X[13]|3)=

636: \rank(X[13]|1,3) =2$. Thus, the first asymptotic line-soliton

637: as $y\to\infty$ is identified by the index pair $[1,3]$.

638: For $e_2=2$, proceeding in a similar manner as above we

639: find that $j=3$ does not satisfy the rank conditions (since

640: $X[23]$ has rank~2) but $j=4$ does.

641: Therefore, the asymptotic line-solitons as $y\to\infty$ are given by

642: the index pairs $[1,3]$ and $[2,4]$.

643: 

644: Then we consider the asymptotics for $y\to-\infty$.

645: Starting with the non-pivot column $g_1=3$, we apply the rank conditions

646: in Proposition~\ref{P:pairing}(ii) to the column $i=2$.

647: Then, we have $Y[23]=\emptyset$, and

648: $\rank(Y[23]|2)= \rank(Y[23]|3)= \rank(Y[23]|2,3)=1$.

649: Hence, the pair $[2,3]$ identifies an asymptotic line-soliton

650: as $y\to-\infty$. For $g_2=4$, we consider $i=1,2,3$ and find that

651: the rank conditions are satisfied only for $i=1$. In this case,

652: $Y[14]= \bigl(\begin{smallmatrix}0&0\\1&1\end{smallmatrix}\bigr)$,

653: so $\rank(Y[14])= 1=N-1$ and

654: $\rank(Y[14]|1)= \rank(Y[14]|4)= \rank(Y[24]|1,4)=2$.

655: Thus, the index pair $[1,4]$ identifies the other

656: asymptotic line-soliton as $y\to-\infty$.

657: 

658: The dominant phase regions in the $(x,y)$-plane for this $(2,2)$-soliton

659: solution can be also identified from Proposition \ref{P:solitons}.

660: First note that the dominant phase combination along $x \to -\infty$ 

661: is given by $\theta(1,2)=\theta_1+\theta_2$ for finite $y$. This follows from

662: Eq.~\eqref{e:theta} and the ordering $k_1<k_2<k_3<k_4$ of the phase parameters.

663: As the slope of the normal to the transition line $\theta_i=\theta_j$,

664: given by the direction $c_{ij}=k_i+k_j$ decreases 

665: from negative $x$-axis to positive $x$-axis for $y>0$, the asymptotic line-solitons

666: are sorted clockwise as $[2,4]$ and $[1,3]$ as $y \to \infty$.

667: Thus the dominant phase combinations associated with single phase transitions 

668: (cf. Proposition \ref{P:solitons}) as $y \to \infty$ are given by

669: \begin{equation*}

670: \theta(1,2) \mapto24 \theta(1,4) \mapto13 \theta(3,4) \,.

671: \end{equation*}

672: When $y<0$, the soliton direction parameter $c_{ij}$ increases from 

673: negative $x$-axis to positive $x$-axis. Consequently, the asymptotic line 

674: solitons as $y \to -\infty$ are sorted counter-clockwise as $[2,3]$ and $[1,4]$,

675: and determine the dominant phase combinations in the $(x,y)$-plane for $y\to -\infty$ as

676: follows:

677: \begin{equation*}

678: \theta(1,2) \mapto23 \theta(1,3) \mapto14 \theta(3,4) \,.

679: \end{equation*}

680: The asymptotic line-solitons and dominant phase combinations are

681: shown in Figure~\ref{f:dominantphases} where the phase parameters

682: are chosen such that $c_{14}=1>c_{23}=0$. Note that in addition to 

683: the unbounded dominant regions, there is also a bounded region in the

684: $xy$-plane where $\theta(2,4)$ is the dominant phase combination.

685: The boundaries of this region is formed by the line-solitons [1,4] and 

686: [2,3] as $y \to -\infty$, together with the intermediate line-soliton [1,2].

687: \label{E:2to2}

688: \end{example}

689: %\begin{figure}[t!]

690: %\newdimen\figwidth \figwidth 0.375\textwidth

691: %\centerline{\raise0.5ex\hbox{\epsfxsize0.965\figwidth\epsfbox{figures/Miles.eps}}

692: %\quad \quad

693: %\epsfxsize\figwidth\hbox{\epsfbox{figures/inelastic2s.eps}}}

694: \begin{figure}[t!]

695: \centering

696: \raisebox{0.87in}{(a)}\raisebox{-0.15cm}{\includegraphics[scale=0.6]{figures/Miles}} \hskip 1.5cm

697: \raisebox{0.87in}{(b)}\includegraphics[scale=0.6]{figures/inelastic2s} 

698: \caption{Dominant phase combinations in different regions

699:  of the $(x,y)$-plane (labeled by the indices in parentheses, i.e.

700:  $(i,j)=\theta(i,j)$)

701:  and the asymptotic line-solitons (labeled by the indices in square braces)

702:  for two different line-soliton solutions:

703: (a)~a $(2,1)$-soliton with 

704:    %$(k_1,k_2,k_3)=(-\frac32,-\frac12,\frac12,2)$

705:    $(k_1,k_2,k_3)=(-1,0,\frac12)$

706:    at $t=0$; 

707: (b)~a $(2,2)$-soliton with $(k_1,\dots,k_4)=(-1,-\frac12,\frac12,2)$

708:  at $t=0$.}

709: \label{f:dominantphases}

710: \end{figure}

711: %

712: The above examples illustrate how to identify the asymptotic line

713: solitons and the dominant phase combinations of a $(N_-,N_+)$-soliton 

714: solution of KPII from the $\tau$-function in an algorithmic fashion.

715: First, apply the rank conditions given in Proposition \ref{P:pairing} to each 

716: pivot column and to each non-pivot column of the coefficient matrix $A$ to 

717: identify the asymptotic line-solitons as $y \to \pm \infty$.

718: Next, note that for a $\tau$-function in Eq.\eqref{e:tauexp} associated with a 

719: coefficient matrix $A$ in RREF, the dominant phase combination as

720: $x \to -\infty$ is uniquely given by $\theta(e_1,\ldots,e_N)$.

721: This is due to the fact that the phase parameters are ordered as 

722: $k_1<k_2<\ldots<k_M$, and the coefficient $A(e_1,\ldots,e_N)$ of the  

723: term $e^{\theta(e_1,\ldots,e_N)}$ being the minor of pivot columns, is 

724: lexicographically the first non-vanishing minor of $A$ with $A(e_1,\ldots,e_N)=1$.

725: Since the line-solitons are sorted according to their direction parameter $c_{ij}$,

726: the dominant phase combinations in the $(x,y)$-plane can be then determined

727: from Proposition \ref{P:solitons} starting from the dominant phase combination 

728: $\theta(e_1,\ldots,e_N)$ as $x \to -\infty$. 

729: %

730: \subsection{Index pairing and derangements}

731: We show here that 

732: the set of unique index pairings in Proposition \ref{P:pairing}, 

733: $\{[e_n,j_n]\}_{n=1}^N \cup \{[i_n,g_n]\}_{n=1}^{M-N}$ identifying the asymptotic 

734: line-solitons as $|y| \to \infty$, has a combinatorial interpretation.

735: Let $[M] := \{1,2,\ldots,M\}$ be the integer set and recall that

736: $\{e_1,\ldots,e_N\} \cup \{g_1,\ldots,g_{M-N}\}$ is a disjoint partition

737: of $[M]$. Define the pairing map $\pi: [M] \to [M]$ 

738: according to Proposition \ref{P:pairing}(i) \& (ii) as

739: \begin{equation}

740: \pi(e_n) = j_n\,, \,\, n=1,2,\ldots,N\,, \qquad

741: \pi(g_n) = i_n\,, \,\, n=1,2,\ldots,M-N\,,

742: \label{e:pair}

743: \end{equation}

744: where $e_n$ and $g_n$ are respectively, the pivot and non-pivot indices of

745: the coefficient matrix $A$. Then one can show that 

746: the map $\pi: [M] \to [M]$ is a bijection, that is, $\pi$ is a {\em permutation} of the set $[M]$. It is 

747: sufficient to show that the image $\pi([M])$ is a set of distinct elements.

748: First assume the contrary, i.e., suppose $\pi(l)=\pi(l')=m$ for two distinct

749: elements $l,l' \in [M]$. Then consider the dominant phase combinations 

750: associated with the single phase transitions (see 

751: Proposition \ref{P:solitons}(i)) starting with the 

752: $\theta(e_1,\ldots,e_N)$ as $x \to -\infty$, proceeding

753: clockwise, and finally back to $\theta(e_1,\ldots,e_N)$ after a complete

754: revolution. There are altogether $M$ such single phase 

755: transitions: $N$ transitions as $y \to \infty$ corresponding to the pivot 

756: indices $\{e_1,\ldots,e_N\}$, and $M-N$ transitions as $y \to -\infty$ corresponding 

757: to the non-pivot indices $\{g_1,\ldots,g_{M-N}\}$.

758: Without loss of generality, if we assume that the

759: transition $l \to m$ occurs before $l' \to m$, then there

760: must be an intermediate $m \to m'$ transition in between those two single phase 

761: transitions. Now if $\theta_m \in \theta(e_1,\ldots,e_N)$ then the transition

762: $m \to m'$ must occur before the $l \to m$ transition can take place.

763: Consequently, the intermediate $m \to m'$ transition can {\em not} occur as

764: each transition occurs only once during a complete revolution in the

765: $(x,y)$-plane. On the other hand, if $\theta_m \notin \theta(e_1,\ldots,e_N)$ 

766: then the $m \to m'$ transition must

767: occur after the $l' \to m$ transition, and again the intermediate $m \to m'$ 

768: transition can not take place. Either way, we reach a contradiction implying

769: that $\pi: [M] \to [M]$ is one-to-one, and therefore a bijection, thus proving our claim.

770: Note also that $\pi$ has no fixed point because $\pi(e_n) > e_n,\, n=1,\ldots,N$ 

771: and $\pi(g_n) < g_n, \, n=1,\ldots,M-N$. A permutation $\pi$ with no fixed

772: point is called a {\em derangement}, and an element $l \in [M]$ is called an

773: {\em excedance} of $\pi$ if $\pi(l) > l$. We can summarize the above discussions

774: as follows.

775: \begin{proposition}

776: \label{P:derangement}

777: The pairing map $\pi$ defined by Eq.~\eqref{e:pair} is a derangement of $[M]$

778: with $N$ excedances which are given by the pivot indices $\{e_1,\ldots,e_N\}$

779: of the coefficient matrix $A$ in RREF.

780: \end{proposition}

781: %

782: In Example \ref{E:2to1}, the pivot index $e_1=1$, and the non-pivot indices

783: $g_1=2,\, g_2=3$ for the coefficient matrix $A$, with $M=3$. The soliton pairings 

784: are:\, $[1,3]$ as $y \to \infty$,

785: and $[1,2],\, [2,3]$ as $y \to -\infty$. The corresponding pairing map from 

786: Eq.~\eqref{e:pair} is given by

787: \[

788: \pi= \begin{pmatrix}

789: 1 &2 &3 \\ 3 &1 &2

790: \end{pmatrix}

791: \]

792: in the bi-word notation of permutation, and $\pi$ has only one excedance:\, $\{1\}$.

793: In Example \ref{E:2to2}, $M=4$, the pivot and non-pivot indices are 

794: $\{e_1=1,\, e_2=2\}$ and $\{g_1=3,\, g_2=4\}$, respectively. The pairing map

795: \[

796: \pi= \begin{pmatrix}

797: 1 &2 &3 &4\\ 3 &4 &2&1

798: \end{pmatrix}

799: \]

800: corresponds to the line-solitons $[1,3],\,[2,4]$ as $y \to \infty$,

801: and $[2,3],\, [1,4]$ as $y \to -\infty$ with excedance set $\{1,2\}$.

802: The pairing map $\pi$ can also be represented by an open chord diagram 

803: associated with permutations (see \cite{corteel:07}).

804: For example, shown in Figure~\ref{f:chord10} is the diagram for $\pi=(46523817)$ 

805: (using one-line notation for permutations).

806: 

807: \begin{figure}[h!]

808: \centering

809: \includegraphics[scale=0.45]{figures/chord10} 

810: \caption{The open chord diagram for $\pi=(46523817)$.}

811: \label{f:chord10}

812: \end{figure}

813: \noindent

814: The four upper chords in Figure~\ref{f:chord10} originate from the 

815: 4 excedances $\{1,2,3,6\}$ with

816: the right arrows indicating the increasing order of the numbers. 

817: The upper chords correspond to the asymptotic line-solitons for

818: $y\to\infty$ with the pairings $[1,4], [2,6], [3,5], [6,8]$. Similarly, the 

819: lower chords with reversed arrows indicate the line-solitons for $y\to-\infty$

820: namely, $[1,7], [2,4], [3,5], [7,8]$.

821: Thus, this chord diagram represents a $(4,4)$-soliton solution

822: of KPII. Note here that the $[3,5]$-soliton appears both in

823: $y\to\pm\infty$ which corresponds to a 2-cycle $(35)$ in the permutation $\pi$.

824: 

825: Proposition \ref{P:derangement} furnishes a combinatorial characterization of

826: the $(N_-,N_+)$-soliton solutions of KPII as explained below.

827: \begin{definition}

828: Let $S_+ := \{[e_n,j_n]\}_{n=1}^N$ and $S_- := \{[i_n,g_n]\}_{n=1}^{M-N}$ denote

829: the index sets labeling the asymptotic line-solitons as $y \to \infty$ and

830: as $y \to -\infty$, respectively. Then two $(N_-,N_+)$-soliton solutions of KPII are 

831: defined to be in the same equivalence class if their asymptotic line-solitons are labeled

832: by the identical sets $S_\pm$ of index pairs, where $|S_+| := N_+=N$ and 

833: $|S_-| := N_- = M-N$. 

834: \label{D:equiv}

835: \end{definition}

836: Each equivalence class of $(N_-,N_+)$-soliton solutions of KPII is uniquely

837: determined by a derangement $\pi$ as defined in Proposition \ref{P:derangement}.

838: Therefore, each equivalence class of soliton solutions is also

839: associated with a unique open chord diagram with $N_-=N$ upper chords

840: and $N_+=M-N$ lower chords. Furthermore, in view of Remark 2.3,

841: each derangement of $[M]$ gives a unique parametrization of a TNN Grassmann cell

842: in $Gr^+ (N,M)$, denoted by $W(\pi)$, and whose dimension can be computed from the

843: number of crossings of the corresponding chord diagram~\cite{williams:05,postnikov:06}.

844: In particular, the dimension of the cell $W(\pi)$ associated with a TNN matrix satisfying

845: Condition~\ref{positive} is given by~\cite{CK}

846: \[

847: {\rm dim}\,W(\pi)=N+C_+(\pi)+C_-(\pi)\,,

848: \]

849: where the number of crossings $C_{\pm} (\pi)$ in the chord diagram are 

850: defined by~\cite{corteel:07}

851: \begin{equation}

852: C_{\pm}(\pi)=\sum_{i=1}^MC_{\pm}(i)\,, \quad{\rm where}\quad\left\{\begin{array}{llll}   

853: C_+(i):=\{j:j<i<\pi(j)<\pi(i)\}\,, \\

854: C_-(i):=\{j:j>i\ge \pi(j)>\pi(i)\}\,.

855: \end{array}\right.

856: \label{cross}

857: \end{equation} 

858: (Note that the above definitions of $C_{\pm}(i)$ are switched from

859: those given in Ref.~\cite{corteel:07}). 

860: For the example in Figure~\ref{f:chord10}, the chord diagram associated 

861: to $\pi=(46523817)$ has $C_+(\pi)=2, C_-(\pi)=2$, and the 

862: corresponding Grassmann cell in $Gr^+(4,8)$ has dimension $8=4+2+2$. The

863: top (maximal) dimensional cell in $Gr^+(4,8)$ of dimension $16=4\times 4$

864: corresponds to a chord diagram with the maximum number of crossings, i.e. 

865: $\pi_{top}=(56781234)=(15)(26)(37)(48)$ with 

866: $C_+(\pi_{top})=C_-(\pi_{top})=6$, and $\dim W(\pi_{top}) = 16=4+6+6$.

867: An equivalence class of $(N_-,N_+)$-soliton solutions of KPII with a given

868: pairing map $\pi$ can thus be associated with a unique TNN Grassmann cell $W(\pi)$,

869: and the number of free variables parametrizing the $(N_-,N_+)$-soliton solution

870: space is given by $\dim W(\pi)$. We next proceed to calculate the total number

871: of $(N_-,N_+)$-soliton equivalence classes for given values of $M$ and $N$, and 

872: enumerate these equivalence classes according to the dimensions of their 

873: solution spaces.

874: 

875: Let $\mathcal{S}_M$ denote the permutation group of $[M]$, and let 

876: $\mathcal{D}_M \subset \mathcal{S}_M$ be the set of all derangements

877: of $[M]$. Then the derangements can be enumerated according to the number of

878: excedances $e(\pi)$ of $\pi$ by the generating polynomial

879: \begin{equation*}

880: D_M(p) = \sum_{\pi \in \mathcal{D}_M} p^{e(\pi)} = \sum_{N=1}^{M-1}D_{N,M}p^N\,, \quad M \geq 1\,,

881: %\label{e:dMp}

882: \end{equation*}

883: where the coefficients $D_{N,M}$ denote the number of derangements of $[M]$ with $N$ excedances.

884: The total number of derangements of $\mathcal{S}_M$ is then given by $|\mathcal{D}_M|= D_M(1)$. The explicit 

885: formula for the derangement polynomial $D_M(p)$ is 

886: obtained from the exponential generating function~\cite{Roselle} with $D_0(p):=1$,

887: \begin{equation}

888: D(p,z) = \sum_{M=0}^{\infty} D_M(p)\frac{z^M}{M!} = \frac{1-p}{e^{zp}-pe^z}

889: \label{e:dpz}

890: \end{equation}

891: The first few polynomials are given by 

892: $D_1(p)=0,\,\, D_2(p)=p,\,\, D_3(p)=p+p^2,\,\, D_4(p) = p+7p^2+p^3$.

893: Moreover, the polynomials $D_M(p)$ are {\em symmetric}, that is, its 

894: coefficients satisfy 

895: \begin{equation}

896: D_{N,M} = D_{M-N,M}\,, \qquad N=1,2,\ldots,M-1\,.

897: \label{e:symm}

898: \end{equation}

899: This and various other properties of the derangement polynomial $D_M(p)$ can

900: be found in Ref.~\cite{Roselle}. Note that Eq. \eqref{e:symm} is equivalent 

901: to the relation 

902: $$ p^MD_M(p^{-1}) \,\, = \,\, D_M(p) \,,$$ 

903: which in turn follows from the symmetry 

904: $$ D(p^{-1},\, zp) \,\,  =  \,\, D(p,z) $$ 

905: of the exponential generating function, and can be verified directly from Eq.~\eqref{e:dpz}.

906: 

907: The above formulas give the number $D_{N,M}$ of equivalence classes for

908: the $(N_-,N_+)$-solitons

909: of KPII for a given $M=N_-+N_=$ and $N=N_+$. Thus, when $M=3$, there are only 2 classes of line-soliton

910: solutions namely, the $(2,1)$-soliton as in Example \ref{E:2to1}, and also $(1,2)$-solitons

911: which are related to the $(2,1)$-solitons by the inversion symmetry:\,

912: $(x,y,t) \to (-x,-y,-t)$. When $M=4$, there are one type each of the $(3,1)$- and

913: $(1,3)$-soliton solutions related via the inversion symmetry, but also 7 distinct

914: types of $(2,2)$-soliton solutions. It is also possible to obtain a further

915: refinement of the total number of soliton equivalence classes by introducing

916: a $q$-analog of the derangement number $D_{N,M}$ namely,

917: $$ D_{N,M}(q) = \sum_{r=N} ^{N(M-N)}D_{r,N,M}\, q^r \,, $$

918: where $D_{r,N,M}$ is the number of derangements of $[M]$ with $N$ excedances, and

919: $r-N$ crossings as defined in Eq.~\eqref{cross}. Then, $D_{N,M}(q)$ is the

920: generating polynomial for the Grassmann cells in $Gr^+(N,M)$ corresponding

921: to the irreducible TNN matrices satisfying Condition~\ref{positive}, and

922: $D_{r,N,M}$ is the number of those TNN cells of dimension $r$. The upper limit $N(M-N)$ in the sum

923: gives the dimension of the top cell in $Gr^+(N,M)$.

924: Equivalently, $D_{r,N,M}$ then gives the number

925: of $(N_-,N_+)$-soliton equivalence classes with 

926: $N_+=N,\, N_-=M-N$, and with $r$ free parameters. Moreover, the total

927: number of $(N_-,N_+)$-soliton equivalence classes is given by 

928: $D_{N,M}(q=1) = D_{N,M}$. 

929: 

930: It is interesting to note that $D_{N,M}(q)$ is related to a $q$-analog of 

931: the Eulerian number ~\cite{williams:05}, 

932: $$ 

933: E_{k,n}(q)=q^{n-k^2-k}\sum_{i=0}^{k-1}(-1)^i\,[k-i]_q^n\,\,q^{ki}\,

934: \left(\binom{n}{i}q^{k-i}+\binom{n}{i-1}\right)\,,

935: $$

936: where $[k]_q := 1+q+q^2+\ldots+q^{k-1}$ is the $q$-analog of the number $k$.

937: The polynomial $E_{k,n}(q)$ was recently introduced in Ref.~\cite{williams:05} 

938: where a rank generating function for the cells in $Gr^+(N,M)$ was derived by building

939: on the work of Ref.~\cite{postnikov:06}. It follows from Refs.~\cite{williams:05,corteel:07} 

940: that the coefficient of $q^r$ in $E_{N,M}(q)$

941: is the number of permutations of $[M]$ with $N$ {\em weak} exedances, and whose

942: chord diagrams have $r-N$ crossings as defined in Eq.~\eqref{cross}. Note that

943: $l \in [M]$ is called a {\em weak} exedance of a permutation $\pi \in \mathcal{S}_M$

944: if $\pi(l) \geq l$. The following result gives the relation between the

945: polynomials $D_{N,M}(q)$ and $E_{N,M}(q)$.

946: \begin{proposition}

947: For fixed $N_+=N,\, N_-=M-N$, the generating polynomial for the $(N_-,N_+)$-soliton 

948: equivalence classes according to the dimension of their solution spaces is

949: given by

950: $$ D_{N,M}(q)=\sum_{j=0}^{N-1}(-1)^j\binom{M}{j}\,E_{N-j,M-j}(q)\,, $$

951: where $E_{k,n}(q)$ are the Eulerian polynomials defined above.

952: \label{P:dMNq}

953: \end{proposition}

954: \begin{proof}

955: Let $E(N,M)$ denote the set of all permutations of $[M]$ with $N$ weak exedances,

956: and let $D(N,M) \subset \mathcal{D}_M$ denote the derangements of $[M]$ with $N$ exedances.

957: Then the polynomials $E_{N,M}(q)$ and $D_{N,M}(q)$ are given in terms of the number 

958: of crossings $c(\pi)$ of the permutation $\pi$ as

959: $$ 

960: E_{N,M}(q) = q^N\hspace{-0.05 in}\sum_{\pi \in E(N,M)} \hspace{-0.1 in} q^{c(\pi)} \,, 

961: \quad \qquad

962: D_{N,M}(q) = q^N \hspace{-0.05 in}\sum_{\pi \in D(N,M)}\hspace{-0.1 in} q^{c(\pi)} \,.

963: $$

964: Note that for each $n \leq N-1$, an element of $E(N,M)$ can be obtained by adding 

965: $n$ fixed points to the corresponding element of the derangement set $D(N-n,M-n)$.

966: Then for $N'=N-n, \, M'=M-n$, 

967: $$ 

968: E_{N,M}(q) =  q^N \hspace{-0.05 in}\sum_{\genfrac{}{}{0pt}{1}{S \subset [M],}{|S|=n}} 

969: \sum_{\pi \in D(N',M')} \hspace{-0.1 in}q^{c(\pi)} \;\; = \;\; 

970: \sum_{n=0}^{N-1}\binom{M}{n}D_{N-n,M-n}(q) \,. $$

971: Inverting the above formula, yields the desired result.  

972: \end{proof}

973: Proposition~\ref{P:dMNq} provides an explicit formula for enumerating the 

974: $(N_+,N_-)$-soliton equivalence classes according to the dimensions of

975: the associated Grassmann cells in $Gr^+(N,M)$. For example, when $M=4$ and $N=2$, 

976: Proposition~\ref{P:dMNq} yields $D_{2,4}(q)= q^4+4q^3+2q^2$. This implies that there 

977: are one cell of dimension 4 (top cell), four cells of dimension 3, and

978: two cells of dimension 2. The $Gr^+(2,4)$ case will be discussed in the

979: next section. 

980: 

981: It turns out that the line-soliton solutions

982: of KPII possess several other combinatorial properties which play significant 

983: roles in their classification scheme. Some of these properties were 

984: addressed in Ref.~\cite{Kodama} (see also ~\cite{BCa}). In this article, we

985: will present these combinatorial structures underlying the line-soliton 

986: solutions from an algebraic perspective in Section~\ref{s:elastic}.

987: 

988: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

989: \section{$(2,2)$-soliton solutions}

990: \label{s:twosolitons}

991: In this section we study the line-soliton solutions of KPII which

992: admit a pair of asymptotic line-solitons as $|y| \to \infty$. But

993: in general, the pair of line-solitons as $y \to \infty$ differ from

994: those as $y \to -\infty$ in their amplitudes and directions. We call

995: these the $(2,2)$-soliton solutions, which include the 2-soliton 

996: solutions as well.

997: Based on our asymptotic results of Section~\ref{s:general},

998: these solutions are specified by prescribing the

999: distinct phase parameters $\{k_1,\dots,k_4\}$ and the $2\times 4$

1000: coefficient matrix~$A$. The $\tau$-function of any $(2,2)$-soliton 

1001: is given by 

1002: \begin{equation}

1003: \tau(x,y,t)= \sum_{1\le r<s\le4} 

1004:   (k_s-k_r)\,A(r,s)\, e^{\theta_r+\theta_s}\,.

1005: \label{e:tau2sol}

1006: \end{equation}

1007: where $A(r,s)$ denotes the $2\times2$ non-negative minors of

1008: the matrix ~$A$.

1009: \subsection{Classification of $(2,2)$-soliton solutions}

1010: For a given set of phase parameters $\{k_1,\dots,k_4\}$, all possible

1011: equivalence classes of $(2,2)$-soliton solutions can be completely 

1012: enumerated by the derangements of the index set $[4]$ with 2 excedances. 

1013: Recall from Section~\ref{s:general}.3 that

1014: there are altogether 7 distinct equivalence classes of $(2,2)$-soliton solutions

1015: given by the coefficient $D_{2,4}$ of $p^2$, in the derangement polynomial $D_4(p)$.

1016: The 7 equivalence classes can be further enumerated by the

1017: $q$-derangement number $D_{2,4}(q)=q^4+4q^3+2q^2$ according to the number of free 

1018: parameters spanning the solution space of each equivalence class. The coefficients

1019: 1,4,2 in $D_{2,4}(q)$ correspond to the number of $(2,2)$-soliton equivalence 

1020: classes spanned respectively, by 4,3 and 2 free parameters. This is illustrated in Figure~\ref{f:chord2}

1021: below by the open chord diagrams associated with the $(2,2)$-soliton solutions.

1022: 

1023: \begin{figure}[h]

1024: \centering

1025: \includegraphics[scale=0.5]{figures/chord2} 

1026: \caption{The open chord diagrams for the seven equivalence classes

1027: of $(2,2)$-soliton solutions.} 

1028: \label{f:chord2}

1029: \end{figure}

1030: \noindent

1031: The number sequence below each diagram in Figure~\ref{f:chord2}

1032: is the one-line notation for the

1033: corresponding permutation $\pi$ which also designates a certain TNN cell

1034: $W(\pi)$ in $Gr(2,4)$. The left diagram with 2 crossings corresponds to the top

1035: cell of dimension $4$; the middle four diagrams with 1 crossing in each correspond 

1036: to the dimension 3 cells; while the last two diagrams have no crossing,

1037: and correspond to the cells of dimension 2 in $Gr^+(2,4)$. We verify these

1038: combinatorial results below by directly analyzing the $(2,2)$-soliton coefficient

1039: matrix $A$ which also represents the TNN cells in $Gr^+(2,4)$.

1040: 

1041: The $(2,2)$-soliton solutions arise from one of the following two 

1042: irreducible coefficient matrices in RREF:

1043: \begin{equation}

1044: A_1= \begin{pmatrix}

1045:  1 &0 &\!-a &\!-b \\

1046:  0 &1 &c &d \\

1047: \end{pmatrix}, \quad \text{or} \quad

1048: A_2= \begin{pmatrix}

1049:  1 &a &0 &\!-b \\

1050:  0 &0 &1 &d \\

1051: \end{pmatrix}

1052: \label{e:A2sol}

1053: \end{equation}

1054: with arbitrary {\em non-negative} parameters $a,b,c,d$. We classify them

1055: according to the number of independent positive parameters in the coefficient

1056: matrix $A_1$ or in $A_2$. Note that the matrices in Eqs.~\eqref{e:A2sol}

1057: identify certain Schubert cells of $Gr(2,4)$. A further refinement of those

1058: Schubert cells is given by the TNN Grassmann cells classified below.

1059: 

1060: \noindent {\bf 4 positive parameters}:\, 

1061: There is one such case, which corresponds to the matrix $A_1$ in Eq.~\eqref{e:A2sol}

1062: with $A_1(34) = bc-ad >0$. Note that all six exponential terms are present 

1063: in the $\tau$-function in Eq.~\eqref{e:tau2sol}. From Proposition \ref{P:pairing}, 

1064: one finds that the pair of asymptotic line-solitons are the {\em same} as

1065: $|y| \to \infty$ with index pairs $([1,3], [2,4])$.  The associated pairing map given by

1066: the permutation is $\pi=(3412)=(13)(24)$. Thus, this case

1067: corresponds to an equivalence class of 2-soliton solutions where each asymptotic

1068: line-soliton as $y \to \infty$ has identical amplitude and direction to another

1069: asymptotic line-soliton as $y \to -\infty$. The 2-soliton solutions will be 

1070: discussed further in the next subsection.

1071: \begin{figure}[t!]

1072: \centering

1073: \raisebox{1.0in}{(a)}\includegraphics[scale=0.55]{figures/2413t-16}  \hskip 2cm

1074: \raisebox{1.0in}{(b)}\includegraphics[scale=0.55]{figures/2413t16} \\

1075: \raisebox{0.5cm} {} \\

1076: \raisebox{1.0in}{(c)}\includegraphics[scale=0.55]{figures/1423t-16}  \hskip 2cm

1077: \raisebox{1.0in}{(d)}\includegraphics[scale=0.55]{figures/1423t16}

1078: \caption{Two different $(2,2)$-soliton solutions of KPII with phase

1079: parameters~$(k_1,\dots,k_4)=(-1,-\frac12,\frac12,2)$. The first solution with $\pi=(3421)$

1080: at $t=-16$ and $t=16$ is shown respectively, in (a) \& (b); while (c) \& (d)

1081: represent the second solution with $\pi=(4312)$ at $t=-16$ and $t=16$. Note the space-time

1082: reversal symmetry relating the two solutions in (a), (d) and in (b), (c).}

1083: \label{f:2s2a}

1084: \end{figure}

1085: 

1086: \noindent {\bf 3 positive parameters}:\, There are two possibilities namely,

1087: $A_2$ with non-zero parameters $a,\,b,\, d$; and $A_1$ with 3 free parameters.

1088: Consider $A_1$ first. In this case neither

1089: $b$ nor $c$ can vanish in $A_1$, else $A_1(34) < 0$. Hence, a 3-parameter 

1090: family of the matrix $A_1$ with non-negative maximal minors

1091: arises in three possible ways namely, $a=0$, or $d=0$, or $A_1(34)=0$

1092: but neither of $a,b,c,d$ is zero. That is, 

1093: \begin{equation}

1094: (i)\,\, A_1= \begin{pmatrix}

1095:  1 &0 &0 &\!-b \\

1096:  0 &1 &c &d \\

1097: \end{pmatrix}, \quad 

1098: (ii)\,\, A_1= \begin{pmatrix}

1099:  1 &0 &\!-a &\!-b \\

1100:  0 &1 &c &0 \\

1101: \end{pmatrix}, \quad 

1102: (iii)\,\, A_1= \begin{pmatrix}

1103:  1 &0 &\!-a &\!-b \\

1104:  0 &1 &c &d \\

1105: \end{pmatrix} \, {\rm with}\,~ A_1(34)=0\,.

1106: \label{e:A1}

1107: \end{equation}

1108: Case $(i)$ in Eq.~\eqref{e:A1} gives rise to a $(2,2)$-soliton

1109: solution with asymptotic line-soliton pairs $([2,4],[1,3])$ as $y\to\infty$,

1110: and $([2,3],[1,4])$ as $y\to -\infty$. The associated pairing map is given by

1111: $\pi_1 =( 3421)$. The second matrix in Eq.~\eqref{e:A1} 

1112: corresponds to another $(2,2)$-soliton solution whose asymptotic line-soliton

1113: pairs are $([1,4], [2,3])$ as $y\to \infty$, and $([1,3],[2,4])$ as $y\to -\infty$.

1114: These two solutions are related via space-time reversal $(x,y,t) \to (-x,-y,-t)$

1115: as shown in Figure~\ref{f:2s2a}. Furthermore, the pairing map for the second solution 

1116: $\pi_2 = (4312)$ satisfies $\pi_2=\pi_1^{-1}$.

1117: The last case in Eq.~\eqref{e:A1} yields a $(2,2)$-soliton with asymptotic line 

1118: soliton pairs $([2,4],[1,2])$ as $y\to\infty$, and $([1,3],[3,4])$ as $y\to -\infty$,

1119: which determine the pairing map $\pi_3=(2413)$. Like the previous two cases,

1120: case $(iii)$ is also related via a space-time reversal to another 

1121: $(2,2)$-soliton solution which is associated with the coefficient matrix 

1122: $A_2$ with 3 positive parameters as in Eq.~\eqref{e:A2sol}. Thus, $A_2$

1123: corresponds to the asymptotic line-soliton pairs $([1,3],[3,4])$ 

1124: as $y\to\infty$ and $([2,4],[1,2])$ as $y\to -\infty$, with the pairing map 

1125: $\pi_4=(3142)=\pi_3^{-1}$.

1126: 

1127: \noindent {\bf 2 positive parameters}:\, It should be clear from Eq.~\eqref{e:A2sol}

1128: that if either $b=0$ or $c=0$ in $A_1$, it can not satisfy Condition \ref{positive}.

1129: So, $A_1$ will contain precisely 2 free parameters if and only if $a=d=0$. 

1130: Similarly, $A_2$ in  Eq.~\eqref{e:A2sol} will have 2 free parameters if 

1131: and only if $b=0$. Each of the nonzero parameters $b,c$ in $A_1$, and

1132: $a,d$ in $A_2$ can be rescaled to unity without loss of generality, 

1133: by utilizing the gauge freedom described in Property \ref{p:tau}(v) 

1134: in Section \ref{s:general}.

1135: The matrices resulting in this way from $A_1$ and $A_2$ are denoted by

1136: $A_{\mathrm{P}}$ and $A_{\mathrm{O}}$ respectively, and are presented

1137: below in Eq.~\eqref{e:Acanonical}. Each coefficient matrix produces an 

1138: equivalence class

1139: of $2$-soliton solutions with asymptotic soliton pairs $([1,4],[2,3])$ for 

1140: $A_{\mathrm{P}}$, and $([1,2],[3,4])$ for $A_{\mathrm{O}}$, as $|y|\to \infty$.

1141: 

1142: 

1143: \subsection{Equivalence classes of 2-soliton solutions}

1144: As noted in the previous subsection, there are three types of 2-soliton solutions.

1145: They will be referred to as O-, T- and P- types (following the

1146: terminology introduced in Ref.~\cite{Kodama}) below. These are

1147: identified by the canonical coefficient matrices

1148: \begin{gather}

1149: A_{\mathrm{O}}=

1150: \begin{pmatrix}1 &1 &0 &0\\ 0 &0 &1 &1\end{pmatrix},

1151: \qquad

1152: A_{\mathrm{T}}=

1153: \begin{pmatrix}1 &0 &-1 &-1\\ 0 &1 &x_1 &x_2\end{pmatrix},

1154: \qquad

1155: A_{\mathrm{P}}=

1156: \begin{pmatrix}1 &0 &0 &-1\\ 0 &1 &1 &0\end{pmatrix},

1157: \label{e:Acanonical}

1158: \end{gather}

1159: with $x_1>x_2>0$ in~$A_{\mathrm{T}}$.

1160: Up to rescaling of columns, the above matrices were also obtained 

1161: as special subcases of the classification presented in Section~\ref{s:twosolitons}.1.

1162: $A_{\mathrm{O}}$ describes O-type 2-solitons,

1163: with asymptotic line-solitons [1,2] and [3,4];

1164: $A_{\mathrm{T}}$ describes T-type resonant 2-solitons

1165: with asymptotic line-solitons [1,3] and [2,4];

1166: and $A_{\mathrm{P}}$ describes P-type 2-solitons

1167: with asymptotic line-solitons [1,4] and [2,3].

1168: A distinctive feature of the pairing map $\pi$ of a

1169: $2$-soliton solution is the fact that $\pi$ is an involution

1170: satisfying $\pi= \pi^{-1}$. As a result, $\pi$ can be expressed as

1171: a product of disjoint $2$-cycles (see e.g.,~\cite{Bona}). For the 

1172: permutation group ${\mathcal{S}}_4$, there are

1173: only 3 such involutions corresponding to the total number of disjoint partitions

1174: of $[4]$ into 2 pairs. In cycle notation, these involutions are given by

1175: $\pi_{\mathrm{O}} = (12)(34),\,\pi_{\mathrm{T}}=(13)(24)$ and $\pi_{\mathrm{P}}=(14)(23)$

1176: for the O-, T- and P-type $2$-soliton solutions, respectively. The $2$-cycles are also

1177: evident from the chord diagrams illustrated by Figure~\ref{f:chord2}

1178: of the previous section where the extreme left (3412) 

1179: diagram corresponds to the T-type $2$-soliton, while the extreme right diagrams (4321) 

1180: and (2143) respectively, represent the P- and O-type $2$-soliton equivalence classes.

1181: 

1182: Figure~\ref{f:2solitonphases} shows a representative solution

1183: for each of the three equivalence classes with the same phase 

1184: parameters $k_1,\dots,k_4$.

1185: %\begin{figure}[t!]

1186: %\centerline{\epsfxsize0.330\textwidth\epsfbox{figures/2sO.eps}\hss

1187: %\lower0.85ex\hbox{\epsfxsize0.330\textwidth\epsfbox{figures/2sR.eps}}\ \hss

1188: %\epsfxsize0.330\textwidth\epsfbox{figures/2sA.eps}\hss}

1189: \begin{figure}[t!]

1190: \centering

1191: \raisebox{0.83in}{(a)}\includegraphics[scale=0.55]{figures/2sO} \hskip 0.4cm

1192: \raisebox{0.83in}{(b)}\raisebox{-0.1in}{\includegraphics[scale=0.55]{figures/2sR}} \hskip 0.5cm

1193: \raisebox{0.83in}{(c)}\includegraphics[scale=0.55]{figures/2sA} 

1194: \caption{Three different two-soliton solutions of KPII with the same

1195: phase parameters~$(k_1,\dots,k_4)=(-2,-\frac12,0,1)$, 

1196: illustrating the three equivalence classes: 

1197: (a)~O-type 2-soliton solution, yielding $(c_1,c_2)=(-\frac52,1)$ and $(a_1,a_2)=(\frac32,1)$;

1198: (b)~T-type 2-soliton solution, yielding $(c_1,c_2)=(-2,\frac12)$ and $(a_1,a_2)=(2,\frac32)$;

1199: (c)~P-type 2-soliton solution, yielding $(c_1,c_2)=(-1,-\frac12)$ and

1200: $(a_1,a_2)=(3,\frac12)$.

1201: (Note that for this P-type solution $c_{[1,4]}<c_{[2,3]}$.)}

1202: \label{f:2solitonphases}

1203: \end{figure}

1204: %

1205: Note that the O- and P-type solitons interact via an X-junction (ignoring the phase shifts), while 

1206: the T-type solitons interact via four

1207: Y-junctions connecting the four asymptotic line-solitons to four

1208: intermediate segments. Each of these intermediate segments satisfy the

1209: nonlinear dispersion relation~\eqref{e:dispersionrelation}

1210: and at each Y-junction the resonance condition~\eqref{e:resonance}

1211: is satisfied. Thus each intermediate segment is also a line-soliton.

1212: For example, in Figure~\ref{f:2solitonphases}(b) the asymptotic line 

1213: soliton $[1,3]$ (as $y \to -\infty$) forms the intermediate line-solitons

1214: $[1,2]$ and $[2,3]$ at the bottom left Y-junction. The line-soliton $[2,3]$ 

1215: connects with the asymptotic line-soliton $[2,4]$ (as $y \to \infty$)

1216: and the line-soliton $[1,2]$ connects with the asymptotic line 

1217: soliton $[2,4]$ (as $y \to -\infty$). Similarly, the asymptotic line

1218: soliton $[1,3]$ (as $y \to \infty$) forms the intermediate line-solitons

1219: $[1,4]$ and $[3,4]$ at the top right Y-junction. The line-soliton $[3,4]$

1220: connects with the asymptotic line-soliton $[2,4]$ (as $y \to \infty$)

1221: and the line-soliton $[1,4]$ connects with the asymptotic line

1222: soliton $[2,4]$ (as $y \to -\infty$). 

1223: 

1224: An important distinction among the three types of 2-soliton solutions

1225: is that they cover different regions of the soliton parameter space.

1226: Suppose $(a_1,c_1)$ and $(a_2,c_2)$ are the soliton parameters of the

1227: asymptotic line-solitons of each type with the same set of distinct phase 

1228: parameters. Since the phase parameters are ordered:~$k_1<\dots<k_4$,

1229: the soliton parameters satisfy the following relations 

1230: which can be easily verified using Eqs.~\eqref{e:solitonparameters}.

1231: \begin{enumerate}

1232: \advance\itemsep-4pt

1233: \item

1234: For an O-type 2-soliton solution $c_2>c_1$ and $c_2-c_1>a_1+a_2$.

1235: \item 

1236: For a T-type 2-soliton solution $c_2>c_1$, and $|a_1-a_2|<c_2-c_1<a_1+a_2$.

1237: \item

1238: For a P-type 2-soliton solution $a_2>a_1$ and  $|c_2-c_1|<a_2-a_1$.

1239: \item

1240: $(c_2-c_1)_\mathrm{O}>(c_2-c_1)_\mathrm{T}>|c_2-c_1|_\mathrm{P}$\,, \quad

1241: $(a_1+a_2)_\mathrm{O}<(a_1+a_2)_\mathrm{T}=(a_1+a_2)_\mathrm{P}$\,, and \\

1242: $|a_2-a_1|_\mathrm{O}=|a_2-a_1|_\mathrm{T}<(a_2-a_1)_\mathrm{P}$\,.

1243: \end{enumerate}

1244: Note that for O- and T-type solutions the soliton directions are ordered

1245: while for P-type solutions the amplitudes are ordered. {\em Any} choice

1246: of the soliton parameters $\{a_i\,, c_i\,|a_i > 0\}_{i=1}^2$ would lead to one

1247: of the three types of 2-soliton solutions provided that 

1248: $\{c_1 \pm a_1,\, c_2 \pm a_2\}$ are distinct real numbers.

1249: Thus, the three types of 2-soliton solutions divide the soliton parameter

1250: space into disjoint sectors bounded by the hyperplanes

1251: $|c_2-c_1|= a_1 + a_2$ and $|c_2-c_1|= |a_1 - a_2|$.

1252: At each boundary between two disjoint regions of the soliton

1253: parameter space two of the phase parameters coincide.

1254: In such situation, it can be shown (by taking suitable limits)

1255: that the 2-soliton solution degenerates into a 

1256: Y-junction~\cite{jphysa36p10519,Kodama}.

1257: 

1258: Yet another difference is in the phase shifts experienced by the asymptotic

1259: line-solitons of each type. The position of an asymptotic line-soliton $[i,j]$

1260: is determined by the dominant phase combinations across the

1261: soliton and from the asymptotic formulas Eqs.~\eqref{e:tauasymp}

1262: and \eqref{e:uasymp}. The pairs of dominant phase combinations across 

1263: the soliton $[i,j]$ as $y\to \infty$ and as $y\to -\infty$ are {\em distinct} 

1264: from each other (see e.g., Figure~\ref{f:2solitonphases}). This

1265: fact gives rise to the phase (position) shift $\Delta_{ij}=\delta^+_{ij}-\delta^-_{ij}$

1266: for the asymptotic line-soliton $[i,j]$. Since the asymptotic positions 

1267: $\delta_{ij}^{\pm}$ have the {\em same} linear dependence on time $t$, the 

1268: phase shift $\Delta_{ij}$ is independent of $t$.

1269: The dominant phase combinations across

1270: an asymptotic line-soliton in each of the three types of 2-soliton solutions

1271: can be determined from the asymptotic analysis of section \ref{s:general} and

1272: are shown in Figure~\ref{f:2solitonphases}. Then the soliton phase shifts  

1273: computed using the parameters $(a_1,c_1),\,(a_2,c_2)$ and the canonical coefficient 

1274: matrices in Eq.~\eqref{e:Acanonical} are given by

1275: %\begin{gather}

1276: \begin{equation}

1277: \Delta_\mathrm{O}= 

1278: \log\frac{(c_1-c_2)^2-(a_1-a_2)^2}{(c_1-c_2)^2-(a_1+a_2)^2}

1279: = \Delta_\mathrm{P}\,, \qquad

1280: \Delta_\mathrm{T}= \log\frac {(c_1-c_2)^2-(a_1-a_2)^2}{(c_1-c_2)^2-(a_1+a_2)^2}

1281:  + \log\left(\frac{x_1}{x_2}-1\right)\,,

1282: \label{e:phaseshift}

1283: \end{equation}

1284: %\end{gather}

1285: The phase shifts experienced by the pair of asymptotic line-solitons are 

1286: of opposite signs in each of the three cases. In above, we assume

1287: that $c_1 \neq c_2$ (i.e., the solitons are not parallel), then

1288: $\Delta$ denotes the phase shift of the soliton with direction parameter 

1289: $c_2$ where $c_2>c_1$. For non-resonant (O- and P-type) 2-soliton solutions,

1290: the phase shift has only one and the same term which depends symmetrically on 

1291: the soliton parameters. However it is easy to verify from the various

1292: inequalities mentioned above, among the soliton parameters 

1293: that $\Delta_{\mathrm{O}}$ is always {\em positive} while $\Delta_{\mathrm{P}}$ 

1294: is always {\em negative}.

1295: For resonant 2-soliton solutions there is an additional term 

1296: that depends on the free parameters $x_1, \, x_2$ of the coefficient matrix $A_{\mathrm{T}}$

1297: in Eq.~\eqref{e:Acanonical}. In this case, the phase shift $\Delta_{\mathrm{T}}$ is not

1298: sign-definite unlike the other two cases.

1299: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1300: \section{Duality and $N$-soliton solutions}

1301: \label{s:elastic}

1302: In the previous section, we described two types of equivalence classes 

1303: of line-soliton solutions of KPII: (i)\, the $(2,2)$-solitons 

1304: where the sets $S_{\pm}$ (cf. Definition~\ref{D:equiv})

1305: of asymptotic line-solitons

1306: as $y \to \pm \infty$ are distinct, and (ii)\, the $2$-soliton solutions

1307: with $S_-=S_+$. Furthermore, we noted that there are pairs of distinct equivalence

1308: classes of $(2,2)$-soliton solutions related via space-time reversal

1309: (cf. Figure~\ref{f:2s2a}). The general $(N_-,N_+)$-soliton 

1310: solutions can be also categorized in a similar fashion

1311: according to whether the sets of asymptotic line-solitons $S_+$ and 

1312: $S_-$ are distinct, or if $S_-=S_+$. In the first case, pairs of equivalence

1313: classes of solutions are related by space-time reversal, while the latter corresponds 

1314: to the special case of $N$-soliton solutions to be discussed in

1315: this section.

1316: \subsection{Duality of line-solitons}

1317: The KPII equation~\eqref{e:KP} is invariant under the inversion

1318: $(x,y,t) \to (-x,-y,-t)$. Consequently, if $u(x,y,t)$ is a 

1319: $(N_-,N_+)$-soliton solution of KPII with given sets $S_\pm$ of

1320: asymptotic line-solitons and with $N_-=M-N$ and $N_+=N$, 

1321: then $u(-x,-y,-t)$ is a $(N,M-N)$-soliton solution with {\em reversed}

1322: sets $S_{\mp}$ of asymptotic line-solitons. We refer to the solutions 

1323: $u(x,y,t)$ and $u(-x,-y,-t)$, 

1324: as well as their respective equivalence classes as {\em dual} to each other.

1325: Let $\tau_{NM}(x,y,t)$ denote the $\tau$-function in Eq.~\eqref{e:tauexp},

1326: generating the solution $u(x,y,t)$ via Eq.~\eqref{e:u}, then 

1327: the solution $u(-x,-y,-t)$ will be generated by $\tau_{NM}(-x,-y,-t)$ 

1328: as Eq.~\eqref{e:u} remains invariant under $(x,y,t) \to (-x,-y,-t)$. 

1329: Note however that $\tau_{N,M}(-x,-y,-t)$ 

1330: does not have the form given by Eq.~\eqref{e:tauexp}, but it is indeed possible to construct 

1331: a certain $\tau$-function $\tau_{M-N,M}(x,y,t)$ from $\tau_{N,M}(-x,-y,-t)$ that is

1332: dual to $\tau_{N,M}(x,y,t)$. We describe below how

1333: to construct the function $\tau_{M-N,M}$ from $\tau_{N,M}$.

1334: 

1335: First we obtain a coefficient matrix for the $\tau$-function $\tau_{M-N,M}$

1336: from the $N \times M$ matrix $A$ associated with $\tau_{N,M}(x,y,t)$.

1337: Since $A$ is of full rank, its rows form a basis for

1338: a $N$-dimensional subspace $W$ of $\Real^{M}$. Let $W^{\perp}$ be the

1339: orthogonal complement of $W$ with respect to the standard inner product

1340: on $\Real^{M}$, and let  $A'$ be a $(M-N)\times M$ matrix whose rows form 

1341: a basis for $W^{\perp}$. Clearly, $A'$ is not unique, but a particular

1342: choice for $A'$ is as follows: Suppose the pivot and non-pivot columns 

1343: of $A$ in RREF are represented by the identity

1344: matrix $I_N$ and the $N\times(M-N)$~matrix $G$ respectively, then  

1345: \begin{equation}

1346: A=[I_N,G]\,P \qquad \Rightarrow \qquad A'=[-G^T, I_{M-N}]\,P\,,

1347: \label{e:A'}

1348: \end{equation}

1349: where $G^T$ is the matrix transpose of $G$, and $P$ is a $M \times M$ 

1350: permutation matrix satisfying $P^T = P^{-1}$. It can be directly verified

1351: from Eq.~\eqref{e:A'} that $AA'^T = 0$, which constitute the orthogonality

1352: relations among the row vectors of $A$ and $A'$. 

1353: Moreover, it was shown in Ref.~\cite{BC} that

1354: the $N \times N$ minors of $A$ and the $(M-N) \times (M-N)$ minors of the matrix

1355: \begin{equation*}

1356: B' := A'E \,, \qquad E:= \diag(-1,1,-1,\ldots,\pm 1)

1357: %\label{e:b'}

1358: \end{equation*}

1359: are related as  

1360: \begin{equation*}

1361: A(m_1,\dots,m_N)

1362:    = (-1)^\sigma\,\det(P)\,\,B'(l_1,\dots,l_{M-N})\,,

1363: %\label{e:bminors1} 

1364: \end{equation*} 

1365: where $\sigma= M(M+1)/2+N(N+1)/2$, and where 

1366: $\{m_1,m_2,\ldots,m_N\}$ is the complement of $\{l_1,l_2,\ldots,l_{M-N}\}$ in $[M]$.

1367: The factor $(-1)^\sigma\,\det(P)=\pm 1$ which depends only on $A$, can be

1368: rescaled by an orthogonal transformation $B' \to OB'\,, \quad \det(O)=\pm 1$, so

1369: that the maximal minors of the rescaled matrix   

1370: \begin{subequations}

1371: \begin{equation}

1372:  B := OB' = O[-G^T, I_{M-N}]\,PE \,, 

1373: \label{e:b}

1374: \end{equation}

1375: satisfies the precise complementarity conditions 

1376: \begin{equation}

1377: A(m_1,\dots,m_N) = B(l_1,\dots,l_{M-N})\,.

1378: \label{e:bminors2}

1379: \end{equation}

1380: \end{subequations}

1381: Hence, if all maximal minors of $A$ are non-negative, then the same 

1382: holds for $B$. 

1383: 

1384: The $(M-N) \times M$ matrix $B$ plays the role of a coefficient 

1385: matrix for the $\tau$-function $\tau_{M-N,M}(x,y,t)$ which is 

1386: related to the function $\tau_{N,M}(-x,-y,-t)$.

1387: Indeed, if we initially set $\theta_{m,0}=0, \,\, \forall\, m=1,\ldots,M$                         

1388: in Eq.~\eqref{e:tauexp} using Property \ref{p:tau}(v),

1389: then under the transformation $(x,y,t) \to (-x,-y,-t)$, Eq.~\eqref{e:tauexp} yields,  

1390: \begin{equation*}

1391: \tau_{N,M}(-x,-y,-t)= \exp[-\theta(1,\dots,M)]\, \tau'(x,y,t)\,.

1392: %\label{e:tau'}

1393: \end{equation*}

1394: Using Eq.~\eqref{e:bminors2} and taking the sum over the complementary

1395: indices $l_1,\ldots,l_{M-N}$ (instead of $m_1,\ldots,m_N$), the function 

1396: $\tau'(x,y,t)$ can be expressed as

1397: \begin{equation}

1398: \tau'(x,y,t)=  \hspace{-0.3 in}

1399:   \sum\limits_{1\le l_1<\dots<l_{M-N}\le M}\hspace{-0.3 in}

1400:     V(m_1,\dots,m_N)\,\,

1401:     B(l_1,\dots,l_{M-N})\,\,

1402:     \exp[\theta(l_1,\dots,l_{M-N})]\,,

1403: \label{e:tauprime}

1404: \end{equation}

1405: where 

1406: \begin{equation*}

1407: V(m_1,\dots,m_N) = \prod_{1\le s < r\le N}(k_{m_{r}}-k_{m_{s}})\,

1408: \end{equation*}

1409: are the Van~der~Monde coefficients as in Eq.~\eqref{e:tauexp}. 

1410: Next, if we introduce new phase constants by

1411: \[ \theta_{m,0} = \sum_{r \neq m}\ln|k_T-k_m|\,, \qquad m=1,\ldots,M \]

1412: which satisfy the identity

1413: \[\exp[\theta_{l_1,0}+\ldots+\theta_{l_{M-N},0}] = 

1414: \frac{V(l_1,\dots,l_{M-N})V(1,2,\ldots,M)}{V(m_1,\dots,m_N)}\,,\]

1415: and make the replacement:\, $\theta_m \to \theta_m+\theta_{m,0}$ in 

1416: Eq.~\eqref{e:tauprime}, we finally obtain the dual $\tau$-function

1417: \begin{equation}

1418: \tau_{M-N,M}(x,y,t):= \frac{\tau'(x,y,t)}{V(1,\ldots,M)} = \hspace{-0.1 in} 

1419:   \sum\limits_{1\le l_1<\dots<l_{M-N}\le M}\hspace{-0.3 in}

1420:     V(l_1,\dots,l_{M-N})\,\,

1421:     B(l_1,\dots,l_{M-N})\,\,

1422:     \exp[\theta(l_1,\dots,l_{M-N})]\,.                          

1423: \label{e:taudual}

1424: \end{equation}

1425: It is clear from Eqs.~\eqref{e:u} and ~\eqref{e:taudual} 

1426: that the functions $\tau_{N,M}(-x,-y,-t),\, \tau'(x,y,t)$, 

1427: and $\tau_{M-N,M}(x,y,t)$ give rise to the same solution $u(-x,-y,-t)$ of KPII.

1428: Thus we have the following.

1429: \begin{proposition}

1430: (i)\,\, The equivalence classes of solutions generated by the $N\times M$

1431: coefficient matrix $A$ and the $(M-N) \times M$ matrix $B$ defined by 

1432: Eq.~\eqref{e:b}, are dual to each other. If a $(M-N,N)$-soliton solution

1433: $u(x,y,t)$ of KPII belongs to a certain equivalence class, then its dual equivalence class

1434: contains the $(N,M-N)$-soliton solution $u(-x,-y,-t)$. \\

1435: (ii)\,\, Let $\{m_1,\dots,m_N\}$ and $\{l_1,\dots,l_{M-N}\}$ be a disjoint partition

1436: of the integer set $[M]$, then $\theta(m_1,\ldots,m_N)$ is a phase combination

1437: present in the $\tau$-function $\tau_{N,M}$ if and only if $\theta(l_1,\dots,l_{M-N})$ is 

1438: a phase combination in the dual $\tau$-function $\tau_{M-N,M}$. \\

1439: (iii)\,\, If $\pi \in \mathcal{S}_M$ is the pairing map for a given equivalence class, then the

1440: pairing map for the dual equivalence class is given by $\pi^{-1}$.

1441: \label{P:duality}

1442: \end{proposition}

1443: %

1444: Proposition \ref{P:duality} establishes a one-to-one correspondence between an 

1445: equivalence class and its dual. Indeed from Eq.~\eqref{e:symm} in 

1446: Section~\ref{s:general}.3, we have the following result for the dual equivalent

1447: classes.

1448: \begin{proposition}

1449: For given positive integers $M, N$, with $N<M$, the number of of distinct 

1450: equivalence classes of the $(M-N,N)$-soliton

1451: solutions are exactly the same as the number of dual equivalence classes

1452: of $(N,M-N)$-soliton solutions.

1453: \label{P:symmetry}

1454: \end{proposition}

1455: %

1456: \begin{remark}

1457: The open chord diagrams of the pairing maps $\pi$ and $\pi^{-1}$ which

1458: correspond to a line-soliton equivalence class and its dual are related to each

1459: other via a reflection about the horizontal line together with reversing the 

1460: direction of the chords. This is due to the fact that the exedance set of 

1461: $\pi^{-1}$ is given by $\{\pi(g_n)\}_{n=1}^{M-N}$, while the anti-exedance set

1462: is given by  $\{\pi(e_n)\}_{n=1}^{N}$. This transformation on the chord diagrams

1463: can be regarded as the combinatorial analogue of the inversion symmetry 

1464: $(x,y,t) \to (-x,-y,-t)$. acting on the solutions $u(x,y,t)$ of the KPII line

1465: solitons.

1466: \end{remark}

1467: When $M=2N$, it follows from Proposition \ref{P:pairing} that $N_-=N_+ = N$,

1468: which leads to the $(N,N)$-soliton solutions. In this

1469: case the number of asymptotic line-solitons as $y \to \infty$ and

1470: as $y \to -\infty$  are the same, but in general,

1471: the amplitudes and directions of the line-solitons 

1472: will be different as seen for the $(2,2)$-soliton examples in Figure~\ref{f:2s2a} of

1473: Section~\ref{s:twosolitons}. A particularly interesting subclass of the

1474: $(N,N)$-solitons are the $N$-soliton solutions which were introduced in

1475: Section~\ref{s:introduction}, and which

1476: are characterized by identical sets of asymptotic

1477: line-solitons as $|y| \to \infty$, i.e., $S_- = S_+$. We discuss them next.

1478: 

1479: \subsection{The $N$-soliton solutions}

1480: This special family of line-soliton solutions of KPII consists

1481: of equivalence classes that are invariant

1482: under the inversion symmetry $(x,y,t) \to (-x,-y,-t)$. That is, each

1483: equivalence class is its own dual so that both

1484: $u(x,y,t)$ and $u(-x,-y,-t)$ belong to the same equivalence class of solutions.

1485: This implies that for each $N$-soliton solution $u(x,y,t)$, the asymptotic line 

1486: solitons arise in pairs, where each pair consists of a line 

1487: soliton as $y \to \infty$ and another soliton as $y \to -\infty$, moreover,

1488: both line-solitons have identical amplitude and direction.

1489: Thus, a $(N_-,N_+)$-soliton solution of KPII is a $N$-soliton solution 

1490: if and only if it is {\em self-dual}, i.e., if and only if the index sets labeling 

1491: the asymptotic line-solitons satisfy $S_- = S_+$.

1492: The main features of the $N$-soliton solutions follow from 

1493: from Propositions~\ref{P:pairing}, \ref{P:derangement}, \ref{P:duality} and 

1494: Definition~\ref{D:equiv}. These are listed below.

1495: \begin{property}

1496: \begin{enumerate}

1497: \item

1498: The $\tau$-function of an $N$-soliton solution, denoted by $\tau_N:=\tau_{N,2N}$, is expressed

1499: in terms of $2N$ distinct phase parameters and an $N \times 2N$   

1500: coefficient matrix $A$ which satisfies Condition~\ref{positive}. Then it

1501: follows from Eq.~\eqref{e:bminors2} that the 

1502: $N \times N$ minors of $A$ satisfy the duality conditions:

1503: \begin{equation}

1504: A(m_1,\ldots,m_N) = 0 \qquad \Longleftrightarrow \qquad A(l_1,\ldots,l_N) = 0\,,

1505: \label{e:dualminor}

1506: \end{equation}

1507: where the indices $\{m_1,\ldots,m_N\}$ and $\{l_1,\ldots,l_N\}$ form a disjoint 

1508: partition of integers $\{1,2,\ldots, 2N\}$. That is, the phase combination

1509: $\theta(m_1,\ldots,m_N)$ is present in $\tau_{N}$ if and only if 

1510: $\theta(l_1,\ldots,l_N)$ is.

1511: \item

1512: Each $N$-soliton solution exactly $N$ 

1513: asymptotic line-solitons as $y \to \pm \infty$ identified by the

1514: same index pairs $[e_n,g_n]$ with $e_n < g_n, \, n=1,\ldots, N$.

1515: The sets $\{e_1, \ldots, e_N\}$ and $\{g_1, \ldots, g_N\}$ label

1516: respectively, the pivot and non-pivot columns of the coefficient matrix

1517: $A$. Hence, they form a disjoint partition of the integer set $[2N]$.

1518: \item

1519: The amplitude and direction of the $n^{\mathrm {th}}$ asymptotic line

1520: soliton $[e_n,g_n]$ are the same as $y \to \pm \infty$, and

1521: are given in terms of the phase parameters as $a_n = k_{g_n} - k_{e_n}$

1522: and $c_n = k_{g_n} + k_{e_n}$.

1523: \item

1524: The pairing maps associated with $N$-soliton solutions are involutions

1525: of $\mathcal{S}_{2N}$ with no fixed points, defined by the set

1526: $\mathcal{I}_{2N} = \{\pi \in \mathcal{S}_{2N}|\pi^{-1}=\pi,\, \pi(i) \neq i,\, \forall\, i \in [2N]\}$. 

1527: Such permutations can be expressed as products of $N$ disjoint $2$-cycles,

1528: and theirs chord diagrams are self-dual, i.e. symmetric about the horizontal

1529: axis (see e.g., the 2-soliton chord diagrams in Section \ref{s:twosolitons}. The total 

1530: number of such involutions

1531: is given by $|I_{2N}| = (2N-1)!!= 1\cdot3\ldots\cdot(2N-1)$~\cite{Bona}.

1532: Hence, there are $(2N-1)!!$ distinct equivalence classes of $N$-soliton solutions. 

1533: \end{enumerate}

1534: \label{p:Nsoliton}

1535: \end{property}

1536: Examples of the $N$-soliton solutions with special choices

1537: of the functions $\{f_n\}_{n=1}^N$ in Eq.~\eqref{e:f} and the coefficient matrix

1538: $A$ are given below.

1539: \begin{example}

1540: {\bf O-type $N$-soliton solutions.}

1541: These are the well-known \cite{PLA95p1,MatveevSalle} multi-soliton solutions

1542: of KPII constructed by choosing $\{f_n\}_{n=1}^N$ according to

1543: \begin{equation*}

1544: f_n(x,y,t)= e^{\theta_{2n-1}}+e^{\theta_{2n}}\,, \quad n=1,\dots,N\,.

1545: \label{e:ordinaryNsoliton}

1546: \end{equation*}

1547: The corresponding coefficient matrix is given by

1548: \begin{equation*}

1549: A_{\mathrm{O}} =

1550:   \begin{pmatrix}

1551:      1 & 1 & 0 & 0 & \cdots & 0 & 0 \\

1552:      0 & 0 & 1 & 1 & \cdots & 0 & 0 \\

1553:      \vdots & \vdots & \vdots &\vdots & \vdots & \vdots & \vdots\\

1554:      0 & 0 & 0 & 0 & \cdots & 1 & 1 \\

1555:   \end{pmatrix}\,,

1556: \label{e:Aordinary}

1557: \end{equation*}

1558: with $N$ pairs of identical columns at positions $\{2n-1,2n\},\, n=1,\dots,N$.

1559: Thus, there are $2^N$ nonzero maximal minors of $A_{\mathrm{O}}$,

1560: given by $A_{\mathrm{O}}(m_1,\ldots, m_N) = 1$, where $m_n = 2n-1$ or $m_n=2n$

1561: for $n=1,\ldots,N$. The $N$ asymptotic line-solitons are identified

1562: by the index pairs $\{[2n-1,2n]\}_{n=1}^N$, and the corresponding permutation is

1563: $\pi=(2,1,4,3,\ldots,2N,2N-1)$ (or $\pi=(12)(34)\cdots(2N,2N-1)$ in the cycle notation).

1564: The amplitude and direction of the

1565: $n$-th soliton are $a_n= k_{2n}-k_{2n-1}$ and $c_n= k_{2n-1}+k_{2n}$, respectively.

1566: Note that the soliton directions are ordered as $c_1 < c_2 < \ldots < c_N$

1567: due to the ordering of the phase parameters $k_n$.

1568: In fact, the soliton parameters satisfy the inequalities:\,

1569: $ c_{n+1} - c_n > a_n + a_{n+1},\quad n=1,2,\ldots,N-1$.

1570: Therefore the asymptotic line-solitons for the O-type solutions can not take

1571: arbitrary values of amplitude and direction, and thus do not cover the entire

1572: soliton parameter space as was already noted for the $2$-soliton case in

1573: Section~\ref{s:twosolitons}.2.

1574: Apart from the position shift of each soliton,

1575: the interaction gives rise to a pattern of $N$ intersecting

1576: lines in the $(x,y)$-plane, as shown in Figure~\ref{f:3s}(a).

1577: %

1578: %\begin{figure}[t!]

1579: %\centerline{\epsfxsize0.330\textwidth\epsfbox{figures/3s_ord.eps}\hss

1580: %\lower0.85ex\hbox{\epsfxsize0.330\textwidth\epsfbox{figures/3s_res.eps}}\ \hss

1581: %\epsfxsize0.330\textwidth\epsfbox{figures/3s_asymm.eps}\hss}

1582: \begin{figure}[t!]

1583: \raisebox{0.85in}{(a)}\includegraphics[scale=0.55]{figures/3s_ord} \hskip 0.4cm

1584: \raisebox{0.85in}{(b)}\includegraphics[scale=0.55]{figures/3s_res} \hskip 0.5cm

1585: \raisebox{0.85in}{(c)}\includegraphics[scale=0.55]{figures/3s_asymm} 

1586: \caption{Three different $3$-soliton solutions of KPII with the same

1587: phase parameters~$(k_1,\dots,k_6)=(-3,-2,0,1,-\frac32,2)$,

1588: illustrating the three equivalence classes:

1589: (a)~O-type, (b)~T-type, and (c)~P-type 3-soliton solutions.}

1590: \label{f:3s}

1591: \end{figure}

1592: %

1593: 

1594: \medskip

1595: 

1596: \noindent {\bf T-type $N$-soliton solutions.}

1597: These solutions are obtained by choosing the functions 

1598: in Eq.~\eqref{e:f} as

1599: \begin{equation*}

1600: \label{e:resonantNsoliton}

1601: f_n = f^{(n-1)}\,, \quad n=1,\ldots,N \qquad \mbox{with} \quad

1602: f(x,y,t)=\sum_{m=1}^{2N} e^{\theta_m}\,,

1603: \end{equation*}

1604: which yields the coefficient matrix

1605: \begin{equation*}

1606: A_{\mathrm{T}} =

1607:   \begin{pmatrix}

1608:      1 & 1 & \cdots & 1  \\

1609:      k_1 & k_2 & \cdots & k_{2N} \\

1610:      \vdots & \vdots & \ddots & \vdots \\

1611:      k_1^{N-1} & k_2^{N-1} & \cdots & k_{2N}^{N-1}

1612:   \end{pmatrix}\,

1613: %\label{e:AToda}

1614: \end{equation*}

1615: In this case all of the $N \times N$

1616: minors of the coefficient matrix~$A$ are positive, each

1617: being equal to a Van~der~Monde determinant.

1618: These solutions were investigated in Ref.~\cite{jphysa36p10519} where

1619: it was shown that they also satisfy the finite Toda lattice hierarchy.

1620: The $n^{\mathrm th}$ line-soliton is labeled by the index pair~$[n,n+N]$;

1621: that is, its amplitude and direction are determined by the phase parameters 

1622: $(k_n, k_{n+N})$. The corresponding permutation is $\pi=(N+1,N+2,\ldots,2N,1,2,\dots,N)$

1623: (or $\pi=(1,N+1)(2,N+2)\cdots(N,2N)$)

1624: whose open chord diagram has the maximum number of crossings $N(N-1)/2$.

1625: This implies that the T-type $N$-soliton solution belongs to the top cell of $Gr^+(N,2N)$.

1626: Like the O-type $N$-soliton solutions,

1627: these T-type $N$-soliton solutions do not cover the whole soliton parameter space.

1628: In this case the soliton parameters satisfy the constraints:\,

1629: $|a_{n+1}-a_n| < c_{n+1}-c_n < a_{n+1}+a_n, \quad n=1,2, \ldots, N-1$.

1630: It was also shown in Ref.~\cite{jphysa36p10519}

1631: that these soliton solutions display phenomena of soliton resonance

1632: and web structure as shown in Figure~\ref{f:3s}(b).

1633: Moreover, the intermediate interaction segments are also

1634: line-solitons because they satisfy the dispersion relation~\eqref{e:dispersionrelation}.

1635: All of the asymptotic and intermediate line-solitons interact

1636: via three-wave resonances. That is, at each interaction vertex or Y-junction 

1637: (cf. Figure~\ref{f:kpfig}(c), the three interacting line-solitons satisfy  

1638: Miles' resonance condition given by Eq.~\eqref{e:resonance}.

1639: 

1640: \medskip

1641: 

1642: \noindent {\bf P-type $N$-soliton solutions.}

1643: Yet another type of $N$-soliton solutions is obtained by prescribing

1644: \begin{equation*}

1645: f_n(x,y,t)= e^{\theta_n} + (-1)^{N-n}e^{\theta_{2N-n+1}}\,,

1646: \quad n=1,2, \ldots N \,,

1647: \label{e:nonresonantNsoliton}

1648: \end{equation*}

1649: in Eq.~\eqref{e:f}. The coefficient matrix is given by

1650: \begin{equation*}

1651: A_{\mathrm{P}} =

1652:   \begin{pmatrix}

1653:      1 & 0 & \cdots & \cdots & 0 & 0 & \cdots & \cdots & 0 & * \\

1654:      0 & 1 & 0 & \cdots & 0 & 0 & \cdots & 0 & * & 0 \\

1655:  \vdots & \ddots & \ddots & \ddots & \vdots & \vdots & \ddots & \iddots &

1656:  \iddots & \vdots \\

1657:      0 & \cdots & 0 & 1 & 0 & 0 & -1 & 0 & \cdots & 0 \\

1658:      0 & \cdots & 0 & 0 & 1 & 1 & 0 & 0 &\cdots & 0

1659:   \end{pmatrix}\,,

1660: \label{e:Aasymmetric}

1661: \end{equation*}

1662: where the asterisk in the

1663: $(2N-n+1)^{\mathrm{th}}$ column is equal to $(-1)^{N-n}$.

1664: Like $A_{\mathrm{O}}$, the matrix $A_{\mathrm{P}}$ also has $N$ pairs of parallel

1665: columns labeled by $\{(n, \, 2N-n+1),\, n=1,\ldots,N\}$ and

1666: $2^N$ non-vanishing minors, and each nonzero minor is~1.

1667: The $n^\mathrm{th}$ soliton is identified by the index pair $[n,2N-n+1]$, and

1668: the corresponding permutation is $\pi=(2N,2N-1,\ldots,2,1)$ 

1669: (or $\pi=(1,2N)(2,2N-1)\cdots(N,N+1)$).

1670: The soliton direction and amplitude are given by

1671: $c_n = k_n + k_{2N-n+1}$ and $a_n = k_{2N-n+1}-k_n$, respectively.

1672: Note that the soliton directions are not ordered

1673: as in the previous two cases.

1674: In fact, taking $c_1 = c_2 = \ldots = c_N = 0$ yields the reduction to

1675: solutions of the KdV equation \cite{Kodama}.

1676: But the soliton amplitudes

1677: in this case are ordered as $a_1 > a_2 > \ldots > a_N$.

1678: Moreover, the soliton parameters satisfy the constraints:\,

1679: $ |c_{n+1}-c_n| < a_n -a_{n+1},\quad n=1,2, \ldots, N-1$.

1680: These solutions interact non-resonantly, like the O-type $N$-solitons,

1681: i.e., pairwise with an overall phase shift after collision (see Figure~\ref{f:3s}(c)).

1682: However, as in the case of the 2-soliton solutions in section~\ref{s:twosolitons}.2,

1683: the pairwise phase shifts for P-type solitons is of opposite sign from that of

1684: O-type soliton solutions.

1685: \label{E:nsol}

1686: \end{example}

1687: %

1688: \subsection{Soliton parameters and pairing map}

1689: The most notable differences between the O-, T- and P-type

1690: $N$-soliton solutions in Example \ref{E:nsol}

1691: are that they span different regions of the

1692: soliton parameter space and that they exhibit dissimilar interaction patterns

1693: and phase shifts. However, in addition to these non-resonant and fully resonant 

1694: solutions, a large family of partially resonant solutions exists 

1695: when $N>2$. Thus, the family of $N$-soliton solutions of KPII is much larger 

1696: than previously thought, and their classification is indeed nontrivial. Even for $N=3$, 

1697: Property \ref{p:Nsoliton}(iv) implies that there are 15 inequivalent types of 

1698: $3$-soliton solutions. For increasing values of $N$, it turns out to be a difficult 

1699: task to classify these solutions according to their coefficient matrices,

1700: as was done for $N=2$ in Section~\ref{s:twosolitons}. Instead, a more direct 

1701: approach is to enumerate the $N$-soliton solutions via the involutions

1702: $\mathcal{I}_{2N} \subset \mathcal{S}_{2N}$, by constructing a representative coefficient matrix $A$ for

1703: each $N$-soliton equivalence class starting from a pairing map $\pi \in \mathcal{I}_{2N}$.

1704: In what follows, we describe a slightly modified approach. We start with

1705: the set of amplitudes and directions of the asymptotic line-solitons 

1706: as $|y| \to \infty$. We first recover the soliton pairings from

1707: this physical data, then construct the coefficient matrix $A$ from

1708: the obtained pairing map. This provides a method to algebraically reconstruct 

1709: the $N$-soliton solution unique up to space-time translations,

1710: starting simply from the physical soliton parameters $\{(a_n,c_n)\}_{n=1}^N$.

1711: 

1712: We begin with the following definition of the $N$-soliton parameter space.

1713: \begin{definition}

1714: An $N$-tuple of pairs $p_N:=\{(a_n,c_n)|a_n > 0\}_{n=1}^N \subset \Real^{2N}$,

1715: of amplitudes and directions for the asymptotic line-solitons

1716: associated with an $N$-soliton solution, is defined to be admissible if it 

1717: yields the set $\Pi_N := \{(k_n^-,k_n^+)|\,k_n^\pm = \half(c_n \pm a_n)\}_{n=1}^N$ 

1718: where the $2N$ phase parameters $\{k_n^{\pm}\}_{n=1}^N$ are distinct.

1719: The set $Sol(N)$ of all admissible $N$-tuples of amplitudes and directions 

1720: will be referred to as the $N$-soliton parameter space.

1721: \label{D:parameter}

1722: \end{definition}

1723: Note that the pairs $(a_n,c_n),\, n=1,\ldots,N$ in the set $p_N$ are unordered. 

1724: For example, $p_2=\{(1,2), (\half, 1)\}$ and $p_2= \{(\half, 1), (1,2)\}$ 

1725: represent the same $2$-soliton solution. Similarly, $\Pi_N$ also consists

1726: of unordered pairs $(k_n^-,k_n^+),\, n=1,\ldots,N$. However, since the parameters 

1727: $\{k_n^{\pm}\}_{n=1}^N$ are distinct, they can be sorted in increasing order 

1728: into an ordered set 

1729: $K_{2N} = \{k_1, k_2, \ldots, k_{2N}\}$. Hence, $\Pi_N$ forms a partition of 

1730: $K_{2N}$ into $N$ distinct pairs. The positions of each pair 

1731: $(k_n^-,k_n^+) \in \Pi_N$ can be uniquely identified within $K_{2N}$ by an ordered 

1732: pair of indices $[i_n,j_n]$ such that $i_n < j_n$. That is, 

1733: $k_n^- = k_{i_n}$ and $k_n^+ = k_{j_n}$. It is precisely this identification 

1734: that induces a correspondence between each $\Pi_N$ and a pairing map 

1735: $\pi \in \mathcal{I}_{2N} \subset \mathcal{S}_{2N}$, the latter representing a disjoint partition 

1736: of $[2N]$ into $N$ distinct pairs (see Property~\ref{p:Nsoliton}(iv)). It is

1737: then clear from Definition~\ref{D:parameter} that this correspondence also

1738: extends between each $p_N \in Sol(N)$ and a $\pi \in \mathcal{I}_{2N}$. 

1739: \begin{example}

1740: Consider a $3$-soliton parameter set

1741: $p_3 = \{(a_1,c_1)=(1,-3), (a_2,c_2)=(\frac32, \half), (a_3,c_3)=(\frac32, \frac52)\}$,

1742: and construct the set $\Pi_3=\{\half(c_n \pm a_n)\}_{n=1}^3$.

1743: The set $p_3$ is admissible because the corresponding set 

1744: $\Pi_3=\{(-2,-1),(-\half,1),(\half,2)\}$ contains six distinct

1745: phase parameters. Sorting these parameters in increasing order yields

1746: $K_6 = \{-2,-1,-\half,\half,1,2\} = \{k_1,k_2,k_3,k_4,k_5,k_6\}$.

1747: Then, $\Pi_3=\{(k_1,k_2),(k_4,k_6),(k_3,k_5)\}$ which gives the

1748: correspondence $p_3 \simeq \Pi_3 \mapsto (12)(35)(46) = \pi$.

1749: \label{E:pi}

1750: \end{example}

1751: \noindent Note however that the correspondence between the soliton 

1752: parameter space $Sol(N)$ and $I_{2N}$ is not one-to-one because distinct 

1753: elements of $Sol(N)$ associated with solutions in the same equivalence class 

1754: give rise to identical pairing. In this situation, the corresponding

1755: sets $\Pi_{N}$ are distinct but after sorting, their elements are ordered

1756: in identical fashion into the respective sets $K_{2N}$.

1757: Thus, the soliton parameter

1758: space~$Sol(N)$ is partitioned into disjoint sectors. Each sector 

1759: corresponds to an equivalence class of solutions, distinguished

1760: by an element $\pi \in \mathcal{I}_{2N}$, equivalently, by the set

1761: $\{[e_n,g_n]\}_{n=1}^N $ labeling the $N$ asymptotic line-solitons.

1762: The total number of such disjoint sectors

1763: of $Sol(N)$ equals the cardinality $|\mathcal{I}_{2N}| = (2N-1)!!$.

1764: 

1765: Once a pairing map $\pi \in \mathcal{I}_{2N}$ is derived from a given $N$-soliton 

1766: parameter set $p_N$, it is then possible to construct a coefficient matrix~$A$ 

1767: satisfying Condition~\ref{positive}. Clearly, the pivot columns of $A$ 

1768: will be labeled

1769: by the excedance set $\{e_1,\ldots,e_N\}$ of $\pi$, and the non-pivot columns 

1770: are labeled by $\{g_1,\ldots,g_N\}$, where $\pi(e_n) = g_n,\, n=1,\ldots,N$.

1771: The explicit form of $A$ will be determined by using the rank conditions in 

1772: Proposition~\ref{P:pairing}. 

1773: Recall that in Examples \ref{E:2to1} and \ref{E:2to2}, we demonstrated how to

1774: apply the results of Proposition~\ref{P:pairing} to a given coefficient matrix $A$,

1775: and obtain the set of index pairs identifying the asymptotic

1776: line-solitons. In the examples below, we will illustrate the reverse construction.

1777: In other words, we will show that the rank conditions of Proposition~\ref{P:pairing}

1778: are also {\em sufficient} to construct a coefficient matrix $A$ from a given

1779: pairing map $\pi$ associated with the $N$-soliton solutions.

1780: \begin{example}

1781: We outline the construction of a coefficient matrix $A$ associated

1782: with the $3$-soliton pairings $\{[1,2],[3,5],[4,6]\}$ found in 

1783: Example~\ref{E:pi}. The construction proceeds in several steps.

1784: 

1785: \noindent\textit{Step~1.}~

1786: It follows from Property~\ref{p:Nsoliton}(ii) that

1787: the pivot and  non-pivot columns of the $3\times6$ matrix in RREF are labeled by

1788: $\{e_1,e_2,e_3\} = \{1,3,4\}$, and $\{g_1,g_2,g_3\} = \{2,5,6\}$, respectively. 

1789: So, the general form of $A$ satisfying Condition~\ref{positive} is

1790: \begin{equation*}

1791: A= \begin{pmatrix} 

1792:  1 &z &0 &0 &v_1 &w_1 \\

1793:  0 &0 &1 &0 &\!-v_2 &\!-w_2 \\ 

1794:  0 &0 &0 &1 &v_3 &w_3 \\

1795: \end{pmatrix}\,,

1796: %\label{A:step1}

1797: \end{equation*}

1798: where $z, \{v_i, w_i\}_{i=1}^3$ are non-negative numbers to be determined.

1799: Note that each unknown entry can be expressed as

1800: certain maximal minors of $A$, (e.g., $A(234) =z$, etc).

1801: The negative signs in the second row are included so that

1802: the maximal minors of $A$ satisfy the non-negativity Condition~\ref{positive}(i).

1803: 

1804: \noindent\textit{Step 2.}~

1805: In order to obtain further information about $A$, one needs to

1806: apply the rank conditions in Proposition~\ref{P:pairing} to

1807: the sub-matrices $X[ij]$ and $Y[ij]$ associated with each line

1808: soliton $[i,j]$. 

1809: 

1810: If we start with the line-soliton $[1,2]$, and consider

1811: the sub matrix $Y[12]=\emptyset$, we find that $\rank(Y[12])=0$.

1812: Then according to Proposition~\ref{P:pairing}(ii), $\rank(Y[12]|1,2)=1$, 

1813: so that columns $1$ and $2$ are proportional. Hence, $z\neq 0$.

1814: The sub matrix $X[12]$ consists of columns $3,\ldots,6$

1815: of $A$ above. From Proposition~\ref{P:pairing}(i), it follows that

1816: $\rank(X[12]) \leq N-1=2$, since $N=3$. Then any maximal minor of $A$ consisting

1817: of the columns of $X[12]$ will vanish. In particular, we find that

1818: $A(345)=v_1 = 0$ and $A(346)=w_1 = 0$, so that

1819: \begin{equation*}

1820: A= \begin{pmatrix}

1821:  1 &z &0 &0 &0 &0 \\

1822:  0 &0 &1 &0 &\!-v_2 &\!-w_2 \\

1823:  0 &0 &0 &1 &v_3 &w_3 \\

1824: \end{pmatrix}\,,

1825: %\label{A:step2}

1826: \end{equation*}

1827: 

1828: \noindent\textit{Step 3.}~

1829: Next we consider the index pair $[3,5]$. As the sub matrix $Y[35]=(0,0,1)^T$

1830: is of rank 1, we obtain $\rank(Y[35]|5)=2$ from Proposition~\ref{P:pairing}(ii).

1831: Therefore, columns 4 and 5 of $A$ are linearly independent. Then $v_2 \neq 0$.

1832: The sub-matrix $X[35]$ consisting of the columns 1,2 and 6 of $A$, is of

1833: rank 2, and its columns space is spanned by the linearly independent columns

1834: $(1,0,0)^T$ and $(0,-w_2,w_3)^T$. Then from Proposition~\ref{P:pairing}(ii),

1835: $\rank(X[35]|3)=3 \Rightarrow A(136)=w_3 \neq 0$, and 

1836: $\rank(X[35]|5)=3 \Rightarrow A(156)=v_3w_2-v_2w_3 \neq 0$.

1837: Moreover, the non-negativity of all maximal minors of $A$ requires that

1838: $z, v_2, w_3$ and $A(156)$ must be positive. In particular, $A(156)=v_3w_2-v_2w_3 > 0$

1839: implies that $v_3 \neq 0,\, w_2 \neq 0$, so these are also positive.

1840: Thus, the matrix $A$ is parametrized by 5 positive parameters which can

1841: be chosen as follows:\, $t_1=z, t_2=v_2, t_3=v_3, t_4=w_3, t_5= A(156)=v_3w_2-v_2w_3$.

1842: It can be directly verified that all non-zero maximal minors of $A$ are polynomials 

1843: in $t_1, \ldots, t_5$ with positive coefficients.

1844: 

1845: Thus, we have constructed a $5$-parameter family of coefficient matrix $A$ that

1846: will generate the asymptotic line-solitons $[1,2],[3,5],[4,6]$ for any choice

1847: of the positive parameter values $t_1, \ldots, t_5$, via Proposition~\ref{P:pairing}.

1848: Note that the vanishing minors of $A$ satisfy the duality conditions of 

1849: Eq.~\eqref{e:dualminor}.

1850: Furthermore, any such $A$ together with the phase parameters in the set $K_6$ of 

1851: Example~\ref{E:pi} would generate a $3$-soliton solution $u(x,y,t)$ with 

1852: soliton parameters $p_3$. This solution is unique

1853: up to space-time translations corresponding to different choices for the

1854: phase constants $\theta_{m,0},\, m=1,\ldots 6$ in Eq.~\eqref{e:theta}.

1855: \label{E:A3sol}

1856: \end{example}

1857: %

1858: We make a few observations from the above example. First, note

1859: that the rank conditions together with non-negativity of the maximal minors

1860: completely determine which maximal minors of $A$ are zero, and which are non-zero.

1861: Secondly, the non-vanishing maximal minors are chosen to be positive by expressing

1862: them in terms of a suitable set of freely prescribed parameters which include

1863: certain matrix elements of $A$ as well as certain combinations of the elements

1864: of $A$. This parametrization completely determines the coefficient matrix $A$ 

1865: which is in RREF and all the entries in its non-pivot columns can be

1866: expressed as appropriate maximal minors. Thirdly, both rank

1867: conditions (Propositions~\ref{P:pairing}(i) and (ii)) are applied

1868: to the same index pair $[e_n,g_n]$ since it labels a pair of asymptotic 

1869: line-solitons as $|y| \to \infty$. Instead, one could also apply the

1870: rank conditions from either Proposition~\ref{P:pairing}(i) or (ii) to each

1871: index pair, and recover the remaining information from the duality condition

1872: Eq.~\eqref{e:dualminor}. For example, since columns 1 and 2 are proportional

1873: for the coefficient matrix $A$ of Example \ref{E:A3sol}, the minors 

1874: $A(125)=A(126)=0$. Then the duality condition implies that $A(346)=A(345)=0$

1875: as we found in Step 2 above. We also point out here that in Ref.~\cite{Kodama},

1876: the $N$-soliton $\tau$-function was required to satisfy a set of conditions,

1877: which was referred to as the ``$N$-soliton condition'' (Definition 4.2 of ~\cite{Kodama}).

1878: These conditions follow directly from the rank and duality conditions discussed in this 

1879: article. We reiterate the above observations through another example.

1880: \begin{example}

1881: In this example, we construct a $4$-soliton solution starting with 

1882: the following set of soliton parameters: 

1883: $p_4 = \{a_n,c_n\}_{n=1}^4=

1884: \{(1,-3), (\frac32,-\frac32), (\frac32,\half), (1,2)\} \in Sol(4)$.

1885: 

1886: \noindent {\em Step 1.}\, First, we construct the set 

1887: $\Pi_4=\{(-2,-1),(-\frac32,0),(-\half,1) (\half,\frac32)\}$ from $p_4$

1888: using $k_n^\pm = \half(c_n \pm a_n)$. Then we obtain the ordered set

1889: $K_8=\{-2,-\frac32,-1,-\half,0,\half,1,\frac32\} = \{k_1,\ldots,k_8\}$

1890: by sorting the phase parameters in $\Pi_4$ which can now be

1891: re-expressed as $\Pi_4 = \{(k_1,k_3),(k_2,k_5),(k_4,k_7),(k_6,k_8)\}$.

1892: This gives the correspondence $\Pi_4 \mapsto (13)(25)(47)(68) = \pi \in I_8$

1893: where, $\pi$ is expressed as products of disjoint $2$-cycles. The asymptotic

1894: line-solitons are identified by the set $\{[1,3],[2,5],[4,7],[6,8]\}$ of

1895: index pairs.

1896: 

1897: \noindent {\em Step 2.}\, We proceed to construct the coefficient 

1898: matrix $A$ that will generate the $\tau$-function of the $4$-soliton solution.

1899: As in the previous example, we start with the $4 \times 8$ matrix $A$ 

1900: satisfying Condition~\ref{positive}:

1901: \begin{equation*}

1902: A= \begin{pmatrix} 

1903:  1 &0 &\!-z_1 &0 &u_1 & 0 &\!-v_1&\!-w_1 \\

1904:  0 &1 &z_2 &0 &\!-u_2 & 0 &v_2& w_2 \\ 

1905:  0 &0 &0 &1 &u_3 &0 &\!-v_3 &\!-w_3 \\

1906:  0 &0 &0 &0 &0 &1 &v_4 &w_4   

1907: \end{pmatrix}\,,

1908: %\label{A4:step2}

1909: \end{equation*}

1910: whose pivots and non-pivot indices are $\{e_1,e_2,e_3,e_4\} = \{1,2,4,6\}$, 

1911: and $\{g_1,g_2,g_3,g_4\} = \{3,5,7,8\}$, respectively, and where 

1912: $z_1,z_2,u_1,u_2,u_3$ and $v_i,w_i,\, i=1,\ldots,4$ are non-negative

1913: reals to be determined. 

1914: 

1915: \noindent {\em Step 3.}\, We then 

1916: apply the rank conditions from Proposition~\ref{P:pairing} 

1917: systematically to each soliton index pair $[i,j]$, and collect all the

1918: information regarding the unknown entries in terms of zero and non-zero 

1919: minors of $A$. Here we indicate only the essential steps.

1920: 

1921: Consider the index pair $[1,3]$ and the associated sub-matrix $X[13]$ which 

1922: consists of columns $4,\ldots,8$ of $A$ above. Since $\rank(X[13]) \leq N-1 = 3$, 

1923: the maximal minors: $A(l_1,\ldots,l_4) =0, \, \{l_1,\ldots,l_4\} \subset \{4,5,6,7,8\}$.

1924: For the index pair $[6,8]$, the sub-matrix $Y[68]=(-v_1,v_2,-v_3,v_4)^T$ is clearly

1925: of rank 1. Then from Proposition~\ref{P:pairing}(ii) $\rank(Y[68]|6,8)=2$, which implies 

1926: that $A(l,6,7,8)=0$ for any $l \in [8]$. Putting these conditions together, it can

1927: be shown that all vanishing minors of $A$ obtained via

1928: Proposition~\ref{P:pairing} are generated by the following relations

1929: \begin{equation}

1930:  u_iv_j-u_jv_i = 0, \qquad u_iw_j-u_jw_i = 0, \,\, i,j = 1,2, \qquad 

1931: v_iw_j-v_jw_i = 0, \,\, i,j = 1,2,3 \,. 

1932: \label{e:zerominors}

1933: \end{equation}

1934: Next we determine the non-zero entries of $A$. Note that $z_1 \neq 0$

1935: since columns 2 and 3 of $A$ are linearly independent. This is because

1936: the sub-matrix $Y[13] = (0,1,0,0)^T$ associated with index pair $[1,3]$, is of 

1937: rank 1, then Proposition~\ref{P:pairing}(ii) implies that $\rank(Y[13]|3)=2$.

1938: Consider now the sub-matrix $Y[47]$ whose rank is 2 since it is spanned by the 

1939: linearly independent columns 5 and 6 of $A$. Then columns 4,5 and 6 are also

1940: linearly independent as $\rank(Y[47]|4)=3$. Moreover, these columns also

1941: span the column space of the sub-matrix $X[13]$ and form a basis which we

1942: denote by $\beta_{13}$. By similar reasoning, we find the basis sets 

1943: $\beta_{25}$ and $\beta_{47}$ for the column spaces of $X[25]$ and $X[47]$,

1944: respectively. These are given by

1945: \begin{equation*}

1946: \beta_{13} = \begin{pmatrix}

1947:  0 &u_1 & 0 \\

1948:  0 &\!-u_2 & 0 \\

1949:  1 &u_3 &0  \\

1950:  0 &0 &1 

1951: \end{pmatrix}\,, \qquad

1952: \beta_{25} = \begin{pmatrix}

1953:  1 &0 &-\!v_1 \\

1954:  0 &0 &v_2 \\

1955:  0 &0 &-\!u_3 \\

1956:  0 &1 &v_4 

1957: \end{pmatrix}\,, \qquad

1958: \beta_{47} = \begin{pmatrix}

1959:  1 &0 &-\!w_1 \\

1960:  0 &1 &w_2 \\

1961:  0 &0 &-\!w_3 \\

1962:  0 &0 &w_4

1963: \end{pmatrix}\,. \qquad

1964: %\label{e:basis}

1965: \end{equation*}

1966: %

1967: \begin{figure}[t!]

1968: \centering

1969: \raisebox{0.87in}{(a)}\includegraphics[scale=0.6]{figures/s3e123546} \hskip 0.6 in

1970: \raisebox{0.87in}{(b)}\includegraphics[scale=0.6]{figures/4s} 

1971: \caption{(a)~a $3$-soliton solution of Example~\ref{E:A3sol} at $t=12$, generated by the

1972: coefficient matrix $A$ with parameter values: $z=v_2=w_2=1, \, v_3=3, \,w_3=\frac53$;

1973: (b)~ a $4$-soliton solution of Example~\ref{E:A4sol} at $t=20$. The parameters of the

1974: coefficient matrix $A$ are given by 

1975: $z_1=u_1=u_2=v_1=v_2=v_3=1, \, z_2=u_3=v_4=w_1=w_2=w_3=2, \, w_4=3$. }

1976: \label{f:Asol}

1977: \end{figure}

1978: %

1979: Since both $\rank(X[13]|1)=\rank(X[13]|3)=4$, using the basis $\beta_{13}$

1980: we get $A(1456)=u_2 > 0$, and $A(3456)=z_2u_1-z_1u_2 > 0$ where we also required

1981: that the non-zero maximal minors to be positive. In addition, if we take $z_1 > 0$ 

1982: (since $z_1 \neq 0$ from above), then $z_2>0,\, u_1 > 0$, as well. Proceeding in a 

1983: similar fashion with $\beta_{25}$ and $\beta_{47}$ we find that that 

1984: $u_3, v_2, v_3, v_4, w_3, w_4$ are all positive. Then from Eq.~\eqref{e:zerominors},

1985: we finally conclude that all entries in the non-pivot columns of $A$ are non-zero

1986: unlike the previous example. However, only 10 of the 13 non-zero elements of $A$

1987: are independent due to the constraints from Eq.~\eqref{e:zerominors}.

1988: Furthermore, by direct computation using the matrix elements of $A$ we find

1989: that all vanishing minors of $A$ are in fact generated by the relations in

1990: Eq.~\eqref{e:zerominors} which arise from the rank conditions 

1991: of Proposition~\ref{P:pairing}.

1992: 

1993: As in Example~\ref{E:A3sol}, it is possible to construct a set of positive parameters

1994: such that all non-zero maximal minors of $A$ are polynomials in these parameters with 

1995: positive coefficients. These are given by

1996: \begin{gather*}

1997: t_1 = z_1, \qquad t_2=z_2, \qquad t_3 = \frac{u_1}{z_1}-\frac{u_2}{z_2}, \qquad

1998: t_4 = \frac{u_2}{z_2}, \qquad t_5 = u_3, \\

1999: t_6=\frac{v_2}{u_2}-\frac{v_3}{u_3}, \qquad t_7=\frac{v_3}{u_3}, \qquad 

2000: t_8 = v_4, \qquad t_9 = \frac{w_4}{v_4}-\frac{w_3}{u_3}, \qquad t_{10}= \frac{w_4}{v_4} \,.  

2001: \end{gather*}

2002: \label{E:A4sol}

2003: \end{example}

2004: \noindent Figure~\ref{f:Asol}(a) shows a $3$-soliton solution with soliton parameters given 

2005: in Example~\ref{E:pi} and a coefficient matrix $A$ constructed in

2006: Example~\ref{E:A3sol}. Figure~\ref{f:Asol}(b) shows a $4$-soliton solution

2007: with soliton parameters and matrix $A$ from Example~\ref{E:A4sol}.

2008: It should be noted that the above examples are only illustrations 

2009: of the general result asserting that for every pairing map $\pi \in \mathcal{I}_{2N}$ there

2010: exists a parametrized family of $N \times 2N$ matrices $A$ which satisfy

2011: Condition~\ref{positive} and generate an equivalence class of $N$-soliton solutions.

2012: The proof of this remarkable result will be given in a future work~\cite{CK}.

2013: 

2014: \subsection{Combinatorics of $N$-soliton solutions}

2015: Further refinement of the $N$-soliton classification scheme can be

2016: achieved by studying the combinatorial properties of the associated 

2017: $N \times 2N$ coefficient matrix $A$. We have already shown that the $N$-soliton 

2018: solution space is characterized by the set $\mathcal{I}_{2N}$ of fixed point free involutions

2019: of the permutation group $\mathcal{S}_{2N}$. In turn, these involutions of $\mathcal{S}_{2N}$ can

2020: be enumerated in terms of the various possible arrangements of the pivot and

2021: non-pivot columns of the $N$-soliton coefficient matrix $A$.  

2022: A more geometric classification of the $N$-soliton solutions using

2023: Schubert decomposition of the real Grassmannian $Gr(N,2N)$ has been carried

2024: out in Ref.~\cite{Kodama} where the arrangements of pivot and non-pivot indices

2025: were described in terms of Young diagrams. We resort to a more elementary

2026: treatment here and present the main results below.

2027: \begin{proposition}

2028: Suppose that the index sets $\{e_1,\ldots,e_N\}$ and $\{g_1,\ldots,g_N\}$ with

2029: $e_n < g_n,\,n=1,\ldots N$, form 

2030: a disjoint partition of $[2N]$, and label respectively, the pivot and non-pivot

2031: columns of a coefficient matrix $A$ associated with a $N$-soliton solution of KPII.

2032: Then, the following results hold. \\

2033: (i)\,\, The index set $\{e_1,\ldots,e_N\}$ is ordered as follows:

2034: $1=e_1 < e_2 < \ldots < e_N < 2N$. Moreover, the elements satisfy

2035: $n \leq e_n \leq 2n-1\,, \quad n=1,\ldots, N$. \\

2036: (ii)\,\, The total number of choices $C_N$ for the ordered set $\{e_1,\ldots,e_N\}$ 

2037: in item (i) is given by the $N$-th Catalan number (see e.g., \cite{Stanley}),

2038: \begin{equation}\label{e:catalan}

2039:  C_N = \frac{(2N)!}{N!(N+1)!}

2040: \end{equation}

2041: (iii)\,\, The set $\{g_1,\ldots,g_N\}$ is unordered, and the element $g_n$ can be

2042: chosen in $2n-e_n$ ways for $n=1,\ldots,N$. Therefore, the number of possible choices for the unordered set

2043: $\{g_1,\ldots,g_N\}$ for each set $\{e_1,\ldots,e_N\}$ is given by

2044: \begin{equation}\label{e:numberg}

2045: m(e_1,\ldots,e_N)=\prod_{n=1}^N(2n-e_n)\,.

2046: \end{equation}

2047: \label{P:combinatorics}

2048: \end{proposition}

2049: It follows from Proposition~\ref{P:combinatorics} that the total number

2050: of distinct equivalence classes of $N$-soliton solutions satisfies the

2051: curious combinatorial identity

2052: \begin{equation}\label{e:FN}

2053: F_N:= \sum_{\genfrac{}{}{0pt}{1}{e_1<\cdots<e_N,}{n \leq e_n \leq 2n-1}} 

2054: m(e_1,\ldots,e_N)=

2055: (2N-1)!! \,,

2056: \end{equation}

2057: which can be proved by following a similar line of argument that is provided

2058: below in the proof of Proposition~\ref{P:combinatorics}(ii). Items (i) and (iii)

2059: of Proposition~\ref{P:combinatorics} were already proved in Ref.~\cite{Kodama}.

2060: \begin{proof}

2061: ({\em Proposition \ref{P:combinatorics}(ii)})\,

2062: Let $E_N$ denote the set of all $N$-tuples $(e_1,\ldots,e_N)$ for which

2063: Proposition \ref{P:combinatorics}(i) holds. Then it is clear that $|E_N|=C_N$.

2064: Since $e_1=1$, each $N$-tuple contains one or more indices satisfying

2065: $e_m=2m-1,\, m = 1,\ldots,N$. Then by sorting the elements of $E_N$ 

2066: according to the {\em largest} positive integer $n \in [N]$ such that 

2067: $e_n = 2n-1$, we obtain the disjoint partition 

2068: $$ E_N = \bigsqcup_{n=1}^N W_n \qquad \mbox{where} \qquad

2069: W_n = \left\{(e_1,\ldots,e_N)\,|\,e_n=2n-1, \quad e_m < 2m-1, \,\, m>n \right\} \,.$$

2070: Note that $W_n$ can be expressed as the direct product:\,

2071: $W_n = E_{n-1} \times \{e_n=2n-1\} \times \widehat{E}_{N-n}$, where

2072: the set $E_{n-1} = \{(e_1,\ldots,e_{n-1})\}$ with $j \leq e_j \leq 2j-1,\,\, j \in [n-1]$, is 

2073: defined similarly as $E_N$, and where

2074: $\widehat{E}_{N-n} = \{(e_{n+1},\ldots,e_N)\}$ with 

2075: $2n+j-1 \leq e_{n+j} < 2(n+j)-1, \,\, j \in [N-n]$. If we define new indices

2076: $\widehat{e}_j := e_{n+j} - (2n-1),\,\, j=1,\ldots, N-n$ and relabel the elements of

2077: $\widehat{E}_{N-n}$, then it should be clear that 

2078: $$\widehat{E}_{N-n} \simeq 

2079: \left\{(\widehat{e}_1,\ldots,\widehat{e}_j)\,|\quad j \leq \widehat{e}_j \leq 2j-1\right\}

2080: =: E_{N-n} \,.$$

2081: Now the cardinalities of $E_{n-1}$ and $\widehat{E}_{N-n}$ are $C_{n-1}$ and

2082: $C_{N-n}$, respectively. Then it follows from above that $|W_n| = C_{n-1}C_{N-n}$, and

2083: \begin{equation}

2084: |E_n| = C_N = \sum_{n=1}^N C_{n-1}C_{N-n}

2085: \label{e:CN}

2086: \end{equation}

2087: Eq.~\eqref{e:CN} gives a recursion relation for $C_N,\, N\geq 1$ with $C_0 := 1$. 

2088: If $C(z) = \displaystyle\sum_{N=0}^{\infty}C_N\,z^N$ is the generating function

2089: of the $C_N$, then Eq.~\eqref{e:CN} implies that $C(z)$ satisfies 

2090: $z\,C^2(z) - C(z)+1 = 0$, yielding

2091: $$ C(z) \,\, = \,\, \frac{1-\sqrt{1-4z}}{2z} \,\,  = \,\, 

2092: \sum_{N=0}^{\infty}\frac{(2N)!}{N!(N+1)!}\,z^N \,,$$

2093: by choosing the root consistent with $C(0) = C_0 =1$, then expanding it in power series.

2094: Finally, we obtain the desired result by equating the coefficients of the two power series 

2095: for $C(z)$.

2096: \end{proof}

2097: 

2098: \begin{table}[b]

2099: \begin{center}

2100: \begin{tabular}{|c|c|c|}  \hline

2101: $\|w\|$ &$w$ &$\{e_1,e_2,e_3\}$ \\

2102: \hline

2103: 0 &$(0,0,0)$ &$\{1,2,3\}$ \\

2104: \hline

2105: 1& $(0,0,1)$ & $\{1,2,4\}$ \\

2106: \hline

2107: 2 &\begin{tabular}{c}

2108: $(0,0,2)$ \\ $(0,1,1)$

2109: \end{tabular}

2110: & \begin{tabular}{c}

2111: $\{1,2,5\}$ \\ $\{1,3,4\}$

2112: \end{tabular}

2113: \\ \hline

2114: 3 &$(0,1,2)$ &$\{1,3,5\}$ \\

2115: \hline

2116: \end{tabular}

2117: \end{center}

2118: \kern-\medskipamount

2119: \caption{Weight vectors and possible pivot arrangements for 3-soliton solutions}

2120: \label{t:pivot}

2121: \end{table}

2122: In view of Proposition~\ref{P:combinatorics}(i), it is natural to associate 

2123: with each ordered set $\{e_1,\ldots,e_N\}$ a {\em weight vector} $w$

2124: and its length $\|w\|$ defined by

2125: \begin{equation}

2126: w = (w_1,w_2,\ldots,w_N), \quad \mbox{where} \quad

2127: w_n:= e_n-n \geq 0, \quad n \in [N], \quad \mbox{and} \quad

2128: \|w\| = \sum_{n=1}^N(e_n-n)\,, 

2129: \label{e:weight}

2130: \end{equation}

2131: respectively. Note that the weights form a non-decreasing sequence:\,

2132: $0=w_1 \leq w_2 \leq \ldots \leq w_N$ and $0 \leq w_n \leq n-1$.

2133: Similarly, we associate the unordered set of non-pivot indices

2134: $\{g_1,\ldots,g_N\}$ with an {\em inversion} vector $\sigma$ defined by

2135: \begin{equation}

2136: \sigma = (\sigma_1, \sigma_2 \ldots \sigma_N), \quad \mbox{where} \quad

2137: \sigma_n = |\{g_j\,|\,g_j > g_n,\,\, j<n\}|, \quad n \in [N]\,.

2138: \label{e:inv}

2139: \end{equation}

2140: The inversions satisfy $0 \leq \sigma_n \leq 2n-e_n-1,\,\, n=1,\ldots,N$.

2141: The upper limit of $\sigma_n$ follows from Proposition~\ref{P:combinatorics}(iii), 

2142: by placing $g_n$ to the leftmost of the $2n-e_n$ available positions, and filling

2143: the remaining positions with indices $g_j$ such that $j<n$. Notice that

2144: the pair of vectors $(w,\sigma)$ are identical to the pair $(Y^+,Y^-)$ of

2145: Young diagrams introduced in Ref~\cite{Kodama}.

2146: 

2147: The results of Proposition~\ref{P:combinatorics} together with the weight and 

2148: inversion vectors provide a refinement of the classification scheme for the 

2149: $N$-soliton solutions. We illustrate here the refined scheme for $N=3$.

2150: %

2151: \begin{table}[h]

2152: \begin{center}

2153: \begin{tabular}{|c|c|c|c|} \hline

2154: $\{e_1,e_2,e_3\}$ & $\{g_1,g_2,g_3\}$ & $\sigma$  & 3-soliton solution\\  

2155: \hline

2156: $\{1,2,3\}$  & \begin{tabular}{c}

2157:              $\{4,5,6\}$ \\ $\{4,6,5\}$ \\ $\{5,4,6\}$ \\ 

2158:              $\{5,6,4\}$ \\$\{6,4,5\}$ \\ $\{6,5,4\}$

2159:                \end{tabular}

2160:              &  \begin{tabular}{c}

2161:              $(0,0,0)$ \\ $(0,0,1)$ \\ $(0,1,0)$ \\

2162:              $(0,0,2)$ \\ $(0,1,1)$ \\ $(0,1,2)$

2163:                  \end{tabular}

2164:              &  \begin{tabular}{c}

2165:              $\{[1,4],[2,5],[3,6]\}$ \\ $\{[1,4],[2,6],[3,5]\}$ \\ $\{[1,5],[2,4],[3,6]\}$ \\

2166:              $\{[1,5],[2,6],[3,4]\}$ \\ $\{[1,6],[2,4],[3,5]\}$ \\ $\{[1,6],[2,5],[3,4]\}$

2167:                   \end{tabular}

2168: \\ \hline

2169: $\{1,2,4\}$  & \begin{tabular}{c}  

2170:              $\{3,5,6\}$ \\ $\{3,6,5\}$ \\ $\{5,3,6\}$ \\ $\{6,3,5\}$

2171:                \end{tabular}

2172:              & \begin{tabular}{c}

2173:              $(0,0,0)$ \\ $(0,0,1)$ \\ $(0,1,0)$ \\ $(0,1,1)$

2174:                \end{tabular}

2175:              & \begin{tabular}{c}

2176:              $\{[1,3],[2,5],[4,6]\}$ \\ $\{[1,3],[2,6],[4,5]\}$ \\  

2177:              $\{[1,5],[2,3],[4,6]\}$ \\ $\{[1,6],[2,3],[4,5]\}$

2178:                 \end{tabular}

2179: \\ \hline

2180: $\{1,2,5\}$  & \begin{tabular}{c}

2181:              $\{3,4,6\}$ \\ $\{4,3,6\}$

2182:                \end{tabular}

2183:              & \begin{tabular}{c}

2184:              $(0,0,0)$ \\ $(0,1,0)$

2185:                \end{tabular}

2186:              & \begin{tabular}{c}

2187:              $\{[1,3],[2,4],[5,6]\}$ \\ $\{[1,4],[2,3],[5,6]\}$  

2188:                 \end{tabular}

2189: \\ \hline

2190: $\{1,3,4\}$  &\begin{tabular}{c}

2191:              $\{2,5,6\}$ \\ $\{2,6,5\}$

2192:                \end{tabular}

2193:              & \begin{tabular}{c}

2194:              $(0,0,0)$ \\ $(0,0,1)$

2195:                \end{tabular}

2196:              & \begin{tabular}{c}

2197:              $\{[1,2],[3,5],[4,6]\}$ \\ $\{[1,2],[3,6],[4,5]\}$

2198:                 \end{tabular}

2199: \\ \hline

2200: $\{1,3,5\}$  & $\{2,4,6\}$  & $(0,0,0)$  & $\{[1,2],[3,4],[5,6]\}$ \\ \hline

2201: \end{tabular}

2202: \end{center}

2203: \caption{ The 15 distinct 3-soliton solutions } 

2204: \label{t:nonpivot} 

2205: \end{table}

2206: In this case, $A$ is a $3 \times 6$ matrix with 3 pivots

2207: satisfying $e_1 =1, \,\, 2 \leq e_2 \leq 3, \,\, 3 \leq e_3 \leq 5$.

2208: From Proposition~\ref{P:combinatorics}(ii), the total number of pivot

2209: configurations $\{e_1,e_2,e_3\}$ is given by the Catalan number

2210: $C_3 = 5$. Thus, there are 5 subclasses of $3$-soliton solutions depending

2211: on $5$ distinct pivot configurations which are determined

2212: by the associated weight vectors. These subclasses are listed in

2213: Table~\ref{t:pivot} in increasing order of the length $\|w\|$ of the

2214: weight vector.

2215: For each of these pivot arrangements, Proposition~\ref{P:combinatorics}(iii)

2216: gives the total number of distinct non-pivot configurations. Each set

2217: $\{g_1,g_2,g_3\}$ in a given subclass, is distinguished by its unique inversion

2218: vector. The various 3-soliton solutions in each subclass is shown in

2219: Table ~\ref{t:nonpivot} and the associated chord diagrams are presented

2220: in Figure~\ref{f:3chords}. Note that instead of open chord diagrams, we use

2221: circles in Figure~\ref{f:3chords}. Here each straight chord replaces the

2222: pair of upper and lower chords connecting the same index pair $[e_n,g_n]$ in the 

2223: self-dual, open chord diagrams of the $N$-soliton solutions 

2224: (cf. Property~\ref{p:Nsoliton}(iv)).

2225: \begin{figure}[h]

2226: \centering

2227: \includegraphics[scale=0.55]{figures/3chords}

2228: \caption{The closed chord diagrams for $3$-soliton solutions. The dots on 

2229: each diagram indicates the pivots $(e_1,e_2,e_3)$,

2230: and the ordered numbers below the diagrams indicate $(g_1,g_2,g_3)$.

2231: The number of the diagrams having the same number of crossings is

2232: given by the generating function $F_3(q)=q^3+3q^2+6q +5$ where

2233: 5 is the Catalan number $C_3=F_3(0)$.}

2234: \label{f:3chords}

2235: \end{figure}

2236: 

2237: The subclass associated with the pivot configuration

2238: $\{1,2,3\}$ is isomorphic to the permutation group $\mathcal{S}_3$ acting on 

2239: $\{4,5,6\}$ to form the non-pivot sets $\{g_1,g_2,g_3\}$. These are

2240: arranged in the second column of Table ~\ref{t:nonpivot} according to

2241: the non-decreasing order of the $L^1$-norm $|{\bf \sigma}|=\sigma_1+\sigma_2+\sigma_3$ 

2242: of the respective inversion vectors in the second column 

2243: of Table ~\ref{t:nonpivot}. The corresponding set of diagrams forming a

2244: hexagon in Figure~\ref{f:3chords} is the permutahedron for $\mathcal{S}_3$.

2245: On the other hand when $\{e_1,e_2,e_3\} = \{1,2,4\}$ the non-pivot index $g_3$

2246: is chosen in $2 \times 3-4=2$ ways; $g_2$ is chosen in $2 \times 2-2=2$ ways;

2247: and obviously there is only one way to choose $g_1$. Thus, there are only

2248: 4 (instead of 6) possible ways the non-pivot columns 3,5 and 6 can be arranged to

2249: form the set $\{g_1,g_2,g_3\}$. This is due to the restriction that $g_3 \neq 3$

2250: because according to Proposition~\ref{P:combinatorics}, $g_3$ must be greater 

2251: than $e_3=4$. The chord diagrams with the pivot set $\{1,2,4\}$ form

2252: a square which is a subpolytope of the permutahedron of $\mathcal{S}_3$. We will discuss

2253: the polytope structure for the $N$-soliton solutions in \cite{CK}.

2254: 

2255: With the circular chord diagrams for the sets $\{e_1,\ldots,e_N\}$ and $\{g_1,\ldots,g_N\}$,

2256: one can easily find a $q$-analog of the function $m(e_1,\ldots,e_N)$ in Eq.~\eqref{e:numberg}

2257: defined by

2258: \[

2259: m(e_1,\ldots,e_N)(q)=\prod_{n=1}^N[2n-e_n]_q=\sum_{c=0}^{c_{max}}m_cq^c\,.

2260: \]

2261: Here $m_c$ gives the number of the circular chord diagram having $c$ crossings, and

2262: the maximum number of crossings for given $\{e_1,\ldots,e_N\}$ is~\cite{CK}

2263: \[c_{max} = N^2-\sum_{n=1}^Ne_n \,.

2264: \]

2265: For example, when $\{e_1,e_2,e_3\}=\{1,2,3\}$ and $\{e_1,e_2,e_3\}=\{1,2,4\}$, 

2266: we have 

2267: \[

2268: m(1,2,3)(q)=q^3+2q^2+2q+1 \qquad \mbox{and} \qquad  m(1,2,4)(q)=q^2+2q+1 \,,

2269: \]

2270: corresponding to the hexagon and square in Figure~\ref{f:3chords}.

2271: Note that $m(e_1,\ldots,e_N)(q=1)=m(e_1,\ldots,e_N)$. 

2272: One can also define a $q$-analog of the function $F_N$ in Eq.~\eqref{e:FN} which

2273: gives the number of circular chord diagrams having $c$ crossings for given $N$, i.e.

2274: the number of $N$-soliton solutions having $c$ T-type interactions among $N$ line solitons:

2275: \[

2276: F_N(q):=\sum_{\{e_1,\ldots,e_N\}}m(e_1,\ldots,e_N)(q)\,.

2277: \]

2278: For example, we have $F_3(q)=q^3+3q^2+6q+5$ as is evident from counting the number

2279: of circular chord diagrams (from bottom to top) at each crossing level in 

2280: Figure~\ref{f:3chords}.

2281: Note also that $F_N(1)=F_N$ and $F_N(0)=C_N$, the $N$-th Catalan number which

2282: equals the number of possible pivot configurations $[\{e_1,\ldots,e_N\}]$, as well as

2283: the number of chord diagrams with no crossings. The latter case yields the number

2284: of $N$-soliton solutions with only P- and O-type interactions among the $N$ line solitons.

2285: Furthermore, if we define the generating function by

2286: \[

2287: F(q,x):=\sum_{N=0}^{\infty}F_N(q)\, x^N\,,

2288: \]

2289: then it is possible to show that $F(q,x)$ can be expressed by the continued fraction 

2290: of the Stieltjes type,

2291: \[F(q,x)=\cfrac{1}{1-

2292:           \cfrac{x\,[1]_q}{1-

2293:            \cfrac{x\,[2]_q}{1- 

2294:             \cfrac{x\,[3]_q}{1-\cdots}}}} \,,

2295: \]

2296: with $F_0(q)=1$. A proof will be given in \cite{CK} (see also \cite{Kasraoui}).

2297: 

2298: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2299: \section*{Acknowledgments}

2300: 

2301: SC thanks Gino ~Biondini for useful discussions and some figures.

2302: This work was partially supported by the National Science Foundation 

2303: Grant No. DMS-0307181 and Grant No. DMS-0404931.

2304: 

2305: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2306: \catcode`\@ 11

2307: \def\journal#1&#2,#3 (#4){\begingroup \let\journal=\d@mmyjournal {\frenchspacing\sl #1\/\unskip\,} {\bf\ignorespaces #2}\rm, #3 (#4)\endgroup}

2308: \def\d@mmyjournal{\errmessage{Reference foul up: nested \journal macros}}

2309: \def\title#1{{``#1''}}

2310: \def\@biblabel#1{#1.}

2311: \catcode`\@ 12

2312: \begin{thebibliography}O

2313: \itemsep -1pt

2314: \parsep -1pt

2315: \small

2316: 

2317: \bibitem{AblowitzClarkson}

2318: M. J. Ablowitz and P. A. Clarkson,

2319: \textit{Solitons, nonlinear evolution equations and inverse scattering}

2320: (Cambridge University Press, Cambridge, 1991) 

2321: 

2322: \bibitem{BC}

2323: G. Biondini and S. Chakravarty,

2324: \title{Soliton solutions of the Kadomtsev-Petviashvili II equation},

2325: \journal J. Math. Phys. &47, 033514 (2006)

2326: 

2327: \bibitem{BCa}

2328: G. Biondini and S. Chakravarty,

2329: \title{Elastic and inelastic line-soliton solutions of the 

2330: Kadomtsev-Petviashvili II equation},

2331: \journal Math. Comp. Simul. &74, {237--250} (2007)

2332: 

2333: \bibitem{jphysa36p10519}

2334: G. Biondini and Y. Kodama,

2335: \title{On a family of solutions of the Kadomtsev-Petviashvili equation which 

2336: also satisfy the Toda lattice hierarchy},

2337: \journal J.\ Phys. A &36, 10519--10536 (2003)

2338: 

2339: \bibitem{Bona}

2340: M. B\'{o}na,

2341: \textit{Combinatorics of Permutations} (Chapman \& Hall/CRC, Boca Raton, 2004)

2342: 

2343: %\bibitem{Brenti}

2344: %F. Brenti,

2345: %\title{Unimodal polynomials arising from symmetric functions},

2346: %\journal Proc. Amer. math. Soc. &106, {1133--1141} (1990)

2347: 

2348: \bibitem{CK}

2349: S. Chakravarty and Y. Kodama,

2350: \title{Combinatorics and geometry of the $N$-soliton solutions

2351: of the KP equation}, in preparation.

2352: 

2353: \bibitem{corteel:07}

2354: S. Corteel,

2355: \title{Crossings and alignments of permutations},

2356: \journal Adv. Appl. Math. &38, {149--163} (2007).

2357: 

2358: \bibitem{Freeman}

2359: N. C. Freeman, 

2360: \title{Soliton interactions in two dimensions,}

2361: \journal Adv. in Appl. Mech. &20, {1--37} (1980) 

2362: 

2363: \bibitem{PLA95p1}

2364: N. C. Freeman and J. J. C. Nimmo,

2365: \title{Soliton-solutions of the Korteweg-deVries and

2366: Kadomtsev-Petviashvili equations: the Wronskian technique}

2367: \journal Phys. Lett. &95A, {1--3} (1983)

2368: 

2369: \bibitem{Hirota}

2370: R Hirota,

2371: \textit{The Direct Method in Soliton Theory}

2372: (Cambridge University Press, Cambridge, 2004)

2373: 

2374: \bibitem{InfeldRowlands}

2375: E. Infeld and G. Rowlands,

2376: \textit{Nonlinear waves, solitons and chaos} (Cambridge University Press, Cambridge, 2000)

2377: 

2378: \bibitem{SovPhysDoklady15p539} 

2379: B. B. Kadomtsev and V. I. Petviashvili,

2380: \title{On the stability of solitary waves in weakly dispersing media}

2381: \journal Sov. Phys. Doklady &15, {539--541} (1970)

2382: 

2383: \bibitem{Kasraoui}

2384: A. Kasraoui and J. Zeng,

2385: \title{Distribution of crossings, nestings and alignments of two edges in matchings and partitions},

2386: \journal Elect. J. Comb., &13, \# R33, {1-12} (2006).

2387: 

2388: \bibitem{Kodama}

2389: Y. Kodama, 

2390: \title{Young diagrams and $N$-soliton solutions of the KP equation}, 

2391: \journal J. Phys. A &37, {11169--11190} (2004)

2392: 

2393: \bibitem{MatveevSalle}

2394: V. B. Matveev and M. A. Salle,

2395: \textit{Darboux Transformations and Solitons} (Springer-Verlag, Berlin 1991)

2396: 

2397: \bibitem{medina}

2398: E. Medina,

2399: \title{An $N$ Soliton Resonance for the KP Equation: Interaction with Change of

2400: Form and Velocity},

2401: \journal Lett. Math. Phys. &62, {91--99} (2002)

2402: 

2403: \bibitem{JFM1977v79p171}

2404: J. W. Miles,

2405: \title{Diffraction of solitary waves},

2406: \journal J. Fluid Mech. &79, {171--179} (1977)

2407: 

2408: \bibitem{MiwaJimboDate} 

2409: T. Miwa and M. Jimbo and E. Date,

2410: \textit{Solitons: differential equations, symmetries and infinite-dimensional

2411: algebras} (Cambridge University Press, Cambridge, 2000)

2412: 

2413: \bibitem{NewellRedekopp}

2414: A. C. Newell and L. Redekopp, 

2415: \title{Breakdown of Zakharov-Shabat theory and soliton creation,}

2416: \journal Phys. Rev. Lett. &38, 377--380 (1977) 

2417: 

2418: \bibitem{NMPZ1984}

2419: S. P. Novikov, S. V. Manakov, L. P. Pitaevskii and V. E. Zakharov,

2420: \textit{Theory of Solitons. The Inverse Scattering Transform}

2421: (Plenum, New York, 1984)

2422: 

2423: \bibitem{JPSJ1983v52p749}

2424: K. Ohkuma and M. Wadati, 

2425: \title{The {Kadomtsev-Petviashvili} equation: the trace method and the soliton resonances}, 

2426: \journal J. Phys. Soc. Japan &52, {749--760} (1983)

2427: 

2428: \bibitem{pashaev}

2429: O. Pashaev and M. Francisco,

2430: \title{Degenerate Four Virtual Soliton Resonance for the KP-II},

2431: \journal Theor. Math. Phys. &144, 1022--1029 (2005) 

2432: 

2433: \bibitem{postnikov:06}

2434: A. Postnikov,

2435: \title{Total positivity, Grassmannians, and networks},(math.CO/0609764).

2436: 

2437: \bibitem{Roselle}

2438: D. P. Roselle

2439: \title{Permutations by Number of Rises and Successions},

2440: \journal Proc. Amer. Math. Soc. &19, {8--16} (1968)

2441: 

2442: \bibitem{Sato}

2443: M. Sato,

2444: \title{Soliton equations as dynamical systems on an infinite dimensional

2445: Grassmannian manifold},

2446: \journal RIMS Kokyuroku &439, {30--46} (1981)

2447: 

2448: \bibitem{Stanley}

2449: R. P. Stanley,

2450: \textit{Enumerative Combinatorics -- Volume~2},

2451: Cambridge studies in Advanced Mathematics 

2452: (Cambridge University Press, Cambridge, 1997)

2453: 

2454: \bibitem{williams:05}

2455: L. K. Williams,

2456: \title{Enumeration of totally positive Grassmann cells},

2457: \journal Adv. Math. &190, {319--342} (2005).

2458: 

2459: \end{thebibliography}

2460: 

2461: \end{document}

2462: