title: An Empirical Study on Practicality of Specification Mining Algorithms on a Real-world Application

abstract: Dynamic model inference techniques have been the center of many research projects recently. There are now multiple open source implementations of state-of-the-art algorithms, which provide basic abstraction and merging capabilities. Most of these tools and algorithms have been developed with one particular application in mind, which is program comprehension. The outputs models can abstract away the details of the program and represent the software behavior in a concise and easy to understand form. However, one application context that is less studied is using such inferred models for debugging, where the behavior to abstract is a faulty behavior (e.g., a set of execution traces including a failed test case). We tried to apply some of the existing model inference techniques (implemented in a promising tool called MINT) in a real-world industrial context to support program comprehension for debugging. Our initial experiments have shown many limitations both in terms of implementation as well as the algorithms. The paper will discuss the root cause of the failures and proposes ideas for future improvement.


title: Chiral phase transition from the Dyson-Schwinger equations in a finite spherical volume

abstract: Within the framework of Dyson-Schwinger equations and by means of Multiple Reflection Expansion, we study the finite volume effects on the chiral phase transition in a sphere, especially discuss its influence on the location of the possible critical end point (CEP). According to our calculations, when we take the sphere instead of cube as a research, the influence of finite volume effects on phase transition is not as significant as previously calculated. For instance, as the radius of spherical volume decreases from infinite to $2 \mathrm{fm}$, at zero chemical potential and finite temperature, the critical temperature $T_{c}$ has only a slight drop. And at finite chemical potential and finite temperature, the location of CEP shifts toward smaller temperature and higher chemical potential, but the amplitude of variation does not exceed $20\%$. So we find that not only the size of the volume, but also the shape of the volume will have a considerable impact on the phase transition.


title: Holographic Interpretation of Shannon Entropy of Coherence of Quantum Pure States

abstract: For a quantum pure state in conformal field theory, we generate the Shannon entropy of its coherence, that is, the von Neumann entropy obtained by introducing quantum measurement errors. We give a holographic interpretation of this Shannon entropy, based on Swingle's interpretation of anti-de Sitter space/conformal field theory (AdS/CFT) correspondence in the context of AdS$_3$/CFT$_2$. As a result of this interpretation, we conjecture a differential geometrical formula for the Shannon entropy of the coherence of a quantum pure or purified state in CFT$_2$ at thermal and momentum equilibrium as the sum of the holographic complexity and the abbreviated action, divided by $\pi\hbar$, in the bulk domain enclosed by the Ryu--Takayanagi curve. This result offers a definition of the action of a bulk model of qubits dual to the boundary CFT$_2$ at this equilibrium.


title: On Attribution of Recurrent Neural Network Predictions via Additive Decomposition

abstract: RNN models have achieved the state-of-the-art performance in a wide range of text mining tasks. However, these models are often regarded as black-boxes and are criticized due to the lack of interpretability. In this paper, we enhance the interpretability of RNNs by providing interpretable rationales for RNN predictions. Nevertheless, interpreting RNNs is a challenging problem. Firstly, unlike existing methods that rely on local approximation, we aim to provide rationales that are more faithful to the decision making process of RNN models. Secondly, a flexible interpretation method should be able to assign contribution scores to text segments of varying lengths, instead of only to individual words. To tackle these challenges, we propose a novel attribution method, called REAT, to provide interpretations to RNN predictions. REAT decomposes the final prediction of a RNN into additive contribution of each word in the input text. This additive decomposition enables REAT to further obtain phrase-level attribution scores. In addition, REAT is generally applicable to various RNN architectures, including GRU, LSTM and their bidirectional versions. Experimental results demonstrate the faithfulness and interpretability of the proposed attribution method. Comprehensive analysis shows that our attribution method could unveil the useful linguistic knowledge captured by RNNs. Some analysis further demonstrates our method could be utilized as a debugging tool to examine the vulnerability and failure reasons of RNNs, which may lead to several promising future directions to promote generalization ability of RNNs.


title: Topological Controllability of Undirected Networks of Diffusively-Coupled Agents

abstract: This paper presents conditions for establishing topological controllability in undirected networks of diffusively coupled agents. Specifically, controllability is considered based on the signs of the edges (negative, positive or zero). Our approach differs from well-known structural controllability conditions for linear systems or consensus networks, where controllability conditions are based on edge connectivity (i.e., zero or nonzero edges). Our results first provide a process for merging controllable graphs into a larger controllable graph. Then, based on this process, we provide a graph decomposition process for evaluating the topological controllability of a given network.


title: Global Hierarchical Collapse In Molecular Clouds. Towards a Comprehensive Scenario

abstract: We present a unified description of the scenario of Global Hierarchical Collapse and fragmentation (GHC) in molecular clouds (MCs), owing to the continuous decrease of the average Jeans mass in the contracting cloud. GHC constitutes a regime of collapses within collapses, in which small-scale collapses begin at later times, but occur on shorter timescales than large-scale ones. The difference in timescales allows for most of the clouds' mass to be dispersed by feedback from the first massive stars, maintaining the global star formation rate low. All scales accrete from their parent structures. The main features of GHC are: star-forming MCs are in an essentially pressureless regime, which produces filaments that accrete onto clumps and cores ("hubs"). The filaments constitute the collapse flow from cloud to hub scales and may approach a quasi-stationary state; the molecular and dense mass fractions of the clouds increase over time; the first (low-mass) stars appear several Myr after global contraction began; more massive stars appear after a few Myr in massive hubs resulting from the collapse of larger scales; the minimum fragment mass may extend well into the brown-dwarf regime; Bondi-Hoyle-Lyttleton accretion occurs at the protostellar and core scales, accounting for a near-Salpeter IMF; the extreme anisotropy of the filamentary network explains the difficulty in detecting large-scale infall signatures; the balance between inertial and gravitationally-driven motions in clumps evolves during the contraction; prestellar cores adopt Bonnor-Ebert-like profiles, but are contracting ever since early times when they may appear to be unbound and to require pressure confinement; stellar clusters develop radial age and mass segregation gradients. Finally, we discuss the incompatibility between supersonic turbulence and the observed scalings in the molecular hierarchy.


title: Mimicking the In-Camera Color Pipeline for Camera-Aware Object Compositing

abstract: We present a method for compositing virtual objects into a photograph such that the object colors appear to have been processed by the photo's camera imaging pipeline. Compositing in such a camera-aware manner is essential for high realism, and it requires the color transformation in the photo's pipeline to be inferred, which is challenging due to the inherent one-to-many mapping that exists from a scene to a photo. To address this problem for the case of a single photo taken from an unknown camera, we propose a dual-learning approach in which the reverse color transformation (from the photo to the scene) is jointly estimated. Learning of the reverse transformation is used to facilitate learning of the forward mapping, by enforcing cycle consistency of the two processes. We additionally employ a feature sharing schema to extract evidence from the target photo in the reverse mapping to guide the forward color transformation. Our dual-learning approach achieves object compositing results that surpass those of alternative techniques.


title: W-Net: Reinforced U-Net for Density Map Estimation

abstract: Crowd management is of paramount importance when it comes to preventing stampedes and saving lives, especially in a countries like China and India where the combined population is a third of the global population. Millions of people convene annually all around the nation to celebrate a myriad of events and crowd count estimation is the linchpin of the crowd management system that could prevent stampedes and save lives. We present a network for crowd counting which reports state of the art results on crowd counting benchmarks. Our contributions are, first, a U-Net inspired model which affords us to report state of the art results. Second, we propose an independent decoding Reinforcement branch which helps the network converge much earlier and also enables the network to estimate density maps with high Structural Similarity Index (SSIM). Third, we discuss the drawbacks of the contemporary architectures and empirically show that even though our architecture achieves state of the art results, the merit may be due to the encoder-decoder pipeline instead. Finally, we report the error analysis which shows that the contemporary line of work is at saturation and leaves certain prominent problems unsolved.


title: Auto-Embedding Generative Adversarial Networks for High Resolution Image Synthesis

abstract: Generating images via the generative adversarial network (GAN) has attracted much attention recently. However, most of the existing GAN-based methods can only produce low-resolution images of limited quality. Directly generating high-resolution images using GANs is nontrivial, and often produces problematic images with incomplete objects. To address this issue, we develop a novel GAN called Auto-Embedding Generative Adversarial Network (AEGAN), which simultaneously encodes the global structure features and captures the fine-grained details. In our network, we use an autoencoder to learn the intrinsic high-level structure of real images and design a novel denoiser network to provide photo-realistic details for the generated images. In the experiments, we are able to produce 512x512 images of promising quality directly from the input noise. The resultant images exhibit better perceptual photo-realism, i.e., with sharper structure and richer details, than other baselines on several datasets, including Oxford-102 Flowers, Caltech-UCSD Birds (CUB), High-Quality Large-scale CelebFaces Attributes (CelebA-HQ), Large-scale Scene Understanding (LSUN) and ImageNet.


title: Sparse reconstruction of log-conductivity in current density impedance tomography

abstract: A new non-linear optimization approach is proposed for the sparse reconstruction of log-conductivities in current density impedance imaging. This framework comprises of minimizing an objective functional involving a least squares fit of the interior electric field data corresponding to two boundary voltage measurements, where the conductivity and the electric potential are related through an elliptic PDE arising in electrical impedance tomography. Further, the objective functional consists of a $L^1$ regularization term that promotes sparsity patterns in the conductivity and a Perona-Malik anisotropic diffusion term that enhances the edges to facilitate high contrast and resolution. This framework is motivated by a similar recent approach to solve an inverse problem in acousto-electric tomography. Several numerical experiments and comparison with an existing method demonstrate the effectiveness of the proposed method for superior image reconstructions of a wide-variety of log-conductivity patterns.


title: Kernel phase imaging with VLT/NACO: high-contrast detection of new candidate low-mass stellar companions at the diffraction limit

abstract: Directly imaging exoplanets is challenging because quasi-static phase aberrations in the pupil plane (speckles) can mimic the signal of a companion at small angular separations. Kernel phase, which is a generalization of closure phase (known from sparse aperture masking), is independent of pupil plane phase noise to second order and allows for a robust calibration of full pupil, extreme adaptive optics observations. We applied kernel phase combined with a principal component based calibration process to a suitable but not optimal, high cadence, pupil stabilized L' band ($3.8~\mu\text{m}$) data set from the ESO archive. We detect eight low-mass companions, five of which were previously unknown, and two have angular separations of $\sim0.8$-$1.2~\lambda/D$ (i.e. $\sim80$-$110~\text{mas}$), demonstrating that kernel phase achieves a resolution below the classical diffraction limit of a telescope. While we reach a $5\sigma$ contrast limit of $\sim1/100$ at such angular separations, we demonstrate that an optimized observing strategy with more diversity of PSF references (e.g. star-hopping sequences) would have led to a better calibration and even better performance. As such, kernel phase is a promising technique for achieving the best possible resolution with future space-based telescopes (e.g. JWST), which are limited by the mirror size rather than atmospheric turbulence, and with a dedicated calibration process also for extreme adaptive optics facilities from the ground.


title: Improving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation

abstract: Route Choice Models predict the route choices of travelers traversing an urban area. Most of the route choice models link route characteristics of alternative routes to those chosen by the drivers. The models play an important role in prediction of traffic levels on different routes and thus assist in development of efficient traffic management strategies that result in minimizing traffic delay and maximizing effective utilization of transport system. High fidelity route choice models are required to predict traffic levels with higher accuracy. Existing route choice models do not take into account dynamic contextual conditions such as the occurrence of an accident, the socio-cultural and economic background of drivers, other human behaviors, the dynamic personal risk level, etc. As a result, they can only make predictions at an aggregate level and for a fixed set of contextual factors. For higher fidelity, it is highly desirable to use a model that captures significance of subjective or contextual factors in route choice. This paper presents a novel approach for developing high-fidelity route choice models with increased predictive power by augmenting existing aggregate level baseline models with information on drivers' responses to contextual factors obtained from Stated Choice Experiments carried out in an Immersive Virtual Environment through the use of knowledge distillation.


title: An accurate method to determine the systematics due to the peculiar velocities of galaxies in measuring the Hubble constant from gravitational wave standard sirens

abstract: We propose a novel approach to accurately pin down the systematics due to the peculiar velocities of galaxies in measuring the Hubble constant from nearby galaxies in current and future gravitational-wave (GW) standard-siren experiments. Given the precision that future GW standard-siren experiments aim to achieve, the peculiar velocities of nearby galaxies will be a major source of uncertainty. Unlike the conventional backward reconstruction that requires additional redshift-independent distance indicators to recover the peculiar velocity field, we forwardly model the peculiar velocity field by using a high-fidelity mock galaxy catalog built from high-resolution dark matter only (DMO) N-body simulations with a physically motivated subhalo abundance matching technique without introducing any free parameters. Our mock galaxy catalog can impressively well reproduce the observed spectroscopic redshift space distortions (RSDs) in highly non-linear regimes down to very small scales, which is a robust test of the velocity field of our mock galaxy catalog. Based on this mock galaxy catalog, we accurately, for the first time, measure the peculiar velocity probability distributions for the SDSS main galaxy samples. We find that the systematics induced by the peculiar velocities of SDSS like galaxies on the measured Hubble constant can be reduced to below $1\%$($1\sigma$) for GW host galaxies with a Hubble flow redshift just above $0.13$, a distance that can be well probed by future GW experiments and galaxy surveys.


title: Electroweak Baryogenesis with Vector-like Leptons and Scalar Singlets

abstract: We investigate the viability of electroweak baryogenesis in a model with a first order electroweak phase transition induced by the addition of two gauge singlet scalars. A vector-like lepton doublet is introduced in order to provide CP violating interactions with the singlets and Standard Model leptons, and the asymmetry generation dynamics are examined using the vacuum expectation value insertion approximation. We find that such a model is readily capable of generating sufficient baryon asymmetry while satisfying electron electric dipole moment and collider phenomenology constraints.


title: Study of multi-neutron systems with SAMURAI spectrometer

abstract: The tetraneutron has been drawing the attention of the nuclear physics community for decades, but a firm conclusion on its existence and properties is still far from being reached despite many experimental and theoretical efforts. New measurements have recently been performed at RIBF with the SAMURAI spectrometer by applying complementary reaction probes, which will help to pin down the properties of this four-neutron system.


title: How Can We Be So Dense? The Benefits of Using Highly Sparse Representations

abstract: Most artificial networks today rely on dense representations, whereas biological networks rely on sparse representations. In this paper we show how sparse representations can be more robust to noise and interference, as long as the underlying dimensionality is sufficiently high. A key intuition that we develop is that the ratio of the operable volume around a sparse vector divided by the volume of the representational space decreases exponentially with dimensionality. We then analyze computationally efficient sparse networks containing both sparse weights and activations. Simulations on MNIST and the Google Speech Command Dataset show that such networks demonstrate significantly improved robustness and stability compared to dense networks, while maintaining competitive accuracy. We discuss the potential benefits of sparsity on accuracy, noise robustness, hyperparameter tuning, learning speed, computational efficiency, and power requirements.


title: Magnetoelectric Response in Electric Octupole State: Possible Hidden Order in Cuprate Superconductors

abstract: Motivated by recent studies of odd-parity multipole order in condensed matter physics, we theoretically study magnetoelectric responses in an electric octupole state. Investigating the Edelstein effect and spin Hall effect in a locally noncentrosymmetric bilayer Rashba model, we clarify characteristic properties due to parity violation in the electric octupole state. Furthermore, a possible realization of electric octupole order in bilayer high-Tc cuprate superconductors is proposed. Our calculation of magnetic torque is consistent with recent experimental observation of a kink above the superconducting transition temperature. We also show significant enhancement of the in-plane anisotropy in spin susceptibility due to the superconductivity, and propose an experimental test by means of the nuclear magnetic resonance in the superconducting state. A spin-orbit coupled metal state in Cd2Re2O7 is also discussed.


title: Optimal joint estimation of multiple Rabi frequencies

abstract: We study the joint estimation of multiple Rabi frequencies in a multilevel system. By analytically identifying the optimal probe state and the optimal measurement, we obtain the highest precision limit for the joint estimation of multiple Rabi frequencies. We show that the joint estimation does not always outperform the separate estimation. In different regimes the joint estimation can either outperform or underperform the separate estimation. We further show that if additional adaptive quantum controls are allowed then the advantage of the joint estimation over the separate estimation can be reestablished.


title: Small Data Challenges in Big Data Era: A Survey of Recent Progress on Unsupervised and Semi-Supervised Methods

abstract: Representation learning with small labeled data have emerged in many problems, since the success of deep neural networks often relies on the availability of a huge amount of labeled data that is expensive to collect. To address it, many efforts have been made on training sophisticated models with few labeled data in an unsupervised and semi-supervised fashion. In this paper, we will review the recent progresses on these two major categories of methods. A wide spectrum of models will be categorized in a big picture, where we will show how they interplay with each other to motivate explorations of new ideas. We will review the principles of learning the transformation equivariant, disentangled, self-supervised and semi-supervised representations, all of which underpin the foundation of recent progresses. Many implementations of unsupervised and semi-supervised generative models have been developed on the basis of these criteria, greatly expanding the territory of existing autoencoders, generative adversarial nets (GANs) and other deep networks by exploring the distribution of unlabeled data for more powerful representations. We will discuss emerging topics by revealing the intrinsic connections between unsupervised and semi-supervised learning, and propose in future directions to bridge the algorithmic and theoretical gap between transformation equivariance for unsupervised learning and supervised invariance for supervised learning, and unify unsupervised pretraining and supervised finetuning. We will also provide a broader outlook of future directions to unify transformation and instance equivariances for representation learning, connect unsupervised and semi-supervised augmentations, and explore the role of the self-supervised regularization for many learning problems.


title: Convolution Attack on Frequency-Hopping by Full-Duplex Radios

abstract: We propose a new adversarial attack on frequency-hopping based wireless communication between two users, namely Alice and Bob. In this attack, the adversary, referred to as Eve, instantaneously modifies the transmitted signal by Alice before forwarding it to Bob within the symbol-period. We show that this attack forces Bob to incorporate Eve's signal in the decoding process; otherwise, treating it as noise would further degrade the performance akin to jamming. Through this attack, we show that Eve can convert a slow-fading channel between Alice and Bob to a rapid-fading one by modifying every transmitted symbol independently. As a result, neither pilot-assisted coherent detection techniques nor blind-detection methods are directly applicable as countermeasures. As potential mitigation strategies, we explore the applicability of frequency-hopping along with (i) On-Off keying (OOK) and (ii) Binary Frequency-Shift-Keying (FSK) as modulation schemes. In the case of OOK, the attacker attempts to introduce deep-fades on the tone carrying the information bit, whereas in the case of BFSK, the attacker pours comparable energy levels on the tones carrying bit-$0$ and bit-$1$, thereby degrading the performance. Based on extensive analyses and experimental results, we show that (i) when using OOK, Bob must be equipped with a large number of receive antennas to reliably detect Alice's signal, and (ii) when using BFSK, Alice and Bob must agree upon a secret-key to randomize the location of the tones carrying the bits, in addition to randomizing the carrier-frequency of communication.


title: 3D nano-bridge-based SQUID susceptometers for scanning magnetic imaging of quantum materials

abstract: We designed and fabricated a new type of superconducting quantum interference device (SQUID) susceptometers for magnetic imaging of quantum materials. The 2-junction SQUID sensors employ 3D Nb nano-bridges fabricated using electron beam lithography. The two counter-wound balanced pickup loops of the SQUID enable gradiometric measurement and they are surrounded by a one-turn field coil for susceptibility measurements. The smallest pickup loop of the SQUIDs were 1 ${\mu}m$ in diameter and the flux noise was around 1 $\mu{\Phi}_0/\sqrt{Hz}$ at 100 Hz. We demonstrate scanning magnetometry, susceptometry and current magnetometry on some test samples using these nano-SQUIDs.


title: Anisotropic Landau level splitting and Lifshitz transition induced magnetoresistance enhancement in ZrTe5 crystals

abstract: Magneto-transport study has been performed in ZrTe5 single crystals. The observed Shubnikov-de Hass quantum oscillation at low temperature clearly demonstrates the existence of a nontrivial band with small effective mass in ZrTe5. Furthermore, we also revealed the 3D anisotropic nature of high-field Landau level splitting in ZrTe5, very different from the 2D behavior measured in previous transport studies. Besides these, an abnormal large enhancement of magnetoresistance appears at high temperatures, which is believed to arise from the Lifshitz transition induced two-carrier transport in ZrTe5. Our study provides more understanding of the physical properties of ZrTe5 and sheds light on potential application of ZrTe5 in spintronics.


title: A Novel Hierarchical Circuit LUT Model for SOI Technology for Rapid Prototyping

abstract: This article is withdrawn because the co-authors are not in favor of publication.


title: Comment on 'Two-dimensional position-dependent massive particles in the presence of magnetic fields"

abstract: Using the well known position-dependent mass (PDM) von Roos Hamiltonian, Dutra and Oliveira (2009 J. Phys. A: Math. Theor. 42 025304) have studied the problem of two-dimensional PDM particles in the presence of magnetic fields. They have reported exact solutions for the wavefunctions and energies. In the first part of their study "PDM-Shr\"odinger equation in two-dimensional Cartesian coordinates", they have used the so called Zhu and Kroemer's ordering {\alpha}=-1/2={\gamma} and \b{eta}=0 <cite>5</cite>. While their treatment for this part is correct beyond doubt, their treatment of second part "PDM in a magnetic field" is improper . We address these improper treatments and report the correct presentation for minimal coupling under PDM settings.


title: When is a band-connected sum equal to the connected sum?

abstract: We show that a band-connected sum of knots $K_0$ and $K_1$ along a band $b$ is equal to the connected sum $K_0\# K_1$ if and only if $b$ is a trivial band.


title: Sparsity Preserving Discretization With Error Bounds

abstract: Typically when designing distributed controllers it is assumed that the state-space model of the plant consists of sparse matrices. However, in the discrete-time setting, if one begins with a continuous-time model, the discretization process annihilates any sparsity in the model. In this work we propose a discretization procedure that maintains the sparsity of the continuous-time model. We show that this discretization out-performs a simple truncation method in terms of its ability to approximate the "ground truth" model. Leveraging results from numerical analysis we are also able to upper-bound the error between the dense discretization and our method. Furthermore, we show that in a robust control setting we can design a distributed controller on the approximate (sparse) model that stabilizes the dense ground truth model.


title: On graphs with no induced five-vertex path or paraglider

abstract: Given two graphs $H_1$ and $H_2$, a graph is $(H_1,\,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. For a positive integer $t$, $P_t$ is the chordless path on $t$ vertices. A paraglider is the graph that consists of a chorless cycle $C_4$ plus a vertex adjacent to three vertices of the $C_4$. In this paper, we study the structure of ($P_5$, paraglider)-free graphs, and show that every such graph $G$ satisfies $\chi(G)\le \lceil \frac{3}{2}\omega(G) \rceil$, where $\chi(G)$ and $\omega(G)$ are the chromatic number and clique number of $G$, respectively. Our bound is attained by the complement of the Clebsch graph on 16 vertices. More strongly, we completely characterize all the ($P_5$, paraglider)-free graphs $G$ that satisfies $\chi(G)> \frac{3}{2}\omega(G)$. We also construct an infinite family of ($P_5$, paraglider)-free graphs such that every graph $G$ in the family has $\chi(G)=\lceil \frac{3}{2}\omega(G) \rceil-1$. This shows that our upper bound is optimal up to an additive constant and that there is no $(\frac{3}{2}-\epsilon)$-approximation algorithm to the chromatic number of ($P_5$, paraglider)-free graphs for any $\epsilon>0$.


title: CSS10: A Collection of Single Speaker Speech Datasets for 10 Languages

abstract: We describe our development of CSS10, a collection of single speaker speech datasets for ten languages. It is composed of short audio clips from LibriVox audiobooks and their aligned texts. To validate its quality we train two neural text-to-speech models on each dataset. Subsequently, we conduct Mean Opinion Score tests on the synthesized speech samples. We make our datasets, pre-trained models, and test resources publicly available. We hope they will be used for future speech tasks.


title: Scheduling Algorithms for 5G Networks with Mid-haul Capacity Constraints

abstract: We consider a virtualized RAN architecture for 5G networks where the Remote Units are connected to a central unit via a mid-haul. To support high data rates, the midhaul is realized with a Passive Optical Network (PON). In this architecture, the data are stored at the central unit until the scheduler decides to transmit it through the mid-haul to an appropriate remote unit, and then over the air at the same slot. We study an optimal scheduling problem that arises in this context. This problem has two key features. First, multiple cells must be scheduled simultaneously for efficient operation. Second, the interplay between the time-varying wireless interface rates and the fixed capacity PON needs to be handled efficiently. In this paper, we take a comprehensive look at this resource allocation problem by formulating it as a utility-maximization problem. Using combinatorial techniques, we derive useful structural properties of the optimal allocation and utilize these results to design polynomial-time approximation algorithms and a pseudopolynomial-time optimal algorithm. Finally, we numerically compare the performance of the proposed algorithms to heuristics which are natural generalizations of the ubiquitous Proportional Fair algorithm.


title: A note on $p$-rational fields and the abc-conjecture

abstract: In this short note we confirm the relation between the generalized $abc$-conjecture and the $p$-rationality of number fields. Namely, we prove that given K$/\mathbb{Q}$ a real quadratic extension or an imaginary $S_3$-extension, if the generalized $abc$-conjecture holds in K, then there exist at least $c\,\log X$ prime numbers $p \leq X$ for which K is $p$-rational, here $c$ is some nonzero constant depending on K. The real quadratic case was recently suggested by B\"ockle-Guiraud-Kalyanswamy-Khare.


title: Graded Relevance Assessments and Graded Relevance Measures of NTCIR: A Survey of the First Twenty Years

abstract: NTCIR was the first large-scale IR evaluation conference to construct test collections with graded relevance assessments: the NTCIR-1 test collections from 1998 already featured relevant and partially relevant documents. In this paper, I first describe a few graded-relevance measures that originated from NTCIR (and a few variants) which are used across different NTCIR tasks. I then provide a survey on the use of graded relevance assessments and of graded relevance measures in the past NTCIR tasks which primarily tackled ranked retrieval. My survey shows that the majority of the past tasks fully utilised graded relevance by means of graded evaluation measures, but not all of them; interestingly, even a few relatively recent tasks chose to adhere to binary relevance measures. I conclude this paper by a summary of my survey in table form, and a brief discussion on what may lie beyond graded relevance.


title: On the randomised stability constant for inverse problems

abstract: In this paper we introduce the randomised stability constant for abstract inverse problems, as a generalisation of the randomised observability constant, which was studied in the context of observability inequalities for the linear wave equation. We study the main properties of the randomised stability constant and discuss the implications for the practical inversion, which are not straightforward.


title: Sharp large time behaviour in N -dimensional Fisher-KPP equations

abstract: We study the large time behaviour of the Fisher-KPP equation $\partial$ t u = $\Delta$u + u -- u 2 in spatial dimension N , when the initial datum is compactly supported. We prove the existence of a Lipschitz function s of the unit sphere, such that u(t, x) converges, as t goes to infinity, to U c * |x| -- c * t + N + 2 c * lnt + s $\infty$ x |x| , where U c * is the 1D travelling front with minimal speed c * = 2. This extends an earlier result of G{\"a}rtner.


title: Variance Reduction Applied to Machine Learning for Pricing Bermudan/American Options in High Dimension

abstract: In this paper we propose an efficient method to compute the price of multi-asset American options, based on Machine Learning, Monte Carlo simulations and variance reduction technique. Specifically, the options we consider are written on a basket of assets, each of them following a Black-Scholes dynamics. In the wake of Ludkovski's approach (2018), we implement here a backward dynamic programming algorithm which considers a finite number of uniformly distributed exercise dates. On these dates, the option value is computed as the maximum between the exercise value and the continuation value, which is obtained by means of Gaussian process regression technique and Monte Carlo simulations. Such a method performs well for low dimension baskets but it is not accurate for very high dimension baskets. In order to improve the dimension range, we employ the European option price as a control variate, which allows us to treat very large baskets and moreover to reduce the variance of price estimators. Numerical tests show that the proposed algorithm is fast and reliable, and it can handle also American options on very large baskets of assets, overcoming the problem of the curse of dimensionality.


title: Evolution equations involving nonlinear truncated Laplacian operators

abstract: We first study the so-called Heat equation with two families of elliptic operators whichare fully nonlinear, and depend on some eigenvalues of the Hessian matrix. The equationwith operators including the "large" eigenvalues has strong similarities with a Heatequation in lower dimension whereas, surprisingly, for operators including "small" eigenvalues it shares some properties with some transport equations. In particular, forthese operators, the Heat equation (which is nonlinear) not only does not have theproperty that "disturbances propagate with infinite speed" but may lead to quenchingin finite time. Last, based on our analysis of the Heat equations (for which we providea large variety of special solutions) for these operators, we inquire on the associated Fujita blow-up phenomena.


title: Towards Stable Symbol Grounding with Zero-Suppressed State AutoEncoder

abstract: While classical planning has been an active branch of AI, its applicability is limited to the tasks precisely modeled by humans. Fully automated high-level agents should be instead able to find a symbolic representation of an unknown environment without supervision, otherwise it exhibits the knowledge acquisition bottleneck. Meanwhile, Latplan (Asai and Fukunaga 2018) partially resolves the bottleneck with a neural network called State AutoEncoder (SAE). SAE obtains the propositional representation of the image-based puzzle domains with unsupervised learning, generates a state space and performs classical planning. In this paper, we identify the problematic, stochastic behavior of the SAE-produced propositions as a new sub-problem of symbol grounding problem, the symbol stability problem. Informally, symbols are stable when their referents (e.g. propositional values) do not change against small perturbation of the observation, and unstable symbols are harmful for symbolic reasoning. We analyze the problem in Latplan both formally and empirically, and propose "Zero-Suppressed SAE", an enhancement that stabilizes the propositions using the idea of closed-world assumption as a prior for NN optimization. We show that it finds the more stable propositions and the more compact representations, resulting in an improved success rate of Latplan. It is robust against various hyperparameters and eases the tuning effort, and also provides a weight pruning capability as a side effect.


title: Gaussian lower bounds for the Boltzmann equation without cut-off

abstract: The study of positivity of solutions to the Boltzmann equation goes back to Carleman (1933), and the initial argument of Carleman was developed byPulvirenti-Wennberg (1997), the second author and Briant (2015). The appearance of a lower bound with Gaussian decay had however remained an open question for long-range interactions (the so-called non-cutoff collision kernels). We answer this question and establish such Gaussian lower bound for solutions to the Boltzmann equation without cutoff, in the case of hard and moderately soft potentials, with spatial periodic conditions, and under the sole assumption that hydrodynamic quantities (local mass, local energy and local entropy density) remain bounded. The paper is mostly self-contained, apart from the uniform upper bound on the solution established by the third author (2016).


title: Graph Convolution for Multimodal Information Extraction from Visually Rich Documents

abstract: Visually rich documents (VRDs) are ubiquitous in daily business and life. Examples are purchase receipts, insurance policy documents, custom declaration forms and so on. In VRDs, visual and layout information is critical for document understanding, and texts in such documents cannot be serialized into the one-dimensional sequence without losing information. Classic information extraction models such as BiLSTM-CRF typically operate on text sequences and do not incorporate visual features. In this paper, we introduce a graph convolution based model to combine textual and visual information presented in VRDs. Graph embeddings are trained to summarize the context of a text segment in the document, and further combined with text embeddings for entity extraction. Extensive experiments have been conducted to show that our method outperforms BiLSTM-CRF baselines by significant margins, on two real-world datasets. Additionally, ablation studies are also performed to evaluate the effectiveness of each component of our model.


title: Decomposition of non-convex optimization via bi-level distributed ALADIN

abstract: Decentralized optimization algorithms are important in different contexts, such as distributed optimal power flow or distributed model predictive control, as they avoid central coordination and enable decomposition of large-scale problems. In case of constrained non-convex optimization only a few algorithms are currently are available; often their performance is limited, or they lack convergence guarantees. This paper proposes a framework for decentralized non-convex optimization via bi-level distribution of the Augmented Lagrangian Alternating Direction Inexact Newton (ALADIN) algorithm. Bi-level distribution means that the outer ALADIN structure is combined with an inner distribution/decentralization level solving a condensed variant of ALADIN's convex coordination QP by decentralized algorithms. We prove sufficient conditions ensuring local convergence while allowing for inexact decentralized/distributed solutions of the coordination QP. Moreover, we show how a decentralized variant of conjugate gradient or decentralized ADMM schemes can be employed at the inner level. We draw upon case studies from power systems and robotics to illustrate the performance of the proposed framework.


title: On the maximal $L_p$-$L_q$ regularity of solutions to a general linear parabolic system

abstract: We show the existence of solution in the maximal $L_p-L_q$ regularity framework to a class of symmetric parabolic problems on a uniformly $C^2$ domain in ${\mathcal R}$. Our approach consist in showing ${\mathcal R}$ - boundedness of families of solution operators to corresponding resolvent problems first in the whole space, then in half-space, perturbed half-space and finally, using localization arguments, on the domain. Assuming additionally boudedness of the domain we also show exponential decay of the solution. In particular, our approach does not require assuming a priori the uniform Lopatinskii - Shapiro condition.


title: Quantum enhancement of sensitivity achieved by photon-number-resolving detection in the dark port of a two-path interferometer operating at high intensities

abstract: It is shown that the maximal phase sensitivity of a two-path interferometer with high-intensity coherent light and squeezed vacuum in the input ports can be achieved by photon-number-resolving detection of only a small number of photons in a dark output port. It is then possible to achieve the quantum Cram\'{e}r-Rao bound of the two-path interferometer using only the field displacement dependence of the photon number statistics in the single mode output of the dark port represented by a field-displaced squeezed vacuum state. We find that, at small field displacements, it is not sufficient to use the average photon number as the estimator, indicating that an optimal phase estimation depends critically on measurements of the precise photon number. We therefore analyze the effect of detection efficiency on the Fisher information and show that there is a transition from low robustness against photon losses associated with quantum interference effects at low field displacements to high robustness against photon losses at high field displacements. The transition between the two regimes occurs at field shifts proportional to the third power of the squeezing factor, indicating that squeezing greatly enhances the phase interval in which quantum effects are relevant in optimal phase estimations using photon resolving detectors. The case under study could thus be understood as a `missing link' between genuine multiphoton interference and the straightforward suppression of noise usually associated with squeezed light.


title: Grammatical Error Correction and Style Transfer via Zero-shot Monolingual Translation

abstract: Both grammatical error correction and text style transfer can be viewed as monolingual sequence-to-sequence transformation tasks, but the scarcity of directly annotated data for either task makes them unfeasible for most languages. We present an approach that does both tasks within the same trained model, and only uses regular language parallel data, without requiring error-corrected or style-adapted texts. We apply our model to three languages and present a thorough evaluation on both tasks, showing that the model is reliable for a number of error types and style transfer aspects.


title: Entanglement of two quantum memories via fibers over dozens of kilometres

abstract: Quantum internet will enable a number of revolutionary applications. It relies on entanglement of remote quantum memories over long distances. Despite enormous progresses so far, the maximal physical separation achieved between two nodes is 1.3 km, and challenges for long distance remain. Here we make a significant step forward by entangling two atomic ensembles in one lab via photon transmission through metropolitan-scale fibers. We use cavity enhancement to create bright atom-photon entanglement, and harness quantum frequency conversion to shift the atomic wavelength to telecom. We realize entanglement over 22 km field-deployed fibers via two-photon interference, and entanglement over 50 km coiled fibers via single-photon interference. Our experiment can be extended to physically separated nodes with similar distance as a functional segment for atomic quantum networks, thus paving the way towards establishing atomic entanglement over many nodes and over much longer distance.


title: Local intertwining relation for metaplectic groups

abstract: In this paper, we formulate and prove a local intertwining relation for metaplectic groups assuming the local intertwining relation for non-quasi-split odd special orthogonal groups.


title: Deformable kernel networks for guided depth map upsampling

abstract: We address the problem of upsampling a low-resolution (LR) depth map using a registered high-resolution (HR) color image of the same scene. Previous methods based on convolutional neural networks (CNNs) combine nonlinear activations of spatially-invariant kernels to estimate structural details from LR depth and HR color images, and regress upsampling results directly from the networks. In this paper, we revisit the weighted averaging process that has been widely used to transfer structural details from hand-crafted visual features to LR depth maps. We instead learn explicitly sparse and spatially-variant kernels for this task. To this end, we propose a CNN architecture and its efficient implementation, called the deformable kernel network (DKN), that outputs sparse sets of neighbors and the corresponding weights adaptively for each pixel. We also propose a fast version of DKN (FDKN) that runs about 17 times faster (0.01 seconds for a HR image of size 640 x 480). Experimental results on standard benchmarks demonstrate the effectiveness of our approach. In particular, we show that the weighted averaging process with 3 x 3 kernels (i.e., aggregating 9 samples sparsely chosen) outperforms the state of the art by a significant margin.


title: Convexly independent subsets of Minkowski sums of convex polygons

abstract: We show that there exist convex $n$-gons $P$ and $Q$ such that the largest convex polygon in the Minkowski sum $P+Q$ has size $\Theta(n\log n)$. This matches an upper bound of Tiwary.


title: On QCD RFT corrections to the propagator of reggeized gluons

abstract: We calculate an one loop QCD Regge Field Theory (RFT) correction to the propagator of reggeized gluons basing on the QCD effective action of Lipatov, \cite{LipatovEff,LipatovEff1,Our1,Our2,Our3,Our4}, and results of \cite{Our5} where Dyson-Schwinger hierarchy of the equations for the correlators of reggeized gluon fields was derived. The correction is calculated entirely in the framework of RFT with the use of the obtained expressions for the RFT bare triple Reggeon vertices and propagator of reggeized gluons, the cases of bare propagator and propagator calculated to one-loop precision are considered separately. In both results the obtained correction represents non-eikonal contributions to the propagator kinematically suppressed by $1/\sqrt{s}$ factor in comparison to the usual LLA contributions. The further application of the obtained results is discussed as well.


title: Totally Homogeneous Networks

abstract: In network science, the non-homogeneity of node degrees has been a concerned issue for study. Yet, with the modern web technologies today, the traditional social communication topologies have evolved from node-central structures to online cycle-based communities, urgently requiring new network theories and tools. Switching the focus from node degrees to network cycles, it could reveal many interesting properties from the perspective of totally homogeneous networks, or sub-networks in a complex network, especially basic simplexes (cliques) such as links and triangles. Clearly, comparing to node degrees it is much more challenging to deal with network cycles. For studying the latter, a new clique vector space framework is introduced in this paper, where the vector space with a basis consisting of links has the dimension equal to the number of links, that with a basis consisting of triangles has the dimension equal to the number of triangles, and so on. These two vector spaces are related through a boundary operator, e.g., mapping the boundary of a triangle in one space to the sun of three links in the other space. Under the new framework, some important concepts and methodologies from algebraic topology, such as characteristic number, homology group and Betti number, will have a play in network science leading to foreseeable new research directions. As immediate applications, the paper illustrates some important characteristics affecting the collective behaviors of complex networks, some new cycle-dependent importance indexes of nodes, and implications for network synchronization and brain network analysis.


title: Inactivation cross section induced by heavy ions of different energies in Bacterial cells of E. coli: an analytical approach

abstract: An analytical inactivation cross section formula based on the analytical formula for calculating the radial dose distribution of Awad et al. (Awad et al., 2018) was proposed. The formula is a multi-hit model based on the track structure theory of Katz that was not updated since Katz and co-workers in 1970s-1980s. The formula was solved numerically to calculation the inactivation cross section, sigma and action cross section for double strand break, sigma DSB for the two strains of the vegetative E. coli cells (BS-1 and B/r) bombarded with heavy ions of O, Ne, Ar, Kr, Xe, Au, Pb and U of energy between 1.1 to 19.4 MeV/n. The response of the cell and hence the corresponding inactivation cross section is affected by m, the number of targets that must be inactivated per cell; D0, the characteristic x or gamma-ray dose; a0, the target radius and Rmax, the maximum range travelled by the liberated delta-ray in the medium. The variations in the inactivation cross section in terms of these parameters were studied. The model predicts the available measured inactivation cross sections data for E. coli cells (BS-1 and B/r),sigma as well as the double strand break, sigma DSB ones with good accuracy. It was found that as the ion charge increases as the inactivation probability increases and the corresponding inactivation cross section of the ion increases.


title: Comment on "Conditional Decoupling of Quantum Information"

abstract: Berta et al [Phys. Rev. Lett., 121, 040504 (2018)] claim that their result provides a conceptually new extension of the decoupling approach to quantum information theory. We provide an alternate proof using the plain-vanilla decoupling approach for the achievable rates of their main result and hence, their claim is unwarranted, and the title can be misleading when taken in conjunction with the claim.


title: Solitary wave solutions of a Whitham-Boussinesq system

abstract: The travelling wave problem for a particular bidirectional Whitham system modelling surface water waves is under consideration. This system firstly appeared in [Dinvay, Dutykh, Kalisch 2018], where it was numerically shown to be stable and a good approximation to the incompressible Euler equations. In subsequent papers [Dinvay 2018], [Dinvay, Selberg, Tesfahun 2019] the initial-value problem was studied and well-posedness in classical Sobolev spaces was proved. Here we prove existence of solitary wave solutions and provide their asymptotic description. Our proof relies on a variational approach and a concentration-compactness argument. The main difficulties stem from the fact that in the considered Euler-Lagrange equation we have a non-local operator of positive order appearing both in the linear and non-linear parts. Our approach allows us to obtain solitary waves for a particular Boussinesq system as well.


title: Hot plasma in a quiescent solar active region as measured by RHESSI, XRT, and AIA

abstract: This paper investigates a quiescent (non-flaring) active region observed on July 13, 2010 in EUV, SXR, and HXRs to search for a hot component that is speculated to be a key signature of coronal heating. We use a combination of RHESSI imaging and long-duration time integration (up to 40 min) to detect the active regions in the 3-8 keV range during apparently non-flaring times. The RHESSI imaging reveals a hot component that originates from the entire active region, as speculated for a nanoflare scenario where the entire active region is filled with a large number of unresolved small energy releases. An isothermal fit to the RHESSI data gives temperatures around ~7 MK with emission measure of several times 10^46 cm^-3. Adding EUV and SXR observations taken by AIA and XRT, respectively, we derive a differential emission measure (DEM) that shows a peak between 2 and 3 MK with a steeply decreasing high-temperature tail, similar to what has been previously reported. The derived DEM reveals that a wide range of temperatures contributes to the RHESSI flux (e.g. 40 % of the 4 keV emission being produced by plasma below 5 MK, while emission at 7 keV is almost exclusively from plasmas above 5 MK) indicating that the RHESSI spectrum should not be fitted with an isothermal. The hot component has a rather small emission measure (~0.1 % of the total EM is above 5 MK), and the derived thermal energy content is of the order of 10 % for a filling factor of unity, or potentially below 1 % for smaller filling factors.


title: On Fano schemes of complete intersections

abstract: We provide enumerative formulas for the degrees of varieties parameterizing hypersurfaces and complete intersections which contain pro-jective subspaces and conics. Besides, we find all cases where the Fano scheme of the general complete intersection is irregular of dimension at least 2, and for the Fano surfaces we deduce formulas for their holomorphic Euler characteristic.


title: Phonon-assisted emission and absorption of individual color centers in hexagonal boron nitride

abstract: Defect centers in hexagonal boron nitride represent room-temperature single-photon sources in a layered van der Waals material. These light emitters appear with a wide range of transition energies ranging over the entire visible spectrum, which renders the identification of the underlying atomic structure challenging. In addition to their eminent properties as quantum light emitters, the coupling to phonons is remarkable. Their photoluminescence exhibits significant side band emission well separated from the zero phonon line (ZPL) and an asymmetric broadening of the ZPL itself. In this combined theoretical and experimental study we show that the phonon side bands can be well described in terms of the coupling to bulk longitudinal optical (LO) phonons. To describe the ZPL asymmetry we show that in addition to the coupling to longitudinal acoustic (LA) phonons also the coupling to local mode oscillations of the defect center with respect to the entire host crystal has to be considered. By studying the influence of the emitter's wave function dimensions on the phonon side bands we find reasonable values for size of the wave function and the deformation potentials. We perform photoluminescence excitation measurements to demonstrate that the excitation of the emitters is most efficient by LO-phonon assisted absorption.


title: The Beginning of Gamma Astronomy

abstract: In the first part of this paper we summarize the discovery and the early study of the gamma-ray bursts. The second part studies the spatial and sky distribution of the bursters. The brightness distribution is also studied. In the conclusion we discuss that these are supporting the cosmological origin of the gamma-ray bursts.


title: Dataset of an EEG-based BCI experiment in Virtual Reality and on a Personal Computer

abstract: We describe the experimental procedures for a dataset that we have made publicly available at https://doi.org/10.5281/zenodo.2605204 in mat (Mathworks, Natick, USA) and csv formats. This dataset contains electroencephalographic recordings on 21 subjects doing a visual P300 experiment on PC (personal computer) and VR (virtual reality). The visual P300 is an event-related potential elicited by a visual stimulation, peaking 240-600 ms after stimulus onset. The experiment was designed in order to compare the use of a P300-based brain-computer interface on a PC and with a virtual reality headset, concerning the physiological, subjective and performance aspects. The brain-computer interface is based on electroencephalography (EEG). EEG were recorded thanks to 16 electrodes. The virtual reality headset consisted of a passive head-mounted display, that is, a head-mounted display which does not include any electronics at the exception of a smartphone. This experiment was carried out at GIPSA-lab (University of Grenoble Alpes, CNRS, Grenoble-INP) in 2018, and promoted by the IHMTEK Company (Interaction Homme-Machine Technologie). The study was approved by the Ethical Committee of the University of Grenoble Alpes (Comit{\'e} d'Ethique pour la Recherche Non-Interventionnelle). Python code for manipulating the data is available at https://github.com/plcrodrigues/py.VR.EEG.2018-GIPSA. The ID of this dataset is VR.EEG.2018-GIPSA.


title: Efficient methanol production on the dark side of a prestellar core

abstract: We present ALMA maps of the starless molecular cloud core Ophiuchus/H-MM1 in the lines of deuterated ammonia (ortho-NH2D), methanol (CH3OH), and sulphur monoxide (SO). The dense core is seen in NH2D emission, whereas the CH3OH and SO distributions form a halo surrounding the core. Because methanol is formed on grain surfaces, its emission highlights regions where desorption from grains is particularly efficient. Methanol and sulphur monoxide are most abundant in a narrow zone that follows the eastern side of the core. This side is sheltered from the stronger external radiation field coming from the west. We show that photodissociation on the illuminated side can give rise to an asymmetric methanol distribution, but that the stark contrast observed in H-MM1 is hard to explain without assuming enhanced desorption on the shaded side. The region of the brightest emission has a wavy structure that rolls up at one end. This is the signature of Kelvin-Helmholtz instability occurring in sheared flows. We suggest that in this zone, methanol and sulphur are released as a result of grain-grain collisions induced by shear vorticity.


title: Image search using multilingual texts: a cross-modal learning approach between image and text

abstract: Multilingual (or cross-lingual) embeddings represent several languages in a unique vector space. Using a common embedding space enables for a shared semantic between words from different languages. In this paper, we propose to embed images and texts into a unique distributional vector space, enabling to search images by using text queries expressing information needs related to the (visual) content of images, as well as using image similarity. Our framework forces the representation of an image to be similar to the representation of the text that describes it. Moreover, by using multilingual embeddings we ensure that words from two different languages have close descriptors and thus are attached to similar images. We provide experimental evidence of the efficiency of our approach by experimenting it on two datasets: Common Objects in COntext (COCO) [19] and Multi30K [7].


title: Emergence of stationary uphill currents in 2D Ising models: the role of reservoirs and boundary conditions

abstract: We investigate the dynamics of a 2D Ising model on a square lattice with conservative Kawasaki dynamics in the bulk, coupled with two external reservoirs that pull the dynamics out of equilibrium. Two different mechanisms for the action of the reservoirs are considered. In the first, called ISF, the condition of local equilibrium between reservoir and the lattice is not satisfied. The second mechanism, called DB, implements a detailed balance condition, thus satisfying the local equilibrium property. We provide numerical evidence that, for a suitable choice of the temperature (i.e. below the critical temperature of the equilibrium 2D Ising model) and the reservoir magnetizations, in the long time limit the ISF model undergoes a ferromagnetic phase transition and gives rise to stationary uphill currents, namely positive spins diffuse from the reservoir with lower magnetization to the reservoir with higher magnetization. The same phenomenon does not occur for DB dynamics with properly chosen boundary conditions. Our analysis extends the results reported in Colangeli et al. (Phys. Rev. E, 97:030103(R), 2018), shedding also light on the effect of temperature and the role of different boundary conditions for this model. These issues may be relevant in a variety of situations (e.g. mesoscopic systems) in which the violation of the local equilibrium condition produces unexpected phenomena that seem to contradict the standard laws of transport.


title: Quasiconformal Mappings and Neumann Eigenvalues of Divergent Elliptic Operators

abstract: We study spectral properties of divergence form elliptic operators $-\textrm{div} [A(z) \nabla f(z)]$ with the Neumann boundary condition in planar domains (including some fractal type domains), that satisfy to the quasihyperbolic boundary conditions. Our method is based on an interplay between quasiconformal mappings, elliptic operators and composition operators on Sobolev spaces.


title: Classical model for diffusion and thermalization of heavy quarks in a hot medium: memory and out-of-equilibrium effects

abstract: We consider a simple model for the diffusion of heavy quarks in a hot bath, modeling the latter by an ensemble of oscillators distributed accorded to either a thermal distribution or to an out-of-equilibrium distribution with a saturation scale. Within this model it is easy to introduce memory effects by changing the distribution of oscillators: we model these by introducing a gaussian distribution, $dN/d\omega$, which can be deformed continuously from a $\delta-$function giving a Markov dissipation to a broad kernel with memory. Deriving the equation of motion of the heavy quark in the bath we remark how dissipation comes out naturally as an effect of the back-reaction on the bath of oscillators. Moreover, the exact solution of this equation allows for the definition of a thermalization time as the time necessary to remove any memory of the initial condition. We find that the broadening the dissipative kernel while keeping the coupling fixed lowers the thermalization time. We also derive the fluctuation-dissipation theorem for the bath, and use this to estimate the kinematic regime in which momentum diffusion of the heavy quark dominates over drift: we find that diffusion is more important as long as $K_0/{\cal E}$ is small, where $K_0$ and ${\cal E}$ denote the initial energy of the heavy quark and the average energy of the bath respectively.


title: 3D Face Mask Presentation Attack Detection Based on Intrinsic Image Analysis

abstract: Face presentation attacks have become a major threat to face recognition systems and many countermeasures have been proposed in the past decade. However, most of them are devoted to 2D face presentation attacks, rather than 3D face masks. Unlike the real face, the 3D face mask is usually made of resin materials and has a smooth surface, resulting in reflectance differences. So, we propose a novel detection method for 3D face mask presentation attack by modeling reflectance differences based on intrinsic image analysis. In the proposed method, the face image is first processed with intrinsic image decomposition to compute its reflectance image. Then, the intensity distribution histograms are extracted from three orthogonal planes to represent the intensity differences of reflectance images between the real face and 3D face mask. After that, the 1D convolutional network is further used to capture the information for describing different materials or surfaces react differently to changes in illumination. Extensive experiments on the 3DMAD database demonstrate the effectiveness of our proposed method in distinguishing a face mask from the real one and show that the detection performance outperforms other state-of-the-art methods.


title: Review of borophene and its potential applications

abstract: Since two-dimensional boron sheet (borophene) synthesized on Ag substrates in 2015, research on borophene has grown fast in the fields of condensed matter physics, chemistry, material science, and nanotechnology. Due to the unique physical and chemical properties, borophene has various potential applications. In this review, we summarize the progress on borophene with a particular emphasis on the recent advances. First, we introduce the phases of borophene by experimental synthesis and theoretical predictions. Then, the physical and chemical properties, such as mechanical, thermal, electronic, optical and superconducting properties are summarized. We also discuss in detail the utilization of the borophene for wide ranges of potential application among the alkali metal ion batteries, Li-S batteries, hydrogen storage, supercapacitor, sensor and catalytic in hydrogen evolution, oxygen reduction, oxygen evolution, and CO2 electroreduction reaction. Finally, the challenges and outlooks in this promising field are featured on the basis of its current development.


title: Multi-line Herschel/HIFI observations of water reveal infall motions and chemical segregation around high-mass protostars

abstract: (Abridged) We use HIFI maps of the 987 GHz H2O 2(02)-1(11) emission to measure the sizes and shapes of 19 high-mass protostellar envelopes. To identify infall, we use HIFI spectra of the optically thin C18O 9-8 and H2O-18 1(11)-0(00) lines. The high-J C18O line traces the warm central material and redshifted H2O-18 1(11)-0(00) absorption indicates material falling onto the warm core. We probe small-scale chemical differentiation by comparing H2O 752 and 987 GHz spectra with those of H2O-18. Our measured radii of the central part of the H2O 2(02)-1(11) emission are 30-40% larger than the predictions from spherical envelope models, and axis ratios are <2, which we consider good agreement. For 11 of the 19 sources, we find a significant redshift of the H2O-18 1(11)-0(00) line relative to C18O 9-8. The inferred infall velocities are 0.6-3.2 km/s, and estimated mass inflow rates range from 7e-5 to 2e-2 M0/yr, with the highest mass inflow rates occurring toward the sources with the highest masses, and possibly the youngest ages. The other sources show either expanding motions or H2O-18 lines in emission. The H2O-18 1(11)-0(00) line profiles are remarkably similar to the "differences" between the H2O 2(02)-1(11) and 2(11)-2(02) profiles, suggesting that the H2O-18 line and the H2O 2(02)-1(11) absorption originate just inside the radius where water evaporates from grains, typically 1000-5000 au from the center. In some sources, the H2O-18 line is detectable in the outflow, where no C18O emission is seen. Together, the H2O-18 absorption and C18O emission profiles show that the water abundance around high-mass protostars has at least three levels: low in the cool outer envelope, high within the 100 K radius, and very high in the outflowing gas. Thus, despite the small regions, the combination of lines presented here reveals systematic inflows and chemical information about the outflows.


title: Linkage Based Face Clustering via Graph Convolution Network

abstract: In this paper, we present an accurate and scalable approach to the face clustering task. We aim at grouping a set of faces by their potential identities. We formulate this task as a link prediction problem: a link exists between two faces if they are of the same identity. The key idea is that we find the local context in the feature space around an instance (face) contains rich information about the linkage relationship between this instance and its neighbors. By constructing sub-graphs around each instance as input data, which depict the local context, we utilize the graph convolution network (GCN) to perform reasoning and infer the likelihood of linkage between pairs in the sub-graphs. Experiments show that our method is more robust to the complex distribution of faces than conventional methods, yielding favorably comparable results to state-of-the-art methods on standard face clustering benchmarks, and is scalable to large datasets. Furthermore, we show that the proposed method does not need the number of clusters as prior, is aware of noises and outliers, and can be extended to a multi-view version for more accurate clustering accuracy.


title: Pure semisimple $n$-cluster tilting subcategories

abstract: From the viewpoint of higher homological algebra, we introduce pure semisimple $n$-abelian category, which is analogs of pure semisimple abelian category. Let $\Lambda$ be an Artin algebra and $\mathcal{M}$ be an $n$-cluster tilting subcategory of $Mod$-$\Lambda$. We show that $\mathcal{M}$ is pure semisimple if and only if each module in $\mathcal{M}$ is a direct sum of finitely generated modules. Let $\mathfrak{m}$ be an $n$-cluster tilting subcategory of $mod$-$\Lambda$. We show that $Add(\mathfrak{m})$ is an $n$-cluster tilting subcategory of $Mod$-$\Lambda$ if and only if $\mathfrak{m}$ has an additive generator if and only if $Mod(\mathfrak{m})$ is locally finite. This generalizes Auslander's classical results on pure semisimplicity of Artin algebras.


title: Burstiness in activity-driven networks and the epidemic threshold

abstract: We study the effect of heterogeneous temporal activations on epidemic spreading in temporal networks. We focus on the susceptible-infected-susceptible (SIS) model on activity-driven networks with burstiness. By using an activity-based mean-field approach, we derive a closed analytical form for the epidemic threshold for arbitrary activity and inter-event time distributions. We show that, as expected, burstiness lowers the epidemic threshold while its effect on prevalence is twofold. In low-infective systems burstiness raises the average infection probability, while it weakens epidemic spreading for high infectivity. Our results can help clarify the conflicting effects of burstiness reported in the literature. We also discuss the scaling properties at the transition, showing that they are not affected by burstiness.


title: Introduction to Dynamic Linear Models for Time Series Analysis

abstract: Dynamic linear models (DLM) offer a very generic framework to analyse time series data. Many classical time series models can be formulated as DLMs, including ARMA models and standard multiple linear regression models. The models can be seen as general regression models where the coefficients can vary in time. In addition, they allow for a state space representation and a formulation as hierarchical statistical models, which in turn is the key for efficient estimation by Kalman formulas and by Markov chain Monte Carlo (MCMC) methods. A dynamic linear model can handle non-stationary processes, missing values and non-uniform sampling as well as observations with varying accuracies. This chapter gives an introduction to DLM and shows how to build various useful models for analysing trends and other sources of variability in geodetic time series.


title: Well-posedness of a class of hyperbolic partial differential equations on the semi-axis

abstract: In this article we study a class of hyperbolic partial differential equations of order one on the semi-axis. The so-called port-Hamiltonian systems cover for instance the wave equation and the transport equation, but also networks of the aforementioned equations fit into this framework. Our main results firstly characterize the boundary conditions which turn the corresponding linear operator into the generator of a strongly continuous semigroup. Secondly, we equip the equation with inputs (control) and outputs (observation) at the boundary and prove that this leads to a well-posed boundary control system. We illustrate our results via an example of coupled transport equations on a network, that allows to model transport from and to infinity. Moreover, we study a vibrating string of infinite length with one endpoint. Here, we show that our results allow to treat cases where the physical constants of the string tend to zero at infinity.


title: The level of pairs of polynomials

abstract: Given a polynomial $f$ with coefficients in a field of prime characteristic $p$, it is known that there exists a differential operator that raises $1/f$ to its $p$th power. We first discuss a relation between the `level' of this differential operator and the notion of `stratification' in the case of hyperelliptic curves. Next we extend the notion of level to that of a pair of polynomials. We prove some basic properties and we compute this level in certain special cases. In particular we present examples of polynomials $g$ and $f$ such that there is no differential operator raising $g/f$ to its $p$th power.


title: Optimising Graphene Visibility in van der Waals Heterostructures

abstract: Graphene constitutes one of the key elements in many functional van der Waals heterostructures. However, it has negligible optical visibility due to its monolayer nature. Here we study the visibility of graphene in various van der Waals heterostructures and include the effects of the source spectrum, oblique incidence and the spectral sensitivity of the detector to obtain a realistic model. A visibility experiment is performed at different wavelengths, resulting in a very good agreement with our calculations. This allows us to reliably predict the conditions for better visibility of graphene in van der Waals heterostructures. The framework and the codes provided in this work can be extended to study the visibility of any 2D material within an arbitrary van der Waals heterostructure.


title: S-matrix absolute optimization method for a perfect vertical waveguide grating coupler

abstract: Vertical coupling using a diffraction grating is a convenient way to couple light into an optical waveguide. Several optimization approaches have been suggested in order to design such a coupler; however, most of them are implemented using algorithm based modelling. In this paper, we suggest an intuitive method based on S-matrix formalism for analytically optimize 3-port vertical grating coupler devices. The suggested method is general and can be applied to any 3-port coupler device in order to achieve an optimal design based on user constrains. The simplicity of the model allows reduction of the optimization to two variables and the location of an absolute optimal operation point in a 2D contour map. Accordingly, in an ideal device near 100 percent coupling efficiency and insignificant return loss could be achieved. Our model results show good agreement with numerical FDTD simulations and can predict the general tendencies and sensitivities of the device behavior to changes in design parameters. We further apply our model to a previously reported high contrast uni-directional grating coupler device and show that additional improvement in the coupling efficiency is achievable for that layout.


title: Scalable Deep Learning on Distributed Infrastructures: Challenges, Techniques and Tools

abstract: Deep Learning (DL) has had an immense success in the recent past, leading to state-of-the-art results in various domains such as image recognition and natural language processing. One of the reasons for this success is the increasing size of DL models and the proliferation of vast amounts of training data being available. To keep on improving the performance of DL, increasing the scalability of DL systems is necessary. In this survey, we perform a broad and thorough investigation on challenges, techniques and tools for scalable DL on distributed infrastructures. This incorporates infrastructures for DL, methods for parallel DL training, multi-tenant resource scheduling and the management of training and model data. Further, we analyze and compare 11 current open-source DL frameworks and tools and investigate which of the techniques are commonly implemented in practice. Finally, we highlight future research trends in DL systems that deserve further research.


title: Generic properties in some classes of automaton groups

abstract: We prove, for various important classes of Mealy automata, that almost all generated groups have an element of infinite order. In certain cases, it also implies other results such as exponential growth.


title: Treewidth and Counting Projected Answer Sets

abstract: In this paper, we introduce novel algorithms to solve projected answer set counting (#PAs). #PAs asks to count the number of answer sets with respect to a given set of projected atoms, where multiple answer sets that are identical when restricted to the projected atoms count as only one projected answer set. Our algorithms exploit small treewidth of the primal graph of the input instance by dynamic programming (DP). We establish a new algorithm for head-cycle-free (HCF) programs and lift very recent results from projected model counting to #PAs when the input is restricted to HCF programs. Further, we show how established DP algorithms for tight, normal, and disjunctive answer set programs can be extended to solve #PAs. Our algorithms run in polynomial time while requiring double exponential time in the treewidth for tight, normal, and HCF programs, and triple exponential time for disjunctive programs. Finally, we take the exponential time hypothesis (ETH) into account and establish lower bounds of bounded treewidth algorithms for #PAs. Under ETH, one cannot significantly improve our obtained worst-case runtimes.


title: Dilaton-assisted generation of the Fermi scale from the Planck scale

abstract: In scale-invariant theories of gravity the Planck mass $M_P$, which appears due to spontaneous symmetry breaking, can be the only scale at the classical level. It was argued that the second scale can be generated by a quantum non-perturbative gravitational effect. The new scale, associated with the Higgs vacuum expectation value, can be orders of magnitude below $M_P$, leading to the hierarchy between the Fermi and the Planck scales. We study a theory in which the non-perturbative effect is sensitive both to the physics at energy scales as high as $M_P$ and to the low-energy, Standard Model physics. This makes it possible to constrain the mechanism from experiment. We find that the crucial ingredients of the mechanism are non-minimal coupling of the scalar fields to gravity, the approximate Weyl invariance at high energies, and the metastability of the low-energy vacuum.


title: A new (and optimal) result for boundedness of solution of a quasilinear chemotaxis--haptotaxis model (with logistic source)

abstract: This article deals with an initial-boundary value problem for the coupled chemotaxis-haptotaxis system with nonlinear diffusion $$\left\{\begin{array}{ll} u_t=\nabla\cdot( D(u)\nabla u)-\chi\nabla\cdot(u\nabla v)- \xi\nabla\cdot(u\nabla w)+\mu u(1- u-w), x\in \Omega, t>0,\\ \tau v_t=\Delta v- v +u,\quad x\in \Omega, t>0,\\ w_t=- vw,\quad x\in \Omega, t>0, \end{array}\right.$$ under homogeneous Neumann boundary conditions in a smooth bounded domain $\Omega\subset\mathbb{R}^N(N\geq1)$, where $\tau\in\{0,1\}$ and $\chi$, $\xi$ and $\mu$ are given nonnegative parameters. As far as we know, this situation provides the first {\bf rigorous} result which (precisely) gives the relationship between $m,\xi,\chi$ and $\mu$ that yields to the boundedness of the solutions. Moreover, these results thereby significantly extending results of previous results of several authors (see Remarks 1.1 and 1.2) and some optimal results are obtained.


title: Velocity control for improving flow through a bottleneck

abstract: A bottleneck can largely deteriorate the flow, such as a traffic light or an on-ramp at a road. To alleviate bottleneck situations, one of the important strategies is to control the input rate to suit the state of the road. In this study, we propose an effective velocity control of traveling particles, in which the particle velocity depends on the state of a bottleneck. To analyze our method, we modify the totally asymmetric simple exclusion process (TASEP) and introduce a slow-to-start rule, which we refer to as controlled TASEP in the present paper. Flow improvement is verified in numerical simulations and theoretical analyses by using controlled TASEP.


title: Admission Control based Traffic-Agnostic Delay-Constrained Random Access (AC/DC-RA) for M2M Communication

abstract: The problem of wireless M2M communication is twofold: the reliability aspect and the scalability aspect. The solution of this problem demands a delay constrained random access protocol. To this end we propose Admission Control based Traffic Agnostic Delay Constrained Random Access (AC/DC-RA) protocol. Our main contribution is enabling the stochastic delay constraints agnostic to the traffic, such that the stochastic delay constraint is valid with respect to varying number of arrivals. We achieve this with an admission control decision that uses a novel collision estimation algorithm for active number of arrivals per contention resource. We use an adaptive contention resolution algorithm to react to the varying number of arrivals. Using these tools, the admission control solves the stability problem. We show with simulations that AC/DC-RA provide stochastic delay constrained random access in a traffic agnostic way to sustain a stable performance against Poisson and Beta arrivals without any modification to the protocol.


title: Notes on polynomials $(1+X)^n + (-1)^n(X^n+1)$ concerning the regularity problem for symmetric power sums in 3 variables

abstract: Let $K$ be a field and $f _{n}(X) = (X + 1) ^{n} + (-1) ^{n}(X ^{n} + 1) \in K[X]$, for each $n \in \mathbb N$. This note shows that the polynomials $f _{m}(X)$ and $f _{m'}(X)$ are relatively prime, for some distinct indices $m$ and $m ^{\prime}$ at most equal to $100$, if and only if the product $mm ^{\prime }$ is divisible by $6$.


title: Dp-finite fields I: infinitesimals and positive characteristic

abstract: We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite expansion of a field, then either K has finite Morley rank or K has a non-trivial Aut(K/A)-invariant valuation ring for a small set A. In the positive characteristic case, we can even demand that the valuation ring is henselian. Using this, we classify the positive characteristic dp-finite pure fields.


title: A novel machine learning based framework for detection of Autism Spectrum Disorder (ASD)

abstract: Computer vision and machine learning are the linchpin of field of automation. The medicine industry has adopted numerous methods to discover the root causes of many diseases in order to automate detection process. But, the biomarkers of Autism Spectrum Disorder (ASD) are still unknown, let alone automating its detection. Studies from the neuroscience domain highlighted the fact that corpus callosum and intracranial brain volume holds significant information for detection of ASD. Such results and studies are not tested and verified by scientists working in the domain of computer vision / machine learning. Thus, in this study we have proposed a machine learning based framework for automatic detection of ASD using features extracted from corpus callosum and intracranial brain volume from ABIDE dataset. Corpus callosum and intracranial brain volume data is obtained from T1-weighted MRI scans. Our proposed framework first calculates weights of features extracted from Corpus callosum and intracranial brain volume data. This step ensures to utilize discriminative capabilities of only those features that will help in robust recognition of ASD. Then, conventional machine learning algorithm (conventional refers to algorithms other than deep learning) is applied on features that are most significant in terms of discriminative capabilities for recognition of ASD. Finally, for benchmarking and to verify potential of deep learning on analyzing neuroimaging data i.e. T1-weighted MRI scans, we have done experiment with state of the art deep learning architecture i.e. VGG16 . We have used transfer learning approach to use already trained VGG16 model for detection of ASD. This is done to help readers understand benefits and bottlenecks of using deep learning approach for analyzing neuroimaging data which is difficult to record in large enough quantity for deep learning.


title: Fluctuations Of Linear Spectral Statistics Of Deformed Wigner Matrices

abstract: We investigate the fluctuations of linear spectral statistics of a Wigner matrix $W\_N$ deformed by a deterministic diagonal perturbation $D\_N$, around a deterministic equivalent which can be expressed in terms of the free convolution between a semicircular distribution and the empirical spectral measure of $D\_N$. We obtain Gaussian fluctuations for test functions in $\mathcal{C}\_c^7(\mathbb{R})$ ($\mathcal{C}\_c^2(\mathbb{R})$ for fluctuations around the mean). Furthermore, we provide as a tool a general method inspired from Shcherbina and Johansson to extend the convergence of the bias if there is a bound on the bias of the trace of the resolvent of a random matrix. Finally, we state and prove an asymptotic infinitesimal freeness result for independent GUE matrices together with a family of deterministic matrices, generalizing the main result from [Shl18].


title: Solving Unbounded Quadratic BSDEs by a Domination Method

abstract: We introduce a domination argument which asserts that: if we can dominate theparameters of a quadratic backward stochastic differential equation (QBSDE) with continuousgenerator from above and from below by those of two BSDEs having ordered solutions, thenalso the original QBSDE admits at least one solution. This result is presented in a generalframework: we do not impose any integrability condition on none of the terminal data of thethree involved BSDEs, we do not require any constraint on the growth nor continuity of thetwo dominating generators. As a consequence, we establish the existence of a maximal anda minimal solution to BSDEs whose coefficient H is continuous and satisfies |H(t, y, z)| $\le$$\alpha$ t + $\beta$ t |y| + $\theta$ t |z| + f (|y|)|z| 2 , where $\alpha$ t , $\beta$ t , $\theta$ t are positive processes and the function f ispositive, continuous and increasing (or even only positive and locally bounded) on R. This isdone with unbounded terminal value. We cover the classical QBSDEs where the function f isconstant ([10], [12], [23], [25]) and when f (y) = y p ([21]) and also the cases where the generator has super linear growth such as y|z|, e |y| |z| p , e e |z| 2 , (k $\ge$ 0, 0 $\le$ p < 2) and so on. Incontrast to the works [10, 12, 21, 23, 25], we get the existence of a a maximal and a minimalsolution and we cover the BSDEs with at most linear growth (take f = 0). In particular,we cover and extend the results of [22] and [24]. Furthermore, we establish the existence anduniqueness of solutions to BSDEs driven by f (y)|z| 2 when f is merely locally integrable on R.


title: Dense Intrinsic Appearance Flow for Human Pose Transfer

abstract: We present a novel approach for the task of human pose transfer, which aims at synthesizing a new image of a person from an input image of that person and a target pose. We address the issues of limited correspondences identified between keypoints only and invisible pixels due to self-occlusion. Unlike existing methods, we propose to estimate dense and intrinsic 3D appearance flow to better guide the transfer of pixels between poses. In particular, we wish to generate the 3D flow from just the reference and target poses. Training a network for this purpose is non-trivial, especially when the annotations for 3D appearance flow are scarce by nature. We address this problem through a flow synthesis stage. This is achieved by fitting a 3D model to the given pose pair and project them back to the 2D plane to compute the dense appearance flow for training. The synthesized ground-truths are then used to train a feedforward network for efficient mapping from the input and target skeleton poses to the 3D appearance flow. With the appearance flow, we perform feature warping on the input image and generate a photorealistic image of the target pose. Extensive results on DeepFashion and Market-1501 datasets demonstrate the effectiveness of our approach over existing methods. Our code is available at http://mmlab.ie.cuhk.edu.hk/projects/pose-transfer


title: $\rm H_2CO$ and $\rm H110\alpha$ Observations toward the Aquila Molecular Cloud

abstract: The formaldehyde $\rm H_2CO(1_{10} - 1_{11})$ absorption line and H$110\alpha$ radio recombination line (RRL) have been observed toward the Aquila Molecular Cloud using the Nanshan 25 m telescope operated by the Xinjiang Astronomical Observatory CAS. These first observations of the $\rm H_2CO$ $(1_{10} - 1_{11})$ absorption line determine the extent of the molecular regions that are affected by the ongoing star formation in the Aquila molecular complex and show some of the dynamic properties. The distribution of the excitation temperature $T_{ex}$ for $\rm H_2CO$ identifies the two known star formation regions W40 and Serpens South as well as a smaller new region Serpens 3. The intensity and velocity distributions of $\rm H_2CO$ and $\rm ^{13}CO(1-0)$ do not agree well with each other, which confirms that the $\rm H_2CO$ absorption structure is mostly determined by the excitation of the molecules resulting from the star formation rather than by the availability of molecular material as represented by the distribution. Some velocity-coherent linear $\rm ^{13}CO(1-0)$ structures have been identified in velocity channel maps of $\rm H_2CO$ and it is found that the three star formation regions lie on the intersect points of filaments. The $\rm H110\alpha$ emission is found only at the location of the W40 H II region and spectral profile indicates a redshifted spherical outflow structure in the outskirts of the H II region. Sensitive mapping of $\rm H_2CO$ absorption of the Aquila Complex has correctly identified the locations of star-formation activity in complex molecular clouds and the spectral profiles reveal the dominant velocity components and may identify the presence of outflows.


title: Rethinking the Evaluation of Video Summaries

abstract: Video summarization is a technique to create a short skim of the original video while preserving the main stories/content. There exists a substantial interest in automatizing this process due to the rapid growth of the available material. The recent progress has been facilitated by public benchmark datasets, which enable easy and fair comparison of methods. Currently the established evaluation protocol is to compare the generated summary with respect to a set of reference summaries provided by the dataset. In this paper, we will provide in-depth assessment of this pipeline using two popular benchmark datasets. Surprisingly, we observe that randomly generated summaries achieve comparable or better performance to the state-of-the-art. In some cases, the random summaries outperform even the human generated summaries in leave-one-out experiments. Moreover, it turns out that the video segmentation, which is often considered as a fixed pre-processing method, has the most significant impact on the performance measure. Based on our observations, we propose alternative approaches for assessing the importance scores as well as an intuitive visualization of correlation between the estimated scoring and human annotations.


title: Generalized Off-Policy Actor-Critic

abstract: We propose a new objective, the counterfactual objective, unifying existing objectives for off-policy policy gradient algorithms in the continuing reinforcement learning (RL) setting. Compared to the commonly used excursion objective, which can be misleading about the performance of the target policy when deployed, our new objective better predicts such performance. We prove the Generalized Off-Policy Policy Gradient Theorem to compute the policy gradient of the counterfactual objective and use an emphatic approach to get an unbiased sample from this policy gradient, yielding the Generalized Off-Policy Actor-Critic (Geoff-PAC) algorithm. We demonstrate the merits of Geoff-PAC over existing algorithms in Mujoco robot simulation tasks, the first empirical success of emphatic algorithms in prevailing deep RL benchmarks.


title: Performance Assessment of MIMO Precoding on Realistic mmWave Channels

abstract: In this paper, the performance of multi-user Multiple-Input Multiple-Output (MIMO) systems is evaluated in terms of SINR and capacity. We focus on the case of a downlink single-cell scenario where different precoders have been studied. Among the considered precoders, we range from different Grid of Beams (GoB) optimization approaches to linear precoders (e.g., matched filtering and zero forcing). This performance evaluation includes imperfect channel estimation, and is carried out over two realistic mmWave 5G propagation channels, which are simulated following either the measurement campaign done by New York University (NYU) or the 3GPP channel model. Our evaluation allows grasping knowledge on the precoding performance in mmWave realistic scenarios. The results highlight the good performance of GoB optimization approaches when a realistic channel model with directionality is adopted.


title: Active Multi-Information Source Bayesian Quadrature

abstract: Bayesian quadrature (BQ) is a sample-efficient probabilistic numerical method to solve integrals of expensive-to-evaluate black-box functions, yet so far,active BQ learning schemes focus merely on the integrand itself as information source, and do not allow for information transfer from cheaper, related functions. Here, we set the scene for active learning in BQ when multiple related information sources of variable cost (in input and source) are accessible. This setting arises for example when evaluating the integrand requires a complex simulation to be run that can be approximated by simulating at lower levels of sophistication and at lesser expense. We construct meaningful cost-sensitive multi-source acquisition rates as an extension to common utility functions from vanilla BQ (VBQ),and discuss pitfalls that arise from blindly generalizing. Furthermore, we show that the VBQ acquisition policy is a corner-case of all considered cost-sensitive acquisition schemes, which collapse onto one single de-generate policy in the case of one source and constant cost. In proof-of-concept experiments we scrutinize the behavior of our generalized acquisition functions. On an epidemiological model, we demonstrate that active multi-source BQ (AMS-BQ) allocates budget more efficiently than VBQ for learning the integral to a good accuracy.


title: Speed Invariant Time Surface for Learning to Detect Corner Points with Event-Based Cameras

abstract: We propose a learning approach to corner detection for event-based cameras that is stable even under fast and abrupt motions. Event-based cameras offer high temporal resolution, power efficiency, and high dynamic range. However, the properties of event-based data are very different compared to standard intensity images, and simple extensions of corner detection methods designed for these images do not perform well on event-based data. We first introduce an efficient way to compute a time surface that is invariant to the speed of the objects. We then show that we can train a Random Forest to recognize events generated by a moving corner from our time surface. Random Forests are also extremely efficient, and therefore a good choice to deal with the high capture frequency of event-based cameras ---our implementation processes up to 1.6Mev/s on a single CPU. Thanks to our time surface formulation and this learning approach, our method is significantly more robust to abrupt changes of direction of the corners compared to previous ones. Our method also naturally assigns a confidence score for the corners, which can be useful for postprocessing. Moreover, we introduce a high-resolution dataset suitable for quantitative evaluation and comparison of corner detection methods for event-based cameras. We call our approach SILC, for Speed Invariant Learned Corners, and compare it to the state-of-the-art with extensive experiments, showing better performance.


title: Traveling Waves Induced by Sweeping Flows on Solidification Interfaces

abstract: Solidification of alloys in a thermal gradient usually involves the generation of flows by thermal or thermosolutal convection. We experimentally study their effects on the dynamics of a solidification interface by inducing a controlled sweeping flow in a directional solidification device. Flow is induced in the sample from an external thermosiphon. Downstream inclination of microstructures and downstream sidebranch development are observed. However, the major outcome is the evidence of large scale travelling waves on the solidification interface. They are induced by the coupling between solidification and flow and yield repetitive striations of the solid phase. Two waves are observed and characterized.