An Analogue of Distributivity for Ungraded Lattices

In this paper, we study lattices that posess both the properties of being extremal (in the sense of Markowsky) and of being left modular (in the sense of Blass and Sagan). We call such lattices trim and show that they posess some additional appealing properties, analogous to those of a distributive lattice. For example, trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms. Any distributive lattice is trim, but trim lattices need not be graded. The main example of ungraded trim lattices are the Tamari lattices and generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim; we conjecture that all Cambrian lattices are trim.     

Stable multi-sets

In this paper we introduce a generalization of stable sets: stable multi-sets. A stable multi-set is an assignment of integers to the vertices of a graph, such that specified bounds on vertices and edges are not exceeded. In case all vertex and edge bounds equal one, stable multi-sets are equivalent to stable sets.  For the stable multi-set problem, we derive reduction rules and study the associated polytope. We state necessary and sufficient conditions for the extreme points of the linear relaxation to be integer. These conditions generalize the conditions for the stable set polytope. Moreover, the classes of odd cycle and clique inequalities for stable sets are generalized to stable multi-sets and conditions for them to be facet defining are determined.  The study of stable multi-sets is initiated by optimization problems in the field of telecommunication networks. Stable multi-sets emerge as an important substructure in the design of optical networks. Received: February 14, 2001/Revised version: September 7, 2001     

Deformations of functionals and bifurcations of extremals

We study homology characteristics of critical values and extremals of Lipschitz functionals defined on bounded closed convex subsets of a reflexive space that are invariant under deformations. Sufficient conditions for the existence of a bifurcation point of a multivalued potential operator (the switch principle for the typical number of an extremal) are established.     

Self-Orthogonal 3-(56,12,65) Designs and Extremal Doubly-Even Self-Dual Codes of Length 56

In this paper, we show that the code generated by the rows of a block-point incidence matrix of a self-orthogonal 3-(56,12,65) design is a doubly-even self-dual code of length 56. As a consequence, it is shown that an extremal doubly-even self-dual code of length 56 is generated by the codewords of minimum weight. We also demonstrate that there are more than one thousand inequivalent extremal doubly-even self-dual [56,28,12] codes. This result shows that there are more than one thousand non-isomorphic self-orthogonal 3-(56,12,65) designs. AMS Classification: 94B05, 05B05     

Graphs with Special Arcs and Cryptography

A combinatorial method of encryption with a similarity to the classical scheme of linear coding has been suggested by the author. The general idea is to treat vertices of a graph as messages and arcs of a certain length as encryption tools. We will study the quality of such an encryption in the case of graphs of high girth by comparing the probability to guess the message, (vertex) at random with the probability of breaking the key, i.e. guessing the encoding arc. In fact, the quality is good for graphs which are close to the Erdös bound, defined by the Even Cycle Theorem.In the case of parallelotopic graphs, there is a uniform way to match arcs with strings in a certain alphabet. Among parallelotopic graphs we distinguish linguistic graphs of affine type whose vertices (messages) and arcs (encoding tools) both could be naturally identified with vectors over the GF(q), and neighbors of the vertex defined by a system of linear equations. We will discuss families of linguistic and parallelotopic graphs of increasing girth as the source for assymmetric cryptographic functions and related open key algorithms.Several constructions of families of linguistic graphs of high girth with good quality, complexity and expansion coefficients will be considered. Some of those constructions have been obtained via group-theoretical and geometrical techniques.     

关于图的直径和平均距离

图的直径和平均距离是度量网络有效性的两个重要参数．Ore通过图的顶点数和直径给出无向图的最大边数．Entringer，Jakson，Slater和Ng，Teh通过图的顶点数和边数分别给出无向图和有向图平均距离的下界．该文提供这两个结果的简单证明，给出有向图类似Ore的结果，并通过图的直径改进Entringer等人的结果到更一般的情形．结合本文和Ore的结果，可以得到一个无向图和有向图平均距离的下界，它比Plesnik得到的下界更好．     

A problem in extremal quasiconformal extensions

A constantK ₀ ^(m) (h) is introduced for every quasisymmetric mappingh of the unit circle and every integerm≥4 which contains the constantK ₀(h) (indicated by the change in module of the quadrilaterals with vertices on the circle) as a special case. A necessary and sufficient condition is established forK ₀ ^(m) (h) =K ₁(h). It is shown that there are infinitely many quasisymmetric mappings of the unit circle having the property thatK ₀ ^(m) (h)<K ₁(h), wherek ₁(h) is the maximal dilatation ofh.     

图的度序列不等式

用代数的方法证明了有关图度序列的几个不等式，并且得到了其相应的极图。     

Some Properties of an Operator on L^∞（△） and Its Applications

In this paper, we introduce an operator Hμ（z） on L^∞（△） and obtain some of its properties. Some applications of this operator to the extremal problem of quasiconformal mappings are given. In particular, a sufficient condition for a point r in the universal Teichmfiller space T（△） to be a Strebel point is obtained.     

Dynamics of the current-driven Josephson junction

The irreversible macroscopic dynamics of the Josephson junction coupled to external wires acting as a current source is derived rigorously from the underlying microscopic Hamiltonian quantum mechanics. The external systems are treated in the singular coupling limit. The use of this limit is explicitly justified via an interpretation of the singular coupling limit in terms of the relative magnitudes of system, reservoir, and coupling energies. The qualitative behavior of the macroscopic dynamical equations is shown to depend sensitively and crucially on the interaction between the wires and the superconductors and on the size of the wires: the dc Josephson effect only happens when one lets Cooper pairs be driven into the junction by collective (i.e., small) reservoirs.