title: Keywords Guided Method Name Generation

abstract: High quality method names are descriptive and readable, which are helpful for code development and maintenance. The majority of recent research suggest method names based on the text summarization approach. They take the token sequence and abstract syntax tree of the source code as input, and generate method names through a powerful neural network based model. However, the tokens composing the method name are closely related to the entity name within its method implementation. Actually, high proportions of the tokens in method name can be found in its corresponding method implementation, which makes it possible for incorporating these common shared token information to improve the performance of method naming task. Inspired by this key observation, we propose a two-stage keywords guided method name generation approach to suggest method names. Specifically, we decompose the method naming task into two subtasks, including keywords extraction task and method name generation task. For the keywords extraction task, we apply a graph neural network based model to extract the keywords from source code. For the method name generation task, we utilize the extracted keywords to guide the method name generation model. We apply a dual selective gate in encoder to control the information flow, and a dual attention mechanism in decoder to combine the semantics of input code sequence and keywords. Experiment results on an open source dataset demonstrate that keywords guidance can facilitate method naming task, which enables our model to outperform the competitive state-of-the-art models by margins of 1.5\%-3.5\% in ROUGE metrics. Especially when programs share one common token with method names, our approach improves the absolute ROUGE-1 score by 7.8\%.


title: Adaptive Feature Fusion Network for Gaze Tracking in Mobile Tablets

abstract: Recently, many multi-stream gaze estimation methods have been proposed. They estimate gaze from eye and face appearances and achieve reasonable accuracy. However, most of the methods simply concatenate the features extracted from eye and face appearance. The feature fusion process has been ignored. In this paper, we propose a novel Adaptive Feature Fusion Network (AFF-Net), which performs gaze tracking task in mobile tablets. We stack two-eye feature maps and utilize Squeeze-and-Excitation layers to adaptively fuse two-eye features according to their similarity on appearance. Meanwhile, we also propose Adaptive Group Normalization to recalibrate eye features with the guidance of facial feature. Extensive experiments on both GazeCapture and MPIIFaceGaze datasets demonstrate consistently superior performance of the proposed method.


title: Surface states and related quantum interference in \textit{ab initio} electron transport

abstract: Shockley surface states (SS) have attracted much attention due to their role in various physical phenomena occurring at surfaces. It is also clear from experiments that they can play an important role in electron transport. However, accurate incorporation of surface states in $\textit{ab initio}$ quantum transport simulations remains still an unresolved problem. Here we go beyond the state-of-the-art non-equilibrium Green's function formalism through the evaluation of the self-energy in real-space, enabling electron transport without using artificial periodic in-plane conditions. We demonstrate the method on three representative examples based on Au(111): a clean surface, a metallic nanocontact, and a single-molecule junction. We show that SS can contribute more than 30\% of the electron transport near the Fermi energy. A significant and robust transmission drop is observed at the SS band edge due to quantum interference in both metallic and molecular junctions, in good agreement with experimental measurements. The origin of this interference phenomenon is attributed to the coupling between bulk and SS transport channels and it is reproduced and understood by tight-binding model. Furthermore, our method predicts much better quantized conductance for metallic nanocontacts.


title: Stability and superconductivity of K-Y-H hydrides under high pressure

abstract: It has been a hot issue to search for hydrides at high pressure with high superconducting transition temperature (Tc). In this work, ternary hydrogen-rich compounds KYHn (n = 1-16) were studied and calculated using the density function theory (DFT) method and he results showed that the KYH8 demonstrates good stability and superconductivity. And keep thermodynamically stable in the pressure range of 50-300 GPa. The research found that the Tc of KYH8-C2/m was predicted to be 111.3K, 122.0K, and 142.3K at 200, 250 and 300 GPa, respectively. Our current study provides a possibility for searching new high-Tc superconductors in ternary hydrides.


title: Model-based Learning Network for 3-D Localization in mmWave Communications

abstract: This study considers the joint location and velocity estimation of UE and scatterers in a three-dimensional mmWave CRAN architecture. Several existing works have achieved satisfactory results with neural networks (NNs) for localization. However, the black box NN localization method has limited performance and relies on a prohibitive amount of training data. Thus, we propose a model-based learning network for localization by combining NNs with geometric models. Specifically, we first develop an unbiased WLS estimator by utilizing hybrid delay/angular measurements, which determine the location and velocity of the UE in only one estimator, and can obtain the location and velocity of scatterers further. The proposed estimator can achieve the CRLB and outperforms state-of-the-art methods. Second, we establish a NN-assisted localization method (NN-WLS) by replacing the linear approximations in the proposed WLS localization model with NNs to learn higher-order error components, thereby enhancing the performance of the estimator. The solution possesses the powerful learning ability of the NN and the robustness of the proposed geometric model. Moreover, the ensemble learning is applied to improve the localization accuracy further. Comprehensive simulations show that the proposed NN-WLS is superior to the benchmark methods in terms of localization accuracy, robustness, and required time resources.


title: Force Sensing in Robot-assisted Keyhole Endoscopy: A Systematic Survey

abstract: Instrument-tissue interaction forces in Minimally Invasive Surgery (MIS) provide valuable information that can be used to provide haptic perception, monitor tissue trauma, develop training guidelines, and evaluate the skill level of novice and expert surgeons.Force and tactile sensing is lost in many Robot-Assisted Surgery (RAS) systems. Therefore, many researchers have focused on recovering this information through sensing systems and estimation algorithms. This article provides a comprehensive systematic review of the current force sensing research aimed at RAS and, more generally, keyhole endoscopy, in which instruments enter the body through small incisions. Articles published between January 2011 and May 2020 are considered, following the Preferred Reporting Items for Systematic reviews and Meta-Analyses (PRISMA) guidelines. The literature search resulted in 110 papers on different force estimation algorithms and sensing technologies, sensor design specifications, and fabrication techniques.


title: A note on sampling recovery of multivariate functions in the uniform norm

abstract: We study the recovery of multivariate functions from reproducing kernel Hilbert spaces in the uniform norm. Our main interest is to obtain preasymptotic estimates for the corresponding sampling numbers. We obtain results in terms of the decay of related singular numbers of the compact embedding into $L_2(D,\varrho_D)$ multiplied with the supremum of the Christoffel function of the subspace spanned by the first $m$ singular functions. Here the measure $\varrho_D$ is at our disposal. As an application we obtain near optimal upper bounds for the sampling numbers for periodic Sobolev type spaces with general smoothness weight. Those can be bounded in terms of the corresponding benchmark approximation number in the uniform norm, which allows for preasymptotic bounds. By applying a recently introduced sub-sampling technique related to Weaver's conjecture we mostly lose a $\sqrt{\log n}$ and sometimes even less. Finally we point out a relation to the corresponding Kolmogorov numbers.


title: Mining geometric constraints from crowd-sourced radio signals and its application to indoor positioning

abstract: Crowd-sourcing has become a promising way to build} a feature-based indoor positioning system that has lower labour and time costs. It can make full use of the widely deployed infrastructure as well as built-in sensors on mobile devices. One of the key challenges is to generate the reference feature map (RFM), a database used for localization, by {aligning crowd-sourced {trajectories according to associations embodied in the data. In order to facilitate the data fusion using crowd-sourced inertial sensors and radio signals, this paper proposes an approach to adaptively mining geometric information. This is the essential for generating spatial associations between trajectories when employing graph-based optimization methods. The core idea is to estimate the functional relationship to map the similarity/dissimilarity between radio signals to the physical space based on the relative positions obtained from inertial sensors and their associated radio signals. Namely, it is adaptable to different modalities of data and can be implemented in a self-supervised way. We verify the generality of the proposed approach through comprehensive experimental analysis: i) qualitatively comparing the estimation of geometric mapping models and the alignment of crowd-sourced trajectories; ii) quantitatively evaluating the positioning performance. The 68\% of the positioning error is less than 4.7 $\mathrm{m}$ using crowd-sourced RFM, which is on a par with manually collected RFM, in a multi-storey shopping mall, which covers more than 10, 000 $ \mathrm{m}^2 $.


title: Relaxation and correlation times of nonequilibrium multiparticle systems

abstract: Relaxation and correlation times are two parameters used frequently in approximate descriptions of the time development of hadronizing system from some initial state towards distributions observed experimentally. Chosen to reproduce the experimental results they represent, in a sense, the history of the hadronization process. The analysis of their changes with energy is the subject of our work.


title: Safe equilibrium and crack growth in inhomogeneous materials as a variational problem

abstract: The variational principle of safe equilibrium for inhomogeneous elastic cracked bodies is formulated. Using the standard calculus of variations, we show that the crack remains in safe equilibrium as long as the maximum energy reduction rate of the virtually growing crack is negative. The crack starts to grow in the direction of the maximum energy reduction rate when the latter becomes zero. This energetic criterion implies the criteria proposed by He and Hutchinson (1989). As an application we use this criterion to predict the growth direction of an interface crack in a bimaterial.


title: Probabilistic forecast reconciliation under the Gaussian framework

abstract: Forecast reconciliation of multivariate time series is the process of mapping a set of incoherent forecasts into coherent forecasts to satisfy a given set of linear constraints. Commonly used projection matrix based approaches for point forecast reconciliation are OLS (ordinary least squares), WLS (weighted least squares), and MinT (minimum trace). Even though point forecast reconciliation is a well-established field of research, the literature on generating probabilistic forecasts subject to linear constraints is somewhat limited. Available methods follow a two-step procedure. Firstly, it draws future sample paths from the univariate models fitted to each series in the collection (which are incoherent). Secondly, it uses a projection matrix based approach or empirical copula based reordering approach to account for contemporaneous correlations and linear constraints. The projection matrices are estimated either by optimizing a scoring rule such as energy or variogram score, or simply using a projection matrix derived for point forecast reconciliation. This paper proves that (a) if the incoherent predictive distribution is Gaussian then MinT minimizes the logarithmic scoring rule; and (b) the logarithmic score of MinT for each marginal predictive density is smaller than that of OLS. We show these theoretical results using a set of simulation studies. We also evaluate them using the Australian domestic tourism data set.


title: Properties of point forecast reconciliation approaches

abstract: Point forecast reconciliation of collection of time series with linear aggregation constraints has evolved substantially over the last decade. A few commonly used methods are GLS (generalized least squares), OLS (ordinary least squares), WLS (weighted least squares), and MinT (minimum trace). GLS and MinT have similar mathematical expressions, but they differ by the covariance matrix used. OLS and WLS can be considered as special cases of MinT where they differ by the assumptions made about the structure of the covariance matrix. All these methods ensure that the reconciled forecasts are unbiased, provided that the base forecasts are unbiased. The ERM (empirical risk minimizer) approach was proposed to relax the assumption of unbiasedness. This paper proves that (a) GLS and MinT reduce to the same solution; (b) on average, a method similar to ERM (which we refer to as MinT-U) can produce better forecasts than MinT (lowest total mean squared error) which is then followed by OLS and then by base; and (c) the mean squared error of each series in the structure for MinT-U is smaller than that for MinT which is then followed by that for either OLS or base forecasts. We show these theoretical results using a set of simulation studies. We also evaluate them using the Australian domestic tourism data set.


title: The Level Set Kalman Filter for State Estimation of Continuous-discrete Systems

abstract: We propose a new extension of Kalman filtering for continuous-discrete systems with nonlinear state-space models that we name as the level set Kalman filter (LSKF). The LSKF assumes the probability distribution can be approximated as a Gaussian, and updates the Gaussian distribution through a time-update step and a measurement-update step. The LSKF improves the time-update step when compared to existing methods, such as the continuous-discrete cubature Kalman filter (CD-CKF) by reformulating the underlying Fokker-Planck equation as an ordinary differential equation for the Gaussian, thereby avoiding expansion in time. Together with a carefully picked measurement-update method, numerical experiments show that the LSKF has a consistent performance improvement over CD-CKF for a range of parameters, while also simplifies the implementation, as no user-defined timestep subdivision between measurements is required, and the spatial derivatives of the drift function are not explicitly needed.


title: A subgradient algorithm for data-rate optimization in the remote state estimation problem

abstract: In the remote state estimation problem, an observer tries to reconstruct the state of a dynamical system at a remote location, where no direct sensor measurements are available. The observer only has access to information sent through a digital communication channel with a finite capacity. The recently introduced notion of restoration entropy provides a way to determine the smallest channel capacity above which an observer can be designed that observes the system without a degradation of the initial observation quality. In this paper, we propose a subgradient algorithm to estimate the restoration entropy via the computation of an appropriate Riemannian metric on the state space, which allows to determine the approximate value of the entropy from the time-one map (in the discrete-time case) or the generating vector field (for ODE systems), respectively.


title: Constraint optimization and $\mathcal{SU}(N)$ quantum control landscapes

abstract: We develop the embedded gradient vector field method, introduced in [8] and [9], for the case of the special unitary group $\mathcal{SU}(N)$ regarded as a constraint submanifold of the unitary group $\mathcal{U}(N)$. The optimization problem associated to the trace fidelity cost function defined on $\mathcal{SU}(N)$ that appears in the context of $\mathcal{SU}(N)$ quantum control landscapes is completely solved using the embedded gradient vector field method. We prove that for $N\geq 5$, the landscape is not $\mathcal{SU}(N)$-trap free, there are always kinematic local extrema that are not global extrema.


title: Water Need Models and Irrigation Decision Systems

abstract: Irrigation decision systems and water need models have been important research topics in agriculture since 90s. They improve the efficiency of crop yields, provide an appropriate use of water on the earth and so, prevent the water scarcity in some regions. In this paper, a comprehensive survey on water need models depending on crop growth and irrigation decision systems has been conducted based on mathematical maodelling. The following outcomes and solutions are the main contributions. Crop growth models and correspondingly water need models are suffer from un-modeled dynamics of the environment and lack of sensory devices. Literature review with the latest developments on water need models, irrigation decision systems, applied control methods and discussions are expected to be useful for the future strategies.


title: Maltsev bases for partially commutative nilpotent groups

abstract: We construct an ordered set of commutators in a partially commutative nilpotent group $F(X; \Gamma; \mathfrak N_m)$. This set allows us to define a canonical form for each element of $F(X; \Gamma; \mathfrak N_m)$. Namely, we construct a Maltsev basis for the group $F(X; \Gamma; \mathfrak N_m).$


title: High Resolution Face Editing with Masked GAN Latent Code Optimization

abstract: Face editing represents a popular research topic within the computer vision and image processing communities. While significant progress has been made recently in this area, existing solutions: (i) are still largely focused on low-resolution images, (ii) often generate editing results with visual artefacts, or (iii) lack fine-grained control and alter multiple (entangled) attributes at once, when trying to generate the desired facial semantics. In this paper, we aim to address these issues though a novel attribute editing approach called MaskFaceGAN that focuses on local attribute editing. The proposed approach is based on an optimization procedure that directly optimizes the latent code of a pre-trained (state-of-the-art) Generative Adversarial Network (i.e., StyleGAN2) with respect to several constraints that ensure: (i) preservation of relevant image content, (ii) generation of the targeted facial attributes, and (iii) spatially--selective treatment of local image areas. The constraints are enforced with the help of an (differentiable) attribute classifier and face parser that provide the necessary reference information for the optimization procedure. MaskFaceGAN is evaluated in extensive experiments on the CelebA-HQ, Helen and SiblingsDB-HQf datasets and in comparison with several state-of-the-art techniques from the literature, i.e., StarGAN, AttGAN, STGAN, and two versions of InterFaceGAN. Our experimental results show that the proposed approach is able to edit face images with respect to several local facial attributes with unprecedented image quality and at high-resolutions (1024x1024), while exhibiting considerably less problems with attribute entanglement than competing solutions. The source code is made freely available from: https://github.com/MartinPernus/MaskFaceGAN.


title: Comprehensive Analysis of Continuously Variable Series Reactor Using G-C Framework

abstract: Continuously Variable Series Reactor (CVSR) has the ability to regulate the reactance of an ac circuit using the magnetizing characteristics of its ferromagnetic core, shared by an ac and a dc winding to control power flow, damp oscillations and limit fault currents. In order to understand and utilize a CVSR in the power grid, it is essential to know all of its operational characteristics. The gyrator-capacitor approach has been applied to model electromagnetic coupling between the two circuits, controlled ac circuit and control dc circuit of the device. In this paper, we investigate some of the CVSR side behavior in terms of the induced voltage across the dc winding, flux density within the core's branches, and the power exchange between the two circuits during normal operation and fault conditions.


title: PathEnum: Towards Real-Time Hop-Constrained s-t Path Enumeration

abstract: We study the hop-constrained s-t path enumeration (HcPE) problem, which takes a graph $G$, two distinct vertices $s,t$ and a hop constraint $k$ as input, and outputs all paths from $s$ to $t$ whose length is at most $k$. The state-of-the-art algorithms suffer from severe performance issues caused by the costly pruning operations during enumeration for the workloads with the large search space. Consequently, these algorithms hardly meet the real-time constraints of many online applications. In this paper, we propose PathEnum, an efficient index-based algorithm towards real-time HcPE. For an input query, PathEnum first builds a light-weight index aiming to reduce the number of edges involved in the enumeration, and develops efficient index-based approaches for enumeration, one based on depth-first search and the other based on joins. We further develop a query optimizer based on a join-based cost model to optimize the search order. We conduct experiments with 15 real-world graphs. Our experiment results show that PathEnum outperforms the state-of-the-art approaches by orders of magnitude in terms of the query time, throughput and response time.


title: Let's Ask Students About Their Programs, Automatically

abstract: Students sometimes produce code that works but that its author does not comprehend. For example, a student may apply a poorly-understood code template, stumble upon a working solution through trial and error, or plagiarize. Similarly, passing an automated functional assessment does not guarantee that the student understands their code. One way to tackle these issues is to probe students' comprehension by asking them questions about their own programs. We propose an approach to automatically generate questions about student-written program code. We moreover propose a use case for such questions in the context of automatic assessment systems: after a student's program passes unit tests, the system poses questions to the student about the code. We suggest that these questions can enhance assessment systems, deepen student learning by acting as self-explanation prompts, and provide a window into students' program comprehension. This discussion paper sets an agenda for future technical development and empirical research on the topic.


title: MogFace: Towards a Deeper Appreciation on Face Detection

abstract: Benefiting from the pioneering design of generic object detectors, significant achievements have been made in the field of face detection. Typically, the architectures of the backbone, feature pyramid layer, and detection head module within the face detector all assimilate the excellent experience from general object detectors. However, several effective methods, including label assignment and scale-level data augmentation strategy, fail to maintain consistent superiority when applying on the face detector directly. Concretely, the former strategy involves a vast body of hyper-parameters and the latter one suffers from the challenge of scale distribution bias between different detection tasks, which both limit their generalization abilities. Furthermore, in order to provide accurate face bounding boxes for facial down-stream tasks, the face detector imperatively requires the elimination of false alarms. As a result, practical solutions on label assignment, scale-level data augmentation, and reducing false alarms are necessary for advancing face detectors. In this paper, we focus on resolving three aforementioned challenges that exiting methods are difficult to finish off and present a novel face detector, termed MogFace. In our Mogface, three key components, Adaptive Online Incremental Anchor Mining Strategy, Selective Scale Enhancement Strategy and Hierarchical Context-Aware Module, are separately proposed to boost the performance of face detectors. Finally, to the best of our knowledge, our MogFace is the best face detector on the Wider Face leader-board, achieving all champions across different testing scenarios. The code is available at \url{https://github.com/damo-cv/MogFace}.


title: Influence of nonlinear- and saturable-absorption on laser lift-off threshold of oxide/metal structure

abstract: In this work, a new model of effective lift-off threshold of oxide/metal target is presented. The influence of nonlinear processes in the oxide layer on its removal from the metallic samples using picosecond laser was investigated. Nonlinear and saturable absorption in the layer was incorporated into modeling for prediction of effective laser lift-off threshold fluence change with varying peak intensities in z-scan type experiment for the first time. The new model coincides well with the experimental results.


title: Loss Mechanism Analyses of Perovskite Solar Cells with an Equivalent Circuit Model

abstract: Understanding and quantifying the main loss factors affecting the power conversion efficiency of perovskite solar cells are urgently needed. In this work, based on semiconductor physics, the expressions of bulk and surface recombination currents are analytically derived. Then taking the optical loss, series and shunt resistance losses, and bulk and surface recombination losses into consideration, an equivalent circuit model is proposed to describe the current density-voltage characteristics of practical perovskite solar cells. Furthermore, by comparing to the drift-diffusion model, the pre-defined physical parameters of the drift-diffusion model well agree with the fitting parameters retrieved by the equivalent circuit model, which verifies the reliability of the proposed model. Moreover, when the circuit model is applied to analyze experimental results, the fitting outcomes show favorable consistency to the physical investigations offered by the experiments. And the relative fitting errors of the above cases are all less than 2%. Through employing the model, the dominant recombination type is clearly identified and split current density-voltage curves characterizing different loss mechanisms are offered, which intuitively reveals the physical principles of efficiency loss. Additionally, through calculating the efficiency loss ratios under the open-circuit voltage condition, quantifying the above-mentioned loss mechanisms becomes simple and compelling. Consequently, this model offers a guideline to approach the efficiency limit from a circuit-level perspective. And the model is a comprehensive simulation and analysis tool for understanding the device physics of perovskite solar cells.

categories: cond-mat.mes-hall physics.app-ph physics.class-ph physics.optics


title: Discrete Helly-type theorems for pseudohalfplanes

abstract: We prove discrete Helly-type theorems for pseudohalfplanes, which extend recent results of Jensen, Joshi and Ray about halfplanes. Among others we show that given a family of pseudohalfplanes $\cal H$ and a set of points $P$, if every triple of pseudohalfplanes has a common point in $P$ then there exists a set of at most two points that hits every pseudohalfplane of $\cal H$. We also prove that if every triple of points of $P$ is contained in a pseudohalfplane of $\cal H$ then there are two pseudohalfplanes of $\cal H$ that cover all points of $P$. To prove our results we regard pseudohalfplane hypergraphs, define their extremal vertices and show that these behave in many ways as points on the boundary of the convex hull of a set of points. Our methods are purely combinatorial. In addition we determine the maximal possible chromatic number of the regarded hypergraph families.


title: Non-standard neutrino oscillations: perspective from unitarity triangles

abstract: We formulate an alternative approach based on unitarity triangles to describe neutrino oscillations in presence of non-standard interactions (NSI). Using perturbation theory, we derive the expression for the oscillation probability in case of NSI and cast it in terms of the three independent parameters of the leptonic unitarity triangle (LUT). The form invariance of the probability expression (even in presence of new physics scenario as long as the mixing matrix is unitary) facilitates a neat geometric view of neutrino oscillations in terms of LUT. We examine the regime of validity of perturbative expansions in the NSI case and make comparisons with approximate expressions existing in literature. We uncover some interesting dependencies on NSI terms while studying the evolution of LUT parameters and the Jarlskog invariant. Interestingly, the geometric approach based on LUT allows us to express the oscillation probabilities for a given pair of neutrino flavours in terms of only three (and not four) degrees of freedom which are related to the geometric properties (sides and angles) of the triangle. Moreover, the LUT parameters are invariant under rephasing transformations and independent of the parameterization adopted.


title: Unsupervised Feature Learning for Manipulation with Contrastive Domain Randomization

abstract: Robotic tasks such as manipulation with visual inputs require image features that capture the physical properties of the scene, e.g., the position and configuration of objects. Recently, it has been suggested to learn such features in an unsupervised manner from simulated, self-supervised, robot interaction; the idea being that high-level physical properties are well captured by modern physical simulators, and their representation from visual inputs may transfer well to the real world. In particular, learning methods based on noise contrastive estimation have shown promising results. To robustify the simulation-to-real transfer, domain randomization (DR) was suggested for learning features that are invariant to irrelevant visual properties such as textures or lighting. In this work, however, we show that a naive application of DR to unsupervised learning based on contrastive estimation does not promote invariance, as the loss function maximizes mutual information between the features and both the relevant and irrelevant visual properties. We propose a simple modification of the contrastive loss to fix this, exploiting the fact that we can control the simulated randomization of visual properties. Our approach learns physical features that are significantly more robust to visual domain variation, as we demonstrate using both rigid and non-rigid objects.


title: Overprotective Training Environments Fall Short at Testing Time: Let Models Contribute to Their Own Training

abstract: Despite important progress, conversational systems often generate dialogues that sound unnatural to humans. We conjecture that the reason lies in their different training and testing conditions: agents are trained in a controlled "lab" setting but tested in the "wild". During training, they learn to generate an utterance given the human dialogue history. On the other hand, during testing, they must interact with each other, and hence deal with noisy data. We propose to fill this gap by training the model with mixed batches containing both samples of human and machine-generated dialogues. We assess the validity of the proposed method on GuessWhat?!, a visual referential game.


title: On a class of Fokker-Planck equations with subcritical confinement

abstract: We study the relaxation to equilibrium for a class linear one-dimensional Fokker-Planck equations characterized by a particular subcritical confinement potential. An interesting feature of this class of Fokker-Planck equations is that, for any given probability density $e(x)$, the diffusion coefficient can be built to have $e(x)$ as steady state. This representation of the equilibrium density can be fruitfully used to obtain one-dimensional Wirtinger-type inequalities and to recover, for a sufficiently regular density $e(x) $, a polynomial rate of convergence to equilibrium.Numerical results then confirm the theoretical analysis, and allow to conjecture that convergence to equilibrium with positive rate still holds for steady states characterized by a very slow polynomial decay at infinity.


title: A unified approach for covariance matrix estimation under Stein loss

abstract: In this paper, we address the problem of estimating a covariance matrix of a multivariate Gaussian distribution, relative to a Stein loss function, from a decision theoretic point of view. We investigate the case where the covariance matrix is invertible and the case when it is non--invertible in a unified approach.


title: Predictive Maintenance -- Bridging Artificial Intelligence and IoT

abstract: This paper highlights the trends in the field of predictive maintenance with the use of machine learning. With the continuous development of the Fourth Industrial Revolution, through IoT, the technologies that use artificial intelligence are evolving. As a result, industries have been using these technologies to optimize their production. Through scientific research conducted for this paper, conclusions were drawn about the trends in Predictive Maintenance applications with the use of machine learning bridging Artificial Intelligence and IoT. These trends are related to the types of industries in which Predictive Maintenance was applied, the models of artificial intelligence were implemented, mainly of machine learning and the types of sensors that are applied through the IoT to the applications. Six sectors were presented and the production sector was dominant as it accounted for 54.54% of total publications. In terms of artificial intelligence models, the most prevalent among ten were the Artificial Neural Networks, Support Vector Machine and Random Forest with 27.84%, 17.72% and 13.92% respectively. Finally, twelve categories of sensors emerged, of which the most widely used were the sensors of temperature and vibration with percentages of 60.71% and 46.42% correspondingly.


title: Long-term multi-wavelength variations of Fermi blazar 3C 279

abstract: The long-term optical, X-ray and $\gamma$-ray data of blazar 3C 279 have been compiled from $Swift$-XRT, $RXTE$ PCA, $Fermi$-LAT, SMARTS and literature. The source exhibits strong variability on long time scales. Since 1980s to now, the optical $R$ band light curve spans above 32 yr, and a possible 5.6-yr-long quasi-periodic variation component has been found in it. The optical spectral behavior has been investigated. In the optical band, the mean spectral index is -1.71. The source exhibits an obvious special spectral behavior. In the low state, the source shows a clear bluer-when-brighter behavior in a sense that the optical spectrum turns harder (flatter) when the brightness increases. While in the high state, the optical spectrum is stable, that means the source spectral index does not vary with the brightness. The correlation analysis has been performed among optical, X-ray and $\gamma$-ray energy bands. The result indicates that the variations of $\gamma$-ray and X-ray bands are well correlated without time delay on the time scale of days, and their variations exhibit weak correlations with those of optical band. The variations, especial outbursts, are simultaneous, but the magnitude of variations is disproportionate. The detailed analysis reveals that the main outbursts exhibit strong correlations in different $\gamma$-ray, X-ray and optical bands.


title: ESPRESSO Mass determination of TOI-263b: An extreme inhabitant of the brown dwarf desert

abstract: The TESS mission has reported a wealth of new planetary systems around bright and nearby stars amenable for detailed characterization of the planet properties and their atmospheres. However, not all interesting TESS planets orbit around bright host stars. TOI-263b is a validated ultra-short period substellar object in a 0.56-day orbit around a faint (V=18.97) M3.5 dwarf star. The substellar nature of TOI-263b was explored using multi-color photometry, which determined a true radius of 0.87+-0.21 Rj, establishing TOI-263b's nature ranging from an inflated Neptune to a brown dwarf. The orbital period-radius parameter space occupied by TOI-263b is quite unique, which prompted a further characterization of its true nature. Here, we report radial velocity measurements of TOI-263 obtained with 3 VLT units and the ESPRESSO spectrograph to retrieve the mass of TOI-263b. We find that TOI-263b is a brown dwarf with a mass of 61.6+-4.0 Mj. Additionally, the orbital period of the brown dwarf is found to be synchronized with the rotation period of the host star, and the system is found to be relatively active, possibly revealing a star--brown dwarf interaction. All these findings suggest that the system's formation history might be explained via disc fragmentation and later migration to close-in orbits. If the system is found to be unstable, TOI-263 is an excellent target to test the migration mechanisms before the brown dwarf becomes engulfed by its parent star.


title: The Interplay of Task Success and Dialogue Quality: An in-depth Evaluation in Task-Oriented Visual Dialogues

abstract: When training a model on referential dialogue guessing games, the best model is usually chosen based on its task success. We show that in the popular end-to-end approach, this choice prevents the model from learning to generate linguistically richer dialogues, since the acquisition of language proficiency takes longer than learning the guessing task. By comparing models playing different games (GuessWhat, GuessWhich, and Mutual Friends), we show that this discrepancy is model- and task-agnostic. We investigate whether and when better language quality could lead to higher task success. We show that in GuessWhat, models could increase their accuracy if they learn to ground, encode, and decode also words that do not occur frequently in the training set.


title: The Visual-Inertial-Dynamical Multirotor Dataset

abstract: Recently, the community has witnessed numerous datasets built for developing and testing state estimators. However, for some applications such as aerial transportation or search-and-rescue, the contact force or other disturbance must be perceived for robust planning and control, which is beyond the capacity of these datasets. This paper introduces a Visual-Inertial-Dynamical (VID) dataset, not only focusing on traditional six degrees of freedom (6-DOF) pose estimation but also providing dynamical characteristics of the flight platform for external force perception or dynamics-aided estimation. The VID dataset contains hardware synchronized imagery and inertial measurements, with accurate ground truth trajectories for evaluating common visual-inertial estimators. Moreover, the proposed dataset highlights rotor speed and motor current measurements, control inputs, and ground truth 6-axis force data to evaluate external force estimation. To the best of our knowledge, the proposed VID dataset is the first public dataset containing visual-inertial and complete dynamical information in the real world for pose and external force evaluation. The dataset: https://github.com/ZJU-FAST-Lab/VID-Dataset and related files: https://github.com/ZJU-FAST-Lab/VID-Flight-Platform are open-sourced.


title: Study of resonances in exotic drip-line nuclei by the use of super-symmetric quantum mechanics

abstract: In this paper, a nice theoretical scheme is presented to investigate resonant and bound states in weakly bound nuclear systems by the use of isospectral potentials together with hyperspherical harmonics expansion. In this scheme, a new potential is constructed which is strictly isospectral with the original shallow potential and has properties that are desirable to calculate resonances more accurately and elegantly. The effectiveness of the method has been checked in terms of its application to the $0^+$ resonances in the neutron-rich isotopes $^{18,20}$C in the two-neutron plus core three-body cluster model. The results are in excellent agreement with the available data.


title: Low Dimensional Landscape Hypothesis is True: DNNs can be Trained in Tiny Subspaces

abstract: Deep neural networks (DNNs) usually contain massive parameters, but there is redundancy such that it is guessed that the DNNs could be trained in low-dimensional subspaces. In this paper, we propose a Dynamic Linear Dimensionality Reduction (DLDR) based on low-dimensional properties of the training trajectory. The reduction is efficient, which is supported by comprehensive experiments: optimization in 40 dimensional spaces can achieve comparable performance as regular training over thousands or even millions of parameters. Since there are only a few optimization variables, we develop a quasi-Newton-based algorithm and also obtain robustness against label noises, which are two follow-up experiments to show the advantages of finding low-dimensional subspaces.


title: Recognizing Predictive Substructures with Subgraph Information Bottleneck

abstract: The emergence of Graph Convolutional Network (GCN) has greatly boosted the progress of graph learning. However, two disturbing factors, noise and redundancy in graph data, and lack of interpretation for prediction results, impede further development of GCN. One solution is to recognize a predictive yet compressed subgraph to get rid of the noise and redundancy and obtain the interpretable part of the graph. This setting of subgraph is similar to the information bottleneck (IB) principle, which is less studied on graph-structured data and GCN. Inspired by the IB principle, we propose a novel subgraph information bottleneck (SIB) framework to recognize such subgraphs, named IB-subgraph. However, the intractability of mutual information and the discrete nature of graph data makes the objective of SIB notoriously hard to optimize. To this end, we introduce a bilevel optimization scheme coupled with a mutual information estimator for irregular graphs. Moreover, we propose a continuous relaxation for subgraph selection with a connectivity loss for stabilization. We further theoretically prove the error bound of our estimation scheme for mutual information and the noise-invariant nature of IB-subgraph. Extensive experiments on graph learning and large-scale point cloud tasks demonstrate the superior property of IB-subgraph.


title: Spherically symmetric perturbations of a Schwarzschild black hole in torsion bigravity

abstract: Time-dependent spherically-symmetric perturbations of Schwarzschild black holes are studied within torsion bigravity, i.e., within generalized Einstein-Cartan theories where the dynamical torsion carries massive spin-2 excitation. We reduce linearized perturbations to a Zerilli-like equation. The structure of the potential entering the latter Zerilli-like equation has two important consequences. First, in order to avoid the presence of singularities in generic perturbations, one must restrict the range (or inverse mass) of the spin-2 excitation to be (essentially) smaller than the radius of the considered black hole. Second, we then show that the Schwarzschild black hole is linearly stable against spherically-symmetric perturbations.


title: Variance of Newtonian constant from local gravitational acceleration measurements

abstract: We use IGETS absolute gravitational acceleration measurement data to study the gravitational acceleration variance. The relative variance of $\delta g /g$ in 22 years is less than $4\times 10^{-8}$. Since $\delta G /G\lessapprox\delta g /g $, this implies the relative variance of Newtonian constant is less than $3\times 10^{-9}$ based on an sine-like oscillation hypothesis. This limit is at least 4 orders of magnitude better than the existing $G$ measurements. The scattered values of reported $G$ measurements coming from different experiments are most probably coming from systematic errors associated with these experiments and not due to intrinsic time variation of $G$. We also find that $\dot{ G} /G<5.61\times 10^{-10} \text{yr}^{-1}$ based on a linear hypothesis. This is the best terrestrial result so far.


title: A Krull-Remak-Schmidt theorem for fusion systems

abstract: We prove that the factorization of a saturated fusion system over a discrete $p$-toral group as a product of indecomposable subsystems is unique up to normal automorphisms of the fusion system and permutations of the factors. In particular, if the fusion system has trivial center, or if its focal subgroup is the entire Sylow group, then this factorization is unique (up to the ordering of the factors). This result was motivated by questions about automorphism groups of products of fusion systems.


title: Curves contracted by the Gauss map

abstract: Given a singular projective variety in some projective space, we characterize the smooth curves contracted by the Gauss map in terms of normal bundles. As a consequence, we show that if the variety is normal, then a contracted line always has local obstruction for the embedded deformation and each component of the Hilbert scheme where the line lies is non-reduced everywhere.


title: Visual maps between coarsely convex spaces

abstract: The class of coarsely convex spaces is a coarse geometric analogue of the class of nonpositively curved Riemannian manifolds. It includes Gromov hyperbolic spaces, CAT(0) spaces, proper injective metric spaces and systolic complexes. It is well known that quasi-isometric embeddings of Gromov hyperbolic spaces induce topological embeddings of their boundaries. Dydak and Virk studied maps between Gromov hyperbolic spaces which induce continuous maps between their boundaries. In this paper, we generalize their work to maps between coarsely convex spaces.


title: MonteFloor: Extending MCTS for Reconstructing Accurate Large-Scale Floor Plans

abstract: We propose a novel method for reconstructing floor plans from noisy 3D point clouds. Our main contribution is a principled approach that relies on the Monte Carlo Tree Search (MCTS) algorithm to maximize a suitable objective function efficiently despite the complexity of the problem. Like previous work, we first project the input point cloud to a top view to create a density map and extract room proposals from it. Our method selects and optimizes the polygonal shapes of these room proposals jointly to fit the density map and outputs an accurate vectorized floor map even for large complex scenes. To do this, we adapted MCTS, an algorithm originally designed to learn to play games, to select the room proposals by maximizing an objective function combining the fitness with the density map as predicted by a deep network and regularizing terms on the room shapes. We also introduce a refinement step to MCTS that adjusts the shape of the room proposals. For this step, we propose a novel differentiable method for rendering the polygonal shapes of these proposals. We evaluate our method on the recent and challenging Structured3D and Floor-SP datasets and show a significant improvement over the state-of-the-art, without imposing any hard constraints nor assumptions on the floor plan configurations.


title: Model of Energy Dependent Total, Absorption, and 3He and 3H Production Cross Sections in 4He-proton Collisions

abstract: Light ion (A<5) breakup cross sections are important for studies of cosmic ray interactions in the inter-stellar medium or radiation protection considerations of energy deposition in tissue. Nucleon abrasion cross sections for heavy ion reactions are often calculated using the Glauber model in the large mass limit or with the Eikonal form of the optical potential model. Here we formulate an abrasion model for 4He nuclei fragmentation on hydrogen targets with a classical model for final state interactions. Comparisons to the heavy ion abrasion model are made. Calculations of energy dependent total, absorption, elastic and breakup cross sections for 4He into 3He or 3H with protons targets are shown to be in good agreement with experimental measurements for energies from 100 to 100,000 MeV/u. The Glauber model for light nuclei and the large mass limit to the model are shown to be in close agreement for 4He-proton interactions above 300 MeV/u, however important differences occur at lower energies.


title: An Empirical Framework for Domain Generalization in Clinical Settings

abstract: Clinical machine learning models experience significantly degraded performance in datasets not seen during training, e.g., new hospitals or populations. Recent developments in domain generalization offer a promising solution to this problem by creating models that learn invariances across environments. In this work, we benchmark the performance of eight domain generalization methods on multi-site clinical time series and medical imaging data. We introduce a framework to induce synthetic but realistic domain shifts and sampling bias to stress-test these methods over existing non-healthcare benchmarks. We find that current domain generalization methods do not consistently achieve significant gains in out-of-distribution performance over empirical risk minimization on real-world medical imaging data, in line with prior work on general imaging datasets. However, a subset of realistic induced-shift scenarios in clinical time series data do exhibit limited performance gains. We characterize these scenarios in detail, and recommend best practices for domain generalization in the clinical setting.


title: Reciprocity of thermal diffusion in time-modulated systems

abstract: The reciprocity principle governs the symmetry in transmission of electromagnetic and acoustic waves, as well as the diffusion of heat between two points in space, with important consequences for thermal management and energy harvesting. There has been significant recent interest in materials with time-modulated properties, which have been shown to efficiently break reciprocity for light, sound, and even charge diffusion. Quite surprisingly, here we show that, from a practical point of view, time modulation cannot generally be used to break reciprocity for thermal diffusion. We establish a theoretical framework to accurately describe the behavior of diffusive processes under time modulation, and prove that thermal reciprocity in dynamic materials is generally preserved by the continuity equation, unless some external bias or special material is considered. We then experimentally demonstrate reciprocal heat transfer in a time-modulated device. Our findings correct previous misconceptions regarding reciprocity breaking for thermal diffusion, revealing the generality of symmetry constraints in heat transfer, and clarifying its differences from other transport processes in what concerns the principles of reciprocity and microscopic reversibility.


title: RIS Configuration, Beamformer Design, and Power Control in Single-Cell and Multi-Cell Wireless Networks

abstract: Reconfigurable Intelligent Surfaces (RISs) are recently attracting a wide interest due to their capability of tuning wireless propagation environments in order to increase the system performance of wireless networks. In this paper, a multiuser wireless network assisted by a RIS is studied and resource allocation algorithms are presented for several scenarios. First of all, the problem of channel estimation is considered, and an algorithm that permits separate estimation of the mobile user-to-RIS and RIS-to-base stations components is proposed. Then, for the special case of a single-user system, three possible approaches are shown in order to optimize the Signal-to-Noise Ratio with respect to the beamformer used at the base station and to the RIS phase shifts. Next, for a multiuser system with two cells, assuming channel-matched beamforming, the geometric mean of the downlink Signal-to-Interference plus Noise Ratios across users is maximized with respect to the base stations transmit powers and RIS phase shifts configurations. In this scenario, the RIS is placed at the cell-edge and some users are jointly served by two base stations to increase the system performance. Numerical results show that the proposed procedures are effective and that the RIS brings substantial performance improvements to wireless system.


title: Efficient Subsampling of Realistic Images From GANs Conditional on a Class or a Continuous Variable

abstract: Recently, subsampling or refining images generated from unconditional GANs has been actively studied to improve the overall image quality. Unfortunately, these methods are often observed less effective or inefficient in handling conditional GANs (cGANs) -- conditioning on a class (aka class-conditional GANs) or a continuous variable (aka continuous cGANs or CcGANs). In this work, we introduce an effective and efficient subsampling scheme, named conditional density ratio-guided rejection sampling (cDR-RS), to sample high-quality images from cGANs. Specifically, we first develop a novel conditional density ratio estimation method, termed cDRE-F-cSP, by proposing the conditional Softplus (cSP) loss and an improved feature extraction mechanism. We then derive the error bound of a density ratio model trained with the cSP loss. Finally, we accept or reject a fake image in terms of its estimated conditional density ratio. A filtering scheme is also developed to increase fake images' label consistency without losing diversity when sampling from CcGANs. We extensively test the effectiveness and efficiency of cDR-RS in sampling from both class-conditional GANs and CcGANs on five benchmark datasets. When sampling from class-conditional GANs, cDR-RS outperforms modern state-of-the-art methods by a large margin (except DRE-F-SP+RS) in terms of effectiveness. Although the effectiveness of cDR-RS is often comparable to that of DRE-F-SP+RS, cDR-RS is substantially more efficient. When sampling from CcGANs, the superiority of cDR-RS is even more noticeable in terms of both effectiveness and efficiency. Notably, with the consumption of reasonable computational resources, cDR-RS can substantially reduce Label Score without decreasing the diversity of CcGAN-generated images, while other methods often need to trade much diversity for slightly improved Label Score.


title: Multi-sequence Spreading Random Access (MSRA) for Compressive Sensing-based Grant-free Communication

abstract: The performance of grant-free random access (GF-RA) is limited by the number of accessible random access resources (RRs) due to the absence of collision resolution. Compressive sensing (CS)-based RA schemes scale up the RRs at the expense of increased non-orthogonality among transmitted signals. This paper presents the design of multi-sequence spreading random access (MSRA) which employs multiple spreading sequences to spread the different symbols of a user as opposed to the conventional schemes in which a user employs the same spreading sequence for each symbol. We show that MSRA provides code diversity, enabling the multi-user detection (MUD) to be modeled into a well-conditioned multiple measurement vector (MMV) CS problem. The code diversity is quantified by the decrease in the average Babel mutual coherence among the spreading sequences. Moreover, we present a two-stage active user detection (AUD) scheme for both wideband and narrowband implementation. Our theoretical analysis shows that with MSRA activity misdetection falls exponentially while the size of GF-RA frame is increased. Finally, the simulation results show that about 82% increase in utilization of RRs, i.e., more active users, is supported by MSRA than the conventional schemes while achieving the RA failure rate lower bound set by random access collision.


title: Learning Continuous Cost-to-Go Functions for Non-holonomic Systems

abstract: This paper presents a supervised learning method to generate continuous cost-to-go functions of non-holonomic systems directly from the workspace description. Supervision from informative examples reduces training time and improves network performance. The manifold representing the optimal trajectories of a non-holonomic system has high-curvature regions which can not be efficiently captured with uniform sampling. To address this challenge, we present an adaptive sampling method which makes use of sampling-based planners along with local, closed-form solutions to generate training samples. The cost-to-go function over a specific workspace is represented as a neural network whose weights are generated by a second, higher order network. The networks are trained in an end-to-end fashion. In our previous work, this architecture was shown to successfully learn to generate the cost-to-go functions of holonomic systems using uniform sampling. In this work, we show that uniform sampling fails for non-holonomic systems. However, with the proposed adaptive sampling methodology, our network can generate near-optimal trajectories for non-holonomic systems while avoiding obstacles. Experiments show that our method is two orders of magnitude faster compared to traditional approaches in cluttered environments.


title: Your Classifier can Secretly Suffice Multi-Source Domain Adaptation

abstract: Multi-Source Domain Adaptation (MSDA) deals with the transfer of task knowledge from multiple labeled source domains to an unlabeled target domain, under a domain-shift. Existing methods aim to minimize this domain-shift using auxiliary distribution alignment objectives. In this work, we present a different perspective to MSDA wherein deep models are observed to implicitly align the domains under label supervision. Thus, we aim to utilize implicit alignment without additional training objectives to perform adaptation. To this end, we use pseudo-labeled target samples and enforce a classifier agreement on the pseudo-labels, a process called Self-supervised Implicit Alignment (SImpAl). We find that SImpAl readily works even under category-shift among the source domains. Further, we propose classifier agreement as a cue to determine the training convergence, resulting in a simple training algorithm. We provide a thorough evaluation of our approach on five benchmarks, along with detailed insights into each component of our approach.


title: Modeling Heterogeneity and Missing Data of Multiple Longitudinal Outcomes in Electronic Health Records

abstract: In electronic health records (EHRs), latent subgroups of patients may exhibit distinctive patterning in their longitudinal health trajectories. For such data, growth mixture models (GMMs) enable classifying patients into different latent classes based on individual trajectories and hypothesized risk factors. However, the application of GMMs is hindered by the special missing data problem in EHRs, which manifests two patient-led missing data processes: the visit process and the response process for an EHR variable conditional on a patient visiting the clinic. If either process is associated with the process generating the longitudinal outcomes, then valid inferences require accounting for a nonignorable missing data mechanism. We propose a Bayesian shared parameter model that links GMMs of multiple longitudinal health outcomes, the visit process, and the response process of each outcome given a visit using a discrete latent class variable. Our focus is on multiple longitudinal health outcomes for which there can be a clinically prescribed visit schedule. We demonstrate our model in EHR measurements on early childhood weight and height z-scores. Using data simulations, we illustrate the statistical properties of our method with respect to subgroup-specific or marginal inferences. We built the R package EHRMiss for model fitting, selection, and checking.


title: Compositions of Digraphs: A Survey

abstract: In this survey we overview known results and get several new results on digraph compositions which generalize several classes of digraphs, such as quasi-transitive digraphs. After an introductory section, the paper is divided into six sections: connectivity and linkages, kings and kernels, paths, cycles, acyclic spanning subdigraphs, strong spanning subdigraphs. This survey also contains some conjectures and open problems for further study.


title: Large-to-small scale frequency modulation analysis in wall-bounded turbulence via visibility networks

abstract: Scale interaction is studied in wall-bounded turbulence by focusing on the frequency modulation (FM) mechanism of large scales on small scale velocity fluctuations. Differently from amplitude modulation analysis, frequency modulation has been less investigated also due to the difficulty to develop robust tools for broadband signals. To face this issue, the natural visibility graph approach is proposed in this work to map the full velocity signals into complex networks. We show that the network degree centrality is able to capture the signal structure at local scales directly from the full signal, thereby quantifying FM. Velocity signals from numerically-simulated turbulent channel flows and an experimental turbulent boundary layer are investigated at different Reynolds numbers. A correction of Taylor's hypothesis for time-series is proposed to overcome the overprediction of near-wall frequency modulation obtained when local mean velocity is used as the convective velocity. Results provide network-based evidences of the large-to-small FM features for all the three velocity components in the near-wall region, with a reversal mechanism emerging far from the wall. Additionally, scaling arguments in the view of the quasi-steady quasi-homogeneous hypothesis are discussed, and a delay-time between large and small scales very close to the near-wall cycle characteristic time is detected. Results show that the visibility graph is a parameter-free tool that turns out to be effective and robust to detect FM in different configurations of wall-bounded turbulent flows. Based on present findings, the visibility network-based approach can represent a reliable tool to systematically investigate scale interaction mechanisms in wall-bounded turbulence.


title: Towards Superior High Temperature Properties in Low Density AlCrFeNiTi Compositionally Complex Alloys

abstract: Three novel precipitation strengthened bcc alloys which exhibit a smooth microstructural gradient with composition have been fabricated in bulk form by induction casting. All three alloys are comprised of a mixture of disordered A2-(Fe, Cr) and L2$_1$-ordered (Ni, Fe)$_{2}$AlTi type phases both as-cast and after long-term annealing at 900 $^{\circ}$C. The ratio of disordered to ordered phase, primary dendrite fraction, and overall microstructural coarseness all decrease as Cr is replaced by Al and Ti. Differences in phase composition are quantified through domain averaged principal component analysis of energy dispersive spectroscopy data obtained during scanning transmission electron microscopy. Bulk tensile testing reveals retained strengths of nearly 250 MPa up to 900 $^{\circ}$C for the alloys which contain a nanoscale maze-like arrangement of ordered and disordered phases. One alloy, containing a duplex microstructure with ductile dendritic regions and highly creep resistant interdendritic regions, shows a promising balance between high temperature ductility and strength. For this alloy, tension creep testing was carried out at 700, 750, and 800 $^{\circ}$C for a broad range of loading conditions and revealed upper bound creep rates which surpass similar ferritic superalloys and rival those of several conventionally employed high temperature structural alloys, including Inconel 617 and 718, at much lower density and raw material cost.


title: Nonterminal complexity of some families of infinite regular languages

abstract: Nonterminal complexity of a context-free language is the smallest possible number of nonterminals in its generating grammar. While in general case nonterminal complexity computation problem is unsolvable, it can be computed for different families of regular languages. In this paper we study nonterminal complexity of some families of infinite regular languages.


title: NCoRE: Neural Counterfactual Representation Learning for Combinations of Treatments

abstract: Estimating an individual's potential response to interventions from observational data is of high practical relevance for many domains, such as healthcare, public policy or economics. In this setting, it is often the case that combinations of interventions may be applied simultaneously, for example, multiple prescriptions in healthcare or different fiscal and monetary measures in economics. However, existing methods for counterfactual inference are limited to settings in which actions are not used simultaneously. Here, we present Neural Counterfactual Relation Estimation (NCoRE), a new method for learning counterfactual representations in the combination treatment setting that explicitly models cross-treatment interactions. NCoRE is based on a novel branched conditional neural representation that includes learnt treatment interaction modulators to infer the potential causal generative process underlying the combination of multiple treatments. Our experiments show that NCoRE significantly outperforms existing state-of-the-art methods for counterfactual treatment effect estimation that do not account for the effects of combining multiple treatments across several synthetic, semi-synthetic and real-world benchmarks.


title: An ADMM-Newton-CNN Numerical Approach to a TV Model for Identifying Discontinuous Diffusion Coefficients in Elliptic Equations: Convex Case with Gradient Observations

abstract: Identifying the discontinuous diffusion coefficient in an elliptic equation with observation data of the gradient of the solution is an important nonlinear and ill-posed inverse problem. Models with total variational (TV) regularization have been widely studied for this problem, while the theoretically required nonsmoothness property of the TV regularization and the hidden convexity of the models are usually sacrificed when numerical schemes are considered in the literature. In this paper, we show that the favorable nonsmoothness and convexity properties can be entirely kept if the well-known alternating direction method of multipliers (ADMM) is applied to the TV-regularized models, hence it is meaningful to consider designing numerical schemes based on the ADMM. Moreover, we show that one of the ADMM subproblems can be well solved by the active-set Newton method along with the Schur complement reduction method, and the other one can be efficiently solved by the deep convolutional neural network (CNN). The resulting ADMM-Newton-CNN approach is demonstrated to be easily implementable and very efficient even for higher-dimensional spaces with fine mesh discretization.


title: A Deep Neural Network Surrogate Modeling Benchmark for Temperature Field Prediction of Heat Source Layout

abstract: Thermal issue is of great importance during layout design of heat source components in systems engineering, especially for high functional-density products. Thermal analysis generally needs complex simulation, which leads to an unaffordable computational burden to layout optimization as it iteratively evaluates different schemes. Surrogate modeling is an effective way to alleviate computation complexity. However, temperature field prediction (TFP) with complex heat source layout (HSL) input is an ultra-high dimensional nonlinear regression problem, which brings great difficulty to traditional regression models. The Deep neural network (DNN) regression method is a feasible way for its good approximation performance. However, it faces great challenges in both data preparation for sample diversity and uniformity in the layout space with physical constraints, and proper DNN model selection and training for good generality, which necessitates efforts of both layout designer and DNN experts. To advance this cross-domain research, this paper proposes a DNN based HSL-TFP surrogate modeling task benchmark. With consideration for engineering applicability, sample generation, dataset evaluation, DNN model, and surrogate performance metrics, are thoroughly studied. Experiments are conducted with ten representative state-of-the-art DNN models. Detailed discussion on baseline results is provided and future prospects are analyzed for DNN based HSL-TFP tasks.


title: External Forces Resilient Safe Motion Planning for Quadrotor

abstract: Adaptive autonomous navigation with no prior knowledge of extraneous disturbance is of great significance for quadrotors in a complex and unknown environment. The mainstream that considers external disturbance is to implement disturbance-rejected control and path tracking. However, the robust control to compensate for tracking deviations is not well-considered regarding energy consumption, and even the reference path will become risky and intractable with disturbance. As recent external forces estimation advances, it is possible to incorporate a real-time force estimator to develop more robust and safe planning frameworks. This paper proposes a systematic (re)planning framework that can resiliently generate safe trajectories under volatile conditions. Firstly, a front-end kinodynamic path is searched with force-biased motion primitives. Then we develop a nonlinear model predictive control (NMPC) as a local planner with Hamilton-Jacobi (HJ) forward reachability analysis for error dynamics caused by external forces. It guarantees collision avoidance by constraining the ellipsoid of the quadrotor body expanded with the forward reachable sets (FRSs) within safe convex polytopes. Our method is validated in simulations and real-world experiments with different sources of external forces.


title: Dynamic characterization of control SIR-type systems and optimal single-interval control

abstract: Although modeling studies are focused on the control of SIR-based systems describing epidemic data sets (particularly the COVID-19), few of them present a formal dynamic characterization in terms of equilibrium sets and stability. Such concepts can be crucial to understand not only how the virus spreads in a population, but also how to tailor government interventions such as social distancing, isolation measures, etc. The objective of this work is to provide a full dynamic characterization of SIR-type systems under single-interval control actions and, based on it, to find the control action that produces the smallest number of infected individuals at the end of the epidemic that avoids second wave outbreaks. %Because of its simplicity, the latter result is intended to be just a reference/baseline for more complex control strategies related to general nonpharmaceutical measure (\textit{i.e}., those accounting for the health system capacity, the number of deaths, etc.). Simulations illustrate the benefits of the aforementioned results in terms of the herd immunity threshold.


title: Dynamic Term Structure Models for SOFR Futures

abstract: The LIBOR rate is currently scheduled for discontinuation, and the replacement advocated by regulators in the US is the Secured Overnight Financing Rate (SOFR). The change has the potential to disrupt the $200 trillion market of derivatives and debt tied to the LIBOR. The only SOFR linked derivative with any significant liquidity and trading history is the SOFR futures contract, traded at the CME since 2018. We use the historical record of futures prices to construct dynamic arbitrage-free models for the SOFR term structure. The models allow you to construct forward-looking SOFR term rates, imply a SOFR discounting curve and price and risk and risk manage SOFR derivatives, not yet liquidly traded in the market. We find that a standard three-factor Gaussian arbitrage-free Nelson-Siegel model describes term rates very well but a shadow-rate extension is needed to describe the behaviour near the zero-boundary. We also find that the jumps and seasonal effects observed in SOFR, do not need to be specifically accounted for in a model for the futures prices. Finally we study the so-called convexity correction and find that it becomes significant beyond the 2 year maturity. For validation purposes we demonstrate that our model aligns closely with the methodology used by the Federal Reserve to publish indicative SOFR term rates.


title: Adaptive deep density approximation for Fokker-Planck equations

abstract: In this paper we present an adaptive deep density approximation strategy based on KRnet (ADDA-KR) for solving the steady-state Fokker-Planck (F-P) equations. F-P equations are usually high-dimensional and defined on an unbounded domain, which limits the application of traditional grid based numerical methods. With the Knothe-Rosenblatt rearrangement, our newly proposed flow-based generative model, called KRnet, provides a family of probability density functions to serve as effective solution candidates for the Fokker-Planck equations, which has a weaker dependence on dimensionality than traditional computational approaches and can efficiently estimate general high-dimensional density functions. To obtain effective stochastic collocation points for the approximation of the F-P equation, we develop an adaptive sampling procedure, where samples are generated iteratively using the approximate density function at each iteration. We present a general framework of ADDA-KR, validate its accuracy and demonstrate its efficiency with numerical experiments.


title: Probabilistic Performance Bounds for Randomized Sensor Selection in Kalman Filtering

abstract: We consider the problem of randomly choosing the sensors of a linear time-invariant dynamical system subject to process and measurement noise. We sample the sensors independently and from the same distribution. We measure the performance of a Kalman filter by its estimation error covariance. Using tools from random matrix theory, we derive probabilistic bounds on the estimation error covariance in the semi-definite sense. We indirectly improve the performance of our Kalman filter for the maximum eigenvalue metric and show that under certain conditions the optimal sampling distribution that minimizes the maximum eigenvalue of the upper bound is the solution to an appropriately defined convex optimization problem. Our numerical results show the efficacy of the optimal sampling scheme in improving Kalman filter performance relative to the trivial uniform sampling distribution and a greedy sampling $\textit{with replacement}$ algorithm.


title: Absolutely complex balanced kinetic systems

abstract: A complex balanced kinetic system is absolutely complex balanced (ACB) if every positive equilibrium is complex balanced. Two results on absolute complex balancing were foundational for modern chemical reaction network theory (CRNT): in 1972, M. Feinberg proved that any deficiency zero complex balanced system is absolutely complex balanced. In the same year, F. Horn and R. Jackson showed that the (full) converse of the result is not true: any complex balanced mass action system, regardless of its deficiency, is absolutely complex balanced. In this paper, we present initial results on the extension of the Horn and Jackson ACB Theorem. In particular, we focus on other kinetic systems with positive deficiency where complex balancing implies absolute complex balancing. While doing so, we found out that complex balanced power law reactant determined kinetic systems (PL-RDK) systems are not ACB. In our search for necessary and sufficient conditions for complex balanced systems to be absolutely complex balanced, we came across the so-called CLP systems (complex balanced systems with a desired "log parametrization" property). It is shown that complex balanced systems with bi-LP property are absolutely complex balanced. For non-CLP systems, we discuss novel methods for finding sufficient conditions for ACB in kinetic systems containing non-CLP systems: decompositions, the Positive Function Factor (PFF) and the Coset Intersection Count (CIC) and their application to poly-PL and Hill-type systems.


title: Radar Information Theory for Joint Communication and Parameter Estimation with Passive Targets

abstract: In this paper, we derive the information theoretic performance bounds on communication data rates and errors in parameter estimation, for a joint radar and communication (JRC) system. We assume that targets are semi-passive, i.e. they use active components for signal reception, and passive components to communicate their own information. Specifically, we let the targets to have control over their passive reflectors in order to transmit their own information back to the radar via reflection-based beamforming or backscattering. We derive the Cramer-Rao lower bounds (CRBs) for the mean squared error in the estimation of target parameters. The concept of a target ambiguity function (TAF) arises naturally in the derivation CRBs. Using these TAFs as cost function, we propose a waveform optimization technique based on calculus of variations. Further, we derive lower bounds on the data rates for communication on forward and reverse channels, in radar-only and joint radar and communications scenarios. Through numerical examples, we demonstrate the utility of this framework for transmit waveform design, codebook construction, and establishing the corresponding data rate bounds.


title: A unified statistical approach to explain the transverse momentum spectra in hadron-hadron collision

abstract: Thermodynamical description of the system created during high energy collision requires a proper thermodynamical framework to study the distribution of particles. In this work, we have attempted to explain the transverse momentum spectra of charged hadrons formed in $pp$ collision at different energies using the Pearson statistical framework. This formalism has been proved to nicely explain the spectra of particles produced in soft processes as well hard scattering processes in a consistent manner. For this analysis, we have used the highest available range of $p_T$ published by experiments to verify the applicability of Pearson statistical framework at large $p_T$.


title: 3M: Multi-style image caption generation using Multi-modality features under Multi-UPDOWN model

abstract: In this paper, we build a multi-style generative model for stylish image captioning which uses multi-modality image features, ResNeXt features and text features generated by DenseCap. We propose the 3M model, a Multi-UPDOWN caption model that encodes multi-modality features and decode them to captions. We demonstrate the effectiveness of our model on generating human-like captions by examining its performance on two datasets, the PERSONALITY-CAPTIONS dataset and the FlickrStyle10K dataset. We compare against a variety of state-of-the-art baselines on various automatic NLP metrics such as BLEU, ROUGE-L, CIDEr, SPICE, etc. A qualitative study has also been done to verify our 3M model can be used for generating different stylized captions.


title: Tubu-io Decentralized Application Development & Test Workbench

abstract: Decentralized services are increasingly being developed and their proper usage in different areas is being experimented with. Autonomous codes, which are also called smart contracts, can be developed with Integrated Development Environments (IDE). However, these tools lack live environment tests. The underlying blockchain technologies are also evolving and it is not easy to catch all the developments. There is a need for an easy-to-use interface by which the developers can see the results of their codes. Tubu-io decentralized application development workbench is developed to serve as an efficient way for the programmers to deploy smart contracts on the blockchain networks and interact with them easily. It can also be used for teaching decentralized application programming for junior blockchain developers on blockchain testbeds. Finally, it will have an effect in decreasing the development time and the costs of developing decentralized application projects.


title: Attaining Sudan's decoding radius with no genus penalty for algebraic geometry codes

abstract: In this paper we present a decoding algorithm for algebraic geometry codes with error-correcting capacity beyond half the designed distance of the code. This algorithm comes as a fusion of the Power Error Locating Pairs algorithm for algebraic geometry codes and the technique used by Ehrhard in order to correct these codes up to half the designed distance. The decoding radius of this algorithm reaches that of Sudan algorithm, without any penalty given by the genus of the curve.


title: The Effectiveness of Morphology-aware Segmentation in Low-Resource Neural Machine Translation

abstract: This paper evaluates the performance of several modern subword segmentation methods in a low-resource neural machine translation setting. We compare segmentations produced by applying BPE at the token or sentence level with morphologically-based segmentations from LMVR and MORSEL. We evaluate translation tasks between English and each of Nepali, Sinhala, and Kazakh, and predict that using morphologically-based segmentation methods would lead to better performance in this setting. However, comparing to BPE, we find that no consistent and reliable differences emerge between the segmentation methods. While morphologically-based methods outperform BPE in a few cases, what performs best tends to vary across tasks, and the performance of segmentation methods is often statistically indistinguishable.


title: Efficient Spatialtemporal Context Modeling for Action Recognition

abstract: Contextual information plays an important role in action recognition. Local operations have difficulty to model the relation between two elements with a long-distance interval. However, directly modeling the contextual information between any two points brings huge cost in computation and memory, especially for action recognition, where there is an additional temporal dimension. Inspired from 2D criss-cross attention used in segmentation task, we propose a recurrent 3D criss-cross attention (RCCA-3D) module to model the dense long-range spatiotemporal contextual information in video for action recognition. The global context is factorized into sparse relation maps. We model the relationship between points in the same line along the direction of horizon, vertical and depth at each time, which forms a 3D criss-cross structure, and duplicate the same operation with recurrent mechanism to transmit the relation between points in a line to a plane finally to the whole spatiotemporal space. Compared with the non-local method, the proposed RCCA-3D module reduces the number of parameters and FLOPs by 25% and 30% for video context modeling. We evaluate the performance of RCCA-3D with two latest action recognition networks on three datasets and make a thorough analysis of the architecture, obtaining the optimal way to factorize and fuse the relation maps. Comparisons with other state-of-the-art methods demonstrate the effectiveness and efficiency of our model.


title: FEniCS-preCICE: Coupling FEniCS to other Simulation Software

abstract: The new software FEniCS-preCICE is a middle software layer, sitting in between the existing finite-element library FEniCS and the coupling library preCICE. The middle layer simplifies coupling (existing) FEniCS application codes to other simulation software via preCICE. To this end, FEniCS-preCICE converts between FEniCS and preCICE mesh and data structures, provides easy-to-use coupling conditions, and manages data checkpointing for implicit coupling. The new software is a library itself and follows a FEniCS-native style. Only a few lines of additional code are necessary to prepare a FEniCS application code for coupling. We illustrate the functionality of FEniCS-preCICE by two examples: a FEniCS heat conduction code coupled to OpenFOAM and a FEniCS linear elasticity code coupled to SU2. The results of both scenarios are compared with other simulation software showing good agreement.


title: Software Engineering for IoT-Driven Data Analytics Applications

abstract: Internet of Things Driven Data Analytics (IoT-DA) has the potential to excel data-driven operationalisation of smart environments. However, limited research exists on how IoT-DA applications are designed, implemented, operationalised, and evolved in the context of software and system engineering life-cycle. This article empirically derives a framework that could be used to systematically investigate the role of software engineering (SE) processes and their underlying practices to engineer IoT-DA applications. First, using existing frameworks and taxonomies, we develop an evaluation framework to evaluate software processes, methods, and other artefacts of SE for IoT-DA. Secondly, we perform a systematic mapping study to qualitatively select 16 processes (from academic research and industrial solutions) of SE for IoT-DA. Thirdly, we apply our developed evaluation framework based on 17 distinct criterion (a.k.a. process activities) for fine-grained investigation of each of the 16 SE processes. Fourthly, we apply our proposed framework on a case study to demonstrate development of an IoT-DA healthcare application. Finally, we highlight key challenges, recommended practices, and the lessons learnt based on framework's support for process-centric software engineering of IoT-DA. The results of this research can facilitate researchers and practitioners to engineer emerging and next-generation of IoT-DA software applications.


title: Localization theorems for quantized symplectic resolutions

abstract: The goal of this paper is to establish Beilinson-Bernstein type localization theorems for quantizations of some conical symplectic resolutions. We prove the full localization theorems for finite and affine type A Nakajima quiver varieties. The proof is based on two partial results that hold in more general situations. First, we establish an exactness result for global section functor if there is a tilting generator that has a rank 1 summand. Second, we examine when the global section functor restricts to an equivalence between categories $\mathcal{O}$.


title: Deformation modes of an oil-water interface under a local electric field: From Taylor cones to surface dimples

abstract: Fluidic interfaces disintegrate under sufficiently strong electric fields, leading to electrohydrodynamic (EHD) tip streaming. Taylor cones, which emit charged droplets from the tip of a conical cusp, are among the most prominent and well-studied examples of EHD instabilities. In liquid-liquid systems, more complex interface deformation modes than simple Taylor cones can be observed, with the interface being pushed away from the electrode, and additional cone structures emerging from the rim of the dimple. In this article, we investigate the mechanisms behind these deformation modes experimentally and numerically, and demonstrate that the presence of droplets triggers the dimple at the interface. In order to characterize the underlying processes, we replace the pin electrode by a hollow metallic needle with a prescribed electrolyte volume flow. The submerged electrospray introduces droplets of an aqueous KCl solution with varying ion concentrations into silicone oils with varying viscosities. By measuring the corresponding electric current and by optical investigation of the interface deformation, we study the system response to variations of the ionic concentration, viscosity, applied voltage as well as flow rate. In addition to the experiments, we use a finite element solver and compute the charge transport due to the droplets in the oil phase. Further, we compute the electric potential distribution, flow field and interface deformation. After calibration of our model with particle tracking velocimetry data of the flow inside the oil phase, we reproduce the experimentally observed dimple at the liquid-liquid interface. In summary, this work highlights the importance of charged droplets for the complex dynamic modes observed when a liquid-liquid interface is exposed to a local electric field.


title: Theoretical priors in scalar-tensor cosmologies: Shift-symmetric Horndeski models

abstract: Attempts at constraining theories of late time accelerated expansion often assume broad priors for the parameters in their phenomenological description. Focusing on shift-symmetric scalar-tensor theories with standard gravitational wave speed, we show how a more careful analysis of their dynamical evolution leads to much narrower priors. In doing so, we propose a simple and accurate parametrisation of these theories, capturing the redshift dependence of the equation of state, $w(z)$, and the kinetic braiding parameter, $\alpha_{\rm B}(z)$, with only two parameters each, and derive their statistical distribution (a.k.a. theoretical priors) that fit the cosmology of the underlying model. We have considered two versions of the shift-symmetric model, one where the energy density of dark energy is given solely by the scalar field, and another where it also has a contribution from the cosmological constant. By including current data, we show how theoretical priors can be used to improve constraints by up to an order of magnitude. Moreover, we show that shift-symmetric theories without a cosmological constant are observationally viable. We work up to quartic order in first derivatives of the scalar in the action and our results suggest this truncation is a good approximation to more general shift-symmetric theories. This work establishes an actionable link between phenomenological parameterisations and Lagrangian-based theories, the two main approaches to test cosmological gravity and cosmic acceleration.


title: PCS -- A Roadmap for Exoearth Imaging with the ELT

abstract: The Planetary Camera and Spectrograph (PCS) for the Extremely Large Telescope (ELT) will be dedicated to detecting and characterising nearby exoplanets with sizes from sub-Neptune to Earth-size in the neighbourhood of the Sun. This goal is achieved by a combination of eXtreme Adaptive Optics (XAO), coronagraphy and spectroscopy. PCS will allow us not only to take images, but also to look for biosignatures such as molecular oxygen in the exoplanets' atmospheres. This article describes the PCS primary science goals, the instrument concept and the research and development activities that will be carried out over the coming years.


title: Observation-Assisted Heuristic Synthesis of Covert Attackers Against Unknown Supervisors

abstract: In this work, we address the problem of synthesis of covert attackers in the setup where the model of the plant is available, but the model of the supervisor is unknown, to the adversary. To compensate the lack of knowledge on the supervisor, we assume that the adversary has recorded a (prefix-closed) finite set of observations of the runs of the closed-loop system, which can be used for assisting the synthesis. We present a heuristic algorithm for the synthesis of covert damage-reachable attackers, based on the model of the plant and the (finite) set of observations, by a transformation into solving an instance of the partial-observation supervisor synthesis problem. The heuristic algorithm developed in this paper may allow the adversary to synthesize covert attackers without having to know the model of the supervisor, which could be hard to obtain in practice. For simplicity, we shall only consider covert attackers that are able to carry out sensor replacement attacks and actuator disablement attacks. The effectiveness of our approach is illustrated on a water tank example adapted from the literature.


title: Note on the number of balanced independent sets in the Hamming cube

abstract: Let $Q_d$ be the $d$-dimensional Hamming cube and $N=|V(Q_d)|=2^d$. An independent set $I$ in $Q_d$ is called balanced if $I$ contains the same number of even and odd vertices. We show that the logarithm of the number of balanced independent sets in $Q_d$ is \[(1-\Theta(1/\sqrt d))N/2.\] The key ingredient of the proof is an improved version of "Sapozhenko's graph container lemma."


title: Joint Analog Beam Selection and Digital Beamforming in Millimeter Wave Cell-Free Massive MIMO Systems

abstract: Cell-free massive MIMO systems consist of many distributed access points with simple components that jointly serve the users. In millimeter wave bands, only a limited set of predetermined beams can be supported. In a network that consolidates these technologies, downlink analog beam selection stands as a challenging task for the network sum-rate maximization. Low-cost digital filters can improve the network sum-rate further. In this work, we propose low-cost joint designs of analog beam selection and digital filters. The proposed joint designs achieve significantly higher sum-rates than the disjoint design benchmark. Supervised machine learning (ML) algorithms can efficiently approximate the input-output mapping functions of the beam selection decisions of the joint designs with low computational complexities. Since the training of ML algorithms is performed off-line, we propose a well-constructed joint design that combines multiple initializations, iterations, and selection features, as well as beam conflict control, i.e., the same beam cannot be used for multiple users. The numerical results indicate that ML algorithms can retain 99-100% of the original sum-rate results achieved by the proposed well-constructed designs.


title: Long-time asymptotics of $3$-D axisymmetric Navier-Stokes equations in critical spaces

abstract: We show that any unique global solution (here we do not require any smallness condition beforehand) to 3-D axisymmetric Navier-Stokes equations in some scaling invariant spaces must eventually become a small solution. In particular, we show that the limits of $\|\omega^\theta(t)/r\|_{L^1}$ and $\|u^\theta(t)/\sqrt r\|_{L^2}$ are all $0$ as $t$ tends to infinity. And by using this, we can refine some decay estimates for the axisymmetric solutions.


title: Consistency of $p$-norm based tests in high dimensions: characterization, monotonicity, domination

abstract: Many commonly used test statistics are based on a norm measuring the evidence against the null hypothesis. To understand how the choice of a norm affects power properties of tests in high dimensions, we study the consistency sets of $p$-norm based tests in the prototypical framework of sequence models with unrestricted parameter spaces, the null hypothesis being that all observations have zero mean. The consistency set of a test is here defined as the set of all arrays of alternatives the test is consistent against as the dimension of the parameter space diverges. We characterize the consistency sets of $p$-norm based tests and find, in particular, that the consistency against an array of alternatives cannot be determined solely in terms of the $p$-norm of the alternative. Our characterization also reveals an unexpected monotonicity result: namely that the consistency set is strictly increasing in $p \in (0, \infty)$, such that tests based on higher $p$ strictly dominate those based on lower $p$ in terms of consistency. This monotonicity allows us to construct novel tests that dominate, with respect to their consistency behavior, all $p$-norm based tests without sacrificing size.


title: Four-state reference-frame-independent quantum key distribution with non-qubit sources

abstract: The discrepancy between theory and experiment severely limits the development of quantum key distribution (QKD). Reference-frame-independent (RFI) protocol has been proposed to avoid alignment of the reference frame. However, multiple optical modes caused by Trojan horse attacks and equipment loopholes lead to the imperfect emitted signal unavoidably. In this paper, we analyzed the security of the RFI-QKD protocol with non-qubit sources based on generalizing loss-tolerant techniques. The simulation results show that our work can effectively defend against non-qubit sources including a misaligned reference frame, state preparation flaws, multiple optical modes, and Trojan horse attacks. Moreover, it only requires the preparation of four quantum states, which reduces the complexity of the experiment in the future.


title: Ultrafast amplification and non-linear magneto-elastic coupling of coherent magnon modes in an antiferromagnet

abstract: We investigate the role of domain walls in the ultrafast magnon dynamics of an antiferromagnetic NiO single crystal in a pump-probe experiment with variable pump photon energy. Analysing the amplitude of the energy-dependent photo-induced ultrafast spin dynamics, we detect a yet unreported coupling between the material's characteristic THz- and a GHz-magnon modes. We explain this unexpected coupling between two orthogonal eigenstates of the corresponding Hamiltonian by modelling the magneto-elastic interaction between spins in different domains. We find that such interaction, in the non-linear regime, couples the two different magnon modes via the domain walls and it can be optically exploited via the exciton-magnon resonance.


title: Self-Supervised Steering Angle Prediction for Vehicle Control Using Visual Odometry

abstract: Vision-based learning methods for self-driving cars have primarily used supervised approaches that require a large number of labels for training. However, those labels are usually difficult and expensive to obtain. In this paper, we demonstrate how a model can be trained to control a vehicle's trajectory using camera poses estimated through visual odometry methods in an entirely self-supervised fashion. We propose a scalable framework that leverages trajectory information from several different runs using a camera setup placed at the front of a car. Experimental results on the CARLA simulator demonstrate that our proposed approach performs at par with the model trained with supervision.