To a torus action on a complex vector space, Gelfand, Kapranov and Zelevinsky introduce a system of differential equations, called the GKZ hypergeometric system. Its solutions are GKZ hypergeometric functions. We study the $p$-adic counterpart of the GKZ hypergeometric system. In the language of dagger spaces introduced by Grosse-Kl\"onne, the $p$-adic GKZ hypergeometric complex is a twisted relative de Rham complex of meromorphic differential forms with logarithmic poles for an affinoid toric dagger space over the dagger unit polydisc. It is a complex of ${\mathcal O}^\dagger$-modules with integrable connections and with Frobenius structures defined on the dagger unit polydisc such that traces of Frobenius on fibers at Techm\"uller points define the hypergeometric function over the finite field introduced by Gelfand and Graev.

Recent work explores the candidate phases of the 4d adjoint quantum chromodynamics (QCD$_4$) with an SU(2) gauge group and two massless adjoint Weyl fermions. Both Cordova-Dumitrescu and Bi-Senthil propose possible low energy 4d topological quantum field theories (TQFTs) to saturate the higher 't Hooft anomalies of adjoint QCD$_4$ under a renormalization-group (RG) flow from high energy. In this work, we generalize the symmetry-extension method [arXiv:1705.06728] to higher symmetries, and formulate higher group cohomology and cobordism theory approach to construct higher-symmetric TQFTs. We prove that the symmetry-extension method saturates certain anomalies, but also prove that neither $A \mathcal{P}_2(B_2)$ nor $\mathcal{P}_2(B_2)$ can be fully trivialized, with the background 1-form field $A$, Pontryagin square $\mathcal{P}_2$ and 2-form field $B_2$. Surprisingly, this indicates an obstruction to constructing a fully 1-form center and 0-form chiral symmetry (full discrete axial symmetry) preserving 4d TQFT with confinement, a no-go scenario via symmetry-extension for specific higher anomalies. We comment on the implications and constraints on deconfined quantum critical points (dQCP), quantum spin liquids (QSL) or quantum fermionic liquids in condensed matter, and ultraviolet-infrared (UV-IR) duality in 3+1 spacetime dimensions.

We propose a computational framework named iterative local adaptive majorize-minimization (I-LAMM) to simultaneously control algorithmic complexity and statistical error when fitting high dimensional models. I-LAMM is a two-stage algorithmic implementation of the local linear approximation to a family of folded concave penalized quasi-likelihood. The first stage solves a convex program with a crude precision tolerance to obtain a coarse initial estimator, which is further refined in the second stage by iteratively solving a sequence of convex programs with smaller precision tolerances. Theoretically, we establish a phase transition: the first stage has a sublinear iteration complexity, while the second stage achieves an improved linear rate of convergence. Though this framework is completely algorithmic, it provides solutions with optimal statistical performances and controlled algorithmic complexity for a large family

No abstract uploaded!

This paper presents a novel algorithm to obtain landmark-based genus-1 surface registration via a special class of quasi-conformal maps called the Teichmüller maps. Registering shapes with important features is an important process in medical imaging. However, it is challenging to obtain a unique and bijective genus-1 surface matching that satisfies the prescribed landmark constraints. In addition, as suggested by [11], conformal transformation provides the most natural way to describe the deformation or growth of anatomical structures. This motivates us to look for the unique mapping between genus-1 surfaces that matches the features while minimizing the maximal conformality distortion. Existence and uniqueness of such optimal diffeomorphism is theoretically guaranteed and is called the Teichmüller extremal mapping. In this work, we propose an iterative algorithm, called the Quasi-conformal (QC) iteration, to find the Teichmüller extremal mapping between the covering spaces of genus-1 surfaces. By representing the set of diffeomorphisms using Beltrami coefficients (BCs), we look for an optimal BC which corresponds to our desired diffeomorphism that matches prescribed features and satisfies the periodic boundary condition on the covering space. Numerical experiments show that our proposed algorithm is efficient and stable for registering genus-1 surfaces even with large amount of landmarks. We have also applied the algorithm on registering vertebral bones with prescribed feature curves, which demonstrates the usefulness of the proposed algorithm.