Mutation Classes of Skew-Symmetric 3 × 3-Matrices

In this article, we establish a bijection between the set of mutation classes of mutation-cyclic skew-symmetric integral 3 × 3-matrices and the set of triples of integers (a, b, c) such that 2 ≤ a ≤ b ≤ c and ab ≥ c. We also give an algorithm allowing to verify whether a matrix is mutation-cyclic or not. We prove that given a, b, the two cases depend on whether c is large enough or not.     

Combinatorial Groupoids,Cubical Complexes,and the Lovász Conjecture

This paper lays the foundation for a theory of combinatorial groupoids that allows us to use concepts like “holonomy”, “parallel transport”, “bundles”, “combinatorial curvature”, etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. We introduce a new, holonomy-type invariant for cubical complexes, leading to a combinatorial “Theorema Egregium” for cubical complexes that are non-embeddable into cubical lattices. Parallel transport of Hom-complexes and maps is used as a tool to extend Babson–Kozlov–Lovász graph coloring results to more general statements about nondegenerate maps (colorings) of simplicial complexes and graphs. The author was supported by grants 144014 and 144026 of the Serbian Ministry of Science and Technology.     

Stability Switches, Hopf Bifurcations, and Spatio-temporal Patterns in a Delayed Neural Model with Bidirectional Coupling

The dynamical behavior of a delayed neural network with bi-directional coupling is investigated by taking the delay as the bifurcating parameter. Some parameter regions are given for conditional/absolute stability and Hopf bifurcations by using the theory of functional differential equations. As the propagation time delay in the coupling varies, stability switches for the trivial solution are found. Conditions ensuring the stability and direction of the Hopf bifurcation are determined by applying the normal form theory and the center manifold theorem. We also discuss the spatio-temporal patterns of bifurcating periodic oscillations by using the symmetric bifurcation theory of delay differential equations combined with representation theory of Lie groups. In particular, we obtain that the spatio-temporal patterns of bifurcating periodic oscillations will alternate according to the change of the propagation time delay in the coupling, i.e., different ranges of delays correspond to different patterns of neural activities. Numerical simulations are given to illustrate the obtained results and show the existence of bursts in some interval of the time for large enough delay.     

Symmetric functions,codes of partitions and the KP hierarchy

We consider an operator of Bernstein for symmetric functions and give an explicit formula for its action on an arbitrary Schur function. This formula is given in a remarkably simple form when written in terms of some notation based on the code of a partition. As an application, we give a new and very simple proof of a classical result for the KP hierarchy, which involves the Plücker relations for Schur function coefficients in a τ-function for the hierarchy. This proof is especially compact because we are able to restate the Plücker relations in a form that is symmetrical in terms of partition code notation.     

Polynomial Hierarchy, Betti Numbers, and a Real Analogue of Toda’s Theorem

Toda (in SIAM J. Comput. 20(5):865–877, 1991) proved in 1989 that the (discrete) polynomial time hierarchy, PH, is contained in the class P ^#P , namely the class of languages that can be decided by a Turing machine in polynomial time given access to an oracle with the power to compute a function in the counting complexity class #P. This result, which illustrates the power of counting, is considered to be a seminal result in computational complexity theory. An analogous result in the complexity theory over the reals (in the sense of Blum–Shub–Smale real machines in Bull. Am. Math. Soc. (NS) 21(1): 1–46, 1989) has been missing so far. In this paper we formulate and prove a real analogue of Toda’s theorem. Unlike Toda’s proof in the discrete case, which relied on sophisticated combinatorial arguments, our proof is topological in nature. As a consequence of our techniques, we are also able to relate the computational hardness of two extremely well-studied problems in algorithmic semi-algebraic geometry: the problem of deciding sentences in the first-order theory of the reals with a constant number of quantifier alternations, and that of computing Betti numbers of semi-algebraic sets. We obtain a polynomial time reduction of the compact version of the first problem to the second. This latter result may be of independent interest to researchers in algorithmic semi-algebraic geometry.     

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.     

Poisson convergence,in large deviations,for the superposition of independent point processes

For a small buffer queueing system fed by many flows of a large class of traffic processes we show the single server queue and associated sample paths behave as if fed by marked Poisson traffic in a large deviations limit. The timescale of events of interest tends to zero, so we study the log moment generating function as time tends to zero. The associated rate function depends only on the mean arrival rate and the moment generating function of the arrivals. These results are useful in estimating drop probabilities while studying the effect of small buffers on communication protocols. Research supported by EPSRC Grant GR/S86266/01.     

Homogeneous Hypersurfaces in ℂ<Superscript>3</Superscript>, Associated with a Model CR-Cubic

The model 4-dimensional CR-cubic in ℂ³ has the following “model” property: it is (essentially) the unique locally homogeneous 4-dimensional CR-manifold in ℂ³ with finite-dimensional infinitesimal automorphism algebra \mathfrakg\mathfrak{g} and non-trivial isotropy subalgebra. We study and classify, up to local biholomorphic equivalence, all \mathfrakg\mathfrak{g}-homogeneous hypersurfaces in ℂ³ and also classify the corresponding local transitive actions of the model algebra \mathfrakg\mathfrak{g} on hypersurfaces in ℂ³.     

Regularity and Variationality of Solutions to Hamilton—Jacobi Equations. Part II: Variationality,Existence, Uniqueness

We formulate an Hamilton–Jacobi partial differential equation

Symmetries,Lagrangian and Conservation Laws for the Maxwell Equations

The evolution equations of Maxwell’s equations has a Lagrangian written in terms of the electric E and magnetic H fields, but admit neither Lorentz nor conformal transformations. The additional equations ∇⋅E=0, ∇⋅H=0 guarantee the Lorentz and conformal invariance, but the resulting system is overdetermined, and hence does not have a Lagrangian. The aim of the present paper is to attain a harmony between these two contradictory properties and provide a correspondence between symmetries and conservation laws using the Lagrangian for the evolutionary part of Maxwell’s equations.     

Hypercontractivity, Nash inequalities and subordination for classes of nonlinear semigroups

A suitable notion of hypercontractivity for a nonlinear semigroup {T _t } is shown to imply Nash-type inequalities for its generator H, provided a subhomogeneity property holds for the energy functional (u,Hu). We use this fact to prove that, for semigroups generated by operators of p-Laplacian-type, hypercontractivity implies ultracontractivity. Then we introduce the notion of subordinated nonlinear semigroups when the corresponding Bernstein function is f(x)=x ^α , and write an explicit formula for the associated generator. It is shown that hypercontractivity still holds for the subordinated semigroup and, hence, that Nash-type inequalities hold as well for the subordinated generator.     

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  .      

Absorbing Angles,Steiner Minimal Trees,and Antipodality

We give a new proof that a star {op _i :i=1,…,k} in a normed plane is a Steiner minimal tree of vertices {o,p ₁,…,p _k } if and only if all angles formed by the edges at o are absorbing (Swanepoel in Networks 36: 104–113, 2000). The proof is simpler and yet more conceptual than the original one. We also find a new sufficient condition for higher-dimensional normed spaces to share this characterization. In particular, a star {op _i :i=1,…,k} in any CL-space is a Steiner minimal tree of vertices {o,p ₁,…,p _k } if and only if all angles are absorbing, which in turn holds if and only if all distances between the normalizations \frac1||p_i||p_i\frac{1}{\Vert p_{i}\Vert}p_{i} equal 2. CL-spaces include the mixed ℓ ₁ and ℓ _∞ sum of finitely many copies of ℝ.     

Benders,metric and cutset inequalities for multicommodity capacitated network design

Solving multicommodity capacitated network design problems is a hard task that requires the use of several strategies like relaxing some constraints and strengthening the model with valid inequalities. In this paper, we compare three sets of inequalities that have been widely used in this context: Benders, metric and cutset inequalities. We show that Benders inequalities associated to extreme rays are metric inequalities. We also show how to strengthen Benders inequalities associated to non-extreme rays to obtain metric inequalities. We show that cutset inequalities are Benders inequalities, but not necessarily metric inequalities. We give a necessary and sufficient condition for a cutset inequality to be a metric inequality. Computational experiments show the effectiveness of strengthening Benders and cutset inequalities to obtain metric inequalities.     

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.     

Global Existence,Decay, and Blow up of Solutions of a Singular Nonlocal Viscoelastic Problem

In this work we consider a nonlinear hyperbolic one-dimensional viscoelastic nonlocal problem with a nonlocal boundary condition. We establish a blow up result for large initial data and a decay result for small enough initial data.