title: Helix: Holistic Optimization for Accelerating Iterative Machine Learning

abstract: Machine learning workflow development is a process of trial-and-error: developers iterate on workflows by testing out small modifications until the desired accuracy is achieved. Unfortunately, existing machine learning systems focus narrowly on model training---a small fraction of the overall development time---and neglect to address iterative development. We propose Helix, a machine learning system that optimizes the execution across iterations---intelligently caching and reusing, or recomputing intermediates as appropriate. Helix captures a wide variety of application needs within its Scala DSL, with succinct syntax defining unified processes for data preprocessing, model specification, and learning. We demonstrate that the reuse problem can be cast as a Max-Flow problem, while the caching problem is NP-Hard. We develop effective lightweight heuristics for the latter. Empirical evaluation shows that Helix is not only able to handle a wide variety of use cases in one unified workflow but also much faster, providing run time reductions of up to 19x over state-of-the-art systems, such as DeepDive or KeystoneML, on four real-world applications in natural language processing, computer vision, social and natural sciences.


title: A Combined Chandra and LAMOST Study of Stellar Activity

abstract: We probed stellar X-ray activity over a wide range of stellar parameters, using {\it Chandra} and LAMOST data. We measured the X-ray-to-bolometric luminosity ratio ($R_X = L_X/L_{\rm bol}$) for 484 main-sequence stars, and found a bimodal distribution for G and K types. We interpret this bimodality as evidence of two sub-populations with different coronal temperatures, which are caused by different coronal heating rates. Using the metallicity and velocity information, we find both of the two sub-populations are mostly located in the thin disk. We find no trend of $R_X$ with stellar age for stars older than $\sim$ 4 Gyr; there is a trough in the $R_X$ vs age distribution, with the lowest range of $R_X$ appearing at ages around 2 Gyr. We then examined the correlation between $R_X$ and $R_{\rm H\alpha}$ (proxy of chromospheric activity): we find that the two quantities are well correlated, as found in many earlier studies. Finally, we selected a sample of twelve stars with X-ray flares, and studied the light-curve morphology of the flares. The variety of flare profiles and timescales observed in our sample suggests the contribution of different processes of energy release.


title: Simultaneous X-ray and Infrared Observations of Sagittarius A*'s Variability

abstract: Emission from Sgr A* is highly variable at both X-ray and infrared (IR) wavelengths. Observations over the last ~20 years have revealed X-ray flares that rise above a quiescent thermal background about once per day, while faint X-ray flares from Sgr A* are undetectable below the constant thermal emission. In contrast, the IR emission of Sgr A* is observed to be continuously variable. Recently, simultaneous observations have indicated a rise in IR flux density around the same time as every distinct X-ray flare, while the opposite is not always true (peaks in the IR emission may not be coincident with an X-ray flare). Characterizing the behaviour of these simultaneous X-ray/IR events and measuring any time lag between them can constrain models of Sgr A*'s accretion flow and the flare emission mechanism. Using 100+ hours of data from a coordinated campaign between the Spitzer Space Telescope and the Chandra X-ray Observatory, we present results of the longest simultaneous IR and X-ray observations of Sgr A* taken to date. The cross-correlation between the IR and X-ray light curves in this unprecedented dataset, which includes four modest X-ray/IR flares, indicates that flaring in the X-ray may lead the IR by approximately 10-20 minutes with 68% confidence. However, the 99.7% confidence interval on the time-lag also includes zero, i.e., the flaring remains statistically consistent with simultaneity. Long duration and simultaneous multiwavelength observations of additional bright flares will improve our ability to constrain the flare timing characteristics and emission mechanisms, and must be a priority for Galactic Center observing campaigns.


title: Graphical Regular Logic

abstract: Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free regular category $\mathsf{FRg}(\mathrm{T})$ on a set $\mathrm{T}$. From this point of view, regular theories are certain monoidal 2-functors from a suitable 2-category of contexts---the 2-category of relations in $\mathsf{FRg}(\mathrm{T})$---to the 2-category of posets. Such functors assign to each context the set of formulas in that context, ordered by entailment. We refer to such a 2-functor as a regular calculus because it naturally gives rise to a graphical string diagram calculus in the spirit of Joyal and Street. Our key aim to prove that the category of regular categories is essentially reflective in that of regular calculi. Along the way, we demonstrate how to use this graphical calculus.


title: Analytic Expression for Magnetic Activation Energy

abstract: We theoretically investigate the magnetic activation energy of permanent magnets. Practically, it is widely used in a phenomenological form as $\mathcal{F}_\mathrm{B}(H_\mathrm{ext})=\mathcal{F}_\mathrm{B}^0\left(1-H_\mathrm{ext}/H_0\right)^n,$ where $\mathcal{F}_\mathrm{B}^0$ is the activation energy in the absence of an external magnetic field $H_\mathrm{ext}$, $n$ is a real parameter, and $H_0$ is defined by the equation $\mathcal{F}_\mathrm{B}(H_0)=0$. We derive the general and direct expressions for these phenomenological parameters under the restriction of uniform rotation of magnetization and on the basis of the perturbative theory with respect to $H_\mathrm{ext}$. Further,we apply our results to Nd$_2$Fe$_{14}$B magnets and confirm the validity of the proposed method by comparing with the Monte Carlo calculations.


title: Using Detailed Access Trajectories for Learning Behavior Analysis

abstract: Student learning activity in MOOCs can be viewed from multiple perspectives. We present a new organization of MOOC learner activity data at a resolution that is in between the fine granularity of the clickstream and coarse organizations that count activities, aggregate students or use long duration time units. A detailed access trajectory (DAT) consists of binary values and is two dimensional with one axis that is a time series, e.g. days and the other that is a chronologically ordered list of a MOOC component type's instances, e.g. videos in instructional order. Most popular MOOC platforms generate data that can be organized as detailed access trajectories (DATs).We explore the value of DATs by conducting four empirical mini-studies. Our studies suggest DATs contain rich information about students' learning behaviors and facilitate MOOC learning analyses.


title: Fluctuations of the solutions to the KPZ equation in dimensions three and higher

abstract: We prove, using probabilistic techniques and analysis on the Wiener space, that the large scale fluctuations of the KPZ equation in $d\geq 3$ with a small coupling constant, driven by a white in time and colored in space noise, are given by the Edwards-Wilkinson model. This gives an alternative proof, that avoids perturbation expansions, to the results of Magnen and Unterberger \cite{magnen2017diffusive}.


title: Bose-Einstein condensation of dilute alpha clusters above four $\alpha$ threshold in $^{16}$O in field theoretical superfluid cluster model

abstract: Observed well-developed $\alpha$ cluster states in $^{16}$O, located above the four $\alpha$ threshold, are investigated from the viewpoint of Bose-Einstein condensation of $\alpha$ clusters by using a field-theoretical superfluid cluster model in which the order parameter is defined. The experimental energy levels are reproduced well for the first time by calculation. In particular, the observed 16.7 MeV $0_7^+$ and 18.8 MeV $0_8^+$ states with low-excitation energies from the threshold are found to be understood as a manifestation of the states of the Nambu-Goldstone zero-mode operators, associated with the spontaneous symmetry breaking of the global phase, which is caused by the Bose-Einstein condensation of the vacuum 15.1 MeV $0^+_6$ state with a dilute well-developed $\alpha$ cluster structure just above the threshold. This gives evidence of the existence of the Bose-Einstein condensate of $\alpha$ clusters in $^{16}$O. It is found that the emergence of the energy level structure with a well-developed $\alpha$ cluster structure above the threshold is robust, almost independently of the condensation rate of $\alpha$ clusters under significant condensation rate. The finding of the mechanism why the level structure that is similar to $^{12}$C emerges above the four $\alpha$ threshold in $^{16}$O reinforces the concept of Bose-Einstein condensation of $\alpha$ clusters in addition to $^{12}$C.


title: Action Machine: Rethinking Action Recognition in Trimmed Videos

abstract: Existing methods in video action recognition mostly do not distinguish human body from the environment and easily overfit the scenes and objects. In this work, we present a conceptually simple, general and high-performance framework for action recognition in trimmed videos, aiming at person-centric modeling. The method, called Action Machine, takes as inputs the videos cropped by person bounding boxes. It extends the Inflated 3D ConvNet (I3D) by adding a branch for human pose estimation and a 2D CNN for pose-based action recognition, being fast to train and test. Action Machine can benefit from the multi-task training of action recognition and pose estimation, the fusion of predictions from RGB images and poses. On NTU RGB-D, Action Machine achieves the state-of-the-art performance with top-1 accuracies of 97.2% and 94.3% on cross-view and cross-subject respectively. Action Machine also achieves competitive performance on another three smaller action recognition datasets: Northwestern UCLA Multiview Action3D, MSR Daily Activity3D and UTD-MHAD. Code will be made available.


title: Quantum supergroups VI. Roots of $1$

abstract: A quantum covering group is an algebra with parameters $q$ and $\pi$ subject to $\pi^2=1$ and it admits an integral form; it specializes to the usual quantum group at $\pi=1$ and to a quantum supergroup of anisotropic type at $\pi=-1$. In this paper we establish the Frobenius-Lusztig homomorphism and Lusztig-Steinberg tensor product theorem in the setting of quantum covering groups at roots of 1. The specialization of these constructions at $\pi=1$ recovers Lusztig's constructions for quantum groups at roots of 1.


title: A Polarization Multiplexed Carrier based Coherent Link with Adaptive Polarization Control

abstract: Transmitting polarization multiplexed carrier makes the receiver of a coherent system local oscillator-less and frequency offset-free. A polarization multiplexed carrier based self-homodyne (PMC-SH) system with an adaptive polarization control (PC) can replace pulse amplitude modulation (PAM- 4) data center interconnects. An adaptive PC technique is practically implemented by using an electrically controlled PC along-with control circuitry for PMC-SH systems. The de-multiplexing of the carrier and the modulated signal by using this technique is validated through simulations for a 50 Gbaud PMC-SH quadrature phase shift keying (QPSK) system with 20km standard single mode fiber (SSMF). We successfully demonstrate 16 Gbaud PMC-SH systems with adaptive PC for 10km SSMF channel. A bit error rate (BER) of 5.9 x 10^(-5) is achieved with 32 Gb/s PMC-SHQPSK system without any signal processing while a BER of 8.7 x 10^(-3) is achieved with a 64 Gb/s PMC-SH quadrature amplitude modulation (16QAM) system after equalization.


title: Re-Acceleration of Fossil Electrons by Shocks Encountering Hot Bubbles in the Outskirts of Galaxy Clusters

abstract: Galaxy clusters are known to host many active galaxies (AGNs) with radio jets, which could expand to form radio bubbles with relativistic electrons in the intracluster medium (ICM). It has been suggested that fossil relativistic electrons contained in remnant bubbles from extinct radio galaxies can be re-accelerated to radio-emitting energies by merger-driven shocks via diffusive shock acceleration (DSA), leading to the birth of radio relics detected in clusters. In this study we assume that such bubble consist primarily of thermal gas entrained from the surrounding medium and dynamically-insignificant amounts of relativistic electrons. We also consider several realistic models for magnetic fields in the cluster outskirts, including the ICM field that scales with the gas density as $B_{\rm ICM}\propto n_{\rm ICM}^{0.5}$. Then we perform time-dependent DSA simulations of a spherical shock that runs into a lower-density but higher-temperature bubble with the ratio $n_{\rm b}/n_{\rm ICM} \approx T_{\rm ICM}/T_{\rm b}\approx 0.5$. We find that inside the bubble the shock speed increases by about 20 \%, but the Mach number decreases by about 15\% in the case under consideration. In this re-acceleration model, the observed properties of a radio relic such as radio flux, spectral index, and integrated spectrum would be governed mainly by the presence of seed relativistic electrons and the magnetic field profile as well as shock dynamics. Thus it is crucial to understand how fossil electrons are deposited by AGNs in the ICM and how the downstream magnetic field evolves behind the shock in detailed modeling of radio relics.


title: Don't Classify, Translate: Multi-Level E-Commerce Product Categorization Via Machine Translation

abstract: E-commerce platforms categorize their products into a multi-level taxonomy tree with thousands of leaf categories. Conventional methods for product categorization are typically based on machine learning classification algorithms. These algorithms take product information as input (e.g., titles and descriptions) to classify a product into a leaf category. In this paper, we propose a new paradigm based on machine translation. In our approach, we translate a product's natural language description into a sequence of tokens representing a root-to-leaf path in a product taxonomy. In our experiments on two large real-world datasets, we show that our approach achieves better predictive accuracy than a state-of-the-art classification system for product categorization. In addition, we demonstrate that our machine translation models can propose meaningful new paths between previously unconnected nodes in a taxonomy tree, thereby transforming the taxonomy into a directed acyclic graph (DAG). We discuss how the resultant taxonomy DAG promotes user-friendly navigation, and how it is more adaptable to new products.


title: A Method for Low Complexity Successive Cancellation List Decoding of Polar Codes

abstract: Polar codes have attracted a lot of attention during past few years and have been adopted as a coding scheme for 5G standard. Successive-cancellation list (SCL) decoder provides high level error-correction performance for polar codes, but the implementation complexity grows rapidly with the increase of the list size. Since the computation cost of sorting, many works focus on reducing the sorting complexity for SCL decoder. In this paper, we propose a method for SCL which directly reduce the number of input elements of sorting network without performance loss. Compared with SCL decoder, the proposed method has up to 95\% less sorter size on average, and the performance loss is negligible.


title: Monitoring Informed Testing for IoT

abstract: Internet of Things (IoT) systems continuously collect a large amount of data from heterogeneous "smart objects" through standardised service interfaces. A key challenge is how to use these data and relevant event logs to construct continuously adapted usage profiles and apply them to enhance testing methods, i.e., prioritization of tests for the testing of continuous integration of an IoT system. In addition, these usage profiles provide relevance weightings to analyse architecture and behaviour of the system. Based on the analysis, testing methods can predict specific system locations that are susceptible to error, and therefore suggest where expanded runtime monitoring is necessary. Furthermore, IoT aims to connect billions of "smart devices" over the network. Testing even a small IoT system connecting a few dozens of smart devices would require a network of test Virtual Machines (VMs) possibly spreading across the Fog and the Cloud. In this paper we propose a framework for testing of each IoT layer in a separate VM environment, and discuss potential difficulties with optimal VM allocation.


title: Numerical convergence of simulations of galaxy formation: the abundance and internal structure of cold dark matter haloes

abstract: We study the impact of numerical parameters on the properties of cold dark matter haloes formed in collisionless cosmological simulations. We quantify convergence in the median spherically-averaged circular velocity profiles for haloes of widely varying particle number, as well as in the statistics of their structural scaling relations and mass functions. In agreement with prior work focused on single haloes, our results suggest that cosmological simulations yield robust halo properties for a wide range of gravitational softening parameters, $\epsilon$, provided: 1) $\epsilon$ is not larger than a "convergence radius", $r_{\rm conv}$, which is dictated by 2-body relaxation and determined by particle number, and 2) a sufficient number of timesteps are taken to accurately resolve particle orbits with short dynamical times. Provided these conditions are met, median circular velocity profiles converge to within $\approx 10$ per cent for radii beyond which the local 2-body relaxation timescale exceeds the Hubble time by a factor $\kappa\equiv t_{\rm relax}/t_{\rm H}\gt 0.177$, with better convergence attained for higher $\kappa$. We provide analytic estimates of $r_{\rm conv}$ that build on previous attempts in two ways: first, by highlighting its explicit (but weak) softening-dependence and, second, by providing a simpler criterion in which $r_{\rm conv}$ is determined entirely by the mean inter-particle spacing, $l$; for example, better than $10$ per cent convergence in circular velocity for $r\gt 0.05\,l$. We show how these analytic criteria can be used to assess convergence in structural scaling relations for dark matter haloes as a function of their mass or maximum circular speed.


title: A Trivial Yet Optimal Solution to Vertex Fault Tolerant Spanners

abstract: We give a short and easy upper bound on the worst-case size of fault tolerant spanners, which improves on all prior work and is fully optimal at least in the setting of vertex faults.


title: Hybrid quantum-classical simulation of quantum speed limits in open quantum systems

abstract: The quantum speed limit (QSL) provides a fundamental upper bound on the speed of quantum evolution, but its evaluation in generic open quantum systems still presents a formidable computational challenge. Herein, we introduce a hybrid quantum-classical method for computing QSL times in multi-level open quantum systems. The method is based on a mixed Wigner-Heisenberg representation of the composite quantum dynamics, in which the open subsystem of interest is treated quantum mechanically and the bath is treated in a classical-like fashion. By solving a set of coupled first-order deterministic differential equations for the quantum and classical degrees of freedom, one can compute the QSL time. To demonstrate the utility of the method, we study the unbiased spin-boson model and provide a detailed analysis of the effect of the subsystem-bath coupling strength and bath temperature on the QSL time. In particular, we find a turnover of the QSL time in the strong coupling regime, which is indicative of a speed-up in the quantum evolution. We also apply the method to the Fenna- Matthews-Olson complex model and identify a potential connection between the QSL time and the efficiency of the excitation energy transfer at different temperatures.


title: Can a flux-based mechanism explain positioning of protein clusters in a three-dimensional cell geometry?

abstract: The plane of bacterial cell division must be precisely positioned. In the bacterium Myxococcus xanthus, the proteins PomX and PomY form a large cluster, which is tethered to the nucleoid by the ATPase PomZ and moves in a stochastic, but biased manner towards midcell, where it initiates cell division. Previously, a positioning mechanism based on the fluxes of PomZ on the nucleoid was proposed. However, the cluster dynamics was analyzed in a reduced, one-dimensional geometry. Here we introduce a mathematical model that accounts for the three-dimensional shape of the nucleoid, such that nucleoid-bound PomZ dimers can diffuse past the cluster without interacting with it. Using stochastic simulations, we find that the cluster still moves to and localizes at midcell. Redistribution of PomZ by diffusion in the cytosol is essential for this cluster dynamics. Our mechanism also positions two clusters equidistantly on the nucleoid. We conclude that a flux-based mechanism allows for cluster positioning in a biologically realistic three-dimensional cell geometry.


title: Denoising Weak Lensing Mass Maps with Deep Learning

abstract: Weak gravitational lensing is a powerful probe of the large-scale cosmic matter distribution. Wide-field galaxy surveys allow us to generate the so-called weak lensing maps, but actual observations suffer from noise due to imperfect measurement of galaxy shape distortions and to the limited number density of the source galaxies. In this paper, we explore a deep-learning approach to reduce the noise. We develop an image-to-image translation method with conditional adversarial networks (CANs), which learn efficient mapping from an input noisy weak lensing map to the underlying noise field. We train the CANs using $30000$ image pairs obtained from $1000$ ray-tracing simulations of weak gravitational lensing. We show that the trained CANs reproduce the true one-point probability distribution function (PDF) of the noiseless lensing map with a bias less than $1\sigma$ on average, where $\sigma$ is the statistical error. We perform a Fisher analysis to make forecast for cosmological parameter inference with the one-point lensing PDF. By our denoising method using CANs, the first derivative of the PDF with respect to the cosmic mean matter density and the amplitude of the primordial curvature perturbations becomes larger by $\sim50\%$. This allows us to improve the cosmological constraints by $\sim30-40\%$ with using observational data from ongoing and upcoming galaxy imaging surveys.


title: Pseudo-rotations vs. Rotations

abstract: Continuing the study of Hamiltonian pseudo-rotations of projective spaces, we focus on the conjecture that the fixed-point data set (the actions and the linearized flows at one-periodic orbits) of a pseudo-rotation exactly matches that data for a suitable unique true rotation even though the two maps can have very different dynamics. We prove this conjecture in several instances, e.g., for strongly non-degenerate pseudo-rotations of ${{\mathbb C}{\mathbb P}}^2$ with some notable exceptions, which we call ghost pseudo-rotations. The existence of ghost pseudo-rotations is a completely open question. The conjecture is closely related to the properties of the action and index spectra of pseudo-rotations, and ghost pseudo-rotations, if they exist, satisfy all known restrictions on the fixed-point data for pseudo-rotations but these data are distinctly different from the data for any rotation. The main new ingredient of the proofs is purely combinatorial and of independent interest. This is the index divisibility theorem connecting the divisibility properties of the Conley--Zehnder index sequence for the iterates of a map with the properties of its spectrum.


title: Local Well-Posedness for Generalized Semilinear Black-Scholes Equations

abstract: We consider some parabolic equations which are model problems for a variety of nonlinear generalizations to the Black-Scholes equation of mathematical finance. In particular, we prove local well-posedness for the Cauchy problem with initial data in $L^{p}$ spaces.


title: PointPillars: Fast Encoders for Object Detection from Point Clouds

abstract: Object detection in point clouds is an important aspect of many robotics applications such as autonomous driving. In this paper we consider the problem of encoding a point cloud into a format appropriate for a downstream detection pipeline. Recent literature suggests two types of encoders; fixed encoders tend to be fast but sacrifice accuracy, while encoders that are learned from data are more accurate, but slower. In this work we propose PointPillars, a novel encoder which utilizes PointNets to learn a representation of point clouds organized in vertical columns (pillars). While the encoded features can be used with any standard 2D convolutional detection architecture, we further propose a lean downstream network. Extensive experimentation shows that PointPillars outperforms previous encoders with respect to both speed and accuracy by a large margin. Despite only using lidar, our full detection pipeline significantly outperforms the state of the art, even among fusion methods, with respect to both the 3D and bird's eye view KITTI benchmarks. This detection performance is achieved while running at 62 Hz: a 2 - 4 fold runtime improvement. A faster version of our method matches the state of the art at 105 Hz. These benchmarks suggest that PointPillars is an appropriate encoding for object detection in point clouds.


title: Deep Active Learning for Video-based Person Re-identification

abstract: It is prohibitively expensive to annotate a large-scale video-based person re-identification (re-ID) dataset, which makes fully supervised methods inapplicable to real-world deployment. How to maximally reduce the annotation cost while retaining the re-ID performance becomes an interesting problem. In this paper, we address this problem by integrating an active learning scheme into a deep learning framework. Noticing that the truly matched tracklet-pairs, also denoted as true positives (TP), are the most informative samples for our re-ID model, we propose a sampling criterion to choose the most TP-likely tracklet-pairs for annotation. A view-aware sampling strategy considering view-specific biases is designed to facilitate candidate selection, followed by an adaptive resampling step to leave out the selected candidates that are unnecessary to annotate. Our method learns the re-ID model and updates the annotation set iteratively. The re-ID model is supervised by the tracklets' pesudo labels that are initialized by treating each tracklet as a distinct class. With the gained annotations of the actively selected candidates, the tracklets' pesudo labels are updated by label merging and further used to re-train our re-ID model. While being simple, the proposed method demonstrates its effectiveness on three video-based person re-ID datasets. Experimental results show that less than 3\% pairwise annotations are needed for our method to reach comparable performance with the fully-supervised setting.


title: Low-rank Matrix Completion in a General Non-orthogonal Basis

abstract: This paper considers theoretical analysis of recovering a low rank matrix given a few expansion coefficients with respect to any basis. The current approach generalizes the existing analysis for the low-rank matrix completion problem with sampling under entry sensing or with respect to a symmetric orthonormal basis. The analysis is based on dual certificates using a dual basis approach and does not assume the restricted isometry property (RIP). We introduce a condition on the basis called the correlation condition. This condition can be computed in time $O(n^3)$ and holds for many cases of deterministic basis where RIP might not hold or is NP hard to verify. If the correlation condition holds and the underlying low rank matrix obeys the coherence condition with parameter $\nu$, under additional mild assumptions, our main result shows that the true matrix can be recovered with very high probability from $O(nr\nu\log^2n)$ uniformly random expansion coefficients.


title: An introduction to FITSWebQL

abstract: The JVO ALMA WebQL web service - available through the JVO ALMA FITS archive - has been upgraded to include legacy data from other telescopes, for example Nobeyama NRO45M in Japan. The updated server software has been renamed FITSWebQL. In addition, a standalone desktop version supporting Linux, macOS and Windows 10 Linux Subsystem (Bash on Windows) is also available for download from http://jvo.nao.ac.jp/~chris/ . The FITSWebQL server enables viewing of even 100GB-large FITS files in a web browser running on a PC with a limited amount of RAM. Users can interactively zoom-in to selected areas of interest with the corresponding frequency spectrum being calculated on the server in near real-time. The client (a browser) is a JavaScript application built on WebSockets, HTML5, WebGL and SVG. There are many challenges when providing a web browser-based real-time FITS data cube preview service over high-latency low-bandwidth network connections. The upgraded version tries to overcome the latency issue by predicting user mouse movements with a Kalman Filter in order to speculatively deliver the real-time spectrum data at a point where the user is likely to be looking at. The new version also allows one to view multiple FITS files simultaneously in an RGB composite mode (NRO45M FUGIN only), where each dataset is assigned one RGB channel to form a colour image. Spectra from multiple FITS cubes are shown together too. The paper briefly describes main features of FITSWebQL. We also touch on some of the recent developments, such as an experimental switch from C/C++ to Rust (see https://www.rust-lang.org/) for improved stability, better memory management and fearless concurrency, or attempts to display FITS data cubes in the form of interactive on-demand video streams in a web browser.


title: AU R-CNN: Encoding Expert Prior Knowledge into R-CNN for Action Unit Detection

abstract: Detecting action units (AUs) on human faces is challenging because various AUs make subtle facial appearance change over various regions at different scales. Current works have attempted to recognize AUs by emphasizing important regions. However, the incorporation of expert prior knowledge into region definition remains under-exploited, and current AU detection approaches do not use regional convolutional neural networks (R-CNN) with expert prior knowledge to directly focus on AU-related regions adaptively. By incorporating expert prior knowledge, we propose a novel R-CNN based model named AU R-CNN. The proposed solution offers two main contributions: (1) AU R-CNN directly observes different facial regions, where various AUs are located. Specifically, we define an AU partition rule which encodes the expert prior knowledge into the region definition and RoI-level label definition. This design produces considerably better detection performance than existing approaches. (2) We integrate various dynamic models (including convolutional long short-term memory, two stream network, conditional random field, and temporal action localization network) into AU R-CNN and then investigate and analyze the reason behind the performance of dynamic models. Experiment results demonstrate that \textit{only} static RGB image information and no optical flow-based AU R-CNN surpasses the one fused with dynamic models. AU R-CNN is also superior to traditional CNNs that use the same backbone on varying image resolutions. State-of-the-art recognition performance of AU detection is achieved. The complete network is end-to-end trainable. Experiments on BP4D and DISFA datasets show the effectiveness of our approach. The implementation code is available online.


title: Spaces of abelian differentials and Hitchin's spectral covers

abstract: Using the embedding of the moduli space of generalized GL(n) Hitchin's spectral covers to the moduli space of meromorphic abelian differentials we study the variational formulae of the period matrix, the canonical bidifferential, the prime form and the Bergman tau function. This leads to residue formulae which generalize the Donagi-Markman formula for variations of the period matrix. Computation of second derivatives of the period matrix reproduces the formula derived by Baraglia and Zhenxi Huang using the framework of topological recursion.


title: Numerical Implementation of Gauge-Fixed Fourier Acceleration

abstract: In hybrid Monte Carlo evolution, by imposing a physical gauge condition, simple Fourier acceleration can be used to generate conjugate momenta and potentially reduce critical slowing down. This modified gauge evolution algorithm does not change the gauge-independent properties of the resulting gauge field configurations. We describe this algorithm and it numerical implementation.


title: $n$-absorbing monomial ideals in polynomial rings

abstract: In a commutative ring $R$ with unity, given an ideal $I$ of $R$, Anderson and Badawi in 2011 introduced the invariant $\omega(I)$, which is the minimal integer $n$ for which $I$ is an $n$-absorbing ideal of $R$. In the specific case that $R = k[x_{1}, \ldots, x_{n}]$ is a polynomial ring over a field $k$ in $n$ variables $x_{1},\ldots, x_{n}$, we calculate $\omega(I)$ for certain monomial ideals $I$ of $R$.


title: Making Sense of Random Forest Probabilities: a Kernel Perspective

abstract: A random forest is a popular tool for estimating probabilities in machine learning classification tasks. However, the means by which this is accomplished is unprincipled: one simply counts the fraction of trees in a forest that vote for a certain class. In this paper, we forge a connection between random forests and kernel regression. This places random forest probability estimation on more sound statistical footing. As part of our investigation, we develop a model for the proximity kernel and relate it to the geometry and sparsity of the estimation problem. We also provide intuition and recommendations for tuning a random forest to improve its probability estimates.


title: Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing

abstract: Deep neural networks (DNN) have been shown to be useful in a wide range of applications. However, they are also known to be vulnerable to adversarial samples. By transforming a normal sample with some carefully crafted human imperceptible perturbations, even highly accurate DNN make wrong decisions. Multiple defense mechanisms have been proposed which aim to hinder the generation of such adversarial samples. However, a recent work show that most of them are ineffective. In this work, we propose an alternative approach to detect adversarial samples at runtime. Our main observation is that adversarial samples are much more sensitive than normal samples if we impose random mutations on the DNN. We thus first propose a measure of `sensitivity' and show empirically that normal samples and adversarial samples have distinguishable sensitivity. We then integrate statistical hypothesis testing and model mutation testing to check whether an input sample is likely to be normal or adversarial at runtime by measuring its sensitivity. We evaluated our approach on the MNIST and CIFAR10 datasets. The results show that our approach detects adversarial samples generated by state-of-the-art attacking methods efficiently and accurately.


title: The Entropy of Artificial Intelligence and a Case Study of AlphaZero from Shannon's Perspective

abstract: The recently released AlphaZero algorithm achieves superhuman performance in the games of chess, shogi and Go, which raises two open questions. Firstly, as there is a finite number of possibilities in the game, is there a quantifiable intelligence measurement for evaluating intelligent systems, e.g. AlphaZero? Secondly, AlphaZero introduces sophisticated reinforcement learning and self-play to efficiently encode the possible states, is there a simple information-theoretic model to represent the learning process and offer more insights in fostering strong AI systems? This paper explores the above two questions by proposing a simple variance of Shannon's communication model, the concept of intelligence entropy and the Unified Intelligence-Communication Model is proposed, which provide an information-theoretic metric for investigating the intelligence level and also provide an bound for intelligent agents in the form of Shannon's capacity, namely, the intelligence capacity. This paper then applies the concept and model to AlphaZero as a case study and explains the learning process of intelligent agent as turbo-like iterative decoding, so that the learning performance of AlphaZero may be quantitatively evaluated. Finally, conclusions are provided along with theoretical and practical remarks.


title: Guaranteed satisficing and finite regret: Analysis of a cognitive satisficing value function

abstract: As reinforcement learning algorithms are being applied to increasingly complicated and realistic tasks, it is becoming increasingly difficult to solve such problems within a practical time frame. Hence, we focus on a \textit{satisficing} strategy that looks for an action whose value is above the aspiration level (analogous to the break-even point), rather than the optimal action. In this paper, we introduce a simple mathematical model called risk-sensitive satisficing ($RS$) that implements a satisficing strategy by integrating risk-averse and risk-prone attitudes under the greedy policy. We apply the proposed model to the $K$-armed bandit problems, which constitute the most basic class of reinforcement learning tasks, and prove two propositions. The first is that $RS$ is guaranteed to find an action whose value is above the aspiration level. The second is that the regret (expected loss) of $RS$ is upper bounded by a finite value, given that the aspiration level is set to an "optimal level" so that satisficing implies optimizing. We confirm the results through numerical simulations and compare the performance of $RS$ with that of other representative algorithms for the $K$-armed bandit problems.


title: AdaFlow: Domain-Adaptive Density Estimator with Application to Anomaly Detection and Unpaired Cross-Domain Translation

abstract: We tackle unsupervised anomaly detection (UAD), a problem of detecting data that significantly differ from normal data. UAD is typically solved by using density estimation. Recently, deep neural network (DNN)-based density estimators, such as Normalizing Flows, have been attracting attention. However, one of their drawbacks is the difficulty in adapting them to the change in the normal data's distribution. To address this difficulty, we propose AdaFlow, a new DNN-based density estimator that can be easily adapted to the change of the distribution. AdaFlow is a unified model of a Normalizing Flow and Adaptive Batch-Normalizations, a module that enables DNNs to adapt to new distributions. AdaFlow can be adapted to a new distribution by just conducting forward propagation once per sample; hence, it can be used on devices that have limited computational resources. We have confirmed the effectiveness of the proposed model through an anomaly detection in a sound task. We also propose a method of applying AdaFlow to the unpaired cross-domain translation problem, in which one has to train a cross-domain translation model with only unpaired samples. We have confirmed that our model can be used for the cross-domain translation problem through experiments on image datasets.


title: Supplement to Neuschel's paper "Asymptotics for M\'enage polynomials and certain hypergeometric polynomials of type ${}_3 F_1$"

abstract: In an article that appeared in Journal of Approximation Theory, Neuschel investigated the asymptotic expansion of certain hypergeometric polynomials of type ${}_3 F_1$ inside and outside a closed curve. We supplement this result by studying a subfamily of those polynomials on a part of the closed curve.


title: Anisotropic magnetic properties and giant rotating magnetocaloric effect in double-perovskite Tb2CoMnO6

abstract: We investigated the anisotropy of the magnetic and magnetocaloric properties of singlecrystalline double perovskite Tb2CoMnO6, which crystallizes in a monoclinic P21/n structure. Due to dissimilar magnetic anisotropy, the ferromagnetic order of the Co2+ and Mn4+ moments emerges along the c-axis at TC = 100 K, and the larger Tb3+ moments align perpendicular to the c-axis, below TTb = 15 K. The intricate temperature development of the metamagnetism along the c-axis results in a large negative change in the magnetic entropy at low temperature. On the other hand, the larger but almost reversible magnetization, perpendicular to the c-axis, results in a small and positive entropy change. This highly anisotropic magnetocaloric effect (MCE) leads to a giant rotational MCE, estimated to be 20.8 J/kg K. Our findings, based on the magnetic anisotropy in Tb2CoMnO6, enrich fundamental and applied research on magnetic materials, considering the distinct magnetic characteristics of double perovskites.


title: A note on Fick's law with phase transitions

abstract: We characterize the non equilibrium stationary states in two classes of systems where phase transitions are present. We prove that the interface in the limit is a plane which separates the two phases.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Observation of $\psi(3686) \to p \bar{p} \eta^{\prime}$ and improved measurement of $J/\psi \to p \bar{p} \eta^{\prime}$

abstract: We observe the process $\psi(3686) \to p \bar{p} \eta^{\prime}$ for the first time, with a statistical significance higher than 10$\sigma$, and measure the branching fraction of $J/\psi \to p \bar{p} \eta^{\prime}$ with an improved accuracy compared to earlier studies. The measurements are based on $4.48 \times 10^8$ $\psi(3686)$ and $1.31 \times 10^{9}$ $J/\psi$ events collected by the BESIII detector operating at the BEPCII. The branching fractions are determined to be $B(\psi(3686) \to p \bar{p} \eta^{\prime}) = (1.10\pm0.10\pm0.08)\times10^{-5}$ and $B(J/\psi \to p \bar{p} \eta^{\prime})=(1.26\pm0.02\pm 0.07)\times10^{-4}$, where the first uncertainties are statistical and the second ones systematic. Additionally, the $\eta-\eta^{\prime}$ mixing angle is determined to be $-24^{\circ} \pm 11^{\circ}$ based on $\psi(3686) \to p \bar{p} \eta^{\prime}$, and $-24^{\circ} \pm 9^{\circ}$ based on $J/\psi \to p \bar{p} \eta^{\prime}$, respectively.


title: BPS Hall Algebra of Scattering Hall States

abstract: Starting with a very pedestrian point of view we compare two different at the first glance definitions for an algebra associated to BPS states in supersymmetric fields theories. One proposed by Harvey and Moore exploits $S$-matrices of BPS states as structure constants of a new algebra. Another one proposed by Kontsevich and Soibelman gives a construction according to the structure of cohomological Hall algebras. We show these two constructions give equivalent algebras.


title: Pyramid Network with Online Hard Example Mining for Accurate Left Atrium Segmentation

abstract: Accurately segmenting left atrium in MR volume can benefit the ablation procedure of atrial fibrillation. Traditional automated solutions often fail in relieving experts from the labor-intensive manual labeling. In this paper, we propose a deep neural network based solution for automated left atrium segmentation in gadolinium-enhanced MR volumes with promising performance. We firstly argue that, for this volumetric segmentation task, networks in 2D fashion can present great superiorities in time efficiency and segmentation accuracy than networks with 3D fashion. Considering the highly varying shape of atrium and the branchy structure of associated pulmonary veins, we propose to adopt a pyramid module to collect semantic cues in feature maps from multiple scales for fine-grained segmentation. Also, to promote our network in classifying the hard examples, we propose an Online Hard Negative Example Mining strategy to identify voxels in slices with low classification certainties and penalize the wrong predictions on them. Finally, we devise a competitive training scheme to further boost the generalization ability of networks. Extensively verified on 20 testing volumes, our proposed framework achieves an average Dice of 92.83% in segmenting the left atria and pulmonary veins.


title: Performance of SOI Pixel Sensors Developed for X-ray Astronomy

abstract: We have been developing monolithic active pixel sensors for X-rays based on the silicon-on-insulator technology. Our device consists of a low-resistivity Si layer for readout CMOS electronics, a high-resistivity Si sensor layer, and a SiO$_2$ layer between them. This configuration allows us both high-speed readout circuits and a thick (on the order of $100~\mu{\rm m}$) depletion layer in a monolithic device. Each pixel circuit contains a trigger output function, with which we can achieve a time resolution of $\lesssim 10~\mu{\rm s}$. One of our key development items is improvement of the energy resolution. We recently fabricated a device named XRPIX6E, to which we introduced a pinned depleted diode (PDD) structure. The structure reduces the capacitance coupling between the sensing area in the sensor layer and the pixel circuit, which degrades the spectral performance. With XRPIX6E, we achieve an energy resolution of $\sim 150$~eV in full width at half maximum for 6.4-keV X-rays. In addition to the good energy resolution, a large imaging area is required for practical use. We developed and tested XRPIX5b, which has an imaging area size of $21.9~{\rm mm} \times 13.8~{\rm mm}$ and is the largest device that we ever fabricated. We successfully obtain X-ray data from almost all the $608 \times 384$ pixels with high uniformity.


title: Data Provenance for Sport

abstract: Data analysts often discover irregularities in their underlying dataset, which need to be traced back to the original source and corrected. Standards for representing data provenance (i.e. the origins of the data), such as the W3C PROV standard, can assist with this process, however require a mapping between abstract provenance concepts and the domain of use in order to apply them effectively. We propose a custom notation for expressing provenance of information in the sport performance analysis domain, and map our notation to concepts in the W3C PROV standard where possible. We evaluate the functionality of W3C PROV (without specialisations) and the VisTrails workflow manager (without extensions), and find that as is, neither are able to fully capture sport performance analysis workflows, notably due to limitations surrounding capture of automated and manual activities respectively. Furthermore, their notations suffer from ineffective use of visual design space, and present potential usability issues as their terminology is unlikely to match that of sport practitioners. Our findings suggest that one-size-fits-all provenance and workflow systems are a poor fit in practice, and that their notation and functionality need to be optimised for the domain of use.


title: Superheavy Elements: Beyond the 7th Period in the Periodic Table

abstract: What is the heaviest element? In order to address this question, the elements up to $Z=118$ have been synthesized by now by using heavy-ion fusion reactions. This has completed the 7th period in the periodic table of elements, and new attempts have been commenced in aiming at syntheses of the elements in the 8th period. In this article, we review the current status and future challenges in the research field of superheavy elements, putting some emphasis on perspectives from the nuclear reaction theory.


title: A Self-Supervised Bootstrap Method for Single-Image 3D Face Reconstruction

abstract: State-of-the-art methods for 3D reconstruction of faces from a single image require 2D-3D pairs of ground-truth data for supervision. Such data is costly to acquire, and most datasets available in the literature are restricted to pairs for which the input 2D images depict faces in a near fronto-parallel pose. Therefore, many data-driven methods for single-image 3D facial reconstruction perform poorly on profile and near-profile faces. We propose a method to improve the performance of single-image 3D facial reconstruction networks by utilizing the network to synthesize its own training data for fine-tuning, comprising: (i) single-image 3D reconstruction of faces in near-frontal images without ground-truth 3D shape; (ii) application of a rigid-body transformation to the reconstructed face model; (iii) rendering of the face model from new viewpoints; and (iv) use of the rendered image and corresponding 3D reconstruction as additional data for supervised fine-tuning. The new 2D-3D pairs thus produced have the same high-quality observed for near fronto-parallel reconstructions, thereby nudging the network towards more uniform performance as a function of the viewing angle of input faces. Application of the proposed technique to the fine-tuning of a state-of-the-art single-image 3D-reconstruction network for faces demonstrates the usefulness of the method, with particularly significant gains for profile or near-profile views.


title: Combating Uncertainty with Novel Losses for Automatic Left Atrium Segmentation

abstract: Segmenting left atrium in MR volume holds great potentials in promoting the treatment of atrial fibrillation. However, the varying anatomies, artifacts and low contrasts among tissues hinder the advance of both manual and automated solutions. In this paper, we propose a fully-automated framework to segment left atrium in gadolinium-enhanced MR volumes. The region of left atrium is firstly automatically localized by a detection module. Our framework then originates with a customized 3D deep neural network to fully explore the spatial dependency in the region for segmentation. To alleviate the risk of low training efficiency and potential overfitting, we enhance our deep network with the transfer learning and deep supervision strategy. Main contribution of our network design lies in the composite loss function to combat the boundary ambiguity and hard examples. We firstly adopt the Overlap loss to encourage network reduce the overlap between the foreground and background and thus sharpen the predictions on boundary. We then propose a novel Focal Positive loss to guide the learning of voxel-specific threshold and emphasize the foreground to improve classification sensitivity. Further improvement is obtained with an recursive training scheme. With ablation studies, all the introduced modules prove to be effective. The proposed framework achieves an average Dice of 92.24 in segmenting left atrium with pulmonary veins on 20 testing volumes.


title: Which criteria qualify power indices for applications? -- A comment to "The story of the poor Public Good index"

abstract: We discuss possible criteria that may qualify or disqualify power indices for applications. Instead of providing final answers we merely ask questions that are relevant from our point of view and summarize some material from the literature.


title: Obstructions towards a generalization of no-hair theorems: I. Scalar clouds around Kerr black holes

abstract: We show that the integral method used to prove the no-hair theorem for Black Holes (BH's) in spherically symmetric and static spacetimes within the framework of general relativity with matter composed by a complex-valued scalar-field does not lead to a straightforward conclusion about the absence of hair in the stationary and rotating (axisymmetric) scenario. We argue that such a failure can be used to justify in a simple and heuristic way the existence of non-trivial boson clouds or hair found numerically by Herdeiro and Radu [1,2] and analytically by Hod in the test field limit [3-5]. This is due to the presence of a contribution that is negative when rotation exists which allows for an integral to vanish even when a non-trivial boson hair is present. The presence of such a negative contribution that depends on the rotation properties of the BH is perfectly correlated with the eigenvalue problem associated with the boson-field equation. Conversely, when the rotation is absent the integral turns to be composed only by non negative (i.e. positive semidefinite) terms and thus the only way it can vanish is when the hair is completely absent. This analysis poses serious challenges and obstructions towards the elaboration of no-hair theorems for more general spacetimes endowed with a BH region even when including matter fields that obey the energy conditions. Thus rotating boson stars, if collapsed, may lead indeed to a new type of rotating BH, like the ones found in [1,2]. In order to achieve this analysis we solve numerically the eigenvalue problem for the boson field in the Kerr-BH background by imposing rigorous regularity conditions at the BH horizon for the non-extremal case ($0<a<M$) which include the near extremal one in the limit $M\rightarrow a$, as well as the small BH limit $M\rightarrow a\rightarrow 0$.


title: Pseudo Maurer-Cartan perturbation algebra and pseudo perturbation lemma

abstract: We introduce the pseudo Maurer-Cartan perturbation algebra, establish a structural result and explore the structure of this algebra. That structural result entails, as a consequence, what we refer to as the pseudo perturbation lemma. This lemma, in turn, implies the ordinary perturbation lemma.


title: Meromorphically normal families and a meromorphic Montel-Carath\'eodory theorem

abstract: In this paper, we present various sufficient conditions for a family of meromorphic mappings on a domain $D\subset \mathbb{C}^m$ into $\mathbb{P}^n$ to be meromorphically normal. Meromorphic normality is a notion of sequential compactness in the meromorphic category introduced by Fujimoto. We give a general condition for meromorphic normality that is influenced by Fujimoto's work. The approach to proving this result allows us to establish meromorphic analogues of several recent results on normal families of $\mathbb{P}^n$-valued holomorphic mappings. We also establish a meromorphic version of the Montel-Carath\'eodory theorem.


title: Stellar population synthesis of galaxies with chemical evolution model

abstract: The derivation of accurate stellar populations of galaxies is a non-trivial task because of the well-known age-metallicity degeneracy. We aim to break this degeneracy by invoking a chemical evolution model(CEM) for isolated disk galaxy, where its metallicity enrichment history(MEH) is modelled to be tightly linked to its star formation history(SFH). Our CEM has been successfully tested on several local group dwarf galaxies whose SFHs and MEHs have been both independently measured from deep color-magnitude diagrams of individual stars. By introducing the CEM into the stellar population fitting algorithm as a prior, we expect that the SFH of galaxies could be better constrained.


title: A corpus of precise natural textual entailment problems

abstract: In this paper, we present a new corpus of entailment problems. This corpus combines the following characteristics: 1. it is precise (does not leave out implicit hypotheses) 2. it is based on "real-world" texts (i.e. most of the premises were written for purposes other than testing textual entailment). 3. its size is 150. The corpus was constructed by taking problems from the Real Text Entailment and discovering missing hypotheses using a crowd of experts. We believe that this corpus constitutes a first step towards wide-coverage testing of precise natural-language inference systems.


title: Comments on Model free temperature scaling for heat capacity (V.A. Drebushchak, Journal of Thermal Analysis and Calorimetry, 2017 130, 5)

abstract: It is shown that the isobaric heat capacity of chalcogenides , , , and can be described by the Debye and Einstein models for the phonon frequency spectrum within their uncertainties; the models give the results for the isochoric heat capacity which are close to each other; the models give the close results for the difference between the isobaric and isochoric heat capacities; the isobaric heat capacities of the isostructural , , and as the functions of the temperature reduced to the Debye (Einstein) temperature are described by single Debay (Einstein) equation for the isobaric heat capacity; the isochoric heat capacities of , , , and (which has another structure than , , and [1]) as the functions of the temperature reduced to the Debye (Einstein) temperature are described by the Debye (Einstein) equation for the isochoric heat capacity. It is shown also that the Debye and Einstein equations for the isochoric heat capacity of , , , and give the same results if the means of the squares of the frequencies of the Debye and Einstein spectra are equal to each other, and the Debye and Einstein equations for the isobaric heat capacity of , , and as the functions of the temperature reduced to the Debye or Einstein temperature give the same results.


title: Unsupervised Change Detection in Satellite Images Using Convolutional Neural Networks

abstract: This paper proposes an efficient unsupervised method for detecting relevant changes between two temporally different images of the same scene. A convolutional neural network (CNN) for semantic segmentation is implemented to extract compressed image features, as well as to classify the detected changes into the correct semantic classes. A difference image is created using the feature map information generated by the CNN, without explicitly training on target difference images. Thus, the proposed change detection method is unsupervised, and can be performed using any CNN model pre-trained for semantic segmentation.


title: Shared Bottleneck Detecction Based on Trend Line Regression for Multipath Transmission

abstract: The current deployed multipath congestion control algorithms couple all the subflows together to avoid bandwidth occupation aggressiveness if the subflows of multipath transmission protocol share common bottleneck with single path TCP. The coupled congestion control algorithms can guarantee well fairness property in common bottleneck but result in rate increase conservativeness in none-sharing bottleneck situation. Thus, the throughput of multipath session can be further improved when combing with effective shared bottleneck detection mechanism. This paper proposes a delay trend line regression method to detect if flows share common bottleneck. Deduced from TCP fluid model, the packet round trip delay signal shows linear increase property during the queue building up process of the narrowest link and the delay trend line slopes of two flows are in close proximity if they traverse the same bottleneck link. The proposed method is implemented on multipath QUIC golang codebase and extensive simulations are performed to validate its effectiveness in detecting out flows traversing common bottleneck. If the subflows are detected out via a common bottleneck, the sender would perform coupled congestion control algorithm and perform congestion control seperately on flow level in none sharing bottleneck case. Results show a multipath session with two subflows can obtain 74\% gain on average in throughput compared with single path connection when Linked Increases Algorithm (LIA) is in combination with trend line regession shared bottlenck detection algorithm in none shared bottleneck, and show well fairness property in common bottleneck scenarios.


title: Modification of the effective action approach for the Leggett mode

abstract: The modified procedure to get the effective action is discussed. Careful observation of phase of electrons leads to the conclusion that Hubbard-Stratonovich field should be pair wavefunction, instead of gap. The modified theory is valid for arbitrary strong interband coupling while the earlier approach only deals with weak interband coupling. This paper also discusses experimental observation of the Leggett mode: Raman spectroscopy. The spectral peak which corresponds to the Leggett mode is calculated in earlier the earlier and the modified theory, which shows that they are much different.


title: JCMT BISTRO survey: Magnetic Fields within the Hub-Filament Structure in IC 5146

abstract: We present the 850 $\mu$m polarization observations toward the IC5146 filamentary cloud taken using the Submillimetre Common-User Bolometer Array 2 (SCUBA-2) and its associated polarimeter (POL-2), mounted on the James Clerk Maxwell Telescope (JCMT), as part of the B-fields In STar forming Regions Observations (BISTRO). This work is aimed at revealing the magnetic field morphology within a core-scale ($\lesssim 1.0$ pc) hub-filament structure (HFS) located at the end of a parsec-scale filament. To investigate whether or not the observed polarization traces the magnetic field in the HFS, we analyze the dependence between the observed polarization fraction and total intensity using a Bayesian approach with the polarization fraction described by the Rice likelihood function, which can correctly describe the probability density function (PDF) of the observed polarization fraction for low signal-to-noise ratio (SNR) data. We find a power-law dependence between the polarization fraction and total intensity with an index of 0.56 in $A_V\sim$ 20--300 mag regions, suggesting that the dust grains in these dense regions can still be aligned with magnetic fields in the IC5146 regions. Our polarization maps reveal a curved magnetic field, possibly dragged by the contraction along the parsec-scale filament. We further obtain a magnetic field strength of 0.5$\pm$0.2 mG toward the central hub using the Davis-Chandrasekhar-Fermi method, corresponding to a mass-to-flux criticality of $\sim$ $1.3\pm0.4$ and an Alfv\'{e}nic Mach number of $<$0.6. These results suggest that gravity and magnetic field is currently of comparable importance in the HFS, and turbulence is less important.


title: Top quark properties

abstract: The multi-purpose experiments at CERN's Large Hadron Collider have a very rich programme in top quark physics. The large amount of data allows for measuring the top quark properties with an unprecedented precision. This document presents some of the properties that have been measured using top quark pair events produced in proton-proton collisions with a centre-of-mass energy of 13 TeV. The focus lies on the measurements of the colour flow, the charge asymmetry and spin correlations in top quark pair events.


title: ARPA Whitepaper

abstract: We propose a secure computation solution for blockchain networks. The correctness of computation is verifiable even under malicious majority condition using information-theoretic Message Authentication Code (MAC), and the privacy is preserved using Secret-Sharing. With state-of-the-art multiparty computation protocol and a layer2 solution, our privacy-preserving computation guarantees data security on blockchain, cryptographically, while reducing the heavy-lifting computation job to a few nodes. This breakthrough has several implications on the future of decentralized networks. First, secure computation can be used to support Private Smart Contracts, where consensus is reached without exposing the information in the public contract. Second, it enables data to be shared and used in trustless network, without disclosing the raw data during data-at-use, where data ownership and data usage is safely separated. Last but not least, computation and verification processes are separated, which can be perceived as computational sharding, this effectively makes the transaction processing speed linear to the number of participating nodes. Our objective is to deploy our secure computation network as an layer2 solution to any blockchain system. Smart Contracts\cite{smartcontract} will be used as bridge to link the blockchain and computation networks. Additionally, they will be used as verifier to ensure that outsourced computation is completed correctly. In order to achieve this, we first develop a general MPC network with advanced features, such as: 1) Secure Computation, 2) Off-chain Computation, 3) Verifiable Computation, and 4)Support dApps' needs like privacy-preserving data exchange.


title: Partial Function Extension with Applications to Learning and Property Testing

abstract: In partial function extension, we are given a partial function consisting of $n$ points from a domain and a function value at each point. Our objective is to determine if this partial function can be extended to a function defined on the domain, that additionally satisfies a given property, such as convexity. This basic problem underlies research questions in many areas, such as learning, property testing, and game theory. We formally study the problem of extending partial functions to satisfy fundamental properties in combinatorial optimization, focusing on upper and lower bounds for extension and applications to learning and property testing. (1) For subadditive functions, we show the extension problem is coNP-complete, and we give tight bounds on the approximability. We also give an improved lower bound for learning subadditive functions, and give the first nontrivial testers for subadditive and XOS functions. (2) For submodular functions, we show that if a partial function can be extended to a submodular function on the lattice closure (the minimal set that contains the partial function and is closed under union and intersection) of the partial function, it can be extended to a submodular function on the entire domain. We obtain algorithms for determining extendibility in a number of cases, including if $n$ is a constant, or the points are nearly the same size. The complexity of extendibility is in general unresolved. (3) Lastly, for convex functions in $\mathbb{R}^m$, we show an interesting juxtaposition: while we can determine the existence of an extension efficiently, computing the value of a widely-studied convex extension at a given point is strongly NP-hard.


title: A Duality in Two-Dimensional Gravity

abstract: We demonstrate an equivalence between two integrable flows defined in a polynomial ring quotiented by an ideal generated by a polynomial. This duality of integrable systems allows us to systematically exploit the Korteweg-de Vries hierarchy and its tau-function to propose amplitudes for non-compact topological gravity on Riemann surfaces of arbitrary genus. We thus quantise topological gravity coupled to non-compact topological matter and demonstrate that this phase of topological gravity at N=2 matter central charge larger than three is equivalent to the phase with matter of central charge smaller than three.


title: High accuracy analysis of a nonconforming discrete Stokes complex over rectangular meshes

abstract: This work is devoted to the high accuracy analysis of a discrete Stokes complex over rectangular meshes with a simple structure. The 0-form in the complex is a non $C^0$ nonconforming element space for biharmonic problems. This plate element contains only 12 degrees of freedom (DoFs) over a rectangular cell with a zeroth order weak continuity for the normal derivative, therefore only the lowest convergence order can be obtained by a standard consistency error analysis. Nevertheless, we prove that, if the rectangular mesh is uniform, an $O(h^2)$ convergence rate in discrete $H^2$-norm will be achieved. Moreover, based on a duality argument, it has an $O(h^3)$ convergence order in discrete $H^1$-norm if the solution region is convex. The 1-form and 2-form constitute a divergence-free pair for incompressible flow. We also show its higher accuracy than that derived from a usual error estimate under uniform partitions, which explains the phenomenon observed in our previous work. Numerical tests verify our theoretical results.


title: ESIR: End-to-end Scene Text Recognition via Iterative Image Rectification

abstract: Automated recognition of texts in scenes has been a research challenge for years, largely due to the arbitrary variation of text appearances in perspective distortion, text line curvature, text styles and different types of imaging artifacts. The recent deep networks are capable of learning robust representations with respect to imaging artifacts and text style changes, but still face various problems while dealing with scene texts with perspective and curvature distortions. This paper presents an end-to-end trainable scene text recognition system (ESIR) that iteratively removes perspective distortion and text line curvature as driven by better scene text recognition performance. An innovative rectification network is developed which employs a novel line-fitting transformation to estimate the pose of text lines in scenes. In addition, an iterative rectification pipeline is developed where scene text distortions are corrected iteratively towards a fronto-parallel view. The ESIR is also robust to parameter initialization and the training needs only scene text images and word-level annotations as required by most scene text recognition systems. Extensive experiments over a number of public datasets show that the proposed ESIR is capable of rectifying scene text distortions accurately, achieving superior recognition performance for both normal scene text images and those suffering from perspective and curvature distortions.


title: The graph of atomic divisors and constructive recognition of finite simple groups

abstract: The spectrum $\omega(G)$ of a finite group $G$ is the set of orders of elements of $G$. We present a polynomial-time algorithm that, given a finite set $\mathcal M$ of positive integers, outputs either an empty set or a finite simple group $G$. In the former case, there is no finite simple group $H$ with $\mathcal{M}=\omega(H)$, while in the latter case, $\mathcal{M}\subseteq\omega(G)$ and $\mathcal{M}\neq\omega(H)$ for all finite simple groups $H$ with $\omega(H)\neq\omega(G)$.


title: Stimulated plasmon polariton scattering

abstract: The plasmon and phonon polaritons of two-dimensional (2d) and van-der-Waals materials have recently gained substantial interest. Unfortunately, they are notoriously hard to observe in linear response because of their strong confinement, low frequency and longitudinal mode symmetry. Here, we propose a fundamentally new approach of harnessing nonlinear resonant scattering that we call stimulated plasmon polariton scattering (SPPS) in analogy to the opto-acoustic stimulated Brillouin scattering (SBS). We show that SPS allows to excite, amplify and detect 2d plasmon and phonon polaritons all across the THz-range while requiring only optical components in the near-IR or visible range. We present a coupled-mode theory framework for SPS and based on this find that SPS power gains exceed the very top gains observed in on-chip SBS by at least an order of magnitude. This opens exciting new possibilities to fundamental studies of 2d materials and will help closing the THz gap in spectrocopy and information technology.


title: Confinement of quarks in higher representations in view of dual superconductivity

abstract: Dual superconductor picture is one of the most promising scenarios for quark confinement. We have proposed a new formulation of Yang-Mills theory on the lattice so that the so-called restricted field obtained from the gauge-covariant decomposition plays the dominant role in quark confinement. This framework improves the Abelian projection in the gauge-independent manner. For quarks in the fundamental representation, we have demonstrated some numerical evidences for the dual superconductivity. However, it is known that the expected behavior of the Wilson loop in higher representations cannot be reproduced if the restricted part of the Wilson loop is extracted by adopting the Abelian projection or the field decomposition naively in the same way as in the fundamental representation. In this talk, therefore, we focus on confinement of quarks in higher representations. By virtue of the non-Abelian Stokes theorem for the Wilson loop operator, we propose suitable operators constructed from the restricted field only in the fundamental representation to reproduce the correct behavior of the original Wilson loop in higher representations. Moreover, we perform lattice simulations to measure the static potential for quarks in higher representations using the proposed operators. We find that the proposed operators well reproduce the expected behavior of the original Wilson loop average, which overcomes the problem that occurs in naively applying Abelian-projection to the Wilson loop operator for higher representations.


title: Fe II velocity shifts in optical spectra of type 1 AGN

abstract: Here we present a critical view of practical problems in the analysis of optical Fe II emission lines of Type 1 AGN spectra. Besides the very complex and unclear physical interpretation of the Fe II template shape, there are other issues that might affect the results of Fe II contribution as well (like the S/N, the AGN continuum component modelling, the complex shapes of other broad and narrow emission lines that are blending in the same part of the spectrum, the galactic host stellar component that could lead to mimicking of the Fe II template shape on some parts of spectrum, etc.). In this paper we concentrate particularly on the claims of possibility that in some objects Fe II could be strongly shifted to the red. We examine the effects in the fitting procedure that could artificially lead to such results.


title: The long road from Regge poles to the LHC

abstract: The Regge limit of gauge-theory amplitudes and cross sections is a powerful theory tool for the study of fundamental interactions. It is a vast field of research, encompassing perturbative and non-perturbative dynamics, and ranging from purely theoretical developments to detailed phenomenological applications. It traces its origins to the proposal of Tullio Regge, almost sixty years ago, to study scattering phenomena in the complex angular momentum plane. In this very brief contribution, we look back to the early days of Regge theory, and follow a few of the many strands of its development, reaching to present day applications to scattering amplitudes in non-abelian gauge theories.


title: The role of virtual photons in quantum tunneling

abstract: Quantum tunneling, a phenomenon which has no counterpart in classical physics, is the quantum-mechanical process by which a microscopic particle can transition through a potential barrier even when the energy of the incident particle is lower than the height of the potential barrier. In this work, a mechanism based on electron/positron annihilation and creation with the participation of virtual photons is proposed as an alternative to explain quantum tunneling processes.


title: Combining Deep and Depth: Deep Learning and Face Depth Maps for Driver Attention Monitoring

abstract: Recently, deep learning approaches have achieved promising results in various fields of computer vision. In this paper, we investigate the combination of deep learning based methods and depth maps as input images to tackle the problem of driver attention monitoring. Moreover, we assume the concept of attention as Head Pose Estimation and Facial Landmark Detection tasks. Differently from other proposals in the literature, the proposed systems are able to work directly and based only on raw depth data. All presented methods are trained and tested on two new public datasets, namely Pandora and MotorMark, achieving state-of-art results and running with real time performance.


title: Addressing the hypertriton lifetime puzzle with ALICE at the LHC

abstract: The ALICE Collaboration collected a large data sample of Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 5.02 TeV in 2015 at the Large Hadron Collider (LHC) and the excellent particle identification (PID) capabilities allow for the detection of rarely produced (anti-)hypernuclei. In particular, the (anti-)hypertriton, $^3_{\Lambda}$H, which is a bound state of a proton, a neutron and a $\Lambda$, is the lightest known hypernucleus. The results on the $^3_{\Lambda}$H production are compared with the predictions from a model based on coalescence approach and from statistical-thermal models to investigate the production mechanisms in heavy-ion collisions. Emphasis will also be put on the latest and more precise determination of the $^3_{\Lambda}$H lifetime.


title: Total Colourings - A survey

abstract: The smallest integer $k$ needed for the assignment of colors to the elements so that the coloring is proper (vertices and edges) is called the total chromatic number of a graph. Vizing and Behzed conjectured that the total coloring can be done using at most $\Delta(G)+2$ colors, where $\Delta(G)$ is the maximum degree of $G$. It is not settled even for planar graphs. In this paper we give a survey on total coloring of graphs.


title: Smart Humans... WannaDie?

abstract: It won't be long until our prostheses, ECG personal monitors, subcutaneous insulin infusors, glasses, etc. become devices of the Internet of Things (IoT), always connected for monitoring, maintenance, charging and tracking. This will be the dawn of the Smart Human, not just a user of the IoT but a Thing in the Internet. How long would it then take for hackers to attack us like they have been attacking IoT devices? What would happen if hackers were able to blackmail us threatening our IoT body parts? Smart Humans may become victims of the devastating attack of WannaDie, a new ransomware that could provide the plot-line for a possible future episode of the Black Mirror TV series.


title: Schwinger pair production and string breaking in non-Abelian gauge theory from real-time lattice improved Hamiltonians

abstract: Far-from-equilibrium dynamics of SU(2) gauge theory with Wilson fermions is studied in 1+1 space-time dimensions using a real-time lattice approach. Lattice improved Hamiltonians are shown to be very efficient in simulating Schwinger pair creation and emergent phenomena such as plasma oscillations. As a consequence, significantly smaller lattices can be employed to approach continuum physics in the infinite-volume limit as compared to unimproved implementations. This allows us to compute also higher-order correlation functions including four fermion fields, which give unprecedented insights into the real-time dynamics of the fragmentation process of strings between fermions and antifermions.


title: Rethinking Layer-wise Feature Amounts in Convolutional Neural Network Architectures

abstract: We characterize convolutional neural networks with respect to the relative amount of features per layer. Using a skew normal distribution as a parametrized framework, we investigate the common assumption of monotonously increasing feature-counts with higher layers of architecture designs. Our evaluation on models with VGG-type layers on the MNIST, Fashion-MNIST and CIFAR-10 image classification benchmarks provides evidence that motivates rethinking of our common assumption: architectures that favor larger early layers seem to yield better accuracy.


title: Lie Symmetries of Non-Relativistic and Relativistic Motions

abstract: We study the Lie symmetries of non-relativistic and relativistic higher order constant motions, in $d$ spatial dimensions, like constant acceleration, constant rate-of-change -of-acceleration (constant jerk), and so on. In the non-relativistic case, these symmetries contain the $z=\frac 2N$ Galilean conformal transformations, where $N$ is the order of the differential equation that defines the constant motion. The dimension of this group grows with $N$. In the relativistic case the vanishing of the ($d+1$)-dimensional space-time relativistic acceleration, jerk, snap, ... , is equivalent, in each case, to the vanishing of a $d$-dimensional spatial vector. These vectors are the $d$-dimensional non-relativistic ones plus additional terms that guarantee the relativistic transformation properties of the corresponding $d+1$ dimensional vectors. In the case of acceleration there are no corrections, which implies that the Lie symmetries of zero acceleration motions are the same in the non-relativistic and relativistic cases. The number of Lie symmetries that are obtained in the relativistic case does not increase from the four-derivative order (zero relativistic snap) onwards. We also deduce a recurrence relation for the spatial vectors that in the relativistic case characterize the constant motions.


title: Rotating Quasi-periodic Solutions of Second Order Hamiltonian Systems with Sub-quadratic Potential

abstract: This paper concerns the existence of multiple rotating quasi-periodic solutions for second order Hamiltonian systems with sub-quadratic potential. Such solutions have the form $x(t+T)=Qx(t)$ for some orthogonal matrix $Q$. To deal with such quasi-periodic solutions, we introduce the $\mathcal{Q}(s)$ index which is a development of the well known $S^1$ index. Applying the $\mathcal{Q}(s)$ index, we give an estimate of the number for rotating quasi-periodic orbits with a fixed period.


title: Schr\"odinger's Man

abstract: What if someone built a "box" that applies quantum superposition not just to quantum bits in the microscopic but also to macroscopic everyday "objects", such as Schr\"odinger's cat or a human being? If that were possible, and if the different "copies" of a man could exploit quantum interference to synchronize and collapse into their preferred state, then one (or they?) could in a sense choose their future, win the lottery, break codes and other security devices, and become king of the world, or actually of the many-worlds. We set up the plot-line of a new episode of Black Mirror to reflect on what might await us if one were able to build such a technology.


title: Spatial Fusion GAN for Image Synthesis

abstract: Recent advances in generative adversarial networks (GANs) have shown great potentials in realistic image synthesis whereas most existing works address synthesis realism in either appearance space or geometry space but few in both. This paper presents an innovative Spatial Fusion GAN (SF-GAN) that combines a geometry synthesizer and an appearance synthesizer to achieve synthesis realism in both geometry and appearance spaces. The geometry synthesizer learns contextual geometries of background images and transforms and places foreground objects into the background images unanimously. The appearance synthesizer adjusts the color, brightness and styles of the foreground objects and embeds them into background images harmoniously, where a guided filter is introduced for detail preserving. The two synthesizers are inter-connected as mutual references which can be trained end-to-end without supervision. The SF-GAN has been evaluated in two tasks: (1) realistic scene text image synthesis for training better recognition models; (2) glass and hat wearing for realistic matching glasses and hats with real portraits. Qualitative and quantitative comparisons with the state-of-the-art demonstrate the superiority of the proposed SF-GAN.


title: Imitation Learning for End to End Vehicle Longitudinal Control with Forward Camera

abstract: In this paper we present a complete study of an end-to-end imitation learning system for speed control of a real car, based on a neural network with a Long Short Term Memory (LSTM). To achieve robustness and generalization from expert demonstrations, we propose data augmentation and label augmentation that are relevant for imitation learning in longitudinal control context. Based on front camera image only, our system is able to correctly control the speed of a car in simulation environment, and in a real car on a challenging test track. The system also shows promising results in open road context.


title: Lower Bounds on the Localisation Length of Balanced Random Quantum Walks

abstract: We consider the dynamical properties of Quantum Walks defined on the d-dimensional cubic lattice, or the homogeneous tree of coordination number 2d, with site dependent random phases, further characterised by transition probabilities between neighbouring sites equal to 1/(2d). We show that the localisation length for these Balanced Random Quantum Walks can be expressed as a combinatorial expression involving sums over weighted paths on the considered graph. This expression provides lower bounds on the localisation length by restriction to paths with weight 1, which allows us to prove the localisation length diverges on the tree as d^2. On the cubic lattice, the method yields the lower bound 1/ln(2) for all d, and allows us to bound the localisation length from below by the correlation length of self-avoiding walks computed at 1/(2d)


title: Metallic Spin Liquid-like Behavior of LiV$_2$O$_4$

abstract: LiV$_2$O$_4$ spinel is known to exhibit heavy fermion-like behavior below a characteristic temperature $T_K\simeq 20$ K, while it preserves a paramagnetic state down to $T\sim10^{-2}$ K due to geometrical frustration. Here, it is shown that the dynamical spin susceptibility $\chi({\bf q},\omega)$ in LiV$_2$O$_4$ exhibits anomalous duality which is modeled as a sum of itinerant ($\chi_{\rm F}$) and local ($\chi_{\rm L}$) components,and that the local spin dynamics inferred from $\chi_{\rm L}({\bf q},\omega)$ is qualitatively different from that expected from time-averaged bulk properties. The anomaly coexists with the marginal Fermi liquid behavior inferred from the $-\ln T$ dependence of the electronic specific heat over a wide temperature range below $T_K$. We argue that such unusual properties of LiV$_2$O$_4$ can be attributed to the putative metallic spin liquid state emerging near the quantum critical point between spin glass and Fermi liquid states.


title: A Lower Bound for the Large Sieve with Square Moduli

abstract: We prove a lower bound for the large sieve with square moduli.


title: Ultrathin acoustic parity-time symmetric metasurface cloak

abstract: Invisibility or unhearability cloaks have been made possible by using metamaterials making light or sound flow around obstacle without the trace of reflections or shadows. Metamaterials are known for being flexible building units that can mimic a host of unusual and extreme material responses, which are essential when engineering artificial material properties to realize a coordinate transforming cloak. Bending and stretching the coordinate grid in space requires stringent material parameters, therefore, small inaccuracies and inevitable material losses become sources for unwanted scattering that are decremental to the desired effect. These obstacles further limit the possibility to achieve a robust concealment of sizeable objects from either radar or sonar detection. By using a elaborate arrangement of gain and lossy acoustic media respecting parity-time symmetry, we built an one-way unhearability cloak capable to hide objects seven times larger than acoustic wavelength. Generally speaking, our approach has no limits in terms of working frequency, shape, or size, specifically though, we demonstrate how, in principle, an object of the size of a human can be hidden from audible sound.


title: Quantum independent set problem and non-abelian adiabatic mixing

abstract: We present an efficient quantum algorithm for some independent set problems in graph theory, based on non-abelian adiabatic mixing. We illustrate the performance of our algorithm with analysis and numerical calculations for two different types of graphs, with the number of edges proportional to the number of vertices or its square. The theoretical advantages of our quantum algorithm over classical algorithms are discussed. Non-abelian adiabatic mixing can be a general technique to aid exploration in a landscape of near-degenerate ground states.


title: Copper sulfide nanosheets with shape-tunable plasmonic properties in the NIR

abstract: 2D copper sulfide nanocrystals are promising building blocks for plasmonic materials in the near-infrared (NIR) spectral region. We demonstrate precise shape and size control (hexagonal/triangle) of colloidal plasmonic copper sulfide (covellite) nano-prisms simply by tuning the precursors concentration without introduction of additional ligands. The ultra-thin 2D nanocrystals possess sizes between 13 and 100 nm and triangular or hexangular shapes. We also demonstrate CuS nanosheets (NSs) with lateral sizes up to 2 microns using a syringe pump. Based on the experimental findings and DFT simulations we propose a qualitative and quantitative mechanism for the formation of different shapes. The analysis of the spectral features in the NIR of synthesized CuS nanocrystals has been performed in respect to the shape and the size of particles by the discrete dipole approximation method and the Drude-Sommerfeld theory.


title: Fractional Piola identity and polyconvexity in fractional spaces

abstract: In this paper we address nonlocal vector variational principles obtained by substitution of the classical gradient by the Riesz fractional gradient. We show the existence of minimizers in Bessel fractional spaces under the main assumption of polyconvexity of the energy density, and, as a consequence, the existence of solutions to the associated Euler--Lagrange system of nonlinear fractional PDE. The main ingredient is the fractional Piola identity, which establishes that the fractional divergence of the cofactor matrix of the fractional gradient vanishes. This identity implies the weak convergence of the determinant of the fractional gradient, and, in turn, the existence of minimizers of the nonlocal energy. Contrary to local problems in nonlinear elasticity, this existence result is compatible with solutions presenting discontinuities at points and along hypersurfaces.


title: Comparison of a finite-element and finite-volume scheme for a degenerate cross-diffusion system for ion transport

abstract: A structure-preserving implicit Euler finite-element scheme for a degenerate cross-diffusion system for ion transport is analyzed. The scheme preserves the nonnegativity and upper bounds of the ion concentrations, the total relative mass, and it dissipates the entropy (or free energy). The existence of discrete solutions to the scheme and their convergence towards a solution to the continuous system is proved. Numerical simulations of two-dimensional ion channels using the finite-element scheme with linear elements and an alternative finite-volume scheme are presented. The advantages and drawbacks of both schemes are discussed in detail.


title: Multi-hypothesis contextual modeling for semantic segmentation

abstract: Semantic segmentation (i.e. image parsing) aims to annotate each image pixel with its corresponding semantic class label. Spatially consistent labeling of the image requires an accurate description and modeling of the local contextual information. Segmentation result is typically improved by Markov Random Field (MRF) optimization on the initial labels. However this improvement is limited by the accuracy of initial result and how the contextual neighborhood is defined. In this paper, we develop generalized and flexible contextual models for segmentation neighborhoods in order to improve parsing accuracy. Instead of using a fixed segmentation and neighborhood definition, we explore various contextual models for fusion of complementary information available in alternative segmentations of the same image. In other words, we propose a novel MRF framework that describes and optimizes the contextual dependencies between multiple segmentations. Simulation results on two common datasets demonstrate significant improvement in parsing accuracy over the baseline approaches.


title: Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs

abstract: The problem of giving a computational meaning to classical reasoning lies at the heart of logic. This article surveys three famous solutions to this problem - the epsilon calculus, modified realizability and the dialectica interpretation - and re-examines them from a modern perspective, with a particular emphasis on connections with algorithms and programming.


title: Colloidal Lead Iodide Nanorings

abstract: Colloidal chemistry of nanomaterials experienced a tremendous development in the last decades. In the course of the journey 0D nanoparticles, 1D nanowires, and 2D nanosheets have been synthesized. They have in common to possess a simple topology. We present a colloidal synthesis strategy for lead iodide nanorings, with a non-trivial topology. First, two-dimensional structures were synthesized in nonanoic acid as the sole solvent. Subsequently, they underwent an etching process in the presence of trioctylphosphine, which determines the size of the hole in the ring structure. We propose a mechanism for the formation of lead iodide nanosheets which also explains the etching of the two-dimensional structures starting from the inside, leading to nanorings. In addition, we demonstrate a possible application of the as-prepared nanorings in photodetectors. These devices are characterized by a fast response, high gain values, and a linear relation between photocurrent and incident light power intensity over a large range. The synthesis approach allows for inexpensive large-scale production of nanorings with tunable properties.


title: The Higgs Mode of Planar Coupled Spin-Ladders and its Observation in C$_9$H$_{18}$N$_2$CuBr$_4$

abstract: Polarized inelastic neutron scattering experiments recently identified the amplitude (Higgs) mode in C$_9$H$_{18}$N$_2$CuBr$_4$, a two-dimensional near-quantum-critical spin-1/2 two-leg ladder compound, which exhibits a weak easy-axis exchange anisotropy. Here, we theoretically examine the dynamic spin structure factor of such planar coupled spin-ladder systems using large-scale quantum Monte Carlo simulations. This allows us to provide a quantitative account of the experimental neutron scattering data within a consistent quantum spin model. Moreover, we trance the details of the continuous evolution of the amplitude mode from a two-particle bound state of coupled ladders in the classical Ising limit all the way to the quantum spin-1/2 Heisenberg limit with fully restored SU(2) symmetry, where it gets overdamped by the two-magnon continuum in neutron scattering.


title: The cubic Schr{\"o}dinger regime of the Landau-Lifshitz equation with a strong easy-axis anisotropy

abstract: We pursue our work on the asymptotic regimes of the Landau-Lifshitz equation for bi-axial ferromagnets. We put the focus on the cubic Schr{\"o}dinger equation, which is known to describe the dynamics in a regime of strong easy-axis anisotropy. In any dimension, we rigorously prove this claim for solutions with sufficient regularity. In this regime, we additionally classify the one-dimensional solitons of the Landau-Lifshitz equation and quantify their convergence towards the solitons of the one-dimensional cubic Schr{\"o}dinger equation.


title: Momentum Space Topology and Non-Dissipative Currents

abstract: Relativistic heavy ion collisions represent an arena for the probe of various anomalous transport effects. Those effects, in turn, reveal the correspondence between the solid state physics and the high energy physics, which share the common formalism of quantum field theory. It may be shown that for the wide range of {field-theoretic} models, the response of various nondissipative currents to the external gauge fields is determined by the momentum space topological invariants. Thus, the anomalous transport appears to be related to the investigation of momentum space topology -- the approach developed earlier mainly in the condensed matter theory. Within this methodology we analyse systematically the anomalous transport phenomena, which include, in particular, the anomalous quantum Hall effect, the chiral separation effect, the chiral magnetic effect, the chiral vortical effect and the rotational Hall effect.


title: Spectral characteristics of a modified inverted-Y system beyond rotating wave approximation

abstract: The spectral properties of a multilevel atomic system interacting with multiple electromagnetic fields, a modified inverted-Y system, have been theoretically investigated. In this study, a numerical matrix propagation method has been employed to study the spectral characteristics beyond the validity regime of the rotating wave approximations. The studied atomic system, comprising of several basic sub-systems i.e. lambda, ladder, vee, N and inverted-Y, is useful to study the interdependence among these basic sub-systems. The key features of the obtained probe spectra as a function of coupling strength and detuning of the associated electromagnetic fields show inter-conversion, splitting and shifting of the transparency and absorption peaks. The dressed and doubly dressed state formalism have been utilized to explain the numerically obtained results. This study has application in design of novel optical devices capable of multi-channel optical communication along with switching.


title: One-loop QCD contributions to differential cross-sections for Higgs production at N$^3$LO

abstract: We present one-loop contributions to the fully differential Higgs boson gluon-fusion cross-section for Higgs production via gluon fusion. Our results constitute a necessary ingredient of a complete N$^3$LO determination of the cross-section. We perform our computation using a subtraction method for the treatment of soft and collinear singularities. We identify the infrared divergent parts in terms of universal splitting and eikonal functions, and demonstrate how phase-space integrations yield poles (up to $1/\epsilon^6$ ) in the dimensional regulator $\epsilon=(4-d)/2$. We compute the coefficients of the $\epsilon$ expansion, including the finite part numerically. As a demonstration of our numerical implementation, we present the corrections at N$^3$LO due to one-loop amplitudes in the rapidity and transverse momentum of the Higgs boson.