共查询到20条相似文献,搜索用时 484 毫秒
1.
C. M. Reidys 《Annals of Combinatorics》2006,10(4):481-498
In this paper we study sequential dynamical systems (SDS) over words. An SDS is a triple consisting of: (a) a graph Y with vertex set {v1, ..., vn}, (b) a family of Y-local functions
, where K is a finite field and (c) a word w, i.e., a family (w1, ..., wk), where wi is a Y-vertex. A map
is called Y-local if and only if it fixes all variables
and depends exclusively on the variables
, for
. An SDS induces an SDS- map,
, obtained by the map-composition of the functions
according to w. We show that an SDS induces in addition the graph G(w,Y) having vertex set {1, ..., k} where r, s are adjacent if and only if ws, wr are adjacent in Y. G(w, Y) is acted upon by Sk via
and Fix(w) is the group of G(w, Y) graph automorphisms which fix w. We analyze G(w, Y)-automorphisms via an exact sequence involving the normalizer of Fix(w) in Aut(G(w, Y)), Fix(w) and Aut(Y). Furthermore we introduce an equivalence relation over words and prove a bijection between word equivalence classes and
certain orbits of acyclic orientations of G(w, Y).
Received September 12, 2004 相似文献
2.
Elena Cordero Stevan Pilipović Luigi Rodino Nenad Teofanov 《Mediterranean Journal of Mathematics》2005,2(4):381-394
We study localization operators within the framework of ultradistributions. More precisely, given a symbol a and two windows φ1, φ2, we investigate the multilinear mapping from
to the localization operator
Results are formulated in terms of modulation spaces with weights which may have exponential growth. We give sufficient and
necessary conditions for
a to be bounded or to belong to a Schatten class. As an application, we study symbols defined by ultra-distributions with
compact support, that give trace class localization operators. 相似文献
3.
M. A. Bastos C. A. Fernandes Yu. I. Karlovich 《Integral Equations and Operator Theory》2006,55(1):19-67
We establish a symbol calculus for the C*-subalgebra
of
generated by the operators of multiplication by slowly oscillating and piecewise continuous functions and the operators
where
is the Cauchy singular integral operator and
The C*-algebra
is invariant under the transformations
where Uz is the rotation operator
Using the localtrajectory method, which is a natural generalization of the Allan-Douglas local principle to nonlocal type
operators, we construct symbol calculi and establish Fredholm criteria for the C*-algebra
generated by the operators
and
for the C*-algebra
generated by the operators
and
and for the C*-algebra
generated by the algebras
and
The C*-algebra
can be considered as an algebra of convolution type operators with piecewise slowly oscillating coefficients and shifts acting
freely. 相似文献
4.
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 相似文献
5.
If
is an initially hereditary family of finite subsets of positive integers (i.e., if
and G is initial segment of F then
) and M an infinite subset of positive integers then we define an ordinal index
. We prove that if
is a family of finite subsets of positive integers such that for every
the characteristic function χF is isolated point of the subspace
of { 0,1 }N with the product topology then
for every
infinite, where
is the set of all initial segments of the members of
and ω1 is the first uncountable ordinal. As a consequence of this result we prove that
is Ramsey, i.e., if
is a partition of
then there exists an infinite subset M of positive integers such that
where [M]< ω is the family of all finite subsets of M. 相似文献
6.
A 1-factorization (or parallelism) of the complete graph with loops
is called polar if each 1-factor (parallel class) contains exactly one loop and for any three distinct vertices x1, x2, x3, if {x1} and {x2, x3} belong to a 1-factor then the same holds for any permutation of the set {1, 2, 3}. To a polar graph
there corresponds a polar involution set
, an idempotent totally symmetric quasigroup (P, *), a commutative, weak inverse property loop (P, + ) of exponent 3 and a Steiner triple system
.
We have:
satisfies the trapezium axiom
is self-distributive ⇔ (P, + ) is a Moufang loop
is an affine triple system; and:
satisfies the quadrangle axiom
is a group
is an affine space. 相似文献
7.
In this article, we consider various arithmetic properties of the function
which denotes the number of overpartitions of n using only odd parts. This function has arisen in a number of recent papers, but in contexts which are very different from
overpartitions. We prove a number of arithmetic results including several Ramanujan-like congruences satisfied by
and some easily-stated characterizations of
modulo small powers of two. For example, it is proven that, for n ≥ 1,
(mod 4) if and only if n is neither a square nor twice a square.
Received March 17, 2005 相似文献
8.
In this note we prove that the Laplacian with generalized Wentzell boundary
conditions on an open bounded regular domain in
defined by
generates an analytic semigroup of angle
on
for every > 0 and
(for the definition of
cf. (1.3)).Received: 13 July 2002 相似文献
9.
M. Rovinsky 《Selecta Mathematica, New Series》2005,11(3-4):491-522
Let L be the function field of a projective space
over an algebraically closed field k of characteristic zero, and H be the group of projective transformations. An H-sheaf
on
is a collection of isomorphisms
for each g ∈ H satisfying the chain rule.
We construct, for any n > 1, a fully faithful functor from the category of finite-dimensional L-semilinear representations of H extendable to the semigroup End(L/k) to the category of coherent H-sheaves on
The paper is motivated by a study of admissible representations of the automorphism group G of an algebraically closed extension of k of countable transcendence degree undertaken in [4]. The semigroup End(L/k) is considered as a subquotient of G, hence the condition on extendability.
In the appendix it is shown that, if
is either H, or a bigger subgroup in the Cremona group (generated by H and a certain pair of involutions), then any semilinear
of degree one is an integral L-tensor power of
It is also shown that this bigger subgroup has no non-trivial representations of finite degree if n > 1. 相似文献
10.
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). 相似文献
11.
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
相似文献
12.
13.
Let
be the 2k-uniform hypergraph obtained by letting P1, . . .,Pr be pairwise disjoint sets of size k and taking as edges all sets Pi∪Pj with i ≠ j. This can be thought of as the ‘k-expansion’ of the complete graph Kr: each vertex has been replaced with a set of size k. An example of a hypergraph with vertex set V that does not contain
can be obtained by partitioning V = V1 ∪V2 and taking as edges all sets of size 2k that intersect each of V1 and V2 in an odd number of elements. Let
denote a hypergraph on n vertices obtained by this construction that has as many edges as possible. For n sufficiently large we prove a conjecture of Frankl, which states that any hypergraph on n vertices that contains no
has at most as many edges as
.
Sidorenko has given an upper bound of
for the Tur′an density of
for any r, and a construction establishing a matching lower bound when r is of the form 2p+1. In this paper we also show that when r=2p+1, any
-free hypergraph of density
looks approximately like Sidorenko’s construction. On the other hand, when r is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Turán density
of
to
, where c(r) is a constant depending only on r.
The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections
in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear
algebra, the Kruskal–Katona theorem and properties of Krawtchouck polynomials.
* Research supported in part by NSF grants DMS-0355497, DMS-0106589, and by an Alfred P. Sloan fellowship. 相似文献
14.
The purpose of this paper is to give characterizations for uniform exponential dichotomy of evolution families on the real
line. We consider a general class of Banach function spaces denoted
and we prove that if
with
and the pair
is admissible for an evolution family
then
is uniformly exponentially dichotomic. By an example we show that the admissibility of the pair
for an evolution family is not a sufficient condition for uniform exponential dichotomy. As applications, we deduce necessary
and sufficient conditions for uniform exponential dichotomy of evolution families in terms of the admissibility of the pairs
and
with
相似文献
15.
J. A. López Molina M. E. Puerta M. J. Rivera 《Bulletin of the Brazilian Mathematical Society》2006,37(2):191-216
Let
, be a family of compatible couples of Lp-spaces. We show that, given a countably incomplete ultrafilter
in
, the ultraproduct
of interpolation spaces defined by the real method is isomorphic to the direct sum of an interpolation space of type
, an intermediate K?the space between
and
being a purely atomic measure space, and a K?the function space K(Ω3) defined on some purely non atomic measure space (Ω3, ν3) in such a way that Ω2 ∪ Ω3 ≠∅.
The research of first and third authors is partially supported by the MEC and FEDER project MTM2004-02262 and AVCIT group
03/050. 相似文献
16.
Hans-Peter Schröcker 《Journal of Geometry》2005,82(1-2):172-187
We study the projective space
of univariate rational parameterized equations of degree d or less in real projective space
The parameterized equations of degree less than d form a special algebraic variety
We investigate the subspaces on
and their relation to rational curves in
give a geometric characterization of the automorphism group of
and outline applications of the theory to projective kinematics. 相似文献
17.
It is known [6] that for every function f in the generalized Schur class
and every nonempty open subset Ω of the unit disk
, there exist points z1,...,zn ∈Ω such that the n × nPick matrix
has κ negative eigenvalues. In this paper we discuss existence of an integer n0 such that any Pick matrix based on z1,...,zn ∈Ω with n ≥ n0 has κ negative eigenvalues. Definitely, the answer depends on Ω. We prove that if
, then such a number n0 does not exist unless f is a ratio of two finite Blaschke products; in the latter case the minimal value of n0 can be found. We show also that if the closure of Ω is contained in
then such a number n0 exists for every function f in
. 相似文献
18.
Dietmar Vogt 《Archiv der Mathematik》2006,87(2):163-171
It is shown that for open convex
, d > 1 and a nontrivial polynomial P the space
does not have property
. If P is elliptic or homogeneous, then this holds for every open Ω. For
even
cannot occur and if it occurs for some Ω, then P must be hypoelliptic.
Received: 18 July 2005 相似文献
19.
The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are
not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e2i = + 1. The hyperbolic Dirac operator is of the form where Q0f is represented by the composition . If is a solution of Hkf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on .
Received: October, 2007. Accepted: February, 2008. 相似文献
20.
The optimal value function
of the quadratic program
, where
is a given symmetric matrix,
a given matrix,
and
are the linear perturbations, is considered. It is proved that
is directionally differentiable at any point
in its effective domain
. Formulae for computing the directional derivative
of
at
in a direction
are obtained. We also present an example showing that, in general,
is not piecewise linear-quadratic on W. The preceding (unpublished) example of Klatte is also discussed. 相似文献