The de Jongh property for Basic Arithmetic

We prove that Basic Arithmetic, BA, has the de Jongh property, i.e., for any propositional formula A(p ₁,..., p _n ) built up of atoms p ₁,..., p _n , BPC \({\vdash}\) A(p ₁,..., p _n ) if and only if for all arithmetical sentences B ₁,..., B _n , BA \({\vdash}\) A(B ₁,..., B _n ). The technique used in our proof can easily be applied to some known extensions of BA.     

On form ideals and Artin-Rees condition

We look for conditions which make two ideals and in a noetherian ring A have the same form ideal in an associated graded ring G_A(α). More precisely, when and and f_i?f'_iεα ^m m?0, ? i , we give a necessary and sufficient condition to have , involving the first syzygies modules both of (f₁,...,f_n) and (f'₁,...,f'_n); our proof is based on the Artin-Rees lemma. Finally we show that, when the sequence f₁,...,f_n is regular and for an integer q, then f₁?f'_i ? α^q+1 ? i implies .     

Automorphisms of the tensor product of Abelian and Grassmannian algebras

We consider an algebraB _n,m , over the field R with n+m generators x_i,..., x_n, ξ₁,..., η_m, satisfying the following relations: (1') $$\left[ {x_k ,x_l } \right] \equiv x_k x_l - x_l x_k = 0,[x_k ,\xi _i ] = 0,$$ , (2') $$\left\{ {\xi _i ,\xi _j } \right\} \equiv \xi _i \xi _j + \xi _j \xi _i = 0$$ , where k,l =1, ..., n and i, j=1,..., m. In this algebra we define differentiation, integration, and also a group of automorphisms. We obtain an integration equation invariant with respect to this group, which coincides in the case m=0 with the equation for the change of variables in an integral, an equation whichis well known in ordinary analysis; in the case n=0 our equation coincides with F. A. Berezin's result [1, 3] for integration over a Grassman algebra.     

Subalgebras of free products of algebras of the variety\mathfrak{u}_{m,n}

The variety \(\mathfrak{u}_{m,n} \) is defined by the system of n-ary operations ω_i,..., ω_m, the system of m-ary operations ?_i,..., ?_n, 1≤ m ≤ n, and the system of identities $$\begin{gathered} x_1 ...x_n \omega _1 ...x_1 ...x_n \omega _m \varphi _i = x_i (i = 1,...,n), \hfill \\ x_1 ...x_m \varphi _1 ...x_1 ...x_m \varphi _n \omega _j = x_j (i = 1,...,m), \hfill \\ \end{gathered} $$ It is proved in this paper that the subalgebra U of the free product \(\Pi _{i \in I}^* A_i \) of the algebras A_i (i ε I) can be expanded as the free product of nonempty intersections U ∩ A_i (i ε I) and a free algebra.     

Extremal property of some surfaces in n-dimensional Euclidean space

A surface Γ=(f ₁(X₁,..., x_m),...,f _n(x₁,..., x_m)) is said to be extremal if for almost all points of Γ the inequality $$\parallel a_1 f_1 (x_1 , \ldots ,x_m ) + \ldots + a_n f_n (x_1 , \ldots ,x_m )\parallel< H^{ - n - \varepsilon } ,$$ , where H=max(¦a _i¦) (i=1, 2, ..., n), has only a finite number of solutions in the integersa ₁, ...,a _n. In this note we prove, for a specific relationship between m and n and a functional condition on the functionsf ₁, ...,f _n, the extremality of a class of surfaces in n-dimensional Euclidean space.     

On the a-Browder and a-Weyl spectra of tensor products

Given Banach space operators A ∈ B( ) and B ∈ B( ), let A?B ∈ B( ? ) denote the tensor product of A and B. Let σ _a , σ _aw and σ _ab denote the approximate point spectrum, the Weyl approximate point spectrum and the Browder approximate point spectrum, respectively. Then σ _aw (A?B) ? σ _a (A)σ _aw (B) ? σ _aw (A)σ _a (B) ? σ _a (A)σ _ab (B) ? σ _ab (A)σ _a (B) = σ _ab (A?B), and a sufficient condition for the (a-Weyl spectrum) identity σ _aw (A?B) = σ _a (A)σ _aw (B) ? σ _aw (A)σ _a (B) to hold is that σ _aw (A?B) = σ _ab (A?B). Equivalent conditions are proved in Theorem 1, and the problem of the transference of a-Weyl’s theorem for a-isoloid operators A and B to their tensor product A?B is considered in Theorem 2. Necessary and sufficient conditions for the (plain) Weyl spectrum identity are revisited in Theorem 3.     

Existence of solution for a class of nth-order multi-point boundary value problem

In this paper, we are concerned with the following nth-order ordinary differential equation $$x^{(n)}(t)+f(t,x(t),x'(t),\ldots,x^{(n-1)}(t))=0,\quad t\in (0,1),$$ with the nonlinear boundary conditions $$\begin{array}{l}x^{(i)}(0)=0,\quad i=0,1,\ldots,n-3,\\[3pt]g(x^{(n-2)}(0),x^{(n-1)}(0),x(\xi_1),\ldots,x(\xi_{m-2}))=A,\\[3pt]h(x^{(n-2)}(1),x^{(n-1)}(1),x(\eta_1),\ldots,x(\eta_{l-2}))=B,\end{array}$$ here A,B∈R, f:[0,1]×R ⁿ →R is continuous, g:[0,1]×R ^m →R is continuous, h:[0,1]×R ^l →R is continuous, ξ _i ∈(0,1), i=1,…,m?2, and η _j ∈(0,1), j=1,…,l?2. The existence result is given by using a priori estimate, Nagumo condition, the method of upper and lower solutions and Leray-Schauder degree. We also give an example to demonstrate our result.     

On proper oscillatory and vanishing-at-infinity solutions of differential equations with a deviating argument

Sufficient conditions are found for the existence of multiparametric families of proper oscillatory and vanishing-at-infinity solutions of the differential equation $$u^{(n)} (t) = g\left( {t, u(\tau _0 (t)), \ldots ,u^{(m - 1)} (\tau _{m - 1} (t))} \right)$$ , wheren≥4,m is the integer part of π/2,g:R ₊×R ^m →R is a function satisfying the local Carathéodory conditions, and τ _i :R ₊→R(i=0,...,m?1) are measurable functions such that τ _i (t) →+∞ fort→+∞(i=0,...,m?1).     

Families of Structures on Spherical Fibrations

Let SF(n) be the usual monoid of orientation- and base point-preserving self-equivalences of the n-sphere ${\mathbb{S}^n}$ n. If Y is a (right) SF(n)-space, one can construct a classifying space B(Y, SF(n), *)=B _n for ${\mathbb{S}^n}$ n-fibrations with Y-structure, by making use of the two-sided bar construction. Let k: B _n →BSF(n) be the forgetful map. A Y-structure on a spherical fibration corresponds to a lifting of the classifying map into B _n . Let K _i =K $\left( {{\mathbb{Z}_2 }} \right)$ , i) be the Eilenberg–Mac Lane space of type $\left( {{\mathbb{Z}_2 }} \right)$ , i). In this paper we study families of structures on a given spherical fibration. In particular, we construct a universal family of Y-structures, where Y=W _n is a space homotopy equivalent to ∏ _i≥1 K _i . Applying results due to Booth, Heath, Morgan and Piccinini, we prove that the universal family is a spherical fibration over the space map{B _n , B _n }×B _n . Furthermore, we point out the significance of this space for secondary characteristic classes. Finally, we calculate the cohomology of B _n .     

On higher-power moments of the error term for the divisor problem with congruence conditions

For a positive integer n, the divisor function with congruence conditions d(n; l ₁, M ₁, l ₂, M ₂) denotes the number of factorizations n?=?n ₁ n ₂, where each of the factors ${n_i\in\mathbb{N}}$ belongs to a prescribed congruence class l _i modulo M _i ? (i?=?1, 2). In this paper we study the higher power moments of the error term in the asymptotic formula of ${\sum\nolimits_{n\leq M_1M_2x}d(n;l_1,M_1,l_2,M_2)}$ .     

Cone Dependence—A Basic Combinatorial Concept

We call A ? $ \mathbb{E} $ ⁿ cone independent of B ? $ \mathbb{E} $ ⁿ , the euclidean n-space, if no a = (a ₁,..., a _n ) ∈ A equals a linear combination of B \ {a} with non-negative coefficients. If A is cone independent of A we call A a cone independent set. We begin the analysis of this concept for the sets P(n) = {A ? {0, 1} ⁿ ? $ \mathbb{E} $ ⁿ : A is cone independent} and their maximal cardinalities c(n) ? max{|A| : A ∈ P(n)}. We show that lim _{n → ∞} $ \frac{{c\left( n \right)}}{{2^n }} $ > $\frac{1}{2}$ , but can't decide whether the limit equals 1. Furthermore, for integers 1 < k < ? ≤ n we prove first results about c _n (k, ?) ? max{|A| : A ∈ P _n (k, ?)}, where P _n (k, ?) = {A : A ? V ⁿ _k and V ⁿ _? is cone independent of A} and V ⁿ _k equals the set of binary sequences of length n and Hamming weight k. Finding c _n (k, ?) is in general a very hard problem with relations to finding Turan numbers.     

Mixed-mean inequality for submatrix

For an m × n matrix B = (b _ij ) _m×n with nonnegative entries b _ij , let B(k, l) denote the set of all k × l submatrices of B. For each A ∈ B(k, l), let a _A and g _A denote the arithmetic mean and geometric mean of elements of A respectively. It is proved that if k is an integer in ( $\tfrac{m} {2}$ ,m] and l is an integer in ( $\tfrac{n} {2}$ , n] respectively, then $$\left( {\prod\limits_{A \in B\left( {k,l} \right)} {a_A } } \right)^{\tfrac{1} {{\left( {_k^m } \right)\left( {_l^n } \right)}}} \geqslant \frac{1} {{\left( {_k^m } \right)\left( {_l^n } \right)}}\left( {\sum\limits_{A \in B\left( {k,l} \right)} {g_A } } \right),$$ with equality if and only if b _ij is a constant for every i, j.     

On sum sets of sidon sets,II

LetG be a finite abelian group,G?{Z _n, Z₂?Z_2n}. Then every sequenceA={g ₁,...,g_t} of $t = \frac{{4\left| G \right|}}{3} + 1$ elements fromG contains a subsequenceB?A, |G|=|G| such that $\sum\nolimits_{g_i \in B^{g_i } } { = 0 (in G)} $ . This bound, which is best possible, extends recent results of [1] and [22] concerning the celebrated theorem of Erdös-Ginzburg-Ziv [21].     

Pair correlation of roots of rational functions with rational generating functions and quadratic denominators

For any rational functions with complex coefficients A(z),B(z), and C(z), where A(z), C(z) are not identically zero, we consider the sequence of rational functions H _m (z) with generating function ∑H _m (z)t ^m =1/(A(z)t ²+B(z)t+C(z)). We provide an explicit formula for the limiting pair correlation function of the roots of $\prod_{m=0}^{n}H_{m}(z)$ , as n→∞, counting multiplicities, on certain closed subarcs J of a curve $\mathcal{C}$ where the roots lie. We give an example where the limiting pair correlation function does not exist if J contains the endpoints of $\mathcal{C}$ .     

A remark on Nesterenko’s theorem for Ramanujan functions

We study the algebraic independence of values of the Ramanujan q-series $A_{2j+1}(q)=\sum_{n=1}^{\infty}n^{2j+1}q^{2n}/(1-q^{2n})$ or S _2j+1(q) (j≥0). It is proved that, for any distinct positive integers i, j satisfying $(i,j)\not=(1,3)$ and for any $q\in \overline{ \mathbb{Q}}$ with 0<|q|<1, the numbers A ₁(q), A _2i+1(q), A _2j+1(q) are algebraically independent over $\overline{ \mathbb{Q}}$ . Furthermore, the q-series A _2i+1(q) and A _2j+1(q) are algebraically dependent over $\overline{ \mathbb{Q}}(q)$ if and only if (i,j)=(1,3).     

Forbidden Configurations and Product Constructions

A simple matrix is a (0,1)-matrix with no repeated columns. For a (0,1)-matrix F, we say that a (0,1)-matrix A has F as a configuration if there is a submatrix of A which is a row and column permutation of F (trace is the set system version of a configuration). Let \({\|A\|}\) denote the number of columns of A. We define \({{\rm forb}(m, F) = {\rm max}\{\|A\| \,:\, A}\) is m-rowed simple matrix and has no configuration F. We extend this to a family \({\mathcal{F} = \{F_1, F_2, \ldots , F_t\}}\) and define \({{\rm forb}(m, \mathcal{F}) = {\rm max}\{\|A\| \,:\, A}\) is m-rowed simple matrix and has no configuration \({F \in \mathcal{F}\}}\) . We consider products of matrices. Given an m ₁ × n ₁ matrix A and an m ₂ × n ₂ matrix B, we define the product A × B as the (m ₁ + m ₂) × n ₁ n ₂ matrix whose columns consist of all possible combinations obtained from placing a column of A on top of a column of B. Let I _k denote the k × k identity matrix, let \({I_k^{c}}\) denote the (0,1)-complement of I _k and let T _k denote the k × k upper triangular (0,1)-matrix with a 1 in position i, j if and only if i ≤ j. We show forb(m, {I ₂ × I ₂, T ₂ × T ₂}) is \({\Theta(m^{3/2})}\) while obtaining a linear bound when forbidding all 2-fold products of all 2 × 2 (0,1)-simple matrices. For two matrices F, P, where P is m-rowed, let \({f(F, P) = {\rm max}_{A} \{\|A\| \,:\,A}\) is m-rowed submatrix of P with no configuration F}. We establish f(I ₂ × I ₂, I _m/2 × I _m/2) is \({\Theta(m^{3/2})}\) whereas f(I ₂ × T ₂, I _m/2 × T _m/2) and f(T ₂ × T ₂, T _m/2 × T _m/2) are both \({\Theta(m)}\) . Additional results are obtained. One of the results requires extensive use of a computer program. We use the results on patterns due to Marcus and Tardos and generalizations due to Klazar and Marcus, Balogh, Bollobás and Morris.     

Two-agent scheduling on uniform parallel machines with min-max criteria

We consider the problem of scheduling two agents A and B on a set of m uniform parallel machines. Each agent is assumed to be independent from the other: agent A and agent B are made up of n _A and n _B jobs, respectively. Each job is defined by its processing time and possibly additional data such as a due date, a weight, etc., and must be processed on a single machine. All machines are uniform, i.e. each machine has its own processing speed. Notice that we consider the special case of equal-size jobs, i.e. all jobs share the same processing time. Our goal is to minimize two maximum functions associated with agents A and B and referred to as $F_{max}^{A}=\max_{i\in A} f^{A}_{i}(C_{i})$ and $F_{max}^{B}=\max_{i\in B}f^{B}_{i}(C_{i})$ , respectively, with C _i the completion time of job i and $f_{i}^{X}$ a non-decreasing function. These kinds of problems are called multi-agent scheduling problems. As we are dealing with two conflicting criteria, we focus on the calculation of the strict Pareto optima for the $(F_{max}^{A}, F_{max}^{B} )$ criteria vector. In this paper we develop a minimal complete Pareto set enumeration algorithm with time complexity and memory requirements.     

Weighted inequalities for fractional type operators with some homogeneous kernels

In this paper, we study integral operators of the form Tαf(x)=∫Rn|x-A1y|-α1 ··· |x-Amy|-αmf(y)dy,where Ai are certain invertible matrices, αi 0, 1 ≤ i ≤ m, α1 + ··· + αm = n-α, 0 ≤α n. For 1/q = 1/p-α/n , we obtain the Lp (Rn, wp)-Lq(Rn, wq) boundedness for weights w in A(p, q) satisfying that there exists c 0 such that w(Aix) ≤ cw(x), a.e. x ∈ Rn , 1 ≤ i ≤ m.Moreover, we obtain theappropriate weighted BMO and weak type estimates for certain weights satisfying the above inequality. We also give a Coifman type estimate for these operators.     

Normal Matrices and an Extension of Malyshev's Formula

Let A be a complex matrix of order n with n ≥ 3. We associate with A the 3n × 3n matrix $Q\left( {\gamma } \right) = \left( \begin{gathered} A \gamma _1 I_n \gamma _3 I_n \\ 0 A \gamma _2 I_n \\ 0 0 A \\ \end{gathered} \right)$ where $\gamma _1 ,\gamma _2 ,\gamma _3 $ are scalar parameters and γ=(γ₁,γ₂,γ₃). Let σ_i, 1 ≤ i ≤ 3n, be the singular values of Q(γ) in the decreasing order. We prove that, for a normal matrix A, its 2-norm distance from the set $\mathcal{M}$ of matrices with a zero eigenvalue of multiplicity at least 3 is equal to $\mathop {max}\limits_{\gamma _1 ,\gamma _2 \geqslant 0,\gamma _3 \in \mathbb{C}} \sigma _{3n - 2} (Q\left( \gamma \right)).$ This fact is a refinement (for normal matrices) of Malyshev's formula for the 2-norm distance from an arbitrary n × n matrix A to the set of n × n matrices with a multiple zero eigenvalue.