L∞-upper bound of L2-projections onto splines at a geometric mesh

For an integer k 1 and a geometric mesh (qⁱ)_−∞^∞ with q ε (0, ∞), let M_i,k(x): = k[q^{i + k}](· − x)₊^{k − 1}, N_i,k(x): = (q^{i + k} − qⁱM_i,k(x)/k, and let A_k(q) be the Gram matrix (∝M_i,kN_j,k)_i,jεz. It is known that A_k(q)⁻¹_∞ is bounded independently of q. In this paper it is shown that A_k(q)⁻¹_∞ is strictly decreasing for q in [1, ∞). In particular, the sharp upper bound and lower bound for A_k (q)⁻¹ are obtained: for all q ε (0, ∞).     

On the structure of cluster point sets of iteratively generated sequences

LetX be a closed subset of a topological spaceF; leta(·) be a continuous map fromX intoX; let {x _i} be a sequence generated iteratively bya(·) fromx ₀ inX, i.e.,x _i+1 =a(x _i),i=0, 1, 2, ...; and letQ(x ₀) be the cluster point set of {x _i}. In this paper, we prove that, if there exists a pointz inQ(x ₀) such that (i)z is isolated with respect toQ(x ₀), (ii)z is a periodic point ofa(·) of periodp, and (iii)z possesses a sequentially compact neighborhood, then (iv)Q(x ₀) containsp points, (v) the sequence {x _i} is contained in a sequentially compact set, and (vi) every point inQ(x ₀) possesses properties (i) and (ii). The application of the preceding results to the caseF=E ⁿ leads to the following: (vii) ifQ(x ₀) contains one and only one point, then {x _i} converges; (viii) ifQ(x ₀) contains a finite number of points, then {x _i} is bounded; and (ix) ifQ(x ₀) containsp points, then every point inQ(x ₀) is a periodic point ofa(·) of periodp.     

Some <Emphasis Type="Italic">I</Emphasis>-convergent sequence spaces defined by Orlicz functions

In this article we introduce the sequence spaces cI(M),c0I(M),mI(M) and m0I(M) using the Orlicz function M.We study some of the properties like solid,symmetric,sequence algebra,etc and prove some inclusion relations.     

Representations of deformed preprojective algebras and quantum groups

Let (Γ,I) be the bound quiver of a cyclic quiver whose vertices correspond to the Abelian group Zd. In this paper, we list all indecomposable representations of (Γ,I) and give the conditions that those representations of them can be extended to representations of deformed preprojective algebra Πλ(Γ,I). It is shown that those representations given by extending indecomposable representations of (Γ,I) are all simple representations of Πλ(Γ,I). Therefore, it is concluded that all simple representa-tions of rest...     

An application of L-functions of imaginary quadratic fields

Let F₁(x, y),…, F_2h+1(x, y) be the representatives of equivalent classes of positive definite binary quadratic forms of discriminant ?q (q is a prime such that q ≡ 3 mod 4) with integer coefficients, then the number of integer solutions of F_i(x, y) = n (i = 1,…, 2h + 1) can be calculated for each natural number n using L-functions of imaginary quadratic field $\text{Q}$((?q)^1/2).     

A generalized numerical range: the range of a constrained sesquilinear form

Let M_n denote the algebra of all nxn complex matrices. For a given q?C with ∣Q∣≤1, we define and denote the q-numerical range of A?M_n by

W_q (A)={x ^? Ay:x,y?C ⁿ , _{x ^? x?y ^? y=1,x ^? y=q} }

The q-numerical radius is then given by r_q (A)=sup{∣z∣:z?W _q (A)}. When q=1,W _q (A) and r _q (A) reduce to the classical numerical range of A and the classical numerical radius of A, respectively. when q≠0, another interesting quantity associated with W _q (A) is the inner q-numerical radius defined by [rtilde] _q (A)=inf{∣z∣:z?W _q (A)}

In this paper, we describe some basic properties of W _q (A), extending known results on the classical numerical range. We also study the properties of r_q considered as a norm (seminorm if q=0) on M_n .Finally, we characterize those linear operators L on M_n that leave W_q ,r_q of [rtilde]_q invariant. Extension of some of our results to the infinite dimensional case is discussed, and open problems are mentioned.     

Deformation of certain quadratic algebras and the corresponding quantum semigroups

LetV be a finite-dimensional vector space. Given a decompositionV⊗V=⊕ _i=1,…n I _i , definen quadratic algebrasQ(V, J _(m)) whereJ _(m)=⊕ _i≠m I _i . There is also a quantum semigroupM(V; I ₁, …,I _n ) which acts on all these quadratic algebras. The decomposition determines as well a family of associative subalgebras of End (V ^⊗k ), which we denote byA _k =A _k (I ₁,…,I _n ),k≥2. In the classical case, whenV⊗V decomposes into the symmetric and skewsymmetric tensors,A _k coincides with the image of the representation of the group algebra of the symmetric groupS _k in End(V ^⊗k ). LetI _i,h be deformations of the subspacesI _i . In this paper we give a criteria for flatness of the corresponding deformations of the quadratic algebrasQ(V, J _(m),h ) and the quantum semigroupM(V;I _1,h ,…,I _n,h ). It says that the deformations will be flat if the algebrasA _k (I ₁, …,I _n ) are semisimple and under the deformation their dimension does not change. Usually, the decomposition intoI _i is defined by a given semisimple operatorS onV⊗V, for whichI _i are its eigensubspaces, and the deformationsI _i,h are defined by a deformationS _h ofS. We consider the cases whenS _h is a deformation of Hecke or Birman-Wenzl symmetry, and also the case whenS _h is the Yang-Baxter operator which appears by a representation of the Drinfeld-Jimbo quantum group. Applying the flatness criteria we prove that in all these cases we obtain flat deformations of the quadratic algebras and the corresponding quantum semigroups. Partially supported by a grant from the Israel Science Foundation administered by the Israel Academy of Sciences.     

Using a Mixed Integer Quadratic Programming Solver for the Unconstrained Quadratic 0-1 Problem

In this paper, we consider problem (P) of minimizing a quadratic function q(x)=x ^t Qx+c ^t x of binary variables. Our main idea is to use the recent Mixed Integer Quadratic Programming (MIQP) solvers. But, for this, we have to first convexify the objective function q(x). A classical trick is to raise up the diagonal entries of Q by a vector u until (Q+diag(u)) is positive semidefinite. Then, using the fact that x _i ²=x _i, we can obtain an equivalent convex objective function, which can then be handled by an MIQP solver. Hence, computing a suitable vector u constitutes a preprocessing phase in this exact solution method. We devise two different preprocessing methods. The first one is straightforward and consists in computing the smallest eigenvalue of Q. In the second method, vector u is obtained once a classical SDP relaxation of (P) is solved. We carry out computational tests using the generator of (Pardalos and Rodgers, 1990) and we compare our two solution methods to several other exact solution methods. Furthermore, we report computational results for the max-cut problem.     

Multidimensional version of M. A. Krasnoseľskii’s generalized contraction principle

Let M be a complete K-metric space with n-dimensional metric ρ(x, y): M × M → R ⁿ , where K is the cone of nonnegative vectors in R ⁿ . A mapping F: M → M is called a Q-contraction if ρ (Fx,Fy) ⩽ Qρ (x,y), where Q: K → K is a semi-additive absolutely stable mapping. A Q-contraction always has a unique fixed point x* in M, and ρ(x*,a) ⩽ (I - Q)^-1 ρ(Fa, a) for every point a in M. The point x* can be obtained by the successive approximation method x _k = Fx _k-1, k = 1, 2,..., starting from an arbitrary point x ₀ in M, and the following error estimates hold: ρ (x*, x _k ) ⩽ Q ^k (I - Q)^-1ρ(x ₁, _x ⁰) ⩽ (I - Q)^-1 Q ^k ρ(x ₁, x ₀), k = 1, 2,.... Generally the mappings (I - Q)^-1 and Q ^k do not commute. For n = 1, the result is close to M. A. Krasnosel’skii’s generalized contraction principle.     

The fundamental groups of a triangular algebra

A finite dimensional algebra A (over an algebraically closed field) is called triangular if its ordinary quiver has no oriented cycles. To each presentation (Q I) of A is attached a fundamental group π₁(Q I), and A is called simply connected if π₁(Q I) is trivial for every presentation of A. In this paper, we provide tools for computations with the fundamental groups, as well as criteria for simple connectedness. We find relations between the fundamental groups of A and the first Hochschild cohomology H ¹ (A A).     

On the bounded version of Hilbert's tenth problem

 The paper establishes lower bounds on the provability of 𝒟=NP and the MRDP theorem in weak fragments of arithmetic. The theory I ⁵ E ₁ is shown to be unable to prove 𝒟=NP. This non-provability result is used to show that I ⁵ E ₁ cannot prove the MRDP theorem. On the other hand it is shown that I ¹ E ₁ proves 𝒟 contains all predicates of the form (∀i≤|b|)P(i,x)^Q(i,x) where ^ is =, <, or ≤, and I ⁰ E ₁ proves 𝒟 contains all predicates of the form (∀i≤b)P(i,x)=Q(i,x). Here P and Q are polynomials. A conjecture is made that 𝒟 contains NLOGTIME. However, it is shown that this conjecture would not be sufficient to imply 𝒟=N P. Weak reductions to equality are then considered as a way of showing 𝒟=NP. It is shown that the bit-wise less than predicate, ≤₂, and equality are both co-NLOGTIME complete under FDLOGTIME reductions. This is used to show that if the FDLOGTIME functions are definable in 𝒟 then 𝒟=N P. Received: 13 July 2001 / Revised version: 9 April 2002 / Published online: 19 December 2002 Key words or phrases: Bounded Arithmetic – Bounded Diophantine Complexity     

On the ternary goldbach problem with primes in independent arithmetic progressions

We show that for every fixed A > 0 and θ > 0 there is a ϑ = ϑ(A, θ) > 0 with the following property. Let n be odd and sufficiently large, and let Q ₁ = Q ₂:= n ^1/2(log n)^−ϑ and Q ₃:= (log n) ^θ . Then for all q ₃ ≦ Q ₃, all reduced residues a ₃ mod q ₃, almost all q ₂ ≦ Q ₂, all admissible residues a ₂ mod q ₂, almost all q ₁ ≦ Q ₁ and all admissible residues a ₁ mod q ₁, there exists a representation n = p ₁ + p ₂ + p ₃ with primes p _i ≡ a _i (q _i ), i = 1, 2, 3.      

On algebraic relations for Ramanujan’s functions

Let P,Q, and R denote the Ramanujan Eisenstein series. We compute algebraic relations in terms of P(q ⁱ ) (i=1,2,3,4), Q(q ⁱ ) (i=1,2,3), and R(q ⁱ ) (i=1,2,3). For complex algebraic numbers q with 0<|q|<1 we prove the algebraic independence over ? of any three-element subset of {P(q),P(q ²),P(q ³),P(q ⁴)} and of any two-element subset of {Q(q),Q(q ²),Q(q ³)} and {R(q),R(q ²),R(q ³)}, respectively. For all the results we use some expressions of $P(q^{i_{1}}), Q(q^{i_{2}}) $ , and $R(q^{i_{3}}) $ in terms of theta constants. Computer-assisted computations of functional determinants and resultants are essential parts of our proofs.     

Generalized Bernstein Polynomials

We introduce polynomials B ⁿ _i (x;ω|q), depending on two parameters q and ω, which generalize classical Bernstein polynomials, discrete Bernstein polynomials defined by Sablonnière, as well as q-Bernstein polynomials introduced by Phillips. Basic properties of the new polynomials are given. Also, formulas relating B ⁿ _i (x;ω|q), big q-Jacobi and q-Hahn (or dual q-Hahn) polynomials are presented. This revised version was published online in July 2006 with corrections to the Cover Date.     

Some path properties of generalized Lévy sheet

Let X(t) be an N parameter generalized Lévy sheet taking values in ℝ^d with a lower index α, ℜ = {(s, t] = ∏ _i=1 ^N (s _i, t _i], s _i < t _i}, E(x, Q) = {t ∈ Q: X(t) = x}, Q ∈ ℜ be the level set of X at x and X(Q) = {x: ∃t ∈ Q such that X(t) = x} be the image of X on Q. In this paper, the problems of the existence and increment size of the local times for X(t) are studied. In addition, the Hausdorff dimension of E(x, Q) and the upper bound of a uniform dimension for X(Q) are also established.     

A Finite Algorithm for Solving Infinite Dimensional Optimization Problems

We consider the general optimization problem (P) of selecting a continuous function x over a -compact Hausdorff space T to a metric space A, from a feasible region X of such functions, so as to minimize a functional c on X. We require that X consist of a closed equicontinuous family of functions lying in the product (over T) of compact subsets Y _t of A. (An important special case is the optimal control problem of finding a continuous time control function x that minimizes its associated discounted cost c(x) over the infinite horizon.) Relative to the uniform-on-compacta topology on the function space C(T,A) of continuous functions from T to A, the feasible region X is compact. Thus optimal solutions x ^* to (P) exist under the assumption that c is continuous. We wish to approximate such an x ^* by optimal solutions to a net {P _i }, iI, of approximating problems of the form min_{xX i} c i(x) for each iI, where (1) the net of sets {X _i } _I converges to X in the sense of Kuratowski and (2) the net {c _i } _I of functions converges to c uniformly on X. We show that for large i, any optimal solution x ^* _i to the approximating problem (P _i ) arbitrarily well approximates some optimal solution x ^* to (P). It follows that if (P) is well-posed, i.e., limsupX _i ^* is a singleton {x ^*}, then any net {x _i ^*} _I of (P _i )-optimal solutions converges in C(T,A) to x ^*. For this case, we construct a finite algorithm with the following property: given any prespecified error and any compact subset Q of T, our algorithm computes an i in I and an associated x _i ^* in X _i ^* which is within of x ^* on Q. We illustrate the theory and algorithm with a problem in continuous time production control over an infinite horizon.     

Decompositions of Quotient Rings and m-Power Commuting Maps

Let R be a semiprime ring with symmetric Martindale quotient ring Q, n ≥ 2 and let f(X) = X ⁿ h(X), where h(X) is a polynomial over the ring of integers with h(0) = ±1. Then there is a ring decomposition Q = Q ₁ ⊕ Q ₂ ⊕ Q ₃ such that Q ₁ is a ring satisfying S _2n?2, the standard identity of degree 2n ? 2, Q ₂ ? M _n (E) for some commutative regular self-injective ring E such that, for some fixed q > 1, x ^q  = x for all x ∈ E, and Q ₃ is a both faithful S _2n?2-free and faithful f-free ring. Applying the theorem, we characterize m-power commuting maps, which are defined by linear generalized differential polynomials, on a semiprime ring.     

Chow group of 1-cycles on the moduli space of vector bundles of rank 2 over a curve

Let X be a non-singular complex projective curve of genus ≥3. Choose a point x ∈ X. Let M_x be the moduli space of stable bundles of rank 2 with determinant We prove that the Chow group CH^Q₁(M_x) of 1-cycles on M_x with rational coefficients is isomorphic to CH^Q₀(X). By studying the rational curves on M_x, it is not difficult to see that there exits a natural homomorphism CH₀(J)→CH₁(M_x) where J denotes the Jacobian of X. The crucial point is to show that this homomorphism induces a homomorphism CH₀(X)→CH₁(M_x), namely, to go from the infinite dimensional object CH₀(J) to the finite dimensional object CH₀(X). This is proved by relating the degeneration of Hecke curves on M_x to the second term I^*2 of Bloch's filtration on CH₀(J). Insong Choe was supported by KOSEF (R01-2003-000-11634-0).     

Unbounded divergence of simple quadrature formulas

Given a sequence of real or complex coefficients c_i and a sequence of distinct nodes t_i in a compact interval T, we prove the divergence and the unbounded divergence on superdense sets in the space C(T) of the simple quadrature formulas ∝_Tx(t)du(t) = Q_n(x) + R_n(x) and ∝_Tw(t)x(t)dt = Q_n(x) + R_n(x), where Q_n(x)=∑_i=1^m_n c_ix(t_i), ε C(T).The divergence (not certainly unbounded) for at most one continuous function of the first simple quadrature formula, with m_n = n and u(t) = t, was established by P. J. Davis in 1953.     

Varietà di Segre e ovoidi dello spazio polare Q+(7, q)

Summary In this paper, for q even, we construct an ovoid O ₃ and a spread S of the finite classical polar space Q⁺(7, q) determinated by a hyperbolic quadric Q⁺ of PG(7, q) such that there is a subgroup of PGO ₊ ⁸ (q) isomorphic to PGL₂(q ³), which maps O ₃ in itself and S in S and is 3-transitive on O ₃ and on S; for q>2, S is not a Desarguesian spread of Q⁺(7, q) and O ₃ is a Desarguesian ovoid.

---

Varietà di Segre e ovoidi dello spazio polare Q⁺(7, q)

---

Al Prof. Adriano Barlotti in occasione del suo 60^o compleanno