To easily generalize the maximum-principle-satisfying schemes for scalar conservation laws to convection diffusion equations, we propose a non-conventional high order finite volume weighted essentially non-oscillatory (WENO) scheme which can be proven maximum-principle-satisfying. Two-dimensional extensions are straightforward. We also show that the same idea can be used to construct high order schemes preserving the maximum principle for two-dimensional incompressible Navier-Stokes equations in the vorticity stream-function formulation. Numerical tests for the fifth order WENO schemes are reported.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let σ and τ be simplicial complexes and σ*τ be their join. Let$J$_{σ}be the exterior face ideal of σ and Δ(σ) the exterior algebraic shifted complex of σ. Assume that σ*τ is a simplicial complex on [$n$]={1,2,...,$n$}. For any$d$-subset$S$⊂[$n$], let $m_{\preceq_{\textrm{rev}}S}(\sigma)$ denote the number of$d$-subsets$R$∈σ which are equal to or smaller than$S$with respect to the reverse lexicographic order. We will prove that $m_{\preceq_{\textrm{rev}}S}(\Delta(\sigma*\tau))\geq m_{\preceq_{\textup{rev}}S}(\Delta(\Delta(\sigma) *\Delta(\tau)))$ for all$S$⊂[$n$]. To prove this fact, we also prove that $m_{\preceq_{\textrm{rev}}S}(\Delta(\sigma))\geq m_{\preceq_{\textup{rev}}S}(\Delta(\Delta_{\varphi}(\sigma)))$ for all$S$⊂[$n$] and for all nonsingular matrices ϕ, where Δ_{ϕ}(σ) is the simplicial complex defined by $J_{\Delta_{\varphi}(\sigma)}=\textup{in}(\varphi(J_{\sigma}))$ .

We propose a simple and efficient finite-difference method for the incompressible MHD equation. The numerical method combines the advantage of the MAC scheme for the Navier–Stokes equation and Yee's scheme for the Maxwell equation. In particular, the semi-discrete version of our scheme introduces no numerical dissipation and preserves the energy identity exactly.

No abstract uploaded!

In this paper, we study the existence of homoclinic solutions for a class of fourth order differential equations. By using variational methods, the existence and the non-existence of nontrivial homoclinic solutions are obtained, depending on a parameter.

No abstract uploaded!

We show that the category of finite-length generalized modules for the singlet vertex algebra M(p), p∈Z_+, is equal to the category O_M(p) of C_1-cofinite M(p)-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since O_M(p) includes the uncountably many typical M(p)-modules, which are simple M(p)-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of atypical M(p)-modules. We also introduce a tensor subcategory O_M(p)^T, graded by an algebraic torus T, which has enough projectives and is conjecturally tensor equivalent to the category of finite-dimensional weight modules for the unrolled restricted quantum group of sl_2 at a 2pth root of unity. We compute all tensor products involving simple and projective M(p)-modules, and we prove that both tensor categories O_M(p) and O_M(p)^T are rigid and thus also ribbon. As an application, we use vertex operator algebra extension theory to show that the representation categories of all finite cyclic orbifolds of the triplet vertex algebras W(p) are non-semisimple modular tensor categories, and we confirm a conjecture of Adamović-Lin-Milas on the classification of simple modules for these finite cyclic orbifolds.

No abstract uploaded!

Fusion of images with same or different modalities has been conquering medical imaging field more rapidly due to the presence of highly accessible patients’ information in recent years. For example, cross platform non-rigid registration of CT with MRI images has found a significant role in different clinical application. In some instances labelling of anatomical features by medical experts are also involved to further improve the accuracy and authenticity of the registration. Being motivated by these, we propose a new algorithm to compute diffeomorphic hybrid multi-modality registration with large deformations. Our iterative scheme consists of mainly two steps. First, we obtain the optimal Beltrami coefficient corresponding to the diffeomorphic mapping that exactly superimposes the feature points. The second step detects the intensity difference in the framework of mutual information. A non-rigid deformation which minimizes the intensity difference is then obtained. Experiments have been carried out on both synthetic and real data. Results demonstrate the stability and efficacy of the proposed algorithm to obtain diffeomorphic image registration.

We show that any star-shaped convex hypersurface with constantWeingarten curvature in the deSitter-Schwarzschildmanifold is a sphere of symmetry.Moreover, we study an isoperimetric problem for bounded domains in the doubled Schwarzschild manifold. We prove the existence of an isoperimetric surface for any value of the enclosed volume, and we completely describe the isoperimetric surfaces for very large enclosed volume. This complements work in H. Bray’s thesis, where isoperimetric surfaces homologous to the horizon are studied.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

The fermionic signature operator is constructed in Rindler space-time. It is shown to be an unbounded self-adjoint operator on the Hilbert space of solutions of the massive Dirac equation. In two-dimensional Rindler space-time, we prove that the resulting fermionic projector state coincides with the Fulling-Rindler vacuum. Moreover, the fermionic signature operator gives a covariant construction of general thermal states, in particular of the Unruh state. The fermionic signature operator is shown to be well-defined in asymptotically Rindler space-times. In four-dimensional Rindler space-time, our construction gives rise to new quantum states.

We discuss Nakamaye's Theorem and its recent extension to compact complex manifolds, together with some applications.