Getzler-Jones-Petrack introduced $A_\infty$ structures on the equivariant complex for manifold $M$ with smooth $\mathbb{S}^1$ action, motivated by geometry of loop spaces. Applying Witten's deformation by Morse functions followed by homological perturbation we obtained a new set of $A_\infty$ structures. We extend and prove Fukaya's conjecture relating this Witten's deformed equivariant de Rham complexes, to a new Morse theoretical $A_\infty$ complexes defined by counting gradient trees with jumping which are closely related to the $\mathbb{S}^1$ equivariant symplectic cohomology proposed by Siedel.

The transformed $l_1$ penalty (TL1) functions are a one parameter family of bilinear transformations composed with the absolute value function. When acting on vectors, the TL1 penalty interpolates $l_0$ and $l_1$ similar to $l_p$ norm, where $p$ is in $(0,1)$. In our companion paper, we showed that TL1 is a robust sparsity promoting penalty in compressed sensing (CS) problems for a broad range of incoherent and coherent sensing matrices. Here we develop an explicit fixed point representation for the TL1 regularized minimization problem. The TL1 thresholding functions are in closed form for all parameter values. In contrast, the $l_p$ thresholding functions ($p$ is in $[0,1]$) are in closed form only for $p=0;1;1=2;2=3$, known as hard, soft, half, and 2/3 thresholding respectively. The TL1 threshold values differ in subcritical (supercritical) parameter regime where the TL1 threshold functions are continuous (discontinuous) similar to soft-thresholding (half-thresholding) functions. We propose TL1 iterative thresholding algorithms and compare them with hard and half thresholding algorithms in CS test problems. For both incoherent and coherent sensing matrices, a proposed TL1 iterative thresholding algorithm with adaptive subcritical and supercritical thresholds (TL1IT-s1 for short), consistently performs the best in sparse signal recovery with and without measurement noise.

The original goal of this paper is to extend the affine isoperimetric inequality and Steiner type inequality of Orlicz projection bodies (which originated to Lutwak, Yang, and Zhang [36]), from convex bodies to Lipschitz star bodies (whose radial functions are locally Lipschitz). In order to achieve it, we investigate the graph functions of the given Lipschitz star body K: Along almost all directions u, we can define the graph functions on an open dense subset of the orthogonal projection of K onto u⊥.

Recently Freed and Hopkins [11] proved that there is no parity anomaly in M-theory on pin+ manifolds in the low-energy field theory approximation, and they also developed an algebraic theory of cubic forms. Earlier Witten [33] proved the anomaly cancellation for spin manifolds by introducing the E8-bundle technique. Motivated by the cubic forms and the anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spinc, spinω2 and orientable 12- manifolds respectively. We relate them to η-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spinc or spinω2 . Our method of producing these cubic forms is a combination of (generalized) Witten classes and the character of the basic representation of affine E8.

No abstract uploaded!