An algorithm for the divisors of monic polynomials over a commutative ring

Gilmer and Heinzer proved that given a reduced ring R, a polynomial f divides a monic polynomial in R[X] if and only if there exists a direct sum decomposition of R = R₀ ⊕ … ⊕ R_m (m ≤ deg f), associated to a fundamental system of idempotents e₀, … , e_m, such that the component of f in each R_i[X] has degree coefficient which is a unit of R_i. We propose to give an algorithm to explicitly find such a decomposition. Moreover, we extend this result to divisors of doubly monic Laurent polynomials.     

Approximation by rational functions with prescribed numerator degree in L p spaces for 1<p< ∞

The present paper establishes a complete result on approximation by rational functions with prescribed numerator degree in L ^pspaces for 1 < p < ∞ and proves that if f(x)∈L ^p _[-1,1] changes sign exactly l times in (-1,1), then there exists r(x)∈R _n ^l such that

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

Bounds in Polynomial Rings over Artinian Local Rings

Let R be a (mixed characteristic) Artinian local ring of length l and let X be an n-tuple of variables. We prove that several algebraic constructions in the ring R[X] admit uniform bounds on the degrees of their output in terms of l, n and the degrees of the input. For instance, if I is an ideal in R[X] generated by polynomials g _i of degree at most d and if f is a polynomial of degree at most d belonging to I, then f = q ₁ f ₁ + ··· + q _s f _s , for some q _i of degree bounded in terms of d, l and n only. Similarly, the module of syzygies of I is generated by tuples all of whose entries have degree bounded in terms of d, l and n only.     

On the diameter of i‐center in a graph without long induced paths

A graph G is said to be P_t‐free if it does not contain an induced path on t vertices. The i‐center C_i(G) of a connected graph G is the set of vertices whose distance from any vertex in G is at most i. Denote by I(t) the set of natural numbers i, ⌊t/2⌋ ≤ i ≤ t − 2, with the property that, in every connected P_t‐free graph G, the i‐center C_i(G) of G induces a connected subgraph of G. In this article, the sharp upper bound on the diameter of G[C_i(G)] is established for every i ∈ I(t). The sharp lower bound on I(t) is obtained consequently. © 1999 John Wiley & Sons, Inc. J Graph Theory 30: 235–241, 1999     

A generalization of the finiteness problem in local cohomology modules

Let a be an ideal of a commutative Noetherian ring R with non-zero identity and let N be a weakly Laskerian R-module and M be a finitely generated R-module. Let t be a non-negative integer. It is shown that if H _a ⁱ (N) is a weakly Laskerian R-module for all i < t, then Hom _R (R/a, H _a ^t (M, N)) is weakly Laskerian R-module. Also, we prove that Ext _R ⁱ (R/a, H _a ^t )) is weakly Laskerian R-module for all i = 0, 1. In particular, if Supp _R (H _a ⁱ (N)) is a finite set for all i < t, then Ext _R ⁱ (R/a, H _a ^t (N)) is weakly Laskerian R-module for all i = 0, 1.     

Characterizations of Buchsbaum complexes

Letk be a field and an abstract simplicial complex with vertex set . In this article we study the structure of the Ext modules Ext _a ⁱ (A/m _(l ,k[]) of the Stanley-Reisner ringk[] whereA=k[x ₁,...,x _n ] andm _l =(x _l ¹ ,...,x _l ⁿ ). Using this structure theorem we give a characterization of Buchsbaumness ofk[] by means of the length of the modules Ext _A ⁱ (A/m _l ,k[]). That isk[] is Buchsbaum if and only if for allik[], the length of the modules Ext _A ⁱ (A/m _l ,k[]) is independent ofl.     

On the log-concavity of Hilbert series of Veronese subrings and Ehrhart series

For every positive integer n, consider the linear operator U _n on polynomials of degree at most d with integer coefficients defined as follows: if we write ${\frac{h(t)}{(1 - t)^{d + 1}}=\sum_{m \geq 0} g(m) \, t^{m}}For every positive integer n, consider the linear operator U _n on polynomials of degree at most d with integer coefficients defined as follows: if we write \frach(t)(1 - t)^{d + 1}=?_{m 3 0} g(m)  t^m{\frac{h(t)}{(1 - t)^{d + 1}}=\sum_{m \geq 0} g(m) \, t^{m}} , for some polynomial g(m) with rational coefficients, then \fracU_nh(t)(1- t)^d+1 = ?_{m 3 0}g(nm)  t^m{\frac{{\rm{U}}_{n}h(t)}{(1- t)^{d+1}} = \sum_{m \geq 0}g(nm) \, t^{m}} . We show that there exists a positive integer n _d , depending only on d, such that if h(t) is a polynomial of degree at most d with nonnegative integer coefficients and h(0) = 1, then for n ≥ n _d , U _n h(t) has simple, real, negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart δ-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen–Macauley graded rings.     

Oscillations of Higher Order Neutral Differential Equations with Variable Coefficients

We obtain sufficient conditions for the oscillation of all solutions of the higher order neutral differential equation dⁿ/d^m[y(t) + P(t) y(t - μ)] + Q(t) y(t ?σ) = 0, t ≧ t₀ where n ≧ 1, P ? C[t₀, ∞), R ], Q ? C[t₀, ∞), R ] and τ, μ ? R ⁺. Our results extend and improve several known results in the literature.     

On zero-divisors of near-rings of polynomials

In this paper, we are interested to study zero-divisor properties of a 0-symmetric nearring of polynomials R₀[x], when R is a commutative ring. We show that for a reduced ring R, the set of all zero-divisors of R₀[x], namely Z(R₀[x]), is an ideal of R₀[x] if and only if Z(R) is an ideal of R and R has Property (A). For a non-reduced ring R, it is shown that Z(R₀[x]) is an ideal of Z(R₀[x]) if and only if ann_R({a, b}) ∩ N i?(R) ≠ 0, for each a, b ∈ Z(R). We also investigate the interplay between the algebraic properties of a 0-symmetric nearring of polynomials R₀[x] and the graph-theoretic properties of its zero-divisor graph. The undirected zero-divisor graph of R₀[x] is the graph Γ(R₀[x]) such that the vertices of Γ(R₀[x]) are all the non-zero zero-divisors of R₀[x] and two distinct vertices f and g are connected by an edge if and only if f ? g = 0 or g ? f = 0. Among other results, we give a complete characterization of the possible diameters of Γ(R₀[x]) in terms of the ideals of R. These results are somewhat surprising since, in contrast to the polynomial ring case, the near-ring of polynomials has substitution for its “multiplication” operation.     

On some properties of solutions of second-order linear functional differential equations

The properties of solutions of the equationu″(t) =p ₁(t)u(τ₁(t)) +p ₂(t)u′(τ₂(t)) are investigated wherep _i :a, + ∞[→R (i=1,2) are locally summable functions τ₁ :a, + ∞[→R is a measurable function, and τ₂ :a, + ∞[→R is a nondecreasing locally absolutely continuous function. Moreover, τ _i (t) ≥t (i = 1,2),p ₁(t)≥0,p ₂ ² (t) ≤ (4 - ɛ)τ ₂ ^′ (t)p ₁(t), ɛ =const > 0 and . In particular, it is proved that solutions whose derivatives are square integrable on [α,+∞] form a one-dimensional linear space and for any such solution to vanish at infinity it is necessary and sufficient that .     

Admissibility of the natural estimator of the mean of a Gaussian process

Let {X(t): t [a, b]} be a Gaussian process with mean μ L₂[a, b] and continuous covariance K(s, t). When estimating μ under the loss ∫_a^b ( (t)−μ(t))² dt the natural estimator X is admissible if K is unknown. If K is known, X is minimax with risk ∫_a^b K(t, t) dt and admissible if and only if the three by three matrix whose entries are K(t_i, t_j) has a determinant which vanishes identically in t_i [a, b], i = 1, 2, 3.     

Bounds for regularity and coregularity of graded modules

Let M be a finitely generated graded module over a Noetherian homogeneous ring R with local base ring (R ₀, m₀). If R ₀ is of dimension one, then we show that reg ⁱ⁺¹(M) and coreg ⁱ⁺¹(M) are bounded for all i ∈ ℕ₀. We improve these bounds, if in addition, R ₀ is either regular or analytically irreducible of unequal characteristic.     

Monochromatic Hamiltonian t‐tight Berge‐cycles in hypergraphs

In any r‐uniform hypergraph for 2 ≤ t ≤ r we define an r‐uniform t‐tight Berge‐cycle of length ?, denoted by C_?^{(r, t)}, as a sequence of distinct vertices v₁, v₂, … , v_?, such that for each set (v_i, v_{i + 1}, … , v_{i + t ? 1}) of t consecutive vertices on the cycle, there is an edge E_i of that contains these t vertices and the edges E_i are all distinct for i, 1 ≤ i ≤ ?, where ? + j ≡ j. For t = 2 we get the classical Berge‐cycle and for t = r we get the so‐called tight cycle. In this note we formulate the following conjecture. For any fixed 2 ≤ c, t ≤ r satisfying c + t ≤ r + 1 and sufficiently large n, if we color the edges of K_n^(r), the complete r‐uniform hypergraph on n vertices, with c colors, then there is a monochromatic Hamiltonian t‐tight Berge‐cycle. We prove some partial results about this conjecture and we show that if true the conjecture is best possible. © 2008 Wiley Periodicals, Inc. J Graph Theory 59: 34–44, 2008     

The subindependence of coordinate slabs inl p n balls

It is proved that if the probabilityP is normalised Lebesgue measure on one of thel _p ⁿ balls in R ⁿ , then for any sequencet ₁ , t ₂ , …, t _n of positive numbers, the coordinate slabs {|x _i |≤t _i } are subindependent, namely, . A consequence of this result is that the proportion of the volume of thel ₁ ⁿ ball which is inside the cube[−1, t] ⁿ is less than or equal tof _n (t)=(1−(1−t) ⁿ ) ⁿ . It turns out that this estimate is remarkably accurate over most of the range of values oft. A reverse inequality, demonstrating this, is the second major result of the article. Supported in part by NSF DMS-9257020. Supported by a grant from Public Benefit Foundation Alexander S. Onassis. This work will form part of a Ph.D. thesis written by the second-named author.     

On the value distribution of positive definite quadratic forms

Denote by 0 = λ ₀ < λ ₁ ≤ λ ₂ ≤ . . . the infinite sequence given by the values of a positive definite irrational quadratic form in k variables at integer points. For l ≥ 2 and an (l −1)-dimensional interval I = I ₂×. . .×I _l we consider the l-level correlation function K^(l)_I(R){K^{(l)}_I(R)} which counts the number of tuples (i ₁, . . . , i _l ) such that l_i1,?,l_il ￡ R²{\lambda_{i_1},\ldots,\lambda_{i_l}\leq R^2} and l_ij-l_i1 ? I_j{\lambda_{i_{j}}-\lambda_{i_{1}}\in I_j} for 2 ≤ j ≤ l. We study the asymptotic behavior of K^(l)_I(R){K^{(l)}_I(R)} as R tends to infinity. If k ≥ 4 we prove K^(l)_I(R) ~ c_l(Q) vol(I)R^lk-2(l-1){K^{(l)}_I(R)\sim c_l(Q)\,{\rm vol}(I)R^{lk-2(l-1)}} for arbitrary l, where c _l (Q) is an explicitly determined constant. This remains true for k = 3 under the restriction l ≤ 3.     

Group pursuit in Pontryagin’s nonstationary example

On the interval [t ₀, ∞), we consider the following group pursuit problem with one evader: 1 $$ z_i^{(l)} + a_1 (t)z_i^{(l - 1)} + a_2 (t)z_i^{(l - 2)} + \cdots + a_l (t)z_i = u_i - v, u_i ,v \in V, z_i^{(q)} (t_0 ) = z_i^q , $$ where z _i , u _i , v ∈ R ^v , (v ≥ 2), V is a strictly convex compact set in R ^v , the functions a ₁(t), a ₂(t), …, a _l (t) are continuous, i = 1, 2, …, n and q = 0, 1, …, l ? 1. Let ? _q (t, s) be the solution of the Cauchy problem $$ \begin{gathered} \omega ^{(l)} + a_1 (t)\omega ^{(l - 1)} + a_2 (t)\omega ^{(l - 2)} + \cdots + a_l (t)\omega = 0, \omega ^{(q)} (s) = 1, \hfill \\ \omega ^{(r)} (s) = 0, r = 0, \ldots q - 1,q + 1, \ldots ,l - 1, \hfill \\ \end{gathered} $$ and let $$ \xi _\iota (t) = \varphi _0 (t,t_0 )Z_i^0 + \varphi _1 (t,t_0 )Z_i^1 + \cdots + \varphi _{l - 1} (t,t_0 )Z_i^{l - 1} . $$ We prove that if there exist continuous functions α _i (t) and ξ _i ¹ (t) such that the ξ _i ¹ (t) are Bohr almost periodic on [t ₀, ∞), α _i (t) > 0 for all t ≥ t ₀, lim _t→∞(ξ _i ¹ (t) ? α _i (t)ξ _i (t)) = 0, lim _t→∞(min _i α _i (t) ∝ _t0 ^t |? _l?1(t, s)| ds) = ∞, and there exist points h _i ⁰ ∈ H _i ¹ = {ξ _i ¹ (t), t ∈ [0, ∞)} such that 0 ∈ Int co{h _i ⁰ }, then the pursuit problem with evader discrimination is solvable.     

ASSOCIATED GRADED RINGS OF NUMERICAL SEMIGROUP RINGS

In this paper we examine the associated graded ring of R = k[t ^a1, …, t^a_n ] _m , where m is the homogeneous maximal ideal. We give necessary and sufficient conditions for the associated graded ring of R to be Cohen-Macaulay in the case where the embedding dimension is three and sufficient conditions for larger embedding dimension. We also give sufficient conditions for the associated graded ring of R to be Buchsbaum and study a conjecture for necessary conditions, both in embedding dimension three.     

An Invariance Principle for Triangular Arrays

Let A _{n, i} be a triangular array of sign-symmetric exchangeable random variables satisfying nE(A ² _{n, i} )1, nE(A ⁴ _{n, i} )0, n ² E(A ² _{n, 1} A ² _{n, 2})1. We show that ^[nt] _i=1 A _ni, 0t1, converges to Brownian motion. This is applied to show that if A is chosen from the uniform distribution on the orthogonal group O _n and X _n(t)=^[nt] _i=1 A _ii, then X _n converges to Brownian motion. Similar results hold for the unitary group.