title: A Very Compact Extremely High Velocity Flow toward MMS 5 / OMC-3 Revealed with ALMA

abstract: Both high- and low-velocity outflows are occasionally observed around a protostar by molecular line emission. The high-velocity component is called `Extremely High-Velocity (EHV) flow,' while the low-velocity component is simply referred as `(molecular) outflow.' This study reports a newly found EHV flow and outflow around MMS $5$ in the Orion Molecular Cloud 3 observed with ALMA. In the observation, CO $J$=2--1 emission traces both the EHV flow ($|v_{\rm{LSR}} - v_{\rm{sys}}|$ $\simeq$ 50--100 $\rm{km\ s^{-1}}$) and outflow ($|v_{\rm{LSR}} - v_{\rm{sys}}|$ $\simeq$ 10--50 $\rm{km\ s^{-1}}$). On the other hand, SiO $J$=5--4 emission only traces the EHV flow. The EHV flow is collimated and located at the root of the V-shaped outflow. The CO outflow extends up to $\sim$ 14,000\,AU with a position angle (P.A.) of $\sim79^\circ$ and the CO redshifted EHV flow extends to $\sim$11,000 AU with P.A. $\sim96^\circ$. The EHV flow is smaller than the outflow, and the dynamical timescale of the EHV flow is shorter than that of the outflow by a factor of $\sim 3$. The flow driving mechanism is discussed based on the size, time scale, axis difference between the EHV flow and outflow, and the periodicity of the knots. Our results are consistent with the nested wind scenario, although the jet entrainment scenario could not completely be ruled out.


title: Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version)

abstract: Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate is significantly reduced by computerizing medical best practice guidelines. Recent data also show that some morbidity and mortality in emergency care are directly caused by delayed or interrupted treatment due to lack of medical resources. However, medical guidelines usually do not provide guidance on medical resource demands and how to manage potential unexpected delays in resource availability. If medical resources are temporarily unavailable, safety properties in existing executable medical guideline models may fail which may cause increased risk to patients under care. The paper presents a separately model and jointly verify (SMJV) architecture to separately model medical resource available times and relationships and jointly verify safety properties of existing medical best practice guideline models with resource models being integrated in. The SMJV architecture allows medical staff to effectively manage medical resource demands and unexpected resource availability delays during emergency care. The separated modeling approach also allows different domain professionals to make independent model modifications, facilitates the management of frequent resource availability changes, and enables resource statechart reuse in multiple medical guideline models. A simplified stroke scenario is used as a case study to investigate the effectiveness and validity of the SMJV architecture. The case study indicates that the SMJV architecture is able to identify unsafe properties caused by unexpected resource delays.


title: Two-to-three dimensional transition in neutral gold clusters: the crucial role of van der Waals interactions and temperature

abstract: We predict the structures of neutral gas-phase gold clusters ($Au_n$, $n$ = 5$-$13) at finite temperatures based on free-energy calculations obtained by replica-exchange ab initio molecular dynamics. The structures of neutral $Au_5$$-$$Au_{13}$ clusters are assigned at 100 K based on a comparison of experimental far-infrared multiple photon dissociation spectra performed on Kr-tagged gold clusters with theoretical anharmonic IR spectra and free-energy calculations. The critical gold cluster size where the most stable isomer changes from planar to nonplanar is $Au_{11}$ (capped-trigonal prism, $D_{3h}$) at 100 K. However, at 300 K (i.e., room temperature), planar and nonplanar isomers may coexist even for $Au_8$, $Au_9$, and $Au_{10}$ clusters. Density-functional theory exchange-correlation functionals within the generalized gradient or hybrid approximation must be corrected for long-range van der Waals interactions to accurately predict relative gold cluster isomer stabilities. Our work gives insight into the stable structures of gas-phase gold clusters by highlighting the impact of temperature, and therefore the importance of free-energy over total energy studies, and long-range van der Waals interactions on gold cluster stability.


title: Visual Localization Under Appearance Change: Filtering Approaches

abstract: A major focus of current research on place recognition is visual localization for autonomous driving. In this scenario, as cameras will be operating continuously, it is realistic to expect videos as an input to visual localization algorithms, as opposed to the single-image querying approach used in other visual localization works. In this paper, we show that exploiting temporal continuity in the testing sequence significantly improves visual localization - qualitatively and quantitatively. Although intuitive, this idea has not been fully explored in recent works. To this end, we propose two filtering approaches to exploit the temporal smoothness of image sequences: i) filtering on discrete domain with Hidden Markov Model, and ii) filtering on continuous domain with Monte Carlo-based visual localization. Our approaches rely on local features with an encoding technique to represent an image as a single vector. The experimental results on synthetic and real datasets show that our proposed methods achieve better results than state of the art (i.e., deep learning-based pose regression approaches) for the task on visual localization under significant appearance change. Our synthetic dataset and source code are made publicly available at https://sites.google.com/view/g2d-software/home and https://github.com/dadung/Visual-Localization-Filtering.


title: Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report

abstract: Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be reduced by computerizing medical guidelines. Most existing medical guideline models are validated and/or verified based on the assumption that all necessary medical resources needed for a patient care are always available. However, the reality is that some medical resources, such as special medical equipment or medical specialists, can be temporarily unavailable for an individual patient. In such cases, safety properties validated and/or verified in existing medical guideline models without considering medical resource availability may not hold any more. The paper argues that considering medical resource availability is essential in building verifiably correct executable medical guidelines. We present an approach to explicitly and separately model medical resource availability and automatically integrate resource availability models into an existing statechart-based computerized medical guideline model. This approach requires minimal change in existing medical guideline models to take into consideration of medical resource availability in validating and verifying medical guideline models. A simplified stroke scenario is used as a case study to investigate the effectiveness and validity of our approach.


title: Learning Robust Heterogeneous Signal Features from Parallel Neural Network for Audio Sentiment Analysis

abstract: Audio Sentiment Analysis is a popular research area which extends the conventional text-based sentiment analysis to depend on the effectiveness of acoustic features extracted from speech. However, current progress on audio sentiment analysis mainly focuses on extracting homogeneous acoustic features or doesn't fuse heterogeneous features effectively. In this paper, we propose an utterance-based deep neural network model, which has a parallel combination of Convolutional Neural Network (CNN) and Long Short-Term Memory (LSTM) based network, to obtain representative features termed Audio Sentiment Vector (ASV), that can maximally reflect sentiment information in an audio. Specifically, our model is trained by utterance-level labels and ASV can be extracted and fused creatively from two branches. In the CNN model branch, spectrum graphs produced by signals are fed as inputs while in the LSTM model branch, inputs include spectral features and cepstrum coefficient extracted from dependent utterances in audio. Besides, Bidirectional Long Short-Term Memory (BiLSTM) with attention mechanism is used for feature fusion. Extensive experiments have been conducted to show our model can recognize audio sentiment precisely and quickly, and demonstrate our ASV is better than traditional acoustic features or vectors extracted from other deep learning models. Furthermore, experimental results indicate that the proposed model outperforms the state-of-the-art approach by 9.33\% on Multimodal Opinion-level Sentiment Intensity dataset (MOSI) dataset.


title: Gaussian multipartite quantum discord from classical mutual information

abstract: Quantum discord is a measure of non-classical correlations, which are excess correlations inherent in quantum states that cannot be accessed by classical measurements. For multipartite states, the classically accessible correlations can be defined by the mutual information of the multipartite measurement outcomes. In general the quantum discord of an arbitrary quantum state involves an optimisation of over the classical measurements which is hard to compute. In this paper, we examine the quantum discord in the experimentally relevant case when the quantum states are Gaussian and the measurements are restricted to Gaussian measurements. We perform the optimisation over the measurements to find the Gaussian discord of the bipartite EPR state and tripartite GHZ state in the presence of different types of noise: uncorrelated noise, multiplicative noise and correlated noise. We find that by adding uncorrelated noise and multiplicative noise, the quantum discord always decreases. However, correlated noise can either increase or decrease the quantum discord. We also find that for low noise, the optimal classical measurements are single quadrature measurements. As the noise increases, a dual quadrature measurement becomes optimal.


title: Reinforcement Learning of Active Vision for Manipulating Objects under Occlusions

abstract: We consider artificial agents that learn to jointly control their gripperand camera in order to reinforcement learn manipulation policies in the presenceof occlusions from distractor objects. Distractors often occlude the object of in-terest and cause it to disappear from the field of view. We propose hand/eye con-trollers that learn to move the camera to keep the object within the field of viewand visible, in coordination to manipulating it to achieve the desired goal, e.g.,pushing it to a target location. We incorporate structural biases of object-centricattention within our actor-critic architectures, which our experiments suggest tobe a key for good performance. Our results further highlight the importance ofcurriculum with regards to environment difficulty. The resulting active vision /manipulation policies outperform static camera setups for a variety of clutteredenvironments.


title: Gamma-Band Correlations in Primary Visual Cortex

abstract: Neural field theory is used to quantitatively analyze the two-dimensional spatiotemporal correlation properties of gamma-band (30 -- 70 Hz) oscillations evoked by stimuli arriving at the primary visual cortex (V1), and modulated by patchy connectivities that depend on orientation preference (OP). Correlation functions are derived analytically under different stimulus and measurement conditions. The predictions reproduce a range of published experimental results, including the existence of two-point oscillatory temporal cross-correlations with zero time-lag between neurons with similar OP, the influence of spatial separation of neurons on the strength of the correlations, and the effects of differing stimulus orientations.


title: Representation Learning of Pedestrian Trajectories Using Actor-Critic Sequence-to-Sequence Autoencoder

abstract: Representation learning of pedestrian trajectories transforms variable-length timestamp-coordinate tuples of a trajectory into a fixed-length vector representation that summarizes spatiotemporal characteristics. It is a crucial technique to connect feature-based data mining with trajectory data. Trajectory representation is a challenging problem, because both environmental constraints (e.g., wall partitions) and temporal user dynamics should be meticulously considered and accounted for. Furthermore, traditional sequence-to-sequence autoencoders using maximum log-likelihood often require dataset covering all the possible spatiotemporal characteristics to perform well. This is infeasible or impractical in reality. We propose TREP, a practical pedestrian trajectory representation learning algorithm which captures the environmental constraints and the pedestrian dynamics without the need of any training dataset. By formulating a sequence-to-sequence autoencoder with a spatial-aware objective function under the paradigm of actor-critic reinforcement learning, TREP intelligently encodes spatiotemporal characteristics of trajectories with the capability of handling diverse trajectory patterns. Extensive experiments on both synthetic and real datasets validate the high fidelity of TREP to represent trajectories.


title: Optimizing Robustness against Cascading Failures under Max-Load Targeted Attack

abstract: Motivated by reliability of networks in critical infrastructures, we consider optimal robustness of a class of flow networks against a \textit{targeted} attack, namely max-load targeted attack, that triggers cascading failures due to removal of largest load carrying portion of lines. The setup involves a network of $N$ lines with initial loads $L_1, \ldots, L_N$, drawn from independent and identical uniform distribution, and free-spaces or redundancies $S_1, \ldots, S_N$ to be allocated. In the failure propagation mechanism, a line fails initially due to attack and later due to overloading. The load that was carried at the moment of failing gets redistributed equally among all remaining lines in the system. We analyze robustness of this network against the max-load targeted attack that removes the largest load carrying $p$-fraction of the lines from the system. The system designer allocates $S_i$ as a stochastic function of the load in each line. Assuming an average available resource budget, we show that allocating all lines the free-spaces equally among nodes is optimal under some regulatory assumptions. We provide numerical results verifying that equal free-space allocation to all lines perform optimally in more general targeted attack scenarios.


title: Midrange crossing constants for graphs classes

abstract: For positive integers $n$ and $e$, let $\kappa(n,e)$ be the minimum crossing number (the standard planar crossing number) taken over all graphs with $n$ vertices and at least $e$ edges. Pach, Spencer and T\'oth [Discrete and Computational Geometry 24 623--644, (2000)] showed that $\kappa(n,e) n^2/e^3$ tends to a positive constant (called midrange crossing constant) as $n\to \infty$ and $n \ll e \ll n^2$, proving a conjecture of Erd\H{o}s and Guy. In this note, we extend their proof to show that the midrange crossing constant exists for graph classes that satisfy a certain set of graph properties. As a corollary, we show that the the midrange crossing constant exists for the family of bipartite graphs. All these results have their analogues for rectilinear crossing numbers.


title: Spitzer Observations of Interstellar Object 1I/`Oumuamua

abstract: 1I/`Oumuamua is the first confirmed interstellar body in our Solar System. Here we report on observations of `Oumuamua made with the Spitzer Space Telescope on 2017 November 21--22 (UT). We integrated for 30.2~hours at 4.5 micron (IRAC channel 2). We did not detect the object and place an upper limit on the flux of 0.3 uJy (3sigma). This implies an effective spherical diameter less than [98, 140, 440] meters and albedo greater than [0.2, 0.1, 0.01] under the assumption of low, middle, or high thermal beaming parameter eta, respectively. With an aspect ratio for `Oumuamua of 6:1, these results correspond to dimensions of [240:40, 341:57, 1080:180] meters, respectively. We place upper limits on the amount of dust, CO, and CO2 coming from this object that are lower than previous results; we are unable to constrain the production of other gas species. Both our size and outgassing limits are important because `Oumuamua's trajectory shows non-gravitational accelerations that are sensitive to size and mass and presumably caused by gas emission. We suggest that `Oumuamua may have experienced low-level post-perihelion volatile emission that produced a fresh, bright, icy mantle. This model is consistent with the expected eta value and implied high albedo value for this solution, but, given our strict limits on CO and CO2, requires another gas species --- probably H2O --- to explain the observed non-gravitational acceleration. Our results extend the mystery of `Oumuamua's origin and evolution.


title: Factorized Distillation: Training Holistic Person Re-identification Model by Distilling an Ensemble of Partial ReID Models

abstract: Person re-identification (ReID) is aimed at identifying the same person across videos captured from different cameras. In the view that networks extracting global features using ordinary network architectures are difficult to extract local features due to their weak attention mechanisms, researchers have proposed a lot of elaborately designed ReID networks, while greatly improving the accuracy, the model size and the feature extraction latency are also soaring. We argue that a relatively compact ordinary network extracting globally pooled features has the capability to extract discriminative local features and can achieve state-of-the-art precision if only the model's parameters are properly learnt. In order to reduce the difficulty in learning hard identity labels, we propose a novel knowledge distillation method: Factorized Distillation, which factorizes both feature maps and retrieval features of holistic ReID network to mimic representations of multiple partial ReID models, thus transferring the knowledge from partial ReID models to the holistic network. Experiments show that the performance of model trained with the proposed method can outperform state-of-the-art with relatively few network parameters.


title: 1-D semi-analytical modeling and parametric study of a single phase rectangular Coupled Natural Circulation Loop

abstract: The study of heat exchangers with both the hot and cold fluid sides driven by buoyancy forces is an area of considerable interest due to their inherent passivity and non-existence of moving parts. The current study aims to study such heat exchange devices employing the basic Coupled Natural Circulation Loop (CNCL) systems. A 1-D Fourier series based semi-analytical model of the basic CNCL system is proposed. A 3-D CFD validation is performed to validate the developed 1-D model. The non-dimensional numbers such as Grashof number, Fourier number, Stanton number and Reynolds number, which determine the system behavior are identified and a detailed parametric study is performed. Both vertical and horizontal CNCL systems are considered along with the parallel and counter flow configurations. The heater-cooler location greatly influences the behavior of CNCL system. The vertical CNCL always exhibits counter flow configuration whereas the horizontal CNCL system may exhibit parallel or counter flow arrangement depending on the heater-cooler location and initial flow conditions.


title: Scene Graph Generation via Conditional Random Fields

abstract: Despite the great success object detection and segmentation models have achieved in recognizing individual objects in images, performance on cognitive tasks such as image caption, semantic image retrieval, and visual QA is far from satisfactory. To achieve better performance on these cognitive tasks, merely recognizing individual object instances is insufficient. Instead, the interactions between object instances need to be captured in order to facilitate reasoning and understanding of the visual scenes in an image. Scene graph, a graph representation of images that captures object instances and their relationships, offers a comprehensive understanding of an image. However, existing techniques on scene graph generation fail to distinguish subjects and objects in the visual scenes of images and thus do not perform well with real-world datasets where exist ambiguous object instances. In this work, we propose a novel scene graph generation model for predicting object instances and its corresponding relationships in an image. Our model, SG-CRF, learns the sequential order of subject and object in a relationship triplet, and the semantic compatibility of object instance nodes and relationship nodes in a scene graph efficiently. Experiments empirically show that SG-CRF outperforms the state-of-the-art methods, on three different datasets, i.e., CLEVR, VRD, and Visual Genome, raising the Recall@100 from 24.99% to 49.95%, from 41.92% to 50.47%, and from 54.69% to 54.77%, respectively.


title: Modeling aggressive market order placements with Hawkes factor models

abstract: Price changes are induced by aggressive market orders in stock market. We introduce a bivariate marked Hawkes process to model aggressive market order arrivals at the microstructural level. The order arrival intensity is marked by an exogenous part and two endogenous processes reflecting the self-excitation and cross-excitation respectively. We calibrate the model for an SSE stock. We find that the exponential kernel with a smooth cut-off (i.e. the subtraction of two exponentials) produces much better calibration than the monotonous exponential kernel (i.e. the sum of two exponentials). The exogenous baseline intensity explains the $U$-shaped intraday pattern. Our empirical results show that the endogenous submission clustering is mainly caused by self-excitation rather than cross-excitation.


title: The DG-category of secondary cohomology operations

abstract: We study track categories (i.e., groupoid-enriched categories) endowed with additive structure similar to that of a 1-truncated DG-category, except that composition is not assumed right linear. We show that if such a track category is right linear up to suitably coherent correction tracks, then it is weakly equivalent to a 1-truncated DG-category. This generalizes work of the first author on the strictification of secondary cohomology operations. As an application, we show that the secondary integral Steenrod algebra is strictifiable.


title: An empirical evaluation of AMR parsing for legal documents

abstract: Many approaches have been proposed to tackle the problem of Abstract Meaning Representation (AMR) parsing, helps solving various natural language processing issues recently. In our paper, we provide an overview of different methods in AMR parsing and their performances when analyzing legal documents. We conduct experiments of different AMR parsers on our annotated dataset extracted from the English version of Japanese Civil Code. Our results show the limitations as well as open a room for improvements of current parsing techniques when applying in this complicated domain.


title: KAGRA: 2.5 Generation Interferometric Gravitational Wave Detector

abstract: The recent detections of gravitational waves (GWs) reported by LIGO/Virgo collaborations have made significant impact on physics and astronomy. A global network of GW detectors will play a key role to solve the unknown nature of the sources in coordinated observations with astronomical telescopes and detectors. Here we introduce KAGRA (former name LCGT; Large-scale Cryogenic Gravitational wave Telescope), a new GW detector with two 3-km baseline arms arranged in the shape of an "L", located inside the Mt. Ikenoyama, Kamioka, Gifu, Japan. KAGRA's design is similar to those of the second generations such as Advanced LIGO/Virgo, but it will be operating at the cryogenic temperature with sapphire mirrors. This low temperature feature is advantageous for improving the sensitivity around 100 Hz and is considered as an important feature for the third generation GW detector concept (e.g. Einstein Telescope of Europe or Cosmic Explorer of USA). Hence, KAGRA is often called as a 2.5 generation GW detector based on laser interferometry. The installation and commissioning of KAGRA is underway and its cryogenic systems have been successfully tested in May, 2018. KAGRA's first observation run is scheduled in late 2019, aiming to join the third observation run (O3) of the advanced LIGO/Virgo network. In this work, we describe a brief history of KAGRA and highlights of main feature. We also discuss the prospects of GW observation with KAGRA in the era of O3. When operating along with the existing GW detectors, KAGRA will be helpful to locate a GW source more accurately and to determine the source parameters with higher precision, providing information for follow-up observations of a GW trigger candidate.


title: Lightweight Lipschitz Margin Training for Certified Defense against Adversarial Examples

abstract: How can we make machine learning provably robust against adversarial examples in a scalable way? Since certified defense methods, which ensure $\epsilon$-robust, consume huge resources, they can only achieve small degree of robustness in practice. Lipschitz margin training (LMT) is a scalable certified defense, but it can also only achieve small robustness due to over-regularization. How can we make certified defense more efficiently? We present LC-LMT, a light weight Lipschitz margin training which solves the above problem. Our method has the following properties; (a) efficient: it can achieve $\epsilon$-robustness at early epoch, and (b) robust: it has a potential to get higher robustness than LMT. In the evaluation, we demonstrate the benefits of the proposed method. LC-LMT can achieve required robustness more than 30 epoch earlier than LMT in MNIST, and shows more than 90 $\%$ accuracy against both legitimate and adversarial inputs.


title: ChainGAN: A sequential approach to GANs

abstract: We propose a new architecture and training methodology for generative adversarial networks. Current approaches attempt to learn the transformation from a noise sample to a generated data sample in one shot. Our proposed generator architecture, called $\textit{ChainGAN}$, uses a two-step process. It first attempts to transform a noise vector into a crude sample, similar to a traditional generator. Next, a chain of networks, called $\textit{editors}$, attempt to sequentially enhance this sample. We train each of these units independently, instead of with end-to-end backpropagation on the entire chain. Our model is robust, efficient, and flexible as we can apply it to various network architectures. We provide rationale for our choices and experimentally evaluate our model, achieving competitive results on several datasets.


title: Unzipping DNA by a periodic force: Hysteresis loops, Dynamical order parameter, Correlations and Equilibrium curves

abstract: The unzipping of a double stranded DNA whose ends are subjected to a time dependent periodic force with frequency $\omega$ and amplitude $G$ is studied using Monte Carlo simulations. We obtain the dynamical order parameter, $Q$, defined as the time average extension between the end monomers of two strands of the DNA over a period, and its probability distributions $P(Q)$ at various force amplitudes and frequencies. We also study the time autocorrelations of extension and the dynamical order parameter for various chain lengths. The equilibrium force-distance isotherms were also obtained at various frequencies by using non-equilibrium work measurements.


title: Complete Subset Averaging with Many Instruments

abstract: We propose a two-stage least squares (2SLS) estimator whose first stage is the equal-weighted average over a complete subset with $k$ instruments among $K$ available, which we call the complete subset averaging (CSA) 2SLS. The approximate mean squared error (MSE) is derived as a function of the subset size $k$ by the Nagar (1959) expansion. The subset size is chosen by minimizing the sample counterpart of the approximate MSE. We show that this method achieves the asymptotic optimality among the class of estimators with different subset sizes. To deal with averaging over a growing set of irrelevant instruments, we generalize the approximate MSE to find that the optimal $k$ is larger than otherwise. An extensive simulation experiment shows that the CSA-2SLS estimator outperforms the alternative estimators when instruments are correlated. As an empirical illustration, we estimate the logistic demand function in Berry, Levinsohn, and Pakes (1995) and find the CSA-2SLS estimate is better supported by economic theory than the alternative estimates.


title: Multiple-Instance Learning by Boosting Infinitely Many Shapelet-based Classifiers

abstract: We propose a new formulation of Multiple-Instance Learning (MIL). In typical MIL settings, a unit of data is given as a set of instances called a bag and the goal is to find a good classifier of bags based on similarity from a single or finitely many "shapelets" (or patterns), where the similarity of the bag from a shapelet is the maximum similarity of instances in the bag. Classifiers based on a single shapelet are not sufficiently strong for certain applications. Additionally, previous work with multiple shapelets has heuristically chosen some of the instances as shapelets with no theoretical guarantee of its generalization ability. Our formulation provides a richer class of the final classifiers based on infinitely many shapelets. We provide an efficient algorithm for the new formulation, in addition to generalization bound. Our empirical study demonstrates that our approach is effective not only for MIL tasks but also for Shapelet Learning for time-series classification.


title: Uniqueness of solution of a heterogeneous evolution dam problem associated with a compressible fluid flow through a rectangular porous medium

abstract: This paper is concerned with an uniqueness of solution of the weak formulation of an evolution dam problem related to a compressible fluid flow through a two-dimensional, rectangular and heterogeneous porous medium. Note that our problem associated with the equation a(x_1)(u_{x_2}+\chi)_{x_2}-(u+\chi)_t=0. Our technique is based on the idea that we transform the weak form of this equation into a similar situation to the proof of the uniqueness in the incompressible case (see [12]). It is also difficult to adapt the proof obtained in [12] by using some properties of the solutions as in [12, Sect. 2].


title: Model Learning for Look-ahead Exploration in Continuous Control

abstract: We propose an exploration method that incorporates look-ahead search over basic learnt skills and their dynamics, and use it for reinforcement learning (RL) of manipulation policies . Our skills are multi-goal policies learned in isolation in simpler environments using existing multigoal RL formulations, analogous to options or macroactions. Coarse skill dynamics, i.e., the state transition caused by a (complete) skill execution, are learnt and are unrolled forward during lookahead search. Policy search benefits from temporal abstraction during exploration, though itself operates over low-level primitive actions, and thus the resulting policies does not suffer from suboptimality and inflexibility caused by coarse skill chaining. We show that the proposed exploration strategy results in effective learning of complex manipulation policies faster than current state-of-the-art RL methods, and converges to better policies than methods that use options or parametrized skills as building blocks of the policy itself, as opposed to guiding exploration. We show that the proposed exploration strategy results in effective learning of complex manipulation policies faster than current state-of-the-art RL methods, and converges to better policies than methods that use options or parameterized skills as building blocks of the policy itself, as opposed to guiding exploration.


title: Analytical solution of a plane strain pure bending problem in second gradient electroelasticity

abstract: Semi-inverse analytical solution of a pure bending problem for piezoelectric layer is developed in the framework of linear electroelasticity theory with strain gradient and electric field gradient effects. Two-dimensional solution is derived assuming plane strain state of a layer. It is shown that obtained solution can be used for the validation of size-dependent beam and plate models in second gradient electroelasticity theory.


title: Electroweak baryogenesis via bottom transport

abstract: We consider a scenario in which an extra bottom Yukawa coupling can drive electroweak baryogenesis in the general two-Higgs doublet model. It is found that the new bottom Yukawa coupling with $\mathcal{O}(0.1)$ in magnitude can generate the sufficient baryon asymmetry without conflicting existing data. We point out that future measurements of the bottom Yukawa coupling at High-Luminosity Large Hadron Collider and International Linear Collider, together with the CP asymmetry of $B\to X_s\gamma$ at SuperKEKB provide exquisite probes for this scenario.


title: Perfect discrimination of non-orthogonal quantum states with posterior classical partial information

abstract: The indistinguishability of non-orthogonal pure states lies at the heart of quantum information processing. Although the indistinguishability reflects the impossibility of measuring complementary physical quantities by a single measurement, we demonstrate that the distinguishability can be perfectly retrieved simply with the help of posterior classical partial information. We demonstrate this by showing an ensemble of non-orthogonal pure states such that a state randomly sampled from the ensemble can be perfectly identified by a single measurement with help of the post-processing of the measurement outcomes and additional partial information about the sampled state, i.e., the label of subensemble from which the state is sampled. When an ensemble consists of two subensembles, we show that the perfect distinguishability of the ensemble with the help of the post-processing can be restated as a matrix-decomposition problem. Furthermore, we give the analytical solution for the problem when both subensembles consist of two states.


title: A Categorification of the Vandermonde Determinant

abstract: In the spirit of Bar Natan's construction of Khovanov homology, we give a categorification of the Vandermonde determinant. Given a sequence of positive integers $\vec{x}=(x_1,...,x_n)$, we construct a commutative diagram in the shape of the Bruhat order on $S_n$ whose nodes are colored smoothings of the $2$-strand torus link $T_{2,n}$, and whose arrows are colored cobordisms. An application of a TQFT to this diagram yields a chain complex whose Euler characteristic is the Vandermonde determinant evaluated at $\vec{x}$. A generalization to arbitrary link diagrams is given, producing categorifications of certain generalized Vandermonde determinants. We also address functoriality of this construction.


title: JuxtaPiton: Enabling Heterogeneous-ISA Research with RISC-V and SPARC FPGA Soft-cores

abstract: Energy efficiency has become an increasingly important concern in computer architecture due to the end of Dennard scaling. Heterogeneity has been explored as a way to achieve better energy efficiency and heterogeneous microarchitecture chips have become common in the mobile setting. Recent research has explored using heterogeneous-ISA, heterogeneous microarchitecture, general-purpose cores to achieve further energy efficiency gains. However, there is no open-source hardware implementation of a heterogeneous-ISA processor available for research, and effective research on heterogeneous-ISA processors necessitates the emulation speed provided by FPGA prototyping. This work describes our experiences creating JuxtaPiton by integrating a small RISC-V core into the OpenPiton framework, which uses a modified OpenSPARC T1 core. This is the first time a new core has been integrated with the OpenPiton framework, and JuxtaPiton is the first open-source, general-purpose, heterogeneous-ISA processor. JuxtaPiton inherits all the capabilities of OpenPiton, including vital FPGA emulation infrastructure which can boot full-stack Debian Linux. Using this infrastructure, we investigate area and timing effects of using the new RISC-V core on FPGA and the performance of the new core running microbenchmarks.


title: Varieties of scaling regimes in hydromagnetic turbulence

abstract: We revisit the scaling properties of the energy spectra in fully developed incompressible homogeneous turbulence in forced magnetofluids (MHD) in three dimensions (3D), which are believed to be characterised by {\em universal scaling exponents} in the inertial range. Enumerating these universal scaling exponents that characterise the energy spectra remains a theoretical challenge. To study this, we set up a scaling analysis of the 3D MHD equations, driven by large-scale external forces and with or without a mean magnetic field. We use scaling arguments to bring out various scaling regimes for the energy spectra. We obtain a variety of scaling in the inertial range, ranging from the well-known Kolmogorov spectra in the isotropic 3D ordinary MHD to more complex scaling in the anisotropic cases that depend on the magnitude of the mean magnetic field. We further dwell on the possibility that the energy spectra scales as $k^{-2}$ in the inertial range, where $k$ is a wavevector belonging to the inertial range, and also speculate on unequal scaling by the kinetic and magnetic energy spectra in the inertial range of isotropic 3D ordinary MHD. We predict the possibilities of {\em scale-dependent anisotropy} and intriguing {\em weak dynamic scaling} in the Hall MHD and electron MHD regimes of anisotropic MHD turbulence. Our results can be tested in large scale simulations and relevant laboratory-based and solar wind experiments.


title: Geometrically asymmetric optical cavity for strong atom-photon coupling

abstract: Optical cavities are widely used to enhance the interaction between atoms and light. Typical designs using a geometrically symmetric structure in the near-concentric regime face a tradeoff between mechanical stability and high single-atom cooperativity. To overcome this limitation, we design and implement a geometrically asymmetric standing-wave cavity. This structure, with mirrors of very different radii of curvature, allows strong atom-light coupling while exhibiting good stability against misalignment. We observe effective cooperativities ranging from $\eta_{\rm eff}=10$ to $\eta_{\rm eff}=0.2$ by shifting the location of the atoms in the cavity mode. By loading $^{171}$Yb atoms directly from a mirror magneto-optical trap into a one-dimensional optical lattice along the cavity mode, we produce atomic ensembles with collective cooperativities up to $N\eta=2\times 10^4$. This system opens a way to preparing spin squeezing for an optical lattice clock and to accessing a range of nonclassical collective states.


title: SDN Access Control for the Masses

abstract: The evolution of Software-Defined Networking (SDN) has so far been predominantly geared towards defining and refining the abstractions on the forwarding and control planes. However, despite a maturing south-bound interface and a range of proposed network operating systems, the network management application layer is yet to be specified and standardized. It has currently poorly defined access control mechanisms that could be exposed to network applications. Available mechanisms allow only rudimentary control and lack procedures to partition resource access across multiple dimensions. We address this by extending the SDN north-bound interface to provide control over shared resources to key stakeholders of network infrastructure: network providers, operators and application developers. We introduce a taxonomy of SDN access models, describe a comprehensive design for SDN access control and implement the proposed solution as an extension of the ONOS network controller intent framework.


title: Simulation of dynamical (u,d,s,c) domain-wall/overlap quarks at the physical point

abstract: We perform hybrid Monte-Carlo simulation of $N_f=2+1+1 $ lattice QCD with domain-wall quarks at the physical point. The simulation is carried out on the $ L^3 \times T = 64^3 \times 64 $ lattice with lattice spacing $a \sim 0.064 $ fm ($ L > 4 $ fm, and $ M_\pi L > 3 $), using the Nvidia DGX-1 (8 V100 GPUs interconnected by the NVLink). To attain the maximal chiral symmetry for a finite extent ($N_s=16$) in the fifth dimension, we use the optimal domain-wall fermion for the quark action, together with the exact one-flavor action for domain-wall fermion. We outline the salient features of our simulation (without topology freezing, and small residual mass), together with the preliminary result of the masses of $ \pi^\pm $, $ K^\pm $, and $ D^\pm $.


title: Experimental realization of a fast controlled-Z gate via a shortcut-to-adiabaticity

abstract: For a frequency-tunable two-qubit system, a controlled-Z (CZ) gate can be realized by adiabatically driving the qubit system through an avoided level crossing between an auxiliary state and computational levels. Here, we theoretically propose a fast CZ gate using a shortcut-to-adiabaticity (STA). Experimentally, the STA CZ gate is implemented with a 52 ns control pulse for two coupled superconducting Xmon qubits. Measured fidelity of the STA CZ gate is higher than 96.0%, in both quantum process tomography and randomized benchmarking. The protocol allows a flexible design of the evolution time and control waveform. We suggest that this `fast adiabatic' CZ gate can be directly applied to other multi-qubit quantum systems.


title: Improved Quantum Multicollision-Finding Algorithm

abstract: The current paper improves the number of queries of the previous quantum multi-collision finding algorithms presented by Hosoyamada et al. at Asiacrypt 2017. Let an $l$-collision be a tuple of $l$ distinct inputs that result in the same output of a target function. In cryptology, it is important to study how many queries are required to find $l$-collisions for random functions of which domains are larger than ranges. The previous algorithm finds an $l$-collision for a random function by recursively calling the algorithm for finding $(l-1)$-collisions, and it achieves the average quantum query complexity of $O(N^{(3^{l-1}-1) / (2 \cdot 3^{l-1})})$, where $N$ is the range size of target functions. The new algorithm removes the redundancy of the previous recursive algorithm so that different recursive calls can share a part of computations. The new algorithm finds an $l$-collision for random functions with the average quantum query complexity of $O(N^{(2^{l-1}-1) / (2^{l}-1)})$, which improves the previous bound for all $l\ge 3$ (the new and previous algorithms achieve the optimal bound for $l=2$). More generally, the new algorithm achieves the average quantum query complexity of $O\left(c^{3/2}_N N^{\frac{2^{l-1}-1}{ 2^{l}-1}}\right)$ for a random function $f\colon X\to Y$ such that $|X| \geq l \cdot |Y| / c_N$ for any $1\le c_N \in o(N^{\frac{1}{2^l - 1}})$. With the same query complexity, it also finds a multiclaw for random functions, which is harder to find than a multicollision.


title: Residually Finite Tubular Groups

abstract: A tubular group $G$ is a finite graph of groups with $\mathbb{Z}^2$ vertex groups and $\mathbb{Z}$ edge groups. We characterize residually finite tubular groups: $G$ is residually finite if and only if its edge groups are separable. Methods are provided to determine if $G$ is residually finite. When $G$ has a single vertex group an algorithm is given to determine residual finiteness.


title: Equivariant wrapped Floer homology and symmetric periodic Reeb orbits

abstract: The aim of this article is to apply a Floer theory to study symmetric periodic Reeb orbits. We define positive equivariant wrapped Floer homology using a (anti-)symplectic involution on a Liouville domain and investigate its algebraic properties. By a careful analysis of index iterations, we obtain a non-trivial lower bound on the minimal number of geometrically distinct symmetric periodic Reeb orbits on a certain class of real contact manifolds. This includes non-degenerate real dynamically convex starshaped hypersurfaces in $\mathbb{R}^{2n}$ which are invariant under complex conjugation. As a result, we give a partial answer to the Seifert conjecture on brake orbits in the contact setting.


title: Another Diversity-Promoting Objective Function for Neural Dialogue Generation

abstract: Although generation-based dialogue systems have been widely researched, the response generations by most existing systems have very low diversities. The most likely reason for this problem is Maximum Likelihood Estimation (MLE) with Softmax Cross-Entropy (SCE) loss. MLE trains models to generate the most frequent responses from enormous generation candidates, although in actual dialogues there are various responses based on the context. In this paper, we propose a new objective function called Inverse Token Frequency (ITF) loss, which individually scales smaller loss for frequent token classes and larger loss for rare token classes. This function encourages the model to generate rare tokens rather than frequent tokens. It does not complicate the model and its training is stable because we only replace the objective function. On the OpenSubtitles dialogue dataset, our loss model establishes a state-of-the-art DIST-1 of 7.56, which is the unigram diversity score, while maintaining a good BLEU-1 score. On a Japanese Twitter replies dataset, our loss model achieves a DIST-1 score comparable to the ground truth.


title: Global sensitivity analysis for models described by stochastic differential equations

abstract: Many mathematical models involve input parameters, which are not precisely known. Global sensitivity analysis aims to identify the parameters whose uncertainty has the largest impact on the variability of a quantity of interest. One of the statistical tools used to quantify the influence of each input variable on the quantity of interest are the Sobol' sensitivity indices. In this paper, we consider stochastic models described by stochastic differential equations (SDE). We focus the study on mean quantities, defined as the expectation with respect to the Wiener measure of a quantity of interest related to the solution of the SDE itself. Our approach is based on a Feynman-Kac representation of the quantity of interest, from which we get a parametrized partial differential equation (PDE) representation of our initial problem. We then handle the uncertainty on the parametrized PDE using polynomial chaos expansion and a stochastic Galerkin projection.


title: An interpretable multiple kernel learning approach for the discovery of integrative cancer subtypes

abstract: Due to the complexity of cancer, clustering algorithms have been used to disentangle the observed heterogeneity and identify cancer subtypes that can be treated specifically. While kernel based clustering approaches allow the use of more than one input matrix, which is an important factor when considering a multidimensional disease like cancer, the clustering results remain hard to evaluate and, in many cases, it is unclear which piece of information had which impact on the final result. In this paper, we propose an extension of multiple kernel learning clustering that enables the characterization of each identified patient cluster based on the features that had the highest impact on the result. To this end, we combine feature clustering with multiple kernel dimensionality reduction and introduce FIPPA, a score which measures the feature cluster impact on a patient cluster. Results: We applied the approach to different cancer types described by four different data types with the aim of identifying integrative patient subtypes and understanding which features were most important for their identification. Our results show that our method does not only have state-of-the-art performance according to standard measures (e.g., survival analysis), but, based on the high impact features, it also produces meaningful explanations for the molecular bases of the subtypes. This could provide an important step in the validation of potential cancer subtypes and enable the formulation of new hypotheses concerning individual patient groups. Similar analysis are possible for other disease phenotypes.


title: Bi-Adversarial Auto-Encoder for Zero-Shot Learning

abstract: Existing generative Zero-Shot Learning (ZSL) methods only consider the unidirectional alignment from the class semantics to the visual features while ignoring the alignment from the visual features to the class semantics, which fails to construct the visual-semantic interactions well. In this paper, we propose to synthesize visual features based on an auto-encoder framework paired with bi-adversarial networks respectively for visual and semantic modalities to reinforce the visual-semantic interactions with a bi-directional alignment, which ensures the synthesized visual features to fit the real visual distribution and to be highly related to the semantics. The encoder aims at synthesizing real-like visual features while the decoder forces both the real and the synthesized visual features to be more related to the class semantics. To further capture the discriminative information of the synthesized visual features, both the real and synthesized visual features are forced to be classified into the correct classes via a classification network. Experimental results on four benchmark datasets show that the proposed approach is particularly competitive on both the traditional ZSL and the generalized ZSL tasks.


title: The first detection of radio recombination lines at cosmological distances

abstract: Recombination lines involving high principal quantum numbers populate the radio spectrum in large numbers. Low-frequency (<1 GHz) observations of radio recombination lines (RRLs) primarily from carbon and hydrogen offer a new, if not unique, way to probe cold, largely atomic gas and warm, ionised gas in other galaxies. Furthermore, RRLs can be used to determine the physical state of the emitting regions, such as temperature and density. These properties make RRLs, potentially, a powerful tool of extragalactic ISM physics. At low radio frequencies, its conceivable to detect RRLs out to cosmological distances when illuminated by a strong radio continuum. However, they are extremely faint (tau ~ 1e-3 -- 1e-4) and have so far eluded detection outside of the local universe. With LOFAR observations of the radio quasar 3C 190 (z=1.1946), we aim to demonstrate that the ISM can be explored out to great distances through low-frequency RRLs. We report the detection of RRLs in the frequency range 112--163 MHz in the spectrum of 3C 190. Stacking 13 a-transitions with principal quantum numbers n=266-301, a peak 6sigma feature of optical depth, tau(peak) = (1.0 +\- 0.2) x 1e-3 and FWHM = 31.2 +/- 8.3 km/s was found at z=1.124. This corresponds to a velocity offset of -9965 km/s with respect to the systemic redshift of 3C 190. We consider three interpretations of the origin of the RRL emission: an intervening dwarf-like galaxy, an AGN-driven outflow, and the inter-galactic medium. We argue that the RRLs most likely originate in a dwarf-like galaxy (M ~ 1e9 Msun) along the line of sight, although we cannot rule out an AGN-driven outflow. We do find the RRLs to be inconsistent with an inter-galactic medium origin. With this detection, we have opened up a new way to study the physical properties of cool, diffuse gas out to cosmological distances.


title: Phase diffusion and the small-noise approximation in linear amplifiers: Limitations and beyond

abstract: The phase of an optical field inside a linear amplifier is widely known to diffuse with a diffusion coefficient that is inversely proportional to the photon number. The same process occurs in lasers which limits its intrinsic linewidth and makes the phase uncertainty difficult to calculate. The most commonly used simplification is to assume a narrow photon-number distribution for the optical field (which we call the small-noise approximation). For coherent light, this condition is determined by the average photon number. The small-noise approximation relies on (i) the input to have a good signal-to-noise ratio, and (ii) that such a signal-to-noise ratio can be maintained throughout the amplification process. Here we ask: For a coherent input, how many photons must be present in the input to a quantum linear amplifier for the phase noise at the output to be amenable to a small-noise analysis? We address these questions by showing how the phase uncertainty can be obtained without recourse to the small-noise approximation. It is shown that for an ideal linear amplifier (i.e. an amplifier most favourable to the small-noise approximation), the small-noise approximation breaks down with only a few photons on average. Interestingly, when the input strength is increased to tens of photons, the small-noise approximation can be seen to perform much better and the process of phase diffusion permits a small-noise analysis. This demarcates the limit of the small-noise assumption in linear amplifiers as such an assumption is less true for a nonideal amplifier.


title: Pyramid Embedded Generative Adversarial Network for Automated Font Generation

abstract: In this paper, we investigate the Chinese font synthesis problem and propose a Pyramid Embedded Generative Adversarial Network (PEGAN) to automatically generate Chinese character images. The PEGAN consists of one generator and one discriminator. The generator is built using one encoder-decoder structure with cascaded refinement connections and mirror skip connections. The cascaded refinement connections embed a multiscale pyramid of downsampled original input into the encoder feature maps of different layers, and multi-scale feature maps from the encoder are connected to the corresponding feature maps in the decoder to make the mirror skip connections. Through combining the generative adversarial loss, pixel-wise loss, category loss and perceptual loss, the generator and discriminator can be trained alternately to synthesize character images. In order to verify the effectiveness of our proposed PEGAN, we first build one evaluation set, in which the characters are selected according to their stroke number and frequency of use, and then use both qualitative and quantitative metrics to measure the performance of our model comparing with the baseline method. The experimental results demonstrate the effectiveness of our proposed model, it shows the potential to automatically extend small font banks into complete ones.


title: Observation of Magnetopiezoelectric Effect in Antiferromagnetic Metal EuMnBi2

abstract: We have experimentally studied a magnetopiezoelectric effect predicted recently for magnetic metals with low crystal symmetries. In EuMnBi2 with antiferromagnetic Mn moments at 77 K, dynamic displacements emerge along the $a$ direction upon application of ac electric fields in the $c$ direction, and increase in proportion to the applied electric fields. Such displacements are not observed along the $c$ direction of EuMnBi2 or EuZnBi2 with nonmagnetic Zn ions. As temperature increases from 77 K, the displacement signals decrease and disappear at about 200 K, above which electric conduction changes from coherent to incoherent. These results demonstrate the emergence of the magnetopiezoelectric effect in a magnetic metal lacking inversion and time-reversal symmetries.


title: Effective diffusivity of microswimmers in a crowded environment

abstract: The microalga Chlamydomonas Reinhardtii (CR) is used here as a model system to study the effect of complex environments on the swimming of micro-organisms. Its motion can be modelled by a run and tumble mechanism so that it describes a persistent random walk from which we can extract an effective diffusion coefficient for the large-time dynamics. In our experiments, the complex medium consists in a series of pillars that are designed in a regular lattice using soft lithography microfabrication. The cells are then introduced in the lattice, and their trajectories within the pillars are tracked and analyzed. The effect of the complex medium on the swimming behaviour of microswimmers is analyzed through the measure of relevant statistical observables. In particular, the mean correlation time of direction and the effective diffusion coefficient are shown to decrease when increasing the density of pillars. This provides some bases of understanding for active matter in complex environments.


title: Faster First-Order Methods for Stochastic Non-Convex Optimization on Riemannian Manifolds

abstract: SPIDER (Stochastic Path Integrated Differential EstimatoR) is an efficient gradient estimation technique developed for non-convex stochastic optimization. Although having been shown to attain nearly optimal computational complexity bounds, the SPIDER-type methods are limited to linear metric spaces. In this paper, we introduce the Riemannian SPIDER (R-SPIDER) method as a novel nonlinear-metric extension of SPIDER for efficient non-convex optimization on Riemannian manifolds. We prove that for finite-sum problems with $n$ components, R-SPIDER converges to an $\epsilon$-accuracy stationary point within $\mathcal{O}\big(\min\big(n+\frac{\sqrt{n}}{\epsilon^2},\frac{1}{\epsilon^3}\big)\big)$ stochastic gradient evaluations, which is sharper in magnitude than the prior Riemannian first-order methods. For online optimization, R-SPIDER is shown to converge with $\mathcal{O}\big(\frac{1}{\epsilon^3}\big)$ complexity which is, to the best of our knowledge, the first non-asymptotic result for online Riemannian optimization. Especially, for gradient dominated functions, we further develop a variant of R-SPIDER and prove its linear convergence rate. Numerical results demonstrate the computational efficiency of the proposed methods.


title: Energy, linear and angular momentum of light: what do we measure?

abstract: The most commonly observed quantity related to light is its power or equivalently its energy. It can be either measured with a bolometer, a photodiode or estimated with the naked eye. Alternatively people can measure the light impulse or linear momentum. However, linear momentum is characterized by its transfer to matter, and its precise value is most of the time of little use. Energy and linear momentum are linked and can be deduced from each other, from a theoretical point of view. Because the linear momentum measurement is more difficult, energy is the most often measured quantity. In every physical process, angular momentum, like energy and linear momentum is conserved. However, it is independent and can't be deduced from the energy or the linear momentum. It can only be estimated via its transfer to matter using a torque observation. Nevertheless , experimentally, the torque is found to be proportional to the optical power. This leads to a need of a quantum interpretation of the optical field in terms of photons. Clear experimental evidences and consequences are presented here and debated. light temperature rotation $\theta$ velocity energy flux light angular momentum light radiation pressure


title: Improving Sequence-to-Sequence Acoustic Modeling by Adding Text-Supervision

abstract: This paper presents methods of making using of text supervision to improve the performance of sequence-to-sequence (seq2seq) voice conversion. Compared with conventional frame-to-frame voice conversion approaches, the seq2seq acoustic modeling method proposed in our previous work achieved higher naturalness and similarity. In this paper, we further improve its performance by utilizing the text transcriptions of parallel training data. First, a multi-task learning structure is designed which adds auxiliary classifiers to the middle layers of the seq2seq model and predicts linguistic labels as a secondary task. Second, a data-augmentation method is proposed which utilizes text alignment to produce extra parallel sequences for model training. Experiments are conducted to evaluate our proposed method with training sets at different sizes. Experimental results show that the multi-task learning with linguistic labels is effective at reducing the errors of seq2seq voice conversion. The data-augmentation method can further improve the performance of seq2seq voice conversion when only 50 or 100 training utterances are available.


title: Gravitational Decoupled Anisotropic Solutions in $f(\mathcal{G})$ Gravity

abstract: In this paper, we investigate anisotropic static spherically symmetric solutions in the framework of $f(\mathcal{G})$ gravity through gravitational decoupling approach. For this purpose, we consider Krori and Barua (known solution) isotropic interior solution for static spherically symmetric self-gravitating system and extend it to two types of anisotropic solutions. We examine the physical viability of our models through energy conditions, squared speed of sound and anisotropy parameter. It is found that the first solution is physically viable as it fulfills the energy bounds as well as stability criteria while the second solution satisfies all energy bounds but is unstable at the core of the compact star.


title: Action growth rates of black holes in the Chern-Simons modified gravity

abstract: Among many modified gravity theories, the Chern-Simons modified gravity stands out as one of the few examples whose Dirichlet boundary problem has been well studied. Known solutions to this theory include the Schwarzschild black hole and a slowly rotating black hole. Making use of the Dirichlet boundary term of this theory, we calculate the late-time action growth rates of the Wheeler-DeWitt patch for the Schwarzschild and the slowly rotating solutions. In light of the conjecture of complexity/action duality, the result has implications on the quantum complexity of a state in the dual field theory.


title: The geometric Cauchy problem for rank-one submanifolds

abstract: Given a smooth distribution $\mathscr{D}$ of $m$-dimensional planes along a smooth regular curve $\gamma$ in $\mathbb{R}^{m+n}$, we consider the following problem: to find an $m$-dimensional rank-one submanifold of $\mathbb{R}^{m+n}$, that is, an $(m-1)$-ruled submanifold with constant tangent space along the rulings, such that its tangent bundle along $\gamma$ coincides with $\mathscr{D}$. In particular, we give sufficient conditions for the local well-posedness of the problem, together with a parametric description of the solution.


title: Sequence-based Person Attribute Recognition with Joint CTC-Attention Model

abstract: Attribute recognition has become crucial because of its wide applications in many computer vision tasks, such as person re-identification. Like many object recognition problems, variations in viewpoints, illumination, and recognition at far distance, all make this task challenging. In this work, we propose a joint CTC-Attention model (JCM), which maps attribute labels into sequences to learn the semantic relationship among attributes. Besides, this network uses neural network to encode images into sequences, and employs connectionist temporal classification (CTC) loss to train the network with the aim of improving the encoding performance of the network. At the same time, it adopts the attention model to decode the sequences, which can realize aligning the sequences and better learning the semantic information from attributes. Extensive experiments on three public datasets, i.e., Market-1501 attribute dataset, Duke attribute dataset and PETA dataset, demonstrate the effectiveness of the proposed method.


title: Traffic-aware Threshold Adjustment for NFV Scaling using DDPG

abstract: Current solutions mostly focus on how to predict traffic, rather than observing traffic characteristics in a specific NFV scenario. So, most of them use a uniform threshold to scale in/out. In real NFV scenario, each VNF may serve the one or more flows, and the characteristics of these flows are completely different, a uniform threshold used in this scenario is not suitable, because each VNF has a distinct processing logic depending on incident network traffic and events. Even if certain VNFs share packet processing functionality such as packet header analysis, the differences in upper-layer processing and implementation can exhibit unique resource usage patterns. We proposes a dynamic threshold scaling mechanism that can tailor thresholds according to each VNF's characteristic. As setting thresholds is a per-VNF task, and requires a deep understanding of workload trends and the diversity of each VNF, so we have added tailor-made features to the traditional dynamic mechanism. Besides, we also reserve resources by predicting workload and add an emergency module to cope with anomaly traffic, that is to say we develop a hybrid scaling policy combining proactive and reactive scaling together. Moreover, the sharp rise of network traffic not only can be caused by large amount of new incoming flows, but also can be induced by the growing of existing flows. If the traffic arises mainly due to the growing of existing flows, then only rerouting new flows can not alleviate the overload quickly and SLAs may be violated \cite{zhang2016co}. The only method to avoid SLA violations is to migrate flows and associated NF internal states quickly and safely from existing instances to new scaled instances, so state migration is an important part of the scaling procedure. We achieved the flow migration in scaling process on openNF to guarantee the accuracy and timeline of scaling.


title: Limited Gradient Descent: Learning With Noisy Labels

abstract: Label noise may affect the generalization of classifiers, and the effective learning of main patterns from samples with noisy labels is an important challenge. Recent studies have shown that deep neural networks tend to prioritize the learning of simple patterns over the memorization of noise patterns. This suggests a possible method to search for the best generalization that learns the main pattern until the noise begins to be memorized. Traditional approaches often employ a clean validation set to find the best stop timing of learning, i.e., early stopping. However, the generalization performance of such methods relies on the quality of validation sets. Further, in practice, a clean validation set is sometimes difficult to obtain. To solve this problem, we propose a method that can estimate the optimal stopping timing without a clean validation set, called limited gradient descent. We modified the labels of a few samples in a noisy dataset to obtain false labels and to create a reverse pattern. By monitoring the learning progress of the noisy and reverse samples, we can determine the stop timing of learning. In this paper, we also theoretically provide some necessary conditions on learning with noisy labels. Experimental results on CIFAR-10 and CIFAR-100 datasets demonstrate that our approach has a comparable generalization performance to methods relying on a clean validation set. Thus, on the noisy Clothing-1M dataset, our approach surpasses methods that rely on a clean validation set.


title: Implications of the detection of primordial gravitational waves for the Standard Model

abstract: The detection of primordial gravitational waves would not only have extraordinary implications for our understanding of early cosmology, but would also give non-trivial constraints on Standard Model parameters, under the assumption that no new physics enters below the Higgs instability scale. We study the resulting bounds on the top quark mass and the strong coupling constant, discussing their theoretical uncertainties and their robustness against changes in other parameters.


title: Wireless Communications with Programmable Metasurface: Transceiver Design and Experimental Results

abstract: Metasurfaces have drawn significant attentions due to their superior capability in tailoring electromagnetic waves with a wide frequency range, from microwave to visible light. Recently, programmable metasurfaces have demonstrated the ability of manipulating the amplitude or phase of electromagnetic waves in a programmable manner in real time, which renders them especially appealing in the applications of wireless communications. To practically demonstrate the feasibility of programmable metasurfaces in future communication systems, in this paper, we design and realize a novel metasurface-based wireless communication system. By exploiting the dynamically controllable property of programmable metasurface, we firstly introduce the fundamental principle of the metasurface-based wireless communication system design. We then present the design, implementation and experimental evaluation of the proposed metasurface-based wireless communication system with a prototype, which realizes single carrier quadrature phase shift keying (QPSK) transmission over the air. In the developed prototype, the phase of the reflected electromagnetic wave of programmable metasurface is directly manipulated in real time according to the baseband control signal, which achieves 2.048 Mbps data transfer rate with video streaming transmission over the air. Experimental result is provided to compare the performance of the proposed metasurface-based architecture against the conventional one. With the slight increase of the transmit power by 5 dB, the same bit error rate (BER) performance can be achieved as the conventional system in the absence of channel coding. Such a result is encouraging considering that the metasurface-based system has the advantages of low hardware cost and simple structure, thus leading to a promising new architecture for wireless communications.


title: Explaining Latent Factor Models for Recommendation with Influence Functions

abstract: Latent factor models (LFMs) such as matrix factorization achieve the state-of-the-art performance among various Collaborative Filtering (CF) approaches for recommendation. Despite the high recommendation accuracy of LFMs, a critical issue to be resolved is the lack of explainability. Extensive efforts have been made in the literature to incorporate explainability into LFMs. However, they either rely on auxiliary information which may not be available in practice, or fail to provide easy-to-understand explanations. In this paper, we propose a fast influence analysis method named FIA, which successfully enforces explicit neighbor-style explanations to LFMs with the technique of influence functions stemmed from robust statistics. We first describe how to employ influence functions to LFMs to deliver neighbor-style explanations. Then we develop a novel influence computation algorithm for matrix factorization with high efficiency. We further extend it to the more general neural collaborative filtering and introduce an approximation algorithm to accelerate influence analysis over neural network models. Experimental results on real datasets demonstrate the correctness, efficiency and usefulness of our proposed method.


title: Ordering kinetics in q-state clock model: scaling properties and growth laws

abstract: We present a comprehensive Monte Carlo study of the ordering kinetics in the $d=2$ ferromagnetic $q$-state clock model with nonconserved Glauber dynamics. In agreement with previous studies we find that $q \geqslant 5$ is characterized by two phase transitions occurring at temperatures $T_{c}^1$ and $T_{c}^2$ ($T_{c}^2<T_{c}^1$). Phase ordering kinetics is then investigated by rapidly quenching the system in two phases, in the quasi-long range ordered phase (QLRO) where $T_{c}^2<T<T_{c}^1$ and in the long-range ordered phase (LRO) where $T<T_{c}^2$; $T$ being the quench temperature. Our numerical data for equal time spatial correlation function $C(\textbf{r},t)$ and structure factor $S(k,t)$ support dynamical scaling. Quench in the LRO regime is characterized by a crossover from a preasymptotic growth driven by the annealing of both vortices and interfaces to an interface driven growth at the asymptotic regime with growth exponent $n\simeq 0.5$. In the QLRO quench regime, domains coarsen mainly via annihilation of point defects and our length scale data for $q$ = 9, 12, and 20 suggests a $R(t) \sim (t/\ln t)^{1/2}$ growth law for the $q$-state clock model in the QLRO phase.


title: Compact Disjunctive Approximations to Nonconvex Quadratically Constrained Programs

abstract: Decades of advances in mixed-integer linear programming (MILP) and recent development in mixed-integer second-order-cone programming (MISOCP) have translated very mildly to progresses in global solving nonconvex mixed-integer quadratically constrained programs (MIQCP). In this paper we propose a new approach, namely Compact Disjunctive Approximation (CDA), to approximate nonconvex MIQCP to arbitrary precision by \textit{convex} MIQCPs, which can be solved by MISOCP solvers. For nonconvex MIQCP with $n$ variables and $m$ general quadratic constraints, our method yields relaxations with at most $O(n\log(1/\varepsilon))$ number of continuous/binary variables and linear constraints, together with $m$ \textit{convex} quadratic constraints, where $\varepsilon$ is the approximation accuracy. The main novelty of our method lies in a very compact lifted mixed-integer formulation for approximating the (scalar) square function. This is derived by first embedding the square function into the boundary of a three-dimensional second-order cone, and then exploiting rotational symmetry in a similar way as in the construction of BenTal-Nemirovski approximation. We further show that this lifted formulation characterize the union of finite number of simple convex sets, which naturally relax the square function in a piecewise manner with properly placed knots. We implement (with JuMP) a simple adaptive refinement algorithm. Numerical experiments on synthetic instances used in the literature show that our prototypical implementation (with hundreds of lines of Julia code) can already close a significant portion of gap left by various state-of-the-art global solvers on more difficult instances, indicating strong promises of our proposed approach.


title: Additive atomic approximation for relativistic effects: a two-component Hamiltonian for molecular electronic structure calculations

abstract: An approximate relativistic two-component Hamiltonian for use in molecular electronic structure calculations is derived in the form of a sum of fixed atom-centered kinetic and spin-orbit operators added to the non-relativistic Hamiltonian. Starting from the well-known zeroth-order regular approximation, further steps are taken to get rid of its nonlinearity in the potential, ending up with a simple formulation with easily computable integrals that can seamlessly work with any traditional electronic structure method. Molecular tests show a good accuracy of this approximation.


title: Probing vorticity in heavy ion collision with dilepton production

abstract: We study the effect of vorticity present in heavy ion collisions (HICs) on the temperature evolution of hot quark-gluon plasma in the presence of spin-vorticity coupling. The initial global rotation entails a nontrivial dependence of the longitudinal flow velocity on the transverse coordinates and also develops a transverse velocity component that depends upon the longitudinal coordinate. Both of these velocities lead to a 2+1 dimensional expansion of the fireball. It is observed that with finite vorticity and spin-polarization the fireball cools faster as compared to the case without vorticity. Furthermore, we discuss the consequence of this on the production of thermal dileptons.


title: Triangle-like inequalities related to coherence and entanglement negativity

abstract: Quantum coherence and entanglement are two key features in quantum mechanics and play important roles in quantum information processing and quantum computation. We provide a general triangle-like inequality satisfied by the $l_1$-norm measure of coherence for convex combination of arbitrary $n$ pure states of a quantum state $\rho$. Furthermore, we present triangle-like inequality for the convex-roof extended negativity for any states of rank 2, which gives a positive answer to a conjecture raised in [Phys. Rev. A 96, 062308 (2017)]. Detailed examples are given to illustrate the relations characterized by the triangle-like inequalities.


title: Adversarial Feedback Loop

abstract: Thanks to their remarkable generative capabilities, GANs have gained great popularity, and are used abundantly in state-of-the-art methods and applications. In a GAN based model, a discriminator is trained to learn the real data distribution. To date, it has been used only for training purposes, where it's utilized to train the generator to provide real-looking outputs. In this paper we propose a novel method that makes an explicit use of the discriminator in test-time, in a feedback manner in order to improve the generator results. To the best of our knowledge it is the first time a discriminator is involved in test-time. We claim that the discriminator holds significant information on the real data distribution, that could be useful for test-time as well, a potential that has not been explored before. The approach we propose does not alter the conventional training stage. At test-time, however, it transfers the output from the generator into the discriminator, and uses feedback modules (convolutional blocks) to translate the features of the discriminator layers into corrections to the features of the generator layers, which are used eventually to get a better generator result. Our method can contribute to both conditional and unconditional GANs. As demonstrated by our experiments, it can improve the results of state-of-the-art networks for super-resolution, and image generation.


title: Deep Auto-Set: A Deep Auto-Encoder-Set Network for Activity Recognition Using Wearables

abstract: Automatic recognition of human activities from time-series sensor data (referred to as HAR) is a growing area of research in ubiquitous computing. Most recent research in the field adopts supervised deep learning paradigms to automate extraction of intrinsic features from raw signal inputs and addresses HAR as a multi-class classification problem where detecting a single activity class within the duration of a sensory data segment suffices. However, due to the innate diversity of human activities and their corresponding duration, no data segment is guaranteed to contain sensor recordings of a single activity type. In this paper, we express HAR more naturally as a set prediction problem where the predictions are sets of ongoing activity elements with unfixed and unknown cardinality. For the first time, we address this problem by presenting a novel HAR approach that learns to output activity sets using deep neural networks. Moreover, motivated by the limited availability of annotated HAR datasets as well as the unfortunate immaturity of existing unsupervised systems, we complement our supervised set learning scheme with a prior unsupervised feature learning process that adopts convolutional auto-encoders to exploit unlabeled data. The empirical experiments on two widely adopted HAR datasets demonstrate the substantial improvement of our proposed methodology over the baseline models.


title: Formal FocusST Specification of CAN

abstract: This paper presents a formal specification of the Controller Area Network (CAN) protocol using FocusST framework. We formally describe core components of the protocol, which provides a basis for further formal analysis using the Isabelle/HOL theorem prover.


title: Alignment Analysis of Sequential Segmentation of Lexicons to Improve Automatic Cognate Detection

abstract: Ranking functions in information retrieval are often used in search engines to recommend the relevant answers to the query. This paper makes use of this notion of information retrieval and applies onto the problem domain of cognate detection. The main contributions of this paper are: (1) positional segmentation, which incorporates the sequential notion; (2) graphical error modelling, which deduces the transformations. The current research work focuses on classification problem; which is distinguishing whether a pair of words are cognates. This paper focuses on a harder problem, whether we could predict a possible cognate from the given input. Our study shows that when language modelling smoothing methods are applied as the retrieval functions and used in conjunction with positional segmentation and error modelling gives better results than competing baselines, in both classification and prediction of cognates. Source code is at: https://github.com/pranav-ust/cognates


title: Blowup stability at optimal regularity for the critical wave equation

abstract: We establish Strichartz estimates for the radial energy-critical wave equation in 5 dimensions in similarity coordinates. Using these, we prove the nonlinear asymptotic stability of the ODE blowup in the energy space.


title: FAR-Cubicle - A new reachability algorithm for Cubicle

abstract: We present a fully automatic algorithm for verifying safety properties of parameterized software systems. This algorithm is based on both IC3 and Lazy Annotation. We implemented it in Cubicle, a model checker for verifying safety properties of array-based systems. Cache-coherence protocols and mutual exclusion algorithms are known examples of such systems. Our algorithm iteratively builds an abstract reachability graph refining the set of reachable states from counterexamples. Refining is made through counterexample approximation. We show the effectiveness and limitations of this algorithm and tradeoffs that results from it.


title: The Zero-Difference Properties of Functions and Their Applications

abstract: A function $f$ from an Abelian group $(A,+)$ to an Abelian group $(B,+)$ is $(n, m, S)$ zero-difference (ZD), if $S=\{\lambda_\alpha \mid \alpha \in A\setminus\{0\}\}$ where $n=|A|$, $m=|f(A)|$ and $\lambda_\alpha=|\{x \in A \mid f(x+\alpha)=f(x)\}|$. A function is called zero-difference balanced (ZDB) if $S=\{\lambda\}$ where $\lambda$ is a constant number. ZDB functions have many good applications. However it is point out that many known zero-difference balanced functions are already given in the language of partitioned difference family (PDF). The problem that whether zero-difference "not balanced" functions still have good applications as ZDB functions, is investigated in this paper. By using the change point technic, zero-difference functions with good applications are constructed from known ZDB function. Then optimal difference systems of sets (DSS) and optimal frequency-hopping sequences (FHS) are obtained with new parameters. Furthermore the sufficient and necessary conditions of these being optimal, are given.


title: Combined frequency and time domain measurements on injection-locked, constriction-based spin Hall nano-oscillators

abstract: We demonstrate a combined frequency and time domain investigation of injection-locked, constriction-based spin Hall nano-oscillators by Brillouin light scattering (BLS) and time-resolved magneto-optical Kerr effect (TR-MOKE). This was achieved by applying an alternating current in the GHz regime in addition to the direct current which drives auto-oscillations in the constriction. In the frequency domain, we analyze the width of the locking range, the increase in intensity and reduction in linewidth as a function of the applied direct current. Then we show that the injection locking of the auto-oscillation allows for its investigation by TR-MOKE measurements, a stroboscopic technique that relies on a phase stable excitation, in this case given by the synchronisation to the microwave current. Field sweeps at different direct currents clearly demonstrate the impact of the spin current on the Kerr amplitude. Two-dimensional TR-MOKE and BLS maps show a strong localization of the auto-oscillation within the constriction, independent of the external locking.


title: A Practical Mode System for Recursive Definitions

abstract: In call-by-value languages, some mutually-recursive value definitions can be safely evaluated to build recursive functions or cyclic data structures, but some definitions (let rec x = x + 1) contain vicious circles and their evaluation fails at runtime. We propose a new static analysis to check the absence of such runtime failures. We present a set of declarative inference rules, prove its soundness with respect to the reference source-level semantics of Nordlander, Carlsson, and Gill (2008), and show that it can be (right-to-left) directed into an algorithmic check in a surprisingly simple way. Our implementation of this new check replaced the existing check used by the OCaml programming language, a fragile syntactic/grammatical criterion which let several subtle bugs slip through as the language kept evolving. We document some issues that arise when advanced features of a real-world functional language (exceptions in first-class modules, GADTs, etc.) interact with safety checking for recursive definitions.


title: Disentangling boson peaks and Van Hove singularities in a model glass

abstract: Using the example of a two-dimensional macroscopic model glass in which the interparticle forces can be precisely measured, we obtain strong hints for resolving a controversy concerning the origin of the anomalous enhancement of the vibrational spectrum in glasses (boson peak). Whereas many authors attribute this anomaly to the structural disorder, some other authors claim that the short-range order, leading to washed-out Van Hove singularities, would cause the boson-peak anomaly. As in our model system, the disorder-induced and shortrange--order-induced features can be completely separated, we are able to discuss the controversy about the boson peak in real glasses in a new light. Our findings suggest that the interpretation of the boson peak in terms of short-range order only, might result from a coincidence of the two phenomena in the materials studied. In general, as we show, the two phenomena both exist, but are two completely separate entities.


title: The Dipole Anisotropy of Galactic Cosmic Rays

abstract: The arrival directions of Galactic cosmic rays exhibit anisotropies up to the level of one per-mille over various angular scales. Recent observations of TeV-PeV cosmic rays show that the dipole anisotropy has a strong energy dependence with a phase-flip around 100 TeV. We argue that this behavior can be well understood by the combination of various effects: the anisotropic diffusion of cosmic rays, the presence of nearby sources, the Compton-Getting effect from our relative motion and the reconstruction bias of ground-based observatories.


title: Martingale approach to Sobolev embedding theorems

abstract: We prove a martingale analog of van Schaftingen's theorem and give sharp estimates on the lower Hausdorff dimension of measures in martingale shift invariant spaces. We also provide martingale analogs of trace theorems for Sobolev functions.


title: Learning to Detect Instantaneous Changes with Retrospective Convolution and Static Sample Synthesis

abstract: Change detection has been a challenging visual task due to the dynamic nature of real-world scenes. Good performance of existing methods depends largely on prior background images or a long-term observation. These methods, however, suffer severe degradation when they are applied to detection of instantaneously occurred changes with only a few preceding frames provided. In this paper, we exploit spatio-temporal convolutional networks to address this challenge, and propose a novel retrospective convolution, which features efficient change information extraction between the current frame and frames from historical observation. To address the problem of foreground-specific over-fitting in learning-based methods, we further propose a data augmentation method, named static sample synthesis, to guide the network to focus on learning change-cued information rather than specific spatial features of foreground. Trained end-to-end with complex scenarios, our framework proves to be accurate in detecting instantaneous changes and robust in combating diverse noises. Extensive experiments demonstrate that our proposed method significantly outperforms existing methods.


title: Adversarial point set registration

abstract: We present a novel approach to point set registration which is based on one-shot adversarial learning. The idea of the algorithm is inspired by recent successes of generative adversarial networks. Treating the point clouds as three-dimensional probability distributions, we develop a one-shot adversarial optimization procedure, in which we train a critic neural network to distinguish between source and target point sets, while simultaneously learning the parameters of the transformation to trick the critic into confusing the points. In contrast to most existing algorithms for point set registration, ours does not rely on any correspondences between the point clouds. We demonstrate the performance of the algorithm on several challenging benchmarks and compare it to the existing baselines.


title: Discovery of Red-shifted He-like Iron Absorption Line from Luminous Accreting Neutron Star SMC X-1

abstract: We have analyzed X-ray data of SMC X-1 obtained with \textit{Suzaku}, and discovered a combination of an absorption line and an underlying broadened emission line centered at 6.4 keV in an observation performed on May 19, 2012. This absorption line is centered at $6.61_{-0.03}^{+0.02}$~keV with an absorption strength of $5.9_{-1.4}^{+1.7}$, naturally interpreted as an He$_{\alpha}$ resonance line of Fe at 6.7~keV that has a redshift of $4000_{-1300}^{+1400}\;\mathrm{km\;s^{-1}}$. Although \textit{Suzaku} observed this system ten times during 11 months in 2011--2012, the absorption feature has been seen only in a single observation when the NS was in a rising phase of the super-orbital modulation, which can be regarded as an egress from occultation by an extended accretion disk. We therefore attribute the line to a low density, highly ionized absorber in an accretion disk corona arising from the disk illuminated by the NS's intense X-rays. This interpretation also agrees with a discussion on the photoionization degree and the line depth.


title: A general framework for quantum splines

abstract: Quantum splines are curves in a Hilbert space or, equivalently, in the corresponding Hilbert projective space, which generalize the notion of Riemannian cubic splines to the quantum domain. In this paper, we present a generalization of this concept to general density matrices with a Hamiltonian approach and using a geometrical formulation of quantum mechanics. Our main goal is to formulate an optimal control problem for a nonlinear system on the dual of the Lie algebra of the unitary group which corresponds to the variational problem of quantum splines. The corresponding Hamiltonian equations and interpolation conditions are derived. The results are illustrated with some examples and the corresponding quantum splines are computed with the implementation of a suitable iterative algorithm


title: On an Index Theorem of Chang, Weinberger and Yu

abstract: In this paper we prove a strengthening of a theorem of Chang, Weinberger and Yu on obstructions to the existence of positive scalar curvature metrics on compact manifolds with boundary. They construct a relative index for the Dirac operator, which lives in a relative K-theory group, measuring the difference between the fundamental group of the boundary and of the full manifold. Whenever the Riemannian metric has product structure and positive scalar curvature near the boundary, one can define an absolute index of the Dirac operator taking value in the K-theory of the C*-algebra of fundamental group of the full manifold. This index depends on the metric near the boundary. We prove that the relative index of Chang, Weinberger and Yu is the image of this absolute index under the canonical map of K-theory groups. This has the immediate corollary that positive scalar curvature on the whole manifold implies vanishing of the relative index, giving a conceptual and direct proof of the vanishing theorem of Chang, Weinberger, and Yu. To take the fundamental groups of the manifold and its boundary into account requires working with maximal C* completions of the involved *-algebras. A significant part of this paper is devoted to foundational results regarding these completions.


title: StarStar Models: Process Analysis on top of Databases

abstract: Much time in process mining projects is spent on finding and understanding data sources and extracting the event data needed. As a result, only a fraction of time is spent actually applying techniques to discover, control and predict the business process. Moreover, there is a lack of techniques to display relationships on top of databases without the need to express a complex query to get the required information. In this paper, a novel modeling technique that works on top of databases is presented. This technique is able to show a multigraph representing activities inferred from database events, connected with edges that are annotated with frequency and performance information. The representation may be the entry point to apply advanced process mining techniques that work on classic event logs, as the model provides a simple way to retrieve a classic event log from a specified piece of model. Comparison with similar techniques and an empirical evaluation are provided.


title: On the combinatorics of partition functions in AdS3/LCFT2

abstract: Three-dimensional Topologically Massive Gravity at its critical point has been conjectured to be holographically dual to a Logarithmic CFT. However, many details of this correspondence are still lacking. In this work, we study the 1-loop partition function of Critical Cosmological Topologically Massive Gravity, previously derived by Gaberdiel, Grumiller and Vassilevich, and show that it can be usefully rewritten as a Bell polynomial expansion. We also show that there is a relationship between this Bell polynomial expansion and the Plethystic Exponential. Our reformulation allows us to match the TMG partition function to states on the CFT side, including the multi-particle states of t (the logarithmic partner of the CFT stress tensor) which had previously been elusive. We also discuss the appearance of a ladder action between the different multi-particle sectors in the partition function, which induces an interesting sl(2) structure on the n-particle components of the partition function.


title: Stratified pooling games: an extension with optimized stock levels

abstract: We consider a natural extension of stratified pooling games, by allowing players to optimize on the stock level of the joint spare parts pool as well. It is known that such type of extension can break the core non-emptiness result for spare parts pooling games. However, we are able to show core non-emptiness for our game.


title: 3D Aeronomy Modeling of Close-in Exoplanets

abstract: We present a 3D fully selfconsistent multi-fluid hydrodynamic aeronomy model to study the structure of a hydrogen dominated expanding upper atmosphere around the hot Jupiter HD 209458b and the warm Neptune GJ 436b. In comparison to previous studies with 1D and 2D models, the present work finds such 3D features as zonal flows in upper atmosphere reaching up to 1 km/s, the tilting of the planetary outflow by Coriolis force by up to 45 degrees and its compression around equatorial plane by tidal forces. We also investigated in details the influence of Helium (He) on the structure of the thermosphere. It is found that by decrease of the barometric scale-height, the He presence in the atmosphere strongly affects the H2 dissociation front and the temperature maximum.


title: Compact n-manifolds via (n+1)-colored graphs: a new approach

abstract: We introduce a representation via (n+1)-colored graphs of compact n-manifolds with (possibly empty) boundary, which appears to be very convenient for computer aided study and tabulation. Our construction is ageneralization to arbitrary dimension of the one recently given by Cristofori and Mulazzani in dimension three, and it is dual to the one given by Pezzana in the seventies. In this context we establish some results concerning the topology of the represented manifolds: suspension, fundamental groups, connected sums and moves between graphs representing the same manifold. Classification results of compact orientable 4-manifolds representable by graphs up to six vertices are obtained, together with some properties of the G-degree of 5-colored graphs relating this approach to tensor models theory.


title: Towards precision tests of general relativity with black hole X-ray reflection spectroscopy

abstract: Astrophysical black hole systems are the ideal laboratories for testing Einstein's theory of gravity in the strong field regime. We have recently developed a framework which uses the reflection spectrum of black hole systems to perform precision tests of general relativity by testing the Kerr black hole hypothesis. In this paper, we analyze XMM-Newton and NuSTAR observations of the supermassive black hole in the Seyfert 1 galaxy MCG-06-30-15 with our disk reflection model. We consider the Johannsen metric with the deformation parameters $\alpha_{13}$ and $\alpha_{22}$, which quantify deviations from the Kerr metric. For $\alpha_{22} = 0$, we obtain the black hole spin $0.928 < a_* < 0.983$ and $-0.44 < \alpha_{13} < 0.15$. For $\alpha_{13} = 0$, we obtain $0.885 < a_* < 0.987$ and $-0.12 < \alpha_{22} < 1.05$. The Kerr solution is recovered for $\alpha_{13} = \alpha_{22} = 0$. Thus, our results include the Kerr solution within statistical uncertainties. Systematic uncertainties are difficult to account for, and we discuss some issues in this regard.