On a free group of transformations defined by an automaton

We prove that three automorphisms of the rooted binary tree defined by a certain 3-state automaton generate a free non-Abelian group of rank 3. Both authors are supported by the NSF grants DMS-0308985 and DMS-0456185. Yaroslav Vorobets is supported by a Clay Research Scholarship.     

A local search approach to a circle cutting problem arising in the motor cycle industry

This paper is concerned with the development of a customized circle packing algorithm for a manufacturer of sprockets for the motor cycle industry. Practical constraints mean that the problem differs somewhat from those tackled elsewhere in the literature. In particular, the layouts need to conform to a given structure. This is achieved by using a local search algorithm with an appropriate starting solution and a series of neighbourhoods designed to preserve the layout structure. Empirical evidence based on real data shows that the quality of the resulting solutions closely matches that of cutting patterns currently produced by human experts. Computation times average around 20–30?s per order as compared to several hours for an equivalent manual solution.     

Tunneling radiation of a Gibbons-Maeda dilaton black hole

We use the Parikh-Wilczek method to treat Hawking radiation as a tunneling process across the event horizon and calculate the emission rate of a Gibbons-Maeda dilaton black hole. We show that if self-gravitation is taken into account, then the radiation deviates from the purely thermal spectrum, and the corrected spectrum is consistent with an underlying unitary theory. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 151, No. 1, pp. 172–175, April, 2007.     

Asymptotic and boundary integral formulae for the computational reconstruction of small conductivity imperfections

In this paper we investigate the electrostatic problem of determining conductivity profiles from the knowledge of boundary currents and voltages. We obtain an improved estimate for the voltage potential of a two-dimensional conductor having finitely many circular inclusions and piecewise constant conductivity profile. We derive an asymptotic expansion for the voltage potential in terms of the reference voltage potential and the location, size, and conductivity of the inhomogeneities. This representation is used to formulate the nonlinear least squares problem for estimating the location and size of the inhomogeneities. Required boundary data for the voltage potential are generated numerically by solving a system of integral equations. Computational experiments are presented to demonstrate the effectiveness of our identification procedure.     

Theory of Valuations on Manifolds: A Survey

This is a non-technical survey of a recent theory of valuations on manifolds constructed in [A10], [A11], [AF] and [A12], and actually a guide to this series of articles. We also review some recent related results obtained by a number of people. Received: February 2006, Revision: June 2006, Accepted: June 2006     

Salt effects in the aqueous alkaline hydrolysis of N-hydroxyphthalimide. Kinetic evidence for the ion-pair formation

The effects of the concentrations of LiCl, NaCl, KCl, CsCl, Na₂CO₃, BaCl₂, and Me₄NCl on the rates of reactions of hydroxide ion with ionized N-hydroxyphthalimide (NHP) at 30°C and in a H₂O–MeCN solvent containing 98%, v/v, H₂O reveal a nonlinear increase in observed rate constants with increase in salt concentrations. The observed rate constants are highly sensitive to the valence state of cations and almost insensitive to the valence state of anions of the salts. These observations are explained in terms of ion-pair formation between cations and NHP^?.     

A Note on an Input Control Model of a Predictive Regression Interval

A well-known problem of prediction in linear regression models is to find a confidence interval for the random value of the dependent variable when the values of the independent variables are given. Such a situation may arise in economic quality control models when the independent variables are costly inputs and the dependent variable is some measure of quality or production. In such a circumstance, an important control objective may be to find values for the inputs that will maximize the lower limit of the prediction confidence interval for a fixed budget, or alternatively, to minimize the cost of the inputs for a fixed lower limit of the confidence interval. In this paper, we shall show that global optima can be found using known algorithms. The special case of simple linear regression is discussed and an illustrative example is provided.