Deformation of Delone Dynamical Systems and Pure Point Diffraction

This article deals with certain dynamical systems built from point sets and, more generally, measures on locally compact Abelian groups. These systems arise in the study of quasicrystals and aperiodic order, and important subclasses of them exhibit pure point diffraction spectra. We discuss the relevant framework and recall fundamental results and examples. In particular, we show that pure point diffraction is stable under equivariant local perturbations and discuss various examples, including deformed model sets. A key step in the proof of stability consists in transforming the problem into a question on factors of dynamical systems.     

Bilateral Fixed-Points and Algebraic Properties of Viability Kernels and Capture Basins of Sets

Many concepts of viability theory such as viability or invariance kernels and capture or absorption basins under discrete multivalued systems, differential inclusions and dynamical games share algebraic properties that provide simple – yet powerful – characterizations as either largest or smallest fixed points or unique minimax (or bilateral fixed-point) of adequate maps defined on pairs of subsets. Further, important algorithms such as the Saint-Pierre viability kernel algorithm for computing viability kernels under discrete system and the Cardaliaguet algorithm for characterizing discriminating kernels under dynamical games are algebraic in nature. The Matheron Theorem as well as the Galois transform find applications in the field of control and dynamical games allowing us to clarify concepts and simplify proofs.     

The classical decision problem and partial functions

We consider the decision problem for sets of sentences of first-order logic when instead of interpreting function symbols as total functions over the universe of a model (henceforth referred to as the usual interpretation) we interpret them as partial functions.We consider only standard classes, which are certain sets of prenex sentences specified by restrictions on the prefix and on the numbers ofk-place predicate and function symbols for eachk1. Standard classes are introduced in [1] and it is proved there that the decision problem for any set of prenex sentences specified by such restrictions reduces to that for the standard classes.We solve the decision problem completely for standard classes with at least one function symbol and both with and without equality.This problem was suggested to me by my supervisor, Professor Yuri Gurevich who was confident that the results would be very similar to those for the usual interpretation and could be achieved by similar techniques.     

Statistical characteristics of continuous functions and statistically weakly invariant sets of controllable system

We continue the investigation of expansion of a concept of invariance for sets which consists in studying statistically invariant sets with respect to control systems and differential inclusions. We consider the statistical characteristics of continuous functions: Upper and lower relative frequency of containing for graph of a function in a given set. We obtain conditions under which statistical characteristics of two various asymptotical equivalent functions coincide; then by the value of one of them it is possible to calculate the value of another one. We adduce the equality for finding relative frequencies of hitting functions the given set in the case when the distance from the graph of one of functions to the given set is a periodic function. A consequence of these statements are conditions of statistically weak invariance of a set with respect to controlled system. For some almost periodic functions we obtain the formulas by which we can calculate the mean values and the statistical characteristics. We also consider the following problem. Let the number λ₀ ∈ [0, 1] be given. It is necessary to find the value c(λ₀) such that the upper solution z(t) of the Cauchy problem does not exceed c(λ₀) with the relative frequency being equal λ₀. Depending on statement of the problem, a value z(t) can be interpreted as the size of population, energy of a particle, concentration of substance, size of manufacture or the price of production.     

Similarities in Fuzzy Regression Models

The solutions of a fuzzy regression model are obtained by converting the problem into a linear programming problem. For each level h, h[0, 1), there exists a solution. In this paper, we study the set of all the solutions to the fuzzy regression model that comes from a set of data as a metric space with an appropriate metric on it. We define a similarity ratio that allows us to compare the spaces of solutions of a fuzzy regression model that come from different sets of data. We also give an application using data sets concerning the GNP–money relationship.     

Algebras of fuzzy sets

In this paper we investigate two kinds of algebras of fuzzy sets, which are obtained by using Zadeh's extension principle. We give conditions under which a homomorphism between two algebras induces a homomorphism between corresponding algebras of fuzzy sets. We prove that if the structure of truth values is a complete residuated lattice, the induced algebra of a subalgebra of an algebra can be embedded into the induced algebra of fuzzy sets of . For direct products we give conditions under which the direct product of algebras of fuzzy sets could be embedded into the algebra of fuzzy sets of the direct product. In the case of homomorphisms and direct products, the two kinds of algebras of fuzzy sets behave in different ways.     

On the dynamics of fine structure

Summary We investigate models for the dynamical behavior of mechanical systems that dissipate energy as timet increases. We focus on models whose underlying potential energy functions do not attain a minimum, possessing minimizing sequences with finer and finer structure that converge weakly to nonminimizing states. In Model 1 the evolution is governed by a nonlinear partial differential equation closely related to that of one-dimensional viscoelasticity, the underlying static problem being of mixed type. In Model 2 the equation of motion is an integro—partial differential equation obtained from that in Model 1 by an averaging of the nonlinear term; the corresponding potential energy is nonlocal.After establishing global existence and uniqueness results, we consider the longtime behavior of the systems. We find that the two systems differ dramatically. In Model 1, for no solution does the energy tend to its global minimum ast . In Model 2, however, a large, dense set of solutions realize global minimizing sequences; in this case we are able to characterize, asymptotically, how energy escapes to infinity in wavenumber space in a manner that depends upon the smoothness of initial data. We also briefly discuss a third model that shares the stationary solutions of the second but is a gradient dynamical system.The models were designed to provide insight into the dynamical development of finer and finer microstructure that is observed in certain material phase transformations. They are also of interest as examples of strongly dissipative, infinite-dimensional dynamical systems with infinitely many unstable modes, the asymptotic fate of solutions exhibiting in the case of Model 2 an extreme sensitivity with respect to the initial data.     

Global Optimality Conditions in Maximizing a Convex Quadratic Function under Convex Quadratic Constraints

For the problem of maximizing a convex quadratic function under convex quadratic constraints, we derive conditions characterizing a globally optimal solution. The method consists in exploiting the global optimality conditions, expressed in terms of -subdifferentials of convex functions and -normal directions, to convex sets. By specializing the problem of maximizing a convex function over a convex set, we find explicit conditions for optimality.     

Stability of positive and monotone systems in a partially ordered space

We investigate properties of positive and monotone dynamical systems with respect to given cones in the phase space. Stability conditions for linear and nonlinear differential systems in a partially ordered space are formulated. Conditions for the positivity of dynamical systems with respect to the Minkowski cone are established. By using the comparison method, we solve the problem of the robust stability of a family of systems.Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 4, pp. 462–475, April, 2004.     

Sets of Minimality of (1 − 1)-Rational Functions

We describe dynamical systems associated to (1 ? 1)-rational functions on the field of p-adic numbers.We focus on sets of minimality of such systems.     

Dichotomy Results for Fixed-Point Existence Problems for Boolean Dynamical Systems

A complete classification of the computational complexity of the fixed-point existence problem for Boolean dynamical systems, i.e., finite discrete dynamical systems over the domain {0, 1}, is presented. For function classes and graph classes , an ()-system is a Boolean dynamical system such that all local transition functions lie in and the underlying graph lies in . Let be a class of Boolean functions which is closed under composition and let be a class of graphs which is closed under taking minors. The following dichotomy theorems are shown: (1) If contains the self-dual functions and contains the planar graphs, then the fixed-point existence problem for ()-systems with local transition function given by truth-tables is NP-complete; otherwise, it is decidable in polynomial time. (2) If contains the self-dual functions and contains the graphs having vertex covers of size one, then the fixed-point existence problem for ()-systems with local transition function given by formulas or circuits is NP-complete; otherwise, it is decidable in polynomial time.      

Space tilings and substitutions

We generalize the study of symbolic dynamical systems of finite type and ² action, and the associated use of symbolic substitution dynamical systems, to dynamical systems with ² action. The new systems are associated with tilings of the plane. We generalize the classical technique of the matrix of a substitution to include the geometrical information needed to study tilings, and we utilize rotation invariance to eliminate discrete spectrum. As an example we prove that the pinwheel tilings have no discrete spectrum.Research supported in part by NSF Grant No. DMS-9304269 and Texas ARP Grant 003658-113     

A characterization of tribes with respect to the Łukasiewicz t-norm

We give a complete characterization of tribes with respect to the ukasiewicz t-norm, i. e., of systems of fuzzy sets which are closed with respect to the complement of fuzzy sets and with respect to countably many applications of the ukasiewicz t-norm. We also characterize all operations with respect to which all such tribes are closed. This generalizes the characterizations obtained so far for other fundamental t-norms, e. g., for the product t-norm.     

Almost-topological representation theorems for dynamical systems

For topological dynamical systems (X, T) representation theorems into shift dynamical systems are proved where the representing map is a homeomorphism between residual sets. can be endowed with additional properties so that the entropies of a measurem and its transport m are arbitrary close.     

Efficiency Analysis and Ranking of DMUs with Fuzzy Data

In this paper, a fuzzy version of CCR model (Charnes, Cooper and Rhodes (1978)) with asymmetrical triangular fuzzy number is presented and a procedure is suggested for its solution. The basic idea is to transform the fuzzy CCR model into a crisp linear programming problem by applying an alternative -cut approach. Thereby, the problem is converted to an interval programming. In this method, instead of comparing the equality (or inequality) of two intervals, a variable is defined in the interval, not only satisfies the set of constraints, but also maximizes the efficiency value. We also propose a ranking method for fuzzy DMUs using presented fuzzy DEA approach. To demonstrate the concept, numerical examples are solved and solutions are compared with Guo and Tanaka (2001).     

Downward Sets and their separation and approximation properties

We develop a theory of downward subsets of the space ^I, where I is a finite index set. Downward sets arise as the set of all solutions of a system of inequalities x^I,f_t(x)0 (tT), where T is an arbitrary index set and each f _t (tT) is an increasing function defined on ^I. These sets play an important role in some parts of mathematical economics and game theory. We examine some functions related to a downward set (the distance to this set and the plus-Minkowski gauge of this set, which we introduce here) and study lattices of closed downward sets and of corresponding distance functions. We discuss two kinds of duality for downward sets, based on multiplicative and additive min-type functions, respectively, and corresponding separation properties, and we give some characterizations of best approximations by downward sets. Some links between the multiplicative and additive cases are established.     

Multivariate rational data fitting: general data structure,maximal accuracy and object orientation

Sections 1 and 2 discuss the advantages of an object-oriented implementation combined with higher floating-point arithmetic, of the algorithms available for multivariate data fitting using rational functions. Section 1 will in particular explain what we mean by higher arithmetic. Section 2 will concentrate on the concepts of object orientation. In sections 3 and 4 we shall describe the generality of the data structure that can be dealt with: due to some new results virtually every data set is acceptable right now, with possible coalescence of coordinates or points. In order to solve the multivariate rational interpolation problem the data sets are fed to different algorithms depending on the structure of the interpolation points in then-variate space.This text is a preparatory publication for the development of a scientific expert system for multivariate rational interpolation. The issues addressed are relevant to the implementation of such a system.