title: Virtual-Taobao: Virtualizing Real-world Online Retail Environment for Reinforcement Learning

abstract: Applying reinforcement learning in physical-world tasks is extremely challenging. It is commonly infeasible to sample a large number of trials, as required by current reinforcement learning methods, in a physical environment. This paper reports our project on using reinforcement learning for better commodity search in Taobao, one of the largest online retail platforms and meanwhile a physical environment with a high sampling cost. Instead of training reinforcement learning in Taobao directly, we present our approach: first we build Virtual Taobao, a simulator learned from historical customer behavior data through the proposed GAN-SD (GAN for Simulating Distributions) and MAIL (multi-agent adversarial imitation learning), and then we train policies in Virtual Taobao with no physical costs in which ANC (Action Norm Constraint) strategy is proposed to reduce over-fitting. In experiments, Virtual Taobao is trained from hundreds of millions of customers' records, and its properties are compared with the real environment. The results disclose that Virtual Taobao faithfully recovers important properties of the real environment. We also show that the policies trained in Virtual Taobao can have significantly superior online performance to the traditional supervised approaches. We hope our work could shed some light on reinforcement learning applications in complex physical environments.


title: The DAMIC experiment at SNOLAB

abstract: The DAMIC (Dark Matter in CCDs) experiment at the SNOLAB underground laboratory uses fully depleted, high resistivity CCDs to search for dark matter particles with masses below 10 GeV/c$^2$. An upgrade of the detector using an array of seven 16-Mpixel CCDs (40 g of mass) started operation in February 2017. The new results, obtained with the current detector configuration, will be presented. Future plans for DAMIC-M, with a total mass of 1kg and a ionization threshold of 2 electrons, will be discussed.


title: Learning to Propagate Labels: Transductive Propagation Network for Few-shot Learning

abstract: The goal of few-shot learning is to learn a classifier that generalizes well even when trained with a limited number of training instances per class. The recently introduced meta-learning approaches tackle this problem by learning a generic classifier across a large number of multiclass classification tasks and generalizing the model to a new task. Yet, even with such meta-learning, the low-data problem in the novel classification task still remains. In this paper, we propose Transductive Propagation Network (TPN), a novel meta-learning framework for transductive inference that classifies the entire test set at once to alleviate the low-data problem. Specifically, we propose to learn to propagate labels from labeled instances to unlabeled test instances, by learning a graph construction module that exploits the manifold structure in the data. TPN jointly learns both the parameters of feature embedding and the graph construction in an end-to-end manner. We validate TPN on multiple benchmark datasets, on which it largely outperforms existing few-shot learning approaches and achieves the state-of-the-art results.


title: HARPO, a gas TPC active target for high-performance $\gamma$-ray astronomy; demonstration of the polarimetry of MeV $\gamma$-rays converting to $e^+ e^-$ pair

abstract: No $\gamma$-ray polarimeter sensitive above 1 MeV has ever flown space. $\gamma$-ray polarimetry would be a new window on the radiative processes at work in cosmic sources, processes that produce linearly polarised emission, each of which with different polarisation fractions. The HARPO Collaboration has designed, built and characterised on beam a gas-TPC active target with which we have demonstrated for the first time the polarimetry of a linearly polarised MeV $\gamma$-ray beam, from the analysis of the conversions to $e^+ e^-$ pairs.


title: Masked Conditional Neural Networks for Environmental Sound Classification

abstract: The ConditionaL Neural Network (CLNN) exploits the nature of the temporal sequencing of the sound signal represented in a spectrogram, and its variant the Masked ConditionaL Neural Network (MCLNN) induces the network to learn in frequency bands by embedding a filterbank-like sparseness over the network's links using a binary mask. Additionally, the masking automates the exploration of different feature combinations concurrently analogous to handcrafting the optimum combination of features for a recognition task. We have evaluated the MCLNN performance using the Urbansound8k dataset of environmental sounds. Additionally, we present a collection of manually recorded sounds for rail and road traffic, YorNoise, to investigate the confusion rates among machine generated sounds possessing low-frequency components. MCLNN has achieved competitive results without augmentation and using 12% of the trainable parameters utilized by an equivalent model based on state-of-the-art Convolutional Neural Networks on the Urbansound8k. We extended the Urbansound8k dataset with YorNoise, where experiments have shown that common tonal properties affect the classification performance.


title: Finite Sample Analysis of LSTD with Random Projections and Eligibility Traces

abstract: Policy evaluation with linear function approximation is an important problem in reinforcement learning. When facing high-dimensional feature spaces, such a problem becomes extremely hard considering the computation efficiency and quality of approximations. We propose a new algorithm, LSTD($\lambda$)-RP, which leverages random projection techniques and takes eligibility traces into consideration to tackle the above two challenges. We carry out theoretical analysis of LSTD($\lambda$)-RP, and provide meaningful upper bounds of the estimation error, approximation error and total generalization error. These results demonstrate that LSTD($\lambda$)-RP can benefit from random projection and eligibility traces strategies, and LSTD($\lambda$)-RP can achieve better performances than prior LSTD-RP and LSTD($\lambda$) algorithms.


title: Relative entropy close to the edge

abstract: We show that the relative entropy between the reduced density matrix of the vacuum state in some region $A$ and that of an excited state created by a unitary operator localized at a small distance $\ell$ of a boundary point $p$ is insensitive to the global shape of $A$, up to a small correction. This correction tends to zero as $\ell/R$ tends to zero, where $R$ is a measure of the curvature of $\partial A$ at $p$, but at a rate necessarily slower than $\sim \sqrt{\ell/R}$ (in any dimension). Our arguments are mathematically rigorous and only use model-independent, basic assumptions about quantum field theory such as locality and Poincare invariance.


title: Enhanced 3D-printed holographic acoustic lens for aberration correction of single-element transcranial focused ultrasound

abstract: The correction of the aberration of transcranial focused ultrasounds is a relevant issue for enhancing various non-invasive medical treatments. Emission through multi-element phased arrays has been the most widely accepted method to reduce aberrations in recent years; however, a new disruptive technology, based on 3D printed acoustic lenses, has recently been proposed with lower cost and comparable accuracy. The number and size of transducers in phased array configurations was a bottleneck limiting the focusing accuracy, but once the submillimeter precision of the latest generation 3D printers has overcome this limitation, the challenge is now to improve the accuracy of the numerical simulations needed to design the lens. This study introduces and evaluates two improvements to the numerical model applied in previous works that proposed 3D lenses, which consist in the direct calculation of the phase pattern from the propagation of oscillating magnitudes in complex form, and in the introduction of the absorption phenomenon into the set of equations that describe the dynamics of the wave in both fluid and solid media. Numerical experiments are performed analysing the quality of the aberrated-corrected focus in different configurations. The results obtained show that the inclusion of absorption significantly improves focusing, especially where the thickness of the skull is more irregular.


title: $SU(3)$ Knot Solitons: Hopfions in the $F_2$ Skyrme-Faddeev-Niemi model

abstract: We discuss the existence of knot solitons (Hopfions) in a Skryme-Faddeev-Niemi-type model on the target space $SU(3)/U(1)^2$, which can be viewed as an effective theory of both the $SU(3)$ Yang-Mills theory and the $SU(3)$ anti-ferromagnetic Heisenberg model. We derive the knot solitons with two different types of ansatz: the first is a trivial embedding configuration of $SU(2)$ into $SU(3)$, and the second is a non-embedding configuration that can be generated through the B\"{a}cklund transformation. The resulting Euler-Lagrange equations for both ansatz reduce exactly to those of the $CP^1$ Skyrme-Faddeev-Niemi model. We also examine some quantum aspects of the solutions using the collective coordinate zero-mode quantization method.

categories: hep-th cond-mat.str-el math-ph math.MP nlin.PS


title: Braiding and fusion of non-Abelian vortex anyons

abstract: We demonstrate that certain vortices in spinor Bose-Einstein condensates are non-Abelian anyons and may be useful for topological quantum computation. We perform numerical experiments of controllable braiding and fusion of such vortices, implementing the actions required for manipulating topological qubits. Our results suggest that a new platform for topological quantum information processing could potentially be developed by harnessing non-Abelian vortex anyons in spinor Bose-Einstein condensates.


title: Intervalley Scattering of Interlayer Excitons in a MoS$_2$/MoSe$_2$/MoS$_2$ Heterostructure in High Magnetic Field

abstract: Degenerate extrema in the energy dispersion of charge carriers in solids, also referred to as valleys, can be regarded as a binary quantum degree of freedom, which can potentially be used to implement valleytronic concepts in van der Waals heterostructures based on transition metal dichalcogenides. Using magneto-photoluminescence spectroscopy, we achieve a deeper insight into the valley polarization and depolarization mechanisms of interlayer excitons formed across a MoS$_2$/MoSe$_2$/MoS$_2$ heterostructure. We account for the non-trivial behavior of the valley polarization as a function of the magnetic field by considering the interplay between exchange interaction and phonon mediated intervalley scattering in a system consisting of Zeeman-split energy levels. Our results represent a crucial step towards the understanding of the properties of interlayer excitons, with strong implications for the implementation of atomically thin valleytronic devices.


title: Edge-induced strongly correlated electronic states in two-dimensional Hubbard model: Enhancement of magnetic correlations and self-energy effects

abstract: To understand nontrivial edge electronic states in strongly-correlated metals such as cuprate superconductors, we study the two-dimensional Hubbard models with open edge boundary. The position-dependences of the spin susceptibility and the self-energy are carefully analyzed self-consistently, by using the fluctuation-exchange (FLEX) approximation. It is found that spin susceptibilities are strongly enlarged near the (1,1) open edge when the system is near the half-filling. The enhancement is large even if the negative feedback from the self-energy is considered in the FLEX approximation. The present study predicts the emergence of nontrivial spin-fluctuation-driven phenomena near the edge, like the quantum criticality, edge superconductivity, and the bond-density-wave order.


title: Constraining the Synopsys Pin Access Checker Utility for Improved Standard Cells Library Verification Flow

abstract: While standard cell layouts are drawn with minimum design rules for maximum benefit of design area shrinkage, the complicated design rules begin to cause difficulties with signal routes accessing the pins in standard cell layouts. Multiple design iterations are required to resolve routing issues, thus increasing the runtime and the overall chip area. To optimize the chip performance, power and area (PPA) and improve the routability, it is necessary to consider the pin accessibility during standard cell development phase so that each cell is designed to maximize the number of feasible pin-access solutions available to the router. As part of the Synopsys IC Compiler Library Preparation Reference Methodology, the Synopsys Pin Access Checker (PAC) reports DRC violations associated with the standard cell. Based on Synopsys PAC's methodology, we demonstrate several methods to improve the probability of detecting pin accessibility issues, such as reducing the number of cells required for each Synopsys 'testcell', increasing the complexity of the pin connectivity assignment and recommending the router constraints.


title: Variational approach for impurity dynamics at finite temperature

abstract: We present a general variational principle for the dynamics of impurity particles immersed in a quantum-mechanical medium. By working within the Heisenberg picture and constructing approximate time-dependent impurity operators, we can take the medium to be in any mixed state, such as a thermal state. Our variational method is consistent with all conservation laws and, in certain cases, it is equivalent to a finite-temperature Green's function approach. As a demonstration of our method, we consider the dynamics of heavy impurities that have suddenly been introduced into a Fermi gas at finite temperature. Using approximate time-dependent impurity operators involving only one particle-hole excitation of the Fermi sea, we find that we can successfully model the results of recent Ramsey interference experiments on $^{40}$K atoms in a $^6$Li Fermi gas [M.~Cetina et al., Science \textbf{354}, 96 (2016)]. We also show that our approximation agrees well with the exact solution for the Ramsey response of a fixed impurity at finite temperature. Our approach paves the way for the investigation of impurities with dynamical degrees of freedom in arbitrary quantum-mechanical mediums.


title: KONG: Kernels for ordered-neighborhood graphs

abstract: We present novel graph kernels for graphs with node and edge labels that have ordered neighborhoods, i.e. when neighbor nodes follow an order. Graphs with ordered neighborhoods are a natural data representation for evolving graphs where edges are created over time, which induces an order. Combining convolutional subgraph kernels and string kernels, we design new scalable algorithms for generation of explicit graph feature maps using sketching techniques. We obtain precise bounds for the approximation accuracy and computational complexity of the proposed approaches and demonstrate their applicability on real datasets. In particular, our experiments demonstrate that neighborhood ordering results in more informative features. For the special case of general graphs, i.e. graphs without ordered neighborhoods, the new graph kernels yield efficient and simple algorithms for the comparison of label distributions between graphs.


title: Universal aspects of the phase diagram of QCD with heavy quarks

abstract: The flavor dependence of the QCD phase diagram presents universal properties in the heavy quark limit. For the wide class of models where the quarks are treated at the one-loop level, we show, for arbitrary chemical potential, that the flavor dependence of the critical quark masses-for which the confinement-deconfinement transition is second order-is insensitive to the details of the (confining) gluon dynamics and that the critical temperature is constant along the corresponding critical line. We illustrate this with explicit results in various such one-loop models studied in the literature: effective matrix models for the Polyakov loop, the Curci-Ferrari model, and a recently proposed Gribov-Zwanziger-type model. We further observe that the predictions which follow from this one-loop universality property are well satisfied by different calculations beyond one-loop order, including lattice simulations. For degenerate quarks, we propose a simple universal law for the flavor dependence of the critical mass, satisfied by all approaches.


title: In Design DFM Rule Scoring and Fixing Method using ICV

abstract: As compared to DRC rules, DFM rules are a list of selected recommended rules which aim to improve the design margins for better manufacturability. In GLOBALFOUNDRIES, we use DFM scoring methodology as an effective technique to analyze design quality in terms of manufacturability. Physical design engineers can perform our Manufacturability Check Deck (MCD) to asset their design quality during the sign-off stage. In the past, Synopsys users have to convert their design though milkyway database to GDSII format and execute the verification through the third party EDA tools. This method is costly and time-consuming for our Synopsys users. Today, we propose a new and easy-to-use integrated flow which leverages on the ICV engine to provide DFM scoring and in-design fixing techniques. The new methodology address DFM violations early in the design flow and achieve DFM compliance design during sign-off phase.


title: Key Person Aided Re-identification in Partially Ordered Pedestrian Set

abstract: Ideally person re-identification seeks for perfect feature representation and metric model that re-identify all various pedestrians well in non-overlapping views at different locations with different camera configurations, which is very challenging. However, in most pedestrian sets, there always are some outstanding persons who are relatively easy to re-identify. Inspired by the existence of such data division, we propose a novel key person aided person re-identification framework based on the re-defined partially ordered pedestrian sets. The outstanding persons, namely "key persons", are selected by the K-nearest neighbor based saliency measurement. The partial order defined by pedestrian entering time in surveillance associates the key persons with the query person temporally and helps to locate the possible candidates. Experiments conducted on two video datasets show that the proposed key person aided framework outperforms the state-of-the-art methods and improves the matching accuracy greatly at all ranks.


title: Optimal Linearizations of Power Systems with Uncertain Supply and Demand

abstract: Linearized models of power systems are often desirable to formulate tractable control and optimization problems that still reflect real-world physics adequately under various operating conditions. In this paper, we propose an approach that can make use of known data concerning the distribution of demand, and/or intermittent supply, to minimize expected model inconsistency with respect to the original non-linear model. The optimal linearization is obtained by approximating a generalized moment problem with a hierarchy of sparse semi-definite relaxations. The output is a linearization point that minimizes the expected absolute constraint violation with respect to the uncertain supply and demand. Numerical results for different power systems networks demonstrate the accuracy and scalability of our linearization method.


title: The support designs of the triply even codes of length 48

abstract: In this paper, we present examples of codes all of whose weight classes support 1-designs, with duals whose classes include two that support 2-designs. We can find these examples in the triply even binary codes of length 48, which have been classified by Betsumiya and Munemasa.


title: Gaussian process emulation for discontinuous response surfaces with applications for cardiac electrophysiology models

abstract: Mathematical models of biological systems are beginning to be used for safety-critical applications, where large numbers of repeated model evaluations are required to perform uncertainty quantification and sensitivity analysis. Most of these models are nonlinear both in variables and parameters/inputs which has two consequences. First, analytic solutions are rarely available so repeated evaluation of these models by numerically solving differential equations incurs a significant computational burden. Second, many models undergo bifurcations in behaviour as parameters are varied. As a result, simulation outputs often contain discontinuities as we change parameter values and move through parameter/input space. Statistical emulators such as Gaussian processes are frequently used to reduce the computational cost of uncertainty quantification, but discontinuities render a standard Gaussian process emulation approach unsuitable as these emulators assume a smooth and continuous response to changes in parameter values. In this article, we propose a novel two-step method for building a Gaussian Process emulator for models with discontinuous response surfaces. We first use a Gaussian Process classifier to detect boundaries of discontinuities and then constrain the Gaussian Process emulation of the response surface within these boundaries. We introduce a novel `certainty metric' to guide active learning for a multi-class probabilistic classifier. We apply the new classifier to simulations of drug action on a cardiac electrophysiology model, to propagate our uncertainty in a drug's action through to predictions of changes to the cardiac action potential. The proposed two-step active learning method significantly reduces the computational cost of emulating models that undergo multiple bifurcations.


title: The science case for POLLUX, a high-resolution UV spectropolarimeter onboard LUVOIR

abstract: POLLUX is a high-resolution, UV spectropolarimeter proposed for the 15-meter primary mirror option of LUVOIR. The instrument Phase 0 study is supported by the French Space Agency (CNES) and performed by a consortium of European scientists. POLLUX has been designed to deliver high-resolution spectroscopy (R> 120,000) over a broad spectral range (90-390 nm). Its unique spectropolarimetric capabilities will open-up a vast new parameter space, in particular in the unexplored UV domain and in a regime where high-resolution observations with current facilities in the visible domain are severely photon starved. POLLUX will address a range of questions at the core of the LUVOIR Science portfolio. The combination of high resolution and broad coverage of the UV bandpass will resolve narrow UV emission and absorption lines originating in diffuse media, thus permitting the study of the baryon cycle over cosmic time: from galaxies forming stars out of interstellar gas and grains, and stars forming planets, to the various forms of feedback into the interstellar and intergalactic medium (ISM and IGM), and active galactic nuclei (AGN). UV circular and linear polarimetry will reveal the magnetic fields for a wide variety of objects for the first time, from AGN outflows to a diverse range of stars, stellar explosions (both supernovae and their remnants), the ISM and IGM. It will enable detection of polarized light reflected from exoplanets (or their circumplanetary material and moons), characterization of the magnetospheres of stars and planets (and their interactions), and measurements of the influence of magnetic fields at the (inter)galactic scale. In this paper, we outline the key science cases of POLLUX, together with its high-level technical requirements. The instrument design, its estimated performances, and the required technology development are presented in a separated paper.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.SR


title: Spin-four N=7 W-Supergravity: S-fold and Double Copy Construction

abstract: In the present investigation we consider the possibility of having new massive, higher spin W-supergravity theories, which do not exist as four-dimensional perturbative models. These theories are based on a double copy construction of two supersymmetric field theories, where at least one factor is given by a N=3 field theory, which is a non-perturbative S-fold of N=4 super Yang-Mills theory. In this way, we can obtain as S-folds a new N=7 (corresponding to 28 supercharges) W-supergravity and its N=7 W-superstring counterpart, which both do not exist as four-dimensional perturbative models with an (effective) Langrangian description. The resulting field resp. string theory does not contain any massless states, but instead a massive higher spin-four supermultiplet of the N=7 supersymmetry algebra. Furthermore we also construct a four-dimensional heterotic S-fold with N=3 supersymmetry. It again does not exist as perturbative heterotic string model and can be considered as the heterotic counterpart of the N=3 superconformal field theories, which were previously constructed in the context of type I orientfold models.


title: Suppression of ferromagnetic order by Ag-doping: A neutron scattering investigation on Ce2(Pd1-xAgx)2In (x = 0.20, 0.50)

abstract: The ground state magnetic behaviour of Ce2(Pd0.8Ag0.2)2In and Ce2(Pd0.5Ag0.5)2In, found in the ferromagnetic branch of Ce2Pd2In, has been investigated by neutron powder diffraction at low temperature. Ce2(Pd0.8Ag0.2)2In is characterized by a ferromagnetic structure with the Ce moments aligned along the c-axis and values of 0.96(2) mB. The compound retains the P4/mbm throughout the magnetic transition, although the magnetic ordering is accompanied by a significant decrease of the lattice strain along [00l], suggesting a magnetostructural contribution. The magnetic behaviour of Ce2(Pd0.5Ag0.5)2In is very different; this compound exhibits an extremely reduced magnetic scattering contribution in the diffraction pattern, that can be ascribed to a different kind of ferromagnetic ordering, with extremely reduced magnetic moments (~ 0.1 mB) aligned along [0l0]. These results point to a competition between different types of magnetic correlations induced by Ag-substitution, giving rise to a magnetically frustrated scenario in Ce2(Pd0.5Ag0.5)2In.


title: Cloud-Edge Non-Orthogonal Transmission for Fog Networks with Delayed CSI at the Cloud

abstract: In a Fog Radio Access Network (F-RAN), the cloud processor (CP) collects channel state information (CSI) from the edge nodes (ENs) over fronthaul links. As a result, the CSI at the cloud is generally affected by an error due to outdating. In this work, the problem of content delivery based on fronthaul transmission and edge caching is studied from an information-theoretic perspective in the high signal-to-noise ratio (SNR) regime. For the set-up under study, under the assumption of perfect CSI, prior work has shown the (approximate or exact) optimality of a scheme in which the ENs transmit information received from the cloud and cached contents over orthogonal resources. In this work, it is demonstrated that a non-orthogonal transmission scheme is able to substantially improve the latency performance in the presence of imperfect CSI at the cloud.


title: The Error Probability of Generalized Perfect Codes via the Meta-Converse

abstract: We introduce a definition of perfect and quasi-perfect codes for symmetric channels parametrized by an auxiliary output distribution. This notion generalizes previous definitions of perfect and quasi-perfect codes and encompasses maximum distance separable codes. The error probability of these codes, whenever they exist, is shown to coincide with the estimate provided by the meta-converse lower bound. We illustrate how the proposed definition naturally extends to cover almost-lossless source-channel coding and lossy compression.


title: Observation of dynamic charge stripes in Tm0.19Yb0.81B12 at the metal-insulator transition

abstract: Higher accuracy low temperature charge transport measurements in combination with precise X-ray diffraction experiment have allowed detecting the symmetry lowering in the single domain Tm0.19Yb0.81B12 crystals of the family of dodecaborides with metal-insulator transition. Basing on the fine structure analysis we discover formation of dynamic charge stripes within the semiconducting matrix of Tm0.19Yb0.81B12. The charge dynamics in these metallic nano-size conducting channels is characterized by broad-band optical spectroscopy that allowed estimating the frequency (~2.4 10^11 Hz) of quantum motion of the charge carriers. It is suggested that caused by cooperative Jahn-Teller effect in the boron sub-lattice, the large amplitude rattling modes of the Tm and Yb ions are responsible for modulation of the conduction band along [110] direction through the variation of 5d-2p hybridization of electron states.


title: Scaling limits for L\'evy walks with rests

abstract: In this paper we investigate the asymptotic properties of the wait-first and jump-first L\'evy walk with rest, which is a generalization of standard jump-first and jump-first L\'evy walk that assumes each waiting time in the model is a sum of two positive random variables. We investigate the asymptotic properties of the theses new-type waiting times. Next we use the previous results of this paper together with continuous mapping approach to establish the main result, which is a functional convergence in Skorokhod $\mathbb{J}_1$ topology for the L\'evy walks with rests.


title: Mechanism of silica-lysozyme composite formation unravelled by in situ fast SAXS

abstract: A quantitative understanding of aggregation mechanisms leading to the formation of inorganic nanoparticles (NPs) and protein composites in aqueous media is of paramount interest for colloid chemistry. In particular, the interactions between silica (SiO2) NPs and lysozyme (LZM) have attracted attention, because LZM is well-known to adsorb strongly to silica NPs, while at the same time preserving its enzymatic activity. The inherent nature of the aggregation processes leading to NP-LZM composites involves structural changes at length-scales from few to hundreds of nanometres but also time scales << 1 second. To unravel these we used in situ synchrotron-based small-angle X-ray scattering (SAXS) and followed the subtle interparticle interactions in solution at a time resolution of 50 ms/frame (20 fps). We show that if the size of silica NPs (~5 nm diameter) is matched by the dimensions of LZM, the evolving scattering patterns contain a unique structure factor contribution originating from the presence of LZM. We developed a scattering model and applied it to analyse this structure function, which allowed us to extract structural information on the deformation of lysozyme molecules during aggregation, as well as to derive the mechanisms of composite formation.


title: $B-L$ as a Gauged Peccei-Quinn Symmetry

abstract: The gauged Peccei-Quinn (PQ) mechanism provides a simple prescription to embed the global PQ symmetry into a gauged $U(1)$ symmetry. As it originates from the gauged PQ symmetry, the global PQ symmetry can be protected from explicit breaking by quantum gravitational effects once appropriate charge assignment is given. In this paper, we identify the gauged PQ symmetry with the ${B-L}$ symmetry, which is obviously attractive as the ${B-L}$ gauge symmetry is the most authentic extension of the Standard Model. As we will show, a natural $B-L$ charge assignment can be found in a model motivated by the seesaw mechanism in the $SU(5)$ Grand Unified Theory. As a notable feature of this model, it does not require extra $SU(5)$ singlet matter fields other than the right-handed neutrinos to cancel the self and the gravitational anomalies.


title: DIF : Dataset of Perceived Intoxicated Faces for Drunk Person Identification

abstract: Traffic accidents cause over a million deaths every year, of which a large fraction is attributed to drunk driving. An automated intoxicated driver detection system in vehicles will be useful in reducing accidents and related financial costs. Existing solutions require special equipment such as electrocardiogram, infrared cameras or breathalyzers. In this work, we propose a new dataset called DIF (Dataset of perceived Intoxicated Faces) which contains audio-visual data of intoxicated and sober people obtained from online sources. To the best of our knowledge, this is the first work for automatic bimodal non-invasive intoxication detection. Convolutional Neural Networks (CNN) and Deep Neural Networks (DNN) are trained for computing the video and audio baselines, respectively. 3D CNN is used to exploit the Spatio-temporal changes in the video. A simple variation of the traditional 3D convolution block is proposed based on inducing non-linearity between the spatial and temporal channels. Extensive experiments are performed to validate the approach and baselines.


title: Importance of generalized $\mu\tau$ symmetry and its CP extension on neutrino mixing and leptogenesis

abstract: Within the framework of residual symmetry, two $\mathbb{Z}_2$ type associate $\mu\tau$ interchange symmetries robustly constrain the Dirac CP phase $\delta$ in a model independent way. Both of them predict simultaneous maximality of $\delta$ and the atmospheric mixing angle $\theta_{23}$. We show how these well known correlations will be changed if we generalize the $\mu\tau$ interchange symmetry to a $\mu\tau$ mixing symmetry. In particular, we show that the stringent condition of simultaneous maximality could be relaxed even with a very small departure from the exact $\mu\tau$ interchange. In addition, the present neutrino data on $\delta$ and $\theta_{23}$ can be explained better by the mixing symmetry. After discussing the impact of the $\mu\tau$ mixing in some realistic neutrino mass models, we show how the proposed mixing could be realized with two simultaneous CP transformations which also lead to novel and testable correlations between $\delta$ and the mixing angles $\theta_{ij}$. Next we discuss in particular, the `three flavour regime' of leptogenesis within the CP extended framework and show, unlike the ordinary CP extended $\mu\tau$ interchange symmetry, a resonant leptogenesis is possible due the generalization of $\mu\tau$ interchange to the $\mu\tau$ mixing and the resulting baryon asymmetry always requires a nonmaximal $\theta_{23}$ owing to the fact that the baryon to photon ratio $\eta_B$ vanishes in the exact limit of $\theta_{23}=\pi/4$. This is one of the robust predictions of this framework. The CP extended $\mu\tau$ mixing is also a novel example of a low energy effective model that provides an important insight to the off-diagonal terms of the flavour coupling matrix which have usually been neglected in literature to compute the final baryon asymmetry, in particular in the models with flavour symmetries.


title: Zeno: Distributed Stochastic Gradient Descent with Suspicion-based Fault-tolerance

abstract: We present Zeno, a technique to make distributed machine learning, particularly Stochastic Gradient Descent (SGD), tolerant to an arbitrary number of faulty workers. Zeno generalizes previous results that assumed a majority of non-faulty nodes; we need assume only one non-faulty worker. Our key idea is to suspect workers that are potentially defective. Since this is likely to lead to false positives, we use a ranking-based preference mechanism. We prove the convergence of SGD for non-convex problems under these scenarios. Experimental results show that Zeno outperforms existing approaches.


title: No-signaling principle and quantum brachistochrone problem in $PT$-symmetric fermionic two- and four-dimensional models

abstract: Fermionic systems differ from bosonic ones in several ways, in particular that the time-reversal operator $T$ is odd, $T^2=-1$. For $PT$-symmetric bosonic systems, the no-signaling principle and the quantum brachistochrone problem have been studied to some degree, both of them controversially. In this paper, we apply the basic methods proposed for bosonic systems to {\it fermionic} two- and four-dimensional $PT$-symmetric Hamiltonians, and obtain several surprising results: We find - in contrast to the bosonic case - that the no-signaling principle is upheld for two-dimensional fermionic Hamiltonians, however, the $PT$ symmetry is broken. In addition, we find that the time required for the evolution from a given initial state, the spin-up, to a given final state, the spin-down, is a constant, independent of the parameters of the Hamiltonian, under the eigenvalue constraint. That is, it cannot - as in the bosonic case - be optimized. We do, however, also find a dimensional dependence: four-dimensional $PT$-symmetric fermionic Hamiltonians considered here again uphold the no-signaling principle, but it is not essential that the $PT$ symmetry be broken. The symmetry is, however, broken if the measure of entanglement is conserved. In the four-dimensional systems, the evolution time between orthogonal states is dependent on the parameters of the Hamiltonian, with the conclusion that it again can be optimized, and approach zero under certain circumstances. However, if we require the conservation of entanglement, the transformation time between these two states becomes the same constant as found in the two-dimensional case, which coincides with the minimum time for such a transformation to take place in the Hermitian case.


title: Reconfigurable terahertz quarter-wave plate for helicity switching based on Babinet inversion of anisotropic checkerboard metasurface

abstract: Dynamic helicity switching by utilizing metasurfaces is challenging because it requires deep modulation of polarization states. To realize such helicity switching, this paper proposes a dynamic metasurface functioning as a switchable quarter-wave plate, the fast axis of which can be dynamically rotated by $90^\circ$. The device is based on the critical transition of an anisotropic metallic checkerboard, which realizes the deep modulation and simultaneous design of the switchable states. After verifying the functionality of the ideally designed device in a simulation, we tune its structural parameters to realize practical experiments in the terahertz frequency range. By evaluating the fabricated sample with vanadium dioxide, the conductivity of which can be controlled by temperature, its dynamic helicity switching function is demonstrated.


title: On the speed of convergence in the strong density theorem

abstract: For a compact set $K\subset \mathbb{R}^m$, we have two indexes given under simple parameters of the set $K$ (these parameters go back to Besicovitch and Taylor in the late 50's). In the present paper we prove that with the exception of a single extreme value for each index, we have the following elementary estimate on how fast the ratio in the strong density theorem of Saks will tend to one \[ \frac{|R\cap K|}{|R|}>1-o\bigg(\frac{1}{|\log d(R)|}\bigg) \qquad \text{for a.e.} \ \ x\in K \ \ \text{and for} \ \ d(R)\to 0 \] (provided $x\in R$, where $R$ is an interval in $\mathbb{R}^m$, $d$ stands for the diameter and $|\cdot|$ is the Lebesgue measure). This work is a natural sequence of [3] and constitutes a contribution to Problem 146 of Ulam [5, p. 245] (see also [8, p.78]) and Erd\"{o}s' Scottish Book `Problems' [5, Chapter 4, pp. 27-33], since it is known that no general statement can be made on how fast the density will tend to one.


title: Accurate Computation of Marginal Data Densities Using Variational Bayes

abstract: We propose a new marginal data density estimator (MDDE) that uses the variational Bayes posterior density as a weighting density of the reciprocal importance sampling (RIS) MDDE. This computationally convenient estimator is based on variational Bayes posterior densities that are available for many models and requires simulated draws only from the posterior distribution. It provides accurate estimates with a moderate number of posterior draws, has a finite variance, and provides a minimum variance candidate for the class of RIS MDDEs. Its reciprocal is consistent, asymptotically normally distributed, and unbiased. These properties are obtained without truncating the weighting density, which is typical for other such estimators. Our proposed estimators outperform many existing MDDEs in terms of bias and numerical standard errors. In particular, our RIS MDDE performs uniformly better than other estimators from this class.


title: Beyond the Waterbed Effect: Development of Fractional Order CRONE Control with Non-Linear Reset

abstract: In this paper a novel reset control synthesis method is proposed: CRONE reset control, combining a robust fractional CRONE controller with non-linear reset control to overcome waterbed effect. In CRONE control, robustness is achieved by creation of constant phase behaviour around bandwidth with the use of fractional operators, also allowing more freedom in shaping the open-loop frequency response. However, being a linear controller it suffers from the inevitable trade-off between robustness and performance as a result of the waterbed effect. Here reset control is introduced in the CRONE design to overcome the fundamental limitations. In the new controller design, reset phase advantage is approximated using describing function analysis and used to achieve better open-loop shape. Sufficient quadratic stability conditions are shown for the designed CRONE reset controllers and the control design is validated on a Lorentz-actuated nanometre precision stage. It is shown that for similar phase margin, better performance in terms of reference-tracking and noise attenuation can be achieved.


title: A Multi-Scan Labeled Random Finite Set Model for Multi-object State Estimation

abstract: State space models in which the system state is a finite set--called the multi-object state--have generated considerable interest in recent years. Smoothing for state space models provides better estimation performance than filtering by using the full posterior rather than the filtering density. In multi-object state estimation, the Bayes multi-object filtering recursion admits an analytic solution known as the Generalized Labeled Multi-Bernoulli (GLMB) filter. In this work, we extend the analytic GLMB recursion to propagate the multi-object posterior. We also propose an implementation of this so-called multi-scan GLMB posterior recursion using a similar approach to the GLMB filter implementation.


title: High-order overset grid method for detecting particle impaction on a cylinder in a cross flow

abstract: An overset grid method was used to investigate the interaction between a particle-laden flow and a circular cylinder. The overset grid method was implemented in the Pencil Code , a high-order finite-difference code for compressible flow simulation. High-order summation-by-part operators were used at the cylinder boundary, and both bi-linear Lagrangian and bi-quadratic spline interpolation was used to communicate between the background grid and the body-conformal cylindrical grid. The performance of the overset grid method was assessed to benchmark cases of steady and unsteady flows past a cylinder. For steady flow at low Reynolds number, high-order accuracy was achieved for velocity components. Results for flow in the vortex shedding regime showed good agreement to the literature. The method was also applied to particle-laden flow simulations, where spherical point particles were inserted upstream of the cylinder. These inertial particles were convected towards and (possibly) past the cylinder. The simulations reproduced data from the literature at a significantly reduced cost, revealing that the previously published DNS data is less accurate than assumed for particles with very small Stokes numbers.


title: Body and Tail - Separating the distribution function by an efficient tail-detecting procedure in risk management

abstract: In risk management, tail risks are of crucial importance. The quality of a tail model, which is determined by data from an unknown distribution, depends critically on the subset of data used to model the tail. Based on a suitably weighted mean square error, we present a method that can separate the required subset. The selected data are used to determine the parameters of the tail model. Notably, no parameter specifications have to be made to apply the proposed procedure. Standard goodness of fit tests allow us to evaluate the quality of the fitted tail model. We apply the method to standard distributions that are usually considered in the finance and insurance industries. In addition, for the MSCI World Index, we use historical data to identify the tail model and to compute the quantiles required for a risk assessment.


title: Architectures for High Performance Computing and Data Systems using Byte-Addressable Persistent Memory

abstract: Non-volatile, byte addressable, memory technology with performance close to main memory promises to revolutionise computing systems in the near future. Such memory technology provides the potential for extremely large memory regions (i.e. > 3TB per server), very high performance I/O, and new ways of storing and sharing data for applications and workflows. This paper outlines an architecture that has been designed to exploit such memory for High Performance Computing and High Performance Data Analytics systems, along with descriptions of how applications could benefit from such hardware.


title: Algorithms for Anti-Powers in Strings

abstract: A string $S[1,n]$ is a power (or tandem repeat) of order $k$ and period $n/k$ if it can decomposed into $k$ consecutive equal-length blocks of letters. Powers and periods are fundamental to string processing, and algorithms for their efficient computation have wide application and are heavily studied. Recently, Fici et al. (Proc. ICALP 2016) defined an {\em anti-power} of order $k$ to be a string composed of $k$ pairwise-distinct blocks of the same length ($n/k$, called {\em anti-period}). Anti-powers are a natural converse to powers, and are objects of combinatorial interest in their own right. In this paper we initiate the algorithmic study of anti-powers. Given a string $S$, we describe an optimal algorithm for locating all substrings of $S$ that are anti-powers of a specified order. The optimality of the algorithm follows form a combinatorial lemma that provides a lower bound on the number of distinct anti-powers of a given order: we prove that a string of length $n$ can contain $\Theta(n^2/k)$ distinct anti-powers of order $k$.


title: struc2gauss: Structural Role Preserving Network Embedding via Gaussian Embedding

abstract: Network embedding (NE) is playing a principal role in network mining, due to its ability to map nodes into efficient low-dimensional embedding vectors. However, two major limitations exist in state-of-the-art NE methods: role preservation and uncertainty modeling. Almost all previous methods represent a node into a point in space and focus on local structural information, i.e., neighborhood information. However, neighborhood information does not capture global structural information and point vector representation fails in modeling the uncertainty of node representations. In this paper, we propose a new NE framework, struc2gauss, which learns node representations in the space of Gaussian distributions and performs network embedding based on global structural information. struc2gauss first employs a given node similarity metric to measure the global structural information, then generates structural context for nodes and finally learns node representations via Gaussian embedding. Different structural similarity measures of networks and energy functions of Gaussian embedding are investigated. Experiments conducted on real-world networks demonstrate that struc2gauss effectively captures global structural information while state-of-the-art network embedding methods fail to, outperforms other methods on the structure-based clustering and classification task and provides more information on uncertainties of node representations.


title: Spectroscopic properties of the molecular ions BeX^+ (X=Na, K, Rb): Forming cold molecular ions from an ion-atom mixture by stimulated Raman adiabatic process

abstract: In this theoretical work, we calculate potential energy curves, spectroscopic pa- rameters and transition dipole moments of molecular ions BeX^+ (X=Na, K, Rb) composed of alkaline ion Be and alkali atom X with a quantum chemistry approach based on the pseudopotential model, Gaussian basis sets, effective core polarization potentials, and full configuration interaction (CI). We study in detail collisions of the alkaline ion and alkali atom in quantum regime. Besides, we study the possibility of the formation of molecular ions from the ion-atom colliding systems by stimu- lated Raman adiabatic process and discuss the parameters regime under which the population transfer is feasible. Our results are important for ion-atom cold collisions and experimental realization of cold molecular ion formation.


title: Interplay between intrinsic and emergent topological protection on interacting helical modes

abstract: The interplay between topology and interactions on the edge of a two dimensional topological insulator with time reversal symmetry is studied. We consider a simple non-interacting system of three helical channels with an inherent $\mathbb{Z}_{2}$ topological protection, and hence a zero-temperature conductance of $G=e^2/h$. We show that when interactions are added to the model, the ground state exhibits two different phases as function of the interaction parameters. One of these phases is a trivial insulator at zero temperature, as the symmetry protecting the non-interacting topological phase is spontaneously broken. In this phase, there is zero conductance $G=0$ at zero-temperature. The other phase displays enhanced topological properties, with the neutral sector described by a massive version of $\mathbb{Z}_{3}$ parafermions. In this phase, the system at low energies displays an emergent $\mathbb{Z}_3$ symmetry, which is not present in the lattice model, and has a topologically protected zero-temperature conductance of $G=3e^2/h$. This state is an example of a dynamically enhanced symmetry protected topological state.


title: Fusing Laser Scanner and Stereo Camera in Evidential Grid Maps

abstract: Automation driving techniques have seen tremendous progresses these last years, particularly due to a better perception of the environment. In order to provide safe yet not too conservative driving in complex urban environment, data fusion should not only consider redundant sensing to characterize the surrounding obstacles, but also be able to describe the uncertainties and errors beyond presence/absence (be it binary or probabilistic). This paper introduces an enriched representation of the world, more precisely of the potential existence of obstacles through an evidential grid map. A method to create this representation from 2 very different sensors, laser scanner and stereo camera, is presented along with algorithms for data fusion and temporal updates. This work allows a better handling of the dynamic aspects of the urban environment and a proper management of errors in order to create a more reliable map. We use the evidential framework based on the Dempster-Shafer theory to model the environment perception by the sensors. A new combination operator is proposed to merge the different sensor grids considering their distinct uncertainties. In addition, we introduce a new long-life layer with high level states that allows the maintenance of a global map of the entire vehicle's trajectory and distinguish between static and dynamic obstacles. Results on a real road dataset show that the environment mapping data can be improved by adding relevant information that could be missed without the proposed approach.


title: Japanese Predicate Conjugation for Neural Machine Translation

abstract: Neural machine translation (NMT) has a drawback in that can generate only high-frequency words owing to the computational costs of the softmax function in the output layer. In Japanese-English NMT, Japanese predicate conjugation causes an increase in vocabulary size. For example, one verb can have as many as 19 surface varieties. In this research, we focus on predicate conjugation for compressing the vocabulary size in Japanese. The vocabulary list is filled with the various forms of verbs. We propose methods using predicate conjugation information without discarding linguistic information. The proposed methods can generate low-frequency words and deal with unknown words. Two methods were considered to introduce conjugation information: the first considers it as a token (conjugation token) and the second considers it as an embedded vector (conjugation feature). The results using these methods demonstrate that the vocabulary size can be compressed by approximately 86.1% (Tanaka corpus) and the NMT models can output the words not in the training data set. Furthermore, BLEU scores improved by 0.91 points in Japanese-to-English translation, and 0.32 points in English-to-Japanese translation with ASPEC.


title: Chaotic behaviour of the Fourier multipliers on Riemannian symmetric spaces of noncompact type

abstract: Let $X$ be a Riemannian symmetric space of noncompact type and $T$ be a linear translation-invariant operator which is bounded on $L^p(X)$. We shall show that if $T$ is not a constant multiple of identity then there exist complex constants $z$ such that $zT$ is chaotic on $L^p(X)$ when $p$ is in the sharp range $2<p<\infty$. This vastly generalizes the result that dynamics of the (perturbed) heat semigroup is chaotic on $X$ proved in [15, 17].


title: FLOreS - Fractional order loop shaping MATLAB toolbox

abstract: A novel toolbox named FLOreS is presented for intuitive design of fractional order controllers (FOC) using industry standard loop shaping technique. This will allow control engineers to use frequency response data (FRD) of the plant to design FOCs by shaping the open loop to meet the necessary specifications of stability, robustness, tracking, precision and bandwidth. FLOreS provides a graphical approach using closed-loop sensitivity functions for overall insight into system performance. The main advantage over existing optimization toolboxes for FOC is that the engineer can use prior knowledge and expertise of plant during design of FOC. Different approximation methods for fractional order filters are also included for greater freedom of final implementation. This combined with the included example plants enables additionally to be used as an educational tool. FLOreS has been used for design and implementation of both integer and fractional order controllers on a precision stage to prove industry readiness.


title: Bayesian estimation for large scale multivariate Ornstein-Uhlenbeck model of brain connectivity

abstract: Estimation of reliable whole-brain connectivity is a crucial step towards the use of connectivity information in quantitative approaches to the study of neuropsychiatric disorders. When estimating brain connectivity a challenge is imposed by the paucity of time samples and the large dimensionality of the measurements. Bayesian estimation methods for network models offer a number of advantages in this context but are not commonly employed. Here we compare three different estimation methods for the multivariate Ornstein-Uhlenbeck model, that has recently gained some popularity for characterizing whole-brain connectivity. We first show that a Bayesian estimation of model parameters assuming uniform priors is equivalent to an application of the method of moments. Then, using synthetic data, we show that the Bayesian estimate scales poorly with number of nodes in the network as compared to an iterative Lyapunov optimization. In particular when the network size is in the order of that used for whole-brain studies (about 100 nodes) the Bayesian method needs about eight times more time samples than Lyapunov method in order to achieve similar estimation accuracy. We also show that the higher estimation accuracy of Lyapunov method is reflected in a much better classification of individuals based on the estimated connectivity from a real dataset of BOLD fMRI. Finally we show that the poor accuracy of Bayesian method is due to numerical errors, when the imaginary part of the connectivity estimate gets large compared to its real part.


title: Causal dynamics of discrete manifolds

abstract: We extend Cellular Automata to time-varying discrete geometries. In other words we formalize, and prove theorems about, the intuitive idea of a discrete manifold which evolves in time, subject to two natural constraints: the evolution does not propagate information too fast; and it acts everywhere the same. For this purpose we develop a correspondence between complexes and labeled graphs. In particular we reformulate the properties that characterize discrete manifolds amongst complexes, solely in terms of graphs. In dimensions $n<4$, over bounded-star graphs, it is decidable whether a Cellular Automaton maps discrete manifolds into discrete manifolds.


title: Homological Dimension of Solvable Groups

abstract: In this paper we prove that the homological dimension of an elementary amenable group over an arbitrary commutative coefficient ring is either infinite or equal to the Hirsch length of the group. Established theory gives simple group theoretical criteria for finiteness of homological dimension and so we can infer complete information about this invariant for elementary amenable groups. Stammbach proved the special case of solvable groups over coefficient fields of characteristic zero in an important paper dating from 1970.


title: BadLink: Combining Graph and Information-Theoretical Features for Online Fraud Group Detection

abstract: Frauds severely hurt many kinds of Internet businesses. Group-based fraud detection is a popular methodology to catch fraudsters who unavoidably exhibit synchronized behaviors. We combine both graph-based features (e.g. cluster density) and information-theoretical features (e.g. probability for the similarity) of fraud groups into two intuitive metrics. Based on these metrics, we build an extensible fraud detection framework, BadLink, to support multimodal datasets with different data types and distributions in a scalable way. Experiments on real production workload, as well as extensive comparison with existing solutions demonstrate the state-of-the-art performance of BadLink, even with sophisticated camouflage traffic.


title: Stochastic algorithms with descent guarantees for ICA

abstract: Independent component analysis (ICA) is a widespread data exploration technique, where observed signals are modeled as linear mixtures of independent components. From a machine learning point of view, it amounts to a matrix factorization problem with a statistical independence criterion. Infomax is one of the most used ICA algorithms. It is based on a loss function which is a non-convex log-likelihood. We develop a new majorization-minimization framework adapted to this loss function. We derive an online algorithm for the streaming setting, and an incremental algorithm for the finite sum setting, with the following benefits. First, unlike most algorithms found in the literature, the proposed methods do not rely on any critical hyper-parameter like a step size, nor do they require a line-search technique. Second, the algorithm for the finite sum setting, although stochastic, guarantees a decrease of the loss function at each iteration. Experiments demonstrate progress on the state-of-the-art for large scale datasets, without the necessity for any manual parameter tuning.


title: Parabolicity criteria and characterization results for submanifolds of bounded mean curvature in model manifolds with weights

abstract: Let $P$ be a submanifold properly immersed in a rotationally symmetric manifold having a pole and endowed with a weight $e^h$. The aim of this paper is twofold. First, by assuming certain control on the $h$-mean curvature of $P$, we establish comparisons for the $h$-capacity of extrinsic balls in $P$, from which we deduce criteria ensuring the $h$-parabolicity or $h$-hyperbolicity of $P$. Second, we employ functions with geometric meaning to describe submanifolds of bounded $h$-mean curvature which are confined into some regions of the ambient manifold. As a consequence, we derive half-space and Bernstein-type theorems generalizing previous ones. Our results apply for some relevant $h$-minimal submanifolds appearing in the singularity theory of the mean curvature flow.


title: The Stellar Halo of the Spiral Galaxy NGC 1560

abstract: We report on the detection of a stellar halo around NGC 1560, a 10^9 Mo spiral galaxy member of the Maffei group. We obtained deep images in the r and i bands using the 10.4m Gran Telescopio Canarias in a field centered at ~ 3.7 arcmin (projected distance of 3.5 kpc) from the center of this galaxy. The luminosity function and the CMD show a clear excess of stars with respect to the expected foreground level at magnitudes fainter than the RGB tip at the distance of NGC 1560. The color of the halo stars implies a metallicity of Z ~ Zo/50, while their counts correspond to a stellar mass of ~ 10^7 Mo in the sampled region. Assuming a power law profile for the surface mass density of the halo, our data suggest a total stellar mass of 10^8 Mo for the halo of NGC 1560.


title: Slingshot non-sequential double ionization as a gate to anti-correlated two electron escape

abstract: At intensities below-the-recollision threshold, we show that re-collision-induced excitation with one electron escaping fast after re-collision and the other electron escaping with a time delay via a Coulomb slingshot motion is one of the most important mechanisms of non-sequential double ionization, for strongly-driven He at 400 nm. Slingshot-NSDI is a general mechanism present for a wide range of low intensities and pulse durations. Anti-correlated two-electron escape is its striking hallmark. This mechanism offers an alternative explanation of anti-correlated two-electron escape obtained in previous studies.


title: Isogeometric analysis for 2D and 3D curl-div problems: Spectral symbols and fast iterative solvers

abstract: Alfv\'en-like operators are of interest in magnetohydrodynamics, which is used in plasma physics to study the macroscopic behavior of plasma. Motivated by this important and complex application, we focus on a parameter-dependent curl-div problem that can be seen as a prototype of an Alfv\'en-like operator, and we discretize it using isogeometric analysis based on tensor-product B-splines. The involved coefficient matrices can be very ill-conditioned, so that standard numerical solution methods perform quite poorly here. In order to overcome the difficulties caused by such ill-conditioning, a two-step strategy is proposed. First, we conduct a detailed spectral study of the coefficient matrices, highlighting the critical dependence on the different physical and approximation parameters. Second, we exploit such spectral information to design fast iterative solvers for the corresponding linear systems. For the first goal we apply the theory of (multilevel block) Toeplitz and generalized locally Toeplitz sequences, while for the second we use a combination of multigrid techniques and preconditioned Krylov solvers. Several numerical tests are provided both for the study of the spectral problem and for the solution of the corresponding linear systems.


title: Unsupervisedly Training GANs for Segmenting Digital Pathology with Automatically Generated Annotations

abstract: Recently, generative adversarial networks exhibited excellent performances in semi-supervised image analysis scenarios. In this paper, we go even further by proposing a fully unsupervised approach for segmentation applications with prior knowledge of the objects' shapes. We propose and investigate different strategies to generate simulated label data and perform image-to-image translation between the image and the label domain using an adversarial model. Specifically, we assess the impact of the annotation model's accuracy as well as the effect of simulating additional low-level image features. For experimental evaluation, we consider the segmentation of the glomeruli, an application scenario from renal pathology. Experiments provide proof of concept and also confirm that the strategy for creating the simulated label data is of particular relevance considering the stability of GAN trainings.


title: Enhancing correlation times for edge spins through dissipation

abstract: Spin chains with open boundaries, such as the transverse field Ising model, can display coherence times for edge spins that diverge with the system size as a consequence of almost conserved operators, the so-called strong zero modes. Here, we discuss the fate of these coherence times when the system is perturbed in two different ways. First, we consider the effects of a unitary coupling connecting the ends of the chain; when the coupling is weak and non-interacting, we observe stable long-lived harmonic oscillations between the strong zero modes. Second, and more interestingly, we consider the case when dynamics becomes dissipative. While in general dissipation induces decoherence and loss of information, here we show that particularly simple environments can actually enhance correlation times beyond those of the purely unitary case. This allows us to generalise the notion of strong zero modes to irreversible Markovian time-evolutions, thus defining conditions for {\em dissipative strong zero maps}. Our results show how dissipation could, in principle, play a useful role in protocols for storing information in quantum devices.


title: Geometry and speed of evolution for a spin-s system with long-range zz-type Ising interaction

abstract: We study the evolution of a spin-s system described by the long-range zz-type Ising interaction. The Fubini-Study metric of the quantum state manifold defined by this evolution is obtained. We explore the topology of this manifold and show that it corresponds to a sphere. Exploration of the Riemannian curvature allows us to determine the manifold geometry. Also we calculate the speed of evolution of the system and represent the curvature by means of this speed. This is important for an experimental measurement of the curvature. The conditions for achieving the minimal and maximal values of the speed of evolution are obtained. Also we examine the geometry of state manifold and speed of evolution of spin system in the thermodynamic limit. We propose the physical system of methane molecule for application of our considerations. Finally, we study the influence of an external magnetic field on the metric of state manifold and on the speed of evolution. In this case we obtain the conditions for achieving the minimal possible speed of evolution. For some predefined initial states the orientations of magnetic fields to reach the minimal and maximal values of the speed are found.


title: Calculating the transport properties of magnetic materials from first-principles including thermal and alloy disorder, non-collinearity and spin-orbit coupling

abstract: A density functional theory based two-terminal scattering formalism that includes spin-orbit coupling and spin non-collinearity is described. An implementation using tight-binding muffin-tin orbitals combined with extensive use of sparse matrix techniques allows a wide variety of inhomogeneous structures to be flexibly modelled with various types of disorder including temperature induced lattice and spin disorder. The methodology is illustrated with calculations of the temperature dependent resistivity and magnetization damping for the important substitutional disordered magnetic alloy Permalloy (Py), Ni$_{80}$Fe$_{20}$. Comparison of calculated results with recent experimental measurements of the damping (including its temperature dependence) indicates that the scattering approach captures the most important contributions to this important property.


title: Zero-viscosity limit of the Navier-Stokes equations with the Navier friction boundary condition

abstract: In this paper, we consider the zero-viscosity limit of the Navier-Stokes equations in a half space with the Navier friction boundary condition $$ (\beta u^{\varepsilon}-\varepsilon^{\gamma}\partial_y u^{\varepsilon})|_{y=0}=0, $$ where $\beta$ is a constant and $\gamma\in (0,1]$. In the case of $\gamma=1$, the convergence to the Euler equations and the Prandtl equation with the Robin boundary condition is justified for the analytic data. In the case of $\gamma\in (0,1)$, the convergence to the Euler equations and the linearized Prandtl equation is justified for the data in the Gevrey class $\frac 1 {\gamma}$.


title: Calculating the free energy difference by applying the Jarzynski equality to a virtual integrable system

abstract: The Jarzynski equality (JE) provides a nonequilibrium method to measure and calculate the free energy difference (FED). Note that if two systems share the same Hamiltonian at two equilibrium states, respectively, they share the same FED between these two equilibrium states as well. Therefore the calculation of the FED of a system may be facilitated by considering instead another virtual system designed to this end. Taking advantage of this flexibility and the JE, we show that by introducing an integrable virtual system, the evolution problem involved in the JE can be solved. As a consequence, FED is expressed in the form of an equilibrium equality, in contrast with the nonequilibrium JE it is based on. Numerically, this result allows FED to be computed by sampling the canonical ensemble directly and the computational cost can be significantly reduced. The effectiveness and efficiency of this scheme are illustrated with numerical studies of several representative model systems.


title: Millisecond oscillations in the bursting flux of SAX J1810.8-2609

abstract: SAX J1810.8-2609 is a faint X-ray transient, mostly known for its abnormally low quiescent thermal luminosity, which disagrees with standard cooling models. It is also one of a small sample of stars whose mass and radius have been estimated using spectral modeling of one of its thermonuclear bursts. Here we report the discovery of millisecond oscillations in a type I thermonuclear X-ray burst from SAX J1810.8-2609 observed by RXTE during the 2007 outburst. A strong signal (Leahy-normalized power of 71.5, 4.5e-9 chance of coincidence with a conservative estimate for the number of trials) was present at 531.8 Hz during the decay of one out of six bursts observed. Oscillations were detected for about 6 seconds, during which their frequency increased from 531.4 to 531.9 Hz in a manner similar to other burst oscillation sources. The millisecond oscillations discovered pinpoint the spin frequency of the neutron star, which is important for the spectral modeling, associated mass-radius inference, and understanding the evolutionary status and cooling behavior of the star. As of April 2018 the source is in outburst again, providing a fleeting opportunity to acquire new material for the burst oscillation searches.


title: A Sliding-Window Algorithm for Markov Decision Processes with Arbitrarily Changing Rewards and Transitions

abstract: We consider reinforcement learning in changing Markov Decision Processes where both the state-transition probabilities and the reward functions may vary over time. For this problem setting, we propose an algorithm using a sliding window approach and provide performance guarantees for the regret evaluated against the optimal non-stationary policy. We also characterize the optimal window size suitable for our algorithm. These results are complemented by a sample complexity bound on the number of sub-optimal steps taken by the algorithm. Finally, we present some experimental results to support our theoretical analysis.


title: An algorithm for computing the Arf closure of an algebroid curve with more than one branch

abstract: In this paper, we give a fast algorithm for the computation of the Arf closure of an algebroid curve with more than one branch, generalizing an algorithm presented by Arslan and Sahin for the algebroid branch case.


title: FRET distance dependence from upconverting nanoparticles to quantum dots

abstract: F\"orster resonant energy transfer (FRET) with upconverting nanoparticles (UCNPs) as donors and quantum dots (QDs) as acceptors has been regarded as a promising tool for biosensing applications. In this work, we use time-resolved fluorescence spectroscopy to analyze the UCNP-to-QD FRET and we focus on the most relevant parameter of the FRET phenomenon, UCNP-QD distance. This distance is controlled by a nanometric silica shell around the UCNP surface. We theoretically reproduce the experimental results applying FRET theory to the distribution of emitting erbium ions in the UCNP. This simple model allows us to estimate the contribution of every erbium ion to the final FRET response and to explore different strategies to improve FRET efficiency.


title: The Renormalization Group and the Effective Potential in the Wess-Zumino model

abstract: We consider the effective potential V in the massless Wess-Zumino model. By using the renormalization group equation, we show that the explicit dependence of V on the renormalization mass scale mu cancels. If V has an extremum at some non-vanishing value of the background field, then it follows that V is "flat", independent of the background field. This is consistent with the general requirement that V be complex. The consequences for supersymmetric gauge theories are briefly considered.


title: Strong link between BWT and XBW via Aho-Corasick automaton and applications to Run-Length Encoding

abstract: The boom of genomic sequencing makes compression of set of sequences inescapable. This underlies the need for multi-string indexing data structures that helps compressing the data. The most prominent example of such data structures is the Burrows-Wheeler Transform (BWT), a reversible permutation of a text that improves its compressibility. A similar data structure, the eXtended Burrows-Wheeler Transform (XBW), is able to index a tree labelled with alphabet symbols. A link between a multi-string BWT and the Aho-Corasick automaton has already been found and led to a way to build a XBW from a multi-string BWT. We exhibit a stronger link between a multi-string BWT and a XBW by using the order of the concatenation in the multi-string. This bijective link has several applications: first, it allows to build one data structure from the other; second, it enables one to compute an ordering of the input strings that optimises a Run-Length measure (i.e., the compressibility) of the BWT or of the XBW.


title: Non-convergence of proportions of types in a preferential attachment graph with three co-existing types

abstract: We consider the preferential attachment model with multiple vertex types introduced by Antunovi\'c, Mossel and R\'acz. We give an example with three types, based on the game of rock-paper-scissors, where the proportions of vertices of the different types almost surely do not converge to a limit, giving a counterexample to a conjecture of Antunovi\'c, Mossel and R\'acz. We also consider another family of examples where we show that the conjecture does hold.


title: A large probability averaging Theorem for the defocousing NLS

abstract: We consider the nonlinear Schroedinger equation on the one dimensional torus, with a defocousing polynomial nonlinearity and study the dynamics corresponding to initial data in a set of large measure with respect to the Gibbs measure. We prove that along the corresponding solutions the modulus of the Fourier coefficients is approximately constant for times of order $\beta^{2+\varsigma}$, $\beta$ being the inverse of the temperature and $\varsigma$ a positive number (we prove $\varsigma= 1/10$). The proof is obtained by adapting to the context of Gibbs measure for PDEs some tools of Hamiltonian perturbation theory.


title: Checking Deadlock-Freedom of Parametric Component-Based Systems

abstract: We propose an automated method for computing inductive invariants applied to check deadlock-freedom for parametric component-based systems. The method generalizes the approach for computing structural trap invariants from bounded to parametric systems with general architectures. It symbolically extracts trap invariants from a monadic interaction formula characterizing the system architecture. The paper presents the theoretical foundations of the method including new results for the first order monadic logic and proves its soundness. It also provides preliminary illustrations on examples.


title: Statistical Optimality of Stochastic Gradient Descent on Hard Learning Problems through Multiple Passes

abstract: We consider stochastic gradient descent (SGD) for least-squares regression with potentially several passes over the data. While several passes have been widely reported to perform practically better in terms of predictive performance on unseen data, the existing theoretical analysis of SGD suggests that a single pass is statistically optimal. While this is true for low-dimensional easy problems, we show that for hard problems, multiple passes lead to statistically optimal predictions while single pass does not; we also show that in these hard models, the optimal number of passes over the data increases with sample size. In order to define the notion of hardness and show that our predictive performances are optimal, we consider potentially infinite-dimensional models and notions typically associated to kernel methods, namely, the decay of eigenvalues of the covariance matrix of the features and the complexity of the optimal predictor as measured through the covariance matrix. We illustrate our results on synthetic experiments with non-linear kernel methods and on a classical benchmark with a linear model.


title: Extremal domains and P\'{o}lya-type inequalities for the Robin Laplacian on rectangles and unions of rectangles

abstract: We show that eigenvalues of the Robin Laplacian with a positive boundary parameter $\alpha$ on rectangles and unions of rectangtes satisfy P\'{o}lya-type inequalities, albeit with an exponent smaller than that of the corresponding Weyl asympotics for a fixed domain. We determine the optimal exponents in either case, showing that they are different in the two situations. Our approach to proving these results includes a characterisation of the corresponding extremal domains for the $k$th eigenvalue in regions of the $(k,\alpha)$-plane.


title: Carleman estimate for the Schr\"odinger equation and application to magnetic inverse problems

abstract: We prove that the stationary magnetic potential vector and the electrostatic potential entering the dynamic magnetic Schr\"odinger equation can be Lipschitz stably retrieved through finitely many local boundary measurements of the solution. The proof is by means of a specific global Carleman estimate for the Schr\"odinger equation, established in the first part of the paper.


title: Evidence for Incipient Ferroelectricity in YCrO3

abstract: Cubic structure is one of the most commonly found structures for oxides at high temperature. As the temperature is lowered only a handful of these oxides exhibit ferroelectricity which is rather surprising. In this paper, we use the example of YCrO3 (YCO), an incipient ferroelectric material to show that in most oxides there are two competing phenomenon -onset of ferroelectricity due to rotation of CrO6 octahedra and displacement of Y atom leading to suppression of ferroelectricity. This competition reveals that while the octahedral rotations favor a lower symmetry state, the Y atom displacement opposes it leaving YCO to exhibit only an incipient ferroelectric state. These results while being in agreement with the earlier theoretical predictions can also help suggest a pathway to a more stable ferroelectric state in these oxides by using a larger cationic substitution at the Y site.


title: A Double-Deep Spatio-Angular Learning Framework for Light Field based Face Recognition

abstract: Face recognition has attracted increasing attention due to its wide range of applications, but it is still challenging when facing large variations in the biometric data characteristics. Lenslet light field cameras have recently come into prominence to capture rich spatio-angular information, thus offering new possibilities for advanced biometric recognition systems. This paper proposes a double-deep spatio-angular learning framework for light field based face recognition, which is able to learn both texture and angular dynamics in sequence using convolutional representations; this is a novel recognition framework that has never been proposed before for either face recognition or any other visual recognition task. The proposed double-deep learning framework includes a long short-term memory (LSTM) recurrent network whose inputs are VGG-Face descriptions that are computed using a VGG-Very-Deep-16 convolutional neural network (CNN). The VGG-16 network uses different face viewpoints rendered from a full light field image, which are organised as a pseudo-video sequence. A comprehensive set of experiments has been conducted with the IST-EURECOM light field face database, for varied and challenging recognition tasks. Results show that the proposed framework achieves superior face recognition performance when compared to the state-of-the-art.


title: Piecewise constant decision rules via branch-and-bound based scenario detection for integer adjustable robust optimization

abstract: Multi-stage problems with uncertain parameters and integer decisions variables are among the most difficult applications of robust optimization (RO). The challenge in these problems is to find optimal here-and-now decisions, taking into account that the wait-and-see decisions have to adapt to the revealed values of the uncertain parameters. Postek and den Hertog (2016) and Bertsimas and Dunning (2016) propose to solve these problems by constructing piecewise constant decision rules by adaptively partitioning the uncertainty set. The partitions of this set are iteratively updated by separating so-called critical scenarios of the uncertain parameters. Both references present methods for identifying these critical scenarios. However, these methods are most suitable for problems with continuous decision variables and many uncertain constraints. In particular, they are not able to identify informative sets of critical scenarios for integer problems with uncertainty in the objective function only. In this note, we address this shortcoming of existing methods by introducing a general critical scenario detection method for mixed-integer adjustable robust optimization problems that is based on the branch-and-bound tree used to solve the corresponding static problem. Numerical experiments on a route planning problem show that our general-purpose method outperforms the problem-specific approach of Postek and den Hertog (2016).


title: A MHD reverse flow in 90 degree bend

abstract: A two-dimensional flow in a 90 degree bent channel is considered. A magnetic field is uniform and parallel to inlet branch of the channel. A spectral/hp element method was used for liquid motion calculations. Three types of steady flows were detected. It was found that magnetic forces can suppress a pressure gradient and throw out liquid from the inlet, a relatively large reverse flow appears.


title: Homotopy Type of Moduli Spaces of G-Higgs Bundles and Reducibility of the Nilpotent Cone

abstract: Let $G$ be a real reductive Lie group, and $H^{\mathbb{C}}$ the complexification of its maximal compact subgroup $H\subset G$. We consider classes of semistable $G$-Higgs bundles over a Riemann surface $X$ of genus $g\geq2$ whose underlying $H^{\mathbb{C}}$-principal bundle is unstable. This allows us to find obstructions to a deformation retract from the moduli space of $G$-Higgs bundles over $X$ to the moduli space of $H^{\mathbb{C}}$-bundles over $X$, in contrast with the situation when $g=1$, and to show reducibility of the nilpotent cone of the moduli space of $G$-Higgs bundles, for $G$ complex.


title: A Novel High-Rate Polar-Staircase Coding Scheme

abstract: The long-haul communication systems can offer ultra high-speed data transfer rates but suffer from burst errors. The high-rate and high-performance staircase codes provide an efficient way for long-haul transmission. The staircase coding scheme is a concatenation structure, which provides the opportunity to improve the performance of high-rate polar codes. At the same time, the polar codes make the staircase structure more reliable. Thus, a high-rate polar-staircase coding scheme is proposed, where the systematic polar codes are applied as the component codes. The soft cancellation decoding of the systematic polar codes is proposed as a basic ingredient. The encoding of the polar-staircase codes is designed with the help of density evolution, where the unreliable parts of the polar codes are enhanced. The corresponding decoding is proposed with low complexity, and is also optimized for burst error channels. With the well designed encoding and decoding algorithms, the polar-staircase codes perform well on both AWGN channels and burst error channels.


title: Further results on the radio number of trees

abstract: Let $G$ be a finite, connected, undirected graph with diameter $diam(G)$ and $d(u,v)$ denote the distance between $u$ and $v$ in $G$. A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0,1,2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. In this paper, we determine the radio number for three families of trees obtained by taking graph operation on a given tree or a family of trees.


title: Radio number for middle graph of paths

abstract: For a connected graph $G$, let $diam(G)$ and $d(u,v)$ denote the diameter of $G$ and distance between $u$ and $v$ in $G$. A radio labeling of a graph $G$ is a mapping $\varphi : V(G) \rightarrow \{0,1,2,...\}$ such that $|\varphi(u)-\varphi(v)| \geq diam(G) + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$. The span of $\varphi$ is defined as span($\varphi$) = $\max\{|\varphi(u)-\varphi(v)| : u, v \in V(G)\}$. The radio number $rn(G)$ of $G$ is defined as $rn(G)$ = $\min\{$span($\varphi$) : $\varphi$ is a radio labeling of $G\}$. In this paper, we determine the radio number for middle graph of paths.


title: Model-based resonance tracking of linear systems

abstract: The present paper develops recursive algorithms to track shifts in the resonance frequency of linear systems in real time. To date, automatic resonance tracking has been limited to non-model-based approaches, which rely solely on the phase difference between a specific input and output of the system. Instead, we propose a transformation of the system into a complex-valued representation, which allows us to abstract the resonance shifts as an exogenous disturbance acting on the excitation frequency, perturbing the excitation frequency from the natural frequency of the plant. We then discuss the resonance tracking task in two parts: recursively identifying the frequency disturbance and incorporating an update of the excitation frequency in the algorithm. The complex representation of the system simplifies the design of resonance tracking algorithms due to the applicability of well-established techniques. We discuss the stability of the proposed scheme, even in cases that seriously challenge current phase-based approaches, such as nonmonotonic phase differences and multiple-input multiple-output systems. Numerical simulations further demonstrate the performance of the proposed resonance tracking scheme.


title: On some tractable and hard instances for partial incentives and target set selection

abstract: A widely studied model for influence diffusion in social networks are {\it target sets}. For a graph $G$ and an integer-valued threshold function $\tau$ on its vertex set, a {\it target set} or {\it dynamic monopoly} is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $\tau(u)$ neighbors in it eventually yields the entire vertex set of $G$. This notion is limited to the binary choice of including a vertex in the target set or not, and Cordasco et al.~proposed {\it partial incentives} as a variant allowing for intermediate choices. We show that finding optimal partial incentives is hard for chordal graphs and planar graphs but tractable for graphs of bounded treewidth and for interval graphs with bounded thresholds. We also contribute some new results about target set seletion on planar graphs by showing the hardness of this problem, and by describing an efficient $O(\sqrt{n})$-approximation algorithm as well as a PTAS for the dual problem of finding a maximum degenerate set.


title: Tensor correlations in $^4$He and $^8$Be with antisymmetrized quasi cluster model

abstract: In this paper, we extend the framework of improved version of simplified method to take into account the tensor contribution ($i$SMT) and propose AQCM-T, tensor version of antisymmetrized quasi cluster model (AQCM). Although AQCM-T is phenomenological, we can treat the $^3S$-$^3D$ coupling in the deuteron-like $T=0$ $NN$-pair induced by the tensor interaction in a very simplified way, which allows us to proceed to heavier nuclei. Also we propose a new effective interaction, V2m, where the triplet-even channel of the Volkov No.2 interaction is weakened to 60% so as to reproduce the binding energy of $^4$He after including the tensor term of a realistic interaction. Using AQCM-T and the new interaction, the significant tensor contribution in $^4$He is shown, which is almost comparable the central interaction, where $D$-state mixes by 8% to the major $S$-state. The AQCM-T model with the new interaction is also applied to $^8$Be. It is found that the tensor suppression gives significant contribution to the short-range repulsion between two {\alpha} clusters.


title: Submanifolds with constant principal curvatures in symmetric spaces

abstract: We study submanifolds whose principal curvatures, counted with multiplicities, do not depend on the normal direction. Such submanifolds, which we briefly call CPC submanifolds, are always austere, hence minimal, and have constant principal curvatures. Well-known classes of examples include totally geodesic submanifolds, homogeneous austere hypersurfaces, and singular orbits of cohomogeneity one actions. The main purpose of this article is to present a systematic approach to the construction and classification of homogeneous submanifolds whose principal curvatures are independent of the normal direction in irreducible Riemannian symmetric spaces of non-compact type and rank greater than or equal to two. In particular, we provide a large number of new examples of non-totally geodesic CPC submanifolds not coming from cohomogeneity one actions (note that only one example was known previously, namely a particular 11-dimensional submanifold of the Cayley hyperbolic plane).


title: On the Baker-Campbell-Hausdorff Theorem: non-convergence and prolongation issues

abstract: We investigate some topics related to the celebrated Baker-Campbell-Hausdorff Theorem: a non-convergence result and prolongation issues. Given a Banach algebra $\mathcal{A}$ with identity $I$, and given $X,Y\in \mathcal{A}$, we study the relationship of different issues: the convergence of the BCH series $\sum_n Z_n(X,Y)$, the existence of a logarithm of $e^Xe^Y$, and the convergence of the Mercator-type series $\sum_n {(-1)^{n+1}}(e^Xe^Y-I)^n/n$ which provides a selected logarithm of $e^Xe^Y$. We fix general results and, by suitable matrix counterexamples, we show that various pathologies can occur, among which we provide a non-convergence result for the BCH series. This problem is related to some recent results, of interest in physics, on closed formulas for the BCH series: while the sum of the BCH series presents several non-convergence issues, these closed formulas can provide a prolongation for the BCH series when it is not convergent. On the other hand, we show by suitable counterexamples that an analytic prolongation of the BCH series can be singular even if the BCH series itself is convergent.

categories: math-ph cond-mat.stat-mech hep-ph hep-th math.MP math.RA


title: Certified Ordered Completion

abstract: On the one hand, ordered completion is a fundamental technique in equational theorem proving that is employed by automated tools. On the other hand, their complexity makes such tools inherently error prone. As a remedy to this situation we give an Isabelle/HOL formalization of ordered rewriting and completion that comes with a formally verified certifier for ordered completion proofs. By validating generated proof certificates, our certifier increases the reliability of ordered completion tools.


title: Accretion And Propeller Torque In The Spin-down Phase Of Neutron Stars: The Case Of Transitional Millisecond Pulsar PSR J1023+0038

abstract: The spin-down rate of PSR J1023+0038, one of the three confirmed transitional millisecond pulsars, was measured in both radio pulsar (RMSP) and X-ray pulsar (LMXB) states. The spin-down rate in the LMXB state is only about 27 % greater than in the RMSP state (Jaodand et al. 2016). The inner disk radius, r_in, obtained recently by Ertan (2017) for the propeller phase, which is close to the co-rotation radius, r_co, and insensitive to the mass-flow rate, can explain the observed torques together with the X-ray luminosities, Lx . The X-ray pulsar and radio pulsar states correspond to accretion with spin-down (weak propeller) and strong propeller situations respectively. Several times increase in the disk mass-flow rate takes the source from the strong propeller with a low Lx to the weak propeller with a higher Lx powered by accretion on to the star. The resultant decrease in r_in increases the magnetic torque slightly, explaining the observed small increase in the spin-down rate. We have found that the spin-up torque exerted by accreting material is much smaller than the magnetic spin-down torque exerted by the disk in the LMXB state.


title: Character Integral Representation of Zeta function in AdS$_{d+1}$: II. Application to partially-massless higher-spin gravities

abstract: We compute the one-loop free energies of the type-A$_\ell$ and type-B$_\ell$ higher-spin gravities in $(d+1)$-dimensional anti-de Sitter (AdS$_{d+1}$) spacetime. For large $d$ and $\ell$, these theories have a complicated field content, and hence it is difficult to compute their zeta functions using the usual methods. Applying the character integral representation of zeta function developed in the companion paper arXiv:1805.05646 to these theories, we show how the computation of their zeta function can be shortened considerably. We find that the results previously obtained for the massless theories ($\ell=1$) generalize to their partially-massless counterparts (arbitrary $\ell$) in arbitrary dimensions.


title: The Brezis-Nirenberg problem for the fractional Laplacian with mixed Dirichlet-Neumann boundary conditions

abstract: In this work we study the existence of solutions to the critical Brezis-Nirenberg problem when one deals with the spectral fractional Laplace operator and mixed Dirichlet-Neumann boundary conditions, i.e., $$ \left\{\begin{array}{rcl} (-\Delta)^su & = & \lambda u+u^{2_s^*-1},\quad u>0\quad\mbox{in}\quad \Omega,\\ u & = & 0\quad\mbox{on}\quad \Sigma_{\mathcal{D}},\\ \displaystyle\frac{\partial u}{\partial \nu} & = & 0\quad\mbox{on}\quad \Sigma_{\mathcal{N}}, \end{array}\right. $$ where $\Omega\subset\mathbb{R}^N$ is a regular bounded domain, $\frac{1}{2}<s<1$, $2_s^*$ is the critical fractional Sobolev exponent, $0\le\lambda\in \mathbb{R}$, $\nu$ is the outwards normal to $\partial\Omega$, $\Sigma_{\mathcal{D}}$, $\Sigma_{\mathcal{N}}$ are smooth $(N-1)$-dimensional submanifolds of $\partial\Omega$ such that $\Sigma_{\mathcal{D}}\cup\Sigma_{\mathcal{N}}=\partial\Omega$, $\Sigma_{\mathcal{D}}\cap\Sigma_{\mathcal{N}}=\emptyset$, and $\Sigma_{\mathcal{D}}\cap\overline{\Sigma}_{\mathcal{N}}=\Gamma$ is a smooth $(N-2)$-dimensional submanifold of $\partial\Omega$.


title: W 50 and SS 433

abstract: A solution to the problems of collimation and latency in relating the morphology of W 50 to SS 433


title: Irreducible tensor products for alternating groups in characteristic 5

abstract: In this paper we study irreducible tensor products of representations of alternating groups and classify such products in characteristic 5.


title: Fluctuating work in coherent quantum systems: proposals and limitations

abstract: One of the most important goals in quantum thermodynamics is to demonstrate advantages of thermodynamic protocols over their classical counterparts. For that, it is necessary to (i) develop theoretical tools and experimental set-ups to deal with quantum coherence in thermodynamic contexts, and to (ii) elucidate which properties are genuinely quantum in a thermodynamic process. In this short review, we discuss proposals to define and measure work fluctuations that allow to capture quantum interference phenomena. We also discuss fundamental limitations arising due to measurement back-action, as well as connections between work distributions and quantum contextuality. We hope the different results summarised here motivate further research on the role of quantum phenomena in thermodynamics.