Near-Optimal Encoding for Sigma-Delta Quantization of Finite Frame Expansions

In this paper we investigate encoding the bit-stream resulting from coarse Sigma-Delta quantization of finite frame expansions (i.e., overdetermined representations) of vectors. We show that for a wide range of finite-frames, including random frames and piecewise smooth frames, there exists a simple encoding algorithm—acting only on the Sigma-Delta bit stream—and an associated decoding algorithm that together yield an approximation error which decays exponentially in the number of bits used. The encoding strategy consists of applying a discrete random operator to the Sigma-Delta bit stream and assigning a binary codeword to the result. The reconstruction procedure is essentially linear and equivalent to solving a least squares minimization problem.     

Sobolev Duals in Frame Theory and Sigma-Delta Quantization

A new class of alternative dual frames is introduced in the setting of finite frames for ? ^d . These dual frames, called Sobolev duals, provide a high precision linear reconstruction procedure for Sigma-Delta (ΣΔ) quantization of finite frames. The main result is summarized as follows: reconstruction with Sobolev duals enables stable rth order Sigma-Delta schemes to achieve deterministic approximation error of order $\mathcal{O}(N^{-r})$ for a wide class of finite frames of size N. This asymptotic order is generally not achievable with canonical dual frames. Moreover, Sobolev dual reconstruction leads to minimal mean squared error under the classical white noise assumption.     

闭光滑流形上的高阶线性微-积分方程

利用积分变换技巧,作者给出了C~n中闭光滑可定向流形上一个新的Bochner-Martinelli型积分的高阶偏导数的奇异积分的Hadamard主值,获得了高阶奇异积分的Plemelj公式和合成公式,还讨论了相应的变系数线性微分积分方程的正则化,证明其可转化为一类等价的Fredholm方程。并且指出其特征方程当给出一组适当的边值条件时,在L~*中存在唯一解。     

Quantization causes waves: Smooth finitely computable functions are affine

Every automaton (a letter-to-letter transducer) A whose both input and output alphabets are F _p = {0, 1,..., p - 1} produces a 1-Lipschitz map f _A from the space Z _p of p-adic integers to Z _p . The map fA can naturally be plotted in a unit real square I² ? R²: To an m-letter non-empty word v = γ _m-1γ _m-2... γ0 there corresponds a number 0.v ∈ R with base-p expansion 0.γ _m-1γ _m-2... γ0; so to every m-letter input word w = α _m-1α _m-2 ··· α0 of A and to the respective m-letter output word a(w) = β _m-1β _m-2 ··· β0 of A there corresponds a point (0.w; 0.a(w)) ∈ R². Denote P(A) a closure of the point set (0.w; 0.a(w)) where w ranges over all non-empty words.We prove that once some points of P(A) constitute a C ²-smooth curve in R², the curve is a segment of a straight line with a rational slope. Moreover, when identifying P(A) with a subset of a 2-dimensional torus T² ∈ R³, the smooth curves from P(A) constitute a collection of torus windings which can be ascribed to complex-valued functions ψ(x, t) = e ^i(Ax-2πBt) (x, t ∈ R), i.e., to matter waves. As automata are causal discrete systems, the main result may serve a mathematical reasoning why wave phenomena are inherent in quantum systems: This is just because of causality principle and discreteness of matter.     

Graded Meshes for Higher Order FEM

A singularly perturbed one-dimensional convection-diffusion problem is solved numerically by the finite element method based on higher order polynomials. Numerical solutions are obtained using S-type meshes with special emphasis on meshes which are graded (based on a mesh generating function) in the fine mesh region. Error estimates in the ε-weighted energy norm are proved. We derive an 'optimal' mesh generating function in order to minimize the constant in the error estimate. Two layer-adapted meshes defined by a recursive formulae in the fine mesh region are also considered and a new technique for proving error estimates for these meshes is presented. The aim of the paper is to emphasize the importance of using optimal meshes for higher order finite element methods. Numerical experiments support all theoretical results.     

某些Banach空间的有限阶光滑点和强光滑点（英）

本文给出l_∞(X)以及L(l₁(X),Y),L(X,l_∞(Y))和L(X,c₀(Y))的单位球的有限阶光滑点和强光滑点的充要条件，这里X和Y都是任意的Banach空间.特别地，本文给出这些空间的单位球的光滑点和强光滑点的充要条件.     

锥方向高阶广义邻近导数及高阶Mond-Weir对偶(英文)

本文引入了集值映射的锥方向的高阶广义邻近导数.应用这种导数,构建了约束的集值优化问题的一种高阶Mond-Weir型对偶,并建立了相应的弱对偶,强对偶和逆对偶性,获得的结果推广了文献中的相应结论.     

高阶马尔可夫链的降阶模型及其应用

本文通过对传统高阶马尔可夫链模型的状态空间进行阶数重构,导出一个在重构状态空间上的降阶马尔可夫模型。理论分析证明,降阶马尔可夫链模型不但可以描述传统高阶马尔可夫链模型的全部性态,更能表达较传统模型细微的随机结构。然后,应用降阶模型对我国股票指数的动态变化进行实证分析,讨论了阶数的选取和高阶马尔可夫性检验,分析了股票市场内在波动结构。最后,对股指序列作出短期与长期的预测分析。     

Asymptotics of Higher Order Ospt-Functions for Overpartitions

In this paper we obtain asymptotic formulas for positive crank and rank moments for overpartitions. Moreover, we show that crank and rank moments are asymptotically equal while the difference is asymptotically positive. This indicates that there exist analogous higher ospt-functions for overpartitions, which we define.     

极大高阶交换子的端点估计

该文主要确立了当b∈BMO 时, 极大高阶奇异积分算子交换子T_{b, m}* 满足如下不等式 |{y∈Rⁿ:T_{b, m}*f(y)>λ}|≤C||b||^m_BMO∫_Rⁿ|f(y)|/λ (1+log⁺|f(y)|/λ)^mdy 且T_{b, m}* 在L^p(Rⁿ)(1 < p <∞上有界.     

Non-Oscillatory Solutions for Higher Order Dynamic Equations

A new non-oscillatory theory is presented for higher order delayand neutral equations. The results include both singular andnonsingular problems.     

Higher Order Derivative Characterization for Fock-Type Spaces

In this paper, we give a characterization for the Fock-type space \({\mathcal{F}_{\alpha}^{\infty}(\mathbb{C}^N)}\) in terms of higher order derivatives of f and behaviors of local integral means of those derivatives. The space \({\mathcal{F}_{\alpha}^{\infty}(\mathbb{C}^N)}\) has the closed subspace \({\mathcal{F}_{\alpha, 0}^{\infty}(\mathbb{C}^N)}\). We also characterize this subspace via higher order derivatives. As an application we study the boundedness and compactness of the extended Cesaro operator T _g on \({\mathcal{F}_{\alpha}^{\infty}(\mathbb{C}^N)}\) and \({\mathcal{F}_{\alpha, 0}^{\infty}(\mathbb{C}^N)}\).     

Admissible Domains for Higher Order Differential Equations

This paper analyzes the geometric structure of certain domains in the complex plane which arise in the asymptotic theory of linear ordinary differential equations containing a parameter. These domains, called admissible, are domains in which an asymptotic representation of the solution of the differential equation may be found and across whose boundaries these representations may undergo a rapid change of asymptotic behavior (the Stokes phenomenon). A knowledge of the disposition of those domains associated with a particular differential equation is necessary for a satisfactory asymptotic theory of the equation. The main analysis gives necessary and sufficient conditions for identifying admissible domains and gives a procedure for obtaining particular admissible subdomains of a given domain. Sufficient conditions are established to determine the maximality of admissible domains. A section of examples is included to highlight the salient features of this theory. In all of the results, criteria involving only purely local properties of the boundary are needed to determine the global properties of admissibility and maximal admissibility .     

高阶导数的一个极限表达式

通过对二阶微分问题的求解与推广,给出求解高阶导数的极限表达式．这也是差分法的一个推广．     

Regularization for Higher Order Singular Integral Equations

By means of the definition of Hadamard principal value permutation formula and composition formula for higher order singular integrals developing in [5], the regularization problems for higher order singular integral equations with variable coefficients are discussed, and the higher order singular integral equations with constant coefficient are solved. It is the first time to treat the high order singular integral equations of arbitrary degree in the theory of singular integral equations.      

Higher Order Peak Algebras

Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras (Sym(N))_N≥1, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N=1 and N=2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients. Received November 19, 2004     

Higher Order Coherent Pairs

In this paper, we study necessary and sufficient conditions for the relation $$\begin{array}{@{}l}P_n^{{[r]}}(x) + a_{n-1,r} P_{n-1}^{{[r]}}(x)= R_{n-r}(x) + b_{n-1,r} R_{n-r-1}(x),\\[5pt]\quad a_{n-1,r}\neq0,\ n\geq r+1,\end{array}$$ where {P _n (x)} _n??0 and {R _n (x)} _n??0 are two sequences of monic orthogonal polynomials with respect to the quasi-definite linear functionals $\mathcal{U},\mathcal{V}$ , respectively, or associated with two positive Borel measures ?? ₀,?? ₁ supported on the real line. We deduce the connection with Sobolev orthogonal polynomials, the relations between these functionals as well as their corresponding formal Stieltjes series. As sake of example, we find the coherent pairs when one of the linear functionals is classical.     

高阶泛函微分方程解的振动定理

证明了一类高阶非线性泛函微分方程的若干振动准则，推广了文献中的一些振动结果．     

Kato Class Potentials for Higher Order Elliptic Operators

Our goal in this paper is to determine conditions on a potentialV which ensure that an operator such as H:=(–)^m+V (1) acting on L²(R^N) defines a semigroup in L^p(R^N) for various valuesof p including p=1. The operator is defined as a quadratic formsum. That is, we put for (all integrals are on R^N and are with respect to Lebesgue measure), and note thatthe closure of the form is non-negative and has domain equalto the Sobolev space W^m,2. We then assume that the potentialhas quadratic form bound less than 1 with respect to Q₀, anddefine This form is closed and is associated with a semibounded self-adjointoperator H in L² (see [17, p. 348; 5, Theorem 4.23]). One canthen ask whether the semigroup e^–Ht defined on L² fort0 is extendable to a strongly continuous one-parameter semigroupon L^p for other values of p, and if so whether one can describethe domain and spectrum of its generator.