-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

The Attribute Based Hill Climber

In this paper we introduce the Attribute Based Hill Climber, a parameter-free algorithm that provides a concrete, stand-alone implementation of a little used technique from the Tabu Search literature known as regional aspiration. Results of applying the algorithm to two classical optimisation problems, the Travelling Salesman Problem and the Quadratic Assignment Problem, show it to be competitive with existing general purpose heuristics in these areas.     

Luminescence of Molecules with Internal Charge Transfer upon Longwave Excitation

We have studied the spectral properties of luminescence of laurdan molecules in glycerin upon excitation at the red edge of the absorption band at different temperatures. The most significant red-wave shift of the spectra (10 nm) for the longwave band of dual fluorescence is observed depending on the excitation wavelength at a low temperature of 260 K when a solvent forms a fairly rigid matrix. At the same time, at increased temperatures of up to 370 K a small bathochromic shift and a change in the shape of the luminescence bands are also recorded reliably. Changes in the excitation spectra were observed when luminescence was recorded in the bands of the LE- and CT states. The difference spectrum responsible for the additional absorption that does not make a contribution to the longwave luminescence component has been isolated. The decay kinetics of both luminescence components have been measured and their expansions in decay constants have been analyzed. The experimental dependences obtained point to the complex mechanism of inhomogeneous broadening of spectra.     

Universal Margin Factors and Selection Criteria in Variable Environment

For nonautonomous dynamical systems, the principle of inheriting local properties by global Poincaré maps is developed. Using this method, a selection criterion for systems of close competitors is found: to gain competitive advantage, it suffices to outproduce other populations with a margin. The margin factor in question remains uniformly bounded as the number of competitors in the community grows.     

Local branching

The availability of effective exact or heuristic solution methods for general Mixed-Integer Programs (MIPs) is of paramount importance for practical applications. In the present paper we investigate the use of a generic MIP solver as a black-box ``tactical' tool to explore effectively suitable solution subspaces defined and controlled at a ``strategic' level by a simple external branching framework. The procedure is in the spirit of well-known local search metaheuristics, but the neighborhoods are obtained through the introduction in the MIP model of completely general linear inequalities called local branching cuts. The new solution strategy is exact in nature, though it is designed to improve the heuristic behavior of the MIP solver at hand. It alternates high-level strategic branchings to define the solution neighborhoods, and low-level tactical branchings to explore them. The result is a completely general scheme aimed at favoring early updatings of the incumbent solution, hence producing high-quality solutions at early stages of the computation. The method is analyzed computationally on a large class of very difficult MIP problems by using the state-of-the-art commercial software ILOG-Cplex 7.0 as the black-box tactical MIP solver. For these instances, most of which cannot be solved to proven optimality in a reasonable time, the new method exhibits consistently an improved heuristic performance: in 23 out of 29 cases, the MIP solver produced significantly better incumbent solutions when driven by the local branching paradigm. Mathematics Subject Classification (2000):90C06, 90C10, 90C11, 90C27, 90C59     

Thermodynamics and Hydrodynamics (Statistical Foundations): 2. Thermodynamic Equilibrium

We show that the BBGKY hierarchy in thermodynamic equilibrium degenerates into an equilibrium hierarchy. In turn, the latter can be used to obtain both the fundamental system of equations describing the state of matter inside a correlation sphere of the radius R10^-7cm and the canonical Gibbs distribution, which, according to the current concepts, describes the state of the entire macroscopic system. We show that the Gibbs distribution is indeed also local, i.e., describes the state of matter only inside the correlation sphere; in the thermostat surrounding this sphere, the Gibbs distribution degenerates into a constant. We state that these two approaches are equivalent to each other.     

Studying the Complexity of Global Verification for NP-Hard Discrete Optimization Problems

This paper examines the complexity of global verification for MAX-SAT, MAX-k-SAT (for k3), Vertex Cover, and Traveling Salesman Problem. These results are obtained by adaptations of the transformations that prove such problems to be NP-complete. The class of problems PGS is defined to be those discrete optimization problems for which there exists a polynomial time algorithm such that given any solution , either a solution can be found with a better objective function value or it can be concluded that no such solution exists and is a global optimum. This paper demonstrates that if any one of MAX-SAT, MAX-k-SAT (for k3), Vertex Cover, or Traveling Salesman Problem are in PGS, then P=NP.     

Maximal Classes of Topological Spaces and Domains Determined by Function Spaces

In this paper the question of what classes A of T ₀-spaces should be paired with classes of domains in order that all function spaces [AB] for AA and B are -compact domains is considered. It is shown that core compact spaces are paired with bounded complete domains and a class of topological spaces called RW-spaces (with finitely many components) is paired with the class of -compact pointed L-domains (L-domains).     

-injective rings and -stable primes

The notion of stability of the highest local cohomology module with respect to the Frobenius functor originates in the work of R. Hartshorne and R. Speiser. R. Fedder and K.-i. Watanabe examined this concept for isolated singularities by relating it to -rationality. The purpose of this note is to study what happens in the case of non-isolated singularities and to show how this stability concept encapsulates a few of the subtleties of tight closure theory. Our study can be seen as a generalization of the work by Fedder and Watanabe. We introduce two new ring invariants, the -stability number and the set of -stable primes. We associate to every ideal generated by a system of parameters and an ideal of multipliers denoted and obtain a family of ideals . The set is independent of and consists of finitely many prime ideals. It also equals prime ideal such that is -stable. The maximal height of such primes defines the -stability number.

     

Local complete intersections in and Koszul syzygies

We study the syzygies of a codimension two ideal . Our main result is that the module of syzygies vanishing (scheme-theoretically) at the zero locus is generated by the Koszul syzygies iff is a local complete intersection. The proof uses a characterization of complete intersections due to Herzog. When is saturated, we relate our theorem to results of Weyman and Simis and Vasconcelos. We conclude with an example of how our theorem fails for four generated local complete intersections in and we discuss generalizations to higher dimensions.