1: \begin{abstract} \setlength{\baselineskip}{12pt}

2: We prove a Chevalley formula for anti-dominant weights

3: and also a Monk formula in the torus-equivariant $K$-group of 

4: the formal power series model of semi-infinite

5: flag manifolds, both of which are described explicitly in terms 

6: of semi-infinite Lakshmibai-Seshadri paths 

7: (or, equivalently, quantum Lakshmibai-Seshadri paths).

8: In view of recent results of Kato, these formulas give 

9: an explicit description of the structure constants for 

10: the Pontryagin product in the torus-equivariant $K$-group of 

11: affine Grassmannians and that for the quantum multiplication of 

12: the torus-equivariant (small) quantum $K$-group of 

13: finite-dimensional flag manifolds. 

14: Our proof of these formulas is based on

15: standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, 

16: which is established in our previous work, and also uses 

17: a string property of Demazure-like subsets of the crystal basis of 

18: a level-zero extremal weight module over a quantum affine algebra.

19: \end{abstract}