Some Poisson structures and Lax equations associated with the Toeplitz lattice and the Schur lattice

The Toeplitz lattice is a Hamiltonian system whose Poisson structure is known. In this paper, we unveil the origins of this Poisson structure and derive from it the associated Lax equations for this lattice. We first construct a Poisson subvariety H _n of GL _n (C), which we view as a real or complex Poisson–Lie group whose Poisson structure comes from a quadratic R-bracket on gl _n (C) for a fixed R-matrix. The existence of Hamiltonians, associated to the Toeplitz lattice for the Poisson structure on H _n , combined with the properties of the quadratic R-bracket allow us to give explicit formulas for the Lax equation. Then we derive from it the integrability in the sense of Liouville of the Toeplitz lattice. When we view the lattice as being defined over R, we can construct a Poisson subvariety H _n ^τ of U _n which is itself a Poisson–Dirac subvariety of GL _n ^R (C). We then construct a Hamiltonian for the Poisson structure induced on H _n ^τ , corresponding to another system which derives from the Toeplitz lattice the modified Schur lattice. Thanks to the properties of Poisson–Dirac subvarieties, we give an explicit Lax equation for the new system and derive from it a Lax equation for the Schur lattice. We also deduce the integrability in the sense of Liouville of the modified Schur lattice.     

On ordered-covering mappings and implicit differential inequalities

We define the set of ordered covering of a mapping that acts in partially ordered spaces; we suggest a method for finding the set of ordered covering of vector functions of several variables and the Nemytskii operator acting in Lebesgue spaces. We prove assertions on operator inequalities in arbitrary partially ordered spaces. We obtain conditions that use a set of ordered covering of the corresponding mapping and ensure that the existence of an element u such that f(u) ≥ y implies the solvability of the equation f(x) = y and the estimate x ≤ u for its solution. We study the problem on the existence of the minimal and least solutions. These results are used for the analysis of an implicit differential equation. For the Cauchy problem, we prove a theorem on an inequality of the Chaplygin type.     

On the <Emphasis Type="Italic">σ</Emphasis>-countable compactness of spaces of continuous functions with the set-open topology

For a Tychonoff space X, we obtain a criterion of the σ-countable compactness of the space of continuous functions C(X) with the set-open topology. In particular, for the class of extremally disconnected spaces X, we prove that the space C _λ(X) is σ-countably compact if and only if X is a pseudocompact space, the set X(P) of all P-points of the space X is dense in X, and the family λ consists of finite subsets of the set X(P).     

On a classical theorem on the diameter and minimum degree of a graph

In this work, we obtain good upper bounds for the diameter of any graph in terms of its minimum degree and its order, improving a classical theorem due to Erd¨os, Pach, Pollack and Tuza.We use these bounds in order to study hyperbolic graphs(in the Gromov sense). To compute the hyperbolicity constant is an almost intractable problem, thus it is natural to try to bound it in terms of some parameters of the graph. Let H(n, δ_0) be the set of graphs G with n vertices and minimum degree δ_0, and J(n, Δ) be the set of graphs G with n vertices and maximum degree Δ. We study the four following extremal problems on graphs: a(n, δ_0) = min{δ(G) | G ∈ H(n, δ_0)}, b(n, δ_0) = max{δ(G) |G ∈ H(n, δ_0)}, α(n, Δ) = min{δ(G) | G ∈ J(n, Δ)} and β(n, Δ) = max{δ(G) | G ∈ J(n, Δ)}. In particular, we obtain bounds for b(n, δ_0) and we compute the precise value of a(n, δ_0), α(n, Δ) andβ(n, Δ) for all values of n, δ_0 and Δ, respectively.     

Coverings over lax integrable equations and their nonlocal symmetries

We consider the three-dimensional rdDym equation u_ty = u_xu_xy ?u_yu_xx. Using the known Lax representation with a nonremovable parameter and two hierarchies of nonlocal conservation laws associated with it, we describe the algebras of nonlocal symmetries in the corresponding coverings.     

Family algebras and generalized exponents for polyvector representations of simple Lie algebras of type <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We give an explicit formula for the exterior powers ∧ ^k π ₁ of the defining representation π ₁ of the simple Lie algebra ?ο(2n + 1, ?). We use the technique of family algebras. All representations in question are children of the spinor representation σ of g2ο(2n + 1, ?). We also give a survey of main results on family algebras.     

On the number of irreducible characters in a 3-block with a minimal nonabelian defect group

Let B be a 3-block of a finite group G with a defect group D. In this paper, we are mainly concerned with the number of characters in a particular block, so we shall use Isaacs' approach to block structure. We consider the block B of a group G as a union of two sets, namely a set of irreducible ordinary characters of G having cardinality k(B) and a set of irreducible Brauer characters of G having cardinality l(B). We calculate k(B) and l(B) provided that D is normal in G and D■x, y, z|x~(3n)=y~(3m)= z~3= [x, z] = [y, z] = 1, [x, y] = z(n m ≥ 2).     

Constructing permutation arrays from groups

Let M(n, d) be the maximum size of a permutation array on n symbols with pairwise Hamming distance at least d. We use various combinatorial, algebraic, and computational methods to improve lower bounds for M(n, d). We compute the Hamming distances of affine semilinear groups and projective semilinear groups, and unions of cosets of AGL(1, q) and PGL(2, q) with Frobenius maps to obtain new, improved lower bounds for M(n, d). We give new randomized algorithms. We give better lower bounds for M(n, d) also using new theorems concerning the contraction operation. For example, we prove a quadratic lower bound for \(M(n,n-2)\) for all \(n\equiv 2 \pmod 3\) such that \(n+1\) is a prime power.     

The characterization of a class of quantum Markov semigroups and the associated operator-valued Dirichlet forms based on Hilbert <Emphasis Type="Italic">C</Emphasis>*-module <Emphasis Type="Italic">l</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">A</Emphasis>)

We characterize A-linear symmetric and contraction module operator semigroup{Tt}t∈R+L(l2(A)),where A is a finite-dimensional C-algebra,and L(l2(A))is the C-algebra of all adjointable module maps on l2(A).Next,we introduce the concept of operator-valued quadratic forms,and give a one to one correspondence between the set of non-positive definite self-adjoint regular module operators on l2(A)and the set of non-negative densely defined A-valued quadratic forms.In the end,we obtain that a real and strongly continuous symmetric semigroup{Tt}t∈R+L(l2(A))being Markovian if and only if the associated closed densely defined A-valued quadratic form is a Dirichlet form.     

The classification of bi-quintic parametric polynomial minimal surfaces

Parametric polynomial surface is a fundamental element in CAD systems. Since the most of the classic minimal surfaces are represented by non-parametric polynomial, it is interesting to study the minimal surfaces represented in parametric polynomial form. Recently,Ganchev presented the canonical principal parameters for minimal surfaces. The normal curvature of a minimal surface expressed in these parameters determines completely the surface up to a position in the space. Based on this result, in this paper, we study the bi-quintic isothermal minimal surfaces. According to the condition that any minimal isothermal surface is harmonic,we can acquire the relationship of some control points must satisfy. Follow up, we obtain two holomorphic functions f(z) and g(z) which give the Weierstrass representation of the minimal surface. Under the constrains that the minimal surface is bi-quintic, f(z) and g(z) can be divided into two cases. One case is that f(z) is a constant and g(z) is a quadratic polynomial, and another case is that the degree of f(z) and g(z) are 2 and 1 respectively. For these two cases,we transfer the isothermal parameter to canonical principal parameter, and then compute their normal curvatures and analyze the properties of the corresponding minimal surfaces. Moreover,we study some geometric properties of the bi-quintic harmonic surfaces based on the B′ezier representation. Finally, some numerical examples are demonstrated to verify our results.     

On solvability of f(p(x)) = q(f(x)) for given real functions p,q

We investigate the solvability of functional equations f(p(x)) =  q(f(x)) for given functions p and q which are partially or completely defined on the set of all real numbers. For these investigations, we use methods for constructions of homomorphisms of mono-unary algebras. We can present a simple characterisation of solvability of the above equation in the case that p, q are strictly increasing and continuous functions. It gives, on the one hand, a practical use for a class of functional equations. On the other hand, it is a contribution to questions on topological conjugacy of monotonous real functions.     

Fast separation for the three-index assignment problem

A critical step in a cutting plane algorithm is separation, i.e., establishing whether a given vector x violates an inequality belonging to a specific class. It is customary to express the time complexity of a separation algorithm in the number of variables n. Here, we argue that a separation algorithm may instead process the vector containing the positive components of x,  denoted as supp(x),  which offers a more compact representation, especially if x is sparse; we also propose to express the time complexity in terms of |supp(x)|. Although several well-known separation algorithms exploit the sparsity of x,  we revisit this idea in order to take sparsity explicitly into account in the time-complexity of separation and also design faster algorithms. We apply this approach to two classes of facet-defining inequalities for the three-index assignment problem, and obtain separation algorithms whose time complexity is linear in |supp(x)| instead of n. We indicate that this can be generalized to the axial k-index assignment problem and we show empirically how the separation algorithms exploiting sparsity improve on existing ones by running them on the largest instances reported in the literature.     

Enveloping Algebras of the Nilpotent Malcev Algebra of Dimension Five

Pérez-Izquierdo and Shestakov recently extended the PBW theorem to Malcev algebras. It follows from their construction that for any Malcev algebra M over a field of characteristic ≠ 2, 3 there is a representation of the universal nonassociative enveloping algebra U(M) by linear operators on the polynomial algebra P(M). For the nilpotent non-Lie Malcev algebra \(\mathbb{M}\) of dimension 5, we use this representation to determine explicit structure constants for \(U(\mathbb{M})\); from this it follows that \(U(\mathbb{M})\) is not power-associative. We obtain a finite set of generators for the alternator ideal \(I(\mathbb{M}) \subset U(\mathbb{M})\) and derive structure constants for the universal alternative enveloping algebra \(A(\mathbb{M}) = U(\mathbb{M})/I(\mathbb{M})\), a new infinite dimensional alternative algebra. We verify that the map \(\iota\colon \mathbb{M} \to A(\mathbb{M})\) is injective, and so \(\mathbb{M}\) is special.     

Structure of Abelian rings

Let R be a ring with identity. We use J(R); G(R); and X(R) to denote the Jacobson radical, the group of all units, and the set of all nonzero nonunits in R; respectively. A ring is said to be Abelian if every idempotent is central. It is shown, for an Abelian ring R and an idempotent-lifting ideal N ? J(R) of R; that R has a complete set of primitive idempotents if and only if R/N has a complete set of primitive idempotents. The structure of an Abelian ring R is completely determined in relation with the local property when X(R) is a union of 2; 3; 4; and 5 orbits under the left regular action on X(R) by G(R): For a semiperfect ring R which is not local, it is shown that if G(R) is a cyclic group with 2 ∈ G(R); then R is finite. We lastly consider two sorts of conditions for G(R) to be an Abelian group.     

Dyson’s partition ranks and their multiplicative extensions

We study the Dyson rank function N(r, 3; n), the number of partitions of n with rank \(\equiv r \pmod 3\). We investigate the convexity of these functions. We extend N(r, 3; n) multiplicatively to the set of partitions, and we determine the maximum value when taken over all partitions of size n.     

Application of the trigonal curve to the Blaszak–Marciniak lattice hierarchy

We develop a method for constructing algebro-geometric solutions of the Blaszak–Marciniak (BM) lattice hierarchy based on the theory of trigonal curves. We first derive the BM lattice hierarchy associated with a discrete (3×3)-matrix spectral problem using Lenard recurrence relations. Using the characteristic polynomial of the Lax matrix for the BM lattice hierarchy, we introduce a trigonal curve with two infinite points, which we use to establish the associated Dubrovin-type equations. We then study the asymptotic properties of the algebraic function carrying the data of the divisor and the Baker–Akhiezer function near the two infinite points on the trigonal curve. We finally obtain algebro-geometric solutions of the entire BM lattice hierarchy in terms of the Riemann theta function.     

On perturbation theory for points of discrete spectrum of dissipative operator functions

We consider the operator function L(α, θ) = A(α) ? θR of two complex arguments, where A(α) is an analytic operator function defined in some neighborhood of a real point α ₀ ∈ ? and ranging in the space of bounded operators in a Hilbert space ?. We assume that A(α) is a dissipative operator for real α in a small neighborhood of the point α ₀ and R is a bounded positive operator; moreover, the point α ₀ is a normal eigenvalue of the operator function L(α, θ ₀) for some θ ₀ ∈ ?, and the number θ ₀ is a normal eigenvalue of the operator function L(α ₀ θ). We obtain analogs and generalizations of well-known results for self-adjoint operator functions A(α) on the decomposition of α- and θ-eigenvalues in neighborhoods of the points α ₀ and θ ₀, respectively, and on the representation of the corresponding eigenfunctions by series.     

Infinite horizon backward doubly stochastic differential equations with non-degenerate terminal functions and their stationary property

In this paper we consider infinite horizon backward doubly stochastic differential equations (BDSDEs for short) coupled with forward stochastic differential equations, whose terminal functions are non-degenerate. For such kind of BDSDEs, we study the existence and uniqueness of their solutions taking values in weighted L ^p (dx)?L ²(dx) space (p ≥ 2), and obtain the stationary property for the solutions.     

Dynamical magnetic susceptibility in the spin-fermion model for cuprate superconductors

Using the method of diagram techniques for the spin and Fermi operators in the framework of the SU(2)-invariant spin-fermion model of the electron structure of the CuO₂plane of copper oxides, we obtain an exact representation of the Matsubara Green’s function D_⊥(k, iω _m ) of the subsystem of localized spins. This representation includes the Larkin mass operator Σ_L(k, iω _m ) and the strength and polarization operators P(k, iω _m ) and Π(k, iω _m ). The calculation in the one-loop approximation of the mass and strength operators for the Heisenberg spin system in the quantum spin-liquid state allows writing the Green’s function D_⊥(k, iω _m ) explicitly and establishing a relation to the result of Shimahara and Takada. An essential point in the developed approach is taking the spin-polaron nature of the Fermi quasiparticles in the spin-fermion model into account in finding the contribution of oxygen holes to the spin response in terms of the polarization operator Π(k, iω _m ).     

On the strong Brillinger-mixing property of α-determinantal point processes and some applications

First, we derive a representation formula for all cumulant density functions in terms of the non-negative definite kernel function C(x, y) defining an α-determinantal point process (DPP). Assuming absolute integrability of the function C₀(x) = C(o, x), we show that a stationary α-DPP with kernel function C₀(x) is “strongly” Brillinger-mixing, implying, among others, that its tail-σ-field is trivial. Second, we use this mixing property to prove rates of normal convergence for shot-noise processes and sketch some applications to statistical second-order analysis of α-DPPs.