The Vector Space Kinna‐Wagner Principle is Equivalent to the Axiom of Choice

We show that the axiom of choice AC is equivalent to the Vector Space Kinna‐Wagner Principle, i.e., the assertion: “For every family 𝒱= {V_i : i ∈ k} of non trivial vector spaces there is a family ℱ = {F_i : i ∈ k} such that for each i ∈ k, F_i is a non empty independent subset of V_i”. We also show that the statement “every vector space over ℚ has a basis” implies that every infinite well ordered set of pairs has an infinite subset with a choice set, a fact which is known not to be a consequence of the axiom of multiple choice MC.     

Monotone Proofs of the Pigeon Hole Principle

We study the complexity of proving the Pigeon Hole Principle (PHP)in a monotone variant of the Gentzen Calculus, also known as Geometric Logic. We prove a size‐depth trade‐off upper bound for monotone proofs of the standard encoding of the PHP as a monotone sequent. At one extreme of the trade‐off we get quasipolynomia ‐size monotone proofs, and at the other extreme we get subexponential‐size bounded‐depth monotone proofs. This result is a consequence of deriving the basic properties of certain monotone formulas computing the Boolean threshold functions. We also consider the monotone sequent expressing the Clique‐Coclique Principle (CLIQUE) defined by Bonet, Pitassi and Raz [9]. We show that monotone proofs for this sequent can be easily reduced to monotone proofs of the one‐to‐one and onto PHP, and so CLIQUE also has quasipolynomia ‐size monotone proofs. As a consequence of our results, Resolution, Cutting Planes with polynomially bounded coefficients, and Bounded‐Depth Frege are exponentially separated from the monotone Gentzen Calculus. Finally, a simple simulation argument implies that these results extend to the Intuitionistic Gentzen Calculus. Our results partially answer some questions left open by P. Pudlák.     

Variational formulations for Vlasov–Poisson–Fokker–Planck systems

Time‐discrete variational schemes are introduced for both the Vlasov–Poisson–Fokker–Planck (VPFP) system and a natural regularization of the VPFP system. The time step in these variational schemes is governed by a certain Kantorovich functional (or scaled Wasserstein metric). The discrete variational schemes may be regarded as discretized versions of a gradient flow, or steepest descent, of the underlying free energy functionals for these systems. For the regularized VPFP system, convergence of the variational scheme is rigorously established. Copyright © 2000 John Wiley & Sons, Ltd.     

The Bordered Operator and the Index,of a Constrained Critical Point

It is shown that the index of a constrained critical point in the isoperimetric calculus of variations is simply related to the number of negative eigenvalues of a certain bordered operator associated with the second variation. A conjugate point theory for this bordered operator is then established.     

A Reflection Principle and an Orthogonal Decomposition Concernig Hypoelliptic Equations

A jump relation for a boundary integral representation of solutions of hypoelliptic equations is described by a reflection principle. An orthogonal decomposition of L² can be proved by the jump relation. In the orthogonal complement of the space of regular functions, i.e. the space of solutions of the homogeneous equation, the inhomogeneous adjoint equation has a solution with homogeneous boundary values. As a conclusion, one obtains Sobolev's regularity theorem. Furthermore it will be proved that the existence of the orthogonal decomposition and Sobolev's regularity theorem are equivalent. Theorems of Runge's type will be proved in order to determine countable dense subsets of the space of regular functions.     

电磁脉冲对金属板搭接缝隙耦合效应分析

 针对在缝隙耦合研究中,对金属板接合处搭接缝隙电磁特性的讨论相对较少的情况,应用时域有限差分方法模拟了强电磁脉冲对搭接缝隙的耦合穿透过程,计算了缝隙口径面等效面磁流和进入另一空间的透射场。为便于由等效磁流外推透射场,应用等效原理将电磁流在1/4空间的辐射等效为电磁流及其镜像在自由空间的辐射,避免了计算搭接缝隙边界情形下空间格林函数的困难。外推时采用分区外推法节省了计算时间。最后通过分析耦合场的变化曲线,总结了耦合共振规律。     

障碍期权的定价问题

障碍期权是与路径相关的期权 ,因而它的定价计算是非常复杂的 .本文利用反射原理对障碍期权的定价问题进行了简化 ,从而最终给出障碍期权的定价公式 .而文中多次运用 Girsanov定理构造等价鞅测度是解决问题的关键 ,它为反射原理的使用创造了基本条件 .     

相变光存储研究的新进展

光存储朝着高密度、大容量、高数据传输速率、多功能方向发展。可擦重写相变光存储介质和技术吸引着越来越多研究者的兴趣。本文主要综述了相变光存储原理、材料性能改进和高密度相变存储技术方面的现状和新进展     

掺杂对2H-MoTe2光电特性影响的第一性原理研究

MoTe₂是一种非空间反演对称性半导体,由线性偏振光照射,在无偏压条件下可以直接产生光电流,但是非常微弱.掺杂可以改变电子能带结构和降低空间反演对称性,从而有效的增强光电流.本文基于非平衡格林函数-密度泛函理论,采用第一性原理,计算了本征、Nb掺杂、Ti掺杂和W掺杂2H-MoTe₂的能带结构、透射谱和光电流.能带结构表明：Nb掺杂使半导体2H-MoTe₂能带穿越费米能级,转变为金属特性;Ti和W掺杂减小了2H-MoTe₂的带隙,能带没有穿越费米能级,依然为半导体.掺杂都降低2H-MoTe₂的反演对称对称性,从本征的D_3h转变为C_s.从而在线偏振光的照射下可以有效的提高2H-MoTe₂的光电流.同时,发现掺杂可以提高单层2H-MoTe₂在低光子能量下的消光比,如Nb和Ti掺杂单层2H-MoTe₂分别在光子能量1.1 eV和1.2 eV处取得39.48和28.48的高消光比...     

稀土X (X=La、Ce、Pr、Nd)修饰单层h-MoS2的NO气敏性

为提高h-MoS₂对NO的气敏性,采用第一性原理研究了X(X=La、Ce、Pr和Nd)对h-MoS₂的稳定性、吸附特性、功函数和伏安特性的影响.研究结果表明：X(X=La、Ce、Pr和Nd)取代Mo原子后得到的形成能均为负,说明掺杂体系容易形成且稳定存在.同时X掺杂后的h-MoS₂布居数相比于未掺杂前的大,也说明掺杂有利于体系稳定.NO吸附在La、Ce原子顶部位置的吸附能为-1.215 eV、-1.225 eV,吸附距离分别为2.475?、2.854?,具有明显的化学吸附特征.同时Hirshfeld转移电荷分别为0.213e和0.325e,具有明显的受体特征,提高了气敏性.La和Ce掺杂后能明显改变功函数的大小,也说明La和Ce能提高h-MoS₂对NO的气敏性.施加电场后能有效提高Pr掺杂体系的吸附强度,增大Hirshfeld转移电荷,对功函数的改变最大,所以电场对Pr掺杂体系的影响非常明显.通过分析掺杂体系的伏安特性曲线,La、Ce两掺杂体系的电流分别由0增大到5.3μA和4.8μA,而Pr、Nd...