A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The application of a vehicle routing model to a waste-collection problem: two case studies

In this paper we suggest a unique model for estimating the operating cost of each of three waste-collection systems. Under the traditional system, which is widely used, waste is typically collected in plastic bags and a three-man crew is needed on each vehicle. The other two systems require a one-man crew for vehicle collecting street containers. The side-loader system with fixed body automatically empties street containers into the vehicle body and empties the load at the disposal site. The side-loader system with demountable body allows the separation of the waste collection phase from transport to the disposal site, since the vehicle body can be demounted. We also present two case studies and show how the estimation of operating costs is a critical issue in decisions regarding the type of system to be used for waste collection.     

The study and applications of photochemical-dynamical gravity wave model II

A nonlinear, compressible, non-isothermal gravity wave model that involves photochemistry is used to study the effects of gravity wave on atmospheric chemical species distributions in this paper. The changes in the distributions of oxygen compound and hydrogen compound density induced by gravity wave propagation are simulated. The results indicate that when a gravity wave propagates through a mesopause region, even if it does not break, it can influence the background distributions of chemical species. The effect of gravity wave on chemical species at night is larger than in daytime.     

Polyhedral <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">2</Emphasis></Subscript>

 Using elementary graded automorphisms of polytopal algebras (essentially the coordinate rings of projective toric varieties) polyhedral versions of the group of elementary matrices and the Steinberg and Milnor groups are defined. They coincide with the usual K-theoretic groups in the special case when the polytope is a unit simplex and can be thought of as compact/polytopal substitutes for the tame automorphism groups of polynomial algebras. Relative to the classical case, many new aspects have to be taken into account. We describe these groups explicitly when the underlying polytope is 2-dimensional. Already this low-dimensional case provides interesting classes of groups. Received: 13 December 2001 / Revised version: 24 June 2002 The second author was supported by the Deutsche Forschungsgemeinschaft, INTAS grant 99-00817 and TMR grant ERB FMRX CT-97-0107 Mathematics Subject Classification (2000): 14L27, 14M25, 19C09, 52B20     

Segregation in the Falicov--Kimball Model

The Falicov–Kimball model is a simple quantum lattice model that describes light and heavy electrons interacting with an on-site repulsion; alternatively, it is a model of itinerant electrons and fixed nuclei. It can be seen as a simplification of the Hubbard model; by neglecting the kinetic (hopping) energy of the spin up particles, one gets the Falicov–Kimball model. We show that away from half-filling, i.e. if the sum of the densities of both kinds of particles differs from 1, the particles segregate at zero temperature and for large enough repulsion. In the language of the Hubbard model, this means creating two regions with a positive and a negative magnetization. Our key mathematical results are lower and upper bounds for the sum of the lowest eigenvalues of the discrete Laplace operator in an arbitrary domain, with Dirichlet boundary conditions. The lower bound consists of a bulk term, independent of the shape of the domain, and of a term proportional to the boundary. Therefore, one lowers the kinetic energy of the itinerant particles by choosing a domain with a small boundary. For the Falicov- Kimball model, this corresponds to having a single “compact” domain that has no heavy particles. Received: 21 June 2001 / Accepted: 4 January 2002     

Singularity conjecture and constructions of Jacobi forms

This paper verifies the singularity conjecture for Jacobi forms with higher degree in some typical cases, and gives constructions for the Jacobi cusp forms whose Fourier coefficients can be expressed by some kind of Rankin-typeL-series.     

Instability of quark matter core in a compact newborn neutron star with moderately strong magnetic field

It is explicitly shown that if phase transition occurs at the core of a newborn neutron star with moderately strong magnetic field strength, which populates only the electron’s Landau levels, then in the β -equilibrium condition, the quark core is energetically much more unstable than the neutron matter of identical physical condition.     

<Emphasis Type="Italic">J/Ψ</Emphasis>production

For more than 25 yearsJΨ production has helped to sharpen our understanding of QCD. In proton induced reaction some observations are rather well understood while others are still unclear. The current status of the theory ofJΨ production will be sketched, paying special attention to the issues of formation time andJΨ re-interaction in a nuclear medium.     

Hydrophobicity-induced drying transition in alkanethiol self-assembled monolayer—water interface

During the course of our investigation of the electron transfer properties of some redox species through highly hydrophobic long chain alkanethiol molecules on gold in aqueous and non-aqueous solvents, we obtained some intriguing results such as unusually low interfacial capacitance, very high values of impedance and film resistance, all of which pointed to the possible existence of a nanometer size interfacial gap between the hydrophobic monolayer and aqueous electrolyte. We explain this phenomenon by a model for the alkanethiol monolayer—aqueous electrolyte interface, in which the extremely hydrophobic alkanethiol film repels water molecules adjacent to it and in the process creates a shield between the monolayer film and water. This effectively increases the overall thickness of the dielectric layer that is manifested as an abnormally low value of interfacial capacitance. This behaviour is very much akin to the ‘drying transition’ proposed by Lum, Chandler and Weeks in their theory of length scale dependent hydrophobicity. For small hydrophobic units consisting of apolar solutes, the water molecules can reorganize around them without sacrificing their hydrogen bonds. Since for an extended hydrophobic unit, the existence of hydrogen bonded water structure close to it is geometrically unfavourable, there is a net depletion of water molecules in the vicinity leading to the possible creation of a hydrophobic interfacial gap.