On the bounded version of Hilbert's tenth problem

 The paper establishes lower bounds on the provability of 𝒟=NP and the MRDP theorem in weak fragments of arithmetic. The theory I ⁵ E ₁ is shown to be unable to prove 𝒟=NP. This non-provability result is used to show that I ⁵ E ₁ cannot prove the MRDP theorem. On the other hand it is shown that I ¹ E ₁ proves 𝒟 contains all predicates of the form (∀i≤|b|)P(i,x)^Q(i,x) where ^ is =, <, or ≤, and I ⁰ E ₁ proves 𝒟 contains all predicates of the form (∀i≤b)P(i,x)=Q(i,x). Here P and Q are polynomials. A conjecture is made that 𝒟 contains NLOGTIME. However, it is shown that this conjecture would not be sufficient to imply 𝒟=N P. Weak reductions to equality are then considered as a way of showing 𝒟=NP. It is shown that the bit-wise less than predicate, ≤₂, and equality are both co-NLOGTIME complete under FDLOGTIME reductions. This is used to show that if the FDLOGTIME functions are definable in 𝒟 then 𝒟=N P. Received: 13 July 2001 / Revised version: 9 April 2002 / Published online: 19 December 2002 Key words or phrases: Bounded Arithmetic – Bounded Diophantine Complexity     

Probability Inequalities and Limit Theorems for Generalized L-Statistics

We obtain exponential upper bounds for tails of distributions of generalized L-statistics based on a sample from an exponential distribution. We prove the asymptotic normality of generalized L-statistics based on a sample from the uniform distribution on [0,1] and of L-statistics with decomposed kernels (without any restrictions on the sample distribution type).     

Stationary entanglement between macroscopic mechanical oscillators

We show that the optomechanical coupling between an optical cavity mode and two movable cavity mirrors is able to entangle two different macroscopic oscillation modes of the mirrors. This continuous variable entanglement is maintained by the light bouncing between the mirrors and is robust against thermal noise. In fact, it could be experimentally demonstrated using present technology. Received 2 September 2002 / Received in final form 10 October 2002 Published online 7 January 2003     

放射性9C束流不同贯穿深度上的线能谱测量

为阐述放射性⁹C束流应用于治癌的物理基础, 运用一个球形生物组织等效正比计数器测量了⁹C束流不同贯穿深度上的线能谱, 得到了沿束流贯穿深度上的剂量平均线能分布. 将实验测量得到的线能谱转换成为不同传能线密度在吸收剂量中所占份额的分布, 得到了该⁹C束流在不同贯穿深度上的剂量平均传能线密度分布. 将生物组织等效正比计数器测量得到的与先前通过平行板正比计数器测量得到的该⁹C束流的剂量平均传能线密度分布进行比较, 发现: 在束流入射通道上, 两者测量数据符合很好, 而在束流Bragg峰附近⁹C离子的沉积区域, 由组织等效正比计数器测量得到的剂量平均传能线密度值大于由平行板正比计数器测量得到的值.     

Structuring Multi-attribute Value Hierarchies

The first stage in a multi-attribute value analysis is the development of a hierarchical structure of the attributes of the problem. This paper reports the process of developing such a structure for the problem of choosing a suitable mode of transport for radioactive waste. The initial hierarchy of attributes went through several stages of development as new insights emerged about the nature of the problem. Some of the reasons behind this restructuring are discussed, and several important questions about the structuring process are formulated.     

Pattern formation on a nonlinear periodic electrical network

It is observed experimentally that a periodic array of resistively coupled LC-oscillators with ans-shaped nonlinearity exhibits stable non-uniform voltage and current distributions. The dependence of the resulting structure on the coupling resistance and the boundary conditions is investigated. The structure is rather insensitive to variations of the boundary values. The experiments are well described by a two-variable reaction-diffusion equation.