Completing Einstein’s Spacetime

The four-dimensional character of Einstein’s spacetime is generally accepted in mainstream physics as beyond reasonable doubt correct. However the real problem is when we require scale invariance and that this spacetime be four-dimensional on all scales. It is true that on our classical scale, the 4D decouples into 3D plus one time dimension and that on very large scale only the curvature of spacetime becomes noticeable. However the critical problem is that such spacetime must remain 4D no matter how small the scale we are probing is. This is something of crucial importance for quantum physics. The present work addresses this basic, natural and logical requirement and shows how many contradictory results and shortcomings of relativity and quantum gravity could be eliminated when we “complete” Einstein’s spacetime in such a geometrical gauge invariant way. Concurrently the work serves also as a review of the vast Literature on E-Infinity theory used here.

Wavelet Transform Modulus Maxima-Based Robust Digital Image Watermarking in Wavelet Domain

A new robust watermarking approach was proposed in 2D continuous wavelet domain （CWT）. The watermark is embedded into the large coefficients in the middle band of wavelet transform modulus maxima （WTMM） of the host image. After possible attacks, the watermark is then detected and extracted by correlation analysis. Compared with other wavelet domain watermarking approaches, the WTMM approach can endow the image with beth rotation and shift invariant properties. On the other hand, scale invariance is achieved with the geometric normalization during watermark detection. Case studies involve various attacks such as shifting, lossy compression, scaling, rotation and median filtering on the watermarked image, and the result shows that the approach is robust to these attacks.

Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

This paper discusses two problems:one is some important theories and algorithms of affine bracket algebra;the other is about their applications in mechanical theorem proving.First we give some efficient algorithms including the boundary expanding algorithm which is a key feature in application.We analyze the characteristics of the boundary operator and this is the base for the implementation of the system.We also give some new theories or methods about the exact division,the representations and structure of affine geometry and so on.In practice,we implement the mechanical auto-proving system in Maple 10 based on the above algorithms and theories.Also we test about more than 100 examples and compare the results with the methods before.

Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space

This paper investigates complex brackets and balanced complex 1st-order difference (BCD) polynomials. Then we propose an algorithm of O(n log n) complexity to check the equality of brackets. It substitutes exponential algorithms before. Also, BCD polynomials have some usages in geometric calculation.

Stability of hypersurface sections of quadric threefolds

Let S be a complete intersection of a smooth quadric 3-fold Q and a hypersurface of degree d in P4.We analyze GIT stability of S with respect to the natural G=SO(5,C)-action.We prove that if d 4 and S has at worst semi-log canonical singularities then S is G-stable.Also,we prove that if d 3 and S has at worst semi-log canonical singularities then S is G-semistable.

Dual mean Minkowski measures of symmetry for convex bodies

We introduce and study a sequence of geometric invariants for convex bodies in finite-dimensional spaces, which is in a sense dual to the sequence of mean Minkowski measures of symmetry proposed by the second author. It turns out that the sequence introduced in this paper shares many nice properties with the sequence of mean Minkowski measures, such as the sub-arithmeticity and the upper-additivity. More meaningfully, it is shown that this new sequence of geometric invariants, in contrast to the sequence of mean Minkowski measures which provides information on the shapes of lower dimensional sections of a convex body, provides information on the shapes of orthogonal projections of a convex body. The relations of these new invariants to the well-known Minkowski measure of asymmetry and their further applications are discussed as well.

The Moduli Space in the Gauged Linear Sigma Model

This is a survey article for the mathematical theory of Witten's Gauged Linear Sigma Model, as developed recently by the authors. Instead of developing the theory in the most general setting, in this paper the authors focus on the description of the moduli.

Minimum Principle for Plurisubharmonic Functions and Related Topics

This is a survey about some recent developments of the minimum principle for plurisub- harmonic functions and related topics.

On the complex structure of symplectic quotients

Let K be a compact group.For a symplectic quotient M_(λ) of a compact Hamiltonian Kahler K-manifold,we show that the induced complex structure on M_(λ) is locally invariant when the parameter λ varies in Lie(K)^(*).To prove such a result,we take two di erent approaches:(i)use the complex geometry properties of the symplectic implosion construction;(ii)investigate the variation of geometric invariant theory(GIT)quotients.

Invariant hypersurface flows in centro-affine geometry

In this paper,the invariant geometric flows for hypersurfaces in centro-affine geometry are explored.We first present evolution equations of the centro-affine invariants corresponding to the geometric flows.Based on these fundamental evolution equations,we show that the centro-affine heat flow for hypersurfaces is equivalent to a system of ordinary differential equations,which can be solved explicitly.Finally,the centro-affine invariant normal flows for hypersurfaces are investigated,and two specific flows are provided to illustrate the behaviour of the flows.