title: Crack front dynamics: the interplay of singular geometry and crack instabilities

abstract: When fast cracks become unstable to microscopic branching (micro-branching), fracture no longer occurs in an effective 2D medium. We follow in-plane crack front dynamics via real-time measurements in brittle gels as micro-branching unfolds and progresses. We first show that {\em spatially local} energy balance quantitatively describes crack dynamics, even when translational invariance is badly broken. Furthermore, our results explain micro-branch dynamics; why micro-branches form along spatially localized chains and how finite-time formation of cusps along the crack front leads to their death.

categories: cond-mat.mtrl-sci cond-mat.soft nlin.PS physics.class-ph


title: The multi-layer network nature of systemic risk and its implications for the costs of financial crises

abstract: The inability to see and quantify systemic financial risk comes at an immense social cost. Systemic risk in the financial system arises to a large extent as a consequence of the interconnectedness of its institutions, which are linked through networks of different types of financial contracts, such as credit, derivatives, foreign exchange and securities. The interplay of the various exposure networks can be represented as layers in a financial multi-layer network. In this work we quantify the daily contributions to systemic risk from four layers of the Mexican banking system from 2007-2013. We show that focusing on a single layer underestimates the total systemic risk by up to 90%. By assigning systemic risk levels to individual banks we study the systemic risk profile of the Mexican banking system on all market layers. This profile can be used to quantify systemic risk on a national level in terms of nation-wide expected systemic losses. We show that market-based systemic risk indicators systematically underestimate expected systemic losses. We find that expected systemic losses are up to a factor four higher now than before the financial crisis of 2007-2008. We find that systemic risk contributions of individual transactions can be up to a factor of thousand higher than the corresponding credit risk, which creates huge risks for the public. We find an intriguing non-linear effect whereby the sum of systemic risk of all layers underestimates the total risk. The method presented here is the first objective data driven quantification of systemic risk on national scales that reveal its true levels.


title: Dumbbell Stanane: A large-gap quantum spin Hall insulator

abstract: Quantum spin Hall (QSH) effect is quite promising for applications in spintronics and quantum computations, but presently can only be achieved at ultralow temperature. Searching for large-gap QSH insulators is the key to increase the operating temperature. Using first-principles calculations, we demonstrate that the stable hydrogenated stanene with a dumbbell-like structure (DB stanane) has large topological nontrivial band gaps of 312 meV (gamma point) and 160 meV for bulk characterized by a topological invariant of Z2=1, due to the s-pxy band inversion. Helical gapless edge states appear in the nanoribbon structures with high Fermi velocity comparable to that of graphene. The nontrivial topological states are robust against the substrate effects. The realization of this material is a feasible solution for applications of QSH effect at room temperature and beneficial to the fabrication of high-speed spintronics devices.


title: An Efficient Inexact ABCD Method for Least Squares Semidefinite Programming

abstract: We consider least squares semidefinite programming (LSSDP) where the primal matrix variable must satisfy given linear equality and inequality constraints, and must also lie in the intersection of the cone of symmetric positive semidefinite matrices and a simple polyhedral set. We propose an inexact accelerated block coordinate descent (ABCD) method for solving LSSDP via its dual, which can be reformulated as a convex composite minimization problem whose objective is the sum of a coupled quadratic function involving four blocks of variables and two separable non-smooth functions involving only the first and second block, respectively. Our inexact ABCD method has the attractive $O(1/k^2)$ iteration complexity if the subproblems are solved progressively more accurately. The design of our ABCD method relies on recent advances in the symmetric Gauss-Seidel technique for solving a convex minimization problem whose objective is the sum of a multi-block quadratic function and a non-smooth function involving only the first block. Extensive numerical experiments on various classes of over 600 large scale LSSDP problems demonstrate that our proposed ABCD method not only can solve the problems to high accuracy, but it is also far more efficient than (a) the well known BCD (block coordinate descent) method, (b) the eARBCG (an enhanced version of the accelerated randomized block coordinate gradient) method, and (c) the APG (accelerated proximal gradient) method.


title: The origin of defects induced in ultra-pure germanium by Electron Beam Deposition

abstract: The creation of point defects in the crystal lattices of various semiconductors by subthreshold events has been reported on by a number of groups. These observations have been made in great detail using sensitive electrical techniques but there is still much that needs to be clarified. Experiments using Ge and Si were performed that demonstrate that energetic particles, the products of collisions in the electron beam, were responsible for the majority of electron-beam deposition (EBD) induced defects in a two-step energy transfer process. Lowering the number of collisions of these energetic particles with the semiconductor during metal deposition was accomplished using a combination of static shields and superior vacuum resulting in devices with defect concentrations lower than $ 10^{11}\,$cm$^{-3}$, the measurement limit of our deep level transient spectroscopy (DLTS) system. High energy electrons and photons that samples are typically exposed to were not influenced by the shields as most of these particles originate at the metal target thus eliminating these particles as possible damage causing agents. It remains unclear how packets of energy that can sometimes be as small of 2eV travel up to a $\mu$m into the material while still retaining enough energy, that is, in the order of 1eV, to cause changes in the crystal. The manipulation of this defect causing phenomenon may hold the key to developing defect free material for future applications.


title: Infinitely many solutions for a critical Kirchhoff type problem involving a fractional operator

abstract: In this paper we deal with a Kirchhoff type problem driven by a fractional nonlocal integrodifferential operator $-\mathcal L_K$ and involving a critical nonlinearity. For this problem we prove the existence of infinitely many solutions, through a suitable truncation argument and exploiting the genus theory introduced by Krasnoselskii.


title: On the magnitude of a finite dimensional algebra

abstract: There is a general notion of the magnitude of an enriched category, defined subject to hypotheses. In topological and geometric contexts, magnitude is already known to be closely related to classical invariants such as Euler characteristic and dimension. Here we establish its significance in an algebraic context. Specifically, in the representation theory of an associative algebra A, a central role is played by the indecomposable projective A-modules, which form a category enriched in vector spaces. We show that the magnitude of that category is a known homological invariant of the algebra: writing chi_A for the Euler form of A and S for the direct sum of the simple A-modules, it is chi_A(S, S).


title: Low voltage and time constant organic synapse-transistor

abstract: We report on an artificial synapse, an organic synapse-transistor (synapstor) working at 1 volt and with a typical response time in the range 100-200 ms. This device (also called NOMFET, Nanoparticle Organic Memory Field Effect Transistor) combines a memory and a transistor effect in a single device. We demonstrate that short-term plasticity (STP), a typical synaptic behavior, is observed when stimulating the device with input spikes of 1 volt. Both significant facilitating and depressing behaviors of this artificial synapse are observed with a relative amplitude of about 50% and a dynamic response < 200 ms. From a series of in-situ experiments, i.e. measuring the current-voltage characteristic curves in-situ and in real time, during the growth of the pentacene over a network of gold nanoparticles, we elucidate these results by analyzing the relationship between the organic film morphology and the transport properties. This synapstor works at a low energy of about 2 nJ/spike. We discuss the implications of these results for the development of neuro-inspired computing architectures and interfacing with biological neurons.


title: Universal dS vacua in STU-models

abstract: Stable de Sitter solutions in minimal F-term supergravity are known to lie close to Minkowski critical points. We consider a class of STU-models arising from type IIB compactifications with generalised fluxes. There, we apply an analytical method for solving the equations of motion for the moduli fields based on the idea of treating derivatives of the superpotential of different orders up to third as independent objects. In particular, supersymmetric and no-scale Minkowski solutions are singled out by physical reasons. Focusing on the study of dS vacua close to supersymmetric Minkowski points, we are able to elaborate a complete analytical treatment of the mass matrix based on the sGoldstino bound. This leads to a class of interesting universal dS vacua. We finally explore a similar possibility around no-scale Minkowski points and discuss some examples.


title: On the Harmonic and Hyperharmonic Fibonacci Numbers

abstract: In this paper, we study the theory of the harmonic and the hyperharmonic Fibonacci numbers. Also, we get some combinatoric identities like as harmonic and hyperharmonic numbers and we obtain some useful formulas for $\mathbb{F}_{n}$, which is finite sums of reciprocals of Fibonacci numbers. We obtain spectral and Euclidean norms of circulant matrices involving harmonic and hyperharmonic Fibonacci numbers.


title: Observing Strategy for the SDSS-IV/MaNGA IFU Galaxy Survey

abstract: MaNGA (Mapping Nearby Galaxies at Apache Point Observatory) is an integral-field spectroscopic survey of 10,000 nearby galaxies that is one of three core programs in the fourth-generation Sloan Digital Sky Survey (SDSS-IV). MaNGA's 17 pluggable optical fiber-bundle integral field units (IFUs) are deployed across a 3 deg field, they yield spectral coverage 3600-10,300 Ang at a typical resolution R ~ 2000, and sample the sky with 2" diameter fiber apertures with a total bundle fill factor of 56%. Observing over such a large field and range of wavelengths is particularly challenging for obtaining uniform and integral spatial coverage and resolution at all wavelengths and across each entire fiber array. Data quality is affected by the IFU construction technique, chromatic and field differential refraction, the adopted dithering strategy, and many other effects. We use numerical simulations to constrain the hardware design and observing strategy for the survey with the aim of ensuring consistent data quality that meets the survey science requirements while permitting maximum observational flexibility. We find that MaNGA science goals are best achieved with IFUs composed of a regular hexagonal grid of optical fibers with rms displacement of 5 microns or less from their nominal packing position, this goal is met by the MaNGA hardware, which achieves 3 microns rms fiber placement. We further show that MaNGA observations are best obtained in sets of three 15-minute exposures dithered along the vertices of a 1.44 arcsec equilateral triangle, these sets form the minimum observational unit, and are repeated as needed to achieve a combined signal-to-noise ratio of 5 per Angstrom per fiber in the r-band continuum at a surface brightness of 23 AB/arcsec^2. (abbrev.)


title: Robust Real-time Extraction of Fiducial Facial Feature Points using Haar-like Features

abstract: In this paper, we explore methods of robustly extracting fiducial facial feature points - an important process for numerous facial image processing tasks. We consider various methods to first detect face, then facial features and finally salient facial feature points. Colour-based models are analysed and their overall unsuitability for this task is summarised. The bulk of the report is then dedicated to proposing a learning-based method centred on the Viola-Jones algorithm. The specific difficulties and considerations relating to feature point detection are laid out in this context and a novel approach is established to address these issues. On a sequence of clear and unobstructed face images, our proposed system achieves average detection rates of over 90%. Then, using a more varied sample dataset, we identify some possible areas for future development of our system.


title: Entanglement between two qubits one of which interacts with a thermal field

abstract: In this paper, we have investigated the entanglement between two dipole coupled two-level atoms. The model, in which only one atom is trapped in an lossless cavity and interacts with single-mode thermal field, and the other one can be spatially moved freely outside the cavity has been carried out. We have considered the effect of the atomic coherence on the entanglement behavior. We have shown that a thermal field might cause high entanglement between the atoms both for coherent and incoherent initial atomic states only for small values of the cavity mean photon number. In the considered model the atoms would get entangled even when both atoms are initially in the excited state. We have also derived that the degree of entanglement is weakly dependent on the strength of dipole-dipole interaction for coherent initial states.


title: A short survey on nonlinear models of the classic Costas loop: rigorous derivation and limitations of the classic analysis

abstract: Rigorous nonlinear analysis of the physical model of Costas loop --- a classic phase-locked loop (PLL) based circuit for carrier recovery, is a challenging task. Thus for its analysis, simplified mathematical models and numerical simulation are widely used. In this work a short survey on nonlinear models of the BPSK Costas loop, used for pre-design and post-design analysis, is presented. Their rigorous derivation and limitations of classic analysis are discussed. It is shown that the use of simplified mathematical models, and the application of non rigorous methods of analysis (e.g., simulation and linearization) may lead to wrong conclusions concerning the performance of the Costas loop physical model.


title: Quadratic Gr\"obner bases of twinned order polytopes

abstract: Let $P$ and $Q$ be finite partially ordered sets on $[d] = \{1, \ldots, d\}$, and $\mathcal{O}(P) \subset \mathbb{R}^{d}$ and $\mathcal{O}(Q) \subset \mathbb{R}^{d}$ their order polytopes. The twinned order polytope of $P$ and $Q$ is the convex polytope $\Delta(P,-Q) \subset \mathbb{R}^{d}$ which is the convex hull of $\mathcal{O}(P) \cup (- \mathcal{O}(Q))$. It follows that the origin of $\mathbb{R}^{d}$ belongs to the interior of $\Delta(P,-Q)$ if and only if $P$ and $Q$ possess a common linear extension. It will be proved that, when the origin of $\mathbb{R}^{d}$ belongs to the interior of $\Delta(P,-Q)$, the toric ideal of $\Delta(P,-Q)$ possesses a quadratic Gr\"obner basis with respect to a reverse lexicographic order for which the variable corresponding to the origin is smallest. Thus in particular if $P$ and $Q$ possess a common linear extension, then the twinned order polytope $\Delta(P,-Q)$ is a normal Gorenstein Fano polytope.


title: Annihilation of the scalar pair into a photon on de Sitter spacetime

abstract: The annihilation of massive scalar particles in one photon on de Sitter expanding universe is studied, using perturbation theory. The amplitude and probability corresponding to this process is computed using the exact solutions of the Klein-Gordon and Maxwell equations on de Sitter geometry. Our results show that the expression of the total probability of photon emission is a function dependent on the ratio mass/expansion\, factor. We perform a graphical study of the total probability in terms of the parameter mass/expansion factor, showing that this effect is significant only in strong gravitational fields. We also obtain that the total probability for this process vanishes in the Minkowski limit.


title: Non-Arrhenius conduction due to the interface-trap-induced disorder in X-doped amorphous InXZnO thin-film transistors

abstract: Thin film transistors, with channels composed of In-X-Zn oxides, IXZO, with X dopants: Ga, Sb, Be, Mg, Ag, Ca, Al, Ni, and Cu, were fabricated and their I-V characteristics were taken at selected temperatures in the 77K<T<300K range. The low field mobility, mu, and the interface defect density, Nst were extracted from the characteristics for each of the studied IXZOs. At higher T the mobility follows the Arrhenius law with an upward distortion, increasing as T was lowered, gradually transforming into the exp [-(T0/T)1/4] variation. We showed that mu(T, Nst) follows mu0exp[-Eaeff(T,Nst)/kT], with T-dependent effective activation energy Eaeff(T, Nst) accounts for the data, revealing a linear correlation between Eaeff and Nst at higher T. Temperature variation of Eaeff(T, Nst) was evaluated using a model assuming a random distribution of conduction mobility edge Ec values in the oxides, stemming from spatial fluctuations induced by disorder in the interface traps distribution. For a Gaussian distribution of Ec, the activation energy Eaeff(T, Nst) varies linearly with 1/T, which accounts satisfactorily for the data obtained on all the studied IXZOs. The model also shows that Eaeff(T, Nst) is a linear function of Nst at a fixed T, which explains the exponential decrease of mu with NST.


title: Exact confidence intervals of the extended Orey index for Gaussian processes

abstract: In this paper exact confidence intervals for the Orey index of Gaussian processes are obtained using concentration inequalities for Gaussian quadratic forms and discrete observations of the underlying process. The obtained result is applied to Gaussian processes with the Orey index which not necessarily have stationary increments.


title: Unuploaded experiments have no result

abstract: The aim of this note is to attract once again attention of the quantum community to statistical analysis of data which was reported as violating Bell's inequality. This analysis suffers of a number of problems. And the main problem is that rough data is practically unavailable. However, experiments which are not followed by the open access to the rough data have to be considered as with no result. The absence of rough data generates a variety of problems in statistical interpretation of the results of Bell's type experiment. One may hope that this note would stimulate experimenters to create the open access data-base for, e.g., Bell tests. Unfortunately, recently announced experimental loophole-free violation of a Bell inequality using entangled electron spins separated by 1.3 km was not supported by open-access data. Therefore in accordance with our approach "it has no result." The promising data after publication is, of course, a step towards fair analysis quantum experiments. May be this is a consequence of appearance of this preprint, v1. But there are a few questions which would be interesting to clarify before publication (and which we shall discuss in this note).


title: FI-modules and the cohomology of modular representations of symmetric groups

abstract: An FI-module $V$ over a commutative ring $\bf{k}$ encodes a sequence $(V_n)_{n \geq 0}$ of representations of the symmetric groups $(\mathfrak{S}_n)_{n \geq 0}$ over $\bf{k}$. In this paper, we show that for a "finitely generated" FI-module $V$ over a field of characteristic $p$, the cohomology groups $H^t(\mathfrak{S}_n, V_n)$ are eventually periodic in $n$. We describe a recursive way to calculate the period and the periodicity range and show that the period is always a power of $p$. As an application, we show that if $\mathcal{M}$ is a compact, connected, oriented manifold of dimension $\geq 2$ and $\mathit{conf}_n(\mathcal{M})$ is the configuration space of unordered $n$-tuples of distinct points in $\mathcal{M}$ then the mod-$p$ cohomology groups $H^{t}(\mathit{conf}_n(\mathcal{M}),\bf{k})$ are eventually periodic in $n$ with period a power of $p$.


title: BACOM2: a Java tool for detecting normal cell contamination of copy number in heterogeneous tumor

abstract: We develop a cross-platform open-source Java application (BACOM2) with graphic user interface (GUI), and users also can use a XML file to set the parameters of algorithm model, file paths and the dataset of paired samples. BACOM2 implements the new entire pipeline of copy number change analysis for heterogeneous cancer tissues, including extraction of raw copy number signals from CEL files of paired samples, attenuation correction, identification of balanced AB-genotype loci, copy number detection and segmentation, global baseline calculation and absolute normalization, differentiation of deletion types, estimation of the normal tissue fraction and correction of normal tissue contamination. BACOM2 focuses on the common tools for data preparation and absolute normalization for copy number analysis of heterogeneous cancer tissues. The software provides an additional choice for scientists who require a user-friendly, high-speed processing, cross-platform computing environment for large copy number data analysis.


title: Neutrino mixing matrix and masses from a generalized Friedberg-Lee model

abstract: The overall characteristics of the solar and atmospheric neutrino oscillation are approximately consistent with a tribimaximal form of the mixing matrix $U$ of the lepton sector. Exact tribimaximal mixing leads to $\theta_{13}=0$. However, recent results from Daya Bay and RENO experiments have established a nonzero value for $\theta_{13}$. Keeping the leading behavior of $U$ as tribimaximal, we use a generalized Fridberg-Lee neutrino mass model along with a complementary ansatz to incorporate a nonzero $\theta_{13}$ along with CP violation. We generalize this model in two stages: In the first stage we assume $\mu-\tau$ symmetry and add imaginary components which leads to nonzero phases. In the second stage we add a perturbation with real components which breaks the $\mu-\tau$ symmetry and this leads to a nonzero value for $\theta_{13}$. The combination of these two generalizations leads to CP violation. Using only two of the experimental data, we can fix all of the parameters of our model and predict not only values for the other experimental data, which agree well with the available data, but also the masses of neutrinos and the CP violating phases and parameters. These predictions include the following: $\langle m_{\nu_e} \rangle\approx(0.033-0.037)~eV$, $\langle m_{\nu_\mu} \rangle\approx(0.043-0.048)~ eV$, $\langle m_{\nu_\tau} \rangle\approx(0.046-0.051)~ eV$, and $59.21^{\circ}\lesssim \delta\lesssim 59.34^{\circ}$


title: Influence of Molecular Organization on the Electrical Characteristics of {\pi}-conjugated Self-assembled Monolayers

abstract: Two new thiol compounds with {\sigma}-{\pi}-{\sigma} structure were synthesized and self-assembled on gold substrates. The morphology and the structural characterization of SAMs assessed by infrared spectroscopy, contact angle, XPS, electrochemistry and scanning tunneling microscopy (STM) show the formation of monolayers. SAMs with a terthiophene (3TSH) core as conjugated system are much better organized compared to those with a naphthalene carbodiimide (NaphSH) core as demonstrated by the cyclic voltammetry and STM studies. The surface concentration of 3TSH and NaphSH is respectively three and six times lower than ordered SAMs of pure alkyl chains. A large number of I/V characteristics have been studied either by STS measurements on gold substrates or by C-AFM on gold nanodots. Transition Voltage Spectroscopy (TVS) was used to clearly identify the transport in these partially organized monolayers. The chemical nature of the conjugated system, donor for 3TSH and acceptor for NaphSH, involves an opposite rectification associated to the asymmetrical coupling of the molecular orbitals and the electrodes. The conductance histograms show that the 3TSH junctions are less dispersed than those of NaphSH junctions. This is explained by a better control of the molecular organization in the molecular junctions.


title: Models of free quantum field theories on curved backgrounds

abstract: Free quantum field theories on curved backgrounds are discussed via three explicit examples: the real scalar field, the Dirac field and the Proca field. The first step consists of outlining the main properties of globally hyperbolic spacetimes, that is the class of manifolds on which the classical dynamics of all physically relevant free fields can be written in terms of a Cauchy problem. The set of all smooth solutions of the latter encompasses the dynamically allowed configurations which are used to identify via a suitable pairing a collection of classical observables. As a last step we use such collection to construct a $*$-algebra which encodes the information on the dynamics and on the canonical commutation or anti-commutation relations depending whether the underlying field is a Fermion or a Boson.


title: Nuclear velocity perturbation theory for vibrational circular dichroism: An approach based on the exact factorization of the electron-nuclear wave function

abstract: The nuclear velocity perturbation theory (NVPT) for vibrational circular dichroism (VCD) is derived from the exact factorization of the electron-nuclear wave function. This new formalism offers an exact starting point to include correction terms to the Born-Oppenheimer (BO) form of the molecular wave function, similarly to the complete-adiabatic approximation. The corrections depend on a small parameter that, in a classical treatment of the nuclei, is identified as the nuclear velocity. Apart from proposing a rigorous basis for the NVPT, we show that the rotational strengths, related to the intensity of the VCD signal, contain a new contribution beyond-BO that can be evaluated with the NVPT and that only arises when the exact factorization approach is employed. Numerical results are presented for chiral and non-chiral systems to test the validity of the approach.


title: A Graph Theoretical Analysis of the Number of Edges in k-dense Graphs

abstract: Due to the increasing discovery and implementation of networks within all disciplines of life, the study of subgraph connectivity has become increasingly important. Motivated by the idea of community (or sub-graph) detection within a network/graph, we focused on finding characterizations of k-dense communities. For each edge $uv\in E(G)$, the {\bf edge multiplicity} of $uv$ in $G$ is given by $m_G(uv)=|N_{G}(u)\cap N_{G}(v)|.$ For an integer $k$ with $k\ge 2$, a {\bf $k$-dense community} of a graph $G$, denoted by $DC_k(G)$, is a maximal connected subgraph of $G$ induced by the vertex set $$V_{DC_k(G)} = \{v\in V(G) : \exists u\in V(G)\ {\rm such\ that\} uv\in E(G)\ {\rm and\} m_{DC_{k(G)}}(uv)\ge k-2\}.$$ In this research, we characterize which graphs are $k$-dense but not $(k+1)$-dense for some values of $k$ and study the minimum and maximum number of edges such graphs can have. A better understanding of $k$-dense sub-graphs (or communities) helps in the study of the connectivity of large complex graphs (or networks) in the real world.


title: Dynamics of a macroscopic spin qubit in spin-orbit coupled Bose-Einstein condensates

abstract: We consider a macroscopic spin qubit based on spin-orbit coupled Bose-Einstein condensates, where, in addition to the spin-orbit coupling, spin dynamics strongly depends on the interaction between particles. The evolution of the spin for freely expanding, trapped, and externally driven condensates is investigated. For condensates oscillating at the frequency corresponding to the Zeeman splitting in the synthetic magnetic field, the spin Rabi frequency does not depend on the interaction between the atoms since it produces only internal forces and does not change the total momentum. However, interactions and spin-orbit coupling bring the system into a mixed spin state, where the total spin is inside rather than on the Bloch sphere. This greatly extends the available spin space making it three-dimensional, but imposes limitations on the reliable spin manipulation of such a macroscopic qubit. The spin dynamics can be modified by introducing suitable spin-dependent initial phases, determined by the spin-orbit coupling, in the spinor wave function.


title: Change Points via Probabilistically Pruned Objectives

abstract: The concept of homogeneity plays a critical role in statistics, both in its applications as well as its theory. Change point analysis is a statistical tool that aims to attain homogeneity within time series data. This is accomplished through partitioning the time series into a number of contiguous homogeneous segments. The applications of such techniques range from identifying chromosome alterations to solar flare detection. In this manuscript we present a general purpose search algorithm called cp3o that can be used to identify change points in multivariate time series. This new search procedure can be applied with a large class of goodness of fit measures. Additionally, a reduction in the computational time needed to identify change points is accomplish by means of probabilistic pruning. With mild assumptions about the goodness of fit measure this new search algorithm is shown to generate consistent estimates for both the number of change points and their locations, even when the number of change points increases with the time series length. A change point algorithm that incorporates the cp3o search algorithm and E-Statistics, e-cp3o, is also presented. The only distributional assumption that the e-cp3o procedure makes is that the absolute $\alpha$th moment exists, for some $\alpha\in(0,2)$. Due to this mild restriction, the e-cp3o procedure can be applied to a majority of change point problems. Furthermore, even with such a mild restriction, the e-cp3o procedure has the ability to detect any type of distributional change within a time series. Simulation studies are used to compare the e-cp3o procedure to other parametric and nonparametric change point procedures, we highlight applications of e-cp3o to climate and financial datasets.


title: Editorial Comment on the Special Issue of "Information in Dynamical Systems and Complex Systems"

abstract: This special issue collects contributions from the participants of the "Information in Dynamical Systems and Complex Systems" workshop, which cover a wide range of important problems and new approaches that lie in the intersection of information theory and dynamical systems. The contributions include theoretical characterization and understanding of the different types of information flow and causality in general stochastic processes, inference and identification of coupling structure and parameters of system dynamics, rigorous coarse-grain modeling of network dynamical systems, and exact statistical testing of fundamental information-theoretic quantities such as the mutual information. The collective efforts reported herein reflect a modern perspective of the intimate connection between dynamical systems and information flow, leading to the promise of better understanding and modeling of natural complex systems and better/optimal design of engineering systems.


title: Orthocomplete Pseudo MV-algebras

abstract: Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use the concepts of projectable pseudo $MV$-algebras and large pseudo $MV$-subalgebras to introduce orthocomplete pseudo $MV$-algebras. Then we apply a generalization of the Mundici's functor to an orthocompletion of an representable $\ell$-group to prove that each representable pseudo $MV$-algebra has an orthocompletion. In particular, our results are valid also for $MV$-algebras.


title: Detecting structural breaks in seasonal time series by regularized optimization

abstract: Real-world systems are often complex, dynamic, and nonlinear. Understanding the dynamics of a system from its observed time series is key to the prediction and control of the system's behavior. While most existing techniques tacitly assume some form of stationarity or continuity, abrupt changes, which are often due to external disturbances or sudden changes in the intrinsic dynamics, are common in time series. Structural breaks, which are time points at which the statistical patterns of a time series change, pose considerable challenges to data analysis. Without identification of such break points, the same dynamic rule would be applied to the whole period of observation, whereas false identification of structural breaks may lead to overfitting. In this paper, we cast the problem of decomposing a time series into its trend and seasonal components as an optimization problem. This problem is ill-posed due to the arbitrariness in the number of parameters. To overcome this difficulty, we propose the addition of a penalty function (i.e., a regularization term) that accounts for the number of parameters. Our approach simultaneously identifies seasonality and trend without the need of iterations, and allows the reliable detection of structural breaks. The method is applied to recorded data on fish populations and sea surface temperature, where it detects structural breaks that would have been neglected otherwise. This suggests that our method can lead to a general approach for the monitoring, prediction, and prevention of structural changes in real systems.


title: Search for production of vector-like quark pairs and of four top quarks in the lepton-plus-jets final state in $pp$ collisions at $\sqrt{s}=8$ TeV with the ATLAS detector

abstract: A search for pair production of vector-like quarks, both up-type ($T$) and down-type ($B$), as well as for four-top-quark production, is presented. The search is based on $pp$ collisions at $\sqrt{s}=8$ TeV recorded in 2012 with the ATLAS detector at the CERN Large Hadron Collider and corresponding to an integrated luminosity of 20.3 fb$^{-1}$. Data are analysed in the lepton-plus-jets final state, characterised by an isolated electron or muon with high transverse momentum, large missing transverse momentum and multiple jets. Dedicated analyses are performed targeting three cases: a $T$ quark with significant branching ratio to a $W$ boson and a $b$-quark ($T\bar{T} \to Wb$+X), and both a $T$ quark and a $B$ quark with significant branching ratio to a Higgs boson and a third-generation quark ($T\bar{T} \to Ht$+X and $B\bar{B} \to Hb$+X respectively). No significant excess of events above the Standard Model expectation is observed, and 95% CL lower limits are derived on the masses of the vector-like $T$ and $B$ quarks under several branching ratio hypotheses assuming contributions from $T \to Wb$, $Zt$, $Ht$ and $B \to Wt$, $Zb$, $Hb$ decays. The 95% CL observed lower limits on the $T$ quark mass range between 715 GeV and 950 GeV for all possible values of the branching ratios into the three decay modes, and are the most stringent constraints to date. Additionally, the most restrictive upper bounds on four-top-quark production are set in a number of new physics scenarios.


title: Ergodic Diffusion Control of Multiclass Multi-Pool Networks in the Halfin-Whitt Regime

abstract: We consider Markovian multiclass multi-pool networks with heterogeneous server pools, each consisting of many statistically identical parallel servers, where the bipartite graph of customer classes and server pools forms a tree. Customers form their own queue and are served in the first-come first-served discipline, and can abandon while waiting in queue. Service rates are both class and pool dependent. The objective is to study the limiting diffusion control problems under the long run average (ergodic) cost criteria in the Halfin--Whitt regime. Two formulations of ergodic diffusion control problems are considered: (i) both queueing and idleness costs are minimized, and (ii) only the queueing cost is minimized while a constraint is imposed upon the idleness of all server pools. We develop a recursive leaf elimination algorithm that enables us to obtain an explicit representation of the drift for the controlled diffusions. Consequently, we show that for the limiting controlled diffusions, there always exists a stationary Markov control under which the diffusion process is geometrically ergodic. The framework developed in our earlier work is extended to address a broad class of ergodic diffusion control problems with constraints. We show that that the unconstrained and constrained problems are well posed, and we characterize the optimal stationary Markov controls via HJB equations.


title: Time vs. Information Tradeoffs for Leader Election in Anonymous Trees

abstract: The leader election task calls for all nodes of a network to agree on a single node. If the nodes of the network are anonymous, the task of leader election is formulated as follows: every node $v$ of the network must output a simple path, coded as a sequence of port numbers, such that all these paths end at a common node, the leader. In this paper, we study deterministic leader election in anonymous trees. Our aim is to establish tradeoffs between the allocated time $\tau$ and the amount of information that has to be given $\textit{a priori}$ to the nodes to enable leader election in time $\tau$ in all trees for which leader election in this time is at all possible. Following the framework of $\textit{algorithms with advice}$, this information (a single binary string) is provided to all nodes at the start by an oracle knowing the entire tree. The length of this string is called the $\textit{size of advice}$. For an allocated time $\tau$, we give upper and lower bounds on the minimum size of advice sufficient to perform leader election in time $\tau$. We consider $n$-node trees of diameter $diam \leq D$. While leader election in time $diam$ can be performed without any advice, for time $diam-1$ we give tight upper and lower bounds of $\Theta (\log D)$. For time $diam-2$ we give tight upper and lower bounds of $\Theta (\log D)$ for even values of $diam$, and tight upper and lower bounds of $\Theta (\log n)$ for odd values of $diam$. For the time interval $[\beta \cdot diam, diam-3]$ for constant $\beta >1/2$, we prove an upper bound of $O(\frac{n\log n}{D})$ and a lower bound of $\Omega(\frac{n}{D})$, the latter being valid whenever $diam$ is odd or when the time is at most $diam-4$. Finally, for time $\alpha \cdot diam$ for any constant $\alpha <1/2$ (except for the case of very small diameters), we give tight upper and lower bounds of $\Theta (n)$.


title: Decompositions of highly connected graphs into paths of length five

abstract: We study the Decomposition Conjecture posed by Bar\'at and Thomassen (2006), which states that for every tree $T$ there exists a natural number $k_T$ such that, if $G$ is a $k_T$-edge-connected graph and $|E(T)|$ divides $|E(G)|$, then $G$ admits a decomposition into copies of $T$. In a series of papers, Thomassen verified this conjecture for stars, some bistars, paths of length $3$, and paths whose length is a power of $2$. We verify the Decomposition Conjecture for paths of length $5$.


title: Adsorption-induced surface normal relaxation of a solid adsorbent

abstract: We investigate adsorption of a gas on the flat surface of a solid deformable adsorbent taking into account thermal fluctuations and analyze in detail the effect of thermal fluctuations on the adsorbent deformation in adsorption. The condition for coexistence of two states of a bistable system of adsorbed particles is derived. We establish the specific properties of the adsorption-induced surface normal relaxation of an adsorbent caused by thermal fluctuations. The mean transition times between two stable states of the bistable system are derived in the parabolic approximation and in the general case.


title: On Brown-York mass and compactly conformal deformations of scalar curvature

abstract: In this article, we found a connection between Brown-York mass and the first Dirichlet Eigenvalue of a Schr\"odingier type operator. In particular, we proved a local positive mass type theorem for metrics conformal to the background one with suitable presumptions. As applications, we investigated compactly conformal deformations which either increase or decrease scalar curvature. We found local conformal rigidity phenomena occur in both cases for small domains and as for manifolds with nonpositive scalar curvature it is even more rigid in particular. On the other hand, such deformations exist for closed manifolds with positive scalar curvature. We also constructed such kind of deformations on a type of product manifolds that either increase or decrease their scalar curvature compactly and conformally. These results together answered a natural question arises in \cite{Corvino, Lohkamp}.


title: The Origin of Families and $SO(18)$ Grand Unification

abstract: We exploit a recent advance in the study of topological superconductors to propose a solution to the family puzzle of particle physics in the context of SO(18) (or more correctly, Spin(18)) grand unification. We argue that Yukawa couplings of intermediate strength may allow the mirror matter and extra families to decouple at arbitrarily high energies. As was clear from the existing literature, we have to go beyond the Higgs mechanism in order to solve the family puzzle. A pattern of symmetry breaking which results in the SU(5) grand unified theory with horizontal or family symmetry USp(4) = Spin(5) (or more loosely, SO(5)) leaves exactly three light families of matter and seems particularly appealing. We comment briefly on an alternative scheme involving discrete non-abelian family symmetries. In a few lengthy appendices we review some of the pertinent condensed matter theory.


title: A type-theoretical approach to Universal Grammar

abstract: The idea of Universal Grammar (UG) as the hypothetical linguistic structure shared by all human languages harkens back at least to the 13th century. The best known modern elaborations of the idea are due to Chomsky. Following a devastating critique from theoretical, typological and field linguistics, these elaborations, the idea of UG itself and the more general idea of language universals stand untenable and are largely abandoned. The proposal tackles the hypothetical contents of UG using dependent and polymorphic type theory in a framework very different from the Chomskyan ones. We introduce a type logic for a precise, universal and parsimonious representation of natural language morphosyntax and compositional semantics. The logic handles grammatical ambiguity (with polymorphic types), selectional restrictions and diverse kinds of anaphora (with dependent types), and features a partly universal set of morphosyntactic types (by the Curry-Howard isomorphism).


title: Analysis of the Time Structure of Synchronization in Multidimensional Chaotic Systems

abstract: A new approach is proposed to the integrated analysis of the time structure of synchronization of multidimensional chaotic systems. The method allows one to diagnose and quantitatively evaluate the intermittency characteristics during synchronization of chaotic oscillations in the T-synchronization mode. A system of two identical logistic mappings with unidirectional coupling that operate in the developed chaos regime is analyzed. It is shown that the widely used approach, in which only synchronization patterns are subjected to analysis while desynchronization areas are considered as a background signal and removed from analysis, should be considered as methodologically incomplete.


title: A Second-Order Method for Convex $\ell_1$-Regularized Optimization with Active Set Prediction

abstract: We describe an active-set method for the minimization of an objective function $\phi$ that is the sum of a smooth convex function and an $\ell_1$-regularization term. A distinctive feature of the method is the way in which active-set identification and {second-order} subspace minimization steps are integrated to combine the predictive power of the two approaches. At every iteration, the algorithm selects a candidate set of free and fixed variables, performs an (inexact) subspace phase, and then assesses the quality of the new active set. If it is not judged to be acceptable, then the set of free variables is restricted and a new active-set prediction is made. We establish global convergence for our approach, and compare the new method against the state-of-the-art code LIBLINEAR.


title: Heavy flavor suppression predictions at 5.1 TeV Pb+Pb collisions at LHC

abstract: High momentum hadron suppression is considered to be an excellent probe of jet-medium interactions in QCD matter created in ultra-relativistic heavy ion collisions. We previously showed that our dynamical energy loss formalism can accurately explain suppression measurements at 200 GeV Au+Au collisions at RHIC and 2.76 TeV Pb+Pb collisions at the LHC. With the upcoming LHC measurements at notably higher collision energies, there is a question of what differences, with respect to the current (2.76 TeV) measurements, can be expected. In this paper we concentrate on heavy flavor suppression at the upcoming 5.1 TeV Pb+Pb collisions energy at the LHC. Naively, one would expect a notably ($\sim 30\%$) larger suppression at 5.1 TeV collision energy, due to estimated (significant) energy loss increase when transitioning from 2.76 to 5.1 TeV. Surprisingly, more detailed calculations predict nearly the same suppression results at these two energies. We show that this unexpected result is due to an interplay of the following two effects, which essentially cancel each other: i) flattening of the initial distributions with increasing collision energies, and ii) significantly slower than naively expected increase in the energy loss. Therefore, the obtained nearly the same suppression provides a clear (qualitative and quantitative) test of our energy loss formalism.


title: The GLENDAMA Database

abstract: This is the first version (v1) of the Gravitational LENses and DArk MAtter (GLENDAMA) database accessible at http://grupos.unican.es/glendama/database The new database contains more than 6000 ready-to-use (processed) astronomical frames corresponding to 15 objects that fall into three classes: (1) lensed QSO (8 objects), (2) binary QSO (3 objects), and (3) accretion-dominated radio-loud QSO (4 objects). Data are also divided into two categories: freely available and available upon request. The second category includes observations related to our yet unpublished analyses. Although this v1 of the GLENDAMA archive incorporates an X-ray monitoring campaign for a lensed QSO in 2010, the rest of frames (imaging, polarimetry and spectroscopy) were taken with NUV, visible and NIR facilities over the period 1999-2014. The monitorings and follow-up observations of lensed QSOs are key tools for discussing the accretion flow in distant QSOs, the redshift and structure of intervening (lensing) galaxies, and the physical properties of the Universe as a whole.


title: An a posteriori analysis of some inconsistent, nonconforming Galerkin methods approximating elliptic problems

abstract: In this work we present an a posteriori analysis for classes of inconsistent, nonconforming schemes approximating elliptic problems. We show the estimates coincide with existing ones for interior penalty type discontinuous Galerkin approximations of the Laplacian and give new estimates for inconsistent discontinuous Galerkin approximation schemes of elliptic problems under quadrature approximation. We also examine the effect of inconsistencies on the a posteriori analysis of schemes applied to an unbalanced problem.


title: Population counts along elliptical habitat contours: hierarchical modelling using Poisson-lognormal mixtures with nonstationary spatial structure

abstract: Ecologists often interpret variation in the spatial distribution of populations in terms of responses to environmental features, but disentangling the effects of individual variables can be difficult if latent effects and spatial and temporal correlations are not accounted for properly. Here, we use hierarchical models based on a Poisson log-normal mixture to understand the spatial variation in relative abundance (counts per standardized unit of effort) of yellow perch, Perca flavescens, the most abundant fish species in Lake Saint Pierre, Quebec, Canada. The mixture incorporates spatially varying environmental covariates that represent local habitat characteristics, and random temporal and spatial effects that capture the effects of unobserved ecological processes. The sampling design covers the margins but not the central region of the lake. We fit spatial generalized linear mixed models based on three different prior covariance structures for the local latent effects: a single Gaussian process (GP) over the lake, a GP over a circle, and independent GP for each shore. The models allow for independence, isotropy, or nonstationary spatial effects. Nonstationarity is dealt with using two different approaches, geometric anisotropy, and the inclusion of covariates in the correlation structure of the latent spatial process. The proposed approaches for specification of spatial domain and choice of Gaussian process priors may prove useful in other applications that involve spatial correlation along an irregular contour or in discontinous spatial domains.


title: Three-Loop Neutrino Mass Models at Colliders

abstract: In this work, we report on recent analyses of a class of models that generate neutrino mass at the three-loop level. We argue that these models offer a viable solution to both the neutrino mass and dark matter problems, without being in conflict with experimental constraints from, e.g. lepton flavor violating processes and the muon anomalous magnetic moment. Furthermore, we describe observable experimental signals predicted by the models and show that they have common signatures that can be probed at both the LHC and ILC.


title: Sequential Bayesian inference for implicit hidden Markov models and current limitations

abstract: Hidden Markov models can describe time series arising in various fields of science, by treating the data as noisy measurements of an arbitrarily complex Markov process. Sequential Monte Carlo (SMC) methods have become standard tools to estimate the hidden Markov process given the observations and a fixed parameter value. We review some of the recent developments allowing the inclusion of parameter uncertainty as well as model uncertainty. The shortcomings of the currently available methodology are emphasised from an algorithmic complexity perspective. The statistical objects of interest for time series analysis are illustrated on a toy "Lotka-Volterra" model used in population ecology. Some open challenges are discussed regarding the scalability of the reviewed methodology to longer time series, higher-dimensional state spaces and more flexible models.


title: On the growth of von Neumann dimension of harmonic spaces of semipositive line bundles over covering manifolds

abstract: We study the harmonic space of line bundle valued forms over a covering manifold with a discrete group action $\Gamma$, and obtain an asymptotic estimate for the $\Gamma$-dimension of the harmonic space with respect to the tensor times $k$ in the holomorphic line bundle $L^{k}\otimes E$ and the type $(n,q)$ of the differential form, when $L$ is semipositive. In particular, we estimate the $\Gamma$-dimension of the corresponding reduced $L^2$-Dolbeault cohomology group. Essentially, we obtain a local estimate of the pointwise norm of harmonic forms with valued in semipositive line bundles over Hermitian manifolds.


title: On the Chow ring of the Hurwitz space of degree three covers of ${\bf P}^{1}$

abstract: We determine that the Chow ring (with ${\bf Q}$-coefficients) of the Hurwitz space parametrizing degree three covers of ${\bf P}^{1}$ is tautological. We also compute the rational Picard groups of auxiliary spaces of degree three maps with special marked points.


title: Elaboration in Dependent Type Theory

abstract: To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean's elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved.


title: Relation Functions Evaluated from Unique Coefficient Patterns

abstract: In this paper, we study polynomials of the form $f(x)=(x^n+x^{n-1}+...+1)^l$ for $l=1,2,3,4$ to generate a pattern titled "unique coefficient pattern". Namely, we analyze each unique coefficient patterns of $f(x)$ and generate functions titled "relation functions". The approach that we follow will allow us to evaluate desired coefficients for such polynomial expansions by simply using these relation functions.


title: Quantum stochastic processes in two dimensional space-time

abstract: Several stochastic processes with virtual particles in two dimensional space-time are presented whose mean field equations coincide with Schr\"odinger, Dirac, Klein-Gordon and the quantum mechanic equation for a photon. These processes could be used to detect discrete space-time features at the Planck scale.


title: The Galactic Branches as a Possible Evidence for Transient Spiral Arms

abstract: With the use of a background Milky-Way-like potential model, we performed stellar orbital and magnetohydrodynamic (MHD) simulations. As a first experiment, we studied the gaseous response to a bisymmetric spiral arm potential: the widely employed cosine potential model and a self-gravitating tridimensional density distribution based model called PERLAS. Important differences are noticeable in these simulations, while the simplified cosine potential produces two spiral arms for all cases, the more realistic density based model produces a response of four spiral arms on the gaseous disk, except for weak arms -i.e. close to the linear regime- where a two-armed structure is formed. In order to compare the stellar and gas response to the spiral arms, we have also included a detailed periodic orbit study and explored different structural parameters within observational uncertainties. The four armed response has been explained as the result of ultra harmonic resonances, or as shocks with the massive bisymmetric spiral structure, among other. From the results of this work, and comparing the stellar and gaseous responses, we tracked down an alternative explanation to the formation of branches, based only on the orbital response to a self-gravitating spiral arms model. The presence of features such as branches, might be an indication of transiency of the arms.


title: Probing Hypergiant Mass Loss with Adaptive Optics Imaging & Polarimetry in the Infrared: MMT-Pol and LMIRCam observations of IRC +10420 & VY Canis Majoris

abstract: We present 2 - 5 micron adaptive optics (AO) imaging and polarimetry of the famous hypergiant stars IRC +10420 and VY Canis Majoris. The imaging polarimetry of IRC +10420 with MMT-Pol at 2.2 micron resolves nebular emission with intrinsic polarization of 30%, with a high surface brightness indicating optically thick scattering. The relatively uniform distribution of this polarized emission both radially and azimuthally around the star confirms previous studies that place the scattering dust largely in the plane of the sky. Using constraints on scattered light consistent with the polarimetry at 2.2 micron, extrapolation to wavelengths in the 3 - 5 micron band predicts a scattered light component significantly below the nebular flux that is observed in our LBT/LMIRCam 3 - 5 micron AO imaging. Under the assumption this excess emission is thermal, we find a color temperature of ~ 500 K is required, well in excess of the emissivity-modified equilibrium temperature for typical astrophysical dust. The nebular features of VY CMa are found to be highly polarized (up to 60%) at 1.3 micron, again with optically thick scattering required to reproduce the observed surface brightness. This star's peculiar nebular feature dubbed the "Southwest Clump" is clearly detected in the 3.1 micron polarimetry as well, which, unlike IRC+10420, is consistent with scattered light alone. The high intrinsic polarizations of both hypergiants' nebulae are compatible with optically thick scattering for typical dust around evolved dusty stars, where the depolarizing effect of multiple scatters is mitigated by the grains' low albedos.


title: The origin of long-lived asteroids in the 2:1 mean-motion resonance with Jupiter

abstract: The 2:1 mean-motion resonance with Jupiter harbours two distinct groups of asteroids. The short-lived population is known to be a transient group sustained in steady state by the Yarkovsky semimajor axis drift. The long-lived asteroids, however, can exhibit dynamical lifetimes comparable to $4\,\mathrm{Gyr}$. They reside near two isolated islands of the phase space denoted $\mathrm{A}$ and $\mathrm{B}$, with an uneven population ratio $\mathrm{B}/\mathrm{A} \simeq 10$. The orbits of $\mathrm{A}$-island asteroids are predominantly highly inclined, compared to island $\mathrm{B}$. The size-frequency distribution is steep but the orbital distribution lacks any evidence of a collisional cluster. These observational constraints are somewhat puzzling and therefore the origin of the long-lived asteroids has not been explained so far. With the aim to provide a viable explanation, we first update the resonant population and revisit its physical properties. Using an $N$-body model with seven planets and the Yarkovsky effect included, we demonstrate that the dynamical depletion of island $\mathrm{A}$ is faster, in comparison with island $\mathrm{B}$. Then we investigate (i) the survivability of primordial resonant asteroids and (ii) capture of the population during planetary migration, following a recently described scenario with an escaping fifth giant planet and a jumping-Jupiter instability. We also model the collisional evolution of the resonant population over past $4\,\mathrm{Gyr}$. Our conclusion is that the long-lived group was created by resonant capture from a narrow part of hypothetical outer main-belt family during planetary migration. Primordial asteroids surviving the migration were probably not numerous enough to substantially contribute to the observed population.


title: Reversible monadic computing

abstract: We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius monads model the appropriate notion of coherence between the dagger and closure by reinforcing Cayley's theorem; by proving that effectful computations (Kleisli morphisms) are reversible precisely when the monad is Frobenius; by characterizing the largest reversible subcategory of Eilenberg-Moore algebras; and by identifying the latter algebras as measurements in our leading example of quantum computing. Strong Frobenius monads are characterized internally by Frobenius monoids.


title: In the Life Insurance Business Risky Investments are Dangerous

abstract: We investigate models of the life annuity insurance when the company invests its reserve into a risky asset with price following a geometric Brownian motion. Our main result is an exact asymptotic of the ruin probabilities for the case of exponentially distributed benefits. As in the case of non-life insurance with exponential claims, the ruin probabilities are either decreasing with a rate given by a power function (the case of small volatility) or equal to unit identically (the case of large volatility). The result allows us to quantify the share of reserve to invest into such a risky asset to avoid a catastrophic outcome: the ruin with probability one. We address also the question of smoothness of the ruin probabilities as a function of the initial reserve for generally distributed jumps.


title: An Updated Wing TiO Sensitive Index for Classification of M-Type Stars

abstract: By careful searching of synthetic and observed spectra in a sample of cool giant and supergiant stars, we have updated the continuum band-passes of near-infrared Wing three filter system. This photometric system measures the strength of Titanium Oxide (TiO) absorption in Near-Infrared (NIR) at 719 nm. We show that new reference continuum band-passes are essentially free from molecular absorptions and the updated TiO-index defines the temperature variation in a sample of cool giants with less scatter. A TiO-index vs. effective temperature calibration is derived based on new continuum band-passes.


title: Imaging and Spectroscopic Observations of a Transient Coronal Loop: Evidence for the Non-Maxwellian $\kappa$-Distributions

abstract: We report on the SDO/AIA and Hinode/EIS observations of a transient coronal loop. The loop brightens up in the same location after the disappearance of an arcade formed during a B8.9-class microflare three hours earlier. EIS captures this loop during its brightening phase as observed in most of the AIA filters. We use the AIA data to study the evolution of the loop, as well as to perform the DEM diagnostics as a function of $\kappa$. Fe XI--XIII lines observed by EIS are used to perform the diagnostics of electron density and subsequently the diagnostics of $\kappa$. Using ratios involving the Fe XI 257.772\AA selfblend, we diagnose $\kappa$ $\lesssim$ 2, i.e., an extremely non-Maxwellian distribution. Using the predicted Fe line intensities derived from the DEMs as a function of $\kappa$, we show that, with decreasing $\kappa$, all combinations of ratios of line intensities converge to the observed values, confirming the diagnosed $\kappa$ $\lesssim$ 2. These results represent the first positive diagnostics of $\kappa$-distributions in the solar corona despite the limitations imposed by calibration uncertainties.


title: The Curse of Instability

abstract: High-dimensional computational challenges are frequently explained via the curse of dimensionality, i.e., increasing the number of dimensions leads to exponentially growing computational complexity. In this commentary, we argue that thinking on a different level helps to understand, why we face the curse of dimensionality. We introduce as a guiding principle the curse of instability, which triggers the classical curse of dimensionality. Furthermore, we claim that the curse of instability is a strong indicator for analytical difficulties and multiscale complexity. Finally, we suggest some practical conclusions for the analysis of mathematical models and formulate several conjectures.


title: Harmonic Measures on the Sphere via Curvature-Dimension

abstract: We show that the family of probability measures on the $n$-dimensional unit sphere, having density proportional to: \[ S^n \ni y \mapsto \frac{1}{|y - x|^{n+\alpha}}, \] satisfies the Curvature-Dimension condition $CD(n-1-\frac{n+\alpha}{4},-\alpha)$, for all $|x| < 1$, $\alpha \geq -n$ and $n\geq 2$. The case $\alpha = 1$ corresponds to the hitting distribution of the sphere by Brownian motion started at $x$ (so-called "harmonic measure" on the sphere). Applications involving isoperimetric, spectral-gap and concentration estimates, as well as potential extensions, are discussed.


title: Wake angle for surface gravity waves on a finite depth fluid

abstract: Linear water wave theory suggests that wave patterns caused by a steadily moving disturbance are contained within a wedge whose half-angle depends on the depth-based Froude number $F_H$. For the problem of flow past an axisymmetric pressure distribution in a finite-depth channel, we report on the apparent angle of the wake, which is the angle of maximum peaks. For moderately deep channels, the dependence of the apparent wake angle on the Froude number is very different to the wedge angle, and varies smoothly as $F_H$ passes through the critical value $F_H=1$. For shallow water, the two angles tend to follow each other more closely, which leads to very large apparent wake angles for certain regimes.


title: Polynomials in Asymptotically Free Random Matrices

abstract: Recent work of Belinschi, Mai and Speicher resulted in a general algorithm to calculate the distribution of any selfadjoint polynomial in free variables. Since many classes of independent random matrices become asymptotically free if the size of the matrices goes to infinity, this algorithm allows then also the calculation of the asymptotic eigenvalue distribution of polynomials in such independent random matrices. We will recall the main ideas of this approach and then also present its extension to the case of the Brown measure of non-selfadjoint polynomials.


title: Quantum indices and refined enumeration of real plane curves

abstract: We associate a half-integer number, called {\em the quantum index}, to algebraic curves in the real plane satisfying to certain conditions. The area encompassed by the logarithmic image of such curves is equal to $\pi^2$ times the quantum index of the curve and thus has a discrete spectrum of values. We use the quantum index to refine real enumerative geometry in a way consistent with the Block-G\"ottsche invariants from tropical enumerative geometry.


title: A 2.48Gb/s QC-LDPC Decoder Implementation on the NI USRP-2953R

abstract: The increasing data rates expected to be of the order of Gb/s for future wireless systems directly impact the throughput requirements of the modulation and coding subsystems of the physical layer. In an effort to design a suitable channel coding solution for 5G wireless systems, in this brief we present a massively-parallel 2.48Gb/s Quasi-Cyclic Low-Density Parity-Check (QC-LDPC) decoder implementation operating at 200MHz on the NI USRP-2953R, on a single FPGA. The high-level description of the entire massively-parallel decoder was translated to a Hardware Description Language (HDL), namely VHDL, using the algorithmic compiler in the National Instruments LabVIEW Communication System Design Suite (CSDS) in approximately 2 minutes. This implementation not only demonstrates the scalability of our decoder architecture but also, the rapid prototyping capability of the LabVIEW CSDS tools. As per our knowledge, at the time of writing this paper, this is the fastest implementation of a standard compliant QC-LDPC decoder on a USRP using an algorithmic compiler.


title: Schur Complement based domain decomposition preconditioners with Low-rank corrections

abstract: This paper introduces a robust preconditioner for general sparse symmetric matrices, that is based on low-rank approximations of the Schur complement in a Domain Decomposition (DD) framework. In this "Schur Low Rank" (SLR) preconditioning approach, the coefficient matrix is first decoupled by DD, and then a low-rank correction is exploited to compute an approximate inverse of the Schur complement associated with the interface points. The method avoids explicit formation of the Schur complement matrix. We show the feasibility of this strategy for a model problem, and conduct a detailed spectral analysis for the relationship between the low-rank correction and the quality of the preconditioning. Numerical experiments on general matrices illustrate the robustness and efficiency of the proposed approach.


title: Low-rank correction methods for algebraic domain decomposition preconditioners

abstract: This paper presents a parallel preconditioning method for distributed sparse linear systems, based on an approximate inverse of the original matrix, that adopts a general framework of distributed sparse matrices and exploits the domain decomposition method and low-rank corrections. The domain decomposition approach decouples the matrix and once inverted, a low-rank approximation is applied by exploiting the Sherman-Morrison-Woodbury formula, which yields two variants of the preconditioning methods. The low-rank expansion is computed by the Lanczos procedure with reorthogonalizations. Numerical experiments indicate that, when combined with Krylov subspace accelerators, this preconditioner can be efficient and robust for solving symmetric sparse linear systems. Comparisons with other distributed-memory preconditioning methods are presented.


title: Sifting Robotic from Organic Text: A Natural Language Approach for Detecting Automation on Twitter

abstract: Twitter, a popular social media outlet, has evolved into a vast source of linguistic data, rich with opinion, sentiment, and discussion. Due to the increasing popularity of Twitter, its perceived potential for exerting social influence has led to the rise of a diverse community of automatons, commonly referred to as bots. These inorganic and semi-organic Twitter entities can range from the benevolent (e.g., weather-update bots, help-wanted-alert bots) to the malevolent (e.g., spamming messages, advertisements, or radical opinions). Existing detection algorithms typically leverage meta-data (time between tweets, number of followers, etc.) to identify robotic accounts. Here, we present a powerful classification scheme that exclusively uses the natural language text from organic users to provide a criterion for identifying accounts posting automated messages. Since the classifier operates on text alone, it is flexible and may be applied to any textual data beyond the Twitter-sphere.


title: Provably Correct Algorithms for Matrix Column Subset Selection with Selectively Sampled Data

abstract: We consider the problem of matrix column subset selection, which selects a subset of columns from an input matrix such that the input can be well approximated by the span of the selected columns. Column subset selection has been applied to numerous real-world data applications such as population genetics summarization, electronic circuits testing and recommendation systems. In many applications the complete data matrix is unavailable and one needs to select representative columns by inspecting only a small portion of the input matrix. In this paper we propose the first provably correct column subset selection algorithms for partially observed data matrices. Our proposed algorithms exhibit different merits and limitations in terms of statistical accuracy, computational efficiency, sample complexity and sampling schemes, which provides a nice exploration of the tradeoff between these desired properties for column subset selection. The proposed methods employ the idea of feedback driven sampling and are inspired by several sampling schemes previously introduced for low-rank matrix approximation tasks (Drineas et al., 2008; Frieze et al., 2004; Deshpande and Vempala, 2006; Krishnamurthy and Singh, 2014). Our analysis shows that, under the assumption that the input data matrix has incoherent rows but possibly coherent columns, all algorithms provably converge to the best low-rank approximation of the original data as number of selected columns increases. Furthermore, two of the proposed algorithms enjoy a relative error bound, which is preferred for column subset selection and matrix approximation purposes. We also demonstrate through both theoretical and empirical analysis the power of feedback driven sampling compared to uniform random sampling on input matrices with highly correlated columns.


title: On the maximum quartet distance between phylogenetic trees

abstract: A conjecture of Bandelt and Dress states that the maximum quartet distance between any two phylogenetic trees on $n$ leaves is at most $(\frac 23 +o(1))\binom{n}{4}$. Using the machinery of flag algebras we improve the currently known bounds regarding this conjecture, in particular we show that the maximum is at most $(0.69 +o(1))\binom{n}{4}$. We also give further evidence that the conjecture is true by proving that the maximum distance between caterpillar trees is at most $(\frac 23 +o(1))\binom{n}{4}$.


title: Lyapunov `Non-typical' Points of Matrix Cocycles and Topological Entropy

abstract: It follows from Oseledec Multiplicative Ergodic Theorem (or Kingman's Sub-additional Ergodic Theorem) that the set of `non-typical' points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any H$\ddot{o}$der continuous cocycles over hyperbolic systems, in this article we show that either all ergodic measures have same Maximal Lyapunov exponents or the set of Lyapunov `non-typical' points have full topological entropy and packing topological entropy. Moreover, we give an estimate of Bowen Hausdorff entropy from below.


title: Limits to the precision of gradient sensing with spatial communication and temporal integration

abstract: Gradient sensing requires at least two measurements at different points in space. These measurements must then be communicated to a common location to be compared, which is unavoidably noisy. While much is known about the limits of measurement precision by cells, the limits placed by the communication are not understood. Motivated by recent experiments, we derive the fundamental limits to the precision of gradient sensing in a multicellular system, accounting for communication and temporal integration. The gradient is estimated by comparing a "local" and a "global" molecular reporter of the external concentration, where the global reporter is exchanged between neighboring cells. Using the fluctuation-dissipation framework, we find, in contrast to the case when communication is ignored, that precision saturates with the number of cells independently of the measurement time duration, since communication establishes a maximum lengthscale over which sensory information can be reliably conveyed. Surprisingly, we also find that precision is improved if the local reporter is exchanged between cells as well, albeit more slowly than the global reporter. The reason is that while exchange of the local reporter weakens the comparison, it decreases the measurement noise. We term such a model "regional excitation--global inhibition" (REGI). Our results demonstrate that fundamental sensing limits are necessarily sharpened when the need to communicate information is taken into account.


title: Higher-order finite element methods for elliptic problems with interfaces

abstract: We present higher-order piecewise continuous finite element methods for solving a class of interface problems in two dimensions. The method is based on correction terms added to the right-hand side in the standard variational formulation of the problem. We prove optimal error estimates of the methods on general quasi-uniform and shape regular meshes in maximum norms. In addition, we apply the method to a Stokes interface problem, adding correction terms for the velocity and the pressure, obtaining optimal convergence results.


title: Co-evolutionary dynamics of a host-parasite interaction model: obligate versus facultative social parasitism

abstract: To examine the co-evolution of quantitative traits in hosts and parasites, we present and study a co-evolutionary model of a social parasite-host system that incorporates (1) ecological dynamics that feed back into their co-evolutionary outcomes; (2) variation in whether the parasite is obligate or facultative; and (3) Holling Type II functional responses between host and parasite, which are particularly suitable for social parasites that face time costs for host location and its social manipulation. We perform local and global analyses for the co-evolutionary model and the corresponding ecological model. In the absence of evolution, the facultative parasite system can have one, two, or three interior equilibria, while the obligate parasite system can have either one or three interior equilibria. Multiple interior equilibria result in rich dynamics with multiple attractors. The ecological system, in particular, can exhibit bi-stability between the facultative-parasite-only equilibrium and the interior coexistence equilibrium when it has two interior equilibria. Our findings suggest that: (a) The host and parasite can select different strategies that may result in local extinction of one species. These strategies can have convergence stability (CS), but may not be evolutionary stable strategies (ESS); (b) The host and its facultative (or obligate) parasite can have ESS that drive the host (or the obligate parasite) extinct locally; (c) Trait functions play an important role in the CS of both boundary and interior equilibria, as well as their ESS; and (d) A small variance in the trait difference that measures parasitism efficiency can destabilize the co-evolutionary system, and generate evolutionary arms-race dynamics with different host-parasite fluctuating patterns.


title: Rapidity window dependences of higher order cumulants and diffusion master equation

abstract: We study the rapidity window dependences of higher order cumulants of conserved charges observed in relativistic heavy ion collisions. The time evolution and the rapidity window dependence of the non-Gaussian fluctuations are described by the diffusion master equation. Analytic formulas for the time evolution of cumulants in a rapidity window are obtained for arbitrary initial conditions. We discuss that the rapidity window dependences of the non-Gaussian cumulants have characteristic structures reflecting the non-equilibrium property of fluctuations, which can be observed in relativistic heavy ion collisions with the present detectors. It is argued that various information on the thermal and transport properties of the hot medium can be revealed experimentally by the study of the rapidity window dependences, especially by the combined use, of the higher order cumulants. Formulas of higher order cumulants for a probability distribution composed of sub-probabilities, which are useful for various studies of non-Gaussian cumulants, are also presented.


title: Differentiation and integration operators on weighted Banach spaces of holomorphic functions

abstract: We show that some previous results concerning the boundedness of differentiation and integration operators on weighted spaces given by radial weights in the unit disk or the complex plane might fail without some natural additional conditions. In view of this we develop a new elementary approach which is essentially different from the previous one and can be applied for weights and domains of general types. We also establish a new characterization of some popular classes of radial weights.


title: Modeling of Anisotropic Two-Dimensional Materials Monolayer HfS2 and Phosphorene MOSFETs

abstract: Ballistic transport characteristics of metal-oxide semiconductor field effect transistors (MOSFETs) based on anisotropic two-dimensional (2-D) materials monolayer HfS2 and phosphorene are explored through quantum transport simulations. We focus on the effects of the channel crystal orientation and the channel length scaling on device performances. Especially, the role of degenerate conduction band (CB) valleys in monolayer HfS2 is comprehensively analyzed. Benchmarking monolayer HfS2 with phosphorene MOSFETs, we predict that the effect of channel orientation on device performances is much weaker in monolayer HfS2 than in phosphorene due to the degenerate CB valleys of monolayer HfS2. Our simulations also reveal that, at 10 nm channel length scale, phosphorene MOSFETs outperform monolayer HfS2 MOSFETs in terms of the onstate current. However, it is observed that monolayer HfS2 MOSFETs may offer comparable, but a little bit degraded, device performances as compared with phosphorene MOSFETs at 5 nm channel length.


title: A Coding Theorem for Bipartite Unitaries in Distributed Quantum Computation

abstract: We analyze implementations of bipartite unitaries by means of local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario, in which two distant parties perform the same bipartite unitary on infinitely many pairs of inputs. We analyze minimum cost of entanglement and classical communication per copy. For two-round LOCC protocols, we derive a single-letter formula for the minimum cost of entanglement and classical communication, under an additional requirement that the error converges to zero faster than $1/n^4$, where $n$ is the number of input pairs. The formula is given by the "Markovianizing cost" of a tripartite state associated with the unitary, which can be computed by a finite-step algorithm. We also derive a lower bound on the minimum cost of resources, which applies for protocols with arbitrary number of rounds.


title: A model for emergence of space and time

abstract: We study string field theory (third quantization) of the two-dimensional model of quantum geometry called generalized CDT ("causal dynamical triangulations"). Like in standard non-critical string theory the so-called string field Hamiltonian of generalized CDT can be associated with W-algebra generators through the string mode expansion. This allows us to define an "absolute" vacuum. "Physical" vacua appear as coherent states created by vertex operators acting on the absolute vacuum. Each coherent state corresponds to specific values of the coupling constants of generalized CDT. The cosmological "time" only exists relatively to a given "physical" vacuum and comes into existence before space, which is created because the "physical" vacuum is unstable. Thus each CDT "universe" is created as a "Big Bang" from the absolute vacuum, its time evolution is governed by the CDT string field Hamiltonian with given coupling constants, and one can imagine interactions between CDT universes with different coupling constants ("fourth quantization")


title: The SAMI Pilot Survey: The Fundamental and Mass Planes in Three Low-Redshift Clusters

abstract: Using new integral field observations of 106 galaxies in three nearby clusters we investigate how the intrinsic scatter of the Fundamental Plane depends on the way in which the velocity dispersion and effective radius are measured. Our spatially resolved spectroscopy, combined with a cluster sample with negligible relative distance errors allows us to derive a Fundamental Plane with minimal systematic uncertainties. From the apertures we tested, we find that velocity dispersions measured within a circular aperture with radius equal to one effective radius minimises the intrinsic scatter of the Fundamental Plane. Using simple yet powerful Jeans dynamical models we determine dynamical masses for our galaxies. Replacing luminosity in the Fundamental Plane with dynamical mass, we demonstrate that the resulting Mass Plane has further reduced scatter, consistent with zero intrinsic scatter. Using these dynamical models we also find evidence for a possibly non-linear relationship between dynamical mass-to-light ratio and velocity dispersion.


title: Resonant Trapping in the Galactic Disc and Halo and its Relation with Moving Groups

abstract: With the use of a detailed Milky Way nonaxisymmetric potential, observationally and dynamically constrained, the effects of the bar and the spiral arms in the Galaxy are studied in the disc and in the stellar halo. Especially the trapping of stars in the disc and Galactic halo by resonances on the Galactic plane, induced by the Galactic bar, has been analysed in detail. To this purpose, a new method is presented to delineate the trapping regions using empirical diagrams of some orbital properties obtained in the Galactic potential. In these diagrams we plot in the inertial Galactic frame a characteristic orbital energy versus a characteristic orbital angular momentum, or versus the orbital Jacobi constant in the reference frame of the bar, when this is the only nonaxisymmetric component in the Galactic potential. With these diagrams some trapping regions are obtained in the disc and halo using a sample of disc stars and halo stars in the solar neighbourhood. We compute several families of periodic orbits on the Galactic plane, some associated with this resonant trapping. In particular, we find that the trapping effect of these resonances on the Galactic plane can extend several kpc from this plane, trapping stars in the Galactic halo. The purpose of our analysis is to investigate if the trapping regions contain some known moving groups in our Galaxy. We have applied our method to the Kapteyn group, a moving group in the halo, and we have found that this group appears not to be associated with a particular resonance on the Galactic plane.


title: Palladium and silver abundances in stars with [Fe/H] > -2.6

abstract: Palladium (Pd) and silver (Ag) are the key elements for probing the weak component in the rapid neutron-capture process (r-process) of stellar nucleosynthesis. We performed a detailed analysis of the high-resolution and high signal-to-noise ratio near-UV spectra from the archive of HIRES on the Keck telescope, UVES on the VLT, and HDS on the Subaru Telescope, to determine the Pd and Ag abundances of 95 stars. This sample covers a wide metallicity range with -2.6 $\lesssim$ [Fe/H] $\lesssim$ +0.1, and most of them are dwarfs. The plane-parallel LTE MAFAGS-OS model atmosphere was adopted, and the spectral synthesis method was used to derive the Pd and Ag abundances from Pd I {\lambda} 3404 {\AA} and Ag I {\lambda} 3280/3382 {\AA} lines. We found that both elements are enhanced in metal-poor stars, and their ratios to iron show flat trends at -0.6 < [Fe/H] < +0.1. The abundance ratios of [Ag/H] and [Pd/H] are well correlated over the whole abundance range. This implies that Pd and Ag have similar formation mechanisms during the Galactic evolution.


title: Evolving Spiking Networks with Variable Resistive Memories

abstract: Neuromorphic computing is a brainlike information processing paradigm that requires adaptive learning mechanisms. A spiking neuro-evolutionary system is used for this purpose; plastic resistive memories are implemented as synapses in spiking neural networks. The evolutionary design process exploits parameter self-adaptation and allows the topology and synaptic weights to be evolved for each network in an autonomous manner. Variable resistive memories are the focus of this research; each synapse has its own conductance profile which modifies the plastic behaviour of the device and may be altered during evolution. These variable resistive networks are evaluated on a noisy robotic dynamic-reward scenario against two static resistive memories and a system containing standard connections only. Results indicate that the extra behavioural degrees of freedom available to the networks incorporating variable resistive memories enable them to outperform the comparative synapse types.


title: A priori estimates for a generalised Monge-Amp\`ere PDE on some compact K\"ahler manifolds

abstract: We study a fully nonlinear PDE involving a linear combination of symmetric polynomials of the K\"ahler form on a K\"ahler manifold. A $C^0$ \emph{a priori} estimate is proven in general and a gradient estimate is proven in certain cases. Independently, we also provide a method-of-continuity proof via a path of K\"ahler metrics to recover the existence of solutions in some of the known cases. Known results are then applied to an analytic problem arising from Chern-Weil theory and to a special Lagrangian-type equation arising from mirror symmetry.


title: Two-point one-dimensional $\delta$-$\delta^\prime$ interactions: non-abelian addition law and decoupling limit

abstract: In this contribution to the study of one dimensional point potentials, we prove that if we take the limit $q\to 0$ on a potential of the type $v_0\delta({y})+{2}v_1\delta'({y})+w_0\delta({y}-q)+ {2} w_1\delta'({y}-q)$, we obtain a new point potential of the type ${u_0} \delta({y})+{2 u_1} \delta'({y})$, when $ u_0$ and $ u_1$ are related to $v_0$, $v_1$, $w_0$ and $w_1$ by a law having the structure of a group. This is the Borel subgroup of $SL_2({\mathbb R})$. We also obtain the non-abelian addition law from the scattering data. The spectra of the Hamiltonian in the exceptional cases emerging in the study are also described in full detail. It is shown that for the $v_1=\pm 1$, $w_1=\pm 1$ values of the $\delta^\prime$ couplings the singular Kurasov matrices become equivalent to Dirichlet at one side of the point interaction and Robin boundary conditions at the other side.


title: Measurement theory of a density profile of colloid particles on a flat surface: Conversion of force acting on a colloidal probe into pressure on its surface element

abstract: Recently, we proposed a method that converts the force between two-large colloids into the pressure on the surface element (FPSE conversion) in a system of a colloidal solution. Using it, the density distribution of the small colloids around the large colloid is calculated. In a similar manner, in this letter, we propose a transform theory for colloidal probe atomic force microscopy (colloidal probe AFM), which transforms the force acting on the colloidal probe into the density distribution of the small colloids on a flat surface. If measured condition is proper one, in our view, it is possible for the transform theory to be applied for liquid AFM and obtain the liquid structure. The transform theory we derived is briefly explained in this letter.


title: Smooth Duals of Inner Forms of $GL_n$ and $SL_n$

abstract: Let $F$ be a non-archimedean local field. We prove that every Bernstein component in the smooth dual of each inner form of the general linear group $GL_n(F)$ is canonically in bijection with the extended quotient for the action, given by Bernstein, of a finite group on a complex torus. For inner forms of $SL_n(F)$ we prove that each Bernstein component is canonically in bijection with the associated twisted extended quotient. In both cases, the bijections satisfy naturality properties with respect to the tempered dual, parabolic induction, central character, and the local Langlands correspondence.


title: The energy level structure of a variety of one-dimensional confining potentials and the effects of a local singular perturbation

abstract: Motivated by current interest in quantum confinement potentials, especially with respect to the Stark spectroscopy of new types of quantum wells, we examine several novel one-dimensional singular oscillators. A Green function method is applied, the construction of the necessary resolvents is reviewed and several new ones are introduced. In addition, previous work on the singular harmonic oscillator model, introduced by Avakian et al. is reproduced to verify the method and results. A novel features is the determination of the spectra of asymmetric hybrid linear and quadratic potentials. As in previous work, the singular perturbations are modeled by delta functions.


title: Local identifiability of $l_1$-minimization dictionary learning: a sufficient and almost necessary condition

abstract: We study the theoretical properties of learning a dictionary from $N$ signals $\mathbf x_i\in \mathbb R^K$ for $i=1,...,N$ via $l_1$-minimization. We assume that $\mathbf x_i$'s are $i.i.d.$ random linear combinations of the $K$ columns from a complete (i.e., square and invertible) reference dictionary $\mathbf D_0 \in \mathbb R^{K\times K}$. Here, the random linear coefficients are generated from either the $s$-sparse Gaussian model or the Bernoulli-Gaussian model. First, for the population case, we establish a sufficient and almost necessary condition for the reference dictionary $\mathbf D_0$ to be locally identifiable, i.e., a local minimum of the expected $l_1$-norm objective function. Our condition covers both sparse and dense cases of the random linear coefficients and significantly improves the sufficient condition by Gribonval and Schnass (2010). In addition, we show that for a complete $\mu$-coherent reference dictionary, i.e., a dictionary with absolute pairwise column inner-product at most $\mu\in[0,1)$, local identifiability holds even when the random linear coefficient vector has up to $O(\mu^{-2})$ nonzeros on average. Moreover, our local identifiability results also translate to the finite sample case with high probability provided that the number of signals $N$ scales as $O(K\log K)$.


title: Salient Structure Detection by Context-Guided Visual Search

abstract: We define the task of salient structure (SS) detection to unify the saliency-related tasks like fixation prediction, salient object detection, and other detection of structures of interest. In this study, we propose a unified framework for SS detection by modeling the two-pathway-based guided search strategy of biological vision. Firstly, context-based spatial prior (CBSP) is extracted based on the layout of edges in the given scene along a fast visual pathway, called non-selective pathway. This is a rough and non-selective estimation of the locations where the potential SSs present. Secondly, another flow of local feature extraction is executed in parallel along the selective pathway. Finally, Bayesian inference is used to integrate local cues guided by CBSP, and to predict the exact locations of SSs in the input scene. The proposed model is invariant to size and features of objects. Experimental results on four datasets (two fixation prediction datasets and two salient object datasets) demonstrate that our system achieves competitive performance for SS detection (i.e., both the tasks of fixation prediction and salient object detection) comparing to the state-of-the-art methods.


title: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

abstract: The enumeration of minimal unsatisfiable subsets (MUSes) finds a growing number of practical applications, that includes a wide range of diagnosis problems. As a concrete example, the problem of axiom pinpointing in the EL family of description logics (DLs) can be modeled as the enumeration of the group-MUSes of Horn formulae. In turn, axiom pinpointing for the EL family of DLs finds important applications, such as debugging medical ontologies, of which SNOMED CT is the best known example. The main contribution of this paper is to develop an efficient group-MUS enumerator for Horn formulae, HGMUS, that finds immediate application in axiom pinpointing for the EL family of DLs. In the process of developing HGMUS, the paper also identifies performance bottlenecks of existing solutions. The new algorithm is shown to outperform all alternative approaches when the problem domain targeted by group-MUS enumeration of Horn formulae is axiom pinpointing for the EL family of DLs, with a representative suite of examples taken from different medical ontologies.


title: Learning Deconvolution Network for Semantic Segmentation

abstract: We propose a novel semantic segmentation algorithm by learning a deconvolution network. We learn the network on top of the convolutional layers adopted from VGG 16-layer net. The deconvolution network is composed of deconvolution and unpooling layers, which identify pixel-wise class labels and predict segmentation masks. We apply the trained network to each proposal in an input image, and construct the final semantic segmentation map by combining the results from all proposals in a simple manner. The proposed algorithm mitigates the limitations of the existing methods based on fully convolutional networks by integrating deep deconvolution network and proposal-wise prediction; our segmentation method typically identifies detailed structures and handles objects in multiple scales naturally. Our network demonstrates outstanding performance in PASCAL VOC 2012 dataset, and we achieve the best accuracy (72.5%) among the methods trained with no external data through ensemble with the fully convolutional network.


title: Anisotropic scattering rate in Fe substituted Bi2212

abstract: We measured the electronic structure of Fe substituted Bi2212 using Angle Resolved Photoemission Spectroscopy (ARPES). We find that the substitution does not change the momentum dependence of the superconducting gap but induces a very anisotropic enhancement of the scattering rate. A comparison of the effect of Fe substitution to that of Zn substitution suggests that the Fe reduces T$_c$ so effectively because it supresses very strongly the coherence weight around the anti-nodes.