title: Engineering the spectral bandwidth of quantum cascade laser frequency combs

abstract: Quantum cascade lasers (QCLs) facilitate compact optical frequency comb sources that operate in the mid-infrared and terahertz spectral regions, where many molecules have their fundamental absorption lines. Enhancing the optical bandwidth of these chip-sized lasers is of paramount importance to address their application in broadband high-precision spectroscopy. In this work, we provide a numerical and experimental investigation of the comb spectral width and show how it can be optimized to obtain its maximum value defined by the laser gain bandwidth. The interplay of nonoptimal values of the resonant Kerr nonlinearity and the cavity dispersion can lead to significant narrowing of the comb spectrum and reveals the best approach for dispersion compensation. The implementation of high mirror losses is shown to be favourable and results in proliferation of the comb sidemodes. Ultimately, injection locking of QCLs by modulating the laser bias around the roundtrip frequency provides a stable external knob to control the FM comb state and recover the maximum spectral width of the unlocked laser state.


title: Power law duality in classical and quantum mechanics

abstract: The Newton--Hooke duality and its generalization to arbitrary power laws in classical, semiclassical and quantum mechanics are discussed. We pursue a view that the power-law duality is a symmetry of the action under a set of duality operations. The power dual symmetry is defined by invariance and reciprocity of the action in the form of Hamilton's characteristic function. We find that the power-law duality is basically a classical notion and breaks down at the level of angular quantization. We propose an ad hoc procedure to preserve the dual symmetry in quantum mechanics. The energy-coupling exchange maps required as part of the duality operations that take one system to another lead to an energy formula that relates the new energy to the old energy. The transformation property of {the} Green function satisfying the radial Schr\"odinger equation yields a formula that relates the new Green function to the old one. The energy spectrum of the linear motion in a fractional power potential is semiclassically evaluated. We find a way to show the Coulomb--Hooke duality in the supersymmetric semiclassical action. We also study the confinement potential problem with the help of the dual structure of a two-term power potential.

categories: quant-ph hep-th math-ph math.MP physics.class-ph physics.hist-ph


title: A compact core-jet structure in the changing-look Seyfert NGC 2617

abstract: The nearby face-on spiral galaxy NGC 2617 underwent an unambiguous 'inside-out' multi-wavelength outburst in Spring 2013, and a dramatic Seyfert type change probably between 2010 and 2012, with the emergence of broad optical emission lines. To search for the jet activity associated with this variable accretion activity, we carried out multi-resolution and multi-wavelength radio observations. Using the very long baseline interferometric (VLBI) observations with the European VLBI Network (EVN) at 1.7 and 5.0 GHz, we find that NGC 2617 shows a partially synchrotron self-absorbed compact radio core with a significant core shift, and an optically thin steep-spectrum jet extending towards the north up to about two parsecs in projection. We also observed NGC 2617 with the electronic Multi-Element Remotely Linked Interferometer Network (e-MERLIN) at 1.5 and 5.5 GHz, and revisited the archival data of the Very Large Array (VLA) and the Very Long Baseline Array (VLBA). The radio core had a stable flux density of about 1.4 mJy at 5.0 GHz between 2013 June and 2014 January, in agreement with the expectation of a supermassive black hole in the low accretion rate state. The northern jet component is unlikely to be associated with the 'inside-out' outburst of 2013. Moreover, we report that most optically selected changing-look AGN at z<0.83 are sub-mJy radio sources in the existing VLA surveys at 1.4 GHz, and it is unlikely that they are more active than normal AGN at radio frequencies.


title: Universal upper bound for the entropy of superconducting vortices and the Nernst effect

abstract: We show that the entropy per quantum vortex per layer in superconductors in external magnetic fields is bounded by the universal value k_B ln 2, which explains puzzling results of recent experiments on the Nernst effect.


title: Combinatorics via Closed Orbits: Number Theoretic Ramanujan Graphs are not Unique Neighbor Expanders

abstract: The question of finding expander graphs with strong vertex expansion properties such as unique neighbor expansion and lossless expansion is central to computer science. A barrier to constructing these is that strong notions of expansion could not be proven via the spectral expansion paradigm. A very symmetric and structured family of optimal spectral expanders (i.e., Ramanujan graphs) was constructed using number theory by Lubotzky, Phillips and Sarnak, and was subsequently generalized by others. We call such graphs Number Theoretic Ramanujan Graphs. These graphs are not only spectrally optimal, but also posses strong symmetries and rich structure. Thus, it has been widely conjectured that number theoretic Ramanujan graphs are lossless expanders, or at least unique neighbor expanders. In this work we disprove this conjecture, by showing that there are number theoretic Ramanujan graphs that are not even unique neighbor expanders. This is done by introducing a new combinatorial paradigm that we term the closed orbit method. The closed orbit method allows one to construct finite combinatorial objects with extermal substructures. This is done by observing that there exist infinite combinatorial structures with extermal substructures, coming from an action of a subgroup of the automorphism group of the structure. The crux of our idea is a systematic way to construct a finite quotient of the infinite structure containing a simple shadow of the infinite substructure, which maintains its extermal combinatorial property. Other applications of the method are to the edge expansion of number theoretic Ramanujan graphs and vertex expansion of Ramanujan complexes. Finally, in the field of graph quantum ergodicity we produce number theoretic Ramanujan graphs with an eigenfunction of small support that corresponds to the zero eigenvalue. This again contradicts common expectations.


title: Emergent order in a continuous state adaptive network model of living systems

abstract: Order can spontaneously emerge from seemingly noisy interactions between biological agents, like a flock of birds changing their direction of flight in unison, without a leader or an external cue. We are interested in the generic conditions that lead to such emergent phenomena. To find these conditions, we use the framework of complex networks to characterize the state of agents and their mutual influence. We formulate a continuous state adaptive network model, from which we obtain the phase boundaries between swarming and disordered phases and characterize the order of the phase transition.


title: Regularization of the Poisson Bracket in Field Theory

abstract: In field theory the Poisson bracket $\{F, \mathcal{H}\}$ between an arbitrary function $F$ and the system Hamiltonian $\mathcal{H}$ acquires odd contributions. Here a modification is worked out to remove those terms, which leads to a certain version of the energy-momentum tensor. The resulting Poisson bracket is thus more easily accessible for quantization. An outlook hereupon is given, based on a field theoretic alternative to non-commutative spacetime.


title: Expert System Gradient Descent Style Training: Development of a Defensible Artificial Intelligence Technique

abstract: Artificial intelligence systems, which are designed with a capability to learn from the data presented to them, are used throughout society. These systems are used to screen loan applicants, make sentencing recommendations for criminal defendants, scan social media posts for disallowed content and more. Because these systems don't assign meaning to their complex learned correlation network, they can learn associations that don't equate to causality, resulting in non-optimal and indefensible decisions being made. In addition to making decisions that are sub-optimal, these systems may create legal liability for their designers and operators by learning correlations that violate anti-discrimination and other laws regarding what factors can be used in different types of decision making. This paper presents the use of a machine learning expert system, which is developed with meaning-assigned nodes (facts) and correlations (rules). Multiple potential implementations are considered and evaluated under different conditions, including different network error and augmentation levels and different training levels. The performance of these systems is compared to random and fully connected networks.


title: An eigen decomposition based closed-form solution for the Discrete Lyapunov and Stein Equations

abstract: A simple closed-form solution to the discrete Lyapunov equation (DLE) is established for certain families of matrices. This solution is expressed in terms of the eigen decomposition (ED) for which closed-form solutions are known for all 2x2; 3x3 and certain families of matrices. For general matrices, the proposed ED based closed-form solution can be used as an efficient numerical solution when the ED can be computed. The result is then extended to give closed-form solutions for a generalization of the DLE, called the Stein equation. The proposed explicit solution's complexity is of the same order as iterative solutions and significantly smaller than known closed-form solutions. These solutions may prove convenient for analysis and synthesis problems related to these equations due to their compact form.


title: ERASOR: Egocentric Ratio of Pseudo Occupancy-based Dynamic Object Removal for Static 3D Point Cloud Map Building

abstract: Scan data of urban environments often include representations of dynamic objects, such as vehicles, pedestrians, and so forth. However, when it comes to constructing a 3D point cloud map with sequential accumulations of the scan data, the dynamic objects often leave unwanted traces in the map. These traces of dynamic objects act as obstacles and thus impede mobile vehicles from achieving good localization and navigation performances. To tackle the problem, this paper presents a novel static map building method called ERASOR, Egocentric RAtio of pSeudo Occupancy-based dynamic object Removal, which is fast and robust to motion ambiguity. Our approach directs its attention to the nature of most dynamic objects in urban environments being inevitably in contact with the ground. Accordingly, we propose the novel concept called pseudo occupancy to express the occupancy of unit space and then discriminate spaces of varying occupancy. Finally, Region-wise Ground Plane Fitting (R-GPF) is adopted to distinguish static points from dynamic points within the candidate bins that potentially contain dynamic points. As experimentally verified on SemanticKITTI, our proposed method yields promising performance against state-of-the-art methods overcoming the limitations of existing ray tracing-based and visibility-based methods.


title: Matrix forms of immanant inequalities

abstract: We translate inequalities and conjectures for immanants and generalized matrix functions into inequalities in the L\"owner order. These have the form of trace polynomials and generalize the inequalities from [FH, J. Math. Phys. 62 (2021), 2, 022203].


title: Implementing graph neural networks with TensorFlow-Keras

abstract: Graph neural networks are a versatile machine learning architecture that received a lot of attention recently. In this technical report, we present an implementation of convolution and pooling layers for TensorFlow-Keras models, which allows a seamless and flexible integration into standard Keras layers to set up graph models in a functional way. This implies the usage of mini-batches as the first tensor dimension, which can be realized via the new RaggedTensor class of TensorFlow best suited for graphs. We developed the Keras Graph Convolutional Neural Network Python package kgcnn based on TensorFlow-Keras that provides a set of Keras layers for graph networks which focus on a transparent tensor structure passed between layers and an ease-of-use mindset.


title: Two-loop leading-colour QCD helicity amplitudes for two-photon plus jet production at the LHC

abstract: We calculate the complete set of two-loop leading-colour QCD helicity amplitudes for $\gamma \gamma j$-production at hadron colliders. Our results are presented in a compact, fully-analytical form.


title: Hybrid Quantum Applications Need Two Orchestrations in Superposition: A Software Architecture Perspective

abstract: Quantum applications are most often hybrid, i.e. they are not only made of implementations of pure quantum algorithms but also of classical programs as well as workflows and topologies as key artifacts, and data they process. Since workflows and topologies are referred to as orchestrations in modern terminology (but with very different meaning), two orchestrations that go hand-in-hand are required to realize quantum applications. We motivate this by means of a non-trivial example, sketch these orchestration technologies and reveal the overall structure of nontrivial quantum applications as well as the implied architecture of a runtime environment for such applications.


title: On the separation theorems for convex sets on the unit sphere

abstract: In this short note we provide a new proof of the recent result of Han and Nashimura on the separation of spherical convex sets established in arXiv:2002.06558. Our proof is based on a result stated in locally convex spaces.


title: Broadband frequency filters with quantum dot chains

abstract: Two-terminal electronic transport systems with a rectangular transmission can violate standard thermodynamic uncertainty relations. This is possible beyond the linear response regime and for parameters that are not accessible with rate equations obeying detailed-balance. Looser bounds originating from fluctuation theorem symmetries alone remain respected. We demonstrate that optimal finite-sized quantum dot chains can implement rectangular transmission functions with high accuracy and discuss the resulting violations of standard thermodynamic uncertainty relations as well as heat engine performance.


title: Inverse of divergence and homogenization of compressible Navier-Stokes equations in randomly perforated domains

abstract: We analyze behavior of weak solutions to compressible fluid flows in a bounded domain in $\mathbb{R}^3$, randomly perforated by tiny balls with random size. Assuming the radii of the balls scale like $\varepsilon^\alpha$, $\alpha > 3$, with $\varepsilon$ denoting the average distance between the balls, the problem homogenize with the same limiting equation. Our main contribution is a construction of the Bogovski\u{\i} operator, uniformly in $\varepsilon$, without any assumptions on the minimal distance between the balls.


title: Numerical results for an unconditionally stable space-time finite element method for the wave equation

abstract: In this work, we introduce a new space-time variational formulation of the second-order wave equation, where integration by parts is also applied with respect to the time variable, and a modified Hilbert transformation is used. For this resulting variational setting, ansatz and test spaces are equal. Thus, conforming finite element discretizations lead to Galerkin--Bubnov schemes. We consider a conforming tensor-product approach with piecewise polynomial, continuous basis functions, which results in an unconditionally stable method, i.e., no CFL condition is required. We give numerical examples for a one- and a two-dimensional spatial domain, where the unconditional stability and optimal convergence rates in space-time norms are illustrated.


title: One-batch Preempt Deterioration-effect Multi-state Multi-rework Network Reliability Problem and Algorithms

abstract: A rework network is a distinct multi-state network that exists in many real-life industrial manufacturing systems for fixing defective products using rework processes to improve the utility and productivity of the systems. To provide a more general model of rework networks, a novel one-batch preempt multi-state multi-rework network is proposed to achieve real-life applications without numerous impractical and unreasonable limitations. Accordingly, a new algorithm based on two different multi-state types of binary addition tree algorithms (BATs) is proposed to calculate the reliability of the proposed rework. Furthermore, the proposed BAT-based algorithm is applied to four rework problems to validate its effectiveness and performance for the rework reliability problem.


title: Search for dark matter production in association with the Z$^{\prime}$ boson at the LHC in pp collisions at $\sqrt{s}$ = 8 TeV using Monte Carlo simulations

abstract: This analysis presents the possibility for the search for Dark Matter (DM) particles using events with a Z$^{\prime}$ heavy gauge boson and a large missing transverse momentum at the Large Hadron Collider (LHC). We consider the muonic decay of Z$^{\prime}$. The analyzed Monte Carlo samples were the Open simulated files produced by the CMS collaboration for proton-proton collisions correspond to an integrated luminosity of the LHC run-I with 19.7 fb$^{-1}$ at $\sqrt{s} = $ 8 TeV. Two scenarios, one simplified benchmark scenario so called Dark Higgs and the effective field theory (EFT) formalism, were used for interpretations. Limits are set on both Z$^{\prime}$, dark matter masses and the cutoff scale of the EFT.


title: The impact of online machine-learning methods on long-term investment decisions and generator utilization in electricity markets

abstract: Electricity supply must be matched with demand at all times. This helps reduce the chances of issues such as load frequency control and the chances of electricity blackouts. To gain a better understanding of the load that is likely to be required over the next 24h, estimations under uncertainty are needed. This is especially difficult in a decentralized electricity market with many micro-producers which are not under central control. In this paper, we investigate the impact of eleven offline learning and five online learning algorithms to predict the electricity demand profile over the next 24h. We achieve this through integration within the long-term agent-based model, ElecSim. Through the prediction of electricity demand profile over the next 24h, we can simulate the predictions made for a day-ahead market. Once we have made these predictions, we sample from the residual distributions and perturb the electricity market demand using the simulation, ElecSim. This enables us to understand the impact of errors on the long-term dynamics of a decentralized electricity market. We show we can reduce the mean absolute error by 30% using an online algorithm when compared to the best offline algorithm, whilst reducing the required tendered national grid reserve required. This reduction in national grid reserves leads to savings in costs and emissions. We also show that large errors in prediction accuracy have a disproportionate error on investments made over a 17-year time frame, as well as electricity mix.


title: Existence of co-rotating and travelling vortex patches with doubly connected components for active scalar equations

abstract: By applying implicit function theorem on contour dynamics, we prove the existence of co-rotating and travelling patch solutions for both Euler and the generalized surface quasi-geostrophic equation. The solutions obtained constitute a desingularization of points vortices when the size of patch support vanishes. In particular, solutions constructed in this paper consist of doubly connected components, which is essentially different from all known results.


title: Pose Discrepancy Spatial Transformer Based Feature Disentangling for Partial Aspect Angles SAR Target Recognition

abstract: This letter presents a novel framework termed DistSTN for the task of synthetic aperture radar (SAR) automatic target recognition (ATR). In contrast to the conventional SAR ATR algorithms, DistSTN considers a more challenging practical scenario for non-cooperative targets whose aspect angles for training are incomplete and limited in a partial range while those of testing samples are unlimited. To address this issue, instead of learning the pose invariant features, DistSTN newly involves an elaborated feature disentangling model to separate the learned pose factors of a SAR target from the identity ones so that they can independently control the representation process of the target image. To disentangle the explainable pose factors, we develop a pose discrepancy spatial transformer module in DistSTN to characterize the intrinsic transformation between the factors of two different targets with an explicit geometric model. Furthermore, DistSTN develops an amortized inference scheme that enables efficient feature extraction and recognition using an encoder-decoder mechanism. Experimental results with the moving and stationary target acquisition and recognition (MSTAR) benchmark demonstrate the effectiveness of our proposed approach. Compared with the other ATR algorithms, DistSTN can achieve higher recognition accuracy.


title: An Overview of Cryptographic Accumulators

abstract: This paper is a primer on cryptographic accumulators and how to apply them practically. A cryptographic accumulator is a space- and time-efficient data structure used for set-membership tests. Since it is possible to represent any computational problem where the answer is yes or no as a set-membership problem, cryptographic accumulators are invaluable data structures in computer science and engineering. But, to the best of our knowledge, there is neither a concise survey comparing and contrasting various types of accumulators nor a guide for how to apply the most appropriate one for a given application. Therefore, we address that gap by describing cryptographic accumulators while presenting their fundamental and so-called optional properties. We discuss the effects of each property on the given accumulator's performance in terms of space and time complexity, as well as communication overhead.


title: Auto-tuning of Deep Neural Networks by Conflicting Layer Removal

abstract: Designing neural network architectures is a challenging task and knowing which specific layers of a model must be adapted to improve the performance is almost a mystery. In this paper, we introduce a novel methodology to identify layers that decrease the test accuracy of trained models. Conflicting layers are detected as early as the beginning of training. In the worst-case scenario, we prove that such a layer could lead to a network that cannot be trained at all. A theoretical analysis is provided on what is the origin of those layers that result in a lower overall network performance, which is complemented by our extensive empirical evaluation. More precisely, we identified those layers that worsen the performance because they would produce what we name conflicting training bundles. We will show that around 60% of the layers of trained residual networks can be completely removed from the architecture with no significant increase in the test-error. We will further present a novel neural-architecture-search (NAS) algorithm that identifies conflicting layers at the beginning of the training. Architectures found by our auto-tuning algorithm achieve competitive accuracy values when compared against more complex state-of-the-art architectures, while drastically reducing memory consumption and inference time for different computer vision tasks. The source code is available on https://github.com/peerdavid/conflicting-bundles


title: Sorting by shuffling methods and a queue

abstract: We study sorting by queues that can rearrange their content by applying permutations from a predefined set. These new sorting devices are called shuffle queues and we investigate those of them corresponding to sets of permutations defining some well-known shuffling methods. If $\mathbb{Q}_{\Sigma}$ is the shuffle queue corresponding to the shuffling method $\Sigma$, then we find a number of surprising results related to two natural variations of shuffle queues denoted by $\mathbb{Q}_{\Sigma}^{\prime}$ and $\mathbb{Q}_{\Sigma}^{\textsf{pop}}$. These require the entire content of the device to be unloaded after a permutation is applied or unloaded by each pop operation, respectively. First, we show that sorting by a deque is equivalent to sorting by a shuffle queue that can reverse its content. Next, we focus on sorting by cuts. We prove that the set of permutations that one can sort by using $\mathbb{Q}_{\text{cuts}}^{\prime}$ is the set of the $321$-avoiding separable permutations. We give lower and upper bounds to the maximum number of times the device must be used to sort a permutation. Furthermore, we give a formula for the number of $n$-permutations, $p_{n}(\mathbb{Q}_{\Sigma}^{\prime})$, that one can sort by using $\mathbb{Q}_{\Sigma}^{\prime}$, for any shuffling method $\Sigma$, corresponding to a set of irreducible permutations. We also show that $p_{n}(\mathbb{Q}_{\Sigma}^{\textsf{pop}})$ is given by the odd indexed Fibonacci numbers $F_{2n-1}$, for any shuffling method $\Sigma$ having a specific "back-front" property. The rest of the work is dedicated to a surprising conjecture inspired by Diaconis and Graham, which states that one can sort the same number of permutations of any given size by using the devices $\mathbb{Q}_{\text{In-sh}}^{\textsf{pop}}$ and $\mathbb{Q}_{\text{Monge}}^{\textsf{pop}}$, corresponding to the popular In-shuffle and Monge shuffling methods.


title: Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning Models

abstract: The boom of DL technology leads to massive DL models built and shared, which facilitates the acquisition and reuse of DL models. For a given task, we encounter multiple DL models available with the same functionality, which are considered as candidates to achieve this task. Testers are expected to compare multiple DL models and select the more suitable ones w.r.t. the whole testing context. Due to the limitation of labeling effort, testers aim to select an efficient subset of samples to make an as precise rank estimation as possible for these models. To tackle this problem, we propose Sample Discrimination based Selection (SDS) to select efficient samples that could discriminate multiple models, i.e., the prediction behaviors (right/wrong) of these samples would be helpful to indicate the trend of model performance. To evaluate SDS, we conduct an extensive empirical study with three widely-used image datasets and 80 real world DL models. The experimental results show that, compared with state-of-the-art baseline methods, SDS is an effective and efficient sample selection method to rank multiple DL models.


title: Kronecker factorization theorems for the seven dimensional simple non-Lie Malcev algebra

abstract: We prove that a Malcev algebra $\mathcal{M}$ containing the $7$-dimensional simple non-Lie Malcev algebra $\mathbb{M}$ such that $m\mathbb{M}\neq 0$ for any $m\neq 0$ from $\mathcal{M}$, is isomorphic to $\mathbb{M}\otimes_\textup{F} \mathcal{U}$, where $\mathcal{U}$ is a certain commutative associative algebra. Also, we prove that a Malcev superalgebra $\mathcal{M}=\mathcal{M}_0\oplus \mathcal{M}_1$ whose even part $\mathcal{M}_0$ contains $\mathbb{M}$ with $m\mathbb{M}\neq 0$ for any homogeneous element $0\neq m\in \mathcal{M}_0\cup \mathcal{M}_1$, is isomorphic to $\mathbb{M}\otimes_\textup{F}U$, where $U$ is a certain supercommutative associative superalgebra.


title: Explicit construction of Local Hidden Variables for any quantum theory up to any desired accuracy

abstract: The machinery of quantum mechanics is fully capable of describing a single realistic world. Here we discuss the converse: in spite of appearances, and indeed numerous claims to the contrary, any quantum mechanical model can be mimicked, up to any finite accuracy, by a completely classical system of equations. An implication of this observation is that Bell's theorem is not applicable in the cases considered. This is explained by scrutinising Bell's assumptions concerning causality, retrocausality, statistical (in-)dependence, and his fear of `conspiracy' (there is no conspiracy in the language used to describe the deterministic models). The most crucial mechanism for the counter intuitive Bell/CHSH violation is the fact that, regardless the settings chosen by Alice and Bob, the initial state of the system should be a realistic one. The potential importance of our construction in model building is discussed.


title: HTMD-Net: A Hybrid Masking-Denoising Approach to Time-Domain Monaural Singing Voice Separation

abstract: The advent of deep learning has led to the prevalence of deep neural network architectures for monaural music source separation, with end-to-end approaches that operate directly on the waveform level increasingly receiving research attention. Among these approaches, transformation of the input mixture to a learned latent space, and multiplicative application of a soft mask to the latent mixture, achieves the best performance, but is prone to the introduction of artifacts to the source estimate. To alleviate this problem, in this paper we propose a hybrid time-domain approach, termed the HTMD-Net, combining a lightweight masking component and a denoising module, based on skip connections, in order to refine the source estimated by the masking procedure. Evaluation of our approach in the task of monaural singing voice separation in the musdb18 dataset indicates that our proposed method achieves competitive performance compared to methods based purely on masking when trained under the same conditions, especially regarding the behavior during silent segments, while achieving higher computational efficiency.


title: Watching You: Global-guided Reciprocal Learning for Video-based Person Re-identification

abstract: Video-based person re-identification (Re-ID) aims to automatically retrieve video sequences of the same person under non-overlapping cameras. To achieve this goal, it is the key to fully utilize abundant spatial and temporal cues in videos. Existing methods usually focus on the most conspicuous image regions, thus they may easily miss out fine-grained clues due to the person varieties in image sequences. To address above issues, in this paper, we propose a novel Global-guided Reciprocal Learning (GRL) framework for video-based person Re-ID. Specifically, we first propose a Global-guided Correlation Estimation (GCE) to generate feature correlation maps of local features and global features, which help to localize the high- and low-correlation regions for identifying the same person. After that, the discriminative features are disentangled into high-correlation features and low-correlation features under the guidance of the global representations. Moreover, a novel Temporal Reciprocal Learning (TRL) mechanism is designed to sequentially enhance the high-correlation semantic information and accumulate the low-correlation sub-critical clues. Extensive experiments are conducted on three public benchmarks. The experimental results indicate that our approach can achieve better performance than other state-of-the-art approaches. The code is released at https://github.com/flysnowtiger/GRL.


title: On an inverse curvature flow in two-dimensional space forms

abstract: We study the evolution of compact convex curves in two-dimensional space forms. The normal speed is given by the difference of the weighted inverse curvature with the support function, and in the case where the ambient space is the Euclidean plane, is equivalent to the standard inverse curvature flow. We prove that solutions exist for all time and converge exponentially fast in the smooth topology to a standard round geodesic circle. This has a number of consequences: first, to prove the isoperimetricinequality; second, to establish a range of weighted geometric inequalities; and third, to give a counterexample to the $n=2$ case of a conjecture of Gir\~ao-Pinheiro.


title: Network Representation Learning: From Traditional Feature Learning to Deep Learning

abstract: Network representation learning (NRL) is an effective graph analytics technique and promotes users to deeply understand the hidden characteristics of graph data. It has been successfully applied in many real-world tasks related to network science, such as social network data processing, biological information processing, and recommender systems. Deep Learning is a powerful tool to learn data features. However, it is non-trivial to generalize deep learning to graph-structured data since it is different from the regular data such as pictures having spatial information and sounds having temporal information. Recently, researchers proposed many deep learning-based methods in the area of NRL. In this survey, we investigate classical NRL from traditional feature learning method to the deep learning-based model, analyze relationships between them, and summarize the latest progress. Finally, we discuss open issues considering NRL and point out the future directions in this field.


title: Logarithmic finite-size scaling of the self-avoiding walk at four dimensions

abstract: The $n$-vector spin model, which includes the self-avoiding walk (SAW) as a special case for the $n \rightarrow 0 $ limit, has an upper critical dimensionality at four spatial dimensions (4D). We simulate the SAW on 4D hypercubic lattices with periodic boundary conditions by an irreversible Berretti-Sokal algorithm up to linear size $L=768$. From an unwrapped end-to-end distance, we obtain the critical fugacity as $z_c= 0.147 \, 622 \, 380(2)$, improving over the existing result $z_c=0.147 \, 622 \, 3(1)$ by 50 times. Such a precisely estimated critical point enables us to perform a systematic study of the finite-size scaling of 4D SAW for various quantities. Our data indicate that near $z_c$, the scaling behavior of the free energy simultaneously contains a scaling term from the Gaussian fixed point and the other accounting for multiplicative logarithmic corrections. In particular, it is clearly observed that the critical magnetic susceptibility and the specific heat logarithmically diverge as $\chi \sim L^2 (\ln L)^{2 \hat{y}_h}$ and $C \sim (\ln L)^{2 \hat{y}_t}$, and the logarithmic exponents are determined as $\hat{y}_h=0.252(2)$ and $\hat{y}_t=0.25(2)$, in excellent agreement with the field theoretical prediction $\hat{y}_h=\hat{y}_t=1/4$. Our results provide a strong support for the recently conjectured finite-size scaling form for the O$(n)$ universality classes at 4D.


title: Inter-Carrier Interference Mitigation for Differentially Coherent Detection in Underwater Acoustic OFDM Systems

abstract: Suppressing the inter-carrier interference (ICI) is crucial for differentially coherent detection in underwater acoustic (UWA) orthogonal frequency division multiplexing (OFDM) systems due to the fact that the UWA channel is inherently violently Doppler-shifted. In this paper, we propose a new ICI suppression method, referred to as the partially-shifted fast Fourier transform (PS-FFT), which eliminates the ICI from both the time and frequency domains. Specifically, the PS-FFT first divides the received signal in the entire block duration into several short non-overlapping ones to reduce the channel variation in the time domain. It then applies the Fourier transform at several predefined frequencies to the received signal in each of these intervals to compensate Doppler shifts in the frequency domain. Finally, it weightedly combines the multiple demodulator outputs at each carrier as one output for symbol detection, with the combiner weights being solved by the stochastic gradient algorithm. Simulation results show that the PS-FFT dramatically outperforms the existing classical methods, the partial fast Fourier transform (P-FFT) and the fractional fast Fourier transform (F-FFT), for both medium and high Doppler factors and large carrier numbers in terms of the mean squared error (MSE). Numerically, the MSE of the PS-FFT is reduced by $\bf{61.83\%-84.89\%}$ compared to that of the F-FFT when the input signal-to-noise ratio (SNR) at the receiver ranges from 10 dB to 30 dB at a Doppler factor of $\bf{3\times 10^{-4}}$ and a carrier number of 1024 where the P-FFT even cannot work.


title: Detectability of Rocky-Vapour Atmospheres on Super-Earths with Ariel

abstract: Ariel will mark the dawn of a new era as the first large-scale survey characterising exoplanetary atmospheres with science objectives to address fundamental questions about planetary composition, evolution and formation. In this study, we explore the detectability of atmospheres vaporised from magma oceans on dry, rocky Super-Earths orbiting very close to their host stars. The detection of such atmospheres would provide a definitive piece of evidence for rocky planets but are challenging measurements with currently available instruments due to their small spectral signatures. However, some of the hottest planets are believed to have atmospheres composed of vaporised rock, such as Na and SiO, with spectral signatures bright enough to be detected through eclipse observations with planned space-based telescopes. In this study, we find that rocky super-Earths with a irradiation temperature of 3000 K and a distance from Earth of up to 20 pc, as well as planets hotter than 3500 K and closer than 50 pc, have SiO features which are potentially detectable in eclipse spectra observed with Ariel.


title: Multilinear POD-DEIM model reduction for 2D and 3D semilinear systems of differential equations

abstract: We are interested in the numerical solution of coupled nonlinear partial differential equations (PDEs) in two and three dimensions. Under certain assumptions on the domain, we take advantage of the Kronecker structure arising in standard space discretizations of the differential operators and illustrate how the resulting system of ordinary differential equations (ODEs) can be treated directly in matrix or tensor form. Moreover, in the framework of the proper orthogonal decomposition (POD) and the discrete empirical interpolation method (DEIM) we derive a two- and three-sided model order reduction strategy that is applied directly to the ODE system in matrix and tensor form respectively. We discuss how to integrate the reduced order model and, in particular, how to solve the tensor-valued linear system arising at each timestep of a semi-implicit time discretization scheme. We illustrate the efficiency of the proposed method through a comparison to existing techniques on classical benchmark problems such as the two- and three-dimensional Burgers equation.


title: Graph Force Learning

abstract: Features representation leverages the great power in network analysis tasks. However, most features are discrete which poses tremendous challenges to effective use. Recently, increasing attention has been paid on network feature learning, which could map discrete features to continued space. Unfortunately, current studies fail to fully preserve the structural information in the feature space due to random negative sampling strategy during training. To tackle this problem, we study the problem of feature learning and novelty propose a force-based graph learning model named GForce inspired by the spring-electrical model. GForce assumes that nodes are in attractive forces and repulsive forces, thus leading to the same representation with the original structural information in feature learning. Comprehensive experiments on benchmark datasets demonstrate the effectiveness of the proposed framework. Furthermore, GForce opens up opportunities to use physics models to model node interaction for graph learning.


title: Channel Estimation for Underwater Acoustic OFDM Communications: An Image Super-Resolution Approach

abstract: In this paper, by exploiting the powerful ability of deep learning, we devote to designing a well-performing and pilot-saving neural network for the channel estimation in underwater acoustic (UWA) orthogonal frequency division multiplexing (OFDM) communications. By considering the channel estimation problem as a matrix completion problem, we interestingly find it mathematically equivalent to the image super-resolution problem arising in the field of image processing. Hence, we attempt to make use of the very deep super-resolution neural network (VDSR), one of the most typical neural networks to solve the image super-resolution problem, to handle our problem. However, there still exist significant differences between these two problems, we thus elegantly modify the basic framework of the VDSR to design our channel estimation neural network, referred to as the channel super-resolution neural network (CSRNet). Moreover, instead of training an individual network for each considered signal-to-noise ratio (SNR), we obtain an unified network that works well for all SNRs with the help of transfer learning, thus substantially increasing the practicality of the CSRNet. Simulation results validate the superiority of the CSRNet against the existing least square (LS) and deep neural network (DNN) based algorithms in terms of the mean square error (MSE) and the bit error rate (BER). Specifically, compared with the LS algorithm, the CSRNet can reduce the BER by 44.74% even using 50% fewer pilots.


title: An Optimized Signal Processing Pipeline for Syllable Detection and Speech Rate Estimation

abstract: Syllable detection is an important speech analysis task with applications in speech rate estimation, word segmentation, and automatic prosody detection. Based on the well understood acoustic correlates of speech articulation, it has been realized by local peak picking on a frequency-weighted energy contour that represents vowel sonority. While several of the analysis parameters are set based on known speech signal properties, the selection of the frequency-weighting coefficients and peak-picking threshold typically involves heuristics, raising the possibility of data-based optimisation. In this work, we consider the optimization of the parameters based on the direct minimization of naturally arising task-specific objective functions. The resulting non-convex cost function is minimized using a population-based search algorithm to achieve a performance that exceeds previously published performance results on the same corpus using a relatively low amount of labeled data. Further, the optimisation of system parameters on a different corpus is shown to result in an explainable change in the optimal values.


title: Training Data Set Refinement for the Machine Learning Potential of Li-Si Alloys via Structural Similarity Analysis

abstract: Machine learning potential enables molecular dynamics simulations of systems beyond the capability of classical force fields. The traditional approach to develop structural sets for training machine learning potential typically generate a great number of redundant configurations, which will result in unnecessary computational costs. This work investigates the possibility of reducing redundancy in an initial data set containing 6183 configurations for a Li-Si machine learning potential. Starting from the initial data set, we constructed a series of subsets ranging from 25 to 1500 configurations by combining a structural similarity analysis algorithm and the farthest point sampling method. Results show that the machine learning potential trained from a data set containing 400 configurations can achieve an accuracy comparable to the one developed from the initial data set of 6183 configurations in describing potential energies, atomic forces, and structural properties of Li-Si systems. In addition, the redundancy reducing approach also demonstrates advantages over the classic stochastic method for constructing a concise training data set for Li-Si systems.


title: Barocaloric thermal batteries

abstract: Nowadays the world is facing a prominent paradox regarding thermal energy. The production of heat accounts for more than 50% of global final energy consumption while the waste heat potential analysis reveals that 72% of the global primary energy consumption is lost after conversion mainly in the form of heat. Towards global decarbonization, it is of vital importance to establish a solution to thermal energy utilization under full control. Here, we propose and realize an unprecedented concept -- barocaloric thermal batteries based on the inverse colossal barocaloric effect of NH4SCN. Thermal charging is initialized upon pressurization through an order-to-disorder phase transition below 364 K and in turn the discharging of 43 J g-1, which are eleven times more than the input mechanical energy, occurs on demand at depressurization at lower temperatures. The discharging is also manifested as a directly measured temperature rise of 12 K. The thermodynamic equilibrium nature of the pressure-restrained heat-carrying phase guarantees stable storage and/or transport over a variety of temporal and/or spatial scales. The barocaloric thermal batteries reinforced by their solid microscopic mechanism are expected to significantly advance the ability to take advantage of waste heat.


title: Markov Cricket: Using Forward and Inverse Reinforcement Learning to Model, Predict And Optimize Batting Performance in One-Day International Cricket

abstract: In this paper, we model one-day international cricket games as Markov processes, applying forward and inverse Reinforcement Learning (RL) to develop three novel tools for the game. First, we apply Monte-Carlo learning to fit a nonlinear approximation of the value function for each state of the game using a score-based reward model. We show that, when used as a proxy for remaining scoring resources, this approach outperforms the state-of-the-art Duckworth-Lewis-Stern method used in professional matches by 3 to 10 fold. Next, we use inverse reinforcement learning, specifically a variant of guided-cost learning, to infer a linear model of rewards based on expert performances, assumed here to be play sequences of winning teams. From this model we explicitly determine the optimal policy for each state and find this agrees with common intuitions about the game. Finally, we use the inferred reward models to construct a game simulator that models the posterior distribution of final scores under different policies. We envisage our prediction and simulation techniques may provide a fairer alternative for estimating final scores in interrupted games, while the inferred reward model may provide useful insights for the professional game to optimize playing strategy. Further, we anticipate our method of applying RL to this game may have broader application to other sports with discrete states of play where teams take turns, such as baseball and rounders.


title: Syntax-BERT: Improving Pre-trained Transformers with Syntax Trees

abstract: Pre-trained language models like BERT achieve superior performances in various NLP tasks without explicit consideration of syntactic information. Meanwhile, syntactic information has been proved to be crucial for the success of NLP applications. However, how to incorporate the syntax trees effectively and efficiently into pre-trained Transformers is still unsettled. In this paper, we address this problem by proposing a novel framework named Syntax-BERT. This framework works in a plug-and-play mode and is applicable to an arbitrary pre-trained checkpoint based on Transformer architecture. Experiments on various datasets of natural language understanding verify the effectiveness of syntax trees and achieve consistent improvement over multiple pre-trained models, including BERT, RoBERTa, and T5.


title: Learning a State Representation and Navigation in Cluttered and Dynamic Environments

abstract: In this work, we present a learning-based pipeline to realise local navigation with a quadrupedal robot in cluttered environments with static and dynamic obstacles. Given high-level navigation commands, the robot is able to safely locomote to a target location based on frames from a depth camera without any explicit mapping of the environment. First, the sequence of images and the current trajectory of the camera are fused to form a model of the world using state representation learning. The output of this lightweight module is then directly fed into a target-reaching and obstacle-avoiding policy trained with reinforcement learning. We show that decoupling the pipeline into these components results in a sample efficient policy learning stage that can be fully trained in simulation in just a dozen minutes. The key part is the state representation, which is trained to not only estimate the hidden state of the world in an unsupervised fashion, but also helps bridging the reality gap, enabling successful sim-to-real transfer. In our experiments with the quadrupedal robot ANYmal in simulation and in reality, we show that our system can handle noisy depth images, avoid dynamic obstacles unseen during training, and is endowed with local spatial awareness.


title: Optimal management of DC pension fund under relative performance ratio and VaR constraint

abstract: In this paper, we investigate the optimal management of defined contribution (abbr. DC) pension plan under relative performance ratio and Value-at-Risk (abbr. VaR) constraint. Inflation risk is introduced in this paper and the financial market consists of cash, inflation-indexed zero coupon bond and a stock. The goal of the pension manager is to maximize the performance ratio of the real terminal wealth under VaR constraint. An auxiliary process is introduced to transform the original problem into a self-financing problem first. Combining linearization method, Lagrange dual method, martingale method and concavification method, we obtain the optimal terminal wealth under different cases. For convex penalty function, there are fourteen cases while for concave penalty function, there are six cases. Besides, when the penalty function and reward function are both power functions, the explicit forms of the optimal investment strategies are obtained. Numerical examples are shown in the end of this paper to illustrate the impacts of the performance ratio and VaR constraint.


title: Empathetic BERT2BERT Conversational Model: Learning Arabic Language Generation with Little Data

abstract: Enabling empathetic behavior in Arabic dialogue agents is an important aspect of building human-like conversational models. While Arabic Natural Language Processing has seen significant advances in Natural Language Understanding (NLU) with language models such as AraBERT, Natural Language Generation (NLG) remains a challenge. The shortcomings of NLG encoder-decoder models are primarily due to the lack of Arabic datasets suitable to train NLG models such as conversational agents. To overcome this issue, we propose a transformer-based encoder-decoder initialized with AraBERT parameters. By initializing the weights of the encoder and decoder with AraBERT pre-trained weights, our model was able to leverage knowledge transfer and boost performance in response generation. To enable empathy in our conversational model, we train it using the ArabicEmpatheticDialogues dataset and achieve high performance in empathetic response generation. Specifically, our model achieved a low perplexity value of 17.0 and an increase in 5 BLEU points compared to the previous state-of-the-art model. Also, our proposed model was rated highly by 85 human evaluators, validating its high capability in exhibiting empathy while generating relevant and fluent responses in open-domain settings.


title: Feedback Refined Local-Global Network for Super-Resolution of Hyperspectral Imagery

abstract: With the development of deep learning technology, multi-spectral image super-resolution methods based on convolutional neural network have recently achieved great progress. However, the single hyperspectral image super-resolution remains a challenging problem due to the high-dimensional and complex spectral characteristics of hyperspectral data, which make it difficult to simultaneously capture spatial and spectral information. To deal with this issue, we propose a novel Feedback Refined Local-Global Network (FRLGN) for the super-resolution of hyperspectral image. To be specific, we develop a new Feedback Structure and a Local-Global Spectral Block to alleviate the difficulty in spatial and spectral feature extraction. The Feedback Structure can transfer the high-level information to guide the generation process of low-level feature, which is achieved by a recurrent structure with finite unfoldings. Furthermore, in order to effectively use the high-level information passed back, a Local-Global Spectral Block is constructed to handle the feedback connections. The Local-Global Spectral Block utilizes the feedback high-level information to correct the low-level feature from local spectral bands and generates powerful high-level representations among global spectral bands. By incorporating the Feedback Structure and Local-Global Spectral Block, the FRLGN can fully exploit spatial-spectral correlations among spectral bands and gradually reconstruct high-resolution hyperspectral images. The source code of FRLGN is available at https://github.com/tangzhenjie/FRLGN.


title: Convexity and robustness of the R\'{e}nyi entropy

abstract: We study convexity properties of R\'{e}nyi entropy as function of $\alpha>0$ on finite alphabets. We also describe robustness of the R\'{e}nyi entropy on finite alphabets, and it turns out that the rate of respective convergence depends on initial alphabet. We establish convergence of the disturbed entropy when the initial distribution is uniform but the number of events increases to $\infty$ and prove that limit of R\'{e}nyi entropy of binomial distribution is equal to R\'{e}nyi entropy of Poisson distribution.


title: DI2: prior-free and multi-item discretization ofbiomedical data and its applications

abstract: Motivation: A considerable number of data mining approaches for biomedical data analysis, including state-of-the-art associative models, require a form of data discretization. Although diverse discretization approaches have been proposed, they generally work under a strict set of statistical assumptions which are arguably insufficient to handle the diversity and heterogeneity of clinical and molecular variables within a given dataset. In addition, although an increasing number of symbolic approaches in bioinformatics are able to assign multiple items to values occurring near discretization boundaries for superior robustness, there are no reference principles on how to perform multi-item discretizations. Results: In this study, an unsupervised discretization method, DI2, for variables with arbitrarily skewed distributions is proposed. DI2 provides robust guarantees of generalization by placing data corrections using the Kolmogorov-Smirnov test before statistically fitting distribution candidates. DI2 further supports multi-item assignments. Results gathered from biomedical data show its relevance to improve classic discretization choices. Software: available at https://github.com/JupitersMight/DI2


title: IRON: Invariant-based Highly Robust Point Cloud Registration

abstract: In this paper, we present IRON (Invariant-based global Robust estimation and OptimizatioN), a non-minimal and highly robust solution for point cloud registration with a great number of outliers among the correspondences. To realize this, we decouple the registration problem into the estimation of scale, rotation and translation, respectively. Our first contribution is to propose RANSIC (RANdom Samples with Invariant Compatibility), which employs the invariant compatibility to seek inliers from random samples and robustly estimates the scale between two sets of point clouds in the meantime. Once the scale is estimated, our second contribution is to relax the non-convex global registration problem into a convex Semi-Definite Program (SDP) in a certifiable way using Sum-of-Squares (SOS) Relaxation and show that the relaxation is tight. For robust estimation, we further propose RT-GNC (Rough Trimming and Graduated Non-Convexity), a global outlier rejection heuristic having better robustness and time-efficiency than traditional GNC, as our third contribution. With these contributions, we can render our registration algorithm, IRON. Through experiments over real datasets, we show that IRON is efficient, highly accurate and robust against as many as 99% outliers whether the scale is known or unknown, outperforming the existing state-of-the-art algorithms.


title: Cesaro summation by spheres of lattice sums and Madelung constants

abstract: We study convergence of 3D lattice sums via expanding spheres. It is well-known that, in contrast to summation via expanding cubes, the expanding spheres method may lead to formally divergent series (this will be so e.g. for the classical NaCl-Madelung constant). In the present paper we prove that these series remain convergent in Cesaro sense. For the case of second order Cesaro summation, we present an elementary proof of convergence and the proof for first order Cesaro summation is more involved and is based on the Riemann localization for multi-dimensional Fourier series.


title: Zero sum cycles in complete digraphs

abstract: Given a non-trivial finite Abelian group $(A,+)$, let $n(A) \ge 2$ be the smallest integer such that for every labelling of the arcs of the bidirected complete graph of order $n(A)$ with elements from $A$ there exists a directed cycle for which the sum of the arc-labels is zero. The problem of determining $n(\mathbb{Z}_q)$ for integers $q \ge 2$ was recently considered by Alon and Krivelevich, who proved that $n(\mathbb{Z}_q)=O(q \log q)$. Here we improve their bound and show that $n(\mathbb{Z}_q)$ grows linearly. More generally we prove that for every finite Abelian group $A$ we have $n(A) \le 8|A|$, while if $|A|$ is prime then $n(A) \le \frac{3}{2}|A|$. As a corollary we also obtain that every $K_{16q}$-minor contains a cycle of length divisible by $q$ for every integer $q \ge 2$, which improves a result by Alon and Krivelevich.


title: Fully filling-controlled pyrochlore ruthenates: emergent ferromagnetic-metal state and geometrical Hall effect

abstract: Carrier doping to the Mott insulator is essential to produce highly correlated metals with emergent properties. Pyrochlore ruthenates, Pr$_{2}$Ru$_{2}$O$_{7}$ (Ru-$4d$ electron number, $n=4$) and Ca$_{2}$Ru$_{2}$O$_{7}$ ($n=3$), are a Mott insulator and a magnetic bad metal, respectively, due to the strong electron correlation. We investigate magneto-transport properties of (Pr$_{1-x}$Ca$_{x}$)$_{2}$Ru$_{2}$O$_{7}$ in a whole band-filling range, $0<x<1$. With increasing hole-doping $x$, the system undergoes an insulator-metal transition. When Ca$_{2}$Ru$_{2}$O$_{7}$ is doped with electrons ($0.5<x<0.9$), the enhanced coupling among Ru-$4d$ spins produces a ferromagnetic-metal phase with a large anomalous-Hall angle up to 2 %. We discuss the electronic phase transitions in (Pr$_{1-x}$Ca$_{x}$)$_{2}$Ru$_{2}$O$_{7}$ in view of Hund's metal.


title: Detection of bistable structures via the Conley index and applications to biological systems

abstract: Bistability is a ubiquitous phenomenon in life sciences. In this paper, two kinds of bistable structures in dynamical systems are studied: One is two one-point attractors, another is a one-point attractor accompanied by a cycle attractor. By the Conley index theory, we prove that there exist other isolated invariant sets besides the two attractors, and also obtain the possible components and their configuration. Moreover, we find that there is always a separatrix or cycle separatrix, which separates the two attractors. Finally, the biological meanings and implications of these structures are given and discussed.


title: Semianalyitcal synthesis scheme for multifunctional metasurfaces on demand

abstract: We propose a comprehensive field-based semianalytical method for designing fabrication-ready multifunctional periodic metasurfaces (MSs). Harnessing recent work on multielement metagratings based on capacitively-loaded strips, we have extended our previous meta-atom design formulation to generate realistic substrate-supported printed-circuit-board layouts for anomalous refraction MSs. Subsequently, we apply a greedy algorithm for iteratively optimizing individual scatterers across the entire macroperiod to achieve multiple design goals for corresponding multiple incidence angles with a single MS structure. As verified with commercial solvers, the proposed semianalytical scheme, properly accounting for near-field coupling between the various scatterers, can reliably produce highly efficient multifunctional MSs on demand, without requiring time-consuming full-wave optimization.


title: On the quotient of the homology cobordism group by Seifert spaces

abstract: We prove that the quotient of the integer homology cobordism group by the subgroup generated by the Seifert fibered spaces is infinitely generated.


title: Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review

abstract: Self-driving Autonomous Vehicles (SAVs) are gaining more interest each passing day by the industry as well as the general public. Tech and automobile companies are investing huge amounts of capital in research and development of SAVs to make sure they have a head start in the SAV market in the future. One of the major hurdles in the way of SAVs making it to the public roads is the lack of confidence of public in the safety aspect of SAVs. In order to assure safety and provide confidence to the public in the safety of SAVs, researchers around the world have used coverage-based testing for Verification and Validation (V&V) and safety assurance of SAVs. The objective of this paper is to investigate the coverage criteria proposed and coverage maximizing techniques used by researchers in the last decade up till now, to assure safety of SAVs. We conduct a Systematic Literature Review (SLR) for this investigation in our paper. We present a classification of existing research based on the coverage criteria used. Several research gaps and research directions are also provided in this SLR to enable further research in this domain. This paper provides a body of knowledge in the domain of safety assurance of SAVs. We believe the results of this SLR will be helpful in the progression of V&V and safety assurance of SAVs.


abstract: Thermodynamics of $z=4$ Ho\v{r}ava-Lifshitz black holes in 3+1 dimensions is studied in extended phase space. By using the scaling argument we find the Smarr relation and the first law for the black hole solutions of $z=4$ Ho\v{r}ava-Lifshitz gravity. We find that it is necessary to take into account the variation of dimensionful parameters of the theory in the first law. We find that the reverse isoperimetric inequality can be violated for spherical, flat, and hyperbolic horizons and in all such cases we have black holes for which the specific heat at constant pressure and volume are positive. This provides a counterexample to a recent conjecture stating that black holes violating the reverse isoperimetric inequality are thermodynamically unstable. We find for $z=4$ Ho\v{r}ava-Lifshitz black holes with hyperbolic horizons that there are two critical points: one showing Van der Waals behavior, the other reverse Van der Waals behavior.


title: The SPHERE infrared survey for exoplanets (SHINE)- I Sample definition and target characterization

abstract: Large surveys with new-generation high-contrast imaging instruments are needed to derive the frequency and properties of exoplanet populations with separations from $\sim$5 to 300 AU. A careful assessment of the stellar properties is crucial for a proper understanding of when, where, and how frequently planets form, and how they evolve. The sensitivity of detection limits to stellar age makes this a key parameter for direct imaging surveys. We describe the SpHere INfrared survey for Exoplanets (SHINE), the largest direct imaging planet-search campaign initiated at the VLT in 2015 in the context of the SPHERE Guaranteed Time Observations of the SPHERE consortium. In this first paper we present the selection and the properties of the complete sample of stars surveyed with SHINE, focusing on the targets observed during the first phase of the survey (from February 2015 to February 2017). This early sample composed of 150 stars is used to perform a preliminary statistical analysis of the SHINE data, deferred to two companion papers presenting the survey performance, main discoveries, and the preliminary statistical constraints set by SHINE. Based on a large database collecting the stellar properties of all young nearby stars in the solar vicinity (including kinematics, membership to moving groups, isochrones, lithium abundance, rotation, and activity), we selected the original sample of 800 stars that were ranked in order of priority according to their sensitivity for planet detection in direct imaging with SPHERE. The properties of the stars that are part of the early statistical sample were revisited, including for instance measurements from the GAIA Data Release 2.


title: Adaptive Detection of Dim Maneuvering Targets in Adjacent Range Cells

abstract: This letter addresses the detection problem of dim maneuvering targets in the presence of range cell migration. Specifically, it is assumed that the moving target can appear in more than one range cell within the transmitted pulse train. Then, the Bayesian information criterion and the generalized likelihood ratio test design procedure are jointly exploited to come up with six adaptive decision schemes capable of estimating the range indices related to the target migration. The computational complexity of the proposed detectors is also studied and suitably reduced. Simulation results show the effectiveness of the newly proposed solutions also for a limited set of training data and in comparison with suitable counterparts.


title: A H\"ormander-Mikhlin multiplier theory for free groups and amalgamated free products of von Neumann algebras

abstract: We establish a platform to transfer $L_p$-completely bounded maps on tensor products of von Neumann algebras to $L_p$-completely bounded maps on the corresponding amalgamated free products. As a consequence, we obtain a H\"ormander-Mikhlin multiplier theory for free products of groups. Let $\mathbb{F}_\infty$ be a free group on infinite generators $\{g_1, g_2,\cdots\}$. Given $d\ge1$ and a bounded symbol $m$ on $\mathbb{Z}^d$ satisfying the classical H\"ormander-Mikhlin condition, the linear map $M_m:\mathbb{C}[\mathbb{F}_\infty]\to \mathbb{C}[\mathbb{F}_\infty]$ defined by $\lambda(g)\mapsto m(k_1,\cdots, k_d)\lambda(g)$ for $g=g_{i_1}^{k_1}\cdots g_{i_n}^{k_n}\in\mathbb{F}_\infty$ in reduced form (with $k_l=0$ in $m(k_1,\cdots, k_d)$ for $l>n$), extends to a complete bounded map on $L_p(\widehat{\mathbb{F}}_\infty)$ for all $1<p<\infty$, where $\widehat{\mathbb{F}}_\infty$ is the group von Neumann algebra of $\mathbb{F}_\infty$. A similar result holds for any free product of discrete groups.


title: Revisiting the shadow of braneworld black holes

abstract: We revisit the shadows of rotating braneworld black holes in the Randall-Sundrum type II model, by considering not only the metric in the near region of the black hole but also the linearized metric in the far region where the observer stays. Our study is significantly different from previous studies, which relies only on the metric in the near region. From the study, we identify a critical angle $\theta_c$ which decides the shadow curve is open or closed: the shadow curve would be open if the observational angle $\theta_c<\theta_o\le\pi/2$, and the curve becomes closed when $0<\theta_o\le\theta_c$. We study how various parameters affect the shape of the shadow curve. We furthermore apply our analysis to the data of M87* from the Event Horizon Telescope and obtain a new constraint on the parameters of the braneworld black holes.


title: Differential substitutions for non-Abelian equations of KdV type

abstract: We construct non-Abelian analogs for some KdV type equations, including the (rational form of) exponential Calogero--Degasperis equation and generalizations of the Schwarzian KdV equation. Equations and differential substitutions under study contain arbitrary non-Abelian parameters.


title: Semigroups of composition operators and Integral operators in BMOA-type spaces

abstract: The aim of this article is to study semigroups of composition operators on the BMOA-type spaces $BMOA_p$, and on their "little oh" analogues $VMOA_p$. The spaces $BMOA_p$ were introduced by R. Zhao as part of the large family of F(p,q,s) spaces, and are the M\"{o}bius invariant subspaces of the Dirichlet spaces $D^p_{p-1}$. We study the maximal subspace of strong continuity, providing a sufficient condition on the infinitesimal generator of ${\phi}$, under which $[{\phi}_t,BMOA_p]=VMOA_p$, and a related necessary condition in the case where the Denjoy - Wolff point of the semigroup is in $\mathbb{D}$. Further, we characterize those semigroups, for which $[{\phi}_t, BMOA_p]=VMOA_p$, in terms of the resolvent operator of the infinitesimal generator of $T_t$. In addition we provide a connection between the maximal subspace of strong continuity and the Volterra-type operators $T_g$. We characterize the symbols g for which $T_g$ acting from $BMOA$ to $BMOA_1$ is bounded or compact, thus extending a related result to the case $p=1$. We also prove that for $1<p<2$ compactness of $T_g$ on $BMOA_p$ is equivalent to weak compactness.


title: Uncertainty Principles in Krein Space

abstract: Uncertainty relations between two general non-commuting self-adjoint operators are derived in a Krein space. All of these relations involve a Krein space induced fundamental symmetry operator, $J$, while some of these generalized relations involve an anti-commutator, a commutator, and various other nonlinear functions of the two operators in question. As a consequence there exist classes of non-self-adjoint operators on Hilbert spaces such that the non-vanishing of their commutator implies an uncertainty relation. All relations include the classical Heisenberg uncertainty principle as formulated in Hilbert Space by Von Neumann and others. In addition, we derive an operator dependent (nonlinear) commutator uncertainty relation in Krein space.


title: From non-equilibrium Green's functions to quantum master equations for the density matrix and out-of-time-order correlators: steady state and adiabatic dynamics

abstract: We consider a finite quantum system under slow driving and weakly coupled to thermal reservoirs at different temperatures. We present a systematic derivation of the quantum master equation for the density matrix and the out-of-time-order correlators. We start from the microscopic Hamiltonian and we formulate the equations ruling the dynamics of these quantities by recourse to the Schwinger-Keldysh non-equilibrium Green's function formalism, performing a perturbative expansion in the coupling between the system and the reservoirs. We focus on the adiabatic dynamics, which corresponds to considering the linear response in the ratio between the relaxation time due to the system-reservoir coupling and the time scale associated to the driving. We calculate the particle and energy fluxes. We illustrate the formalism in the case of a qutrit coupled to bosonic reservoirs and of a pair of interacting quantum dots attached to fermionic reservoirs, also discussing the relevance of coherent effects.


title: Learning When to Quit: Meta-Reasoning for Motion Planning

abstract: Anytime motion planners are widely used in robotics. However, the relationship between their solution quality and computation time is not well understood, and thus, determining when to quit planning and start execution is unclear. In this paper, we address the problem of deciding when to stop deliberation under bounded computational capacity, so called meta-reasoning, for anytime motion planning. We propose data-driven learning methods, model-based and model-free meta-reasoning, that are applicable to different environment distributions and agnostic to the choice of anytime motion planners. As a part of the framework, we design a convolutional neural network-based optimal solution predictor that predicts the optimal path length from a given 2D workspace image. We empirically evaluate the performance of the proposed methods in simulation in comparison with baselines.


title: Optimizing Expected Shortfall under an $\ell_1$ constraint -- an analytic approach

abstract: Expected Shortfall (ES), the average loss above a high quantile, is the current financial regulatory market risk measure. Its estimation and optimization are highly unstable against sample fluctuations and become impossible above a critical ratio $r=N/T$, where $N$ is the number of different assets in the portfolio, and $T$ is the length of the available time series. The critical ratio depends on the confidence level $\alpha$, which means we have a line of critical points on the $\alpha-r$ plane. The large fluctuations in the estimation of ES can be attenuated by the application of regularizers. In this paper, we calculate ES analytically under an $\ell_1$ regularizer by the method of replicas borrowed from the statistical physics of random systems. The ban on short selling, i.e. a constraint rendering all the portfolio weights non-negative, is a special case of an asymmetric $\ell_1$ regularizer. Results are presented for the out-of-sample and the in-sample estimator of the regularized ES, the estimation error, the distribution of the optimal portfolio weights and the density of the assets eliminated from the portfolio by the regularizer. It is shown that the no-short constraint acts as a high volatility cutoff, in the sense that it sets the weights of the high volatility elements to zero with higher probability than those of the low volatility items. This cutoff renormalizes the aspect ratio $r=N/T$, thereby extending the range of the feasibility of optimization. We find that there is a nontrivial mapping between the regularized and unregularized problems, corresponding to a renormalization of the order parameters.


title: Analyzing the Spatiotemporal Interaction and Propagation of ATN Biomarkers in Alzheimer's Disease using Longitudinal Neuroimaging Data

abstract: Three major biomarkers: beta-amyloid (A), pathologic tau (T), and neurodegeneration (N), are recognized as valid proxies for neuropathologic changes of Alzheimer's disease. While there are extensive studies on cerebrospinal fluids biomarkers (amyloid, tau), the spatial propagation pattern across brain is missing and their interactive mechanisms with neurodegeneration are still unclear. To this end, we aim to analyze the spatiotemporal associations between ATN biomarkers using large-scale neuroimaging data. We first investigate the temporal appearances of amyloid plaques, tau tangles, and neuronal loss by modeling the longitudinal transition trajectories. Second, we propose linear mixed-effects models to quantify the pathological interactions and propagation of ATN biomarkers at each brain region. Our analysis of the current data shows that there exists a temporal latency in the build-up of amyloid to the onset of tau pathology and neurodegeneration. The propagation pattern of amyloid can be characterized by its diffusion along the topological brain network. Our models provide sufficient evidence that the progression of pathological tau and neurodegeneration share a strong regional association, which is different from amyloid.


title: Using Z boson events to study parton-medium interactions in PbPb collisions

abstract: The spectra measurements of charged hadrons produced in the shower of a parton originating in the same hard scattering with a leptonically decaying Z boson, are reported in lead-lead (PbPb) and proton-proton (pp) collisions at a nucleon-nucleon center-of-mass energy of 5.02 TeV. Both PbPb and pp data sets are recorded by the CMS experiment at the LHC, and correspond to an integrated luminosity of 1.7 nb$^{-1}$ and 320 pb$^{-1}$, respectively. Hadronic collision data with one reconstructed Z boson candidate with the transverse momentum $p_\mathrm{T}$ $\gt$ 30 GeV/$c$ are analyzed. The Z boson constrains the initial energy and direction of the associated parton. In heavy ion events, azimuthal angular distributions of charged hadrons with respect to the direction of a Z boson are sensitive to modifications of the in-medium parton shower and medium response. Compared to reference data from pp interactions, the results for central PbPb collisions indicate a modification of the angular correlations. The measurements of the fragmentation functions and $p_\mathrm{T}$ spectra of charged particles in Z boson events, which are sensitive to medium modifications of the parton shower longitudinal structure, are also reported. Significant modifications in central PbPb events compared to pp reference data are also found for these observables.


title: Branching Formula for $q$-Toda Function of Type B

abstract: We present a proof of the explicit formula for the asymptotically free eigenfunctions of the $B_N$ $q$-Toda operator which was conjectured by the first and third authors. This formula can be regarded as a branching formula from the $B_N$ $q$-Toda eigenfunction restricted to the $A_{N-1}$ $q$-Toda eigenfunctions. The proof is given by a contigulation relation of the $A_{N-1}$ Toda eigenfunctions and a recursion relation of the branching coefficients.


title: Repurposing GANs for One-shot Semantic Part Segmentation

abstract: While GANs have shown success in realistic image generation, the idea of using GANs for other tasks unrelated to synthesis is underexplored. Do GANs learn meaningful structural parts of objects during their attempt to reproduce those objects? In this work, we test this hypothesis and propose a simple and effective approach based on GANs for semantic part segmentation that requires as few as one label example along with an unlabeled dataset. Our key idea is to leverage a trained GAN to extract pixel-wise representation from the input image and use it as feature vectors for a segmentation network. Our experiments demonstrate that GANs representation is "readily discriminative" and produces surprisingly good results that are comparable to those from supervised baselines trained with significantly more labels. We believe this novel repurposing of GANs underlies a new class of unsupervised representation learning that is applicable to many other tasks. More results are available at https://repurposegans.github.io/.


title: A Full Body Avatar-Based Telepresence System for Dissimilar Spaces

abstract: We present a novel mixed reality (MR) telepresence system enabling a local user to interact with a remote user through full-body avatars in their own rooms. If the remote rooms have different sizes and furniture arrangements, directly applying a user's motion to an avatar leads to a mismatch of placement and deictic gesture. To overcome this problem, we retarget the placement, arm gesture, and head movement of a local user to an avatar in a remote room to preserve a local user's environment and interaction context. This allows avatars to utilize real furniture and interact with a local user and shared objects as if they were in the same room. This paper describes our system's design and implementation in detail and a set of example scenarios in the living room and office room. A qualitative user study delves into a user experience, challenges, and possible extensions of the proposed system.


title: Prospects for the detection of the prompt very-high-energy emission from $\rm\gamma$-ray bursts with the High Altitude Detection of Astronomical Radiation experiment

abstract: The observation of very-high-energy (VHE, $\rm >10~GeV$) $\gamma$-ray emission from $\rm \gamma$-ray bursts (GRBs), especially in the prompt phase, will provide critical information for understanding many aspects of their nature including the physical environment, the relativistic bulk motion, the mechanisms of particle acceleration of GRBs and for studying Lorentz invariance violation, etc. For the afterglow phase, the highest energy photons detected to date by the imaging atmospheric Cherenkov telescopes extend to the TeV regime. However, for the prompt phase, years of efforts in searching for the VHE emission has yielded no statistically significant detections. A wide field-of-view (FOV) and large effective area above tens of GeV are essential for detecting the VHE emissions from GRBs in the prompt phase. The High Altitude Detection of Astronomical Radiation (HADAR) experiment has such merits. In this paper, we report the estimates of its expected annual GRB detection rate, which are obtained by combining the performance of the HADAR instrument with the theoretical calculations based on a phenomenological model to generate the pseudo-GRB population. The expected detectable gamma-ray signal from GRBs above the background is then obtained to give the detection rate. In the spectral model, an extra component is assigned to every GRB event in addition to the Band function. The results indicate that if the energy of the cutoff due to internal absorption is higher than 50 GeV, the detection rate for GRBs for the HADAR experiment is approximately two or three GRBs per year, which varies slightly depending upon the characteristics of the extra component.


title: Very thin (111) NiO epitaxial films grown on c-sapphire substrates by pulsed laser deposition technique

abstract: (111)NiO epitaxial layers are grown on c-sapphire substrates by pulsed laser deposition (PLD) technique. Structural and morphological properties of the films are studied using in-plane as well as out-of-plane high resolution X-ray diffraction and atomic force microscopy techniques as functions of growth temperature, oxygen pressure and the pulses count of the laser. The study shows that continuous epitaxial films of thickness as low as 3 nm with high crystalline quality, smooth surface and interface morphology can be grown by this technique. The study also reveals the co-existence of 60{\deg}-rotated (111) triangular domains of NiO in the film. The study also evidences the presence of a very low density of 60-degree dislocations in these films. Density of screw and edge dislocations are also estimated to be quite low. It has been found that growth-temperature, oxygen partial pressure and the film thickness can influence differently the density of various dislocation types. These parameters are also found to affect significantly the strain developed in the films.


title: Master equation approach to the stochastic accumulation dynamics of bacterial cell cycle

abstract: The mechanism of bacterial cell size control has been a mystery for decades, which involves the well-coordinated growth and division in the cell cycle. The revolutionary modern techniques of microfluidics and the advanced live imaging analysis techniques allow long term observations and high-throughput analysis of bacterial growth on single cell level, promoting a new wave of quantitative investigations on this puzzle. Taking the opportunity, this theoretical study aims to clarify the stochastic nature of bacterial cell size control under the assumption of the accumulation mechanism, which is favoured by recent experiments on species of bacteria. Via the master equation approach with properly chosen boundary conditions, the distributions concerned in cell size control are estimated and are confirmed by experiments. In this analysis, the inter-generation Green's function is analytically evaluated as the key to bridge two kinds of statistics used in batch-culture and mother machine experiments. This framework allows us to quantify the noise level in growth and accumulation according to experimental data. As a consequence of non-Gaussian noises of the added sizes, the non-equilibrium nature of bacterial cell size homeostasis is predicted, of which the biological meaning requires further investigation.


title: Automatic Flare Spot Artifact Detection and Removal in Photographs

abstract: Flare spot is one type of flare artifact caused by a number of conditions, frequently provoked by one or more high-luminance sources within or close to the camera field of view. When light rays coming from a high-luminance source reach the front element of a camera, it can produce intra-reflections within camera elements that emerge at the film plane forming non-image information or flare on the captured image. Even though preventive mechanisms are used, artifacts can appear. In this paper, we propose a robust computational method to automatically detect and remove flare spot artifacts. Our contribution is threefold: firstly, we propose a characterization which is based on intrinsic properties that a flare spot is likely to satisfy; secondly, we define a new confidence measure able to select flare spots among the candidates; and, finally, a method to accurately determine the flare region is given. Then, the detected artifacts are removed by using exemplar-based inpainting. We show that our algorithm achieve top-tier quantitative and qualitative performance.


title: Classification of minimal ${\mathbb Z}_2\times{\mathbb Z}_2$-graded Lie (super)algebras and some applications

abstract: This paper presents the classification, over the fields of real and complex numbers, of the minimal ${\mathbb Z}_2\times{\mathbb Z}_2$-graded Lie algebras and Lie superalgebras spanned by $4$ generators and with no empty graded sector. The inequivalent graded Lie (super)algebras are obtained by solving the constraints imposed by the respective graded Jacobi identities. A motivation for this mathematical result is to systematically investigate the properties of dynamical systems invariant under graded (super)algebras. Recent works only paid attention to the special case of the one-dimensional ${\mathbb Z}_2\times{\mathbb Z}_2$-graded Poincar\'e superalgebra. As applications, we are able to extend certain constructions originally introduced for this special superalgebra to other listed ${\mathbb Z}_2\times{\mathbb Z}_2$-graded (super)algebras. We mention, in particular, the notion of ${\mathbb Z_2}\times{\mathbb Z}_2$-graded superspace and of invariant dynamical systems (both classical worldline sigma models and quantum Hamiltonians). As a further byproduct we point out that, contrary to ${\mathbb Z}_2\times{\mathbb Z}_2$-graded superalgebras, a theory invariant under a ${\mathbb Z}_2\times{\mathbb Z}_2$-graded algebra implies the presence of ordinary bosons and three different types of exotic bosons, with exotic bosons of different types anticommuting among themselves.


title: Automatic Difficulty Classification of Arabic Sentences

abstract: In this paper, we present a Modern Standard Arabic (MSA) Sentence difficulty classifier, which predicts the difficulty of sentences for language learners using either the CEFR proficiency levels or the binary classification as simple or complex. We compare the use of sentence embeddings of different kinds (fastText, mBERT , XLM-R and Arabic-BERT), as well as traditional language features such as POS tags, dependency trees, readability scores and frequency lists for language learners. Our best results have been achieved using fined-tuned Arabic-BERT. The accuracy of our 3-way CEFR classification is F-1 of 0.80 and 0.75 for Arabic-Bert and XLM-R classification respectively and 0.71 Spearman correlation for regression. Our binary difficulty classifier reaches F-1 0.94 and F-1 0.98 for sentence-pair semantic similarity classifier.


title: CORe: Capitalizing On Rewards in Bandit Exploration

abstract: We propose a bandit algorithm that explores purely by randomizing its past observations. In particular, the sufficient optimism in the mean reward estimates is achieved by exploiting the variance in the past observed rewards. We name the algorithm Capitalizing On Rewards (CORe). The algorithm is general and can be easily applied to different bandit settings. The main benefit of CORe is that its exploration is fully data-dependent. It does not rely on any external noise and adapts to different problems without parameter tuning. We derive a $\tilde O(d\sqrt{n\log K})$ gap-free bound on the $n$-round regret of CORe in a stochastic linear bandit, where $d$ is the number of features and $K$ is the number of arms. Extensive empirical evaluation on multiple synthetic and real-world problems demonstrates the effectiveness of CORe.


title: Growing a Test Corpus with Bonsai Fuzzing

abstract: This paper presents a coverage-guided grammar-based fuzzing technique for automatically generating a corpus of concise test inputs for programs such as compilers. We walk-through a case study of a compiler designed for education and the corresponding problem of generating meaningful test cases to provide to students. The prior state-of-the-art solution is a combination of fuzzing and test-case reduction techniques such as variants of delta-debugging. Our key insight is that instead of attempting to minimize convoluted fuzzer-generated test inputs, we can instead grow concise test inputs by construction using a form of iterative deepening. We call this approach Bonsai Fuzzing. Experimental results show that Bonsai Fuzzing can generate test corpora having inputs that are 16--45% smaller in size on average as compared to a fuzz-then-reduce approach, while achieving approximately the same code coverage and fault-detection capability.


title: Differential Subordination implications for Certain Carath\'{e}odory functions

abstract: In this article, we wish to establish some first order differential subordination relations for certain Carath\'{e}odory functions with nice geometrical properties. Moreover, several implications are determined so that the normalized analytic function belongs to various subclasses of starlike functions.


title: RevDet: Robust and Memory Efficient Event Detection and Tracking in Large News Feeds

abstract: With the ever-growing volume of online news feeds, event-based organization of news articles has many practical applications including better information navigation and the ability to view and analyze events as they develop. Automatically tracking the evolution of events in large news corpora still remains a challenging task, and the existing techniques for Event Detection and Tracking do not place a particular focus on tracking events in very large and constantly updating news feeds. Here, we propose a new method for robust and efficient event detection and tracking, which we call RevDet algorithm. RevDet adopts an iterative clustering approach for tracking events. Even though many events continue to develop for many days or even months, RevDet is able to detect and track those events while utilizing only a constant amount of space on main memory. We also devise a redundancy removal strategy which effectively eliminates duplicate news articles and substantially reduces the size of data. We construct a large, comprehensive new ground truth dataset specifically for event detection and tracking approaches by augmenting two existing datasets: w2e and GDELT. We implement RevDet algorithm and evaluate its performance on the ground truth event chains. We discover that our algorithm is able to accurately recover event chains in the ground-truth dataset. We also compare the memory efficiency of our algorithm with the standard single pass clustering approach, and demonstrate the appropriateness of our algorithm for event detection and tracking task in large news feeds.


title: Robopheus: A Virtual-Physical Interactive Mobile Robotic Testbed

abstract: The mobile robotic testbed is an essential and critical support to verify the effectiveness of mobile robotics research. This paper introduces a novel multi-robot testbed, named Robopheus, which exploits the ideas of virtual-physical modeling in digital-twin. Unlike most existing testbeds, the developed Robopheus constructs a bridge that connects the traditional physical hardware and virtual simulation testbeds, providing scalable, interactive, and high-fidelity simulations-tests on both sides. Another salient feature of the Robopheus is that it enables a new form to learn the actual models from the physical environment dynamically and is compatible with heterogeneous robot chassis and controllers. In turn, the virtual world's learned models are further leveraged to approximate the robot dynamics online on the physical side. Extensive experiments demonstrate the extraordinary performance of the Robopheus. Significantly, the physical-virtual interaction design increases the trajectory accuracy of a real robot by 300%, compared with that of not using the interaction.


title: A Retrospective Approximation Approach for Smooth Stochastic Optimization

abstract: Stochastic Gradient (SG) is the defacto iterative technique to solve stochastic optimization (SO) problems with a smooth (non-convex) objective $f$ and a stochastic first-order oracle. SG's attractiveness is due in part to its simplicity of executing a single step along the negative subsampled gradient direction to update the incumbent iterate. In this paper, we question SG's choice of executing a single step as opposed to multiple steps between subsample updates. Our investigation leads naturally to generalizing SG into Retrospective Approximation (RA) where, during each iteration, a "deterministic solver" executes possibly multiple steps on a subsampled deterministic problem and stops when further solving is deemed unnecessary from the standpoint of statistical efficiency. RA thus rigorizes what is appealing for implementation -- during each iteration, "plug in" a solver, e.g., L-BFGS line search or Newton-CG, as is, and solve only to the extent necessary. We develop a complete theory using relative error of the observed gradients as the principal object, demonstrating that almost sure and $L_1$ consistency of RA are preserved under especially weak conditions when sample sizes are increased at appropriate rates. We also characterize the iteration and oracle complexity (for linear and sub-linear solvers) of RA, and identify a practical termination criterion leading to optimal complexity rates. To subsume non-convex $f$, we present a certain "random central limit theorem" that incorporates the effect of curvature across all first-order critical points, demonstrating that the asymptotic behavior is described by a certain mixture of normals. The message from our numerical experiments is that the ability of RA to incorporate existing second-order deterministic solvers in a strategic manner might be important from the standpoint of dispensing with hyper-parameter tuning.


title: A note on the hit problem for the Steenrod algebra and its applications

abstract: Let $P_{k}=H^{*}((\mathbb{R}P^{\infty})^{k})$ be the modulo-$2$ cohomology algebra of the direct product of $k$ copies of infinite dimensional real projective spaces $\mathbb{R}P^{\infty}$. Then, $P_{k}$ is isomorphic to the graded polynomial algebra $\mathbb{F}_{2}[x_{1},\ldots,x_{k}]$ of $k$ variables, in which each $x_{j}$ is of degree 1, and let $GL_k$ be the general linear group over the prime field $\mathbb{F}_2$ which acts naturally on $P_k$. Here the cohomology is taken with coefficients in the prime field $\mathbb F_2$ of two elements. We study the {\it hit problem}, set up by Frank Peterson, of finding a minimal set of generators for the polynomial algebra $P_k$ as a module over the mod-2 Steenrod algebra, $\mathcal{A}$. In this Note, we explicitly compute the hit problem for $k = 5$ and the degree $5(2^s-1)+24.2^s$ with $s$ an arbitrary non-negative integer. These results are used to study the Singer algebraic transfer which is a homomorphism from the homology of the mod-$2$ Steenrod algebra, $\mbox{Tor}^{\mathcal{A}}_{k, k+n}(\mathbb{F}_2, \mathbb{F}_2),$ to the subspace of $\mathbb{F}_2\otimes_{\mathcal{A}}P_k$ consisting of all the $GL_k$-invariant classes of degree $n.$ We show that Singer's conjecture for the algebraic transfer is true in the case $k=5$ and the above degrees. This method is different from that of Singer in studying the image of the algebraic transfer. Moreover, as a consequence, we get the dimension results for polynomial algebra in some generic degrees in the case $k=6.$


title: LQG control over unreliable channels-Full Proof

abstract: In this paper LQG control over unreliable communication links is derived. That is to say, the communication channels between the controller and the actuators and between the sensors and the controller are unreliable. Previous solutions to finite horizon discrete time hold-input LQG control for this case do not fully utilize the available information. Here a new solution is presented which resolves this limitation. The focus is to derive and present a full mathematical proof to derive the optimal control sequence.


title: Terahertz Devices Using the Optical Activation of GeTe Phase Change Materials: Towards Fully Reconfigurable Functionalities

abstract: We are demonstrating the optical control of a specific state of the germanium telluride (GeTe) phase change material and its integration as control element for realizing extremely efficient optically reconfigurable THz devices. The excellent contrast of the material THz electrical properties in the two dissimilar states were used for optical-induced fast modulation of THz resonances of a hybrid metamaterial based of arrays of split ring resonator metallic structures integrating GeTe patterns. We experimentally confirm for the first time the feasibility to develop all dielectric (metal free) GeTe-based THz polarizers presenting a broadband response, a high extinction ratio when the GeTe is in the metal-like phase (up to 16.5 dB) and almost transparent when the material is in the amorphous phase. The presented highly functional approach based on non-volatile, optically controlled multi-operational THz devices integrating PCMs, is extremely stimulating for generating disruptive developments like field-programmable metasurfaces or all-dielectric coding metamaterials with multifunctional capabilities for THz waves manipulation.