On Fraenkel’s <Emphasis Type="Italic">N</Emphasis>-Heap Wythoff’s Conjectures

The N-heap Wythoffs game is a two-player impartial game with N piles of tokens of sizes Players take turns removing any number of tokens from a single pile, or removing (a₁,..., a_N) from all piles - a_i tokens from the i-th pile, providing that where is the nim addition. The first player that cannot make a move loses. Denote all the P-positions (i.e., losing positions) by Two conjectures were proposed on the game by Fraenkel [7]. When are fixed, i) there exists an integer N₁ such that when . ii) there exist integers N₂ and _2 such that when , the golden section.In this paper, we provide a sufficient condition for the conjectures to hold, and subsequently prove them for the three-heap Wythoffs game with the first piles having up to 10 tokens.AMS Subject Classification: 91A46, 68R05.     

On the relation of Voevodsky’s algebraic cobordism to Quillen’s <Emphasis Type="Italic">K</Emphasis>-theory

Quillen’s algebraic K-theory is reconstructed via Voevodsky’s algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P¹-spectrum MGL of Voevodsky is considered as a commutative P¹-ring spectrum. Setting we regard the bigraded theory MGL ^p,q as just a graded theory. There is a unique ring morphism which sends the class [X]_MGL of a smooth projective k-variety X to the Euler characteristic of the structure sheaf . Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories

Reich’s problem concerning Halpern’s convergence

We discuss Halpern’s convergence for nonexpansive mappings in Hilbert spaces. We prove that one of the conditions in [R. Wittmann, Approximation of fixed points of nonexpansive mappings, Arch. Math. (Basel), 58 (1992), 486–491] is the weakest sufficient condition among the conditions known to us. We also improve a necessary condition, which is close to Wittmann’s. This is one step to solve the problem raised by Reich in 1974 and 1983. Received: 15 July 2008     

Explicit sentences distinguishing Mcduff’s II<Subscript>1</Subscript> factors

Recently, Boutonnet, Chifan, and Ioana proved that McDuff’s examples of continuum many pairwise non-isomorphic separable II₁ factors are in fact pairwise non-elementarily equivalent. Their proof proceeded by showing that any ultrapowers of any two distinct McDuff examples are not isomorphic. In a paper by the first two authors of this paper, Ehrenfeucht–Fra¨?sse games were used to find an upper bound on the quantifier complexity of sentences distinguishing the McDuff examples, leaving it as an open question to find concrete sentences distinguishing the McDuff factors. In this paper, we answer this question by providing such concrete sentences.     

Warfield’s Duality and Malcev’s Matrix

In this work, we investigate relations between Malcev’s matrices of a torsion-free group G of finite rank and Malcev’s matrices of groups Hom(R,G) and Hom(G,R), where G is a locally free group and R is a torsion-free group of rank 1.     

Bergmann’s Dilemma and Internalism’s Escape

Michael Bergmann has argued that internalist accounts of justification face an insoluble dilemma. This paper begins with an explanation of Bergmann??s dilemma. Next, I review some recent attempts to answer the dilemma, which I argue are insufficient to overcome it. The solution I propose presents an internalist account of justification through direct acquaintance. My thesis is that direct acquaintance can provide subjective epistemic assurance without falling prey to the quagmire of difficulties that Bergmann alleges all internalist accounts of justification cannot surmount.     

Generalizations of Sherman’s Inequality Via Fink’s Identity and Green’s Function

Ukrainian Mathematical Journal - New generalizations of Sherman’s inequality for n-convex functions are obtained with the help of Fink’s identity and Green’s function. By using...     

On <Emphasis Type="Italic">Saaty</Emphasis>’s and <Emphasis Type="Italic">Koczkodaj</Emphasis>’s inconsistencies of pairwise comparison matrices

The aim of the paper is to obtain some theoretical and numerical properties of Saaty’s and Koczkodaj’s inconsistencies of pairwise comparison matrices (PRM). In the case of 3 ×  3 PRM, a differentiable one-to-one correspondence is given between Saaty’s inconsistency ratio and Koczkodaj’s inconsistency index based on the elements of PRM. In order to make a comparison of Saaty’s and Koczkodaj’s inconsistencies for 4  ×  4 pairwise comparison matrices, the average value of the maximal eigenvalues of randomly generated n ×  n PRM is formulated, the elements a _ij (i < j) of which were randomly chosen from the ratio scale

Dedekind’s and Frege’s views on logic

A contextual and comparative analysis shows that Dedekind and Frege do not understand the terms “logic” and “arithmetic” in the same way. More specifically the meaning and the scope of the corresponding concepts are essentially different for them. Consequently Dedekind and Frege have different conceptions of the relationship between arithmetic and logic.     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

An analog of Gonchar’s theorem for the <Emphasis Type="Italic">m</Emphasis>-point version of Leighton’s conjecture

Gonchar’s theorem on the validity of Leighton’s conjecture for arbitrary nondecreasing sequences of exponents of general C-fractions is extended to continued fractions of a more general form.     

On Andrunakievich’s chain and Koethe’s problem

In 1969 Andrunakievich asked whether one gets a ring without nonzero nil left ideals from an arbitrary ring R by factoring out the ideal A(R) which is the sum of all nil left ideals of R. Recently, it was shown that this problem is equivalent to Koethe’s problem. In this context one may consider the chain of ideals, which starts with A ₁(R) = A(R) ⊆ A ₂(R), where A ₂(R)/A ₁(R) = A(R/A ₁(R)), and extends by repeating this process. We study the properties of this chain and show that, assuming a negative solution of Koethe’s problem, this chain can terminate at any given ordinal number.     

Kantorovich’s majorants principle for Newton’s method

We prove Kantorovich’s theorem on Newton’s method using a convergence analysis which makes clear, with respect to Newton’s method, the relationship of the majorant function and the non-linear operator under consideration. This approach enables us to drop out the assumption of existence of a second root for the majorant function, still guaranteeing Q-quadratic convergence rate and to obtain a new estimate of this rate based on a directional derivative of the derivative of the majorant function. Moreover, the majorant function does not have to be defined beyond its first root for obtaining convergence rate results. The research of O.P. Ferreira was supported in part by FUNAPE/UFG, CNPq Grant 475647/2006-8, CNPq Grant 302618/2005-8, PRONEX–Optimization(FAPERJ/CNPq) and IMPA. The research of B.F. Svaiter was supported in part by CNPq Grant 301200/93-9(RN) and by PRONEX–Optimization(FAPERJ/CNPq).     

A note on Stone’s,Baire’s,Ky Fan’s and Dugundji’s theorem in tvs-cone metric spaces

Recently, Ayse Sonmez [A. Sonmez, On paracompactness in cone metric spaces, Appl. Math. Lett. 23 (2010) 494–497] proved that a cone metric space is paracompact when the underlying cone is normal. Also, very recently, Kieu Phuong Chi and Tran Van An [K.P. Chi, T. Van An, Dugundji’s theorem for cone metric spaces, Appl. Math. Lett. (2010) doi:10.1016/j.aml.2010.10.034] proved Dugundji’s extension theorem for the normal cone metric space. The aim of this paper is to prove this in the frame of the tvs-cone spaces in which the cone does not need to be normal. Examples are given to illustrate the results.     

Katriel’s Operators for Products of Conjugacy Classes of S<Subscript>n</Subscript>

We define a family of differential operators indexed with fixed point free partitions. When these differential operators act on normalized power sum symmetric functions q(x), the coefficients in the decomposition of this action in the basis q(x) are precisely those of the decomposition of products of corresponding conjugacy classes of the symmetric group S_n. The existence of such operators provides a rigorous definition of Katriels elementary operator representation of conjugacy classes and allows to prove the conjectures he made on their properties.Work partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada.Work partially supported by ECs Research Training Network Algebraic Combinatorics in Europe (grant HPRN-CT-2001-00272).     

Editor’s Letter

Departments

Editor’s Letter     

Editor’s letter

Departments

Editor’s letter     

Editor’s letter

Department

Editor’s letter