Coincidence points of multivalued mappings in (<Emphasis Type="Italic">q</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">q</Emphasis><Subscript>2</Subscript>)-quasimetric spaces

The properties of (q₁, q₂)-quasimetric spaces are examined. Multivalued covering mappings between (q₁, q₂)-quasimetric spaces are investigated. Given two multivalued mappings between (q₁, q₂)-quasimetric spaces such that one of them is covering and the other satisfies the Lipschitz condition, sufficient conditions for these mappings to have a coincidence point are obtained. A theorem on the stability of coincidence points with respect to small perturbations in the considered mappings is proved.     

The Fixed Points of Contractions of <Emphasis Type="Italic">f</Emphasis>-Quasimetric Spaces

The recent articles of Arutyunov and Greshnov extend the Banach and Hadler Fixed-Point Theorems and the Arutyunov Coincidence-Point Theorem to the mappings of (q₁, q₂)-quasimetric spaces. This article addresses similar questions for f-quasimetric spaces.Given a function f: R ₊² → R₊ with f(r₁, r₂) → 0 as (r₁, r₂) → (0, 0), an f-quasimetric space is a nonempty set X with a possibly asymmetric distance function ρ: X² → R+ satisfying the f-triangle inequality: ρ(x, z) ≤ f(ρ(x, y), ρ(y, z)) for x, y, z ∈ X. We extend the Banach Contraction Mapping Principle, as well as Krasnoselskii’s and Browder’s Theorems on generalized contractions, to mappings of f-quasimetric spaces.     

(<Emphasis Type="Italic">q</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">q</Emphasis><Subscript>2</Subscript>)-quasimetrics bi-Lipschitz equivalent to 1-quasimetrics

We prove that the conditions of (q₁, 1)- and (1, q₂)-quasimertricity of a distance function ρ are sufficient for the existence of a quasimetric bi-Lipschitz equivalent to ρ. It follows that the Box-quasimetric defined with the use of basis vector fields of class C₁ whose commutators at most sum their degrees is bi-Lipschitz equivalent to some metric. On the other hand, we show that these conditions are not necessary. We prove the existence of (q₁, q₂)-quasimetrics for which there are no Lipschitz equivalent 1-quasimetrics, which in particular implies another proof of a result by V. Schröder.     

On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-factorization of complete bipartite multigraphs

Let λK _m,n be a complete bipartite multigraph with two partite sets having m and n vertices, respectively. A K _p,q -factorization of λK _m,n is a set of edge-disjoint K _p,q -factors of λK _m,n which partition the set of edges of λK _m,n . When p = 1 and q is a prime number, Wang, in his paper [On K _1,q -factorization of complete bipartite graph, Discrete Math., 126: (1994), 359-364], investigated the K _1,q -factorization of K _m,n and gave a sufficient condition for such a factorization to exist. In papers [K _1,k -factorization of complete bipartite graphs, Discrete Math., 259: 301-306 (2002),; K _p,q -factorization of complete bipartite graphs, Sci. China Ser. A-Math., 47: (2004), 473-479], Du and Wang extended Wang’s result to the case that p and q are any positive integers. In this paper, we give a sufficient condition for λK _m,n to have a K _p,q -factorization. As a special case, it is shown that the necessary condition for the K _p,q -factorization of λK _m,n is always sufficient when p : q = k : (k + 1) for any positive integer k.     

Properties of element orders in covers for L<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>) and U<Subscript>n</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

We show that if a finite simple group G, isomorphic to PSL_n(q) or PSU_n(q) where either n ≠ 4 or q is prime or even, acts on a vector space over a field of the defining characteristic of G; then the corresponding semidirect product contains an element whose order is distinct from every element order of G. We infer that the group PSL_n(q), n ≠ 4 or q prime or even, is recognizable by spectrum from its covers thus giving a partial positive answer to Problem 14.60 from the Kourovka Notebook.     

The characterization problem for designs with the parameters of AG<Subscript>d</Subscript>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We start a new characterization of the geometric 2-design AG _d (n,q) among all simple 2-designs with the same parameters by handling the cases d ∈ {1,2,3,n — 2}. For d ≠ 1, our characterization is in terms of line sizes, and for d = 1 in terms of the number of affine hyperplanes. We also show that the number of non-isomorphic resolvable designs with the parameters of AG₁(n,q) grows exponentially with linear growth of n.     

Quasirecognition by prime graph of the simple group <Superscript>2</Superscript><Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Let G be a finite group. The main result of this paper is as follows: If G is a finite group, such that Γ(G) = Γ(²G₂(q)), where q = 3²ⁿ⁺¹ for some n ≥ 1, then G has a (unique) nonabelian composition factor isomorphic to ² G ₂(q). We infer that if G is a finite group satisfying |G| = |² G ₂(q)| and Γ(G) = Γ (² G ₂(q)) then G ? = ² G ₂(q). This enables us to give new proofs for some theorems; e.g., a conjecture of W. Shi and J. Bi. Some applications of this result are also considered to the problem of recognition by element orders of finite groups.     

New characterization of <Emphasis Type="Italic">S</Emphasis><Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) by its noncommuting graph

Let G be a nonabelian group, and associate the noncommuting graph ?(G) with G as follows: the vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. Let S ₄(q) be the projective symplectic simple group, where q is a prime power. We prove that if G is a group with ?(G) ? ?(S ₄(q)) then G ? S ₄(q).     

Strictly singular operators in pairs of <Emphasis Type="Italic">L</Emphasis> <Subscript> <Emphasis Type="Italic">p</Emphasis> </Subscript> space

Let E and F be Banach spaces. A linear operator from E to F is said to be strictly singular if, for any subspace Q ? E, the restriction of A to Q is not an isomorphism. A compactness criterion for any strictly singular operator from L_p to L_q is found. There exists a strictly singular but not superstrictly singular operator on L_p, provided that p ≠ 2.     

Remarks on linear independence of <Emphasis Type="Italic">q</Emphasis>-harmonic series

For any rational integer q, |q|?>?1, the linear independence over \( \mathbb{Q} \) of the numbers 1, ζ _q (1), and ζ _?q (1) is proved; here \( {\zeta_q}(1) = \sum\limits_{n = 1}^\infty {\frac{1}{{{q^n} - 1}}} \) is the so-called q-harmonic series or the q-zeta-value at the point 1. Besides this, a measure of linear independence of these numbers is established.     

Note edge-colourings of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">n,n</Emphasis></Subscript> with no long two-coloured cycles

Consider the set of all proper edge-colourings of a graph G with n colours. Among all such colourings, the minimum length of a longest two-coloured cycle is denoted L(n, G). The problem of understanding L(n, G) was posed by Häggkvist in 1978 and, specifically, L(n, K _n,n ) has received recent attention. Here we construct, for each prime power q ≥ 8, an edge-colouring of K _n,n with n colours having all two-coloured cycles of length ≤ 2q ², for integers n in a set of density 1 ? 3/(q ? 1). One consequence is that L(n, K _n,n ) is bounded above by a polylogarithmic function of n, whereas the best known general upper bound was previously 2n ? 4.     

On the phase transitions of (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-SAT

Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T _k (V) denote the set of all 2 ^k n ^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T _k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log₂ n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that

$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$

     

Intersections of two nilpotent subgroups in finite groups with socle <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Given a finite group G with socle isomorphic to L ₂(q), q ≥ 4, we describe, up to conjugacy, all pairs of nilpotent subgroups A and B of G such that A ∩ B ^g ≠ 1 for all g ∈ G.     

Decomposition theorems for<Emphasis Type="Italic">Q</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> spaces

We study the Möbius invariant spacesQ _p andQ _{p, 0} of analytic functions. These scales of spaces include BMOA=Q₁, VMOA=Q_{1, 0} and the Dirichlet space=Q₀. Using the Bergman metric, we establish decomposition theorems for these spaces. We obtain also a fractional derivative characterization for bothQ _p andQ _{p, 0} .     

<Emphasis Type="Italic">p</Emphasis>, <Emphasis Type="Italic">q</Emphasis>-Analogue of a linear transformation preserving log-convexity

In this paper, we establish the preserving log-convexity of linear transformation associated with p, q-analogue of Pascal triangle, i.e., if the sequence of nonnegative numbers {x_n}n is logconvex, then \({y_n} = {\sum\nolimits_{k = 0}^n {\left[ {\frac{n}{k}} \right]} _{pq}}{x_k}\) so is it for q ≠ p ≥ 1.     

On the semiproportional character conjecture in groups Sp<Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>)

Previously, the author made the following conjecture: if a finite group has two semiproportional irreducible characters φ and ψ, then φ(1) = ψ(1). In the present paper, a new confirmation of the conjecture is obtained. Namely, the conjecture is verified for symplectic groups Sp₄(q) and PSp₄(q).     

Small weight codewords in the dual code of points and hyperplanes in PG(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>), <Emphasis Type="Italic">q</Emphasis> even

The main theorem of this article gives a classification of the codewords in \({C^{\bot}_{n-1}(n,q)}\) , the dual code of points and hyperplanes in PG(n, q), q even, with weight smaller than \({q+\sqrt[3]{q^{2}}+1}\). In the proof, we rely on the classification of the small blocking sets in PG(2, q), q even.     

3<Emphasis Type="Italic">nj</Emphasis>-symbols and identities for <Emphasis Type="Italic">q</Emphasis>-Bessel functions

The 6j-symbols for representations of the q-deformed algebra of polynomials on \(\mathrm {SU}(2)\) are given by Jackson’s third q-Bessel functions. This interpretation leads to several summation identities for the q-Bessel functions. Multivariate q-Bessel functions are defined, which are shown to be limit cases of multivariate Askey–Wilson polynomials. The multivariate q-Bessel functions occur as 3nj-symbols.     

On the centers of quantum groups of <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>-type

Let g be the finite dimensional simple Lie algebra of type An, and let U? = U _q (g,Λ) and U = U _q (g,Q) be the quantum groups defined over the weight lattice and over the root lattice, respectively. In this paper, we find two algebraically independent central elements in U? for all n ≥ 2 and give an explicit formula of the Casimir elements for the quantum group U? = U _q (g,Λ), which corresponds to the Casimir element of the enveloping algebra U(g). Moreover, for n = 2 we give explicitly generators of the center subalgebras of the quantum groups U? = U _q (g,Λ) and U = U _q (g,Q).