The calculation of neutron self-shielding factors of a group of isolated resonances

The resonance neutron self-shielding factor, G _res, is required in neutron metrology and activation data analysis. In a previous paper, the authors have shown that a dimensionless variable can be introduced which converts the dependence of G _res on the physical and nuclear properties of the material samples into an universal curve, valid for the isolated resonances of any nuclide. This work presents a methodology based on the universal curve, which enables to calculate G _res for a group of isolated resonances by weighting its individual contributions. A good agreement was reached with results calculated by the MCNP code and with experimental values for Mo foils and wires. This revised version was published online in July 2006 with corrections to the Cover Date.     

A remark on Lorentz algebras

We consider the class of Euclidean algebras associated to Minkowski light cones and called Lorentz algebras. We prove that in Lorentz algebras the estimate ∥P(a,b) ∥_∞≥(√2-1) ∥a∥_∞ ∥b∥_∞ is valid for the spectral norm and is therefore independent of the dimension of the Lorentz algebra.     

An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle

We prove lower bounds of the form exp(n^{ε d}), ε_d > 0, on the length of proofs of an explicit sequence of tautologies, based on the Pigeonhole Principle, in proof systems using formulas of depth d, for any constant d. This is the largest lower bound for the strongest proof system, for which any superpolynomial lower bounds are known.     

Interpolation by a Game

We introduce a notion of a real game (a generalisation of the Karchmer-Wigderson game (cf. [3]) and of real communication complexity, and relate this complexity to the size of monotone real formulas and circuits. We give an exponential lower bound for tree-like monotone protocols (defined in [4, Definition 2.2]) of small real communication complexity solving the monotone communication complexity problem associated with the bipartite perfect matching problem. This work is motivated by a research in interpolation theorems for prepositional logic (by a problem posed in [5, Section 8], in particular). Our main objective is to extend the communication complexity approach of [4, 5] to a wider class of proof systems. In this direction we obtain an effective interpolation in a form of a protocol of small real communication complexity. Together with the above mentioned lower bound for tree-like protocols this yields as a corollary a lower bound on the number of steps for particular semantic derivations of Hall's theorem (these include tree-like cutting planes proofs for which an exponential lower bound was demonstrated in [2]).     

Fixed mesh approximation of ordinary differential equations with impulses

When trains of impulse controls are present on the right-hand side of a system of ordinary differential equations, the solution is no longer smooth and contains jumps which can accumulate at several points in the time interval. In technological and physical systems the sum of the absolute value of all the impulses is finite and hence the total variation of the solution is finite. So the solution at best belongs to the space BV of vector functions with bounded variation. Unless variable node methods are used, the loss of smoothness of the solution would a priori make higher-order methods over a fixed mesh inactractive. Indeed in general the order of -convergence is and the nodal rate is . However in the linear case -convergence rate remains but the nodal rate can go up to by using one-step or multistep scheme with a nodal rate up to when the solution belongs to . Proofs are given of error estimates and several numerical experiments confirm the optimality of the estimates. Received March 15, 1996 / Revised version received January 3, 1997     

On a certain two-sided symmetric condition in magnetic field analysis and computations

A special two-sided condition for the incremental magnetic reluctivity is introduced which guarantees the unique existence of both the weak and the approximate solutions of the nonlinear stationary magnetic field distributed on a region composed of different media, as well as a certain estimate of the error between the two solutions. The condition, being discussed from the physical as well as the mathematical point of view, can be easily verified and is fulfilled for various magnetic reluctivity models used in electrotechnical practice.     

Invariant Subspaces for Semigroups of Algebraic Operators

T. Laffey showed (Linear and Multilinear Algebra6(1978), 269–305) that a semigroup of matrices is triangularizable if the ranks of all the commutators of elements of the semigroup are at most 1. Our main theorem is an extension of Hthis result to semigroups of algebraic operators on a Banach space. We also obtain a related theorem for a pair {A, B} of arbitrary bounded operators satisfying rank (AB−BA)=1 and several related conditions. In addition, it is shown that a semigroup of algebraically unipotent operators of bounded degree is triangularizable.     

Homomorphic images of finite subdirectly irreducible unary algebras

We prove that a finite unary algebra with at least two operation symbols is a homomorphic image of a (finite) subdirectly irreducible algebra if and only if the intersection of all its subalgebras which have at least two elements is nonempty. While working on this paper the first and the third authors were partially supported by the Grant Agency of the Czech Republic, grant #201/02/0594, and by the institutional grant MSM0021620839; the second author was supported by the Ministry of Science, Technologies and Development of Republic of Serbia, grant no. 1227.