On P.I. ring and standard identities

An example is given of a ringR (with 1) satisfying the standard identityS ₆[x ₁, ...,x ₆] butM ₂(R), the 2 × 2 matrix ring overR, does not satisfyS ₁₂[x ₁, ...,x ₁₂]. This is in contrast to the caseR=M _n (F),F a field, where by the Amitsur-Levitzki theoremR satisfiesS _2n [x ₁, ...,x _2n] andM ₂(R) satisfiesS _4n [x ₁, ...,x _n]. Part of this work was done while the author enjoyed the hospitality of the University of California at San Diego, the University of Texas at Austin and the University of Washington at Seattle.     

The magid-ryan conjecture for 4-dimensional affine spheres

In this paper we prove the Magid-Ryan conjecture for 4-dimensional affine hyperspheres in R⁵. This conjecture states that every affine hypersphere with non-zero Pick invariant and constant sectional curvature is affinely equivalent with either (x ₁ ² ±x ₂ ² )(x ₃ ² ±x ₄ ² ...(x _2m−1 ² ±x _2m ² ) = 1 or (x ₁ ² ±x ₂ ² (x ₃ ² ±x ₄ ² )...(x _2m−1 ² ±x _2m ² )x _2m+1 = 1 where the dimensionn satisfiesn = 2m orn =2m + 1. This conjecture was proved in [11] in case the metric is positive definite and in [2] in case the metric is Lorentzian.     

Bounds on Gromov hyperbolicity constant in graphs

If X is a geodesic metric space and x ₁,x ₂,x ₃ ∈ X, a geodesic triangle T = {x ₁,x ₂,x ₃} is the union of the three geodesics [x ₁ x ₂], [x ₂ x ₃] and [x ₃ x ₁] in X. The space X is δ-hyperbolic (in the Gromov sense) if any side of T is contained in a δ-neighborhood of the union of two other sides, for every geodesic triangle T in X. If X is hyperbolic, we denote by δ(X) the sharp hyperbolicity constant of X, i.e. $\delta(X)=\inf\{\delta\ge 0: \, X \, \text{ is $\delta(X)=\inf\{\delta\ge 0: \, X \, \text{ is In this paper we relate the hyperbolicity constant of a graph with some known parameters of the graph, as its independence number, its maximum and minimum degree and its domination number. Furthermore, we compute explicitly the hyperbolicity constant of some class of product graphs.     

Existence of the non-radially symmetric ground state for p-Laplacian equations involving Choquard type

We consider some p-Laplacian type equations with sum of nonlocal term and subcritical nonlinearities. We prove the existence of the ground states, which are positive. Because of including p=2, these results extend the results of Li, Ma and Zhang [Nonlinear Analysis: Real World Application 45(2019) 1-25]. When p=2, N=3, by a variant variational identity and a constraint set, we can prove the existence of a non-radially symmetric solution. Moreover, this solution u(x₁, x₂, x₃) is radially symmetric with respect to (x₁, x₂) and odd with respect to x₃.     

The zero dispersion limit of the korteweg-de vries equation for initial potentials with non-trivial reflection coefficient

The inverse scattering method is used to determine the distribution limit as ? → 0 of the solution u(x, t, ?) of the initial value problem. U_t ? 6uu_x + ?²u_xxx = 0, u(x, 0) = v(x), where v(x) is a positive bump which decays sufficiently fast as x x→±α. The case v(x) ? 0 has been solved by Peter D. Lax and C. David Levermore [8], [9], [10]. The computation of the distribution limit of u(x, t, ?) as ? → 0 is reduced to a quadratic maximization problem, which is then solved.     

Unique factorization of *-products of one-fibered monomial ideals

Let R k[x ₁,x ₂,x ₃] be a 3-dimensional polynomial ring over a field k.We show that no non-trivial relations exist among *-products of complete one-fibered (x ₁,x ₂,x ₃)-primary monomial ideals. This is connected with questions about how Zariski's work on the unique factorization of complete ideals in regular local rings of dimension two might be generalized to higher dimensions.     

Matrices associated with arithmetical functions

Let f be an arithmetical function and S={x ₁,x ₂,…,x_n } a set of distinct positive integers. Denote by [f(x_i ,x_j }] the n×n matrix having f evaluated at the greatest common divisor (x_i ,x_j ) of x_i , and x_j as its i j-entry. We will determine conditions on f that will guarantee the matrix [f(x_i ,x_j )] is positive definite and, in fact, has properties similar to the greatest common divisor (GCD) matrix

[(x_i ,x_j )] where f is the identity function. The set S is gcd-closed if (x_i ,x_j )∈S for 1≤ i j ≤ n. If S is gcd-closed, we calculate the determinant and (if it is invertible) the inverse of the matrix [f(x_i ,x_j )]. Among the examples of determinants of this kind are H. J. S. Smith's determinant det[(i,j)].     

Integrality of exponents of some abelian-by-nilpotent varieties of lie algebras

Following I. Volichenko we study varieties of Lie algebras over a field of characteristic zero, satisfying the identity [[x ₁,x ₂,x ₃], [x ₄ x ₅ x ₆]] = 0. We prove that the exponential growth of any proper subvariety is a positive integer and any positive integer can be so realized.     

Diophantine approximation generalized

In this paper we study the set of x ∈ [0, 1] for which the inequality |x − x _n | < z _n holds for infinitely many n = 1, 2, .... Here x _n ∈ [0, 1) and z _n s> 0, z _n → 0, are sequences. In the first part of the paper we summarize known results. In the second part, using the theory of distribution functions of sequences, we find the asymptotic density of n for which |x − x _n | < z _n , where x is a discontinuity point of some distribution function of x _n . Generally, we also prove, for an arbitrary sequence x _n , that there exists z _n such that the density of n = 1, 2, ..., x _n → x, is the same as the density of n = 1, 2, ..., |x − x _n | < z _n , for x ∈ [0, 1]. Finally we prove, using the longest gap d _n in the finite sequence x ₁, x ₂, ..., x _n , that if d _n ≤ z _n for all n, z _n → 0, and z _n is non-increasing, then |x − x _n | < z _n holds for infinitely many n and for almost all x ∈ [0, 1].     

Catenarian Property of Mixed Polynomial and Power Series Rings Over a Pullback

Let T be an integral domain with a maximal ideal M, ?: T → K: = T/M the natural surjection, and R the pullback ?^?1(D), where D is a proper subring of K. We give necessary and sufficient conditions for the mixed extensions R[x ₁]]…[x _n ]] to be catenarian, where each [x _i ]] is fixed as either [x _i ] or [[x _i ]]. We also give a complete answer to the question of determining the field extensions k ? K such that the contraction map Spec(K[x ₁]]…[x _n ]]) → Spec(k[x ₁]]…[x _n ]]) is a homeomorphism. As an application, we characterize the globalized pseudo-valuation domains R such that R[x ₁]]…[x _n ]] is catenarian.     

PiecewiseL-splines

Leta=x ₀<x ₁<...<x _N =b be a partition of the interval [a, b] and letL be a normalm-th order linear differential operator. The purpose of this note is to point out that spline functions in one variable need not be excluded to piecewise fits of functions belonging to the null spaceN(L ^* L) on each closed subinterval [x _i,x _i+1], 0in-1 but may be extended to piecewise fits of functions belonging toN(L _i ^* L _i) on each subinterval [x _i,x _i+1] provided theL _i's are selected from a uniformly bounded family of normal linear differential operators. Furthermore when theL _i's are so selected one obtains the usual integral relations and error estimates obtained for splines [2, 8 and 9] including the extended error estimates obtained by Swartz and Varga [10].     

Power Residue Symbols and the Central Sections of SL(2, A)

In TheE(2,A) sections of SL(2,A) (Ann. of Math. 134 (1991), 159–188), we locate the E(A) normalized subgroups of SL(2,A) in central sections of SL(2,A) for all subrings of Q and all commutative rings satisfying SR ₂ In solving this problem we introduced the notion of radix (see (1.1)) and the group C(P_x) = [E(2,A),E(2,A;P_x)] = [SL(2,A), SL(2,A;P_x)] for the rings considered here.The purpose of this paper is to determine SL(2,A;P_xC(P_x) for SR ₂ rings and number rings with infinitely many units.In Section 2, Mennicke symbols for Jordan ideals are defined. They are determined for number rings and shown to be connected to power residue symbols in a delicate way. This extends the work of Bass, Milnor and Serre.In Section 3, an explicit homomorphism from E(2,Al;P_x) into an additive section of A is given for all commutative rings A. If A satisfiesSR ₂ the kernel of this map is C(P_x.The main problem for number rings is solved by giving an explicit homomorphism on SL(2,A;P_x) whose kernel is C(P_x).     

An error bound for fixed-point iterations

We derive an error bound for fixed-point iterationsx _n+1=f(x _n ) by using monotonicity in the sense of [2]. The new bound is preferable to the classical one which bounds the error in terms of the Lipschitz constant off.     

Gromov hyperbolicity in Cartesian product graphs

If X is a geodesic metric space and x ₁, x ₂, x ₃ ∈ X, a geodesic triangle T = {x ₁, x ₂, x ₃} is the union of the three geodesics [x ₁ x ₂], [x ₂ x ₃] and [x ₃ x ₁] in X. The space X is δ-hyperbolic (in the Gromov sense) if any side of T is contained in a δ-neighborhood of the union of the two other sides, for every geodesic triangle T in X. If X is hyperbolic, we denote by δ(X) the sharp hyperbolicity constant of X, i.e. δ(X) = inf{δ ≥ 0: X is δ-hyperbolic}. In this paper we characterize the product graphs G ₁ × G ₂ which are hyperbolic, in terms of G ₁ and G ₂: the product graph G ₁ × G ₂ is hyperbolic if and only if G ₁ is hyperbolic and G ₂ is bounded or G ₂ is hyperbolic and G ₁ is bounded. We also prove some sharp relations between the hyperbolicity constant of G ₁ × G ₂, δ(G ₁), δ(G ₂) and the diameters of G ₁ and G ₂ (and we find families of graphs for which the inequalities are attained). Furthermore, we obtain the precise value of the hyperbolicity constant for many product graphs.     

The Hochschild homology of fatpoints

This paper calculates the Hochschild homology of fatpoints—rings of the formk[x ₁,x ₂,…,x _d ]/m ^a wherek is a field of characteristic zero and m=(x ₁ x ₂,…,x _d ). The calculation includes the multiplicative structure induced by the shuffle product. The answer is given in terms of the homology of tori relative to theira-diagonal. Since the rings in question are monoidal, this calculation also determines their topological Hochschild homology. By a theorem of Goodwillie, the dimensions of the cyclic homology groups of these rings are determined as well.     

Gromov hyperbolic cubic graphs

If X is a geodesic metric space and x ₁; x ₂; x ₃ ∈ X, a geodesic triangle T = {x ₁; x ₂; x ₃} is the union of the three geodesics [x ₁ x ₂], [x ₂ x ₃] and [x ₃ x ₁] in X. The space X is δ-hyperbolic (in the Gromov sense) if any side of T is contained in a δ-neighborhood of the union of the two other sides, for every geodesic triangle T in X. We denote by δ(X) the sharp hyperbolicity constant of X, i.e., δ(X) = inf {δ ≥ 0: X is δ-hyperbolic}. We obtain information about the hyperbolicity constant of cubic graphs (graphs with all of their vertices of degree 3), and prove that for any graph G with bounded degree there exists a cubic graph G* such that G is hyperbolic if and only if G* is hyperbolic. Moreover, we prove that for any cubic graph G with n vertices, we have δ(G) ≤ min {3n/16 + 1; n/4}. We characterize the cubic graphs G with δ(G) ≤ 1. Besides, we prove some inequalities involving the hyperbolicity constant and other parameters for cubic graphs.     

On the derived series of some groups

We solve Problems 17.82 and 17.86(b) posed by Mikhailov in the Kourovka Notebook [1]. Namely, we construct: (1) an example of a finitely presented group H in which the intersection H ^(ω) of all terms of the derived series is distinct from its commutant; (2) an example of a balanced presentation 〈x ₁, x ₂, x ₃|r ₁, r ₂, r ₃〉 of the trivial group for which F(x ₁, x ₂, x ₃)/[R ₁,R ₂] is not a residually soluble group (here R _i (i = 1, 2) denotes the normal closure of r _i in F(x ₁, x ₂, x ₃)). The construction of the second example is related to some approach to the Whitehead asphericity conjecture.     

On the solution of a nonlinear programming problem by decomposition

A decomposition method, used in least-weight plastic design, is extended to solve problems with nonlinearity arising from variable structure geometry. The problem considered is that of finding vectorsx ₁,x ₂, andq that minimize [l max{|x ₁|, |x ₂|}], subject toAx ₁=b ₁ andAx ₂=b ₂, where both the vectorl and the matrixA are nonlinear functions ofq.     

A family of counterexamples in ergodic theory

LetT _α be the translationx↦x+α (mod 1) of [0, 1), α irrational. LetT be the Lebesgue measure-preserving automorphism ofX=[0, 3/2) defined byTx = x + 1 forx∈[0, 1/2),Tx=T _α(x−1) forx∈[1,3/2) andTx = T _α x forx∈[1/2, 1), i.e.T isT _α with a tower of height one built over [0, 1/2). If α is poorly approximable by rationals (there does not exist {p _n /q _n } with |α−p _n /q _n |=o(q _n ⁻²)) and λ is a measure onX ^k all of whose one-dimensional marginals are Lebesgue and which is ⊗ _{i − 1} ^k T ¹ invariant and ergodic (l>0) then λ is a product of off-diagonal measures. This property suffices for many purposes of counterexample construction. A connection is established with the POD (proximal orbit dense) condition in topological dynamics. Research supported in part by NSF contract MCS-8003038.     

Generalized three-point difference schemes of high-order accuracy for systems of second-order nonlinear ordinary differential equations

For systems of second-order nonlinear ordinary differential equations with the Dirichlet boundary conditions, we develop generalized three-point difference schemes of high-order accuracy on a nonuniform grid. The construction of the suggested schemes requires solving four auxiliary Cauchy problems (two problems for systems of nonlinear ordinary differential equations and two problems for matrix linear ordinary differential equations) on the intervals [x _j−1, x _j ] (forward) and [x _j , x _j+1] (backward) at each grid point; this is done at each step by any single-step method of accuracy order $ \bar m $ \bar m = 2[(m+1)/2]. (Here m is a given positive integer, and [·] is the integer part of a number.) We prove that such three-point difference schemes have the accuracy order $ \bar m $ \bar m for the approximation to both the solution u of the boundary value problem and the flux K(x)d u/dx at the grid points.