We reduced the unsolved problem of Evans triangles to the problem of nding rational points on a class of elliptic curves, the twisted Edwards curves En. We proved that the set of all Evans triangles with a given ratio is isomorphic to a quotient group of En(Q). After this, using Sage, we can solve the Evans problem for an amount of cases within the capacity of computer. Even without the help of a computer, we can still obtain a large class of new Evans triangles, and nd an eective way to test if the rank of an Edwards curve is positive or not.

Quantum-disordering a discrete-symmetry breaking state by condensing domain-walls can lead to a trivial symmetric insulator state. In this work, we show that if we bind a 1D representation of the symmetry (such as a charge) to the intersection point of several domain walls, condensing such modified domain-walls can lead to a non-trivial symmetry-protected topological (SPT) state. This result is obtained by showing that the modified domain-wall condensed state has a non-trivial SPT invariant -- the symmetry-twist dependent partition function. We propose two different kinds of field theories that can describe the above mentioned SPT states. The first one is a Ginzburg-Landau-type non-linear sigma model theory, but with an additional multi-kink domain-wall topological term. Such theory has an anomalous Uk(1) symmetry but an anomaly-free ZkN symmetry. The second one is a gauge theory, which is beyond Abelian Chern-Simons/BF gauge theories. We argue that the two field theories are equivalent at low energies. After coupling to the symmetry twists, both theories produce the desired SPT invariant.

Alexandrov proved that any simplicial complex homeomorphic to a sphere with strictly non-negative Gaussian curvature at each vertex can be isometrically embedded uniquely in {{\mathbb {R}}}^{3} as a convex polyhedron. Due to the nonconstructive nature of his proof, there have yet to be any algorithms, that we know of, that realizes the Alexandrov embedding in polynomial time. Following his proof, we developed the adiabatic isometric mapping (AIM) algorithm. AIM uses a guided adiabatic pull-back procedure on a given polyhedral metric to produce an embedding that approximates the unique Alexandrov polyhedron. Tests of AIM applied to two different polyhedral metrics suggests that its run time is sub cubic with respect to the number of vertices. Although Alexandrov's theorem specifically addresses the embedding of convex polyhedral metrics, we tested AIM on a broader class of polyhedral metrics that included regions of

Quantitative susceptibility mapping (QSM) uses the phase data in magnetic resonance signals to visualize a three-dimensional susceptibility distribution by solving the magnetic field to susceptibility inverse problem. Due to the presence of zeros of the integration kernel in the frequency domain, QSM is an ill-posed inverse problem. Although numerous regularization-based models have been proposed to overcome this problem, incompatibility in the field data, which leads to deterioration of the recovery, has not received enough attention. In this paper, we show that the data acquisition process of QSM inherently generates a harmonic incompatibility in the measured local field. Based on this discovery, we propose a novel regularization-based susceptibility reconstruction model with an additional sparsity-based regularization term on the harmonic incompatibility. Numerical experiments show that the proposed method achieves better performance than existing approaches.

We show that if E is an s-regular set in R^2 for which the triple integral \int_E \int_E \int_E c(x, y, z)^{2s} dH^sx dH^sy dH^sz of the Menger curvature c is finite and if 0 < s ≤ 1/2, then H^s almost all of E can be covered with countably many C^1 curves. We give an example to show that this is false for 1/2 <s< 1.