On the critical exponents of random k‐SAT

There has been much recent interest in the satisfiability of random Boolean formulas. A random k‐SAT formula is the conjunction of m random clauses, each of which is the disjunction of k literals (a variable or its negation). It is known that when the number of variables n is large, there is a sharp transition from satisfiability to unsatisfiability; in the case of 2‐SAT this happens when m/n → 1, for 3‐SAT the critical ratio is thought to be m/n ≈ 4.2. The sharpness of this transition is characterized by a critical exponent, sometimes called ν = ν_k (the smaller the value of ν the sharper the transition). Experiments have suggested that ν₃ = 1.5 ± 0.1. ν₄ = 1.25 ± 0.05, ν₅ = 1.1 ± 0.05, ν₆ = 1.05 ± 0.05, and heuristics have suggested that ν_k → 1 as k → ∞. We give here a simple proof that each of these exponents is at least 2 (provided the exponent is well defined). This result holds for each of the three standard ensembles of random k‐SAT formulas: m clauses selected uniformly at random without replacement, m clauses selected uniformly at random with replacement, and each clause selected with probability p independent of the other clauses. We also obtain similar results for q‐colorability and the appearance of a q‐core in a random graph. © 2002 Wiley Periodicals, Inc. Random Struct. Alg., 21: 182–195, 2002     

A MODEL OF TROPICAL MARINE RESERVE‐FISHERY LINKAGES

ABSTRACT. The excessive and unsustainable exploitation of our marine resources has led to the promotion of marine reserves as a fisheries management tool. Marine reserves, areas in which fishing is restricted or prohibited, can offer opportunities for the recovery of exploited stock and fishery enhancement. In this paper we examine the contribution of fully protected tropical marine reserves to fishery enhancement by modeling marine reserve‐fishery linkages. The consequences of reserve establishment on the long‐run equilibrium fish biomass and fishery catch levels are evaluated. In contrast to earlier models this study highlights the roles of both adult (and juvenile) fish migration and larval dispersal between the reserve and fishing grounds by employing a spawner‐recruit model. Uniform larval dispersal, uniform larval retention and complete larval retention combined with zero, moderate and high fish migration scenarios are analyzed in turn. The numerical simulations are based on Mombasa Marine National Park, Kenya, a fully protected coral reef marine reserve comprising approximately 30% of former fishing grounds. Simulation results suggest that the establishment of a fully protected marine reserve will always lead to an increase in total fish biomass. If the fishery is moderately to heavily exploited, total fishery catch will be greater with the reserve in all scenarios of fish and larval movement. If the fishery faces low levels of exploitation, catches can be optimized without a reserve but with controlled fishing effort. With high fish migration from the reserve, catches are optimized with the reserve. The optimal area of the marine reserve depends on the exploitation rate in the neighboring fishing grounds. For example, if exploitation is maintained at 40%, the ‘optimal’ reserve size would be 10%. If the rate increases to 50%, then the reserve needs to be 30% of the management area in order to maximize catches. However, even in lower exploitation fisheries (below 40%), a small reserve (up to 20%) provides significantly higher gains in fish biomass than losses in catch. Marine reserves are a valuable fisheries management tool. To achieve maximum fishery benefits they should be complemented by fishing effort controls.     

A Modified Quasi-Newton Method for Structured Optimization with Partial Information on the Hessian

This paper develops a modified quasi-Newton method for structured unconstrained optimization with partial information on the Hessian, based on a better approximation to the Hessian in current search direction. The new approximation is decided by both function values and gradients at the last two iterations unlike the original one which only uses the gradients at the last two iterations. The modified method owns local and superlinear convergence. Numerical experiments show that the proposed method is encouraging comparing with the methods proposed in [4] for structured unconstrained optimization Presented at the 6th International Conference on Optimization: Techniques and Applications, Ballarat, Australia, December 9–11, 2004     

Stable all-optical formation of Bose–Einstein condensate using pointing-stabilized optical trapping beams

By stabilizing the beam pointing of optical trapping beams, we have succeeded in stable formation of Bose–Einstein condensate (BEC) of ⁸⁷Rb with all-optical method. The thermal effect of acousto-optic modulator (AOM) is usually one of the most serious problems to induce beam-pointing instability, especially for high power CO₂ laser. By passing the beam through AOM twice, we have improved the beam pointing from about 4.8 mrad to less than 0.4 mrad, which has been experimentally confirmed to be small enough to stably form BEC at the crossed region of CO₂ lasers as well as to perform experiments using an optical lattice which might have been affected by beam-pointing instability. PACS 32.80.Pj; 42.79.Jq; 03.75.Mn     

Illumination dependence of I-V and C-V characterization of Au/InSb/InP(1 0 0) Schottky structure

The effects of surface preparation and illumination on electric parameters of Au/InSb/InP(100) Schottky diode were investigated, in the later diode InSb forms a fine restructuration layer allowing to block In atoms migration to surface. In order to study the electric characteristics under illumination, we make use of an He-Ne laser of 1 mW power and 632.8 nm wavelength. The current-voltage I(V_G), the capacitance-voltage C(V_G) measurements were plotted and analysed. The saturation current I_s, the serial resistance R_s and the mean ideality factor n are, respectively, equal to 2.03 × 10⁻⁵ A, 85 Ω, 1.7 under dark and to 3.97 × 10⁻⁵ A, 67 Ω, 1.59 under illumination. The analysis of I(V_G) and C(V_G) characteristics allows us to determine the mean interfacial state density N_ss and the transmission coefficient θ_n equal, respectively, to 4.33 × 10¹² eV⁻¹ cm⁻², 4.08 × 10⁻³ under dark and 3.79 × 10¹² eV⁻¹ cm⁻² and 5.65 × 10⁻³ under illumination. The deep discrete donor levels presence in the semiconductor bulk under dark and under illumination are responsible for the non-linearity of the C⁻²(V_G) characteristic.     

Balancing a Rotor with Two Coupled Perfectly Rigid Bodies

The steady motions of a vertical rotor balanced by two coupled perfectly rigid bodies (PRBs) are analyzed for stability. The rotor executes plane-parallel motions. The PRBs can rotate together about the rotor axis and about its transverse axes through equal angles but in opposite directions. It is established that when the mass of the PRBs is much less than that of the rotor and the rotor spins with a superresonant speed, only the basic steady motions, which are those of the best-balanced rotor, are asymptotically stable.     

Expansion of monomer units in poly(ethylene terephthalate) molecules under conditions of thermal and zero-point atomic vibrations

The temperature dependence of the expansion ?_C of trans conformers of the carbon skeleton of macromolecules in crystallized and amorphous poly(ethylene terephthalate) (PET) due to zero-point and thermal atomic vibrations is investigated by IR spectroscopy. It is found that the thermal expansion coefficient β_C jumpwise increases at the characteristic temperatures T _t and T _b. This increase is associated with the crossover from the quantum to classical statistics of torsional and bending vibration modes. The quantum and classical contributions to the expansion ?_C are determined for each mode. The quantum and classical contributions of the torsional vibrational mode in the amorphous polymer are approximately 1.5 times larger than those in the crystallized polymer. This effect is caused by an increase in the anharmonicity of torsional vibrations in the amorphous polymer.     

Stability of steady nonisothermal flow in a vertical layer with permeable boundaries in the microconvection model

The problem of the stability of steady convective viscous incompressible fluid flow in a vertical layer with boundaries at different temperatures is considered in the presence of transverse blowing through the layer. The complete spectral problem is solved for a silicon melt. The neutral curve is constructed and the critical Grashof number is found. The numerical calculations show that the presence of transverse blowing significantly affects the flow stability. As compared with the Oberbeck-Boussinesq model, in the microconvection model the instability develops at lower wavenumbers.     

Changes in the kurtosis parameter of super-Gaussian beams passing through a spherically aberrated lens

Based on the Collins formula and irradiance moments definition, the propagation of the kurtosis parameter of super-Gaussian beams through a spherically aberrated lens is studied. Detailed numerical results are given. It is shown that, as compared with aberration-free super-Gaussian beams, the profile of spherically aberrated super-Gaussian beams can be leptokurtic, mesokurtic or platykurtic, depending on the aberration and propagation distance. The results for the spherically aberrated Gaussian beams can be dealt with as a special case treated in this paper. Finally, the advantage of our method is pointed out.