Interpolation by a Game

We introduce a notion of a real game (a generalisation of the Karchmer-Wigderson game (cf. [3]) and of real communication complexity, and relate this complexity to the size of monotone real formulas and circuits. We give an exponential lower bound for tree-like monotone protocols (defined in [4, Definition 2.2]) of small real communication complexity solving the monotone communication complexity problem associated with the bipartite perfect matching problem. This work is motivated by a research in interpolation theorems for prepositional logic (by a problem posed in [5, Section 8], in particular). Our main objective is to extend the communication complexity approach of [4, 5] to a wider class of proof systems. In this direction we obtain an effective interpolation in a form of a protocol of small real communication complexity. Together with the above mentioned lower bound for tree-like protocols this yields as a corollary a lower bound on the number of steps for particular semantic derivations of Hall's theorem (these include tree-like cutting planes proofs for which an exponential lower bound was demonstrated in [2]).     

Spectral distributions in nuclei: General principles and applications

The subject of spectral distribution methods where one derives and applies the locally smoothed forms of observables in nuclei is briefly reviewed. It is well understood that the local forms (with respect to energy) of the level density function, expectation values and strength densities are Gaussian, linear (or ratio of Gaussians) and a bivariate Gaussian respectively. To accomodate symmetries in the above forms, one has to deal with multivariate distributions in general; for example the angular-momentum (J) decomposition leads to a bivariate Gaussian form for the level density. These results extend to indefinitely large spaces by method of partitioning and they generate convolution forms. The origin of these remarkable spectral properties is discussed and shell model examples are given to substantiate their applicability to nuclear systems. Spectral distribution theory is a practical, usable theory because the smoothed forms are defined in terms of traces of low particle-rank operators, and the trace information propagates. Finally we discuss the application of the spectral methods for a wide range of nuclear problems; these include binding energies, orbit occupancies, electromagnetic andβ-decay sum rule quantities, analysis of operators, symmetry breaking, numerical level densities, and determination of bounds on time-reversal non-invariant part of nucleon-nucleon interaction.     

On the behavior of ECN/RED gateways under a large number of TCP flows: Limit theorems

We consider a discrete-time stochastic model of an ECN/RED gateway where competing TCP sources share the link capacity. As the number of competing flows becomes large, the asymptotic queue behavior (normalized by the number of flows) at the gateway can be described by a simple recursion and the throughput behavior of individual TCP flows becomes asymptotically independent. A Central Limit Theorem complement is also presented, yielding a more accurate characterization of the asymptotic queue size. These results suggest a scalable yet accurate model of this complex large-scale stochastic feedback system, and crisply reveal the sources of queue fluctuations. This work was prepared through collaborative participation in the Communications and Networks Consortium sponsored by the U.S. Army Research Laboratory under the Collaborative Technology Alliance Program, Cooperative Agreement DAAD19-01-2-0011. This work was also supported by the Space and Naval Warfare Systems Center—San Diego under Contract No: N66001-00-C-8063. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the Army Research Laboratory or the U.S. Government.     

L-functions of second-order cusp forms

We discuss equivalent definitions of holomorphic second-order cusp forms and prove bounds on their Fourier coefficients. We also introduce their associated L-functions, prove functional equations for twisted versions of these L-functions and establish a criterion for a Dirichlet series to originate from a second order form. In the last section we investigate the effect of adding an assumption of periodicity to this criterion. 2000 Mathematics Subject Classification Primary—11F12, 11F66 G. Mason: Research supported in part by NSF Grant DMS 0245225. C. O’Sullivan: Research supported in part by PSC CUNY Research Award No. 65453-00 34.     

New reals: Can live with them,can live without them

We give a self‐contained proof of the preservation theorem for proper countable support iterations known as “tools‐preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

New Results on Generalized $c$-Distance Without Continuity in Cone $b$-Metric Spaces over Banach Algebras

In this work, some new fixed point results for generalized Lipschitz mappings on generalized $c$-distance in cone $b$-metric spaces over Banach algebras are obtained, not acquiring the condition that the underlying cone should be normal or the mappings should be continuous. Furthermore, the existence and the uniqueness of the fixed point are proven for such mappings. These results greatly improve and generalize several well-known comparable results in the literature. Moreover, some examples and an application are given to support our new results.     

Density computations for real quadratic units

In order to study the density of the set of positive integers for which the negative Pell equation is solvable in integers, we compute the norm of the fundamental unit in certain well-chosen families of real quadratic orders. A fast algorithm that computes 2-class groups rather than units is used. It is random polynomial-time in as the factorization of is a natural part of the input for the values of we encounter. The data obtained provide convincing numerical evidence for the density heuristics for the negative Pell equation proposed by the second author. In particular, an irrational proportion of the real quadratic fields without discriminantal prime divisors congruent to 3 mod 4 should have a fundamental unit of norm .

     

拉伸热历史对取向聚对苯二甲酸乙二酯膜在热处理过程中收缩和伸长的影响

弄清取向非晶态聚合物在热处理过程中的收缩和伸长的变化规律,以及所对应的结构变化,有较大的实用意义和科学意义。 对于取向聚对苯二甲酸乙二酯的热收缩和热伸长已有很多研究,但对于拉伸热历史对取向PET在热处理过程中的尺寸变化的影响尚缺乏系统的研究。在热拉伸的过程中发生分子链的取向、热弛豫和结晶三个相互竞争的过程。因此,改变拉伸条件可以得到具有各种不同取向和结晶的PET试样。当非晶态PET膜片在80-105℃以较低     

Removal of major interference sources in aqueous near-infrared spectroscopy techniques

This work describes a hybrid procedure for eliminating major interference sources in aqueous near-infrared (NIR) spectra, that include aqueous influence, noise, and systemic variations irrelevant to concentration. The scheme consists of two parts: extension of wavelet prism (WPe) and orthogonal signal correction (OSC). First, WPe is employed to remove variations due to aqueous absorbance and noise; then OSC is applied to remove systemic spectral variations irrelevant to concentration. Although water possesses strong absorption bands that overshadow and overlap the absorption bands of analytes, along with noise and systematic interference, successful calibration models can be generated by employing the method proposed here. We show that the elimination of major interference sources from the aqueous NIR spectra results in a substantial improvement in the precision of prediction, and reduces the required number of PLS components in the model. In addition, the strategy proposed here can be applied to various analytical data for quantitative purposes as well.     

分子轨道图形理论中对称轴定理

本文试图以浅显明确的形式描述对称轴定理，使之能与对称面定理相媲美，并对对称轴定理作一定的扩展，给出分子轨道构造定理。