title: Classical causal models cannot faithfully explain Bell nonlocality or Kochen-Specker contextuality in arbitrary scenarios

abstract: In a recent work, it was shown by one of us (EGC) that Bell-Kochen-Specker inequality violations in phenomena satisfying the no-disturbance condition (a generalisation of the no-signalling condition) cannot in general be explained with a faithful classical causal model -- that is, a classical causal model that satisfies the assumption of no fine-tuning. The proof of that claim however was restricted to Bell scenarios involving 2 parties or Kochen-Specker-contextuality scenarios involving 2 measurements per context. Here we show that the result holds in the general case of arbitrary numbers of parties or measurements per context; it is not an artefact of the simplest scenarios. This result unifies, in full generality, Bell nonlocality and Kochen-Specker contextuality as violations of a fundamental principle of classical causality. We identify, however, an implicit assumption in the former proof, making it explicit here: that certain operational symmetries of the phenomenon are reflected in the model, rather than requiring fine-tuned choices of model parameters. This clarifies a subtle but important distinction between Bell nonlocality and Kochen-Specker contextuality.


title: Higher secondary polytopes and regular plabic graphs

abstract: Given a configuration $A$ of $n$ points in $\mathbb{R}^{d-1}$, we introduce the higher secondary polytopes $\Sigma_{A,1},\dots, \Sigma_{A,n-d}$, which have the property that $\Sigma_{A,1}$ agrees with the secondary polytope of Gelfand--Kapranov--Zelevinsky, while the Minkowski sum of these polytopes agrees with Billera--Sturmfels' fiber zonotope associated with (a lift of) $A$. In a special case when $d=3$, we refer to our polytopes as higher associahedra. They turn out to be related to the theory of total positivity, specifically, to certain combinatorial objects called plabic graphs, introduced by the second author in his study of the totally positive Grassmannian. We define a subclass of regular plabic graphs and show that they correspond to the vertices of the higher associahedron $\Sigma_{A,k}$, while square moves connecting them correspond to the edges of $\Sigma_{A,k}$. Finally we connect our polytopes to soliton graphs, the contour plots of soliton solutions to the KP equation, which were recently studied by Kodama and the third author. In particular, we confirm their conjecture that when the higher times evolve, soliton graphs change according to the moves for plabic graphs.


title: Feedback control for transition suppression in direct numerical simulations of channel flow

abstract: For channel flow at subcritical Reynolds numbers ($Re<5772$), a laminar-to-turbulent transition can emerge due to a large transient amplification in the kinetic energy of small perturbations, resulting in an increase in drag at the walls. The objectives of the present study are three-fold: (1) to study the nonlinear effects on transient energy growth, (2) to design a feedback control strategy to prevent this subcritical transition, and (3) to examine the control mechanisms that enable transition suppression. We investigate transient energy growth of linear optimal disturbance in plane Poiseuille flow at a subcritical Reynolds number of $Re=3000$ using linear analysis and nonlinear simulation. We find that the amplification of the given initial perturbation is reduced when the nonlinear effect is substantial, with larger perturbations being less amplified in general. Moreover, we design linear quadratic optimal controllers to delay transition via wall-normal blowing and suction actuation at the channel walls. We demonstrate that these feedback controllers are capable of reducing transient energy growth in the linear setting. The performance of the same controllers is evaluated for nonlinear flows where a laminar-to-turbulent transition emerges without control. Nonlinear simulations reveal that the controllers can reduce transient energy growth and suppress transition. Further, we identify and characterize the underlying physical mechanisms that enable feedback control to suppress and delay laminar-to-turbulent transition.


title: Resource Allocation in Dynamic DF Relay for SWIPT Network with Circuit Power Consumption

abstract: This paper considers simultaneous wireless information and power transfer (SWIPT) over a dual-hop dynamic decode-and-forward (DF) relay network with the power-splitting (PS) energy harvesting protocol at the relay. The circuit power consumption (CPC), which includes power requirements for both decoding and encoding circuits, is considered at the relay. For a rate-dependent linear CPC model, we formulate an optimization problem to decide the optimal throughput, PS ratio, relay transmit power and time ratio for the source to relay transmission. Although the resultant optimization problem is non-convex, we derive an efficient optimization algorithm, requiring significantly less floating point operations than an interior point method. Finally, we present numerical results which lead to some interesting insights for system design.


title: Neural Semantic Parsing in Low-Resource Settings with Back-Translation and Meta-Learning

abstract: Neural semantic parsing has achieved impressive results in recent years, yet its success relies on the availability of large amounts of supervised data. Our goal is to learn a neural semantic parser when only prior knowledge about a limited number of simple rules is available, without access to either annotated programs or execution results. Our approach is initialized by rules, and improved in a back-translation paradigm using generated question-program pairs from the semantic parser and the question generator. A phrase table with frequent mapping patterns is automatically derived, also updated as training progresses, to measure the quality of generated instances. We train the model with model-agnostic meta-learning to guarantee the accuracy and stability on examples covered by rules, and meanwhile acquire the versatility to generalize well on examples uncovered by rules. Results on three benchmark datasets with different domains and programs show that our approach incrementally improves the accuracy. On WikiSQL, our best model is comparable to the SOTA system learned from denotations.


title: Effect of the repulsive core in the proton-neutron potential on deuteron elastic breakup cross sections

abstract: The role of the short-range part (repulsive core) of the proton-neutron ($pn$) potential in deuteron elastic breakup processes is investigated. A simplified one-range Gaussian potential and the Argonne V4' (AV4') central potential are adopted in the continuum-discretized coupled-channels (CDCC) method. The deuteron breakup cross sections calculated with these two potentials are compared. The repulsive core is found not to affect the deuteron breakup cross sections at energies from 40 MeV to 1 GeV. To understand this result, an analysis of the peripherality of the elastic breakup processes concerning the $p$-$n$ relative coordinate is performed. It is found that for the breakup processes populating the $pn$ continua with orbital angular momentum $\ell$ different from 0, the reaction process is peripheral, whereas it is not for the breakup to the $\ell=0$ continua (the s-wave breakup). The result of the peripherality analysis indicates that the whole spatial region of deuteron contributes to the s-wave breakup.


title: Fast expectation-maximization algorithms for spatial generalized linear mixed models

abstract: Spatial generalized linear mixed models (SGLMMs) are popular and flexible models for non-Gaussian spatial data. They are useful for spatial interpolations as well as for fitting regression models that account for spatial dependence, and are commonly used in many disciplines such as epidemiology, atmospheric science, and sociology. Inference for SGLMMs is typically carried out under the Bayesian framework at least in part because computational issues make maximum likelihood estimation challenging, especially when high-dimensional spatial data are involved. Here we provide a computationally efficient projection-based maximum likelihood approach and two computationally efficient algorithms for routinely fitting SGLMMs. The two algorithms proposed are both variants of expectation maximization algorithm, using either Markov chain Monte Carlo or a Laplace approximation for the conditional expectation. Our methodology is general and applies to both discrete-domain (Gaussian Markov random field) as well as continuous-domain (Gaussian process) spatial models. We show, via simulation and real data applications, that our methods perform well both in terms of parameter estimation as well as prediction. Crucially, our methodology is computationally efficient and scales well with the size of the data and is applicable to problems where maximum likelihood estimation was previously infeasible.


title: Critical endpoint in the continuum limit and critical endline at $N_{\rm T}=6$ of the finite temperature phase transition of QCD with clover fermions

abstract: We investigate the critical endpoints of the finite temperature phase transition of QCD at zero chemical potential. We employ the renormalization-group improved Iwasaki gauge action and non-perturbatively O(a)-improved Wilson-clover fermion action. The critical endpoints are determined by using the intersection point of kurtosis, employing the multi-parameter, multi-ensemble reweighting method. We present results for the critical endline at $N_{\rm T}$ = 6 and the continuum extrapolation for the critical endpoint of the SU(3)-flavor symmetric point.


title: Nonstationary Nonparametric Online Learning: Balancing Dynamic Regret and Model Parsimony

abstract: An open challenge in supervised learning is \emph{conceptual drift}: a data point begins as classified according to one label, but over time the notion of that label changes. Beyond linear autoregressive models, transfer and meta learning address drift, but require data that is representative of disparate domains at the outset of training. To relax this requirement, we propose a memory-efficient \emph{online} universal function approximator based on compressed kernel methods. Our approach hinges upon viewing non-stationary learning as online convex optimization with dynamic comparators, for which performance is quantified by dynamic regret. Prior works control dynamic regret growth only for linear models. In contrast, we hypothesize actions belong to reproducing kernel Hilbert spaces (RKHS). We propose a functional variant of online gradient descent (OGD) operating in tandem with greedy subspace projections. Projections are necessary to surmount the fact that RKHS functions have complexity proportional to time. For this scheme, we establish sublinear dynamic regret growth in terms of both loss variation and functional path length, and that the memory of the function sequence remains moderate. Experiments demonstrate the usefulness of the proposed technique for online nonlinear regression and classification problems with non-stationary data.


title: Feedback Learning for Improving the Robustness of Neural Networks

abstract: Recent research studies revealed that neural networks are vulnerable to adversarial attacks. State-of-the-art defensive techniques add various adversarial examples in training to improve models' adversarial robustness. However, these methods are not universal and can't defend unknown or non-adversarial evasion attacks. In this paper, we analyze the model robustness in the decision space. A feedback learning method is then proposed, to understand how well a model learns and to facilitate the retraining process of remedying the defects. The evaluations according to a set of distance-based criteria show that our method can significantly improve models' accuracy and robustness against different types of evasion attacks. Moreover, we observe the existence of inter-class inequality and propose to compensate it by changing the proportions of examples generated in different classes.


title: unWISE Coadds: The Five-year Data Set

abstract: We present full-sky coadded maps created by uniformly combining the first five years of Wide-field Infrared Survey Explorer (WISE) and NEOWISE imaging at 3.4 microns (W1) and 4.6 microns (W2). By incorporating both pre-hibernation WISE exposures from 2010-2011 and the first four years (2013-2017) of post-hibernation exposures from the NEOWISE-Reactivation mission, we are able to provide W1/W2 coadds that span a 15 times longer time baseline and are substantially deeper than the standard AllWISE data products. Our new five-year "full-depth" coadds are now the deepest ever all-sky maps at 3-5 microns, permitting detection of sources ~2 times (~0.7 mag) fainter than AllWISE at 5 sigma significance. We additionally present an updated set of "time-resolved" W1/W2 coadds, which separately stack each of ~10 sky passes at each inertial sky location, enabling motion and variability measurements for faint infrared sources over a long ~7.5 year time baseline. We highlight new processing improvements relative to our previous "unWISE" coadd releases, focusing on astrometric calibration and artifact flagging. The deep WISE stacks presented here are already being used to perform target selection for the Dark Energy Spectroscopic Instrument (DESI), and our full-sky coadded WISE/NEOWISE products will be key precursor data sets for upcoming wide-field infrared missions including SPHEREx and NEOCam.


title: A Photometric Analysis of the Relationship Between Type Ia Supernova UV Flux and Host Galaxy Metallicity

abstract: The effect of progenitor metallicity on Type Ia Supernovae (SNe Ia) has important cosmological implications due to the need for these standardizable candles to be compared across large spans of cosmic time in which the progenitor stars might have different properties. Theoretical models have come to different conclusions as to the wavelength range impacted by metallicity differences, leading to differing interpretations of the growing sample of UV observations. Recent work has claimed a correlation between the mid-UV flux of SNe Ia measured from Swift grism spectra and the gas-phase metallicities measured for their host galaxies. Here we examine UV photometry for the same objects. We find no significant correlations between the UV-optical colors (or UV/optical count rate ratios) of the SNe Ia and the host galaxy properties of mass or metallicity. The lack of a significant correlation with host galaxy metallicity implies another physical difference other than progenitor metallicity dominates the UV flux differences. We are no longer limited by a lack of UV observations. Rather, understanding the existing observations requires improved theoretical models and a larger parameter space of physical differences.


title: Modular forms from the Weierstrass functions

abstract: We construct holomorphic elliptic modular forms of weight 2 and weight 1, by special values of Weierstrass p-functions, and by differences of special values of Weierstrass zeta-functions, respectively. Also we calculated the values of these forms at some cusps.


title: Feature Engineering and Forecasting via Derivative-free Optimization and Ensemble of Sequence-to-sequence Networks with Applications in Renewable Energy

abstract: This study introduces a framework for the forecasting, reconstruction and feature engineering of multivariate processes along with its renewable energy applications. We integrate derivative-free optimization with an ensemble of sequence-to-sequence networks and design a new resampling technique called additive resampling, which, along with Bootstrap aggregating (bagging) resampling, are applied to initialize the ensemble structure. Moreover, we explore the proposed framework performance on three renewable energy sources---wind, solar and ocean wave---and conduct several short- to long-term forecasts showing the superiority of the proposed method compared to numerous machine learning techniques. The findings indicate that the introduced method performs more accurately when the forecasting horizon becomes longer. In addition, we modify the framework for automated feature selection. The model represents a clear interpretation of the selected features. Furthermore, we investigate the effects of different environmental and marine factors on the wind speed and ocean output power, respectively, and report the selected features. Finally, we explore the online forecasting setting and illustrate that the model outperforms alternatives through different measurement errors.


title: Uncover the Ground-Truth Relations in Distant Supervision: A Neural Expectation-Maximization Framework

abstract: Distant supervision for relation extraction enables one to effectively acquire structured relations out of very large text corpora with less human efforts. Nevertheless, most of the prior-art models for such tasks assume that the given text can be noisy, but their corresponding labels are clean. Such unrealistic assumption is contradictory with the fact that the given labels are often noisy as well, thus leading to significant performance degradation of those models on real-world data. To cope with this challenge, we propose a novel label-denoising framework that combines neural network with probabilistic modelling, which naturally takes into account the noisy labels during learning. We empirically demonstrate that our approach significantly improves the current art in uncovering the ground-truth relation labels.


title: Visualizing Trends of Key Roles in News Articles

abstract: There are tons of news articles generated every day reflecting the activities of key roles such as people, organizations and political parties. Analyzing these key roles allows us to understand the trends in news. In this paper, we present a demonstration system that visualizes the trend of key roles in news articles based on natural language processing techniques. Specifically, we apply a semantic role labeler and the dynamic word embedding technique to understand relationships between key roles in the news across different time periods and visualize the trends of key role and news topics change over time.


title: Longitudinal Spin Seebeck effect in Pyrochlore Iridates with Bulk and Interfacial Dzyaloshinskii-Moriya interaction

abstract: The longitudinal spin-Seebeck effect (SSE) in magnetic insulator$|$non-magnetic metal heterostructures has been theoretically studied primarily with the assumption of an isotropic interfacial exchange coupling. Here, we present a general theory of the SSE in the case of an antisymmetric Dzyaloshinskii-Moriya interaction (DMI) at the interface, in addition to the usual Heisenberg form. We numerically evaluate the dependence of the spin current on the temperature and bulk DMI using a pyrochlore iridate as a model insulator with all-in all-out (AIAO) ground state configuration. We also compare the results of different crystalline surfaces arising from different crystalline orientations and conclude that the relative angles between the interfacial moments and Dzyaloshinskii-Moriya vectors play a significant role in the spin transfer. Our work extends the theory of the SSE by including the anisotropic nature of the interfacial Dzyaloshinskii-Moriya exchange interaction in magnetic insulator$|$non-magnetic metal heterostructures and can suggest possible materials to optimize the interfacial spin transfer in spintronic devices.


title: Positive energy theorem for asymptotically anti-de Sitter spacetimes with distributional curvature

abstract: We establish the positive energy theorem for weak asymptotically anti-de Sitter initial data sets with distributional curvature under the weak dominant energy condition.


title: Flow-Motion and Depth Network for Monocular Stereo and Beyond

abstract: We propose a learning-based method that solves monocular stereo and can be extended to fuse depth information from multiple target frames. Given two unconstrained images from a monocular camera with known intrinsic calibration, our network estimates relative camera poses and the depth map of the source image. The core contribution of the proposed method is threefold. First, a network is tailored for static scenes that jointly estimates the optical flow and camera motion. By the joint estimation, the optical flow search space is gradually reduced resulting in an efficient and accurate flow estimation. Second, a novel triangulation layer is proposed to encode the estimated optical flow and camera motion while avoiding common numerical issues caused by epipolar. Third, beyond two-view depth estimation, we further extend the above networks to fuse depth information from multiple target images and estimate the depth map of the source image. To further benefit the research community, we introduce tools to generate photorealistic structure-from-motion datasets such that deep networks can be well trained and evaluated. The proposed method is compared with previous methods and achieves state-of-the-art results within less time. Images from real-world applications and Google Earth are used to demonstrate the generalization ability of the method.


title: Concentration Phenomenon of Semiclassical States to Reaction-Diffusion Systems

abstract: In this paper, we consider concentration phenomenon of semiclassical states to the following $2M$-component reaction-diffusion system in $\R \times \R^N$, \begin{align*} \left\{ \begin{aligned} \partial_t u &=\eps^2 \Delta_x u-u-V(x)v + \partial_v H(u, v),\\ \partial_t v &=-\eps^2 \Delta_x v+v + V(x)u - \partial_u H(u, v), \end{aligned} \right. \end{align*} where $M \geq 1$, $N \geq 1$, $\eps>0$ is a small parameter, $V \in C^1(\R^N, \, \R)$, $H \in C^1(\R^M \times \R^M, \, \R)$ and $(u, v): \R \times \R^N \to \R^M \times \R^M$. It is proved that there exist semiclassical states concentrating around the local minimum points of $V$ under mild assumptions. The approach is variational, which is mainly based upon a new linking-type argument, iterative techniques and interior estimates for nonlinear parabolic equations.


title: $L^2$ Bounds for a maximal directional Hilbert transform

abstract: Given any finite direction set $\Omega$ of cardinality $N$ in Euclidean space, we consider the maximal directional Hilbert transform $H_{\Omega}$ associated to this direction set. Our main result provides an essentially sharp uniform bound, depending only on $N$, for the $L^2$ operator norm of $H_{\Omega}$ in dimensions 3 and higher. The main ingredients of the proof consist of polynomial partitioning tools from incidence geometry and an almost-orthogonality principle for $H_{\Omega}$. The latter principle can also be used to analyze special direction sets $\Omega$, and derive sharp $L^2$ estimates for the corresponding operator $H_{\Omega}$ that are typically stronger than the uniform $L^2$ bound mentioned above. A number of such examples are discussed.


title: Quantum-Computing Architecture based on Large-Scale Multi-Dimensional Continuous-Variable Cluster States in a Scalable Photonic Platform

abstract: Quantum computing is a disruptive paradigm widely believed to be capable of solving classically intractable problems. However, the route toward full-scale quantum computers is obstructed by immense challenges associated with the scalability of the platform, the connectivity of qubits, and the required fidelity of various components. One-way quantum computing is an appealing approach that shifts the burden from high-fidelity quantum gates and quantum memories to the generation of high-quality entangled resource states and high fidelity measurements. Cluster states are an important ingredient for one-way quantum computing, and a compact, portable, and mass producible platform for large-scale cluster states will be essential for the widespread deployment of one-way quantum computing. Here, we bridge two distinct fields---Kerr microcombs and continuous-variable (CV) quantum information---to formulate a one-way quantum computing architecture based on programmable large-scale CV cluster states. The architecture can accommodate hundreds of simultaneously addressable entangled optical modes multiplexed in the frequency domain and an unlimited number of sequentially addressable entangled optical modes in time domain. One-dimensional, two-dimensional, and three-dimensional CV cluster states can be deterministically produced. We note cluster states of at least three dimensions are required for fault-tolerant one-way quantum computing with known error-correction strategies. This architecture can be readily implemented with silicon photonics, opening a promising avenue for quantum computing at a large scale.


title: On the number of fixed points of automorphisms of vertex-transitive graphs of bounded valency

abstract: The main result of this paper is that, if $\Gamma$ is a finite connected $4$-valent arc-transitive graph, then either $\Gamma$ is part of a well-understood family of graphs, or every non-identity automorphism of $\Gamma$ fixes at most $1/3$ of the vertices. As a corollary, we get a similar result for $3$-valent vertex-transitive graphs. Based on these results we propose a conjecture on the number of fixed points of non-identity automorphisms of vertex-transitive graphs of bounded valency.


title: Recovering Preferences from Finite Data

abstract: We study preferences estimated from finite choice experiments and provide sufficient conditions for convergence to a unique underlying "true" preference. Our conditions are weak, and therefore valid in a wide range of economic environments. We develop applications to expected utility theory, choice over consumption bundles, menu choice and intertemporal consumption. Our framework unifies the revealed preference tradition with models that allow for errors.


title: Optical Control of transverse Motion of Ionization injected Electrons in Laser Plasma Wakefield

abstract: We demonstrate an all-optical method for controlling the transverse motion of ionization injected electron beam, by utilizing the transversely asymmetrical wakefield via adjusting the shape of the laser focal spot. When the laser spot shape is changed from the circular to the obliquely elliptic in experiment, the electron beam shape becomes from elliptic to three different shapes. The 3D-PIC simulation results agree well with experiment, and it shows the trajectories of the accelerated electrons change from undulation to helix. Such an all-optical method could be useful for convenient control of the transverse motion of an electron beam which results in synchrotron radiation with orbit angular momentum.


title: Application of Convolutional Neural Networks for Stellar Spectral Classification

abstract: Due to the ever-expanding volume of observed spectroscopic data from surveys such as SDSS and LAMOST, it has become important to apply artificial intelligence (AI) techniques for analysing stellar spectra to solve spectral classification and regression problems like the determination of stellar atmospheric parameters Teff, log g, [Fe/H]. We propose an automated approach for the classification of stellar spectra in the optical region using Convolutional Neural Networks. Traditional machine learning (ML) methods with "shallow" architecture (usually up to 2 hidden layers) have been trained for these purposes in the past. However, deep learning methods with a larger number of hidden layers allow the use of finer details in the spectrum which results in improved accuracy and better generalisation. Studying finer spectral signatures also enables us to determine accurate differential stellar parameters and find rare objects. We examine various machine and deep learning algorithms like Artificial Neural Networks (ANN), Random Forest (RF), and Convolutional Neural Network (CNN) to classify stellar spectra using the Jacoby Atlas, ELODIE and MILES spectral libraries as training samples. We test the performance of the trained networks on the Indo-U.S. Library of Coude Feed Stellar Spectra (CFLIB). We show that using convolutional neural networks, we are able to lower the error up to 1.23 spectral sub-classes as compared to that of 2 sub-classes achieved in the past studies with ML approach. We further apply the trained model to classify stellar spectra retrieved from the SDSS database with SNR>20.


title: Accelerating Column Generation via Flexible Dual Optimal Inequalities with Application to Entity Resolution

abstract: In this paper, we introduce a new optimization approach to Entity Resolution. Traditional approaches tackle entity resolution with hierarchical clustering, which does not benefit from a formal optimization formulation. In contrast, we model entity resolution as correlation-clustering, which we treat as a weighted set-packing problem and write as an integer linear program (ILP). In this case sources in the input data correspond to elements and entities in output data correspond to sets/clusters. We tackle optimization of weighted set packing by relaxing integrality in our ILP formulation. The set of potential sets/clusters can not be explicitly enumerated, thus motivating optimization via column generation. In addition to the novel formulation, we also introduce new dual optimal inequalities (DOI), that we call flexible dual optimal inequalities, which tightly lower-bound dual variables during optimization and accelerate column generation. We apply our formulation to entity resolution (also called de-duplication of records), and achieve state-of-the-art accuracy on two popular benchmark datasets. The project page is available at the following url, https://github.com/lokhande-vishnu/EntityResolution


title: Which Cubic Graphs have Quadrangulated Spherical Immersions?

abstract: We consider spherical quadrangulations -- spherical embeddings of multigraphs, possibly with loops, so that every face has boundary walk of length 4 -- in which all vertices have degree 3 or 4. Interpreting each degree 4 vertex as a crossing, these embeddings can also be thought of as transversal immersions of cubic graphs which we refer to as the {\it extracted graphs}. We also consider quadrangulations of the disk in which interior vertices have degree 3 or 4 and boundary vertices have degree 2 or 3. First, we classify all such quadrangulations of the disk. Then, we provide four methods for constructing spherical quadrangulations, two of which use quadrangulations of the disk as input. Two of these methods provide one-parameter families of quadrangulations, for which we prove that the sequence of isomorphism types of extracted graphs is periodic. We close with a description of computer computations which yielded spherical quadrangulations for all but three cubic multigraphs on eight vertices.


title: Analytic stability boundaries for compressional and global Alfv\'en eigenmodes driven by fast ions. I. Interaction via ordinary and anomalous cyclotron resonances

abstract: Conditions for net fast ion drive are derived for beam-driven, sub-cyclotron compressional (CAE) and global (GAE) Alfv\'en eigenmodes, such as those routinely observed in spherical tokamaks such as NSTX(-U) and MAST. Both co- and counter-propagating CAEs and GAEs are investigated, driven by the ordinary and anomalous Doppler-shifted cyclotron resonance with fast ions. Whereas prior results were restricted to vanishingly narrow distributions in velocity space, broad parameter regimes are identified in this work which enable an analytic treatment for realistic fast ion distributions generated by neutral beam injection. The simple, approximate conditions derived in these regimes for beam distributions of realistic width compare well to the numerical evaluation of the full analytic expressions for fast ion drive. Moreover, previous results in the very narrow beam case are corrected and generalized to retain all terms in $\omega/\omega_{ci}$ and $k_\parallel/k_\perp$, which are often assumed to be small parameters but can significantly modify the conditions of drive and damping when they are non-negligible. Favorable agreement is demonstrated between the approximate stability criterion, simulation results, and a large database of NSTX observations of cntr-GAEs.


title: Observing geometry of quantum states in a three-level system

abstract: In quantum mechanics, geometry has been demonstrated as a useful tool for inferring non-classical behaviors and exotic properties of quantum systems. One standard approach to illustrate the geometry of quantum systems is to project the quantum state space to the Euclidean space via measurements of observables on the system. Despite the great success of this method in studying two-level quantum systems (qubits) with the celebrated Bloch sphere representation, there is always the difficulty to reveal the geometry of multi-dimensional quantum systems. Here we report the first experiment measuring the geometry of such projections beyond the qubit. Specifically, we observe the joint numerical ranges (JNRs) of a triple of observables in a three-level photonic system, providing complete classification of the JNRs. We further show that the geometry of different classes reveal ground-state degeneracies of a Hamiltonian as a linear combination of the observables, which is related to quantum phases in the thermodynamic limit. Our results offer a versatile geometric approach for exploring the properties of higher-dimensional quantum systems.


title: A Formal Semantics of Findel in Coq (Short Paper)

abstract: We present the first formal semantics of Findel - a DSL for specifying financial derivatives. The semantics is encoded in Coq, and we use it to prove properties of several Findel contracts.


title: Analytic stability boundaries for compressional and global Alfv\'en eigenmodes driven by fast ions. II. Interaction via Landau resonance

abstract: Conditions for net fast ion drive are derived for beam-driven, co-propagating, sub-cyclotron compressional (CAE) and global (GAE) Alfv\'en eigenmodes driven by the Landau resonance with super-Alfv\'enic fast ions. Approximations applicable to realistic neutral beam distributions and mode characteristics observed in spherical tokamaks enable the derivation of marginal stability conditions for these modes. Such conditions successfully reproduce the stability boundaries found from numerical integration of the exact expression for local fast ion drive/damping. Coupling between the CAE and GAE branches of the dispersion due to finite $\omega/\omega_{ci}$ and $k_\parallel/k_\perp$ is retained and found to be responsible for the existence of the GAE instability via this resonance. Encouraging agreement is demonstrated between the approximate stability criterion, simulation results, and a database of NSTX observations of co-CAEs.


title: Searching for Eccentricity: Signatures of Dynamical Formation in the First Gravitational-Wave Transient Catalogue of LIGO and Virgo

abstract: Binary black holes are thought to form primarily via two channels: isolated evolution and dynamical formation. The component masses, spins, and eccentricity of a binary black hole system provide clues to its formation history. We focus on eccentricity, which can be a signature of dynamical formation. Employing the spin-aligned eccentric waveform model SEOBNRE, we perform Bayesian inference to measure the eccentricity of binary black hole merger events in the first Gravitational-Wave Transient Catalogue of LIGO and Virgo. We find that all of these events are consistent with zero eccentricity. We set upper limits on eccentricity ranging from 0.02 to 0.05 with 90% confidence at a reference frequency of 10 Hz. These upper limits do not significantly constrain the fraction of LIGO-Virgo events formed dynamically in globular clusters, because only ~ 5% are expected to merge with measurable eccentricity. However, with the Gravitational-Wave Transient Catalogue set to expand dramatically over the coming months, it may soon be possible to significantly constrain the fraction of mergers taking place in globular clusters using eccentricity measurements.


title: On the conjectures of Braverman-Kazhdan

abstract: In this article we prove a conjecture of Braverman and Kazhdan in \cite{BK1} on acyclicity of $\rho$-Bessel sheaves on reductive groups in both $\ell$-adic and de Rham settings. We do so by establishing a vanishing conjecture proposed in \cite{C1}. As a corollary, we obtain a geometric construction of the non-linear Fourier kernels for finite reductive groups as conjectured by Braverman and Kazhdan. The proof of the vanishing conjecture relies on the techniques developed in \cite{BFO} on Drinfeld center of Harish-Chandra bimodules and character D-modules, and a construction of a class of character sheaves in mixed-characteristic.


title: Covariance steering in zero-sum linear-quadratic two-player differential games

abstract: We formulate a new class of two-person zero-sum differential games, in a stochastic setting, where a specification on a target terminal state distribution is imposed on the players. We address such added specification by introducing incentives to the game that guides the players to steer the join distribution accordingly. In the present paper, we only address linear quadratic games with Gaussian target distribution. The solution is characterized by a coupled Riccati equations system, resembling that in the standard linear quadratic differential games. Indeed, once the incentive function is calculated, our problem reduces to a standard one. Tthe framework developed in this paper extends previous results in covariance control, a fast growing research area. On the numerical side, problems herein are reformulated as convex-concave minimax problems for which efficient and reliable algorithms are available.


title: Reversible control of Dzyaloshinskii-Moriya interaction at graphene/Co interface via hydrogen absorption

abstract: Using first-principles calculations, we investigate the impact of hydrogenation on the Dzyaloshinskii-Moriya interaction (DMI) at graphene/Co interface. We find that both the magnitude and chirality of DMI can be controlled via hydrogenation absorbed on graphene surface. Our analysis using density of states combined with first-order perturbation theory reveals that the spin splitting and the occupation of Co-d orbitals, especially the dxz and dz2 states, play a crucial role in defining the magnitude and the chirality of DMI. Moreover, we find that the DMI oscillates with a period of two atomic layers as a function of Co thickness what could be explained by analysis of out-of-plane of Co orbitals. Our work elucidates the underlying mechanisms of interfacial DMI origin and provides an alternative route of its control for spintronic applications.


title: Well-Conditioned Galerkin Spectral Method for Two-Sided Fractional Diffusion Equation with Drift

abstract: In this paper, we focus on designing a well-conditioned Glarkin spectral methods for solving a two-sided fractional diffusion equations with drift, in which the fractional operators are defined neither in Riemann-Liouville nor Caputo sense, and its physical meaning is clear. Based on the image spaces of Riemann-Liouville fractional integral operators on $L_p([a,b])$ space discussed in our previous work, after a step by step deduction, three kinds of Galerkin spectral formulations are proposed, the final obtained corresponding scheme of which shows to be well-conditioned---the condition number of the stiff matrix can be reduced from $O(N^{2\alpha})$ to $O(N^{\alpha})$, where $N$ is the degree of the polynomials used in the approximation. Another point is that the obtained schemes can also be applied successfully to approximate fractional Laplacian with generalized homogeneous boundary conditions, whose fractional order $\alpha\in(0,2)$, not only having to be limited to $\alpha\in(1,2)$. Several numerical experiments demonstrate the effectiveness of the derived schemes. Besides, based on the numerical results, we can observe the behavior of mean first exit time, an interesting quantity that can provide us with a further understanding about the mechanism of abnormal diffusion.


title: Strangeness Production in Jets and Underlying Events in pp Collisions at $\sqrt{s}$ = 13 TeV with ALICE

abstract: The production of $\mathrm{K^0_S}$, $\Lambda$ and $\Xi$ is measured in jets and underlying events in pp collisions at $\sqrt{s}$ = 13 TeV with ALICE detectors. The corresponding $\Lambda/\mathrm{K^0_S}$ and $\Xi/\Lambda$ ratios are presented as a function of transverse momentum. The hard scatterings are tagged by charged-particle jets ,which are reconstructed with the anti-$k_\mathrm{T}$ algorithm using a resolution parameter $R$ = 0.4. The flow-like correlations and the enhanced production of multi-strange hadrons in small colliding systems may be described by soft components.


title: Computing quantum Bell inequalities

abstract: Understanding the limits of quantum theory in terms of uncertainty and correlation has always been a topic of foundational interest. Surprisingly this pursuit can also bear interesting applications such as device-independent quantum cryptography and tomography or self-testing. Building upon a series of recent works on the geometry of quantum correlations, we are interested in the problem of computing quantum Bell inequalities or the boundary between quantum and post-quantum world. Better knowledge of this boundary will lead to more efficient device-independent quantum processing protocols. We show that computing quantum Bell inequalities is an instance of a quantifier elimination problem, and apply these techniques to the bipartite scenario in which each party can have three measurement settings. Due to heavy computational complexity, we are able to obtain the characterization of certain "linear" relaxation of the quantum set for this scenario. The resulting quantum Bell inequalities are shown to be equivalent to the Tsirelson-Landau-Masanes arcsin inequality, which is the only type of quantum Bell inequality found since 1987.


title: Further Applications of Wireless Communication Systems over $\alpha-\eta-\kappa-\mu$ Fading Channels

abstract: In this letter, some applications of wireless communication systems over $\alpha-\eta-\kappa-\mu$ fading channels are analysed. More specifically, the effective rate and the average of both the detection probability and area under the receiver characteristics curve of energy detection based spectrum sensing are studied. Furthermore, highly accurate method to truncating the infinite summation of the probability density function of $\alpha-\eta-\kappa-\mu$ fading conditions for a certain number of terms is provided. To this end, novel mathematically tractable exact expressions are derived in terms of the Fox's $H$-function (FHF). The asymptotic behaviour is also explained to earn further insights into the effect of the fading parameters on the system performance. A comparison between the numerical results and Monte Carlo simulations is presented to verify the validation of our analysis.


title: Square Compactness and the filter extension property

abstract: We show that the consistency strength of $\kappa$ being $2^\kappa$-square compact is at least weak compact and strictly less than indescribable. This is the first known improvement to the upper bound of strong compactness obtained in 1973 by Hajnal and Juh{\' a}sz.


title: Candidate Generation with Binary Codes for Large-Scale Top-N Recommendation

abstract: Generating the Top-N recommendations from a large corpus is computationally expensive to perform at scale. Candidate generation and re-ranking based approaches are often adopted in industrial settings to alleviate efficiency problems. However it remains to be fully studied how well such schemes approximate complete rankings (or how many candidates are required to achieve a good approximation), or to develop systematic approaches to generate high-quality candidates efficiently. In this paper, we seek to investigate these questions via proposing a candidate generation and re-ranking based framework (CIGAR), which first learns a preference-preserving binary embedding for building a hash table to retrieve candidates, and then learns to re-rank the candidates using real-valued ranking models with a candidate-oriented objective. We perform a comprehensive study on several large-scale real-world datasets consisting of millions of users/items and hundreds of millions of interactions. Our results show that CIGAR significantly boosts the Top-N accuracy against state-of-the-art recommendation models, while reducing the query time by orders of magnitude. We hope that this work could draw more attention to the candidate generation problem in recommender systems.


title: Weak comp algebras and cup products in secondary Hochschild cohomology of entwining structures

abstract: We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the secondary cohomology groups. We also consider a subcomplex on which the two cup products coincide and which satisfies the axioms for being a comp algebra. The cohomology of this subcomplex then forms a Gerstenhaber algebra. We also construct a bicomplex that controls the deformations of the entwining structure over $B$.


title: Maximum Likelihood Constraint Inference for Inverse Reinforcement Learning

abstract: While most approaches to the problem of Inverse Reinforcement Learning (IRL) focus on estimating a reward function that best explains an expert agent's policy or demonstrated behavior on a control task, it is often the case that such behavior is more succinctly represented by a simple reward combined with a set of hard constraints. In this setting, the agent is attempting to maximize cumulative rewards subject to these given constraints on their behavior. We reformulate the problem of IRL on Markov Decision Processes (MDPs) such that, given a nominal model of the environment and a nominal reward function, we seek to estimate state, action, and feature constraints in the environment that motivate an agent's behavior. Our approach is based on the Maximum Entropy IRL framework, which allows us to reason about the likelihood of an expert agent's demonstrations given our knowledge of an MDP. Using our method, we can infer which constraints can be added to the MDP to most increase the likelihood of observing these demonstrations. We present an algorithm which iteratively infers the Maximum Likelihood Constraint to best explain observed behavior, and we evaluate its efficacy using both simulated behavior and recorded data of humans navigating around an obstacle.


title: A Robust Hybrid Approach for Textual Document Classification

abstract: Text document classification is an important task for diverse natural language processing based applications. Traditional machine learning approaches mainly focused on reducing dimensionality of textual data to perform classification. This although improved the overall classification accuracy, the classifiers still faced sparsity problem due to lack of better data representation techniques. Deep learning based text document classification, on the other hand, benefitted greatly from the invention of word embeddings that have solved the sparsity problem and researchers focus mainly remained on the development of deep architectures. Deeper architectures, however, learn some redundant features that limit the performance of deep learning based solutions. In this paper, we propose a two stage text document classification methodology which combines traditional feature engineering with automatic feature engineering (using deep learning). The proposed methodology comprises a filter based feature selection (FSE) algorithm followed by a deep convolutional neural network. This methodology is evaluated on the two most commonly used public datasets, i.e., 20 Newsgroups data and BBC news data. Evaluation results reveal that the proposed methodology outperforms the state-of-the-art of both the (traditional) machine learning and deep learning based text document classification methodologies with a significant margin of 7.7% on 20 Newsgroups and 6.6% on BBC news datasets.


title: Generating Accurate Pseudo-labels in Semi-Supervised Learning and Avoiding Overconfident Predictions via Hermite Polynomial Activations

abstract: Rectified Linear Units (ReLUs) are among the most widely used activation function in a broad variety of tasks in vision. Recent theoretical results suggest that despite their excellent practical performance, in various cases, a substitution with basis expansions (e.g., polynomials) can yield significant benefits from both the optimization and generalization perspective. Unfortunately, the existing results remain limited to networks with a couple of layers, and the practical viability of these results is not yet known. Motivated by some of these results, we explore the use of Hermite polynomial expansions as a substitute for ReLUs in deep networks. While our experiments with supervised learning do not provide a clear verdict, we find that this strategy offers considerable benefits in semi-supervised learning (SSL) / transductive learning settings. We carefully develop this idea and show how the use of Hermite polynomials based activations can yield improvements in pseudo-label accuracies and sizable financial savings (due to concurrent runtime benefits). Further, we show via theoretical analysis, that the networks (with Hermite activations) offer robustness to noise and other attractive mathematical properties.


title: On the similarities and differences between the Cloud, Fog and the Edge

abstract: The field of edge and fog computing is growing, but there are still many inconsistent and loosely-defined terms in current literature. With many articles comparing theoretical architectures and evaluating implementations, there is a need to understand the underlying meaning of information condensed into fog, edge, and similar terms. Through our review of current literature, we discuss these differences and extract key characteristics for basic concepts that appear throughout. The similarities to existing IaaS, PaaS and SaaS models are presented, contrasted against similar models modified for the specifics of edge devices and workloads. We also evaluate the different aspects existing evaluation and comparison works investigate, including the compute, networking, storage, security, and ease-of-use capabilities of the target implementations. Following that, we make a broad overview of currently available commercial and open-source platforms implementing the edge or fog paradigms, identifying key players, successful niche actors and general trends for feature-level and technical development of these platforms.


title: A statistical methodology to select covariates in high-dimensional data under dependence. Application to the classification of genetic profiles in oncology

abstract: We propose a new methodology for selecting and ranking covariates associated with a variable of interest in a context of high-dimensional data under dependence but few observations. The methodology successively intertwines the clustering of covariates, decorrelation of covariates using Factor Latent Analysis, selection using aggregation of adapted methods and finally ranking. Simulations study shows the interest of the decorrelation inside the different clusters of covariates. We first apply our method to transcriptomic data of 37 patients with advanced non-small-cell lung cancer who have received chemotherapy, to select the transcriptomic covariates that explain the survival outcome of the treatment. Secondly, we apply our method to 79 breast tumor samples to define patient profiles for a new metastatic biomarker and associated gene network in order to personalize the treatments.


title: Hessian-based Lagrangian closure theory for passive scalar turbulence

abstract: Self-consistent closure theory for passive-scalar turbulence has been developed on the basis of the Hessian of the scalar field. As a primitive indicator of spatial structure of the scalar, we employ the Hessian into the core of the theory to properly characterize the time scale intrinsic to the scalar field itself. The resultant closure model is now endowed with several realistic features, i.e. the scale-locality of the interscale interaction, the detailed conservation, and the memory-fading effect. Applying the current theory to the inertial-convective range eventually leads to self-consistent derivation of the Obukhov-Corrsin spectrum with its universal constant consistent with numerical and experimental data.


title: 3D Ken Burns Effect from a Single Image

abstract: The Ken Burns effect allows animating still images with a virtual camera scan and zoom. Adding parallax, which results in the 3D Ken Burns effect, enables significantly more compelling results. Creating such effects manually is time-consuming and demands sophisticated editing skills. Existing automatic methods, however, require multiple input images from varying viewpoints. In this paper, we introduce a framework that synthesizes the 3D Ken Burns effect from a single image, supporting both a fully automatic mode and an interactive mode with the user controlling the camera. Our framework first leverages a depth prediction pipeline, which estimates scene depth that is suitable for view synthesis tasks. To address the limitations of existing depth estimation methods such as geometric distortions, semantic distortions, and inaccurate depth boundaries, we develop a semantic-aware neural network for depth prediction, couple its estimate with a segmentation-based depth adjustment process, and employ a refinement neural network that facilitates accurate depth predictions at object boundaries. According to this depth estimate, our framework then maps the input image to a point cloud and synthesizes the resulting video frames by rendering the point cloud from the corresponding camera positions. To address disocclusions while maintaining geometrically and temporally coherent synthesis results, we utilize context-aware color- and depth-inpainting to fill in the missing information in the extreme views of the camera path, thus extending the scene geometry of the point cloud. Experiments with a wide variety of image content show that our method enables realistic synthesis results. Our study demonstrates that our system allows users to achieve better results while requiring little effort compared to existing solutions for the 3D Ken Burns effect creation.


title: A Generalized Network for MRI Intensity Normalization

abstract: Image normalization, the correction for intra-volume inhomogeneities in magnetic resonance imaging (MRI) data has little significance for visual diagnosis, but is a crucial step before automated radiotherapy solutions. There are several well-established normalization methods, however they are usually time expensive and difficult to tune for a specific dataset. In this study, we show how an artificial neural network (ANN) can be trained on non-medical images --- making the model general --- for intensity normalization on medical MRI images. Compared to one of the most well-known correction methods, N4ITK, the trained network achieves a higher accuracy with a speedup-factor of almost 70.


title: An Extension of Fast Iterative Shrinkage-thresholding to Riemannian Optimization for Sparse Principal Component Analysis

abstract: Sparse principal component analysis (PCA), an important variant of PCA, attempts to find sparse loading vectors when conducting dimension reduction. This paper considers the nonsmooth Riemannian optimization problem associated with the ScoTLASS model for sparse PCA which can impose orthogonality and sparsity simultaneously. A Riemannian proximal method is proposed in the work of Chen et al. for the efficient solution of this optimization problem. In this paper, two acceleration schemes are introduced. First and foremost, we extend the FISTA method from the Euclidean space to the Riemannian manifold to solve sparse PCA, leading to the accelerated Riemannian proximal gradient method. Since the Riemannian optimization problem for sparse PCA is essentially non-convex, a restarting technique is adopted to stabilize the accelerated method without sacrificing the fast convergence. Second, a diagonal preconditioner is proposed for the Riemannian proximal subproblem which can further accelerate the convergence of the Riemannian proximal methods. Numerical evaluations establish the computational advantages of the proposed methods over the existing proximal gradient methods on a manifold. Additionally, a short result concerning the convergence of the Riemannian subgradients of a sequence is established, which, together with the result in the work of Chen et al., can show the stationary point convergence of the Riemannian proximal methods.


title: Fungal tip growth arising through a codimension-1 global bifurcation

abstract: Tip growth is a growth stage which occurs in fungal cells. During tip growth, the cell exhibits continuous extreme lengthwise growth while its shape remains qualitatively the same. A model for single celled fungal tip growth is given by the Ballistic Ageing Thin viscous Sheet (BATS) model, which consists of a 5-dimensional system of first order differential equations. The solutions of the BATS model that correspond to fungal tip growth arise through a codimension-1 global bifurcation in a 2-parameter family of solutions. In this paper we derive a toy model from the BATS model. The toy model is given by 2-dimensional system of first order differential equations which depend on a single parameter. The main achievement of this paper is a proof that the toy model exhibits an analogue of the codimension-1 global bifurcation in the BATS model. An important ingredient of the proof is a topological method which enables the identification of the bifurcation points. Finally, we discuss how the proof may be generalized to the BATS model.


title: Learning Graphs from Linear Measurements: Fundamental Trade-offs and Applications

abstract: We consider a specific graph learning task: reconstructing a symmetric matrix that represents an underlying graph using linear measurements. We present a sparsity characterization for distributions of random graphs (that are allowed to contain high-degree nodes), based on which we study fundamental trade-offs between the number of measurements, the complexity of the graph class, and the probability of error. We first derive a necessary condition on the number of measurements. Then, by considering a three-stage recovery scheme, we give a sufficient condition for recovery. Furthermore, assuming the measurements are Gaussian IID, we prove upper and lower bounds on the (worst-case) sample complexity for both noisy and noiseless recovery. In the special cases of the uniform distribution on trees with n nodes and the Erdos-Renyi (n,p) class, the fundamental trade-offs are tight up to multiplicative factors with noiseless measurements. In addition, for practical applications, we design and implement a polynomial-time (in n) algorithm based on the three-stage recovery scheme. Experiments show that the heuristic algorithm outperforms basis pursuit on star graphs. We apply the heuristic algorithm to learn admittance matrices in electric grids. Simulations for several canonical graph classes and IEEE power system test cases demonstrate the effectiveness and robustness of the proposed algorithm for parameter reconstruction.


title: An Automatic Cardiac Segmentation Framework based on Multi-sequence MR Image

abstract: LGE CMR is an efficient technology for detecting infarcted myocardium. An efficient and objective ventricle segmentation method in LGE can benefit the location of the infarcted myocardium. In this paper, we proposed an automatic framework for LGE image segmentation. There are just 5 labeled LGE volumes with about 15 slices of each volume. We adopted histogram match, an invariant of rotation registration method, on the other labeled modalities to achieve effective augmentation of the training data. A CNN segmentation model was trained based on the augmented training data by leave-one-out strategy. The predicted result of the model followed a connected component analysis for each class to remain the largest connected component as the final segmentation result. Our model was evaluated by the 2019 Multi-sequence Cardiac MR Segmentation Challenge. The mean testing result of 40 testing volumes on Dice score, Jaccard score, Surface distance, and Hausdorff distance is 0.8087, 0.6976, 2.8727mm, and 15.6387mm, respectively. The experiment result shows a satisfying performance of the proposed framework. Code is available at https://github.com/Suiiyu/MS-CMR2019.


title: Infrared renormalon in $SU(N)$ QCD(adj.) on $\mathbb{R}^3\times S^1$

abstract: We study the infrared renormalon in the gluon condensate in the $SU(N)$ gauge theory with $n_W$-flavor adjoint Weyl fermions (QCD(adj.)) on~$\mathbb{R}^3\times S^1$ with the $\mathbb{Z}_N$ twisted boundary conditions. We rely on the so-called large-$\beta_0$ approximation as a conventional tool to analyze the renormalon, in which only Feynman diagrams that dominate in the large-$n_W$ limit are considered while the coefficient of the vacuum polarization is set by hand to the one-loop beta function~$\beta_0=11/3-2n_W/3$. In the large~$N$ limit within the large-$\beta_0$ approximation, the W-boson, which acquires the twisted Kaluza--Klein momentum, produces the renormalon ambiguity corresponding to the Borel singularity at~$u=2$. This provides an example that the system in the compactified space~$\mathbb{R}^3\times S^1$ possesses the renormalon ambiguity identical to that in the uncompactified space~$\mathbb{R}^4$. We also discuss the subtle issue that the location of the Borel singularity can change depending on the order of two necessary operations.


title: Wall turbulence without modal instability of the streaks

abstract: Despite the nonlinear nature of wall turbulence, there is evidence that the mechanism underlying the energy transfer from the mean flow to the turbulent fluctuations can be ascribed to linear processes. One of the most acclaimed linear instabilities for this energy transfer is the modal growth of perturbations with respect to the streamwise-averaged flow (or streaks). Here, we devise a numerical experiment in which the Navier--Stokes equations are sensibly modified to suppress these modal instabilities. Our results demonstrate that wall turbulence is sustained with realistic mean and fluctuating velocities despite the absence of streak instabilities.


title: Evidence for ram pressure stripping in a cluster of galaxies at z=0.7

abstract: MUSE observations of the cluster of galaxies CGr32 ($M_{200}$ $\simeq$ 2 $\times$ 10$^{14}$ M$_{\odot}$) at $z$ = 0.73 reveal the presence of two massive star forming galaxies with extended tails of diffuse gas detected in the [OII]$\lambda\lambda$3727-3729 A emission-line doublet. The tails, which have a cometary shape with a typical surface brightness of a few 10$^{-18}$ erg s$^{-1}$ cm$^{-2}$ arcsec$^{-2}$, extend up to $\simeq$ 100 kpc (projected distance) from the galaxy discs and are not associated to any stellar component. All this observational evidence suggests that the gas has been removed during a ram-pressure stripping event. This observation is thus the first evidence that dynamical interactions with the intracluster medium were active when the Universe had only half of its present age. The density of the gas derived using the observed [OII]$\lambda$3729/[OII]$\lambda$3726 line ratio implies a very short recombination time, suggesting that a source of ionisation is necessary to keep the gas ionised within the tail.


title: Existence of solutions for a higher-order semilinear parabolic equation with singular initial data

abstract: We establish the existence of solutions of the Cauchy problem for a higher-order semilinear parabolic equation by introducing a new majorizing kernel. We also study necessary conditions on the initial data for the existence of local-in-time solutions and identify the strongest singularity of the initial data for the solvability of the Cauchy problem.


title: Tip-Enhanced Infrared Difference-Nanospectroscopy of the Proton Pump Activity of Bacteriorhodopsin in Single Purple Membrane Patches

abstract: Photosensitive proteins embedded in the cell membrane (about 5 nm thickness) act as photoactivated proton pumps, ion gates, enzymes, or more generally, as initiators of stimuli for the cell activity. They are composed of a protein backbone and a covalently bound cofactor (e.g. the retinal chromophore in bacteriorhodopsin (BR), channel rhodopsin, and other opsins). The light-induced conformational changes of both the cofactor and the protein are at the basis of the physiological functions of photosensitive proteins. Despite the dramatic development of microscopy techniques, investigating conformational changes of proteins at the membrane monolayer level is still a big challenge. Techniques based on atomic force microscopy (AFM) can detect electric currents through protein monolayers and even molecular binding forces in single-protein molecules but not the conformational changes. For the latter, Fourier-transform infrared spectroscopy (FTIR) using difference-spectroscopy mode is typically employed, but it is performed on macroscopic liquid suspensions or thick films containing large amounts of purified photosensitive proteins. In this work, we develop AFM-assisted, tip-enhanced infrared difference-nanospectroscopy to investigate light-induced conformational changes of the bacteriorhodopsin mutant D96N in single submicrometric native purple membrane patches. We obtain a significant improvement compared with the signal-to-noise ratio of standard IR nanospectroscopy techniques by exploiting the field enhancement in the plasmonic nanogap that forms between a gold-coated AFM probe tip and an ultraflat gold surface, as further supported by electromagnetic and thermal simulations. IR difference-spectra in the 1450-1800 cm^{-1} range are recorded from individual patches as thin as 10 nm, with a diameter of less than 500 nm, well beyond the diffraction limit for FTIR microspectroscopy...


title: Regularized Estimation and Feature Selection in Mixtures of Gaussian-Gated Experts Models

abstract: Mixtures-of-Experts models and their maximum likelihood estimation (MLE) via the EM algorithm have been thoroughly studied in the statistics and machine learning literature. They are subject of a growing investigation in the context of modeling with high-dimensional predictors with regularized MLE. We examine MoE with Gaussian gating network, for clustering and regression, and propose an $\ell_1$-regularized MLE to encourage sparse models and deal with the high-dimensional setting. We develop an EM-Lasso algorithm to perform parameter estimation and utilize a BIC-like criterion to select the model parameters, including the sparsity tuning hyperparameters. Experiments conducted on simulated data show the good performance of the proposed regularized MLE compared to the standard MLE with the EM algorithm.


title: Optimal choice of $k$ for $k$-nearest neighbor regression

abstract: The $k$-nearest neighbor algorithm ($k$-NN) is a widely used non-parametric method for classification and regression. We study the mean squared error of the $k$-NN estimator when $k$ is chosen by leave-one-out cross-validation (LOOCV). Although it was known that this choice of $k$ is asymptotically consistent, it was not known previously that it is an optimal $k$. We show, with high probability, the mean squared error of this estimator is close to the minimum mean squared error using the $k$-NN estimate, where the minimum is over all choices of $k$.


title: Probing the anomalous triple gauge boson couplings in $e^+e^-\to W^+W^-$ using $W$ polarizations with polarized beams

abstract: We study the anomalous $W^+W^-V$ ($V=\gamma,Z$) couplings in $e^+e^-\to W^+W^-$ using the complete set of polarization observables of $W$ boson with longitudinally polarized electron ($e^-$) and positron ($e^+$) beams. For the effective $W^+W^-V$ couplings, we use the most general Lorentz invariant form factor parametrization as well as $SU(2)\times U(1)$ invariant dimension-$6$ effective operators. We estimate simultaneous limits on the anomalous couplings using the Markov-Chain--Monte-Carlo (MCMC) method for an $e^+e^-$ collider running at center of mass energy of $\sqrt{s}=500$ GeV and the integrated luminosity of ${\cal L}=100$ fb$^{-1}$, $3.2$ ab$^{-1}$ and $4$ ab$^{-1}$. The best limits on the anomalous couplings are obtained for $e^-$ and $e^+$ polarization being $(\pm 0.8,\mp 0.6)$ for both $100$ fb$^{-1}$ and $3.2$ ab$^{-1}$ of luminosity.


title: Blockage detection in networks: the area reconstruction method

abstract: In this note we present a reconstructive algorithm for solving the cross-sectional pipe area from boundary measurements in a tree network with one inaccessbile end. This is equivalent to reconstructing the first order perturbation to a wave equation on a quantum graph from boundary measurements at all network ends except one. The method presented here is based on a time reversal boundary control method originally presented by Sondhi and Gopinath for one dimensional problems and later by Oksanen to higher dimensional manifolds. The algorithm is local, so is applicable to complicated networks if we are interested only in a part isomorphic to a tree. Moreover the numerical implementation requires only one matrix inversion or least squares minimization per discretization point in the physical network. We present a theoretical solution existence proof, a step-by-step algorithm, and a numerical implementation applied to two numerical experiments.


title: The Earliest Candidates of Auroral Observations in Assyrian Astrological Reports: Insights on Solar Activity around 660 BCE

abstract: Auroral records found in historical archives and cosmogenic isotopes found in natural archives have served as sound proxies of coronal mass ejections (CMEs) and solar energetic particles (SEPs), respectively, for dates prior to the onset of telescopic sunspot observations in 1610. These space weather events constitute a significant threat to a modern civilization, because of its increasing dependency on an electronic infrastructure. Recent studies have identified multiple extreme space weather events derived from solar energetic particles (SEPs) in natural archives, such as the event in 660 BCE. While the level of solar activity around 660 BCE is of great interest, this had not been within the coverage of the hitherto-known datable auroral records in historical documents that extend back to the 6th century BCE. Therefore, we have examined Assyrian astrological reports in the 8th and 7th centuries BCE, identified three observational reports of candidate aurorae, and dated these reports to approximately 680 BCE -- 650 BCE. The Assyrian cuneiform tablets let us extend the history of auroral records and solar activity by a century. These cuneiform reports are considered to be the earliest datable records of candidate aurorae and they support the concept of enhanced solar activity suggested by the cosmogenic isotopes from natural archives.


title: Online Linear Programming: Dual Convergence, New Algorithms, and Regret Bounds

abstract: We study an online linear programming (OLP) problem under a random input model in which the columns of the constraint matrix along with the corresponding coefficients in the objective function are generated i.i.d. from an unknown distribution and revealed sequentially over time. Virtually all pre-existing online algorithms were based on learning the dual optimal solutions/prices of the linear programs (LP), and their analyses were focused on the aggregate objective value and solving the packing LP where all coefficients in the constraint matrix and objective are nonnegative. However, two major open questions were: (i) Does the set of LP optimal dual prices learned in the pre-existing algorithms converge to those of the "offline" LP, and (ii) Could the results be extended to general LP problems where the coefficients can be either positive or negative. We resolve these two questions by establishing convergence results for the dual prices under moderate regularity conditions for general LP problems. Specifically, we identify an equivalent form of the dual problem which relates the dual LP with a sample average approximation to a stochastic program. Furthermore, we propose a new type of OLP algorithm, Action-History-Dependent Learning Algorithm, which improves the previous algorithm performances by taking into account the past input data as well as decisions/actions already made. We derive an $O(\log n \log \log n)$ regret bound (under a locally strong convexity and smoothness condition) for the proposed algorithm, against the $O(\sqrt{n})$ bound for typical dual-price learning algorithms, where $n$ is the number of decision variables. Numerical experiments demonstrate the effectiveness of the proposed algorithm and the action-history-dependent design.


title: Quantum linear system solver based on time-optimal adiabatic quantum computing and quantum approximate optimization algorithm

abstract: We demonstrate that with an optimally tuned scheduling function, adiabatic quantum computing (AQC) can readily solve a quantum linear system problem (QLSP) with $\mathcal{O}(\kappa~\text{poly}(\log(\kappa/\epsilon)))$ runtime, where $\kappa$ is the condition number, and $\epsilon$ is the target accuracy. This is near optimal with respect to both $\kappa$ and $\epsilon$. Our method is applicable to general non-Hermitian matrices, and the cost as well as the number of qubits can be reduced when restricted to Hermitian matrices, and further to Hermitian positive definite matrices. The success of the time-optimal AQC implies that the quantum approximate optimization algorithm (QAOA) with an optimal control protocol can also achieve the same complexity in terms of the runtime. Numerical results indicate that QAOA can yield the lowest runtime compared to the time-optimal AQC, vanilla AQC, and the recently proposed randomization method.


title: Mortality rate forecasting: can recurrent neural networks beat the Lee-Carter model?

abstract: This article applies a long short-term memory recurrent neural network to mortality rate forecasting. The model can be trained jointly on the mortality rate history of different countries, ages, and sexes. The RNN-based method seems to outperform the popular Lee-Carter model.


title: Giant Vesicles with Encapsulated Magnetic Nanowires as Versatile Carriers, Transported via Rotating and Non-Homogeneous Magnetic Fields

abstract: In this work, two real-time methods to transport magnetic nanowires confined in giant hybrid vesi-cles upon the application of different strategies are studied. The microscale carriers are either mag-netically guided through the viscous medium by a non-homogenous field or advected by precisely monitored hydrodynamic flows. The slender geometry of the magnetic component enables the ap-plication of large torques, the in-situ characterization of the rotational dynamics, as well as the guided propulsion via the continuous thrust of the nanowire tip on the confining bilayer. The flexi-bility of the vesicles, required to deform along the steering direction during passage through mi-croscale openings, is enhanced via the adsorption of non-ionic surfactants on the lipid membrane. The resulting integrated system is an excellent candidate to transport colloidal cargos or flu-id amounts of some picoliters in microfluidic platforms, even in physiological environments, since it combines the maneuverability of propelled microscopic systems and the protection conferred by the vesicle.


title: The Randomized Midpoint Method for Log-Concave Sampling

abstract: Sampling from log-concave distributions is a well researched problem that has many applications in statistics and machine learning. We study the distributions of the form $p^{*}\propto\exp(-f(x))$, where $f:\mathbb{R}^{d}\rightarrow\mathbb{R}$ has an $L$-Lipschitz gradient and is $m$-strongly convex. In our paper, we propose a Markov chain Monte Carlo (MCMC) algorithm based on the underdamped Langevin diffusion (ULD). It can achieve $\epsilon\cdot D$ error (in 2-Wasserstein distance) in $\tilde{O}\left(\kappa^{7/6}/\epsilon^{1/3}+\kappa/\epsilon^{2/3}\right)$ steps, where $D\overset{\mathrm{def}}{=}\sqrt{\frac{d}{m}}$ is the effective diameter of the problem and $\kappa\overset{\mathrm{def}}{=}\frac{L}{m}$ is the condition number. Our algorithm performs significantly faster than the previously best known algorithm for solving this problem, which requires $\tilde{O}\left(\kappa^{1.5}/\epsilon\right)$ steps. Moreover, our algorithm can be easily parallelized to require only $O(\kappa\log\frac{1}{\epsilon})$ parallel steps. To solve the sampling problem, we propose a new framework to discretize stochastic differential equations. We apply this framework to discretize and simulate ULD, which converges to the target distribution $p^{*}$. The framework can be used to solve not only the log-concave sampling problem, but any problem that involves simulating (stochastic) differential equations.


title: Classifying Multilingual User Feedback using Traditional Machine Learning and Deep Learning

abstract: With the rise of social media like Twitter and of software distribution platforms like app stores, users got various ways to express their opinion about software products. Popular software vendors get user feedback thousandfold per day. Research has shown that such feedback contains valuable information for software development teams such as problem reports or feature and support inquires. Since the manual analysis of user feedback is cumbersome and hard to manage many researchers and tool vendors suggested to use automated analyses based on traditional supervised machine learning approaches. In this work, we compare the results of traditional machine learning and deep learning in classifying user feedback in English and Italian into problem reports, inquiries, and irrelevant. Our results show that using traditional machine learning, we can still achieve comparable results to deep learning, although we collected thousands of labels.


title: The breaking of continuous scale invariance to discrete scale invariance: a universal quantum phase transition

abstract: We provide a review on the physics associated with phase transitions in which continuous scale invariance is broken into discrete scale invariance. The rich features of this transition characterized by the abrupt formation of a geometric ladder of eigenstates, low energy universality without fixed points, scale anomalies and Berezinskii-Kosterlitz-Thouless scaling is described. The important role of this transition in various celebrated single and many body quantum systems is discussed along with recent experimental realizations. Particular focus is devoted to a recent realization in graphene.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: CAMP: Cross-Modal Adaptive Message Passing for Text-Image Retrieval

abstract: Text-image cross-modal retrieval is a challenging task in the field of language and vision. Most previous approaches independently embed images and sentences into a joint embedding space and compare their similarities. However, previous approaches rarely explore the interactions between images and sentences before calculating similarities in the joint space. Intuitively, when matching between images and sentences, human beings would alternatively attend to regions in images and words in sentences, and select the most salient information considering the interaction between both modalities. In this paper, we propose Cross-modal Adaptive Message Passing (CAMP), which adaptively controls the information flow for message passing across modalities. Our approach not only takes comprehensive and fine-grained cross-modal interactions into account, but also properly handles negative pairs and irrelevant information with an adaptive gating scheme. Moreover, instead of conventional joint embedding approaches for text-image matching, we infer the matching score based on the fused features, and propose a hardest negative binary cross-entropy loss for training. Results on COCO and Flickr30k significantly surpass state-of-the-art methods, demonstrating the effectiveness of our approach.


title: Effective training of deep convolutional neural networks for hyperspectral image classification through artificial labeling

abstract: Hyperspectral imaging is a rich source of data, allowing for multitude of effective applications. However, such imaging remains challenging because of large data dimension and, typically, small pool of available training examples. While deep learning approaches have been shown to be successful in providing effective classification solutions, especially for high dimensional problems, unfortunately they work best with a lot of labelled examples available. To alleviate the second requirement for a particular dataset the transfer learning approach can be used: first the network is pre-trained on some dataset with large amount of training labels available, then the actual dataset is used to fine-tune the network. This strategy is not straightforward to apply with hyperspectral images, as it is often the case that only one particular image of some type or characteristic is available. In this paper, we propose and investigate a simple and effective strategy of transfer learning that uses unsupervised pre-training step without label information. This approach can be applied to many of the hyperspectral classification problems. Performed experiments show that it is very effective at improving the classification accuracy without being restricted to a particular image type or neural network architecture. The experiments were carried out on several deep neural network architectures and various sizes of labeled training sets. The greatest improvement in overall accuracy on the Indian Pines and Pavia University datasets is over 21 and 13 percentage points, respectively. An additional advantage of the proposed approach is the unsupervised nature of the pre-training step, which can be done immediately after image acquisition, without the need of the potentially costly expert's time.


title: Unsupervised Learning and Exploration of Reachable Outcome Space

abstract: Performing Reinforcement Learning in sparse rewards settings, with very little prior knowledge, is a challenging problem since there is no signal to properly guide the learning process. In such situations, a good search strategy is fundamental. At the same time, not having to adapt the algorithm to every single problem is very desirable. Here we introduce TAXONS, a Task Agnostic eXploration of Outcome spaces through Novelty and Surprise algorithm. Based on a population-based divergent-search approach, it learns a set of diverse policies directly from high-dimensional observations, without any task-specific information. TAXONS builds a repertoire of policies while training an autoencoder on the high-dimensional observation of the final state of the system to build a low-dimensional outcome space. The learned outcome space, combined with the reconstruction error, is used to drive the search for new policies. Results show that TAXONS can find a diverse set of controllers, covering a good part of the ground-truth outcome space, while having no information about such space.


title: Einstein-Podolsky-Rosen steering in Gaussian weighted graph states

abstract: Einstein-Podolsky-Rosen (EPR) steering, as one of the most intriguing phenomenon of quantum mechanics, is a useful quantum resource for quantum communication. Understanding the type of EPR steering in a graph state is the basis for application of it in a quantum network. In this paper, we present EPR steering in a Gaussian weighted graph state, including a linear tripartite and a four-mode square weighted graph state. The dependence of EPR steering on weight factor in the weighted graph state is analyzed. Gaussian EPR steering between two modes of a weighted graph state is presented, which does not exist in the Gaussian cluster state (where the weight factor is unit). For the four-mode square Gaussian weighted graph state, EPR steering between one and its two nearest modes is also presented, which is absent in the four-mode square Gaussian cluster state. We also show that Gaussian EPR steering in a weighted graph state is also bounded by the Coffman-Kundu-Wootters monogamy relation. The presented results are useful for exploiting EPR steering in a Gaussian weighted graph state as a valuable resource in multiparty quantum communication tasks.


title: Effects of Some Operations on Domination Chromatic Number in Graphs

abstract: For a simple graph $G$, a domination coloring of $G$ is a proper vertex coloring such that every vertex of $G$ dominates at least one color class, and every color class is dominated by at least one vertex. The domination chromatic number, denoted by $\chi_{dd}(G)$, is minimum number of colors among all domination colorings of $G$. In this paper, we discuss the effects of some typical operations on $\chi_{dd}(G)$, such as vertex (edge) removal, vertex (edge) contraction, edge subdivision, and cycle extending.


title: LOCALIS: Locally-adaptive Line Simplification for GPU-based Geographic Vector Data Visualization

abstract: Visualization of large vector line data is a core task in geographic and cartographic systems. Vector maps are often displayed at different cartographic generalization levels, traditionally by using several discrete levels-of-detail (LODs). This limits the generalization levels to a fixed and predefined set of LODs, and generally does not support smooth LOD transitions. However, fast GPUs and novel line rendering techniques can be exploited to integrate dynamic vector map LOD management into GPU-based algorithms for locally-adaptive line simplification and real-time rendering. We propose a new technique that interactively visualizes large line vector datasets at variable LODs. It is based on the Douglas-Peucker line simplification principle, generating an exhaustive set of line segments whose specific subsets represent the lines at any variable LOD. At run time, an appropriate and view-dependent error metric supports screen-space adaptive LOD levels and the display of the correct subset of line segments accordingly. Our implementation shows that we can simplify and display large line datasets interactively. We can successfully apply line style patterns, dynamic LOD selection lenses, and anti-aliasing techniques to our line rendering.


title: Topologically flat embedded 2-spheres in specific simply connected 4-manifolds

abstract: In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres.


title: Barycenters in the Hellinger-Kantorovich space

abstract: Recently, Liero, Mielke and Savar\'{e} introduced Hellinger-Kantorovich distance on the space of nonnegative Radon measures of a metric space $X$ [19,20]. We prove that Hellinger-Kantorovich barycenters always exist for a class of metric spaces containing of compact spaces, and Polish $CAT(1)$ spaces; and if we assume further some conditions on starting measures, such barycenters are unique. We also introduce homogeneous multimarginal problems and illustrate some relations between their solutions with Hellinger-Kantorovich barycenters. Our results are analogous to the work of Agueh and Carlier [1] for Wassertein barycenters.


title: Central limit theorems for the $\mathbb{Z}^2$-periodic Lorentz gas

abstract: This paper is devoted to the study of the stochastic properties of dynamical systems preserving an infinite measure. More precisely we prove central limit theorems for Birkhoff sums of observables of $\mathbb{Z}^2$-extensions of dynamical systems (satisfying some nice spectral properties). The motivation of our paper is the $\mathbb{Z}^2$-periodic Lorentz process for which we establish a functional central limit theorem for H\"older continuous observables (in discrete time as well as in continuous time).


title: Axion boson stars

abstract: We study novel solitonic solutions to Einstein-Klein-Gordon theory in the presence of a periodic scalar potential arising in models of axion-like particles. The potential depends on two parameters: the mass of the scalar field $m_a$ and the decay constant $f_a$; the standard case of the QCD axion is recovered when $m_a\propto1/f_a$. When $f_a\to\infty$ the solutions reduce to the standard case of "mini" boson stars supported by a massive free scalar field. As the energy scale $f_a$ of the scalar self-interactions decreases we unveil several novel features of the solution: new stability branches emerge at high density, giving rise to very compact, radially stable, boson stars. Some of the most compact configurations acquire a photon sphere. When $f_a$ is at the GUT scale, a boson star made of QCD axions can have a mass up to ten solar masses and would be more compact than a neutron star. Gravitational-wave searches for these exotic compact objects might provide indirect evidence for ultralight axion-like particles in a region not excluded by the black-hole superradiant instability.


title: Inverse Graphical Method for Global Optimization and Application to Design Centering Problem

abstract: Consider the problem of finding an optimal value of some objective functional subject to constraints over numerical domain. This type of problem arises frequently in practical engineering tasks. Nowdays almost all general methods for solving such a problem are based on user-supplied routines computing the objective value at some points. We study another approach called inverse relying on some procedure to estimate the set of points instead having objective values bounded by a specified constant. In particular, we present an inverse optimization algorithm derived from the bisection of the objective range. In case of seeking a proven global optimal solution inherently requiring many computations, and a problem with some kind of coherency utilized in estimation procedure, the inverse scheme is much more efficient than conventional ones. An example of such a problem, namely the design centering, is studied to compare the approaches.


title: Weak optimal total variation transport problems and generalized Wasserstein barycenters

abstract: In this paper, we establish a Kantorovich duality for weak optimal total variation transport problems. As consequences, we recover a version of duality formula for partial optimal transports established by Caffarelli and McCann; and we also get another proof of Kantorovich-Rubinstein Theorem for generalized Wasserstein distance $\widetilde{W}_1^{a,b}$ proved before by Piccoli and Rossi. Then we apply our duality formula to study generalized Wasserstein barycenters. We show the existence of these barycenters for measures with compact supports. Finally, we prove the consistency of our barycenters.


title: Probabilistic potential theory and induction of dynamical systems

abstract: In this article, we outline a version of a balayage formula in probabilistic potential theory adapted to measure-preserving dynamical systems. This balayage identity generalizes the property that induced maps preserve the restriction of the original invariant measure. As an application, we prove in some cases the invariance under induction of the Green-Kubo formula, as well as the invariance of a new degree 3 invariant.


title: Construction and classification of point group symmetry protected topological phases in 2D interacting fermionic systems

abstract: The construction and classification of symmetry-protected topological (SPT) phases in interacting bosonic and fermionic systems have been intensively studied in the past few years. Very recently, a complete classification and construction of space group SPT phases were also proposed for interacting bosonic systems. In this paper, we attempt to generalize this classification and construction scheme systematically into interacting fermion systems. In particular, we construct and classify point group SPT phases for 2D interacting fermion systems via lower-dimensional block-state decorations. We discover several intriguing fermionic SPT states that can only be realized in interacting fermion systems (i.e., not in free-fermion or bosonic SPT systems). Moreover, we also verify the recently conjectured crystalline equivalence principle for 2D interacting fermion systems. Finally, the potential experimental realization of these new classes of point group SPT phases in 2D correlated superconductors is addressed.


title: An ALMA Study of the FU-Ori Type Object V900 Mon: Implications for the Progenitor

abstract: We present ALMA observations of 12CO, 13CO, and C18O J=2--1 lines and the 230 GHz continuum for the FU Ori-type object (FUor) V900 Mon (d~1.5 kpc), for which the accretion burst was triggered between 1953 and 2009. We identified CO emission associated with a molecular bipolar outflow extending up to a ~10^4 au scale and a rotating molecular envelope extending over >10^4 au. The interaction with the hot energetic FUor wind, which was observed using optical spectroscopy, appears limited to a region within ~400 au of the star. The envelope mass and the collimation of the extended CO outflow suggest that the progenitor of this FUor is a low-mass Class I young stellar object (YSO). These parameters for V900 Mon, another FUor, and a few FUor-like stars are consistent with the idea that FUor outbursts are associated with normal YSOs. The continuum emission is marginally resolved in our observations with a 0."2x0."15 (~300x225 au) beam, and a Gaussian model provides a deconvolved FWHM of ~90 au. The emission is presumably associated with a dusty circumstellar disk, plus a possible contribution from a wind or a wind cavity close to the star. The warm compact nature of the disk continuum emission could be explained with viscous heating of the disk, while gravitational fragmentation in the outer disk and/or a combination of grain growth and their inward drift may also contribute to its compact nature.


title: Global higher order estimates for collapsing Calabi-Yau metrics on elliptic K3 surfaces

abstract: We improve Gross-Wilson's local estimates to global ones. As an application, we study the blow-up limits of the degenerating Calabi-Yau metrics on singular fibers.


title: Robust Stabilization of Resource Limited Networked Control Systems Under Denial-of-Service Attack

abstract: In this paper, we consider a class of denial-of-service (DoS) attacks, which aims at overloading the communication channel. On top of the security issue, continuous or periodic transmission of information within feedback loop is necessary for the effective control and stabilization of the system. In addition, uncertainty---originating from variation of parameters or unmodeled system dynamics---plays a key role in the system's stability. To address these three critical factors, we solve the joint control and security problem for an uncertain discrete-time Networked Control System (NCS) subject to limited availability of the shared communication channel. An event-triggered-based control and communication strategy is adopted to reduce bandwidth consumption. To tackle the uncertainty in the system dynamics, a robust control law is derived using an optimal control approach based on a virtual nominal dynamics associated with a quadratic cost-functional. The conditions for closed-loop stability and aperiodic transmission rule of feedback information are derived using the discrete-time Input-to-State Stability theory. We show that the proposed control approach withstands a general class of DoS attacks, and the stability analysis rests upon the characteristics of the attack signal. The results are illustrated and validated numerically with a classical NCS batch reactor system.


title: Maximally manipulable vision-based motion planning for robotic rough-cutting on arbitrarily shaped surfaces

abstract: This paper presents a method for constrained motion planning from vision, which enables a robot to move its end-effector over an observed surface, given start and destination points. The robot has no prior knowledge of the surface shape, but observes it from a noisy point-cloud camera. We consider the multi-objective optimisation problem of finding robot trajectories which maximise the robot's manipulability throughout the motion, while also minimising surface-distance travelled between the two points. This work has application in industrial problems of \textit{rough} robotic cutting, \textit{e.g.} demolition of legacy nuclear plant, where the cut path need not be precise as long as it achieves dismantling. We show how detours in the cut path can be leveraged, to increase the manipulability of the robot at all points along the path. This helps avoid singularities, while maximising the robot's capability to make small deviations during task execution, \textit{e.g.} compliantly responding to cutting forces via impedance control. We show how a sampling-based planner can be projected onto the Riemannian manifold of a curved surface, and extended to include a term which maximises manipulability. We present the results of empirical experiments, with both simulated and real robots, which are tasked with moving over a variety of different surface shapes. Our planner enables successful task completion, while avoiding singularities and ensuring significantly greater manipulability when compared against a conventional RRT* planner.


title: Turing patterns in a network-reduced FitzHugh-Nagumo model

abstract: Reduction of a two-component FitzHugh-Nagumo model to a single-component model with long-range connection is considered on general networks. The reduced model describes a single chemical species reacting on the nodes and diffusing across the links of a multigraph with weighted long-range connections that naturally emerge from the adiabatic elimination, which defines a new class of networked {dynamical} systems with local and nonlocal Laplace matrices. We study the conditions for the instability of homogeneous states in the original and reduced models and show that Turing patterns can emerge in both models.