No abstract uploaded!

No abstract uploaded!

The polygonal approximation problem is a primary problem in computer graphics, pattern recognition, CAD/CAM, etc. In $R^2$, the cone intersection method (CIM) is one of the most eÆcient algorithms for approximating polygonal curves. With CIM Eu and Toussaint, by imposing an additional constraint and changing the given error criteria, resolve the three-dimensional weighted minimum number polygonal approximation problem with the parallel-strip error criterion (PS-WMN) under $L_2$ norm. In this paper, without any additional constraint and change of the error criteria, a CIM solution to the same problem with the line segment error criterion (LS-WMN) is presented, which is more frequently encountered than the PS-WMN is. Its time complexity is $O(n^3)$, and the space complexity is $O(n^2)$. An approximation algorithm is also presented, which takes $O(n^2)$ time and $O(n)$ space. Results of some examples are given to illustrate the eÆciency of these algorithms.

No abstract uploaded!

No abstract uploaded!

In this paper, we study entire solutions of the Allen-Chan equation in one-dimensional Euclidean space. This equation is a scalar reaction-diffusion equation with a bistable nonlinearity. It is well-known that this equation admits three different types of traveling fronts connecting two of its three constant states. Under certain conditions on the wave speeds, the existence of entire solutions with merging these three traveling fronts is shown by constructing a suitable pair of super-sub-solutions.

The commonly used spatial entropy hr(U) of the multi-dimensional shift space U is the limit of growth rate of admissible local patterns on finite rectangular sublattices which expands to whole space Zd, d ≥ 2. This work studies spatial entropy hΩ(U) of shift space U on general expanding system Ω = {Ω(n)}∞ n=1 where Ω(n) is increasing finite sublattices and expands to Zd. Ω is called genuinely d-dimensional if Ω(n) contains no lower-dimensional part whose size is comparable to that of its d-dimensional part. We show that hr(U) is the supremum of hΩ(U) for all genuinely two-dimensional Ω. Furthermore, when Ω is genuinely d-dimensional and satisfies certain conditions, then hΩ(U) = hr(U). On the contrary, when Ω(n) contains a lower-dimensional part, then hr(U) < hΩ(U) for some U. Therefore, hr(U) is appropriate to be the d-dimensional spatial entropy.

This investigation completely classifies the spatial chaos problem in plane edge coloring (Wang tiles) with two symbols. For a set of Wang tiles B, spatial chaos occurs when the spatial entropy h(B) is positive. B is called a minimal cycle generator if P(B) 6= ∅ and P(B′) = ∅ whenever B′ $ B, where P(B) is the set of all periodic patterns on Z2 generated by B. Given a set of Wang tiles B, write B = C1 ∪ C2 ∪ · · · ∪ Ck ∪ N, where Cj, 1 ≤ j ≤ k, are minimal cycle generators and B contains no minimal cycle generator except those contained in C1 ∪ C2 ∪ · · · ∪ Ck. Then, the positivity of spatial entropy h(B) is completely determined by C1 ∪ C2 ∪ · · · ∪ Ck. Furthermore, there are 39 equivalent classes of marginal positive-entropy (MPE) sets of Wang tiles and 18 equivalent classes of saturated zero-entropy (SZE) sets of Wang tiles. For a set of Wang tiles B, h(B) is positive if and only if B contains an MPE set, and h(B) is zero if and only if B is a subset of an SZE set.

This investigation studies nonemptiness problems of plane edge coloring with three colors. In the edge coloring (or Wang tiles) of a plane, unit squares with colored edges that have one of p colors are arranged side by side such that the touching edges of the adjacent tiles have the same colors. Given a basic set B of Wang tiles, the nonemptiness problem is to determine whether or not Σ(B) 6= ∅, where Σ(B) is the set of all global patterns on Z2 that can be constructed from the Wang tiles in B. Wang’s conjecture is that for any B of Wang tiles, Σ(B) 6= ∅ if and only if P(B) 6= ∅, where P(B) is the set of all periodic patterns on Z2 that can be generated by the tiles in B. When p ≥ 5, Wang’s conjecture is known to be wrong. When p = 2, theconjecture is true. This study proves that when p = 3, the conjecture is also true. If P(B) 6= ∅, then B has a subset B′ of minimal cycle generators such that P(B′) 6= ∅ and P(B′′) = ∅ for B′′ $ B′. This study demonstrates that the set C(3) of all minimal cycle generators contains 787, 605 members that can be classified into 2, 906 equivalence classes. N(3) is the set of all maximal non-cycle generators : if B ∈ N(3), then P(B) = ∅ and P(B ˜) 6= ∅ for B ˜ % B. Wang’s conjecture is shown to be true by proving that B ∈ N(3) implies Σ(B) = ∅.

This work is concerned with zeta functions of two-dimensional shifts of finite type. A two-dimensional zeta function ζ0(s) which generalizes the Artin-Mazur zeta function was given by Lind for Z2-action φ. The n-th order zeta function ζn of φ on Zn×∞, n ≥ 1, is studied first. The trace operator Tn which is the transition matrix for x-periodic patterns of period n with height 2 is rotationally symmetric. The rotational symmetry of Tn induces the reduced trace operator τn and ζn = (det (I − snτn))−1. The zeta function ζ =∞ Qn=1 (det (I − snτn))−1 in the x-direction is now a reciprocal of an infinite product of polynomials. The zeta function can be presented in the y-direction and in the coordinates of any unimodular transformation in GL2(Z). Therefore, there exists a family of zeta functions that are meromorphic extensions of the same analytic function ζ0(s). The Taylor series at the origin for these zeta functions are equal with integer coefficients, yielding a family of identities which are of interest in number theory. The method applies to thermodynamic zeta functions for the Ising model with finite range interactions.

No abstract uploaded!

We discuss a sharp lower bound for the first positive eigenvalue of the sublaplacian on a closed, strictly pseudoconvex pseudohermitian manifold of dimension 2m + 1 ≥ 5. We prove that the equality holds iff the manifold is equivalent to the CR sphere up to a scaling. For this purpose, we establish an Obata-type theorem in CR geometry that characterizes the CR sphere in terms of a nonzero function satisfying a certain overdetermined system. Similar results are proved in dimension 3 under an additional condition.

For two nearby disjoint coassociative submanifolds C and C′ in a G2-manifold, we construct thin instantons with boundaries lying on C and C′ from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.

We show that the first Johnson subgroup of the mapping class group of a surface  of genus greater than 1 acts ergodically on the moduli space of representations of π1() in SU2. Our proof relies on a local description of the latter space around the trivial representation and on the Taylor expansion of trace functions.

We introduce a natural generalization of marginally outer trapped surfaces, called immersed marginally outer trapped surfaces, and prove that three-dimensional asymptotically flat initial data sets either contain such surfaces or are diffeomorphic to R^3. We establish a generalization of the Penrose singularity theorem which shows that the presence of an immersed marginally outer trapped surface generically implies the null geodesic incompleteness of any spacetime that satisfies the null energy condition and which admits a non-compact Cauchy surface. Taken together,these results can be viewed as an initial data version of the Gannon-Lee singularity theorem. The first result is a non-timesymmetric version of a theorem ofMeeks-Simon-Yau which implies that every asymptotically flat Riemannian 3-manifold that is not diffeomorphic to R^3 contains an embedded stable minimal surface. We also obtain an initial data version of the spacetime principle of topological censorship. Under physically natural assumptions, a 3-dimensional asymptotically flat initial data set with marginally outer trapped boundary and no immersed marginally outer trapped surfaces in its interior is diffeomorphic to R^3 minus a finite number of open balls. An extension to higher dimensions is also discussed.

We give a shorter proof of the existence of nontrivial closed minimal hypersurfaces in closed smooth (n + 1)-dimensional Riemannian manifolds, a theorem proved first by Pitts for 2 ≤ n ≤ 5 and extended later by Schoen and Simon to any n.

Strongly pseudoconvex CR manifolds are boundaries of Stein varieties with isolated normal singularities.We prove that any nonconstant CR morphism between two (2n.1)-dimensional strongly pseudoconvex CR manifolds lying in an n-dimensional Stein variety with isolated singularities are necessarily a CR biholomorphism. As a corollary, we prove that any nonconstant self map of (2n . 1)-dimensional strongly pseudoconvex CR manifold is a CR automorphism. We also prove that a finite ′etale covering map between two resolutions of isolated normal singularities must be an isomorphism.

We show that a properly immersed minimal hypersurface in M × R+ equals some M×{c} when M is a complete, recurrent ndimensional Riemannian manifold with bounded curvature. If on the other hand,M is not necessarily recurrent but has nonnegative Ricci curvature with curvature bounded below, the same result holds for any positive entire minimal graph over M.

In the general, this article addresses the nature of, and relation between, canonical and log-canonical singularities of foliations by curves. The case of equivariance under a finite group action has several peculiarities, amongst which are examples from dimension 3 onward where no birational modification can be both Gorenstein and log-canonical. The article in the specific, i.e. a functorial resolution algorithm for foliated 3-folds in the 2-category of Deligne-Mumford champs, is thus not only optimal but natural.

We show that closed hypersurfaces in Euclidean space with nonnegative scalar curvature are weakly mean convex. In contrast, the statement is no longer true if the scalar curvature is replaced by the kth mean curvature, for k greater than 2, as we construct the counterexamples for all k greater than 2. Our proof relies on a new geometric argument which relates the scalar curvature and mean curvature of a hypersurface to the mean curvature of the level sets of a height function. By extending the argument, we show that complete noncompact asymptotically flat hypersurfaces with nonnegative scalar curvature are weakly mean convex and prove the positive mass theorem for such hypersurfaces in all dimensions.

We verify a conjecture of Lutwak, Yang, and Zhang about the equality case in the Orlicz-Petty projection inequality, and provide an essentially optimal stability version.

We consider manifolds with conic singularities that are isometric to Rn outside a compact set. Under natural geometric assumptions on the cone points, we prove the existence of a logarithmic resonance-free region for the cut-off resolvent. The estimate also applies to the exterior domains of non-trapping polygons via a doubling process. The proof of the resolvent estimate relies on the propagation of singularities theorems of Melrose and the second author [23] to establish a “very weak” Huygens’ principle, which may be of independent interest. As applications of the estimate, we obtain a exponential local energy decay and a resonance wave expansion in odd dimensions, as well as a lossless local smoothing estimate for the Schr¨odinger equation.

We show that the pre-order defined on the category of contact manifolds by arbitrary symplectic cobordisms is considerably less rigid than its counterparts for exact or Stein cobordisms: in particular, we exhibit large new classes of contact 3-manifolds which are symplectically cobordant to something overtwisted, or to the tight 3-sphere, or which admit symplectic caps containing symplectically embedded spheres with vanishing self-intersection. These constructions imply new and simplified proofs of several recent results involving fillability, planarity, and non-separating contact type embeddings. The cobordisms are built from symplectic handles of the form Σ × D and Σ × [−1, 1] × S1, which have symplectic cores and can be attached to contact 3-manifolds along sufficiently large neighborhoods of transverse links and preLagrangian tori. We also sketch a construction of J-holomorphic foliations in these cobordisms and formulate a conjecture regarding maps induced on Embedded Contact Homology with twisted coefficients.

In this paper we study the analytic torsion and the L2-torsion of compact locally symmetric manifolds. We consider the analytic torsion with respect to representations of the fundamental group which are obtained by restriction of irreducible representations of the group of isometries of the underlying symmetric space. The main purpose is to study the asymptotic behavior of the analytic torsion with respect to sequences of representations associated to rays of highest weights.

The entropy of a hypersurface is a geometric invariant that measures complexity and is invariant under rigid motions and dilations. It is given by the supremum over all Gaussian integrals with varying centers and scales. It is monotone under mean curvature flow, thus giving a Lyapunov functional. Therefore, the entropy of the initial hypersurface bounds the entropy at all future singularities. We show here that not only does the round sphere have the lowest entropy of any closed singularity, but there is a gap to the second lowest.