Implicit Shape Reconstruction of Unorganized Points Using PDE-Based Deformable 3D Manifolds

<正>In this work we consider the problem of shape reconstruction from an unorganized data set which has many important applications in medical imaging,scientific computing,reverse engineering and geometric modelling.The reconstructed surface is obtained by continuously deforming an initial surface following the Partial Differential Equation(PDE)-based diffusion model derived by a minimal volume-like variational formulation.The evolution is driven both by the distance from the data set and by the curvature analytically computed by it.The distance function is computed by implicit local interpolants defined in terms of radial basis functions.Space discretization of the PDE model is obtained by finite co-volume schemes and semi-implicit approach is used in time/scale.The use of a level set method for the numerical computation of the surface reconstruction allows us to handle complex geometry and even changing topology, without the need of user-interaction.Numerical examples demonstrate the ability of the proposed method to produce high quality reconstructions.Moreover,we show the effectiveness of the new approach to solve hole filling problems and Boolean operations between different data sets.     

Multivariate quasi-tight framelets with high balancing orders derived from any compactly supported refinable vector functions

Generalizing wavelets by adding desired redundancy and flexibility,framelets(i.e.,wavelet frames)are of interest and importance in many applications such as image processing and numerical algorithms.Several key properties of framelets are high vanishing moments for sparse multiscale representation,fast framelet transforms for numerical efficiency,and redundancy for robustness.However,it is a challenging problem to study and construct multivariate nonseparable framelets,mainly due to their intrinsic connections to factorization and syzygy modules of multivariate polynomial matrices.Moreover,all the known multivariate tight framelets derived from spline refinable scalar functions have only one vanishing moment,and framelets derived from refinable vector functions are barely studied yet in the literature.In this paper,we circumvent the above difficulties through the approach of quasi-tight framelets,which behave almost identically to tight framelets.Employing the popular oblique extension principle(OEP),from an arbitrary compactly supported M-refinable vector functionφwith multiplicity greater than one,we prove that we can always derive fromφa compactly supported multivariate quasi-tight framelet such that:(i)all the framelet generators have the highest possible order of vanishing moments;(ii)its associated fast framelet transform has the highest balancing order and is compact.For a refinable scalar functionφ(i.e.,its multiplicity is one),the above item(ii)often cannot be achieved intrinsically but we show that we can always construct a compactly supported OEP-based multivariate quasi-tight framelet derived fromφsatisfying item(i).We point out that constructing OEP-based quasi-tight framelets is closely related to the generalized spectral factorization of Hermitian trigonometric polynomial matrices.Our proof is critically built on a newly developed result on the normal form of a matrix-valued filter,which is of interest and importance in itself for greatly facilitating the study of refinable vector functions and multiwavelets/multiframelets.This paper provides a comprehensive investigation on OEP-based multivariate quasi-tight multiframelets and their associated framelet transforms with high balancing orders.This deepens our theoretical understanding of multivariate quasi-tight multiframelets and their associated fast multiframelet transforms.     

Singular integral operators on product domains along twisted surfaces

We introduce a class of singular integral operators on product domains along twisted surfaces.We prove that the operators are bounded on L^p provided that the kernels satisfy weak conditions.     

Poisson Stable Solutions for Stochastic Differential Equations with Lévy Noise

In this paper,we use a unified framework to study Poisson stable(including stationary,periodic,quasi-periodic,almost periodic,almost automorphic,Birkhoff recurrent,almost recurrent in the sense of Bebutov,Levitan almost periodic,pseudo-periodic,pseudo-recurrent and Poisson stable)solutions for semilinear stochastic differential equations driven by infinite dimensional L′evy noise with large jumps.Under suitable conditions on drift,diffusion and jump coefficients,we prove that there exist solutions which inherit the Poisson stability of coefficients.Further we show that these solutions are globally asymptotically stable in square-mean sense.Finally,we illustrate our theoretical results by several examples.     

A Finite Difference Scheme for Blow-Up Solutions of Nonlinear Wave Equations

<正>We consider a finite difference scheme for a nonlinear wave equation,whose solutions may lose their smoothness in finite time,i.e.,blow up in finite time.In order to numerically reproduce blow-up solutions,we propose a rule for a time-stepping, which is a variant of what was successfully used in the case of nonlinear parabolic equations.A numerical blow-up time is defined and is proved to converge,under a certain hypothesis,to the real blow-up time as the grid size tends to zero.     

手机套餐问题的一个数学模型

随着信息时代的到来,手机在人们日常工作、社交、经营等社会活动中的作用越来越重要.近年来我国通信业务量飞速增长,手机的功劳更是功不可没.手机资费问题也越来越受到人们的关注,并且对原有的各种资费方案越来越质疑.2007年1月以来上海、北京、广东等地相继推出的手机"套餐"琳琅满目,让人眼花缭乱,人们不能理性分辨手机"套餐"究竟优惠在何处.……     

Kobayashi’s and Teichmuller’s Metrics and Bers Complex Manifold Structure on Circle Diffeomorphisms

Given a modulus of continuity ω,we consider the Teichmuller space TC1+ω as the space of all orientation-preserving circle diffeomorphisms whose derivatives are ω-continuous functions modulo the space of Mobius transformations preserving the unit disk.We study several distortion properties for diffeomorphisms and quasisymmetric homeomorphisms.Using these distortion properties,we give the Bers complex manifold structure on the Teichm(u| ")ller space TC^1+H as the union of over all0 <α≤1,which turns out to be the largest space in the Teichmuller space of C1 orientation-preserving circle diffeomorphisms on which we can assign such a structure.Furthermore,we prove that with the Bers complex manifold structure on TC^1+H ,Kobayashi’s metric and Teichmuller’s metric coincide.     

Difference of a Hauptmodul for Γ0(N ) and certain Gross-Zagier type CM value formulas

In this work, we show that the difference of a Hauptmodul for a genus zero group Γ₀(N) as a modular function on Y₀(N) × Y₀(N) is a Borcherds lift of type(2, 2). As applications, we derive the monster denominator formula like product expansions for these modular functions and certain Gross-Zagier type CM value formulas.     

Populations with individual variation in dispersal in heterogeneous environments: Dynamics and competition with simply diffusing populations

We consider a model for a population in a heterogeneous environment, with logistic-type local population dynamics, under the assumption that individuals can switch between two different nonzero rates of diffusion. Such switching behavior has been observed in some natural systems. We study how environmental heterogeneity and the rates of switching and diffusion affect the persistence of the population. The reactiondiffusion systems in the models can be cooperative at some population densities and competitive at others. The results extend our previous work on similar models in homogeneous environments. We also consider competition between two populations that are ecologically identical, but where one population diffuses at a fixed rate and the other switches between two different diffusion rates. The motivation for that is to gain insight into when switching might be advantageous versus diffusing at a fixed rate. This is a variation on the classical results for ecologically identical competitors with differing fixed diffusion rates, where it is well known that "the slower diffuser wins".     

A SPECTRAL METHOD FOR A WEAKLY SINGULAR VOLTERRA INTEGRO-DIFFERENTIAL EQUATION WITH PANTOGRAPH DELAY

In this paper,a Jacobi-collocation spectral method is developed for a Volterraintegro-differential equation with delay,which contains a weakly singular kernel.We use a function transformation and a variable transformation to change the equation into a new Volterra integral equation defined on the standard interval [-1,1],so that the Jacobi orthogonal polynomial theory can be applied conveniently.In order to obtain high order accuracy for the approximation,the integral term in the resulting equat...     

Existence of normal Hall subgroups by means of orders of products

Let G be a finite group, let π be a set of primes and let p be a prime. We characterize the existence of a normal Hall π‐subgroup in G in terms of the order of products of certain elements of G. This theorem generalizes a characterization of A. Moretó and the second author by using the orders of products of elements for those groups having a normal Sylow p‐subgroup 6 . As a consequence, we also give a π‐decomposability criterion for a finite group also by means of the orders of products.     

Eigenvector p-Bases of Rings of Constants of Derivations

Let A be a UFD of characteristic p > 0, let 𝒵 be a set of some eigenvectors of a derivation of A. We prove, under some additional assumptions, a necessary and sufficient condition for 𝒵 to be a p-basis of the minimal ring of constants containing 𝒵. The main preparatory result is the unique decomposition theorem with respect to a factor from a given subalgebra containing A^p.     

Admissibility of estimators of the probability of unobserved outcomes

The problem of estimating the probability of unobserved outcomes or, as it is sometimes called, the conditional probability of a new species, is studied. Good's estimator, which is essentially the same as Robbins' estimator, namely the number of singleton species observed divided by the sample size, is studied from a decision theory point of view. The results obtained are as follows: (1) When the total number of different species is assumed bounded by some known number, Good's and Robbins' estimators are inadmissible for squared error loss. (2) If the number of different species can be infinite, Good's and Robbins' estimators are admissible for squared error loss. (3) Whereas Robbins' estimator is a UMVUE for theunconditional probability of a new species obtained in one extra sample point, Robbins' estimator is not a uniformly minimum mean squared error unbiased estimator of the conditional probability of a new species. This answers a question raised by Robbins. (4) It is shown that for Robbins' model and squared error loss, there are admissible Bayes estimators which do not depend only on a minimal sufficient statistic. A discussion of interpretations and significance of the results is offered. Research supported by NSF Grant DMS-88-22622.     

Applications of Parameterizations of Oblique Duals of a Frame Sequence

Two parameterizations of oblique duals of a given frame sequence are applied to show that the sum of a frame sequence and one of its oblique duals may not be a frame sequence, and that type II dual is locally (and globally) optimal in some sense and that the excesses of the frame sequence and its oblique duals are the same. Other observations on the duals of a frame sequence are included also.     

Approximation of Attainable Sets of an Evolution Inclusion of Subdifferential Type

In a separable Hilbert space we consider an evolution inclusion with a multivalued perturbation and evolution operators that are subdifferentials of a proper convex lower semicontinuous function depending on time. Along with the original inclusion, we consider a sequence of approximating evolution inclusions with the same perturbation and the evolution operators that are subdifferentials of the Moreau–Yosida regularizations of the original function. We show that the attainable set of the original inclusion, regarded as a multivalued function of time, is the uniform (in time) limit in the Hausdorff metric of the sequence of attainable sets of the approximating inclusions. As an application we consider an example of a control system with discontinuous nonlinearity.     

Lattices of dominions of universal algebras

We fix a universal algebra A and its subalgebra H. The dominion of H in A (in a class M) is the set of all elements a ∈ A such that any pair of homomorphisms f, g: A → M ∈ M satisfies the following: if f and g coincide on H then f(a) = g(a). In association with every quasivariety, therefore, is a dominion of H in A. Sufficient conditions are specified under which a set of dominions form a lattice. The lattice of dominions is explored for down-semidistributivity. We point out a class of algebras (including groups, rings) such that every quasivariety in this class contains an algebra whose lattice of dominions is anti-isomorphic to a lattice of subquasivarieties of that quasivariety. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 26–45, January–February, 2007.     

Geometry of the Space of Phylogenetic Trees

We consider a continuous space which models the set of all phylogenetic trees having a fixed set of leaves. This space has a natural metric of nonpositive curvature, giving a way of measuring distance between phylogenetic trees and providing some procedures for averaging or combining several trees whose leaves are identical. This geometry also shows which trees appear within a fixed distance of a given tree and enables construction of convex hulls of a set of trees. This geometric model of tree space provides a setting in which questions that have been posed by biologists and statisticians over the last decade can be approached in a systematic fashion. For example, it provides a justification for disregarding portions of a collection of trees that agree, thus simplifying the space in which comparisons are to be made.     

Existence of periodic points of endomorphisms of a circle

A theorem of Block and Franke is improved on the existence of periodic points for a map of a circle to itself and a proof which seems more understandable is given. Project supported by the National Natural Science Foundation of China (Grant No. 19531070).     

自然数幂求和公式的计算机实现

自然数幂的求和问题 ,一直受到人们的关注 .著名数学家陈景润对此就有过较好的研究 ,更多结果散见其他许多文献 .但都比较烦琐 .本文借助 Mathematica软件 ,利用高阶等差数列的一个结论 :m阶等差数列的充要条件是其前 n项和为 n的 m+ 1次多项式 .给出了一种求自然数幂前 n项和的一种简单方法 .利用此方法还可实现小于 m的自然数幂前 n项和的同时实现 .     

Choice of the best alternative in case of a continuous set of states of nature-application of fuzzy numbers

On the basis of a known application of an order weighted averaging operator to the decision making in the case of a discrete set of states of nature, a general approach to the case of a continuous set of states of nature is proposed. The general approach encompasses various types of attitudes of the decision maker, expressed in the form of fuzzy numbers.