Efficient branch-and-bound algorithms for weighted MAX-2-SAT

MAX-2-SAT is one of the representative combinatorial problems and is known to be NP-hard. Given a set of m clauses on n propositional variables, where each clause contains at most two literals and is weighted by a positive real, MAX-2-SAT asks to find a truth assignment that maximizes the total weight of satisfied clauses. In this paper, we propose branch-and-bound exact algorithms for MAX-2-SAT utilizing three kinds of lower bounds. All lower bounds are based on a directed graph that represents conflicts among clauses, and two of them use a set covering representation of MAX-2-SAT. Computational comparisons on benchmark instances disclose that these algorithms are highly effective in reducing the number of search tree nodes as well as the computation time.     

Zeroth-Order Phase Transitions

In the theory of superfluidity and superconductivity, a jump of the free energy was discovered theoretically and was naturally called a zeroth-order phase transition. We present an example of an exactly solvable problem in which such a phase transition occurs.     

激波管中动态相变的数值研究

用松弛模型研究了范德瓦流体中的激波管问题．当松弛参数趋于0时模型存在一个确定的黎曼解．在数值方面推导了松弛格式（relaxing）和完全松弛格式（relaxed）．在一维问题中,对于不同的剖面,数值模拟显示结果趋向于黎曼解,在理论上和数值上研究了参数的影响．对于特定的初始激波剖面,观察到了非经典的反射波．在二维问题中,研究了曲面波前的数值演化,得到一些有趣的波斑图．     

Stability of Multidimensional Phase Transitions

In this paper, the author studies the multidimensional stability of subsonic phase transitions in a steady supersonic flow of van der Waals type. The viscosity capillarity criterion （in ＂Arch. Rat. Mech. Anal., 81（4）, 1983, 301-315＂） is used to seek physical admissible planar waves. By showing the Lopatinski determinant being non-zero, it is proved that subsonic phase transitions are uniformly stable in the sense of Majda （in ＂Mem. Amer. Math. Soc., 41（275）, 1983, 1-95＂） under both one dimensional and multidimensional perturbations.     

Irreversible Phase Transitions in Steel

We present a mathematical model for the austenite–pearlite and austenite–martensite phase transitions in eutectoid carbon steel. The austenite–pearlite phase change is described by the Additivity Rule. For the austenite–martensite phase change we propose a new rate law, which takes into account its irreversibility. We investigate questions of existence and uniqueness for the three-dimensional model and finally present numerical calculations of a continuous cooling transformation diagram for the eutectoid carbon steel C1080. © 1997 by B.G. Teubner Stuttgart-John Wiley & Sons, Ltd.     

Phase Transitions in Gravitational Allocation

Given a Poisson point process of unit masses (“stars”) in dimension d ≥ 3, Newtonian gravity partitions space into domains of attraction (cells) of equal volume. In earlier work, we showed the diameters of these cells have exponential tails. Here we analyze the quantitative geometry of the cells and show that their large deviations occur at the stretched-exponential scale. More precisely, the probability that mass exp(−R ^γ ) in a cell travels distance R decays like exp(-R^f_d(g)){\left(-R^{f_d(\gamma)}\right)} where we identify the functions f _d (·) exactly. These functions are piecewise smooth and the discontinuities of f^￠_d{f^{\prime}_d} represent phase transitions. In dimension d = 3, the large deviation is due to a “distant attracting galaxy” but a phase transition occurs when f ₃(γ) = 1 (at that point, the fluctuations due to individual stars dominate). When d ≥ 5, the large deviation is due to a thin tube (a “wormhole”) along which the star density increases monotonically, until the point f _d (γ) = 1 (where again fluctuations due to individual stars dominate). In dimension 4 we find a double phase transition, where the transition between low-dimensional behavior (attracting galaxy) and highdimensional behavior (wormhole) occurs at γ = 4/3.     

First-Order Phase Transitions and Hysteresis

A simple phase-field model for first-order phase transitions with hysteresis is proposed. It describes both temperature- and stress-induced transitions between austenitic and (oriented) martensitic regimes in a shape memory alloy (SMA). Finally, numerical simulations of local paths of the system are performed in the (ε,σ) and (ε,θ) planes, respectively, when either stress or temperature cyclic processes are considered and phase diffusion is neglected.     

Error-Correcting Codes and Phase Transitions

The theory of error-correcting codes is concerned with constructing codes that optimize simultaneously transmission rate and relative minimum distance. These conflicting requirements determine an asymptotic bound, which is a continuous curve in the space of parameters. The main goal of this paper is to relate the asymptotic bound to phase diagrams of quantum statistical mechanical systems. We first identify the code parameters with Hausdorff and von Neumann dimensions, by considering fractals consisting of infinite sequences of code words. We then construct operator algebras associated to individual codes. These are Toeplitz algebras with a time evolution for which the KMS state at critical temperature gives the Hausdorff measure on the corresponding fractal. We extend this construction to algebras associated to limit points of codes, with non-uniform multi-fractal measures, and to tensor products over varying parameters.     

Exact MAX-2SAT solution via lift-and-project closure

We present a new approach for exact solution of MAX-2SAT problems based on a strong reformulation deduced from an optimal continuous solution over the elementary closure of lift-and-project cuts. Computational results show that this formulation leads to a reduced number of nodes in the branch-and-bound tree and short computing times.     

Almost every 2-SAT function is unate

Bollobás, Brightwell and Leader [2] showed that there are at most 2-SAT functions on n variables, and conjectured that in fact the number of 2-SAT functions on n variables is . We prove their conjecture. As a corollary of this, we also find the expected number of satisfying assignments of a random 2-SAT function on n variables. We also find the next largest class of 2-SAT functions and show that if k = k(n) is any function with k(n) < n ^1/4 for all sufficiently large n, then the class of 2-SAT functions on n variables which cannot be made unate by removing 25k variables is smaller than for all sufficiently large n.     

Phase Transitions in a Stochastic Game

Mathematical Notes -     

Problem on Phase Transitions with Special Constraints

The minimization problem for the energy functional of a two-phase medium is studied by two regularization methods. The first method uses the area of the boundary of the interface of the phases. The second one is based on the integral of the higher-order derivatives of the replacement field with nonhomogeneous boundary conditions and additional conditions on the replacement field. The existence theorem for an equilibrium state is proved in both cases. The equilibrium equation is deduced. Bibliography:5 titles.     

Supercooling and Superheating Effects in Phase Transitions

In the one-dimensional Stefan problem, the standard equilibriumcondition ; = 0 at the free boundary x = s(t) is here replacedby the kinetic law s'(t) = ß((s(t), t)), where ß:R R is continuous and increasing and ß(0) = 0. Thisrepresents supercooling and superheating effects. The standardStefan problem is then obtained in the limit as ß'(0) + A similar condition is considered for a radially symmetric system,taking also account of the surface tension effect. A kineticcondition is introduced also for phase transitions in binaryalloys, represented by means of the system of the Fourier'sand Fick's laws. In the case of several space dimensions, denoting by [0, 1]the concentration of the more energetic phase, the followinglaw is considered this is also extendedto binary systems. For all of the previous models of phase transitions, existenceresults are proved for the variational problems obtained bycoupling the free boundary condition with the energy conservationequation (and with the mass diffusion equation, for alloys).For heterogeneous systems, also a different model based on "non-equilibriumthermodynamics" is considered. This paper reviews the results of Visintin [IMA J. appl. Math.(1985) 34, 225–245] and announces those of Visintin (1985,to appear in Q appl. Math, and in Ann. Mat. pura appl.).     

Sonic Hyperbolic Phase Transitions and Chapman-Jouguet Detonations

We prove that the Cauchy problem for an n×n system of strictly hyperbolic conservation laws in one space dimension admits a weak global solution also in presence of sonic phase boundaries. Applications to Chapman-Jouguet detonations, liquid-vapor transitions and elastodynamics are considered.     

Phase Transitions in a Traffic Flow Model

The terms phase transitions have been used since some years in the trafic modeling literarure to label a set of recurrent phenomena experimentally observed. This talk aims at the presentation of a system of p.d.e.s that models these phenomena, within the framework provided by phase transitions in systems of hyperbolic conservation laws.     

Solidification of Binary Alloys and Nonequilibrium Phase Transitions

Doklady Mathematics - A model was constructed for reconstructing the initial stage of solidification of binary alloys treated as a nonequilibrium phase transition with a diffusion stratification...     

Phase Transitions on the Boundary of a Domain

We consider the minimization problem for the energy functional of a two-phase medium concentrated at the boundary of a domain. We study regularization of the functional by means of the area of the boundary of the phase interface under additional conditions on the displacement field. Bibliography: 3 titles.     

Mathematical Models of Solid-Solid Phase Transitions in Steel

The austenite-pearlite phase transition in steel occurs overa large range of temperatures and gradually in time. Accordingto the ‘additivity rule’, for any prescribed temperatureevolution (?), at any time t, the fraction F(t) of transformedaustenite is characterized by the condition where is a prescribed positive function. This lawdefines a causal functional for any T > 0. The properties of F are here analysed. The cooling of a spatially distributed austenitic body is thenstudied. The enthalpy conservation equation is coupled withlimit conditions and with the constitutive relation F = F().Existence of a strong solution is then proven for a formulationin Sobolev spaces.     

Stability and Existence of Multidimensional Subsonic Phase Transitions

The purpose of this paper is to prove the uniform stability of multidimensional subsonic phase transitions satisfying the viscosity-capillarity criterion in a van der Waals fluid, and further to establish the local existence of phase transition solutions.