Information Technology has enabled new levels of convenience to our daily life. While providing people with astonishingly good experiences, computer science has still a long way to meet the needs from the users for various scenarios. As a good example, path selection problem is an important and common problem which finds applications in location based services, internet routing and navigation systems. Choosing the most cost effective and time saving routines plays an essential role in both theory and engineering. Although a plethora of classical solutions have been made to the static shortest path problem, dynamic shortest path problem has not been thoroughly studied. To address this critical issue, this paper investigates the dynamic shortest path problem by optimizing existing work and conducting extensive experiments. The studies fall into three main variants of the problem: unweighted shortest paths, weighted shortest paths, and shortest paths on the map. We present a comprehensive comparison of our optimizations and existing solutions which demonstrates the effectiveness and efficiency of our algorithms.

No abstract uploaded!

No abstract uploaded!

Riemannian geometry is characterized, and research is oriented towards and shaped by concepts (geodesics, connections, curvature,...) and objectives, in particular to understand certain classes of (compact) Riemannian manifolds defined by curvature conditions (constant or positive or negative curvature,...). By way of contrast, geometric analysis is a perhaps somewhat less systematic collection of techniques, for solving extremal problems naturally arising in geometry and for investigating and characterizing their solutions. It turns out that the two fields complement each other very well; geometric analysis offers tools for solving difficult problems in geometry, and Riemannian geometry stimulates progress in geometric analysis by setting ambitious goals.

Strong, electromagnetic, and weak forces were unified in the Standard Model (SM) with spontaneous gauge symmetry breaking. These forces were further conjectured to be unified in a simple Lie group gauge interaction in the Grand Unification (GUT). In this work, we propose a theory beyond the SM and GUT by adding new gapped Topological Phase Sectors consistent with the nonperturbative global anomaly cancellation and cobordism constraints (especially from the baryon minus lepton number B−L, the electroweak hypercharge Y, and the mixed gauge-gravitational anomaly). Gapped Topological Phase Sectors are constructed via symmetry extension, whose low energy contains unitary Lorentz invariant topological quantum field theories (TQFTs): either 3+1d non-invertible TQFT, or 4+1d invertible or non-invertible TQFT (short-range or long-range entangled gapped phase). Alternatively, there could also be right-handed "sterile" neutrinos, gapless unparticle physics, more general interacting conformal field theories, or gravity with topological cobordism constraints, or their combinations to altogether cancel the mixed gauge-gravitational anomaly. We propose that a new high-energy physics frontier beyond the conventional 0d particle physics relies on the new Topological Force and Topological Matter including gapped extended objects (gapped 1d line and 2d surface operators or defects, etc., whose open ends carry deconfined fractionalized particle or anyonic string excitations) or gapless conformal matter. Physical characterizations of these gapped extended objects require the mathematical theories of cohomology, cobordism, or category. Although weaker than the weak force, Topological Force is infinite-range or long-range which does not decay in the distance, and mediates between the linked worldvolume trajectories via fractional or categorical statistical interactions.