title: Data-Driven Selection of Actuators for Optimal Control of Airfoil Separation

abstract: We present a systematic approach for determining the optimal actuator location for separation control from input-output response data, gathered from numerical simulations or physical experiments. The Eigensystem Realization Algorithm is used to extract state-space descriptions from the response data associated with a candidate set of actuator locations. These system realizations are then used to determine the actuator location among the set that can drive the system output to an arbitrary value with minimal control effort. The solution of the corresponding minimum energy optimal control problem is evaluated by computing the generalized output controllability Gramian. We use the method to analyze high-fidelity numerical simulation data of the lift and separation-angle responses to a pulse of localized body-force actuation from six distinct locations on the upper surface of a NACA 65(1)-412 airfoil. We find that the optimal location for controlling lift is different from the optimal location for controlling separation angle. In order to explain the physical mechanisms underlying these differences, we conduct controllability analyses of the flowfield by leveraging the dynamic mode decomposition with control algorithm. These modal analyses of flowfield response data reveal that excitation of coherent structures in the wake benefit lift control; whereas, excitation of coherent structures in the shear layer benefit separation-angle control.


title: Regret Analysis of Bandit Problems with Causal Background Knowledge

abstract: We study how to learn optimal interventions sequentially given causal information represented as a causal graph along with associated conditional distributions. Causal modeling is useful in real world problems like online advertisement where complex causal mechanisms underlie the relationship between interventions and outcomes. We propose two algorithms, causal upper confidence bound (C-UCB) and causal Thompson Sampling (C-TS), that enjoy improved cumulative regret bounds compared with algorithms that do not use causal information. We thus resolve an open problem posed by \cite{lattimore2016causal}. Further, we extend C-UCB and C-TS to the linear bandit setting and propose causal linear UCB (CL-UCB) and causal linear TS (CL-TS) algorithms. These algorithms enjoy a cumulative regret bound that only scales with the feature dimension. Our experiments show the benefit of using causal information. For example, we observe that even with a few hundreds of iterations, the regret of causal algorithms is less than that of standard algorithms by a factor of three. We also show that under certain causal structures, our algorithms scale better than the standard bandit algorithms as the number of interventions increases.


title: Rk-means: Fast Clustering for Relational Data

abstract: Conventional machine learning algorithms cannot be applied until a data matrix is available to process. When the data matrix needs to be obtained from a relational database via a feature extraction query, the computation cost can be prohibitive, as the data matrix may be (much) larger than the total input relation size. This paper introduces Rk-means, or relational k -means algorithm, for clustering relational data tuples without having to access the full data matrix. As such, we avoid having to run the expensive feature extraction query and storing its output. Our algorithm leverages the underlying structures in relational data. It involves construction of a small {\it grid coreset} of the data matrix for subsequent cluster construction. This gives a constant approximation for the k -means objective, while having asymptotic runtime improvements over standard approaches of first running the database query and then clustering. Empirical results show orders-of-magnitude speedup, and Rk-means can run faster on the database than even just computing the data matrix.


title: Blink: Fast and Generic Collectives for Distributed ML

abstract: Model parameter synchronization across GPUs introduces high overheads for data-parallel training at scale. Existing parameter synchronization protocols cannot effectively leverage available network resources in the face of ever increasing hardware heterogeneity. To address this, we propose Blink, a collective communication library that dynamically generates optimal communication primitives by packing spanning trees. We propose techniques to minimize the number of trees generated and extend Blink to leverage heterogeneous communication channels for faster data transfers. Evaluations show that compared to the state-of-the-art (NCCL), Blink can achieve up to 8x faster model synchronization, and reduce end-to-end training time for image classification tasks by up to 40%.


title: Throughput of CDM-based Random Access With SINR Capture

abstract: Code division multiplexing (CDM)-based random access is used in many practical wireless systems. With CDM-based random access, a set of sequences is reserved for random access. A remote station transmits a random access packet using a randomly selected sequence among the set. If more than one remote stations transmit random access packets using the same sequence simultaneously, performance degrades due to sequence collision. In addition, if more than one remote stations transmit random access packets using different sequences simultaneously, performance also degrades due to interference. Therefore, the performance of CDM-based random access is dependent on both sequence collision and interference. There has been no previous research to analyze the performance of CDM-based random access considering both sequence collision and interference. In this paper, throughput of CDM-based random access is investigated considering both sequence collision and interference based on a signal to interference plus noise ratio (SINR) capture model. Analysis and numerical simulation compare the throughputs of several random access schemes including conventional and channel-adaptive random access. The results show that channel-adaptive random access can achieve significantly higher throughput than conventional random access. In addition, based on the results of this paper, it is possible to analyze the trade-off between the throughput and implementation complexity with increased number of sequences.


title: Point cloud ridge-valley feature enhancement based on position and normal guidance

abstract: Ridge-valley features are important elements of point clouds, as they contain rich surface information. To recognize these features from point clouds, this paper introduces an extreme point distance (EPD) criterion with scale independence. Compared with traditional methods, the EPD greatly reduces the number of potential feature points and improves the robustness of multiscale feature point recognition. On this basis, a feature enhancement algorithm based on user priori guidance is proposed that adjusts the coordinates of the feature area by solving an objective equation containing the expected position and normal constraints. Since the expected normal can be expressed as a function of neighborhood point coordinates, the above objective equation can be converted into linear sparse equations with enhanced feature positions as variables, and thus, the closed solution can be obtained. In addition, a parameterization method for scattered point clouds based on feature line guidance is proposed, which reduces the number of unknowns by 2/3 and eliminates lateral sliding in the direction perpendicular to feature lines. Finally, the application of the algorithm in multiscale ridge-valley feature recognition, freeform surface feature enhancement and computer-aided design (CAD) workpiece sharp feature restoration verifies its effectiveness.


title: Optimal Trading of a Basket of Futures Contracts

abstract: We study the problem of dynamically trading multiple futures contracts with different underlying assets. To capture the joint dynamics of stochastic bases for all traded futures, we propose a new model involving a multi-dimensional scaled Brownian bridge that is stopped before price convergence. This leads to the analysis of the corresponding Hamilton-Jacobi-Bellman (HJB) equations, whose solutions are derived in semi-explicit form. The resulting optimal trading strategy is a long-short policy that accounts for whether the futures are in contango or backwardation. Our model also allows us to quantify and compare the values of trading in the futures markets when the underlying assets are traded or not. Numerical examples are provided to illustrate the optimal strategies and the effects of model parameters.


title: An Automatic Digital Terrain Generation Technique for Terrestrial Sensing and Virtual Reality Applications

abstract: The identification and modeling of the terrain from point cloud data is an important component of Terrestrial Remote Sensing (TRS) applications. The main focus in terrain modeling is capturing details of complex geological features of landforms. Traditional terrain modeling approaches rely on the user to exert control over terrain features. However, relying on the user input to manually develop the digital terrain becomes intractable when considering the amount of data generated by new remote sensing systems capable of producing massive aerial and ground-based point clouds from scanned environments. This article provides a novel terrain modeling technique capable of automatically generating accurate and physically realistic Digital Terrain Models (DTM) from a variety of point cloud data. The proposed method runs efficiently on large-scale point cloud data with real-time performance over large segments of terrestrial landforms. Moreover, generated digital models are designed to effectively render within a Virtual Reality (VR) environment in real time. The paper concludes with an in-depth discussion of possible research directions and outstanding technical and scientific challenges to improve the proposed approach.


title: Investigation of spin orbit torque driven dynamics in ferromagnetic heterostructures

abstract: We use time-resolved (TR) measurements based on the polar magneto-optical Kerr effect (MOKE) to study the magnetization dynamics excited by spin orbit torques in Py (Permalloy)/Pt and Ta/CoFeB bilayers. The analysis reveals that the field-like (FL) spin orbit torque (SOT) dominates the amplitude of the first oscillation cycle of the magnetization precession and the damping-like (DL) torque determines the final steady-state magnetization. In our bilayer samples, we have extracted the effective fields, hFL and hDL, of the two SOTs from the time-resolved magnetization oscillation spectrum. The extracted values are in good agreement with those extracted from time-integrated DCMOKE measurements, suggesting that the SOTs do not change at high frequencies. We also find that the amplitude ratio of the first oscillation to steady state is linearly proportional to the ratio hFL/hDL. The first oscillation amplitude is inversely proportional to, whereas the steady state value is independent of, the applied external field along the current direction.


title: Scaling limit of triangulations of polygons

abstract: We prove that random triangulations of types I, II, and III with a simple boundary under the critical Boltzmann weight converge in the scaling limit to the Brownian disk. The proof uses a bijection due to Poulalhon and Schaeffer between type III triangulations of the $p$-gon and so-called blossoming forests. A variant of this bijection was also used by Addario-Berry and the first author to prove convergence of type III triangulations to the Brownian map, but new ideas are needed to handle the simple boundary. Our result is an ingredient in the program of the second and third authors on the convergence of uniform triangulations under the Cardy embedding.


title: Dimension Formulae and Generalised Deep Holes of the Leech Lattice Vertex Operator Algebra

abstract: We prove a dimension formula for the weight-1 subspace of a vertex operator algebra $V^{\operatorname{orb}(g)}$ obtained by orbifolding a strongly rational, holomorphic vertex operator algebra $V$ of central charge 24 with a finite-order automorphism $g$. Based on an upper bound derived from this formula we introduce the notion of a generalised deep hole in $\operatorname{Aut}(V)$. Then we show that the orbifold construction defines a bijection between the generalised deep holes of the Leech lattice vertex operator algebra $V_\Lambda$ with non-trivial fixed-point Lie subalgebra and the strongly rational, holomorphic vertex operator algebras of central charge 24 with non-vanishing weight-1 space. This provides the first uniform construction of these vertex operator algebras and naturally generalises the correspondence between the deep holes of the Leech lattice $\Lambda$ and the 23 Niemeier lattices with non-vanishing root system found by Conway, Parker and Sloane.


title: Constructive Domains with Classical Witnesses

abstract: We develop a constructive theory of continuous domains from the perspective of program extraction. Our goal that programs represent (provably correct) computation without witnesses of correctness is achieved by formulating correctness assertions classically. Technically, we start from a predomain base and construct a completion. We then investigate continuity with respect to the Scott topology, and present a construction of the function space. We then discuss our main motivating example in detail, and instantiate our theory to real numbers that we conceptualise as the total elements of the completion of the predomain of rational intervals, and prove a representation theorem that precisely delineates the class of representable continuous functions.


title: Enabling Failure-resilient Intermittent Systems Without Runtime Checkpointing

abstract: Self-powered intermittent systems typically adopt runtime checkpointing as a means to accumulate computation progress across power cycles and recover system status from power failures. However, existing approaches based on the checkpointing paradigm normally require system suspension and/or logging at runtime. This paper presents a design which overcomes the drawbacks of checkpointing-based approaches, to enable failure-resilient intermittent systems. Our design allows accumulative execution and instant system recovery under frequent power failures while enforcing the serializability of concurrent task execution to improve computation progress and ensuring data consistency without system suspension during runtime, by leveraging the characteristics of data accessed in hybrid memory. We integrated the design into FreeRTOS running on a Texas Instruments device. Experimental results show that our design can still accumulate progress when the power source is too weak for checkpointing-based approaches to make progress, and improves the computation progress by up to 43% under a relatively strong power source, while reducing the recovery time by at least 90%.


title: Trajectory Planning for Autonomous Parking in Complex Environments: A Tunnel-based Optimal Control Approach

abstract: This paper proposes a fast and accurate trajectory planning algorithm for autonomous parking. Nominally, an optimal control problem should be formulated to describe this scheme, but the dimensionality of the optimal control problem is usually large, because the vehicle needs to avoid collision with every obstacle at every moment during the entire dynamic process. Although an initial guess obtained by a sample-and-search based planner facilitates the numerical optimization process, it is still far from being as fast as real-time. To address this issue, we replace all of the collision-avoidance constraints by series of within-tunnel conditions. Concretely, we develop a tunnel-based strategy such that the vehicle is restricted to move within the tunnels which naturally separate the vehicle from the obstacles. Unification, efficiency, and robustness of the proposed trajectory planning method have been verified by simulations.


title: Search for light mediators in the low-energy data of the CONNIE reactor neutrino experiment

abstract: The CONNIE experiment is located at a distance of 30 m from the core of a commercial nuclear reactor, and has collected a 3.7 kg-day exposure using a CCD detector array sensitive to an $\sim$1 keV threshold for the study of coherent neutrino-nucleus elastic scattering. Here we demonstrate the potential of this low-energy neutrino experiment as a probe for physics Beyond the Standard Model, by using the recently published results to constrain two simplified extensions of the Standard Model with light mediators. We compare the new limits with those obtained for the same models using neutrinos from the Spallation Neutron Source. Our new constraints represent the best limits for these simplified models among the experiments searching for CE$\nu$NS for a light vector mediator with mass $M_{Z^{\prime}}<$ 10 MeV, and for a light scalar mediator with mass $M_{\phi}<$ 30 MeV. These results constitute the first use of the CONNIE data as a probe for physics Beyond the Standard Model.


title: Demon: Improved Neural Network Training with Momentum Decay

abstract: Momentum is a widely used technique for gradient-based optimizers in deep learning. In this paper, we propose a decaying momentum (\textsc{Demon}) rule. We conduct the first large-scale empirical analysis of momentum decay methods for modern neural network optimization, in addition to the most popular learning rate decay schedules. Across 28 relevant combinations of models, epochs, datasets, and optimizers, \textsc{Demon} achieves the highest number of Top-1 and Top-3 finishes at 39\% and 85\% respectively, almost doubling the second-placed learning rate cosine schedule at 17\% and 60\%, respectively. \textsc{Demon} also outperforms other widely used schedulers including, but not limited to, the learning rate step schedule, linear schedule, OneCycle schedule, and exponential schedule. Compared with the widely used learning rate step schedule, \textsc{Demon} is observed to be less sensitive to parameter tuning, which is critical to training neural networks in practice. Results are demonstrated across a variety of settings and architectures, including image classification, generative models, and language models. \textsc{Demon} is easy to implement, requires no additional tuning, and incurs almost no extra computational overhead compared to the vanilla counterparts. Code is readily available.


title: Scene-level Pose Estimation for Multiple Instances of Densely Packed Objects

abstract: This paper introduces key machine learning operations that allow the realization of robust, joint 6D pose estimation of multiple instances of objects either densely packed or in unstructured piles from RGB-D data. The first objective is to learn semantic and instance-boundary detectors without manual labeling. An adversarial training framework in conjunction with physics-based simulation is used to achieve detectors that behave similarly in synthetic and real data. Given the stochastic output of such detectors, candidates for object poses are sampled. The second objective is to automatically learn a single score for each pose candidate that represents its quality in terms of explaining the entire scene via a gradient boosted tree. The proposed method uses features derived from surface and boundary alignment between the observed scene and the object model placed at hypothesized poses. Scene-level, multi-instance pose estimation is then achieved by an integer linear programming process that selects hypotheses that maximize the sum of the learned individual scores, while respecting constraints, such as avoiding collisions. To evaluate this method, a dataset of densely packed objects with challenging setups for state-of-the-art approaches is collected. Experiments on this dataset and a public one show that the method significantly outperforms alternatives in terms of 6D pose accuracy while trained only with synthetic datasets.


title: Dynamic Droop Approach for Storage-based Frequency Control

abstract: Transient frequency dips that follow sudden power imbalances --frequency Nadir-- represent a big challenge for frequency stability of low-inertia power systems. Since low inertia is identified as one of the causes for deep frequency Nadir, virtual inertia, which is provided by energy storage units, is said to be one of the solutions to the problem. In the present paper, we propose a new method for frequency control with energy storage systems (ESS), called dynamic droop control (iDroop), that can completely eliminate frequency Nadir during transients. Nadir elimination allows us to perform frequency stability assessment without the need for direct numerical simulations of system dynamics. We make a direct comparison of our developed strategy with the usual control approaches --virtual inertia (VI) and droop control (DC)-- and show that iDroop is more effective than both in eliminating the Nadir. More precisely, iDroop achieves the Nadir elimination under significantly lower gains than virtual inertia and requires almost $40\%$ less storage power capacity to implement the control. Moreover, we show that rather unrealistic control gains are required for virtual inertia in order to achieve Nadir elimination.


title: The High Energy X-ray telescope (HE) onboard the Insight-HXMT astronomy satellite

abstract: The Insight-Hard X-ray Modulation Telescope (Insight-HXMT) is a broad band X-ray and gamma-ray (1-3000 keV) astronomy satellite. The High Energy X-ray telescope (HE) is one of its three main telescopes. The main detector plane of HE is composed of 18 NaI(Tl)/CsI(Na) phoswich detectors, where NaI(Tl) serves as primary detector to measure ~ 20-250 keV photons incident from the field of view (FOV) defined by the collimators, and CsI(Na) is used as an active shield detector to NaI(Tl) by pulse shape discrimination. CsI(Na) is also used as an omnidirectional gamma-ray monitor. The HE collimators have a diverse FOV: 1.1{\deg}x 5.7{\deg} (15 units), 5.7{\deg}x 5.7{\deg} (2 units) and blocked (1 unit), thus the combined FOV of HE is about 5.7{\deg}x 5.7{\deg}. Each HE detector has a diameter of 190 mm, resulting in the total geometrical area of about 5100 cm_2. The energy resolution is ~15% at 60 keV. The timing accuracy is better than 10 {\mu}s and dead-time for each detector is less than 10 {\mu}s. HE is devoted to observe the spectra and temporal variability of X-ray sources in the 20-250 keV band either by pointing observations for known sources or scanning observations to unveil new sources, and to monitor the gamma-ray sky in 0.2-3 MeV. This paper presents the design and performance of the HE instruments. Results of the on-ground calibration experiments are also reported.


title: Central Server Free Federated Learning over Single-sided Trust Social Networks

abstract: Federated learning has become increasingly important for modern machine learning, especially for data privacy-sensitive scenarios. Existing federated learning mostly adopts the central server-based architecture or centralized architecture. However, in many social network scenarios, centralized federated learning is not applicable (e.g., a central agent or server connecting all users may not exist, or the communication cost to the central server is not affordable). In this paper, we consider a generic setting: 1) the central server may not exist, and 2) the social network is unidirectional or of single-sided trust (i.e., user A trusts user B but user B may not trust user A). We propose a central server free federated learning algorithm, named Online Push-Sum (OPS) method, to handle this challenging but generic scenario. A rigorous regret analysis is also provided, which shows very interesting results on how users can benefit from communication with trusted users in the federated learning scenario. This work builds upon the fundamental algorithm framework and theoretical guarantees for federated learning in the generic social network scenario.


title: SoK: Hardware Security Support for Trustworthy Execution

abstract: In recent years, there have emerged many new hardware mechanisms for improving the security of our computer systems. Hardware offers many advantages over pure software approaches: immutability of mechanisms to software attacks, better execution and power efficiency and a smaller interface allowing it to better maintain secrets. This has given birth to a plethora of hardware mechanisms providing trusted execution environments (TEEs), support for integrity checking and memory safety and widespread uses of hardware roots of trust. In this paper, we systematize these approaches through the lens of abstraction. Abstraction is key to computing systems, and the interface between hardware and software contains many abstractions. We find that these abstractions, when poorly designed, can both obscure information that is needed for security enforcement, as well as reveal information that needs to be kept secret, leading to vulnerabilities. We summarize such vulnerabilities and discuss several research trends of this area.


title: Structured and Deep Similarity Matching via Structured and Deep Hebbian Networks

abstract: Synaptic plasticity is widely accepted to be the mechanism behind learning in the brain's neural networks. A central question is how synapses, with access to only local information about the network, can still organize collectively and perform circuit-wide learning in an efficient manner. In single-layered and all-to-all connected neural networks, local plasticity has been shown to implement gradient-based learning on a class of cost functions that contain a term that aligns the similarity of outputs to the similarity of inputs. Whether such cost functions exist for networks with other architectures is not known. In this paper, we introduce structured and deep similarity matching cost functions, and show how they can be optimized in a gradient-based manner by neural networks with local learning rules. These networks extend F\"oldiak's Hebbian/Anti-Hebbian network to deep architectures and structured feedforward, lateral and feedback connections. Credit assignment problem is solved elegantly by a factorization of the dual learning objective to synapse specific local objectives. Simulations show that our networks learn meaningful features.


title: Regret Bounds for Batched Bandits

abstract: We present simple and efficient algorithms for the batched stochastic multi-armed bandit and batched stochastic linear bandit problems. We prove bounds for their expected regrets that improve over the best-known regret bounds for any number of batches. In particular, our algorithms in both settings achieve the optimal expected regrets by using only a logarithmic number of batches. We also study the batched adversarial multi-armed bandit problem for the first time and find the optimal regret, up to logarithmic factors, of any algorithm with predetermined batch sizes.


title: Valuation of contingent claims with short selling bans under an equal-risk pricing framework

abstract: This paper studies the valuation of European contingent claims with short selling bans under the equal risk pricing (ERP) framework proposed in Guo and Zhu (2017) where analytical pricing formulae were derived in the case of monotonic payoffs under risk-neutral measures. We establish a unified framework for this new pricing approach so that its range of application can be significantly expanded. The results of Guo and Zhu (2017) are extended to the case of non-monotonic payoffs (such as a butterfly spread option) under risk-neutral measures. We also provide numerical schemes for computing equal-risk prices under other measures such as the original physical measure. Furthermore, we demonstrate how short selling bans can affect the valuation of contingent claims by comparing equal-risk prices with Black-Scholes prices.


title: Adversarial Pulmonary Pathology Translation for Pairwise Chest X-ray Data Augmentation

abstract: Recent works show that Generative Adversarial Networks (GANs) can be successfully applied to chest X-ray data augmentation for lung disease recognition. However, the implausible and distorted pathology features generated from the less than perfect generator may lead to wrong clinical decisions. Why not keep the original pathology region? We proposed a novel approach that allows our generative model to generate high quality plausible images that contain undistorted pathology areas. The main idea is to design a training scheme based on an image-to-image translation network to introduce variations of new lung features around the pathology ground-truth area. Moreover, our model is able to leverage both annotated disease images and unannotated healthy lung images for the purpose of generation. We demonstrate the effectiveness of our model on two tasks: (i) we invite certified radiologists to assess the quality of the generated synthetic images against real and other state-of-the-art generative models, and (ii) data augmentation to improve the performance of disease localisation.


title: Anomaly Obstructions to Symmetry Preserving Gapped Phases

abstract: Anomalies are renormalization group invariants that constrain the dynamics of quantum field theories. We show that certain anomalies for discrete global symmetries imply that the underlying theory either spontaneously breaks its generalized global symmetry or is gapless. We identify an obstruction, formulated in terms of the anomaly inflow action, that must vanish if a symmetry preserving gapped phase, i.e. a unitary topological quantum field theory, exits with the given anomaly. Our result is similar to the $2d$ Lieb-Schultz-Mattis theorem but applies more broadly to continuum theories in general spacetime dimension with various types of discrete symmetries including higher-form global symmetries. As a particular application, we use our result to prove that certain $4d$ non-abelian gauge theories at $\theta=\pi$ cannot flow at long distances to a phase which simultaneously, preserves time-reversal symmetry, is confining, and is gapped. We also apply our obstruction to $4d$ adjoint QCD and constrain its dynamics.

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


title: Interaction Relational Network for Mutual Action Recognition

abstract: Person-person mutual action recognition (also referred to as interaction recognition) is an important research branch of human activity analysis. Current solutions in the field -- mainly dominated by CNNs, GCNs and LSTMs -- often consist of complicated architectures and mechanisms to embed the relationships between the two persons on the architecture itself, to ensure the interaction patterns can be properly learned. Our main contribution with this work is by proposing a simpler yet very powerful architecture, named Interaction Relational Network, which utilizes minimal prior knowledge about the structure of the human body. We drive the network to identify by itself how to relate the body parts from the individuals interacting. In order to better represent the interaction, we define two different relationships, leading to specialized architectures and models for each. These multiple relationship models will then be fused into a single and special architecture, in order to leverage both streams of information for further enhancing the relational reasoning capability. Furthermore we define important structured pair-wise operations to extract meaningful extra information from each pair of joints -- distance and motion. Ultimately, with the coupling of an LSTM, our IRN is capable of paramount sequential relational reasoning. These important extensions we made to our network can also be valuable to other problems that require sophisticated relational reasoning. Our solution is able to achieve state-of-the-art performance on the traditional interaction recognition datasets SBU and UT, and also on the mutual actions from the large-scale dataset NTU RGB+D. Furthermore, it obtains competitive performance in the NTU RGB+D 120 dataset interactions subset.


title: Multi-modal Deep Analysis for Multimedia

abstract: With the rapid development of Internet and multimedia services in the past decade, a huge amount of user-generated and service provider-generated multimedia data become available. These data are heterogeneous and multi-modal in nature, imposing great challenges for processing and analyzing them. Multi-modal data consist of a mixture of various types of data from different modalities such as texts, images, videos, audios etc. In this article, we present a deep and comprehensive overview for multi-modal analysis in multimedia. We introduce two scientific research problems, data-driven correlational representation and knowledge-guided fusion for multimedia analysis. To address the two scientific problems, we investigate them from the following aspects: 1) multi-modal correlational representation: multi-modal fusion of data across different modalities, and 2) multi-modal data and knowledge fusion: multi-modal fusion of data with domain knowledge. More specifically, on data-driven correlational representation, we highlight three important categories of methods, such as multi-modal deep representation, multi-modal transfer learning, and multi-modal hashing. On knowledge-guided fusion, we discuss the approaches for fusing knowledge with data and four exemplar applications that require various kinds of domain knowledge, including multi-modal visual question answering, multi-modal video summarization, multi-modal visual pattern mining and multi-modal recommendation. Finally, we bring forward our insights and future research directions.


title: Anisotropic In-Plane Phonon Transport in Ultrathin Silicon Membranes Guided by Nano-Surface-Resonators

abstract: Anisotropic phonon transport along different lattice directions of two-dimensional (2D) materials has been observed, however, the effect decreases with increasing the thickness beyond a few atomic layers. Here we establish a novel mechanism to induce anisotropic phonon transport in quasi-2D materials with isotropic symmetry. The phonon propagation is guided by resonance hybridization with surface nanostructures. We demonstrate that the thermal conductivity of 3 nm-thick silicon membrane with surface nanofins is greater by $\sim50\%$ parallel to the fins than that perpendicular to the fins.


title: Evolutionary Multiobjective Optimization Driven by Generative Adversarial Networks (GANs)

abstract: Recently, increasing works have proposed to drive evolutionary algorithms using machine learning models. Usually, the performance of such model based evolutionary algorithms is highly dependent on the training qualities of the adopted models. Since it usually requires a certain amount of data (i.e. the candidate solutions generated by the algorithms) for model training, the performance deteriorates rapidly with the increase of the problem scales, due to the curse of dimensionality. To address this issue, we propose a multi-objective evolutionary algorithm driven by the generative adversarial networks (GANs). At each generation of the proposed algorithm, the parent solutions are first classified into real and fake samples to train the GANs; then the offspring solutions are sampled by the trained GANs. Thanks to the powerful generative ability of the GANs, our proposed algorithm is capable of generating promising offspring solutions in high-dimensional decision space with limited training data. The proposed algorithm is tested on 10 benchmark problems with up to 200 decision variables. Experimental results on these test problems demonstrate the effectiveness of the proposed algorithm.


title: The saturation number of $K_{3,3}$

abstract: A graph $G$ is called $F$-saturated if $G$ does not contain $F$ as a subgraph (not necessarily induced) but the addition of any missing edge to $G$ creates a copy of $F$. The saturation number of $F$, denoted by $sat(n,F)$, is the minimum number of edges in an $n$-vertex $F$-saturated graph. Determining the saturation number of complete partite graphs is one of the most important problems in the study of saturation number. The value of $sat(n,K_{2,2})$ was shown to be $\lfloor\frac{3n-5}{2}\rfloor$ by Ollmann, and a shorter proof was later given by Tuza. For $K_{2,3}$, there has been a series of study aiming to determine $sat(n,K_{2,3})$ over the years. This was finally achieved by Chen who confirmed a conjecture of Bohman, Fonoberova, and Pikhurko that $sat(n, K_{2,3})= 2n-3$ for all $n\geq 5$. In this paper, we prove a conjecture of Pikhurko and Schmitt that $sat(n, K_{3,3})=3n-9$ when $n \geq 9$.


title: The Power of Batching in Multiple Hypothesis Testing

abstract: One important partition of algorithms for controlling the false discovery rate (FDR) in multiple testing is into offline and online algorithms. The first generally achieve significantly higher power of discovery, while the latter allow making decisions sequentially as well as adaptively formulating hypotheses based on past observations. Using existing methodology, it is unclear how one could trade off the benefits of these two broad families of algorithms, all the while preserving their formal FDR guarantees. To this end, we introduce $\text{Batch}_{\text{BH}}$ and $\text{Batch}_{\text{St-BH}}$, algorithms for controlling the FDR when a possibly infinite sequence of batches of hypotheses is tested by repeated application of one of the most widely used offline algorithms, the Benjamini-Hochberg (BH) method or Storey's improvement of the BH method. We show that our algorithms interpolate between existing online and offline methodology, thus trading off the best of both worlds.


title: Remote UAV Online Path Planning via Neural Network Based Opportunistic Control

abstract: This letter proposes a neural network (NN) aided remote unmanned aerial vehicle (UAV) online control algorithm, coined oHJB. By downloading a UAV's state, a base station (BS) trains an HJB NN that solves the Hamilton-Jacobi-Bellman equation (HJB) in real time, yielding the optimal control action. Initially, the BS uploads this control action to the UAV. If the HJB NN is sufficiently trained and the UAV is far away, the BS uploads the HJB NN model, enabling to locally carry out control decisions even when the connection is lost. Simulations corroborate the effectiveness of oHJB in reducing the UAV's travel time and energy by utilizing the trade-off between uploading delays and control robustness in poor channel conditions.


title: The Expressivity and Training of Deep Neural Networks: toward the Edge of Chaos?

abstract: Expressivity is one of the most significant issues in assessing neural networks. In this paper, we provide a quantitative analysis of the expressivity for the deep neural network (DNN) from its dynamic model, where the Hilbert space is employed to analyze the convergence and criticality. We study the feature mapping of several widely used activation functions obtained by Hermite polynomials, and find sharp declines or even saddle points in the feature space, which stagnate the information transfer in DNNs. We then present a new activation function design based on the Hermite polynomials for better utilization of spatial representation. Moreover, we analyze the information transfer of DNNs, emphasizing the convergence problem caused by the mismatch between input and topological structure. We also study the effects of input perturbations and regularization operators on critical expressivity. Our theoretical analysis reveals that DNNs use spatial domains for information representation and evolve to the edge of chaos as depth increases. In actual training, whether a particular network can ultimately arrive the edge of chaos depends on its ability to overcome convergence and pass information to the required network depth. Finally, we demonstrate the empirical performance of the proposed hypothesis via multivariate time series prediction and image classification examples.


title: Autonomous Shuttles for Last-Mile Connectivity

abstract: This paper describes an autonomous shuttle which targets providing last-mile transportation. Often, this involves operation in crowded areas with high levels of pedestrian traffic, and little to no lane markings or traffic control. We aim to create a functional shuttle to be improved upon in the future as new robust solutions are developed to replace the current components. An initial implementation of such a shuttle presented, detailing the overall architecture, controller structure, waypoint following, obstacle detection and avoidance, LiDAR based sign detection, and pedestrian communication. The performance of each component is evaluated, and future improvements are discussed.


title: On-chip Few-shot Learning with Surrogate Gradient Descent on a Neuromorphic Processor

abstract: Recent work suggests that synaptic plasticity dynamics in biological models of neurons and neuromorphic hardware are compatible with gradient-based learning (Neftci et al., 2019). Gradient-based learning requires iterating several times over a dataset, which is both time-consuming and constrains the training samples to be independently and identically distributed. This is incompatible with learning systems that do not have boundaries between training and inference, such as in neuromorphic hardware. One approach to overcome these constraints is transfer learning, where a portion of the network is pre-trained and mapped into hardware and the remaining portion is trained online. Transfer learning has the advantage that pre-training can be accelerated offline if the task domain is known, and few samples of each class are sufficient for learning the target task at reasonable accuracies. Here, we demonstrate on-line surrogate gradient few-shot learning on Intel's Loihi neuromorphic research processor using features pre-trained with spike-based gradient backpropagation-through-time. Our experimental results show that the Loihi chip can learn gestures online using a small number of shots and achieve results that are comparable to the models simulated on a conventional processor.


title: Partial Wave Mixing in Hamiltonian Effective Field Theory

abstract: The spectrum of excited states observed in the finite volume of lattice QCD is governed by the discrete symmetries of the cubic group. This finite group permits the mixing of orbital angular momentum quanta in the finite volume. As experimental results refer to specific angular momentum in a partial-wave decomposition, a formalism mapping the partial-wave scattering potentials to the finite volume is required. This formalism is developed herein for Hamiltonian effective field theory, an extension of chiral effective field theory incorporating the L\"uscher relation linking the energy levels observed in finite volume to the scattering phase shift. The formalism provides an optimal set of rest-frame basis states maximally reducing the dimension of the Hamiltonian, and it should work in any Hamiltonian formalism. As a first example of the formalism's implementation, lattice QCD results for the spectrum of an isospin-2 $\pi\pi$ scattering system are analyzed to determine the $s$, $d$, and $g$ partial-wave scattering information.


title: A Quality Metric for Symmetric Graph Drawings

abstract: Symmetry is an important aesthetic criteria in graph drawing and network visualisation. Symmetric graph drawings aim to faithfully represent automorphisms of graphs as geometric symmetries in a drawing. In this paper, we design and implement a framework for quality metrics that measure symmetry, that is, how faithfully a drawing of a graph displays automorphisms as geometric symmetries. The quality metrics are based on geometry (i.e. Euclidean distance) as well as mathematical group theory (i.e. orbits of automorphisms). More specifically, we define two varieties of symmetry quality metrics: (1) for displaying a single automorphism as a symmetry (axial or rotational) and (2) for displaying a group of automorphisms (cyclic or dihedral). We also present algorithms to compute the symmetric quality metrics in O(n log n) time for rotational symmetry and axial symmetry. We validate our symmetry quality metrics using deformation experiments. We then use the metrics to evaluate a number of established graph drawing layouts to compare how faithfully they display automorphisms of a graph as geometric symmetries.


title: A path conservative finite volume method for a shear shallow water model

abstract: The shear shallow water model provides an approximation for shallow water flows by including the effect of vertical shear in the model. This model can be derived from the depth averaging process by including the second order velocity fluctuations which are neglected in the classical shallow water approximation. The resulting model has a non-conservative structure which resembles the 10-moment equations from gas dynamics. This structure facilitates the development of path conservative schemes and we construct HLL, 3-wave and 5-wave HLLC-type solvers. An explicit and semi-implicit MUSCL-Hancock type second order scheme is proposed for the time integration. Several test cases including roll waves show the performance of the proposed modeling and numerical strategy.


title: Stein's method for the Poisson-Dirichlet distribution and the Ewens Sampling Formula, with applications to Wright-Fisher models

abstract: We provide a general theorem bounding the error in the approximation of a random measure of interest--for example, the empirical population measure of types in a Wright-Fisher model--and a Dirichlet process, which is a measure having Poisson-Dirichlet distributed atoms with i.i.d. labels from a diffuse distribution. The implicit metric of the approximation theorem captures the sizes and locations of the masses, and so also yields bounds on the approximation between the masses of the measure of interest and the Poisson-Dirichlet distribution. We apply the result to bound the error in the approximation of the stationary distribution of types in the finite Wright-Fisher model with infinite-alleles mutation structure (not necessarily parent independent) by the Poisson-Dirichlet distribution. An important consequence of our result is an explicit upper bound on the total variation distance between the random partition generated by sampling from a finite Wright-Fisher stationary distribution, and the Ewens Sampling Formula. The bound is small if the sample size $n$ is much smaller than $N^{1/6}\log(N)^{-1/2}$, where $N$ is the total population size. Our analysis requires a result of separate interest, giving an explicit bound on the second moment of the number of types of a finite Wright-Fisher stationary distribution. The general approximation result follows from a new development of Stein's method for the Dirichlet process, which follows by viewing the Dirichlet process as the stationary distribution of a Fleming-Viot process, and then applying Barbour's generator approach.


title: Charge coupling in multi-stage laser wakefield acceleration

abstract: The multi-stage technique for laser driven acceleration of electrons become a critical part of full-optical, jitter-free accelerators. Use of several independent laser drivers and shorter length plasma targets allows the stable and reproducible acceleration of electron bunches (or beam) in the GeV energies with lower energy spreads. At the same time the charge coupling, necessary for efficient acceleration in the consecutive acceleration stage(s), depends collectively on the parameters of the injected electron beam, the booster stage, and the non-linear transverse dynamics of the electron beam in the laser pulse wake. An unmatched electron beam injected in the booster stage(s), and its non-linear transverse evolution may result in perturbation and even reduction of the field strength in the acceleration phase of the wakefield. Analysis and characterization of charge coupling in multi-stage laser wakefield acceleration (LWFA) become ultimately important. Here, we investigate two-stage LWFA via fully relativistic multi-dimensional particle-in-cell simulations, and underlying the most critical parameters, which affect the efficient coupling and acceleration of the electron beam in the booster stage.


title: Fabrication of BaZrS3 chalcogenide perovskite thin films for optoelectronics

abstract: BaZrS3 is a prototypical chalcogenide perovskite, an emerging class of unconventional semiconductor. Recent results on powder samples reveal that it is a material with a direct band gap of 1.7-1.8 eV, a very strong light-matter interaction, and a high chemical stability. However, many of the fundamental properties are unknown, hindering the ability to apply BaZrS3 for optoelectronics. Here we report the fabrication of BaZrS3 thin films, by sulfurization of oxide films deposited by pulsed laser deposition. We show that these films are n-type with carrier densities in the range of 10^19-10^20 cm^-3. Depending on the processing temperature, the Hall mobility ranges from 2.1 to 13.7 cm^2/Vs. The absorption coefficient is > 10^5 cm-1 at photon energy > 1.97 eV. Temperature dependent conductivity measurements suggest shallow donor levels. These results assure that BaZrS3 is a promising candidate for optoelectronics such as photodetectors, photovoltaics, and light emitting diodes.


title: Learning Invariant Representations of Social Media Users

abstract: The evolution of social media users' behavior over time complicates user-level comparison tasks such as verification, classification, clustering, and ranking. As a result, na\"ive approaches may fail to generalize to new users or even to future observations of previously known users. In this paper, we propose a novel procedure to learn a mapping from short episodes of user activity on social media to a vector space in which the distance between points captures the similarity of the corresponding users' invariant features. We fit the model by optimizing a surrogate metric learning objective over a large corpus of unlabeled social media content. Once learned, the mapping may be applied to users not seen at training time and enables efficient comparisons of users in the resulting vector space. We present a comprehensive evaluation to validate the benefits of the proposed approach using data from Reddit, Twitter, and Wikipedia.


title: Conversational Transfer Learning for Emotion Recognition

abstract: Recognizing emotions in conversations is a challenging task due to the presence of contextual dependencies governed by self- and inter-personal influences. Recent approaches have focused on modeling these dependencies primarily via supervised learning. However, purely supervised strategies demand large amounts of annotated data, which is lacking in most of the available corpora in this task. To tackle this challenge, we look at transfer learning approaches as a viable alternative. Given the large amount of available conversational data, we investigate whether generative conversational models can be leveraged to transfer affective knowledge for detecting emotions in context. We propose an approach, TL-ERC, where we pre-train a hierarchical dialogue model on multi-turn conversations (source) and then transfer its parameters to a conversational emotion classifier (target). In addition to the popular practice of using pre-trained sentence encoders, our approach also incorporates recurrent parameters that model inter-sentential context across the whole conversation. Based on this idea, we perform several experiments across multiple datasets and find improvement in performance and robustness against limited training data. TL-ERC also achieves better validation performances in significantly fewer epochs. Overall, we infer that knowledge acquired from dialogue generators can indeed help recognize emotions in conversations.


title: Estimating Solar Irradiance Using Sky Imagers

abstract: Ground-based whole sky cameras are extensively used for localized monitoring of clouds nowadays. They capture hemispherical images of the sky at regular intervals using a fisheye lens. In this paper, we propose a framework for estimating solar irradiance from pictures taken by those imagers. Unlike pyranometers, such sky images contain information about cloud coverage and can be used to derive cloud movement. An accurate estimation of solar irradiance using solely those images is thus a first step towards short-term forecasting of solar energy generation based on cloud movement. We derive and validate our model using pyranometers co-located with our whole sky imagers. We achieve a better performance in estimating solar irradiance and in particular its short-term variations as compared to other related methods using ground-based observations.


title: Kinetic Theory for the Low-Density Lorentz Gas

abstract: The Lorentz gas is one of the simplest and most widely-studied models for particle transport in matter. It describes a cloud of non-interacting gas particles in an infinitely extended array of identical spherical scatterers. The model was introduced by Lorentz in 1905 who, following the pioneering ideas of Maxwell and Boltzmann, postulated that in the limit of low scatterer density, the macroscopic transport properties of the model should be governed by a linear Boltzmann equation. The linear Boltzmann equation has since proved a useful tool in the description of various phenomena, including semiconductor physics and radiative transfer. A rigorous derivation of the linear Boltzmann equation from the underlying particle dynamics was given, for random scatterer configurations, in three seminal papers by Gallavotti, Spohn and Boldrighini-Bunimovich-Sinai. The objective of the present study is to develop an approach for a large class of deterministic scatterer configurations, including various types of quasicrystals. We prove the convergence of the particle dynamics to transport processes that are in general (depending on the scatterer configuration) not described by the linear Boltzmann equation. This was previously understood only in the case of the periodic Lorentz gas through work of Caglioti-Golse and Marklof-Str\"ombergsson. Our results extend beyond the classical Lorentz gas with hard sphere scatterers, and in particular hold for general classes of spherically symmetric finite-range potentials. We employ a rescaling technique that randomises the point configuration given by the scatterers' centers. The limiting transport process is then expressed in terms of a point process that arises as the limit of the randomised point configuration under a certain volume-preserving one-parameter linear group action.


title: Hyperfine averaging by dynamic decoupling in a multi-ion lutetium clock

abstract: We propose and experimentally demonstrate a scheme which effects hyperfine averaging during a Ramsey interrogation of a clock transition. The method eliminates the need to average over multiple optical transitions, reduces the sensitivity of the clock to its environment, and reduces inhomogeneous broadening in a multi-ion clock. The method is compatible with auto-balanced Ramsey spectroscopy, which facilitates elimination of residual shifts due to imperfect implementation and ac Stark shifts from the optical probe. We demonstrate the scheme using correlation spectroscopy of the $^1S_0$-to-$^3D_1$ clock transition in a three-ion Lu+ clock. From the demonstration we are able to provide a measurement of the $^3D_1$ quadrupole moment, $\Theta(^3D_1)=0.634(9)ea_0^2$.


title: The viability of the 3+1 neutrino model in the supernova neutrino process

abstract: Adopting the 3+1 neutrino mixing parameters by the IceCube and shortbase line experiments, we investigate the sterile-active neutrino oscillation effects on the supernova neutrino process. For the sterile neutrino ($\nu_s$), we study two different luminosity models. First, we presume that the $\nu_s$ does not interact with other particles through the standard interactions apart from the oscillation with the active neutrinos. Second, we consider that $\nu_s$ can be directly produced by $\nu_e$ scattering with matter. In both cases, we find that the pattern of neutrino oscillations can be changed drastically by the $\nu_s$ in supernova environments. Especially multiple resonances occur, and consequently affect thermal neutrino-induced reaction rates. As a result, $^7$Li, $^7$Be, $^{11}$B, $^{11}$C, $^{92}$Nb, $^{98}$Tc and $^{138}$La yields in the $\nu$-process are changed. Among those nuclei, $^7$Li and $^{11}$B yields can be constrained by the analysis of observed SiC X grains. Based on the meteoritic data, we conclude that the second model can be allowed while first model is excluded. The viability of the second model depends on the sterile neutrino temperature and the neutrino mass hierarchy.


title: VarGFaceNet: An Efficient Variable Group Convolutional Neural Network for Lightweight Face Recognition

abstract: To improve the discriminative and generalization ability of lightweight network for face recognition, we propose an efficient variable group convolutional network called VarGFaceNet. Variable group convolution is introduced by VarGNet to solve the conflict between small computational cost and the unbalance of computational intensity inside a block. We employ variable group convolution to design our network which can support large scale face identification while reduce computational cost and parameters. Specifically, we use a head setting to reserve essential information at the start of the network and propose a particular embedding setting to reduce parameters of fully-connected layer for embedding. To enhance interpretation ability, we employ an equivalence of angular distillation loss to guide our lightweight network and we apply recursive knowledge distillation to relieve the discrepancy between the teacher model and the student model. The champion of deepglint-light track of LFR (2019) challenge demonstrates the effectiveness of our model and approach. Implementation of VarGFaceNet will be released at https://github.com/zma-c-137/VarGFaceNet soon.


title: Intensity-Based Axial Localization at the Quantum Limit

abstract: We derive fundamental precision bounds for single-point axial localization. For the case of a Gaussian beam, this ultimate limit can be achieved with a single intensity scan, provided the camera is placed at one of two optimal transverse detection planes. Hence, for axial localization there is no need of more complicated detection schemes. The theory is verified with an experimental demonstration of axial resolution three orders of magnitude below the classical depth of focus.


title: Artistic Glyph Image Synthesis via One-Stage Few-Shot Learning

abstract: Automatic generation of artistic glyph images is a challenging task that attracts many research interests. Previous methods either are specifically designed for shape synthesis or focus on texture transfer. In this paper, we propose a novel model, AGIS-Net, to transfer both shape and texture styles in one-stage with only a few stylized samples. To achieve this goal, we first disentangle the representations for content and style by using two encoders, ensuring the multi-content and multi-style generation. Then we utilize two collaboratively working decoders to generate the glyph shape image and its texture image simultaneously. In addition, we introduce a local texture refinement loss to further improve the quality of the synthesized textures. In this manner, our one-stage model is much more efficient and effective than other multi-stage stacked methods. We also propose a large-scale dataset with Chinese glyph images in various shape and texture styles, rendered from 35 professional-designed artistic fonts with 7,326 characters and 2,460 synthetic artistic fonts with 639 characters, to validate the effectiveness and extendability of our method. Extensive experiments on both English and Chinese artistic glyph image datasets demonstrate the superiority of our model in generating high-quality stylized glyph images against other state-of-the-art methods.


title: Road Damage Detection Based on Unsupervised Disparity Map Segmentation

abstract: This paper presents a novel road damage detection algorithm based on unsupervised disparity map segmentation. Firstly, a disparity map is transformed by minimizing an energy function with respect to stereo rig roll angle and road disparity projection model. Instead of solving this energy minimization problem using non-linear optimization techniques, we directly find its numerical solution. The transformed disparity map is then segmented using Otus's thresholding method, and the damaged road areas can be extracted. The proposed algorithm requires no parameters when detecting road damage. The experimental results illustrate that our proposed algorithm performs both accurately and efficiently. The pixel-level road damage detection accuracy is approximately 97.56%.


title: Geometrical self-testing of partially entangled two-qubit states

abstract: Quantum nonlocality has recently been intensively studied in connection to device-independent quantum information processing, where the extremal points of the set of quantum correlations play a crucial role through self-testing. In most protocols, the proofs for self-testing rely on the maximal violation of the Bell inequalities, but there is another known proof based on the geometry of state vectors to self-test a maximally entangled state. We present a geometrical proof in the case of partially entangled states. We show that, when a set of correlators in the simplest Bell scenario satisfies a condition, the geometry of the state vectors is uniquely determined. The realization becomes self-testable when another unitary observable exists on the geometry. Applying this proven fact, we propose self-testing protocols by intentionally adding one more measurement. This geometrical scheme for self-testing is superior in that, by using this as a building block and repeatedly adding measurements, a realization with an arbitrary number of measurements can be self-tested. Besides the application, we also attempt to describe nonlocal correlations by guessing probabilities of distant measurement outcomes. In this description, the quantum set is also convex, and a large class of extremal points is identified by the uniqueness of the geometry.


title: Nuclear incompressibility from spherical and deformed nuclei

abstract: We present an analysis based on the deformed Quasi Particle Random Phase Approximation, on top of a deformed Hartree-Fock-Bogoliubov description of the ground state, aimed at studying the isoscalar monopole and quadrupole response in a deformed nucleus. This analysis is motivated by the need of understanding the coupling between the two modes and how it might affect the extraction of the nuclear incompressibility from the monopole distribution. After discussing this motivation, we present the main ingredients of our theoretical framework, and we show some results obtained with the SLy4 and SkM$^{*}$ interactions for the nucleus ${}^{24}$Mg.


title: Sub-query Fragmentation for Query Analysis and Data Caching in the Distributed Environment

abstract: When data stores and users are distributed geographically, it is essential to organize distributed data cache points at ideal locations to minimize data transfers. To answer this, we are developing an adaptive distributed data caching framework that can identify suitable data chunks to cache and move across a network of community cache locations.


title: A sub-Riemannian model of the visual cortex with frequency and phase

abstract: In this paper we present a novel model of the primary visual cortex (V1) based on orientation, frequency and phase selective behavior of the V1 simple cells. We start from the first level mechanisms of visual perception: receptive profiles. The model interprets V1 as a fiber bundle over the 2-dimensional retinal plane by introducing orientation, frequency and phase as intrinsic variables. Each receptive profile on the fiber is mathematically interpreted as a rotated, frequency modulated and phase shifted Gabor function. We start from the Gabor function and show that it induces in a natural way the model geometry and the associated horizontal connectivity modeling the neural connectivity patterns in V1. We provide an image enhancement algorithm employing the model framework. The algorithm is capable of exploiting not only orientation but also frequency and phase information existing intrinsically in a 2-dimensional input image. We provide the experimental results corresponding to the enhancement algorithm.


title: A Mathematical Analysis of Memory Lifetime in a simple Network Model of Memory

abstract: We study the learning of an external signal by a neural network and the time to forget it when this network is submitted to noise. The presentation of an external stimulus to the recurrent network of binary neurons may change the state of the synapses. Multiple presentations of a unique signal leads to its learning. Then, during the forgetting time, the presentation of other signals (noise) may also modify the synaptic weights. We construct an estimator of the initial signal thanks to the synaptic currents and define by this way a probability of error. In our model, these synaptic currents evolve as Markov chains. We study the dynamics of these Markov chains and obtain a lower bound on the number of external stimuli that the network can receive before the initial signal is considered as forgotten (probability of error above a given threshold). Our results hold for finite size networks as well as in the large size asymptotic. Our results are based on a finite time analysis rather than large time asymptotic. We finally present numerical illustrations of our results.


title: Modeling pages left blank in university examination: A resolution in higher education process

abstract: Trees are the main sources of paper production, in most of the cases, as far as the intellectual usages are concerned. However, our planet is lacking in that particular natural resource due to rapid growth of population, urbanization, and increased pollution, more importantly non-judicial utilization of such kind. Indian education sectors (schools, colleges, universities) utilize a major part in consumption of papers as a classical practice for conducting examinations and other documentation activities. Our attempt in this article is to investigate and provide an optimal estimate of the number of pages actually required in answer booklet in higher education sector. Truncated Poisson distribution is found to be the best fit for the data on number of pages left blank in an answer booklet after conduction of semester end examinations. To predict the outcome based on various factors such as, lines per pages, words per line, types of examinations etc. suitable regression modeling is performed. A real data set, collected over a period of one month, is been analyzed to illustrate the methods and conclusion is accomplished in the direction of cost reduction, saving of papers, and in turn, logical uses of natural resource to protect environmental interests.


title: Variational collision and obstacle avoidance of multi-agent systems on Riemannian manifolds

abstract: In this paper we study a path planning problem from a variational approach to collision and obstacle avoidance for multi-agent systems evolving on a Riemannian manifold. The problem consists of finding non-intersecting trajectories between the agent and prescribed obstacles on the workspace, among a set of admissible curves, to reach a specified configuration, based on minimizing an energy functional that depends on the velocity, covariant acceleration and an artificial potential function used to prevent collision with the obstacles and among the agents. We apply the results to examples of a planar rigid body, and collision and obstacle avoidance for agents evolving on a sphere.


title: On the metric bundles of axially symmetric spacetimes

abstract: We present the definition of metric bundles in axially symmetric geometries and give explicit examples for solutions of Einstein equations. These structures have been introduced in Pugliese and Quevedo (2019) to explain some properties of black holes (BHs) and naked singularities (NSs), investigated through the analysis of the limiting frequencies of stationary observers, which are at the base of a Killing horizon definition for these black hole spacetimes. In Pugliese and Quevedo (2019), we introduced the concept of NS Killing throats and bottlenecks associated to, and explained by, the metric bundles. In particular, we proved that the horizon frequency can point out a connection between BHs and NSs. We detail this definition in general and review some essential properties of metric bundles as seen in different frames and exact solutions.


title: End-to-End Defect Detection in Automated Fiber Placement Based on Artificially Generated Data

abstract: Automated fiber placement (AFP) is an advanced manufacturing technology that increases the rate of production of composite materials. At the same time, the need for adaptable and fast inline control methods of such parts raises. Existing inspection systems make use of handcrafted filter chains and feature detectors, tuned for a specific measurement methods by domain experts. These methods hardly scale to new defects or different measurement devices. In this paper, we propose to formulate AFP defect detection as an image segmentation problem that can be solved in an end-to-end fashion using artificially generated training data. We employ a probabilistic graphical model to generate training images and annotations. We then train a deep neural network based on recent architectures designed for image segmentation. This leads to an appealing method that scales well with new defect types and measurement devices and requires little real world data for training.


title: Bayesian Optimization Meets Riemannian Manifolds in Robot Learning

abstract: Bayesian optimization (BO) recently became popular in robotics to optimize control parameters and parametric policies in direct reinforcement learning due to its data efficiency and gradient-free approach. However, its performance may be seriously compromised when the parameter space is high-dimensional. A way to tackle this problem is to introduce domain knowledge into the BO framework. We propose to exploit the geometry of non-Euclidean parameter spaces, which often arise in robotics (e.g. orientation, stiffness matrix). Our approach, built on Riemannian manifold theory, allows BO to properly measure similarities in the parameter space through geometry-aware kernel functions and to optimize the acquisition function on the manifold as an unconstrained problem. We test our approach in several benchmark artificial landscapes and using a 7-DOF simulated robot to learn orientation and impedance parameters for manipulation skills.


title: Generalized Planning With Procedural Domain Control Knowledge

abstract: Generalized planning is the task of generating a single solution that is valid for a set of planning problems. In this paper we show how to represent and compute generalized plans using procedural Domain Control Knowledge (DCK). We define a {\it divide and conquer} approach that first generates the procedural DCK solving a set of planning problems representative of certain subtasks and then compile it as callable procedures of the overall generalized planning problem. Our procedure calling mechanism allows nested and recursive procedure calls and is implemented in PDDL so that classical planners can compute and exploit procedural DCK. Experiments show that an off-the-shelf classical planner, using procedural DCK as callable procedures, can compute generalized plans in a wide range of domains including non-trivial ones, such as sorting variable-size lists or DFS traversal of binary trees with variable size.


title: Baire theorem and hypercyclic algebras

abstract: The question of whether a hypercyclic operator $T$ acting on a Fr{\'e}chet algebra $X$ admits or not an algebra of hypercyclic vectors (but 0) has been addressed in the recent literature. In this paper we give new criteria and characterizations in the context of convolution operators acting on $H(\mathbb C)$ and backward shifts acting on a general Fr{\'e}chet sequence algebra.Analogous questions arise for stronger properties like frequent hypercyclicity. In this trend we give a sufficient condition for a weighted backward shift to admit an upper frequently hypercyclic algebra and we find a weighted backward shift acting on $c_0$ admitting a frequently hypercyclic algebra for the coordinatewise product. The closed hypercyclic algebra problem is also covered.


title: Nature and physical properties of ALMA selected galaxies using MUSE spectroscopy

abstract: Mapping the molecular gas content of the universe is key to our understanding of the build-up of galaxies over cosmic time. Spectral line scans in deep fields, such as the Hubble Ultra Deep Field (HUDF), provide a unique view on the cold gas content out to high redshift. By conducting `spectroscopy-of-everything', these flux-limited observations are sensitive to the molecular gas in galaxies without preselection, revealing the cold gas content of galaxies that would not be selected in traditional studies. In order to capitalize on the molecular gas observations, knowledge about the physical conditions of the galaxies detected in molecular gas, such as their interstellar medium conditions, is key. Fortunately, deep surveys with integral-field spectrographs are providing an unprecedented view of the galaxy population, providing redshifts and measurements of restframe UV/optical lines for thousands of galaxies. We present the results from the synergy between the ALMA Spectroscopic Survey of the HUDF (ASPECS), with deep integral field spectroscopy from the MUSE HUDF survey and multi-wavelength data. We discuss the nature of the galaxies detected in molecular gas without preselection and their physical properties, such as star formation rate and metallicity. We show how the combination of ALMA and MUSE integral field spectroscopy can constrain the physical properties in galaxies located around the main sequence during the peak of galaxy formation.


title: On Relative Category and Morse Decompositions for Infinite-Dimensional Dynamical Systems

abstract: We employ the relative category to develop relations between the Wa\.zewski pair $(N,E)$ and the Morse decomposition of the maximal invariant set in $\ol{N\sm E}$ for infinite-dimensional dynamical systems. Via these relations, we can detect connecting trajectories between Morse sets and obtain a dynamical-system version of critical point theorem with relative category.


title: Towards Readability Aspects of Probabilistic Mode Automata

abstract: This paper presents a new approach and design model targeting hybrid designer- and operator-defined performance budgets for timing and energy consumption. The approach is based on Petri Nets formalism. As the cognitive load is typically high while using formal methods, this increases the chances of mistakes. Our approach is focused on the readability aspects and aims to decrease the cognitive load of developers. We illustrate the proposed approach on example of a sample embedded multi-media system, a modern digital camera.


title: Risk-sensitive control for a class of diffusions with jumps

abstract: We consider a class of diffusions controlled through the drift and jump size, and driven by a jump L\'evy process and a nondegenerate Wiener process, and we study infinite horizon (ergodic) risk-sensitive control problem for this model. We start with the controlled Dirichlet eigenvalue problem in smooth bounded domains, which also allows us to generalize current results in the literature on exit rate control problems. Then we consider the infinite horizon average risk-sensitive minimization problem and maximization problems on the whole domain. Under suitable hypotheses, we establish existence and uniqueness of a principal eigenfunction for the Hamilton-Jacobi-Bellman (HJB) operator on the whole space, and fully characterize stationary Markov optimal controls as the measurable selectors of this HJB equation.


title: Learning from demonstration with model-based Gaussian process

abstract: In learning from demonstrations, it is often desirable to adapt the behavior of the robot as a function of the variability retrieved from human demonstrations and the (un)certainty encoded in different parts of the task. In this paper, we propose a novel multi-output Gaussian process (MOGP) based on Gaussian mixture regression (GMR). The proposed approach encapsulates the variability retrieved from the demonstrations in the covariance of the MOGP. Leveraging the generative nature of GP models, our approach can efficiently modulate trajectories towards new start-, via- or end-points defined by the task. Our framework allows the robot to precisely track via-points while being compliant in regions of high variability. We illustrate the proposed approach in simulated examples and validate it in a real-robot experiment.


title: Inundation Modeling in Data Scarce Regions

abstract: Flood forecasts are crucial for effective individual and governmental protective action. The vast majority of flood-related casualties occur in developing countries, where providing spatially accurate forecasts is a challenge due to scarcity of data and lack of funding. This paper describes an operational system providing flood extent forecast maps covering several flood-prone regions in India, with the goal of being sufficiently scalable and cost-efficient to facilitate the establishment of effective flood forecasting systems globally.


title: The Optical Properties and Plasmonics of Anisotropic 2-Dimensional Materials

abstract: In the fast growing two-dimensional (2D) materials family, anisotropic 2D materials, with their intrinsic in-plane anisotropy, exhibit a great potential in optoelectronics. One such typical material is black phosphorus (BP), with a layer-dependent and highly tunable band gap. Such intrinsic anisotropy adds a new degree of freedom to the excitation, detection and control of light. Particularly, hyperbolic plasmons with hyperbolic q-space dispersion are predicted to exist in BP films, where highly directional propagating polaritons with divergent densities of states are hosted. Combined with a tunable electronic structure, such natural hyperbolic surfaces may enable a series of exotic applications in nanophotonics. In this review, the anisotropic optical properties and plasmons (especially hyperbolic plasmons) of BP are discussed. In addition, other possible 2D material candidates (especially anisotropic layered semimetals) for hyperbolic plasmons are examined. This review may stimulate further research interest in anisotropic 2D materials and fully unleash their potential in flatland photonics.


title: Requirements Engineering for Global Systems: Cultural, Regulatory and Technical Aspects

abstract: In this paper we present a formal framework for analysis and optimisation of the requirements specifications of systems developed to apply in several countries. As different countries typically have different regulations/laws as well as different cultural restrictions, the corresponding specific requirements might differ in each particular case. Our framework provides a basis for (1) systematic and formal analysis of the diversity and interdependencies within the sets of the requirements, to avoid non-compliance, contradictions and redundancies; (2) corresponding systematic process for change management in the case of global system development.


title: Optical spectroscopy on the photo-response in multiferroic BiFeO$_3$ at high pressure

abstract: The pressure dependence of light-induced effects in single-crystalline BiFeO$_3$ is studied by optical spectroscopy. At low pressures, we observe three light-induced absorption features with energies just below the two crystal field excitations and the absorption onset, respectively. These absorption features were previously ascribed to excitons, possibly connected with the ultra-fast photostriction effect in BiFeO$_3$. The pressure-induced redshift of the absorption features follows the pressure dependence of the corresponding crystal field excitations and absorption onset, suggesting the link between them. Above the structural phase transition at $P_{\mathrm{c1}}\approx{}3.5$ GPa the three absorption features disappear, suggesting their connection to the polar phase in BiFeO$_3$. The pressure-induced disappearance of the photo-induced features is irreversible upon pressure release.


title: Derivatives of L-functions

abstract: In this paper, we investigate the derivatives of L-functions, in particular, the Riemann zeta function, the Hasse-Weil L-function, the Rankin L-function and the Artin L-function, and survey the relations between the derivatives of L-functions and the geometry and arithmetic of the associated Shimura varieties.


title: Remarks on Symplectic Geometry

abstract: We survey the progresses on the study of symplectic geometry past four decades. We briefly deal with the convexity properties of a moment map, the classification of symplectic actions, the symplectic embedding problems, and the theory of Gromov-Witten invariants.


title: Wave front set for solutions to Schrodinger equations with time-dependent variable coefficients

abstract: In this paper, we determine the C-infinity type wave front sets of the solutions to the Schrodinger equations with time-dependent variable coefficients and potentials by using the wave packet transform. We introduce the infinite sum and estimate the perturb terms of the flat Laplacian on flat plane, which cannot be estimated by the method in Kato-Ito.


title: A Fundamental Upper Bound for Signal to Noise Ratio of Quantum Detectors

abstract: Quantum fluctuations yield inevitable noises in quantum detection. We derive an upper bound of signal to noise ratio for arbitrary quantum detection described by trace-class operators with discrete spectra. The bound is independent of observables to be detected and is computed by quantum fidelity of two initial quantum states. We provide applications of the upper bound.


title: Automatic segmentation of texts into units of meaning for reading assistance

abstract: The emergence of the digital book is a major step forward in providing access to reading, and therefore often to the common culture and the labour market. By allowing the enrichment of texts with cognitive crutches, EPub 3 compatible accessibility formats such as FROG have proven their effectiveness in alleviating but also reducing dyslexic disorders. In this paper, we show how Artificial Intelligence and particularly Transfer Learning with Google BERT can automate the division into units of meaning, and thus facilitate the creation of enriched digital books at a moderate cost.


title: A mean density of $112\, M_{\odot}\,\rm pc^{-3}$ for Central Molecular Zone clumps -- Evidences for shear-enabled pressure equilibrium in the Galactic Center

abstract: We carry out a systematic study of the density structure of gas in the Central Molecular Zone (CMZ) in the Galactic center by extracting clumps from the APEX Telescope Large Area Survey of the Galaxy survey at 870 $\mu$m. We find that the clumps follow a scaling of $m = \rho_0 r^3$ which corresponds to a characteristic density of $n_{\rm H_2} = 1.6 \times 10^3\,\rm cm^{-3}$ ($\rho_0 =112\;M_{\odot}\;\rm pc^{-3}$) with a variation of $\approx 0.5\,\rm dex$, where we assumed a gas-to-dust mass ratio of 100. This characteristic density can be interpreted as the result of thermal pressure equilibrium between the molecular gas and the warm ambient interstellar medium. Such an equilibrium can plausibly be established since shear has approximately the same strength as self-gravity. Our findings may explain the fact that star formation in the CMZ is highly inefficient compared to the rest of the Milky Way disk. We also identify a population of clumps whose densities are two orders of magnitudes higher in the vicinity of the Sgr B2 region, which we propose are produced by collisions between the clumps of lower densities. For these collisions to occur, processes such as compressive tides probably have created the appropriate condition by assembling the clumps together.


title: Internal Calculi for Separation Logics

abstract: We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal) Hilbert-style axiomatisation for the quantifier-free separation logic. We instantiate the method by introducing a new separation logic with essential features: it is equipped with the separating conjunction, the predicate ls, and a natural guarded form of first-order quantification. We apply our approach for its axiomatisation. As a by-product of our method, we also establish the exact expressive power of this new logic and we show PSpace-completeness of its satisfiability problem.


title: Expected LHAASO sensitivity to decaying dark matter signatures from dwarf galaxies gamma-ray emission

abstract: As a next-generation complex extensive air shower array with a large field of view, the large high altitude air shower observatory (LHAASO) is very sensitive to the very high energy gamma-rays from $\sim$ 300 GeV to 1 PeV, and may thus serve as an important probe for the heavy dark matter (DM) particles. In this study, we make a forecast for the LHAASO sensitivities to the gamma-ray signatures resulting from DM decay in dwarf spheroidal satellite galaxies (dSphs) within the LHAASO field of view. Both individual and combined limits for 19 dSphs incorporating the uncertainties of the DM density profile are explored. Owing to the large effective area and strong capability of the photon-proton discrimination, we find that LHASSSO is sensitive to the signatures from decaying DM particles above $\mathcal{O}(1)$ TeV. The LHAASO sensitivity to the DM decay lifetime reaches $\mathcal{O} (10^{26}) \sim \mathcal{O} (10^{28})$ s for several decay channels at the DM mass scale from 1 TeV to 100 TeV.


title: Verification of Neural Networks: Specifying Global Robustness using Generative Models

abstract: The success of neural networks across most machine learning tasks and the persistence of adversarial examples have made the verification of such models an important quest. Several techniques have been successfully developed to verify robustness, and are now able to evaluate neural networks with thousands of nodes. The main weakness of this approach is in the specification: robustness is asserted on a validation set consisting of a finite set of examples, i.e. locally. We propose a notion of global robustness based on generative models, which asserts the robustness on a very large and representative set of examples. We show how this can be used for verifying neural networks. In this paper we experimentally explore the merits of this approach, and show how it can be used to construct realistic adversarial examples.


title: Three particle L\'evy HBT from PHENIX

abstract: Bose-Einstein correlations of identical bosons reveal information about the space-time structure of particle emission from the sQGP formed in ultra-relativistic heavy-ion collisions. Previous measurements of two particle correlations have shown that the source can best be described by a symmetric Levy distribution. Here we report on the measurement of three-particle correlations in 0-30 % centrality Au+Au collisions at $\sqrt{s_{_\text{NN}}} = 200$ GeV, and describe them with a Levy type source. This measurement may shed light on hadron creation mechanisms beyond chaotic emission. We measure three particle correlation strength ($\lambda_3$) as a function of pair transverse momentum. This parameter, combined with two-particle correlation strength $\lambda_2$ may reveal the level of chaoticity and coherence in particle production.


title: Ultrafast reversal of the ferroelectric polarization by a midinfrared pulse

abstract: We calculate the ferroelectric polarization dynamics induced by a femtosecond midinfrared pulse as measured in the recent experiment by R. Mankowsky et al., Phys. Rev. Lett. 118, 197601 (2017). It is due to the nonlinear coupling of the excited infrared-active phonon with the ferroelectric mode or to the excitation of the ferroelectric mode itself depending on the pulse frequency. To begin with, we write the LiNbO$_3$ crystal symmetry invariant thermodynamic potential including electric field and nonlinear phonon coupling terms. We solve the equations of motion determined by this potential for phonon coordinates numerically in classical approximation. We explain the transient polarization reversal observed in the experiment by action of the depolarizing electric field which is due to bound charges at the polarization domain boundaries and give a reasonable estimate for its value. We argue that the polarization could be ultimately reversed when this field is screened.


title: Shooting Labels: 3D Semantic Labeling by Virtual Reality

abstract: Availability of a few, large-size, annotated datasets, like ImageNet, Pascal VOC and COCO, has lead deep learning to revolutionize computer vision research by achieving astonishing results in several vision tasks.We argue that new tools to facilitate generation of annotated datasets may help spreading data-driven AI throughout applications and domains. In this work we propose Shooting Labels, the first 3D labeling tool for dense 3D semantic segmentation which exploits Virtual Reality to render the labeling task as easy and fun as playing a video-game. Our tool allows for semantically labeling large scale environments very expeditiously, whatever the nature of the 3D data at hand (e.g. point clouds, mesh). Furthermore, Shooting Labels efficiently integrates multiusers annotations to improve the labeling accuracy automatically and compute a label uncertainty map. Besides, within our framework the 3D annotations can be projected into 2D images, thereby speeding up also a notoriously slow and expensive task such as pixel-wise semantic labeling. We demonstrate the accuracy and efficiency of our tool in two different scenarios: an indoor workspace provided by Matterport3D and a large-scale outdoor environment reconstructed from 1000+ KITTI images.


title: FQHE and $tt^{*}$ geometry

abstract: Cumrun Vafa has proposed a microscopic description of the Fractional Quantum Hall Effect (FQHE) in terms of a many-body Hamiltonian $H$ invariant under four supersymmetries. The non-Abelian statistics of the defects (quasi-holes and quasi-particles) is then determined by the monodromy representation of the associated $tt^*$ geometry. In this paper we study the monodromy representation of the Vafa 4-susy model. Modulo some plausible assumption, we find that the monodromy representation factors through a Temperley-Lieb/Hecke algebra with $q=\pm\exp(\pi i/\nu)$. The emerging picture agrees with the other Vafa's predictions as well. The bulk of the paper is dedicated to the development of new concepts, ideas, and techniques in $tt^*$ geometry which are of independent interest. We present several examples of these geometric structures in various contexts.

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: Coupled density-spin Bose-Einstein condensates dynamics and collapse in systems with quintic nonlinearity

abstract: We investigate the effects of spin-orbit coupling and Zeeman splitting on the coupled density-spin dynamics and collapse of the Bose-Einstein condensate driven by the quintic self-attraction in the same- and cross-spin channels. The characteristic feature of the collapse is the decrease in the width as given by the participation ratio of the density rather than by the expectation values of the coordinate. Qualitative arguments and numerical simulations reveal the existence of a critical spin-orbit coupling strength which either prohibits or leads to the collapse, and its dependence on other parameters, such as the condensates norm, spin-dependent nonlinear coupling, and the Zeeman splitting. The entire nonlinear dynamics critically depend on the initial spin sate.


title: Complete state tomography of a quantum dot confined spin qubit

abstract: Semiconductor quantum dots are probably the preferred choice for interfacing anchored, matter spin qubits and flying photonic qubits. While full tomography of a flying qubit or light polarization is in general straightforward, matter spin tomography is a challenging and resource-consuming task. Here we present a novel all-optical method for conducting full tomography of quantum-dot-confined spins. Our method is applicable for electronic spin configurations such as the conduction-band electron, the valence-band hole, and for electron-hole pairs such as the bright and the dark exciton. We excite the spin qubit using short resonantly tuned, polarized optical pulse, which coherently converts the qubit to an excited qubit that decays by emitting a polarized single-photon. We perform the tomography by using two different orthogonal, linearly polarized excitations, followed by time-resolved measurements of the degree of circular polarization of the emitted light from the decaying excited qubit. We demonstrate our method on the dark exciton spin state with fidelity of 0.94, mainly limited by the accuracy of our polarization analyzers.


title: Gravitational waves from chiral phase transition in a conformally extended standard model

abstract: The gravitational wave (GW) background produced at the cosmological chiral phase transition in a conformal extension of the standard model is studied. To obtain the bounce solution of coupled field equations we implement an iterative method. We find that the corresponding $O(3)$ symmetric Euclidean action $S_3$ divided by the temperature $T$ has a simple behavior near the critical temperature $T_C$: $S_3/T \propto (1-T/T_C)^{-\gamma}$, which is subsequently used to determine the transition's inverse duration $\beta$ normalized to the Hubble parameter $H$. It turns out that $\beta/H \gtrsim 10^3$, implying that the sound wave period $\tau_\text{sw}$ as an active GW source, too, can be much shorter than the Hubble time. We therefore compute $\tau_\text{sw} H$ and use it as the reduction factor for the sound wave contribution. The signal-to-noise ratio (SNR) for Deci-Hertz Interferometer Gravitational Wave Observatory (DECIGO) and Big Bang Observer (BBO) is evaluated, with the result: SNR$^\text{DECIGO} \lesssim 1.2$ and SNR$^\text{BBO} \lesssim 12.0$ for five years observation, from which we conclude that the GW signal predicted by the model in the optimistic case could be detected at BBO.


title: Customizing Sequence Generation with Multi-Task Dynamical Systems

abstract: Dynamical system models (including RNNs) often lack the ability to adapt the sequence generation or prediction to a given context, limiting their real-world application. In this paper we show that hierarchical multi-task dynamical systems (MTDSs) provide direct user control over sequence generation, via use of a latent code $\mathbf{z}$ that specifies the customization to the individual data sequence. This enables style transfer, interpolation and morphing within generated sequences. We show the MTDS can improve predictions via latent code interpolation, and avoid the long-term performance degradation of standard RNN approaches.


title: Properadic homotopical calculus

abstract: In this paper, we initiate the generalisation of the operadic calculus which governs the properties of homotopy algebras to a properadic calculus which governs the properties of homotopy gebras over a properad. In this first article of a series, we generalise the seminal notion of infini-morphisms and the ubiquitous homotopy transfer theorem. As an application, we recover the homotopy properties of involutive Lie bialgebras developed by Cieliebak--Fukaya--Latschev and we produce new explicit formulas.


title: Ergodic BSDEs with Multiplicative and Degenerate Noise

abstract: In this paper we study an Ergodic Markovian BSDE involving a forward process $X$ that solves an infinite dimensional forward stochastic evolution equation with multiplicative and possibly degenerate diffusion coefficient. A concavity assumption on the driver allows us to avoid the typical quantitative conditions relating the dissipativity of the forward equation and the Lipschitz constant of the driver. Although the degeneracy of the noise has to be of a suitable type we can give a stochastic representation of a large class of Ergodic HJB equations; morever our general results can be applied to get the synthesis of the optimal feedback law in relevant examples of ergodic control problems for SPDEs.


title: Characterization of material around the centaur (2060) Chiron from a visible and near-infrared stellar occultation in 2011

abstract: The centaur (2060) Chiron has exhibited outgassing behaviour and possibly hosts a ring system. On 2011 November 29, Chiron occulted a fairly bright star (R approximately 15 mag) as observed from the 3-m NASA Infrared Telescope Facility (IRTF) on Mauna Kea and the 2-m Faulkes Telescope North (FTN) at Haleakala. Data were taken as visible wavelength images and simultaneous, low-resolution, near-infrared (NIR) spectra. Here, we present a detailed examination of the light-curve features in the optical data and an analysis of the near-infrared spectra. We place a lower limit on the diameter of Chiron's nucleus of 160.2+/-1.3 km. Sharp, narrow dips were observed between 280-360 km from the centre (depending on event geometry). For a central chord and assumed ring plane, the separated features are 298.5 to 302 and 308 to 310.5 km from the nucleus, with normal optical depth approximately 0.5-0.9, and a gap of 9.1+/-1.3 km. These features are similar in equivalent depth to Chariklo's inner ring. The absence of absorbing or scattering material near the nucleus suggests that these sharp dips are more likely to be planar rings than a shell of material. The region of relatively-increased transmission is within the 1:2 spin-orbit resonance, which is consistent with the proposed clearing pattern for a non-axisymmetric nucleus. Characteristics of additional, azimuthally incomplete features are presented, which are likely to be transient, as well as detection of an extended shell or diffuse ring from approximately 900-1500 km. There are no significant features in the NIR light curves, nor any correlation between optical features and NIR spectral slope.