共查询到20条相似文献,搜索用时 31 毫秒
1.
Anders Nedergaard Jensen 《Discrete and Computational Geometry》2007,37(3):443-453
The Grobner fan of an ideal
, defined by Mora and Robbiano, is a complex of polyhedral cones in
. The maximal cones of the fan are in bijection with the distinct monomial initial ideals of I as the term order varies. If
I is homogeneous the Grobner fan is complete and is the normal fan of the state polytope of I. In general the Grobner fan
is not complete and therefore not the normal fan of a polytope. We may ask if the restricted Grobner fan, a subdivision of
, is regular, i.e. the normal fan of a polyhedron. The main result of this paper is an example of an ideal in n = 4 variables
whose restricted Grobner fan is not regular. 相似文献
2.
Daniel A. Klain 《Discrete and Computational Geometry》2006,36(3):457-477
Hyperbolic area is characterized as the unique continuous isometry-invariant simple valuation on convex polygons in
We then show that continuous isometry-invariant simple valuations on polytopes in
for
are determined uniquely by their values at ideal simplices. The proofs exploit a connection between valuation theory in
hyperbolic space and an analogous theory on the Euclidean sphere. These results lead to characterizations of continuous isometry-invariant
valuations on convex polytopes and convex bodies in the hyperbolic plane
a partial characterization in
and a mechanism for deriving many fundamental theorems of hyperbolic integral geometry, including kinematic formulas,
containment theorems, and isoperimetric and Bonnesen-type inequalities. 相似文献
3.
James H. Schmerl 《Discrete and Computational Geometry》2007,38(1):155-167
Suppose n ≥ 2 and
are such that X is infinite and Y is the set of vertices of an n-simplex. Then there is blue/red coloring of
such that no set similar to X is monochromatically blue and no set similar to Y is monochromatically red. 相似文献
4.
Zoltan Furedi 《Discrete and Computational Geometry》2007,38(2):273-288
Let
be a triangle and let
be a set of homothetic copies of
. We prove that
implies that there are positive and negative signs
and there exist translates of
that cover
. 相似文献
5.
Given a collection S of subsets of some set
and
the set cover problem is to find the smallest subcollection
that covers
that is,
where
denotes
We assume of course that S covers
While the general problem is NP-hard to solve, even approximately, here we consider some geometric special cases, where usually
Combining previously known techniques [4], [5], we show that polynomial-time approximation algorithms with provable performance
exist, under a certain general condition: that for a random subset
and nondecreasing function f(·), there is a decomposition of the complement
into an expected at most f(|R|) regions, each region of a particular simple form. Under this condition, a cover of size O(f(|C|))
can be found in polynomial time. Using this result, and combinatorial geometry results implying bounding functions f(c) that
are nearly linear, we obtain o(log c) approximation algorithms for covering by fat triangles, by pseudo-disks, by a family
of fat objects, and others. Similarly, constant-factor approximations follow for similar-sized fat triangles and fat objects,
and for fat wedges. With more work, we obtain constant-factor approximation algorithms for covering by unit cubes in
and for guarding an x-monotone polygonal chain. 相似文献
6.
A compact set
is staircase connected if every two points
can be connected by a polygonal path with sides parallel to the coordinate axes, which is both x-monotone and y-monotone.
denotes the smallest number of edges of such a path.
is an integer-valued metric on S. We investigate this metric and introduce stars and kernels. Our main result is that the
r-th kernel is nonempty, compact and staircase connected provided
. 相似文献
7.
Given a finite subset
of an additive group
such as
or
, we are interested in efficient covering of
by translates of
, and efficient packing of translates of
in
. A set
provides a covering if the translates
with
cover
(i.e., their union is
), and the covering will be efficient if
has small density in
. On the other hand, a set
will provide a packing if the translated sets
with
are mutually disjoint, and the packing is efficient if
has large density.
In the present part (I) we will derive some facts on these concepts when
, and give estimates for the minimal covering densities and maximal packing densities of finite sets
. In part (II) we will again deal with
, and study the behaviour of such densities under linear transformations. In part (III) we will turn to
.
Authors’ address: Department of Mathematics, University of Colorado at Boulder, Campus Box 395, Boulder, Colorado 80309-0395,
USA
The first author was partially supported by NSF DMS 0074531. 相似文献
8.
Let
denote the linear space over
spanned by
. Define the (real) inner product
, where V satisfies: (i) V is real analytic on
; (ii)
; and (iii)
. Orthogonalisation of the (ordered) base
with respect to
yields the even degree and odd degree orthonormal Laurent polynomials
, and
. Define the even degree and odd degree monic orthogonal Laurent polynomials:
and
. Asymptotics in the double-scaling limit
such that
of
(in the entire complex plane),
, and
(in the entire complex plane) are obtained by formulating the odd degree monic orthogonal Laurent polynomial problem as a
matrix Riemann-Hilbert problem on
, and then extracting the large-n behaviour by applying the non-linear steepest-descent method introduced in [1] and further
developed in [2],[3]. 相似文献
9.
In this paper we study the worst-case error (of numerical integration) on the unit sphere
for all functions in the unit ball of the Sobolev space
where
More precisely, we consider infinite sequences
of m(n)-point numerical integration rules
where: (i)
is exact for all spherical polynomials of degree
and (ii)
has positive weights or, alternatively to (ii), the sequence
satisfies a certain local regularity property. Then we show that the worst-case error (of numerical integration)
in
has the upper bound
where the constant c depends on s and d (and possibly the sequence
This extends the recent results for the sphere
by K. Hesse and I.H. Sloan to spheres
of arbitrary dimension
by using an alternative representation of the worst-case error. If the sequence
of numerical integration rules satisfies
an order-optimal rate of convergence is achieved. 相似文献
10.
Sadahiro Saeki 《Journal of Fourier Analysis and Applications》1995,2(1):15-28
Let
and
Under certain conditions on
we shall prove that
converges nontangentially to
at
for
相似文献
11.
We give conditions on radial nonnegative weights $W_1We give conditions on radial nonnegative weights
and
on
, for which the a priori inequality
holds with constant independent of
. Here
is the Laplace-Beltrami operator on the sphere
. Due to the relation between
and the tangential component of the gradient,
, we obtain some "Morawetz-type" estimates for
on
. As a consequence we establish some new estimates for the free Schr?dinger propagator
, which may be viewed as certain refinements of the
-(super)smoothness estimates of Kato and Yajima. These results, in turn, lead to the well-posedness of the initial value problem
for certain time dependent first order spherical perturbations of the
dimensional Schr?dinger equation. 相似文献
12.
Zachary Mesyan 《Semigroup Forum》2007,75(3):648-675
Let
be a countably infinite set,
the group of permutations of
, and
the monoid of self-maps of
. Given two subgroups
, let us write
if there exists a finite subset
such that the groups generated by
and
are equal. Bergman and Shelah showed that the subgroups which are closed in the function topology on S fall into exactly
four equivalence classes with respect to
. Letting
denote the obvious analog of
for submonoids of E, we prove an analogous result for a certain class of submonoids of E, from which the theorem for groups
can be recovered. Along the way, we show that given two subgroups
which are closed in the function topology on S, we have
if and only if
(as submonoids of E), and that
for every subgroup
(where
denotes the closure of G in the function topology in S and
its closure in the function topology in E). 相似文献
13.
Old and New Morrey Spaces with Heat Kernel Bounds 总被引:1,自引:0,他引:1
Given p ∈ [1,∞) and λ ∈ (0, n), we study Morrey space
of all locally integrable complex-valued functions f on
such that for every open Euclidean ball B ⊂
with radius rB there are numbers C = C(f ) (depending on f ) and c = c(f,B) (relying upon f and B) satisfying
and derive old and new, two essentially different cases arising from either choosing
or replacing c by
—where tB is scaled to rB and pt(·, ·) is the kernel of the infinitesimal generator L of an analytic semigroup
on
Consequently, we are led to simultaneously characterize the old and new Morrey spaces, but also to show that for a suitable
operator L, the new Morrey space is equivalent to the old one. 相似文献
14.
15.
Nonlinear Approximation by Trigonometric Sums 总被引:7,自引:0,他引:7
We investigate the
-error of approximation to a function
by a linear combination
of
exponentials
on
where the frequencies
are allowed to depend on
We bound this error in terms of the smoothness and other properties of
and show that our bounds are best possible in the sense of approximation of certain classes of functions. 相似文献
16.
17.
Given a function ψ in
the affine (wavelet) system generated by ψ, associated to an invertible matrix a and a lattice Γ, is the collection of functions
In this paper we prove that the set of functions generating affine systems that are a Riesz basis of
${\cal L}^2({\Bbb R}^d)$ is dense in We also prove that a stronger result is true for affine systems that are a frame of
In this case we show that the generators associated to a fixed but arbitrary dilation are a dense set. Furthermore, we analyze
the orthogonal case in which we prove that the set of generators of orthogonal (not necessarily complete) affine systems,
that are compactly supported in frequency, are dense in the unit sphere of
with the induced metric. As a byproduct we introduce the p-Grammian of a function and prove a convergence result of this
Grammian as a function of the lattice. This result gives insight in the problem of oversampling of affine systems. 相似文献
18.
C. Carton-Lebrun 《Journal of Fourier Analysis and Applications》1995,2(1):49-64
For
define
where
Pointwise estimates and weighted inequalities describing the local Lipschitz continuity
of
are established. Sufficient conditions are found
for the boundedness of
from
into
and a spherical restriction property is proved. A study of the moment subspaces of
is next developed in the one-variable case, for
locally integrable,
a.e. It includes a decomposition theorem and a complete classification of all possible sequences of moment subspaces in
Characterizations are also given for each class. Applications related to the approximation and decomposition of
are discussed. 相似文献
19.
An affine pseudo-plane X is a smooth affine surface defined over
which is endowed with an
-fibration such that every fiber is irreducible and only one fiber is a multiple fiber. If there is a hyperbolic
-action on X and X is an
-surface, we shall show that the universal covering
is isomorphic to an affine hypersurface
in the affine 3-space
and X is the quotient of
by the cyclic group
via the action
where
and
It is also shown that a
-homology plane X with
and a nontrivial
-action is an affine pseudo-plane. The automorphism group
is determined in the last section. 相似文献
20.
A triangulation of a set S of points in the plane is a subdivision of the convex hull of S into triangles whose vertices are
points of S. Given a set S of n points in
each moving independently, we wish to maintain a triangulation of S. The triangulation needs to be updated periodically as
the points in S move, so the goal is to maintain a triangulation with a small number of topological events, each being the
insertion or deletion of an edge. We propose a kinetic data structure (KDS) that processes
topological events with high probability if the trajectories of input points are algebraic curves of fixed degree. Each topological
event can be processed in
time. This is the first known KDS for maintaining a triangulation that processes a near-quadratic number of topological events,
and almost matches the
lower bound [1]. The number of topological events can be reduced to
if only k of the points are moving. 相似文献