Formulas for Generalized Two-Qubit Separability Probabilities

To begin, we find certain formulas $Q(k,\alpha)= G_1^k(\alpha) G_2^k(\alpha)$, for $k = -1, 0, 1,...,9$. These yield that part of the total separability probability, $P(k,\alpha)$, for generalized (real, complex, quaternionic,\ldots) two-qubit states endowed with random induced measure, for which the determinantal inequality $|\rho^{PT}| >|\rho|$ holds. Here $\rho$ denotes a $4 \times 4$ density matrix, obtained by tracing over the pure states in $4 \times (4 +k)$-dimensions, and $\rho^{PT}$, its partial transpose. Further, $\alpha$ is a Dyson-index-like parameter with $\alpha = 1$ for the standard (15-dimensional) convex set of (complex) two-qubit states. For $k=0$, we obtain the previously reported Hilbert-Schmidt formulas, with (the real case) $Q(0,\frac{1}{2}) = \frac{29}{128}$, (the standard complex case) $Q(0,1)=\frac{4}{33}$, and (the quaternionic case) $Q(0,2)= \frac{13}{323}$---the three simply equalling $P(0,\alpha)/2$. The factors $G_2^k(\alpha)$ are sums of polynomial-weighted generalized hypergeometric functions $_{p}F_{p-1}$, $p \geq 7$, all with argument $z=\frac{27}{64} =(\frac{3}{4})^3$. We find number-theoretic-based formulas for the upper ($u_{ik}$) and lower ($b_{ik}$) parameter sets of these functions and, then, equivalently express $G_2^k(\alpha)$ in terms of first-order difference equations. Applications of Zeilberger's algorithm yield "concise" forms, parallel to the one obtained previously for $P(0,\alpha) =2 Q(0,\alpha)$. For nonnegative half-integer and integer values of $\alpha$, $Q(k,\alpha)$ has descending roots starting at $k=-\alpha-1$. Then, we (C. Dunkl and I) construct a remarkably compact (hypergeometric) form for $Q(k,\alpha)$ itself. The possibility of an analogous "master" formula for $P(k,\alpha)$ is, then, investigated, and a number of interesting results found.Comment: 78 pages, 5 figures, 15 appendices, to appear in Adv. Math. Phys--verification in arXiv:1701.01973 of 8/33-two-qubit Hilbert-Schmidt separability probability conjecture note

Weak∗^* dentability index of spaces C([0,α])C([0,\alpha])

We compute the weak$^*$-dentability index of the spaces $C(K)$ where $K$ is a countable compact space. Namely ${Dz}(C([0,\omega^{\omega^\alpha}])) = \omega^{1+\alpha+1}$, whenever $0\le\alpha<\omega_1$. More generally, ${Dz}(C(K))=\omega^{1+\alpha+1}$ if $K$ is a scattered compact whose height $\eta(K)$ satisfies $\omega^\alpha<\eta(K)\leq \omega^{\alpha+1}$ with an $\alpha$ countable

Clustering in a hyperbolic model of complex networks

In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex networks, e.g. power-law degree distribution, short distances and non-vanishing clustering coefficient. Here we show that the clustering coefficient tends in probability to a constant $\gamma$ that we give explicitly as a closed form expression in terms of $\alpha, \nu$ and certain special functions. This improves earlier work by Gugelmann et al., who proved that the clustering coefficient remains bounded away from zero with high probability, but left open the issue of convergence to a limiting constant. Similarly, we are able to show that $c(k)$, the average clustering coefficient over all vertices of degree exactly $k$, tends in probability to a limit $\gamma(k)$ which we give explicitly as a closed form expression in terms of $\alpha, \nu$ and certain special functions. We are able to extend this last result also to sequences $(k_n)_n$ where $k_n$ grows as a function of $n$. Our results show that $\gamma(k)$ scales differently, as $k$ grows, for different ranges of $\alpha$. More precisely, there exists constants $c_{\alpha,\nu}$ depending on $\alpha$ and $\nu$, such that as $k \to \infty$, $\gamma(k) \sim c_{\alpha,\nu} \cdot k^{2 - 4\alpha}$ if $\frac{1}{2} < \alpha < \frac{3}{4}$, $\gamma(k) \sim c_{\alpha,\nu} \cdot \log(k) \cdot k^{-1}$ if $\alpha=\frac{3}{4}$ and $\gamma(k) \sim c_{\alpha,\nu} \cdot k^{-1}$ when $\alpha > \frac{3}{4}$. These results contradict a claim of Krioukov et al., which stated that the limiting values $\gamma(k)$ should always scale with $k^{-1}$ as we let $k$ grow.Comment: 127 page

Convergence Radii for Eigenvalues of Tri--diagonal Matrices

Consider a family of infinite tri--diagonal matrices of the form $L+ zB,$ where the matrix $L$ is diagonal with entries $L_{kk}= k^2,$ and the matrix $B$ is off--diagonal, with nonzero entries $B_{k,{k+1}}=B_{{k+1},k}= k^\alpha, 0 \leq \alpha < 2.$ The spectrum of $L+ zB$ is discrete. For small $|z|$ the $n$-th eigenvalue $E_n (z), E_n (0) = n^2,$ is a well--defined analytic function. Let $R_n$ be the convergence radius of its Taylor's series about $z= 0.$ It is proved that $$ R_n \leq C(\alpha) n^{2-\alpha} \quad \text{if} 0 \leq \alpha <11/6.$

Anomalous thermal expansion of Sb2_2Te3_3 topological insulator

We have investigated the temperature dependence of the linear thermal expansion along the hexagonal c axis ($\Delta L$), in-plane resistivity ($\rho$), and specific heat ($C_p$) of the topological insulator Sb$_2$Te$_3$ single crystal. $\Delta L$ exhibits a clear anomaly in the temperature region 204-236 K. The coefficient of linear thermal expansion $\alpha$ decreases rapidly above 204 K, passes through a deep minimum at around 225 K and then increases abruptly in the region 225-236 K. $\alpha$ is negative in the interval 221-228 K. The temperature dependence of both $\alpha$ and $C_p$ can be described well by the Debye model from 2 to 290 K, excluding the region around the anomaly in $\alpha$

Computing Hypercircles by Moving Hyperplanes

Let K be a field of characteristic zero, alpha algebraic of degree n over K. Given a proper parametrization psi of a rational curve C, we present a new algorithm to compute the hypercircle associated to the parametrization psi. As a consequence, we can decide if the curve C is defined over K and, if not, to compute the minimum field of definition of C containing K. The algorithm exploits the conjugate curves of C but avoids computation in the normal closure of K(alpha) over K.Comment: 16 page