title: Approximate symmetries of Hamiltonians

abstract: We explore the relationship between approximate symmetries of a gapped Hamiltonian and the structure of its ground space. We start by showing that approximate symmetry operators---unitary operators whose commutators with the Hamiltonian have norms that are sufficiently small---which possess certain mutual commutation relations can be restricted to the ground space with low distortion. We generalize the Stone-von Neumann theorem to matrices that approximately satisfy the canonical (Heisenberg-Weyl-type) commutation relations, and use this to show that approximate symmetry operators can certify the degeneracy of the ground space even though they only approximately form a group. Importantly, the notions of "approximate" and "small" are all independent of the dimension of the ambient Hilbert space, and depend only on the degeneracy in the ground space. Our analysis additionally holds for any gapped band of sufficiently small width in the excited spectrum of the Hamiltonian, and we discuss applications of these ideas to topological quantum phases of matter and topological quantum error correcting codes. Finally, in our analysis we also provide an exponential improvement upon bounds concerning the existence of shared approximate eigenvectors of approximately commuting operators which may be of independent interest.

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


title: Formation of HI Clouds in Shock-compressed Interstellar Medium: Physical Origin of Angular Correlation Between Filamentary Structure and Magnetic Field

abstract: Recent observations of neutral Galactic interstellar medium showed that filamentary structures of HI clouds are aligned with the interstellar magnetic field. Many interesting applications are proposed based on the alignment such as measurement of magnetic field strength through the Chandrasekhar-Fermi method and removal of polarized foreground dust emissions for the detection of inflationary polarized emission in the cosmic microwave background radiation. However, the physical origin of the alignment remains to be explained. To understand the alignment mechanism, we examine formation of HI clouds triggered by shock compression of diffuse warm neutral medium using three-dimensional magnetohydrodynamic simulations with the effects of optically thin cooling and heating. We show that the shock-compressed diffuse interstellar medium of density n~1 cm^-3 evolves into HI clouds with typical density n~50 cm^-3 via thermal instability driven by cooling, which is consistent with previous studies. We apply a machine vision transformation developed by Clark et al.(2014) to the resulting column density structures obtained by the simulations in order to measure angle correlation between filamentary structures of HI clouds and magnetic field. We find that the orientation of HI filaments depends on the environmental turbulent velocity field, particularly on the strength of shear strain in the direction of the magnetic field, which is controlled by the angle between the shock propagation direction and upstream magnetic field. When the strain along the magnetic field is weak, filamentary components of HI clouds basically lie perpendicular to the magnetic field. However, the filaments have come to align with the magnetic field, if we enhance the turbulent strain along the magnetic field or if we set turbulence in the preshock medium.


title: Stellar atmospheres, atmospheric extension and fundamental parameters: weighing stars using the stellar mass index

abstract: One of the great challenges in understanding stars is measuring their masses. The best methods for measuring stellar masses include binary interaction, asteroseismology and stellar evolution models, but these methods are not ideal for red giant and supergiant stars. In this work, we propose a novel method for inferring stellar masses of evolved red giant and supergiant stars using interferometric and spectrophotometric observations combined with spherical model stellar atmospheres to measure what we call the stellar mass index, defined as the ratio between the stellar radius and mass. The method is based on the correlation between different measurements of angular diameter, used as a proxy for atmospheric extension, and fundamental stellar parameters. For a given star, spectrophotometry measures the Rosseland angular diameter while interferometric observations generally probe a larger limb-darkened angular diameter. The ratio of these two angular diameters is proportional to the relative extension of the stellar atmosphere, which is strongly correlated to the star's effective temperature, radius and mass. We show that these correlations are strong and can lead to precise measurements of stellar masses.


title: Analytic three-loop static potential

abstract: We present analytic results for the three-loop static potential of two heavy quarks. The analytic calculation of the missing ingredients is outlined and results for the singlet and octet potential are provided.


title: Conical $3$-uniform measure: a family of new examples and characterizations

abstract: Uniform measures have played a fundamental role in geometric measure theory since they naturally appear as tangent objects. For instance, they were essential in the groundbreaking work of Preiss on the rectifiability of Radon measures. However, relatively little is understood about the structure of general uniform measures. Indeed, the question of whether there exist any non-flat uniform measures beside the one supported on the light cone has been open for 30 years, ever since Kowalski and Preiss classified $n$-uniform measures in $\mathbb{R}^{n+1}$ . In this paper, we answer the question and construct an infinite family of 3-uniform measures in arbitrary codimension. We define a notion of distance symmetry for points and prove that every collection of $2$-spheres whose centers are distance symmetric gives rise to a $3$-uniform measure. We then develop a combinatorial method to systematically produce distance symmetric points. We also classify conical $3$-uniform measures in $\mathbb{R}^{5}$ by proving that they all arise from distance symmetric spheres.


title: Evaluating the last missing ingredient for the three-loop quark static potential by differential equations

abstract: We analytically evaluate the three-loop Feynman integral which was the last missing ingredient for the analytical evaluation of the three-loop quark static potential. To evaluate the integral we introduce an auxiliary parameter $y$, which corresponds to the residual energy in some of the HQET propagators. We construct a differential system for 109 master integrals depending on $y$ and fix boundary conditions from the asymptotic behaviour in the limit $y\to \infty$. The original integral is recovered from the limit $y\to 0$. To solve these linear differential equations we try to find an $\epsilon$-form of the differential system. Though this step appears to be, strictly speaking, not possible, we succeed to find an $\epsilon$-form of all irreducible diagonal blocks, which is sufficient for solving the differential system in terms of an $\epsilon$ expansion. We find a solution up to weight six in terms of multiple polylogarithms and obtain an analytical result for the required three-loop Feynman integral by taking the limit $y\to 0$. As a by-product, we obtain analytical results for some Feynman integrals typical for HQET.


title: Three-dimensional noncommutative Yukawa theory: Induced effective action and propagating modes

abstract: In this paper, we establish the analysis of noncommutative Yukawa theory, encompassing neutral and charged scalar fields. We approach the analysis by considering carefully the derivation of the respective effective actions. Hence, based on the obtained results, we compute the one-loop contributions to the neutral and charged scalar field self-energy, as well as to the Chern-Simons polarization tensor. In order to properly define the behaviour of the quantum fields, the known UV/IR mixing due to radiative corrections is analysed in the one-loop physical dispersion relation of the scalar and gauge fields.


title: A functional basis for efficient physical-layer classical control in quantum processors

abstract: The rapid progress seen in the development of quantum coherent devices for information processing has motivated serious consideration of quantum computer architecture and organization. One topic which remains open for investigation and optimization relates to the design of the classical-quantum interface, where control operations on individual qubits are applied according to higher-level algorithms; accommodating competing demands on performance and scalability remains a major outstanding challenge. In this work we present a resource-efficient, scalable framework for the implementation of embedded physical-layer classical controllers for quantum information systems. Design drivers and key functionalities are introduced, leading to the selection of Walsh functions as an effective functional basis for both programming and controller hardware implementation. This approach leverages the simplicity of real-time Walsh-function generation in classical digital hardware, and the fact that a wide variety of physical-layer controls such as dynamic error suppression are known to fall within the Walsh family. We experimentally implement a real-time FPGA-based Walsh controller producing Walsh timing signals and Walsh-synthesized analog waveforms appropriate for critical tasks in error-resistant quantum control and noise characterization. These demonstrations represent the first step towards a unified framework for the realization of physical-layer controls compatible with large-scale quantum information processing.


title: Quadrisecants and essential secants of knots: with applications to the geometry of knots

abstract: A quadrisecant line is one which intersects a curve in at least four points, while an essential secant captures something about the knottedness of a knot. This survey article gives a brief history of these ideas, and shows how they may be applied to questions about the geometry of a knot via the total curvature, ropelength and distortion of a knot.


title: Potential for optimizing Higgs boson CP measurement in H to tau tau decay at LHC and ML techniques

abstract: We investigate potential for measuring CP state of the Higgs boson in the H to tau tau$ decay with consecutive tau-lepton decays in channels: tau^+- to rho^+- nu_tau and tau^+- to a1^+- nu_tau combined. Subsequent decays rho^+- to pi^+- pi^0, a1^+- to rho^0 pi^+- and rho^0 to pi^+ pi^- are taken into account. We will explore extensions of the method, where acoplanarity angle for the planes build on the visible decay products, pi^+- pi^0 of tau^+- to pi^pm pi^0 nu_tau, was used. The angle is sensitive to transverse spin correlations, thus to parity. We show, that in the case of the cascade decays of tau to a1 nu, information on the CP state of Higgs can be extracted from the acoplanarity angles as well. Because in the cascade decay a1^+- to rho^0 pi^pm,rho^0 to pi^+ pi^- up to four planes can be defined, up to 16 distinct acoplanarity angles are available for H \to tau tau to a1^+ a1^- nu nu decays. These acoplanarities carry in part supplementary but also correlated information. It is thus cumbersome to evaluate an overall sensitivity. We investigate sensitivity potential of such analysis, by developing and implementing model in the Machine Learning (ML) techniques. We quantify possible improvements when multi-dimensional phase-space of outgoing decay products directions is used, instead of 1-dimensional projections i.e. the acoplanarity angles. We do not take into account ambiguities resulting from detector uncertainties or background contamination, we concentrate on usefulness of ML methods and tau to 3pi nu decays for Higgs boson parity measurement.


title: Metric Approximations of Wreath Products

abstract: Given the large class of groups already known to be sofic, there is seemingly a shortfall in results concerning their permanence properties. We address this problem for wreath products, and in particular investigate the behaviour of more general metric approximations of groups under wreath products. Our main result is the following. Suppose that $H$ is a sofic group and $G$ is a countable, discrete group. If $G$ is sofic, hyperlinear, weakly sofic, or linear sofic, then $G\wr H$ is also sofic, hyperlinear, weakly sofic, or linear sofic respectively. In each case we construct relevant metric approximations, extending a general construction of metric approximations for $G\wr H$ that uses soficity of $H$.


title: OptMark: A Toolkit for Benchmarking Query Optimizers

abstract: Query optimizers have long been considered as among the most complex components of a database engine, while the assessment of an optimizer's quality remains a challenging task. Indeed, existing performance benchmarks for database engines (like TPC benchmarks) produce a performance assessment of the query runtime system rather than its query optimizer. To address this challenge, this paper introduces OptMark, a toolkit for evaluating the quality of a query optimizer. OptMark is designed to offer a number of desirable properties. First, it decouples the quality of an optimizer from the quality of its underlying execution engine. Second it evaluates independently both the effectiveness of an optimizer (i.e., quality of the chosen plans) and its efficiency (i.e., optimization time). OptMark includes also a generic benchmarking toolkit that is minimum invasive to the DBMS that wishes to use it. Any DBMS can provide a system-specific implementation of a simple API that allows OptMark to run and generate benchmark scores for the specific system. This paper discusses the metrics we propose for evaluating an optimizer's quality, the benchmark's design and the toolkit's API and functionality. We have implemented OptMark on the open-source MySQL engine as well as two commercial database systems. Using these implementations we are able to assess the quality of the optimizers on these three systems based on the TPC-DS benchmark queries.


title: Quantum Complexity and Negative Curvature

abstract: As time passes, once simple quantum states tend to become more complex. For strongly coupled k-local Hamiltonians, this growth of computational complexity has been conjectured to follow a distinctive and universal pattern. In this paper we show that the same pattern is exhibited by a much simpler system: classical geodesics on a compact two-dimensional geometry of uniform negative curvature. This striking parallel persists whether the system is allowed to evolve naturally or is perturbed from the outside.


title: A mesoscopic approach to subcritical fatigue crack growth

abstract: We investigate a model for fatigue crack growth in which damage accumulation is assumed to follow a power law of the local stress amplitude, a form which can be generically justified on the grounds of the approximately self-similar aspect of microcrack distributions. Our aim is to determine the relation between model ingredients and the Paris exponent governing subcritical crack-growth dynamics at the macroscopic scale, starting from a single small notch propagating along a fixed line. By a series of analytical and numerical calculations, we show that, in the absence of disorder, there is a critical damage-accumulation exponent $\gamma$, namely $\gamma_c=2$, separating two distinct regimes of behavior for the Paris exponent $m$. For $\gamma>\gamma_c$, the Paris exponent is shown to assume the value $m=\gamma$, a result which proves robust against the separate introduction of various modifying ingredients. Explicitly, we deal here with (i) the requirement of a minimum stress for damage to occur; (ii) the presence of disorder in local damage thresholds; (iii) the possibility of crack healing. On the other hand, in the regime $\gamma<\gamma_c$ the Paris exponent is seen to be sensitive to the different ingredients added to the model, with rapid healing or a high minimum stress for damage leading to $m=2$ for all $\gamma<\gamma_c$, in contrast with the linear dependence $m=6-2\gamma$ observed for very long characteristic healing times in the absence of a minimum stress for damage. Upon the introduction of disorder on the local fatigue thresholds, which leads to the possible appearance of multiple cracks along the propagation line, the Paris exponent tends to $m\approx 4$ for $\gamma\lesssim 2$, while retaining the behavior $m=\gamma$ for $\gamma\gtrsim 4$.


title: The deepest X-ray view of high-redshift galaxies: constraints on low-rate black-hole accretion

abstract: We exploit the 7 Ms \textit{Chandra} observations in the \chandra\,Deep Field-South (\mbox{CDF-S}), the deepest X-ray survey to date, coupled with CANDELS/GOODS-S data, to measure the total X-ray emission arising from 2076 galaxies at $3.5\leq z < 6.5$. This aim is achieved by stacking the \textit{Chandra} data at the positions of optically selected galaxies, reaching effective exposure times of $\geq10^9\mathrm{s}$. We detect significant ($>3.7\sigma$) X-ray emission from massive galaxies at $z\approx4$. We also report the detection of massive galaxies at $z\approx5$ at a $99.7\%$ confidence level ($2.7\sigma$), the highest significance ever obtained for X-ray emission from galaxies at such high redshifts. No significant signal is detected from galaxies at even higher redshifts. The stacking results place constraints on the BHAD associated with the known high-redshift galaxy samples, as well as on the SFRD at high redshift, assuming a range of prescriptions for X-ray emission due to X- ray binaries. We find that the X-ray emission from our sample is likely dominated by processes related to star formation. Our results show that low-rate mass accretion onto SMBHs in individually X-ray-undetected galaxies is negligible, compared with the BHAD measured for samples of X-ray detected AGN, for cosmic SMBH mass assembly at high redshift. We also place, for the first time, constraints on the faint-end of the AGN X-ray luminosity function ($\mathrm{logL_X\sim42}$) at $z>4$, with evidence for fairly flat slopes. The implications of all of these findings are discussed in the context of the evolution of the AGN population at high redshift.


title: Bidirectional Conditional Insertion Sort algorithm; An efficient progress on the classical insertion sort

abstract: In this paper, we proposed a new efficient sorting algorithm based on insertion sort concept. The proposed algorithm called Bidirectional Conditional Insertion Sort (BCIS). It is in-place sorting algorithm and it has remarkably efficient average case time complexity when compared with classical insertion sort (IS). By comparing our new proposed algorithm with the Quicksort algorithm, BCIS indicated faster average case time for relatively small size arrays up to 1500 elements. Furthermore, BCIS was observed to be faster than Quicksort within high rate of duplicated elements even for large size array.


title: The Calculus and Gauge Integrals, by Ralph Henstock

abstract: Ralph Henstock (1923 - 2007), with (independently) Jaroslav Kurzweil, was the originator of the Riemann-complete or generalized Riemann integral. This material consists of four chapters of a book proposal to Cambridge University Press, which remained unpublished in the Henstock Archive at the University of Ulster. Section 5 presents a novel approach to taking limits under the integral sign, and goes on to place the traditional monotone and dominated convergence theorems of Lebesgue in this new context.


title: Planar least gradient problem: existence, regularity and anisotropic case

abstract: We show existence of solutions to the least gradient problem on the plane for boundary data in $BV(\partial\Omega)$. We also provide an example of a function $f \in L^1(\partial\Omega) \backslash (C(\partial\Omega) \cup BV(\partial\Omega))$, for which the solution exists. We also show non-uniqueness of solutions even for smooth boundary data in the anisotropic case for a nonsmooth anisotropy. We additionally prove a regularity result valid also in higher dimensions.


title: Jones index, secret sharing and total quantum dimension

abstract: We study the total quantum dimension in the thermodynamic limit of topologically ordered systems. In particular, using the anyons (or superselection sectors) of such models, we define a secret sharing scheme, storing information invisible to a malicious party, and argue that the total quantum dimension quantifies how well we can perform this task. We then argue that this can be made mathematically rigorous using the index theory of subfactors, originally due to Jones and later extended by Kosaki and Longo. This theory provides us with a "relative entropy" of two von Neumann algebras and a quantum channel, and we argue how these can be used to quantify how much classical information two parties can hide form an adversary. We also review the total quantum dimension in finite systems, in particular how it relates to topological entanglement entropy. It is known that the latter also has an interpretation in terms of secret sharing schemes, although this is shown by completely different methods from ours. Our work provides a different and independent take on this, which at the same time is completely mathematically rigorous. This complementary point of view might be beneficial, for example, when studying the stability of the total quantum dimension when the system is perturbed.


title: Performance of attack strategies on modular networks

abstract: Vulnerabilities of complex networks have became a trend topic in complex systems recently due to its real world applications. Most real networks tend to be very fragile to high betweenness adaptive attacks. However, recent contributions have shown the importance of interconnected nodes in the integrity of networks and module-based attacks have appeared promising when compared to traditional malicious non-adaptive attacks. In the present work we deeply explore the trade-off associated with attack procedures, introducing a generalized robustness measure and presenting an attack performance index that takes into account both robustness of the network against the attack and the run-time needed to obtained the list of targeted nodes for the attack. Besides, we introduce the concept of deactivation point aimed to mark the point at which the network stops to function properly. We then show empirically that non-adaptive module-based attacks perform better than high degree and betweenness adaptive attacks in networks with well defined community structures and consequent high modularity.


title: Compressed quantum metrology for the Ising Hamiltonian

abstract: We show how quantum metrology protocols that seek to estimate the parameters of a Hamiltonian that exhibits a quantum phase transition can be efficiently simulated on an exponentially smaller quantum computer. Specifically, by exploiting the fact that the ground state of such a Hamiltonian changes drastically around its phase transition point, we construct a suitable observable from which one can estimate the relevant parameters of the Hamiltonian with Heisenberg scaling precision. We then show how, for the one-dimensional Ising Hamiltonian with transverse magnetic field acting on N spins, such a metrology protocol can be efficiently simulated on an exponentially smaller quantum computer while maintaining the same Heisenberg scaling, i.e., O(1/N^2) precision and derive the explicit circuit that accomplishes the simulation.


title: The Machine that Builds Itself: How the Strengths of Lisp Family Languages Facilitate Building Complex and Flexible Bioinformatic Models

abstract: We address the need for expanding the presence of the Lisp family of programming languages in bioinformatics and computational biology research. Languages of this family, like Common Lisp, Scheme, or Clojure, facilitate the creation of powerful and flexible software models that are required for complex and rapidly evolving domains like biology. We will point out several important key features that distinguish languages of the Lisp family from other programming languages and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSL): languages which are specialized to a particular area and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the "programmable programming language." We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and AI research in bioinformatics and computational biology.


title: An analysis of Born-Infeld determinantal gravity in Weitzenbock spacetime

abstract: The Born-Infeld theory of the gravitational field formulated in Weitzenbock spacetime is studied in detail. The action, constructed quadratically upon the torsion two-form, reduces to Einstein gravity in the low field limit where the Born-Infeld constant goes to infinity, and it is described by second order field equations for the vielbein field in $D$ spacetime dimensions. The equations of motion are derived, and a number of properties coming from them are discussed. In particular, we show that under fairly general circumstances, the equations of motion are those of Einstein's General Relativity plus an energy-momentum tensor of purely geometrical character. This tensor is obtained solely from the parallelization defining the spacetime structure, which is encoded in a set of D smooth, everywhere non-null, globally defined 1-forms. Spherical symmetry is studied as an example, and we comment on the emergence of the Schwarzschild geometry within this framework. Potential (regular) extensions of it are envisioned.


title: A Microscopic Field Theory for the Universal Shift of Sound Velocity and Dielectric Constant in Low-Temperature Glasses

abstract: In low-temperature glasses, the sound velocity changes as the logarithmic function of temperature below $10$K: $[c(T) - c(T_0)]/c(T_0) = \mathcal{C}\ln(T/T_0)$. With increasing temperature starting from $T=0$K, the sound velocity does not increase monotonically, but reaches a maximum at a few Kelvin and decreases at higher temperatures. Tunneling-two-level-system (TTLS) model explained the $\ln T$ dependence of sound velocity shift. In TTLS model the slope ratio of $\ln T$ dependence of sound velocity shift between lower temperature increasing regime (resonance regime) and higher temperature decreasing regime (relaxation regime) is $\mathcal{C}^{\rm res }:\mathcal{C}^{\rm rel }=1:-\frac{1}{2}$. In this paper we develop the generic coupled block model to prove the slope ratio of sound velocity shift between two regimes is $\mathcal{C}^{\rm res }:\mathcal{C}^{\rm rel }=1:-1$ rather than $1:-\frac{1}{2}$, which agrees with the majority of the measurements. The dielectric constant shift in low-temperature glasses, $[\epsilon_r(T)-\epsilon_r(T_0)]/\epsilon_r(T_0)$, has a similar logarithmic temperature dependence below $10$K: $[\epsilon(T)-\epsilon(T_0)]/\epsilon(T_0) = \mathcal{C}\ln(T/T_0)$. In TTLS model the slope ratio of dielectric constant shift between resonance and relaxation regimes is $\mathcal{C}^{\rm res}:\mathcal{C}^{\rm rel}=-1:\frac{1}{2}$. In this paper we apply the electric dipole-dipole interaction, to prove that the slope ratio between two regimes is $\mathcal{C}^{\rm res}:\mathcal{C}^{\rm rel} = -1:1$ rather than $-1:\frac{1}{2}$. Our result agrees with the dielectric constant measurements. By developing a real space renormalization technique for glass non-elastic and dielectric susceptibilities, we show that these universal properties essentially come from the $1/r^3$ long range interactions, independent of the materials' microscopic properties.


title: The near-infrared spectrum of ethynyl radical

abstract: Transient diode laser absorption spectroscopy has been used to measure three strong vibronic bands in the near infrared spectrum of the C$_2$H, ethynyl, radical not previously observed in the gas phase. The radical was produced by ultraviolet excimer laser photolysis of either acetylene or (1,1,1)-trifluoropropyne in a slowly flowing sample of the precursor diluted in inert gas, and the spectral resolution was Doppler-limited. The character of the upper states was determined from the rotational and fine structure in the observed spectra and assigned by measurement of ground state rotational combination differences. The upper states include a $^2\Sigma ^+$ state at 6696 cm$^{-1}$, a second $^2\Sigma ^+$ state at 7088 cm$^{-1}$, and a $^2\Pi$ state at 7110 cm$^{-1}$. By comparison with published calculations (R. Tarroni and S. Carter, \textit{J. Chem. Phys} \textbf{119}, 12878 (2003) and \textit{Mol. Phys}. \textbf{102}, 2167 (2004)), the vibronic character of these levels was also assigned. The observed states contain both $X^2\Sigma^+$ and $A^2\Pi$ electronic character. Several local rotational level perturbations were observed in the excited states. Kinetic measurements of the time-evolution of the ground state populations following collisional relaxation and reactive loss of the radicals formed in a hot, non-thermal, population distribution were made using some of the strong rotational lines observed. The case of C$ _{2} $H may be a good place to investigate the behavior at intermediate pressures of inert colliders, where the competition between relaxation and reaction can be tuned and observed to compare with master equation models, rather than deliberately suppressed to measure thermal rate constants.


title: Constructor Theory of Thermodynamics

abstract: All current formulations of thermodynamics invoke some form of coarse-graining or ensembles as the supposed link between their own laws and the microscopic laws of motion. They deal only with ensemble-averages, expectation values, macroscopic limits, infinite heat baths, etc., not with the details of physical variables of individual microscopic systems. They are consistent with the laws of motion for finite systems only in certain approximations, which improve with increasing scale, given various assumptions about initial conditions which are neither specified precisely nor even thought to hold exactly in nature. Here I propose a new formulation of the zeroth, first and second laws, improving upon the axiomatic approach to thermodynamics (Carath\'eodory, 1909; Lieb & Yngvason, 1999), via the principles of the recently proposed constructor theory. Specifically, I provide a non-approximative, scale-independent formulation of 'adiabatic accessibility'; this in turn provides a non-approximative, scale-independent distinction between work and heat and reveals an unexpected connection between information theory and the first law of thermodynamics (not just the second). It also achieves the long-sought unification of the axiomatic approach with Kelvin's.


title: Continuous and discrete fractional operators and some fractional functions

abstract: The classical orthogonal polynomials are usually defined by the Rodrigues' formula. This paper refers to a fractional extension of the classical Hermite, Laguerre, Jacobi, Charlier, Meixner, Krawtchouk and Hahn polynomials. By means of the Caputo operator of fractional calculus, C-Hermite, C-Laguerre, C-Legndre and the C-Jacobi functions are defined and their representation in terms of the hypergeometric functions are provided. Also, by means of the Gray and Zhang fractional difference oparator, fractional Charlier, Meixner, Krawtchouk and Hahn functions are defined and their representation in terms of the hypergeometric functions are provided. Some other properties of the new defined functions are given.


title: Intermediate magnetisation state and competing orders in Dy$_2$Ti$_2$O$_7$ and Ho$_2$Ti$_2$O$_7$

abstract: Among the frustrated magnetic materials, spin-ice stands out as a particularly interesting system. Residual entropy, freezing and glassiness, Kasteleyn transitions and fractionalisation of excitations in three dimensions all stem from a simple classical Hamiltonian. But is the usual spin-ice Hamiltonian a correct description of the experimental systems? Here we address this issue by measuring magnetic susceptibility in the two most studied spin-ice compounds, Dy$_2$Ti$_2$O$_7$ and Ho$_2$Ti$_2$O$_7$, using a vector magnet. Using these results, and guided by a theoretical analysis of possible distortions to the pyrochlore lattice, we construct an effective Hamiltonian and explore it using Monte Carlo simulations. We show how this Hamiltonian reproduces the experimental results, including the formation of a phase of intermediate polarisation, and gives important information about the possible ground-state of real spin-ice systems. Our work suggests an unusual situation in which distortions might contribute to the preservation rather than relief of the effects of frustration.


title: Entropy dissipation semi-discretization schemes for Fokker-Planck equations

abstract: We propose a new semi-discretization scheme to approximate nonlinear Fokker-Planck equations, by exploiting the gradient flow structures with respect to the 2-Wasserstein metric. We discretize the underlying state by a finite graph and define a discrete 2-Wasserstein metric. Based on such metric, we introduce a dynamical system, which is a gradient flow of the discrete free energy. We prove that the new scheme maintains dissipativity of the free energy and converges to a discrete Gibbs measure at exponential (dissipation) rate. We exhibit these properties on several numerical examples.


title: Universal enveloping TROs and structure of W*-TROs

abstract: Calculation of the universal enveloping TROs of continuous JBW$*-triples, and application of the techniques used to supplement the structural results of Ruan for W*-TROs.


title: Broadband cloaking for flexural waves

abstract: The governing equation for elastic waves in flexural plates is not form invariant, and hence designing a cloak for such waves faces a major challenge. Here, we present the design of a perfect broadband cloak for flexural waves through the use of a nonlinear transformation, and by matching term-by-term the original and transformed equations. For a readily achievable flexural cloak in a physical setting, we further present an approximate adoption of our perfect cloak under more restrictive physical constraints. Through direct simulation of the governing equations, we show that this cloak, as well, maintains a consistently high cloaking efficiency over a broad range of frequencies. The methodology developed here may be used for steering waves and designing cloaks in other physical systems with non form-invariant governing equations.


title: The white dwarf luminosity function

abstract: White dwarfs are the final remnants of low- and intermediate-mass stars. Their evolution is essentially a cooling process that lasts for $\sim 10$ Gyr. Their observed properties provide information about the history of the Galaxy, its dark matter content and a host of other interesting astrophysical problems. Examples of these include an independent determination of the past history of the local star formation rate, identification of the objects responsible for the reported microlensing events, constraints on the rate of change of the gravitational constant, and upper limits to the mass of weakly interacting massive particles. To carry on these tasks the essential observational tools are the luminosity and mass functions of white dwarfs, whereas the theoretical tools are the evolutionary sequences of white dwarf progenitors, and the corresponding white dwarf cooling sequences. In particular, the observed white dwarf luminosity function is the key manifestation of the white dwarf cooling theory, although other relevant ingredients are needed to compare theory and observations. In this review we summarize the recent attempts to empirically determine the white dwarf luminosity function for the different Galactic populations. We also discuss the biases that may affect its interpretation. Finally, we elaborate on the theoretical ingredients needed to model the white dwarf luminosity function, paying special attention to the remaining uncertainties, and we comment on some applications of the white dwarf cooling theory. Astrophysical problems for which white dwarf stars may provide useful leverage in the near future are also discussed.


title: Oblique spatial dispersive shock waves in nonlinear Schr\"odinger flows

abstract: In dispersive media, hydrodynamic singularities are resolved by coherent wavetrains known as dispersive shock waves (DSWs). Only dynamically expanding, temporal DSWs are possible in one-dimensional media. The additional degree of freedom inherent in two-dimensional media allows for the generation of time-independent DSWs that exhibit spatial expansion. Spatial oblique DSWs, dispersive analogs of oblique shocks in classical media, are constructed utilizing Whitham modulation theory for a class of nonlinear Schr\"{o}dinger boundary value problems. Self-similar, simple wave solutions of the modulation equations yield relations between the DSW's orientation and the upstream/downstream flow fields. Time dependent numerical simulations demonstrate a convective or absolute instability of oblique DSWs in supersonic flow over obstacles. The convective instability results in an effective stabilization of the DSW.


title: Global Crustal Dynamics of Magnetars in Relation to their Bright X-ray Outbursts

abstract: This paper considers the yielding response of a neutron star crust to smooth, unbalanced Maxwell stresses imposed at the core-crust boundary, and the coupling of the dynamic crust to the external magnetic field. Stress buildup and yielding in a magnetar crust is a global phenomenon: an elastic distortion radiating from one plastically deforming zone is shown to dramatically increase the creep rate in distant zones. Runaway creep to dynamical rates is shown to be possible, being enhanced by in situ heating and suppressed by thermal conduction and shearing of an embedded magnetic field. A global and time-dependent model of elastic, plastic, magnetic, and thermal evolution is developed. Fault-like structures develop naturally, and a range of outburst timescales is observed. Transient events with time profiles similar to giant magnetar flares (millisecond rise, $\sim$ 0.1 s duration, and decaying power-law tails) result from runaway creep that starts in localized sub-km-sized patches and spreads across the crust. A one-dimensional model of stress relaxation in the vertically stratified crust shows that a modest increase in applied stress allows embedded magnetic shear to escape the star over $\sim$ 3-10 ms, dissipating greater energy if the exterior field is already sheared. Several such zones coupled to each other naturally yield a burst of duration $\sim$ 0.1 s, as is observed over a wide range of burst energies. The collective interaction of many plastic zones forces an overstability of global elastic modes of the crust, consistent with QPO activity extending over $\gtrsim$ 100 s. Giant flares probably involve sudden meltdown in localized zones, with high-frequency ($\gg$ 100 Hz) QPOs corresponding to standing Alfv\'en waves within these zones.


title: Compatibility in Multiparameter Quantum Metrology

abstract: Simultaneous estimation of multiple parameters in quantum metrological models is complicated by factors relating to the (i) existence of a single probe state allowing for optimal sensitivity for all parameters of interest, (ii) existence of a single measurement optimally extracting information from the probe state on all the parameters, and (iii) statistical independence of the estimated parameters. We consider the situation when these concerns present no obstacle and for every estimated parameter the variance obtained in the multiparameter scheme is equal to that of an optimal scheme for that parameter alone, assuming all other parameters are perfectly known. We call such models compatible. In establishing a rigorous theoretical framework for investigating compatibility, we clarify some ambiguities and inconsistencies present in the literature and discuss several examples to highlight interesting features of unitary and non-unitary parameter estimation, as well as deriving new bounds for physical problems of interest, such as the simultaneous estimation of phase and local dephasing.


title: Matroid basis graph: Counting Hamiltonian cycles

abstract: We present exponential and super factorial lower bounds on the number of Hamiltonian cycles passing through any edge of the basis graphs of a graphic, generalized Catalan and uniform matroids. All lower bounds were obtained by a common general strategy based on counting appropriated cycles of length four in the corresponding matroid basis graph.


title: Well Behaved Transition Systems

abstract: The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem. We show coverability decidable for monotone transition systems that only require the absence of infinite antichains and call well behaved transitions systems (WBTS) the new strict superclass of the class of WSTS that arises. By contrast, we confirm that boundedness and termination are undecidable for WBTS under the usual hypotheses, and show that stronger monotonicity conditions can enforce decidability. Proofs are similar or even identical to existing proofs but the surprising message is that a hypothesis implicitely assumed minimal for twenty years in the theory of WSTS can meaningfully be relaxed, allowing more orderings to be handled in an abstract way.


title: Bound States of the One-Dimensional Maxwell--Schr\"odinger Equations

abstract: We prove the existence of a ground state of the Maxwell--Schr\"odinger equations in one spatial dimension, describing a specified amount of free charge under the influence of a fixed charge. For one case (equal free and fixed charge, i.e., a neutral atom), we introduce a new type of quartic Banach space, in which the Hamiltonian is naturally coercive. We also show that for a point charge, for any ratio of charge such that the ground state exists, it is symmetric and decreasing.


title: Asymptotic laws for random knot diagrams

abstract: We study random knotting by considering knot and link diagrams as decorated, (rooted) topological maps on spheres and pulling them uniformly from among sets of a given number of vertices $n$, as first established in recent work with Cantarella and Mastin. The knot diagram model is an exciting new model which captures both the random geometry of space curve models of knotting as well as the ease of computing invariants from diagrams. We prove that unknot diagrams are asymptotically exponentially rare, an analogue of Sumners and Whittington's landmark result for self-avoiding walks. Our proof uses the same key idea: We first show that knot diagrams obey a pattern theorem, which describes their fractal structure. We examine how quickly this behavior occurs in practice. As a consequence, almost all diagrams are asymmetric, simplifying sampling from this model. We conclude with experimental data on knotting in this model. This model of random knotting is similar to those studied by Diao et al., and Dunfield et al.


title: GID: Graph-based Intrusion Detection on Massive Process Traces for Enterprise Security Systems

abstract: Intrusion detection system (IDS) is an important part of enterprise security system architecture. In particular, anomaly-based IDS has been widely applied to detect abnormal process behaviors that deviate from the majority. However, such abnormal behavior usually consists of a series of low-level heterogeneous events. The gap between the low-level events and the high-level abnormal behaviors makes it hard to infer which single events are related to the real abnormal activities, especially considering that there are massive "noisy" low-level events happening in between. Hence, the existing work that focus on detecting single entities/events can hardly achieve high detection accuracy. Different from previous work, we design and implement GID, an efficient graph-based intrusion detection technique that can identify abnormal event sequences from a massive heterogeneous process traces with high accuracy. GID first builds a compact graph structure to capture the interactions between different system entities. The suspiciousness or anomaly score of process paths is then measured by leveraging random walk technique to the constructed acyclic directed graph. To eliminate the score bias from the path length, the Box-Cox power transformation based approach is introduced to normalize the anomaly scores so that the scores of paths of different lengths have the same distribution. The efficiency of suspicious path discovery is further improved by the proposed optimization scheme. We fully implement our GID algorithm and deploy it into a real enterprise security system, and it greatly helps detect the advanced threats, and optimize the incident response. Executing GID on system monitoring datasets showing that GID is efficient (about 2 million records per minute) and accurate (higher than 80% in terms of detection rate).


title: Astronomical photonics in the context of infrared interferometry and high-resolution spectroscopy

abstract: We review the potential of Astrophotonics, a relatively young field at the interface between photonics and astronomical instrumentation, for spectro-interferometry. We review some fundamental aspects of photonic science that drove the emer- gence of astrophotonics, and highlight the achievements in observational astrophysics. We analyze the prospects for further technological development also considering the potential synergies with other fields of physics (e.g. non-linear optics in condensed matter physics). We also stress the central role of fiber optics in routing and transporting light, delivering complex filters, or interfacing instruments and telescopes, more specifically in the context of a growing usage of adaptive optics.


title: Two-photon interference from independent cavity-coupled emitters on-a-chip

abstract: Interactions between solid-state quantum emitters and cavities are important for a broad range of applications in quantum communication, linear optical quantum computing, nonlinear photonics, and photonic quantum simulation. These applications often require combining many devices on a single chip with identical emission wavelengths in order to generate two-photon interference, the primary mechanism for achieving effective photon-photon interactions. Such integration remains extremely challenging due to inhomogeneous broadening and fabrication errors that randomize the resonant frequencies of both the emitters and cavities. In this letter we demonstrate two-photon interference from independent cavity-coupled emitters on the same chip, providing a potential solution to this long-standing problem. We overcome spectral mismatch between different cavities due to fabrication errors by depositing and locally evaporating a thin layer of condensed nitrogen. We integrate optical heaters to tune individual dots within each cavity to the same resonance with better than 3 {\mu}eV of precision. Combining these tuning methods, we demonstrate two-photon interference between two devices spaced by less than 15 {\mu}m on the same chip with a post-selected visibility of 33%. These results pave the way to integrate multiple quantum light sources on the same chip to develop quantum photonic devices.


title: A case study in adaptable and reusable infrastructure at the Keck Observatory Archive: VO interfaces, moving targets, and more

abstract: This paper describes how the Keck Observatory Archive (KOA) is extending open source software components to develop new services. In August 2015, KOA deployed a program interface to discover public data from all instruments equipped with an imaging mode. The interface complies with version 2 of the Simple Imaging Access Protocol (SIAP), under development by the International Virtual Observatory Alliance (IVOA), which defines a standard mechanism for discovering images through spatial queries. The heart of the KOA service is an R-tree-based, database-indexing mechanism prototyped by the Virtual Astronomical Observatory (VAO) and further developed by the Montage Image Mosaic project, designed to provide fast access to large imaging data sets as a first step in creating wide-area image mosaics. The KOA service uses the results of the spatial R-tree search to create an SQLite data database for further relational filtering. The service uses a JSON configuration file to describe the association between instrument parameters and the service query parameters, and to make it applicable beyond the Keck instruments. The R-tree program was itself extended to support temporal (in addition to spatial) indexing, in response to requests from the planetary science community for a search engine to discover observations of Solar System objects. With this 3D-indexing scheme, the service performs very fast time and spatial matches between the target ephemerides, obtained from the JPL SPICE service. Our experiments indicate these matches can be more than 100 times faster than when separating temporal and spatial searches. Images of the tracks of the moving targets, overlaid with the image footprints, are computed with a new command-line visualization tool, mViewer, released with the Montage distribution. The service is currently in test and will be released in Fall 2016.


title: On the R2* Relaxometry in Complex Multi-Peak Multi-Echo Chemical Shift-Based Water-Fat Quantification: Applications to the Neuromuscular Diseases

abstract: Purpose: Investigation of the feasibility of the R2* mapping techniques by using latest theoretical models corrected for confounding factors and optimized for signal to noise ratio. Theory and Methods: The improvement of the performance of state of the art MRI relaxometry algorithms is challenging because of a non-negligible bias and still unresolved numerical instabilities. Here, R2* mapping reconstructions, including complex-fitting with multi-spectral fat-correction by using single-decay (1D) and double-decay (2D) formulation, are studied in order to identify optimal configuration parameters and minimize numerical artifacts. The effects of echo number, echo spacing, and fat/water relaxation model are evaluated through simulated and in-vivo data. We also explore the stability of such models by analyzing the impact of high percentage of fat infiltrations and local transverse relaxation differences among biological species. Results: The main limits of the MRI relaxometry are the presence of bias and the occurrence of artifacts which affect its accuracy. Chemical-shift complex reconstructions R2*-corrected with 1D formulation exhibit a large bias in presence of a significant difference in the relaxation rates of fat and water and with fat concentration larger than 30%. We find that for fat-dominated tissues or in patients affected by iron overload, MRI reconstructions accounting for multi-exponential relaxation time provide accurate R2* measurements and are less prone to numerical artifacts. Conclusions: Complex fitting 2D formulation outperforms the conventional 1D approximation in various diagnostic scenarios. Although it still lacks of numerical stability which requires model enhancement and support from spectroscopy, it offers promising perspectives for the development of relaxometry as a reliable tool to improve tissue characterization and monitoring of neuromuscular disorders.


title: Holophrasm: a neural Automated Theorem Prover for higher-order logic

abstract: I propose a system for Automated Theorem Proving in higher order logic using deep learning and eschewing hand-constructed features. Holophrasm exploits the formalism of the Metamath language and explores partial proof trees using a neural-network-augmented bandit algorithm and a sequence-to-sequence model for action enumeration. The system proves 14% of its test theorems from Metamath's set.mm module.


title: AAO Starbugs: software control and associated algorithms

abstract: The Australian Astronomical Observatory's TAIPAN instrument deploys 150 Starbug robots to position optical fibres to accuracies of 0.3 arcsec, on a 32 cm glass field plate on the focal plane of the 1.2 m UK-Schmidt telescope. This paper describes the software system developed to control and monitor the Starbugs, with particular emphasis on the automated path-finding algorithms, and the metrology software which keeps track of the position and motion of individual Starbugs as they independently move in a crowded field. The software employs a tiered approach to find a collision-free path for every Starbug, from its current position to its target location. This consists of three path-finding stages of increasing complexity and computational cost. For each Starbug a path is attempted using a simple method. If unsuccessful, subsequently more complex (and expensive) methods are tried until a valid path is found or the target is flagged as unreachable.


title: Toward Early and Order-of-Magnitude Cascade Prediction in Social Networks

abstract: When a piece of information (microblog, photograph, video, link, etc.) starts to spread in a social network, an important question arises: will it spread to viral proportions - where viral can be defined as an order-of-magnitude increase. However, several previous studies have established that cascade size and frequency are related through a power-law - which leads to a severe imbalance in this classification problem. In this paper, we devise a suite of measurements based on structural diversity - the variety of social contexts (communities) in which individuals partaking in a given cascade engage. We demonstrate these measures are able to distinguish viral from non-viral cascades, despite the severe imbalance of the data for this problem. Further, we leverage these measurements as features in a classification approach, successfully predicting microblogs that grow from 50 to 500 reposts with precision of 0.69 and recall of 0.52 for the viral class - despite this class comprising under 2% of samples. This significantly outperforms our baseline approach as well as the current state-of-the-art. We also show this approach also performs well for identifying if cascades observed for 60 minutes will grow to 500 reposts as well as demonstrate how we can tradeoff between precision and recall.


title: Heisenberg order of differential operators on the superspaces $\mathbb{R}^{2l+1|n}$

abstract: We study in this paper, the existence of tree types of filtrations of the space $\mathcal{D}_{\lambda\mu}(\R^{2l+1|n})$ of differential operators on the superspaces $\R^{2l+1|n}$ endowed with the standard contact structure $\alpha$. On this space $\mathcal{D}_{\lambda\mu}(\R^{2l+1|n})$, we have the first filtration called canonical and because of the existence of the contact structure on superspaces $\R^{2l+1|n}$ we obtain the second filtration on the space $\mathcal{D}_{\lambda\mu}(\R^{2l+1|n})$ called filtration of Heisenberg and thus the space $\mathcal{D}_{\lambda\mu}(\R^{2l+1|n})$ is therefore denoted by $\mathcal{H}_{\lambda\mu}(\R^{2l+1|n})$. We have also a new filtration induced on $\mathcal{D}_{\lambda\mu}(\R^{2l+1|n})$ by the two filtrations and it calls bifiltration. Explicitly, the space $\mathcal{D}_{\lambda\mu}(\R^{2l+1|n})$ of differential operators is filtered canonically by the order of its differential operators and the order is $k\in \N$. When it is filtered by order of Heisenberg, the order of any differential operator is equal to $d\in\frac{1}{2}\N$. This study is the generalization, in super case, of the model studied by C.H.Conley and V.Ovsienko in \cite{CoOv12}. Finally, we show that the $\spo(2l+2|n)$-module structure on the space $\mathcal{D}_{\lambda\mu}(\R^{2l+1|n})$ of differential operators is induced on the space $\mathcal{H}_{\lambda\mu}(\R^{2l+1|n})$ and therefore on the associated space $\mathcal{S}_\delta(\R^{2l+1|n})$ of normal symbols, on the space $\mathcal{P}_\delta(\R^{2l+1|n})$ of symbols of Heisenberg and on the space of fine symbol $\Sigma_\delta(\R^{2l+1|n})$.


title: The Luminosity and Stellar Mass Functions of Red W1-W2 Galaxies

abstract: We present a study of nearby galaxies as a function of their [3.4]-[4.6] colour. Galaxies that are red in their [3.4]-[4.6] colour contain heated dust and the reddest systems ([3.4]-[4.6] > 0.5) are classified as AGN by some selection criteria. The sample discussed here includes nearby galaxies selected from the Sloan Digital Sky Survey (SDSS) that are also in the Wide-field Infrared Survey Explorer (WISE) catalogue. We calculate the number density of galaxies, in the form of the luminosity and mass functions, using the V/Vmax method and a Stepwise Maximum Likelihood method that has been modified to account for the additional colour selection. The reddest galaxies which have [3.4]-[4.6] > 0.8 and are sometimes classified as AGN by their colour, make up 0.2% of nearby galaxies. However, the reddest galaxies are a rising fraction of the low mass galaxy population. Identifying the lowest mass (M < 10$^{8}$ M$_{\odot}$ ) red ([3.4]-[4.6] > 0.8) galaxies as AGN is surprising given that none are optical AGN or composites, in contrast with their more massive (M > 10$^{10}$ M$_{\odot}$ ) red galaxy counter- parts that are dominated by optical AGN and composites (86.4%). We also show that these low mass red galaxies are associated with higher specific star formation rates than their bluer counterparts. While the properties of this relatively rare segment of nearby low-mass galaxies are intriguing, particularly if they are associated with AGN activity, there is not yet enough evidence to determine whether it is AGN or unusual star formation that is driving red colours in these systems.


title: The Next Generation of the Montage Image Mosaic Toolkit

abstract: The scientific computing landscape has evolved dramatically in the past few years, with new schemes for organizing and storing data that reflect the growth in size and complexity of astronomical data sets. In response to this changing landscape, we are, over the next two years, deploying the next generation of the Montage toolkit ([ascl:1010.036]). The first release (October 2015) supports multi-dimensional data sets ("data cubes"), and insertion of XMP/AVM tags that allows images to "drop-in" to the WWT. The same release offers a beta-version of web-based interactive visualization of images; this includes wrappers for visualization in Python. Subsequent releases will support HEALPix (now standard in cosmic background experiments); incorporation of Montage into package managers (which enable automated management of software builds), and support for a library that will enable Montage to be called directly from Python. This next generation toolkit will inherit the architectural benefits of the current engine - component based tools, ANSI-C portability across Unix platforms and scalability for distributed processing. With the expanded functionality under development, Montage can be viewed not simply as a mosaic engine, but as a scalable, portable toolkit for managing, organizing and processing images.


title: Local Broadcasting of Quantum Correlations

abstract: Operations that are trivial in the classical world, like accessing information without introducing any change or disturbance, or like copying information, become non-trivial in the quantum world. In this note we discuss several limitations in the local redistributing correlations, when it comes to dealing with bipartite quantum states. In particular, we focus on the task of local broadcasting, by discussing relevant no-go theorems, and by quantifying the non-classicality of correlations in terms of the degree to which local broadcasting is possible in an approximate fashion.


title: Euclidean M-theory background dual to three-dimensional scale invariant field theory without conformal invariance

abstract: We show that eleven dimensional supergravity in Euclidean signature admits an exact classical solution with isometry corresponding to a three dimensional scale invariant field theory without conformal invariance. We also construct the holographic renormalization group flow that connects the known UV conformal fixed point and the new scale invariant but not conformal fixed point. In view of holography, the existence of such classical solutions suggests that the topologically twisted M2-brane gauge theory possesses a scale invariant but not conformal phase.


title: Design and status of the Mu2e electromagnetic calorimeter

abstract: The Mu2e experiment at Fermilab aims at measuring the neutrinoless conversion of a negative muon into an electron and reach a single event sensitivity of 2.5x10^{-17} after three years of data taking. The monoenergetic electron produced in the final state, is detected by a high precision tracker and a crystal calorimeter, all embedded in a large superconducting solenoid (SD) surrounded by a cosmic ray veto system. The calorimeter is complementary to the tracker, allowing an independent trigger and powerful particle identification, while seeding the track reconstruction and contributing to remove background tracks mimicking the signal. In order to match these requirements, the calorimeter should have an energy resolution of O(5)% and a time resolution better than 500 ps at 100 MeV. The baseline solution is a calorimeter composed of two disks of BaF2 crystals read by UV extended, solar blind, Avalanche Photodiode (APDs), which are under development from a JPL, Caltech, RMD consortium. In this paper, the calorimeter design, the R&D studies carried out so far and the status of engineering are described. A backup alternative setup consisting of a pure CsI crystal matrix read by UV extended Hamamatsu MPPC's is also presented.


title: Node Overlap Removal by Growing a Tree

abstract: Node overlap removal is a necessary step in many scenarios including laying out a graph, or visualizing a tag cloud. Our contribution is a new overlap removal algorithm that iteratively builds a Minimum Spanning Tree on a Delaunay triangulation of the node centers and removes the node overlaps by "growing" the tree. The algorithm is simple to implement yet produces high quality layouts. According to our experiments it runs several times faster than the current state-of-the-art methods.


title: Mass Deformed ABJM Theory on Three Sphere in Large N limit

abstract: In this paper the free energy of the mass deformed ABJM theory on S^3 in the large N limit is studied. We find a new solution of the large N saddle point equation which exists for an arbitrary value of the mass parameter, and compute the free energies for these solutions. We also show that the solution corresponding to an asymptotically AdS_4 geometry is singular at a certain value of the mass parameter and does not exist over this critical value. It is not clear what the gravity dual of the mass deformed ABJM theory on S^3 for the mass parameter larger than the critical value is.


title: Damping Functions correct over-dissipation of the Smagorinsky Model

abstract: This paper studies the time-averaged energy dissipation rate $\langle \varepsilon_{SMD} (u)\rangle$ for the combination of the Smagorinsky model and damping function. The Smagorinsky model is well known to over-damp. One common correction is to include damping functions that reduce the effects of model viscosity near walls. Mathematical analysis is given here that allows evaluation of $\langle \varepsilon_{SMD} (u)\rangle $ for any damping function. Moreover, the analysis motivates a modified van Driest damping. It is proven that the combination of the Smagorinsky with this modified damping function does not over dissipate and is also consistent with Kolmogorov phenomenology.


title: Laser-induced torques in metallic ferromagnets

abstract: We study laser-induced torques in bcc Fe, hcp Co and $L1_0$ FePt based on first-principles electronic structure calculations and the Keldysh nonequilibrium formalism. We find that the torques have two contributions, one from the inverse Faraday effect (IFE) and one from the optical spin-transfer torque (OSTT). Depending on the ferromagnet at hand and on the quasiparticle broadening the two contributions may be of similar magnitude or one contribution may dominate over the other. Additionally, we determine the nonequilibrium spin polarization in order to investigate its relation to the torque. We find the torques and the perpendicular component of the nonequilibrium spin polarization to be odd in the helicity of the laser light, while the spin polarization that is induced parallel to the magnetization is helicity-independent. The parallel component of the nonequilibrium spin polarization is orders of magnitude larger than the perpendicular component. In the case of hcp Co we find good agreement between the calculated laser-induced torque and a recent experiment.


title: TaskMe: Multi-Task Allocation in Mobile Crowd Sensing

abstract: Task allocation or participant selection is a key issue in Mobile Crowd Sensing (MCS). While previous participant selection approaches mainly focus on selecting a proper subset of users for a single MCS task, multi-task-oriented participant selection is essential and useful for the efficiency of large-scale MCS platforms. This paper proposes TaskMe, a participant selection framework for multi-task MCS environments. In particular, two typical multi-task allocation situations with bi-objective optimization goals are studied: (1) For FPMT (few participants, more tasks), each participant is required to complete multiple tasks and the optimization goal is to maximize the total number of accomplished tasks while minimizing the total movement distance. (2) For MPFT (more participants, few tasks), each participant is selected to perform one task based on pre-registered working areas in view of privacy, and the optimization objective is to minimize total incentive payments while minimizing the total traveling distance. Two optimal algorithms based on the Minimum Cost Maximum Flow theory are proposed for FPMT, and two algorithms based on the multi-objective optimization theory are proposed for MPFT. Experiments verify that the proposed algorithms outperform baselines based on a large-scale real-word dataset under different experiment settings (the number of tasks, various task distributions, etc.).


title: Revisiting Causality Inference in Memory-less Transition Networks

abstract: Several methods exist to infer causal networks from massive volumes of observational data. However, almost all existing methods require a considerable length of time series data to capture cause and effect relationships. In contrast, memory-less transition networks or Markov Chain data, which refers to one-step transitions to and from an event, have not been explored for causality inference even though such data is widely available. We find that causal network can be inferred from characteristics of four unique distribution zones around each event. We call this Composition of Transitions and show that cause, effect, and random events exhibit different behavior in their compositions. We applied machine learning models to learn these different behaviors and to infer causality. We name this new method Causality Inference using Composition of Transitions (CICT). To evaluate CICT, we used an administrative inpatient healthcare dataset to set up a network of patients transitions between different diagnoses. We show that CICT is highly accurate in inferring whether the transition between a pair of events is causal or random and performs well in identifying the direction of causality in a bi-directional association.


title: Mouse Movement and Probabilistic Graphical Models Based E-Learning Activity Recognition Improvement Possibilistic Model

abstract: Automatically recognizing the e-learning activities is an important task for improving the online learning process. Probabilistic graphical models such as hidden Markov models and conditional random fields have been successfully used in order to identify a Web users activity. For such models, the sequences of observation are crucial for training and inference processes. Despite the efficiency of these probabilistic graphical models in segmenting and labeling stochastic sequences, their performance is adversely affected by the imperfect quality of data used for the construction of sequences of observation. In this paper, a formalism of the possibilistic theory will be used in order to propose a new approach for observation sequences preparation. The eminent contribution of our approach is to evaluate the effect of possibilistic reasoning during the generation of observation sequences on the effectiveness of hidden Markov models and conditional random fields models. Using a dataset containing 51 real manipulations related to three types of learners tasks, the preliminary experiments demonstrate that the sequences of observation obtained based on possibilistic reasoning significantly improve the performance of hidden Marvov models and conditional random fields models in the automatic recognition of the e-learning activities.


title: Spooky correlations and unusual van der Waals forces between gapless and near-gapless molecules

abstract: We consider the zero-temperature van der Waals interaction between two molecules, each of which has a zero or near-zero electronic gap between a groundstate and the first excited state, using a toy model molecule ( equilateral H3) as an example. We show that the van der Waals energy between two groundstate molecules falls off as D^(-3) instead of the usual D^(-6) dependence, when the molecules are separated by distance D: We show that this is caused by perfect "spooky" correlation between the two fluctuating electric dipoles. The phenomenon is related to, but not the same as, the "resonant" interaction between an electronically excited and a groundstate molecule introduced by Eisenschitz and London in 1930. It is also an example of "type C van der Waals non- additivity" recently introduced by one of us ( Int. J. Quantum Chem. 114, 1157 (2014)). Our toy molecule H3 is not stable, but symmetry considerations suggest that a similar vdW phenomenon may be observable, despite Jahn-Teller effects, in molecules with discrete rotational symmetry and broken inversion symmetry, such as certain metal atom clusters. The motion of the nuclei will need to be included for a definitive analysis of such cases, however.


title: ActiveCrowd: A Framework for Optimized Multi-Task Allocation in Mobile Crowdsensing Systems

abstract: Worker selection is a key issue in Mobile Crowd Sensing (MCS). While previous worker selection approaches mainly focus on selecting a proper subset of workers for a single MCS task, multi-task-oriented worker selection is essential and useful for the efficiency of large-scale MCS platforms. This paper proposes ActiveCrowd, a worker selection framework for multi-task MCS environments.


title: The Inelastic Frontier: Discovering Dark Matter at High Recoil Energy

abstract: There exist well motivated models of particle dark matter which predominantly scatter inelastically off nuclei in direct detection experiments. This inelastic transition causes the DM to up-scatter in terrestrial experiments into an excited state up to 550 keV heavier than the DM itself. An inelastic transition of this size is highly suppressed by both kinematics and nuclear form factors. We extend previous studies of inelastic DM to determine the present bounds on the scattering cross section, and the prospects for improvements in sensitivity. Three scenarios provide illustrative examples: nearly pure Higgsino DM; magnetic inelastic DM; and inelastic models with dark photon exchange. We determine the elastic scattering rate as well as verify that exothermic transitions are negligible. Presently, the strongest bounds on the cross section are from xenon at LUX-PandaX (\delta < 160 keV), iodine at PICO (160 < \delta < 300 keV), and tungsten at CRESST (when \delta > 300 keV). Amusingly, once \delta > 200 keV, weak scale (and larger) DM - nucleon scattering cross sections are allowed. The relative competitiveness of these experiments is governed by the upper bound on the recoil energies employed by each experiment, as well as strong sensitivity to the mass of the heaviest element in the detector. Several implications, including sizable recoil energy-dependent annual modulation, and improvements for future experiments are discussed. We show that the xenon experiments can improve on the PICO results, if they were to analyze their existing data over a larger range of recoil energies, i.e., 20-500 keV. We also speculate about several reported events at CRESST between 45-100 keV, that could be interpreted as inelastic DM scattering. Future data from PICO, CRESST and xenon experiments can test this with anaylses of high energy recoil data.


title: Parabolic nilradicals of Heisenberg type

abstract: We show that every non-compact simple real Lie algebra not isomorphic to so(n,1) has a unique conjugacy class of parabolic subalgebras whose nilradical is of Heisenberg type, or non-singular, and give some applications.


title: Categories of FI type: a unified approach to generalizing representation stability and character polynomials

abstract: Representation stability is a theory describing a way in which a sequence of representations of different groups is related, and essentially contains a finite amount of information. Starting with Church-Ellenberg-Farb's theory of $FI$-modules describing sequences of representations of the symmetric groups, we now have good theories for describing representations of other collections of groups such as finite general linear groups, classical Weyl groups, and Wreath products $S_n\wr G$ for a fixed finite group $G$. This paper attempts to uncover the mechanism that makes the various examples work, and offers an axiomatic approach that generates the essentials of such a theory: character polynomials and free modules that exhibit stabilization. We give sufficient conditions on a category $C$ to admit such structure via the notion of categories of $FI$ type. This class of categories includes the examples listed above, and extends further to new types of categories such as the categorical power $FI^m$, whose modules encode sequences of representations of $m$-fold products of symmetric groups. The theory is applied in [Ga] to give homological and arithmetic stability theorems for various moduli spaces, e.g. the moduli space of degree n rational maps $P^1 \rightarrow P^m$.


title: Minimum-Time Transitions between Thermal and Fixed Average Energy States of the Quantum Parametric Oscillator

abstract: In this article we use geometric optimal control to completely solve the problem of minimum-time transitions between thermal equilibrium and fixed average energy states of the quantum parametric oscillator, a system which has been extensively used to model quantum heat engines and refrigerators. We subsequently use the obtained results to find the minimum driving time for a quantum refrigerator and the quantum finite-time availability of the parametric oscillator, i.e. the potential work which can be extracted from this system by a very short finite-time process.


title: Methods of tropical optimization in rating alternatives based on pairwise comparisons

abstract: We apply methods of tropical optimization to handle problems of rating alternatives on the basis of the log-Chebyshev approximation of pairwise comparison matrices. We derive a direct solution in a closed form, and investigate the obtained solution when it is not unique. Provided the approximation problem yields a set of score vectors, rather than a unique (up to a constant factor) one, we find those vectors in the set, which least and most differentiate between the alternatives with the highest and lowest scores, and thus can be representative of the entire solution.


title: A system of hypergeometric differential equations in two variables of rank 9

abstract: We study a hypergeometric function in two variables and a system of hypergeometric differential equations associated with this function. This is a regular holonomic system of rank $9$. We give a fundamental system of solutions to this system in terms of this hypergeometric series. We give circuit matrices along generators of the fundamental group of the complement of its singular locus with respect to our fundamental system.


title: The 2-degree Field Lensing Survey: design and clustering measurements

abstract: We present the 2-degree Field Lensing Survey (2dFLenS), a new galaxy redshift survey performed at the Anglo-Australian Telescope. 2dFLenS is the first wide-area spectroscopic survey specifically targeting the area mapped by deep-imaging gravitational lensing fields, in this case the Kilo-Degree Survey. 2dFLenS obtained 70,079 redshifts in the range z < 0.9 over an area of 731 sq deg, and is designed to extend the datasets available for testing gravitational physics and promote the development of relevant algorithms for joint imaging and spectroscopic analysis. The redshift sample consists first of 40,531 Luminous Red Galaxies (LRGs), which enable analyses of galaxy-galaxy lensing, redshift-space distortion, and the overlapping source redshift distribution by cross-correlation. An additional 28,269 redshifts form a magnitude-limited (r < 19.5) nearly-complete sub-sample, allowing direct source classification and photometric-redshift calibration. In this paper, we describe the motivation, target selection, spectroscopic observations, and clustering analysis of 2dFLenS. We use power spectrum multipole measurements to fit the redshift-space distortion parameter of the LRG sample in two redshift ranges 0.15 < z < 0.43 and 0.43 < z < 0.7 as beta = 0.49 +/- 0.15 and beta = 0.26 +/- 0.09, respectively. These values are consistent with those obtained from LRGs in the Baryon Oscillation Spectroscopic Survey. 2dFLenS data products will be released via our website http://2dflens.swin.edu.au.


title: On the conventional and rotating magnetocaloric effects in multiferroic TbMn2O5 single crystals

abstract: Solid state-refrigerants have generated worldwide interest owing to their growing potential for use in efficient and green cooling devices. Caloric effects could be obtained by manipulating their degrees of freedom such as magnetization, electric polarization and volume using a variable external field. In conventional magnetocaloric refrigeration systems, the magnetocaloric effect is exploited by moving the active material in and out of the magnetic field source. Here we demonstrate that a giant and reversible magnetocaloric effect can be generated simply by rotating the multiferroic TbMn2O5 single crystal around its b axis in a relatively low constant magnetic field applied in the ac plane. For a magnetic field applied along the easy axis a, we report an entropy change of 12.25 J/kg K at about 10 K in a field change of 5 T which is 100 times larger than that found when the field is applied along the hard axis c. When the TbMn2O5 is rotated with the field remaining in the ac plane, the associated adiabatic temperature change reaches minimum values of 8 K and 14 K under 2 T and 5 T, respectively. This giant rotating magnetocaloric effect in TbMn2O5 is caused by the colossal anisotropy of the entropy change, the enhancement of the magnetization under relatively moderate magnetic fields and the lower magnitude of specific heat. On the other hand, the application of the coherent rotational model demonstrates that the rotating magnetocaloric effect exhibited by TbMn2O5 does not originate directly from the magneto-crystalline anisotropy. Our results should inspire and open new ways toward the implementation of compact, efficient and embedded magnetocaloric devices for low temperature and space application. Its potential operating temperature range of 2 to 30 K makes it a great candidate for the liquefaction of hydrogen.


title: Parameters of two classes of LCD BCH codes

abstract: Historically, LCD cyclic codes were referred to as reversible cyclic codes, which had application in data storage. Due to a newly discovered application in cryptography, there has been renewed interest on LCD codes. In this paper, we explore two special families of LCD cyclic codes, which are both BCH codes. The dimensions and the minimum distances of these LCD BCH codes are investigated. As a byproduct, the parameters of some primitive BCH codes are also obtained.


title: The weak mixing angle from low energy neutrino measurements: a global update

abstract: Taking into account recent theoretical and experimental inputs on reactor fluxes we reconsider the determination of the weak mixing angle from low energy experiments. We perform a global analysis to all available neutrino-electron scattering data from reactor antineutrino experiments, obtaining sin^2(theta_W) = 0.252 \pm 0.030. We discuss the impact of the new theoretical prediction for the neutrino spectrum, the new measurement of the reactor antineutrino spectrum by the Daya Bay collaboration, as well as the effect of radiative corrections. We also reanalyze the measurements of the nu_e-e cross section at accelerator experiments including radiative corrections. By combining reactor and accelerator data we obtain an improved determination for the weak mixing angle, sin^2(theta_W) = 0.254 \pm 0.024.


title: Radio VLBI and the quantum interference paradox

abstract: We address here the question of interference of radio signals from astronomical sources like distant quasars, in a very long baseline interferometer (VLBI), where two (or more) distantly located radio telescopes (apertures), receive simultaneous signal from the sky. In an equivalent optical two-slit experiment, it is generally argued that for the photons involved in the interference pattern on the screen, it is not possible, even in principle, to know which of the two slits a particular photon went through and that any procedure to ascertain this destroys the interference pattern. But in the case of the modern radio VLBI, it is a routine matter to record the phase and amplitude of the voltage outputs from the two radio antennas on a recording media separately and then do the correlation between the two recorded signals later in an offline manner. Does this not violate the quantum interference principle? We provide a resolution of this problem here.


title: On the moment-angle manifold constructed by Fan, Chen, Ma and Wang

abstract: Fan, Chen, Ma and Wang constructed a moment-angle manifold $Z_K$ whose cohomology ring is isomorphic to that of a connected sum of sphere products with one product of three spheres. In this paper, we show that they are actually diffeomorphic.


title: Further Algebraic Algorithms in the Congested Clique Model and Applications to Graph-Theoretic Problems

abstract: Censor-Hillel et al. [PODC'15] recently showed how to efficiently implement centralized algebraic algorithms for matrix multiplication in the congested clique model, a model of distributed computing that has received increasing attention in the past few years. This paper develops further algebraic techniques for designing algorithms in this model. We present deterministic and randomized algorithms, in the congested clique model, for efficiently computing multiple independent instances of matrix products, computing the determinant, the rank and the inverse of a matrix, and solving systems of linear equations. As applications of these techniques, we obtain more efficient algorithms for the computation, again in the congested clique model, of the all-pairs shortest paths and the diameter in directed and undirected graphs with small weights, improving over Censor-Hillel et al.'s work. We also obtain algorithms for several other graph-theoretic problems such as computing the number of edges in a maximum matching and the Gallai-Edmonds decomposition of a simple graph, and computing a minimum vertex cover of a bipartite graph.


title: Measurement-Device-Independent Approach to Entanglement Measures

abstract: Within the context of semiquantum nonlocal games, the trust can be removed from the measurement devices in an entanglement-detection procedure. Here we show that a similar approach can be taken to quantify the amount of entanglement. To be specific, first, we show that in this context a small subset of semiquantum nonlocal games is necessary and sufficient for entanglement detection in the LOCC paradigm. Second, we prove that the maximum pay-off for these games is a universal measure of entanglement which is convex and continuous. Third, we show that for the quantification of negative-partial-transpose entanglement, this subset can be further reduced down to a single arbitrary element. Importantly, our measure is operationally accessible in a measurement-device-independent way by construction. Finally, our approach is simply extended to quantify the entanglement within any partitioning of multipartite quantum states.


title: End-to-End Localization and Ranking for Relative Attributes

abstract: We propose an end-to-end deep convolutional network to simultaneously localize and rank relative visual attributes, given only weakly-supervised pairwise image comparisons. Unlike previous methods, our network jointly learns the attribute's features, localization, and ranker. The localization module of our network discovers the most informative image region for the attribute, which is then used by the ranking module to learn a ranking model of the attribute. Our end-to-end framework also significantly speeds up processing and is much faster than previous methods. We show state-of-the-art ranking results on various relative attribute datasets, and our qualitative localization results clearly demonstrate our network's ability to learn meaningful image patches.


title: Hybrid quantum systems with trapped charged particles

abstract: We study theoretically the possibilities of coupling the quantum mechanical motion of a trapped charged particle (e.g. ion or electron) to quantum degrees of freedom of superconducting devices, nano-mechanical resonators and quartz bulk acoustic wave resonators. For each case, we estimate the coupling rate between the charged particle and its macroscopic counterpart and compare it to the decoherence rate, i.e. the rate at which quantum superposition decays. A hybrid system can only be considered quantum if the coupling rate significantly exceeds all decoherence rates. Our approach is to examine specific examples, using parameters that are experimentally attainable in the foreseeable future. We conclude that those hybrid quantum system considered involving an atomic ion are unfavorable, compared to using an electron, since the coupling rates between the charged particle and its counterpart are slower than the expected decoherence rates. A system based on trapped electrons, on the other hand, might have coupling rates which significantly exceed decoherence rates. Moreover it might have appealing properties such as fast entangling gates, long coherence and flexible electron interconnectivity topology. Realizing such a system, however, is technologically challenging, since it requires accommodating both trapping technology and superconducting circuitry in a compatible manner. We review some of the challenges involved, such as the required trap parameters, electron sources, electrical circuitry and cooling schemes in order to promote further investigations towards the realization of such a hybrid system.


title: F-signature and Hilbert-Kunz Multipicity: a combined approach and comparison

abstract: We present a unified approach to the study of Hilbert-Kunz multiplicity, F-signature, and related limits governed by Frobenius and Cartier linear actions in positive characteristic commutative algebra. We introduce general techniques that give vastly simplified proofs of existence, semicontinuity, and positivity. Furthermore, we give an affirmative answer to a question of Watanabe and Yoshida allowing the F-signature to be viewed as the infimum of relative differences in the Hilbert-Kunz multiplicites of the cofinite ideals in a local ring.


title: The bifurcation set of a real polynomial function of two variables and Newton polygons of singularities at infinity

abstract: In this paper, we determine the bifurcation set of a real polynomial function of two variables for non-degenerate case in the sense of Newton polygons by using a toric compactification. We also count the number of singular phenomena at infinity, called "cleaving" and "vanishing" in the same setting. Finally, we give an upper bound of the number of elements in the bifurcation set in terms of its Newton polygon. To obtain the upper bound, we apply toric modifications to the singularities at infinity successively.


title: A Factorization Approach to Inertial Affine Structure from Motion

abstract: We consider the problem of reconstructing a 3-D scene from a moving camera with high frame rate using the affine projection model. This problem is traditionally known as Affine Structure from Motion (Affine SfM), and can be solved using an elegant low-rank factorization formulation. In this paper, we assume that an accelerometer and gyro are rigidly mounted with the camera, so that synchronized linear acceleration and angular velocity measurements are available together with the image measurements. We extend the standard Affine SfM algorithm to integrate these measurements through the use of image derivatives.


title: First-Order Modular Logic Programs and their Conservative Extensions

abstract: Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many answer set programs. We also introduce conservative extensions of such programs. This concept helps to identify strong relationships between modular programs as well as between traditional programs. We show how the notion of a conservative extension can be used to justify the common projection rewriting. This note is under consideration for publication in Theory and Practice of Logic Programming.


title: Exact Structure Learning of Bayesian Networks by Optimal Path Extension

abstract: Bayesian networks are probabilistic graphical models often used in big data analytics. The problem of exact structure learning is to find a network structure that is optimal under certain scoring criteria. The problem is known to be NP-hard and the existing methods are both computationally and memory intensive. In this paper, we introduce a new approach for exact structure learning. Our strategy is to leverage relationship between a partial network structure and the remaining variables to constraint the number of ways in which the partial network can be optimally extended. Via experimental results, we show that the method provides up to three times improvement in runtime, and orders of magnitude reduction in memory consumption over the current best algorithms.


title: System Identification and Control of Valkyrie through SVA--Based Regressor Computation

abstract: This paper demonstrates simultaneous identification and control of the humanoid robot, Valkyrie, utilizing Spatial Vector Algebra (SVA). In particular, the inertia, Coriolis-centrifugal and gravity terms for the dynamics of a robot are computed using spatial inertia tensors. With the assumption that the link lengths or the distance between the joint axes are accurately known, it will be shown that inertial properties of a robot can be directly evaluated from the inertia tensor. An algorithm is proposed to evaluate the regressor, yielding a run time of $O(n^2)$. The efficiency of this algorithm yields a means for online system identification via the SVA--based regressor and, as a byproduct, a method for accurate model-based control. Experimental validation of the proposed method is provided through its implementation in three case studies: offline identification of a double pendulum and a $4$-DOF robotic leg, and online identification and control of a $4$-DOF robotic arm.


title: Local atomic and magnetic structure of dilute magnetic semiconductor (Ba,K)(Zn,Mn)$_2$As$_2$

abstract: We have studied the atomic and magnetic structure of the dilute ferromagnetic semiconductor system (Ba,K)(Zn,Mn)$_2$As$_2$ through atomic and magnetic pair distribution function analysis of temperature-dependent x-ray and neutron total scattering data. We detected a change in curvature of the temperature-dependent unit cell volume of the average tetragonal crystallographic structure at a temperature coinciding with the onset of ferromagnetic order. We also observed the existence of a well-defined local orthorhombic structure on a short length scale of $\lesssim 5$ \AA, resulting in a rather asymmetrical local environment of the Mn and As ions. Finally, the magnetic PDF revealed ferromagnetic alignment of Mn spins along the crystallographic $c$-axis, with robust nearest-neighbor ferromagnetic correlations that exist even above the ferromagnetic ordering temperature. We discuss these results in the context of other experiments and theoretical studies on this system.


title: Understanding Jupiter's Interior

abstract: This article provides an overview of how models of giant planet interiors are constructed. We review measurements from past space missions that provide constraints for the interior structure of Jupiter. We discuss typical three-layer interior models that consist of a dense central core and an inner metallic and an outer molecular hydrogen-helium layer. These models rely heavily on experiments, analytical theory, and first-principle computer simulations of hydrogen and helium to understand their behavior up to the extreme pressures ~10 Mbar and temperatures ~10,000 K. We review the various equations of state used in Jupiter models and compare them with shock wave experiments. We discuss the possibility of helium rain, core erosion and double diffusive convection may have important consequences for the structure and evolution of giant planets. In July 2016 the Juno spacecraft entered orbit around Jupiter, promising high-precision measurements of the gravitational field that will allow us to test our understanding of gas giant interiors better than ever before.


title: The degree of the Gauss map of the theta divisor

abstract: We study the degree of the Gauss map of the theta divisor of principally polarised complex abelian varieties. We use this to obtain a bound on the multiplicity of the theta divisor along irreducible components of its singular locus, and apply this bound in examples, and to understand the local structure of isolated singular points. We further define a stratification of the moduli space of ppav's by the degree of the Gauss map. In dimension four, we show that this stratification gives a weak solution of the Schottky problem, and we conjecture that this is true in any dimension.


title: Constructions of Maximum Distance Separable Symbol-Pair Codes Using Cyclic and Constacyclic Codes

abstract: Symbol-pair code is a new coding framework which is proposed to correct errors in the symbol-pair read channel. In particular, maximum distance separable (MDS) symbol-pair codes are a kind of symbol-pair codes with the best possible error-correction capability. Employing cyclic and constacyclic codes, we construct three new classes of MDS symbol-pair codes with minimum pair-distance five or six. Moreover, we find a necessary and sufficient condition which ensures a class of cyclic codes to be MDS symbol-pair codes. This condition is related to certain property of a special kind of linear fractional transformations. A detailed analysis on these linear fractional transformations leads to an algorithm, which produces many MDS symbol-pair codes with minimum pair-distance seven.


title: On Local Domain Symmetry for Model Expansion

abstract: Symmetry in combinatorial problems is an extensively studied topic. We continue this research in the context of model expansion problems, with the aim of automating the workflow of detecting and breaking symmetry. We focus on local domain symmetry, which is induced by permutations of domain elements, and which can be detected on a first-order level. As such, our work is a continuation of the symmetry exploitation techniques of model generation systems, while it differs from more recent symmetry breaking techniques in answer set programming which detect symmetry on ground programs. Our main contributions are sufficient conditions for symmetry of model expansion problems, the identification of local domain interchangeability, which can often be broken completely, and efficient symmetry detection algorithms for both local domain interchangeability as well as local domain symmetry in general. Our approach is implemented in the model expansion system IDP, and we present experimental results showcasing the strong and weak points of our approach compared to SBASS , a symmetry breaking technique for answer set programming.


title: Multi-task Domain Adaptation for Sequence Tagging

abstract: Many domain adaptation approaches rely on learning cross domain shared representations to transfer the knowledge learned in one domain to other domains. Traditional domain adaptation only considers adapting for one task. In this paper, we explore multi-task representation learning under the domain adaptation scenario. We propose a neural network framework that supports domain adaptation for multiple tasks simultaneously, and learns shared representations that better generalize for domain adaptation. We apply the proposed framework to domain adaptation for sequence tagging problems considering two tasks: Chinese word segmentation and named entity recognition. Experiments show that multi-task domain adaptation works better than disjoint domain adaptation for each task, and achieves the state-of-the-art results for both tasks in the social media domain.