Bianchi transformation between the real hyperbolic Monge-Ampère equation and the Born-Infeld equation

By casting the Born-Infeld equation and the real hyperbolic Monge-Ampère equation into the form of equations of hydrodynamic type, we find that there exists an explicit transformation between them. This is Bianchi transformation.     

Eigenresonance states in the Kronig-Penney model

We investigate a sandwich of three layer systems with Dirac -functions in the Kronig-Penney model. The inner system ofN=5 atomic layers is enclosed by the two outer systems with different potential strength. The numberM of the atomic layers in the outer system is varied betweenM=9 and infinity, whereas the numberN of the inner layers is held fixed. We obtain the transmission coefficient for the finite system in the region of scattering energies (E>0). An alternating set of transmission gaps, transmission bands and bands of eigenresonance states is obtained. The normalizable eigenresonances occur (forM going to infinity), if a transmission band of the inner system overlaps a transmission gap of the outer systems. The reason for obtaining solutions of standing waves in the band of eigenresonances is the rapid change of the wave phase of a traveling wave, which occurs in a transmission band of the inner system.     

The UV absorption spectrum of the phenyl radical isolated in solid argon

Phenyl radicals have been generated by photodecomposition of nitrosobenzene isolated in solid argon at 12 K. In this medium the origin of the first UV absorption band of nitrosobenzene corresponding to theS ₀ S ₂ transition is found at 30260 cm^–1. Excitation with an excess energy of 2200 cm^–1 results in very efficient photodissociation. The fragments NO and phenyl are stable for many hours. Annealing of the sample above 35 K led to partial recombination and recovery of the absorption spectrum of nitrosobenzene. The UV spectrum of the phenyl radical was obtained in the wavenumber range 25000–45000 cm^–1, apparently without contamination by other species. It shows sharp lines at 25220, 33880, and 34820 cm^–1 and two broader maxima at 38360 and 41060 cm^–1. Of these only the line at 34820 cm^–1 had been assigned to the phenyl radical in earlier work. These data are compared to recent molecular orbital calculations.Dedicated to Prof. F. P. Schäfer on the occasion of his 65th birthday.     

Fluctuations of shapes of large areas under paths of random walks

Summary We discuss statistical properties of random walks conditioned by fixing a large area under their paths. We prove the functional central limit theorem (invariance principle) for these conditional distributions. The limiting Gaussian measure coincides with the conditional probability distribution of certain timenonhomogeneous Gaussian random process obtained by an integral transformation of the white noise. From the point of view of statistical mechanics the studied problem is the problem of describing the fluctuations of the phase boundary in the one-dimensional SOS-model.     

Combinatorial invariance of Stanley-Reisner rings

In this short note we show that Stanley—Reisner rings of simplicial complexes, which have had a dramatic application in combinatorics [2, p. 41], possess a rigidity property in the sense that they determine their underlying simplicial complexes.     

α-Sober spaces via the orthogonal closure operator

Each ordinal equipped with the upper topology is a T ₀-space. It is well known that for =2 the reflective hull of in Top₀ is the subcategory of sober spaces. Here, we define -sober space for each 2 in such a way that the reflective hull of in Top₀ is the subcategory of -sober spaces. Moreover, we obtain an order-preserving bijective correspondence between a proper class of ordinals and the corresponding (epi)reflective hulls. Our main tool is the concept of orthogonal closure operator, first introduced in [12].The author acknowledges financial support from Instituto Politécnico de Viseu and from Centro de Matemática da Universidade de Coimbra.     

Cutting planes,connectivity, and threshold logic

Originating from work in operations research the cutting plane refutation systemCP is an extension of resolution, where unsatisfiable propositional logic formulas in conjunctive normal form are recognized by showing the non-existence of boolean solutions to associated families of linear inequalities. Polynomial sizeCP proofs are given for the undirecteds-t connectivity principle. The subsystemsCP _q ofCP, forq2, are shown to be polynomially equivalent toCP, thus answering problem 19 from the list of open problems of [8]. We present a normal form theorem forCP ₂-proofs and thereby for arbitraryCP-proofs. As a corollary, we show that the coefficients and constant terms in arbitrary cutting plane proofs may be exponentially bounded by the number of steps in the proof, at the cost of an at most polynomial increase in the number of steps in the proof. The extensionCPLE ⁺, introduced in [9] and there shown top-simulate Frege systems, is proved to be polynomially equivalent to Frege systems. Lastly, since linear inequalities are related to threshold gates, we introduce a new threshold logic and prove a completeness theorem.Supported in part by NSF grant DMS-9205181 and by US-Czech Science and Technology Grant 93-205Partially supported by NSF grant CCR-9102896 and by US-Czech Science and Technology Grant 93-205     

Norm-graphs and bipartite turán numbers

For everyt>1 and positiven we construct explicit examples of graphsG with |V (G)|=n, |E(G)|c _t ·n ^2–1/t which do not contain a complete bipartite graghK _t,t !+1 This establishes the exact order of magnitude of the Turán numbers ex (n, K _t,s ) for any fixedt and allst!+1, improving over the previous probabilistic lower bounds for such pairs (t, s). The construction relies on elementary facts from commutative algebra.Research supported in part by NSF Grants DMS-8707320 and DMS-9102866.Research supported in part by Hungarian National Foundation for Scientific Research Grant     

Zero cycles on conic fibrations and a conjecture of Bloch

Let X be a smooth projective surface over a number field k. Let (CH₀(X)) denote the Chow group of zero-cyles modulo rational equivalence on X. Let CH₀(X) be the subgroup of CH ₀(X) consisting of classes which vanish when going over to an arbitrary completion of k. Bloch put forward a conjecture asserting that this group is isomorphic to the Tate-Shafarevich group of a certain Galois module atttached to X. In this paper, we disprove this general conjecture. We produce a conic bundle X over an elliptic curve, for which the group (CH₀(X) is not zero, but the Galois-theoretic Tate-Shafarevich group vanishes.     

On Segal-Wilson's construction for the τ-functions of the constrained KP hierarchies

In this Letter, we study the constrained KP hierarchies by employing Segal-Wilson's theory on the -functions of the KP hierarchy. We first describe the elements of the Grassmannian which correspond to solutions of the constrained KP hierarchy, and then we show how to construct its rational and soliton solutions from these elements of the Grassmannian.