A Gilbert-Varshamov type bound for Euclidean packings

This paper develops a method to obtain a Gilbert-Varshamov type bound for dense packings in the Euclidean spaces using suitable lattices. For the Leech lattice the obtained bounds are quite reasonable for large dimensions, better than the Minkowski-Hlawka bound, but not as good as the lower bound given by Keith Ball in 1992.

     

On the number of join-irreducibles in a congruence representation of a finite distributive lattice

For a finite lattice L, let $ \trianglelefteq_L $ denote the reflexive and transitive closure of the join-dependency relation on L, defined on the set J(L) of all join-irreducible elements of L. We characterize the relations of the form $ \trianglelefteq_L $, as follows: Theorem. Let $ \trianglelefteq $ be a quasi-ordering on a finite set P. Then the following conditions are equivalent:(i) There exists a finite lattice L such that $ \langle J(L), \trianglelefteq_L $ is isomorphic to the quasi-ordered set $ \langle P, \trianglelefteq \rangle $.(ii) $ |\{x\in P|p \trianglelefteq x\}| \neq 2 $, for any $ p \in P $.For a finite lattice L, let $ \mathrm{je}(L) = |J(L)|-|J(\mathrm{Con} L)| $ where Con L is the congruence lattice of L. It is well-known that the inequality $ \mathrm{je}(L) \geq 0 $ holds. For a finite distributive lattice D, let us define the join- excess function:$ \mathrm{JE}(D) =\mathrm{min(je} (L) | \mathrm{Con} L \cong D). $We provide a formula for computing the join-excess function of a finite distributive lattice D. This formula implies that $ \mathrm{JE}(D) \leq (2/3)| \mathrm{J}(D)|$ , for any finite distributive lattice D; the constant 2/3 is best possible.A special case of this formula gives a characterization of congruence lattices of finite lower bounded lattices.Dedicated to the memory of Gian-Carlo Rota     

自反代数上的局部Lie $n$-导子

令$\mathcal{L}$是一个满足$X_{-} \neq X$和$(0)_{+} \neq(0)$的Banach空间$X$上的子空间格.我们证明了从${\rm Alg}\,L$映到$B(X)$中的每个局部Lie $n$-导子是一个Lie $n$-导子.     

Invertibility of linear combinations of two idempotents

Let and be two idempotents on a Hilbert space. In this note, we prove that the invertibility of the linear combination is independent of the choice of , if and

     

关于两个素数和一个素数k次幂的丢番图不等式

令■设λ_1,λ_2,λ_3是不全同号的非零实数,且满足λ_1/λ_2为无理数,则对于任意实数η和ε 0,不等式■有无穷多组素数解p_1,p_2,p_3.该结果改进了Gambini,Languasco和Zaccagnini的结果.     

$C(X)$上的开点与紧开拓扑

In this note we define a new topology on C(X),the set of all real-valued continuous functions on a Tychonoff space X.The new topology on C(X) is the topology having subbase open sets of both kinds:[f,C,ε[={g E C(X):|f(x)-g(x)| ε for every x∈C} and[U,r]~-={g∈C(X):g~(-1)(r)∩U≠φ},where f∈C(X),C∈KC(X)={nonempty compact subsets of X},ε 0,while U is an open subset of X and r∈R.The space C(X) equipped with the new topology T_(kh) which is stated above is denoted by C_(kh)(X).Denote X_0={x∈X:x is an isolated point of X} and X_c={x∈X:x has a compact neighborhood in X}.We show that if X is a Tychonoff space such that X_0=X_c,then the following statements are equivalent:(1) X_0 is G_δ-dense in X;(2) C_(kh)(X) is regular;(3) C_(kh)(X) is Tychonoff;(4) C_(kh)(X) is a topological group.We also show that if X is a Tychonoff space such that X_0=X_c and C_(kh)(X) is regular space with countable pseudocharacter,then X is σ-compact.If X is a metrizable hemicompact countable space,then C_(kh)(X) is first countable.     

关于连续线性算子广义预解集的某些结果

讨论了Banach 空间上连续线性算子$T$ 的广义预解集的相关结果,证明了:若$\lambda_0\in\rho_G(T),$ 当~$|\lambda-\lambda_0|<\gamma(T_{\lambda_0})$ 时,$\lambda\in\rho_G(T);$ 与~$\lambda\in\rho_G(T)$ 等价的条件:当~$T_n\to T, 0\in \rho_G(T_n),则~$0\in\rho_G(T);$ 以及$T$ 的柱心~$C_O(T)$ 在数量扰动下的不变性.     

具有性质$b_1$空间的乘积性

In this note,we present that:(1)Let X=σ{Xα:α∈A} be|A|-paracompact (resp.,hereditarily |A|-paracompact).If every finite subproduct of {Xα:α∈A} has property b1 (resp.,hereditarily property b1),then so is X.(2) Let X be a P-space and Y a metric space.Then,X×Y has property b1 iff X has property b1.(3) Let X be a strongly zero-dimensional and compact space.Then,X×Y has property b1 iff Y has property b1.     

$L^{p}_{[0,1]}$空间M\"{u}ntz有理逼近的Jackson型估计 (英)

设$\Lambda=\{\lambda_{n}\}_{n=1}^{\infty}$为正的实数数列, 且当$n\rightarrow\infty$时, 有$\lambda_{n}\searrow 0$.本文给出了当 $\lambda_{n}\leq Mn^{-\frac{1}{2}},\;n=1,2, \cdots ,$(其中$M>0$为一正常数)时M\"{u}ntz系统$\{x^{\lambda_n}\}$的有理函数在$ L_{[0,1]} ^{p}$空间的逼近速度,主要结论为$R_{n} (f, \Lambda )_{L^{p}}\leq C_M \omega (f, n^{-\frac{1}{2}})_{L^{p}},\;1 \leq p \leq \infty.$     

第二大根小于1的简单图

设G为n阶简单图,λ2(G)为G的第二大特征根．我们给出了所有使λ2(G)<1 的偶图,以及使λ2(G)<1、围长不小于4的非偶图．     

一个素变量丢番图问题

设k和r是满足k≥3及r≥Ψ(k)+1的正整数,这里当3≤k≤4时,Ψ(k)=2~(k-1);而当k≥5时,Ψ(k)=1/2k(k+1).假定δ和ε是给定的足够小的正数,λ_1,λ_2,…,λ_(r+1)是不全同号且两两之比不全为有理数的非零实数.对于任意实数η与0σ2~(1-2k)/r-1,证明了:存在一个正数序列X→+∞,使得不等式|λ_1p_1~k+λ_2p_2~k+···+λ_rp_r~k+λ_(r+1)p_(r+1)+η|(max(1≤j≤r+1)p_j)~(-σ)有》■X~(■-(2~(1-2k))/(r-1)+ε组素数解(p_1,p_2,…,p_(r+1)),这里(δX)~(1/k)≤p_j≤X~(1/k)(1≤j≤r)及δX≤p_(r+1)≤X.这改进了之前的结果.     

套代数上的可加双导子和中心化映射

令$\mathcal N$是Banach空间$X$上的套, Alg$\mathcal N$是相应的套代数. 本文证明了, 如果套$\mathcal N$中存在非平凡元$N$在$X$中可补, 且$\dim N\not=1$, 则Alg$\mathcal N$上的每个可加双导子是内导子. 作为此定理的应用, 分别给出了套代数上中心化(交换)映射, 斜中心化导子以及斜交换的广义导子的具体刻画.     

边界条件含有特征参数的Sturm-Liouville算子的唯一性定理

建立了一类Sturm-Liouville问题的唯一性定理.对于固定的n∈Z,证明了该Sturm-Liouville问题的第n个特征值λ_n（q,a）关于a是严格单调的.对不同系数的a_k,如果能够测得第n个特征值的谱集合{λ_n（q,a_k）}_k=1^+∞,则谱集合{λ_n（q,a_k）}_k=1^+∞能够唯一确定[0,π]上的势函数q（x）.     

区组长为奇素数的自反MD设计 (英)

本文利用差方法对自反MD设计SCMD$(4mp, p,1)$的存在性给出了构造性证明, 这里$p$为奇素数, $m$为正整数.     

Extremal Functions for Adams Inequalities in Dimension Four

Let $\Omega\subset \mathbb{R}^4$ be a smooth bounded domain, $W_0^{2,2}(\Omega)$ be the usual Sobolev space. For any positive integer $\ell$, $\lambda_{\ell}(\Omega)$ is the $\ell$-th eigenvalue of the bi-Laplacian operator. Define $E_{\ell}=E_{\lambda_1(\Omega)}\oplus E_{\lambda_2(\Omega)}\oplus\cdots\oplus E_{\lambda_{\ell}(\Omega)}$, where $E_{\lambda_i(\Omega)}$ is eigenfunction space associated with $\lambda_i(\Omega)$. $E^{\bot}_{\ell}$ denotes the orthogonal complement of $E_\ell$ in $W_0^{2,2}(\Omega)$. For $0\leq\alpha<\lambda_{\ell+1}(\Omega)$, we define a norm by $\|u\|_{2,\alpha}^{2}=\|\Delta u\|^2_2-\alpha \|u\|^2_2$ for $u\in E^\bot_{\ell}$. In this paper, using the blow-up analysis, we prove the following Adams inequalities$$\sup_{u\in E_{\ell}^{\bot},\,\| u\|_{2,\alpha}\leq 1}\int_{\Omega}e^{32\pi^2u^2}{\rm d}x<+\infty;$$moreover, the above supremum can be attained by a function $u_0\in E_{\ell}^{\bot}\cap C^4(\overline{\Omega})$ with $\|u_0\|_{2,\alpha}=1$. This result extends that of Yang (J. Differential Equations, 2015), and complements that of Lu and Yang (Adv. Math. 2009) and Nguyen (arXiv: 1701.08249, 2017).     

Generalized Shift-Invariant Systems

A countable collection $X$ of functions in $L_2(\mbox{\footnotesize\bf R})$ is said to be a Bessel system if the associated analysis operator $$ \txs{X}:L_2(\mbox{\smallbf R}^d)\to \ell_2(X) : f\mapsto (\inpro{f,x})_{x\in X} $$ is well-defined and bounded. A Bessel system is a fundamental frame if $\txs{X}$ is injective and its range is closed. This paper considers the above two properties for a generalized shift-invariant system $X$. By definition, such a system has the form $$ X=\bigcup_{j\in J} Y_j, $$ where each $Y_j$ is a shift-invariant system (i.e., is comprised of lattice translates of some function(s)) and $J$ is a countable (or finite) index set. The definition is general enough to include wavelet systems, shift-invariant systems, Gabor systems, and many variations of wavelet systems such as quasi-affine ones and nonstationary ones. The main theme of this paper is the fiberization of $\txs{X}$, which allows one to study the frame and Bessel properties of $X$ via the spectral properties of a collection of finite-order Hermitian nonnegative matrices.     

ON THE EQUATION $\square\phi =|\nabla \phi |^2$ IN FOUR SPACE DIMENSIONS

This paper considers the following Cauchy problem for semilinear wave equations in $n$ space dimensions $$\align \square\p &=F(\partial\p ),\\p (0,x)&=f(x),\quad \partial_t\p (0,x)=g(x), \endalign$$ where $\square =\partial_t^2-\triangle$ is the wave operator, $F$ is quadratic in $\partial\p$ with $\partial =(\partial_t,\partial_{x_1},\cdots ,\partial_{x_n})$. The minimal value of $s$ is determined such that the above Cauchy problem is locally well-posed in $H^s$. It turns out that for the general equation $s$ must satisfy $$s>\max\Big(\frac{n}{2}, \frac{n+5}{4}\Big).$$ This is due to Ponce and Sideris (when $n=3$) and Tataru (when $n\ge 5$). The purpose of this paper is to supplement with a proof in the case $n=2,4$.     

α-TRANSIENCE AND α-RECURRENCE FOR RANDOM WALKS AND LEVY PROCESSES

The authors investigate the α-transience and α-recurrence for random walks and Levy processes by means of the associated moment generating function, give a dichotomy theorem for not one-sided processes and prove that the process X is quasi-symmetric if and only if X is not α-recurrent for all α< 0 which gives a probabilistic explanation of quasi-symmetry, a concept originated from C. J. Stone.     

三类有向三元系之间关系的一种猜想

一个Mendelsohn (Directed, 或Hybrid)三元系 MTS$(v, \lambda)$~(DTS$(v, \lambda)$,或HTS$(v,\lambda))$, 是由$v$元集$X$ 上的一些循环（可迁，或循环和可迁）三元组(简称区组)构成的集合${\cal B}$, 使得$X$上每个由不同元素组成的有序对都恰在 ${\cal B}$的$\lambda$个区组中出现.本文主要讨论了这三类有向三元系之间的一种关联关系，给出猜想：任意MTS$(v,\lambda)$的区组关联图$G(\     

Computing Harmonic Maps and Conformal Maps on Point Clouds

We use a narrow-band approach to compute harmonic maps and conformal maps for surfaces embedded in the Euclidean 3-space, using point cloud data only. Given a surface, or a point cloud approximation, we simply use the standard cubic lattice to approximate its $\epsilon$-neighborhood. Then the harmonic map of the surface can be approximated by discrete harmonic maps on lattices. The conformal map, or the surface uniformization, is achieved by minimizing the Dirichlet energy of the harmonic map while deforming the target surface of constant curvature. We propose algorithms and numerical examples for closed surfaces and topological disks. To the best of the authors' knowledge, our approach provides the first meshless method for computing harmonic maps and uniformizations of higher genus surfaces.