The permutation of integers with small least common multiple of two subsequent terms

Erd?s, Freud and Hegyvári [1] constructed a permutation a ₁,a ₂,… of positive integers with \([a_{i}, a_{i+1}]< i\exp \left\{c\sqrt{\log i}\log\log i\,\right\}\) for an absolute constant c>0 and all i≧3. In this note, we construct a permutation of all positive integers such that for any ε>0 there exists an i ₀ with \([a_{i}, a_{i+1}]\allowbreak < i\exp \left\{\left(2\sqrt{2}+\varepsilon\right) \sqrt{\log i\log\log i}\,\right\}\) for all i≧i ₀.     

The unramified computation of Rankin–Selberg integrals expressed in terms of Bessel models for split orthogonal groups: Part I

In this paper, we compute the local integrals, with normalized unramified data, over a p-adic field F, arising from general Rankin–Selberg integrals for SO _m × GL_r+k+1, where the orthogonal group is split over F, \(k \leqslant \left[ {\frac{{m - 1}}{2}} \right]\), and the irreducible representation of SO _m (F) has a Bessel model with respect to an irreducible representation of the split orthogonal group SO_m?2k?1(F). Our proof is by “analytic continuation from the unramified computation in the generic case”. We let the unramified parameters of the representations involved vary, and express the local integrals in terms of the Whittaker models of the representations, which exist at points in general position. Then we apply analytic continuation and the known unramified computation in the generic case. We discuss some applications to poles of partial L-functions and functorial lifting.     

Finite Gap Jacobi Matrices,III. Beyond the Szegő Class

Let \({\frak {e}}\subset {\mathbb {R}}\) be a finite union of ?+1 disjoint closed intervals, and denote by ω _j the harmonic measure of the j left-most bands. The frequency module for \({\frak {e}}\) is the set of all integral combinations of ω ₁,…,ω _? . Let \(\{\tilde{a}_{n}, \tilde{b}_{n}\}_{n=-\infty}^{\infty}\) be a point in the isospectral torus for \({\frak {e}}\) and \(\tilde{p}_{n}\) its orthogonal polynomials. Let \(\{a_{n},b_{n}\}_{n=1}^{\infty}\) be a half-line Jacobi matrix with \(a_{n} = \tilde{a}_{n} + \delta a_{n}\), \(b_{n} = \tilde{b}_{n} +\delta b_{n}\). Suppose

$\sum_{n=1}^\infty \lvert \delta a_n\rvert ^2 + \lvert \delta b_n\rvert ^2 <\infty $

and \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta a_{n}\), \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta b_{n}\) have finite limits as N→∞ for all ω in the frequency module. If, in addition, these partial sums grow at most subexponentially with respect to ω, then for z∈???, \(p_{n}(z)/\tilde{p}_{n}(z)\) has a limit as n→∞. Moreover, we show that there are non-Szeg? class J’s for which this holds.

     

Restriction of representations of metaplectic GL<Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) to tori

Let F be a non-archimedean local field. We study the restriction of irreducible admissible genuine representations of the twofold metaplectic cover \({\widetilde {GL}_2}\) of GL₂(F) to the inverse image in \({\widetilde {GL}_2}\) of a maximal torus in GL₂(F).     

Singular values of some modular functions

For an integer N greater than 5 and a triple \({\mathfrak{a}}=[a_{1},a_{2},a_{3}]\) of integers with the properties 0<a _i ≤N/2 and a _i ≠a _j for i≠j, we consider a modular function \(W_{\mathfrak{a}}(\tau)=\frac{\wp (a_{1}/N;L_{\tau})-\wp (a_{3}/N;L_{\tau})}{\wp (a_{2}/N;L_{\tau})-\wp(a_{3}/N;L_{\tau})}\) for the modular group Γ ₁(N), where ?(z;L _τ ) is the Weierstrass ?-function relative to the lattice L _τ generated by 1 and a complex number τ with positive imaginary part. For a pair of such triples \({\mathfrak{A}}=[{\mathfrak{a}},{\mathfrak{b}}]\) and a pair of non-negative integers F=[m,n], we define a modular function \(T_{{\mathfrak{A}},F}\) for the group Γ ₀(N) as the trace of the product \(W_{\mathfrak{a}}^{m}W_{\mathfrak{b}}^{n}\) to the modular function field of Γ ₀(N). In this article, we study the integrality of singular values of the functions \(W_{\mathfrak{a}}\) and \(T_{{\mathfrak{A}},F}\) by using their modular equations. We prove that the functions \(T_{{\mathfrak{A}},F}\) for suitably chosen \({\mathfrak{A}}\) and F generate the modular function field of Γ ₀(N), and from Shimura reciprocity and Gee–Stevenhagen method we obtain that singular values \(T_{{\mathfrak{A}},F}(\tau)\) for suitably chosen \({\mathfrak{A}}\) and F generate ring class fields. Further, we study the class polynomial of \(T_{{\mathfrak{A}},F}\) for Schertz N-system.     

Solvable base change and Rankin-Selberg convolutions

Let π and π′ be unitary automorphic cuspidal representations of GL_n(A_E) and GL_m(A_F), and let E and F be solvable Galois extensions of Q of degrees ? and ?′, respectively. Using the fact that the automorphic induction and base change maps exist for E and F, and assuming an invariance condition under the actions of the Galois groups, we attach to the pair(π, π′) a Rankin-Selberg L-function L(s, π×E,Fπ′) for which we prove a prime number theorem. This gives a method for comparing two representations that could be defined over completely different extensions, and the main results give a measure of how many cuspidal components the two representations π and π′ have in common when automorphically induced down to the rational numbers. The proof uses the structure of the Galois group of the composite extension EF and the character groups attached to the fields via class field theory. The second main theorem also gives an indication of when the base change of π up to the composite extension EF remains cuspidal.     

Stability of uncertain discrete systems

The uncertain system

$x_{n + 1} = A_n x_n , n = 0,1,2, \ldots ,$

is considered, where the coefficients a _ij (n) of the m×m matrix A _n are functionals of any nature subject to the constraints

$\begin{array}{*{20}c} {\left| {a_{i,i} (n)} \right| \leqslant \alpha _ * < 1,} \\ {\left| {a_{i,j} (n)} \right| \leqslant \alpha _0 for j \geqslant i + 1,} \\ {\left| {a_{i,j} (n)} \right| \leqslant \delta for j < i.} \\ \end{array} $

Such systems include, in particular, switched-type systems, whose matrix A can take values in a given finite set.By using a special Lyapunov function, a bound δ ≤ δ(α₀,α_*) ensuring the global asymptotic stability of the system is found. In particular, the system is stable if the last inequality is replaced by a _i,j (n) = 0 for j < i.It is shown that pulse-width modulated systems reduce to the uncertain systems under consideration; moreover, in the case of a pulse-width modulation of the first kind, the coefficients of the matrix A are functions of x(n), and in the case of a modulation of the second kind, they are functionals.     

A relation between the Laplacian and signless Laplacian eigenvalues of a graph

Let G be a graph of order n such that \(\sum_{i=0}^{n}(-1)^{i}a_{i}\lambda^{n-i}\) and \(\sum_{i=0}^{n}(-1)^{i}b_{i}\lambda^{n-i}\) are the characteristic polynomials of the signless Laplacian and the Laplacian matrices of G, respectively. We show that a _i ≥b _i for i=0,1,…,n. As a consequence, we prove that for any α, 0<α≤1, if q ₁,…,q _n and μ ₁,…,μ _n are the signless Laplacian and the Laplacian eigenvalues of G, respectively, then \(q_{1}^{\alpha}+\cdots+q_{n}^{\alpha}\geq\mu_{1}^{\alpha}+\cdots+\mu _{n}^{\alpha}\).     

On a matrix trace inequality due to Ando,Hiai and Okubo

Ando et al. have proved that inequality \(\Re \mathfrak{e}trA^{p_1 } B^{q_1 \ldots } A^{p_k } B^{q_k } \leqslant trA^{p_1 + \ldots + p_k } B^{q_1 + \ldots + q_k }p\) is valid for all positive semidefinite matrices A,B and those nonnegative real numbers p₁, q₁,..., p_k, q_k which satisfy certain additional conditions. We give an example to show that this inequality is not valid for all collections of p₁, q₁,..., p_k, q_k ≥ 0. We also study related trace inequalities.     

On a paper of Erdös and Szekeres

Propositions 1.1–1.3 stated below contribute to results and certain problems considered in [E-S], on the behavior of products\(\Pi^n_1(1-z^{a_j}),1\leq{a_1}...\leq{a_n}\) integers. In the discussion below, {a₁,..., a_n} will be either a proportional subset of {1,..., n} or a set of large arithmetic diameter.     

Diophantine inequality involving binary forms

Let d ? 3 be an integer, and set r = 2^d?1 + 1 for 3 ? d ? 4, \(\tfrac{{17}}{{32}} \cdot 2^d + 1\) for 5 ? d ? 6, r = d²+d+1 for 7 ? d ? 8, and r = d²+d+2 for d ? 9, respectively. Suppose that Φ _i (x, y) ∈ ?[x, y] (1 ? i ? r) are homogeneous and nondegenerate binary forms of degree d. Suppose further that λ₁, λ₂,..., λ _r are nonzero real numbers with λ₁/λ₂ irrational, and λ₁Φ₁(x₁, y₁) + λ₂Φ₂(x₂, y₂) + · · · + λ _r Φ _r (x _r , y _r ) is indefinite. Then for any given real η and σ with 0 < σ < 2^2?d, it is proved that the inequality

$$\left| {\sum\limits_{i = 1}^r {{\lambda _i}\Phi {}_i\left( {{x_i},{y_i}} \right) + \eta } } \right| < {\left( {\mathop {\max \left\{ {\left| {{x_i}} \right|,\left| {{y_i}} \right|} \right\}}\limits_{1 \leqslant i \leqslant r} } \right)^{ - \sigma }}$$

has infinitely many solutions in integers x₁, x₂,..., x _r , y₁, y₂,..., y _r . This result constitutes an improvement upon that of B. Q. Xue.

     

Real submanifolds in complex spaces

Let(z_(11),..., z_(1N),..., z_(m1),..., z_(mN), w_(11),..., w_(mm)) be the coordinates in C~(mN) +m~2. In this note we prove the analogue of the Theorem of Moser in the case of the real-analytic submanifold M defined as follows W = ZZ~t+ O(3),where W = {w_(ij)}_(1≤i,j≤m)and Z = {z_(ij) }_(1≤i≤m, 1≤j≤N). We prove that M is biholomorphically equivalent to the model W = ZZ~t if and only if is formally equivalent to it.     

Semistability of Frobenius Direct Image of Representations of Cotangent Bundles

Let k be an algebraically closed field of characteristic p > 0, X a smooth projective variety over k with a fixed ample divisor H, F_X : X → X the absolute Frobenius morphism on X. Let E be a rational GL_n(k)-bundle on X, and ρ : GL_n(k) → GL_m(k) a rational GL_n(k)-representation of degree at most d such that ρ maps the radical RGL_n(k)) of GL_n(k) into the radical R(GL_m(k)) of GL_m(k). We show that if \(F_X^{N*}(E)\) is semistable for some integer \(N \ge {\max {_{0 < r < m}}}(_r^m) \cdot {\log _p}(dr)\), then the induced rational GL_m(k)-bundle E(GL_m(k)) is semistable. As an application, if dimX = n, we get a sufficient condition for the semistability of Frobenius direct image \(F_{X*}(\rho*(\Omega_X^1))\), where \(\rho*(\Omega_X^1)\) is the vector bundle obtained from \(\Omega_X^1\) via the rational representation ρ.     

Systems that generate solutions with a small period

Let (j₁,..., j_n) be a permutation of the n-tuple (1, ..., n). A system of differential equations \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) in which each function f_i is continuous on ? is considered. This system is said to have the property of generation of solutions with a small period if, for any number M > 0, there exists a number ω₀ = ω₀(M) > 0 such that if 0 < ω ≤ ω₀ and h_i(t, x₁, ..., x_n) are continuous functions on ? × ?ⁿ ω-periodic in t that satisfy the inequalities |h_i| ≤ M the system \(\dot x = {f_i}\left( {{x_{{j_i}}}} \right),i = 1, \ldots ,n\) has an ω-periodic solution. It is shown that a system has the property of generation of solutions with a small period if and only if f_i(?) = ? for i = 1,..., n. It is also shown that the smallness condition on the period is essential.     

Feedback Control Design for Systems with <Emphasis Type="Italic">x</Emphasis>-Discontinuous Right-Hand Side

The problem of the admissible feedback synthesis for nonlinear systems with discontinuous right-hand side is considered. Sufficient conditions for solvability of this problem are proved. The neighborhood of the origin is broken in a finite number of domains G ₁,G ₂,…,G _k . In each G _j a control system \(\dot{x}=f_{j}(x,u)\) is given. The problem of the admissible feedback synthesis is completely studied for control systems of the form \(\dot{x}=a_{j}(x)+\gamma_{j}(x,u) b_{j}(x)\), where \(u\in \Omega_{j} \subset \Bbb{R}\) for x∈G _j . The controllability function method is used to construct the feedback control.     

A radial symmetry and Liouville theorem for systems involving fractional Laplacian

We investigate the nonnegative solutions of the system involving the fractional Laplacian:

$$\left\{ {\begin{array}{*{20}c} {\begin{array}{*{20}c} {( - \Delta )^\alpha u_i (x) = f_i (u),} & {x \in \mathbb{R}^n , i = 1,2, \ldots ,m,} \\ \end{array} } \\ {u(x) = (u_1 (x),u_2 (x), \ldots ,u_m (x)),} \\ \end{array} } \right.$$

where 0 < α < 1, n > 2, f _i (u), 1 ≤ i ≤ m, are real-valued nonnegative functions of homogeneous degree p _i ≥ 0 and nondecreasing with respect to the independent variables u ₁, u ₂,..., u _m . By the method of moving planes, we show that under the above conditions, all the positive solutions are radially symmetric and monotone decreasing about some point x ₀ if p _i = (n + 2α)/(n ? 2α) for each 1 ≤ i ≤ m; and the only nonnegative solution of this system is u ≡ 0 if 1 < p _i < (n + 2α)/(n ? 2α) for all 1 ≤ i ≤ m.

     

Asymptotic Analysis for Random Walks with Nonidentically Distributed Jumps Having Finite Variance

Let ξ₁,ξ₂,... be independent random variables with distributions F₁F₂,... in a triangular array scheme (F _i may depend on some parameter). Assume that Eξ _i = 0, Eξ _i ² < ∞, and put \(S_n = \sum {_{i = 1}^n \;} \xi _i ,\;\overline S _n = \max _{k \leqslant n} S_k\). Assuming further that some regularly varying functions majorize or minorize the “averaged” distribution \(F = \frac{1}{n}\sum {_{i = 1}^n F_i }\), we find upper and lower bounds for the probabilities P(S _n > x) and \(P(\bar S_n > x)\). We also study the asymptotics of these probabilities and of the probabilities that a trajectory {S _k } crosses the remote boundary {g(k)}; that is, the asymptotics of P(max_k≤n(S _k ? g(k)) > 0). The case n = ∞ is not excluded. We also estimate the distribution of the first crossing time.     

On Generalized Markoff-Hurwitz-type Equations over Finite Fields

Let N _q denote the number of solutions of the generalized Markoff-Hurwitz-type equation

$a_1x_1^{m_1}+a_2x_2^{m_2}+\cdots+a_nx_n^{m_n}=b\,x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n}$

over the finite field \(\mathbb{F}_{q}\), where m _i ,k _i are positive integers\(,a_{i},b\in \mathbb{F}_{q}^{*}\) for i=1,…,n and n≥2. By introducing and applying augmented degree matrix, we show that if \(\gcd(\sum_{i=1}^{n}k_{i}m/m_{i}-m,q-1)=1\) where m=m ₁ ??? m _n then N _q =q ^n?1+(?1)^n?1. This partially solves one of Carlitz’s problems and generalizes as well as simplifies some results of Baoulina about these type equations.

     

The boundary of the outer space of a free product

Let G be a countable group that splits as a free product of groups of the form G = G ₁ *···* G _k * F _N , where F _N is a finitely generated free group. We identify the closure of the outer space PO(G, {G ₁,..., G _k }) for the axes topology with the space of projective minimal, very small (G, {G ₁,..., G _k })-trees, i.e. trees whose arc stabilizers are either trivial, or cyclic, closed under taking roots, and not conjugate into any of the G _i ’s, and whose tripod stabilizers are trivial. Its topological dimension is equal to 3N + 2k ? 4, and the boundary has dimension 3N + 2k ? 5. We also prove that any very small (G, {G ₁,..., G _k })-tree has at most 2N + 2k?2 orbits of branch points.     

Almost everywhere convergence of sequences of two-dimensional Walsh–Fejér means of integrable functions

The aim of this paper is to prove the a.e. convergence of sequences of the Fejér means of the Walsh–Fourier series of bivariate integrable functions. That is, let \(a = (a_{1}, a_{2})\:\mathbb{N} \to \mathbb{N}^{2}\) such that a _j (n+1)≧δsup _k≦n a _j (n) (j=1,2, n∈?) for some δ>0 and a ₁(+∞)=a ₂(+∞)=+∞. Then for each integrable function f∈L ¹(I ²) we have the a.e. relation \(\lim_{n\to\infty}\sigma_{a_{1}(n), a_{2}(n)}f = f\). It will be a straightforward and easy consequence of this result the cone restricted a.e. convergence of the two-dimensional Walsh–Fejér means of integrable functions which was proved earlier by the author and Weisz [3,8].