title: Control of Robotic Mobility-On-Demand Systems: a Queueing-Theoretical Perspective

abstract: In this paper we present and analyze a queueing-theoretical model for autonomous mobility-on-demand (MOD) systems where robotic, self-driving vehicles transport customers within an urban environment and rebalance themselves to ensure acceptable quality of service throughout the entire network. We cast an autonomous MOD system within a closed Jackson network model with passenger loss. It is shown that an optimal rebalancing algorithm minimizing the number of (autonomously) rebalancing vehicles and keeping vehicles availabilities balanced throughout the network can be found by solving a linear program. The theoretical insights are used to design a robust, real-time rebalancing algorithm, which is applied to a case study of New York City. The case study shows that the current taxi demand in Manhattan can be met with about 8,000 robotic vehicles (roughly 60% of the size of the current taxi fleet). Finally, we extend our queueing-theoretical setup to include congestion effects, and we study the impact of autonomously rebalancing vehicles on overall congestion. Collectively, this paper provides a rigorous approach to the problem of system-wide coordination of autonomously driving vehicles, and provides one of the first characterizations of the sustainability benefits of robotic transportation networks.


title: Hilbert-Schmidt Operators vs. Integrable Systems of Elliptic Calogero-Moser Type IV. The Relativistic Heun (van Diejen) Case

abstract: The 'relativistic' Heun equation is an 8-coupling difference equation that generalizes the 4-coupling Heun differential equation. It can be viewed as the time-independent Schr\"odinger equation for an analytic difference operator introduced by van Diejen. We study Hilbert space features of this operator and its 'modular partner', based on an in-depth analysis of the eigenvectors of a Hilbert-Schmidt integral operator whose integral kernel has a previously known relation to the two difference operators. With suitable restrictions on the parameters, we show that the commuting difference operators can be promoted to a modular pair of self-adjoint commuting operators, which share their eigenvectors with the integral operator. Various remarkable spectral symmetries and commutativity properties follow from this correspondence. In particular, with couplings varying over a suitable ball in ${\mathbb R}^8$, the discrete spectra of the operator pair are invariant under the $E_8$ Weyl group. The asymptotic behavior of an 8-parameter family of orthonormal polynomials is shown to be shared by the joint eigenvectors.

categories: math-ph math.FA math.MP math.QA nlin.SI quant-ph


title: The Orbit of Transneptunian Binary Manw\"e and Thorondor and their Upcoming Mutual Events

abstract: A new Hubble Space Telescope observation of the 7:4 resonant transneptunian binary system (385446) Manw\"e has shown that, of two previously reported solutions for the orbit of its satellite Thorondor, the prograde one is correct. The orbit has a period of 110.18 $\pm$ 0.02 days, semimajor axis of 6670 $\pm$ 40 km, and an eccentricity of 0.563 $\pm$ 0.007. It will be viewable edge-on from the inner solar system during 2015-2017, presenting opportunities to observe mutual occultation and eclipse events. However, the number of observable events will be small, owing to the long orbital period and expected small sizes of the bodies relative to their separation. This paper presents predictions for events observable from Earth-based telescopes and discusses the associated uncertainties and challenges.


title: Nuclear modification factor in intermediate-energy heavy-ion collisions

abstract: The transverse momentum dependent nuclear modification factors (NMF), namely $R_{CP}$, is investigated for protons produced in Au + Au at 1$A$ GeV within the framework of the isospin-dependent quantum molecular dynamics (IQMD) model. It is found that the radial collective motion during the expansion stage affects the NMF at low transverse momentum a lot. By fitting the transverse mass spectra of protons with the distribution function from the Blast-Wave model, the magnitude of radial flow can be extracted. After removing the contribution from radial flow, the $R_{CP}$ can be regarded as a thermal one and is found to keep unitary at transverse momentum lower than 0.6 GeV/c and enhance at higher transverse momentum, which can be attributed to Cronin effect.


title: Cavity-Enabled Self-Electro-Optic Bistability in Silicon Photonics

abstract: We propose a new type of bistable device for silicon photonics, using the self-electro-optic effect within an optical cavity. Since the bistability does not depend on the intrinsic optical nonlinearity of the material, but is instead engineered by means of an optoelectronic feedback, it appears at low optical powers. This bistable device satisfies all the basic criteria required in an optical switch to build a scalable digital optical computing system.


title: An Analytic Grothendieck Riemann Roch Theorem

abstract: We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study the Arveson-Douglas conjecture. Let $\ball^m$ be the unit ball in $\mathbb{C}^m$, and $I$ an ideal in the polynomial algebra $\mathbb{C}[z_1, \cdots, z_m]$. We prove that when the zero variety $Z_I$ is a complete intersection space with only isolated singularities and intersects with the unit sphere $\mathbb{S}^{2m-1}$ transversely, the representations of $\mathbb{C}[z_1, \cdots, z_m]$ on the closure of $I$ in $L^2_a(\ball^m)$ and also the corresponding quotient space $Q_I$ are essentially normal. Furthermore, we prove an index theorem for Toeplitz operators on $Q_I$ by showing that the representation of $\mathbb{C}[z_1, \cdots, z_m]$ on the quotient space $Q_I$ gives the fundamental class of the boundary $Z_I\cap \mathbb{S}^{2m-1}$. In the appendix, we prove with Kai Wang that if $f\in L^2_a(\ball^m)$ vanishes on $Z_I\cap \ball ^m$, then $f$ is contained inside the closure of the ideal $I$ in $L^2_a(\ball^m)$.


title: Hexagonal warping on spin texture, Hall conductivity and circular dichroism of Topological Insulator

abstract: The topological protected electronic states on the surface of a topological insulator can progressively change their Fermi cross-section from circular to a snowflake shape as the chemical potential is increased above the Dirac point because of an hexagonal warping term in the Hamiltonian. Another effect of warping is to change the spin texture which exists when a finite gap is included by magnetic doping, although the in-plane spin component remains locked perpendicular to momentum. It also changes the orbital magnetic moment, the matrix element for optical absorption and the circular dichroism. We find that the Fermi surface average of z-component of spin is closely related to the value of the Berry phase. This holds even when the Hamiltonian includes a subdominant non-relativistic quadratic in momentum term (which provides particle-hole asymmetry) in addition to the dominant relativistic Dirac term. There is also a qualitative correlation between $\left\langle S_z \right\rangle$ and the dichroism. For the case when the chemical potential falls inside the gap between valence and conduction band, the Hall conductivity remains quantized and unaffected in value by the hexagonal warping term.


title: Survey of vector-like fermion extensions of the Standard Model and their phenomenological implications

abstract: With the renewed interest in vector-like fermion extensions of the Standard Model, we present here a study of multiple vector-like theories and their phenomenological implications. Our focus is mostly on minimal flavor conserving theories that couple the vector-like fermions to the SM gauge fields and mix only weakly with SM fermions so as to avoid flavor problems. We present calculations for precision electroweak and vector-like state decays, which are needed to investigate compatibility with currently known data. We investigate the impact of vector-like fermions on Higgs boson production and decay, including loop contributions, in a wide variety of vector-like extensions and their parameter spaces.


title: Singularities of locally acyclic cluster algebras

abstract: We show that locally acyclic cluster algebras have (at worst) canonical singularities. In fact, we prove that locally acyclic cluster algebras of positive characteristic are strongly F-regular. In addition, we show that upper cluster algebras are always Frobenius split by a canonically defined splitting, and that they have a free canonical module of rank one. We also give examples to show that not all upper cluster algebras are F-regular if the local acyclicity is dropped.


title: Strong Divergence of Reconstruction Procedures for the Paley-Wiener Space $\mathcal{PW}^1_\pi$ and the Hardy Space $\mathcal{H}^1$

abstract: Previous results on certain sampling series have left open if divergence only occurs for certain subsequences or, in fact, in the limit. Here we prove that divergence occurs in the limit. We consider three canonical reconstruction methods for functions in the Paley-Wiener space $\mathcal{PW}^1_\pi$. For each of these we prove an instance when the reconstruction diverges in the limit. This is a much stronger statement than previous results that provide only $\limsup$ divergence. We also address reconstruction for functions in the Hardy space $\mathcal{H}^1$ and show that for any subsequence of the natural numbers there exists a function in $\mathcal{H}^1$ for which reconstruction diverges in $\limsup$. For two of these sampling series we show that when divergence occurs, the sampling series has strong oscillations so that the maximum and the minimum tend to positive and negative infinity. Our results are of interest in functional analysis because they go beyond the type of result that can be obtained using the Banach-Steinhaus Theorem. We discuss practical implications of this work; in particular the work shows that methods using specially chosen subsequences of reconstructions cannot yield convergence for the Paley-Wiener Space $\mathcal{PW}^1_\pi$.


title: On the solvability of degenerate stochastic partial differential equations in Sobolev spaces

abstract: Systems of parabolic, possibly degenerate parabolic SPDEs are considered. Existence and uniqueness are established in Sobolev spaces. Similar results are obtained for a class of equations generalizing the deterministic first order symmetric hyperbolic systems.


title: Homological dimensions of crossed products

abstract: In this paper we consider several homological dimensions of crossed products $A _{\alpha} ^{\sigma} G$, where $A$ is a left Noetherian ring and $G$ is a finite group. We revisit the induction and restriction functors in derived categories, generalizing a few classical results for separable extensions. The global dimension and finitistic dimension of $A ^{\sigma} _{\alpha} G$ are classified: global dimension of $A ^{\sigma} _{\alpha} G$ is either infinity or equal to that of $A$, and finitistic dimension of $A ^{\sigma} _{\alpha} G$ coincides with that of $A$. A criterion for skew group rings to have finite global dimensions is deduced. Under the hypothesis that $A$ is a semiprimary algebra containing a complete set of primitive orthogonal idempotents closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that $A$ and $A _{\alpha} ^{\sigma} G$ share the same homological dimensions under extra assumptions, extending the main results of the author in some previous papers.


title: Vacant sets and vacant nets: Component structures induced by a random walk

abstract: Given a discrete random walk on a finite graph $G$, the vacant set and vacant net are, respectively, the sets of vertices and edges which remain unvisited by the walk at a given step $t$.%These sets induce subgraphs of the underlying graph. Let $\Gamma(t)$ be the subgraph of $G$ induced by the vacant set of the walk at step $t$. Similarly, let $\widehat \Gamma(t)$ be the subgraph of $G$ induced by the edges of the vacant net. For random $r$-regular graphs $G_r$, it was previously established that for a simple random walk, the graph $\Gamma(t)$ of the vacant set undergoes a phase transition in the sense of the phase transition on Erd\H{os}-Renyi graphs $G_{n,p}$. Thus, for $r \ge 3$ there is an explicit value $t^*=t^*(r)$ of the walk, such that for $t\leq (1-\epsilon)t^*$, $\Gamma(t)$ has a unique giant component, plus components of size $O(\log n)$, whereas for $t\geq (1+\epsilon)t^*$ all the components of $\Gamma(t)$ are of size $O(\log n)$. We establish the threshold value $\widehat t$ for a phase transition in the graph $\widehat \Gamma(t)$ of the vacant net of a simple random walk on a random $r$-regular graph. We obtain the corresponding threshold results for the vacant set and vacant net of two modified random walks. These are a non-backtracking random walk, and, for $r$ even, a random walk which chooses unvisited edges whenever available. This allows a direct comparison of thresholds between simple and modified walks on random $r$-regular graphs. The main findings are the following: As $r$ increases the threshold for the vacant set converges to $n \log r$ in all three walks. For the vacant net, the threshold converges to $rn/2 \; \log n$ for both the simple random walk and non-backtracking random walk. When $r\ge 4$ is even, the threshold for the vacant net of the unvisited edge process converges to $rn/2$, which is also the vertex cover time of the process.


title: The formation of the W43 complex: constraining its atomic-to-molecular transition and searching for colliding clouds

abstract: Numerical simulations have explored the possibility to form molecular clouds through either a quasi-static, self-gravitating mechanism or the collision of gas streams or lower-density clouds. They also quantitatively predict the distribution of matter at the transition from atomic to molecular gases. We aim to observationally test these models by studying the environment of W43, a molecular cloud complex near the tip of the Galactic long bar. Using Galaxy-wide HI and 12CO surveys we searched for gas flowing toward the W43 molecular cloud complex. We also estimated the HI and H2 mass surface densities to constrain the transition from atomic to molecular gas around and within W43. We found 3 cloud ensembles within the position-velocity diagrams of 12CO and HI gases. They are separated by 20km/s along the line of sight and extend into the 13CO velocity structure of W43. Since their velocity gradients are consistent with free-fall, they could be nearby clouds attracted by, and streaming toward, the W43 10^7Msun potential well. We show that the HI surface density, Sigma_HI=45-85Msun/pc2, does not reach any threshold level but increases when entering the 130pc-wide molecular complex previously defined. This suggests that an equilibrium between H2 formation and photodissociation has not yet been reached. The H2-to-HI ratio measured over the W43 region and its surroundings, R_H2~3.5, is high, indicating that most of the gas is already in molecular form in W43 and in structures several hundreds of parsecs downstream along the Scutum-Centaurus arm. The W43 molecular cloud complex may have formed, and in fact may still be accreting mass from the agglomeration of clouds. Already in the molecular-dominated regime, most of these clouds are streaming from the Scutum-Centaurus arm. This is in clear disagreement with quasi-static and steady-state models of molecular cloud formation.


title: Arginine-Phosphate Salt Bridges Between Histones and DNA: Intermolecular Actuators that Control Nucleosome Architecture

abstract: Structural bioinformatics and van der Waals density functional theory are combined to investigate the mechanochemical impact of a major class of histone-DNA interactions, namely the formation of salt bridges between arginine residues in histones and phosphate groups on the DNA backbone. Principal component analysis reveals that the configurational fluctuations of the sugar-phosphate backbone display sequence-specific variability, and clustering of nucleosomal crystal structures identifies two major salt bridge configurations: a monodentate form in which the arginine end-group guanidinium only forms one hydrogen bond with the phosphate, and a bidentate form in which it forms two. Density functional theory calculations highlight that the combination of sequence, denticity and salt bridge positioning enable the histones to tunably activate specific backbone deformations via mechanochemical stress. The results suggest that selection for specific placements of van der Waals contacts, with high-precision control of the spatial distribution of intermolecular forces, may serve as an underlying evolutionary design principle for the structure and function of nucleosomes, a conjecture that is corroborated by previous experimental studies.


title: Angle-Dependent van Hove Singularities and Their Breakdown in Twisted Graphene Bilayers

abstract: The creation of van der Waals heterostructures based on a graphene monolayer and other two-dimensional crystals has attracted great interest because atomic registry of the two-dimensional crystals can modify the electronic spectra and properties of graphene. Twisted graphene bilayer can be viewed as a special van der Waals structure composed of two mutual misoriented graphene layers, where the sublayer graphene not only plays the role of a substrate, but also acts as an equivalent role as the top graphene layer in the structure. Here we report the electronic spectra of slightly twisted graphene bilayers studied by scanning tunneling microscopy and spectroscopy. Our experiment demonstrates that twist-induced van Hove singularities are ubiquitously present for rotation angles theta less than about 3.5o, corresponding to moir\'e-pattern periods D longer than 4 nm. However, they totally vanish for theta > 5.5o (D < 2.5 nm). Such a behavior indicates that the continuum models, which capture moir\'e-pattern periodicity more accurately at small rotation angles, are no longer applicable at large rotation angles.


title: Creating One-dimensional Nanoscale Periodic Ripples in a Continuous Mosaic Graphene Monolayer

abstract: In previous studies, it proved difficult to realize periodic graphene ripples with wavelengths of few nanometers. Here we show that one-dimensional periodic graphene ripples with wavelengths from 2 nm to tens of nanometers can be implemented in the intrinsic areas of a continuous mosaic, locally N-doped, graphene monolayer by simultaneously using both the thermal strain engineering and the anisotropic surface stress of Cu substrate. Our result indicates that the constraint imposed at the boundaries between the intrinsic and the N-doped regions play a vital role in creating these 1D ripples. We also demonstrate that the observed rippling modes are beyond the descriptions of continuum mechanics due to the decoupling of graphene bending and tensional deformations. Scanning tunneling spectroscopy measurements indicate that the nanorippling generates a periodic electronic superlattice and opens a zero-energy gap of about 130 meV in graphene. This result may pave a facile way for tailoring the structures and electronic properties of graphene.


title: Geometric Inference for General High-Dimensional Linear Inverse Problems

abstract: This paper presents a unified geometric framework for the statistical analysis of a general ill-posed linear inverse model which includes as special cases noisy compressed sensing, sign vector recovery, trace regression, orthogonal matrix estimation, and noisy matrix completion. We propose computationally feasible convex programs for statistical inference including estimation, confidence intervals and hypothesis testing. A theoretical framework is developed to characterize the local estimation rate of convergence and to provide statistical inference guarantees. Our results are built based on the local conic geometry and duality. The difficulty of statistical inference is captured by the geometric characterization of the local tangent cone through the Gaussian width and Sudakov minoration estimate.


title: Assouad dimensions of Moran sets and Cantor-like sets

abstract: We obtain the Assouad dimensions of Moran sets under suitable condition. Using the homogeneous set, we also study the Assouad dimensions of Cantor-like sets.


title: A heuristic prover for real inequalities

abstract: We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method works well on a variety of examples, and complements techniques that are used by contemporary interactive provers.


title: Calibrating the updated overshoot mixing model on eclipsing binary stars: HY Vir, YZ Cas, X2 Hya & VV Crv

abstract: The detached eclipsing binary stars with convective cores provide a good tool to investigate the convective core overshoot. It has been performed on some binary stars to restrict the classical overshoot model which simply extends the boundary of fully mixed region. However, the classical overshoot model is physically unreasonable and inconsistent with the helioseismic investigation. An updated model of the overshoot mixing was established recently. There is a key parameter in the model. In this paper, we use the observations of four eclipsing binary stars, i.e., HY Vir, YZ Cas, $\rm{\chi^2}$ Hya and VV Crv, to investigate the suitable value for the parameter. It is found that the suggested value by the calibrations on eclipsing binary stars is same as the recommended value by other ways. And we have studied the effects of the updated overshoot model on the stellar structure. The diffusion coefficient of the convective/overshoot mixing is very high in the convection zone, then quickly decreases near the convective boundary, and exponentially decreases in the overshoot region. The low value of the diffusion coefficient in the overshoot region leads to weak mixing and the partially mixed overshoot region. The semi-convection, which appears in the standard stellar models of low-mass stars with convective core, is removed by the partial overshoot mixing.


title: Efficient Nonnegative Tucker Decompositions: Algorithms and Uniqueness

abstract: Nonnegative Tucker decomposition (NTD) is a powerful tool for the extraction of nonnegative parts-based and physically meaningful latent components from high-dimensional tensor data while preserving the natural multilinear structure of data. However, as the data tensor often has multiple modes and is large-scale, existing NTD algorithms suffer from a very high computational complexity in terms of both storage and computation time, which has been one major obstacle for practical applications of NTD. To overcome these disadvantages, we show how low (multilinear) rank approximation (LRA) of tensors is able to significantly simplify the computation of the gradients of the cost function, upon which a family of efficient first-order NTD algorithms are developed. Besides dramatically reducing the storage complexity and running time, the new algorithms are quite flexible and robust to noise because any well-established LRA approaches can be applied. We also show how nonnegativity incorporating sparsity substantially improves the uniqueness property and partially alleviates the curse of dimensionality of the Tucker decompositions. Simulation results on synthetic and real-world data justify the validity and high efficiency of the proposed NTD algorithms.


title: Bounds for the number of Galois points for plane curves

abstract: A point on a plane curve is said to be Galois (for the curve) if the projection from the point as a map from the curve to a line induces a Galois extension of function fields. It is known that the number of Galois points is finite except for a certain explicit example. We establish upper bounds for the number of Galois points for all plane curves other than the example in terms of the genus, degree and the generic order of contact, and settle curves attaining the bounds.


title: Probit transformation for nonparametric kernel estimation of the copula density

abstract: Copula modelling has become ubiquitous in modern statistics. Here, the problem of nonparametrically estimating a copula density is addressed. Arguably the most popular nonparametric density estimator, the kernel estimator is not suitable for the unit-square-supported copula densities, mainly because it is heavily affected by boundary bias issues. In addition, most common copulas admit unbounded densities, and kernel methods are not consistent in that case. In this paper, a kernel-type copula density estimator is proposed. It is based on the idea of transforming the uniform marginals of the copula density into normal distributions via the probit function, estimating the density in the transformed domain, which can be accomplished without boundary problems, and obtaining an estimate of the copula density through back-transformation. Although natural, a raw application of this procedure was, however, seen not to perform very well in the earlier literature. Here, it is shown that, if combined with local likelihood density estimation methods, the idea yields very good and easy to implement estimators, fixing boundary issues in a natural way and able to cope with unbounded copula densities. The asymptotic properties of the suggested estimators are derived, and a practical way of selecting the crucially important smoothing parameters is devised. Finally, extensive simulation studies and a real data analysis evidence their excellent performance compared to their main competitors.


title: Generalised column removal for graded homomorphisms between Specht modules

abstract: Let $n$ be a positive integer, and let $\mathscr{H}_n$ denote the affine KLR algebra in type A. Kleshchev, Mathas and Ram have given a homogeneous presentation for graded column Specht modules $\operatorname{S}_{\lambda}$ for $\mathscr{H}_n$. Given two multipartitions $\lambda$ and $\mu$, we define the notion of a \emph{dominated} homomorphism $\operatorname{S}_{\lambda}\to\operatorname{S}_{\mu}$, and use the KMR presentation to prove a generalised column removal theorem for graded dominated homomorphisms between Specht modules. In the process, we prove some useful properties of $\mathscr{H}_n$-homomorphisms between Specht modules which lead to an immediate corollary that, subject to a few demonstrably necessary conditions, every homomorphism $\operatorname{S}_{\lambda}\to\operatorname{S}_{\mu}$ is dominated, and in particular $\operatorname{Hom}_{\mathscr{H}_n}(\operatorname{S}_{\lambda},\operatorname{S}_{\mu})=0$ unless $\lambda$ dominates $\mu$. Brundan and Kleshchev show that certain cyclotomic quotients of $\mathscr{H}_n$ are isomorphic to (degenerate) cyclotomic Hecke algebras of type A. Via this isomorphism, our results can be seen as a broad generalisation of the column removal results of Fayers and Lyle and of Lyle and Mathas; generalising both into arbitrary level and into the graded setting.


title: A characterization of eventually periodicity

abstract: In this article, we show that the Kamae-Xue complexity function for an infinite sequence classifies eventual periodicity completely. We prove that an infinite binary word $x_1x_2 \cdots $ is eventually periodic if and only if $\Sigma(x_1x_2\cdots x_n)/n^3$ has a positive limit, where $\Sigma(x_1x_2\cdots x_n)$ is the sum of the squares of all the numbers of appearance of finite words in $x_1 x_2 \cdots x_n$, which was introduced by Kamae-Xue as a criterion of randomness in the sense that $x_1x_2\cdots x_n$ is more random if $\Sigma(x_1x_2\cdots x_n)$ is smaller. In fact, it is known that the lower limit of $\Sigma(x_1x_2\cdots x_n) /n^2 $ is at least 3/2 for any sequence $x_1x_2 \cdots$, while the limit exists as 3/2 almost surely for the $(1/2,1/2)$ product measure. For the other extreme, the upper limit of $\Sigma(x_1x_2\cdots x_n)/n^3$ is bounded by 1/3. There are sequences which are not eventually periodic but the lower limit of $\Sigma(x_1x_2\cdots x_n)/n^3$ is positive, while the limit does not exist.


title: HAT-P-54b: A hot jupiter transiting a 0.64 Msun star in field 0 of the K2 mission

abstract: We report the discovery of HAT-P-54b, a planet transiting a late K dwarf star in field 0 of the NASA K2 mission. We combine ground-based photometric light curves with radial velocity measurements to determine the physical parameters of the system. HAT-P-54b has a mass of 0.760 $\pm$ 0.032 $M_J$, a radius of 0.944 $\pm$ 0.028 $R_J$, and an orbital period of 3.7998 d. The star has V = 13.505 $\pm$ 0.060, a mass of 0.645 $\pm$ 0.020 $M_{\odot}$, a radius of 0.617 $\pm$ 0.013 $R_{\odot}$, an effective temperature of Teff = 4390 $\pm$ 50K, and a subsolar metallicity of [Fe/H] = -0.127 $\pm$ 0.080. HAT-P-54b has a radius that is smaller than 92% of the known transiting planets with masses greater than that of Saturn, while HAT-P-54 is one of the lowest-mass stars known to host a hot Jupiter. Follow-up high-precision photometric observations by the K2 mission promise to make this a well-studied planetary system.


title: Robustness of $H_0$ determination at intermediate redshifts

abstract: The most recent Hubble constant ($H_0)$ estimates from local methods (z << 1), $H_0=73.8\pm 2.4$ km s$^{-1}$ Mpc$^{-1}$, and the one from high redshifts $H_0=67.3\pm 1.2$ km s$^{-1}$ Mpc$^{-1}$, are discrepant at $2.4 \sigma$ confidence level. Within this context, Lima & Cunha (LC) derived a new determination of $H_0$ using four cosmic probes at intermediate redshifts ($0.1<z<1.8$) based on the so-called flat $\Lambda$CDM model. They obtained $H_0=74.1\pm 2.2$ km s$^{-1}$ Mpc$^{-1}$, in full agreement with local measurements. In this Letter, we explore the robustness of the LC result searching for systematic errors and its dependence from the cosmological model used. We find that the $H_0$ value from this joint analysis is very weakly dependent on the underlying cosmological model, but the morphology adopted to infer the distance to galaxy clusters changes the result sizeably, being the main source of systematic errors. Therefore, a better understanding of the cluster morphology is paramount to transform this method into a powerful cross-check for $H_0$.


title: Fully-automatic laser welding and micro-sculpting with universal in situ inline coherent imaging

abstract: Though new affordable high power laser technologies make possible many processing applications in science and industry, depth control remains a serious technical challenge. Here we show that inline coherent imaging, with line rates up to 312 kHz and microsecond-duration capture times, is capable of directly measuring laser penetration depth in a process as violent as kW-class keyhole welding. We exploit ICI's high speed, high dynamic range and robustness to interference from other optical sources to achieve fully automatic, adaptive control of laser welding as well as ablation, achieving micron-scale sculpting in vastly different heterogeneous biological materials.


title: Random Matrix Systems with Block-Based Behavior and Operator-Valued Models

abstract: A model to estimate the asymptotic isotropic mutual information of a multiantenna channel is considered. Using a block-based dynamics and the angle diversity of the system, we derived what may be thought of as the operator-valued version of the Kronecker correlation model. This model turns out to be more flexible than the classical version, as it incorporates both an arbitrary channel correlation and the correlation produced by the asymptotic antenna patterns. A method to calculate the asymptotic isotropic mutual information of the system is established using operator-valued free probability tools. A particular case is considered in which we start with explicit Cauchy transforms and all the computations are done with diagonal matrices, which make the implementation simpler and more efficient.


title: Shear viscosity of hot nuclear matter by the mean free path method

abstract: The shear viscosity of hot nuclear matter is investigated by using the mean free path method within the framework of IQMD model. Finite size nuclear sources at different density and temperature are initialized based on the Fermi-Dirac distribution. The results show that shear viscosity to entropy density ratio decreases with the increase of temperature and tends toward a constant value for $\rho\sim\rho_0$, which is consistent with the previous studies on nuclear matter formed during heavy-ion collisions. At $\rho\sim\frac{1}{2}\rho_0$, a minimum of $\eta/s$ is seen at around $T=10$ MeV and a maximum of the multiplicity of intermediate mass fragment ($M_{\text{IMF}}$) is also observed at the same temperature which is an indication of the liquid-gas phase transition.


title: How gravitational lensing helps gamma-ray photons avoid $\gamma - \gamma$ absorption

abstract: We investigate potential $\gamma-\gamma$ absorption of gamma-ray emission from blazars arising from inhomogeneities along the line of sight, beyond the diffuse Extragalactic Background Light (EBL). As plausible sources of excess $\gamma-\gamma$ opacity, we consider (1) foreground galaxies, including cases in which this configuration leads to strong gravitational lensing, (2) individual stars within these foreground galaxies, and (3) individual stars within our own galaxy, which may act as lenses for microlensing events. We found that intervening galaxies close to the line-of-sight are unlikely to lead to significant excess $\gamma-\gamma$ absorption. This opens up the prospect of detecting lensed gamma-ray blazars at energies above 10 GeV with their gamma-ray spectra effectively only affected by the EBL. The most luminous stars located either in intervening galaxy or in our galaxy provides an environment in which these gamma-rays could, in principle, be significantly absorbed. However, despite a large microlensing probability due to stars located in intervening galaxies, gamma-rays avoid absorption by being deflected by the gravitational potentials of such intervening stars to projected distances ("impact parameters"') where the resulting $\gamma-\gamma$ opacities are negligible. Thus, neither of the intervening excess photon fields considered here, provide a substantial source of excess $\gamma-\gamma$ opacity beyond the EBL, even in the case of very close alignments between the background blazar and a foreground star or galaxy.


title: Anisotropic nuclear-spin diffusion in double quantum wells

abstract: Nuclear-spin diffusion in double quantum wells (QWs) is examined by using dynamic nuclear polarization (DNP) at a Landau level filling factor $\nu=2/3$ spin phase transition (SPT). The longitudinal resistance increases during the DNP of one of the two QW (the polarization QW) by means of a large applied current and starts to decrease just after the termination of the DNP. On the other hand, the longitudinal resistance of the other QW (the detection QW) continuously increases for approximately 2h after the termination of the DNP of the polarization QW. It is therefore concluded that the nuclear spins diffuse from the polarization QW to the detection QW. The time evolution of the longitudinal resistance of the polarization QW is explained mainly by the nuclear-spin diffusion in the in-plane direction. In contrast, that of the detection QW manifests much slower nuclear diffusion in the perpendicular direction through the AlGaAs barrier.


title: Dark matter relic density in Gauss-Bonnet braneworld cosmology

abstract: The relic density of symmetric and asymmetric dark matter in a Gauss-Bonnet (GB) modified Randall-Sundrum (RS) type II braneworld cosmology is investigated. The existing study of symmetric dark matter in a GB braneworld (Okada and Okada, 2009) found that the expansion rate was reduced compared to that in standard General Relativity (GR), thereby delaying particle freeze-out and resulting in relic abundances which are suppressed by up to $\mathcal{O}(10^{-2})$. This is in direct contrast to the behaviour observed in RS braneworlds where the expansion rate is enhanced and the final relic abundance boosted. However, this finding that relic abundances are suppressed in a GB braneworld is based upon a highly contrived situation in which the GB era evolves directly into a standard GR era, rather than passing through a RS era as is the general situation. This collapse of the RS era requires equating the mass scale $m_{\alpha}$ of the GB modification and the mass scale $m_{\sigma}$ of the brane tension. However, if the GB contribution is to be considered as the lowest order correction from string theory to the RS action, we would expect $m_{\alpha} > m_{\sigma}$. We investigate the effect upon the relic abundance of choosing more realistic values for the ratio $\mathcal{R}_{m} \equiv m_{\alpha}/m_{\sigma}$ and find that the relic abundance can be either enhanced or suppressed by more than two orders of magnitude. However, suppression only occurs for a small range of parameter choices and, overwhelmingly, the predominant situation is that of enhancement as we recover the usual Randall-Sundrum type behaviour in the limit $\mathcal{R}_m \gg 1$. We use the latest observational bound $\Omega_{DM}h^2 = 0.1187 \pm 0.0017$ to constrain the various model parameters and briefly discuss the implications for direct/indirect dark matter detection experiments as well as dark matter particle models.


title: Conical tip in frozen water drops

abstract: A theory is presented for the formation of a conical tip in water drops that are frozen on a flat surface below freezing temperature. For the known ice to water density ratio r = .917, the angle of aperture of this cone is found to be {\theta} = 33.550, consistent with observations.


title: Renormalized O(N) model at next-to-leading order of the 1/N expansion: Effects of the Landau pole

abstract: Apparently convergent contributions of resummed perturbative series at the next-to-leading order of the 1/N expansion in the O(N) model are reanalyzed in terms of renormalizability. Compared to our earlier article [G. Fejos et al., Phys. Rev. D 80, 025015 (2009)], an additional subtraction is performed. We show numerically that this is indispensable for diminishing the cutoff sensitivity of some integrals below the scale of the Landau pole. Following the method of our earlier article, an improved counterterm Lagrangian is constructed in the two-particle irreducible formalism, with and without the use of an auxiliary field formulation.


title: Comments on Observables for Identity-Based Marginal Solutions in Berkovits' Superstring Field Theory

abstract: We construct an analytic solution for tachyon condensation around identity-based marginal solutions in Berkovits' WZW-like open superstring field theory. Using this, which is a kind of wedge-based solution, the gauge invariant overlaps for the identity-based marginal solutions can be calculated analytically. This is a straightforward extension of a method in bosonic string field theory, which has been elaborated by the authors, to superstring. We also comment on a gauge equivalence relation between the tachyon vacuum solution and its marginally deformed one. From this viewpoint, we can find the vacuum energy of the identity-based marginal solutions to be zero, which agrees with the previous result as a consequence of $\xi$ zero mode counting.


title: On Dedekind sums with equal values

abstract: Dedekind sums $s(m,n)$ occur in many fields of mathematics. Since $s(m_1,n)=s(m_2,n)$ if $m_1\equiv m_2$ mod $n$, it is natural to ask which of the Dedekind sums $s(m,n)$, $0\le m<n$, take equal values. So far no simple criterion is known by which the equality of $s(m_1,n)$ and $s(m_2,n)$ could be decided. In this note we show how to obtain non-obvious examples of equal Dedekind sums. We consider two cases which mark the extreme possibilities for the argument $n$, namely, $n$ a prime power and $n$ square-free. Whereas we can give a partial overview of equal Dedekind sums in the prime power case, such an overview seems to be much more difficult to obtain in the square-free case.


title: Fractional differentiation matrices with applications

abstract: In this paper, the fractional differential matrices based on the Jacobi-Gauss points are derived with respect to the Caputo and Riemann-Liouville fractional derivative operators. The spectral radii of the fractional differential matrices are investigated numerically. The spectral collocation schemes are illustrated to solve the fractional ordinary differential equations and fractional partial differential equations. Numerical examples are also presented to illustrate the effectiveness of the derived methods, which show better performances over some existing methods.


title: Companions of Stars: From Other Stars to Brown Dwarfs to Planets: The Discovery of the First Methane Brown Dwarf

abstract: The discovery of the first methane brown dwarf provides a framework for describing the important advances in both fundamental physics and astrophysics that are due to the study of companions of stars. I present a few highlights of the history of this subject along with details of the discovery of the brown dwarf Gliese 229B. The nature of companions of stars is discussed with an attempt to avoid biases induced by anthropocentric nomenclature. With the newer types of remote reconnaissance of nearby stars and their systems of companions, an exciting and perhaps even more profound set of contributions to science is within reach in the near future. This includes an exploration of the diversity of planets in the universe and perhaps soon the first solid evidence for biological activity outside our Solar System.


title: Hanle detection for optical clocks

abstract: Considering the strong inhomogeneous spatial polarization and intensity distribution of spontaneous decay fluorescence due to the Hanle effect, we propose and demonstrate a universe Hanle detection configuration of electron-shelving method for optical clocks. Experimental results from Ca atomic beam optical frequency standard with 423 nm electron-shelving method show that a designed Hanle detection geometry with optimized magnetic field direction, detection laser beam propagation and polarization direction, and detector position can improve the fluorescence collection rate by more than one order of magnitude comparing with that of inefficient geometry. With the fixed 423 nm fluorescence, the improved 657 nm optical frequency standard signal intensity is presented. And the potential application of the Hanle detection geometry designed for facilitating the fluorescence collection for optical lattice clock with a limited solid angle of the fluorescence collection has been discussed. This Hanle detection configuration is also effective for ion detection in ion optical clock and quantum information experiments. Besides, a cylinder fluorescence collection structure is designed to increase the solid angle of the fluorescence collection in Ca atomic beam optical frequency standard.


title: Linear Growth of the Kelvin-Helmholtz Instability with an Adiabatic Cosmic-ray Gas

abstract: We investigate effects of cosmic-rays on the linear growth of the Kelvin-Helmholtz instability. Cosmic-rays are treated as an adiabatic gas and allowed to diffuse along magnetic field lines. We calculated the dispersion relation of the instability for various sets of two free parameters, the ratio of the cosmic-ray pressure to the thermal gas pressure and the diffusion coefficient. Including cosmic-ray effects, a shear layer is more destabilized and the growth rates can be enhanced in comparison with the ideal magnetohydrodynamical case. Whether the growth rate is effectively enhanced or not depends on the diffusion coefficient of cosmic-rays. We obtain the criterion for effective enhancement by comparing the growing time scale of the instability with the diffusion time scale of cosmic-rays. These results can be applied to various astrophysical phenomena where a velocity shear is present, such as outflows from star-forming galaxies, AGN jet, channel flows resulting from the nonlinear development of the magnetorotational instability, and galactic disks.


title: Quantum Diagrams and Quantum Networks

abstract: This paper is an introduction to diagrammatic methods for representing quantum processes and quantum computing. We review basic notions for quantum information and quantum computing. We discuss topological diagrams and some issues about using category theory in representing quantum computing and teleportation. We analyze very carefully the diagrammatic meaning of the usual representation of the Mach-Zehnder interferometer, and we show how it can be generalized to associate to each composition of unitary transformations a "laboratory quantum diagram" such that particles moving though the many alternate paths in this diagram will mimic the quantum process represented by the composition of unitary transformations. This is a finite dimensional way to think about the Feynman Path Integral. We call our representation result the Path Theorem. Then we go back to the basics of networks and matrices and show how elements of quantum measurement can be represented with network diagrams.


title: Perspectives of current-layer diagnostics in solar flares

abstract: A reconnecting current layer is a `heart' of a solar flare, because it is a place of magnetic-field energy release. However there are no direct observations of these layers. The aim of our work is to understand why we actually do not directly observe current layers and what we need to do it in the future. The method is based on a simple mathematical model of a super-hot (T ~ 1E8 K) turbulent-current layer (SHTCL) and a model of plasma heating by the layer. The models allow us to study a correspondence between the main characteristics of the layer, such as temperature and dimensions, and the observational features, such as differential and integral emission measure of heated plasma, intensity of spectral lines Fe XXVI (1.78 and 1.51A) and Ni XXVII (1.59 A). This method provides a theoretical basis for determining parameters of the current layer from observations. Observations of SHTCLs are difficult, because the spectral line intensities are faint, but it is theoretically possible in the future. Observations in X-ray range 1.5--1.8 A with high spectral resolution (better than 0.01 A) and high temporal resolution (seconds) are needed. It is also very important to interpret the observations using a multi-temperature approach instead of the usual single or double temperature method.


title: Low-power Distance Bounding

abstract: A distance bounding system guarantees an upper bound on the physical distance between a verifier and a prover. However, in contrast to a conventional wireless communication system, distance bounding systems introduce tight requirements on the processing delay at the prover and require high distance measurement precision making their practical realization challenging. Prior proposals of distance bounding systems focused primarily on building provers with minimal processing delays but did not consider the power limitations of provers and verifiers. However, in a wide range of applications (e.g., physical access control), provers are expected to be fully or semi-passive introducing additional constraints on the design and implementation of distance bounding systems. In this work, we propose a new physical layer scheme for distance bounding and leverage this scheme to implement a distance bounding system with a low-power prover. Our physical layer combines frequency modulated continuous wave (FMCW) and backscatter communication. The use of backscatter communication enables low power consumption at the prover which is critical for a number of distance bounding applications. By using the FMCW-based physical layer, we further decouple the physical distance estimation from the processing delay at the prover, thereby enabling the realization of the majority of distance bounding protocols developed in prior art. We evaluate our system under various attack scenarios and show that it offers strong security guarantees against distance, mafia and terrorist frauds. Additionally, we validate the communication and distance measurement characteristics of our system through simulations and experiments and show that it is well suited for short-range physical access control and payment applications.


title: Fermion EDMs with Minimal Flavor Violation

abstract: We study the electric dipole moments (EDMs) of fermions in the standard model supplemented with right-handed neutrinos and its extension including neutrino seesaw mechanism under the framework of minimal flavor violation (MFV). In the quark sector, we find that the current experimental bound on the neutron EDM does not yield a significant restriction on the scale of MFV. In addition, we consider how MFV may affect the contribution of the strong theta-term to the neutron EDM. For the leptons, the existing EDM data also do not lead to strict limits if neutrinos are Dirac particles. On the other hand, if neutrinos are Majorana in nature, we find that the constraints become substantially stronger. Moreover, the results of the latest search for the electron EDM by the ACME Collaboration are sensitive to the MFV scale of order a few hundred GeV or higher. We also look at constraints from $CP$-violating electron-nucleon interactions that have been probed in atomic and molecular EDM searches.


title: Towards the core of the cosmological constant problem

abstract: We apply a new self-tuning mechanism to the well-known Kachru-Kallosh-Linde-Trivedi (KKLT) model to address the cosmological constant problem. In this mechanism the cosmological constant $\lambda$ contains a supersymmetry breaking term ${\mathcal E}_{\rm SB}$ besides the usual scalar potential ${\mathcal V}_{\rm scalar}$ of the $N=1$ supergravity, which is distinguished from the usual theories where $\lambda$ is directly identified with ${\mathcal V}_{\rm scalar}$ alone. Also in this mechanism, whether $\lambda$ vanishes or not is basically determined by the tensor structure of the scalar potential density, not by the zero or nonzero values of the scalar potential itself. As a result of this application we find that the natural scenario for the vanishing $\lambda$ of the present universe is to take one of the AdS (rather than dS) vacua of KKLT as the background vacuum of our present universe. This AdS vacuum scenario has more nice properties as compared with dS vacua of the usual flux compctifications. The background vacuum is stable both classically and quantum mechanically (no tunneling instabilities), and the value $\lambda =0$ is also stable against quantum corrections because in this scenario the perturbative corrections of ${\mathcal V}_{\rm scalar}$ and quantum fluctuations $\delta_Q {\hat I}_{\rm brane}^{(NS)} + \delta_Q {\hat I}_{\rm brane}^{(R)}$ on the branes are all gauged away by an automatic cancelation between ${\mathcal V}_{\rm scalar} + \delta_Q {\hat I}_{\rm brane}^{(NS)} + \delta_Q {\hat I}_{\rm brane}^{(R)}$ and ${\mathcal E}_{\rm SB}$.


title: Spin-polarized currents generated by magnetic Fe atomic chains

abstract: Fe-based devices are widely used in spintronics because of high spin-polarization and magnetism. In this work, free-standing Fe atomic chains were proposed to be used as the thinnest wires to generate spin-polarized currents due to the spin-polarized energy bands. By ab initio calculations, the zigzag structure was found more stable than the wide-angle zigzag structure and has higher ratio of spin-up and spin-down currents. By our theoretical prediction, Fe atomic chains have sufficiently long thermal lifetime only at T<=150 K, while C atomic chains are very stable even at T=1000 K. This result means that the spintronic devices based on Fe chains could only work at low temperature. A system constructed by a short Fe chain sandwiched between two graphene electrodes was proposed as a spin-polarized current generator, while a C chain does not have such property. The present work may be instructive and meaningful to further practical applications based on recent technical development on the preparation of metal atomic chains [Proc. Natl. Acad. Sci. U.S.A. 107, 9055 (2010)].


title: Alternative equation of motion approach to the single-impurity Anderson model

abstract: Solving the single-impurity Anderson model (SIAM) is a basic problem of solid state physics. The SIAM model is very important, at present it is also used for systems with quantum impurities, e.g. semiconductor quantum dots and molecular transistors. Its main application is in the scheme of dynamical mean field theory (DMFT) describing strong correlation electron systems. To solve the SIAM problem we use the equation of motion (EOM) Green function approach. In this report we present the novel EOM approximation in which we differentiate the Green function over both time variables. This differs from the commonly used EOM solution by Appelbaum, Penn and Lacroix where the authors take time derivative only over primary time variable. After extending calculations to higher order Green functions we find the new approximate dynamical solution of SIAM. The results are compared with the solutions to the SIAM problem at intermediate Coulomb repulsion U such as the Modified Iterative Perturbation Theory. Our approach is suitable for describing quantum dots.


title: R+S^2 theories of gravity without big-bang singularity

abstract: The R+S^2 theories of gravity, where S^2 denotes the quadratic torsion terms, are analyzed under three cases. In the first two cases, the matter fields are described by two different spin fluids which are not homogeneous and isotropic. In the third case, a homogeneous and isotropic torsion field is used. It is found that under all the three cases, the R+S^2 theories may avert the big-bang singularity of the Robertson--Walker universe, with three corresponding constraints on the parameters.


title: On a Kotz-Wishart distribution: Multivariate Varma transform

abstract: We introduced a generalized Wishart distribution, namely, the Kotz-Wishart distribution. Several existing results based on the normality assumption have been extended. Inspired by the particular form of the pdf of the Kotz-Wishart matrix, we extended the Laplace transform operator. This generalized Laplace transform is applied to some functions of matrix argument.


title: Proof of the middle levels conjecture

abstract: Define the middle layer graph as the graph whose vertex set consists of all bitstrings of length $2n+1$ that have exactly $n$ or $n+1$ entries equal to 1, with an edge between any two vertices for which the corresponding bitstrings differ in exactly one bit. The middle levels conjecture asserts that this graph has a Hamilton cycle for every $n\geq 1$. This conjecture originated probably with Havel, Buck and Wiedemann, but has also been attributed to Dejter, Erd\H{o}s, Trotter and various others, and despite considerable efforts it remained open during the last 30 years. In this paper we prove the middle levels conjecture. In fact, we construct $2^{2^{\Omega(n)}}$ different Hamilton cycles in the middle layer graph, which is best possible.


title: Enhanced List-Based Group-Wise Overloaded Receiver with Application to Satellite Reception

abstract: The market trends towards the use of smaller dish antennas for TV satellite receivers, as well as the growing density of broadcasting satellites in orbit require the application of robust adjacent satellite interference (ASI) cancellation algorithms at the receivers. The wider beamwidth of a small size dish and the growing number of satellites in orbit impose an overloaded scenario, i.e., a scenario where the number of transmitting satellites exceeds the number of receiving antennas. For such a scenario, we present a two stage receiver to enhance signal detection from the satellite of interest, i.e., the satellite that the dish is pointing to, while reducing interference from neighboring satellites. Towards this objective, we propose an enhanced List-based Group-wise Search Detection (LGSD) receiver architecture that takes into account the spatially correlated additive noise and uses the signal-to-interference-plus noise ratio (SINR) maximization criterion to improve detection performance. Simulations show that the proposed receiver structure enhances the performance of satellite systems in the presence of ASI when compared to existing methods.


title: New 2MASS Near-infrared Photometry for Globular Clusters in M31

abstract: We present 2MASS $JHK_{\rm s}$ photometry for 913 star clusters and candidates in the field of M31, which are selected from the latest Revised Bologna Catalog of M31 globular clusters (GCs) and candidates. The photometric measurements in this paper supplement this catalog, and provide a most comprehensive and homogeneous photometric catalog for M31 GCs in the $JHK_{\rm s}$ bandpasses. In general, our photometry is consistent with previous measurements. The globular cluster luminosity function (GCLF) peaks for the confirmed GCs derived by fitting a $t_5$ distribution using maximum likelihood method are: $J_0 = 15.348_{-0.208}^{+0.206}$, $H_0 = 14.703_{-0.180}^{+0.176}$, and ${K_{\rm s}}_0 = 14.534_{-0.146}^{+0.142}$, all of which agree well with previous studies. The GCLFs are different between metal-rich (MR) and metal-poor (MP), inner and outer subpopulations, as that MP clusters are fainter than their MR counterparts, and the inner clusters are brighter than the outer ones, which confirm previous results. The NIR colors of the GC candidates are on average redder than those of the confirmed GCs, which lead to an obscure bimodal distribution of the color indices. The relation of $(V-K_{\rm s})_0$ and metallicity shows a notable departure from linearity, with a shallower slope towards the redder end. The color-magnitude diagram (CMD) and color-color diagram show that many GC candidates are located out of the evolutionary tracks, suggesting that some of them may be false M31 GC candidates. The CMD also shows that the initial mass function of M31 GCs covers a large range, and the majority of the clusters have initial masses between $10^3$ and $10^6$ $M_{\odot}$.


title: Existence and Uniqueness of Strong Solution for Shear Thickening Fluids of Second Grade

abstract: In this paper we study the equations governing the unsteady motion of an incompressible homogeneous generalized second grade fluid subject to periodic boundary conditions. We establish the existence of global-in-time strong solutions for shear thickening flows in the two and three dimensional case. We also prove uniqueness of such solution without any smallness condition on the initial data or restriction on the material moduli.


title: Constraints on the winds of hot subdwarf stars from X-ray observations of two sdB binaries with compact companions: CD -30 11223 and PG 1232-136

abstract: Little observational data are available on the weak stellar winds of hot subdwarf stars of B spectral type (sdB). Close binary systems composed of an sdB star and a compact object (white dwarf, neutron star or black hole) could be detected as accretion-powered X-ray sources. The study of their X-ray emission can probe the properties of line-driven winds of sdB stars that can not be derived directly from spectroscopy because of the low luminosity of these stars. Here we report on the first sensitive X-ray observations of two sdB binaries with compact companions. CD -30 11223 is the sdB binary with the shortest known orbital period (1.2 h) and its companion is certainly a white dwarf. PG 1232-136 is an sdB binary considered the best candidate to host a black hole companion. We observed these stars with XMM-Newton in August 2013 for 50 ks and in July 2009 for 36 ks, respectively. None of them was detected and we derived luminosity upper limits of about 1.5x10^29 erg/s for CD -30 11223 5x10^29 erg/s for PG 1232-136. The corresponding mass loss rate for PG 1232-136 is poorly constrained, owing to the unknown efficiency for black hole accretion. On the other hand, in the case of CD -30 11223 we could derive, under reasonable assumptions, an upper limit of about 3x10^-13 solar masses/yr on the wind mass loss rate from the sdB star. This is one of the few observational constraints on the weak winds expected in this class of low mass hot stars. We also report the results on the X-ray emission from a cluster of galaxies serendipitously discovered in the field of CD -30 11223.


title: Entanglement in N-harmonium: bosons and fermions

abstract: The ground-state entanglement of a single particle of the N-harmonium system (i.e., a completely-integrable model of $N$ particles where both the confinement and the two-particle interaction are harmonic) is shown to be analytically determined in terms of $N$ and the relative interaction strength. For bosons, we compute the von Neumann entropy of the one-body reduced density matrix by using the corresponding natural occupation numbers. There exists a critical number $N_c$ of particles so that below it, for positive values of the coupling constant, the entanglement grows when the number of particles is increasing; the opposite occurs for $N > N_c$. For fermions, we compute the one-body reduced density matrix for the closed-shell spinned case. In the strong coupling regime, the linear entropy of the system decreases when $N$ is growing. For fixed $N$, the entanglement is found (a) to decrease (increase) for negatively (positively) increasing values of the coupling constant, and (b) to grow when the energy is increasing. Moreover, the spatial and spin contributions to the total entanglement are found to be of comparable size.


title: Overloaded Satellite Receiver Using SIC with Hybrid Beamforming and ML Detection

abstract: In this paper, a new receiver structure that is intended to detect the signals from multiple adjacent satellites in the presence of other interfering satellites is proposed. We tackle the worst case interference conditions, i.e., it is assumed that uncoded signals that fully overlap in frequency arrive at a multiple-element small-size parabolic antenna in a spatially correlated noise environment. The proposed successive interference cancellation (SIC) receiver, denoted by SIC Hy/ML, employs hybrid beamforming and disjoint maximum likelihood (ML) detection. Depending on the individual signals spatial position, the proposed SIC Hy/ML scheme takes advantage of two types of beamformers: a maximum ratio combining (MRC) beamformer and a compromised array response (CAR) beamformer. The performance of the proposed receiver is compared to an SIC receiver that uses only MRC beamforming scheme with ML detection for all signals, a joint ML detector, and a minimum mean square error detector. It is found that SIC Hy/ML outperforms the other schemes by a large margin.


title: Demuth's path to randomness

abstract: Osvald Demuth (1936--1988) studied constructive analysis from the viewpoint of the Russian school of constructive mathematics. In the course of his work he introduced various notions of effective null set which, when phrased in classical language, yield a number of major algorithmic randomness notions. In addition, he proved several results connecting constructive analysis and randomness that were rediscovered only much later. In this paper, we trace the path that took Demuth from his constructivist roots to his deep and innovative work on the interactions between constructive analysis, algorithmic randomness, and computability theory. We will focus specifically on (i) Demuth's work on the differentiability of Markov computable functions and his study of constructive versions of the Denjoy alternative, (ii) Demuth's independent discovery of the main notions of algorithmic randomness, as well as the development of Demuth randomness, and (iii) the interactions of truth-table reducibility, algorithmic randomness, and semigenericity in Demuth's work.


title: Next generation population synthesis of accreting white dwarfs: I. Hybrid calculations using BSE + MESA

abstract: Accreting, nuclear-burning white dwarfs have been deemed to be candidate progenitors of type Ia supernovae, and to account for supersoft X-ray sources, novae, etc. depending on their accretion rates. We have carried out a binary population synthesis study of their populations using two algorithms. In the first, we use the binary population synthesis code \textsf{BSE} as a baseline for the "rapid" approach commonly used in such studies. In the second, we employ a "hybrid" approach, in which we use \textsf{BSE} to generate a population of white dwarfs (WD) with non-degenerate companions on the verge of filling their Roche lobes. We then follow their mass transfer phase using the detailed stellar evolution code \textsf{MESA}. We investigate the evolution of the number of rapidly accreting white dwarfs (RAWDs) and stably nuclear-burning white dwarfs (SNBWDs), and estimate the type Ia supernovae (SNe Ia) rate produced by "single-degenerate" systems (SD). We find significant differences between the two algorithms in the predicted numbers of SNBWDs at early times, and also in the delay time distribution (DTD) of SD SNe Ia. Such differences in the treatment of mass transfer may partially account for differences in the SNe Ia rate and DTD found by different groups. Adopting 100\% efficiency for helium burning, the rate of SNe Ia produced by the SD-channel in a Milky-way-like galaxy in our calculations is $2.0\times10^{-4}\rm{yr}^{-1}$, more than an order of magnitude below the observationally inferred value. In agreement with previous studies, our calculated SD DTD is inconsistent with observations.


title: Fractionally Quantized Berry Phase, Adiabatic Continuation, and Edge States

abstract: Symmetry protected quantization of the Berry phase is discussed in relation to edge states. Assuming an existence of some adiabatic process which protects quantization of the Berry phase, non trivial Berry phase $\gamma=\pm 2\pi\rho$ ($\rho$ is a local filling of particles) for the bulk suggests appearance of edge states with boundaries. We have applied this generic consideration for Bloch states of some two dimensional model with massless Dirac fermions where $\gamma=\pm\pi/2$ implies the edge states. Entanglement entropy is evaluated for the models and its relation to the bulk-edge correspondence of Dirac fermions is discussed as well.


title: Bias-correction of the maximum likelihood estimator for the $\alpha$-Brownian bridge

abstract: The $\alpha$-Brownian bridge, or scaled Brownian bridge, is a generalization of the Brownian bridge with a scaling parameter that determines how strong the force that pulls the process back to 0 is. The bias of the maximum likelihood estimator of the parameter $\alpha$ is derived and a bias-correction that improves the estimator substantially is proposed. The properties of the bias-corrected estimator and four Bayesian estimators based on non-informative priors are evaluated in a simulation study.


title: Efficient Decoding Algorithms for the Compute-and-Forward Strategy

abstract: We address in this paper decoding aspects of the Compute-and-Forward (CF) physical-layer network coding strategy. It is known that the original decoder for the CF is asymptotically optimal. However, its performance gap to optimal decoders in practical settings are still not known. In this work, we develop and assess the performance of novel decoding algorithms for the CF operating in the multiple access channel. For the fading channel, we analyze the ML decoder and develop a novel diophantine approximation-based decoding algorithm showed numerically to outperform the original CF decoder. For the Gaussian channel, we investigate the maximum a posteriori (MAP) decoder. We derive a novel MAP decoding metric and develop practical decoding algorithms proved numerically to outperform the original one.


title: Gate operators for N-strategies quantum game

abstract: The quantization of 2-players N-strategies games is considered. The general form of gate operator is determined under the assumption that the classical pure strategies are contained in the set of pure quantum ones.


title: Shrinking of fluctuation region in a two-band superconductor

abstract: In a two-band superconductor, two qualitatively different fluctuation modes related to the gap modules contribute to free energy and heat capacity, in addition to the phase fluctuations. The first mode has divergent temperature behaviour since it accounts for the critical fluctuations around the phase transition point, Tc, along with pseudo-critical ones associated with former instability of the weaker-superconductivity component. The involvement of these two factors, competing under interband interaction, results in the Ginzburg number which increases with Tc non-monotonically, allowing the reduction up to 75%. This makes fluctuations effective for revealing additional superconducting component in the system. The second mode does not diverge, but has a jump at Tc, defined uniquely by the strength of interband interaction. This mode contributes fundamentally beyond critical domain.


title: Exponential stability of the wave equation with memory and time delay

abstract: We study the asymptotic behaviour of the wave equation with viscoelastic damping in presence of a time-delayed damping. We prove exponential stability if the amplitude of the time delay term is small enough.


title: A General Derivation of Pointer States: Decoherence and Classicality

abstract: The purpose of the present study is to derive the pointer states of a macroscopic system interacting with its environment, under the general assumptions, i.e., without assuming any form of the interaction Hamiltonian. The lowest order perturbation leads that the interaction energy shifts the phase factors of the state vectors. For a macroscopic system, these factors are the macroscopic quantities even for the very weak interaction. When we group the state vector of the total system by the view point of environmental side, the destructive interference occurs and the stationary phase approximation can be adopted. Only the pointer states then survive and the decoherence also occurs. The present approach is within the standard quantum mechanics as same as the standard decoherence theory, but the meaning of the classical state is much clear.


title: Affinization of Segre products of partial linear spaces

abstract: Hyperplanes and hyperplane complements in the Segre product of partial linear spaces are investigated . The parallelism of such a complement is characterized in terms of the point-line incidence. Assumptions, under which the automorphisms of the complement are the restrictions of the automorphisms of the ambient space, are given. An affine covering for the Segre product of Veblenian gamma spaces is established. A general construction that produces non-degenerate hyperplanes in the Segre product of partial linear spaces embeddable into projective space is introduced.


title: New phenomenons in the spatial isosceles three-body problem

abstract: In this work, we study the periodic orbits in the spatial isosceles three-body problem. These periodic orbits form a one-parameter set with a rotation angle $\theta$ as the parameter. Some new phenomenons are discovered by applying our numerical method. The periodic orbit coincides with the planar Euler orbit when $0 < \theta \leq 0.32 \pi$ and it changes to a spatial orbit when $0.33 \pi \leq \theta < \pi$. Eventually, the spatial orbit becomes a planar collision orbit when $\theta=\pi$. Furthermore, an oscillated behavior is found when $\theta=\pi/2$, which is chaotic but bounded under a small perturbation. As another application of our numerical method, 7 new periodic orbits are presented in the end.


title: Earth-like Habitats in Planetary Systems

abstract: Understanding the concept of habitability is related to an evolutionary knowledge of the particular planet-in-question. Additional indications so-called "systemic aspects" of the planetary system as a whole governs a particular planet's claim on habitability. Here we focus on such systemic aspects and discuss their relevance to the formation of an 'Earth-like' habitable planet. We summarize our results obtained by lunar sample work and numerical models within the framework of the Research Alliance "Planetary Evolution and Life". We consider various scenarios which simulate the dynamical evolution of the Solar System and discuss the likelihood of forming an Earth-like world orbiting another star. Our model approach is constrained by observations of the modern Solar System and the knowledge of its history. Results suggest that the long-term presence of terrestrial planets is jeopardized due to gravitational interactions if giant planets are present. But habitability of inner rocky planets may be supported in those planetary systems hosting giant planets. Gravitational interactions within a complex multiple-body structure including giant planets may supply terrestrial planets with materials which formed in the colder region of the proto-planetary disk. During these processes, water, the prime requisite for habitability, is delivered to the inner system. This may occur either during the main accretion phase of terrestrial planets or via impacts during a post-accretion bombardment. Results for both processes are summarized and discussed with reference to the lunar crater record. Starting from a scenario involving migration of the giant planets this contribution discusses the delivery of water to Earth, the modification of atmospheres by impacts in a planetary system context and the likelihood of the existence of extrasolar Earth-like habitable worlds.


title: Commuting involutions on surfaces of general type with p_g=0 and K^2=7

abstract: The aim of this article is to classify the pairs (S, G), where S is a smooth minimal surface of general type with p_g=0 and K^2=7, G is a subgroup of the automorphism group of S and G is isomorphic to the group $\mathbb{Z}_2^2$. The Inoue surfaces with K^2=7, which are finite Galois $\mathbb{Z}_2^2$-covers of the 4-nodal cubic surface, are the first examples of such pairs. More recently, the author constructed a new family of such pairs. They are finite Galois $\mathbb{Z}_2^2$-covers of certain 6-nodal Del Pezzo surfaces of degree one. We prove that the base of the Kuranishi family of deformations of a surface in this family is smooth. We show that, in the Gieseker moduli space of canonical models of surfaces of general type, the subset corresponding to the surfaces in this family is an irreducible connected component, normal, unirational of dimension 3.


title: Self Diffusion of Yukawa system in presence of external magnetic field

abstract: Diffusion of dust particles is one of the most significant transport processes of strongly coupled dusty plasma that reflect the nature of inter particle interaction and characterize thermodynamics of the system. In this paper the effect of magnetic field on diffusion of dust particles in strongly coupled dusty plasma is investigated by using molecular dynamics simulations. Self- diffusion coefficients of Yukawa systems are obtained for a wide range of plasma parameters and magnetic field strength using Green- Kubo expression which is based on integrated velocity autocorrelation function (VACF). It is assumed that dust particles interact with each other by modified Yukawa (i.e. screened Coulomb) potential. The study gives interesting results of dust particle diffusion in magnetized plasma.


title: VLBI Astrometry of AGB Variables with VERA -- A Mira Type Variable T Lepus

abstract: We conducted phase referencing VLBI observations of the Mira variable T~Lepus (T~Lep) using VERA, from 2003 to 2006. The distance to the source was determined from its annual parallax which was measured to be 3.06$\pm$0.04 mas, corresponding to a distance of 327$\pm$4\,pc. Our observations revealed the distribution and internal kinematics of H$_2$O masers in T~Lep, and we derived a source systemic motions of 14.60$\pm$0.50 mas yr$^{-1}$ and $-$35.43$\pm$0.79 mas yr$^{-1}$ in right ascension and declination, respectively. We also determined a LSR velocity of $V_\mathrm{LSR}^{\ast} = -$27.63 km s$^{-1}$. Comparison of our result with an image recently obtained from the VLTI infrared interferometer reveals a linear scale picture of the circumstellar structure of T~Lep. Analysis of the source systemic motion in the Galacto-centric coordinate frame indicates a large peculiar motion, which is consistent with the general characteristics of AGB stars. This source makes a contribution to the calibration of the period-luminosity relation of Galactic Mira variables. From the compilation of data for nearby Mira variables found in the literature, whose distances were derived from astrometric VLBI observations, we have calibrated the Galactic Mira period-luminosity relation to a high degree of accuracy.


title: On small-noise equations with degenerate limiting system arising from volatility models

abstract: The one-dimensional SDE with non Lipschitz diffusion coefficient $dX_{t} = b(X_{t})dt + \sigma X_{t}^{\gamma} dB_{t}, \ X_{0}=x, \ \gamma<1$ is widely studied in mathematical finance. Several works have proposed asymptotic analysis of densities and implied volatilities in models involving instances of this equation, based on a careful implementation of saddle-point methods and (essentially) the explicit knowledge of Fourier transforms. Recent research on tail asymptotics for heat kernels [J-D. Deuschel, P.~Friz, A.~Jacquier, and S.~Violante. Marginal density expansions for diffusions and stochastic volatility, part II: Applications. 2013, arxiv:1305.6765] suggests to work with the rescaled variable $X^{\varepsilon}:=\varepsilon^{1/(1-\gamma)} X$: while allowing to turn a space asymptotic problem into a small-$\varepsilon$ problem with fixed terminal point, the process $X^{\varepsilon}$ satisfies a SDE in Wentzell--Freidlin form (i.e. with driving noise $\varepsilon dB$). We prove a pathwise large deviation principle for the process $X^{\varepsilon}$ as $\varepsilon \to 0$. As it will become clear, the limiting ODE governing the large deviations admits infinitely many solutions, a non-standard situation in the Wentzell--Freidlin theory. As for applications, the $\varepsilon$-scaling allows to derive exact log-asymptotics for path functionals of the process: while on the one hand the resulting formulae are confirmed by the CIR-CEV benchmarks, on the other hand the large deviation approach (i) applies to equations with a more general drift term and (ii) potentially opens the way to heat kernel analysis for higher-dimensional diffusions involving such an SDE as a component.


title: PReaCH: A Fast Lightweight Reachability Index using Pruning and Contraction Hierarchies

abstract: We develop the data structure PReaCH (for Pruned Reachability Contraction Hierarchies) which supports reachability queries in a directed graph, i.e., it supports queries that ask whether two nodes in the graph are connected by a directed path. PReaCH adapts the contraction hierarchy speedup techniques for shortest path queries to the reachability setting. The resulting approach is surprisingly simple and guarantees linear space and near linear preprocessing time. Orthogonally to that, we improve existing pruning techniques for the search by gathering more information from a single DFS-traversal of the graph. PReaCH-indices significantly outperform previous data structures with comparable preprocessing cost. Methods with faster queries need significantly more preprocessing time in particular for the most difficult instances.


title: Matrix product operators and states: NP-hardness and undecidability

abstract: Tensor network states constitute an important variational set of quantum states for numerical studies of strongly correlated systems in condensed-matter physics, as well as in mathematical physics. This is specifically true for finitely correlated states or matrix-product operators, designed to capture mixed states of one-dimensional quantum systems. It is a well-known open problem to find an efficient algorithm that decides whether a given matrix-product operator actually represents a physical state that in particular has no negative eigenvalues. We address and answer this question by showing that the problem is provably undecidable in the thermodynamic limit and that the bounded version of the problem is NP-hard in the system size. Furthermore, we discuss numerous connections between tensor network methods and (seemingly) different concepts treated before in the literature, such as hidden Markov models and tensor trains.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Cube-Cut: Vertebral Body Segmentation in MRI-Data through Cubic-Shaped Divergences

abstract: In this article, we present a graph-based method using a cubic template for volumetric segmentation of vertebrae in magnetic resonance imaging (MRI) acquisitions. The user can define the degree of deviation from a regular cube via a smoothness value Delta. The Cube-Cut algorithm generates a directed graph with two terminal nodes (s-t-network), where the nodes of the graph correspond to a cubic-shaped subset of the image's voxels. The weightings of the graph's terminal edges, which connect every node with a virtual source s or a virtual sink t, represent the affinity of a voxel to the vertebra (source) and to the background (sink). Furthermore, a set of infinite weighted and non-terminal edges implements the smoothness term. After graph construction, a minimal s-t-cut is calculated within polynomial computation time, which splits the nodes into two disjoint units. Subsequently, the segmentation result is determined out of the source-set. A quantitative evaluation of a C++ implementation of the algorithm resulted in an average Dice Similarity Coefficient (DSC) of 81.33% and a running time of less than a minute.


title: On Independence Atoms and Keys

abstract: Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from data. The applications can be effectively unlocked by providing efficient solutions to the underlying implication problems of keys and independence atoms. Indeed, for the sole class of keys and the sole class of independence atoms the associated finite and general implication problems coincide and enjoy simple axiomatizations. However, the situation changes drastically when keys and independence atoms are combined. We show that the finite and the general implication problems are already different for keys and unary independence atoms. Furthermore, we establish a finite axiomatization for the general implication problem, and show that the finite implication problem does not enjoy a k-ary axiomatization for any k.


title: Exploring the Neutrinoless Double Beta Decay in the Inverted Neutrino Hierarchy with Bolometric Detectors

abstract: Neutrinoless double beta decay (0nubb) is one of the most sensitive probes for physics beyond the Standard Model, providing unique information on the nature of neutrinos. In this paper we review the status and outlook for bolometric 0nubb decay searches. We summarize recent advances in background suppression demonstrated using bolometers with simultaneous readout of heat and light signals. We simulate several configurations of a future CUORE-like bolometer array which would utilize these improvements and present the sensitivity reach of a hypothetical next-generation bolometric 0nubb experiment. We demonstrate that a bolometric experiment with the isotope mass of about 1 ton is capable of reaching the sensitivity to the effective Majorana neutrino mass (|mee|) of order 10-20 meV, thus completely exploring the so-called inverted neutrino mass hierarchy region. We highlight the main challenges and identify priorities for an R&D program addressing them.


title: Two Types of Discontinuous Percolation Transitions in Cluster Merging Processes

abstract: Percolation is a paradigmatic model in disordered systems and has been applied to various natural phenomena. The percolation transition is known as one of the most robust continuous transitions. However, recent extensive studies have revealed that a few models exhibit a discontinuous percolation transition (DPT) in cluster merging processes. Unlike the case of continuous transitions, understanding the nature of discontinuous phase transitions requires a detailed study of the system at hand, which has not been undertaken yet for DPTs. Here we examine the cluster size distribution immediately before an abrupt increase in the order parameter of DPT models and find that DPTs induced by cluster merging kinetics can be classified into two types. Moreover, the type of DPT can be determined by the key characteristic of whether the cluster kinetic rule is homogeneous with respect to the cluster sizes. We also establish the necessary conditions for each type of DPT, which can be used effectively when the discontinuity of the order parameter is ambiguous, as in the explosive percolation model.


title: Almost global solutions of semilinear wave equations with the critical exponent in high dimensions

abstract: We are interested in the "almost" global-in-time existence of classical solutions in the general theory for nonlinear wave equations. All the three such cases are known to be sharp due to blow-up results in the critical case for model equations. However, it is known that we have a possibility to get the global-in-time existence for two of them in low space dimensions if the nonlinear term is of derivatives of the unknown function and satisfies so-called null condition, or non-positive condition. But another one for the quadratic term in four space dimensions is out of the case as the nonlinear term should include a square of the unknown function itself. In this paper, we get one more example guaranteeing the sharpness of the almost global-in-time existence in four space dimensions. It is also the first example of the blow-up of classical solutions for non-single and indefinitely signed term in high dimensions. Such a term arises from the neglect of derivative-loss factors in Duhamel's formula for positive and single nonlinear term. This fact may help us to describe a criterion to get the global-in-time existence in this critical situation.


title: On Quantization of AdS3 Gravity I: Semi-Classical Analysis

abstract: In this work we explore ideas in quantizing AdS$_3$ Einstein gravity. We start with the most general solution to the 3d gravity theory which respects Brown-Henneaux boundary conditions. These solutions are specified by two holomorphic functions and satisfy simple superposition rule. These geometries generically have a bifurcate Killing horizon (with a noncompact bifurcation curve) which is not an event horizon and are hence not black holes. Nonetheless, there are superpositions of these geometries which have event horizon. We propose to view these geometries as "semiclassical fuzzball microstates" of BTZ black holes appearing as superposition of these geometries. The details of quantization of these semiclassical microstates will be discussed in an upcoming work.


title: A Simple $O(\log\log(\mathrm{rank}))$-Competitive Algorithm for the Matroid Secretary Problem

abstract: Only recently progress has been made in obtaining $o(\log(\mathrm{rank}))$-competitive algorithms for the matroid secretary problem. More precisely, Chakraborty and Lachish (2012) presented a $O(\sqrt{\log(\mathrm{rank})})$-competitive procedure, and Lachish (2014) later presented a $O(\log\log(\mathrm{rank}))$-competitive algorithm. Both these algorithms and their analyses are very involved, which is also reflected in the extremely high constants in their competitive ratios. Using different tools, we present a considerably simpler $O(\log\log(\mathrm{rank}))$-competitive algorithm for the matroid secretary problem. Our algorithm can be interpreted as a distribution over a simple type of matroid secretary algorithms which are easy to analyze. Due to the simplicity of our procedure, we are also able to vastly improve on the hidden constant in the competitive ratio.


title: Non-perturbative features of the three-gluon vertex in Landau gauge

abstract: We present a calculation of the three-gluon vertex from its Dyson-Schwinger equation in Landau-gauge Yang-Mills theory. All tensor structures are considered and back-coupled self-consistently. Within the chosen truncation, two-loop diagrams as well as diagrams containing Green's functions beyond the primitively divergent ones are neglected. Only the three-gluon vertex is chosen to be dynamical; the other propagators and vertex functions are provided as separate solutions of their Dyson-Schwinger equations or by Ansatz. For both scaling- and decoupling-type solutions we observe, in agreement with other studies, a sign change in the tree-level tensor dressing at a non-perturbative scale.


title: One-dimensional excitonic systems with diagonal L\'{e}vy disorder: A detailed study of the absorption spectra and the disorder scaling of localization length

abstract: We present a detailed study of the effects of L\'evy $\alpha$-stable disorder distributions on the optical and localization properties of excitonic systems. These distributions are a generalization of commonly studied Gaussian randomness ($\alpha = 2$). However, the more general case ($\alpha < 2$) includes also heavy-tailed behavior with a divergent second moment. These types of distributions give rise to novel effects, such as exchange broadening of the absorption spectra and anomalous localization of the excitonic states, which has been found in various excitonic systems. We provide a thorough examination of the localization behavior and the absorption spectra of excitons in chains with L\'evy $\alpha$-stable diagonal disorder. Several regimes are considered in detail: (i) weak disorder and small systems, where finite size effects become significant; (ii) intermediate disorder and/or larger systems for which exciton states around the exciton band edge spread over a number of monomers, and (iii) strong disorder where the exciton wave functions resemble the individual molecular states. We propose analytical approaches to describe the disorder scaling of relevant quantities for these three regimes of localization, which match excellently with numerical results. We also show the appearance of short localization segments caused by outliers (monomers having transition energies larger than the exciton band width). Such states give rise to an additional structure in the absorption spectrum, density of states, and in the nontrivial disorder scaling of the absorption band width.


title: Tuning resonant interaction of orthogonally polarized solitons and dispersive waves with the soliton power

abstract: We demonstrate that the relatively small power induced changes in the soliton wavenumber comparable with splitting of the effective indexes of the orthogonally polarized waveguide modes result in significant changes of the efficiency of the interaction between solitons and dispersive waves and can be used to control energy transfer between the soliton and newly generated waves and to delay or accelerate solitons.


title: Malliavin derivative of random functions and applications to L\'evy driven BSDEs

abstract: We consider measurable $F: \Omega \times \mathbb{R}^d \to \mathbb{R}$ where $F(\cdot, x)$ belongs for any $x$ to the Malliavin Sobolev space $\mathbb{D}_{1,2}$ (with respect to a L\'evy process) and provide sufficient conditions on $F$ and $G_1,\ldots,G_d \in \mathbb{D}_{1,2}$ such that $F(\cdot, G_1,\ldots,G_d) \in \mathbb{D}_{1,2}.$ The above result is applied to show Malliavin differentiability of solutions to BSDEs (backward stochastic differential equations) driven by L\'evy noise where the generator is given by a progressively measurable function $f(\omega,t,y,z).$


title: Rainbow Colouring of Split Graphs

abstract: A rainbow path in an edge coloured graph is a path in which no two edges are coloured the same. A rainbow colouring of a connected graph G is a colouring of the edges of G such that every pair of vertices in G is connected by at least one rainbow path. The minimum number of colours required to rainbow colour G is called its rainbow connection number. Between them, Chakraborty et al. [J. Comb. Optim., 2011] and Ananth et al. [FSTTCS, 2012] have shown that for every integer k, k \geq 2, it is NP-complete to decide whether a given graph can be rainbow coloured using k colours. A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. Chandran and Rajendraprasad have shown that the problem of deciding whether a given split graph G can be rainbow coloured using 3 colours is NP-complete and further have described a linear time algorithm to rainbow colour any split graph using at most one colour more than the optimum [COCOON, 2012]. In this article, we settle the computational complexity of the problem on split graphs and thereby discover an interesting dichotomy. Specifically, we show that the problem of deciding whether a given split graph can be rainbow coloured using k colours is NP-complete for k \in {2,3}, but can be solved in polynomial time for all other values of k.


title: Axion-induced oscillations of cooperative electric field in a cosmic magneto-active plasma

abstract: We consider one cosmological application of an axionic extension of the Maxwell-Vlasov theory, which describes axionically induced oscillatory regime in the state of global magnetic field evolving in the anisotropic expanding (early) universe. We show that the cooperative electric field in the relativistic plasma, being coupled to the pseudoscalar (axion) and global magnetic fields, plays the role of a regulator in this three-level system; in particular, the cooperative (Vlasov) electric field converts the regime of anomalous growth of the pseudoscalar field, caused by the axion-photon coupling at the inflationary epoch of the universe expansion, into an oscillatory regime with finite density of relic axions. We analyze solutions to the dispersion equations for the axionically induced cooperative oscillations of the electric field in the relativistic plasma.


title: Domain Wall Dynamics in Ginzburg-Landau-Type Equations with Conservative Quantities

abstract: In the Ginzburg-Landau equation, there are domain walls connecting two metastable states. The dynamics of domain walls has been intensively studied, but there remain still unsolved but crucial problems even for a single domain. We study the domain wall dynamics in three different Ginzburg-Landau-type equations satisfying conservation laws. In a modified $\phi^4$ model satisfying the law of energy conservation and the Lorentz invariance, the motion of a domain wall is accelerated and the velocity approaches its maximum. In a one-dimensional model of eutectic growth, the order parameter is conserved and a domain wall connecting a metastable uniform state and a spatially periodic pattern appears. We try to find a selection rule for the wavelength of a spatially periodic pattern. In a model equation for martensitic transformation, a domain wall connecting a uniform metastable state and a zigzag structure appears which propagates at a high velocity.


title: Asymptotics of solutions for nonlocal elliptic problems in plane angles

abstract: We investigate asymptotic behavior of solutions for nonlocal elliptic boundary value problems in plane angles and in ${\mathbb R}^2\backslash\{0\}$. Such problems arise as model ones when studying asymptotics of solutions for nonlocal elliptic problems in bounded domains. We obtain explicit formulas for the asymptotic coefficients in terms of eigenvectors and associated vectors of both adjoint nonlocal operators (acting in spaces of distributions) and formally adjoint (with respect to the Green formula) nonlocal problems.


title: VSEAMS: A pipeline for variant set enrichment analysis using summary GWAS data identifies IKZF3, BATF and ESRRA as key transcription factors in type 1 diabetes

abstract: Motivation: Genome-wide association studies (GWAS) have identified many loci implicated in disease susceptibility. Integration of GWAS summary statistics (p values) and functional genomic datasets should help to elucidate mechanisms. Results: We describe the extension of a previously described non-parametric method to test whether GWAS signals are enriched in functionally defined loci to a situation where only GWAS p values are available. The approach is implemented in VSEAMS, a freely available software pipeline. We use VSEAMS to integrate functional gene sets defined via transcription factor knock down experiments with GWAS results for type 1 diabetes and find variant set enrichment in gene sets associated with IKZF3, BATF and ESRRA. IKZF3 lies in a known T1D susceptibility region, whilst BATF and ESRRA overlap other immune disease susceptibility regions, validating our approach and suggesting novel avenues of research for type 1 diabetes. Availability and implementation: VSEAMS is available for download http://github.com/ollyburren/vseams.


title: Turing-Taylor expansions for arithmetic theories

abstract: Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on $n$-provability give rise to a $\Pi_{n+1}$ proof-theoretic ordinal. As such, to each theory $U$ we can assign the sequence of corresponding $\Pi_{n+1}$ ordinals $\langle |U|_n\rangle_{n>0}$. We call this sequence a \emph{Turing-Taylor expansion} of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories of Peano Arithmetic to Ignatiev's universal model for the closed fragment of the polymodal provability logic ${\mathbf{GLP}}_\omega$. In particular, in this first draft we observe that each point in the Ignatiev model can be seen as Turing-Taylor expansions of formal mathematical theories. Moreover, each sub-theory of Peano Arithmetic that allows for a Turing-Taylor expression will define a unique point in Ignatiev's model.