A short note on the overpartition function

In this brief note, we give a combinatorial proof of a variation of Gauss’s q-binomial theorem, and we determine arithmetic properties of the overpartition function modulo 8.     

Divisible design graphs

A divisible design graph is a graph whose adjacency matrix is the incidence matrix of a divisible design. Divisible design graphs are a natural generalization of (v,k,λ)-graphs, and like (v,k,λ)-graphs they make a link between combinatorial design theory and algebraic graph theory. The study of divisible design graphs benefits from, and contributes to, both parts. Using information of the eigenvalues of the adjacency matrix, we obtain necessary conditions for existence. Old results of Bose and Connor on symmetric divisible designs give other conditions and information on the structure. Many constructions are given using various combinatorial structures, such as (v,k,λ)-graphs, distance-regular graphs, symmetric divisible designs, Hadamard matrices, and symmetric balanced generalized weighing matrices. Several divisible design graphs are characterized in terms of the parameters.     

Topological finiteness for edge-vertex enumeration

The number of PL-homeomorphism types of combinatorial manifolds in a fixed dimension with an upper bound on g₂ is finite.     

Global optimization for first order Markov Random Fields with submodular priors

This paper copes with the global optimization of Markovian energies. Energies are defined on an arbitrary graph and pairwise interactions are considered. The label set is assumed to be linearly ordered and of finite cardinality, while each interaction term (prior) shall be a submodular function. We propose an algorithm that computes a global optimizer under these assumptions. The approach consists of mapping the original problem into a combinatorial one that is shown to be globally solvable using a maximum-flow/s-t minimum-cut algorithm. This restatement relies on considering the level sets of the labels (seen as binary variables) instead of the label values themselves. The submodularity assumption of the priors is shown to be a necessary and sufficient condition for the applicability of the proposed approach. Finally, some numerical results are presented.     

Relationships between combinatorial measurements and Orlicz norms

We establish in a setting of harmonic analysis precise relationships between combinatorial measurements and Orlicz norms. These relationships further extend and sharpen prior results concerning extensions of the Littlewood 2n/(n+1)-inequalities, the n-dimensional Khintchin inequalities, and the Kahane-Khintchin inequality.     

Euler-Mahonian statistics on ordered set partitions (II)

[E. Steingrímsson, Statistics on ordered partitions of sets, arXiv: math.CO/0605670] introduced several hard statistics on ordered set partitions and conjectured that their generating functions are related to the q-Stirling numbers of the second kind. In a previous paper, half of these conjectures have been proved by Ishikawa, Kasraoui and Zeng using the transfer-matrix method. In this paper, we shall give bijective proofs of all the conjectures of Steingrímsson. Our basic idea is to encode ordered set partitions by a kind of path diagrams and explore the rich combinatorial properties of the latter structure. As a bonus of our approach, we derive two new σ-partition interpretations of the p,q-Stirling numbers of the second kind introduced by Wachs and White. We also discuss the connections with MacMahon's theorem on the equidistribution of the inversion number and major index on words and give a partition version of his result.     

On the complexity of the multicut problem in bounded tree-width graphs and digraphs

Given an edge- or vertex-weighted graph or digraph and a list of source-sink pairs, the minimum multicut problem consists in selecting a minimum weight set of edges or vertices whose removal leaves no path from each source to the corresponding sink. This is a classical NP-hard problem, and we show that the edge version becomes tractable in bounded tree-width graphs if the number of source-sink pairs is fixed, but remains NP-hard in directed acyclic graphs and APX-hard in bounded tree-width and bounded degree unweighted digraphs. The vertex version, although tractable in trees, is proved to be NP-hard in unweighted cacti of bounded degree and bounded path-width.     

Binary relations and reduced hypergroups

Different partial hypergroupoids are associated with binary relations defined on a set H. In this paper we find sufficient and necessary conditions for these hypergroupoids in order to be reduced hypergroups. Given two binary relations ρ and σ on H we investigate when the hypergroups associated with the relations ρ∩σ, ρ∪σ and ρσ are reduced. We also determine when the cartesian product of two hypergroupoids associated with a binary relation is a reduced hypergroup.     

Further improved recursions for a class of compound Poisson distributions

In the present paper we develop more efficient recursive formulae for the evaluation of the t-order cumulative function Γ^th(x) and the t-order tail probability Λ^th(x) of the class of compound Poisson distributions in the case where the derivative of the probability generating function of the claim amounts can be written as a ratio of two polynomials. These efficient recursions can be applied for the exact evaluation of the probability function (given by De Pril [De Pril, N., 1986a. Improved recursions for some compound Poisson distributions. Insurance Math. Econom. 5, 129-132]), distribution function, tail probability, stop-loss premiums and t-order moments of stop-loss transforms of compound Poisson distributions. Also, efficient recursive algorithms are given for the evaluation of higher-order moments and r-order factorial moments about any point for this class of compound Poisson distributions. Finally, several examples of discrete claim size distributions belonging to this class are also given.     

Remark on uniqueness of mild solutions to the Navier-Stokes equations

We investigate a limiting uniqueness criterion to the Navier-Stokes equations. We prove that the mild solution is unique under the class , where bmo^-1 is the “critical” space including Lⁿ. As an application of uniqueness theorem, we also consider the local well-posedness of Navier-Stokes equations in bmo^-1.     

More on “Connected (n, m)-graphs with minimum and maximum zeroth-order general Randi? index”

Let G be a graph and d(u) denote the degree of a vertex u in G. The zeroth-order general Randi? index ⁰R_α(G) of the graph G is defined as ∑_u∈V(G)d(u)^α, where the summation goes over all vertices of G and α is an arbitrary real number. In this paper we correct the proof of the main Theorem 3.5 of the paper by Hu et al. [Y. Hu, X. Li, Y. Shi, T. Xu, Connected (n,m)-graphs with minimum and maximum zeroth-order general Randi? index, Discrete Appl. Math. 155 (8) (2007) 1044-1054] and give a more general Theorem. We finally characterize ¹ for α<0 the connected G(n,m)-graphs with maximum value ⁰R_α(G(n,m)), where G(n,m) is a simple connected graph with n vertices and m edges.     

Determining tension parameters in rational gamma-spline interpolation

Inspired by the classic γ-spline, we propose a method for constructing a G² rational γ-spline curve that interpolates a given set of distinct ordered data-points (planar or spatial). The only input of our method is just these data-points. We also present a procedure to solve the key problem of determining the tension parameters γ_i which are computed in terms of exponential functions that determine the eccentricities of the common conic osculants at the junction points while keeping in geometrical agreement with data-points. This allows the resulting curve to be modified in the close vicinity of each data-point.     

The H-covariant strong Picard groupoid

The notion of H-covariant strong Morita equivalence is introduced for ^*-algebras over C=R(i) with an ordered ring R which are equipped with a ^*-action of a Hopf ^*-algebra H. This defines a corresponding H-covariant strong Picard groupoid which encodes the entire Morita theory. Dropping the positivity conditions one obtains H-covariant ^*-Morita equivalence with its H-covariant ^*-Picard groupoid. We discuss various groupoid morphisms between the corresponding notions of the Picard groupoids. Moreover, we realize several Morita invariants in this context as arising from actions of the H-covariant strong Picard groupoid. Crossed products and their Morita theory are investigated using a groupoid morphism from the H-covariant strong Picard groupoid into the strong Picard groupoid of the crossed products.     

Estimates of the dilatation function of Beurling-Ahlfors extension

In this paper we estimate the dilatation function of the Beurling-Ahlfors extension in the most general case. By introducing ?h,m-function, we obtain an inequality which is sharp up to a constant.     

Positive Quaternion Kähler Manifolds with fourth Betti number equal to one

Positive Quaternion Kähler Manifolds are Riemannian manifolds with holonomy contained in Sp(n)Sp(1) and with positive scalar curvature. Conjecturally, they are symmetric spaces. In this article we are mainly concerned with Positive Quaternion Kähler Manifolds M satisfying b₄(M)=1. Generalising a result of Galicki and Salamon we prove that M4n in this case is homothetic to a quaternionic projective space if 2≠n?6.     

Super-vertex-antimagic total labelings of disconnected graphs

Let G=(V,E) be a finite, simple and non-empty (p,q)-graph of order p and size q. An (a,d)-vertex-antimagic total labeling is a bijection f from V(G)∪E(G) onto the set of consecutive integers 1,2,…,p+q, such that the vertex-weights form an arithmetic progression with the initial term a and the common difference d, where the vertex-weight of x is the sum of values f(xy) assigned to all edges xy incident to vertex x together with the value assigned to x itself, i.e. f(x). Such a labeling is called super if the smallest possible labels appear on the vertices.In this paper, we will study the properties of such labelings and examine their existence for disconnected graphs.     

A new proof of convergence of MCMC via the ergodic theorem

A key result underlying the theory of MCMC is that any η-irreducible Markov chain having a transition density with respect to η and possessing a stationary distribution π is automatically positive Harris recurrent. This paper provides a short self-contained proof of this fact using the ergodic theorem in its standard form as the most advanced tool.     

Ramsey numbers for a disjoint union of good graphs

We give the Ramsey number for a disjoint union of some G-good graphs versus a graph G generalizing the results of Stahl (1975) [5] and Baskoro et al. (2006) [1] and the previous result of the author Bielak (2009) [2]. Moreover, a family of G-good graphs with s(G)>1 is presented.     

On certain spaces of vector measures of bounded variation

If (Σ,X) is a measurable space and X a Banach space we investigate the X-inheritance of copies of ?_∞ in certain subspaces Δ(Σ,X) of bvca(Σ,X), the Banach space of all X-valued countable additive measures of bounded variation equipped with the variation norm. Among the consequences of our main theorem we get a theorem of J. Mendoza on the X-inheritance of copies of ?_∞ in the Bochner space L₁(μ,X) and other of the author on the X-inheritance of copies of ?_∞ in bvca(Σ,X).