On Hong’s conjecture for power LCM matrices

A set S={x ₁,...,x _n } of n distinct positive integers is said to be gcd-closed if (x _i , x _j ) ∈ S for all 1 ⩽ i, j ⩽ n. Shaofang Hong conjectured in 2002 that for a given positive integer t there is a positive integer k(t) depending only on t, such that if n ⩽ k(t), then the power LCM matrix ([x _i , x _j ] ^t ) defined on any gcd-closed set S={x ₁,...,x _n } is nonsingular, but for n ⩾ k(t) + 1, there exists a gcd-closed set S={x ₁,...,x _n } such that the power LCM matrix ([x _i , x _j ] ^t ) on S is singular. In 1996, Hong proved k(1) = 7 and noted k(t) ⩾ 7 for all t ⩾ 2. This paper develops Hong’s method and provides a new idea to calculate the determinant of the LCM matrix on a gcd-closed set and proves that k(t) ⩾ 8 for all t ⩾ 2. We further prove that k(t) ⩾ 9 iff a special Diophantine equation, which we call the LCM equation, has no t-th power solution and conjecture that k(t) = 8 for all t ⩾ 2, namely, the LCM equation has t-th power solution for all t ⩾ 2.     

DNA labelled graphs with DNA computing

Let k≥2, 1≤i≤k andα≥1 be three integers. For any multiset which consists of some k-long oligonucleotides, a DNA labelled graph is defined as follows: each oligonucleotide from the multiset becomes a point; two points are connected by an arc from the first point to the second one if the i rightmost uucleotides of the first point overlap with the i leftmost nucleotides of the second one. We say that a directed graph D can be(k, i;α)-labelled if it is possible to assign a label(l_1(x),..., l_k(x))to each point x of D such that l_j(x)∈{0,...,a-1}for any j∈{1,...,k}and(x,y)∈E(D)if and only if(l_k-i 1(x),..., l_k(x))=(l_1(y),..., l_i(y)). By the biological background, a directed graph is a DNA labelled graph if there exist two integers k, i such that it is(k, i; 4)-labelled. In this paper, a detailed discussion of DNA labelled graphs is given. Firstly, we study the relationship between DNA labelled graphs and some existing directed graph classes. Secondly, it is shown that for any DNA labelled graph, there exists a positive integer i such that it is(2i, i; 4)-labelled. Furthermore, the smallest i is determined, and a polynomial-time algorithm is introduced to give a(2i, i; 4)-labelling for a given DNA labelled graph. Finally, a DNA algorithm is given to find all paths from one given point to another in a(2i, i; 4)-labelled directed graph.     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Complexity of solution of linear systems in rings of differential operators

Suppose given a k₁×k₂ system of linear equations over the Weyl algebraA _n = F[X₁,...X₁,D₄,...,D_n] or over the algebra of differential operatorsK _n = F[X₁,...X₁,D₄,...,D_n], where the degree of each coefficient of the system is less than d. It is proved that if the system is solvable overA _n, orK _n, respectively, then it has a solution of degree at most (k, d)²⁰⁽ⁿ⁾.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 192, pp. 47–59, 1991.     

Solution of generalized bisymmetry type equations without surjectivity assumptions

Summary. The solution of the rectangular m ×n m \times n generalized bisymmetry equation¶¶F(G₁(x₁₁,...,x_1n),..., G_m(x_m1,...,x_mn))     =     G(F₁(x₁₁,..., x_m1),...,  F_n(x_1n,...,x_mn) ) F\bigl(G_1(x_{11},\dots,x_{1n}),\dots,\ G_m(x_{m1},\dots,x_{mn})\bigr) \quad = \quad G\bigl(F_1(x_{11},\dots, x_{m1}),\dots, \ F_n(x_{1n},\dots,x_{mn}) \bigr) (A)¶is presented assuming that the functions F, G_j, G and F_i (j = 1, ... , m , i = 1, ... , n , m S 2, n S 2) are real valued and defined on the Cartesian product of real intervals, and they are continuous and strictly monotonic in each real variable. Equation (A) is reduced to some special bisymmetry type equations by using induction methods. No surjectivity assumptions are made.     

The Embedding Theorem for Cantor Varieties

Let m and n be fixed integers, with 1 m < n. A Cantor variety C _m,n is a variety of algebras with m n-ary and n m-ary basic operations which is defined in a signature ={g₁,...,g_m,f₁,...,f_n} by the identities f_ig₁x₁,...,x_n),...,g_mx₁,...,x_n) = x_i, _i=1,...,n, g_jf₁x₁,...,x_m),...,f_nx₁,...,x_m)) = x_j, _j=1,...,m. We prove the following: (a) every partial C _m,n-algebra A is isomorphically embeddable in the algebra G= A; S(A) of C _m,n; (b) for every finitely presented algebra G= A; S in C _m,n, the word problem is decidable; (c) for finitely presented algebras in _{C m}, the occurrence problem is decidable; (d) _{C m,n} has a hereditarily undecidable elementary theory.     

Tensor products and dimensions of simple modules for symmetric groups

LetK be an algebraically closed field of characteristic,p>0 and letD ^λ be the simple modules of the symmetric groupS _r overK where λ is a p-regular partition ofr. The dimensions ofD ^λ for λ with at mostn parts are the same as the multiplicities of direct summands ofD ^⊗r whereE is the natural module for the groupGL _n (K). Whenn=2 we determine generating functions for these multiplicities and hence for the dimensions ofD ^λ for all partitions λ with two parts. These can be expressed as rational functions of Chebyshev polynomials; and we obtain explicit formulae for the coefficients.     

The Hilbert Scheme Parameterizing Finite Length Subschemes of the Line with Support at the Origin

We introduce symmetrizing operators of the polynomial ring A[x] in the variable x over a ring A. When A is an algebra over a field k these operators are used to characterize the monic polynomials F(x) of degree n in A[x] such that A _k k[x]_(x)/(F(x)) is a free A-module of rank n. We use the characterization to determine the Hilbert scheme parameterizing subschemes of length n of k[x]_(x).     

On pair correlations and Hausdorff dimension

We consider a system of “generalised linear forms” defined at a point x = (x _{(i, j)}) in a subset of R ^d by

On Spectral Minimal Partitions: A Survey

Given a bounded open set Ω in \mathbbRⁿ{\mathbb{R}^n} (or a Riemannian manifold) and a partition of Ω by k open sets D _j , we can consider the quantity max _j λ(D _j ) where λ(D _j ) is the groundstate energy of the Dirichlet realization of the Laplacian in D _j . If we denote by \mathfrakL_k(W){\mathfrak{L}_k(\Omega)} the infimum over all the k-partitions of max _j λ(D _j ), a minimal (spectral) k-partition is then a partition which realizes the infimum. Although the analysis is rather standard when k = 2 (we find the nodal domains of a second eigenfunction), the analysis of higher k’s becomes non trivial and quite interesting.     

Linear preservers of decomposable symmetric tensors

Let U be an n-dimensional vector space over an algebraically closed field F. Let U(^m) denote the mth symmetric power of U. For each positive integer k≤min{m,n}, let D_k denote the set of all nonzero decomposable elements x₁ …x_m in U(^m) such that dim(x₁ …x_m ) = k and E_k denote the set of all decomposable elements x₁ …x_m in U(^m) such that dim(x₁ …x_m ) ≤ k. In this paper we first show that E_k is an algebraic variety with D_k as a dense subset and determine the dimension of E_k . We next use these results to study the structure of linear mappings T on U^m such that T(D_k ) ? D_k or T(E_k ) ? E_k for some fixed k.     

Decomposability and embeddability of discretely Henselian division algebras

LetF be a discretely Henselian field of rank one, with residue fieldk a number field, and letD/F be anF-division algebra. We conduct an exhaustive study of the decomposability of an arbitraryD. Specifically, we prove the following:D has a semiramified (SR)F-division subalgebra if and only ifD has a totally ramified (TR) subfield. However, there may be TR subfields not contained in any SR subalgebra. IfD has prime-power index, thenD is decomposable if and only ifD properly contains a SR division subalgebra. Equivalently,D has a decomposable Sylow factor if and only if ii(D ^⊗n )≠1/n i(D) for somen dividing the period ofD, that is, if and only if the index fails to mimic the behavior of the period ofD. There exists indecomposableD with prime-power periodp ² and indexp ³. Every proper division subalgebra ofD is indecomposable. Conversely, every indecomposableF-division algebra ofp-power index embeds properly in someD ofp-power index if and only ifk does not have a certain strengthened form of class field theory’s Special Case. Semiramified division algebras and division algebras of odd index always properly embed. Finally, these results apply to an extent overk(t), and we prove that there exist indecomposablek(t)-division algebras of periodp ² and indexp ³, solving an open problem of Saltman. Dedicated to the memory of Amitsur Research supported in part by NSF Grant DMS-9100148.     

Analytic properties of conditional curvatures of convex hypersurfaces and the dirichlet problem for the Monge-Ampère equation

The existence and uniqueness of a surface with given geometric characteristics is one of the important topical problems of global differential geometry. By stating this problem in terms of analysis, we arrive at second-order elliptic and parabolic partial differential equations. In the present paper we consider generalized solutions of the Monge-Ampère equation ||z _ij || = ϕ(x, z, p) in Λ ⁿ , wherez = z(x ₁,...,z _n ) is a convex function,p = (p ₁,...,P _n) = (∂z/∂x ₁,...,ϖz/ϖx _n), andz _ij =ϖ ² z/ϖx _i ϖx _j. We consider the Cayley-Klein model of the space Λ ⁿ and use a method based on fixed point principle for Banach spaces. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 763–768, November, 1998.     

Quelques théorèmes sur la structure complexe

We prove the following result: If the function Max (log|ω -f ₁(z)|, ..., log|ω -f _k(z)|) is plurisubharmonic in the open setD×ℂ (D open of ℂ ⁿ ), thenf ₁,...,f _k are analytic functions iff ₁,...,f _k are continuous functions onD(k≥2). We prove also some other results.     

On the law of the iterated logarithm for permuted lacunary sequences

It is known that for any smooth periodic function f the sequence (f(2 ^k x)) _k≥1 behaves like a sequence of i.i.d. random variables; for example, it satisfies the central limit theorem and the law of the iterated logarithm. Recently Fukuyama showed that permuting (f(2 ^k x)) _k≥1 can ruin the validity of the law of the iterated logarithm, a very surprising result. In this paper we present an optimal condition on (n _k ) _k≥1, formulated in terms of the number of solutions of certain Diophantine equations, which ensures the validity of the law of the iterated logarithm for any permutation of the sequence (f(n _k x)) _k≥1. A similar result is proved for the discrepancy of the sequence ({n _k x}) _k≥1, where {·} denotes the fractional part.     

Sets of Double and Triple Weights of Trees

Let T be a weighted tree with n leaves numbered by the set {1, . . . , n}. Let D _{i, j} (T) be the distance between the leaves i and j. Let D_i,j,k(T) = \frac12(D_i,j(T)+D_j,k(T)+D_i,k(T)){{D_{i,j,k}(T) = \frac{1}{2}(D_{i,j}(T)+D_{j,k}(T)+D_{i,k}(T))}} . We will call such numbers “triple weights” of the tree. In this paper, we give a characterization, different from the previous ones, for sets indexed by 2-subsets of a n-set to be double weights of a tree. By using the same ideas, we find also necessary and sufficient conditions for a set of real numbers indexed by 3-subsets of an n-set to be the set of the triple weights of a tree with n leaves. Besides we propose a slight modification of Saitou-Nei’s Neighbour-Joining algorithm to reconstruct trees from the data D _{i, j} .     

A note on the multiplicity in factor ring

Let (R,m) = k[x ₁,..., x _n ](x ₁,...,x _n ) be a local polynomial ring (k being an algebraically closed field), and Q:= (F ₁,..., F _r )R be a primary ideal in R with respect to a maximal ideal m ⊂ R. In this short note we give a formula for the multiplicity e ₀ (QR/(F ₁)R, R/(F ₁)R). The author was supported by the grant No. 1/0262/03) of the Slovak Ministry of Education.     

On tense modules for extended algebras over rational fields

Let k(x) be the field of fractions of the polynomial algebra k[x] over the field k. We prove that, for an arbitrary finite dimensional k-algebra Λ, any finitely generated Λ ⊗_k k(x)-module M such that its minimal projective presentation admits no non-trivial selfextension is of the form M ≅ N^k(x), for some finitely generated Λ-module N. Some consequences are derived for tilting modules over the rational algebra Λ ⊗_k k(x) and for some generic modules for Λ. Received: 24 November 2003; revised: 11 February 2005     

Sudakov-type minoration for gaussian chaos processes

Consider a setA of symmetricn×n matricesa=(a _i,j) _i,j≤n . Consider an independent sequence (g _i) _i≤n of standard normal random variables, and letM=Esup_a∈A|Σ_i,j⪯na_i,jg_ig_j|. Denote byN ₂(A, α) (resp.N _t(A, α)) the smallest number of balls of radiusα for thel ₂ norm ofR ^{n 2} (resp. the operator norm) needed to coverA. Then for a universal constantK we haveα(logN ₂(A, α))^1/4≤KM. This inequality is best possible. We also show that forδ≥0, there exists a constantK(δ) such thatα(logN _t≤K(δ)M. Work partially supported by an N.S.F. grant.     

On a function associated with the Bessel functions

Summary Defining the function Δn, 1,k;x(J) asΔn, 1,k;x(J)=J _n+1(x)−J _n(x)J _n+k+1(x) associated with the Bessel functionJ _n(x), we derive a series of products of Bessel functions for Δ_{n, f, k, x} (J). Whenk=1,k;x (J) becomes Turàn expression for Bessel functions. Some consequences have been pointed out.

---

Riassunto Definita la Δ_{n, f, k, x} (J) come Δ_{n, f, k, x}, (J)=J _n+1(x)J _n+k(x)-J _n(_n+k+1)(x) associata alla funzioneJ _n(x) di Bessel, si ricava una serie di prodotti di funzioni di Bessel per Δ_{n, f, k, x}, (J). 3 Quandok=1, Δ_{n, f, k, x}, (J) diventa una espressione di Turàn per le funzioni di 2 Bessel, vengono inoltre indicate alcune altre conseguenze.