title: "Mixed spectral nature" of Thue--Morse Hamiltonian

abstract: We find three dense subsets $\Sigma_I,\Sigma_{II}$ and $\Sigma_{III}$ of the spectrum of the Thue-Morse Hamiltonian, such that each energy in $\Sigma_I$ is extended, each energy in $\Sigma_{II}$ is pseudo-localized and each energy in $\Sigma_{III}$ is one-sided pseudo-localized. We also obtain exact estimations on the norm of the transfer matrices and the norm of the formal solutions for these energies. Especially, for $E\in \Sigma_{II}\cup\Sigma_{III}, $ the norms of the transfer matrices behave like $$ e^{c_1\gamma\sqrt{n}}\le\|T_{n}(E)\|\le e^{c_2\gamma\sqrt{n}}. $$ The local dimensions of the spectral measure on these subsets are also studied. The local dimension is $0$ for energy in $\Sigma_{II}$ and is larger than $1$ for energy in $\Sigma_{I}\cup\Sigma_{III}.$ In summary, the Thue-Morse Hamiltonian exhibits "mixed spectral nature".


title: Gravitational Bremsstrahlung from Massless-particle Collisions

abstract: The angular and frequency characteristics of the gravitational radiation emitted in collisions of massless particles is studied perturbatively in the context of classical General Relativity for small values of the ratio $\alpha= 2 r_S/b$ of the Schwarzschild radius over the impact parameter. The particles are described with their trajectories, while the contribution of the leading nonlinear terms of the gravitational action is also taken into account. The old quantum results are reproduced in the zero frequency limit $\omega\ll 1/b$. The radiation efficiency $\epsilon \equiv E_{\rm rad}/2E$ outside a narrow cone of angle $\alpha$ in the forward and backward directions with respect to the initial particle trajectories is given by $\epsilon \sim \alpha^2$ and is dominated by radiation with characteristic frequency $\omega \sim {\mathcal O}(1/r_S)$. The comparison with previous works and the known literature is presented.


title: Optimal positron-beam excited plasma wakefields in Hollow and Ion-Wake channels

abstract: A positron-beam interacting with the plasma electrons drives radial suck-in, in contrast to an electron-beam driven blow-out in the over-dense regime, $n_b>n_0$. In a homogeneous plasma, the electrons are radially sucked-in from all the different radii. The electrons collapsing from different radii do not simultaneously compress on-axis driving weak fields. A hollow-channel allows electrons from its channel-radius to collapse simultaneously exciting coherent fields. We analyze the optimal channel radius. Additionally, the low ion density in the hollow allows a larger region with focusing phase which we show is linearly focusing. We have shown the formation of an ion-wake channel behind a blow-out electron bubble-wake. Here we explore positron acceleration in the over-dense regime comparing an optimal hollow-plasma channel to the ion-wake channel. The condition for optimal hollow-channel radius is also compared. We also address the effects of a non-ideal ion-wake channel on positron-beam excited fields.


title: MPX Detectors as LHC Luminosity Monitor

abstract: A network of 16 Medipix-2 (MPX) silicon pixel devices was installed in the ATLAS detector cavern at CERN. It was designed to measure the composition and spectral characteristics of the radiation field in the ATLAS experiment and its surroundings. This study demonstrates that the MPX network can also be used as a self-sufficient luminosity monitoring system. The MPX detectors collect data independently of the ATLAS data-recording chain, and thus they provide independent measurements of the bunch-integrated ATLAS/LHC luminosity. In particular, the MPX detectors located close enough to the primary interaction point are used to perform van der Meer calibration scans with high precision. Results from the luminosity monitoring are presented for 2012 data taken at sqrt(s) = 8 TeV proton-proton collisions. The characteristics of the LHC luminosity reduction rate are studied and the effects of beam-beam (burn-off) and beam-gas (single bunch) interactions are evaluated. The systematic variations observed in the MPX luminosity measurements are below 0.3% for one minute intervals.


title: CMB Constraint on Dark Matter Annihilation after Planck 2015

abstract: We update the constraint on the dark matter annihilation cross section by using the recent measurements of the CMB anisotropy by the Planck satellite. We fully calculate the cascade of dark matter annihilation products and their effects on ionization, heating and excitation of the hydrogen, hence do not rely on any assumption on the energy fractions that cause these effects.


title: Crystallization of deformed Virasoro algebra, Ding-Iohara-Miki algebra and 5D AGT correspondence

abstract: In this paper, we consider the $q \rightarrow 0$ limit of the deformed Virasoro algebra and that of the level 1, 2 representation of Ding-Iohara-Miki algebra. Moreover, 5D AGT correspondence at this limit is discussed. This specialization corresponds to the limit from Macdonalds functions to Hall-Littlewood functions. Using the theory of Hall-Littlewood functions, some problems are solved. For example, the simplest case of 5D AGT conjectures is proven at this limit, and we obtain a formula for the 4-point correlation function of a certain operator.


title: An Analytical Evaluation of Matricizing Least-Square-Errors Curve Fitting to Support High Performance Computation on Large Datasets

abstract: The procedure of Least Square-Errors curve fitting is extensively used in many computer applications for fitting a polynomial curve of a given degree to approximate a set of data. Although various methodologies exist to carry out curve fitting on data, most of them have shortcomings with respect to efficiency especially where huge datasets are involved. This paper proposes and analyzes a matricized approach to the Least Square-Errors curve fitting with the primary objective of parallelizing the whole algorithm so that high performance efficiency can be achieved when algorithmic execution takes place on colossal datasets.


title: Primitive Zonotopes

abstract: We introduce and study a family of polytopes which can be seen as a generalization of the permutahedron of type $B_d$. We highlight connections with the largest possible diameter of the convex hull of a set of points in dimension $d$ whose coordinates are integers between $0$ and $k$, and with the computational complexity of multicriteria matroid optimization.


title: Energy-Efficient Coalition Formation in Sensor Networks: a Game-Theoretic Approach

abstract: The most important challenge in Wireless Sensor Networks (WSNs) is the energy constraint. Numerous solutions have been proposed to alleviate the issue, including clustering. Game theory is an effective decision-making tool that has been shown to be effective in solving complex problems. In this paper, we employ cooperative games and propose a new clustering scheme called Coalitional Game-Theoretic Clustering (CGTC) algorithm for WSNs. The idea is to partition the entire network area into two regions, namely far and vicinity, in order to address the hotspot problem in WSNs, wherein nodes close to the base station (BS) tend to deplete their energy faster due to relaying the traffic load received from farther nodes. Then, coalitional games are utilized to group nodes as coalitions. The main factor in choosing coalition heads is the energy level of nodes so that the most powerful nodes play the role of heads. The Shapley value is adopted as the solution concept to our coalitional games. The results of simulations confirm the effectiveness of CGTC in terms of energy efficiency and improved throughput.


title: Bootstrapping the Mazur--Orlicz--K\"onig theorem

abstract: In this paper, we give some extensions of K\"onig's extension of the Mazur-Orlicz theorem. These extensions include generalizations of a surprising recent result of Sun Chuanfeng, and generalizations to the product of more than two spaces of the "Hahn-Banach-Lagrange" theorem.


title: Effect of spin-orbit coupling on spectral and transport properties of tubular electron gas in InAs nanowires

abstract: We constructed the Hamiltonian of spin-orbit splitting for carriers of a tubular electron gas in InAs nanowires. The spectral problem is solved using an exact numerical diagonalization. It is shown that the contribution of k-linear Dresselhaus-like spin-orbit (SO) coupling leads to renormalization of so-called SO-gaps and appearance of anticrossings in subband spectrum. These features can be detected in ballistic transport.


title: Remembrance of things past: non-equilibrium effects and the evolution of critical fluctuations near the QCD critical point

abstract: We report on recent progress in the study of the evolution of non-Gaussian cumulants of critical fluctuations. We explore the implications of non-equilibrium effects on the search for the QCD critical point.


title: Tunneling of Massive Vector Particles From Rotating Charged Black Strings

abstract: We study the quantum tunneling of charged massive vector bosons from a charged static and a rotating black string. We apply the standard methods, first we use the WKB approximation and the Hamilton-Jacobi equation, and then we end up with a set of four linear equations. Finally, solving for the radial part by using the determinant of the metric equals zero, the corresponding tunneling rate and the Hawking temperature is recovered in both cases. The tunneling rate deviates from pure thermality and is consistent with an underlying unitary theory.


title: In vacuum diamond sensor scanner for beam halo measurements in the beam line at the KEK Accelerator Test Facility

abstract: The investigation of beam halo transverse distributions is important for the understanding of beam losses and the control of backgrounds in Future Linear Colliders (FLC). A novel in vacuum diamond sensor (DSv) scanner with four strips has been designed and developed for the investigation of the beam halo transverse distributions and also for the diagnostics of Compton recoil electrons after the interaction point (IP) of ATF2, a low energy (1.3 GeV) prototype of the final focus system for the ILC and CLIC linear collider projects. Using the DSv, a dynamic range of $\sim10^6$ has been successfully demonstrated and confirmed for the first time by simultaneous beam core ($\sim10^9$ electrons) and beam halo ($\sim10^3$ electrons) measurements at ATF2. This report presents the characterization, performance studies and tests of the diamond sensors using an $\alpha$ source as well as using the electron beams at PHIL, a low energy ($< 10$ MeV) photo-injector at LAL, and at ATF2. First beam halo measurement results using the DSv at ATF2 with different beam intensities and vacuum levels are also presented. Such measurements not only allow one to evaluate the different sources of beam halo generation but also to define the requirements for a suitable collimation system to be installed at ATF2, as well as to optimize its performance during future operation.


title: Hadron multiplicities and chemical freeze-out conditions in proton-proton and nucleus-nucleus collisions

abstract: New results of the NA61/SHINE Collaboration at the CERN SPS on mean hadron multiplicities in proton-proton (p+p) interactions are analyzed within the transport models and the hadron resonance gas (HRG) statistical model. The chemical freeze-out parameters in p+p interactions and central Pb+Pb (or Au+Au) collisions are found and compared with each other in the range of the center of mass energy of the nucleon pair $\sqrt{s_{NN}}=3.2-17.3$ GeV. The canonical ensemble formulation of the HRG model is used to describe mean hadron multiplicities in p+p interactions and the grand canonical ensemble in central Pb+Pb and Au+Au collisions. The chemical freeze-out temperatures in p+p interactions are found to be larger than the corresponding temperatures in central nucleus-nucleus collisions.


title: An inverse semigroup approach to the C*-algebras and crossed products of cancellative semigroups

abstract: We give a new definition of the semigroup C*-algebra of a left cancellative semigroup, which resolves problems of the construction by X. Li. Namely, the new construction is functorial, and the independence of ideals in the semigroup does not influence the independence of the generators. It has a group C*-algebra as a natural quotient. The C*-algebra of the old construction is a quotient of the new one. All this applies both to the full and reduced C*-algebras. The construction is based on the universal inverse semigroup generated by a left cancellative semigroup. We apply this approach to connect amenability of a semigroup to nuclearity of its C*-algebra. Large classes of actions of these semigroups are in one-to-one correspondence, and the crossed products are isomorphic. A crossed product of a left Ore semigroup is isomorphic to the partial crossed product of the generated group.


title: Fragility index of a simple liquid from structural inputs

abstract: We make a first principle calculation of the fragility index $m$ of a simple liquid using the structure of the supercooled liquid as an input. Using the density functional theory (DFT) of classical liquids, the configurational entropy ${\cal S}_c$ is obtained for low degree of supercooling. We extrapolate this data to estimate the Kauzmann temperature $T_\mathrm{K}$ for the liquid. Using the Adam-Gibbs relation, we link the configurational entropy ${\cal S}_c$ to the relaxation time. The relaxation times are obtained from direct solutions of the equations of fluctuating nonlinear hydrodynamics (FNH). These equations also form the basis of the mode coupling theory (MCT) for glassy dynamics. The fragility index for the supercooled liquid is estimated from analysis of the curves on the Angell plot.


title: Evolutions of stellar-mass black hole hyperaccretion systems in the center of gamma-ray bursts

abstract: A neutrino-dominated accretion disk around a stellar-mass black hole (BH) can power a gamma-ray burst (GRB) via annihilation of neutrinos launched from the disk. For the BH hyperaccretion system, high accretion rate should trigger the violent evolution of the BH's characteristics, which further leads to the evolution of the neutrino annihilation luminosity. In this paper, we consider the evolution of the accretion system to analyze the mean time-dependent neutrino annihilation luminosity with the different mean accretion rates and initial BH parameters. By time-integrating the luminosity, the total neutrino annihilation energy with the reasonable initial disk mass can satisfy the most of short-duration GRBs and about half of long-duration GRBs. Moreover, the extreme Kerr BH should exist in the cental engines of some high-luminosity GRBs. GRBs with higher energy have to request the alternative magnetohydrodynamics processes in the centers, such as the Blandford-Znajek jet from the accretion system or the millisecond magnetar.


title: Kruskal-Penrose Formalism for Lightlike Thin-Shell Wormholes

abstract: The original formulation of the "Einstein-Rosen bridge" in the classic paper of Einstein and Rosen (1935) is historically the first example of a static spherically-symmetric wormhole solution. It is not equivalent to the concept of the dynamical and non-traversable Schwarzschild wormhole, also called "Einstein-Rosen bridge" in modern textbooks on general relativity. In previous papers of ours we have provided a mathematically correct treatment of the original "Einstein-Rosen bridge" as a traversable wormhole by showing that it requires the presence of a special kind of "exotic matter" located on the wormhole throat - a lightlike brane (the latter was overlooked in the original 1935 paper). In the present note we continue our thorough study of the original "Einstein-Rosen bridge" as a simplest example of a lightlike thin-shell wormhole by explicitly deriving its description in terms of the Kruskal-Penrose formalism for maximal analytic extension of the underlying wormhole spacetime manifold. Further, we generalize the Kruskal-Penrose description to the case of more complicated lightlike thin-shell wormholes with two throats exhibiting a remarkable property of QCD-like charge confinement.


title: Device and System Level Design Considerations for Analog-Non-Volatile-Memory Based Neuromorphic Architectures

abstract: This paper gives an overview of recent progress in the brain inspired computing field with a focus on implementation using emerging memories as electronic synapses. Design considerations and challenges such as requirements and design targets on multilevel states, device variability, programming energy, array-level connectivity, fan-in/fanout, wire energy, and IR drop are presented. Wires are increasingly important in design decisions, especially for large systems, and cycle-to-cycle variations have large impact on learning performance.


title: Orthogonal and unitary tensor decomposition from an algebraic perspective

abstract: While every matrix admits a singular value decomposition, in which the terms are pairwise orthogonal in a strong sense, higher-order tensors typically do not admit such an orthogonal decomposition. Those that do have attracted attention from theoretical computer science and scientific computing. We complement this existing body of literature with an algebro-geometric analysis of the set of orthogonally decomposable tensors. More specifically, we prove that they form a real-algebraic variety defined by polynomials of degree at most four. The exact degrees, and the corresponding polynomials, are different in each of three times two scenarios: ordinary, symmetric, or alternating tensors; and real-orthogonal versus complex-unitary. A key feature of our approach is a surprising connection between orthogonally decomposable tensors and semisimple algebras---associative in the ordinary and symmetric settings and of compact Lie type in the alternating setting.


title: Entire Dirichlet series with monotonous coefficients and logarithmic h-measure

abstract: Let $F$ be an entire function represented by absolutely convergent for all $z\in\mathbb{C}$ Dirichlet series of the form $ F(z) = \sum\nolimits_{n=0}^{+\infty} a_{n}e^{z\lambda_{n}},$\ where a sequence $(\lambda_n)$ such that $\lambda_n\in\mathbb{R}\ \ (n\geq0)$, $\lambda_n\not=\lambda_k$ for any $n\not=k$ and $(\forall n\geq 0):\ 0\leq\lambda_n<\beta:=\sup\{\lambda_j:\ j\geq0\}\leq +\infty.$ {Let $h$ be non-decrease positive continuous function on $[0,+\infty)$ and $\Phi$ increase positive continuous on $[0,+\infty)$ function.} In this paper we {find} the condition {on} $(\mu_n)$ and $(\lambda_n)$ {such that} the relation $F(x+iy)=(1+o(1))a_{\nu(x, F)}e^{(x+iy)\lambda_{\nu(x, F)}} $ holds as $x\to +\infty$\ outside some set $E$ of finite logarithmic $h$-measure uniformly in $y\in\mathbb{R}$.


title: Understanding Zero-Point Energy in the Context of Classical Electromagnetism

abstract: Today's textbooks of electromagnetism give the particular solution to Maxwell's equations involving the integral over the charge and current sources at retarded times. However, the texts fail to emphasize the role played by the choice of the boundary conditions corresponding to solutions of the homogeneous Maxwell equations. Here we discuss the role of these boundary conditions for an experimenter with a hypothetical charged harmonic oscillator as his equipment. We describe the observations of the experimenter when located near a radio station or immersed in thermal radiation at temperature T. The classical physicists at the end of the 19th century chose the homogeneous boundary conditions for Maxwell's equation based upon the experimental observations of Lummer and Pringsheim which measured only the thermal radiation which exceeded the random radiation surrounding their measuring equipment. Today at the beginning of the 21st century, classical physicists must choose the homogeneous boundary conditions for Maxell's equations to correspond to the full radiation spectrum revealed by the recent Casimir force measurements which detect all the radiation surrounding conducting parallel plates, including the radiation absorbed and emitted by the plates themselves. The random classical radiation spectrum revealed by the Casimir force measurements includes electromagnetic zero-point radiation, which is missing from the spectrum measured by Lummer and Pringsheim, and which cannot be eliminated by going to zero temperature. This zero-point radiation will lead to zero-point energy for all systems which have electromagnetic interactions. Thus the choice of the boundary conditions on the homogeneous Maxwell equations is intimately related to the ideas of zero-point energy and non-radiating ground states which are introduced in classes of modern physics.


title: On the $8$-rank of narrow class groups of $\mathbb{Q}(\sqrt{-4pq})$, $\mathbb{Q}(\sqrt{-8pq})$, and $\mathbb{Q}(\sqrt{8pq})$

abstract: Let $d \in \{-4, -8, 8\}$. We study the $8$-part of the narrow class group in the thin families of quadratic number fields of the form $\mathbb{Q}(\sqrt{dpq})$, where $p\equiv q \equiv 1\bmod 4$ are prime numbers, and we prove new lower bounds for the proportion of narrow class groups in these families that have an element of order $8$. In the course of our proof, we prove a general double-oscillation estimate for the quadratic residue symbol in quadratic number fields.


title: The logic of the reverse mathematics zoo

abstract: Building on previous work by Mummert, Saadaoui and Sovine, we study the logic underlying the web of implications and nonimplications which constitute the so called reverse mathematics zoo. We introduce a tableaux system for this logic and natural deduction systems for important fragments of the language.


title: Thermal evolution of antiferromagnetic correlations and tetrahedral bond angles in superconducting FeTe$_{1-x}$Se$_x$

abstract: It has recently been demonstrated that dynamical magnetic correlations measured by neutron scattering in iron chalcogenides can be described with models of short-range correlations characterized by particular {choices of four-spin plaquettes, where the appropriate choice changes as the} parent material is doped towards superconductivity. Here we apply such models to describe measured maps of magnetic scattering as a function of two-dimensional wave vectors obtained for optimally superconducting crystals of FeTe$_{1-x}$Se$_x$. We show that the characteristic antiferromagnetic wave vector evolves from that of the bicollinear structure found in underdoped chalcogenides (at high temperature) to that associated with the stripe structure of antiferromagnetic iron arsenides (at low temperature); {these can both be described with the same local plaquette, but with different inter-plaquette correlations}. While the magnitude of the low-energy magnetic spectral weight is substantial at all temperatures, it actually weakens somewhat at low temperature, where the charge carriers become more itinerant. The observed change in spin correlations is correlated with the dramatic drop in the electronic scattering rate and the growth of the bulk nematic response on cooling. Finally, we also present powder neutron diffraction results for lattice parameters in FeTe$_{1-x}$Se$_x$ indicating that the tetrahedral bond angle tends to increase towards the ideal value on cooling, in agreement with the increased screening of the crystal field by more itinerant electrons and the correspondingly smaller splitting of the Fe $3d$ orbitals.


title: Risk Aversion in the Small and in the Large under Rank-Dependent Utility

abstract: Under expected utility the local index of absolute risk aversion has played a central role in many applications. Besides, its link with the "global" concepts of the risk and probability premia has reinforced its attractiveness. This paper shows that, with an appropriate approach, similar developments can be achieved in the framework of Yaari's dual theory and, more generally, under rank-dependent utility.


title: Differential Rotation in Solar Convective Dynamo Simulations

abstract: We carry out a magneto-hydrodynamic (MHD) simulation of convective dynamo in the rotating solar convective envelope driven by the solar radiative diffusive heat flux. The simulation is similar to that reported in Fan & Fang (2014) but with further reduced viscosity and magnetic diffusion. The resulting convective dynamo produces a large scale mean field that exhibits similar irregular cyclic behavior and polarity reversals, and self-consistently maintains a solar-like differential rotation. The main driver for the solar-like differential rotation (with faster rotating equator) is a net outward transport of angular momentum away from the rotation axis by the Reynolds stress, and we found that this transport is enhanced with reduced viscosity and magnetic diffusion.


title: The Lefschetz thimble and the sign problem

abstract: In this talk I review the proposal to formulate quantum field theories (QFTs) on a Lefschetz thimble, which was put forward to enable Monte Carlo simulations of lattice QFTs affected by sign problem. First I will review the theoretical justification of the approach, and comment on some open issues. Then, I will review the algorithms that have been proposed and are being tested to represent and simulate a lattice QFT on a Lefschetz thimble. In particular, I will review the lessons from the very first models of QFTs that have been studied with this approach.


title: Miura: Divisor Class Group Arithmetic

abstract: The Package Miura contains functions that compute divisor class group arithmetic for nonsingular curves. The package reduces computation in a divisor class group to that in the ideal class group via the isomorphism. The underlying quotient ring should be over the ideal given by a nonsingular curve in the form of Miura. Although computing the multiplication of two integral ideals is not hard, we need to obtain an ideal such that the shortest Groebner basis component is the minimum in order to obtain the representative of the ideal class. Although the basic procedure is due to Arita, the source code has become much shorter using MaCaulay2. The package is useful not just for computation itself but also for understanding the divisor class group arithmetic from the ideal point of view.


title: Improved Algorithms for Exact and Approximate Boolean Matrix Decomposition

abstract: An arbitrary $m\times n$ Boolean matrix $M$ can be decomposed {\em exactly} as $M =U\circ V$, where $U$ (resp. $V$) is an $m\times k$ (resp. $k\times n$) Boolean matrix and $\circ$ denotes the Boolean matrix multiplication operator. We first prove an exact formula for the Boolean matrix $J$ such that $M =M\circ J^T$ holds, where $J$ is maximal in the sense that if any 0 element in $J$ is changed to a 1 then this equality no longer holds. Since minimizing $k$ is NP-hard, we propose two heuristic algorithms for finding suboptimal but good decomposition. We measure the performance (in minimizing $k$) of our algorithms on several real datasets in comparison with other representative heuristic algorithms for Boolean matrix decomposition (BMD). The results on some popular benchmark datasets demonstrate that one of our proposed algorithms performs as well or better on most of them. Our algorithms have a number of other advantages: They are based on exact mathematical formula, which can be interpreted intuitively. They can be used for approximation as well with competitive "coverage." Last but not least, they also run very fast. Due to interpretability issues in data mining, we impose the condition, called the "column use condition," that the columns of the factor matrix $U$ must form a subset of the columns of $M$.


title: DSMC-LBM mapping scheme for rarefied and non-rarefied gas flows

abstract: We present the formulation of a kinetic mapping scheme between the Direct Simulation Monte Carlo (DSMC) and the Lattice Boltzmann Method (LBM) which is at the basis of the hybrid model used to couple the two methods in view of efficiently and accurately simulate isothermal flows characterized by variable rarefaction effects. Owing to the kinetic nature of the LBM, the procedure we propose ensures to accurately couple DSMC and LBM at a larger Kn number than usually done in traditional hybrid DSMC-Navier-Stokes equation models. We show the main steps of the mapping algorithm and illustrate details of the implementation. Good agreement is found between the moments of the single particle distribution function as obtained from the mapping scheme and from independent LBM or DSMC simulations at the grid nodes where the coupling is imposed. We also show results on the application of the hybrid scheme based on a simpler mapping scheme for plane Poiseuille flow at finite Kn number. Potential gains in the computational efficiency assured by the application of the coupling scheme are estimated for the same flow.


title: Rota-Baxter Operators on pre-Lie superalgebras and beyond

abstract: In this paper, we study Rota-Baxter operators and super $\mathcal{O}$-operator of associative superalgebras, Lie superalgebras, pre-Lie superalgebras and $L$-dendriform superalgebras. Then we give some properties of pre-Lie superalgebras constructed from associative superalgebras, Lie superalgebras and $L$-dendriform superalgebras. Moreover, we provide all Rota-Baxter operators of weight zero on complex pre-Lie superalgebras of dimensions $2$ and $3$.


title: MHD Equilibria and Triggers for Prominence Eruption

abstract: Magneto-hydrodynamic (MHD) simulations of the emergence of twisted magnetic flux tubes from the solar interior into the corona are discussed to illustrate how twisted and sheared coronal magnetic structures (with free magnetic energy), capable of driving filament eruptions, can form in the corona in emerging active regions. Several basic mechanisms that can disrupt the quasi-equilibrium coronal structures and trigger the release of the stored free magnetic energy are discussed. These include both ideal processes such as the onset of the helical kink instability and the torus instability of a twisted coronal flux rope structure and the non-ideal process of the onset of fast magnetic reconnections in current sheets. Representative MHD simulations of the non-linear evolution involving these mechanisms are presented.


title: Frequency moments of the Coulomb dynamic structure factor and related integrals

abstract: This report addresses the moments, ${\mathfrak{G}_n}\left( {\mathbf{q}} \right) = \int_{ - \infty }^{ + \infty } {{\omega ^n}S\left( {{\mathbf{q}},\omega } \right)\mathrm{d}\omega },\,n \in \mathbb{N},\,n \geq - 1$, of the quantum mechanical dynamic structure factor $S\left( {{\mathbf{q}},\omega } \right)$ for a one-component Coulomb plasma in thermodynamic equilibrium. The Fluctuation Dissipation Theorem relates these moments to integrals involving the imaginary part of the inverse longitudinal dielectric function, with the odd moments in particular being equivalent to the odd moments of the imaginary part of the inverse dielectric function. Application of the Generalized Plasmon Pole Approximation arXiv:1508.05606 [physics.plasm-ph] to a weakly-coupled non-degenerate plasma, leads to general formulae expressed in terms of polynomial functions. Explicit forms of these functions are given for $n \leq 20$. These formulae are generalized to degenerate and partially degenerate plasmas, in small-$\mathbf{q}$ (long-wavelength) regimes.


title: Surprisingly large uncertainties in temperature extraction from thermal fits to hadron yield data at LHC

abstract: The conventional hadron-resonance gas (HRG) model with the Particle Data Group (PDG) hadron input, full chemical equilibrium, and the hadron type dependent eigenvolume interactions is employed to fit the hadron mid-rapidity yield data of ALICE Collaboration for the most central Pb+Pb collisions. For the case of point-like hadrons the well-known fit result $T = 154 \pm 2$ MeV is reproduced. However, the situation changes if hadrons have different eigenvolumes. In the case when all mesons are point-like while all baryons have an effective hard-core radius of 0.3 fm the $\chi^2$ temperature dependence of the $\chi^2$ has a broad minimum in the temperature range of $155-210$ MeV, with fit quality comparable to the $T \sim 155$ MeV minimum in the point-particle case. Very similar result is obtained when only baryon-baryon eigenvolume interactions are considered, with eigenvolume parameter taken from previous fit to ground state of nuclear matter. Finally, when we apply the eigenvolume corrections with mass-proportional eigenvolume $v_i \sim m_i$, fixed to particular proton hard-core radius $r_p$, we observe a second minimum in the temperature dependence of the $\chi^2$, located at the significantly higher temperatures. For instance, at $r_p = 0.5$ fm the fit quality is better than in the point-particle HRG case in a very wide temperature range of $170-320$ MeV, which gives an uncertainty in the temperature determination from the fit to the data of 150 MeV. These results show that thermal fits to the heavy-ion hadron yield data are very sensitive to the modeling of the short-range repulsion eigenvolume between hadrons, and that chemical freeze-out temperature can be extracted from the LHC hadron yield data only with sizable uncertainty.


title: Assessment of texture measures susceptibility to noise in conventional and contrast enhanced computed tomography lung tumour images

abstract: Noise is one of the major problems that hinder an effective texture analysis of disease in medical images, which may cause variability in the reported diagnosis. In this paper seven texture measurement methods (two wavelet, two model and three statistical based) were applied to investigate their susceptibility to subtle noise caused by acquisition and reconstruction deficiencies in computed tomography (CT) images. Features of lung tumours were extracted from two different conventional and contrast enhanced CT image data-sets under filtered and noisy conditions. When measuring the noise in the background open-air region of the analysed CT images, noise of Gaussian and Rayleigh distributions with varying mean and variance was encountered, and Fisher distance was used to differentiate between an original extracted lung tumour region of interest (ROI) with the filtered and noisy reconstructed versions. It was determined that the wavelet packet (WP) and fractal dimension measures were the least affected, while the Gaussian Markov random field, run-length and co-occurrence matrices were the most affected by noise. Depending on the selected ROI size, it was concluded that texture measures with fewer extracted features can decrease susceptibility to noise, with the WP and the Gabor filter having a stable performance in both filtered and noisy CT versions and for both data-sets. Knowing how robust each texture measure under noise presence is can assist physicians using an automated lung texture classification system in choosing the appropriate feature extraction algorithm for a more accurate diagnosis.


title: Using Data Analytics to Detect Anomalous States in Vehicles

abstract: Vehicles are becoming more and more connected, this opens up a larger attack surface which not only affects the passengers inside vehicles, but also people around them. These vulnerabilities exist because modern systems are built on the comparatively less secure and old CAN bus framework which lacks even basic authentication. Since a new protocol can only help future vehicles and not older vehicles, our approach tries to solve the issue as a data analytics problem and use machine learning techniques to secure cars. We develop a Hidden Markov Model to detect anomalous states from real data collected from vehicles. Using this model, while a vehicle is in operation, we are able to detect and issue alerts. Our model could be integrated as a plug-n-play device in all new and old cars.


title: Texture measures combination for improved meningioma classification of histopathological images

abstract: Providing an improved technique which can assist pathologists in correctly classifying meningioma tumours with a significant accuracy is our main objective. The proposed technique, which is based on optimum texture measure combination, inspects the separability of the RGB colour channels and selects the channel which best segments the cell nuclei of the histopathological images. The morphological gradient was applied to extract the region of interest for each subtype and for elimination of possible noise (e.g. cracks) which might occur during biopsy preparation. Meningioma texture features are extracted by four different texture measures (two model-based and two statistical-based) and then corresponding features are fused together in different combinations after excluding highly correlated features, and a Bayesian classifier was used for meningioma subtype discrimination. The combined Gaussian Markov random field and run-length matrix texture measures outperformed all other combinations in terms of quantitatively characterising the meningioma tissue, achieving an overall classification accuracy of 92.50%, improving from 83.75% which is the best accuracy achieved if the texture measures are used individually.


title: Large deviation, Basic Information Theory for Wireless Sensor Networks

abstract: In this article, we prove Shannon-MacMillan-Breiman Theorem for Wireless Sensor Networks modelled as coloured geometric random graphs. For large $n,$ we show that a Wireless Sensor Network consisting of $n$ sensors in $[0,1]^d$ connected by an average number of links of order $n\log n $ can be coded by about $[n(\log n )^2\pi^{d/2}/(d/2)!]\,\mathcal{H}$ bits, where $\mathcal{H}$ is an explicitly defined entropy. In the process, we derive a joint large deviation principle (LDP) for the \emph{empirical sensor measure} and \emph{the empirical link measure} of coloured random geometric graph models.


title: A Multiresolution Clinical Decision Support System Based on Fractal Model Design for Classification of Histological Brain Tumours

abstract: Tissue texture is known to exhibit a heterogeneous or non-stationary nature, therefore using a single resolution approach for optimum classification might not suffice. A clinical decision support system that exploits the subband textural fractal characteristics for best bases selection of meningioma brain histopathological image classification is proposed. Each subband is analysed using its fractal dimension instead of energy, which has the advantage of being less sensitive to image intensity and abrupt changes in tissue texture. The most significant subband that best identifies texture discontinuities will be chosen for further decomposition, and its fractal characteristics would represent the optimal feature vector for classification. The performance was tested using the support vector machine (SVM), Bayesian and k-nearest neighbour (kNN) classifiers and a leave-one-patient-out method was employed for validation. Our method outperformed the classical energy based selection approaches, achieving for SVM, Bayesian and kNN classifiers an overall classification accuracy of 94.12%, 92.50% and 79.70%, as compared to 86.31%, 83.19% and 51.63% for the co-occurrence matrix, and 76.01%, 73.50% and 50.69% for the energy texture signatures, respectively. These results indicate the potential usefulness as a decision support system that could complement radiologists diagnostic capability to discriminate higher order statistical textural information, for which it would be otherwise difficult via ordinary human vision.


title: Quantum fields from global propagators on asymptotically Minkowski and extended de Sitter spacetimes

abstract: We consider the wave equation on asymptotically Minkowski spacetimes and the Klein-Gordon equation on even asymptotically de Sitter spaces. In both cases we show that the extreme difference of propagators (i.e. retarded propagator minus advanced, or Feynman minus anti-Feynman), defined as Fredholm inverses, induces a symplectic form on the space of solutions with wave front set confined to the radial sets. Furthermore, we construct isomorphisms between the solution spaces and symplectic spaces of asymptotic data. As an application of this result we obtain distinguished Hadamard two-point functions from asymptotic data. Ultimately, we prove that the corresponding Quantum Field Theory on asymptotically de Sitter spacetimes induces canonically a QFT beyond the future and past conformal boundary, i.e. on two even asymptotically hyperbolic spaces. Specifically, we show this to be true both at the level of symplectic spaces of solutions and at the level of Hadamard two-point functions.


title: Ideal Containments under Flat Extensions

abstract: Let $\varphi : S = k[y_0,..., y_n] \to R = k[y_0,...,y_n]$ be given by $y_i \to f_i$ where $f_0,...,f_n$ is an $R$-regular sequence of homogeneous elements of the same degree. A recent paper shows for ideals, $I_\Delta \subseteq S$, of matroids, $\Delta$, that $I_\Delta^{(m)} \subseteq I^r$ if and only if $\varphi_*(I_\Delta)^{(m)} \subseteq \varphi_*(I_\Delta)^r$ where $\varphi_*(I_\Delta)$ is the ideal generated in $R$ by $\varphi(I_\Delta)$. We prove this result for saturated homogeneous ideals $I$ of configurations of points in $\mathbb{P}^n$ and use it to obtain many new counterexamples to $I^{(rn - n + 1)} \subseteq I^r$ from previously known counterexamples.


title: Exact Scalar-Tensor Cosmological Solutions via Noether Symmetry

abstract: In this paper, we investigate the Noether symmetries of a generalized scalar-tensor, Brans-Dicke type cosmological model, in which we consider explicit scalar field dependent couplings to the Ricci scalar, and to the scalar field kinetic energy, respectively. We also include the scalar field self-interaction potential into the gravitational action. From the condition of the vanishing of the Lie derivative of the gravitational cosmological Lagrangian with respect to a given vector field we obtain three cosmological solutions describing the time evolution of a spatially flat Friedman-Robertson-Walker Universe filled with a scalar field. The cosmological properties of the solutions are investigated in detail, and it is shown that they can describe a large variety of cosmological evolutions, including models that experience a smooth transition from a decelerating to an accelerating phase.


title: A Mathematical Theory of Co-Design

abstract: One of the challenges of modern engineering, and robotics in particular, is designing complex systems, composed of many subsystems, rigorously and with optimality guarantees. This paper introduces a theory of co-design that describes "design problems", defined as tuples of "functionality space", "implementation space", and "resources space", together with a feasibility relation that relates the three spaces. Design problems can be interconnected together to create "co-design problems", which describe possibly recursive co-design constraints among subsystems. A co-design problem induces a family of optimization problems of the type "find the minimal resources needed to implement a given functionality"; the solution is an antichain (Pareto front) of resources. A special class of co-design problems are Monotone Co-Design Problems (MCDPs), for which functionality and resources are complete partial orders and the feasibility relation is monotone and Scott continuous. The induced optimization problems are multi-objective, nonconvex, nondifferentiable, noncontinuous, and not even defined on continuous spaces; yet, there exists a complete solution. The antichain of minimal resources can be characterized as a least fixed point, and it can be computed using Kleene's algorithm. The computation needed to solve a co-design problem can be bounded by a function of a graph property that quantifies the interdependence of the subproblems. These results make us much more optimistic about the problem of designing complex systems in a rigorous way.


title: An obstruction to decomposable exact Lagrangian fillings

abstract: We study some properties of decomposable exact Lagrangian cobordisms between Legendrian links in $\mathbb{R}^3$ with the standard contact structure. In particular, for any decomposable exact Lagrangian filling $L$ of a Legendrian link $K$, we may obtain a normal ruling of $K$ associated with $L$. We prove that the associated normal rulings must have even number of clasps. As a result, we give a particular Legendrian $(4,-(2n+5))$-torus knot, for each $n \geq 0$, which does not have a decomposable exact Lagrangian filling because it has only 1 normal ruling and this normal ruling has odd number of clasps.


title: $(4,-(2n+5))$-torus knot with only 1 normal ruling

abstract: The main purpose of this paper is to provide an infinite family of counter examples of the open problem mentioned in [2]. In particular, we present an infinite family of a particular Legendrian $(4,-(2n+5))$-torus knot, for each $n \geq 0$, which has only 1 normal ruling, but do not satisfy the even number of clasps condition of Theorem 3 of [2]. Thus, these normal rulings cannot imply the existence of a decomposable exact Lagrandian filling.


title: Localization of twisted $\mathcal{N}{=}(0,2)$ gauged linear sigma models in two dimensions

abstract: We study two-dimensional $\mathcal{N}{=}(0,2)$ supersymmetric gauged linear sigma models (GLSMs) using supersymmetric localization. We consider $\mathcal{N}{=}(0,2)$ theories with an $R$-symmetry, which can always be defined on curved space by a pseudo-topological twist while preserving one of the two supercharges of flat space. For GLSMs which are deformations of $\mathcal{N}{=}(2,2)$ GLSMs and retain a Coulomb branch, we consider the $A/2$-twist and compute the genus-zero correlation functions of certain pseudo-chiral operators, which generalize the simplest twisted chiral ring operators away from the $\mathcal{N}{=}(2,2)$ locus. These correlation functions can be written in terms of a certain residue operation on the Coulomb branch, generalizing the Jeffrey-Kirwan residue prescription relevant for the $\mathcal{N}{=}(2,2)$ locus. For abelian GLSMs, we reproduce existing results with new formulas that render the quantum sheaf cohomology relations and other properties manifest. For non-abelian GLSMs, our methods lead to new results. As an example, we briefly discuss the quantum sheaf cohomology of the Grassmannian manifold.


title: CALET: a high energy astroparticle physics experiment on the ISS

abstract: CALET (CALorimetric Electron Telescope) is a high energy astroparticle physics experiment planned for a long exposure mission aboard the International Space Station (ISS) by the Japanese Aerospace Exploration Agency, in collaboration with the Italian Space Agency (ASI) and NASA. The main science goal is high precision measurements of the inclusive electron (+positron) spectrum below 1 TeV and the exploration of the energy region above 1 TeV, where the shape of the high end of the spectrum might unveil the presence of nearby sources of acceleration. CALET has been designed to achieve a large proton rejection capability (>10$^5$) with a fine grained imaging calorimeter (IMC) followed by a total absorption calorimeter (TASC), for a total thickness of 30 X$_{0}$ and 1.3 proton interaction length. With an excellent energy resolution and a lower background contamination with respect to previous experiments, CALET will search for possible spectral signatures of dark matter with both electrons and gamma rays. CALET will also measure the high energy spectra and relative abundance of cosmic nuclei from proton to iron and detect trans-iron elements up to Z$\sim$40. The charge identification of individual nuclear species is performed by a dedicated module (CHD) and by multiple dE/dx measurements in the IMC. With a large exposure and high energy resolution, CALET will be able to verify and complement the observations of CREAM, PAMELA and AMS-02 on a possible deviation from a pure power-law of proton and He spectra in the few hundred GeV region and to extend the study to the multi-TeV region. CALET will also contribute to clarify the present experimental picture on the energy dependence of the boron/carbon ratio, below and above 1 TeV/n, thereby providing valuable information on cosmic-ray propagation in the galaxy. Gamma-ray transients will be studied with a dedicated Gamma-ray Burst Monitor (GBM).


title: Reduction of gravity-matter and dS gravity to hypersurface

abstract: The quantization scheme based on reduction of the physical states \cite{Park:2014tia} is extended to two gravity-matter systems and pure dS gravity. For the gravity-matter systems we focus on quantization in a flat background for simplicity, and renormalizability is established through gauge-fixing of matter degrees of freedom. Quantization of pure dS gravity has several new novel features. It is noted that the infrared divergence does not arise in the present scheme of quantization. The lapse function constraint plays a crucial role.


title: On Temporal Regularity in Social Interactions: Predicting Mobile Phone Calls

abstract: In this paper we predict outgoing mobile phone calls using a machine learning approach. We analyze to which extent the activity of mobile phone users is predictable. The premise is that mobile phone users exhibit temporal regularity in their interactions with majority of their contacts. In the sociological context, most social interactions have fairly reliable temporal regularity. If we quantify the extension of this behavior to interactions on mobile phones we expect that caller-callee interaction is not merely a result of randomness, rather it exhibits a temporal pattern. To this end, we tested our approach on an anonymized mobile phone usage dataset collected specifically for analyzing temporal patterns in mobile phone communication. The data consists of 783 users and more than 12,000 caller-callee pairs. The results show that users' historic calling patterns can predict future calls with reasonable accuracy.


title: The Abstract Structure of Quantum Algorithms

abstract: Quantum information brings together theories of physics and computer science. This synthesis challenges the basic intuitions of both fields. In this thesis, we show that adopting a unified and general language for process theories advances foundations and practical applications of quantum information. Our first set of results analyze quantum algorithms with a process theoretic structure. We contribute new constructions of the Fourier transform and Pontryagin duality in dagger symmetric monoidal categories. We then use this setting to study generalized unitary oracles and give a new quantum blackbox algorithm for the identification of group homomorphisms, solving the GROUPHOMID problem. In the remaining section, we construct a novel model of quantum blackbox algorithms in non-deterministic classical computation. Our second set of results concerns quantum foundations. We complete work begun by Coecke et al., definitively connecting the Mermin non-locality of a process theory with a simple algebraic condition on that theory's phase groups. This result allows us to offer new experimental tests for Mermin non-locality and new protocols for quantum secret sharing. In our final chapter, we exploit the shared process theoretic structure of quantum information and distributional compositional linguistics. We propose a quantum algorithm adapted from Weibe et al. to classify sentences by meaning. The clarity of the process theoretic setting allows us to recover a speedup that is lost in the naive application of the algorithm. The main mathematical tools used in this thesis are group theory (esp. Fourier theory on finite groups), monoidal category theory, and categorical algebra.


title: On the addition formula for the tropical Hesse pencil

abstract: We give the addition formula for the tropical Hesse pencil, which is the tropicalization of the Hesse pencil parametrized by the level-three theta functions, via those for the ultradiscrete theta functions. The ultradiscrete theta functions are reduced from the level-three theta functions through the procedure of ultradiscretization by choosing their parameters appropriately. The parametrization of the level-three theta functions firstly introduced in \cite{KKNT09} gives an explicit correspondence between the amoeba of the real part of the Hesse cubic curve and the tropical Hesse curve. Moreover, through the parametrization, we obtain the subtraction-free forms of the addition formulae for the level-three theta functions, which lead to the addition formula for the tropical Hesse pencil in terms of the ultradiscretization. Using the parametrization, the tropical counterpart of the Hesse configuration is also given.


title: Statistical Learning under Nonstationary Mixing Processes

abstract: We study a special case of the problem of statistical learning without the i.i.d. assumption. Specifically, we suppose a learning method is presented with a sequence of data points, and required to make a prediction (e.g., a classification) for each one, and can then observe the loss incurred by this prediction. We go beyond traditional analyses, which have focused on stationary mixing processes or nonstationary product processes, by combining these two relaxations to allow nonstationary mixing processes. We are particularly interested in the case of $\beta$-mixing processes, with the sum of changes in marginal distributions growing sublinearly in the number of samples. Under these conditions, we propose a learning method, and establish that for bounded VC subgraph classes, the cumulative excess risk grows sublinearly in the number of predictions, at a quantified rate.


title: Inverse Reinforcement Learning via Deep Gaussian Process

abstract: We propose a new approach to inverse reinforcement learning (IRL) based on the deep Gaussian process (deep GP) model, which is capable of learning complicated reward structures with few demonstrations. Our model stacks multiple latent GP layers to learn abstract representations of the state feature space, which is linked to the demonstrations through the Maximum Entropy learning framework. Incorporating the IRL engine into the nonlinear latent structure renders existing deep GP inference approaches intractable. To tackle this, we develop a non-standard variational approximation framework which extends previous inference schemes. This allows for approximate Bayesian treatment of the feature space and guards against overfitting. Carrying out representation and inverse reinforcement learning simultaneously within our model outperforms state-of-the-art approaches, as we demonstrate with experiments on standard benchmarks ("object world","highway driving") and a new benchmark ("binary world").


title: The Improvement of Negative Sentences Translation in English-to-Korean Machine Translation

abstract: This paper describes the algorithm for translating English negative sentences into Korean in English-Korean Machine Translation (EKMT). The proposed algorithm is based on the comparative study of English and Korean negative sentences. The earlier translation software cannot translate English negative sentences into accurate Korean equivalents. We established a new algorithm for the negative sentence translation and evaluated it.


title: Unified Growth Theory Contradicted by the Economic Growth in Europe

abstract: Historical economic growth in Western and Eastern Europe is analysed. These regions should have produced the best and the most convincing confirmation of the Unified Growth Theory because they, and in particular Western Europe, were the centre of the Industrial Revolution, which according to Galor was the prime engine of economic growth. However, the data for Western and Eastern Europe show a remarkable disagreement with the Unified Growth Theory. There is no connection, whatever, between the data and the Unified Growth Theory. The data show that there was never a transition from stagnation to growth because there was no stagnation. Industrial Revolution, which should have the strongest influence in these regions, had absolutely no impact on changing the economic growth trajectories. The alleged remarkable or stunning escape from Malthusian trap did not happen because there was no trap. Unified Growth Theory does not explain the mechanism of the economic growth because its explanations are based on mythical features, which did not exist, the features contradicted by data. This theory needs to be either thoroughly revised or most likely replaced by a theory supported by a professional analysis of economic growth data.


title: On the nonrelativistic limit of a semilinear field equation in a uniform and isotropic space

abstract: The nonrelativistic limit of a semilinear field equation is considered in a uniform and isotropic space.The scale-function of the space is constructed based on the Einstein equation.The Cauchy problem of the limit-equation is considered,and global and blow-up solutions are shown in Sobolev spaces. The role of spatial variance on the problem is studied,and some dissipative properties of the limit-equation are remarked.


title: A General Method for Constructing Essential Uniform Algebras

abstract: A general method for constructing essential uniform algebras with prescribed properties is presented. Using the method, the following examples are constructed: an essential, natural, regular uniform algebra on the closed unit disc; an essential, natural counterexample to the peak point conjecture on each manifold of dimension at least three; and an essential, natural uniform algebra on the unit sphere in C^3 containing the ball algebra and invariant under the action of the 3-torus. These examples show that a smoothness hypothesis in some results of Anderson and Izzo cannot be omitted.


title: Toward a 6/5 Bound for the Minimum Cost 2-Edge Connected Spanning Subgraph Problem

abstract: Given a complete graph $K_{n}=(V, E)$ with non-negative edge costs $c\in {\mathbb R}^{E}$, the problem $2EC$ is that of finding a 2-edge connected spanning multi-subgraph of $K_{n}$ of minimum cost. The integrality gap $\alpha\text{2EC}$ of the linear programming relaxation $\text{2EC}^{\text{LP}}$ for $2EC$ has been conjectured to be $\frac{6}{5}$, although currently we only know that $\frac{6}{5}\leq\alpha\text{2EC}\leq\frac{3}{2}$. In this paper, we explore the idea of using the structure of solutions for $\text{2EC}^{\text{LP}}$ and the concept of convex combination to obtain improved bounds for $\alpha\text{2EC}$. We focus our efforts on a family $J$ of half-integer solutions that appear to give the largest integrality gap for $\text{2EC}^{\text{LP}}$. We successfully show that the conjecture $\alpha\text{2EC} = \frac{6}{5}$ is true for any cost functions optimized by some $x^{*}\in J$.


title: Zero-temperature phase diagram for double-well type potentials in the summable variation class

abstract: We study the zero-temperature limit of the Gibbs measures of a class of long-range potentials on a full shift of two symbols $\{0,1\}$. These potentials were introduced by Walters as a natural space for the transfer operator. In our case, they are locally constant, Lipschitz continuous or, more generally, of summable variation. We assume there exists exactly two ground states: the fixed points $0^\infty$ and $1^\infty$. We fully characterize, in terms of the Peierls barrier between the two ground states, the zero-temperature phase diagram of such potentials, that is, the regions of convergence or divergence of the Gibbs measures as the temperature goes to zero.


title: Measurements of Diffuse Sky Emission Components in High Galactic Latitudes at 3.5 and 4.9 um Using DIRBE and WISE Data

abstract: Using all-sky maps obtained from COBE/DIRBE at 3.5 and 4.9 um, we present a reanalysis of diffuse sky emissions such as zodiacal light (ZL), diffuse Galactic light (DGL), integrated starlight (ISL), and isotropic residual emission including the extragalactic background light (EBL). Our new analysis, which includes an improved estimate of ISL using the Wide-field Infrared Survey Explorer (WISE) data, enabled us to find the DGL signal in a direct linear correlation between diffuse near-infrared and 100 um emission at high Galactic latitudes (|b| > 35 degree). At 3.5um, the high-latitude DGL result is comparable to the low-latitude value derived from the previous DIRBE analysis. In comparison with models of the DGL spectrum assuming a size distribution of dust grains composed of amorphous silicate, graphite, and polycyclic aromatic hydrocarbon (PAH), the measured DGL values at 3.5 and 4.9 um constrain the mass fraction of PAH particles in the total dust species to be more than ~ 2%. This was consistent with the results of Spitzer/IRAC toward the lower Galactic latitude regions. The derived residual emission of 8.9 +/- 3.4 nW m^{-2} sr^{-1} at 3.5 um is marginally consistent with the level of integrated galaxy light and the EBL constraints from the gamma-ray observations. The residual emission at 4.9 um is not significantly detected due to the large uncertainty in the ZL subtraction, same as previous studies. Combined with our reanalysis of the DIRBE data at 1.25 and 2.2 um, the residual emission in the near-infrared exhibits the Rayleigh-Jeans spectrum.


title: New characterizations for core inverses in rings with involution

abstract: The core inverse for a complex matrix was introduced by Baksalary and Trenkler. Raki\'c, Din\v{c}i\'c and Djordjevi\'c generalized the core inverse of a complex matrix to the case of an element in a ring. They also proved that the core inverse of an element in a ring can be characterized by five equations and every core invertible element is group invertible. It is natural to ask when a group invertible element is core invertible, in this paper, we will answer this question. We will use three equations to characterize the core inverse of an element. That is, let $a, b\in R$, then $a\in R^{\tiny\textcircled{\tiny\#}}$ with $a^{\tiny\textcircled{\tiny\#}}=b$ if and only if $(ab)^{\ast}=ab$, $ba^{2}=a$ and $ab^{2}=b$. Finally, we investigate the additive property of two core invertible elements. Moreover, the formulae of the sum of two core invertible elements are presented.


title: Understanding Nucleic Acid Structural Changes by Comparing Wide-Angle X-ray Scattering (WAXS) Experiments to Molecular Dynamics Simulations

abstract: Wide-angle x-ray scattering (WAXS) is emerging as a powerful tool for increasing the resolution of solution structure measurements of biomolecules. Compared to its better known complement, small angle x-ray scattering (SAXS), WAXS targets higher scattering angles and can enhance structural studies of molecules by accessing finer details of solution structures. Although the extension from SAXS to WAXS is easy to implement experimentally, the computational tools required to fully harness the power of WAXS are still under development. Currently, WAXS is employed to study structural changes and ligand binding in proteins; however the methods are not as fully developed for nucleic acids. Here, we show how WAXS can qualitatively characterize nucleic acid structures as well as the small but significant structural changes driven by the addition of multivalent ions. We show the potential of WAXS to test all-atom molecular dynamics (MD) simulations and to provide insight in understanding how the trivalent ion cobalt(III) hexammine (CoHex) affects the structure of RNA and DNA helices. We find that MD simulations capture the RNA structural change that occurs due to addition of CoHex.


title: Multichannel audio signal source separation based on an Interchannel Loudness Vector Sum

abstract: In this paper, a Blind Source Separation (BSS) algorithm for multichannel audio contents is proposed. Unlike common BSS algorithms targeting stereo audio contents or microphone array signals, our technique is targeted at multichannel audio such as 5.1 and 7.1ch audio. Since most multichannel audio object sources are panned using the Inter-channel Loudness Difference (ILD), we employ the ILVS (Inter-channel Loudness Vector Sum) concept to cluster common signals (such as background music) from each channel. After separating the common signals from each channel, we employ an Expectation Maximization (EM) algorithm with a von-Mises distribution to successfully classify the clustering of sound source objects and separate the audio signals from the original mixture. Our proposed method can therefore separate common audio signals and object source signals from multiple channels with reasonable quality. Our multichannel audio content separation technique can be applied to an upmix system or a cinema audio system requiring multichannel audio source separation.


title: Basic oscillation measurables in the neutrino pair beam

abstract: It is shown that the vector current contribution of neutrino interaction with electrons in ion gives rise to oscillating component, which is absent for the axial-vector contribution, when a single neutrino is detected in the recently proposed neutrino pair beam. CP violation measurements are thus possible with high precision along with determination of mass hierarchical patterns.


title: Model Prior Distribution for Variable Selection in Linear Regression Models

abstract: In this work we discuss a novel model prior probability for variable selection in linear regression. The idea is to determine the prior mass in an objective sense, by considering the worth of each of the possible regression models, given the number of covariates under consideration. Through a simulation study, we show that the proposed prior outperforms the uniform prior and the Scott \& Berger prior in a scenario of no prior knowledge about the size of the true regression models. We illustrate the use of the prior using two well-known data sets with, respectively, 15 and 4 covariates.


title: Non-recurrent parameter rays of the Mandelbrot set

abstract: In this paper, we prove that any parameter ray at a non-recurrent angle $\theta$ lands at a non-recurrent parameter $c$ with $\theta$ a characteristic angle of $f_c$; and conversely, every non-recurrent parameter $c$ is the landing point of one or two parameter rays at non-recurrent angles, and these angles are exactly the characteristic angles of $f_c$.


title: Geometry and response of Lindbladians

abstract: Markovian reservoir engineering, in which time evolution of a quantum system is governed by a Lindblad master equation, is a powerful technique in studies of quantum phases of matter and quantum information. It can be used to drive a quantum system to a desired (unique) steady state, which can be an exotic phase of matter difficult to stabilize in nature. It can also be used to drive a system to a unitarily-evolving subspace, which can be used to store, protect, and process quantum information. In this paper, we derive a formula for the map corresponding to asymptotic (infinite-time) Lindbladian evolution and use it to study several important features of the unique state and subspace cases. We quantify how subspaces retain information about initial states and show how to use Lindbladians to simulate any quantum channels. We show that the quantum information in all subspaces can be successfully manipulated by small Hamiltonian perturbations, jump operator perturbations, or adiabatic deformations. We provide a Lindblad-induced notion of distance between adiabatically connected subspaces. We derive a Kubo formula governing linear response of subspaces to time-dependent Hamiltonian perturbations and determine cases in which this formula reduces to a Hamiltonian-based Kubo formula. As an application, we show that (for gapped systems) the zero-frequency Hall conductivity is unaffected by many types of Markovian dissipation. Finally, we show that the energy scale governing leakage out of the subspaces, resulting from either Hamiltonian/jump-operator perturbations or corrections to adiabatic evolution, is different from the conventional Lindbladian dissipative gap and, in certain cases, is equivalent to the excitation gap of a related Hamiltonian.

categories: quant-ph cond-mat.mes-hall cond-mat.stat-mech math-ph math.MP


title: The Raney Numbers and $(s,s+1)$-Core Partitions

abstract: The Raney numbers $R_{p,r}(k)$ are a two-parameter generalization of the Catalan numbers. In this paper, we obtain a recurrence relation for the Raney numbers which is a generalization of the recurrence relation for the Catalan numbers. Using this recurrence relation, we confirm a conjecture posed by Amdeberhan concerning the enumeration of $(s,s+1)$-core partitions $\lambda$ with parts that are multiples of $p$. We then give a new combinatorial interpretation for the Raney numbers $R_{p+1,r+1}(k)$ with $0\leq r<p$ in terms of $(kp+r,kp+r+1)$-core partitions $\lambda$ with parts that are multiples of $p$.


title: Topological superconductivity and fractional Josephson effect in quasi-one dimensional wires on a plane

abstract: A time-reversal invariant topological superconductivity is suggested to be realized in a quasi-one dimensional structure on a plane, which is fabricated by filling the superconducting materials into the periodic channel of dielectric matrices like zeolite and asbestos under high pressure. The topological superconducting phase sets up in the presence of large spin-orbit interactions when intra-wire s-wave and inter-wire d-wave pairings take place. Kramers pairs of Majorana bound states emerge at the edges of each wire. We analyze effects of Zeeman magnetic field on Majorana zero-energy states. In-plane magnetic field was shown to make asymmetric the energy dispersion, nevertheless Majorana fermions survive due to protection of a particle-hole symmetry. Tunneling of Majorana quasi-particle from the end of one wire to the nearest-neighboring one yields edge fractional Josephson current with $4\pi$-periodicity.


title: A Two-Grid Finite Element Approximation for A Nonlinear Time-Fractional Cable Equation

abstract: In this article, a nonlinear fractional Cable equation is solved by a two-grid algorithm combined with finite element (FE) method. A temporal second-order fully discrete two-grid FE scheme, in which the spatial direction is approximated by two-grid FE method and the integer and fractional derivatives in time are discretized by second-order two-step backward difference method and second-order weighted and shifted Gr\"unwald difference (WSGD) scheme, is presented to solve nonlinear fractional Cable equation. The studied algorithm in this paper mainly covers two steps: First, the numerical solution of nonlinear FE scheme on the coarse grid is solved, Second, based on the solution of initial iteration on the coarse grid, the linearized FE system on the fine grid is solved by using Newton iteration. Here, the stability based on fully discrete two-grid method is derived. Moreover, the a priori estimates with second-order convergence rate in time is proved in detail, which is higher than the L1-approximation result with $O(\tau^{2-\alpha}+\tau^{2-\beta})$. Finally, the numerical results by using the two-grid method and FE method are calculated, respectively, and the CPU-time is compared to verify our theoretical results.


title: Model Checking Implantable Cardioverter Defibrillators

abstract: Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It usually ends in death within seconds. The most common way to treat the symptoms of fibrillation is to implant a medical device, known as an Implantable Cardioverter Defibrillator (ICD), in the patient's body. Model-based verification can supply rigorous proofs of safety and efficacy. In this paper, we build a hybrid system model of the human heart+ICD closed loop, and show it to be a STORMED system, a class of o-minimal hybrid systems that admit finite bisimulations. In general, it may not be possible to compute the bisimulation. We show that approximate reachability can yield a finite simulation for STORMED systems, which improves on the existing verification procedure. In the process, we show that certain compositions respect the STORMED property. Thus it is possible to model check important formal properties of ICDs in a closed loop with the heart, such as delayed therapy, missed therapy, or inappropriately administered therapy. The results of this paper are theoretical and motivate the creation of concrete model checking procedures for STORMED systems.


title: Time delay estimator for predetermined repeated signal robust to narrowband interference

abstract: In this paper, time delay estimation techniques robust to narrowband interference (NBI) are proposed. Owing to the deluge of wireless signal interference these days, narrowband interference is a common problem for communication and positioning systems. To mitigate the effect of this narrow band interference, we propose a robust time delay estimator for a predetermined repeated synchronization signal in an NBI environment. We exploit an ensemble of average and sample covariance matrices to estimate the noise profile. In addition, to increase the detection probability, we suppress the variance of likelihood value by employing a von-Mises distribution in the time-delay estimator. Our proposed time delay estimator shows a better performance in an NBI environment compared to a typical time delay estimator.


title: Symbiotic Cell Differentiation and Cooperative Growth in Multicellular Aggregates

abstract: As cells grow and divide under a given environment, they become crowded and resources are limited, as seen in bacterial biofilms and multicellular aggregates. These cells often show strong interactions through exchanging chemicals, as in quorum sensing, to achieve mutualism. Here, to achieve stable division of labor, three properties are required. First, isogenous cells differentiate into several types. Second, this aggregate of distinct cell types shows better growth than that of isolated cells, by achieving division of labor. Third, this cell aggregate is robust in the number distribution of differentiated cell types. We here address how cells acquire the ability of cell differentiation and division of labor simultaneously, which is also connected with the robustness of a cell society. For this purpose, we developed a dynamical-systems model of cells consisting of chemical components with intracellular catalytic reaction dynamics. The reactions convert external nutrients into internal components for cellular growth, and the divided cells interact via chemical diffusion. We found that cells sharing an identical catalytic network spontaneously differentiate via induction from cell-cell interactions, and then achieve division of labor, enabling a higher growth rate than that in the unicellular case. This symbiotic differentiation emerged for a class of reaction networks with limited resources and strong cell-cell interactions. Then, robustness in the cell type distribution was achieved, while instability of collective growth could emerge even among the cooperative cells when the internal reserves of products were dominant. The present mechanism is simple and general as a natural result of interacting cells with resource limitation, and is consistent with the observed behaviors and forms of several aggregates of unicellular organisms.


title: Part-Stacked CNN for Fine-Grained Visual Categorization

abstract: In the context of fine-grained visual categorization, the ability to interpret models as human-understandable visual manuals is sometimes as important as achieving high classification accuracy. In this paper, we propose a novel Part-Stacked CNN architecture that explicitly explains the fine-grained recognition process by modeling subtle differences from object parts. Based on manually-labeled strong part annotations, the proposed architecture consists of a fully convolutional network to locate multiple object parts and a two-stream classification network that en- codes object-level and part-level cues simultaneously. By adopting a set of sharing strategies between the computation of multiple object parts, the proposed architecture is very efficient running at 20 frames/sec during inference. Experimental results on the CUB-200-2011 dataset reveal the effectiveness of the proposed architecture, from both the perspective of classification accuracy and model interpretability.


title: Scaling of macroscopic superpositions close to a quantum phase transition

abstract: It is well known that in a quantum phase transition (QPT), entanglement remains short ranged [Osterloh et al., Nature 416 608-610 (2005)]. We ask if there is a quantum property entailing the whole system which diverges near this point. Using the recently proposed measures of quantum macroscopisity, we show that near a quantum critical point, it is the effective size of macroscopic superposition between the two symmetry breaking states which grows to the scale of system size and its derivative with respect to the coupling shows both singular behavior and scaling properties.


title: On algebraic congruences

abstract: In this paper, we develop some foundations for a theory of algebraic geometry of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ \text{Spec}^{c}(A) $ consisting of prime congruences on a semirings $ A $ has a Zariski topological structure; Then, for two semirings $ A \subset B, $ we consider the polynomial semiring $ S = A[x_{1}, \cdots , x_{n}] $ and the affine $ n-$space $ B^{n}. $ For any congruence $ \sigma $ on $ S $ and congruence $ \rho $ on $ B, $ we introduce the $ \rho-$algebraic varieties $ Z_{\rho }(\sigma )(B)$ in $ B^{n}, $ which are the set of zeros in $ B^{n} $ of the system of polynomial $ \rho-$congruence equations given by $ \sigma . $ When $ \rho $ is a prime congruence, we find these varieties satisfying the axiom of closed sets, and forming a (Zariski) topology on $ B^{n}. $ Some results about their structures including a version of Nullstellensatz of congruences are obtained.


title: Surface tension and the Mori-Tanaka theory of non-dilute soft composite solids

abstract: Eshelby's theory is the foundation of composite mechanics, allowing calculation of the effective elastic moduli of composites from a knowledge of their microstructure. However it ignores interfacial stress and only applies to very dilute composites -- i.e. where any inclusions are widely spaced apart. Here, within the framework of the Mori-Tanaka multiphase approximation scheme, we extend Eshelby's theory to treat a composite with interfacial stress in the non-dilute limit. In particular we calculate the elastic moduli of composites comprised of a compliant, elastic solid hosting a non-dilute distribution of identical liquid droplets. The composite stiffness depends strongly on the ratio of the droplet size, $R$, to an elastocapillary length scale, $L$. Interfacial tension substantially impacts the effective elastic moduli of the composite when $R/L\lesssim 100$. When $R < 3L/2$ ($R=3L/2$) liquid inclusions stiffen (cloak the far-field signature of) the solid.


title: A geometric reduction theory for indefinite binary quadratic forms over $\mathbb{Z}[\lambda]$

abstract: Gauss' classical reduction theory for indefinite binary quadratic forms over $\mathbb{Z}$ has originally been proven by means of purely algebraic and arithmetic considerations. It was later discovered that this reduction theory is closely related to a certain symbolic dynamics for the geodesic flow on the modular surface, and hence can also be deduced geometrically. In this article, we use certain symbolic dynamics for the geodesic flow on Hecke triangle surfaces (also the non-arithmetic ones) to develop reduction theories for the indefinite binary quadratic forms associated to Hecke triangle groups. Moreover, we propose an algorithm to decide for any $g\in {\rm PSL}_2(\mathbb{R})$ whether or not $g$ is contained in the Hecke triangle group under consideration, and provide an upper estimate for its run time.


title: Twisted wild character varieties

abstract: We will construct twisted versions of the wild character varieties.


title: Normalisers of abelian ideals of a Borel subalgebra and $\mathbb Z$-gradings of a simple Lie algebra

abstract: Let $\mathfrak g$ be a simple Lie algebra and $\mathfrak{Ab}$ the poset of all abelian ideals of a fixed Borel subalgebra of $\mathfrak g$. If $\mathfrak a\in\mathfrak{Ab}$, then the normaliser of $\mathfrak a$ is a standard parabolic subalgebra of $\mathfrak g$. We give an explicit description of the normaliser for a class of abelian ideals that includes all maximal abelian ideals. We also elaborate on a relationship between abelian ideals and $\mathbb Z$-gradings of $\mathfrak g$ associated with their normalisers.


title: Transmission of a microwave cavity coupled to localized Shiba states

abstract: We consider a strongly correlated quantum dot, tunnel coupled to two superconducting leads and capacitively coupled to a single mode microwave cavity. When the superconducting gap is the largest energy scale, multiple Shiba states are formed inside the gap. The competition of these states for the ground state signals a quantum phase transition. We demonstrate that photonic measurements can be used to probe such localized Shiba states. Moreover, the quantum phase transition can be pinpointed exactly from the sudden change in the transmission signal. Calculations were performed using the numerical renormalization group approach.


title: Empirical Validation of a Thermal Model of a Complex Roof Including Phase Change Materials

abstract: This paper deals with the empirical validation of a building thermal model using a phase change material (PCM) in a complex roof. A mathematical model dedicated to phase change materials based on the heat apparent capacity method was implemented in a multi-zone building simulation code, the aim being to increase understanding of the thermal behavior of the whole building with PCM technologies. To empirically validate the model, the methodology is based both on numerical and experimental studies. A parametric sensitivity analysis was performed and a set of parameters of the thermal model have been identified for optimization. The use of a generic optimization program called GenOpt coupled to the building simulation code enabled to determine the set of adequate parameters. We first present the empirical validation methodology and main results of previous work. We then give an overview of GenOpt and its coupling with the building simulation code. Finally, once the optimization results are obtained, comparisons of thermal model of PCM with measurements are found to be acceptable and are presented.


title: Strong electron correlation behind the superconductivity in Ce-free and Ce-underdoped high-Tc T'-cuprates

abstract: In order to investigate the electronic state of Ce-free and Ce-underdoped high-Tc cuprates with the so-called T' structure, we have performed muon-spin-relaxation (muSR) and specific-heat measurements of Ce-free T'-La_1.8_Eu_0.2_CuO_4+d_ (T'-LECO) polycrystals and Ce-underdoped T'-Pr_1.3-x_La_0.7_Ce_x_CuO_4+d_ (T'-PLCCO) single crystals with x=0.10. The muSR spectra of the reduced superconducting samples of both T'-LECO with Tc=15K and T'-PLCCO with x=0.10 and Tc=27K have revealed that a short-range magnetic order coexists with the superconductivity in the ground state. The formation of a short-range magnetic order due to a tiny amount of excess oxygen in the reduced superconducting samples strongly suggest that the Ce-free and Ce-underdoped T'-cuprates are regarded as strongly correlated electron systems.


title: Strong well-posedness of McKean-Vlasov stochastic differential equation with H{\"o}lder drift

abstract: In this paper, we prove pathwise uniqueness for stochastic systems of McKean-Vlasov type with singular drift, even in the measure argument, and uniformly non-degenerate Lipschitz diffusion matrix. Our proof is based on Zvonkin's transformation \cite{zvonkin\_transformation\_1974} and so on the regularization properties of the associated PDE, which is stated on the space $[0,T]\times \R^d\times \mathcal{P}\_2(\R^d)$, where $T$ is a positive number, $d$ denotes the dimension equation and $\mathcal{P}\_2(\R^d)$ is the space of probability measures on $\R^d$ with finite second order moment. Especially, a smoothing effect in the measure direction is exhibited. Our approach is based on a parametrix expansion of the transition density of the McKean-Vlasov process.


title: A Dynamic Linear Model to Forecast Hotel Registrations in Puerto Rico Using Google Trends Data

abstract: Recently, studies have used search query volume (SQV) data to forecast a given process of interest. However, Google Trends SQV data comes from a periodic sample of queries. As a result, Google Trends data is different every week. We propose a Dynamic Linear Model that treats SQV data as a representation of an unobservable process. We apply our model to forecast the number of hotel nonresident registrations in Puerto Rico using SQV data downloaded in 11 different occasions. The model provides better inference on the association between the number of hotel nonresident registrations and SQV than using Google Trends data retrieved only on one occasion. Furthermore, our model results in more realistic prediction intervals of forecasts. However, compared to simpler models we only find evidence of better performance for our model when making forecasts on a horizon of over 6 months.


title: On a Generalization of Markowitz Preference Relation

abstract: Given two families of continuous functions $u$ and $v$ on a topological space $X$, we define a preorder $R=R(u,v)$ on $X$ by the condition that any member of $u$ is an $R$-increasing and any member of $v$ is an $R$-decreasing function. It turns out that if the topological space $X$ is quasi-compact and sequentially compact, then any element of $X$ is $R$-dominated by an $R$-maximal element of $X$. In particular, since the $(n-1)$-dimensional simplex is a compact subset of the real $n$-dimensional vector space, then considering its members as portfolios consisting of $n$ financial assets, we obtain the classical 1952 result of Harry Markowitz that any portfolio is dominated by an efficient portfolio. Moreover, several other examples of possible application of this general setup are presented.


title: Equivariant Euler characteristics of partition posets

abstract: We compute all the equivariant Euler characteristics of the $\Sigma_n$-poset of partitions of the $n$ element set.


title: Kinematic Analysis of Solar-Neighborhood Stars Based on RAVE4 Data

abstract: We consider stars with radial velocities, proper motions, and distance estimates from the RAVE4 catalogue. Based on a sample of more than 145000 stars at distances $r<0.5$~kpc, we have found the following kinematic parameters: (U,V,W)_\odot=(9.12, 20.80, 7.66)\pm(0.10, 0.10, 0.08) km s^{-1}, \Omega_0=28.71\pm0.63 km s^{-1} kpc^{-1}, and \Omega'_0=-4.28\pm0.11 km s^{-1} kpc^{-2}. This gives the linear rotation velocity V_0=230\pm12 km s^{-1} (for the adopted R_0= 8.0\pm0.4 kpc) and the Oort constants A=17.12\pm0.45 km s^{-1} kpc^{-1} and B=-11.60\pm0.77 km s^{-1} kpc^{-1}. The 2D velocity distributions in the UV, UW, and VW planes have been constructed using a local sample, r<0.25 kpc, consisting of \sim 47000 stars. A difference of the UV velocity distribution from the previously known ones constructed from a smaller amount of data has been revealed. It lies in the fact that our distribution has an extremely enhanced branch near the Wolf 630 peak. A previously unknown peak at (U,V)=(-96,-10) km s^{-1} and a separate new feature in the Wolf 630 stream, with the coordinates of its center being (U,V)=(30,-40) km s^{-1}, have been detected.


title: On the entropy of protein families

abstract: Proteins are essential components of living systems, capable of performing a huge variety of tasks at the molecular level, such as recognition, signalling, copy, transport, ... The protein sequences realizing a given function may largely vary across organisms, giving rise to a protein family. Here, we estimate the entropy of those families based on different approaches, including Hidden Markov Models used for protein databases and inferred statistical models reproducing the low-order (1-and 2-point) statistics of multi-sequence alignments. We also compute the entropic cost, that is, the loss in entropy resulting from a constraint acting on the protein, such as the fixation of one particular amino-acid on a specific site, and relate this notion to the escape probability of the HIV virus. The case of lattice proteins, for which the entropy can be computed exactly, allows us to provide another illustration of the concept of cost, due to the competition of different folds. The relevance of the entropy in relation to directed evolution experiments is stressed.


title: Stratifications and foliations for good reductions of Shimura varieties of Hodge type

abstract: Level $m$-stratifications on PEL Shimura varieties are defined and studied by Wedhorn using BT-$m$s with PEL structure, and then by Vasiu for general Hodge type Shimura varieties using Shimura $F$-crystals. The theory of foliations is established by Oort for Siegel modular varieties, and by Mantovan for PEL Shimura varieties. It plays an important role in Hamacher's work to compute the dimension of Newton strata of PEL Shimura varieties. We study level $m$ stratifications on good reductions at $p>2$ of Shimura varieties of Hodge type by constructing certain torsors together with equivariant morphisms, and relating them to truncated displays. We then use the results obtained to extend the theory of foliations to these reductions. As a consequence, combined with results of Nie and Zhu, we get a dimension formula for Newton strata.


title: Data Driven Robust Image Guided Depth Map Restoration

abstract: Depth maps captured by modern depth cameras such as Kinect and Time-of-Flight (ToF) are usually contaminated by missing data, noises and suffer from being of low resolution. In this paper, we present a robust method for high-quality restoration of a degraded depth map with the guidance of the corresponding color image. We solve the problem in an energy optimization framework that consists of a novel robust data term and smoothness term. To accommodate not only the noise but also the inconsistency between depth discontinuities and the color edges, we model both the data term and smoothness term with a robust exponential error norm function. We propose to use Iteratively Re-weighted Least Squares (IRLS) methods for efficiently solving the resulting highly non-convex optimization problem. More importantly, we further develop a data-driven adaptive parameter selection scheme to properly determine the parameter in the model. We show that the proposed approach can preserve fine details and sharp depth discontinuities even for a large upsampling factor ($8\times$ for example). Experimental results on both simulated and real datasets demonstrate that the proposed method outperforms recent state-of-the-art methods in coping with the heavy noise, preserving sharp depth discontinuities and suppressing the texture copy artifacts.


title: Lawvere theories and C-systems

abstract: In this paper we consider the class of l-bijective C-systems, i.e., C-systems for which the length function is a bijection. The main result of the paper is a construction of an isomorphism between two categories - the category of l-bijective C-systems and the category of Lawvere theories.


title: The $ J/\psi$ production in PbPb ultraperipheral collisions at $\sqrt{s_{NN}}=2.76\mathrm{TeV}$

abstract: We calculate the coherent and incoherent production of $J/\psi$ in PbPb ultraperipheral collisions. The production of $J/\psi$ in ultraperipheral collsions is product of photon flux distributions and cross section of photon-nucleus scatterings. The distributions of photon flux is computed in light-cone perturbation theory and the cross section of photon-nucleus scatterings is calculated in dipole model, we assume that the two gluons exchange contribution is the coherent cross section and the large-$N_c$ contribution is the incoherent cross section in photon-nucleus scattering. The numerical result of the rapidity distributions of $J/\psi$ production in PbPb ultraperipheral collisions at $\sqrt{s_{NN}}=2.76$TeV are compared with the experimental data measured by the ALICE collaboration.


title: Average-energy games (full version)

abstract: Two-player quantitative zero-sum games provide a natural framework to synthesize controllers with performance guarantees for reactive systems within an uncontrollable environment. Classical settings include mean-payoff games, where the objective is to optimize the long-run average gain per action, and energy games, where the system has to avoid running out of energy. We study average-energy games, where the goal is to optimize the long-run average of the accumulated energy. We show that this objective arises naturally in several applications, and that it yields interesting connections with previous concepts in the literature. We prove that deciding the winner in such games is in NP $\cap$ coNP and at least as hard as solving mean-payoff games, and we establish that memoryless strategies suffice to win. We also consider the case where the system has to minimize the average-energy while maintaining the accumulated energy within predefined bounds at all times: this corresponds to operating with a finite-capacity storage for energy. We give results for one-player and two-player games, and establish complexity bounds and memory requirements.


title: Origins of the di-jet asymmetry in heavy ion collisions

abstract: The di-jet asymmetry --- the measure of the momentum imbalance in a di-jet system --- is a key jet quenching observable. Using the event generator \jewel we show that the di-jet asymmetry is dominated by fluctuations both in proton-proton and in heavy ion collisions. We discuss how in proton-proton collisions the asymmetry is generated through recoil and out-of-cone radiation. In heavy ion collisions two additional sources contribute to the asymmetry, namely energy loss fluctuations and differences in path length. The latter is shown to be a sub-leading effect. We discuss the implications of our results for the interpretation of this observable.


title: Cool WISPs for stellar cooling excesses

abstract: Several stellar systems (white dwarfs, red giants, horizontal branch stars and possibly the neutron star in the supernova remnant Cassiopeia A) show a mild preference for a non-standard cooling mechanism when compared with theoretical models. This exotic cooling could be provided by Weakly Interacting Slim Particles (WISPs), produced in the hot cores and abandoning the star unimpeded, contributing directly to the energy loss. Taken individually, these excesses do not show a strong statistical weight. However, if one mechanism could consistently explain several of them, the hint could be significant. We analyze the hints in terms of neutrino anomalous magnetic moments, minicharged particles, hidden photons and axion-like particles (ALPs). Among them, the ALP or a massless HP represent the best solution. Interestingly, the hinted ALP parameter space is accessible to the next generation proposed ALP searches, such as ALPS II and IAXO and the massless HP requires a multi TeV energy scale of new physics that might be accessible at the LHC.


title: Light refraction by water as a rationale for the Poggendorff illusion

abstract: The Poggendorff illusion in its classical form of parallel lines interrupting a transversal is viewed from the perspective of being related to the everyday experience of observing the light refraction in water. It is argued that, if one considers a transversal to be a light ray in air and the parallel lines to form an occluding strip of a medium with the refractive index being between that of air and water, then one should be able to account, both qualitatively and quantitatively, for most of the features associated with the Poggendorff illusion. Statistical treatment of the visual experiments conducted with 7 participants, each analysing 50 configurations having different intercepting angles and strip widths, resulted in the effective refractive index of the occluding strip N = 1.13 +/- 0.15, which is sufficiently close to the average (between that of water and air) refractive index of ~ 1.17. It is further argued that the same mechanism can also be employed to account for many variants of the Poggendorff illusion, including the corner-Poggendorff pattern, as well as for the Hering illusion.


title: Efficient Estimation of Quantiles in Missing Data Models

abstract: We propose a novel targeted maximum likelihood estimator (TMLE) for quantiles in semiparametric missing data models. Our proposed estimator is locally efficient, $\sqrt{n}$-consistent, asymptotically normal, and doubly robust, under regularity conditions. We use Monte Carlo simulation to compare our proposed method to existing estimators. The TMLE is superior to all competitors, with relative efficiency up to three times smaller than the inverse probability weighted estimator (IPW), and up to two times smaller than the augmented IPW. This research is motivated by a causal inference research question with highly variable treatment assignment probabilities, and a heavy tailed, highly variable outcome. Estimation of causal effects on the mean is a hard problem in such scenarios because the information bound is generally small. In our application, the efficiency bound for estimating the effect on the mean is possibly infinite. This rules out $\sqrt{n}$-consistent inference and reduces the power for testing hypothesis of no treatment effect on the mean. In our simulations, using the effect on the median allows us to test a location-shift hypothesis with 30\% more power. This allows us to make claims about the effectiveness of treatment that would have hard to make for the effect on the mean. We provide R code to implement the proposed estimators.