Normalization of monomial ideals and Hilbert functions

We study the normalization of a monomial ideal, and show how to compute its Hilbert function (using Ehrhart polynomials) if the ideal is zero dimensional. A positive lower bound for the second coefficient of the Hilbert polynomial is shown.

     

The Complexity of Computing the Hilbert Polynomial of Smooth Equidimensional Complex Projective Varieties

We continue the study of counting complexity begun in [13], [14], [15] by proving upper and lower bounds on the complexity of computing the Hilbert polynomial of a homogeneous ideal. We show that the problem of computing the Hilbert polynomial of a smooth equidimensional complex projective variety can be reduced in polynomial time to the problem of counting the number of complex common zeros of a finite set of multivariate polynomials. The reduction is based on a new formula for the coefficients of the Hilbert polynomial of a smooth variety. Moreover, we prove that the more general problem of computing the Hilbert polynomial of a homogeneous ideal is polynomial space hard. This implies polynomial space lower bounds for both the problems of computing the rank and the Euler characteristic of cohomology groups of coherent sheaves on projective space, improving the #P-lower bound in Bach [1].     

Regularity, partial elimination ideals and the canonical bundle

We present partial elimination ideals, which set-theoretically cut out the multiple point loci of a generic projection of a projective variety, as a way to bound the regularity of a variety in projective space. To do this, we utilize a combination of initial ideal methods and geometric methods. We first define partial elimination ideals and establish through initial ideal methods the way in which, for a given ideal, the regularity of the partial elimination ideals bounds the regularity of the given ideal. Then we explore the partial elimination ideals as a way to compute the canonical bundle of the generic projection of a variety and the canonical bundles of the multiple point loci of the projection, and we use Kodaira Vanishing to bound the regularity of the partial elimination ideals.

     

Finiteness of Hilbert functions and bounds for Castelnuovo-Mumford regularity of initial ideals

Bounds for the Castelnuovo-Mumford regularity and Hilbert coefficients are given in terms of the arithmetic degree (if the ring is reduced) or in terms of the defining degrees. From this it follows that there exists only a finite number of Hilbert functions associated with reduced algebras over an algebraically closed field with a given arithmetic degree and dimension. A good bound is also given for the Castelnuovo-Mumford regularity of initial ideals which depends neither on term orders nor on the coordinates and holds for any field.

     

Arithmetically Buchsbaum divisors on varieties of minimal degree

In this paper we consider integral arithmetically Buchsbaum subschemes of projective space. First we show that arithmetical Buchsbaum varieties of sufficiently large degree have maximal Castelnuovo-Mumford regularity if and only if they are divisors on a variety of minimal degree. Second we determine all varieties of minimal degree and their divisor classes which contain an integral arithmetically Buchsbaum subscheme. Third we investigate these varieties. In particular, we compute their Hilbert function, cohomology modules and (often) their graded Betti numbers and obtain an existence result for smooth arithmetically Buchsbaum varieties.

     

Bigeneric initial ideals, diagonal subalgebras and bigraded Hilbert functions

In this paper we study some problems concerning bigraded ideals. By introducing the concept of bigeneric initial ideal, we answer an open question about diagonal subalgebras and we give a necessary condition for a function to be the bigraded Hilbert function of a bigraded algebra. Moreover, we give an upper bound for the regularity of a bistable ideal in terms of the degrees of its generators.     

An expansion theorem concerning Wilson functions and polynomials

We prove that a relatively general even function f(x) (satisfying a vanishing condition, and also some analyticity and growth conditions) on the real line can be expanded in terms of a certain function series closely related to the Wilson functions introduced by Groenevelt in 2003. The coefficients in the expansion of f will be inner products in a suitable Hilbert space of f and some polynomials closely related to Wilson polynomials (these are well-known hypergeometric orthogonal polynomials).     

Hilbert polynomials and Arveson's curvature invariant

We define and study Hilbert polynomials for certain holomorphic Hilbert spaces. We obtain several estimates for these polynomials and their coefficients. Our estimates inspire us to investigate the connection between the leading coefficients of Hilbert polynomials for invariant subspaces of the symmetric Fock space and Arveson's curvature invariant for coinvariant subspaces. We are able to obtain some formulas relating the curvature invariant with other invariants. In particular, we prove that Arveson's version of the Gauss-Bonnet-Chern formula is true when the invariant subspaces are generated by any polynomials.     

Strong asymptotics of the recurrence coefficients of orthogonal polynomials associated to the generalized Jacobi weight

We study asymptotics of the recurrence coefficients of orthogonal polynomials associated to the generalized Jacobi weight, which is a weight function with a finite number of algebraic singularities on [−1,1]. The recurrence coefficients can be written in terms of the solution of the corresponding Riemann–Hilbert (RH) problem for orthogonal polynomials. Using the steepest descent method of Deift and Zhou, we analyze the RH problem, and obtain complete asymptotic expansions of the recurrence coefficients. We will determine explicitly the order 1/n terms in the expansions. A critical step in the analysis of the RH problem will be the local analysis around the algebraic singularities, for which we use Bessel functions of appropriate order. In addition, the RH approach gives us also strong asymptotics of the orthogonal polynomials near the algebraic singularities in terms of Bessel functions.     

Betti numbers of perfect homogeneous ideals

In this paper we study the graded minimal free resolution of the ideal, I, of any arithmetically Cohen-Macaulay projective variety. First we determine the range of the shifts (twisting numbers) that can possibly occur in the resolution, in terms of the Hilbert function of I. Then we find conditions under which some of the twisting numbers do not occur. Finally, in some ‘good’ cases, all the Betti numbers are (recursively) computed, in terms of the Hilbert function of I or that of Extⁿ_R(R/I,R), where R is a polynomial ring over a field and n is the height of I in R.     

Continuity properties for flat families of polynomials (I) Continuous parametrizations

Inspired by classical results in algebraic geometry, we study the continuity with respect to the coefficients, of the zero set of a system of complex homogeneous polynomials with a given pattern and when the Hilbert polynomial of the generated ideal is fixed. In this work we prove topological properties of some classifying spaces, e.g. the space of systems with given pattern, fixed Hilbert polynomial is locally compact, and we establish continuous parametrizations of Nullstellensatz formulae. In the general case we get local rational results but in the complex case we get global results using rational polynomials in the real and imaginary parts of the coefficients. In a second companion paper, we shall treat the continuity of zero sets for the Hausdorff distance, i.e., from a metric point of view.     

A brief proof of a maximal rank theorem for generic double points in projective space

We give a simple proof of the following theorem of J. Alexander and A. Hirschowitz: Given a general set of points in projective space, the homogeneous ideal of polynomials that are singular at these points has the expected dimension in each degree of 4 and higher, except in 3 cases.

     

无界抽样情形下不定核的系数正则化回归

本文讨论样本依赖空间中无界抽样情形下最小二乘损失函数的系数正则化问题. 这里的学习准则与之前再生核Hilbert空间的准则有着本质差异: 核除了满足连续性和有界性之外, 不需要再满足对称性和正定性; 正则化子是函数关于样本展开系数的l²-范数; 样本输出是无界的. 上述差异给误差分析增加了额外难度. 本文的目的是在样本输出不满足一致有界的情形下, 通过l²-经验覆盖数给出误差的集中估计(concentration estimates). 通过引入一个恰当的Hilbert空间以及l²-经验覆盖数的技巧, 得到了与假设空间的容量以及与回归函数的正则性有关的较满意的学习速率.     

Regularity,depth and arithmetic rank of bipartite edge ideals

We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.     

On inequalities for zeros of entire functions

We derive inequalities for zeros of an entire function of finite order in terms of the coefficients of its Taylor series. Our results are new even for polynomials.

     

Remarks on Hilbert series of graded modules over polynomial rings

In this article we discuss a result on formal Laurent series and some of its implications for Hilbert series of finitely generated graded modules over standard-graded polynomial rings: For any integer Laurent function of polynomial type with non-negative values the associated formal Laurent series can be written as a sum of rational functions of the form ${\frac{Q_j(t)}{(1-t)^j}}$ , where the numerators are Laurent polynomials with non–negative integer coefficients. Hence any such series is the Hilbert series of some finitely generated graded module over a suitable polynomial ring ${\mathbb{F}[X_1 , \ldots , X_n]}$ . We give two further applications, namely an investigation of the maximal depth of a module with a given Hilbert series and a characterization of Laurent polynomials which may occur as numerator in the presentation of a Hilbert series as a rational function with a power of (1 ? t) as denominator.     

Homological properties of Orlik–Solomon algebras

The Orlik–Solomon algebra of a matroid can be considered as a quotient ring over the exterior algebra E. At first, we study homological properties of E-modules as e.g., complexity, depth and regularity. In particular, we consider modules with linear injective resolutions. We apply our results to Orlik–Solomon algebras of matroids and give formulas for the complexity, depth and regularity of such rings in terms of invariants of the matroid. Moreover, we characterize those matroids whose Orlik–Solomon ideal has a linear projective resolution and compute in these cases the Betti numbers of the ideal.     

Combinatorics of the Toric Hilbert Scheme

The toric Hilbert scheme is a parameter space for all ideals with the same multigraded Hilbert function as a given toric ideal. Unlike the classical Hilbert scheme, it is unknown whether toric Hilbert schemes are connected. We construct a graph on all the monomial ideals on the scheme, called the flip graph, and prove that the toric Hilbert scheme is connected if and only if the flip graph is connected. These graphs are used to exhibit curves in P ⁴ whose associated toric Hilbert schemes have arbitrary dimension. We show that the flip graph maps into the Baues graph of all triangulations of the point configuration defining the toric ideal. Inspired by the recent discovery of a disconnected Baues graph, we close with results that suggest the existence of a disconnected flip graph and hence a disconnected toric Hilbert scheme. Received May 15, 2000, and in revised form March 8, 2001. Online publication January 7, 2002.     

Construction algorithms for polynomial lattice rules for multivariate integration

We introduce a new construction algorithm for digital nets for integration in certain weighted tensor product Hilbert spaces. The first weighted Hilbert space we consider is based on Walsh functions. Dick and Pillichshammer calculated the worst-case error for integration using digital nets for this space. Here we extend this result to a special construction method for digital nets based on polynomials over finite fields. This result allows us to find polynomials which yield a small worst-case error by computer search. We prove an upper bound on the worst-case error for digital nets obtained by such a search algorithm which shows that the convergence rate is best possible and that strong tractability holds under some condition on the weights.

We extend the results for the weighted Hilbert space based on Walsh functions to weighted Sobolev spaces. In this case we use randomly digitally shifted digital nets. The construction principle is the same as before, only the worst-case error is slightly different. Again digital nets obtained from our search algorithm yield a worst-case error achieving the optimal rate of convergence and as before strong tractability holds under some condition on the weights. These results show that such a construction of digital nets yields the until now best known results of this kind and that our construction methods are comparable to the construction methods known for lattice rules.

We conclude the article with numerical results comparing the expected worst-case error for randomly digitally shifted digital nets with those for randomly shifted lattice rules.

     

On the distribution of points in projective space of bounded height

In this paper we consider the uniform distribution of points in compact metric spaces. We assume that there exists a probability measure on the Borel subsets of the space which is invariant under a suitable group of isometries. In this setting we prove the analogue of Weyl's criterion and the Erdös-Turán inequality by using orthogonal polynomials associated with the space and the measure. In particular, we discuss the special case of projective space over completions of number fields in some detail. An invariant measure in these projective spaces is introduced, and the explicit formulas for the orthogonal polynomials in this case are given. Finally, using the analogous Erdös-Turán inequality, we prove that the set of all projective points over the number field with bounded Arakelov height is uniformly distributed with respect to the invariant measure as the bound increases.