Homoclinic twist bifurcations with ℤ2 symmetry

Summary We analyze bifurcations occurring in the vicinity of a homoclinic twist point for a generic two-parameter family of ℤ₂ equivariant ODEs in four dimensions. The results are compared with numerical results for a system of two coupled Josephson junctions with pure capacitive load.     

Exact L 2-norm plane separation

We consider the problem of separating two sets of points in an n-dimensional real space with a (hyper)plane that minimizes the sum of L _p -norm distances to the plane of points lying on the wrong side of it. Despite recent progress, practical techniques for the exact solution of cases other than the L ₁ and L _∞-norm were unavailable. We propose and implement a new approach, based on non-convex quadratic programming, for the exact solution of the L ₂-norm case. We solve in reasonable computing times artificial problems of up to 20000 points (in 6 dimensions) and 13 dimensions (with 2000 points). We also observe that, for difficult real-life instances from the UCI Repository, computation times are substantially reduced by incorporating heuristic results in the exact solution process. Finally, we compare the classification performance of the planes obtained for the L ₁, L ₂ and L _∞ formulations. It appears that, despite the fact that L ₂ formulation is computationally more expensive, it does not give significantly better results than the L ₁ and L _∞ formulations.     

New transformations for elliptic hypergeometric series on the root system A n

Recently, Kajihara gave a Bailey-type transformation relating basic hypergeometric series on the root system A _n , with different dimensions n. We give, with a new, elementary proof, an elliptic extension of this transformation. We also obtain further Bailey-type transformations as consequences of our result, some of which are new also in the case of basic and classical hypergeometric series. 2000 Mathematics Subject Classification Primary—33D67; Secondary—11F50     

Relative Projective and Injective Dimensions

We study the concepts of the 𝒫_C-projective and the ?_C-injective dimensions of a module in the noncommutative case, weakening the condition of C being semidualizing. We give the relations between these dimensions and the C-relative Gorenstein dimensions (G_C-projective and G_C-injective dimensions) of the module. Finally, we compare, in some circumstances, the global 𝒫_C-projective dimension of a ring and the global dimension of the endomorphisms ring of C.     

Formation of nanocrystalline Fe73.5Cu1Nb3Si13.5B9 alloy under high pressure

The formation of nanocrystalline Fe_73.5 Cu₁Nb₃Si_13.5 B₉ alloy by annealing an amorphous Fe_73.5Cu₁Nb₃Si_13.5B₉ alloy at a temperature of 823 K under pressures in the range of 1–5 GPa is investigated by using X-ray diffraction, electron diffraction, and transmission electron microscopy. The high pressure experiments are carried out in belt-type pressure apparatus. Experimental results show that the initial crystalline phase in these annealed alloys is a-Fe solid solution (named a-Fe phase below), and high pressure has a great influence on the crystallization process of the a-Fe phase. The grain size of the a-Fe phase decreases with the increase of pressure (P). The volume fraction of the a-Fe phase increases with increasing the pressure as the pressure is below 2 GPa, and then decreases (Pδ2 GPa). The mechanism for the effects of the high pressure on the crystallization process of amorphous Fe_73.5Cu₁Nb₃Si_13.5B₉ alloy is discussed Project supported by the National Natural Science Foundation of China (Grant No. 19674070) and the Natural Science Foundation of Hebei Province.     

Complex structured singular value analysis using fixed-structure dynamic D-scales

Models of systems are always inexact. Hence, to better predict the performance of a system it is necessary to take into account uncertainty in a nominal model of a system. The structured singular value was developed to nonconservatively analyze robust stability and performance for systems with multiple-block uncertainty. In practice, optimization techniques are used to compute an upper bound on the structured singular value. For dynamic uncertainty with bounded magnitude and arbitrary phase (i.e., "complex uncertainty"), the standard approach to computing an upper bound involves finding diagonal scaling matrices D(jω) that minimize σ_max (D(jω)G(jω)D^-1(jω)) over a (theoretically) infinite number of frequencies. The order of the corresponding stable, minimum phase, rational function D(s) (if it exists) is hence arbitrary, which can lead to very high order controllers when D(s) is used for controller synthesis. This paper develops a fixed-structure approach to computing an upper bound for the complex structured singular value. In particular, by relying on results from mixed-norm H₂/H_∞ analysisD(s) is a priori constrained to be a rational matrix function of a chosen order and a new approach to computing an upper bound on the structured singular value is developed. The results are illustrated using two examples which clearly demonstrate the suboptimality of standard curve fitting. The proposed approach can be extended to mixed uncertainty and structured singular value controller synthesis without D — K type iteration.     

Existence of three nontrivial solutions for elliptic systems with critical exponents and weights

In this paper, an elliptic system with critical Sobolev exponents and weights is studied by the linking theorem on product space and the classical minimax theorem. By investigating the coefficients of the critical nonlinearities, we establish the existence of three nontrivial solutions.     

Characterization of varietal covering and stem groups

Let A _m be the variety of abelian groups of exponent m, where mis a square free positive integer. It is shown that every group G has an A _m -covering group, which generalizes the work of I. Schur (1904) and M.R. Jones (1973). Also, similar to the work of Yamazaki (1964) in the variety of abelian groups, if 1→ A → H → G → 1 is an A _m -stem extension, then we show that H is a homomorphic image of an A _m -covering group of G. Finally,in this variety some results of Hall's type will be proved.     

M?ssbauer study on Sn-doped (Lal1-x,Srx)2Cu1-x,Snx,O4 superconductors under a new concept

¹¹⁹Sn M?ssbauer research is carried out on (La_1-xSr_x),Cu_1-xSn_xO₄(x = 0.075 and 0.110) superconductors which are designed under a new concept. The M?ssbauer spectra results show that Sn occupies Cu position in Sn⁴⁺ state, and there is no Sn²⁺ ion occupying La position. The local lattice deformation near Sn⁴⁺ site is small, but displays an increasing tendency with Sn doping. For La₂CuO₄ matrix, the simultaneous dopings of Sr/Sn induce holes and electrons on CuO₂ layer in a new mechanism which influences superconductivity. Under a new mechanism of extra oxygen, the extra oxygen effect of Sn-doping on superconductivity is discussed     

A Criterion for Designs in ℤ4-codes on the Symmetrized Weight Enumerator

The Assmus–Mattson theorem is known as a method to find designs in linear codes over a finite field. It is an interesting problem to find an analog of the theorem for Z ₄-codes. In a previous paper, the author gave a candidate of the theorem. The purpose of this paper is to give an improvement of the theorem. It is known that the lifted Golay code over Z ₄ contains 5-designs on Lee compositions. The improved method can find some of those without computational difficulty and without the help of a computer.     

Finite Intervals in the Lattice of Topologies

We discuss the question whether every finite interval in the lattice of all topologies on some set is isomorphic to an interval in the lattice of all topologies on a finite set – or, equivalently, whether the finite intervals in lattices of topologies are, up to isomorphism, exactly the duals of finite intervals in lattices of quasiorders. The answer to this question is in the affirmative at least for finite atomistic lattices. Applying recent results about intervals in lattices of quasiorders, we see that, for example, the five-element modular but non-distributive lattice cannot be an interval in the lattice of topologies. We show that a finite lattice whose greatest element is the join of two atoms is an interval of T ₀-topologies iff it is the four-element Boolean lattice or the five-element non-modular lattice. But only the first of these two selfdual lattices is an interval of orders because order intervals are known to be dually locally distributive.     

Solving ℓ1 Regularization Problems With Piecewise Linear Losses

This article is concerned with the computational aspect of ?₁ regularization problems with a certain class of piecewise linear loss functions. The problem of computing the ?₁ regularization path for a piecewise linear loss can be formalized as a parametric linear programming problem. We propose an efficient implementation method of the parametric simplex algorithm for such a problem. We also conduct a simulation study to investigate the behavior of the number of “breakpoints” of the regularization path when both the number of observations and the number of explanatory variables vary. Our method is also applicable to the computation of the regularization path for a piecewise linear loss and the blockwise ?_∞ penalty. This article has supplementary material online.     

Constructions for Octonion and Exceptional Jordan Algebras

In this note we reverse theusual process of constructing the Lie algebras of types G ₂and F ₄ as algebras of derivations of the splitoctonions or the exceptional Jordan algebra and instead beginwith their Dynkin diagrams and then construct the algebras togetherwith an action of the Lie algebras and associated Chevalley groups.This is shown to be a variation on a general construction ofall standard modules for simple Lie algebras and it is well suitedfor use in computational algebra systems. All the structure constantswhich occur are integral and hence the construction specialisesto all fields, without restriction on the characteristic, avoidingthe usual problems with characteristics 2 and 3.     

An average discrepancy for optimal vertex‐modified number‐theoretic rules

Number‐theoretic rules are particularly suited for the approximation of multidimensional integrals in which the integrands are periodic. When the integrands are not periodic, then a vertex‐modified variant has been proposed. Error bounds for such vertex‐modified rules may be obtained in terms of the L ₂ discrepancy. In s dimensions these vertex‐modified rules contain 2^s weights which may be chosen optimally so that the discrepancy is minimized. We obtain an expression for the squared L ₂ discrepancy of optimal vertex‐modified rules. This expression is used to derive an expression for the average of the squared L ₂ discrepancy for optimal vertex‐modified number‐theoretic rules. Values of this average are then compared with the corresponding average for normal number‐theoretic rules and the expected value for Monte Carlo rules. This revised version was published online in June 2006 with corrections to the Cover Date.     

A new multivariable <Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript><Emphasis Type="BoldItalic">ψ</Emphasis><Subscript><Emphasis Type="BoldItalic">6</Emphasis></Subscript> summation formula

By multidimensional matrix inversion, combined with an A _r extension of Jackson’s ₈ φ ₇ summation formula by Milne, a new multivariable ₈ φ ₇ summation is derived. By a polynomial argument this ₈ φ ₇ summation is transformed to another multivariable ₈ φ ₇ summation which, by taking a suitable limit, is reduced to a new multivariable extension of the nonterminating ₆ φ ₅ summation. The latter is then extended, by analytic continuation, to a new multivariable extension of Bailey’s very-well-poised ₆ ψ ₆ summation formula. Partly supported by FWF Austrian Science Fund grants P17563-N13, and S9607 (the second is part of the Austrian National Research Network “Analytic Combinatorics and Probabilistic Number Theory”).     

The S-Related Dynamic Convex Valuation in the Brownian Motion Setting

Let be an array of row-wise exchangeable random elements in a separable Banach space. Strong laws of large numbers are obtained for under certain moment conditions on the random variables and a condition relating to nonorthogonality. By using reverse martingale techniques, similar results are obtained for triangular arrays of random elements inseparable Banach spaces which are row-wise exchangeable     

How to Play M 13?

A puzzle called “M ₁₃” J. H. Conway has described recently is explained. We report an implementation of the puzzle in the programming language Java. The program allows the human user to “play M ₁₃” interactively (and to cheat by solving it automatically). The program is an example on how to bring to life a nice piece of discrete mathematics. In this sense it presents not only a didactical way of seeing “mathematics at work”, but also displays the stabilizer chain method developed by C. Sims to solve group theoretic puzzles, the most famous of which being Rubik's cube.     

Preparation, structure, magnetic properties and special magnetoresistance effect of Lao.67Sr0.33Mn03+δ/Pr0.7Cao.3 Mn03+δ/Lao.67Sro.33Mn03+δ trilayered thin films

The La_0,67Sr_0.33Mn0_{3 +δ}/Pr_0.7Ca_o.3Mn0_3+δ/La_0.67Sr_0.33Mn0_3+δ(LPL) trilayered films on (100)LaA-1O₃ substrates are prepared by using direct current (DC) magnetron sputtering method. The results obtained by means of X-ray powder diffractometer show that all films are the high quality epitaxial films. The results gained by SQUID magnetometer indicate that there is a magnetic coupling in the LPL trilayered films. The resistivities of LSMO, PC-MO and LPL films are measured using standard four-probe method and analyzed log_p-1/T curve. From the results it is concluded that the middle-layered PCMO which is ferromagnetic may play a role of intra-magnetic field, which weakens the paramagnetism of LSMO film, lowersp _max and enlargesT _p which is the transition temperature from metal to insulator, just as the applied magnetic field does. And the middle-layered PCMO may induce the change of the density of states in the LSMO’s gap. The two reasons above make the resistivity andT _p of the samples in zero field change with the thickness of PCMO layers. Project supported by the Chinese Academy of Sciences and the Foundation of State Science and Technology Commission of China.     

Ternary Code Construction of Unimodular Lattices and Self-Dual Codes over ℤ6

We revisit the construction method of even unimodular lattices using ternary self-dual codes given by the third author (M. Ozeki, in Théorie des nombres, J.-M. De Koninck and C. Levesque (Eds.) (Quebec, PQ, 1987), de Gruyter, Berlin, 1989, pp. 772–784), in order to apply the method to odd unimodular lattices and give some extremal (even and odd) unimodular lattices explicitly. In passing we correct an error on the condition for the minimum norm of the lattices of dimension a multiple of 12. As the results of our present research, extremal odd unimodular lattices in dimensions 44, 60 and 68 are constructed for the first time. It is shown that the unimodular lattices obtained by the method can be constructed from some self-dual ₆-codes. Then extremal self-dual ₆-codes of lengths 44, 48, 56, 60, 64 and 68 are constructed.