Uniqueness of balanced metrics on holomorphic vector bundles

Let E→M$E\to M$ be a holomorphic vector bundle over a compact Kähler manifold (M,ω)$(M,\omega )$. We prove that if E$E$ admits a ω$\omega$-balanced metric (in X. Wang’s terminology (Wang, 2005 [3])) then it is unique. This result together with Biliotti and Ghigi (2008) [14] implies the existence and uniqueness of ω$\omega$-balanced metrics of certain direct sums of irreducible homogeneous vector bundles over rational homogeneous varieties. We finally apply our result to show the rigidity of ω$\omega$-balanced Kähler maps into Grassmannians.     

Integrable Hamiltonian systems related to the Hilbert–Schmidt ideal

By the application of the coinduction method as well as the Magri method to the ideal of real Hilbert–Schmidt operators we construct the hierarchies of integrable Hamiltonian systems on Banach Lie–Poisson spaces which consist of such types of operators. We also discuss their algebraic and analytic properties and solve them in dimensions, N=2,3,4$N=2,3,4$.     

CZF does not have the existence property

Constructive theories usually have interesting metamathematical properties where explicit witnesses can be extracted from proofs of existential sentences. For relational theories, probably the most natural of these is the existence property, EP, sometimes referred to as the set existence property  . This states that whenever (∃x)?(x)$(\exists x)?(x)$ is provable, there is a formula χ(x)$\chi (x)$ such that (∃!x)?(x)∧χ(x)$(\exists !x)?(x)\wedge \chi (x)$ is provable. It has been known since the 80s that EP holds for some intuitionistic set theories and yet fails for IZF. Despite this, it has remained open until now whether EP holds for the most well known constructive set theory, CZF. In this paper we show that EP fails for CZF.     

Reverse mathematics and initial intervals

In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered and does not contain infinite antichains if and only if it has countably many initial intervals. We show that the left to right directions of these theorems are equivalent to _ACA0${\mathsf{ACA}}_0$ and _ATR0${\mathsf{ATR}}_0$, respectively. On the other hand, the opposite directions are both provable in _WKL0${\mathsf{WKL}}_0$, but not in _RCA0${\mathsf{RCA}}_0$. We also prove the equivalence with _ACA0${\mathsf{ACA}}_0$ of the following result of Erdös and Tarski: a partial order with no infinite strong antichains has no arbitrarily large finite strong antichains.     

Monotonicity of the reflected Bessel transition density on the diagonal

For α∈R$\alpha \in \mathbb{R}$, let p^R(t,x,x)$p^R(t,x,x)$ denote the diagonal of the transition density of the α$\alpha$-Bessel process in (0,1]$(0,1]$, killed at 0 and reflected at 1. As a function of x$x$, if either α≥3$\alpha \ge 3$ or α=1$\alpha =1$, then for t>0$t>0$, the diagonal is nondecreasing. This monotonicity property fails if 1≠α<3$1\ne \alpha <3$.     

Representation of Gaussian isotropic spin random fields

We develop a technique for the construction of random fields on algebraic structures. We deal with two general situations: random fields on homogeneous spaces of a compact group and in the spin line bundles of the 2$2$-sphere. In particular, every complex Gaussian isotropic spin random field can be represented in this way. Our construction extends P. Lévy’s original idea for the spherical Brownian motion.     

Fluid limits of many-server queues with abandonments,general service and continuous patience time distributions

This paper extends the works of Kang and Ramanan (2010) and Kaspi and Ramanan (2011), removing the hypothesis of absolute continuity of the service requirement and patience time distributions. We consider a many-server queueing system in which customers enter service in the order of arrival in a non-idling manner and where reneging is considerate. Similarly to Kang and Ramanan (2010), the dynamics of the system are represented in terms of a process that describes the total number of customers in the system as well as two measure-valued processes that record the age in service of each of the customers being served and the “potential” waiting times. When the number of servers goes to infinity, fluid limit is established for this triple of processes. The convergence is in the sense of probability and the limit is characterized by an integral equation.     

Non-homogeneous random walks on a semi-infinite strip

We study the asymptotic behaviour of Markov chains (_Xn,_ηn)$(X_n,{\eta }_n)$ on _Z+×S${\mathbb{Z}}_{+}\times S$, where _Z+${\mathbb{Z}}_{+}$ is the non-negative integers and S$S$ is a finite set. Neither coordinate is assumed to be Markov. We assume a moments bound on the jumps of _Xn$X_n$, and that, roughly speaking, _ηn${\eta }_n$ is close to being Markov when _Xn$X_n$ is large. This departure from much of the literature, which assumes that _ηn${\eta }_n$ is itself a Markov chain, enables us to probe precisely the recurrence phase transitions by assuming asymptotically zero drift for _Xn$X_n$ given _ηn${\eta }_n$. We give a recurrence classification in terms of increment moment parameters for _Xn$X_n$ and the stationary distribution for the large- X$X$ limit of _ηn${\eta }_n$. In the null case we also provide a weak convergence result, which demonstrates a form of asymptotic independence between _Xn$X_n$ (rescaled) and _ηn${\eta }_n$. Our results can be seen as generalizations of Lamperti’s results for non-homogeneous random walks on _Z+${\mathbb{Z}}_{+}$ (the case where S$S$ is a singleton). Motivation arises from modulated queues or processes with hidden variables where _ηn${\eta }_n$ tracks an internal state of the system.