Computing discrete geodesic distance over triangle meshes is one of the fundamental problems in computational geometry and computer graphics. In this problem, an effective window pruning strategy can significantly affect the actual running time. Due to its importance, we conduct an in-depth study of window pruning operations in this paper, and produce an exhaustive list of scenarios where one window can make another window partially or completely redundant. To identify a maximal number of redundant windows using such pairwise cross checking, we propose a set of procedures to synchronize local window propagation within the same triangle by simultaneously propagating a collection of windows from one triangle edge to its two opposite edges. On the basis of such synchronized window propagation, we design a new geodesic computation algorithm based on a triangle-oriented region growing scheme. Our geodesic algorithm can remove most of the redundant windows at the earliest possible stage, thus significantly reducing computational cost and memory usage at later stages. In addition, by adopting triangles instead of windows as the primitive in propagation management, our algorithm significantly cuts down the data management overhead. As a result, it runs 4-15 times faster than MMP and ICH algorithms, 2-4 times faster than FWP-MMP and FWP-CH algorithms, and also incurs the least memory usage.

We introduce K-theoretic Gromov-Witten invariants of algebraic orbifold target spaces. Using the methods developed by Givental-Tonita we characterize Giventals Lagrangian cone of quantum K theory of orbifolds in terms of the cohomological cone.

We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror theorem for a class of complete intersections in toric Deligne-Mumford stacks, and use this to compute genus-zero Gromov-Witten invariants of an orbifold hypersurface.

We construct an integrable hierarchy in the form of Hirota quadratic equations (HQE) that governs the Gromov--Witten (GW) invariants of the Fano orbifold projective curve P^1_{a1,a2,a3}. The vertex operators in our construction are given in terms of the K-theory of P^1_{a1,a2,a3} via Iritani's Γ-class modification of the Chern character map. We also identify our HQEs with an appropriate Kac--Wakimoto hierarchy of ADE type. In particular, we obtain a generalization of the famous Toda conjecture about the GW invariants of P^1 .

We study Gromov-Witten theory of hypertoric Deligne-Mumford stacks from two points of view. From the viewpoint of representation theory, we calculate the operator of small quantum product by a divisor, following \cite{BMO}, \cite{MO}, \cite{MS}. From the viewpoint of Lawrence toric geometry, we compare Gromov-Witten invariants of a hypertoric Deligne-Mumford stack with those of its associated Lawrence toric stack.