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.     

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.     

关于自组凯尔文电桥的测量不确定度

凯尔文电桥是国内大学基础物理实验所开设的实验内容之一，且多为自组式．关于自组凯尔文电桥的测量精度与桥路参数精度之间的关系，有些实验教材已有推导，但尚未涉及与两低阻相邻电压接头间跨桥电阻的定量关系，不注意这一点，会给测量结果带来一定的误差．本文就实际中常用的等双臂凯尔文电桥从理论上定量地推出了这一关系，进而给出了跨桥电阻可忽略时的适当阻值．