Dual and Feller-Reuter-Riley transition functions

In this paper, we investigate duality and Feller-Reuter-Riley (FRR) property of continuous-time Markov chains (CTMCs). A criterion of dual q-functions is given in terms of their q-matrices. For a dual q-matrix Q, a necessary and sufficient conditions for the minimal Q-function to be a FRR transition function are also given. Finally, by using dual technique, we give a criterion of FRR Q-functions when Q is monotone.     

Cyclic vectors and cellular indecomposable operators on Qp spaces

We identify the functions whose polynomial multiples are weak* dense in Q p spaces and prove that if | f (z) | ≥ | g(z) | and g is cyclic in Q p , then f is cyclic in Q p . We also show that the multiplication operator M z on Q p spaces is cellular indecomposable.     

Column continuous transition functions

A column continuous transition function is by definition a standard transition function P(t) whose every column is continuous for t?0 in the norm topology of bounded sequence space l_∞. We will prove that it has a stable q-matrix and that there exists a one-to-one relationship between column continuous transition functions and increasing integrated semigroups on l_∞. Using the theory of integrated semigroups, we give some necessary and sufficient conditions under which the minimal q-function is column continuous, in terms of its generator (of the Markov semigroup) as well as its q-matrix. Furthermore, we will construct all column continuous Q-functions for a conservative, single-exit and column bounded q-matrix Q. As applications, we find that many interesting continuous-time Markov chains (CTMCs), say Feller-Reuter-Riley processes, monotone processes, birth-death processes and branching processes, etc., have column continuity.     

On properties of h-homogeneous spaces of first category

A metric space X is called h-homogeneous if and each nonempty open-closed subset of X is homeomorphic to X. We describe how to assign an h-homogeneous space of first category and of weight k to any strongly zero-dimensional metric space of weight ?k. We investigate the properties of such spaces. We show that if Q is the space of rational numbers and Y is a strongly zero-dimensional metric space, then Q×Yω is an h-homogeneous space and F×Q×Yω is homeomorphic to Q×Yω for any Fσ-subset F of Q×Yω. L. Keldysh proved that any two canonical elements of the Borel class α are homeomorphic. The last theorem is generalized for the nonseparable case.     

Tight sets and m-ovoids of finite polar spaces

An intriguing set of points of a generalised quadrangle was introduced in [J. Bamberg, M. Law, T. Penttila, Tight sets and m-ovoids of generalised quadrangles, Combinatorica, in press] as a unification of the pre-existing notions of tight set and m-ovoid. It was shown in [J. Bamberg, M. Law, T. Penttila, Tight sets and m-ovoids of generalised quadrangles, Combinatorica, in press] that every intriguing set of points in a finite generalised quadrangle is a tight set or an m-ovoid (for some m). Moreover, it was shown that an m-ovoid and an i-tight set of a common generalised quadrangle intersect in mi points. These results yielded new proofs of old results, and in this paper, we study the natural analogue of intriguing sets in finite polar spaces of higher rank. In particular, we use the techniques developed in this paper to give an alternative proof of a result of Thas [J.A. Thas, Ovoids and spreads of finite classical polar spaces, Geom. Dedicata 10 (1-4) (1981) 135-143] that there are no ovoids of H(2r,q²), Q⁻(2r+1,q), and W(2r−1,q) for r>2. We also strengthen a result of Drudge on the non-existence of tight sets in W(2r−1,q), H(2r+1,q²), and Q⁺(2r+1,q), and we give a new proof of a result of De Winter, Luyckx, and Thas [S. De Winter, J.A. Thas, SPG-reguli satisfying the polar property and a new semipartial geometry, Des. Codes Cryptogr. 32 (1-3) (2004) 153-166; D. Luyckx, m-Systems of finite classical polar spaces, PhD thesis, The University of Ghent, 2002] that an m-system of W(4m+3,q) or Q⁻(4m+3,q) is a pseudo-ovoid of the ambient projective space.     

Special values of L-functions of elliptic curves over Q and their base change to real quadratic fields

For an elliptic curve E over Q, and a real quadratic extension F of Q, satisfying suitable hypotheses, we study the algebraic part of certain twisted L-values for E/F. The Birch and Swinnerton-Dyer conjecture predicts that these L-values are squares of rational numbers. We show that this question is related to the ratio of Petersson inner products of a quaternionic form on a definite quaternion algebra over Q and its base change to F.     

Holographic formula for Q-curvature

This paper derives an explicit formula for Branson's Q-curvature in even-dimensional conformal geometry. The ingredients in the formula come from the Poincaré metric in one higher dimension; hence the formula is called holographic. When specialized to the conformally flat case, the holographic formula expresses the Q-curvature as a multiple of the Pfaffian and the divergence of a natural 1-form. The paper also outlines the relation between holographic formulae for Q-curvature and a new theory of conformally covariant families of differential operators due to the second author.     

Concentration-compactness phenomena in the higher order Liouville's equation

We investigate different concentration-compactness and blow-up phenomena related to the Q-curvature in arbitrary even dimension. We first treat the case of an open domain in R2m, then that of a closed manifold and, finally, the particular case of the sphere S2m. In all cases we allow the sign of the Q-curvature to vary, and show that in the case of a closed manifold, contrary to the case of open domains in R2m, blow-up phenomena can occur only at points of positive Q-curvature. As a consequence, on a locally conformally flat manifold of non-positive Euler characteristic we always have compactness.     

Asymptotically stable sets and the stability of ω-limit sets

Let C be the collection of continuous self-maps of the unit interval I=[0,1] to itself. For f∈C and x∈I, let ω(x,f) be the ω-limit set of f generated by x, and following Block and Coppel, we take Q(x,f) to be the intersection of all the asymptotically stable sets of f containing ω(x,f). We show that Q(x,f) tells us quite a bit about the stability of ω(x,f) subject to perturbations of either x or f, or both. For example, a chain recurrent point y is contained in Q(x,f) if and only if there are arbitrarily small perturbations of f to a new function g that give us y as a point of ω(x,g). We also study the structure of the map Q taking (x,f)∈I×C to Q(x,f). We prove that Q is upper semicontinuous and a Baire 1 function, hence continuous on a residual subset of I×C. We also consider the map given by x?Q(x,f), and find that this map is continuous if and only if it is a constant map; that is, only when the set is a singleton.     

Singular integral operators and norm ideals satisfying a quantitative variant of Kuroda's condition

A norm ideal C is said to satisfy condition (QK) if there exist constants 0<t<1 and 0<B<∞, such that ∥X^[k]∥_C?Bk^t∥X∥_C for every finite-rank operator X and every k∈N, where X^[k] denotes the direct sum of k copies of X. Let μ be a regular Borel measure whose support is contained in a unit cube Q in Rⁿ and let K_j be the singular integral operator on L²(Rⁿ,μ) with the kernel function (x_j-y_j)/|x-y|², 1?j?n. Let {Q_w:w∈W} be the usual dyadic decomposition of Q, i.e., {Q_w:|w|=?} is the dyadic partition of Q by cubes of the size 2^-?×?×2^-?. We show that if C satisfies (QK) and if ∥∑_w∈W2^|w|μ(Q_w)ξ_w⊗ξ_w∥_C^′<∞, where C^′ is the dual of C⁽⁰⁾ and {ξ_w:w∈W} is any orthonormal set, then K₁,…,K_n∈C^′. This is a very general obstruction result for the problem of simultaneous diagonalization of commuting tuples of self-adjoint operators modulo C.     

Q-curvature flow on the standard sphere of even dimension

Using a gradient flow approach initiated by S. Brendle, we generalize the existence theorem for the prescribing Q-curvature equation on S² (Gauss curvature) by M. Struwe (2005) [14] and on S⁴ by Malchiodi and Struwe (2006) [12] to Sn for all even n with the similar assumption on the prescribed curvature candidate f.     

Generic variables in acyclic cluster algebras

Let Q be an acyclic quiver. We introduce the notion of generic variables for the coefficient-free acyclic cluster algebra A(Q). We prove that the set G(Q) of generic variables contains naturally the set M(Q) of cluster monomials in A(Q) and that these two sets coincide if and only if Q is a Dynkin quiver. We establish multiplicative properties of these generic variables analogous to multiplicative properties of Lusztig’s dual semicanonical basis. This allows to compute explicitly the generic variables when Q is a quiver of affine type. When Q is the Kronecker quiver, the set G(Q) is a Z-basis of A(Q) and this basis is compared to Sherman-Zelevinsky and Caldero-Zelevinsky bases.     

p-adic valuations and k-regular sequences

A sequence is said to be k-automatic if the nth term of this sequence is generated by a finite state machine with n in base k as input. Regular sequences were first defined by Allouche and Shallit as a generalization of automatic sequences. Given a prime p and a polynomial f(x)∈Q_p[x], we consider the sequence , where v_p is the p-adic valuation. We show that this sequence is p-regular if and only if f(x) factors into a product of polynomials, one of which has no roots in Z_p, the other which factors into linear polynomials over Q. This answers a question of Allouche and Shallit.     

Q-analysis for modeling and decision making

This paper provides an overview of existing and potential applications of a system-theoretic approach called Q-analysis, using the examples of design and analysis of expert systems in medical image processing and analysis: namely the organization of a histopathologic knowledge base. Q-analysis is also applied to a multicriterion decision-making (MCDM) problem using a method called multicriterion Q-analysis (MCQA). A brief discussion of the advantages and limitations of Q-analysis is given, with suggestions for further applications.     

Linear quivers, generic extensions and Kashiwara operators

In the present paper, we introduce the generic extension graph G of a Dynkin or cyclic quiver Q and then compare this graph with the crystal graph C for the quantized enveloping algebra associated to Q via two maps ℘_Q, _Q : Ω → Λ_Q induced by generic extensions and Kashiwara operators, respectively, where Λ_Q is the set of isoclasses of nilpotent representations of Q, and Ω is the set of all words on the alphabet I, the vertex set of Q. We prove that, if Q is a (finite or infinite) linear quiver, then the intersection of the fibres ℘_Q⁻¹ (λ) and KQ⁻¹ (λ) is non-empty for every λ ∈ Λ _Q. We will also show that this non-emptyness property fails for cyclic quivers.     

q-Analog of tableau containment

We prove a q-analog of the following result due to McKay, Morse and Wilf: the probability that a random standard Young tableau of size n contains a fixed standard Young tableau of shape λ?k tends to fλ/k! in the large n limit, where fλ is the number of standard Young tableaux of shape λ. We also consider the probability that a random pair (P,Q) of standard Young tableaux of the same shape contains a fixed pair (A,B) of standard Young tableaux.     

Approximation in quantale-enriched categories

Our work is a foundational study of the notion of approximation in Q-categories and in (U,Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of Q- and (U,Q)-categories. We fully characterize continuous Q-categories (resp. (U,Q)-categories) among all cocomplete Q-categories (resp. (U,Q)-categories) in the same ways as continuous domains are characterized among all dcpos. By varying the choice of the quantale Q and the notion of ideals, and by further allowing the ultrafilter monad to act on the quantale, we obtain a flexible theory of continuity that applies to partial orders and to metric and topological spaces. We demonstrate on examples that our theory unifies some major approaches to quantitative domain theory.     

An effective isomorphy criterion for mod ? Galois representations

In this paper, we consider mod ? Galois representations of Q. In particular, we develop an effective criterion to decide whether or not two mod ? Galois representations Q are isomorphic. The proof uses methods from Khare-Wintenberger?s recent theorem on Serre?s conjecture along with theorems by Sturm and Kohnen.     

Carleman-type theorems for generalized Q-holomorphic functions

In this work, we reduce the boundary condition of Riemann–Hilbert problem for generalized Q-holomorphic functions to the Vekua-type canonical form and obtain an appropriate analogue to the Carleman type representation for generalized Q-holomorphic functions.