\section{Introduction}
A.A. Ungar has studied the $c$-ball of relativistically admissible velocities with Einstein velocity addition for many years. The Einstein velocity addition $\oplus _{E}$ is given as the following: $$\mathbf{u}\oplus _{E}\mathbf{v}=\frac{1}{1+\frac{\mathbf{u}\cdot \mathbf{v}}{c^{2}}}(\mathbf{u}+\frac{1}{\gamma _{\mathbf{u}}}\mathbf{v}+\frac{1}{c^{2}}\frac{\gamma _{\mathbf{u}}}{1+\gamma _{\mathbf{u}}}(\mathbf{u}\cdot \mathbf{v})\mathbf{u}),$$ where $\mathbf{u,v}\in \mathbb{R}_{c}^{3}=\{\mathbf{v}\in \mathbb{R}^{3}:||\mathbf{v}||<c\}$ and $\gamma _{\mathbf{u}}$ is given by $$\gamma _{\mathbf{u}}=\frac{1}{\sqrt{1-\frac{\mathbf{u}\cdot \mathbf{u}}{c^{2}}}}.$$ During this time, he defined the gyrogroup in \cite{UA2002}. By the definition of a gyrogroup, it is easy to see that every group is a gyrogroup. For more studies about gyrogroups, see \cite{FM, FM1,FM2,UA1988,UA,UA2005}. By the development of gyrogroups, W. Atiponrat \cite{AW} equipped gyrogroups with a topology and posed the concept of topological gyrogroups. A topological gyrogroup, that is, a gyrogroup $G$ is endowed with a topology such that the binary operation $\oplus: G\times G\rightarrow G$ is jointly continuous and the inverse mapping $\ominus (\cdot): G\rightarrow G$, i.e. $x\rightarrow \ominus x$, is also continuous. Then Cai, Lin and He in \cite{CZ} proved that every topological gyrogroup is a rectifiable space. A series of results on topological gyrogroups have been obtained in \cite{AA2010,BZX,BZX2,LF,LF1,LF2}

By the further research of M\"{o}bius gyrogroups, Einstein gyrogroups, and Proper Velocity gyrogroups, Bao and Lin \cite{BL} found that all of them have an open neighborhood base at the identity element $0$ which is invariant under the groupoid automorphism with standard topology. Therefore, they posed the concept of strongly topological gyrogroups. At the same time, they proved that a strongly topological gyrogroup $G$ is feathered if and only if it contains a compact $L$-subgyrogroup $H$ such that the quotient space $G/H$ is metrizable, which implies that every feathered strongly topological gyrogroup is paracompact. Then they \cite{BL1} obtained that every $T_{0}$ strongly topological gyrogroup is completely regular and every strongly topological gyrogroup with a countable pseudocharacter is submetrizable. In \cite{BL2}, it was shown that all locally paracompact strongly topological gyrogroups are paracompact. By the study in \cite{BL3}, Bao and Lin studied the class of (strongly) topological gyrogroups with a non-measurable cardinality and they proved that every submaximal topological gyrogroup of non-measurable cardinality is strongly $\sigma$-discrete and every submaximal strongly topological gyrogroup of non-measurable cardinality is hereditarily paracompact. More important, they extended the cardinality of topological gyrogroups since they gave an example to show that for any cardinality $\kappa >\omega$, there exists a gyrogroup $G$ with subgyrogroup $H$ of the cardinality $\kappa$ such that $H$ is not a group, see \cite[Example 3.1]{BL3}. Moreover, when Bao and Lin researched the quotient spaces of strongly topological gyrogroups, they posed the concept of an admissible subgyrogroup generated from the invariant neighborhood base, and they proved in \cite{BL1} that if $H$ is an admissible subgyrogroup generated from $\mathscr{U}$ of a strongly topological gyrogroup $G$, where $\mathscr U$ is a symmetric neighborhood base at $0$, then the left coset space $G/H$ is submetrizable. Recently, Bao, Ling and Xu \cite{BLX} were continue to study the quotient spaces of strongly topological gyrogroups and achieved many well results combining generalized metric properties, such as $\aleph_{0}$-space, cosmic space, stratifiable space and so on. Bao, Zhang and Xu \cite{BZX1} showed that $G$ is a strongly countably complete strongly topological gyrogroup, then $G$ contains a closed, countably compact admissible subgyrogroup $P$ such that the quotient space $G/P$ is metrizable and the canonical homomorphism $\pi :G\rightarrow G/P$ is closed.

In topological gyrogroups, it was proved in \cite{CZ} that the first-countability and metrizability are equivalent, so it is natural to consider whether they are equivalent in quotient spaces of topological gyrogroups. In this paper, we show that if $(G,\tau ,\oplus)$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ is an admissible subgyrogroup generated from $\mathscr U$, then the first-countability and metrizability of $G/H$ are also equivalent. Moreover, if the admissible subgyrogroup $H$ is neutral, we show that $G/H$ is Fr\'echet-Urysohn with an $\omega^{\omega}$-base if and only if it is metrizable. Finally, we investigate the cardinalities of the quotient spaces and prove that if $H$ is neutral, then $\pi\chi(G/H)=\chi(G/H)$ and $\pi\omega (G/H)=\omega (G/H)$.

\smallskip
\section{Preliminaries}
In this section, we introduce the necessary notations, terminologies and some facts about topological gyrogroups.

Throughout this paper, all topological spaces are assumed to be Hausdorff, unless otherwise is explicitly stated. Let $\mathbb{N}$ be the set of all positive integers. Let $X$ be a topological space and $A \subseteq X$ be a subset of $X$.
  The {\it closure} of $A$ in $X$ is denoted by $\overline{A}$ and the
  {\it interior} of $A$ in $X$ is denoted by $\mbox{Int}(A)$. The readers may consult \cite{AA, E, linbook} for notations and terminologies not explicitly given here.
\begin{definition}\cite{AW}
Let $G$ be a nonempty set, and let $\oplus: G\times G\rightarrow G$ be a binary operation on $G$. Then the pair $(G, \oplus)$ is called a {\it groupoid}. A function $f$ from a groupoid $(G_{1}, \oplus_{1})$ to a groupoid $(G_{2}, \oplus_{2})$ is called a {\it groupoid homomorphism} if $f(x\oplus_{1}y)=f(x)\oplus_{2} f(y)$ for any elements $x, y\in G_{1}$. Furthermore, a bijective groupoid homomorphism from a groupoid $(G, \oplus)$ to itself will be called a {\it groupoid automorphism}. We write $\mbox{Aut}(G, \oplus)$ for the set of all automorphisms of a groupoid $(G, \oplus)$.
\end{definition}

\begin{definition}\cite{UA}
Let $(G, \oplus)$ be a groupoid. The system $(G,\oplus)$ is called a {\it gyrogroup}, if its binary operation satisfies the following conditions:

\smallskip
(G1) There exists a unique identity element $0\in G$ such that $0\oplus a=a=a\oplus0$ for all $a\in G$.

\smallskip
(G2) For each $x\in G$, there exists a unique inverse element $\ominus x\in G$ such that $\ominus x \oplus x=0=x\oplus (\ominus x)$.

\smallskip
(G3) For all $x, y\in G$, there exists $\mbox{gyr}[x, y]\in \mbox{Aut}(G, \oplus)$ with the property that $x\oplus (y\oplus z)=(x\oplus y)\oplus \mbox{gyr}[x, y](z)$ for all $z\in G$.

\smallskip
(G4) For any $x, y\in G$, $\mbox{gyr}[x\oplus y, y]=\mbox{gyr}[x, y]$.
\end{definition}

Notice that a group is a gyrogroup $(G,\oplus)$ such that $\mbox{gyr}[x,y]$ is the identity function for all $x, y\in G$. The definition of a subgyrogroup is as follows.

\begin{definition}\cite{ST}
Let $(G,\oplus)$ be a gyrogroup. A nonempty subset $H$ of $G$ is called a {\it subgyrogroup}, denoted
by $H\leq G$, if the following statements hold:

\smallskip
(i) The restriction $\oplus| _{H\times H}$ is a binary operation on $H$, i.e. $(H, \oplus| _{H\times H})$ is a groupoid.

\smallskip
(ii) For any $x, y\in H$, the restriction of $\mbox{gyr}[x, y]$ to $H$, $\mbox{gyr}[x, y]|_{H}$ : $H\rightarrow \mbox{gyr}[x, y](H)$, is a bijective homomorphism.

\smallskip
(iii) $(H, \oplus|_{H\times H})$ is a gyrogroup.

\smallskip
Furthermore, a subgyrogroup $H$ of $G$ is said to be an {\it $L$-subgyrogroup} \cite{ST}, denoted
by $H\leq_{L} G$, if $\mbox{gyr}[a, h](H)=H$ for all $a\in G$ and $h\in H$.

\end{definition}

\begin{definition}\cite{AW}
A triple $(G, \tau, \oplus)$ is called a {\it topological gyrogroup} if the following statements hold:

\smallskip
(1) $(G, \tau)$ is a topological space.

\smallskip
(2) $(G, \oplus)$ is a gyrogroup.

\smallskip
(3) The binary operation $\oplus: G\times G\rightarrow G$ is jointly continuous while $G\times G$ is endowed with the product topology, and the operation of taking the inverse $\ominus (\cdot): G\rightarrow G$, i.e. $x\rightarrow \ominus x$, is also continuous.
\end{definition}

\begin{definition}{\rm (\cite{BL})}\label{d11}
Let $G$ be a topological gyrogroup. We say that $G$ is a {\it strongly topological gyrogroup} if there exists a neighborhood base $\mathscr U$ of $0$ such that, for every $U\in \mathscr U$, $\mbox{gyr}[x, y](U)=U$ for any $x, y\in G$. For convenience, we say that $G$ is a strongly topological gyrogroup with neighborhood base $\mathscr U$ at $0$.
\end{definition}

It was given that the M\"{o}bius gyrogroup with the standard topology is a strongly topological gyrogroup but not a topological group.

\begin{example}\cite{AW}\label{2lz1}
The M\"{o}bius gyrogroup with the standard topology is a strongly topological gyrogroup but not a topological group.
\end{example}

Let $\mathbb{D}$ be the complex open unit disk $\{z\in \mathbb{C}:|z|<1\}$ and equipped with the standard topology. In \cite[Example 2]{AW}, define a M\"{o}bius addition $\oplus _{M}: \mathbb{D}\times \mathbb{D}\rightarrow \mathbb{D}$ to be a function such that $$a\oplus _{M}b=\frac{a+b}{1+\bar{a}b}\ \mbox{for all}\ a, b\in \mathbb{D}.$$ Then $(\mathbb{D}, \oplus _{M})$ is a gyrogroup, and it follows from \cite[Example 2]{AW} that $$gyr[a, b](c)=\frac{1+a\bar{b}}{1+\bar{a}b}c\ \mbox{for any}\ a, b, c\in D.$$ For any $n\in\omega$, let $U_{n}=\{x\in \mathbb{D}: |x|\leq \frac{1}{n}\}$. Then, $\mathscr U=\{U_{n}: n\in \omega\}$ is a neighborhood base of $0$. Moreover, we observe that $|\frac{1+a\bar{b}}{1+\bar{a}b}|=1$. Therefore, we obtain that $gyr[x, y](U)\subset U$, for any $x, y\in \mathbb{D}$ and each $U\in \mathscr U$, then it follows that $gyr[x, y](U)=U$ by \cite[Proposition 2.6]{ST}. Hence, $(\mathbb{D}, \oplus _{M})$ is a strongly topological gyrogroup. However, $(\mathbb{D}, \oplus _{M})$ is not a group \cite[Example 2]{AW}.

It was proved in \cite[Example 3.2]{BL} that there exists a strongly topological gyrogroup which has an infinite L-subgyrogroup. They constructed a strongly topological gyrogroup by the production of a feathered non-metrizable topological group with a strongly topological gyrogroup with a non-trivial $L$-subgyrogroup. Indeed, every strongly topological gyrogroup has some subgyrogroups which are invariant under the groupoid automorphisms of the strongly topological gyrogroup, so these subgyrogroups are all $L$-subgyrogroups.

\begin{theorem}
Every strongly topological gyrogroup $G$ contains some subgyrogroups which are invariant under the groupoid automorphisms of $G$.
\end{theorem}

\begin{proof}
Let $G$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$. For arbitrary $U\in \mathscr{U}$, we know that $U=\ominus U$ and $0\in U$. Put $U_{0}=U$ and $U_{n}=\ominus (U_{n-1}\oplus U_{n-1})\cup (U_{n-1}\oplus U_{n-1})$ for any $n\in \mathbb{N}$. Set $H=\bigcup_{n\in \mathbb{N}}U_{n}$.

{\bf Claim 1}. $H$ is a subgyrogroup of $G$.

By the construction of $H$, it is clear that $H=\ominus H$. For arbitrrary $m,n\in H$, we know that $m,n\in U_{n}$, for some $n\in \mathbb{N}$. Then, $m\oplus n\in U_{n}\oplus U_{n}\subset U_{n+1}\subset H$, so $H$ is a subgyrogroup by \cite[Proposition 4.1]{ST}.

{\bf Claim 2}. $H$ is invariant under the groupoid automorphisms of $G$.

For any $x,y\in G$, we show that $gyr[x,y](U_{n})=U_{n}$ for any $n\in \mathbb{N}$. If $n=0$, it is obvious that $gyr[x,y](U)=U$ since $U\in \mathscr{U}$. Assume that if $n=k$, we have $gyr[x,y](U_{k})=U_{k}$. Then when $n=k+1$,
\begin{eqnarray}
gyr[x,y](U_{k+1})&=&gyr[x,y](\ominus (U_{k}\oplus U_{k})\cup (U_{k}\oplus U_{k}))\nonumber\\
&=&\ominus (gyr[x,y](U_{k})\oplus gyr[x,y](U_{k}))\cup (gyr[x,y](U_{k})\oplus gyr[x,y](U_{k}))\nonumber\\
&=&\ominus (U_{k}\oplus U_{k})\cup (U_{k}\oplus U_{k})\nonumber\\
&=&U_{k+1}\nonumber.
\end{eqnarray}

Therefore, we obtain that $gyr[x,y](H)=gyr[x,y](\bigcup_{n\in \mathbb{N}}U_{n})=\bigcup gyr[x,y](U_{n})=\bigcup_{n\in \mathbb{N}}U_{n}=H$ for any $x,y\in G$.
\end{proof}

Since the subgyrogroup $H$ is invariant under the groupoid automorphisms of $G$, it is natural that $H$ is an $L$-subgyrogroup of $G$. Then we recall the following concept of the coset space of a topological gyrogroup.

Let $(G, \tau, \oplus)$ be a topological gyrogroup and $H$ an $L$-subgyrogroup of $G$. It follows from \cite[Theorem 20]{ST} that $G/H=\{a\oplus H:a\in G\}$ is a partition of $G$. We denote by $\pi$ the mapping $a\mapsto a\oplus H$ from $G$ onto $G/H$. Clearly, for each $a\in G$, we have $\pi^{-1}\{\pi(a)\}=a\oplus H$.
Denote by $\tau (G)$ the topology of $G$. In the set $G/H$, we define a family $\tau (G/H)$ of subsets as follows: $$\tau (G/H)=\{O\subset G/H: \pi^{-1}(O)\in \tau (G)\}.$$

The following concept of an admissible subgyrogroup of a strongly topological gyrogroup was first introduced in \cite{BL1}, which plays an important role in this paper.

\begin{definition}\cite{BL1}
A subgyrogroup $H$ of a topological gyrogroup $G$ is called {\it admissible} if there exists a sequence $\{U_{n}:n\in \omega\}$ of open symmetric neighborhoods of the identity $0$ in $G$ such that $U_{n+1}\oplus (U_{n+1}\oplus U_{n+1})\subset U_{n}$ for each $n\in \omega$ and $H=\bigcap _{n\in \omega}U_{n}$.
\end{definition}

If $G$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and each $U_{n}\in \mathscr U$, we say that the admissible topological subgyrogroup is generated from $\mathscr U$. It was shown in \cite{BL2} that if $G$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$, then each admissible topological subgyrogroup $H$ generated from $\mathscr U$ is a closed $L$-subgyrogroup of $G$.

\section{Coset with admissible subgyrogroups}

In this section, we show that if $(G,\tau ,\oplus)$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ is an admissible subgyrogroup generated from $\mathscr U$, then the first-countability and metrizability are equivalent in the quotient space $G/H$.

Moreover, it was proved in \cite{BZX2} that a topological gyrogroup is metrizable if and only if it is Fr\'echet-Urysohn with an $\omega^{\omega}$-base, then it is natural to consider whether it holds in the quotient spaces of topological gyrogroups. Here we just investigate the quotient spaces of strongly topological gyrogroups. Therefore, we pose the following problem.

\begin{question}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$, whether the condition $G/H$ is metrizable if and only if it is Fr\'echet-Urysohn with an $\omega^{\omega}$-base also holds? In particular, what if $H$ is neutral?
\end{question}

Then we give an affirmative answer about the question when $H$ is neutral, see Corollary \ref{3tl1}. First, we recall some lemmas.

\begin{lemma}\cite{BL1}\label{yl1}
Let $(G, \tau, \oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$. If $H$ is an admissible subgyrogroup generated from $\mathscr U$, then the coset space $G/H$ is a homogenous space.
\end{lemma}

\begin{lemma}\label{s}\cite{BL}
Let $G$ be a strongly topological gyrogroup with the symmetric neighborhood base $\mathscr{U}$ at $0$, and let $\{U_{n}: n\in\mathbb{N}\}$ and $\{V(m/2^{n}): n, m\in\mathbb{N}\}$ be two sequences of open neighborhoods satisfying the following conditions (1)-(5):

\smallskip
(1) $U_{n}\in\mathscr{U}$ for each $n\in \mathbb{N}$.

\smallskip
(2) $U_{n+1}\oplus U_{n+1}\subset U_{n}$, for each $n\in \mathbb{N}$.

\smallskip
(3) $V(1)=U_{0}$;

\smallskip
(4) For any $n\geq 1$, put $$V(1/2^{n})=U_{n}, V(2m/2^{n})=V(m/2^{n-1})$$ for $m=1,...,2^{n-1}$, and $$V((2m+1)/2^{n})=U_{n}\oplus V(m/2^{n-1})=V(1/2^{n})\oplus V(m/2^{n-1})$$ for each $m=1,...,2^{n-1}-1$;

\smallskip
(5) $V(m/2^{n})=G$ when $m>2^{n}$;

\smallskip
Then there exists a prenorm $N$ on $G$ that satisfies the following conditions:

\smallskip
(a) for any fixed $x, y\in G$, we have $N(\mbox{gyr}[x,y](z))=N(z)$ for any $z\in G$;

\smallskip
(b) for any $n\in \mathbb{N}$, $$\{x\in G: N(x)<1/2^{n}\}\subset U_{n}\subset\{x\in G: N(x)\leq 2/2^{n}\}.$$
\end{lemma}

\begin{theorem}\label{h}
Suppose that $(G,\tau ,\oplus)$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ is an admissible subgyrogroup generated from $\mathscr U$, if the quotient space $G/H$ is first-countable, then it is metrizable.
\end{theorem}

\begin{proof}
Let $\{U_{n}:n\in \mathbb{N}\}$ be a sequence of symmetric open neighborhoods of the identity $0$ in $G$ satisfying $U_{n}\in \mathscr U$ and $U_{n+1}\oplus (U_{n+1}\oplus U_{n+1})\subset U_{n}$, for each $n\in \mathbb{N}$, and such that $H=\bigcap _{n\in \mathbb{N}}U_{n}$. By Lemma \ref{s}, there exists a continuous prenorm $N$ on $G$ which satisfies $$N(\mbox{gyr}[x,y](z))=N(z)$$ for any $x, y, z\in G$ and $$\{x\in G: N(x)<1/2^{n}\}\subset U_{n}\subset\{x\in G: N(x)\leq 2/2^{n}\},$$ for any $n\in \mathbb{N}$.

First, we show that $N(x)=0$ if and only if $x\in H$. If $N(x)=0$, then $$x\in \bigcap _{n\in \mathbb{N}}\{x\in G:N(x)<1/2^{n}\}\subset \bigcap _{n\in \mathbb{N}}U_{n}=H.$$ On the other hand, if $x\in H$, since $$H=\bigcap _{n\in \mathbb{N}}U_{n}\subset \bigcap _{n\in \mathbb{N}}\{x\in G:N(x)\leq 2/2^{n}\},$$ we have that $N(x)=0$.

We claim that $N(x\oplus h)=N(x)$ for every $x\in G$ and $h\in H$. Indeed, for every $x\in G$ and $h\in H$, $N(x\oplus h)\leq N(x)+N(h)=N(x)+0=N(x)$. Moreover, by the definition of $N$, we observe that $N(\mbox{gyr}[x,y](z))=N(z)$ for every $x,y,z\in G$. Since $H$ is a $L$-subgyrogroup, it follows that
\begin{eqnarray}
N(x)&=&N((x\oplus h)\oplus \mbox{gyr}[x,h](\ominus h))\nonumber\\
&\leq&N(x\oplus h)+N(\mbox{gyr}[x,h](\ominus h))\nonumber\\
&=&N(x\oplus h)+N(\ominus h)\nonumber\\
&=&N(x\oplus h).\nonumber
\end{eqnarray}
Therefore, $N(x\oplus h)=N(x)$ for every $x\in G$ and $h\in H$.

Now define a function $d$ from $G\times G$ to $\mathbb{R}$ by $d(x,y)=|N(x)-N(y)|$ for all $x,y\in G$. Obviously, $d$ is continuous. We show that $d$ is a pseudometric.

\smallskip
(1) For any $x, y\in G$, if $x=y$, then $d(x, y)=|N(x)-N(y)|=0$.

\smallskip
(2) For any $x, y\in G$, $d(y, x)=|N(y)-N(x)|=|N(x)-N(y)|=d(x, y)$.

\smallskip
(3) For any $x, y, z\in G$, we have
\begin{eqnarray}
d(x, y)&=&|N(x)-N(y)|\nonumber\\
&=&|N(x)-N(z)+N(z)-N(y)|\nonumber\\
&\leq&|N(x)-N(z)|+|N(z)-N(y)|\nonumber\\
&=&d(x, z)+d(z, y).\nonumber
\end{eqnarray}

If $x'\in x\oplus H$ and $y'\in y\oplus H$, then there exist $h_{1},h_{2}\in H$ such that $x'=x\oplus h_{1}$ and $y'=y\oplus h_{2}$, then $$d(x', y')=|N(x\oplus h_{1})-N(y\oplus h_{2})|=|N(x)-N(y)|=d(x, y).$$ This enables us to define a function $\varrho $ on $G/H\times G/H$ by $$\varrho (\pi _{H}(x),\pi _{H}(y))=d(\ominus x\oplus y, 0)+d(\ominus y\oplus x, 0)$$ for any $x, y\in G$.

It is obvious that $\varrho $ is continuous, and we verify that $\varrho $ is a metric on $G/H$.

\smallskip
(1) Obviously, for any $x, y\in G$, then
\begin{eqnarray}
\varrho (\pi _{H}(x),\pi _{H}(y))=0&\Leftrightarrow&d(\ominus x\oplus y, 0)=d(\ominus y\oplus x, 0)=0\nonumber\\
&\Leftrightarrow&N(\ominus x\oplus y)=N(\ominus y\oplus x)=0\nonumber\\
&\Leftrightarrow&\ominus x\oplus y\in H\ \mbox{and}\ \ominus y\oplus x\in H\nonumber\\
&\Leftrightarrow&y\in x\oplus H\ \mbox{and}\ x\in y\oplus H\nonumber\\
&\Leftrightarrow&\pi _{H}(x)=\pi _{H}(y).\nonumber
\end{eqnarray}

\smallskip
(2) For every $x,y\in G$, it is obvious that $\varrho (\pi _{H}(y), \pi _{H}(x))=\varrho (\pi _{H}(x),\pi _{H}(y))$.

\smallskip
(3) For every $x, y, z\in G$, it follows from \cite[Theorem 2.11]{UA2005} that
\begin{eqnarray}
\varrho (\pi _{H}(x),\pi _{H}(y))&=&N(\ominus x\oplus y)+N(\ominus y\oplus x)\nonumber\\
&=&N((\ominus x\oplus z)\oplus \mbox{gyr}[\ominus x,z](\ominus z\oplus y))\nonumber\\
&&+N((\ominus y\oplus z)\oplus \mbox{gyr}[\ominus y,z](\ominus z\oplus x))\nonumber\\
&\leq&N(\ominus x\oplus z)+N(\mbox{gyr}[\ominus x,z](\ominus z\oplus y))\nonumber\\
&&+N(\ominus y\oplus z)+N(\mbox{gyr}[\ominus y,z](\ominus z\oplus x))\nonumber\\
&=&N(\ominus x\oplus z)+N(\ominus z\oplus y)+N(\ominus y\oplus z)+N(\ominus z\oplus x)\nonumber\\
&=&d(\ominus x\oplus z, 0)+d(\ominus z\oplus x, 0)+d(\ominus z\oplus y, 0)+d(\ominus y\oplus z, 0)\nonumber\\
&=&\varrho (\pi _{H}(x),\pi _{H}(z))+\varrho (\pi _{H}(z),\pi _{H}(y)).\nonumber
\end{eqnarray}

Then we verify that $\varrho$ generates the quotient topology of the space $G/H$. Given any points $x\in G$, $y\in G/H$ and any $\varepsilon>0$, we define open balls, $$B(x, \varepsilon)=\{x'\in G: d(x',x)<\varepsilon\}$$ and $$B^{*}(y, \varepsilon)=\{y'\in G/H: \varrho (y',y)<\varepsilon\}$$ in $G$ and $G/H$, respectively. Obviously, if $x\in G$ and $y=\pi _{H}(x)$, then we have $B(x, \varepsilon)=\pi ^{-1}_{H}(B^{*}(y, \varepsilon))$. Therefore, the topology generated by $\varrho$ on $G/H$ is coarser than the quotient topology.

Moreover, it follows from Lemma \ref{yl1} that the quotient space $G/H$ is homogenous. Since $G/H$ is first-countable, there exists a countable base $\mathcal{V}=\{V_{n}:n\in \mathbb{N}\}$ at $\pi (0)$ in $G/H$. As $\pi$ is an open and continuous mapping from $G$ onto $G/H$ by \cite[Theorem 3.7]{BL}, $\pi(W)$ is an open neighborhood of $\pi(0)$ for arbitrary open neighborhood $W$ of $\pi^{-1}(\pi(0))$. We can find $V_{m}\in \mathcal{V}$ such that $\pi(0)\subset V_{m}\subset \pi(W)$. Then $\pi^{-1}(\pi(0))\subset \pi^{-1}(V_{m})\subset W$. Then $H$ has a countable character in $G$. Suppose that the preimage $O=\pi ^{-1}_{H}(Q)$ is open in $G$, where $Q$ is a non-empty subset of $G/H$. For every $y\in Q$, we have $\pi ^{-1}_{H}(y)=x\oplus H\subset O$, where $x$ is an arbitrary point of the fiber $\pi ^{-1}_{H}(y)$. Since $\{\pi^{-1}(V_{n}): n\in \omega\}$ is a base for $G$ at $H$, there exists $n\in \omega$ such that $x\oplus \pi^{-1}(V_{n})\subset O$. Then there exists $\delta>0$ such that $B(x, \delta)\subset x\oplus \pi^{-1}(V_{n})$. Therefore, we have $\pi ^{-1}_{H}(B^{*}(y, \delta))=B(x, \delta)\subset x\oplus \pi^{-1}(V_{n})\subset O$. It follows that $B^{*}(y, \delta)\subset Q$. So the set $Q$ is the union of a family of open balls in $(G/H, \varrho)$. Hence, $Q$ is open in $(G/H, \varrho)$, which proves that the metric and quotient topologies on $G/H$ coincide.
\end{proof}

\begin{corollary}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. Then $G/H$ is metrizable if and only if it is first-countable.
\end{corollary}

\begin{corollary}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. If $H$ has countable character in $G$, then the quotient space $G/H$ is metrizable.
\end{corollary}

\begin{proof}
Since $H$ has countable character in $G$, we can fix a family $\{U_{n}:n\in \mathbb{N}\}$ of open sets such that $H\subset \bigcap_{n\in \mathbb{N}} U_{n}$ and for every open subset $U$ with $H\subset U$, there exists $n\in \mathbb{N}$ such that $H\subset U_{n}\subset U$. Let $\pi$ be the natural homomorphism from $G$ to $G/H$. We claim that $\{ \pi(U_{n}):n\in \mathbb{N}\}$ is a neighborhood base at $\pi(0)$ in $G/H$. Indeed, for every open neighborhood $V$ of $\pi(0)$ in $G/H$, we have that $H\subset \pi^{-1}(V)$. Obviously, $\pi^{-1}(V)$ is open in $G$. Hence, there exists $n\in \mathbb{N}$ such that $H\subset U_{n}\subset \pi^{-1}(V)$. Thus $\pi (U_{n})\subset V$. Consequently,$\{\pi (U_{n}):n\in \mathbb{N}\}$ is a neighborhood base at $\pi(0)$ in $G/H$. Moreover, it follows from Lemma \ref{yl1} that the quotient space $G/H$ is homogenous. Therefore, $G/H$ is first-countable and hence metrizable by Theorem \ref{h}.
\end{proof}

An $L$-subgyrogroup $H$ of a topological gyrogroup $G$ is called {\it neutral} if for every open neighborhood $U$ of $0$ in $G$, there exists an open neighborhood $V$ of $0$ such that $H\oplus V\subset U\oplus H$ (equivalently, $V\oplus H\subset H\oplus U$).

\begin{lemma}\label{4yl1}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. If $H$ is neutral and the sequences $\{a_{n}\}_{n\in \mathbb{N}}$ and $\{b_{n}\}_{n\in \mathbb{N}}$ satisfy $\{\pi (a_{n})\}_{n\in \mathbb{N}}$ and $\{\pi (b_{n})\}_{n\in \mathbb{N}}$ both converging to $\pi (0)$, then $\{\pi (\ominus a_{n})\}_{n\in \mathbb{N}}$ and $\{\pi (a_{n}\oplus b_{n})\}_{n\in \mathbb{N}}$ both converge to $\pi (0)$.
\end{lemma}

\begin{proof}
By the hypothesis, $G$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ is an admissible subgyrogroup generated from $\mathscr U$, so $gyr[x,y](H)=H$ for each $x,y\in G$ by the proof of \cite[Theorem 3.2]{BL2}. Let $O$ be an open neighborhood of $\pi (0)$ in $G/H$. There exists $U\in \mathscr U$ such that $\pi (U\oplus U)\subset O$. Since $H$ is neutral, we can find $V\in \mathscr U$ with $H\oplus V\subset U\oplus H$.

First, we show that $\{\pi (\ominus a_{n})\}_{n\in \mathbb{N}}$ converges to $\pi (0)$.

Since $\{\pi (a_{n})\}_{n\in \mathbb{N}}$ converges to $\pi (0)$, there exists $m\in \mathbb{N}$ such that $\pi (a_{n})\in \pi (V)$ for each $n\geq m$, that is, $a_{n}\in V\oplus H$ for each $n\leq m$, then there exists $v_{n}\in V$ and $h_{n}\in H$ such that $a_{n}=v_{n}\oplus h_{n}$. Then $$\ominus a_{n}=\ominus (v_{n}\oplus h_{n})=gyr[v_{n},h_{n}](\ominus h_{n}\ominus v_{n})\in gyr[v_{n},h_{n}](H\oplus V)=H\oplus V\subset U\oplus H.$$ Therefore, $\pi (\ominus a_{n})\in \pi (U\oplus H)=\pi (U)\subset \pi (U\oplus U)\subset O$ for each $n\geq m$. Thus, $\{\pi (\ominus a_{n})\}_{n\in \mathbb{N}}$ converges to $\pi (0)$.

Then we show that $\{\pi (a_{n}\oplus b_{n})\}_{n\in \mathbb{N}}$ converges to $\pi (0)$.

Since $\mathscr U$ is a symmetric neighborhood base at $0$ in $G$, there exists $W\in \mathscr U$ with $W\subset V\cap U$. As $\{\pi (a_{n})\}_{n\in \mathbb{N}}$ and $\{\pi (b_{n})\}_{n\in \mathbb{N}}$ both converge to $\pi (0)$, we can find $m\in \mathbb{N}$ such that $\pi (a_{n})\in \pi (W)$ and $\pi (b_{m})\in \pi (W)$ for each $n\geq m$, that is, $a_{n}\in W\oplus H$ and $b_{n}\in W\oplus H$. Then there are $w_{n_{1}},w_{n_{2}}\in W$ and $h_{n_{1}},h_{n_{2}}\in H$ such that $a_{n}=w_{n_{1}}\oplus h_{n_{1}}$ and $b_{n}=w_{n_{2}}\oplus h_{n_{2}}$. Then

\begin{eqnarray}
a_{n}\oplus b_{n}&=&(w_{n_{1}}\oplus h_{n_{1}})\oplus (w_{n_{2}}\oplus h_{n_{2}})\nonumber\\
&=&((w_{n_{1}}\oplus h_{n_{1}})\oplus w_{n_{2}})\oplus gyr[w_{n_{1}}\oplus h_{n_{1}},w_{n_{2}}](h_{n_{2}})\nonumber\\
&=&(w_{n_{1}}\oplus (h_{n_{1}}\oplus gyr[h_{n_{1}},w_{n_{1}}](w_{n_{2}})))\oplus gyr[w_{n_{1}}\oplus h_{n_{1}},w_{2}](h_{2})\nonumber\\
&\in&(W\oplus (H\oplus W))\oplus H\nonumber\\
&\subset&(U\oplus (U\oplus H))\oplus H\nonumber\\
&\subset&((U\oplus U)\oplus gyr[U,U](H))\oplus H\nonumber\\
&=&((U\oplus U)\oplus H)\oplus H.\nonumber
\end{eqnarray}

Therefore, we obtain that $\pi (a_{n}\oplus b_{n})\in \pi (((U\oplus U)\oplus H)\oplus H)=\pi (U\oplus U)\subset O$ for each $n\in \mathbb{N}$. Hence, $\{\pi (a_{n}\oplus b_{n})\}_{n\in \mathbb{N}}$ converges to $\pi (0)$.
\end{proof}

\begin{definition}\cite{FS}
Let $X$ be a topological space. A space is called Fr\'echet-Urysohn at a point $x\in X$ if for every $A\subset X$ with $x\in \overline{A}\subset X$ there is a sequence $\{x_{n}\}_{n\in \mathbb{N}}$ in $A$ such that $\{x_{n}\}_{n\in \mathbb{N}}$ converges to $x$ in $X$. A space is called Fr\'echet-Urysohn if it is Fr\'echet-Urysohn at every point $x\in X$.
\end{definition}

\begin{definition}\cite{CZ1}
A topological space $X$ is called a {\it strong $\alpha_{4}$-space} if for any subset $\{x_{m,n}:m,n\in \mathbb{N}\}\subset X$ with $lim_{n\rightarrow \infty}x_{m,n}=x\in X$ for each $m\in \mathbb{N}$, there are strictly increasing sequences of natural numbers $\{i_{k}\}_{k\in \mathbb{N}}$ and $\{j_{k}\}_{k\in \mathbb{N}}$ such that $lim _{k\rightarrow \infty}x_{i_{k},j_{k}}=x$.
\end{definition}

\begin{theorem}\label{4dl1}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. If $H$ is neutral and $G/H$ is Fr\'echet-Urysohn, then $G/H$ is a strong $\alpha_{4}$-space.
\end{theorem}

\begin{proof}
Let $\{x_{m,n}:m,n\in \mathbb{N}\}\subset G/H$ be such that $lim_{n\rightarrow \infty}x_{m,n}=\pi (0)$ for each $m\in \mathbb{N}$. We show that there exist strictly increasing sequences of natural numbers $\{i_{k}\}_{k\in \mathbb{N}}$ and $\{j_{k}\}_{k\in \mathbb{N}}$ such that $lim_{k\rightarrow \infty}x_{i_{k},j_{k}}=\pi (0)$.

If $G/H$ is discrete, it is trivial. Then we assume that $G/H$ is non-discrete. We can find a sequence $\{a_{m}\}_{m\in \mathbb{N}}\subset G/H$ with $lim_{m\rightarrow \infty}a_{m}=\pi (0)$ and $a_{m}\not=\pi (0)$ for each $m\in \mathbb{N}$. For each $a\in G/H$, take a point $g_{a}\in G$ such that $\pi (g_{a})=a$. Put
$$y_{m,l}=\left\{
\begin{matrix}
\pi (g_{a_{m}}\oplus g_{x_{m},l+m})&, &\pi (g_{a_{m}}\oplus g_{x_{m},l+m})\not=\pi (0);\\
a_{m}&, &otherwise.
\end{matrix}
\right.$$

Set $M=\{y_{m,l}:(m,l)\in \mathbb{N}\times \mathbb{N}\}$. It is clear that $\pi (0)\not\in M$. We show that $\pi (0)\in \overline{M}$.

Indeed, for each open neighborhood $U$ of $\pi (0)$ in $G/H$, since $lim_{m\rightarrow \infty}a_{m}=\pi (0)$, there exists $m\in \mathbb{N}$ such that $a_{m}\in U$. By $lim_{n\rightarrow \infty}x_{m,n}=\pi (0)$, we have $lim_{l\rightarrow \infty}y_{m,l}=a_{m}$. Thus, we can find $l\in \mathbb{N}$ with $y_{m,l}\in U$. We obtain that $\pi (0)\in \overline{M}$. By the hypothesis, $G/H$ is Fr\'echet-Urysohn, so there exists a sequence $\{(m_{k},l_{k})\}_{k\in \mathbb{N}}$ with $lim_{k\rightarrow \infty}y_{m_{k},l_{k}}=\pi (0)$.

{\bf Case 1.} The sequence $\{l_{k}\}_{k\in \mathbb{N}}$ is bounded.

Choose a subsequence if necessary, then assume that $l_{k}=r, k=1,2,\cdot \cdot \cdot $, for some natural number $r$. Since $lim_{k\rightarrow \infty}y_{m_{k},r}=lim_{k\rightarrow \infty}y_{m_{k},l_{k}}=\pi (0)$ and $y_{m_{k},r}\not=\pi (0)$, we know that $lim_{k\rightarrow \infty}m_{k}=\infty$. Choosing once more a subsequence, we assume further that $m_{k}< m_{k+1}$ for each $k\in \mathbb{N}$.

{\bf Subcase 1.1.} The set $N_{1}=\{k\in\mathbb{N}:y_{m_{k},r}=a_{m_{k}}\}$ is infinite.

Denote $N_{1}=\{p_{1},p_{2},\cdot \cdot\cdot\}$ with $p_{k}< p_{k+1}$ for each $k\in \mathbb{N}$. Then $\pi (g_{a_{m_{p_{k}}}}\oplus g_{x_{m_{p_{k}}},x+m_{p_{k}}})=\pi (0)$ for each $k\in \mathbb{N}$. As $lim_{k\rightarrow\infty}\pi (g_{a_{m_{p_{k}}}})=lim_{k\rightarrow\infty}a_{m_{p_{k}}}=\pi (0)$, we have that $lim_{k\rightarrow\infty}\pi [\ominus g_{a_{m_{p_{k}}}}\oplus (g_{a_{m_{p_{k}}}}\oplus g_{x_{m_{p_{k}}},r+m_{p_{k}}})]=\pi (0)$ by Lemma \ref{4yl1}, that is, $lim_{k\rightarrow\infty}x_{m_{p_{k}},r+m_{p_{k}}}=\pi (0)$. For each $k\in \mathbb{N}$, put $i_{k}=m_{p_{k}}$ and $j_{k}=r+m_{p_{k}}$, then $\{i_{k}\}_{k\in \mathbb{N}}$ and $\{j_{k}\}_{k\in \mathbb{N}}$ are strictly increasing sequences such that $lim_{k\rightarrow\infty}x_{i_{k},j_{k}}=\pi (0)$.

{\bf Subcase 1.2.} The set $N_{1}=\{k\in\mathbb{N}:y_{m_{k},r}=a_{m_{k}}\}$ is finite.

Then put $N_{2}=\{k\in \mathbb{N}:y_{m_{k},r}\not=a_{m_{k}}\}$ is infinite. Denote $N_{2}=\{q_{1},q_{2},\cdot \cdot\cdot\}$ with $q_{k}< q_{k+1}$ for each $k\in \mathbb{N}$. Then $y_{m_{q_{k}},l_{q_{k}}}=\pi (g_{a_{m_{q_{k}}}}\oplus g_{x_{m_{q_{k}}},x+m_{q_{k}}})$ for each $k\in \mathbb{N}$. Since $lim_{k\rightarrow\infty}\pi (g_{a_{m_{q_{k}}}})=lim_{k\rightarrow\infty}a_{m_{q_{k}}}=\pi (0)$, we have that $lim_{k\rightarrow\infty}\pi [\ominus g_{a_{m_{q_{k}}}}\oplus (g_{a_{m_{q_{k}}}}\oplus g_{x_{m_{q_{k}}},r+m_{q_{k}}})]=\pi (0)$ by Lemma \ref{4yl1}, that is, $lim_{k\rightarrow\infty}x_{m_{q_{k}},r+m_{q_{k}}}=\pi (0)$. For each $k\in \mathbb{N}$, put $i_{k}=m_{q_{k}}$ and $j_{k}=r+m_{q_{k}}$, then $\{i_{k}\}_{k\in \mathbb{N}}$ and $\{j_{k}\}_{k\in \mathbb{N}}$ are also strictly increasing sequences such that $lim_{k\rightarrow\infty}x_{i_{k},j_{k}}=\pi (0)$.

{\bf Case 2.} The sequence $\{l_{k}\}_{k\in \mathbb{N}}$ is not bounded.

Assume that $\{l_{k}\}_{k\in \mathbb{N}}$ is strictly increasing, then $lim_{k\rightarrow \infty}m_{k}=\infty$. Otherwise, taking a subsequence if necessary, there exists $s\in \mathbb{N}$ such that $m_{k}=s$ for each $k\in \mathbb{N}$. Since $\{l_{k}\}_{k\in \mathbb{N}}$ is strictly increasing, $lim_{k\rightarrow\infty}x_{s,s+l_{k}}=\pi (0)$. By $lim_{k\rightarrow\infty}y_{s,l_{k}}=\pi (0)$, $a_{m_{k}}=a_{s}=\pi (0)$, which is a contradiction with the choice of $\{a_{m}\}_{m\in \mathbb{N}}$. Thus $lim_{k\rightarrow\infty}m_{k}=\infty$. Then there exists a strictly increasing sequence $\{n_{k}\}_{k\in \mathbb{N}}$ of $\mathbb{N}$ such that $m_{n_{1}}< m_{n_{2}}<\cdot\cdot\cdot$. As $$lim_{k\rightarrow\infty}\pi (g_{a_{m_{n_{k}}}}\oplus g_{x_{m_{n_{k}}},l_{n_{k}}+m_{n_{k}}})=lim_{k\rightarrow\infty}y_{m_{n_{k}},l_{n_{k}}}=\pi (0)$$ and $$lim_{k\rightarrow\infty}\pi (g_{a_{m_{n_{k}}}})=lim_{k\rightarrow\infty}a_{m_{n_{k}}}=\pi (0),$$ by Lemma \ref{4yl1}, we have that $$lim_{k\rightarrow\infty}\pi [\ominus g_{a_{m_{n_{k}}}}\oplus (g_{a_{m_{n_{k}}}}\oplus g_{x_{m_{n_{k}}},l_{n_{k}}+m_{n_{k}}})]=\pi (0),$$ that is, $lim_{k\rightarrow\infty}x_{m_{n_{k}},l_{n_{k}}+m_{n_{k}}}=\pi (0)$. For each $k\in \mathbb{N}$, put $i_{k}=m_{n_{k}}$ and $j_{k}=l_{n_{k}}+m_{n_{k}}$, so $\{i_{k}\}_{k\in \mathbb{N}}$ and $\{j_{k}\}_{k\in \mathbb{N}}$ are strictly increasing sequences such that $lim_{k\rightarrow\infty}x_{i_{k},j_{k}}=\pi (0)$.
\end{proof}

\begin{definition}\cite{BT,LPT,GK}
A point $x$ of a topological space $X$ is said to have a {\it neighborhood $\omega^{\omega}$-base} or a {\it local $\mathfrak{G}$-base} if there exists a base of neighborhoods at $x$ of the form $\{U_{\alpha}(x):\alpha \in \mathbb{N}^{\mathbb{N}}\}$ such that $U_{\beta}(x)\subset U_{\alpha}(x)$ for all elements $\alpha \leq \beta$ in $\mathbb{N}^{\mathbb{N}}$, where $\mathbb{N}^{\mathbb{N}}$ consisting of all functions from $\mathbb{N}$ to $\mathbb{N}$ is endowed with the natural partial order, ie., $f\leq g$ if and only if $f(n)\leq g(n)$ for all $n\in \mathbb{N}$. The space $X$ is said to have an {\it $\omega^{\omega}$-base} or a {\it $\mathfrak{G}$-base} if it has a neighborhood $\omega^{\omega}$-base or a local $\mathfrak{G}$-base at every point $x\in X$.
\end{definition}

Suppose that $(G,\tau ,\oplus)$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ is an admissible subgyrogroup generated from $\mathscr U$. Suppose further that the quotient space $G/H$ has an $\omega^{\omega}$-base $\{U_{\alpha}:\alpha \in \mathbb{N}^{\mathbb{N}}\}$. Set $$I_{k}(\alpha)=\{\beta \in \mathbb{N}^{\mathbb{N}}:\beta _{i}=\alpha _{i} ~for~i=1,...,k\}, ~~and~~D_{k}(\alpha)=\bigcap_{\beta \in I_{k}(\alpha)}U_{\beta},$$ where $\alpha =(\alpha _{i})_{i\in \mathbb{N}}\in \mathbb{N}^{\mathbb{N}}$ and $k\in \mathbb{N}$. It is clear that $\{D_{k}(\alpha)\}_{k\in \mathbb{N}}$ is an increasing sequence of subsets of $G$ and contains $\pi (0)$.

\begin{lemma}\cite{GKL}\label{GKL1}
Let $\alpha =(\alpha _{i})_{i\in \mathbb{N}}\in \mathbb{N}^{\mathbb{N}}$ and $\beta _{k}=(\beta ^{k}_{i})_{i\in \mathbb{N}}\in I_{k}(\alpha)$ for every $k\in \mathbb{N}$. Then there is $\gamma \in \mathbb{N}^{\mathbb{N}}$ such that $\alpha \leq \gamma$ and $\beta _{k}\leq \gamma$ for every $k\in \mathbb{N}$.
\end{lemma}

\begin{theorem}\label{fdl1}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. If $H$ is neutral and $G/H$ is Fr\'echet-Urysohn with an $\omega^{\omega}$-base $\{U_{\alpha}:\alpha \in \mathbb{N}^{\mathbb{N}}\}$, then $G/H$ is first-countable.
\end{theorem}

\begin{proof}
First, we establish the following:

{\bf Claim.} There is $k\in \mathbb{N}$ such that $D_{k}(\alpha)$ is a neighborhood of $\pi (0)$ for each $\alpha \in \mathbb{N}^{\mathbb{N}}$.

Suppose not, that is, we can find $\alpha \in \mathbb{N}^{\mathbb{N}}$ such that $D_{k}(\alpha)$ is not a neighborhood of $\pi (0)$, for any $k\in \mathbb{N}$. It means that $\pi (0)\in \overline{G/H\setminus D_{k}(\alpha)}$ for any $k\in \mathbb{N}$. By the hypothesis, $G/H$ is Fr\'echet-Urysohn. Therefore, there exists a sequence $\{x_{n,k}\}_{n\in \mathbb{N}}$ in $G/H\setminus D_{k}(\alpha)$ which converges to $\pi (0)$. It follows from Theorem \ref{4dl1} that $G/H$ is a strong $\alpha _{4}$-space, so there are strictly increasing sequences $(n_{i})_{i\in \mathbb{N}}$ and $(k_{i})_{i\in \mathbb{N}}$ of natural numbers such that $lim_{i\rightarrow \infty}x_{n_{i},k_{i}}=\pi (0)$. For every $i\in \mathbb{N}$, there exists $\beta _{k_{i}}\in I_{k_{i}}(\alpha)$ such that $x_{n_{i},k_{i}}\not \in U_{\beta _{k_{i}}}$. It follows from Lemma \ref{GKL1} that there is $\gamma \in \mathbb{N}^{\mathbb{N}}$ such that $\beta _{k_{i}}\leq \gamma$ for every $i\in \mathbb{N}$. Therefore, for any $i\in \mathbb{N}$, $x_{n_{i},k_{i}}\not \in U_{\gamma}$. We conclude that the sequence $\{x_{n_{i},k_{i}}\}_{i\in \mathbb{N}}$ does not converge to $0$ and this is a contradiction.

Therefore, we can find a minimal natural number $k_{\alpha}$ such that $D_{k_{\alpha}}(\alpha)$ is a neighborhood of $\pi (0)$ for each $\alpha \in \mathbb{N}^{\mathbb{N}}$. It is clear that $D_{k_{\alpha}}(\alpha)\subset U_{\alpha}$. Moreover, for $i\in \mathbb{N}$, fix $\alpha ^{(i)}=(i,\alpha_{2},\alpha_{3},...)\in \mathbb{N}^{\mathbb{N}}$. Then for any $\beta =(\beta_{1},\beta_{2},...)\in I_{1}(\alpha ^{(i)})$, $D_{1}(\beta)=D_{1}(\alpha ^{i})$. Therefore, $\{D_{1}(\alpha):\alpha \in \mathbb{N}^{\mathbb{N}}\}=\{D_{1}(\alpha^{(i)}):i\in \mathbb{N}\}$ is countable. So, $\{D_{k}(\alpha):k\in \mathbb{N},\alpha \in \mathbb{N}^{\mathbb{N}}\}$ is countable. Furthermore, $\{D_{k_{\alpha}}(\alpha):\alpha \in \mathbb{N}^{\mathbb{N}}\}\subset \{D_{k}(\alpha):k\in \mathbb{N},\alpha \in \mathbb{N}^{\mathbb{N}}\}$. Therefore, the countability of the family $\{D_{k_{\alpha}}(\alpha):\alpha \in \mathbb{N}^{\mathbb{N}}\}$ is obtained. In conclusion, the family $\{int(D_{k_{\alpha}}(\alpha)):\alpha \in \mathbb{N}^{\mathbb{N}}\}$ is a countable base of open neighborhoods at $\pi (0)$. It follows from the homogeneity of $G/H$ of Lemma \ref{yl1} that $G$ is first-countable.
\end{proof}

By Lemma \ref{yl1}, we know that the quotient space $G/H$ is homogenous, so it is clear that if $G/H$ is first-countable, then it has an $\omega^{\omega}$-base. Therefore, by Theorem \ref{h} and Theorem \ref{fdl1}, we have the following corollary.

\begin{corollary}\label{3tl1}
Suppose that $(G,\tau ,\oplus)$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ is an admissible subgyrogroup generated from $\mathscr U$. Suppose further that $H$ is neutral, then $G/H$ is metrizable if and only if $G/H$ is Fr\'echet-Urysohn with an $\omega^{\omega}$-base.
\end{corollary}

\section{cardinality of quotient spaces}

We denote by $\chi (X)$, $\pi \chi (X)$, $\omega (X)$ and $\pi \omega (X)$ the character, $\pi$-character, weight and $\pi$-weight of a space $X$, respectively. Similarly, $\chi (x,X)$ and $\pi \chi (x,X)$ stand for the character and $\pi$-character of $X$ at a point $x\in X$. In this section, we show that if $(G,\tau ,\oplus)$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$, $H$ is an admissible subgyrogroup generated from $\mathscr U$ and $H$ is neutral, then $\pi\chi(G/H)=\chi(G/H)$ and $\pi\omega (G/H)=\omega (G/H)$.

\begin{theorem}\label{3yl1}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. If $H$ is neutral, then $\pi\chi(G/H)=\chi(G/H)$.
\end{theorem}

\begin{proof}
Let $\pi$ be the natural homomorphism from $G$ to $G/H$ and $e^{*}=\pi(0)$ in $G/H$. It follows from Lemma \ref{yl1} that the quotient space $G/H$ is homogenous, so we have $\chi(G/H)=\chi(e^{*},G/H)$ and $\pi\chi(G/H)=\pi\chi(e^{*},G/H)$. Then it suffices to show $$\chi(e^{*},G/H)\leq \pi \chi(e^{*},G/H).$$

Let $\mathcal{B}$ be a local $\pi$-base for $G/H$ at $e^{*}$ such that $|\mathcal{B}|=\pi\chi(e^{*},G/H)$. For every $V\in \mathcal{B}$, put $W_{V}=\pi^{-1}(V)$. We show that the family $\mathcal{C}=\pi (W_{V}\oplus (\ominus W_{V}))$ is a local base for $G/H$ at $e^{*}$. Assume that $O$ is an open neighborhood of $e^{*}$ in $G/H$. Since $H$ is an admissible subgyrogroup generated from $\mathscr U$, there exists a sequence $\{U_{n}:n\in \mathbb{N}\}$ of symmetric open neighborhoods of the identity $0$ in $G$ satisfying $U_{n}\in \mathscr U$ and $U_{n+1}\oplus (U_{n+1}\oplus U_{n+1})\subset U_{n}$, for each $n\in \mathbb{N}$, and such that $H=\bigcap _{n\in \mathbb{N}}U_{n}$. Therefore, we have $gyr[x,y](H)=H$ for any $x,y\in G$. Since $H$ is neutral, we choose $U,W\in \mathscr{U}$ such that $\pi(U\oplus U)\subset O$, $W\subset U$, and $H\oplus W\subset U\oplus H$. As $\mathcal{B}$ is a local $\pi$-base at $e^{*}$ in $G/H$, there exists $V\in \mathcal{B}$ such that $V\subset \pi(W)$. Then $W_{V}=\pi^{-1}(V)\subset \pi^{-1}\pi(W)=W\oplus H$.

\begin{eqnarray}
W_{V}\oplus (\ominus W_{V})&\subset&(W\oplus H)\oplus \ominus (W\oplus H)\nonumber\\
&=&(W\oplus H)\oplus gyr[W,H](\ominus H\ominus W)\nonumber\\
&=&(W\oplus H)\oplus gyr[W,H](H\oplus W)\nonumber\\
&=&(W\oplus H)\oplus (H\oplus W)\nonumber\\
&=&W\oplus (H\oplus gyr[H,W](H\oplus W))\nonumber\\
&=&W\oplus (H\oplus (H\oplus W))\nonumber\\
&=&W\oplus ((H\oplus H)\oplus gyr[H,H](W))\nonumber\\
&=&W\oplus (H\oplus W)\nonumber\\
&\subset& W\oplus (U\oplus H)\nonumber\\
&\subset& U\oplus (U\oplus H)\nonumber\\
&=&(U\oplus U)\oplus gyr[U,U](H)\nonumber\\
&=&(U\oplus U)\oplus H.\nonumber
\end{eqnarray}

Therefore, $\pi (W_{V}\oplus (\ominus W_{V}))\subset \pi((U\oplus U)\oplus H)=\pi(U\oplus U)\subset O$. It is shown that the family $\mathcal{C}=\pi (W_{V}\oplus (\ominus W_{V}))$ is a local base for $G/H$ at $e^{*}$ and it is clear that $|\mathcal{C}|\leq |\mathcal{B}|$. Then $\chi(e^{*},G/H)\leq \pi \chi(e^{*},G/H)$.
\end{proof}

\begin{proposition}\label{3mt1}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. If $H$ is neutral, $B$ is a dense subset of $G/H$, and $A\subset G$ such that $\pi(A)=B$, then $\pi(A\oplus U)=G/H$, for every neighborhood $U$ of the identity element in $G$.
\end{proposition}

\begin{proof}
Since $H$ is an admissible subgyrogroup generated from $\mathscr U$, there exists a sequence $\{U_{n}:n\in \mathbb{N}\}$ of symmetric open neighborhoods of the identity $0$ in $G$ satisfying $U_{n}\in \mathscr U$ and $U_{n+1}\oplus (U_{n+1}\oplus U_{n+1})\subset U_{n}$, for each $n\in \mathbb{N}$, and such that $H=\bigcap _{n\in \mathbb{N}}U_{n}$. Therefore, we have $gyr[x,y](H)=H$ for any $x,y\in G$. For arbitrary open neighborhood $U$ of $0$ in $G$, there exists $V\in \mathscr{U}$ such that $V\oplus V\subset U$. Since $H$ is neutral, there exists $V\in \mathscr{U}$ such that $H\oplus V\subset U\oplus H$. Assume that $B$ is a dense subset of $G/H$, and $A\subset G$ such that $\pi(A)=B$. If $y\in G/H$, there exists $x\in G$ such that $\pi(x)=y$. Since $B$ is dense in $G/H$ and $\pi (x\oplus V)$ is open in $G/H$, it is clear that $B\cap \pi(x\oplus V)\not=\emptyset$, that is, there exists $b\in B$ and $b\in \pi(x\oplus V)$. Then we can find $a\in G$ satisfying $\pi(a)=b$. Then $\pi (a)\in \pi(x\oplus V)$, that is, $a\in (x\oplus V)\oplus H$. Therefore, there exist $v\in V$ and $h\in H$ such that $a=(x\oplus v)\oplus h$. Since

\begin{eqnarray}
(x\oplus v)&=&((x\oplus v)\oplus h)\oplus gyr[x\oplus v,h](\ominus h)\nonumber\\
&=&a\oplus gyr[x\oplus v,h](\ominus h),\nonumber
\end{eqnarray}

we have that

\begin{eqnarray}
x&=& (x\oplus v)\oplus gyr[x,v](\ominus v)\nonumber\\
&=&(a\oplus gyr[x\oplus v,h](\ominus h))\oplus gyr[x,v](\ominus v)\nonumber\\
&\in&(a\oplus gyr[x\oplus v,h](H))\oplus gyr[x,v](V)\nonumber\\
&=&(a\oplus H)\oplus V\nonumber\\
&=&a\oplus (H\oplus gyr[H,a](V))\nonumber\\
&=&a\oplus (H\oplus V)\nonumber\\
&\subset&a\oplus (U\oplus H)\nonumber\\
&\subset&(a\oplus U)\oplus gyr[a,U](H)\nonumber\\
&=&(a\oplus U)\oplus H.\nonumber
\end{eqnarray}

Therefore, $y=\pi(x)\in \pi((a\oplus U)\oplus H)=\pi(a\oplus H)\subset \pi(A\oplus U)$. We conclude that $\pi(A\oplus H)=G/H$.
\end{proof}

\begin{theorem}
Let $(G,\tau ,\oplus)$ be a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ an admissible subgyrogroup generated from $\mathscr U$. If $H$ is neutral, then $\pi\omega (G/H)=\omega (G/H)$.
\end{theorem}

\begin{proof}
Since $H$ is an admissible subgyrogroup generated from $\mathscr U$, there exists a sequence $\{U_{n}:n\in \mathbb{N}\}$ of symmetric open neighborhoods of the identity $0$ in $G$ satisfying $U_{n}\in \mathscr U$ and $U_{n+1}\oplus (U_{n+1}\oplus U_{n+1})\subset U_{n}$, for each $n\in \mathbb{N}$, and such that $H=\bigcap _{n\in \mathbb{N}}U_{n}$. Therefore, we have $gyr[x,y](H)=H$ for any $x,y\in G$. Put $\kappa =\pi\omega (G/H)$ and $B$ is a dense subset of $G/H$ with $|B|\leq \kappa$. Set $A\subset G$ with $\pi (A)=B$ and $|A|=|B|$. As $\pi\chi (G/H)\leq \pi\omega (G/H)$, by Theorem \ref{3yl1}, there exists a family $\gamma$ of symmetric open neighborhoods of $0$ in $G$ with $|\gamma|\leq \kappa$ and $\{\pi (U):U\in \gamma\}$ is a local base at $\pi (0)$ in $G/H$. Put $\mathcal{C}=\{\pi (a\oplus W):a\in A,W\in \gamma\}$. Then $\mathcal{C}$ is a base for $G/H$.

Indeed, for arbitrary $y\in G/H$, choose $x\in G$ with $\pi (x)=y$. Let $O$ be an open neighborhood of $y$ in $G/H$, then we can find $U\in \mathscr{U}$ such that $\pi (x\oplus (U\oplus U))\subset O$. Then $\pi (x\oplus (V\oplus V))\subset \pi (x\oplus (U\oplus U))$ for some $V\in \gamma$. Since $H$ is neutral, there exists $W\in \mathscr{U}$ with $H\oplus W\subset V\oplus H$. By Proposition \ref{3mt1}, there exists $a\in A$ such that $y=\pi (x)\in \pi (a\oplus W)$, then $x\in (a\oplus W)\oplus H$. We can find $w\in W$ and $h\in H$ such that $x=(a\oplus w)\oplus h$. Then $x\oplus gyr[a\oplus w,h](\ominus h)=((a\oplus w)\oplus h)\oplus gyr[a\oplus w,h](\ominus h)=a\oplus w$. Moreover,
\begin{eqnarray}
a&=&(a\oplus w)\oplus gyr[a,w](\ominus w)\nonumber\\
&=&(x\oplus gyr[a\oplus w,h](\ominus h))\oplus gyr[a,w](\ominus w)\nonumber\\
&\in& (x\oplus gyr[a\oplus w,h](H))\oplus gyr[a,w](W)\nonumber\\
&=&(x\oplus H)\oplus W.\nonumber
\end{eqnarray}

Thus, there exist $h_{1}\in H$ and $w_{1}\in W$ such that $a=(x\oplus h_{1})\oplus w_{1}$, so

\begin{eqnarray}
x&=&(a\oplus w)\oplus h\nonumber\\
&=&(((x\oplus h_{1})\oplus w_{1})\oplus w)\oplus h\nonumber\\
&=&((x\oplus (h_{1}\oplus gyr[h_{1},x](w_{1})))\oplus w)\oplus h\nonumber\\
&=&((x\oplus (h_{1}\oplus w_{2}))\oplus w)\oplus h\nonumber ~~( for~some~w_{2}\in W,~since~W\in  \mathscr{U})
\end{eqnarray}

Since $H\oplus W\subset V\oplus H$, we can find $v\in V$ and $h_{2}\in H$ such that $h_{1}\oplus w_{2}=v\oplus h_{2}$. Then

\begin{eqnarray}
((x\oplus (h_{1}\oplus w_{2}))\oplus w)\oplus h&=&((x\oplus (v\oplus h_{2}))\oplus w)\oplus h\nonumber\\
&=&(((x\oplus v)\oplus gyr[x,v](h_{2}))\oplus w)\oplus h\nonumber\\
&=&(((x\oplus v)\oplus h_{3})\oplus w)\oplus h\nonumber ~~(H~is~generated~from~\mathscr{U})\\
&=&((x\oplus v)\oplus (h_{3}\oplus gyr[h_{3},x\oplus v](w)))\oplus h\nonumber\\
&=&((x\oplus v)\oplus (h_{3}\oplus w_{3}))\oplus h\nonumber ~~(since~w\in W)\\
&=&((x\oplus v)\oplus (v_{1}\oplus h_{4}))\oplus h\nonumber\\
&=&(((x\oplus v)\oplus v_{1})\oplus gyr[x\oplus v,v_{1}](h_{4}))\oplus h\nonumber\\
&=&((x\oplus (v\oplus gyr[v,x](v_{1})))\oplus h_{5})\oplus h\nonumber\\
&\in& ((x\oplus (V\oplus V))\oplus H)\oplus H.\nonumber
\end{eqnarray}

Thus,
\begin{eqnarray}
y&=&\pi (x)\nonumber\\
&\in&\pi (a\oplus W)\nonumber\\
&\subset& \pi (((x\oplus (V\oplus V))\oplus H)\oplus H)\nonumber\\
&=&\pi((x\oplus (V\oplus V))\oplus H)\nonumber\\
&=&\pi (x\oplus (V\oplus V))\nonumber\\
&\subset&\pi (x\oplus (U\oplus U))\nonumber\\
&\subset&O.\nonumber
\end{eqnarray}

Moreover, since $|\mathcal{C}|\leq |A|\cdot |\gamma|\leq \kappa$, we have that $\omega (G/H)\leq \pi \omega (G/H)$.
\end{proof}

Naturally, we pose the following question.

\begin{question}
If $(G,\tau ,\oplus)$ is a strongly topological gyrogroup with a symmetric neighborhood base $\mathscr U$ at $0$ and $H$ is an admissible subgyrogroup generated from $\mathscr U$, whether could the two conditions $\pi\omega (G/H)=\omega (G/H)$ and $\pi\chi(G/H)=\chi(G/H)$ hold?
\end{question}


\section{Introduction}

This template can be found on the conference website. Templates are provided for Microsoft Word\textregistered, and \LaTeX. However, we highly recommend using \LaTeX when preparing your submission. Information for full paper submission is available on the conference website.

\section{Page layout and style}

Authors should observe the following rules for page layout. A highly recommended way to meet these requirements is to use a given template (Microsoft Word\textregistered\ or \LaTeX) and check details against the corresponding example PDF file. Given templates, Microsoft Word\textregistered\ or \LaTeX, can be adapted/imported easily in other software such as LibreOffice, Apple Pages, Lua\LaTeX, and Xe\LaTeX, but please be careful to match the layout of the provided PDF example.

\subsection{Basic layout features}

\begin{itemize}
\item Proceedings will be printed in DIN A4 format. Authors must submit their papers in DIN A4 format.
\item Two columns are used except for the title section and for large figures that may need a full page width.
\item Left and right margin are 20 mm each.
\item Column width is 80 mm.
\item Spacing between columns is 10 mm.
\item Top margin is 25 mm (except for the first page which is 30 mm to the title top).
\item Bottom margin is 35 mm.
\item Text height (without headers and footers) is maximum 235 mm.
\item Headers and footers must be left empty.
\item Check indentations and spacings by comparing to this example file (in PDF).
\end{itemize}

\subsubsection{Headings}

Section headings are centered in boldface with the first word capitalized and the rest of the heading in lower case. Sub- headings appear like major headings, except they start at the left margin in the column. Sub-sub-headings appear like sub-headings, except they are in italics and not boldface. See the examples in this file. No more than 3 levels of headings should be used.

\subsection{Text font}

Times or Times Roman font is used for the main text. Font size in the main text must be 9 points, and in the References section 8 points. Other font types may be used if needed for special purposes. It is VERY IMPORTANT that while making the final PDF file, you embed all used fonts! To embed the fonts, you may use the following instructions:
\begin{enumerate}
\item For Windows users, the bullzip printer can convert any PDF to have embedded and subsetted fonts.
\item For Linux/Mac users, you may use \\
   pdftops file.pdf\\
   pstopdf -dPDFSETTINGS=/prepress file.pdf
\end{enumerate}

\LaTeX users: users should use Adobe Type 1 fonts such as Times or Times Roman. These are used automatically by the INTERSPEECH2021.sty style file. Authors must not use Type 3 (bitmap) fonts.

\subsection{Figures}

All figures must be centered on the column (or page, if the figure spans both columns). Figure captions should follow each figure and have the format given in Figure~\ref{fig:speech_production}.

Figures should be preferably line drawings. If they contain gray levels or colors, they should be checked to print well on a high-quality non-color laser printer.

Graphics (i.\,e., illustrations, figures) must not use stipple fill patterns because they will not reproduce properly in Adobe PDF. Please use only SOLID FILL COLORS.

Figures which span 2 columns (i.\,e., occupy full page width) must be placed at the top or bottom of the page.

\subsection{Tables}

An example of a table is shown in Table~\ref{tab:example}. The caption text must be above the table.

\begin{table}[th]
  \caption{This is an example of a table}
  \label{tab:example}
  \centering
  \begin{tabular}{ r@{}l  r }
    \toprule
    \multicolumn{2}{c}{\textbf{Ratio}} &
                                         \multicolumn{1}{c}{\textbf{Decibels}} \\
    \midrule
    $1$                       & $/10$ & $-20$~~~             \\
    $1$                       & $/1$  & $0$~~~               \\
    $2$                       & $/1$  & $\approx 6$~~~       \\
    $3.16$                    & $/1$  & $10$~~~              \\
    $10$                      & $/1$  & $20$~~~              \\
    $100$                     & $/1$  & $40$~~~              \\
    $1000$                    & $/1$  & $60$~~~              \\
    \bottomrule
  \end{tabular}

\end{table}

\subsection{Equations}

Equations should be placed on separate lines and numbered. Examples of equations are given below. Particularly,
\begin{equation}
  x(t) = s(f_\omega(t))
  \label{eq1}
\end{equation}
where \(f_\omega(t)\) is a special warping function
\begin{equation}
  f_\omega(t) = \frac{1}{2 \pi j} \oint_C
  \frac{\nu^{-1k} \mathrm{d} \nu}
  {(1-\beta\nu^{-1})(\nu^{-1}-\beta)}
  \label{eq2}
\end{equation}
A residue theorem states that
\begin{equation}
  \oint_C F(z)\,\mathrm{d}z = 2 \pi j \sum_k \mathrm{Res}[F(z),p_k]
  \label{eq3}
\end{equation}
Applying (\ref{eq3}) to (\ref{eq1}), it is straightforward to see that
\begin{equation}
  1 + 1 = \pi
  \label{eq4}
\end{equation}

Finally we have proven the secret theorem of all speech sciences. No more math is needed to show how useful the result is!

\begin{figure}[t]
  \centering
  \includegraphics[width=\linewidth]{figure.pdf}
  \caption{Schematic diagram of speech production.}
  \label{fig:speech_production}
\end{figure}

\subsection{Information for Word users only}

For ease of formatting, please use the styles listed in Table 2. The styles are defined in this template file and are shown in the order in which they would be used when writing a paper. When the heading styles in Table 2 are used, section numbers are no longer required to be typed in because they will be automatically numbered by Word. Similarly, reference items will be automatically numbered by Word when the ``Reference'' style is used.

\begin{table}[t]
  \caption{Main predefined styles in Word}
  \label{tab:word_styles}
  \centering
  \begin{tabular}{ll}
    \toprule
    \textbf{Style Name}      & \textbf{Entities in a Paper}                \\
    \midrule
    Title                    & Title                                       \\
    Author                   & Author name                                 \\
    Affiliation              & Author affiliation                          \\
    Email                    & Email address                               \\
    AbstractHeading          & Abstract section heading                    \\
    Body Text                & First paragraph in abstract                 \\
    Body Text Next           & Following paragraphs in abstract            \\
    Index                    & Index terms                                 \\
    1. Heading 1             & 1\textsuperscript{st} level section heading \\
    1.1 Heading 2            & 2\textsuperscript{nd} level section heading \\
    1.1.1 Heading 3          & 3\textsuperscript{rd} level section heading \\
    Body Text                & First paragraph in section                  \\
    Body Text Next           & Following paragraphs in section             \\
    Figure Caption           & Figure caption                              \\
    Table Caption            & Table caption                               \\
    Equation                 & Equations                                   \\
    \textbullet\ List Bullet & Bulleted lists                              \\\relax
    [1] Reference            & References                                  \\
    \bottomrule
  \end{tabular}
\end{table}

If your Word document contains equations, you must not save your Word document from ``.docx'' to ``.doc'' because when doing so, Word will convert all equations to images of unacceptably low resolution.

\subsection{Hyperlinks}

For technical reasons, the proceedings editor will strip all active links from the papers during processing. Hyperlinks can be included in your paper, if written in full, e.\,g.\ ``http://www.foo.com/index.html''. The link text must be all black.
Please make sure that they present no problems in printing to paper.

\subsection{Multimedia files}

The INTERSPEECH organizing committee offers the possibility to submit multimedia files. These files are meant for audio-visual illustrations that cannot be conveyed in text, tables and graphs. Just like you would when including graphics, make sure that you have sufficient author rights to the multimedia materials that you submit for publication. The proceedings media will NOT contain readers or players, so be sure to use widely accepted file formats, such as MPEG, Windows WAVE PCM (.wav) or Windows Media Video (.wmv) using standard codecs.

Your multimedia files must be submitted in a single ZIP file for each separate paper. Within the ZIP file you can use folders and filenames to help organize the multimedia files. In the ZIP file you should include a TEXT or HTML index file which describes the purpose and significance of each multimedia file. From within the manuscript, refer to a multimedia illustration by its filename. Use short file names without blanks for clarity.

The ZIP file you submit will be included as-is in the proceedings media and will be linked to your paper in the navigation interface of the proceedings. Causal Productions (the publisher) and the conference committee will not check or change the contents of your ZIP file.

Users of the proceedings who wish to access your multimedia files will click the link to the ZIP file which will then be opened by the operating system of their computer. Access to the contents of the ZIP file will be governed entirely by the operating system of the user's computer.

\subsection{Page numbering}

Final page numbers will be added later to the document electronically. \emph{Do not make any footers or headers!}

\subsection{References}

The reference format is the standard IEEE one. References should be numbered in order of appearance, for example \cite{Davis80-COP}, \cite{Rabiner89-ATO}, \cite[pp.\ 417--422]{Hastie09-TEO}, and \cite{YourName21-XXX}.

\subsection{Abstract}

The total length of the abstract is limited to 200 words. The abstract included in your paper and the one you enter during web-based submission must be identical. Avoid non-ASCII characters or symbols as they may not display correctly in the abstract book.

\subsection{Author affiliation}

Please list country names as part of the affiliation for each country.

\subsection{Number of authors in the author list}

The maximum number of authors in the author list is twenty. If the number of contributing authors is more than twenty, they should be listed in a footnote or in acknowledgement section, as appropriate.

\subsection{Submitted files}

Authors are requested to submit PDF files of their manuscripts. You can use commercially available tools or for instance http://www.pdfforge.org/products/pdfcreator. The PDF file should comply with the following requirements: (a) there must be no PASSWORD protection on the PDF file at all; (b) all fonts must be embedded; and (c) the file must be text searchable (do CTRL-F and try to find a common word such as ``the''). The proceedings editors (Causal Productions) will contact authors of non-complying files to obtain a replacement. In order not to endanger the preparation of the proceedings, papers for which a replacement is not provided in a timely manner will be withdrawn.

\section{Discussion}

This is the discussion. This is the discussion. This is the discussion. Is there any discussion?

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Cras consequat mollis odio, nec venenatis enim auctor sed. Integer tincidunt fringilla lectus eget condimentum. In eget sapien id eros dapibus interdum vel ac quam. Aenean vitae rutrum erat. Aenean et risus pharetra, lacinia augue ut, fermentum ante. Integer dui arcu, interdum at ornare a, faucibus quis est. Mauris quis quam felis. Etiam pulvinar massa et turpis lacinia, eu posuere mi iaculis. Fusce at velit quis leo dignissim porttitor.

Fusce ut nunc eu sapien venenatis finibus a vel ligula. Pellentesque habitant morbi tristique senectus et netus et malesuada fames ac turpis egestas. Ut quam eros, volutpat at gravida consectetur, rutrum ut leo. Aenean cursus euismod feugiat. Cras hendrerit, ligula eu feugiat malesuada, neque turpis auctor lacus, sit amet accumsan neque orci a quam. Mauris suscipit ultrices mattis. Nulla at interdum metus, id pharetra diam. Curabitur at vestibulum sem, sed elementum massa. Donec iaculis et arcu ut rutrum. Fusce gravida, mauris porta volutpat eleifend, enim mauris eleifend orci, eu ultrices leo purus vitae metus. In pretium dolor ut magna dictum, at imperdiet lectus porta.

Quisque mollis lectus id risus pretium mattis. Morbi scelerisque posuere est, id efficitur urna luctus non. Praesent quam lacus, facilisis id ante eu, vehicula maximus ex. Nullam mollis in arcu vitae efficitur. Aliquam molestie eleifend ante, in pretium velit ultrices ac. Etiam laoreet nec sem non pulvinar. Integer ligula felis, interdum non lacus id, malesuada imperdiet turpis.

Aenean sit amet volutpat nisi. Aliquam eu erat quis tortor ultrices laoreet. Vivamus fermentum semper metus, non faucibus libero euismod vitae. Sed efficitur porta congue. Aenean in faucibus nisi. Donec suscipit augue vitae orci consequat, sit amet aliquet felis varius. Duis efficitur lacinia dolor sit amet lobortis. Curabitur erat sapien, molestie nec nisi eu, dignissim accumsan ipsum. Fusce id nibh nec risus dictum posuere in ac magna. Donec malesuada massa sed erat lacinia cursus. Suspendisse ornare augue nec volutpat consequat.

Vestibulum et vulputate nisi, a malesuada mi. Nam pellentesque arcu sapien, at placerat odio imperdiet ut. Curabitur nec venenatis tellus, vel aliquet nisi. Curabitur vel ligula sit amet metus auctor pretium. Nullam nulla mi, blandit a mattis id, vulputate sit amet enim. Proin mollis fringilla dictum. Proin lacinia orci purus.

Curabitur porttitor bibendum dolor, nec consectetur sapien pulvinar id. Donec eleifend, est vel dignissim pretium, tortor augue euismod nunc, id fermentum erat felis ac neque. Morbi id lectus ultricies, rutrum justo eu, sollicitudin risus. Suspendisse lobortis efficitur nisi sit amet pellentesque. Ut eget augue at mi aliquet mattis. Proin et feugiat erat, sit amet sodales eros. Integer sed elit quis est mattis ullamcorper. Pellentesque lectus nisi, vulputate a imperdiet tincidunt, auctor nec orci. Pellentesque sagittis nisl orci, vitae placerat massa lacinia nec. Sed egestas magna sed augue sollicitudin luctus. Praesent interdum bibendum tortor, eu porta purus. Aliquam convallis velit id mi fermentum, sed ornare eros cursus.

Quisque congue leo a fringilla pharetra. Phasellus sed tempor est, sed auctor purus. Morbi vel lacus ullamcorper, auctor mauris id, pulvinar lorem. Suspendisse potenti. Nam porta, purus non eleifend bibendum, erat metus pellentesque elit, non luctus nibh nunc ornare nisl. Sed rutrum lacinia nisi ac suscipit. Curabitur non blandit augue. Integer viverra, ipsum vel molestie euismod, sem quam tempus massa, eget efficitur ante turpis non metus. Quisque efficitur posuere velit in iaculis. Cras imperdiet varius urna vitae vestibulum. Donec accumsan eget nisi sed pellentesque. Vestibulum id quam ut urna volutpat ullamcorper gravida sit amet libero. Aliquam bibendum, ligula vitae porta malesuada, arcu diam congue erat, a pharetra diam sem vulputate tortor. Etiam luctus iaculis leo cursus tristique.

Mauris mattis sem dolor, sit amet ullamcorper arcu tincidunt ac. Vestibulum at blandit tortor. Quisque bibendum congue leo, vitae eleifend massa. Vestibulum vitae odio elit. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut sagittis quam vel felis ornare, in gravida felis tempor. Donec molestie dui quis leo venenatis blandit. Nunc sit amet finibus metus. Cras ut lectus ex.

Suspendisse commodo libero vel leo tincidunt, a tempus mauris porta. Integer varius eros ac sapien lacinia vehicula. Donec porttitor, lacus faucibus rhoncus venenatis, neque quam imperdiet nunc, id consectetur metus purus quis sapien. Phasellus interdum nulla vel euismod posuere. Vestibulum finibus magna vel finibus mollis. Curabitur mollis turpis tortor, hendrerit vulputate justo egestas quis. Nam dignissim luctus leo non elementum. Phasellus a metus at leo malesuada bibendum. Mauris quis eleifend magna, nec vehicula ex. Donec venenatis urna fermentum commodo vehicula. Ut mattis scelerisque aliquam. Vivamus pulvinar erat metus, id tempus mi vulputate quis.

Fusce lobortis a urna eget blandit. Vivamus in eleifend neque, at sollicitudin lectus. Quisque faucibus egestas lorem, in commodo diam maximus eu. Morbi finibus ante ac felis porttitor euismod. Donec lobortis aliquam ipsum sit amet luctus. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Etiam rutrum neque sapien, eget luctus turpis iaculis pulvinar. Duis quis pulvinar nunc, nec bibendum ligula. Phasellus suscipit sagittis lacus molestie laoreet. Pellentesque lacus diam, tincidunt a aliquam vitae, aliquet non justo.

Etiam lectus lacus, commodo eget consectetur eget, auctor vitae leo. Praesent vitae erat in diam blandit semper vitae et eros. Maecenas auctor pharetra nibh eget egestas. Donec accumsan ut risus eget rhoncus. Nam placerat, erat sit amet gravida mollis, purus arcu accumsan diam, tempus pharetra risus mi ac sapien. Ut et tortor porta, pulvinar elit vitae, tempor mi. Nam interdum, nisl non pharetra molestie, turpis neque commodo ligula, sit amet pretium nisl nibh quis ante. Quisque et ex eget velit lobortis suscipit. Integer aliquam finibus molestie. Sed pellentesque neque eu turpis aliquet, mattis ornare enim finibus. In hac habitasse platea dictumst.

Integer congue quis justo a posuere. Quisque porta, ante et dignissim suscipit, arcu mauris ultrices libero, nec sollicitudin purus lacus a enim. Aliquam feugiat eget lacus molestie sodales. Duis blandit placerat nunc, et venenatis turpis dictum vel. Nulla facilisi. Nam ullamcorper, tellus eu posuere mattis, arcu lacus dictum nulla, vel mattis nisi sem posuere tellus. Etiam quis eros condimentum lectus lobortis eleifend. In ex lacus, sodales scelerisque egestas ac, aliquam nec purus. Nunc sit amet magna non libero ullamcorper dictum. Phasellus porta faucibus tempus. Praesent blandit tortor sed tellus ornare consectetur. Sed sed nisi id neque porta varius eu eu velit. Curabitur varius convallis justo id facilisis. Mauris auctor velit nec aliquam cursus.

Integer suscipit scelerisque leo sed faucibus. Ut commodo nulla luctus diam posuere egestas. Integer ut augue ac velit ullamcorper tempus. Pellentesque in mi rhoncus, sodales sem quis, commodo sem. Aenean dapibus euismod diam id rhoncus. Nullam vehicula placerat eros consectetur luctus. Aliquam auctor ipsum vitae egestas imperdiet. Ut nulla lacus, imperdiet quis urna vel, ornare imperdiet tortor. Mauris nec diam ac nunc laoreet volutpat at id turpis. Nulla eu neque a risus feugiat iaculis ac vel risus. Ut tempus elementum lorem eget porta. Nullam et ullamcorper urna. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Phasellus eget dui vitae nulla hendrerit ultrices quis rutrum leo.

Proin consectetur lacus sit amet eleifend varius. Etiam eu blandit risus. Curabitur pellentesque urna sed dolor congue mattis. Vestibulum ut velit posuere, feugiat leo a, dignissim massa. Proin eu nulla risus. Fusce luctus bibendum est, sit amet venenatis nisi finibus non. Donec ultricies ornare nunc at lobortis. Nam a auctor metus. Vestibulum pretium condimentum turpis ac mattis. Curabitur semper sagittis rhoncus. Duis molestie facilisis mattis. Sed pharetra lorem id tortor efficitur, sed maximus leo posuere. Quisque suscipit molestie convallis. Duis imperdiet placerat congue. Morbi placerat, velit ut tempor porta, ex nisi imperdiet purus, non feugiat ex velit nec nulla.

Phasellus mattis at erat eget lobortis. Vivamus sodales odio non erat luctus faucibus. Curabitur aliquam luctus nulla quis consectetur. Fusce vulputate finibus vulputate. Cras at condimentum massa. Duis vestibulum ipsum ac tortor lobortis fringilla. Cras non neque at nunc pellentesque mollis. Sed quis erat mauris. Ut dapibus sem lectus, quis imperdiet diam bibendum et. Maecenas quis venenatis ante. Nunc blandit a risus sed scelerisque. Praesent cursus est sit amet nisi tempus, quis placerat libero rutrum. Phasellus lacinia nisi quis consequat mollis. Phasellus sagittis aliquam lacus.

Sed dolor quam, posuere nec nunc eget, feugiat lobortis ligula. Fusce lacinia fermentum dolor, luctus dapibus ex venenatis feugiat. In hac habitasse platea dictumst. Nullam vitae ligula dignissim, interdum turpis quis, tincidunt metus. Nullam in nisl vitae mauris egestas porta. Nam fringilla aliquet sapien, non dapibus nunc sollicitudin id. Nunc hendrerit felis et vehicula consequat. Praesent varius libero id volutpat iaculis. Aliquam vel dui imperdiet, pharetra augue sed, iaculis nulla. Quisque mollis orci nec odio eleifend, eget laoreet nunc feugiat. Cras varius tortor a fringilla gravida.

Sed posuere erat eu dolor consequat euismod. Donec imperdiet, tellus nec convallis commodo, lorem sem lobortis purus, a lacinia massa ipsum vitae nisl. Vivamus auctor tellus in urna iaculis luctus. In dui nibh, posuere a erat a, lobortis finibus nulla. Sed vel suscipit nisi. Nunc eget nibh risus. Sed posuere tempus eleifend. Nullam ac lacinia ligula, ut blandit erat. In at est sed turpis consequat rutrum. Nunc eget lectus venenatis, convallis ligula non, mollis orci. Aliquam sit amet ligula turpis. Sed finibus laoreet elit nec molestie.

Mauris in nisi et neque euismod aliquam ut eget felis. Sed eget dictum tellus, finibus rutrum nibh. Fusce placerat augue a faucibus semper. Nam sed nisl ligula. Vivamus ante augue, faucibus at risus ut, hendrerit viverra risus. Etiam justo eros, dignissim a nunc sed, porta mollis erat. Fusce in sem accumsan, laoreet nibh porta, porttitor orci. Donec venenatis vehicula ante eget dictum.

Aliquam fermentum a metus pellentesque cursus. Vivamus eleifend ultricies tellus, vel scelerisque diam. Sed hendrerit est at elit suscipit placerat. Praesent nec pretium erat. Quisque blandit nunc in felis bibendum consequat.

\section{Conclusions}

Authors must proofread their PDF file prior to submission to ensure it is correct. Authors should not rely on proofreading the Word file. Please proofread the PDF file before it is submitted.

\section{Acknowledgements}

The ISCA Board would like to thank the organizing committees of the past INTERSPEECH conferences for their help and for kindly providing the template files. \\
Note to authors: Authors should not use logos in the acknowledgement section; rather authors should acknowledge corporations by naming them only.

\bibliographystyle{IEEEtran}

\section{Introduction}

Speech representations learned in an unsupervised way should not be limited to better acoustic features for supervised ASR, but also provide a path towards understanding of utterances at a linguistic level by enabling modeling of audio signals at acoustic, phoneme, or word levels. However, these different levels of speech understanding require reasoning at different sampling rates: acoustic features are computed at equally spaced time intervals (e.g., every 10ms), while language models change state on each phoneme occurrence, or every word occurrence.  To capture this behavior, representation learning methods should provide mechanisms that produce variable-rate data representations, which change synchronously with the contents of the utterance, rather than an external clock.

Supervised ASR models allow variable rate data processing: during recognition an HMM~\cite{Rabiner89-ATO,graves_connectionist_2006,graves_sequence_2012} classifies jointly several acoustic frames into a single phoneme. Similarly the attention mechanism~\cite{bahdanau_neural_2014,chorowski_attentionbased_2015}
allows a phoneme or a character-synchronous decoder network to access acoustic features sampled uniformly in time. However, training these models requires ground-truth transcriptions.

In this paper we investigate the possibility of extending  Contrastive Predictive Coding (CPC) \cite{oord_representation_2018}, an unsupervised representation learning method, with a rate-adjusting alignment step. In the proposed Aligned  Contrastive Predictive Coding (ACPC, Figure \ref{fig:acpc}) the model predicts only a short sequence of latent codes which are aligned to a longer series of upcoming ones.

ACPC changes the behavior of the model in two ways. First, it promotes stability and piece-wise smoothness of the produced encodings: neighboring representations that are aligned to the same prediction are implicitly trained to be similar, while neighboring representations aligned to different predictions are trained to be different. Second, the task learned by the prediction network is altered: rather than predicting precisely timed future representations, the prediction network can now focus on \emph{what} symbols will come next, rather than exactly \emph{when} they will come. In consequence, ACPC leads to representations that are more related to phonemes, both on the linear frame-wise phoneme prediction task and on ABX evaluations. As demonstrated in experiments, ACPC also disincentivises the encoder from extracting location-based features, such as periodical patterns produced by strided convolutions~\cite{odena2016deconvolution} which are induced by classical contrastive coding.

Finally, we note that ACPC brings a small performance increase over CPC. Contrastive scoring of predictions is expensive, because it requires comparisons against hundreds of negative samples. ACPC makes fewer predictions, bringing in a noticeable speedup.

We publicly release the implementation at \url{https://github.com/chorowski-lab/CPC_audio}.

\begin{figure}
    \centering\includegraphics[width=.95\columnwidth]{figs/arch_acpc3.png}
    \caption{ACPC architecture. The encoder maps chunks of input data into a latent space and the autoregressive model predicts $K$ upcoming latent vectors. They are   aligned using DTW to the $M$ upcoming latent vectors. Training relies on a contrastive loss: the match between a prediction and its aligned latent vectors has to be stronger than the match of the predictor to any other latent vector. Using $K\slimeq M$ is equivalent to CPC~\protect\cite{oord_representation_2018}.}
    \label{fig:acpc}
\end{figure}

\section{Background and Motivation}

CPC \cite{oord_representation_2018} extracts latent representations of sequential data by learning to predict future states of the model. First, an encoding feed-forward network extracts latent representations from consecutive and overlapping chunks of the data, producing a sequence of latent codes. A powerful auto-regressive model is then applied to the latent representations. It is trained to predict the extracted latent representations several steps into the future. The model is supervised using Noise Contrastive Estimation: the prediction $p_t$ of the latent code $z_t$ at time $t$ must be closer to $z_t$ than to some other randomly sampled latent codes called the negative samples.
When applied to speech signals, CPC was shown to learn good acoustic representations of the data which are useful for phoneme prediction and low-resource speech recognition.

ACPC makes $K$ predictions of the upcoming latent vectors, which will be then matched to $M$ future latent vectors. It then force-aligns predictions to the latent codes, and only then uses a contrastive loss to supervise the model. The alignment can be performed efficiently using a variant of Dynamic Time Warping (DTW) \cite{vintsyuk_speech_1968}. This extra search step recovers the timing information, freeing the autoregressive model from having to learn it. When $K\slimeq M$ our system is equivalent to the vanilla CPC variant: there is only one possible alignment.

\section{ACPC Details}

Figure~\ref{fig:acpc}
demonstrates ACPC. The input sequence $x_1,\ldots,x_T$ is mapped using a strided convolutional encoder to a sequence of latent encodings $z_1,\ldots, z_{T'}$. Typically, the encoder uniformly reduces the temporal resolution of the data. Then, the autoregressive model summarizes all encodings up to time $t$, denoted $z_{\leq t}$, into a context vector $c_t = g_{enc}(z_{\leq t})$. Finally, $K$ predictions $p_t^1,\ldots, p_t^K$ are made conditioned on $c_t$. We match these prediction to $M$ upcoming latent vectors $z_{t+1} ,\dots, z_{t+M}$ using contrastive scores as follows. We first sample $N$ negative latent vectors from the encoder outputs $\bar{z}_t^1 ,\dots, \bar{z}_t^N$. We then compute the match between prediction $p_t^k$ and encoding $z_{t+m}$ using the contrastive score:

\begin{equation}\label{eq:scores}
    s_t^{k,m} = \frac{e^{\left<p_t^k, z_{t+m}\right>}}{e^{\left<p_t^k, z_{t+m}\right>} + \sum_{n=1}^N e^{\left<p_t^k, \bar{z}_t^N\right>}},
\end{equation}
where $\left<\cdot,\cdot\right>$ denotes the scalar product of two vectors.

We can organize the scores as a matrix showing the affinity of predictions made at time $t$ to subsequent latent codes. An alignment is a path through this matrix which connects the corner $k\slimeq 1,m\slimeq 1$ with the corner $k\slimeq K,m\slimeq M$. An example is shown in Figure~\ref{fig:acpc}.
We allow a single prediction to be aligned with several consecutive latent encodings, but each encoding may only be aligned with one prediction.

The model is trained to promote the best alignment between the predictions and actual latent encodings. The alignment can be found using DTW. However, since it is being computed several times for each training minibatch, the computation has to be efficient. We have chosen to approximate DTW using an optimized GPU implementation of CTC \cite{graves_connectionist_2006}. CTC assumes that scores are normalized, and computes the expected cost of the best path. Once a model is trained, a single path is typically dominant, and the expected cost over all paths is close to the cost of the best DTW path. Two technical issues remain. First, CTC uses a blank character. We forbid its use by extending the scoring matrix with a row set to a large negative constant value as its log-probability. Second, CTC requires the scores to be normalized. We use the fact, that when one path dominates, we can add or subtract any number to its scores - and we subtract the softmax normalizing score. The details may be found in the source code.

\section{Experiments}

We conduct our experiments on LibriSpeech train-clean-100, following the setup of \cite{riviere_unsupervised_2020} and the small CPC baseline used in ZeroSpeech 2021 \cite{nguyen_zero_2020}. We keep all design choices, and only replace the CPC loss with ACPC. All models read single channel raw waveforms sampled at 16kHz, chunked into sequences of 20480 samples. The encoder applies five 1D convolutions with internal dimension 256 and filter widths $(10, 8, 4, 4, 4)$. All convolutions are followed by channel-wise magnitude normalization and ReLU activations. Convolutions are strided by $(5, 4, 2, 2, 2)$ respectively, which results in a 160-fold rate reduction, yielding a 256-dimensional latent vector extracted every 10ms. The autoregressive context-building model is a two-layer LSTM network~\cite{hochreiter_long_1997} with 256 hidden units. Finally, each prediction head accesses all past contexts through a single Transformer layer~\cite{vaswani_attention_2017} with 8 scaled dot-product attention heads with internal dimension 2048 and dropout~\cite{srivastava_dropout_2014} with $p=0.1$.

Both CPC and ACPC use 128 negatives. We sample them from other utterances in the same minibatch, and we use minibatches containing 64 utterances of a single speaker. However, there is a subtle interplay between the negative selection and the number of GPUs, that affects the results: the negative selection is restricted to utterances processed on a single GPU. The more GPUs are used, the smaller the pool used for negative selection. In order to simulate the setup of~\cite{nguyen_zero_2020}, we group utterances into 8 groups which we use to simulate 8 GPUs and restrict negative selection to utterances in a group.

\subsection{Qualitative Results}
All results in this section are reported for models trained for 200 epochs. The output of the convolutional encoder ($z_t$ in Figure~\ref{fig:acpc}) is used as the \emph{learned representations} over which all the following experiments are conducted, but similar conclusions apply to  autoregressive contexts $c_t$.  For clarity, we only report ACPC results when $K\slimeq 8$ predictions are matched to a window of $M\slimeq 12$ frames. Several other combinations of predictions and window sizes were also tested ($K\slimeq 10$ over $M\slimeq 16$ and $K\slimeq 12$ over $M\slimeq 20$) leading to similar conclusions. An in-depth investigation of the effects on representation of these settings is left as a scope of future work.

We investigate three aspects of the learned representations on speech signals: the slow varying temporal evolution, how clustered the representation space is, and the agreement with interpretable views of speech such as the phonetic structure.

\begin{figure}[tb!]
    \centering
    \begin{tabular}{cc}
    \includegraphics[width=.44\columnwidth]{figs/vanilla_enc_similarity_small.png} &
    \includegraphics[width=.44\columnwidth]{figs/acpc_enc_similarity_small.png}
    \\
    CPC & ACPC (K=8, M=12)
    \end{tabular}%

    \caption{Dot-product similarity of latent representations at the output of the convolutional encoder. The white vertical bars and tick labels indicate ground-truth phoneme segmentation. Moire-like artifacts are visible for CPC, but less pronounced for ACPC (see main text for details). The pronounced blocks on the diagonal align with human-annotated phonemes. Visually, ACPC yields a representation in which latent vectors that correspond to a single phone are more self-similar.}
    \label{fig:enc_simi}
\end{figure}

\begin{figure}[tb]
    \includegraphics[width=\linewidth]{figs/dist_conv_repr_cosine.pdf}
    \caption{Distribution of cosine similarities between representations of random pairs of frames (top) and consecutive frames (bottom). The histograms are computed on both the representations from the baseline CPC and those of the proposed ACPC.}
    \label{fig:hist_dist}
\end{figure}

\vspace{1ex}\noindent\textbf{Temporal Smoothness } We first compare the self-similarity of representations produced by the convolutional encoder (Figure~\ref{fig:enc_simi}). CPC produces a distinct, moire-like pattern, and we hypothesize that the network learns to abuse strided convolutions to encode the location of the latent vector modulo 4, similarly to the checkerboard pattern visible in deconvolutional image generators~\cite{odena2016deconvolution}. This artifact appears during CPC training because it helps the predictor to guess the upcoming exactly timed features. ACPC does not require exact timing of predictions, and produces only a faint pattern. It enhances the similarity of encodings, as the boundaries of phonemes roughly align with the sharp blocks on the diagonal. We observe this difference between CPC and ACPC repeatedly on other samples.

\vspace{1ex}\noindent\textbf{Quantifying Pairwise Similarities }
We compare pairwise similarities of latent representations between CPC and ACPC with histograms (Figure~\ref{fig:hist_dist}). The distribution between similarities for both models (top) has a similar overall shape. For ACPC there is a second, distinct mode, which is expected for a sharp similarity matrix: a ground truth matrix would be block-diagonal with $O(n)$ ones on the diagonal and $O(n^2)$ zeros elsewhere, motivating two modes unequal in size. We take this idea further and compare self-similarities of only consecutive latent representations (placed directly below/above the diagonal in the distance matrix). There is a significant distribution shift in similarities of consecutive frames between CPC and ACPC.
The alignment of fewer predictions to the sequence of upcoming representations forces the ACPC model to share similar representations for consecutive frames, and therefore creates more slow-varying representation.

\vspace{1ex}\noindent\textbf{Clustering Quality }
While slow-varying features are often expected in speech signals, another aspect which is regularly sought is their readiness to be interpreted categorically. Speech signals are most often segmented into a series of discrete symbols for further processing. Many Automatic Speech Recognition (ASR) perform an alignment of the acoustic stream with regions associated to phone or sub-phone units through classification. We here test how the representations produced by ACPC are clustered in comparison to those of the baseline CPC. We run k-means on the set of latent codes. The clusters are evaluated in terms of concentration by plotting in Figure~\ref{fig:clust} (solid lines and left axis) the average squared distance from the samples to their assigned centroids. We note that the embeddings of both systems have similar norm due to Channel Normalization layers used in the encoder. We observe that ACPC produces consistently a lower mean distance, thus a more clustered representations for every tested number of components.

\begin{figure}[tb]
    \centering
    \includegraphics[width=\linewidth]{figs/clust_conv_repr.pdf}
    \caption{Clustering quality (solid lines, left axis) and agreement with the phone alignments (dashed lines, right axis) of the CPC and ACPC representations for different numbers of centroids. The quality is measured by the average squared distance to the assigned centroid, the agreement  computed by Normalized Mutual Information (NMI) between the cluster assignments and ground truth phones, forced-aligned with ASR. }
    \label{fig:clust}
\end{figure}

Furthermore, the clusters created by k-means on the ACPC latents are more in agreement with supervised ASR generated phonetic alignments than those computed using the baseline CPC. We compute and plot
the Normalized Mutual Information
between the set of cluster assignments resulting from the k-means and the phones assigned to each frame with forced alignment
(Figure~\ref{fig:clust}, dashed lines and right axis).
The results demonstrate that the modes in the latent space of the ACPC map better to phonetic content than those of the baseline CPC.

\subsection{Quantitative Results: ABX and Phone Classification}

We evaluate the model on two tasks that highlight the usefulness of CPC-derived representations: minimal-pair ABX task from ZeroSpeech 2021~\cite{nguyen_zero_2020}, and supervised linear frame-wise phoneme prediction.
For ABX (Table~\ref{tab:abx}), ACPC model is trained with the same settings as the CPC baseline of ZeroSpeech 2021. We extract the features from the last (second) hidden layer of the autoregressive model. We report results for $M\slimeq 12$, $K\slimeq 8$, but similar results are obtained for $K\slimeq 6$. ACPC improves upon the CPC baseline by relative $8-15\%$, depending on the task. It also takes significantly less wall-clock time to train with a similar implementation and hardware.
\begin{table}[tb]
\centering
\caption{ABX error rates on ZeroSpeech 2021 dev set: the provided baseline CPC checkpoint, our CPC rerun and ACPC with M=12 and K=8.}
\label{tab:abx}
\resizebox{\columnwidth}{!}{%
\begin{tabular}{@{\extracolsep{4pt}}lllllll@{}}
  \toprule

  & \multicolumn{2}{l}{CPC (ZeroSpeech \cite{nguyen_zero_2020})}
  & \multicolumn{2}{l}{CPC (our baseline)}
  & \multicolumn{2}{l}{ACPC M=12 K=8}\\
  \cmidrule{2-3}\cmidrule{4-5}\cmidrule{6-7}

  Dev   & Within & Across & Within & Across & Within & Across \\
  \midrule

  clean & 6.18\% & 8.02\% & 6.68\% & 8.39\% & {\bf 5.37\%} & {\bf 7.09\%} \\

  other & 8.46\% & 13.59\% & 9.03\% & 13.87\% & {\bf 7.46\%} & {\bf 12.60\%} \\
  \bottomrule
\end{tabular}%
}
\end{table}

Next, we provide an ablation on the number of predictions $M$ and predicted frames $K$, with phone classification accuracy task.
We train the models for 50 unsupervised epochs, extract the latent vectors after the convolutional encoder ($z_t$ in Figure~\ref{fig:acpc}) and on the hidden states of the autoregressive model ($c_t$), and then train a supervised linear phone classifier with those representations.
Table~\ref{tab:linphone} lists the results. It consistently indicates that optimal parameters for ACPC in this setup are predicting the next $M\slimeq 12$ frames with $K\slimeq 6$ or $K\slimeq 8$ predictions. We note that the baseline CPC model is set up with $M\slimeq K\slimeq12$.
All tested variants of ACPC improve upon CPC, indicating that $M$ and $K$ are easy to adjust.

We measure training step times, collected with the underlying CPC implementation provided for ZeroSpeech 2021. We can see that the training time depends on the amount of predictions, because scoring them is costly - they have to be matched to 128 negative encodings. Thanks to reduced number of predictions, the fastest ACPC setting is 1.7x faster than CPC, and still more accurate on phone classification. Moreover,
ACPC representations are easier to classify from the early training iterations
(Figure~\ref{fig:convergence}).

\begin{table}[tb]
    \centering
    \caption{Frame-wise linear phoneme recognition accuracy after 50 epochs of unsupervised training. We report accuracy obtained on latent representations: outputs $z_t$ of the convolutional encoder, and autoregressive contexts $c_t$ (see Figure~\ref{fig:acpc}). Best results are achieved for M=12 with K=6 or K=8. We report wall-clock training step time.}
    \label{tab:linphone}
    \resizebox{\columnwidth}{!}{%
    \begin{tabular}{@{\extracolsep{4pt}}lcllll@{}}
    \toprule
                   & \multirow{2}{0.72cm}[-0.17cm]{Step time}  & \multicolumn{2}{c}{Encoded $z_t$}  & \multicolumn{2}{c}{Contextual $c_t$}  \\
                   \cmidrule{3-4} \cmidrule{5-6}
    Model          &       & Train   & Val     & Train   & Val  \\
    \midrule
    CPC            & 2.6ms       & 51.5\%       & 51.2\%        & 67.8\%      & 67.5\% \\
    ACPC M=12 K=10 & 2.4ms       & 51.8\%       & 51.3\%        & 68.8\%      & 68.4\% \\
    ACPC M=12 K=8  & 2.1ms       & 52.0\%       & 51.9\%        & {\bf 69.7\%}& 68.6\% \\
    ACPC M=12 K=6  & 1.8ms       & {\bf 52.2\%} & {\bf 52.1\%}  & 69.2\%      & {\bf 68.8\%} \\
    ACPC M=12 K=4  & {\bf 1.5ms} & 52.1\%       & 51.9\%        & 69.0\%      & 68.7\% \\
    ACPC M=16 K=10 & 2.4ms       & 52.1\%       & 51.9\%        & 69.1\%      & {\bf 68.8\%} \\
    ACPC M=20 K=12 & 2.6ms       & 52.1\%       & 51.9\%        & 68.0\%      & 67.8\% \\
    \bottomrule
    \end{tabular}%
    }
\end{table}

\begin{figure}[tb!]
    \centering
    \includegraphics[width=\linewidth]{figs/convergence.png}
    \caption{Frame-wise linear phoneme prediction accuracy during training. ACPC steadily improves upon CPC, providing representations
             easier to classify.}
    \label{fig:convergence}
\end{figure}

We conclude that ACPC is able to train more accurate models. Qualitatively, the learned representations are smoother and more self-similar with frames belonging to each phone. These characteristics translate to improved linear classification accuracy and lower ABX error rates.

\section{Related Work}

Slow-feature analysis \cite{wiskott_slow_2002} introduced the general idea that interesting features of a time sequence should be slowly varying and proposed to train models with a penalty on the rate of representation change applied to all subsequent pairs of representations.
We are inspired by this observation, but attempt instead to learn a representation which is piece-wise constant: ideally, the representation would change abruptly at phoneme boundaries, and be fairly stable within a phoneme. In ACPC this is achieved by aligning the representation to a smaller sequence of predictions. Forcibly, some neighboring encodings will be aligned to the same prediction, and thus trained to be more similar, while other neighboring encodings will be aligned to different predictions, and hence trained to be different.

Several solutions were recently proposed to impose slow changes of the latent representations learned in an unsupervised way. So far, most efforts were aimed at auto-encoding models, especially using discrete encodings such as VQ-VAE~\cite{vandenoord_neural_2017}. In \cite{chorowski_unsupervised_2019} a time-jitter regularization was proposed to smooth the latent layer of VQ-VAE, which resulted in improved performance on ZeroSpeech data. \cite{chorowski_unsupervised_2019a} applied a penalty to VQ-VAE latent codes to enforce a piecewise-constant representation with a bounded number of code changes. To this end an optimal cluster assignment problem was solved for each training sample. This approach was refined in \cite{kamper_unsupervised_2020} for phoneme segmentation in a VQ-VAE and VQ-CPC \cite{niekerk_vectorquantized_2020}. Finally, \cite{dieleman_variablerate_2021} have proposed to use slowness penalty and run-length encoding of the latent representation of a VQ-VAE. ACPC is inspired by these solutions, but differs in a fundamental way. All above approaches essentially rely on temporal differences between subsequent latent encodings to enforce a segmentation. This can be seen as a purely bottom-up approach: the segmentation is fully determined given the states of the encoder. ACPC instead uses a top-down signal coming from the predictive network: it aligns the latent encodings to predictions. This makes ACPC somewhat similar to an online variant of pseudo-labeling \cite{likhomanenko_slimipl_2020}: the prediction network produces pseudolabels which after a force-alignment serve as targets for the encoder. \cite{khurana_convolutional_2020} can be seen as another top-down approach which models Markov-based latent transitions and emissions with neural networks, in contrast ACPC does not model explicitly the representation dynamics.

Matching two unaligned sequences of latent states using time warping was explored in the context of ASR by the neural transducer \cite{graves_sequence_2012}. ACPC employs a similar approach for each prediction window.

\section{Conclusion}
We have proposed a modification to the CPC loss which aligns a small sequence of predictions of the upcoming latent vectors to a longer sequence of encoder outputs, then reinforces this alignment using a contrastive training criterion. ACPC changes the training signal to the encoder: it enforces similarity between latent vectors aligned to the same prediction and the task solved by the prediction network: it avoids requiring exact timings of predictions. These changes lead to more stable latent encodings which yield better phoneme prediction accuracies and lower ABX error rates. We treat ACPC as a step towards enforcing meaningful segmentation, such as detecting phoneme boundaries, in a contrastive coding regime. We hope it will be useful in building systems that detect without supervision entities such as phonemes, which are important for a given problem domain.

\section{Acknowledgments}
The authors thank Polish National Science Center for funding
under the OPUS-18 2019/35/B/ST6/04379 grant and the PlGrid consortium for computational resources.

\bibliographystyle{IEEEtran}