The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satisfiability threshold has centered around the structure and connectivity of the solution space. Motivated by this work, we study structural and connectivity-related properties of the space of solutions of Boolean satisfiability problems and establish various dichotomies in Schaefer's framework. On the structural side, we obtain dichotomies for the kinds of subgraphs of the hypercube that can be induced by the solutions of Boolean formulas, as well as for the diameter of the connected components of the solution space. On the computational side, we establish dichotomy theorems for the complexity of the connectivity and st-connectivity questions for the graph of solutions of Boolean formulas. Our results assert that the intractable side of the computational dichotomies is PSPACE-complete, while the tractable side - which includes but is not limited to all problems with polynomial time algorithms for satisfiability - is in P for the st-connectivity question, and in coNP for the connectivity question. The diameter of components can be exponential for the PSPACE-complete cases, whereas in all other cases it is linear; thus, small diameter and tractability of the connectivity problems are remarkably aligned. The crux of our results is an expressibility theorem showing that in the tractable cases, the subgraphs induced by the solution space possess certain good structural properties, whereas in the intractable cases, the subgraphs can be arbitrary

A Hierarchical Spatio-Temporal Statistical Model Motivated by Glaciology

In this paper, we extend and analyze a Bayesian hierarchical spatio-temporal model for physical systems. A novelty is to model the discrepancy between the output of a computer simulator for a physical process and the actual process values with a multivariate random walk. For computational efficiency, linear algebra for bandwidth limited matrices is utilized, and first-order emulator inference allows for the fast emulation of a numerical partial differential equation (PDE) solver. A test scenario from a physical system motivated by glaciology is used to examine the speed and accuracy of the computational methods used, in addition to the viability of modeling assumptions. We conclude by discussing how the model and associated methodology can be applied in other physical contexts besides glaciology.Comment: Revision accepted for publication by the Journal of Agricultural, Biological, and Environmental Statistic

Enhancement of TbIII-CuII single-molecule magnet performance through structural modification

We report a series of 3d–4f complexes {Ln2Cu3(H3L)2Xn} (X=OAc−, Ln=Gd, Tb or X=NO3−, Ln=Gd, Tb, Dy, Ho, Er) using the 2,2′-(propane-1,3-diyldiimino)bis[2-(hydroxylmethyl)propane-1,3-diol] (H6L) pro-ligand. All complexes, except that in which Ln=Gd, show slow magnetic relaxation in zero applied dc field. A remarkable improvement of the energy barrier to reorientation of the magnetisation in the {Tb2Cu3(H3L)2Xn} complexes is seen by changing the auxiliary ligands (X=OAc− for NO3−). This leads to the largest reported relaxation barrier in zero applied dc field for a Tb/Cu-based single-molecule magnet. Ab initio CASSCF calculations performed on mononuclear TbIII models are employed to understand the increase in energy barrier and the calculations suggest that the difference stems from a change in the TbIII coordination environment (C4v versus Cs)

Spin Gaps in Coupled t-J Ladders

Spin gaps in coupled $t$-$J$ ladders are investigated by exact diagonalization of small clusters up to 4$\times$8 sites. At half-filling, the numerical results for the triplet excitation spectrum are in very good agreement with a second order perturbation expansion in term of small inter-ladder and intra-ladder exchange couplings between rungs ($J/J^\prime$$<$$0.25$). The band of local triplet excitations moving coherently along the ladder (with momenta close to $\pi$) is split by the inter-ladder coupling. For intermediate couplings finite size scaling is used to estimate the spin gap. In the isotropic infinite 4-chain system (two coupled ladders) we find a spin gap of $0.245 J$, roughly half of the single ladder spin gap. When the system is hole doped, bonding and anti-bonding bound pairs of holes can propagate coherently along the chains and the spin gap remains finite.Comment: 11 pages, 5 figures, uuencoded form of postscript files of figures and text, LPQTH-94/

A possible phase diagram of a t-J ladder model

We investigate a t-J ladder model by numerical diagonalization method. By calculating correlation functions and assuming the Luttinger liquid relation, we obtained a possible phase diagram of the ground state as a function of J/t and electron density $n$. We also found that behavior of correlation functions seems to consist with the prediction of Luttinger liquid relation. The result suggests that the superconducting phase appear in the region of $J/t \displaystyle{ \mathop{>}_{\sim}} 0.5$ for high electron density and $J/t \displaystyle{ \mathop{>}_{\sim}} 2.0$ for low electron density.Comment: Latex, 10 pages, figures available upon reques

Bond Operator Mean Field Approach to the Magnetization Plateaux in Quantum Antiferromagnets -- Application to the S=1/2 Coupled Dimerized Zigzag Heisenberg Chains

The magnetization plateaux in two dimensionally coupled S=1/2 dimerized zigzag Heisenberg chains are investigated by means of the bond operator mean field approximation. In the absence of the interchain coupling, this model is known to have a plateau at half of the saturation magnetization accompanied by the spontanuous translational symmetry breakdown. The parameter regime in which the plateau appears is reproduced well within the present approximation. In the presence of the interchain coupling, this plateau is shown to be suppressed. This result is also supported by the numerical diagonalization calculation.Comment: 7 pages, 8 figure

Fermi Liquid Properties of a Two Dimensional Electron System With the Fermi Level Near a van Hove Singularity

We use a diagrammatic approach to study low energy physics of a two dimensional electron system where the Fermi level is near van-Hove singularies in the energy spectrum. We find that in most regions of the $\epsilon_F-T$ phase diagram the system behaves as a normal Fermi liquid rather than a marginal Fermi liquid. Particularly, the imaginary part of the self energy is much smaller than the excitation energy, which implies well defined quasiparticle excitations, and single particle properties are only weakly affected by the presence of the van-Hove singularities. The relevance to high temperature superconductivity is also discussed.Comment: 10 pages, 4 postscript figure

Resistivity as a function of temperature for models with hot spots on the Fermi surface.

We calculate the resistivity $\rho$ as a function of temperature $T$ for two models currently discussed in connection with high temperature superconductivity: nearly antiferromagnetic Fermi liquids and models with van Hove singularities on the Fermi surface. The resistivity is calculated semiclassicaly by making use of a Boltzmann equation which is formulated as a variational problem. For the model of nearly antiferromagnetic Fermi liquids we construct a better variational solution compared to the standard one and we find a new energy scale for the crossover to the $\rho\propto T^2$ behavior at low temperatures. This energy scale is finite even when the spin-fluctuations are assumed to be critical. The effect of additional impurity scattering is discussed. For the model with van Hove singularities a standard ansatz for the Boltzmann equation is sufficient to show that although the quasiparticle lifetime is anomalously short, the resistivity $\rho\propto T^2\ln(1/T)$.Comment: Revtex 3.0, 8 pages; figures available upon request. Submitted to Phys. Rev. B

Kondo spin liquid and magnetically long-range ordered states in the Kondo necklace model

A simplified version of the symmetric Kondo lattice model, the Kondo necklace model, is studied by using a representation of impurity and conduction electron spins in terms of local Kondo singlet and triplet operators. Within a mean field theory, a spin gap always appears in the spin triplet excitation spectrum in 1D, leading to a Kondo spin liquid state for any finite values of coupling strength $t/J$ (with $t$ as hopping and $J$ as exchange); in 2D and 3D cubic lattices the spin gaps are found to vanish continuously around $(t/J)_c\approx 0.70$ and $(t/J)_c\approx 0.38$, respectively, where quantum phase transitions occur and the Kondo spin liquid state changes into an antiferromagnetically long-range ordered state. These results are in agreement with variational Monte Carlo, higher-order series expansion, and recent quantum Monte Carlo calculations for the symmetric Kondo lattice modelComment: Revtex, four pages, three figures; to be published in Physical Review B1, 1 July (2000