Wt-approximation representations over quasik-Gorenstein algebras

The notions of quasik-Gorenstein algebras and W ^t -approximation representations are introduced. The existence and uniqueness (up to projective equivalences) of W ^t -approximation representations over quasi k-Gorenstein algebras are established. Some applications of W ^t -approximation representations to homologically finite subcategories are given.     

Self-intersection local time for Gaussian ′( )-processes: Existence, path continuity and examples

In this paper we develop a criterion for existence or non-existence of self-intersection local time (SILT) for a wide class of Gaussian ′( ^d)-valued processes, we show that quite generally the SILT process has continuous paths, and we give several examples which illustrate existence of SILT for different ranges of dimensions (e.g., d ≤ 3, d ≤ 7 and 5 ≤ d ≤ 11 in the Brownian case). Some of the examples involve branching and exhibit “dimension gaps”. Our results generalize the work of Adler and coauthors, who studied the special case of “density processes” and proved that SILT paths are cadlag in the Brownian case making use of a “particle picture” approximation (this technique is not available for our general formulation).     

Superconvergence of H 1-Galerkin mixed finite element methods for parabolic problems

In this article, we study the semidiscrete H ¹-Galerkin mixed finite element method for parabolic problems over rectangular partitions. The well-known optimal order error estimate in the L ²-norm for the flux is of order 𝒪(h ^k+1) (SIAM J. Numer. Anal. 35 (2), (1998), pp. 712–727), where k ≥ 1 is the order of the approximating polynomials employed in the Raviart–Thomas element. We derive a superconvergence estimate of order 𝒪(h ^k+3) between the H ¹-Galerkin mixed finite element approximation and an appropriately defined local projection of the flux variable when k ≥ 1. A the new approximate solution for the flux with superconvergence of order 𝒪(h ^k+3) is realized via a postprocessing technique using local projection methods.     

Uniform Elliptic Estimate for an Infinite Plate in Linear Elasticity

Abstract

We present a new study of linear elasticity for an infinite three-dimensional plate of finite thickness Ω = ?² × (?1, 1). We first characterize the kernel of the operator of elasticity as polynomials which can be build from the kernel of the classical Kirchhoff–Love model of plate. Using this characterization, we get optimal uniform elliptic estimates W ^{k, p} , C ^{k, α} on the solution as a function of the exterior forces. We also give an interior estimate.     

Block-Transitive Point-Imprimitive t-Designs

We study block-transitive point-imprimitive t–(v, k, ) designs. It was showed by Cameron and Praeger that in such designs t = 2 or 3. In 1989, Delandtsheer and Doyen proved that a block-transitive point-imprimitive 2-design satisfies v (( ^k ₂)–1)². In this paper, we give a proof of the Cameron–Praeger conjecture which states that for t = 3 the stronger inequality v ( ^k ₂)+1 holds. We find two infinite families of 3-designs for which this bound is met. We also show that the above designs cannot have = 1, and that = 2 is possible only if v attains its maximal value, and various other restrictions are met.     

A Note on Factorial 𝔸1-Forms with Retractions

Let k be a field. In this article, we will show that any factorial 𝔸¹-form A over any k-algebra R is trivial if A has a retraction to R.     

On nonautonomous linear systems of differential and difference equations with -symmetric coefficient matrices

Let denote the set of continuous n×n matrices on an interval . We say that is a nontrivial k-involution if where ζ=e^-2πi/k, d₀+d₁++d_k-1=n, and with . We say that is R-symmetric if R(t)A(t)R^-1(t)=A(t), , and we show that if A is R-symmetric then solving x^′=A(t)x or x^′=A(t)x+f(t) reduces to solving k independent d_ℓ×d_ℓ systems, 0ℓk-1. We consider the asymptotic behavior of the solutions in the case where . Finally, we sketch analogous results for linear systems of difference equations.     

New pairs of -sequences with 4-level cross-correlation

Let ω be a primitive element of GF(2ⁿ), where . Let d=(2^2k+2^s+1-2^k+1-1)/(2^s-1), where n=2k, and s is such that 2s divides k. We prove that the binary m-sequences s(t)=tr(ω^t) and s(dt) have a four-level cross-correlation function and give the distribution of the values.     

A 2 + ɛ approximation algorithm for the k-MST problem

For any ɛ > 0 we give a (2 + ɛ)-approximation algorithm for the problem of finding a minimum tree spanning any k vertices in a graph (k-MST), improving a 3-approximation algorithm by Garg [10]. As in [10] the algorithm extends to a (2 + ɛ)-approximation algorithm for the minimum tour that visits any k vertices, provided the edge costs satisfy the triangle inequality. Research supported by NSF CAREER award NSF CCR-9502747, NSF grants CCR-0205594 and CCR-0098180, an Alfred Sloan Fellowship, and a Packard Fellowship. Research supported by an NSERC Discovery grant.     

Property (X) for Second-Order Nonlinear Differential Equations of Generalized Euler Type

In this paper the generalized nonlinear Euler differential equation t²k(tu′)u″ + t(f(u)+ k(tu′))u′ + g(u) = 0 is considered. Here the functions f(u), g(u) and k(u) satisfy smoothness conditions which guarantee the uniqueness of solutions of initial value problems, however, no conditions of sub(super) linearity are assumed. We present some necessary and sufficient conditions and some tests for the equivalent planar system to have or fail to have property (X⁺), which is very important for the existence of periodic solutions and oscillation theory.     

A filtration of -Catalan numbers

The operator of F. Bergeron, Garsia, Haiman and Tesler [F. Bergeron, A. Garsia, M. Haiman, G. Tesler, Identities and positivity conjectures for some remarkable operators in the theory of symmetric functions, Methods Appl. Anal. 6 (1999) 363–420] acting on the k-Schur functions [L. Lapointe, A. Lascoux, J. Morse, Tableaux atoms and a new Macdonald positivity conjecture, Duke Math. J. 116 (2003) 103–146; L. Lapointe, J. Morse, Schur functions analogs for a filtration of the symmetric functions space, J. Combin. Theory Ser. A 101 (2003) 191–224; L. Lapointe, J. Morse, Tableaux on k+1-cores, reduced words for affine permutations and k-Schur expansion, J. Combin. Theory Ser. A 112 (2005) 44–81] indexed by a single column has a coefficient in the expansion which is an analogue of the (q,t)-Catalan number with a level k. When k divides n we conjecture a representation theoretical model in this case such that the graded dimensions of the module are the coefficients of the (q,t)-Catalan polynomials of level k. When the parameter t is set to 1, the Catalan numbers of level k are shown to count the number of Dyck paths that lie below a certain Dyck path with q counting the area of the path.     

Sharp estimation of the almost-sure Lyapunov exponent for the Anderson model in continuous space

In this article we study the exponential behavior of the continuous stochastic Anderson model, i.e. the solution of the stochastic partial differential equation u(t,x)=1+∫₀^tκΔ_xu (s,x) ds+∫₀^t W(ds,x) u (s,x), when the spatial parameter x is continuous, specifically x∈R, and W is a Gaussian field on R₊×R that is Brownian in time, but whose spatial distribution is widely unrestricted. We give a partial existence result of the Lyapunov exponent defined as lim_t→∞t⁻¹ log u(t,x). Furthermore, we find upper and lower bounds for lim sup_t→∞t⁻¹ log u(t,x) and lim inf_t→∞t⁻¹ log u(t,x) respectively, as functions of the diffusion constant κ which depend on the regularity of W in x. Our bounds are sharper, work for a wider range of regularity scales, and are significantly easier to prove than all previously known results. When the uniform modulus of continuity of the process W is in the logarithmic scale, our bounds are optimal. This author's research partially supported by NSF grant no. : 0204999     

Algorithms for finding distance-edge-colorings of graphs

For a bounded integer ℓ, we wish to color all edges of a graph G so that any two edges within distance ℓ have different colors. Such a coloring is called a distance-edge-coloring or an ℓ-edge-coloring of G. The distance-edge-coloring problem is to compute the minimum number of colors required for a distance-edge-coloring of a given graph G. A partial k-tree is a graph with tree-width bounded by a fixed constant k. We first present a polynomial-time exact algorithm to solve the problem for partial k-trees, and then give a polynomial-time 2-approximation algorithm for planar graphs.     

Regularity properties of isometric immersions

We show that an isometric immersion y from a two-dimensional domain S with C^1,α boundary to ℝ³ which belongs to the critical Sobolev space W^2,2 is C¹ up to the boundary. More generally C¹ regularity up to the boundary holds for all scalar functions V ∈ W^2,2(S) which satisfy det ∇²V=0. If S has only Lipschitz boundary we show such V can be approximated in W^2,2 by functions V_k ∈ W^1,∞∩W^2,2 with det ∇²V_k=0.     

Evolution in a Gaussian Random Field

We consider an evolution process in a Gaussian random field V(q) with the mean ‹V(q)› = 0 and the correlation function W(|q – q|) ‹V(q)V(q)›, where q ^d and d is the dimension of the Euclidean space ^d . For the value ‹G(q,t;q ₀)›, t > 0, of the Green's function of the evolution equation averaged over all realizations of the random field, we use the Feynman–Kac formula to establish an integral equation that is invariant with respect to a continuous renormalization group. This invariance property allows using the renormalization group method to find an asymptotic expression for ‹G(q,t;q ₀)› as |q – q ₀| and t .     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Solutions to Second-order Three-point Problems on Time Scales

In the first part of the paper, we establish the existence of multiple positive solutions to the nonlinear second-order three-point boundary value problem on time scales, u ^?? (t)+f(t,u(t))=0, u(0)=0, 𝛂u(𝛈)=u(T) for t∈[0,T]?╥, where ╥ is a time scale, 𝛂>0, η∈(0,p(T)?╥, and 𝛂η<T. We employ the Leggett-Williams fixed-point theorem in an appropriate cone to guarantee the existence of at least three positive solutions to this nonlinear problem. In the second part, we establish the existence of at least one positive solution to the related problem u ^??(t)+a(t)f(u(t))=0, u(0)=0, 𝛂u(η)=u(T), again using a fixed-point theorem for operators.     

On coercivity and irregularity for some nonlinear degenerate elliptic systems

We study the ‘universal’ strong coercivity problem for variational integrals of degenerate p-Laplacian type by mixing finitely many homogenous systems. We establish the equivalence between universal p-coercivity and a generalized notion of p-quasiconvex extreme points. We then give sufficient conditions and counterexamples for universal coercivity. In the case of noncoercive systems we give examples showing that the corresponding variational integral may have infinitely many non-trivial minimizers in W ₀^1,p which are nowhere C ¹ on their supports. We also give examples of universally p-coercive variational integrals in W ₀^1,p for p ⩾ with L ^∞ coefficients for which uniqueminimizers under affine boundary conditions are nowhere C ¹.      

General Form of Non-Symmetric Spin Models

A spin model (for link invariants) is a square matrix W with non-zero complex entries which satisfies certain axioms. Recently (Jaeger and Nomura, J. Alg. Combin. 10 (1999), 241–278) it was shown that ^t WW ^–1 is a permutation matrix (the order of this permutation matrix is called the index of W), and a general form was given for spin models of index 2. In the present paper, we generalize this general form to an arbitrary index m. In particular, we give a simple form of W when m is a prime number.     

Twisted loop groups and their affine flag varieties

We develop a theory of affine flag varieties and of their Schubert varieties for reductive groups over a Laurent power series local field k((t)) with k a perfect field. This can be viewed as a generalization of the theory of affine flag varieties for loop groups to a “twisted case”; a consequence of our results is that our construction also includes the flag varieties for Kac–Moody Lie algebras of affine type. We also give a coherence conjecture on the dimensions of the spaces of global sections of the natural ample line bundles on the partial flag varieties attached to a fixed group over k((t)) and some applications to local models of Shimura varieties.