共查询到20条相似文献,搜索用时 31 毫秒
1.
Gil Kalai 《Israel Journal of Mathematics》1983,45(4):337-351
Let
(n, k) be the class of all simplicial complexesC over a fixed set ofn vertices (2≦k≦n) such that: (1)C has a complete (k−1)-skeleton, (2)C has precisely (
k
n−1
)k-faces, (3)H
k
(C)=0. We prove that for
,H
k−1(C) is a finite group, and our main result is:
. This formula extends to high dimensions Cayley’s formula for the number of trees onn labelled vertices. Its proof is based on a generalization of the matrix tree theorem. 相似文献
2.
Geoffrey S. Watson 《Annals of the Institute of Statistical Mathematics》1983,35(1):303-319
Summary A distribution on the unit sphere inℝ
q
with a densityf(‖x
v
‖) is considered where
is ans(<q) dimensional subspace andx
v
is the part ofx in
. For a large sample the estimation of
, a test that
and a test for rotational symmetry within
is given. For several samples with possibly different subspaces
but the samef, a test that
is given. For all tests power functions for contiguous alternatives are given. For the special density proportional to expk‖x
v
‖
2, additional results are given.
Research supported in part by a Contract with the Office of Naval Research N00014-81-K-0146 awarded to Princeton University,
Princeton, New Jersey 08544. 相似文献
3.
K. R. Apt 《Israel Journal of Mathematics》1978,29(2-3):221-238
The connections between inductive definability and models of comprehension are studied. Let
= 〈A, R
l, ...,R
n 〉 be an infinite structure and letI
φ
be a set inductively defined by a formulaφ of the second order language
. We prove that if
is a model of Δ
1
1
-Comprehension relativized toφ, andφ is
-absolute, then for everyη smaller than the height of
(h(
)),I
φ
is in
. If
is aβ-structure which satisfies Σ
1
1
-Comprehension relativized toφ and WF(X), and φ is
-absolute, thenI
φ
is in
and ‖φ| <h (
). These results imply that Barwise-Grilliot theorem is false in the case of uncountable acceptable structures. We also study
the notion of invariant definability over models1 of Δ
1
1
-Comprehension.
This paper is registered as Report ZW 69/76 of the Mathematical Centre. 相似文献
4.
V. O. Kuznetsov 《Journal of Mathematical Sciences》1997,83(6):762-771
Let a1, a2, a3, b be distinct points in
and let D be the family of all triples of nonoverlapping domains D1, D2, D3 in
\ {b} such that ak∈ Dk, k=1,2,3. For this family we consider the problem on the maximum of the functional I=R1R2R3, where Rk=R(Dk, ak) is the conformal radius of Dk with respect to ak. Geometrical properties of the extremal triple of domains are described. We prove that the maximum of I monotonically depends
on the position of the point b and find the maximum in some special cases
Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 212, 1994, pp. 114–128
Translated by N. Yu. Netsvetaev 相似文献
5.
V. V. Napalkov Jr. 《Mathematical Notes》1996,60(1):42-48
We study the growth of an entire functionƒ, whose Borel transformγƒ is holomorphic outside a bounded convex regionD
ƒ with boundary curvature bounded away from 0 and ∞. The functionγƒ is assumed to belong to the Dirichlet space, i.e., it satisfies
, wheredv(ξ) is the area element. It is shown that forγƒ to satisfy the above conditions, it is necessary and sufficient to have
and the growth indicatrixh
ƒ ofƒ satisfies the relation 0<m≤h″(ϕ)+h(ϕ)≤M<∞.
Translated fromMatematicheskie Zametki, Vol. 60, No. 1, pp. 58–65, July, 1996. 相似文献
6.
E. Steingrímsson 《Discrete and Computational Geometry》1994,12(1):465-479
The 2-weak vertex-packing polytope of a loopless graphG withd vertices is the subset of the unitd-cube satisfyingx
i
+x
j
≤1 for every edge (i,j) ofG. The dilation by 2 of this polytope is a polytope
with integral vertices. We triangulate
with lattice simplices of minimal volume and label the maximal simplices with elements of the hyperoctahedral groupB
d
. This labeling gives rise to a shelling of the triangulation
of
, where theh-vector of
(and the Ehrharth
*-vector of
can be computed as a descent statistic on a subset ofB
d
defined in terms ofG. A recursive way of computing theh-vector of
is also given, and a recursive formula for the volume of
.
This work was partially supported by grants from the Icelandic Council of Science and the Royal Swedish Academy of Sciences,
respectively. 相似文献
7.
A family of vectors
of a Hubert space H is said to be hereditarily complete if it posses a biorthogonal family {xn′;n≥1}((xn,xk′)=δnk) and if any elementx, xε H can be reconstructed in terms of the component of its Fourier series, i.e., x∈V((x,x′n)xn:n≥1),∀x∈H. In the paper we indicate two simple methods for constructing nonhereditary complete minimal families having a
total biorthogonal family, which just not long ago has caused well-known difficulties (see Ref. Zh. Mat., 1975, 7B802). The
first method consists in the fact that a given pair of biorthogonal families Y, Y′ of the space H′,H′⊂H is represented as
the projection of the families
of the same type but already complete in H.. Clearly, in this case
cannot be hereditarily complete. The second method consists in considering linear deformation
n
:n⩾1 of the orthogonal basesn: n⩾1; here A is an unbounded operator of a special type.
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR,
Vol. 65, pp. 183–188, 1976. 相似文献
8.
In this paper we investigate the upper bounds on the numbers of transitions of minimum and maximum spanning trees (MinST and
MaxST for short) for linearly moving points. Here, a transition means a change on the combinatorial structure of the spanning
trees. Suppose that we are given a set ofn points ind-dimensional space,S={p
1,p
2, ...p
n
}, and that all points move along different straight lines at different but fixed speeds, i.e., the position ofp
i
is a linear function of a real parametert. We investigate the numbers of transitions of MinST and MaxST whent increases from-∞ to +∞. We assume that the dimensiond is a fixed constant. Since there areO(n
2) distances amongn points, there are naivelyO(n
4) transitions of MinST and MaxST. We improve these trivial upper bounds forL
1 andL
∞ distance metrics.
Letk
p
(n) (resp.
) be the number of maximum possible transitions of MinST (resp. MaxST) inL
p
metric forn linearly moving points. We give the following results in this paper: κ1(n)=O(n
5/2
α(n)),κ
∞(n)=O(n
5/2
α(n)),
, and
where α(n) is the inverse Ackermann's function. We also investigate two restricted cases, i.e., thec-oriented case in which there are onlyc distinct velocity vectors for movingn points, and the case in which onlyk points move. 相似文献
9.
This paper introduces the concept of ‘symmetric centres’ of braided monoidal categories. LetH be a Hopf algebra with bijective antipode over a fieldk. We address the symmetric centre of the Yetter-Drinfel’d module category:
and show that a left Yetter-Drinfel’d moduleM belongs to the symmetric centre of
and only ifM is trivial. We also study the symmetric centres of categories of representations of quasitriangular Hopf algebras and give
a sufficient and necessary condition for the braid of,
Hℳ to induce the braid of
, or equivalently, the braid of
, whereA is a quantum commutativeH-module algebra 相似文献
10.
Z. A. Arushanyan 《Journal of Mathematical Sciences》1981,16(3):1161-1167
One finds conditions which ensure the possibility of weighted mean-square approximation of a vector-function defined on the
boundary of an n-dimensional domain
by vector-functions of the form
, where u is, the solution of the equation Δm
u=0 in
while∂/∂v denotes differentiation along the normal. The weight function is continuous and positive everywhere on
with the point
whose relative neighborhood
is contained in some (n-1)-dimensional plane. The solution of this approximation problem is closely related with a certain
uniqueness theorem for the solution of the Cauchy problem for the polyharmonic equation, also proved in the paper.
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Institute im. V. A. Steklova AN SSSR,
Vol. 65, pp. 164–171, 1976. 相似文献
11.
Let
i(L), i(L*) denote the successive minima of a latticeL and its reciprocal latticeL
*, and let [b1,..., b
n
] be a basis ofL that is reduced in the sense of Korkin and Zolotarev. We prove that and, where and
j denotes Hermite's constant. As a consequence the inequalities are obtained forn7. Given a basisB of a latticeL in
m
of rankn andx
m
, we define polynomial time computable quantities(B) and(x,B) that are lower bounds for 1(L) and(x,L), where(x,L) is the Euclidean distance fromx to the closest vector inL. If in additionB is reciprocal to a Korkin-Zolotarev basis ofL
*, then 1(L)
n
*
(B) and.The research of the second author was supported by NSF contract DMS 87-06176. The research of the third author was performed at the University of California, Berkeley, with support from NSF grant 21823, and at AT&T Bell Laboratories. 相似文献
12.
The quantities
are calculated, where
is the best approximation from above of the function f by trigonometric polynomials of order ⩽n—1 in the metric of L1.
Translated from Matematicheskie Zametki, Vol. 22, No. 3, pp. 357–370, September, 1977. 相似文献
13.
V. V. Peller 《Journal of Mathematical Sciences》1985,31(1):2709-2712
In this paper there is given a sufficient condition for a Hankel matrix F to belong to the space of Schur multipliers of all bounded operators in
2 (or, what is the same, to the tensor algebra V2). It is shown that ifw is a nonnegative function on T, such that is a sequence of integers, {Fi}j1 is a sequence of polynomials,) and, then FV2. It follows from this that under these conditions F is a multiplier of the space H1, i.e.,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 135, pp. 113–119, 1984 相似文献
14.
In this paper a coding theorem has been established by considering the inaccuracy of orderα and typeβ, and generalized average code length under the condition
相似文献
15.
A monotone structure (
;μ) consists of a structure
and a monotone systemμ over the domain of
.L(Q
n
) is
, enlarged by a newn-ary quantifierQ
n
.
says in (
;μ) that there isU ∈μ such thatϕ[ā] is valid in (
;μ) for allā ∈U
n
. If
is a class of monotone structures,
means thatϕ is valid in all expansions of monotone structures in
. We show for the class
of all ultrafilters that interpolation with respect to
holds forL(Q
n
) exactly in casen=1. Then we prove for a large class of
(e.g. the class of topological groups) thatL(Q
n
) satisfies interpolation with respect to
for alln ≧ 1. Counterexamples indicate that the class of
is sharp in some sense. Finally the results are carried over to certain topological structures and the interior quantifiersI
n
instead ofQ
n
, thereby generalizing results of Makowsky/Ziegler and Sgro, and to a multidimensional type of monotone structures including
uniform spaces. 相似文献
16.
Evgeni Ja. Gabovič 《Semigroup Forum》1972,4(1):335-340
A semigroup S is calledE-semigroup (
-semigroup) if every (finitely generated) subsemigroup of S is an endomorphic image of S and Ē-semigroup (
-semigroup) if every subsemigroup of S is an E-semigroup
-semigroup. All classes X ε {Ē,
, E,
} are distinct even in the case of semilattices. It is established when a free band (semilattice) is an X-semigroup.
-,
- and Ē-chains and E-chains with identity or zero, Ē-and
, X-bands with identity and X-semigroups with identity and zero are found. 相似文献
17.
K. L. Malyshev 《Journal of Mathematical Sciences》1994,71(1):2281-2287
A representation of the algebra
(3)=t(3) S0(3, ) by differential Schaefer's operators is proposed, and an external algebra of
(3)-valued differential forms is constructed. The requirement of local gauge invariance is formulated in the model of the
(3)-valued field, which enables a group of gauge transformations of the continual theory of defects to be obtained.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 190, pp. 173–184, 1991.I wish to thank V. N. Popov for his interest. 相似文献
18.
We prove a Schwarz lemma for a domain
in ℂ3 that arises in connection with a problem in H∞ control theory. We describe a class of automorphisms of
and determine the distinguished boundary of
We apply our Schwarz lemma to a special case of the μ-synthesis problem. 相似文献
19.
R. Schneider 《Discrete and Computational Geometry》1995,13(1):609-627
Let
be an infinite discrete system ofk-dimensional flats inn-dimensional Euclidean space. If the totalk-dimensional volume of the flats in
intersected with the ball of center 0 and radiusr, divided by the volume of that ball, tends to a limit forr→∞, then this limit is called thedensity of
. We consider isoperimetric problems of the following kind. If
is a hyperplane system of positive density, find sharp upper bounds for the density of the system ofk-flats (k∈{0, ...,n−2}) that are generated as intersections of hyperplanes in
. Ideas from the theory of uniform distribution of sequences are employed to define a large class of hyperplane systems, calleduniform, for which all necessary densities exist, isperimetric inequalities can be proved, and systems with extremal intersection
densities can be characterized. 相似文献
20.
Dionisio Gallarati 《Annali di Matematica Pura ed Applicata》1957,43(1):195-214
Sunto Si dànno delle condizioni necessarie affinchè due superficie algebriche F, G d’una V
3
algebrica non singolare possano presentare contatto d’ordine assegnato q −1 lungo una curva
priva di punti multipli. Si approfondisce sopratuito il caso q=3, con applicazione al problema di determinare le superficie algebriche Gn di S
3
che presentano contatto del 3o ordine lungo una
n con una superficie quartica F
4
. 相似文献