共查询到20条相似文献,搜索用时 31 毫秒
1.
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
(a1,..., aN)
from all piles - ai 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 N1
such that when
. ii) there exist integers N2
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. 相似文献
2.
We consider a question raised by Suhov and Voice from quantum information theory and quantum computing. An element of a partition
of {1, ..., n} is said to be block-stable for
if it is not moved to another block under the action of π. The problem concerns the determination of the generating series
for elements of
with respect to the number of block-stable elements of a canonical partition of a finite n-set, with block sizes k1, ..., kr, in terms of the moment (power) sums pq(k1, ..., kr). We also consider the limit
subject to the condition that
exists for q = 1, 2,....
Received January 31, 2006 相似文献
3.
Let
be a C*-algebra and X a Hilbert C*
-module. If
is a projection, let
be the p-sphere of X. For φ a state of
with support p in
and
consider the modular vector state φx of
given by
The spheres
provide fibrations
and
These fibrations enable us to examine the homotopy type of the sets of modular vector states, and relate it to the homotopy type of unitary groups and spaces of projections. We regard modular vector states as generalizations of pure states to the context of Hilbert C*-modules, and the above fibrations as generalizations of the projective fibration of a Hilbert space. 相似文献
4.
Marilyn Breen 《Aequationes Mathematicae》2004,67(3):263-275
Summary.
We establish the following Helly-type result for infinite families
of starshaped sets in
Define the function f on
{1, 2} by
f(1) = 4,
f(2) = 3.
Let
be a fixed positive number, and let
be a uniformly bounded family of compact sets
in the plane. For k = 1, 2, if every
f(k)
(not necessarily distinct) members of
intersect in a starshaped set whose
kernel contains a k-dimensional
neighborhood of radius
, then
is a starshaped set whose kernel is at least
k-dimensional.
The number f(k) is best in each case.
In addition, we present a few results concerning the dimension of
the kernel in an intersection of starshaped sets in
Some of these involve finite families of sets, while others
involve infinite families and make use of the Hausdorff metric. 相似文献
5.
For suitable positive integers n and k let m(n, k) denote the maximum number of edges in a graph of order n which has a unique k-factor. In 1964, Hetyei and in 1984, Hendry proved
for even n and
, respectively. Recently, Johann confirmed the following conjectures of Hendry:
for
and kn even and
for n = 2kq, where q is a positive integer. In this paper we prove
for
and kn even, and we determine m(n, 3). 相似文献
6.
Let X be a rearrangement-invariant Banach function space
over a complete probability space
, and denote by
the Hardy space consisting of all martingales
such that
. We prove that
implies
for any filtration
if and only if Doobs inequality holds in
X, where
denotes the martingale defined by
, n = 0, 1, 2, ..., and
a.s.Received: 1 August 2000 相似文献
7.
Consider oriented surfaces immersed in
. Associated to them,
here are studied pairs of transversal foliations with
singularities, defined on the Elliptic region, where the
Gaussian curvature
, given
by the product of the principal curvatures
k
1,
k
2 is
positive. The leaves of the foliations are the
lines of harmonic mean
curvature, also called characteristic or
diagonal lines, along which
the normal curvature of the immersion is given by
, where
is the
arithmetic mean curvature. That is,
is the harmonic mean of the
principal curvatures k
1,
k
2 of
the immersion. The singularities of the foliations are the
umbilic points and
parabolic curves, where
k
1 =
k
2 and
, respectively.Here are determined the structurally stable patterns of
harmonic mean curvature lines
near the umbilic points, parabolic
curves and harmonic mean
curvature cycles, the periodic leaves of the
foliations. The genericity of these patterns is
established.This provides the three essential local ingredients to
establish sufficient conditions, likely to be also necessary,
for Harmonic Mean Curvature Structural
Stability of immersed surfaces. This study, outlined
towards the end of the paper, is a natural analog and complement
for that carried out previously by the authors for the
Arithmetic Mean Curvature and
the Asymptotic Structural
Stability of immersed surfaces, [13, 14, 17], and
also extended recently to the case of the
Geometric Mean Curvature
Configuration [15].The first author was partially supported by FUNAPE/UFG.
Both authors are fellows of CNPq.
This work was done under the project PRONEX/FINEP/MCT -
Conv. 76.97.1080.00 - Teoria Qualitativa das Equações Diferenciais
Ordinárias and CNPq - Grant 476886/2001-5. 相似文献
8.
Marilyn Breen 《Archiv der Mathematik》2005,84(3):282-288
Let k and d be fixed integers, 0kd, and let
be a collection of sets in
If every countable subfamily of
has a starshaped intersection, then
is (nonempty and) starshaped as well. Moreover, if every countable subfamily of
has as its intersection a starshaped set whose kernel is at least k-dimensional, then the kernel of
is at least k-dimensional, too. Finally, dual statements hold for unions of sets.Received: 3 April 2004 相似文献
9.
Let
k
be the ring of integers of a finite extension k of the field
p
of p-adic numbers. The endomorphisms of a formal group law defined over
k
provide nontrivial examples of commuting formal series with coefficients in
k
. This article deals with the inverse problem formulated by Jonathan Lubin within the context of non-Archimedean dynamical systems. We present a large family of series, with coefficients in
p
, which satisfy Lubin's conjecture. These series are constructed with the help of Lubin–Tate formal group laws over
p
. We introduce the notion of minimally ramified series which turn out to be modulo p reductions of some series of this family. The commutant monoids of these minimally ramified series are determined by using the Fontaine–Wintenberger theory of the field of norms which allows an interpretation of them as automorphisms of
p
-extensions of local fields of characteristic zero. A particularly effective example illustrating the paper is given by a family of series generalizing ebyev polynomials 相似文献
10.
D. I. Panyushev 《Functional Analysis and Its Applications》2004,38(1):38-44
Let
be a reductive Lie algebra over an algebraically closed field of characteristic zero and
an arbitrary
-grading. We consider the variety
, which is called the commuting variety associated with the
-grading. Earlier it was proved by the author that
is irreducible, if the
-grading is of maximal rank. Now we show that
is irreducible for
and (E6,F4). In the case of symmetric pairs of rank one, we show that the number of irreducible components of
is equal to that of nonzero non--regular nilpotent G
0-orbits in
. We also discuss a general problem of the irreducibility of commuting varieties. 相似文献
11.
12.
Let
We show that for every function
satisfying the conditional equation
either there exists a solution
of the Goab-Schinzel equation
such that
(i.e., f(x) = g(x) for
) or there is x0 > 0 with f(x0) < –1 and f(x) = 0 for x x0 . In particular we determine the solutions
of the conditional equation that are continuous at a point, Lebesgue measurable or Baire measurable (i.e., have the Baire property). In this way we solve some problems raised by the first author.Received: 2 March 2004 相似文献
0,{\text{ then }}f(x + f(x)y) = f(x)f(y) $$ " align="middle" vspace="20%" border="0"> |
13.
Mark Pankov 《Journal of Geometry》2004,79(1-2):169-176
Let
be a finite-dimensional projective space
and
be the Grassmannian consisting of
all k-dimensional subspaces of
. In the paper we show that
transformations of
sending base subsets
to base subsets are induced by collineations of
to itself or to the dual projective space
.
This statement generalizes the main result of the authors paper [19]. 相似文献
14.
Summary.
Let
We say that
preserves the distance d 0 if
for each
implies
Let A
n
denote the set of all positive numbers
d such that any map
that preserves unit distance preserves also distance
d.
Let D
n
denote the set of all positive numbers
d with the property: if
and
then there exists a finite set
S
xy
with
such that any map
that preserves unit distance preserves also the distance between
x and y.
Obviously,
We prove:
(1)
(2)
for n 2
D
n
is a
dense subset of
(2) implies that each mapping
f
from
to
(n 2)
preserving unit distance preserves all distances,
if f is continuous with respect to the product topologies
on
and
相似文献
15.
In this paper we prove that if
is a set of
k positive integers and
{A
1,
..., A
m
} is a family of subsets
of an n-element set
satisfying
, for all 1
i <
j m, then
. The case
k = 1 was proven 50 years ago
by Majumdar. 相似文献
16.
Hidetoshi Maeda 《Archiv der Mathematik》2007,88(5):419-424
Let
be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a
-bundle over
and that
for any fiber F of the bundle projection
. The pairs
with
= 2 are classified, where
is the curve genus of
. This allows us to improve some previous results.
Received: 13 June 2006 相似文献
18.
Dražen Adamović 《Algebras and Representation Theory》2004,7(4):457-469
Let
be the affine Lie algebra associated to the simple finite-dimensional Lie algebra
. We consider the tensor product of the loop
-module
associated to the irreducible finite-dimensional
-module V() and the irreducible highest weight
-module L
k,. Then L
k, can be viewed as an irreducible module for the vertex operator algebra M
k,0. Let A(L
k,) be the corresponding
-bimodule. We prove that if the
-module
is zero, then the
-module
is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras. 相似文献
19.