We show that the simply-connected four-manifolds which admit locally linear, homologically trivial Zp ×Zp actions are homeomorphic to connected sums of ±CP 2 and S × S (with one exception: pseudofree Z3 × Z3 actions on the Chern manifold), and also establish an equivariant decomposition theorem. This generalizes results from a 1970 paper by Orlik and Raymond about torus actions, and complements...

We analyse the phenomenological viability of heterotic Z3 orbifolds with two Wilson lines, which naturally predict three supersymmetric families of matter and Higgs fields. Given that these models can accommodate realistic scenarios for the quark sector avoiding potentially dangerous flavour-changing neutral currents, we now address the leptonic sector, finding that viable orbifold configuratio...

We consider the distribution of matrices R such that each R(i, j) is drawn independently from a normal distribution with mean zero and variance 1, R(i, j) ∼ N (0, 1). We show that for this distribution Equation 1 holds for some k ∈ O(log(n)/ε). First consider the random variable z = ∑d i=1 r(i)x(i) where r(i) ∼ N (0, 1). To understand how the variable z distributes we recall the two-stability o...

Our work is concerned with the problem on limit cycle bifurcation for a class of Z3-equivariant Lyapunov system of five degrees with three third-order nilpotent critical points which lie in a Z3-equivariant vector field. With the help of computer algebra system-MATHEMATICA, the first 5 quasiLyapunov constants are deduced. The fact of existing 12 small amplitude limit cycles created from the thr...

Answer Set Programming Modulo Theories (ASPMT) is an approach to combining answer set programming and satisfiability modulo theories based on the functional stable model semantics. It is shown that the tight fragment of ASPMT programs can be turned into SMT instances, thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper we present a compiler called ASPSMT2SMT, ...

Abstract Spiral arms serve crucial purposes in star formation and galaxy evolution. In this paper, we report the identification of “A2744-DSG- z 3,” a dusty, multiarm spiral at = 3.059 using James Webb Space Telescope (JWST) NIRISS imaging grism spectroscopy. A2744-DSG-z3 was discovered as gravitationally lensed submillimeter with Atacama Large Millimeter/submillimeter Array (ALMA). This is mos...