Geometric critical exponent inequalities for general random cluster models

A set of new critical exponent inequalities,d(1 –1 /)2 –, dv(1 – 1/), andd> 1, is proved for a general class of random cluster models, which includes (independent or dependent) percolations, lattice animals (with any interactions), and various stochastic cluster growth models. The inequalities imply that the critical phenomena in the models are inevitably not mean-field-like in the dimensions one, two, and three.The present work was reported at the 56th Statistical Mechanics Meeting (Rutgers, December 1986).     

Consistency of a linear system of inequalities

We show that a consistency check of a linear system of inequalitiesAxb reduces to check whetherQb0 for a certain matrixQ. It is a direct consequence of the Farkas-Minkowski theorem. Thus, when one has to check consistency for different values ofb, one need not run a numerical algorithm for eachb.On leave at the Electronics Research Laboratory of the University of California at Berkeley in a CNRS/NSF Exchange Program.     

考虑订单取件时间和柔性时间窗的取送货车辆路径问题

研究了同城配送中考虑订单取货时间和柔性时间窗的取送货车辆路径问题,考虑同城配送中订单起终点,订单取货时间和订单配送的柔性时间窗,车容量限制等因素。首先构建以配送成本与超时惩罚成本之和最小化为目标的混合整数线性模型。其次,设计了含多种有效不等式及其对应分离算法的改进分支切割算法对该模型进行精确求解。最后通过实验测试分析了不等式的性能,验证了算法的有效性,实验表明适当的减少车辆数和增大装载能力能够有效的减少成本。     

Smoothing methods for convex inequalities and linear complementarity problems

A smooth approximationp (x, ) to the plus function max{x, 0} is obtained by integrating the sigmoid function 1/(1 + e^–x ), commonly used in neural networks. By means of this approximation, linear and convex inequalities are converted into smooth, convex unconstrained minimization problems, the solution of which approximates the solution of the original problem to a high degree of accuracy for sufficiently large. In the special case when a Slater constraint qualification is satisfied, an exact solution can be obtained for finite. Speedup over MINOS 5.4 was as high as 1142 times for linear inequalities of size 2000 × 1000, and 580 times for convex inequalities with 400 variables. Linear complementarity problems are converted into a system of smooth nonlinear equations and are solved by a quadratically convergent Newton method. For monotone LCPs with as many as 10 000 variables, the proposed approach was as much as 63 times faster than Lemke's method.This material is based on research supported by Air Force Office of Scientific Research Grant F49620-94-1-0036 and National Science Foundation Grants CCR-9101801 and CCR-9322479.     

The covariance matrix of the Potts model: A random cluster analysis

We consider the covariance matrix,G ^mm =q ²<(_x,m);(_y,m)>, of thed-dimensionalq-states Potts model, rewriting it in the random cluster representation of Fortuin and Kasteleyn. In any of theq ordered phases, we identify the eigenvalues of this matrix both in terms of representations of the unbroken symmetry group of the model and in terms of random cluster connectivities and covariances, thereby attributing algebraic significance to these stochastic geometric quantities. We also show that the correlation length corresponding to the decay rate of one of the eigenvalues is the same as the inverse decay rate of the diameter of finite clusers. For dimensiond=2, we show that this correlation length and the correlation length of the two-point function with free boundary conditions at the corresponding dual temperature are equal up to a factor of two. For systems with first-order transitions, this relation helps to resolve certain inconsistencies between recent exact and numerical work on correlation lengths at the self-dual point _o. For systems with second order transitions, this relation implies the equality of the correlation length exponents from above and below threshold, as well as an amplitude ratio of two. In the course of proving the above results, we establish several properties of independent interest, including left continuity of the inverse correlation length with free boundary conditions and upper semicontinuity of the decay rate for finite clusters in all dimensions, and left continuity of the two-dimensional free boundary condition percolation probability at _o. We also introduce DLR equations for the random cluster model and use them to establish ergodicity of the free measure. In order to prove these results, we introduce a new class of events which we call decoupling events and two inequalities for these events. The first is similar to the FKG inequality, but holds for events which are neither increasing nor decreasing; the second is similar to the van den Berg-Kesten inequality in standard percolation. Both inequalities hold for an arbitrary FKG measure.     

Some difficulties for Clifton,Redhead, and Butterfield's recent proof of nonlocality

Clifton, Redhead, and Butterfield have recently produced a generalization of the new non-locality proof due to Greenberger, Horne, and Zeilinger. Their proof is intended to have certain advantages over the standard Belltype arguments. One of these is that, although the proof allows for causally relevant apparatus hidden variables, it avoids the need for making certain standard locality assumptions about those parameters. On closer inspection, the part of the proof which supposedly removes the need for such assumptions is shown to rest on a fallacy. This renders the proof invalid. Two other, related difficulties are explored along the way.1. CRB actually provide two nonlocality proofs, but our concern here is with the first.2. Cf. p.173 for a precise formulation of these. (Any references in these footnotes are to [1].) Note that, due to the way CRB define the µ's, these conditions are not entirely independent.3. Cf. p.174. Note that CRB claim to derive the independence of outcomes from apparatus existents via our other assumptions without imposing any other conditions on their distributions, citing Lemma 2, which we shall object to in Sec. 4 below. This should be given a careful reading; Lemma 2 only purports to derive the statistical independence of outcomes fromlocal (i.e., nearby) apparatus hidden variables. The independence of outcomes fromdistant apparatus hidden variables is assumed, rather, in OL.4. Here, and in many places, I shall rely on [1] for the details.5. CRB have endorsed this definition of M (personal correspondence).6. More precisely, those values of do so for at least one possible quadruple of apparatus existents, and measurement results; and foruncountably many setting quadruples in (p.167).7. Given CRB's way of defining the µ's so as to include the information found in the 's, the terms in OF and most of those in OL would actually be ill-defined in most cases (for each ) inany theory. This is simply because the measuring devices cannot be set to measure in two different directions at once. However, it should be possible to remedy that situation by simply redefining µ so that it includes only information about the state of the apparatus not covered by .8. CRB endorse the first of these two suggestions (personal correspondence).9. I have omitted the arguments fromA,B,C andD. Wherever they appear without arguments they will implicitly have the three with which they were first introduced. Note that M⁺ should ideally be indexed by and , as there is no reason to think that all the same members of M will makeABCD = +1 for different values of and .10. Cf. note 6 above.11. Note that in light of this objection to their proof, we can see that CRB also fail to establish the link they claim exists between TF, strict correlations, and the condition they call TF.TF is the four-particle analogue of the conjunction of Shimony's outcome independence and his parameter independence (p.162). They rest their claim about the link on Lemma 2 (pp.162 and 165).     

Correlation inequalities for the truncated two-point function of an Ising ferromagnet

We establish the following new correlation inequalities for the truncated twopoint function of an Ising ferromagnet in a positive external field: _j ; _l ^T _j ; _k ^T _k ; _l ^T , and _j ; _l ^T _{k K j} ; _k ^T _{k l} , whereK is any set of sites which separatesj froml. The inequalities are also valid for the pure phases with zero magnetic field at all temperatures. Above the critical temperature they reduce to known inequalities of Griffiths and Simon, respectively.NSERC Postgraduate Fellow, 1978–1981. Research supported in part by NSF Grant No. PHY-78-25390-A02.     

Symmetries and correlation inequalities for classicaln-vector models

We describe a new class of single spin measures on then-dimensional sphereS _r ⁿ of radiusr (n 4) for which Lebowitz-type [J. Lebowitz,J. Stat. Phys. 16:463 (1977)] inequalities hold. This is achieved by an appropriate parametrization ofS _r ⁿ . The above class includes the uniform measures onxs Rⁿ ¦x¦ r for any 0 p r. The second topic of this paper is an abstract formulation of the first Griffiths inequality [R. B. Griffiths,J. Math. Phys. 8:478 (1967)] and the underlying symmetry property.     

再论Pedoe不等式的高维推广及应用

本文对欧氏空间E~n中的两个n维单形,给出了著名的Pedoe不等式的一个实质性推广,并讨论了它的应用.