Distributive Lattices with a Generalized Implication: Topological Duality

In this paper we introduce the notion of generalized implication for lattices, as a binary function ⇒ that maps every pair of elements of a lattice to an ideal. We prove that a bounded lattice A is distributive if and only if there exists a generalized implication ⇒ defined in A satisfying certain conditions, and we study the class of bounded distributive lattices A endowed with a generalized implication as a common abstraction of the notions of annihilator (Mandelker, Duke Math J 37:377–386, 1970), Quasi-modal algebras (Celani, Math Bohem 126:721–736, 2001), and weakly Heyting algebras (Celani and Jansana, Math Log Q 51:219–246, 2005). We introduce the suitable notions of morphisms in order to obtain a category, as well as the corresponding notion of congruence. We develop a Priestley style topological duality for the bounded distributive lattices with a generalized implication. This duality generalizes the duality given in Celani and Jansana (Math Log Q 51:219–246, 2005) for weakly Heyting algebras and the duality given in Celani (Math Bohem 126:721–736, 2001) for Quasi-modal algebras.     

Generalized Topological Representation for Complete Join-Semilattices

This paper describes a generalization of the Papert–Papert–Isbell adjunction between topological spaces and frames to a generalized one between the category of generalized topological spaces and the category of complete join-semilattices. Within these categories we aim to study certain separation axioms in a categorical point of view.     

A Generalized Topological Recursion for Arbitrary Ramification

The Eynard–Orantin topological recursion relies on the geometry of a Riemann surface S and two meromorphic functions x and y on S. To formulate the recursion, one must assume that x has only simple ramification points. In this paper, we propose a generalized topological recursion that is valid for x with arbitrary ramification. We justify our proposal by studying degenerations of Riemann surfaces. We check in various examples that our generalized recursion is compatible with invariance of the free energies under the transformation ${(x, y) \mapsto (y, x)}$ , where either x or y (or both) have higher order ramification, and that it satisfies some of the most important properties of the original recursion. Along the way, we show that invariance under ${(x, y) \mapsto (y, x)}$ is in fact more subtle than expected; we show that there exists a number of counterexamples, already in the case of the original Eynard–Orantin recursion, that deserve further study.     

广义A-proper映射的拓扑度

本文提出了广义A-proper映射,它更弱于A-proper映射。通过建立广义A-proper度,可用来研究(M)型映射与部分解答Browder问题(见[4];用类似[6]的方法)。本文推广了[3]、[6]和[2]的工作。 今往设X、y为实Banach空间,D X是开集。D表其边界,是之闭包。“→”和“”分别表强和弱收敛。N为正整数集合。     

Topological regular variation: I. Slow variation

Motivated by the Category Embedding Theorem, as applied to convergent automorphisms (Bingham and Ostaszewski (in press) [11]), we unify and extend the multivariate regular variation literature by a reformulation in the language of topological dynamics. Here the natural setting are metric groups, seen as normed groups (mimicking normed vector spaces). We briefly study their properties as a preliminary to establishing that the Uniform Convergence Theorem (UCT) for Baire, group-valued slowly-varying functions has two natural metric generalizations linked by the natural duality between a homogenous space and its group of homeomorphisms. Each is derivable from the other by duality. One of these explicitly extends the (topological) group version of UCT due to Bajšanski and Karamata (1969) [4] from groups to flows on a group. A multiplicative representation of the flow derived in Ostaszewski (2010) [45] demonstrates equivalence of the flow with the earlier group formulation. In companion papers we extend the theory to regularly varying functions: we establish the calculus of regular variation in Bingham and Ostaszewski (2010) [13] and we extend to locally compact, σ-compact groups the fundamental theorems on characterization and representation (Bingham and Ostaszewski (2010) [14]). In Bingham and Ostaszewski (2009) [15], working with topological flows on homogeneous spaces, we identify an index of regular variation, which in a normed-vector space context may be specified using the Riesz representation theorem, and in a locally compact group setting may be connected with Haar measure.     

Lower bounds on moving a ladder in two and three dimensions

It is shown that (n ²) distinct moves may be necessary to move a line segment (a ladder) in the plane from an initial to a final position in the presence of polygonal obstacles of a total ofn vertices, and that (n ⁴) moves may be necessary for the same problem in three dimensions. These two results establish lower bounds on algorithms that solve the motion-planning problems by listing the moves of the ladder. The best upper bounds known areO(n ² logn) in two dimensions, andO(n ⁵ logn) in three dimensions.This work was partially supported by NSF Grants DCR-83-51468 and grants from Martin Marietta, IBM, and General Motors.     

On a class of linked diagrams,I. Enumeration

Recurrence rules are derived for enumerating the linked diagrams first encountered by Touchard in 1952. These may be characterized as the subclass of irreducible diagrams in the full set of (2n ? 1)!! complete pairings on 2n points. In addition, a recurrence rule is given for the number of symmetric irreducible diagrams. This enables one to calculate the number of symmetry-reduced irreducible diagrams.     

Open waveguides in a thin Dirichlet ladder: I. Asymptotic structure of the spectrum

The spectra of open angular waveguides obtained by thickening or thinning the links of a thin square lattice of quantum waveguides (the Dirichlet problem for the Helmholtz equation) are investigated. Asymptotics of spectral bands and spectral gaps (i.e., zones of wave transmission and wave stopping, respectively) for waveguides with variously shaped periodicity cells are found. It is shown that there exist eigenfunctions of two types: localized around nodes of a waveguide and on its links. Points of the discrete spectrum of a perturbed lattice with eigenfunctions concentrated about corners of the waveguide are found.     

Diophantine geometry over groups I: Makanin-Razborov diagrams

Manucsrit re?u le 4 janvier 2000.     

Influence diagrams for Bayesian decision analysis

Influence diagrams for representing Bayesian decision problems are redefined in a formal way using conditional independence. This makes the graphs somewhat more helpful for exploring the consequences of a clients state beliefs. Some important results about the manipulation of influence diagrams are extended and reviewed as is an algorithm for computing an optimal policy. Two new results about the manipulation of influence diagrams are derived. A novel influence diagram representing a practical decision problem is used to illustrate the methodologies presented in this paper.     

Topological Multiple Recurrence of Weakly Mixing Minimal Systems for Generalized Polynomials

Acta Mathematica Sinica, English Series - Let (X, T) be a weakly mixing minimal system, p1, …, pd be integer-valued generalized polynomials and (p1, p2, …, pd) be non-degenerate. Then...     

Topological geometrodynamics,Part I: General theory

The recent status of topological geometrodynamics (TGD) is reviewed. One can end up with TGD either by starting from the energy problem of general relativity or from the need to generalize hadronic or superstring models. The basic principle of the theory is `Do not quantize!' meaning that quantum physics is reduced to Kähler geometry and spinor structure of the infinite-dimensional space of 3-surfaces in 8-dimensional space H=M⁴₊×CP₂ with physical states represented by classical spinor fields. General coordinate invariance implies that classical theory becomes an exact part of the quantum theory and configuration space geometry and that space-time surfaces are generalized Bohr orbits. The uniqueness of the infinite-dimensional Kähler geometric existence fixes imbedding space and the dimension of the space-time highly uniquely and implies that superconformal and supercanonical symmetries acting on the lightcone boundary δM⁴₊×CP₂ are cosmologies symmetries.The work with the p-adic aspects of TGD, the realization of the possible role of quaternions and octonions in the formulation of quantum TGD, the discovery of infinite primes, and TGD inspired theory of consciousness encouraged the vision about TGD as a generalized number theory. The vision leads to a considerable generalization of TGD and to an extension of the symmetries of the theory to include superconformal and Super-Kac-Moody symmetries associated with the group P×SU(3)×U(2)_ew (P denotes the Poincaré group) acting as the local symmetries of the theory. Quantum criticality, which can be seen as a prediction of the theory, fixes the value spectrum for the coupling constants of the theory.The proper mathematical and physical interpretation of the p-adic numbers has remained a long-lasting challenge. Both TGD inspired theory of consciousness and the vision about physics as a generalized number theory suggest that p-adic space-time regions obeying p-adic counterparts of the field equations are geometric correlates of mind in the sense that they provide cognitive representations for the physics in the real space-time regions representing matter. Evolution identified as a gradual increase of the infinite p-adic prime characterizing the entire Universe is basic prediction of the theory.S-matrix elements can be identified as Glebsch–Gordan coefficients between interacting and free Super-Kac-Moody algebra representations and it is now possible to give Feynmann rules for the S-matrix in the approximation that elementary particles correspond to the so-called CP₂ type extremals.     

Generalized Bosbach states: part I

States have been introduced on commutative and non-commutative algebras of fuzzy logics as functions defined on these algebras with values in [0,1]. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of [0,1], in this paper we introduce Bosbach states defined on residuated lattices with values in residuated lattices. We are led to two types of generalized Bosbach states, with distinct behaviours. Properties of generalized states are useful for the development of an algebraic theory of probabilistic models for non-commutative fuzzy logics.     

Continuous-Time Generalized Fractional Programming Problems. Part I: Basic Theory

This study, that will be presented as two parts, develops a computational approach to a class of continuous-time generalized fractional programming problems. The parametric method for finite-dimensional generalized fractional programming is extended to problems posed in function spaces. The developed method is a hybrid of the parametric method and discretization approach. In this paper (Part I), some properties of continuous-time optimization problems in parametric form pertaining to continuous-time generalized fractional programming problems are derived. These properties make it possible to develop a computational procedure for continuous-time generalized fractional programming problems. However, it is notoriously difficult to find the exact solutions of continuous-time optimization problems. In the accompanying paper (Part II), a further computational procedure with approximation will be proposed. This procedure will yield bounds on errors introduced by the numerical approximation. In addition, both the size of discretization and the precision of an approximation approach depend on predefined parameters.     

Generalized linear elasticity in exterior domains. I: Radiation problems

We use Hodge–Helmholtz decompositions of weighted Sobolev spaces to solve time-harmonic exterior-boundary value problems for perturbations of the (aδd+bdδ)-system (δ: the co-differential, a, b>0). We prove, that a Fredholm alternative holds true, the eigensolutions decay polynomially at infinity, and that the positive eigenvalues do not accumulate. © 1997 B. G. Teubner Stuttgart-John Wiley & Sons Ltd.