Computing the ℤ2-Cocharacter of 3 × 3 Matrices of Odd Degree

Let F be a field of characteristic 0 and A = M _{2, 1}(F) the algebra of 3 × 3 matrices over F endowed with the only non trivial ?₂-grading. Aver'yanov in [1 Aver'yanov , I. V. ( 2009 ). Basis of graded identities of the superalgebra M _{1, 2}(F) . Mathematical Notes 85 ( 4 ): 467 – 483 .[Crossref] , [Google Scholar]] determined a set of generators for the T ₂-ideal of graded identities of A. Here we study the identities in variables of homogeneous degree 1 via the representation theory of the symmetric group, and we determine the decomposition of the corresponding character into irreducibles.     

Similarity Classes of 3 × 3 Matrices Over a Local Principal Ideal Ring

In this article similarity classes of three by three matrices over a local principal ideal commutative ring are analyzed. When the residue field is finite, a generating function for the number of similarity classes for all finite quotients of the ring is computed explicitly.     

Type-II matrices in weighted Bose–Mesner algebras of ranks 2 and 3

Type-II matrices are nonzero complex matrices that were introduced in connection with spin models for link invariants. Type-II matrices have been found in connection with symmetric designs, sets of equiangular lines, strongly regular graphs, and some distance regular graphs. We investigate weighted complete and strongly regular graphs, and show that type-II matrices arise in this setting as well.     

Strong Normalizability of Typed Lambda-Calculi for Substructural Logics

The strong normalization theorem is uniformly proved for typed λ-calculi for a wide range of substructural logics with or without strong negation. We would like to thank the referees for their valuable comments and suggestions. This research was supported by the Alexander von Humboldt Foundation. The second author is grateful to the Foundation for providing excellent working conditions and generous support of this research. This work was also supported by the Japanese Ministry of Education, Culture, Sports, Science and Technology, Grant-in-Aid for Young Scientists (B) 20700015, 2008.     

A D’Alembert Formula for Flat Surfaces in the 3-Sphere

We find all the flat surfaces in the unit 3-sphere $\mathbb{S}^{3}We find all the flat surfaces in the unit 3-sphere that pass through a given regular curve of with a prescribed tangent plane distribution along this curve. The formula that solves this problem may be seen as a geometric analogue of the classical D’Alembert formula that solves the Cauchy problem for the homogeneous wave equation. We also provide several applications of this geometric D’Alembert formula, including a classification of the flat M?bius strips of  .      

Magnetically-Induced Buckling of a Whirling Conducting Rod with Applications to Electrodynamic Space Tethers

We study the effect of a magnetic field on the behaviour of a slender conducting elastic structure, motivated by stability problems of electrodynamic space tethers. Both static (buckling) and dynamic (whirling) instability are considered and we also compute post-buckling configurations. The equations used are the geometrically exact Kirchhoff equations. Magnetic buckling of a welded rod is found to be described by a surprisingly degenerate bifurcation, which is unfolded when both transverse anisotropy of the rod and angular velocity are considered. By solving the linearised equations about the (quasi-) stationary solutions, we find various secondary instabilities. Our results are relevant for current designs of electrodynamic space tethers and potentially for future applications in nano- and molecular wires.     

Discriminantal arrangement, 3 × 3 minors of Plücker matrix and hypersurfaces in Grassmannian Gr(3,n)

We show that points in specific degree-2 hypersurfaces in the Grassmannian $Gr(3,n)$ correspond to generic arrangements of n hyperplanes in ${\mathbb{C}}^3$ with associated discriminantal arrangement having intersections of multiplicity three in codimension two.     

Combinatorial Integer Labeling Theorems on Finite Sets with Applications

Tucker’s well-known combinatorial lemma states that, for any given symmetric triangulation of the n-dimensional unit cube and for any integer labeling that assigns to each vertex of the triangulation a label from the set {±1,±2,…,±n} with the property that antipodal vertices on the boundary of the cube are assigned opposite labels, the triangulation admits a 1-dimensional simplex whose two vertices have opposite labels. In this paper, we are concerned with an arbitrary finite set D of integral vectors in the n-dimensional Euclidean space and an integer labeling that assigns to each element of D a label from the set {±1,±2,…,±n}. Using a constructive approach, we prove two combinatorial theorems of Tucker type. The theorems state that, under some mild conditions, there exists two integral vectors in D having opposite labels and being cell-connected in the sense that both belong to the set {0,1} ⁿ +q for some integral vector q. These theorems are used to show in a constructive way the existence of an integral solution to a system of nonlinear equations under certain natural conditions. An economic application is provided.     

Inexact Josephy–Newton framework for generalized equations and its applications to local analysis of Newtonian methods for constrained optimization

We propose and analyze a perturbed version of the classical Josephy–Newton method for solving generalized equations. This perturbed framework is convenient to treat in a unified way standard sequential quadratic programming, its stabilized version, sequential quadratically constrained quadratic programming, and linearly constrained Lagrangian methods. For the linearly constrained Lagrangian methods, in particular, we obtain superlinear convergence under the second-order sufficient optimality condition and the strict Mangasarian–Fromovitz constraint qualification, while previous results in the literature assume (in addition to second-order sufficiency) the stronger linear independence constraint qualification as well as the strict complementarity condition. For the sequential quadratically constrained quadratic programming methods, we prove primal-dual superlinear/quadratic convergence under the same assumptions as above, which also gives a new result.     

Non-Walker Self-Dual Neutral Einstein Four-Manifolds of Petrov Type III

The local structure of the manifolds named in the title is described. Although curvature homogeneous, they are not, in general, locally homogeneous. Not all of them are Ricci-flat, which answers an existence question about type III Jordan-Osserman metrics, raised by Díaz-Ramos, García-Río and Vázquez-Lorenzo (J. Geom. Anal. 16, 39–52, 2006). Work begun during the author’s visit to the University of Santiago de Compostela, supported by Grant MTM2006-01432 (Spain).     

A Mathematica package for q-holonomic sequences and power series

We describe a Mathematica package for dealing with q-holonomic sequences and power series. The package is intended as a q-analogue of the Maple package gfun and the Mathematica package GeneratingFunctions. It provides commands for addition, multiplication, and substitution of these objects, for converting between various representations (q-differential equations, q-recurrence equations, q-shift equations), for computing sequence terms and power series coefficients, and for guessing recurrence equations given initial terms of a sequence. C. Koutschan partially supported by the Austrian Science Foundation (FWF) grants SFB F1305.     

Do we self-regulate actions or perceptions? A test of two computational models

Self-regulation theories in applied psychology disagree about whether action or perceptions are the focus of regulation. Computational models based on the two conceptualizations were constructed and simulated. In one scenario, they performed identically and in conjunction with participants in a study of the goal-level effect (Vancouver et al., Organ Res Methods 8:100–127, 2005). In another scenario they created differentiating predictions and only the computational model based on the self-regulation of perceptions matched the data of participants. Implications for research and practice are discussed.

Hirota's method and the search for integrable partial difference equations. 1. Equations on a 3 × 3 stencil

Hirota's bilinear method (‘direct method’) has been very effective for constructing soliton solutions to many integrable equations. The construction of one-soliton solution (1SS) and two-soliton solution (2SS) is possible even for non-integrable bilinear equations, but the existence of a generic three-soliton solution (3SS) imposes severe constraints and is in fact equivalent to integrability. This property has been used before in searching for integrable partial differential equations, and in this paper we apply it to two-dimensional (2D) partial difference equations defined on a 3 × 3 stencil. We also discuss how the obtained equations are related to projections and limits of the 3D master equations of Hirota and Miwa, and find that sometimes a singular limit is needed.     

Existence of a periodic solution for continuous and discrete periodic second-order equations with variable potentials

Green’s functions for new second-order periodic differential and difference equations with variable potentials are found, then used as kernels in integral operators to guarantee the existence of a positive periodic solution to continuous and discrete second-order periodic boundary value problems with periodic coefficient functions. A new version of the Leggett-Williams fixed point theorem is employed.     

Congruences for cubic partition pairs modulo powers of 3

Let b(n) be the number of cubic partition pairs of n. We establish three congruences for b(n) modulo arbitrary powers of 3. Meanwhile, we prove some conjectures proposed by the first author.     

Limit Property for Regular and Weak Generalized Convolution

We denote by ? \((\mathcal{P_{+}})\) the set of all probability measures defined on the Borel subsets of the real line (the positive half-line [0,∞)). K. Urbanik defined the generalized convolution as a commutative and associative ?₊-valued binary operation ? on ? ₊ ² which is continuous in each variable separately. This convolution is distributive with respect to convex combinations and scale changes T _a (a>0) with δ ₀ as the unit element. The key axiom of a generalized convolution is the following: there exist norming constants c _n and a measure ν other than δ ₀ such that \(T_{c_{n}}\delta_{1}^{\bullet n}\to\nu\).In Sect. 2 we discuss basic properties of the generalized convolution on ? which hold for the convolutions without the key axiom. This rather technical discussion is important for the weak generalized convolution where the key axiom is not a natural assumption. In Sect. 4 we show that if the weak generalized convolution defined by a weakly stable measure μ has this property, then μ is a factor of strictly stable distribution.     

Units of ℤ(Cp × C2) and ℤ(Cp × C2 × C2)

The goal of this article is to describe a multiplicatively independent set, which generates the group of units of the integral group ring ?G, where G is either the cyclic group of order 2p or C₂ × C₂ × C_p, for a prime number p that satisfies some suitable conditions that will be specified later.     

Deterministic shock vs. stochastic value-at-risk — an analysis of the Solvency II standard model approach to longevity risk

In general, the capital requirement under Solvency II is determined as the 99.5% Value-at-Risk of the Available Capital. In the standard model’s longevity risk module, this Value-at-Risk is approximated by the change in Net Asset Value due to a pre-specified longevity shock which assumes a 25% reduction of mortality rates for all ages. We analyze the adequacy of this shock by comparing the resulting capital requirement to the Value-at-Risk based on a stochastic mortality model. This comparison reveals structural shortcomings of the 25% shock and therefore, we propose a modified longevity shock for the Solvency II standard model. We also discuss the properties of different Risk Margin approximations and find that they can yield significantly different values. Moreover, we explain how the Risk Margin may relate to market prices for longevity risk and, based on this relation, we comment on the calibration of the cost of capital rate and make inferences on prices for longevity derivatives.     

Asymptotic behavior for non-oscillatory solutions of difference equations with several delays in the neutral term

In this paper, we first consider difference equations with several delays in the neutral term of the form * $$\Delta\left(y_{n}+\sum_{i=1}^{L}p_{i}y_{n-{k_{i}}}-\sum_{j=1}^{M}r_{j}y_{n-{\rho_{j}}}\right)+q_{n}y_{n-\tau}=0\quad \mbox{for}\ n\in\mathbb{Z}^{+}(0),$$ study various cases of coefficients in the neutral term and obtain the asymptotic behavior for non-oscillatory solution of (*) under some hypotheses. Moreover, we consider reaction-diffusion difference equations with several delays in the neutral term of the form $$\begin{array}{l}\Delta_{1}\left(u_{n,m}+\displaystyle \sum_{i=1}^{L}p_{i}u_{n-{k_{i}},m}-\displaystyle \sum_{j=1}^{M}r_{j}u_{n-{\rho_{j}},m}\right)+q_{n,m}u_{n-\tau,m}\\[18pt]\quad {}=a^{2}\Delta_{2}^{2}u_{n+1,m-1}\end{array}$$ for (n,m)∈?⁺(0)×Ω, study various cases of coefficients in the neutral term and obtain the asymptotic behavior for non-oscillatory solution under some hypotheses.     

Arithmetic properties of partitions with odd parts distinct

In this work, we consider the function pod(n), the number of partitions of an integer n wherein the odd parts are distinct (and the even parts are unrestricted), a function which has arisen in recent work of Alladi. Our goal is to consider this function from an arithmetic point of view in the spirit of Ramanujan’s congruences for the unrestricted partition function p(n). We prove a number of results for pod(n) including the following infinite family of congruences: for all α≥0 and n≥0,