Inconsistency of GPK + AFA

M. Forti and F. Honsell showed in [4] that the hyperuniverses defined in [2] satisfy the anti-foundation axiom X₁ introduced in [3]. So it is interesting to study the axiom AFA, which is equivalent to X₁ in ZF, introduced by P. Aczel in [1]. We show in this paper that AFA is inconsistent with the theory GPK. This theory, which is first order, is defined by E. Weydert in [6] and later by M. Forti and R. Hinnion in [2]. It includes all general hyperuniverses as defined in [5]. In order to achieve our aim, we need to define ordinals in GPK and to study some of their properties. Mathematics Subject Classification: 03E70, 03E10.     

The theory of infinite-dimensional lie groups and its applications

The purpose of this paper is to survey the theory of regular Fréchet-Lie groups developed in [1–10]. Such groups appear and are useful in symplectic geometry and the theory of primitive infinite groups of Lie and Cartan [11]. From the group theoretical standpoint, general relativistic mechanics is a more closed system than Newtonian mechanics. Quantized objects of these classical groups are closely related to the group of Fourier integral operators [12]. These can also be managed as regular Fréchet-Lie groups. However, there are many Fréchet-Lie algebras which are not the Lie algebras of regular Fréchet-Lie groups [13]. Thus, the enlargeability of the Poisson algebra is discussed in detail in this paper. Enlargeability is relevant to the global hypoellipticity [14, 15] of second-order differential operators.     

Inclusion of the roots of a polynomial based on Gerschgorin's theorem

Summary In this note a new companion matrix is presented which can be interpreted as a product of Werner's companion matrices [13]. Gerschgorin's theorem yields an inclusion of the roots of a polynomial which is best in the sense of [4] and generalizes a result of L. Elsner [5]. This inclusion is better than the one due to W. Börsch-Supan in [1].Dedicated to Professor E. Stein on the occasion of his 60th birthday.     

Schensted Algorithms for Dual Graded Graphs

This paper is a sequel to [3]. We keep the notation and terminology and extend the numbering of sections, propositions, and formulae of [3].The main result of this paper is a generalization of the Robinson-Schensted correspondence to the class of dual graded graphs introduced in [3], This class extends the class of Y-graphs, or differential posets [22], for which a generalized Schensted correspondence was constructed earlier in [2].The main construction leads to unified bijective proofs of various identities related to path counting, including those obtained in [3]. It is also applied to permutation enumeration, including rook placements on Ferrers boards and enumeration of involutions.As particular cases of the general construction, we re-derive the classical algorithm of Robinson, Schensted, and Knuth [19, 12], the Sagan-Stanley [18], Sagan-Worley [16, 29] and Haiman's [11] algorithms and the author's algorithm for the Young-Fibonacci graph [2]. Some new applications are suggested.The rim hook correspondence of Stanton and White [23] and Viennot's bijection [28] are also special cases of the general construction of this paper.In [5], the results of this paper and the previous paper [3] were presented in a form of extended abstract.     

Generalized uniform distribution of hasse invariants

Kaplansky asked if in a Noetherían domain the intersection of two height 2 primes must contain a non-zero prime. This paper presents a counterexample. Some positive results are given in [2]. The construction in the example proper considerably simpli-fies the argument of [3-Theorem 2.5]. We assume familiarity with [1, Section 1-5].     

亚纯函数微分多项式f~kQ[f]+P[f]的零点分布

文[4]对简单形式的微分多项式fkf’+a的零点分布进行了讨论,文[1]对一般形式的微分多项式fkQ[f]+P[f]的零点分布进行了讨论.但由于极点给证明带来的困难,这些工作主要是对整函数来做的.本文证明了任一满足δ(∞,f)>k+2ΓQ+3ΓP+2/2k+2ΓQ+1的超越亚纯函数f,微分多项式fkQ[f]+P[f]在不含f,Q[f]极点和P[f]零、极点的可数个圆盘并集之外有无穷多个零点,其中k≥3Γp+2,而ΓQ,ΓP分别是f的微分多项式Q[f],P[f]的权.文[1]和[2,4,6]中的结论是本文结论的特殊情况.     

Un critère de contractibilité algébrique

Resumé On donne un critère de contractibilité d'une sous-variété en un point qui genéralise certains résultats contenus dan [2], [3] et [5].

---

Riassunto Si dà un criterio di contraibilità d'una sottovarietà in un punto che generalizza certi risultati contenuti in [2], [3] e [5].

     

Extensions hexaphiques des corps non commutatifs

A new class of extensions of skew fields, the so-called «hexaphic extensions», is studied in this paper. This study follows up «Anneaux polynômiaux à deux variables» [3] and «Anneaux hexaphiques d'une variable» [4]. A sub-class of hexaphic extensions is formed by pseudo-linear extensions. The general quadratic extensions are pseudo-linear [1]. General finite pseudo-linear extensions are now known [2]. In this paper, the hexaphic nature of general cubic extensions is shown and general finite hexaphic extensions are studied.     

An H‐matrix Type Preconditioner For Frictional Contact Problems

The bilateral or unilateral contact problem with Coulomb friction between two elastic bodies is considered [1]. An algorithm is introduced to solve the resulting finite element system by a non‐overlapping domain decomposition method [2, 3]. The global problem is transformed to a independant local problems posed in each bodie and a problem posed on the contact surface (the interface problem). The solution is obtained by using a successive approximation method, in each step of this algorithm we solve two intermediate problems the first with prescribed tangential pressure and the second with prescribed normal pressure [8]. Our preconditioner construction is based on the application of the H‐matrix technique [6, 7] together with the representation of the H^1/2 seminorm by a sum of partial seminorms [4]. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Majorizing functions and two-point Newton-type methods

The semi-local convergence of a Newton-type method used to solve nonlinear equations in a Banach space is studied. We also give, as two important applications, convergence analyses of two classes of two-point Newton-type methods including a method mentioned in [5] and the midpoint method studied in [1], [2] and [12]. Recently, interest has been shown in such methods [3] and [4].     

Examples of non-Kähler Hamiltonian torus actions

An important question with a rich history is the extent to which the symplectic category is larger than the K?hler category. Many interesting examples of non-K?hler symplectic manifolds have been constructed [T] [M] [G]. However, sufficiently large symmetries can force a symplectic manifolds to be K?hler [D] [Kn]. In this paper, we solve several outstanding problems by constructing the first symplectic manifold with large non-trivial symmetries which does not admit an invariant K?hler structure. The proof that it is not K?hler is based on the Atiyah-Guillemin-Sternberg convexity theorem [At] [GS]. Using the ideas of this paper, C. Woodward shows that even the symplectic analogue of spherical varieties need not be K?hler [W]. Oblatum IX-1995 & 3-III-1997     

An extremal problem for Graham-Rothschild parameter words

This paper exposes connections between the theory of Möbius functions and extremal problems, extending ideas of Frankl and Pach [8]. Extremal results concerning the trace of objects in geometric lattices and Graham—Rothschild parameter posets are proved, covering previous results due to Sauer [16] and Perles and Shelah [17].     

Separants of some polynomials

The explicit form is given of the separants of the polynomials of the author’s previous article [1]. This entails clarification of the main theorem of [1].     

有关行列式和迹的极值以及典则变量的最优性的补注

二次型极值已被一些文献诸如[1]和[3]讨论,一些相近的题目可在文献[2]中见到.文献[1]得到与二次型有关的行列式极值和典则变量的最优性质,本文对[1]给出补注.     

Koszul cohomology and singular curves

We investigate Koszul cohomology on irreducible nodal curves following the lines of [2]. In particular, we prove both Green and Green-Lazarsfeld conjectures for any k-gonal nodal curve which is general in the sense of [4].     

BOUND ON THE MAXIMUM NUMBER OF CLEAR TWO-FACTOR INTERACTIONS FOR 2^n-（n-k） DESIGNS

Clear effects criterion is an important criterion for selecting fractional factorial designs[1].Tang et al.[2]derived upper and lower bounds on the maximum number of clear two-factor interactions（2fi＇s）in 2^n-（n-k）designs of resolution Ⅲ and Ⅳ by constructing 2^n-（n-k）designs.But the method in[2]does not perform well sometimes when the resolution is Ⅲ.This article modifies the construction method for 2^n-（n-k） designs of resolution Ⅲ in[2].The modified method is a great improvement on that used in[2].     

The Newton—Kantorovich method under mild differentiability conditions and the Ptâk error estimates

We study the Newton-Kantorovich method under mild differentiability conditions. Using Zabrejko-Nguen assumptions we extend the results obtained byZabrejko andNguen in [11]. We also derive Ptâk error estimates which compare favorably with the ones obtained previously byKeller [4],Rokne [7], andArgyros in [1].     

Approximate Radon-Nikodým representations on Riesz algebras

For the finitely additive case approximate Radon-Nikodym representations are obtained in the setting of Riesz algebras, complementing and generalizing results of Bochner [4], Fefferman [10], de Amo, Chitescu and Díaz Carrillo [1]. Furthermore the possible relations between the various spaces which appear here are given, answering a question of [1]. Various examples show that our results are sharp, there also the class of approximately representable functionals is explicitly characterized, a partial answer to another question of [1]. Finally some open questions are listed.     

Combinatorial obstructions to the lifting of weaving diagrams

This paper deals with various connections of oriented matroids [3] and weaving diagrams of lines in space [9], [16], [27]. We encode the litability problem of a particular weaving diagramD onn lines by the realizability problem of a partial oriented matroid χ _D with2n elements in rank 4. We prove that the occurrence of a certain substructure inD implies that χD is noneuclidean in the sense of Edmonds, Fukuda, and Mandel [12], [14]. Using this criterion we construct an infinite class of minor-minimal noneuclidean oriented matroids in rank 4. Finally, we give an easy algebraic proof for the nonliftability of the alternating weaving diagram on a bipartite grid of 4×4 lines [16].     

Non rank 3 strongly regular graphs with the 5-vertex condition

Three new strongly regular graphs on 256, 120, and 135 vertices are described in this paper. They satisfy thet-vertex condition — in the sense of [1] — on the edges and on the nonedges fort=4 but they are not rank 3 graphs. The problem to search for any such graph was discussed on a folklore level several times and was fixed in [2]. Here the graph on 256 vertices satisfies even the 5-vertex condition, and has the graphs on 120 and 135 vertices as its subgraphs. The existence of these graphs was announced in [3] and [4]. [4] contains M. H. Klin's interpretation of the graph on 120 vertices. Further results concerning these graphs were obtained by A. E. Brouwer, cf. [5].