We study the averaging of fronts moving with positive oscillatory normal velocity, which is periodic in space and stationary ergodic in time. The problem can be formulated as the homogenization of coercive level set Hamilton-Jacobi equations with spatio-temporal oscillations. To overcome the difficulties due to the oscillations in time and the linear growth of the Hamiltonian, we first study the long time averaged behavior of the associated reachable sets using geometric arguments. The results are new for higher than one dimensions even in the space-time periodic setting.

No abstract uploaded!

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) = ∅.

We develop a new technique to study ranks of multiplication maps for linear series via limit linear series and degenerations to chains of elliptic curves. We prove an elementary criterion and apply it to proving cases of the Maximal Rank Conjecture. We give a new proof of the case of quadrics, and also treat several families in the case of cubics. Our proofs do not require restrictions on direction of approach, so we recover new information on the locus in the moduli space of curves on which the maximal rank condition fails.

Surface-related-multiple wavefields constitute redundant information in conventional migration and can often be difficult to attenuate. However, when used for migration, multiple wavefields can improve subsurface illumination. Unfortunately, the process of imaging using multiples involves the management of crosstalk, which largely restricts its application. Crosstalk causes phantom images formed by spurious correlation of unrelated events in a migration process. These events can be unrelated orders of multiples in the source and receiver wavefields; they can also be one event associated with a reflector in the source wavefield and another event generated by a different reflector in the receiver wavefield. We have first examined crosstalk by explicitly investigating its generation mechanisms in a migration process and classifying it into different categories based on causality. Following this analysis, crosstalk can be predicted in a migration process and subtracted in the image domain; however, this method is usually difficult to apply due to the complexity of wavefield separation and adaptive subtraction. Furthermore, we develop different algorithms to attenuate the crosstalk, including a deconvolution imaging condition, a least-squares migration (LSM) method, and an advanced algorithm combining LSM with a deconvolution imaging condition. We evaluate these different strategies with synthetic examples. A deconvolution imaging condition can attenuate some crosstalk, but it is less effective at suppressing strong coherent crosstalk events. However, the LSM method can fundamentally address the crosstalk issue, and this approach is further optimized when combined with a deconvolution imaging condition.