title: Decision making by Berry's flux

abstract: Order by disorder is a decision making process for frustrated systems but often leads to simple answers. We study order by disorder in the kagome Kondo model known for its complexity seeking rich decision making capabilities. At half filling and large Kondo coupling to hopping ratio $J_K/t$, the full manifold of 120$^o$ kagome ground states are degenerate at second order in $t/J_K$. We show this degeneracy lifts at sixth order when a fermion can hop around a hexagon and feel the Berry flux induced by a given spin texture. Using Monte-Carlo we then seek the ground state of this sixth order Hamiltonian and find in a 4x4 unit cell system that a co-planar 2x4 unit cell order is selected over the $\sqrt{3}\times\sqrt{3}$, $q=0$ and cuboc1 states, a result that survives even in the thermodynamic limit. This state is selected for its SU(2) flux properties induced by the spin texture and is analogous to the integer quantum Hall effect. Given the existence of numerous quantum Hall plateaus in other systems, the existence of this 2x4 unit cell state suggests that complex decision making is possible on the manifold of 120$^o$ states and achievable in different kagome-Kondo models.


title: Rectangular Kronecker coefficients and plethysms in geometric complexity theory

abstract: We prove that in the geometric complexity theory program the vanishing of rectangular Kronecker coefficients cannot be used to prove superpolynomial determinantal complexity lower bounds for the permanent polynomial. Moreover, we prove the positivity of rectangular Kronecker coefficients for a large class of partitions where the side lengths of the rectangle are at least quadratic in the length of the partition. We also compare rectangular Kronecker coefficients with their corresponding plethysm coefficients, which leads to a new lower bound for rectangular Kronecker coefficients. Moreover, we prove that the saturation of the rectangular Kronecker semigroup is trivial, we show that the rectangular Kronecker positivity stretching factor is 2 for a long first row, and we completely classify the positivity of rectangular limit Kronecker coefficients that were introduced by Manivel in 2011.


title: Newton-Cartan, Galileo-Maxwell and Kaluza-Klein

abstract: We study Kaluza-Klein reduction in Newton-Cartan gravity. In particular we show that dimensional reduction and the nonrelativistic limit commute. The resulting theory contains Galilean electromagnetism and a nonrelativistic scalar. It provides the first example of back-reacted couplings of scalar and vector matter to Newton-Cartan gravity. This back-reaction is interesting as it sources the spatial Ricci curvature, providing an example where nonrelativistic gravity is more than just a Newtonian potential.


title: SLED Phenomenology: Curvature vs. Volume

abstract: We assess the question whether the SLED (Supersymmetric Large Extra Dimensions) model admits phenomenologically viable solutions with 4D maximal symmetry. We take into account a finite brane width and a scale invariance (SI) breaking dilaton-brane coupling, both of which should be included in a realistic setup. Provided that the microscopic size of the brane is not tuned much smaller than the fundamental bulk Planck length, we find that either the 4D curvature or the size of the extra dimensions is unacceptably large. Since this result is independent of the dilaton-brane couplings, it provides the biggest challenge to the SLED program. In addition, to clarify its potential with respect to the cosmological constant problem, we infer the amount of tuning on model parameters required to obtain a sufficiently small 4D curvature. A first answer was recently given in [arXiv:1508.01124], showing that 4D flat solutions are only ensured in the SI case by imposing a tuning relation, even if a brane-localized flux is included. In this companion paper, we find that the tuning can in fact be avoided for certain SI breaking brane-dilaton couplings, but only at the price of worsening the phenomenological problem. Our results are obtained by solving the full coupled Einstein-dilaton system in a completely consistent way. The brane width is implemented using a well-known ring regularization. In passing, we note that for the couplings considered here the results of [arXiv:1508.01124] (which only treated infinitely thin branes) are all consistently recovered in the thin brane limit, and how this can be reconciled with the concerns about their correctness, recently brought up in [arXiv:1509.04201].


title: Charge orders, magnetism and pairings in the cuprate superconductors

abstract: We review the recent developments in the field of cuprate superconductors with the special focus on the recently observed charge order in the underdoped compounds. We introduce new theoretical developments following the study of the antiferromagnetic (AF) quantum critical point (QCP) in two dimensions, in which preemptive orders in the charge and superconducting (SC) sectors emerged, that are in turn related by an SU(2) symmetry. We consider the implications of this proliferation of orders in the underdoped region, and provide a study of the type of fluctuations which characterize the SU(2) symmetry. We identify an intermediate energy scale where the SU(2) pairing fluctuations are dominant and argue that they are unstable towards the formation of a Resonant Peierls Excitonic (RPE) state at the pseudogap (PG) temperature $T^{*}$. We discuss the implications of this scenario for a few key experiments.


title: Effective field theory in the harmonic oscillator basis

abstract: We develop interactions from chiral effective field theory (EFT) that are tailored to the harmonic oscillator basis. As a consequence, ultraviolet convergence with respect to the model space is implemented by construction and infrared convergence can be achieved by enlarging the model space for the kinetic energy. In oscillator EFT, matrix elements of EFTs formulated for continuous momenta are evaluated at the discrete momenta that stem from the diagonalization of the kinetic energy in the finite oscillator space. By fitting to realistic phase shifts and deuteron data we construct an effective interaction from chiral EFT at next-to-leading order. Many-body coupled-cluster calculations of nuclei up to 132Sn exhibit a fast convergence of ground-state energies and radii in feasible model spaces.


title: Grassmann Matrix Quantum Mechanics

abstract: We explore quantum mechanical theories whose fundamental degrees of freedom are rectangular matrices with Grassmann valued matrix elements. We study particular models where the low energy sector can be described in terms of a bosonic Hermitian matrix quantum mechanics. We describe the classical curved phase space that emerges in the low energy sector. The phase space lives on a compact Kahler manifold parameterized by a complex matrix, of the type discovered some time ago by Berezin. The emergence of a semiclassical bosonic matrix quantum mechanics at low energies requires that the original Grassmann matrices be in the long rectangular limit. We discuss possible holographic interpretations of such matrix models which, by construction, are endowed with a finite dimensional Hilbert space.


title: Superconducting pairing in resonant inelastic X-ray scattering

abstract: We develop a method to study the effect of the superconducting transition on resonant inelastic X-ray scattering (RIXS) signal in superconductors with an order parameter with an arbitrary symmetry within a quasiparticle approach. As an example, we compare the direct RIXS signal below and above the superconducting transition for p-wave type order parameters. For a p-wave order parameter with a nodal line, we show that, counterintuitively, the effect of the gap is most noticeable for momentum transfers in the nodal direction. This phenomenon may be naturally explained as a type of nesting effect.


title: The Triton Charge Radius to Next-to-next-to-leading order in Pionless Effective Field Theory

abstract: The triton point charge radius is calculated to next-to-next-to-leading order (NNLO) in pionless effective field theory ($\mathrm{EFT}(\not{\!\pi})$), yielding a prediction of $1.14\pm0.19$ fm (leading order), $1.59\pm0.08$ fm (next-to leading order), and $1.62\pm0.03$ fm (NNLO) in agreement with the current experimental extraction of $1.5978\pm0.040$ fm [Angeli and Marinova, At. Data Nucl. Data Tables 99, 69 (2013)]. The error at NNLO is due to cutoff variation ($\sim$ 1%) within a reasonable range of calculated cutoffs and from a $\mathrm{EFT}(\not{\!\pi})$ error estimate ($\sim$ 1.5%). In addition new techniques are introduced to add perturbative corrections to bound and scattering state calculations for short range effective field theories, but with a focus on their use in $\mathrm{EFT}(\not{\!\pi})$


title: Quantum algorithms for simulated annealing

abstract: This paper summarizes a quantum algorithm of [R.D. Somma, et.al., Phys. Rev. Lett. 101, 130504 (2008)] that simulates a classical annealing process for solving discrete optimization problems. The complexity of the quantum algorithm scales with the inverse square root of the spectral gap of an associated stochastic matrix. This represents a quadratic quantum speedup, in terms of the gap, with respect to classical simulated annealing.


title: Non-Singular Bouncing Cosmology: Consistency of the Effective Description

abstract: We explicitly confirm that spatially flat non-singular bouncing cosmologies make sense as effective theories. The presence of a non-singular bounce in a spatially flat universe implies a temporary violation of the null energy condition, which can be achieved through a phase of ghost condensation. We calculate the scale of strong coupling and demonstrate that the ghost-condensate bounce remains trustworthy throughout, and that all perturbation modes within the regime of validity of the effective description remain under control. For this purpose we require the perturbed action up to third order in perturbations, which we calculate in both flat and co-moving gauge -- since these two gauges allow us to highlight different physical aspects. Our conclusion is that there exist healthy descriptions of non-singular bouncing cosmologies providing a viable resolution of the big-bang singularities in cosmological models. Our results also suggest a variant of ekpyrotic cosmology, in which entropy perturbations are generated during the contracting phase, but are only converted into curvature perturbations after the bounce.


title: Background-Independence from the Perspective of Gauge Theory

abstract: We consider two concepts often discussed as significant features of general relativity (particularly when contrasted with the other forces of the Standard Model): background independence and diffeomorphism invariance. We remind the reader of the role of backgrounds both as calculational tools and as part of the formulation of theories. Examining familiar gauge theory constructions, we are able to pinpoint when in the formulation of these theories they become background independent. We then discuss extending the gauge formulation to gravity. In doing so we are able to identify what makes general relativity a background independent theory. We also discuss/dispel suggestions that "active" diffeomorphism invariance is a feature unique to general relativity and we go on to argue against the claim that this symmetry is the origin of background independence of the theory.


title: Acyclic complexes and 1-affineness

abstract: This short note is an erratum to arXiv:1306.4304, correcting the proof of one of its main results. It includes some counterexamples regarding infinite-dimensional unipotent groups and affine spaces that may be of independent interest.


title: Avoiding Aliasing in Allan Variance: an Application to Fiber Link Data Analysis

abstract: Optical fiber links are known as the most performing tools to transfer ultrastable frequency reference signals. However, these signals are affected by phase noise up to bandwidths of several kilohertz and a careful data processing strategy is required to properly estimate the uncertainty. This aspect is often overlooked and a number of approaches have been proposed to implicitly deal with it. Here, we face this issue in terms of aliasing and show how typical tools of signal analysis can be adapted to the evaluation of optical fiber links performance. In this way, it is possible to use the Allan variance as estimator of stability and there is no need to introduce other estimators. The general rules we derive can be extended to all optical links. As an example, we apply this method to the experimental data we obtained on a 1284 km coherent optical link for frequency dissemination, which we realized in Italy.


title: Generalized Zeta function representation of groups and 2-dimensional Topological Yang-Mills theory: The example of GL(2, F_q) and PGL(2, F_q)

abstract: We recall the relation between Zeta function representation of groups and two-dimensional topological Yang-Mills theory through Mednikh formula. We prove various generalisations of Mednikh formulas and define generalization of Zeta functions representations of groups. We compute some of these functions in the case of the finite group $GL(2, {\mathbb F}_q)$ and $PGL(2,{\mathbb F}_q).$ We recall the table characters of these groups for any $q$, compute the Frobenius-Schur indicator of their irreducible representations and give the explicit structure of their fusion rings


title: Adapted nested force-gradient integrators: the Schwinger model case

abstract: We study a novel class of numerical integrators, the adapted nested force-gradient schemes, used within the molecular dynamics step of the Hybrid Monte Carlo (HMC) algorithm. We test these methods in the Schwinger model on the lattice, a well known benchmark problem. We derive the analytical basis of nested force-gradient type methods and demonstrate the advantage of the proposed approach, namely reduced computational costs compared with other numerical integration schemes in HMC.


title: Gluino Meets Flavored Naturalness

abstract: We study constraints from LHC run I on squark and gluino masses in the presence of squark flavor violation. Inspired by the concept of `flavored naturalness', we focus on the impact of a non-zero stop-scharm mixing and mass splitting in the right-handed sector. To this end, we recast four searches of the ATLAS and CMS collaborations, dedicated either to third generation squarks, to gluino and squarks of the first two generations, or to charm-squarks. In the absence of extra structure, the mass of the gluino provides an additional source of fine tuning and is therefore important to consider within models of flavored naturalness that allow for relatively light squark states. When combining the searches, the resulting constraints in the plane of the lightest squark and gluino masses are rather stable with respect to the presence of flavor-violation, and do not allow for gluino masses of less than 1.2 TeV and squarks lighter than about 550 GeV. While these constraints are stringent, interesting models with sizable stop-scharm mixing and a relatively light squark state are still viable and could be observed in the near future.


title: The XXL Survey. XIII. Baryon content of the bright cluster sample

abstract: Traditionally, galaxy clusters have been expected to retain all the material accreted since their formation epoch. For this reason, their matter content should be representative of the Universe as a whole, and thus their baryon fraction should be close to the Universal baryon fraction. We make use of the sample of the 100 brightest galaxy clusters discovered in the XXL Survey to investigate the fraction of baryons in the form of hot gas and stars in the cluster population. We measure the gas masses of the detected halos and use a mass--temperature relation directly calibrated using weak-lensing measurements for a subset of XXL clusters to estimate the halo mass. We find that the weak-lensing calibrated gas fraction of XXL-100-GC clusters is substantially lower than was found in previous studies using hydrostatic masses. Our best-fit relation between gas fraction and mass reads $f_{\rm gas,500}=0.055_{-0.006}^{+0.007}\left(M_{\rm 500}/10^{14}M_\odot\right)^{0.21_{-0.10}^{+0.11}}$. The baryon budget of galaxy clusters therefore falls short of the Universal baryon fraction by about a factor of two at $r_{\rm 500}$. Our measurements require a hydrostatic bias $1-b=M_X/M_{\rm WL}=0.72_{-0.07}^{+0.08}$ to match the gas fraction obtained using lensing and hydrostatic equilibrium. Comparing our gas fraction measurements with the expectations from numerical simulations, our results favour an extreme feedback scheme in which a significant fraction of the baryons are expelled from the cores of halos. This model is, however, in contrast with the thermodynamical properties of observed halos, which might suggest that weak-lensing masses are overestimated. We note that a mass bias $1-b=0.58$ as required to reconcile Planck CMB and cluster counts should translate into an even lower baryon fraction, which poses a major challenge to our current understanding of galaxy clusters. [Abridged]


title: Satellite accretion in action: a tidally disrupting dwarf spheroidal around the nearby spiral galaxy NGC 253

abstract: We report the discovery of NGC 253-dw2, a dwarf spheroidal (dSph) galaxy candidate undergoing tidal disruption around a nearby spiral galaxy, NGC 253 in the Sculptor group: the first such event identified beyond the Local Group. The dwarf was found using small-aperture amateur telescopes, and followed up with Suprime-Cam on the 8 m Subaru Telescope in order to resolve its brightest stars. Using g- and R_c-band photometry, we detect a red giant branch consistent with an old, metal-poor stellar population at a distance of ~ 3.5 Mpc. From the distribution of likely member stars, we infer a highly elongated shape with a semi-major axis half-light radius of (2 +/- 0.4) kpc. Star counts also yield a luminosity estimate of ~ 2x10^6 L_Sun,V (M_V ~ -10.7). The morphological properties of NGC 253-dw2 mark it as distinct from normal dSphs and imply ongoing disruption at a projected distance of ~ 50 kpc from the main galaxy. Our observations support the hierarchical paradigm wherein massive galaxies continously accrete less massive ones, and provide a new case study for dSph infall and dissolution dynamics. We also note the continued efficacy of small telescopes for making big discoveries.


title: A tidally disrupting dwarf galaxy in the halo of NGC 253

abstract: We report the discovery of Scl-MM-Dw2, a new dwarf galaxy at a projected separation of $\sim$50 kpc from NGC 253, as part of the PISCeS (Panoramic Imaging Survey of Centaurus and Sculptor) project. We measure a tip of the red giant branch distance of $3.12\pm0.30$ Mpc, suggesting that Scl-MM-Dw2 is likely a satellite of NGC 253. We qualitatively compare the distribution of red giant branch (RGB) stars in the color-magnitude diagram with theoretical isochrones and find that it is consistent with an old, $\sim$12 Gyr, and metal poor, $-2.3<$[Fe/H]$<-1.1$, stellar population. We also detect a small number of asymptotic giant branch stars consistent with a metal poor $2-3$ Gyr population in the center of the dwarf. Our non-detection of HI in a deep Green Bank Telescope spectrum implies a gas fraction $M_{HI}/L_V<0.02$ Msun/Lsun. The stellar and gaseous properties of Scl-MM-Dw2 suggest that it is a dwarf spheroidal galaxy. Scl-MM-Dw2 has a luminosity of $M_V=-12.1\pm0.5$ mag and a half-light radius of $r_h=2.94\pm0.46$ kpc which makes it moderately larger than dwarf galaxies in the Local Group of the same luminosity. However, Scl-MM-Dw2 is very elongated ($\epsilon=0.66\pm0.06$) and it has an extremely low surface brightness ($\mu_{0,V}=26.5\pm0.7$ mag arcsec$^{-2}$). Its elongation and diffuseness make it an outlier in the ellipticity-luminosity and surface brightness-luminosity scaling relations. These properties suggest that this dwarf is being tidally disrupted by NGC 253.


title: Giant scattering cones in obscured quasars

abstract: We analyze Hubble Space Telescope observations of scattering regions in 20 luminous obscured quasars at $0.24<z<0.65$ (11 new observations and 9 archival ones) observed at rest-frame $\sim 3000$\AA. We find spectacular $5-10$ kpc-scale scattering regions in almost all cases. The median scattering efficiency at this wavelength (the ratio of observed to estimated intrinsic flux) is 2.3\%, and 73\% of the observed flux at this wavelength is due to scattered light, which if unaccounted for may strongly bias estimates of quasar hosts' star formation rates. Modeling these regions as illuminated dusty cones, we estimate the radial density distributions of the interstellar medium as well as the geometric properties of circumnuclear quasar obscuration -- inclinations and covering factors. Small derived opening angles (median half-angle and standard deviation 27\dg$\pm$9\dg) are inconsistent with a 1:1 type 1 / type 2 ratio. We suggest that quasar obscuration is patchy and that the observer has a $\sim 40\%$ chance of seeing a type 1 source even through the obscuration. We estimate median density profile of the scattering medium to be $n_{\rm H}=0.04-0.5$ $(1{\rm kpc}/r)^2$ cm$^{-3}$, depending on the method. Quasars in our sample likely exhibit galaxy-wide winds, but if these consist of optically thick clouds then only a small fraction of the wind mass ($\la 10\%$) contributes to scattering.


title: Sgr A* and General Relativity

abstract: General relativity has been widely tested in weak gravitational fields but still stands largely untested in the strong-field regime. According to the no-hair theorem, black holes in general relativity depend only on their masses and spins and are described by the Kerr metric. Mass and spin are the first two multipole moments of the Kerr spacetime and completely determine all higher-order moments. The no-hair theorem and, hence, general relativity can be tested by measuring potential deviations from the Kerr metric affecting such higher-order moments. Sagittarius A* (Sgr A*) is a prime target for precision tests of general relativity with several experiments across the electromagnetic spectrum. First, near-infrared (NIR) monitoring of stars orbiting around Sgr A* with current and new instruments is expected to resolve their orbital precessions. Second, timing observations of radio pulsars near the Galactic center may detect characteristic residuals induced by the spin and quadrupole moment of Sgr A*. Third, the Event Horizon Telescope, a global network of mm and sub-mm telescopes, aims to study Sgr A* on horizon scales and to image its shadow cast against the surrounding accretion flow using very-long baseline interferometric (VLBI) techniques. Both NIR and VLBI observations may also detect quasiperiodic variability of the emission from the accretion flow of Sgr A*. In this review, I discuss our current understanding of the spacetime of Sgr A* and the prospects of NIR, timing, and VLBI observations to test its Kerr nature in the near future. [abridged]


title: Coupled scalar fields in the late Universe: The mechanical approach and the late cosmic acceleration

abstract: In this paper, we consider the Universe at the late stage of its evolution and deep inside the cell of uniformity. At these scales, we consider the Universe to be filled with dust-like matter in the form of discretely distributed galaxies, a minimally coupled scalar field and radiation as matter sources. We investigate such a Universe in the mechanical approach. This means that the peculiar velocities of the inhomogeneities (in the form of galaxies) as well as fluctuations of other perfect fluids are non-relativistic. Such fluids are designated as coupled because they are concentrated around inhomogeneities. In the present paper we investigate the conditions under which a scalar field can become coupled, and show that, at the background level, such coupled scalar field behaves as a two component perfect fluid: a network of frustrated cosmic strings with EoS parameter $w=-1/3$ and a cosmological constant. The potential of this scalar field is very flat at the present time. Hence, the coupled scalar field can provide the late cosmic acceleration. The fluctuations of the energy density and pressure of this field are concentrated around the galaxies screening their gravitational potentials. Therefore, such scalar fields can be regarded as coupled to the inhomogeneities.


title: Narrow-linewidth homogeneous optical emitters in diamond nanostructures via silicon ion implantation

abstract: The negatively-charged silicon-vacancy ($\mathrm{SiV}^{-}$) center in diamond is a bright source of indistinguishable single photons and a useful resource in quantum information protocols. Until now, $\mathrm{SiV}^{-}$ centers with narrow optical linewidths and small inhomogeneous distributions of $\mathrm{SiV}^{-}$ transition frequencies have only been reported in samples doped with silicon during diamond growth. We present a technique for producing implanted $\mathrm{SiV}^{-}$ centers with nearly lifetime-limited optical linewidths and a small inhomogeneous distribution. These properties persist after nanofabrication, paving the way for incorporation of high-quality $\mathrm{SiV}^{-}$ centers into nanophotonic devices.


title: Statistical properties of dwarf novae-type cataclysmic variables: The Outburst Catalogue

abstract: The Outburst Catalogue contains a wide variety of observational properties for 722 dwarf nova-type (DN) cataclysmic variables (CVs) and 309 CVs of other types from the Catalina Real-time Transient Survey. In particular, it includes the apparent outburst and quiescent V-band magnitudes, duty cycles, limits on the recurrence time, upper- and lower-limits on the distance and absolute quiescent magnitudes, colour information, orbital parameters, and X-ray counterparts. These properties were determined by means of a classification script presented in this paper. The DN in the catalogue show a correlation between the outburst duty cycle and the orbital period (and outburst recurrence time), as well as between the quiescent absolute magnitude and the orbital period (and duty cycle). This is the largest sample of dwarf nova properties collected to date. Besides serving as a useful reference for individual systems and a means of selecting objects for targeted studies, it will prove valuable for statistical studies that aim to shed light on the formation and evolution of cataclysmic variables.


title: Direct Collapse to Supermassive Black Hole Seeds: Comparing the AMR and SPH Approaches

abstract: We provide detailed comparison between the AMR code Enzo-2.4 and the SPH/N- body code GADGET-3 in the context of isolated or cosmological direct baryonic collapse within dark matter (DM) halos to form supermassive black holes. Gas flow is examined by following evolution of basic parameters of accretion flows. Both codes show an overall agreement in the general features of the collapse, however, many subtle differences exist. For isolated models, the codes increase their spatial and mass resolutions at different pace, which leads to substantially earlier collapse in SPH than in AMR cases due to higher gravitational resolution in GADGET-3. In cosmological runs, the AMR develops a slightly higher baryonic resolution than SPH during halo growth via cold accretion permeated by mergers. Still, both codes agree in the buildup of DM and baryonic structures. However, with the onset of collapse, this difference in mass and spatial resolution is amplified, so evolution of SPH models begins to lag behind. Such a delay can have effect on formation/destruction rate of H2 due to UV background, and on basic properties of host halos. Finally, isolated non-cosmological models in spinning halos, with spin parameter {\lambda} ~ 0.01 - 0.07, show delayed collapse for greater {\lambda}, but pace of this increase is faster for AMR. Within our simulation setup, GADGET-3 requires significantly larger computational resources than Enzo- 2.4 during collapse, and needs similar resources, during the pre-collapse, cosmological structure formation phase. Yet it benefits from substantially higher gravitational force and hydrodynamic resolutions, except at the end of collapse.


title: Work and entropy production in generalised Gibbs ensembles

abstract: Recent years have seen an enormously revived interest in the study of thermodynamic notions in the quantum regime. This applies both to the study of notions of work extraction in thermal machines in the quantum regime, as well as to questions of equilibration and thermalisation of interacting quantum many-body systems as such. In this work we bring together these two lines of research by studying work extraction in a closed system that undergoes a sequence of quenches and equilibration steps concomitant with free evolutions. In this way, we incorporate an important insight from the study of the dynamics of quantum many body systems: the evolution of closed systems is expected to be well described, for relevant observables and most times, by a suitable equilibrium state. We will consider three kinds of equilibration, namely to (i) the time averaged state, (ii) the Gibbs ensemble and (iii) the generalised Gibbs ensemble (GGE), reflecting further constants of motion in integrable models. For each effective description, we investigate notions of entropy production, the validity of the minimal work principle and properties of optimal work extraction protocols. While we keep the discussion general, much room is dedicated to the discussion of paradigmatic non-interacting fermionic quantum many-body systems, for which we identify significant differences with respect to the role of the minimal work principle. Our work not only has implications for experiments with cold atoms, but also can be viewed as suggesting a mindset for quantum thermodynamics where the role of the external heat baths is instead played by the system itself, with its internal degrees of freedom bringing coarse-grained observables to equilibrium.


title: Improved Quantum Ternary Arithmetics

abstract: Qutrit (or ternary) structures arise naturally in many quantum systems, particularly in certain non-abelian anyon systems. We present efficient circuits for ternary reversible and quantum arithmetics. Our main result is the derivation of circuits for two families of ternary quantum adders, namely ripple carry adders and carry look-ahead adders. The main difference to the binary case is the more complicated form of the ternary carry, which leads to higher resource counts for implementations over a universal ternary gate set. Our ternary ripple adder circuit has a circuit depth of $O(n)$ and uses only $1$ ancilla, making it more efficient in both, circuit depth and width than previous constructions. Our ternary carry lookahead circuit has a circuit depth of only $O(\log\,n)$, while using with $O(n)$ ancillas. Our approach works on two levels of abstraction: at the first level, descriptions of arithmetic circuits are given in terms of gates sequences that use various types of non-Clifford reflections. At the second level, we break down these reflections further by deriving them either from the two-qutrit Clifford gates and the non-Clifford gate $C(X): |i,j\rangle \mapsto |i, j + \delta_{i,2} \mod 3\rangle$ or from the two-qutrit Clifford gates and the non-Clifford gate $P_9=\mbox{diag}(e^{-2 \pi \, i/9},1,e^{2 \pi \, i/9})$. The two choices of elementary gate sets correspond to two possible mappings onto two different prospective quantum computing architectures which we call the metaplectic and the supermetaplectic basis, respectively. Finally, we develop a method to factor diagonal unitaries using multi-variate polynomial over the ternary finite field which allows to characterize classes of gates that can be implemented exactly over the supermetaplectic basis.


title: Generalized Resemblance Theory of Evidence: a Proposal for Precision/Personalized Evidence-Based Medicine

abstract: Precision medicine emerges as the most important contemporary paradigm shift of medical practice but has several challenges in evidence formation and implementation for clinical practice. Precision/Personalized evidence-based medicine (pEBM) requires theoretical support for decision making and information management. This study aims to provide the required methodological framework. Generalized Resemblance Theory of Evidence mainly rests upon Generalized Theory of Uncertainty which manages information as generalized constraints rather than limited statistical data, and also Prototype Resemblance Theory of Disease which defines diseases/conditions when there is a similarity relationship with prototypes (best examples of the disease). The proposed theory explains that precisely-personalized structure of evidence is formed as a generalized constraint on particular research questions, where the constraining relation deals with averaged effect sizes of studies and its comparison to null hypothesis; which might be of either probabilistic or possibilistic nature. Similarity measures were employed to deal with comparisons of high-dimensional characteristics. Real examples of a meta-analysis and its clinical application are provided. This is one of the first attempts for introducing a framework in medicine, which provides optimal balance between generalizability of formed evidence and homogeneity of studied populations.


title: Remote Access M\"ossbauer Spectrometry

abstract: The authors' design for a M\"ossbauer spectroscopy unit accessed via the Internet is presented. The spectrometer's configuration, operational peculiarities, key specifications, and remote access procedures are described. More detailed educational, scientific, and technical information can be found at the project's official website http://efmsb.sinp.msu.ru.


title: A New Pedagogical Way of Finding Out the Gauge Field Strength Tensor in Abelian and Non-Abelian Local Gauge Field Theories

abstract: The gauge field strength tensor $F_{\mu \nu}$ in Abelian and non-Abelian local gauge field theories is a key object in the construction of the Lagrangian since it provides the kinetic term(s) of the gauge field(s) $A_\mu$. When introducing this object, most of textbooks employ as a tool the commutator of the gauge covariant derivatives $D_\mu \psi$ of a fermion field $\psi$: $F_{\mu \nu} \psi = (i/g)[D_\mu,D_\nu]\psi$. I argue that such a construction, although completely correct and valid, is not pedagogical enough for many students that approach the gauge field theories for the first time. Another construction, based on the object $D_\mu A_\nu$: $F_{\mu \nu} = D_{[\mu} A_{\nu]}$, which avoids the introduction of additional and, for the case in consideration, spurious degrees of freedom such as the fermion one, simpler, more pedagogical in many cases, and suitable for first-time students, is presented.


title: Characterizations of endograph metric and $\Gamma$-convergence on fuzzy sets

abstract: This paper is devoted to the relationships and properties of the endograph metric and the $\Gamma$-convergence. The main contents can be divided into three closely related parts. Firstly, on the class of upper semi-continuous fuzzy sets with bounded $\alpha$-cuts, we find that an endograph metric convergent sequence is exactly a $\Gamma$-convergent sequence satisfying the condition that the union of $\alpha$-cuts of all its elements is a bounded set in $\mathbb{R}^m$ for each $\alpha > 0$. Secondly, based on investigations of level characterizations of fuzzy sets themselves, we present level characterizations (level decomposition properties) of the endograph metric and the $\Gamma$-convergence. It is worth mentioning that, using the condition and the level characterizations given above, we discover the fact: the endograph metric and the $\Gamma$-convergence are compatible on a large class of general fuzzy sets which do not have any assumptions of normality, convexity or star-shapedness. Its subsets include common particular fuzzy sets such as fuzzy numbers (compact and noncompact), fuzzy star-shaped numbers (compact and noncompact), and general fuzzy star-shaped numbers (compact and noncompact). Thirdly, on the basis of the conclusions presented above, we study various subspaces of the space of upper semi-continuous fuzzy sets with bounded $\alpha$-cuts equipped with the endograph metric. We present characterizations of total boundedness, relative compactness and compactness in these fuzzy set spaces and clarify relationships among these fuzzy set spaces. It is pointed out that the fuzzy set spaces of noncompact type are exactly the completions of their compact counterparts under the endograph metric.


title: Transmission gaps from corrugations

abstract: A model including a periodically corrugated thin layer with GaAs substrate is employed to investigate the effects of the corrugations on the transmission probability of the nanostructure. We find that transmission gaps and resonant tunneling domains emerge from the corrugations, in the tunneling domains the tunneling peaks and valleys result from the boundaries between adjacent regions in which electron has different effective masses, and can be slightly modified by the layer thickness. These results can provide an access to design a curvature-tunable filter.


title: Variationality with second derivatives, relativistic uniform acceleration, and the 'spin'-curvature interaction in two-dimensional space-time

abstract: A variational formulation for the geodesic circles in two-dimensional Riemannian manifold is discovered. Some relations with the uniform relativistic acceleration and the one-dimensional 'spin'-curvature interaction is investigated.


title: A closer look at a coronal loop rooted in a sunspot umbra

abstract: Extreme UV (EUV) and X-ray loops in the solar corona connect regions of enhanced magnetic activity, but they are not usually rooted in the dark umbrae of sunspots because the strong magnetic field found there suppresses convection. This means that the Poynting flux of magnetic energy into the upper atmosphere is not significant within the umbra as long as there are no light bridges or umbral dots. Here we report a rare observation of a coronal loop rooted in the dark umbra of a sunspot without any traces of light bridges or umbral dots. We used the slit-jaw images and spectroscopic data from IRIS and concentrate on the line profiles of O IV and Si IV that show persistent strong redshifted components in the loop rooted in the umbra. Using the ratios of O IV, we can estimate the density and thus investigate the mass flux. The coronal context and temperature diagnostics of these observations is provided through the EUV channels of AIA. The coronal loop, embedded within cooler downflows, hosts supersonic downflows. The speed of more than 100 km s$^{-1}$ is on the same order of magnitude in the transition region lines of O IV and Si IV, and is even seen at comparable speed in the chromospheric Mg II lines. At a projected distance of within $1"$ of the footpoint, we see a shock transition to smaller downflow speeds of about 15 km s$^{-1}$ being consistent with mass conservation across a stationary isothermal shock. We see no direct evidence for energy input into the loop because the loop is rooted in the dark uniform part of the umbra with no light bridges or umbral dots near by. Thus one might conclude that we are seeing a siphon flow driven from the footpoint at the other end of the loop. However, for a final result data of similar quality at the other footpoint are needed, but this is too far away to be covered by the IRIS field of view.


title: Double convergence of a family of discrete distributed mixed elliptic optimal control problems with a parameter

abstract: We consider a bounded domain $\Omega$ in $\mathbb{R}^{n}$ whose regular boundary $\partial\Omega$ consists of the union of two disjoint portions $\Gamma_{1}$ and $\Gamma_{2}$ with $meas(\Gamma_{1})>0$. The convergence of a family of continuous distributed mixed elliptic optimal control problems (DMEOCPs) $P_{\alpha}$, governed by elliptic variational equalities (EVE), when the parameter $\alpha$ goes to infinity was studied in Gariboldi-Tarzia, Appl. Math. Optim. (2003). It has been proved that the optimal control (OC), and their corresponding system and adjoint system states (SASSs) are strongly convergent, in adequate functional spaces, to the OC, and the SASSs of another CDMEOPC $P$ governed also by an EVE with a different boundary condition on $\Gamma_{1}$. We consider the discrete approximations $P_{h\alpha}$ and $P_{h}$ of the OCPs $P_{\alpha}$ and $P$ respectively, for each $h>0$ and $\alpha>0$, through the finite element method with parameter $h$. We also discrete the EVEs which define the SASSs, and the corresponding cost functional of the DMEOCPs $P_{\alpha}$ and $P$. The goal is to study the double convergence of this family of discrete DMEOCPs $P_{h\alpha}$ when $\alpha\to +\infty$ and $h\to 0$ simultaneously. We prove the convergence of the discrete OCs, the discrete SASSs of the family $P_{h\alpha}$ to the corresponding to the discrete DMEOCP $P_{h}$ when $\alpha\to +\infty$, for each $h>0$,. We study the convergence of the discrete OCPs $P_{h\alpha}$ and $P_{h}$ when $h\to 0$ obtaining a commutative diagram which relates the continuous and discrete DMEOCPs $P_{h\alpha}$, $P_{h}$, $P_{\alpha}$ and $P$ by taking the limits $h\to 0$ and $\alpha\to +\infty$ respectively. We also study the double convergence of $P_{h\alpha}$ to $P$ when $(h,\alpha)\to (0,+\infty)$.


title: The XXL Survey III. Luminosity-temperature relation of the Bright Cluster Sample

abstract: The XXL Survey is the largest homogeneous survey carried out with XMM-Newton. Covering an area of 50 deg$^{2}$, the survey contains several hundred galaxy clusters out to a redshift of $\approx$2 above an X-ray flux limit of $\sim$5$\times10^{-15}$ erg cm$^{-2}$ s$^{-1}$. This paper belongs to the first series of XXL papers focusing on the bright cluster sample. We investigate the luminosity-temperature (LT) relation for the brightest clusters detected in the XXL Survey, taking fully into account the selection biases. We investigate the form of the LT relation, placing constraints on its evolution. We have classified the 100 brightest clusters in the XXL Survey based on their measured X-ray flux. These 100 clusters have been analysed to determine their luminosity and temperature to evaluate the LT relation. We used three methods to fit the LT relation, with two of these methods providing a prescription to fully take into account the selection effects of the survey. We measure the evolution of the LT relation internally using the broad redshift range of the sample. Taking into account selection effects, we find a slope of the bolometric LT relation of B$_{\rm LT}=3.08\pm$0.15, steeper than the self-similar expectation (B$_{\rm LT}$=2). Our best-fit result for the evolution factor is $E(z)^{1.64\pm0.77}$, consistent with "strong self-similar" evolution where clusters scale self-similarly with both mass and redshift. However, this result is marginally stronger than "weak self-similar" evolution, where clusters scale with redshift alone. We investigate the sensitivity of our results to the assumptions made in our model, finding that using an external LT relation as a low-z baseline can have a profound effect on the measured evolution. However, more clusters are needed to break the degeneracy between the choice of likelihood model and mass-temperature relation on the derived evolution.


title: Are the Formation and Abundances of Metal-Poor Stars the Result of Dust Dynamics?

abstract: Large dust grains can fluctuate dramatically in their local density, relative to gas, in neutral, turbulent disks. Small, high-redshift galaxies (before reionization) represent ideal environments for this process. We show via simple arguments and simulations that order-of-magnitude fluctuations are expected in local abundances of large grains under these conditions. This can have important consequences for star formation and stellar abundances in extremely metal-poor stars. Low-mass stars could form in dust-enhanced regions almost immediately after some dust forms, even if the galaxy-average metallicity is too low for fragmentation to occur. The abundances of these 'promoted' stars may contain interesting signatures, as the CNO abundances (concentrated in large carbonaceous grains and ices) and Mg and Si (in large silicate grains) can be enhanced or fluctuate independently. Remarkably, otherwise puzzling abundance patterns of some metal-poor stars can be well-fit by standard core-collapse SNe yields, if we allow for fluctuating dust-to-gas ratios. We also show that the observed log-normal-like distribution of enhancements in these species agrees with our simulations. Moreover, we confirm Mg and Si are correlated in these stars, with abundance ratios similar to those in local silicate grains. Meanwhile [Mg/Ca], predicted to be nearly invariant from pure SNe yields, shows large enhancements as expected in the dust-promoted model, preferentially in the [C/Fe]-enhanced metal-poor stars. This suggests that (1) dust exists in second-generation star formation, (2) dust-to-gas ratio fluctuations occur and can be important for star formation, and (3) light element abundances of these stars may be affected by the chemistry of dust where they formed, rather than directly tracing nucleosynthesis.


title: The Gaia-ESO Survey: Separating disk chemical substructures with cluster models

abstract: (Abridged) Recent spectroscopic surveys have begun to explore the Galactic disk system outside the solar neighborhood on the basis of large data samples. In this way, they provide valuable information for testing spatial and temporal variations of disk structure kinematics and chemical evolution. We used a Gaussian mixture model algorithm, as a rigurous mathematical approach, to separate in the [Mg/Fe] vs. [Fe/H] plane a clean disk star subsample from the Gaia-ESO survey internal data release 2. We find that the sample is separated into five groups associated with major Galactic components; the metal-rich end of the halo, the thick disk, and three subgroups for the thin disk sequence. This is confirmed with a sample of red clump stars from the Apache Point Observatory Galactic Evolution Experiment (APOGEE) survey. The two metal-intermediate and metal-rich groups of the thin disk decomposition ([Fe/H]>-0.25 dex) highlight a change in the slope at solar metallicity. This holds true at different radial regions. The distribution of Galactocentric radial distances of the metal-poor part of the thin disk ([Fe/H]<-0.25 dex) is shifted to larger distances than those of the more metal-rich parts. Moreover, the metal-poor part of the thin disk presents indications of a scale height intermediate between those of the thick and the rest of the thin disk, and it displays higher azimuthal velocities than the latter. These stars might have formed and evolved in parallel and/or dissociated from the inside-out formation taking place in the internal thin disk. Their enhancement levels might be due to their origin from gas pre-enriched by outflows from the thick disk or the inner halo. The smooth trends of their properties (their spatial distribution with respect to the plane, in particular) with [Fe/H] and [Mg/Fe] suggested by the data indicates a quiet dynamical evolution, with no relevant merger events.


title: The Large-Scale Observational Signatures of Low-Mass Galaxies During Reionization

abstract: Observations of the epoch of reionization give us clues about the nature and evolution of the sources of ionizing photons, or early stars and galaxies. We present a new suite of structure formation and radiative transfer simulations from the PRACE4LOFAR project designed to investigate whether the mechanism of radiative feedback, or the suppression of star formation in ionized regions from UV radiation, can be inferred from these observations. Our source halo mass extends down to $10^8 M_\odot$, with sources in the mass range $10^8$ to $10^9 M_\odot$ expected to be particularly susceptible to feedback from ionizing radiation, and we vary the aggressiveness and nature of this suppression. Not only do we have four distinct source models, we also include two box sizes (67 Mpc and 349 Mpc), each with two grid resolutions. This suite of simulations allows us to investigate the robustness of our results. All of our simulations are broadly consistent with the observed electron-scattering optical depth of the cosmic microwave background and the neutral fraction and photoionization rate of hydrogen at $z\sim6$. In particular, we investigate the redshifted 21-cm emission in anticipation of upcoming radio interferometer observations. We find that the overall shape of the 21-cm signal and various statistics are robust to the exact nature of source suppression, the box size, and the resolution. There are some promising model discriminators in the non-Gaussianity and small-scale power spectrum of the 21-cm signal.


title: Finite Gauge Transformations and Geometry in Extended Field Theory

abstract: The recently derived expressions for finite gauge transformations in double field theory with duality group O(d,d) are generalised to give expressions for finite gauge transformations for extended field theories with duality group SL(5,R), SO(5,5) and E6. The generalised metrics are discussed.


title: Dynamical Decentralized Voltage Control of Multi-Terminal HVDC Grids

abstract: High-voltage direct current (HVDC) is a commonly used technology for long-distance electric power transmission, mainly due to its low resistive losses. When connecting multiple HVDC lines into a multi-terminal HVDC (MTDC) system, several challenges arise. To ensure safe and efficient operation of MTDC systems, the voltage of all terminals need to be steered to within an operational range. In this paper we study the commonly used decentralized voltage droop controller, and show that it in general does not steer the voltages to within the operational range. We propose a decentralized PI controller with deadband, and show that it always steers the voltages to within the operational range regardless of the loads. Additionally we show that the proposed controller inherits the property of proportional power sharing from the droop controller, provided that both the loads and the line resistances are sufficiently low. The results are validated through simulation in MATLAB.


title: Design and Optimal Configuration of Full-Duplex MAC Protocol for Cognitive Radio Networks Considering Self-Interference

abstract: In this paper, we propose an adaptive Medium Access Control (MAC) protocol for full-duplex (FD) cognitive radio networks in which FD secondary users (SUs) perform channel contention followed by concurrent spectrum sensing and transmission, and transmission only with maximum power in two different stages (called the FD sensing and transmission stages, respectively) in each contention and access cycle. The proposed FD cognitive MAC (FDC-MAC) protocol does not require synchronization among SUs and it efficiently utilizes the spectrum and mitigates the self-interference in the FD transceiver. We then develop a mathematical model to analyze the throughput performance of the FDC-MAC protocol where both half-duplex (HD) transmission (HDTx) and FD transmission (FDTx) modes are considered in the transmission stage. Then, we study the FDC-MAC configuration optimization through adaptively controlling the spectrum sensing duration and transmit power level in the FD sensing stage where we prove that there exists optimal sensing time and transmit power to achieve the maximum throughput and we develop an algorithm to configure the proposed FDC-MAC protocol. Extensive numerical results are presented to illustrate the characteristic of the optimal FDC-MAC configuration and the impacts of protocol parameters and the self-interference cancellation quality on the throughput performance. Moreover, we demonstrate the significant throughput gains of the FDC-MAC protocol with respect to existing half-duplex MAC (HD MAC) and single-stage FD MAC protocols.


title: An LR pair that can be extended to an LR triple

abstract: Fix an integer $d \geq 0$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. By a decomposition of $V$ we mean a sequence $\{V_i\}_{i=0}^d$ of $1$-dimensional $\mathbb{F}$-subspaces of $V$ such that $V = \sum_{i=0}^d V_i$ (direct sum). Consider $\mathbb{F}$-linear transformations $A$, $B$ from $V$ to $V$. Then $A,B$ is called an LR pair whenever there exists a decomposition $\{V_i\}_{i=0}^d$ of $V$ such that $A V_i = V_{i-1}$ and $B V_i = V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$. By an LR triple we mean a $3$-tuple $A,B,C$ of $\mathbb{F}$-linear transformations from $V$ to $V$ such that any two of them form an LR pair. In the present paper, we consider how an LR pair $A,B$ can be extended to an LR triple $A,B,C$.


title: Twin peak quasi-periodic oscillations as signature of oscillating cusp torus

abstract: Serious theoretical effort has been devoted to explain the observed frequencies of twin-peak quasi-periodic oscillations (HF QPOs) observed in low-mass X-ray neutron star binaries. Here we propose a new model of HF QPOs. Within its framework we consider an oscillating torus with cusp that changes location $r_0$ of its centre around radii very close to innermost stable circular orbit. The observed variability is assigned to global modes of accreted fluid motion that may give strong modulation of both accretion disc radiation and the accretion rate. For a given spacetime geometry, the model predicts that QPO frequencies are function of single parameter $r_0$. We illustrate that the model can provide fits of data comparable to those reached by other models, or even better. In particular it is compared to relativistic precession model. Moreover, we also illustrate that the model consideration is compatible with consideration of models of a rotating neutron star in the atoll source 4U~1636-53.


title: Splitting of interlayer shear modes and photon energy dependent anisotropic Raman response in $N$-layer ReSe$_2$ and ReS$_2$

abstract: We investigate the interlayer phonon modes in $N$-layer rhenium diselenide (ReSe$_2$) and rhenium disulfide (ReS$_2$) by means of ultralow-frequency micro-Raman spectroscopy. These transition metal dichalcogenides exhibit a stable distorted octahedral (1T') phase with significant in-plane anisotropy, leading to sizable splitting of the (in-plane) layer shear modes. The fan-diagrams associated with the measured frequencies of the interlayer shear modes and the (out-of-plane) interlayer breathing modes are perfectly described by a finite linear chain model and allow the determination of the interlayer force constants. Nearly identical values are found for ReSe$_2$ and ReS$_2$. The latter are appreciably smaller than but on the same order of magnitude as the interlayer force constants reported in graphite and in trigonal prismatic (2Hc) transition metal dichalcogenides (such as MoS$_2$, MoSe$_2$, MoTe$_2$, WS$_2$, WSe$_2$), demonstrating the importance of van der Waals interactions in $N$-layer ReSe$_2$ and ReS$_2$. In-plane anisotropy results in a complex angular dependence of the intensity of all Raman modes, which can be empirically utilized to determine the crystal orientation. However, we also demonstrate that the angular dependence of the Raman response drastically depends on the incoming photon energy, shedding light on the importance of resonant exciton-phonon coupling in ReSe$_2$ and ReS$_2$.


title: Efficient Bayesian species tree inference under the multi-species coalescent

abstract: A method was developed for Bayesian inference of species phylogeny using the multi-species coalescent model. To improve the mixing properties of the Markov chain Monte Carlo (MCMC) algorithm that traverses the space of species trees, we implement two efficient MCMC proposals: the first is based on the Subtree Pruning and Regrafting (SPR) algorithm and the second is based on a novel node-slider algorithm. Like the Nearest-Neighbor Interchange (NNI) algorithm we implemented previously, both algorithms propose changes to the species tree, while simultaneously altering the gene trees at multiple genetic loci to automatically avoid conflicts with the newly-proposed species tree. The method integrates over gene trees, naturally taking account of the uncertainty of gene tree topology and branch lengths given the sequence data. A simulation study was performed to examine the statistical properties of the new method. We found that it has excellent statistical performance, inferring the correct species tree with near certainty when analyzing 10 loci. The prior on species trees has some impact, particularly for small numbers of loci. An empirical dataset (for rattlesnakes) was reanalyzed. While the 18 nuclear loci and one mitochondrial locus support largely consistent species trees under the multi-species coalescent model estimates of parameters suggest drastically different evolutionary dynamics between the nuclear and mitochondrial loci.


title: Efficient Deep Feature Learning and Extraction via StochasticNets

abstract: Deep neural networks are a powerful tool for feature learning and extraction given their ability to model high-level abstractions in highly complex data. One area worth exploring in feature learning and extraction using deep neural networks is efficient neural connectivity formation for faster feature learning and extraction. Motivated by findings of stochastic synaptic connectivity formation in the brain as well as the brain's uncanny ability to efficiently represent information, we propose the efficient learning and extraction of features via StochasticNets, where sparsely-connected deep neural networks can be formed via stochastic connectivity between neurons. To evaluate the feasibility of such a deep neural network architecture for feature learning and extraction, we train deep convolutional StochasticNets to learn abstract features using the CIFAR-10 dataset, and extract the learned features from images to perform classification on the SVHN and STL-10 datasets. Experimental results show that features learned using deep convolutional StochasticNets, with fewer neural connections than conventional deep convolutional neural networks, can allow for better or comparable classification accuracy than conventional deep neural networks: relative test error decrease of ~4.5% for classification on the STL-10 dataset and ~1% for classification on the SVHN dataset. Furthermore, it was shown that the deep features extracted using deep convolutional StochasticNets can provide comparable classification accuracy even when only 10% of the training data is used for feature learning. Finally, it was also shown that significant gains in feature extraction speed can be achieved in embedded applications using StochasticNets. As such, StochasticNets allow for faster feature learning and extraction performance while facilitate for better or comparable accuracy performances.


title: Decoherence by Internal Degrees of Freedom

abstract: We consider a composite system consisting of coupled particles, and investigate decoherence due to coupling of the center-of-mass degree of freedom with the internal degrees of freedom. For a simple model of two bound particles, we show that in general such a decoherence effect exists, and leads to suppression of interference between different paths of the center-of-mass. For the special case of two harmonically-bound particles moving in an external potential in one dimension, we show that the coupling between the center-of-mass and internal degrees of freedom can be approximated as parametric driving, and that nontrivial coupling depends on the second derivative of the external potential. We find a partial solution to this parametric driving problem. For a simple interference experiment, consisting of two wave packets scattering off of a square well, we perform numerical simulations and show a close connection between suppression of interference and entanglement between the center-of-mass and internal degrees of freedom. We also propose a measure of compositeness which quantifies the extent to which a composite system cannot be approximated as a single, indivisible particle. We numerically calculate this quantity for our square well example system.


title: Topological conformal defects with tensor networks

abstract: The critical 2d classical Ising model on the square lattice has two topological conformal defects: the $\mathbb{Z}_2$ symmetry defect $D_{\epsilon}$ and the Kramers-Wannier duality defect $D_{\sigma}$. These two defects implement antiperiodic boundary conditions and a more exotic form of twisted boundary conditions, respectively. On the torus, the partition function $Z_{D}$ of the critical Ising model in the presence of a topological conformal defect $D$ is expressed in terms of the scaling dimensions $\Delta_{\alpha}$ and conformal spins $s_{\alpha}$ of a distinct set of primary fields (and their descendants, or conformal towers) of the Ising CFT. This characteristic conformal data $\{\Delta_{\alpha}, s_{\alpha}\}_{D}$ can be extracted from the eigenvalue spectrum of a transfer matrix $M_{D}$ for the partition function $Z_D$. In this paper we investigate the use of tensor network techniques to both represent and coarse-grain the partition functions $Z_{D_\epsilon}$ and $Z_{D_\sigma}$ of the critical Ising model with either a symmetry defect $D_{\epsilon}$ or a duality defect $D_{\sigma}$. We also explain how to coarse-grain the corresponding transfer matrices $M_{D_\epsilon}$ and $M_{D_\sigma}$, from which we can extract accurate numerical estimates of $\{\Delta_{\alpha}, s_{\alpha}\}_{D_{\epsilon}}$ and $\{\Delta_{\alpha}, s_{\alpha}\}_{D_{\sigma}}$. Two key new ingredients of our approach are (i) coarse-graining of the defect $D$, which applies to any (i.e. not just topological) conformal defect and yields a set of associated scaling dimensions $\Delta_{\alpha}$, and (ii) construction and coarse-graining of a generalized translation operator using a local unitary transformation that moves the defect, which only exist for topological conformal defects and yields the corresponding conformal spins $s_{\alpha}$.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Complete connections on fiber bundles

abstract: Every smooth fiber bundle admits a complete (Ehresmann) connection. This result appears in several references, with a proof on which we have found a gap, that does not seem possible to remedy. In this note we provide a definite proof for this fact, explain the problem with the previous one, and illustrate with examples. We also establish a version of the theorem involving Riemannian submersions.


title: Directed Unions of Local Quadratic Transforms of a Regular Local Ring

abstract: We consider the directed union S of an infinite sequence {(R_n, m_n)} of successive local quadratic transforms of a regular local ring (R, m). If dim R = 2, Abhyankar proves that S is a valuation ring. If dim R > 2, Shannon gives necessary and sufficient conditions for S to be a rank 1 valuation domain and Granja gives necessary and sufficient conditions that S be a rank 2 rational rank 2 valuation domain. Granja observes that these are the only cases where S is a valuation domain. If the sequence is along a rank 1 valuation ring V with valuation v, Granja, Martinez, and Rodriguez show that if the infinite sum of the values v(m_n) diverges, then S = V. We prove that this infinite sum is finite if V has rational rank at least 2. We present an example of a sequence whose union S is a rank 2 valuation domain, but whose value group is not Z^2. We also consider sequences of monomial local quadratic transforms and give necessary and sufficient conditions that the union be a rank 1 valuation domain. If it is, it has rational rank d. We string together finite sequences of monomial local quadratic transforms to construct examples where S is a rank 1 valuation domain with rational rank < d.


title: Supercooling of Atoms in an Optical Resonator

abstract: We investigate laser cooling of an ensemble of atoms in an optical cavity. We demonstrate that when atomic dipoles are sychronized in the regime of steady-state superradiance, the motion of the atoms may be subject to a giant frictional force leading to potentially very low temperatures. The ultimate temperature limits are determined by a modified atomic linewidth, which can be orders of magnitude smaller than the cavity linewidth. The cooling rate is enhanced by the superradiant emission into the cavity mode allowing reasonable cooling rates even for dipolar transitions with ultranarrow linewidth.


title: Minimal Perceptrons for Memorizing Complex Patterns

abstract: Feedforward neural networks have been investigated to understand learning and memory, as well as applied to numerous practical problems in pattern classification. It is a rule of thumb that more complex tasks require larger networks. However, the design of optimal network architectures for specific tasks is still an unsolved fundamental problem. In this study, we consider three-layered neural networks for memorizing binary patterns. We developed a new complexity measure of binary patterns, and estimated the minimal network size for memorizing them as a function of their complexity. We formulated the minimal network size for regular, random, and complex patterns. In particular, the minimal size for complex patterns, which are neither ordered nor disordered, was predicted by measuring their Hamming distances from known ordered patterns. Our predictions agreed with simulations based on the back-propagation algorithm.


title: A Design of Endurance Queue for Co-Existing Systems in Multi-Programmed Environments

abstract: These days enterprise applications try to integrate online processing and batch jobs into a common software stack for seamless monitoring and driverless operations. Continuous integration of these systems results in choking of the poorly performing sub-systems, when the service demand and throughput are not synchronized. A poorly performing sub-system may become a serious performance bottleneck for the entire system if its serviceability and the capacity is over utilized by increased service demand from upstream systems. From all the integrated sub-systems, queuing systems are majorly categorized as choking elements due to their limited service length and lack of processing details. The situation becomes more pronounced in multiprogramming environments where the queue performance exponentially degrades with increased degree of multiprogramming at upstream levels. This paper presents an approach to compute the queue length and devise a distribution model such that the queue length is dynamically adjusted depending on the sudden growth or decline of transmission packets. The idea is to design a heat map of the memory and correlate it with the queue length distribution. With each degree of multi-programmability, the data processing logic is adjusted by the distribution model to arrive at an endurance level queue for long term service under variable load conditions. It will take away the current implementation of using delayed processing logic and/or batch processing of data at downstream systems.


title: Dark matter beams at LBNF

abstract: High-intensity neutrino beam facilities may produce a beam of light dark matter when protons strike the target. Searches for such a dark matter beam using its scattering in a nearby detector must overcome the large neutrino background. We characterize the spatial and energy distributions of the dark matter and neutrino beams, focusing on their differences to enhance the sensitivity to dark matter. We find that a dark matter beam produced by a $Z'$ boson in the GeV mass range is both broader and more energetic than the neutrino beam. The reach for dark matter is maximized for a detector sensitive to hard neutral-current scatterings, placed at a sizable angle off the neutrino beam axis. In the case of the Long-Baseline Neutrino Facility (LBNF), a detector placed at roughly 6 degrees off axis and at a distance of about 200 m from the target would be sensitive to $Z'$ couplings as low as 0.05. This search can proceed symbiotically with neutrino measurements. We also show that the MiniBooNE and MicroBooNE detectors, which are on Fermilab's Booster beamline, happen to be at an optimal angle from the NuMI beam and could perform searches with existing data. This illustrates potential synergies between LBNF and the short-baseline neutrino program if the detectors are positioned appropriately.


title: Secure Estimation based Kalman Filter for Cyber-Physical Systems against Adversarial Attacks

abstract: Cyber-physical systems are found in many applications such as power networks, manufacturing processes, and air and ground transportation systems. Maintaining security of these systems under cyber attacks is an important and challenging task, since these attacks can be erratic and thus difficult to model. Secure estimation problems study how to estimate the true system states when measurements are corrupted and/or control inputs are compromised by attackers. The authors in [1] proposed a secure estimation method when the set of attacked nodes (sensors, controllers) is fixed. In this paper, we extend these results to scenarios in which the set of attacked nodes can change over time. We formulate this secure estimation problem into the classical error correction problem [2] and we show that accurate decoding can be guaranteed under a certain condition. Furthermore, we propose a combined secure estimation method with our proposed secure estimator and the Kalman Filter for improved practical performance. Finally, we demonstrate the performance of our method through simulations of two scenarios where an unmanned aerial vehicle is under adversarial attack.


title: Parsec-scale accretion and winds irradiated by a quasar

abstract: We present numerical simulations of properties of a parsec-scale torus exposed to illumination by the central black hole in an active galaxy (AGN). Our physical model allows to investigate the balance between the formation of winds and accretion simultaneously. Radiation-driven winds are allowed by taking into account radiation pressure due to UV and IR radiation along with X-ray heating and dust sublimation. Accretion is allowed through angular momentum transport and the solution of the equations of radiation hydrodynamics. Our methods adopt flux-limited diffusion radiation-hydrodynamics for the dusty, infrared pressure driven part of the flow, along with X-ray heating and cooling. Angular momentum transport in the accreting part of the flow is modeled using effective viscosity. Our results demonstrate that radiation pressure on dust can play an important role in shaping AGN obscuration. For example, when the luminosity illuminating the torus exceeds $L>0.01\,L_{\rm Edd}$, where $L_{\rm Edd}$ is the Eddington luminosity, we find no episodes of sustained disk accretion because radiation pressure does not allow a disk to form. Despite the absence of the disk accretion, the flow of gas to smaller radii still proceeds at a rate $10^{-4}-10^{-1}\,M_\odot\,{\rm yr}^{-1}$ through the capturing of the gas from the hot evaporative flow, thus providing a mechanism to deliver gas from a radiation-pressure dominated torus to the inner accretion disk. As $L/L_{\rm edd}$ increases, larger radiation input leads to larger torus aspect ratios and increased obscuration of the central black hole. We also find the important role of the X-ray heated gas in shaping of the obscuring torus.


title: Probable Spin-Orbit Aligned Super-Earth Planet Candidate KOI-2138.01

abstract: We use rotational gravity darkening in the disk of \emph{Kepler} star KOI-2138 to show that the orbit of $2.1-R_\oplus$ transiting planet candidate KOI-2138.01 has a low projected spin-orbit alignment of $\lambda=1^\circ\pm13$. KOI-2138.01 is just the second super-Earth with a measured spin-orbit alignment after 55 Cancri e, and the first to be aligned. With a 23.55-day orbital period, KOI-2138.01 may represent the tip of a future iceberg of solar-system-like terrestrial planets having intermediate periods and low-inclination circular orbits.


title: Kondo screening of Andreev bound states in an N-QD-S system

abstract: Motivated by experimental observation of the Kondo-enhanced Andreev transport [R. S. Deacon \textit{et al.}, PRB \textbf{81}, 121308(R) (2010)] in a hybrid normal metal-quantum dot-superconductor (N-QD-S) device, we theoretically study the Kondo effect in such a device and clarify the different roles played by the normal and superconducting leads. Due to the Andreev reflection in a QD-S system, a pair of Andreev energy levels form in the superconducting gap, which is able to carry the magnetic moment if the ground state of the QD is a magnetic doublet. In this sense, the Andreev energy levels play a role of effective impurity levels. When the normal lead is coupled to the QD-S system, on the one hand, the Andreev energy levels broaden to form the so-called Andreev bound states (ABSs), on the other hand, it can screen the magnetic moment of the ABSs. By tuning the couplings between the QD and the normal (superconducting) leads, the ABSs can simulate the Kondo, mixed-valence, and even empty orbit regimes of the usual single-impurity Anderson model. The above picture is confirmed by the Green's function calculation of the hybrid N-QD-S Anderson model and is also able to explain qualitatively experimental phenomena observed by Deacon \textit{et al.}. These results can further stimulate related experimental study in the N-QD-S systems.


title: The XXL Survey IV. Mass-temperature relation of the bright cluster sample

abstract: The XXL survey is the largest survey carried out by XMM-Newton. Covering an area of 50deg$^2$, the survey contains $\sim450$ galaxy clusters out to a redshift $\sim$2 and to an X-ray flux limit of $\sim5\times10^{-15}erg\,s^{-1}cm^{-2}$. This paper is part of the first release of XXL results focussed on the bright cluster sample. We investigate the scaling relation between weak-lensing mass and X-ray temperature for the brightest clusters in XXL. The scaling relation is used to estimate the mass of all 100 clusters in XXL-100-GC. Based on a subsample of 38 objects that lie within the intersection of the northern XXL field and the publicly available CFHTLenS catalog, we derive the $M_{WL}$ of each system with careful considerations of the systematics. The clusters lie at $0.1<z<0.6$ and span a range of $ T\simeq1-5keV$. We combine our sample with 58 clusters from the literature, increasing the range out to 10keV. To date, this is the largest sample of clusters with $M_{WL}$ measurements that has been used to study the mass-temperature relation. The fit ($M\propto T^b$) to the XXL clusters returns a slope $b=1.78^{+0.37}_{-0.32}$ and intrinsic scatter $\sigma_{\ln M|T}\simeq0.53$; the scatter is dominated by disturbed clusters. The fit to the combined sample of 96 clusters is in tension with self-similarity, $b=1.67\pm0.12$ and $\sigma_{\ln M|T}\simeq0.41$. Overall our results demonstrate the feasibility of ground-based weak-lensing scaling relation studies down to cool systems of $\sim1keV$ temperature and highlight that the current data and samples are a limit to our statistical precision. As such we are unable to determine whether the validity of hydrostatic equilibrium is a function of halo mass. An enlarged sample of cool systems, deeper weak-lensing data, and robust modelling of the selection function will help to explore these issues further.


title: Complex length of short curves and Minimal Fibration in hyperbolic $3$-Manifolds fibering over the circle

abstract: We investigate the maximal solid tubes around short simple geodesics in hyperbolic three-manifolds and how complex length of curves relate to closed, incompressible, least area minimal surfaces. As applications, we prove, there are some closed hyperbolic three-manifolds fibering over the circle which are not foliated by closed incompressible minimal surfaces diffeomorphic to the fiber. We also show, the existence of quasi-Fuchsian manifolds containing arbitrarily many embedded closed incompressible minimal surfaces. Our strategy is to prove main theorems under natural geometric conditions on the complex length of closed curves on a fibered hyperbolic three-manifold, then we find explicit examples where these conditions are satisfied via computer programs.


title: Finite Countermodel Based Verification for Program Transformation (A Case Study)

abstract: Both automatic program verification and program transformation are based on program analysis. In the past decade a number of approaches using various automatic general-purpose program transformation techniques (partial deduction, specialization, supercompilation) for verification of unreachability properties of computing systems were introduced and demonstrated. On the other hand, the semantics based unfold-fold program transformation methods pose themselves diverse kinds of reachability tasks and try to solve them, aiming at improving the semantics tree of the program being transformed. That means some general-purpose verification methods may be used for strengthening program transformation techniques. This paper considers the question how finite countermodels for safety verification method might be used in Turchin's supercompilation method. We extract a number of supercompilation sub-algorithms trying to solve reachability problems and demonstrate use of an external countermodel finder for solving some of the problems.


title: Verifying Temporal Properties of Reactive Systems by Transformation

abstract: We show how program transformation techniques can be used for the verification of both safety and liveness properties of reactive systems. In particular, we show how the program transformation technique distillation can be used to transform reactive systems specified in a functional language into a simplified form that can subsequently be analysed to verify temporal properties of the systems. Example systems which are intended to model mutual exclusion are analysed using these techniques with respect to both safety (mutual exclusion) and liveness (non-starvation), with the errors they contain being correctly identified.


title: Control Flow Analysis for SF Combinator Calculus

abstract: Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functional programming, as embodied by the lambda calculus and SK combinator calculus. The recently-developed SF combinator calculus offers an alternative, intensional model of computation that may serve as a foundation for developing principled languages in which to express intensional computation, including program transformation. Until now there have been no static analyses for reasoning about or verifying programs written in SF-calculus. We take the first step towards remedying this by developing a formulation of the popular control flow analysis 0CFA for SK-calculus and extending it to support SF-calculus. We prove its correctness and demonstrate that the analysis is invariant under the usual translation from SK-calculus into SF-calculus.


title: Decomposition by tree dimension in Horn clause verification

abstract: In this paper we investigate the use of the concept of tree dimension in Horn clause analysis and verification. The dimension of a tree is a measure of its non-linearity - for example a list of any length has dimension zero while a complete binary tree has dimension equal to its height. We apply this concept to trees corresponding to Horn clause derivations. A given set of Horn clauses P can be transformed into a new set of clauses P=<k, whose derivation trees are the subset of P's derivation trees with dimension at most k. Similarly, a set of clauses P>k can be obtained from P whose derivation trees have dimension at least k + 1. In order to prove some property of all derivations of P, we systematically apply these transformations, for various values of k, to decompose the proof into separate proofs for P=<k and P>k (which could be executed in parallel). We show some preliminary results indicating that decomposition by tree dimension is a potentially useful proof technique. We also investigate the use of existing automatic proof tools to prove some interesting properties about dimension(s) of feasible derivation trees of a given program.


title: Gluonic Structure of the Constituent Quark

abstract: Based on both the constituent quark picture and the instanton model for QCD vacuum, we calculate the unpolarized and polarized gluon distributions in the constituent quark and in the nucleon. Our approach consists of the two main steps. At the first step, we calculate the gluon distributions inside the constituent quark generated by the perturbative quark-gluon interaction, the non-perturbative quark-gluon interaction, and the non-perturbative quark-gluon-pion anomalous chromomagnetic interaction. The non-perturbative interactions are related to the existence of the instantons, strong topological fluctuations of gluon fields, in the QCD vacuum. At the second step, the convolution model is applied to derive the gluon distributions in the nucleon. A very important role of the pion field in producing the unpolarized and the polarized gluon distributions in the hadrons is discovered. We discuss a possible solution of the proton spin problem.


title: Superconductivity in the Hexagonal Ternary Phosphide ScIrP

abstract: We report the discovery of a bulk superconducting transition at 3.4 K in the ternary phosphide, ScIrP, which crystallizes in a hexagonal ZrNiAl-type structure without spatial inversion symmetry. On the basis of heat capacity data in a zero magnetic field, ScIrP is suggested to be a weakly-coupled Bardeen-Cooper-Schrieffer superconductor. Alternatively, experimental results under magnetic fields indicate that this material is a type-II superconductor with an upper critical field Hc2 at magnetic fields above 5 T at zero temperature. This moderately high Hc2 does not violate the Pauli limit, but it does imply that there is a significant effect from the strong spin-orbit interaction of Ir 5d electrons in the noncentrosymmetric crystal structure. Electronic structure calculations show an interesting feature of ScIrP, where both the Sc 3d and Ir 5d orbitals contribute to the electronic density of states at the Fermi level.


title: Multilinear Dyadic Operators And Their Commutators

abstract: We introduce multilinear analogues of dyadic paraproduct operators and Haar Multipliers, and study boundedness properties of these operators and their commutators. We also characterize dyadic BMO functions via the boundedness of certain paraproducts and also via the boundedness of the commutators of multilinear Haar Multipliers and paraproduct operators.


title: A Class of Linear Codes With Three Weights

abstract: Linear codes have been an interesting subject of study for many years. Recently, linear codes with few weights have been constructed and extensively studied. In this paper, for an odd prime p, a class of three-weight linear codes over Fp are constructed. The weight distributions of the linear codes are settled. These codes have applications in authentication codes, association schemes and data storage systems.


title: Period relations for automorphic forms on unitary groups and critical values of $L$-functions

abstract: In this paper we explore some properties of periods attached to automorphic representations of unitary groups over CM fields and the critical values of their $L$-functions. We prove a formula expressing the critical values in the range of absolute convergence in terms of Petersson norms of holomorphic automorphic forms. On the other hand, we express the Deligne period of a related motive as a product of quadratic periods and compare the two expressions by means of Deligne's conjecture.


title: Mathematics of Domains

abstract: Two groups of naturally arising questions in the mathematical theory of domains for denotational semantics are addressed. Domains are equipped with Scott topology and represent data types. Scott continuous functions represent computable functions and form the most popular continuous model of computations. Covariant Logic of Domains: Domains are represented as sets of theories, and Scott continuous functions are represented as input-output inference engines. The questions addressed are: A. What constitutes a subdomain? Do subdomains of a given domain $A$ form a domain? B. Which retractions are finitary? C. What is the essence of generalizations of information systems based on non-reflexive logics? Are these generalizations restricted to continuous domains? Analysis on Domains: D. How to describe Scott topologies via generalized distance functions satisfying the requirement of Scott continuity ("abstract computability")? The answer is that the axiom $\rho (x, x) = 0$ is incompatible with Scott continuity of distance functions. The resulting \bf relaxed metrics are studied. E. Is it possible to obtain Scott continuous relaxed metrics via measures of domain subsets representing positive and negative information about domain elements? The positive answer is obtained via the discovery of the novel class of co-continuous valuations on the systems of Scott open sets. Some of these natural questions were studied earlier. However, in each case a novel approach is presented, and the answers are supplied with much more compelling and clear justifications, than were known before.


title: Independence of volume and genus $g$ bridge numbers

abstract: A theorem of Jorgensen and Thurston implies that the volume of a hyperbolic 3-manifold is bounded below by a linear function of its Heegaard genus. Heegaard surfaces and bridge surfaces often exhibit similar topological behavior; thus it is natural to extend this comparison to ask whether a $(g,b)$-bridge surface for a knot $K$ in $S^3$ carries any geometric information related to the knot exterior. In this paper, we show that (unlike in the case of Heegaard splittings) hyperbolic volume and genus $g$ bridge numbers are completely independent. That is, for any $g$, we construct explicit sequences of knots with bounded volume and unbounded genus $g$ bridge number, and explicit sequences of knots with bounded genus $g$ bridge number and unbounded volume.


title: Impacts of the Nuclear Symmetry Energy on Neutron Star Crusts

abstract: Using the relativistic mean-field theory, we adopt two different methods, namely, the coexisting phase method and the self-consistent Thomas-Fermi approximation, to study the impacts of the nuclear symmetry energy on properties of neutron star crusts within a wide range of densities. It is found that the nuclear symmetry energy and its density slope play an important role in determining the pasta phases and the crust-core transition.


title: On the Linear Complexity of Generalized Cyclotomic Quaternary Sequences with Length $2pq$

abstract: In this paper, the linear complexity over $\mathbf{GF}(r)$ of generalized cyclotomic quaternary sequences with period $2pq$ is determined, where $ r $ is an odd prime such that $r \ge 5$ and $r\notin \lbrace p,q\rbrace$. The minimal value of the linear complexity is equal to $\tfrac{5pq+p+q+1}{4}$ which is greater than the half of the period $2pq$. According to the Berlekamp-Massey algorithm, these sequences are viewed as enough good for the use in cryptography. We show also that if the character of the extension field $\mathbf{GF}(r^{m})$, $r$, is chosen so that $\bigl(\tfrac{r}{p}\bigr) = \bigl(\tfrac{r}{q}\bigr) = -1$, $r\nmid 3pq-1$, and $r\nmid 2pq-4$, then the linear complexity can reach the maximal value equal to the length of the sequences.


title: Sensitivity of the decay $h\to ZZ^*\to Zl+l-$ to the Higgs self coupling through radiative corrections

abstract: We study the radiative corrections induced by the triple Higgs boson coupling $hhh$ in the three body decay $h\to ZZ^*\to Zl\bar l$. We show that these corrections are potentially sensitive to the specific value of this coupling in the Standard Model and the Two Higgs Doublet Model (2HDM). These effects may induce corrections to the integrated decay width of the three-body decay of order few percent in the 2HDM and thus open a new window to test the Higgs boson self interaction in physics beyond the standard model.


title: Structural Results for Partially Observed Markov Decision Processes

abstract: This article provides an introductory tutorial on structural results in partially observed Markov decision processes (POMDPs). Typically, computing the optimal policy of a POMDP is computationally intractable. We use lattice program- ming methods to characterize the structure of the optimal policy of a POMDP without brute force computations.


title: Correlating Features and Code by Dynamic and Semantic Analysis

abstract: One major problem in maintaining a software system is to understand how many functional features in the system and how these features are implemented. In this paper a novel approach for locating features in code by semantic and dynamic analysis is proposed. The method process consists of three steps: The first uses the execution traces as text corpus and the method calls involved in the traces as terms of document. The second ranks the method calls in order to filter out omnipresent methods by setting a threshold. And the third step treats feature-traces as first class entities and extracts identifiers from the rest method source code and a trace-by-identifier matrix is generated. Then a semantic analysis model-LDA is applied on the matrix to extract topics, which act as functional features. Through building several corresponding matrices, the relations between features and code can be obtained for comprehending the system functional intents. A case study is presented and the execution results of this approach can be used to guide future research.


title: Magnetic, chemically peculiar (CP2) stars in the SuperWASP survey

abstract: The magnetic chemically peculiar (CP2) stars of the upper main sequence are well-suited for investigating the impact of magnetic fields on the surface layers of stars, which leads to abundance inhomogeneities (spots) resulting in photometric variability. The light changes are explained in terms of the oblique rotator model; the derived photometric periods thus correlate with the rotational periods of the stars. CP2 stars exhibiting this kind of variability are classified as alpha2 Canum Venaticorum (ACV) variables. We have analysed around 3 850 000 individual photometric WASP measurements of magnetic chemically peculiar (CP2) stars and candidates selected from the Catalogue of Ap, HgMn, and Am stars, with the ultimate goal of detecting new ACV variables. In total, we found 80 variables, from which 74 are reported here for the first time. The data allowed us to establish variability for 23 stars which had been reported as probably constant in the literature before. Light curve parameters were obtained for all stars by a least-squares fit with the fundamental sine wave and its first harmonic. Because of the scarcity of Stroemgren uvbybeta measurements and the lack of parallax measurements with an accuracy better than 20%, we are not able to give reliable astrophysical parameters for the investigated objects.


title: Continuous-variable measurement-device-independent multipartite quantum communication

abstract: A continuous variable measurement device independent multi-party quantum communication protocol is investigated in this paper. Utilizing distributed continuous variable Greenberger-Horne-Zeilinger state, this protocol can implement both quantum cryptographic conference and quantum secret sharing. We analyze the security of the protocol against both entangling cloner attack and coherent attack. Entangling cloner attack is a practical individual attack, and coherent attack is the optimal attack Eve can implement. Simulation results show that coherent attack can greatly reduce the secret key rate. Different kinds of entangled attacks are compared and we finally discuss the optimal coherent attacks.


title: Rank reduction of conformal blocks

abstract: Let $X$ be a smooth, pointed Riemann surface of genus zero, and $G$ a simple, simply-connected complex algebraic group. Associated to a finite number of weights of $G$ and a level is a vector space called the space of conformal blocks, and a vector bundle of conformal blocks over $\bar{\text{M}}_{0,n}$. We show that, assuming the weights are on a face of the multiplicative eigenvalue polytope, the space of conformal blocks is isomorphic to a product of conformal blocks over groups of lower rank. If the weights are on a degree zero wall, then we also show that there is an isomorphism of conformal blocks bundles, giving an explicit relation between the associated nef divisors. The methods of the proof are geometric, and use the identification of conformal blocks with spaces of generalized theta functions, and the moduli stacks of parahoric bundles recently studied by Balaji and Seshadri.


title: Coding for classical-quantum channels with rate limited side information at the encoder: An information-spectrum approach

abstract: We study the hybrid classical-quantum version of the channel coding problem for the famous Gel'fand-Pinsker channel. In the classical setting for this channel the conditional distribution of the channel output given the channel input is a function of a random parameter called the channel state. We study this problem when a rate limited version of the channel state is available at the encoder for the classical-quantum Gel'fand-Pinsker channel. We establish the capacity region for this problem in the information-spectrum setting. The capacity region is quantified in terms of spectral-sup classical mutual information rate and spectral-inf quantum mutual information rate.


title: Spontaneous Magnetization of Quark Matter in Inhomogeneous Chiral Phase

abstract: Considering the density wave of scalar and pseudoscalar condensates, we study the response of quark matter to a weak external magnetic field. In an external magnetic field, the energy spectrum of the lowest Landau level becomes asymmetric about zero, which is closely related to chiral anomaly. This spectral asymmetry gives rise to spontaneous magnetization. This mechanism may be one of candidates for the origin of the strong magnetic field in magnetars. Furthermore, using the generalized Ginzburg-Landau(gGL) expansion, we show that magnetic susceptibility exhibits a peculiar feature


title: Active Sampler: Light-weight Accelerator for Complex Data Analytics at Scale

abstract: Recent years have witnessed amazing outcomes from "Big Models" trained by "Big Data". Most popular algorithms for model training are iterative. Due to the surging volumes of data, we can usually afford to process only a fraction of the training data in each iteration. Typically, the data are either uniformly sampled or sequentially accessed. In this paper, we study how the data access pattern can affect model training. We propose an Active Sampler algorithm, where training data with more "learning value" to the model are sampled more frequently. The goal is to focus training effort on valuable instances near the classification boundaries, rather than evident cases, noisy data or outliers. We show the correctness and optimality of Active Sampler in theory, and then develop a light-weight vectorized implementation. Active Sampler is orthogonal to most approaches optimizing the efficiency of large-scale data analytics, and can be applied to most analytics models trained by stochastic gradient descent (SGD) algorithm. Extensive experimental evaluations demonstrate that Active Sampler can speed up the training procedure of SVM, feature selection and deep learning, for comparable training quality by 1.6-2.2x.


title: On the Second Fundamental Theorem of Asset Pricing

abstract: Let $X^1,\ldots, X^d$ be sigma-martingales on $(\Omega,{\cal F}, P)$. We show that every bounded martingale (with respect to the underlying filtration) admits an integral representation w.r.t. $X^1,\ldots, X^d$ if and only if there is no equivalent probability measure (other than $P$) under which $X^1,\ldots,X^d$ are sigma-martingales. From this we deduce the second fundamental theorem of asset pricing- that completeness of a market is equivalent to uniqueness of Equivalent Sigma-Martingale Measure (ESMM).


title: Topological Aspects of the Imhomogeneous Chiral Phases and Implication on Compact Stars

abstract: Recent studies of our group are reviewed about the inhomogeneous chiral phase. Appearance of the inhomogeneous chiral phase is a new paradigm in the field of the QCD phase diagram. We consider the dual-chiral-density-wave in the presence of the magnetic field. Some topological effect manifests in the form of spectral asymmetry of the quark single-particle energy.


title: Sparse Generalized Principal Component Analysis for Large-scale Applications beyond Gaussianity

abstract: Principal Component Analysis (PCA) is a dimension reduction technique. It produces inconsistent estimators when the dimensionality is moderate to high, which is often the problem in modern large-scale applications where algorithm scalability and model interpretability are difficult to achieve, not to mention the prevalence of missing values. While existing sparse PCA methods alleviate inconsistency, they are constrained to the Gaussian assumption of classical PCA and fail to address algorithm scalability issues. We generalize sparse PCA to the broad exponential family distributions under high-dimensional setup, with built-in treatment for missing values. Meanwhile we propose a family of iterative sparse generalized PCA (SG-PCA) algorithms such that despite the non-convexity and non-smoothness of the optimization task, the loss function decreases in every iteration. In terms of ease and intuitive parameter tuning, our sparsity-inducing regularization is far superior to the popular Lasso. Furthermore, to promote overall scalability, accelerated gradient is integrated for fast convergence, while a progressive screening technique gradually squeezes out nuisance dimensions of a large-scale problem for feasible optimization. High-dimensional simulation and real data experiments demonstrate the efficiency and efficacy of SG-PCA.