32,755 research outputs found
Binomial Difference Ideal and Toric Difference Variety
In this paper, the concepts of binomial difference ideals and toric
difference varieties are defined and their properties are proved. Two canonical
representations for Laurent binomial difference ideals are given using the
reduced Groebner basis of Z[x]-lattices and regular and coherent difference
ascending chains, respectively. Criteria for a Laurent binomial difference
ideal to be reflexive, prime, well-mixed, perfect, and toric are given in terms
of their support lattices which are Z[x]-lattices. The reflexive, well-mixed,
and perfect closures of a Laurent binomial difference ideal are shown to be
binomial. Four equivalent definitions for toric difference varieties are
presented. Finally, algorithms are given to check whether a given Laurent
binomial difference ideal I is reflexive, prime, well-mixed, perfect, or toric,
and in the negative case, to compute the reflexive, well-mixed, and perfect
closures of I. An algorithm is given to decompose a finitely generated perfect
binomial difference ideal as the intersection of reflexive prime binomial
difference ideals.Comment: 72 page
Łukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems
A novel approach to self-organizing, highly-complex systems (HCS), such as living organisms and artificial intelligent systems (AIs), is presented which is relevant to Cognition, Medical Bioinformatics and Computational Neuroscience. Quantum Automata (QAs) were defined in our previous work as generalized, probabilistic automata with quantum state spaces (Baianu, 1971). Their next-state functions operate through transitions between quantum states defined by the quantum equations of motion in the Schroedinger representation, with both initial and boundary conditions in space-time. Such quantum automata operate with a quantum logic, or Q-logic, significantly different from either Boolean or Łukasiewicz many-valued logic. A new theorem is proposed which states that the category of quantum automata and automata--homomorphisms has both limits and colimits. Therefore, both categories of quantum automata and classical automata (sequential machines) are bicomplete. A second new theorem establishes that the standard automata category is a subcategory of the quantum automata category. The quantum automata category has a faithful representation in the category of Generalized (M,R)--Systems which are open, dynamic biosystem networks with defined biological relations that represent physiological functions of primordial organisms, single cells and higher organisms
A Minty variational principle for set optimization
Extremal problems are studied involving an objective function with values in
(order) complete lattices of sets generated by so called set relations.
Contrary to the popular paradigm in vector optimization, the solution concept
for such problems, introduced by F. Heyde and A. L\"ohne, comprises the
attainment of the infimum as well as a minimality property. The main result is
a Minty type variational inequality for set optimization problems which
provides a sufficient optimality condition under lower semicontinuity
assumptions and a necessary condition under appropriate generalized convexity
assumptions. The variational inequality is based on a new Dini directional
derivative for set-valued functions which is defined in terms of a "lattice
difference quotient": A residual operation in a lattice of sets replaces the
inverse addition in linear spaces. Relationships to families of scalar problems
are pointed out and used for proofs: The appearance of improper scalarizations
poses a major difficulty which is dealt with by extending known scalar results
such as Diewert's theorem to improper functions
- …