title: Entanglement in fermion systems

abstract: We analyze the problem of quantifying entanglement in pure and mixed states of fermionic systems with fixed number parity yet not necessarily fixed particle number. The "mode entanglement" between one single-particle level and its orthogonal complement is first considered, and an entanglement entropy for such a partition of a particular basis of the single-particle Hilbert space $\mathcal H$ is defined. The sum over all single-particle modes of this entropy is introduced as a measure of the total entanglement of the system with respect to the chosen basis and it is shown that its minimum over all bases of $\mathcal H$ is a function of the one-body density matrix. Furthermore, we show that if minimization is extended to all bases related through a Bogoliubov transformation, then the entanglement entropy is a function of the generalized one-body density matrix. These results are then used to quantify entanglement in fermion systems with four single-particle levels. For general pure states of such a system a closed expression for the fermionic concurrence is derived, which generalizes the Slater correlation measure defined in [J. Schliemann et al, Phys. Rev. A 64, 022303 (2001)], implying that "particle entanglement" may be seen as minimum "mode entanglement". It is also shown that the entanglement entropy defined before is related to this concurrence by an expression analogous to that of the two-qubit case. For mixed states of this system the convex roof extension of the previous concurrence and entanglement entropy are evaluated analytically, extending the results of previous ref. to general states.


title: Electronic structure, magnetism and antisite disorder in CoFeCrGe and CoMnCrAl quaternary Heusler alloys

abstract: We present a combined theoretical and experimental study of two quaternary Heusler alloys CoFeCrGe (CFCG) and CoMnCrAl (CMCA), promising candidates for spintronics applications. Magnetization measurement shows the saturation magnetization and transition temperature to be $3\; \mu_B$, $866$ K and $0.9 \; \mu_B$, $358$ K for CFCG and CMCA respectively. The magnetization values agree fairly well with our theoretical results and also obey the Slater-Pauling rule, a prerequisite for half metallicity. A striking difference between the two systems is their structure; CFCG crystallizes in fully ordered Y-type structure while CMCA has L2$_1$ disordered structure. The antisite disorder adds a somewhat unique property to the second compound, which arises due to the probabilistic mutual exchange of Al positions with Cr/Mn and such an effect is possibly expected due to comparable electronegativities of Al and Cr/Mn. {\it Ab-initio} simulation predicted a unique transition from half metallic ferromagnet to metallic antiferromagnet beyond a critical excess amount of Al in the alloy.


title: Black hole entropy in the Chern-Simons-like theories of gravity and Lorentz-diffeomorphism Noether charge

abstract: In the first order formalism of gravity theories, there are some theories which are not Lorentz-diffeomorphism covariant. In the framework of such theories we cannot apply the method of conserved charge calculation used in Lorentz-diffeomorphism covariant theories. In this paper we firstly introduce the total variation of a quantity due to an infinitesimal Lorentz-diffeomorphism transformation. Secondly, in order to obtain the conserved charges of Lorentz-diffeomorphism non-covariant theories, we extend the Tachikawa method \cite{3}. This extension includes not only Lorentz gauge transformation but also the diffeomorphism. We apply this method to the Chern-Simons-like theories of gravity (CSLTG) and obtain a general formula for the entropy of black holes in those theories. Finally, some examples on CSLTG are provided and the entropy of the BTZ black hole is calculated in the context of the examples.


title: Entropic Uncertainty Principle and Information Exclusion Principle for multiple measurements in the presence of quantum memory

abstract: The Heisenberg uncertainty principle shows that no one can specify the values of the non-commuting canonically conjugated variables simultaneously. However, the uncertainty relation is usually applied to two incompatible measurements. We present tighter bounds on both entropic uncertainty relation and information exclusion principle for multiple measurements in the presence of quantum memory. As applications, three incompatible measurements on Werner state and Horodecki's bound entangled state are investigated in details.


title: The effect of center-of-mass motion on photon statistics

abstract: We analyze the photon statistics of a weakly driven cavity quantum electrodynamics system and discuss the effects of photon blockade and photon-induced tunneling by effectively utilizing instead of avoiding the center-of-mass motion of a two-level atom trapped in the cavity. With the resonant interaction between atom, photon and phonon, it is shown that the bunching and anti-bunching of photons can occur with properly driving frequency. Our study shows the influence of the imperfect cooling of atom on the blockade and provides an attempt to take advantage of the center-of-mass motion.


title: Method of training examples in solving inverse ill-posed problems of spectroscopy

abstract: Further development of the method of computational experiments for solving ill-posed problems is given. The effective (unoverstated) estimate for solution error of the first-kind equation is obtained using the truncating singular numbers spectrum of an operator. It is proposed to estimate the magnitude of the truncation by results of solving model (training, learning) examples close to the initial example (problem). This method takes into account an additional information about the solution and gives a new principle for choosing the regularization parameter and error estimate for equation solution by the Tikhonov regularization method. The method is illustrated by a numerical example from the inverse problem of spectroscopy.


title: Chaos anti-synchronization in multiple time delay power systems

abstract: We elucidate conditions for chaos anti-synchronization between two uni-directionally coupled multiple time delay power systems. The results are of some importance to prevent power black-out in the entire power grid.


title: Group-theoretical vector space model

abstract: This paper presents a group-theoretical vector space model (VSM) that extends the VSM with a group action on a vector space of the VSM. We use group and its representation theory to represent a dynamic transformation of information objects, in which each information object is represented by a vector in a vector space of the VSM. Several groups and their matrix representations are employed for representing different kinds of dynamic transformations of information objects used in the VSM. We provide concrete examples of how a dynamic transformation of information objects is performed and discuss algebraic properties involving certain dynamic transformations of information objects used in the VSM.


title: Matter coupling in partially constrained vielbein formulation of massive gravity

abstract: We consider a consistent linear effective vielbein matter coupling without introducing the Boulware-Deser ghost in ghost-free massive gravity. This is achieved in the partially constrained vielbein formulation. We first introduce the formalism and prove the absence of ghost at all scales. As next we investigate the cosmological application of this coupling in this new formulation. We show that even if the background evolution accords with the metric formulation, the perturbations display important different features in the partially constrained vielbein formulation. We study the cosmological perturbations of the two branches of solutions separately. The tensor perturbations coincide with those in the metric formulation. Concerning the vector and scalar perturbations, the requirement of absence of ghost and gradient instabilities yields slightly different allowed parameter space.


title: Vanishing shear viscosity limit and boundary layer for the one-dimensional full compressible MHD equations with large data

abstract: This paper is concerned with an initial and boundary value problem of the one-dimensional planar MHD equations for viscous, heat-conducting, compressible, ideal polytropic fluids with constant transport coefficients and large data. The vanishing shear viscosity limit is justified and the convergence rates are obtained. To capture the behavior of the solutions at small shear viscosity, we also discuss the boundary-layer thickness and the boundary-layer solution. As by-products, the global well-posedness of strong solutions with large data is established. The proofs are based on the global (uniform) estimates which are achieved by making a full use of the "effective viscous flux", the material derivatives and the structure of the one-dimensional equations. Moreover, the lower positive bound of the density is obtained by using some new ideas, which are rather different from those in the existing literature.


title: On moments of the integrated exponential Brownian motion

abstract: We present new exact expressions for a class of moments for the geometric Brownian motion, in terms of determinants, obtained using a recurrence relation and combinatorial arguments for the case of a Ito's Wiener process. We then apply the obtained exact formulas to computing averages of the solution of the logistic stochastic differential equation via a series expansion, and compare the results to the solution obtained via Monte Carlo.


title: Discovering sterile Neutrinos ligther than $M_W$ at the LHC

abstract: We study the purely leptonic $W$ decays $W^+ \to e^+ \mu^- e^+ \nu_e$ and $W^+ \to e^+ e^+ \mu^- \bar \nu_\mu$ (or their charge conjugates) produced at the LHC, induced by sterile neutrinos with mass below $M_W$ in the intermediate state. While the first mode is induced by both Dirac or Majorana neutrinos, the second mode is induced only by Majorana neutrinos, as it violates lepton number. We find that, even when the final (anti-)neutrino goes undetected, one could distinguish between these two processes, thus distinguishing the Dirac or Majorana character of the sterile neutrinos, by studying the muon spectrum in the decays.


title: Denoising without access to clean data using a partitioned autoencoder

abstract: Training a denoising autoencoder neural network requires access to truly clean data, a requirement which is often impractical. To remedy this, we introduce a method to train an autoencoder using only noisy data, having examples with and without the signal class of interest. The autoencoder learns a partitioned representation of signal and noise, learning to reconstruct each separately. We illustrate the method by denoising birdsong audio (available abundantly in uncontrolled noisy datasets) using a convolutional autoencoder.


title: Monte Carlo estimation of the number of tatami tilings

abstract: Motivated by the way Japanese tatami mats are placed on the floor, we consider domino tilings with a constraint and estimate the number of such tilings of plane regions. We map the system onto a monomer-dimer model with a novel local interaction on the dual lattice. We use a variant of the Hamiltonian replica exchange Monte Carlo method and the multi-parameter reweighting technique to study the model. The properties of the quantity are studied beyond exact enumeration and combinatorial method. The logarithm of the number of the tilings is linear in the boundary length of the region for all the regions studied.


title: Tensor network states for the description of quantum many-body systems

abstract: This thesis is divided into two mainly independent parts: In the first part, we derive a criterion to determine when a translationally invariant Matrix Product State (MPS) has long range localizable entanglement, which indicates that the corresponding state has some kind of non-local hidden order. We give examples fulfilling this criterion and eventually use it to obtain all such MPS with bond dimension 2 and 3. In the second part, we show that Projected Entangled Pair States (PEPS) in two spatial dimensions can describe chiral topological states by explicitly constructing a family of such states with a non-trivial Chern number. We demonstrate that such free fermionic PEPS must necessarily be non-injective and have gapless parent Hamiltonians. Moreover, we provide numerical evidence that they can nevertheless approximate well the physical properties of Chern insulators with local Hamiltonians at arbitrary temperatures. We also construct long range, topological Hamiltonians with a flat energy spectrum for which those PEPS are unique ground states. As for non-chiral topological PEPS, the non-trivial, topological properties can be traced down to the existence of a symmetry on the virtual level of the PEPS tensor that is used to build the state. We use the special properties of PEPS to build the boundary theory and show how the symmetry results in the appearance of chiral modes, a ground state degeneracy of the parent Hamiltonian on the torus and a universal correction to the area law for the zero R\'enyi entropy. Finally, we show that PEPS can also describe chiral topologically ordered phases. For that, we construct a simple PEPS for spin-1/2 particles in a two-dimensional lattice. We reveal a symmetry of the PEPS tensor that gives rise to the global topological character. We also extract characteristic quantities of the edge Conformal Field Theory using the bulk-boundary correspondence.


title: Entanglement temperature for black branes with hyperscaling violation

abstract: Entanglement temperature is an interesting quantity which relates the increased amount of entanglement entropy and energy for a weakly excited state in entanglement first-law, it is proportional to the inverse of the size of the entanglement subsystem and only depends on the shape of the entanglement region. We find the explicit formula of entanglement temperature for the general hyperscaling violation backgrounds with a strip-subsystem. We then investigate the entanglement temperature for a round ball-subsystem, we check that the entanglement temperature have a universal form when the hyperscaling violation exponent is near zero.


title: Scaling in topological properties of brain networks

abstract: The organization in brain networks shows highly modular features with weak inter-modular interaction. The topology of the networks involves emergence of modules and sub-modules at different levels of constitution governed by fractal laws. The modular organization, in terms of modular mass, inter-modular, and intra-modular interaction, also obeys fractal nature. The parameters which characterize topological properties of brain networks follow one parameter scaling theory in all levels of network structure which reveals the self-similar rules governing the network structure. The calculated fractal dimensions of brain networks of different species are found to decrease when one goes from lower to higher level species which implicates the more ordered and self-organized topography at higher level species. The sparsely distributed hubs in brain networks may be most influencing nodes but their absence may not cause network breakdown, and centrality parameters characterizing them also follow one parameter scaling law indicating self-similar roles of these hubs at different levels of organization in brain networks.


title: Quasi one-dimensional Bose-Einstein condensate in gravito-optical surface trap

abstract: We study both static and dynamic properties of a weakly interacting Bose-Einstein condensate (BEC) in a quasi one-dimensional gravito-optical surface trap, where the downward pull of gravity is compensated by the exponentially decaying potential of an evanescent wave. First, we work out approximate solutions of the Gross-Pitaevskii equation for both a small number of atoms using a Gaussian ansatz and a larger number of atoms using the Thomas-Fermi limit. Then we confirm the accuracy of these analytical solutions by comparing them to numerical results. From there, we numerically analyze how the BEC cloud expands non-ballistically, when the confining evanescent laser beam is shut off, showing agreement between our theoretical and previous experimental results. Furthermore, we analyze how the BEC cloud expands non-ballistically due to gravity after switching off the evanescent laser field in the presence of a hard-wall mirror. There we find that the BEC shows significant self-interference patterns for a large number of atoms, whereas for a small number of atoms, a revival of the BEC wave packet with few matter-wave interference patterns is observed.


title: The adaptation of Shamir's protocol for increasing the security of a mobile environment

abstract: The aim of the paper is to provide a solution which increases the security of a mobile environment for both individuals and for workers in an enterprise. The proposed solution adapts Shamir's approach for sharing a secret for encryption key management. One part of the key is stored on a Bluetooth (or NFC) wristband or on an enterprise server, while a mobile device is used to store all the rest. The approach can be applied for both securing documents and voice data. The solution is supported by a mathematical formality which is missing in the currently known advice within cryptographic folklore.


title: Quantization of the minimal and non-minimal vector field in curved space

abstract: The local momentum space method is used to study the quantized massive vector field (the Proca field) with the possible addition of non-minimal terms. Heat kernel coefficients are calculated and used to evaluate the divergent part of the one-loop effective action. It is shown that the naive expression for the effective action that one would write down based on the minimal coupling case needs modification. We adopt a Faddeev-Jackiw method of quantization and consider the case of an ultrastatic spacetime for simplicity. The operator that arises for non-minimal coupling to the curvature is shown to be non-minimal in the sense of Barvinsky and Vilkovisky. It is shown that when a general non-minimal term is added to the theory the result is not renormalizable with the addition of a local Lagrangian counterterm.


title: Thermodynamics of topological black holes in Brans-Dicke gravity with a power-law Maxwell field

abstract: In this paper, we present a new class of higher dimensional exact topological black hole solutions of the Brans-Dicke theory in the presence of a power-law Maxwell field as the matter source. For this aim, we introduce a conformal transformation which transforms the Einstein-dilaton-power-law Maxwell gravity Lagrangian to the Brans-Dicke-power-law Maxwell theory one. Then, by using this conformal transformation, we obtain the desired solutions. Next, we study the properties of the solutions and conditions under which we have black holes. Interestingly enough, we show that there is a cosmological horizon in the presence of a negative cosmological constant. Finally, we calculate the temperature and charge and then by calculating the Euclidean action, we obtain the mass, the entropy and the electromagnetic potential energy. We find that the entropy does not respect the area law, and also the conserved and thermodynamic quantities are invariant under conformal transformation. Using these thermodynamic and conserved quantities, we show that the first law of black hole thermodynamics is satisfied on the horizon.


title: A decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2

abstract: In this paper, we prove a decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2 with positive weight function. Then we discuss some applications of this kind of decomposition to Lusztig's conjectures P1-P15.


title: Anderson Impurity in the Bulk of 3D Topological Insulators: II. The Strong Coupling Regime

abstract: Electron scattering off an Anderson impurity immersed in the bulk of a 3D topological insulator is studied in the strong coupling regime, where the temperature $T$ is lower than the Kondo temperature $T_K$. The system displays either a self-screened Kondo effect, or a Kondo effect with SO(3) or SO(4) dynamical symmetries. Low temperature Kondo scattering for systems with SO(3) symmetry displays the behavior of a singular Fermi liquid, an elusive property that so far has been observed only in tunneling experiments. This is demonstrated through the singular behavior as $T \to 0$ of the specific heat, magnetic susceptibility and impurity resistivity, that are calculated using well known (slightly adapted) conformal field theory techniques. Quite generally, the low temperature dependence of some of these observables displays a remarkable distinction between the SO(n=3,4) Kondo effect, compared with the standard SU(2) one.


title: A purely quark Lagrangian from QCD

abstract: We present a method for determining a purely quark Lagrangian by mocking up the QCD partition function for large gauge couplings $g$. The resulting effective theory displays all the symmetries of low energy QCD and can be potentially used to explore hadron properties.


title: Cherry flows with non trivial attractors

abstract: We provide an example of Cherry flow (i.e. smooth flow on the $2$-dimensional torus with a sink and a saddle) having quasi-minimal set which is an attractor. The first return map for such a flow, constructed also in the paper, is a smooth circle map having a flat interval and a non-trivial wandering interval.


title: Detection of Earth-skimming UHE tau neutrino with the JEM-EUSO detector

abstract: The ultra high energy cosmic neutrinos are powerful astrophysical probes for both astrophysical mechanisms of particle acceleration and fundamental interactions. They open a window into the very distant and high-energy Universe that is difficult to access by any human means and devices. The possibility of detecting them in large exposure space-based apparatus, like JEM-EUSO, is an experimental challenge. In this paper we present an estimation of the feasibility of detection of UHE tau neutrino by the JEM-EUSO telescope. The interactions of tau-neutrino in sea water and Earth's crust have been investigated. The estimation of the propagation length and energy of the outgoing tau-lepton shows that if its decay occurs in the atmosphere close enough to the Earth's surface, e.g. below $\sim$ $5 km$ altitude, the cascade is intensive enough and the generated light can be detected from space. We have evaluated the geometrical aperture of the JEM-EUSO detector for the Earth-skimming (horizontal and upward-going) tau-neutrinos by making specific modifications to the standard CORSIKA code and developing an interface to the existing ESAF (EUSO Simulation and Analysis Framework) software.


title: Towards events recognition in a distributed fiber-optic sensor system: Kolmogorov-Zurbenko filtering

abstract: The paper is about de-noising procedures aimed on events recognition in signals from a distributed fiber-optic vibration sensor system based on the phase-sensitive optical time-domain reflectometry. We report experimental results on recognition of several classes of events in a seismic background. A de-noising procedure uses the framework of the time-series analysis and Kolmogorov-Zurbenko filtering. We demonstrate that this approach allows revealing signatures of several classes of events.


title: The Outer Galactic Halo As Probed By RR Lyr Stars From the Palomar Transient Facility + Keck

abstract: We present initial results from our study of the outer halo of the Milky Way using a large sample of RR Lyr(ab) variables datamined from the archives of the Palomar Transient Facility. Of the 464 RR Lyr in our sample with distances exceeding 50 kpc, 62 have been observed spectroscopically at the Keck Observatory. Radial velocities and sigma(vr) are given as a function of distance between 50 and 110 kpc, and a very preliminary rather low total mass for the Milky Way out to 110 kpc of ~7 (+-1.5) x 10**11 solar masses is derived from our data.


title: Gaussian mixture model for event recognition in optical time-domain reflectometry based sensing systems

abstract: We propose a novel approach to the recognition of particular classes of non-conventional events in signals from phase-sensitive optical time-domain-reflectometry-based sensors. Our algorithmic solution has two main features: filtering aimed at the de-nosing of signals and a Gaussian mixture model to cluster them. We test the proposed algorithm using experimentally measured signals. The results show that two classes of events can be distinguished with the best-case recognition probability close to 0.9 at sufficient numbers of training samples.


title: From semiconductor to metal: A reversible tuning of electronic properties of mono to multilayered SnS$_\mathrm{2}$ under applied strain

abstract: Controlled variation of the electronic properties of 2D materials by applying strain has emerged as a promising way to design materials for customized applications. Using first principles density functional theory calculations, we show that while the electronic structure and indirect band gap of SnS$_\mathrm{2}$ do not change significantly with the number of layers, they can be reversibly tuned by applying biaxial tensile (BT), biaxial compressive (BC), and normal compressive (NC) strains. Mono to multilayered SnS$_\mathrm{2}$ exhibit a reversible semiconductor to metal transition (S-M) at strain values of 0.17, $-$0.26, and $-$0.24 under BT, BC, and NC strains, respectively. Due to weaker interlayer coupling, the critical strain value required to achieve S-M transition in SnS$_\text{2}$ under NC strain is much higher than for MoS$_\mathrm{2}$. The S-M transition for BT, BC, and NC strains is caused by the interaction between the S-$p_z$ and Sn-$s$, S-$p_x$/$p_y$ and Sn-$s$, and S-$p_z$ and Sn-$s$ orbitals, respectively.


title: Polarizing efficiency as a guide of grain growth and interstellar magnetic field properties

abstract: We interpret the relation between the polarizing efficiency $P_{\max}/E(B-V)$ and the wavelength of the maximum polarization $\lambda_{\max}$ observed for 17 objects (including 243 stars) separated into two groups: "dark clouds" and "open clusters". The objects are assigned to one of the groups according to the distribution of the parameter $\lambda_{\max}$. We use the model of homogeneous silicate and carbonaceous spheroidal particles with the imperfect alignment and a time-evolving size distribution. The polarization is assumed to be mainly produced by large silicate particles with the sizes $r_{V} \ga r_{V,\rm cut}$. The models with the initial size distribution reproducing the average curve of the interstellar extinction fail to explain the values of $\lambda_{\max} \ga 0.65\,\mkm$ observed for several dark clouds. We assume that the grain size distribution is modified due to accretion and coagulation, according to the model of Hirashita \& Voshchinnikov (2014). After including the evolutionary effects, $\lambda_{\max}$ shifts to longer wavelengths on time-scales $\sim 20 (n_\mathrm{H}/10^3 \mathrm{cm}^{-3})^{-1}$ Myr where $n_\mathrm{H}$ is the hydrogen density in molecular clouds where dust processing occurs. The ratio $P_{\max}/E(B-V)$ goes down dramatically when the size of polarizing grains grows. The variations of the degree and direction of particle orientation influence this ratio only moderately. We have also found that the aspect ratio of prolate grains does not affect significantly the polarizing efficiency. For oblate particles, the shape effect is stronger but in most cases the polarization curves produced are too narrow in comparison with the observed ones.


title: Three-region inequalities for the second order elliptic equation with discontinuous coefficients and size estimate

abstract: In this paper, we would like to derive a quantitative uniqueness estimate, the three-region inequality, for the second order elliptic equation with jump discontinuous coefficients. The derivation of the inequality relies on the Carleman estimate proved in our previous work. We then apply the three-region inequality to study the size estimate problem with one boundary measurement.


title: Formal groups and congruences

abstract: We give a criterion of integrality of an one-dimensional formal group law in terms of congruences satisfied by the coefficients of the canonical invariant differential. For an integral formal group law a p-adic analytic formula for the local characteristic polynomial at p is given. We demonstrate applications of our results to formal group laws attached to L-functions, Artin--Mazur formal groups of algebraic varieties and hypergeometric formal group laws. (This is the final version submitted to a journal; new parts are added in the section on hypergeometric formal group laws.)


title: Robust Visual Tracking via Inverse Nonnegative Matrix Factorization

abstract: The establishment of robust target appearance model over time is an overriding concern in visual tracking. In this paper, we propose an inverse nonnegative matrix factorization (NMF) method for robust appearance modeling. Rather than using a linear combination of nonnegative basis matrices for each target image patch in the conventional NMF, the proposed method is a reverse thought to conventional NMF tracker. It utilizes both the foreground and background information, and imposes a local coordinate constraint, where the basis matrix is sparse matrix from the linear combination of candidates with corresponding nonnegative coefficient vectors. Inverse NMF is used as a feature encoder, where the resulting coefficient vectors are fed into a SVM classifier for separating the target from the background. The proposed method is tested on several videos and compared with seven state-of-the-art methods. Our results have provided further support to the effectiveness and robustness of the proposed method.


title: A Parallel Framework for Parametric Maximum Flow Problems in Image Segmentation

abstract: This paper presents a framework that supports the implementation of parallel solutions for the widespread parametric maximum flow computational routines used in image segmentation algorithms. The framework is based on supergraphs, a special construction combining several image graphs into a larger one, and works on various architectures (multi-core or GPU), either locally or remotely in a cluster of computing nodes. The framework can also be used for performance evaluation of parallel implementations of maximum flow algorithms. We present the case study of a state-of-the-art image segmentation algorithm based on graph cuts, Constrained Parametric Min-Cut (CPMC), that uses the parallel framework to solve parametric maximum flow problems, based on a GPU implementation of the well-known push-relabel algorithm. Our results indicate that real-time implementations based on the proposed techniques are possible.


title: Disformal transformation in Newton-Cartan geometry

abstract: Newton-Cartan geometry has played a central role in recent discussions of non-relativistic holography and condensed matter systems. Although the conformal transformation in non-relativistic holography can be easily rephrased in Newton-Cartan geometry, we show that it requires a nontrivial procedure to get the consistent form of anisotropic disformal transformation in this geometry. Furthermore, as an application of the newly obtained disformal transformation, we use it to induce a new geometry.


title: Krichever-Novikov Vertex Algebras on Compact Riemann Surfaces

abstract: We give a notation of Krichever-Novikov vertex algebras on compact Riemann surfaces which is a bit weaker, but quite similar to vertex algebras. As example, we construct Krichever-Novikov vertex algebras of generalized Heisenberg algebras on arbitrary compact Riemann surfaces, which are reduced to be Heisenberg vertex algebra when restricted on Riemann spheres.


title: Controversy over large proximity induced s wave like pairing from a d wave superconductor

abstract: Proximity effect is used to generate effective topological superconductor by placing strong spin orbit interacting metals with superconducting materials, aiming to produce Majorana zero modes useful for topologically protected quantum computations. In recent experiments high $T_c$ material $\text{Bi}_2\text{Sr}_2\text{CaCu}_2\text{O}_{8+\delta}$ is put in contact with a few quintuple layer thick $\text{Bi}_2\text{Se}_3$, and conflicting experimental results are reported. We use standard mean field approach to study this heterostructure, and find it is unlikely to have large proximity induced superconducting gap. The claimed observed s-wave gap might not be purely superconducting coherence gap despite its seemingly correct temperature dependence. Further study on the proximity induced bulk coherence gap and the band structure at the interface should shed light on this issue.


title: B-orbits of square zero in nilradical of the symplectic algebra

abstract: Let $SP_n(\mathbb{C})$ be the symplectic group and $\mathfrak{sp}_n(\mathbb{C})$ its Lie algebra. Let $B$ be a Borel subgroup of $SP_n(\mathbb{C} )$, $\mathfrak{b}={\rm Lie}(B)$ and $\mathfrak n$ its nilradical. Let $\mathcal X$ be a subvariety of elements of square 0 in $\mathfrak n.$ $B$ acts adjointly on $\mathcal X$. In this paper we describe topology of orbits $\mathcal X/B$ in terms of symmetric link patterns. Further we apply this description to the computations of the closures of orbital varieties of nilpotency order 2 and to their intersections. In particular we show that all the intersections of codimension 1 are irreducible.


title: Combinatorial Intricacies of Labeled Fano Planes

abstract: Given a seven-element set $X = \{1,2,3,4,5,6,7\}$, there are 30 ways to define a Fano plane on it. Let us call a line of such Fano plane, that is to say an unordered triple from $X$, ordinary or defective according as the sum of two smaller integers from the triple is or is not equal to the remaining one, respectively. A point of the labeled Fano plane is said to be of order $s$, $0 \leq s \leq 3$, if there are $s$ {\it defective} lines passing through it. With such structural refinement in mind, the 30 Fano planes are shown to fall into eight distinct types. Out of the total of 35 lines, nine ordinary lines are of five different kinds, whereas the remaining 26 defective lines yield as many as ten distinct types. It is shown, in particular, that no labeled Fano plane can have all points of zeroth order, or feature just one point of order two. A connection with prominent configurations in Steiner triple systems is also pointed out.


title: Stochastic thermodynamics in many-particle systems

abstract: We study the thermodynamic properties of a microscopic model of coupled oscillators that exhibits a dynamical phase transition from a desynchronized to a synchronized phase. We consider two different configurations for the thermodynamic forces applied on the oscillators, one resembling the macroscopic power grids, and one resembling autonomous molecular motors. We characterize the input and the output power as well as the efficiency at maximum power, providing analytic expressions for such quantities near the critical coupling strength. We discuss the role of the quenched disorder in the thermodynamic force distributions and show that such a disorder may lead to an enhancement of the efficiency at maximum power.


title: Energy-Efficient Data Transmission with A Non-FIFO Packet

abstract: This paper investigates the problem of energy-efficient packet transmission with a non-FIFO Packet over a point-to-point additive white Gaussian noise (AWGN) time-invariant channel under the feasibility constraints. More specifically, we consider the scenario where there is a packet that has a deadline that is earlier than that of the previously arrived packet. For this problem, the First-In-First-Out (FIFO) transmission mode adopted in the existing literatures is no longer optimal. We first propose a novel packet split and reorder process which convert the inconsistency in the order of deadlines and arrival instants of the packet sequence into a consistent one. After the split and reorder process, the original problem considered in this paper is transformed into the problem of finding the optimal split factor. We propose an algorithm that finds the split factor which consists of checking four possibilities by applying the existing optimal transmission strategy \emph{"String Tautening"} for FIFO packets. In addition, we prove the optimality of the proposed algorithm in the presence of a non-FIFO packet by exploiting the optimality properties of the most energy efficient transmission strategy. Based on the proposed optimal offline scheme, an efficient online policy which assumes causal arrival information is also studied and shown to achieve a comparable performance to the proposed optimal offline scheme.


title: Enhancement factor for two-neutron transfer reactions with a schematic coupled-channels model

abstract: Probabilities for two-neutron transfer reactions, $P_{\rm 2n}$, are often discussed in comparison with the square of the corresponding probabilities for one-neutron transfer process, $(P_{\rm 1n})^2$, implicitly assuming that $(P_{\rm 1n})^2$ provides the probability of two-neutron transfer reactions in the absence of the pairing correlation. We use a schematic coupled-channels model, in which the transfers are treated as effective inelastic channels, and demonstrate that this model leads to $P_{\rm 2n}=(P_{\rm 1n})^2/4$, rather than $P_{\rm 2n}=(P_{\rm 1n})^2$, in the pure sequential limit. We argue that a simple model with spin-up and spin-down neutrons in a single-particle orbital also leads to the same conclusion.


title: Exotic Hadrons and Underlying Z_{2,3} Symmetries

abstract: The recent observation of higher quark combinations, tetraquarks and pentaquarks, is a strong indication of more exotic hadrons. Using Z_{2} and Z_{3} symmetries and standard model data, a general quark combination producing new hadronic states is proposed in terms of polygon geometries according to the Dynkin diagrams of \widehat{A}_{n} affine Lie algebras. It has been shown that Z_{\mathbf{2,3}} invariance is crucial in the determination of the mesonic or the baryonic nature of these states. The hexagonal geometry is considered in some details producing both mesonic and baryonic states. A general class of this family is also presented.


title: Topological entropy for partial actions of the group $\mathbb Z$

abstract: In this paper we introduce the definition of entropy for a partial $\mathbb{Z}$-action. We show that the definition of partial entropy is an extension of the definition of topological entropy for a $\mathbb Z$-action. We also prove that the partial topological entropy is concentrated on the non-wandering set.


title: A kinetic equation for repulsive coalescing random jumps in continuum

abstract: A continuum individual-based model of hopping and coalescing particles is introduced and studied. Its microscopic dynamics are described by a hierarchy of evolution equations obtained in the paper. Then the passage from the micro- to mesoscopic dynamics is performed by means of a Vlasov-type scaling. The existence and uniqueness of the solutions of the corresponding kinetic equation are proved.


title: Image Set Querying Based Localization

abstract: Conventional single image based localization methods usually fail to localize a querying image when there exist large variations between the querying image and the pre-built scene. To address this, we propose an image-set querying based localization approach. When the localization by a single image fails to work, the system will ask the user to capture more auxiliary images. First, a local 3D model is established for the querying image set. Then, the pose of the querying image set is estimated by solving a nonlinear optimization problem, which aims to match the local 3D model against the pre-built scene. Experiments have shown the effectiveness and feasibility of the proposed approach.


title: Global Dynamics for the coupled Einstein-Maxwell system with pseudo-tensor of pressure on Bianchi spacetimes

abstract: Global existence to the coupled Einstein-Maxwell system which rules the dynamics of a kind of charged matter with a pseudo-tensor of pressure is proved, in Bianchi I-VIII spacetimes. We study the geodesics completeness, the asymptotic behavior, the positivity conditions, and we prove that the problem is well-posed in the sense of Hadamard.


title: Did the progenitor of SN2011dh have a binary companion?

abstract: We present late-time Hubble Space Telescope (HST) ultraviolet (UV) and optical observations of the site of SN 2011dh in the galaxy M51, ~1164 days post-explosion. At the SN location, we observe a point source that is visible at all wavelengths, that is significantly fainter than the spectral energy distribution (SED) of the Yellow Supergiant progenitor observed prior to explosion. The previously reported photometry of the progenitor is, therefore, completely unaffected by any sources that may persist at the SN location after explosion. In comparison with the previously reported late-time photometric evolution of SN 2011dh, we find that the light curve has plateaued at all wavelengths. The SED of the late-time source is clearly inconsistent with a SED of stellar origin. Although the SED is bright at UV wavelengths, there is no strong evidence that the late-time luminosity originates solely from a stellar source corresponding to the binary companion, although a partial contribution to the observed UV flux from a companion star can not be ruled out.


title: LT Codes Combined with Network Coding for Multihop Powerline Smart Grid Networks

abstract: This paper describes a novel approach for combining Luby Transform (LT) codes and Network Coding (NC) in the context of PowerLine Communications (PLC) smart grid networks. Multihop transmissions of LT-encoded data on PLC networks are considered and algorithms to combine data at relay nodes are proposed. Without the need to decode and then re-encode the total received data stream, the relay nodes can forward the received data stream while adding at the same time their own data. Simulation results are provided confirming the good performance of the proposed algorithms.


title: Qualitative Results on the Dynamics of a Berger Plate with Nonlinear Boundary Damping

abstract: The dynamics of a (nonlinear) Berger plate in the absence of rotational inertia are considered with inhomogenous boundary conditions. In our analysis, we consider boundary damping in two scenarios: (i) free plate boundary conditions, or (ii) hinged-type boundary conditions. In either situation, the nonlinearity gives rise to complicating boundary terms. In the case of free boundary conditions we show that well-posedness of finite-energy solutions can be obtained via highly non- linear boundary dissipation. Additionally, we show the existence of a compact global attractor for the dynamics in the presence of hinged-type boundary dissipation (assuming a geometric condition on the entire boundary [22]). To obtain the existence of the attractor we explicitly construct the absorbing set for the dynamics by employing energy methods that: (i) exploit the structure of the Berger nonlinearity, and (ii) utilize sharp trace results for the Euler-Bernoulli plate in [24]. We provide a parallel commentary (from a mathematical point of view) to the discussion of modeling with Berger versus von Karman nonlinearities: to wit, we describe the derivation of each nonlinear dynamics and a discussion of the validity of the Berger approximation. We believe this discussion to be of broad value across engineering and applied mathematics communities.


title: Minimal surfaces with two ends which have the least total absolute curvature

abstract: In this paper, we consider complete non-catenoidal minimal surfaces of finite total curvature with two ends. A family of such minimal surfaces with least total absolute curvature is given. Moreover, we obtain a uniqueness theorem for this family from its symmetries.


title: Multimessenger astronomy

abstract: In this paper we provide a short overview of the scope and strong future potential of a multi-messenger approach to gravitational-wave astronomy, that seeks to optimally combine gravtitational wave and electromagnetic observations. We highlight the importance of a multi-messenger approach for detecting gravitational wave sources, and also describe some ways in which joint gravitational wave and electromagnetic observations can improve the estimation of source parameters and better inform our understanding of the sources themselves -- thus enhancing their potential as probes of astrophysics and cosmology.


title: New results on affine invariant points

abstract: We prove a conjecture of B. Gr\"unbaum stating that the set of affine invariant points of a convex body equals to the set of points invariant under all affine linear symmetries of the convex body. As a consequence we give a short proof on the fact that the affine space of affine linear points is infinite dimensional. In particular, we show that the set of affine invariant points with no dual is of second category. We investigate extremal cases for a class of symmetry measures. We show that the center of the John and L\"owner ellipsoid can be far apart and we give the optimal order for the extremal distance of the two centers.


title: Robust Pilot Decontamination Based on Joint Angle and Power Domain Discrimination

abstract: We address the problem of noise and interference corrupted channel estimation in massive MIMO systems. Interference, which originates from pilot reuse (or contamination), can in principle be discriminated on the basis of the distributions of path angles and amplitudes. In this paper we propose novel robust channel estimation algorithms exploiting path diversity in both angle and power domains, relying on a suitable combination of the spatial filtering and amplitude based projection. The proposed approaches are able to cope with a wide range of system and topology scenarios, including those where, unlike in previous works, interference channel may overlap with desired channels in terms of multipath angles of arrival or exceed them in terms of received power. In particular we establish analytically the conditions under which the proposed channel estimator is fully decontaminated. Simulation results confirm the overall system gains when using the new methods.


title: A General Implicit/Inverse Function Theorem

abstract: The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized version.


title: Botivist: Calling Volunteers to Action Using Online Bots

abstract: To help activists call new volunteers to action, we present Botivist: a platform that uses Twitter bots to find potential volunteers and request contributions. By leveraging different Twitter accounts, Botivist employs different strategies to encourage participation. We explore how people respond to bots calling them to action using a test case about corruption in Latin America. Our results show that the majority of volunteers (>80%) who responded to Botivist's calls to action contributed relevant proposals to address the assigned social problem. Different strategies produced differences in the quantity and relevance of contributions. Some strategies that work well offline and face-to-face appeared to hinder people's participation when used by an online bot. We analyze user behavior in response to being approached by bots with an activist purpose. We also provide strong evidence for the value of this type of civic media, and derive design implications.


title: Reformulating noncontextuality inequalities in an operational approach

abstract: A new theory-independent noncontextuality inequality is presented [Phys. Rev. Lett. 115, 110403 (2015)] based on Kochen-Specker (KS) set without imposing the assumption of determinism. By proposing novel noncontextuality inequalities, we show that such result can be generalized from KS set to the noncontextuality inequalities not only for state-independent but also for state-dependent scenario. The YO-13 ray and $n$ cycle ray are considered as examples.


title: Special cubic Cremona transformations of $\mathbb{P}^6$ and $\mathbb{P}^7$

abstract: A famous result of B. Crauder and S. Katz (1989) concerns the classification of special Cremona transformations whose base locus has dimension at most two. Furthermore, they also proved that a special Cremona transformation with base locus of dimension three has to be one of the following: 1) a quinto-quintic transformation of $\mathbb{P}^5$; 2) a cubo-quintic transformation of $\mathbb{P}^6$; or 3) a quadro-quintic transformation of $\mathbb{P}^8$. Special Cremona transformations as in case 1) have been classified by L. Ein and N. Shepherd-Barron (1989), while in our previous work (2013), we classified special quadro-quintic Cremona transformations of $\mathbb{P}^8$. The main aim here is to consider the problem of classifying special cubo-quintic Cremona transformations of $\mathbb{P}^6$, concluding the classification of special Cremona transformations whose base locus has dimension three.


title: Capacity and Expressiveness of Genomic Tandem Duplication

abstract: The majority of the human genome consists of repeated sequences. An important type of repeated sequences common in the human genome are tandem repeats, where identical copies appear next to each other. For example, in the sequence $AGTC\underline{TGTG}C$, $TGTG$ is a tandem repeat, that may be generated from $AGTCTGC$ by a tandem duplication of length $2$. In this work, we investigate the possibility of generating a large number of sequences from a \textit{seed}, i.e.\ a small initial string, by tandem duplications of bounded length. We study the capacity of such a system, a notion that quantifies the system's generating power. Our results include \textit{exact capacity} values for certain tandem duplication string systems. In addition, motivated by the role of DNA sequences in expressing proteins via RNA and the genetic code, we define the notion of the \textit{expressiveness} of a tandem duplication system as the capability of expressing arbitrary substrings. We then \textit{completely} characterize the expressiveness of tandem duplication systems for general alphabet sizes and duplication lengths. In particular, based on a celebrated result by Axel Thue from 1906, presenting a construction for ternary square-free sequences, we show that for alphabets of size 4 or larger, bounded tandem duplication systems, regardless of the seed and the bound on duplication length, are not fully expressive, i.e. they cannot generate all strings even as substrings of other strings. Note that the alphabet of size 4 is of particular interest as it pertains to the genomic alphabet. Building on this result, we also show that these systems do not have full capacity. In general, our results illustrate that duplication lengths play a more significant role than the seed in generating a large number of sequences for these systems.


title: A consequence of the factorisation theorem for polynomial orbits on nilmanifolds

abstract: We discuss a consequence of Green and Tao's factorisation theorem for polynomial orbits on nilmanifolds, adjusted to the requirements of certain arithmetic applications. More precisely, we prove a generalisation of Theorem 16.4, Acta Arith. 154 (2012), 235-306, by slightly rearranging its proof. The thus achieved strengthening of the result removes an oversight in the above-cited paper which resulted from the previously too weak conclusion. Since this type of result proved essential for further applications, we take the opportunity to discuss it in more detail.


title: Nuclear annihilation by antinucleons

abstract: We examine the momentum dependence of $\bar p$$p$ and $\bar n$$p$ annihilation cross sections by considering the transmission through a nuclear potential and the $\bar p p$ Coulomb interaction. Compared to the $\bar n p$ annihilation cross section, the $\bar p p$ annihilation cross section is significantly enhanced by the Coulomb interaction for projectile momenta below $p_{\rm lab} <$ 500 MeV/$c$, and the two annihilation cross sections approach the Pomeranchuk's equality limit [JETP Lett. {\bb 30}, 423 (1956)] at $p_{\rm lab}\sim 500$ MeV/$c$. Using these elementary cross sections as the basic input data, the extended Glauber model is employed to evaluate the annihilation cross sections for $\bar n$ and $\bar p$ interaction with nuclei and the results compare well with experimental data.


title: Syntactic complexity of regular ideals

abstract: The state complexity of a regular language is the number of states in a minimal deterministic finite automaton accepting the language. The syntactic complexity of a regular language is the cardinality of its syntactic semigroup. The syntactic complexity of a subclass of regular languages is the worst-case syntactic complexity taken as a function of the state complexity $n$ of languages in that class. We prove that $n^{n-1}$, $n^{n-1}+n-1$, and $n^{n-2}+(n-2)2^{n-2}+1$ are tight upper bounds on the syntactic complexities of right ideals and prefix-closed languages, left ideals and suffix-closed languages, and two-sided ideals and factor-closed languages, respectively. Moreover, we show that the transition semigroups meeting the upper bounds for all three types of ideals are unique, and the numbers of generators (4, 5, and 6, respectively) cannot be reduced.


title: Deep Convolutional Features for Image Based Retrieval and Scene Categorization

abstract: Several recent approaches showed how the representations learned by Convolutional Neural Networks can be repurposed for novel tasks. Most commonly it has been shown that the activation features of the last fully connected layers (fc7 or fc6) of the network, followed by a linear classifier outperform the state-of-the-art on several recognition challenge datasets. Instead of recognition, this paper focuses on the image retrieval problem and proposes a examines alternative pooling strategies derived for CNN features. The presented scheme uses the features maps from an earlier layer 5 of the CNN architecture, which has been shown to preserve coarse spatial information and is semantically meaningful. We examine several pooling strategies and demonstrate superior performance on the image retrieval task (INRIA Holidays) at the fraction of the computational cost, while using a relatively small memory requirements. In addition to retrieval, we see similar efficiency gains on the SUN397 scene categorization dataset, demonstrating wide applicability of this simple strategy. We also introduce and evaluate a novel GeoPlaces5K dataset from different geographical locations in the world for image retrieval that stresses more dramatic changes in appearance and viewpoint.


title: Intermediates, Catalysts, Persistence, and Boundary Steady States

abstract: For dynamical systems arising from chemical reaction networks, persistence is the property that each species concentration remains positively bounded away from zero, as long as species concentrations were all positive in the beginning. We describe two graphical procedures for simplifying reaction networks without breaking known necessary or sufficient conditions for persistence, by iteratively removing so-called intermediates and catalysts from the network. The procedures are easy to apply and, in many cases, lead to highly simplified network structures, such as monomolecular networks. For specific classes of reaction networks, we show that these conditions for persistence are equivalent to one another. Furthermore, they can also be characterized by easily checkable strong connectivity properties of a related graph. In particular, this is the case for (conservative) monomolecular networks, as well as cascades of a large class of post-translational modification systems (of which the MAPK cascade and the $n$-site futile cycle are prominent examples). Since one of the aforementioned sufficient conditions for persistence precludes the existence of boundary steady states, our method also provides a graphical tool to check for that.


title: Image Retrieval Based on LBP Pyramidal Multiresolution using Reversible Watermarking

abstract: In the medical field, images are increasingly used to facilitate diagnosis of diseases. These images are stored in multimedia databases accompanied by doctor s prescriptions and other information related to patients.Search for medical images has become for clinical applications an essential tool to bring effective aid in diagnosis. Content Based Image Retrieval (CBIR) is one of the possible solutions to effectively manage these databases. Our contribution is to define a relevant descriptor to retrieve images based on multiresolution analysis of texture using Local Binary Pattern LBP. This descriptor once calculated and information s relating to the patient; will be placed in the image using the technique of reversible watermarking. Thereby, the image, descriptor of its contents, the BFILE locator and patientrelated information become a single entity, so even the administrator cannot have access to the patient private data.


title: Kinetic theory of phonons in weakly anharmonic particle chains

abstract: The aim of this review is to develop the kinetic theory of phonons in classical particle chains to a point which allows comparing the kinetic theory of normally conducting chains, with an anharmonic pinning potential, to the kinetic theory of the anomalously conducting FPU chains. In addition to reviewing existing results from the literature, we present a streamlined derivation of the phonon Boltzmann collision operators using Wick polynomials, as well as details about the estimates which are needed to study the effect of the collision operator. This includes explicit solutions of the collisional constraints, both with and without harmonic pinning. We also recall in detail the derivation of the Green-Kubo formula for thermal conductivity in these systems, and the relation between entropy and the Boltzmann H-theorem for the phonon Boltzmann equations. The focus is in systems which are spatially translation invariant perturbations of thermal equilibrium states. We apply the results to obtain detailed predictions from kinetic theory for the Green-Kubo correlation functions, and hence the thermal conductivities, of the chain with a quartic pinning potential as well as the standard FPU-beta chain.


title: Quantization and centroidal Voronoi tessellations for probability measures on dyadic Cantor sets

abstract: Quantization of a probability distribution is the process of estimating a given probability by a discrete probability that assumes only a finite number of levels in its support. Centroidal Voronoi tessellations (CVT) are Voronoi tessellations of a region such that the generating points of the tessellations are also the centroids of the corresponding Voronoi regions. In this paper, we investigate the optimal quantization and the centroidal Voronoi tessellations with $n$ generators for a Borel probability measure $P$ on $\mathbb R$ supported by a dyadic Cantor set generated by two self-similar mappings with similarity ratios $r$, where $0<r\leq \frac{5-\sqrt{17}}2$.


title: Collisionless self-gravitating statistical systems of scalar interacting particles

abstract: This paper is devoted to consideration of the theory of collisionless statistical systems with interparticle scalar interaction. The mathematical model of such systems is constructed and the exact solution of Vlasov equation for isotropic homogenous model of the Universe is found. Asymptotic solutions of self-consistent Vlasov - Einstein model for conformally invariant scalar interactions are found.


title: A proof of some conjectures of Mao on partition rank inequalities

abstract: Based on work of Atkin and Swinnerton-Dyer on partition rank difference functions, and more recent work of Lovejoy and Osburn, Mao has proved several inequalities between partition ranks modulo $10$, and additional results modulo $6$ and $10$ for the $M_2$ rank of partitions without repeated odd parts. Mao conjectured some additional inequalities. We prove some of Mao's rank inequality conjectures for both the rank and the $M_2$ rank modulo $10$ using elementary methods.


title: Antimatter in the Direct-Action Theory of Fields

abstract: One of Feynman's greatest contributions to physics was the interpretation of negative energies as antimatter in quantum field theory. A key component of this interpretation is the Feynman propagator, which seeks to describe the behavior of antimatter at the virtual particle level. Ironically, it turns out that one can dispense with the Feynman propagator in a direct-action theory of fields, while still retaining the interpretation of negative energy solutions as antiparticles.


title: Robust Image Sentiment Analysis Using Progressively Trained and Domain Transferred Deep Networks

abstract: Sentiment analysis of online user generated content is important for many social media analytics tasks. Researchers have largely relied on textual sentiment analysis to develop systems to predict political elections, measure economic indicators, and so on. Recently, social media users are increasingly using images and videos to express their opinions and share their experiences. Sentiment analysis of such large scale visual content can help better extract user sentiments toward events or topics, such as those in image tweets, so that prediction of sentiment from visual content is complementary to textual sentiment analysis. Motivated by the needs in leveraging large scale yet noisy training data to solve the extremely challenging problem of image sentiment analysis, we employ Convolutional Neural Networks (CNN). We first design a suitable CNN architecture for image sentiment analysis. We obtain half a million training samples by using a baseline sentiment algorithm to label Flickr images. To make use of such noisy machine labeled data, we employ a progressive strategy to fine-tune the deep network. Furthermore, we improve the performance on Twitter images by inducing domain transfer with a small number of manually labeled Twitter images. We have conducted extensive experiments on manually labeled Twitter images. The results show that the proposed CNN can achieve better performance in image sentiment analysis than competing algorithms.


title: Retractions of free MV-algebras and unital $\ell$-groups

abstract: A number of papers deal with the problem of counting the number of retractions of a structure $S$ onto a substructure $T.$ In the particular case when $S$ is a free algebra, this number is $\geq 1$ iff $T$ is projective. In this paper we consider the case when $T$ is a projective lattice-ordered abelian group with a distinguished strong order unit, or equivalently, a projective MV-algebra. Let $A$ be a retract of the free $n$-generator MV-algebra $\mathcal{M}([0,1]^n)$ of McNaughton functions on $[0,1]^n$. We prove that the number $\mathsf{r}(A)$ of retractions of $\mathcal{M}([0,1]^n)$ onto $A$ is finite if, and only if, the maximal spectral space $\mu_A$ is homeomorphic to a (Kuratowski) closed domain $M$ of $[0,1]^n$, in the sense that $M=\mathsf{cl}(\mathsf{int}(M))$. Further, the closed domain condition is decidable and $\mathsf{r}(A)$ is computable, once a retraction onto $A$ is explicitly given. Thus every finitely generated projective MV-algebra $B$ comes equipped with a new invariant $\iota(B)=\sup\{\mathsf{r}(A) \mid \mbox{$A\cong B$ for $A$ a retract of $\mathcal{M}([0,1]^{k})$} \},$ where $k$ is the smallest number of generators of $B$. We compute $\iota(B)$ for many projective MV-algebras $B$ considered in the literature. Various problems concerning retractions of free MV-algebras are shown to be decidable. Via the $\Gamma$ functor, our results and computations automatically transfer to finitely generated projective abelian $\ell$-groups with a distinguished strong unit.


title: Fractional-order Generalized Principle of Self-Support (FOG PSS) in Control Systems Design

abstract: This paper reviews research that studies the principle of self-support (PSS) in some control systems and proposes a fractional-order generalized PSS framework for the first time. The existing PSS approach focuses on practical tracking problem of integer-order systems including robotic dynamics, high precision linear motor system, multi-axis high precision positioning system with unmeasurable variables, imprecise sensor information, uncertain parameters and external disturbances. More generally, by formulating the fractional PSS concept as a new generalized framework, we will focus in the possible fields on the fractional-order control problems such as practical tracking, $\lambda$-tracking, etc. of robot systems, multiple mobile agents, discrete dynamical systems, time delay systems and other uncertain nonlinear systems. Finally, the practical tracking of a first-order uncertain model of automobile is considered as a simple example to demonstrate the efficiency of the fractional-order generalized principle of self-support (FOGPSS) control strategy.


title: Strong decay constants of heavy tensor mesons in light cone QCD sum rules

abstract: Strong decay constants of the heavy tensor to heavy pseudoscalar (vector) and light pseudoscalar mesons are estimated within the light cone QCD sum rules. It is obtained that the values of these coupling constants are very strongly dependent on the choice of the Lorentz structure. Moreover, using these strong coupling constants the corresponding decay widths are calculated.


title: Estimating the relevance of predictions from nuclear mean-field models

abstract: This contribution reviews the present status of the Skyrme-Hartree-Fock (SHF) approach as one of the leading self-consistent mean-field models in the physics of atomic nuclei. It starts with a brief summary of the formalism and strategy for proper calibration of the SHF functional. The main emphasis lies on an exploration of the reliability of predictions, particularly in the regime of extrapolations. Various strategies are discussed to explore the statistical and systematic errors of SHF. The strategies are illustrated on examples from actual applications. Variations of model and fit data are used to get an idea about systematic errors. The statistical error is evaluated in straightforward manner by statistical analysis based on $\chi^2$ fits. This also allows also to evaluate the correlations (covariances) between observables which provides useful insights into the structure of the model and of the fitting strategy.


title: Irreducible representations of wedge products of table algebras and applications to association schemes

abstract: In this paper we first determine all irreducible representations of a wedge product of two table algebras in terms of the irreducible representations of two factors involved. Then we give some necessary and sufficient conditions for a table algebra to be a wedge product of two table algebras. Some applications to association schemes are also given.


title: Search for flavour-changing neutral current top quark decays $t\to Hq$ in $pp$ collisions at $\sqrt{s}=8$ TeV with the ATLAS detector

abstract: A search for flavour-changing neutral current decays of a top quark to an up-type quark ($q=u, c$) and the Standard Model Higgs boson, where the Higgs boson decays to $b\bar{b}$, is presented. The analysis searches for top quark pair events in which one top quark decays to $Wb$, with the $W$ boson decaying leptonically, and the other top quark decays to $Hq$. The search is based on $pp$ collisions at $\sqrt{s}=8$ TeV recorded in 2012 with the ATLAS detector at the CERN Large Hadron Collider and uses an integrated luminosity of 20.3 fb$^{-1}$. Data are analysed in the lepton-plus-jets final state, characterised by an isolated electron or muon and at least four jets. The search exploits the high multiplicity of $b$-quark jets characteristic of signal events, and employs a likelihood discriminant that uses the kinematic differences between the signal and the background, which is dominated by $t\bar{t} \to WbWb$ decays. No significant excess of events above the background expectation is found, and observed (expected) 95% CL upper limits of 0.56% (0.42%) and 0.61% (0.64%) are derived for the $t\to Hc$ and $t\to Hu$ branching ratios respectively. The combination of this search with other ATLAS searches in the $H \to \gamma\gamma$ and $H\to WW^*, \tau\tau$ decay modes significantly improves the sensitivity, yielding observed (expected) 95% CL upper limits on the $t\to Hc$ and $t\to Hu$ branching ratios of 0.46% (0.25%) and 0.45% (0.29%) respectively. The corresponding combined observed (expected) upper limits on the $|\lambda_{tcH}|$ and $|\lambda_{tuH}|$ couplings are 0.13 (0.10) and 0.13 (0.10) respectively. These are the most restrictive direct bounds on $tqH$ interactions measured so far.


title: A linear approximation algorithm for the BPP with the best possible absolute approximation ratio

abstract: The Bin Packing Problem is one of the most important Combinatorial Optimization problems in optimization and has a lot of real-world applications. Many approximation algorithms have been presented for this problem because of its NP-hard nature. In this article also a new creative approximation algorithm is presented for this important problem. It has been proven that the best approximation ratio and the best time order for the Bin Packing Problem are 3/2 and O(n), respectively unless P=NP. The presented algorithm in this article has the best possible factors, O(n) and 3/2.


title: IVOA recommendation: VOSpace specification v2.0

abstract: VOSpace is the IVOA interface to distributed storage. This specification presents the first RESTful version of the interface, which is functionally equivalent to the SOAP-based VOSpace 1.1 specification. Note that all prior VOSpace clients will not work with this new version of the interface.


title: Precision Experiments at LEP

abstract: The Large Electron Positron Collider (LEP) established the Standard Model (SM) of particle physics with unprecedented precision, including all its radiative corrections. These led to predictions for the masses of the top quark and Higgs boson, which were beautifully confirmed later on. After these precision measurements the Nobel Prize in Physics was awarded in 1999 jointly to 't Hooft and Veltman "for elucidating the quantum structure of electroweak interactions in physics". Another hallmark of the LEP results were the precise measurements of the gauge coupling constants, which excluded unification of the forces within the SM, but allowed unification within the supersymmetric extension of the SM. This increased the interest in Supersymmetry (SUSY) and Grand Unified Theories, especially since the SM has no candidate for the elusive dark matter, while Supersymmetry provides an excellent candidate for dark matter. In addition, Supersymmetry removes the quadratic divergencies of the SM and {\it predicts} the Higgs mechanism from radiative electroweak symmetry breaking with a SM-like Higgs boson having a mass below 130 GeV in agreement with the Higgs boson discovery at the LHC. However, the predicted SUSY particles have not been found either because they are too heavy for the present LHC energy and luminosity or Nature has found alternative ways to circumvent the shortcomings of the SM.


title: Search for W' to tb in proton-proton collisions at sqrt(s) = 8 TeV

abstract: A search is performed for the production of a massive W' boson decaying to a top and a bottom quark. The data analysed correspond to an integrated luminosity of 19.7 inverse femtobarns collected with the CMS detector at the LHC in proton-proton collisions at sqrt(s) = 8 TeV. The hadronic decay products of the top quark with high Lorentz boost from the W' boson decay are detected as a single top flavoured jet. The use of jet substructure algorithms allows the top quark jet to be distinguished from standard model QCD background. Limits on the production cross section of a right-handed W' boson are obtained, together with constraints on the left-handed and right-handed couplings of the W' boson to quarks. The production of a right-handed W' boson with a mass below 2.02 TeV decaying to a hadronic final state is excluded at 95% confidence level. This mass limit increases to 2.15 TeV when both hadronic and leptonic decays are considered, and is the most stringent lower mass limit to date in the tb decay mode.


title: Borghini's Mechanism for Dynamic Polarization in Polarized Targets

abstract: This paper is a contribution to the memorial session for Michel Borghini at the Spin 2014 conference in Bejing, honoring his pivotal role for the development of polarized targets in high energy physics. Borghini proposed for the first time the correct mechanism for dynamic polarization in polarized targets using organic materials doped with free radicals. In these amorphous materials the spin levels are broadened by spin-spin interactions and g-factor anisotropy, which allows a high dynamic polarization of nuclei by cooling of the spin-spin interaction reservoir. In this contribution I summarize the experimental evidence for this mechanism. These pertinent experiments were done at CERN in the years 1971 - 1974, when I was a graduate student under the guidance of Michel Borghini. I finish by shortly describing how Borghini's spin temperature theory is now applied in cancer therapy.


title: Early text classification: a Naive solution

abstract: Text classification is a widely studied problem, and it can be considered solved for some domains and under certain circumstances. There are scenarios, however, that have received little or no attention at all, despite its relevance and applicability. One of such scenarios is early text classification, where one needs to know the category of a document by using partial information only. A document is processed as a sequence of terms, and the goal is to devise a method that can make predictions as fast as possible. The importance of this variant of the text classification problem is evident in domains like sexual predator detection, where one wants to identify an offender as early as possible. This paper analyzes the suitability of the standard naive Bayes classifier for approaching this problem. Specifically, we assess its performance when classifying documents after seeing an increasingly number of terms. A simple modification to the standard naive Bayes implementation allows us to make predictions with partial information. To the best of our knowledge naive Bayes has not been used for this purpose before. Throughout an extensive experimental evaluation we show the effectiveness of the classifier for early text classification. What is more, we show that this simple solution is very competitive when compared with state of the art methodologies that are more elaborated. We foresee our work will pave the way for the development of more effective early text classification techniques based in the naive Bayes formulation.


title: Towards NMHV amplitudes at strong coupling

abstract: Pentagon Operator Product Expansion provides a non-perturbative framework for analysis of scattering amplitudes in planar maximally supersymmetric gauge theory building up on their duality to null polygonal super Wilson loop and integrability. In this paper, we construct a systematic expansion for the main ingredients of the formalism, i.e., pentagons, at large 't Hooft coupling as a power series in its inverse value. The calculations are tested against relations provided by the so-called Descent Equation which mixes transitions at different perturbative orders. We use leading order results to have a first glimpse into the structure of scattering amplitude at NMHV level at strong coupling.


title: Modeling of breath methane concentration profiles during exercise on an ergometer

abstract: We develop a simple three compartment model based on mass balance equations which quantitatively describes the dynamics of breath methane concentration profiles during exercise on an ergometer. With the help of this model it is possible to estimate the endogenous production rate of methane in the large intestine by measuring breath gas concentrations of methane.


title: Feedback control for damping a system of linear oscillators

abstract: The paper is devoted to a design of a common bounded feedback control steering a system of an arbitrary number of linear oscillators to the equilibrium. At high energies, the control is based on the asymptotic theory of reachable sets of linear systems. With decreasing of the energy, a similar control with a reduced upper bound is used. On the final stage, the control is constructed by using the method of common Lyapunov functions. Special attention is paid to the cases of one and two oscillators.


title: Impact of noise on a dynamical system: prediction and uncertainties from a swarm-optimized neural network

abstract: In this study, an artificial neural network (ANN) based on particle swarm optimization (PSO) was developed for the time series prediction. The hybrid ANN+PSO algorithm was applied on Mackey--Glass chaotic time series in the short-term $x(t+6)$. The performance prediction was evaluated and compared with another studies available in the literature. Also, we presented properties of the dynamical system via the study of chaotic behaviour obtained from the predicted time series. Next, the hybrid ANN+PSO algorithm was complemented with a Gaussian stochastic procedure (called {\it stochastic} hybrid ANN+PSO) in order to obtain a new estimator of the predictions, which also allowed us to compute uncertainties of predictions for noisy Mackey--Glass chaotic time series. Thus, we studied the impact of noise for several cases with a white noise level ($\sigma_{N}$) from 0.01 to 0.1.


title: Spin-axion coupling

abstract: We establish a new covariant phenomenological model, which describes an influence of pseudoscalar (axion) field on spins of test massive particles. The model includes general relativistic equations of particle motion and spin evolution in background pseudoscalar (axion), electromagnetic and gravitational fields. It describes both the direct spin-axion coupling of the gradient type and indirect spin-axion interaction mediated by electromagnetic fields. Special attention is paid to the direct spin-axion coupling caused by the gradient of the pseudoscalar (axion) field. We show that it describes a spin precession, when the pseudoscalar (axion) field is inhomogeneous and/or non-stationary. Applications of the model, which correspond to the three types of four-vectors attributed to the gradient of the pseudoscalar (axion) field (time-like, space-like, and null), are considered in detail. These are the spin precessions induced by relic cosmological axions, axions distributed around spherically symmetric static objects, and axions in a gravitational wave field, respectively. We discuss features of the obtained exact solutions and some general properties of the axionically induced spin rotation.


title: On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field

abstract: Let $\Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $\lambda$ of the field of algebraic numbers which is prime to p, consider the $\lambda$-adic pro-semisimple completion of $\Pi$ as an object of the groupoid whose objects are pro-semisimple groups and whose morphisms are isomorphisms up to conjugation by elements of the neutral connected component. We prove that this object does not depend on $\lambda$. If dim X=1 we also prove a crystalline generalization of this fact. We deduce this from the Langlands conjecture for function fields (proved by L. Lafforgue) and its crystalline analog (proved by T. Abe) using a reconstruction theorem in the spirit of Kazhdan-Larsen-Varshavsky. We also formulate two related conjectures, each of which is a "reciprocity law" involving a sum over all $l$-adic cohomology theories (including the crystalline theory for $l=p$).


title: Unitarity bound in the most general two Higgs doublet model

abstract: We investigate unitarity bounds in the most general two Higgs doublet model without a discrete $Z_2$ symmetry nor CP conservation. S-wave amplitudes for two-body elastic scatterings of Nambu-Goldstone bosons and physical Higgs bosons are calculated at high energies for all possible initial and final states (14 neutral, 8 singly-charged and 3 doubly-charged states). We obtain analytic formulae for the block-diagonalized scattering matrix by the classification of the two body scattering states using the conserved quantum numbers at high energies. Imposing the condition of perturbative unitarity to the eigenvalues of the scattering matrix, constraints on the model parameters can be obtained. We apply our results to constrain the mass range of the next--to--lightest Higgs state in the model.


title: A Statistical Theory of Deep Learning via Proximal Splitting

abstract: In this paper we develop a statistical theory and an implementation of deep learning models. We show that an elegant variable splitting scheme for the alternating direction method of multipliers optimises a deep learning objective. We allow for non-smooth non-convex regularisation penalties to induce sparsity in parameter weights. We provide a link between traditional shallow layer statistical models such as principal component and sliced inverse regression and deep layer models. We also define the degrees of freedom of a deep learning predictor and a predictive MSE criteria to perform model selection for comparing architecture designs. We focus on deep multiclass logistic learning although our methods apply more generally. Our results suggest an interesting and previously under-exploited relationship between deep learning and proximal splitting techniques. To illustrate our methodology, we provide a multi-class logit classification analysis of Fisher's Iris data where we illustrate the convergence of our algorithm. Finally, we conclude with directions for future research.


title: General Cheeger inequalities for p-Laplacians on graphs

abstract: We prove Cheeger inequalities for p-Laplacians on finite and infinite weighted graphs. Unlike in previous works, we do not impose boundedness of the vertex degree, nor do we restrict ourselves to the normalized Laplacian and, more generally, we do not impose any boundedness assumption on the geometry. This is achieved by a novel definition of the measure of the boundary which is using the idea of intrinsic metrics. For the non-normalized case, our bounds on the spectral gap of p-Laplacians are already significantly better for finite graphs and for infinite graphs they yield non-trivial bounds even in the case of unbounded vertex degree. We, furthermore, give upper bounds by the Cheeger constant and by the exponential volume growth of distance balls.


title: Wild coverings of Berkovich curves

abstract: This paper is an extended version of the author's talk given at the conference "Non-Archimedean analytic geometry: theory and practice" held in August 2015 at Papeete. It gives a brief overview of recent results on the structure of wild coverings of Berkovich curves and its relation to the different and higher ramification theory.


title: Topological stability of continuous functions with respect to averagings

abstract: We present sufficient conditions for topological stability of continuous functions $f:\mathbb{R}\to\mathbb{R}$ having finitely many local extrema with respect to averagings by discrete measures with finite supports.


title: Dependable Structural Helath Monitoring Using Wireless Sensor Networks

abstract: As an alternative to current wired-based networks, wireless sensor networks (WSNs) are becoming an increasingly compelling platform for engineering structural health monitoring (SHM) due to relatively low-cost, easy installation, and so forth. However, there is still an unaddressed challenge: the application-specific dependability in terms of sensor fault detection and tolerance. The dependability is also affected by a reduction on the quality of monitoring when mitigating WSN constrains (e.g., limited energy, narrow bandwidth). We address these by designing a dependable distributed WSN framework for SHM (called DependSHM) and then examining its ability to cope with sensor faults and constraints. We find evidence that faulty sensors can corrupt results of a health event (e.g., damage) in a structural system without being detected. More specifically, we bring attention to an undiscovered yet interesting fact, i.e., the real measured signals introduced by one or more faulty sensors may cause an undamaged location to be identified as damaged (false positive) or a damaged location as undamaged (false negative) diagnosis. This can be caused by faults in sensor bonding, precision degradation, amplification gain, bias, drift, noise, and so forth. In DependSHM, we present a distributed automated algorithm to detect such types of faults, and we offer an online signal reconstruction algorithm to recover from the wrong diagnosis. Through comprehensive simulations and a WSN prototype system implementation, we evaluate the effectiveness of DependSHM.


title: On Large-Scale Retrieval: Binary or n-ary Coding?

abstract: The growing amount of data available in modern-day datasets makes the need to efficiently search and retrieve information. To make large-scale search feasible, Distance Estimation and Subset Indexing are the main approaches. Although binary coding has been popular for implementing both techniques, n-ary coding (known as Product Quantization) is also very effective for Distance Estimation. However, their relative performance has not been studied for Subset Indexing. We investigate whether binary or n-ary coding works better under different retrieval strategies. This leads to the design of a new n-ary coding method, "Linear Subspace Quantization (LSQ)" which, unlike other n-ary encoders, can be used as a similarity-preserving embedding. Experiments on image retrieval show that when Distance Estimation is used, n-ary LSQ outperforms other methods. However, when Subset Indexing is applied, interestingly, binary codings are more effective and binary LSQ achieves the best accuracy.


title: Sigma-models and Homotopy Algebras

abstract: We review the relation between homotopy algebras of conformal field theory and geometric structures arising in sigma models. In particular we formulate conformal invariance conditions, which in the quasi-classical limit are Einstein equations with extra fields, as generalized Maurer-Cartan equations.


title: Hunting for planets in the HL Tau disk

abstract: Recent ALMA images of HL Tau show gaps in the dusty disk that may be caused by planetary bodies. Given the young age of this system, if confirmed, this finding would imply very short timescales for planet formation, probably in a gravitationally unstable disk. To test this scenario, we searched for young planets by means of direct imaging in the L'-band using the Large Binocular Telescope Interferometer mid-infrared camera. At the location of two prominent dips in the dust distribution at ~70AU (~0.5") from the central star we reach a contrast level of ~7.5mag. We did not detect any point source at the location of the rings. Using evolutionary models we derive upper limits of ~10-15MJup at <=0.5-1Ma for the possible planets. With these sensitivity limits we should have been able to detect companions sufficiently massive to open full gaps in the disk. The structures detected at mm-wavelengths could be gaps in the distributions of large grains on the disk midplane, caused by planets not massive enough to fully open gaps. Future ALMA observations of the molecular gas density profile and kinematics as well as higher contrast infrared observations may be able to provide a definitive answer.


title: Sobolev-Trace inequalities of order four

abstract: We establish sharp Sobolev inequalities of order four on Euclidean d-balls for d greater than or equal to four. When d=4, our inequality generalizes the classical second order Lebedev-Milin inequality on Euclidean 2-balls. Our method relies on the use of scattering theory on hyperbolic d-balls. As an application, we charcaterize the extremals of the main term in the log-determinant formula corresponding to the conformal Laplacian coupled with the boundary Robin operator on Euclidean 4-balls.


title: Factorization of event-plane correlations over transverse momentum in relativistic heavy ion collisions in a multi-phase transport model

abstract: Momentum-space azimuthal harmonic event planes (EP) are constructed from final-state midrapidity particles binned in transverse momentum (pT ) in sqrt(s_NN) = 200 GeV Au+Au collisions in a multi-phase transport (AMPT) model. The EP correlations between pT bins, corrected by EP resolutions, are smaller than unity. This indicates that the EP's decorrelate over pT in AMPT, qualitatively consistent with data and hydrodynamic calculations. It is further found that the EP correlations approximately factorize into single pT-bin EP correlations to a common plane. This common plane appears to be the momentum-space EP integrated over all pT, not the configuration space participant plane (PP).


title: Maximal CP Violation in Flavor Neutrino Masses

abstract: Since flavor neutrino masses $M_{\mu\mu,\tau\tau,\mu\tau}$ can be expressed in terms of $M_{ee,e\mu,e\tau}$, mutual dependence among $M_{\mu\mu,\tau\tau,\mu\tau}$ is derived by imposing some constraints on $M_{ee,e\mu,e\tau}$. For appropriately imposed constraints on $M_{ee,e\mu,e\tau}$, we show a texture of neutrino mass matrix giving rise to maximal CP violation. When the atmospheric neutrino mixing is also maximal, we discuss various specific textures of neutrino mass matrices including the texture with $M_{\tau\tau}=M^\ast_{\mu\mu}$ derived as the simplest solution to the constraint of $M_{\tau\tau}-M_{\mu\mu}$=imaginary, which is required by the constraint of $M_{e\mu}\cos\theta_{23}-M_{e\tau}\sin\theta_{23}$=real for $\cos 2\theta_{23}=0$. It is found that Majorana CP violation depends on the phase of $M_{ee}$.


title: On the unitary representations of the affine $ax+b$-group, $\widehat{sl}(2,\mathbb{R})$ and their relatives

abstract: This article focuses on two related topics: unitary representations of the loop $ax+b$-group and their relation to a loop version of the $\Gamma$-function and the construction of continuous series for the $\widehat{sl(2,\mathbb{R})}$-algebra. Mainly this is a survey of some results from arXiv:1012.4826 , arXiv:1210.2135 alongside with the motivation for them both from the physical and mathematical points of view.


title: Infinite-dimensional compressed sensing and function interpolation

abstract: We introduce and analyze a framework for function interpolation using compressed sensing. This framework - which is based on weighted $\ell^1$ minimization - does not require a priori bounds on the expansion tail in either its implementation or its theoretical guarantees, and in the absence of noise leads to genuinely interpolatory approximations. We also establish a new recovery guarantee for compressed sensing with weighted $\ell^1$ minimization based on this framework. This guarantee has several key benefits. First, unlike existing results, it is sharp (up to constants and log factors) for large classes of functions regardless of the choice of weights. Second, by examining the measurement condition in the recovery guarantee, we are able to suggest a good overall strategy for selecting the weights. In particular, when applied to the important case of multivariate approximation with orthogonal polynomials, this weighting strategy leads to provably optimal estimates on the number of measurements required, whenever the support set of the significant coefficients is a so-called lower set. Finally, this guarantee can also be used to theoretically confirm the benefits of alternative weighting strategies where the weights are chosen based on prior support information. This provides a theoretical basis for a number of recent numerical studies showing the effectiveness of such approaches.


title: Measurements and Modeling of Total Solar Irradiance in X-Class Solar Flares

abstract: The Total Irradiance Monitor (TIM) from NASA's SOlar Radiation and Climate Experiment (SORCE) can detect changes in the Total Solar Irradiance (TSI) to a precision of 2 ppm, allowing observations of variations due to the largest X-Class solar ares for the first time. Presented here is a robust algorithm for determining the radiative output in the TIM TSI measurements, in both the impulsive and gradual phases, for the four solar ares presented in Woods et al. (2006), as well as an additional are measured on 2006 December 6. The radiative outputs for both phases of these five ares are then compared to the Vacuum Ultraviolet (VUV) irradiance output from the Flare Irradiance Spectral Model (FISM) in order to derive an empirical relationship between the FISM VUV model and the TIM TSI data output to estimate the TSI radiative output for eight other X-Class ares. This model provides the basis for the bolometric energy estimates for the solar ares analyzed in the Emslie et al. (2012) study.


title: Inferring phylogenetic networks with maximum pseudolikelihood under incomplete lineage sorting

abstract: Phylogenetic networks are necessary to represent the tree of life expanded by edges to represent events such as horizontal gene transfers, hybridizations or gene flow. Not all species follow the paradigm of vertical inheritance of their genetic material. While a great deal of research has flourished into the inference of phylogenetic trees, statistical methods to infer phylogenetic networks are still limited and under development. The main disadvantage of existing methods is a lack of scalability. Here, we present a statistical method to infer phylogenetic networks from multi-locus genetic data in a pseudolikelihood framework. Our model accounts for incomplete lineage sorting through the coalescent model, and for horizontal inheritance of genes through reticulation nodes in the network. Computation of the pseudolikelihood is fast and simple, and it avoids the burdensome calculation of the full likelihood which can be intractable with many species. Moreover, estimation at the quartet-level has the added computational benefit that it is easily parallelizable. Simulation studies comparing our method to a full likelihood approach show that our pseudolikelihood approach is much faster without compromising accuracy. We applied our method to reconstruct the evolutionary relationships among swordtails and platyfishes ($Xiphophorus$: Poeciliidae), which is characterized by widespread hybridizations.

categories: q-bio.PE math.ST stat.AP stat.CO stat.TH


title: Measurement of the t t-bar production cross section in the all-jets final state in pp collisions at sqrt(s) = 8 TeV

abstract: The cross section for t t-bar production in the all-jets final state is measured in pp collisions at a centre-of-mass energy of 8 TeV at the LHC with the CMS detector, in data corresponding to an integrated luminosity of 18.4 inverse femtobarns. The inclusive cross section is found to be 275.6 +/- 6.1 (stat) +/- 37.8 (syst) +/- 7.2 (lumi) pb. The normalized differential cross sections are measured as a function of the top quark transverse momenta, pt, and compared to predictions from quantum chromodynamics. The results are reported at detector, parton, and particle levels. In all cases, the measured top quark pt spectra are significantly softer than theoretical predictions.


title: Numerical Sets, Core Partitions, and Integer Points in Polytopes

abstract: We study a correspondence between numerical sets and integer partitions that leads to a bijection between simultaneous core partitions and the integer points of a certain polytope. We use this correspondence to prove combinatorial results about core partitions. For small values of a, we give formulas for the number of (a,b)-core partitions corresponding to numerical semigroups. We also study the number of partitions with a given hook set.


title: The Cauchy problem for the generalized hyperbolic Novikov-Veselov equation

abstract: We begin by introducing a new procedure for construction of the exact solutions to Cauchy problem of the real-valued (hyperbolic) Novikov-Veselov equation. The procedure shown therein utilizes the well-known Airy function $\text{Ai}(\xi)$ which in turn serves as a solution to the ordinary differential equation $\frac{d^2 z}{d \xi^2} = \xi z$. In the second part of the article we show that the aforementioned procedure can also work for the $n$-th order generalizations of the Novikov-Veselov equation, provided that one replaces the Airy function with the appropriate solution of the ordinary differential equation $\frac{d^{n-1} z}{d \xi^{n-1}} = \xi z$.


title: Fix Your Types

abstract: When using existing ACL2 datatype frameworks, many theorems require type hypotheses. These hypotheses slow down the theorem prover, are tedious to write, and are easy to forget. We describe a principled approach to types that provides strong type safety and execution efficiency while avoiding type hypotheses, and we present a library that automates this approach. Using this approach, types help you catch programming errors and then get out of the way of theorem proving.


title: Second-Order Functions and Theorems in ACL2

abstract: SOFT ('Second-Order Functions and Theorems') is a tool to mimic second-order functions and theorems in the first-order logic of ACL2. Second-order functions are mimicked by first-order functions that reference explicitly designated uninterpreted functions that mimic function variables. First-order theorems over these second-order functions mimic second-order theorems universally quantified over function variables. Instances of second-order functions and theorems are systematically generated by replacing function variables with functions. SOFT can be used to carry out program refinement inside ACL2, by constructing a sequence of increasingly stronger second-order predicates over one or more target functions: the sequence starts with a predicate that specifies requirements for the target functions, and ends with a predicate that provides executable definitions for the target functions.