title: Bose-Einstein condensates and the thin-shell limit in anisotropic bubble traps

abstract: Within the many different models that appeared with the use of cold atoms to design BECs the bubble trap shaped potential has been of great interest. For the anisotropic bubble trap physics in the thin-shell limit the relationship between the physical parameters and the resulting manifold geometry is yet to be fully understood. In this paper, we work towards this goal showing how the parameters of the system must be manipulated in order to allow for a non-collapsing thin-shell limit. In such a limit, a dimensional compactification takes place thus leading to an effective 2D Hamiltonian which relates to up-to-date bubble trap experiments. At last, our Hamiltonian is pertubatively solved for some particular cases as applications of our theory.


title: Compressibility effect on Darcy porous convection

abstract: Perfectly incompressible materials do not exist in nature but are a useful approximation of several media which can be deformed in non-isothermal processes but undergo very small volume variation. In this paper the linear analysis of the Darcy-B\'enard problem is performed in the class of extended-quasi-thermal-incompressible fluids, introducing a factor $\beta$ which describes the compressibility of the fluid and plays an essential role in the instability results. In particular, in the Oberbeck-Boussinesq approximation, a more realistic constitutive equation for the fluid density is employed in order to obtain more thermodynamic consistent instability results. Via linear instability analysis of the conduction solution, the critical Rayleigh-Darcy number for the onset of convection is determined as a function of a dimensionless parameter $\widehat{\beta}$ proportional to the compressibility factor $\beta$, proving that $\widehat{\beta}$ enhances the onset of convective motions.


title: Improving the Feasibility of Economical Proton-Boron 11 Fusion via Alpha Channeling with a Hybrid Fast and Thermal Proton Scheme

abstract: The proton-Boron 11 (p-B11) fusion reaction is much harder to harness for commercial power than the easiest fusion reaction, namely the deuterium and tritium (DT) reaction. The p-B11 reaction requires much higher temperatures, and, even at those higher temperatures, the cross section is much smaller. However, as opposed to tritium, the reactants are both abundant and non-radioactive. It is also an aneutronic reaction, thus avoiding radioactivity-inducing neutrons. Economical fusion can only result, however, if the plasma is nearly ignited; in other words if the fusion power is at least nearly equal to the power lost due to radiation and thermal conduction. Because the required temperatures are so high, ignition is thought barely possible for p-B11, with fusion power exceeding the bremsstrahlung power by only around 3\%. We show that there is a high upside to changing the natural flow of power in the reactor, putting more power into protons, and less into the electrons. This redirection can be done using waves, which tap the alpha particle power and redirect it into protons through alpha channeling. Using a simple power balance model, we show that such channeling could reduce the required energy confinement time for ignition by a factor of 2.6 when energy is channeled into thermal protons, and a factor of 6.9 when channeled into fast protons near the peak of the reactivity. Thus, alpha channeling could dramatically improve the feasibility of economical p-B11 fusion energy.


title: Approximate optimality and the risk/reward tradeoff in a class of bandit problems

abstract: This paper studies a sequential decision problem where payoff distributions are known and where the riskiness of payoffs matters. Equivalently, it studies sequential choice from a repeated set of independent lotteries. The decision-maker is assumed to pursue strategies that are approximately optimal for large horizons. By exploiting the tractability afforded by asymptotics, conditions are derived characterizing when specialization in one action or lottery throughout is asymptotically optimal and when optimality requires intertemporal diversification. The key is the constancy or variability of risk attitude. The main technical tool is a new central limit theorem.


title: Revisiting Radial Velocity Measurements of the K2-18 System with the Line-by-Line Framework

abstract: The cross-correlation function and template matching techniques have dominated the world of precision radial velocities for many years. Recently, a new technique, named line-by-line, has been developed as an outlier resistant way to efficiently extract radial velocity content from high resolution spectra. We apply this new method to archival HARPS and CARMENES datasets of the K2-18 system. After reprocessing the HARPS dataset with the line-by-line framework, we are able to replicate the findings of previous studies. Furthermore, by splitting the full wavelength range into sub-domains, we were able to identify a systematic chromatic correlation of the radial velocities in the reprocessed CARMENES dataset. After post-processing the radial velocities to remove this correlation, as well as rejecting some outlier nights, we robustly uncover the signal of both K2-18b and K2-18c, with masses that agree with those found from our analysis of the HARPS dataset. We then combine both the HARPS and CARMENES velocities to refine the parameters of both planets, notably resulting in a revised mass and period for K2-18c of $6.99^{+0.96}_{-0.99}$M$_{Earth}$ and $9.2072\pm0.0065$d, respectively. Our work thoroughly demonstrates the power of the line-by-line technique for the extraction of precision radial velocity information.


title: On Triangular Inequality of the Discounted Least Information Theory of Entropy (DLITE)

abstract: The Discounted Least Information Theory of Entropy (DLITE) is a new information measure that quantifies the amount of entropic difference between two probability distributions. It manifests multiple critical properties both as an information-theoretic quantity and as metric distance. In the report, we provide a proof of the triangular inequality of DLITE's cube root ($\sqrt[3]{DL}$), an important property of a metric, along with alternative proofs for two additional properties.


title: Deep Learning based Super-Resolution for Medical Volume Visualization with Direct Volume Rendering

abstract: Modern-day display systems demand high-quality rendering. However, rendering at higher resolution requires a large number of data samples and is computationally expensive. Recent advances in deep learning-based image and video super-resolution techniques motivate us to investigate such networks for high-fidelity upscaling of frames rendered at a lower resolution to a higher resolution. While our work focuses on super-resolution of medical volume visualization performed with direct volume rendering, it is also applicable for volume visualization with other rendering techniques. We propose a learning-based technique where our proposed system uses color information along with other supplementary features gathered from our volume renderer to learn efficient upscaling of a low-resolution rendering to a higher-resolution space. Furthermore, to improve temporal stability, we also implement the temporal reprojection technique for accumulating history samples in volumetric rendering.


title: A note on k-cyclic modal pseudocomplemented De Morgan algebras

abstract: Symmetric and k-cyclic structure of modal pseudocomplemented De Morgan algebras algebras was introduced previously. In this paper, we first present the construction of epimorphims between finite symmetric (or 2-cyclic) modal pseudocomplemented De Morgan algebras. Furthermore, we compute the cardinality of the set of all epimorphism between finite structures. Secondly, we present the construction of finite free algebras on the variety of k-cyclic modal pseudocomplemented De Morgan algebras and display how our computations are in fact generalizations to others in the literature. Our work is strongly based on the properties of epimorphisms and automorphisms and the fact that the variety is finitely generated.


title: Scissors congruence $K$-theory is a Thom spectrum

abstract: We prove that scissors congruence $K$-theory is a Thom spectrum, whose base is the homotopy orbit space of a flag complex. We use this to show that the higher $K$-groups are rationally, and in the Euclidean case integrally, the homology of the isometry group with Steinberg module coefficients. This allows us to make the first calculations of these groups above $K_1$.


title: Reference Based Color Transfer for Medical Volume Rendering

abstract: The benefits of medical imaging are enormous. Medical images provide considerable amounts of anatomical information and this facilitates medical practitioners in performing effective disease diagnosis and deciding upon the best course of medical treatment. A transition from traditional monochromatic medical images like CT scans, X-Rays or MRI images to a colored 3D representation of the anatomical structure further enhances the capabilities of medical professionals in extracting valuable medical information. The proposed framework in our research starts with performing color transfer by finding deep semantic correspondence between two medical images: a colored reference image, and a monochromatic CT scan or an MRI image. We extend this idea of reference-based colorization technique to perform colored volume rendering from a stack of grayscale medical images. Furthermore, we also propose to use an effective reference image recommendation system to aid in the selection of good reference images. With our approach, we successfully perform colored medical volume visualization and essentially eliminate the painstaking process of user interaction with a transfer function to obtain color and opacity parameters for volume rendering.


title: Model Predictive Control for Flexible Joint Robots

abstract: Modern Lightweight robots are constructed to be collaborative, which often results in a low structural stiffness compared to conventional rigid robots. Therefore, the controller must be able to handle the dynamic oscillatory effect mainly due to the intrinsic joint elasticity. Singular perturbation theory makes it possible to decompose the flexible joint dynamics into fast and slow subsystems. This model separation provides additional features to incorporate future knowledge of the jointlevel dynamical behavior within the controller design using the Model Predictive Control (MPC) technique. In this study, different architectures are considered that combine the method of Singular Perturbation and MPC. For Singular Perturbation, the parameters that influence the validity of using this technique to control a flexible-joint robot are investigated. Furthermore, limits on the input constraints for the future trajectory are considered with MPC. The position control performance and robustness against external forces of each architecture are validated experimentally for a flexible joint robot.


title: Adaptive patch foraging in deep reinforcement learning agents

abstract: Patch foraging is one of the most heavily studied behavioral optimization challenges in biology. However, despite its importance to biological intelligence, this behavioral optimization problem is understudied in artificial intelligence research. Patch foraging is especially amenable to study given that it has a known optimal solution, which may be difficult to discover given current techniques in deep reinforcement learning. Here, we investigate deep reinforcement learning agents in an ecological patch foraging task. For the first time, we show that machine learning agents can learn to patch forage adaptively in patterns similar to biological foragers, and approach optimal patch foraging behavior when accounting for temporal discounting. Finally, we show emergent internal dynamics in these agents that resemble single-cell recordings from foraging non-human primates, which complements experimental and theoretical work on the neural mechanisms of biological foraging. This work suggests that agents interacting in complex environments with ecologically valid pressures arrive at common solutions, suggesting the emergence of foundational computations behind adaptive, intelligent behavior in both biological and artificial agents.


title: Knowledge Distillation approach towards Melanoma Detection

abstract: Melanoma is regarded as the most threatening among all skin cancers. There is a pressing need to build systems which can aid in the early detection of melanoma and enable timely treatment to patients. Recent methods are geared towards machine learning based systems where the task is posed as image recognition, tag dermoscopic images of skin lesions as melanoma or non-melanoma. Even though these methods show promising results in terms of accuracy, they are computationally quite expensive to train, that questions the ability of these models to be deployable in a clinical setting or memory constraint devices. To address this issue, we focus on building simple and performant models having few layers, less than ten compared to hundreds. As well as with fewer learnable parameters, 0.26 million (M) compared to 42.5M using knowledge distillation with the goal to detect melanoma from dermoscopic images. First, we train a teacher model using a ResNet-50 to detect melanoma. Using the teacher model, we train the student model known as Distilled Student Network (DSNet) which has around 0.26M parameters using knowledge distillation achieving an accuracy of 91.7%. We compare against ImageNet pre-trained models such MobileNet, VGG-16, Inception-V3, EfficientNet-B0, ResNet-50 and ResNet-101. We find that our approach works well in terms of inference runtime compared to other pre-trained models, 2.57 seconds compared to 14.55 seconds. We find that DSNet (0.26M parameters), which is 15 times smaller, consistently performs better than EfficientNet-B0 (4M parameters) in both melanoma and non-melanoma detection across Precision, Recall and F1 scores


title: Movement Penalized Bayesian Optimization with Application to Wind Energy Systems

abstract: Contextual Bayesian optimization (CBO) is a powerful framework for sequential decision-making given side information, with important applications, e.g., in wind energy systems. In this setting, the learner receives context (e.g., weather conditions) at each round, and has to choose an action (e.g., turbine parameters). Standard algorithms assume no cost for switching their decisions at every round. However, in many practical applications, there is a cost associated with such changes, which should be minimized. We introduce the episodic CBO with movement costs problem and, based on the online learning approach for metrical task systems of Coester and Lee (2019), propose a novel randomized mirror descent algorithm that makes use of Gaussian Process confidence bounds. We compare its performance with the offline optimal sequence for each episode and provide rigorous regret guarantees. We further demonstrate our approach on the important real-world application of altitude optimization for Airborne Wind Energy Systems. In the presence of substantial movement costs, our algorithm consistently outperforms standard CBO algorithms.


title: Perturbation theory with dispersion and higher cumulants: framework and linear theory

abstract: The standard perturbation theory (SPT) approach to gravitational clustering is based on a fluid approximation of the underlying Vlasov-Poisson dynamics, taking only the zeroth and first cumulant of the phase-space distribution function into account (density and velocity fields). This assumption breaks down when dark matter particle orbits cross and leads to well-known problems, e.g. an anomalously large backreaction of small-scale modes onto larger scales that compromises predictivity. We extend SPT by incorporating second and higher cumulants generated by orbit crossing. For collisionless matter, their equations of motion are completely fixed by the Vlasov-Poisson system, and thus we refer to this approach as Vlasov Perturbation Theory (VPT). Even cumulants develop a background value, and they enter the hierarchy of coupled equations for the fluctuations. The background values are in turn sourced by power spectra of the fluctuations. The latter can be brought into a form that is formally analogous to SPT, but with an extended set of variables and linear as well as non-linear terms, that we derive explicitly. In this paper, we focus on linear solutions, which are far richer than in SPT, showing that modes that cross the dispersion scale set by the second cumulant are highly suppressed. We derive stability conditions on the background values of even cumulants from the requirement that exponential instabilities be absent. We also compute the expected magnitude of averaged higher cumulants for various halo models and show that they satisfy the stability conditions. Finally, we derive self-consistent solutions of perturbations and background values for a scaling universe and study the convergence of the cumulant expansion. The VPT framework provides a conceptually straightforward and deterministic extension of SPT that accounts for the decoupling of small-scale modes.


title: Perturbation theory with dispersion and higher cumulants: non-linear regime

abstract: We present non-linear solutions of Vlasov Perturbation Theory (VPT), describing gravitational clustering of collisionless dark matter with dispersion and higher cumulants induced by orbit crossing. We show that VPT can be cast into a form that is formally analogous to standard perturbation theory (SPT), but including additional perturbation variables, non-linear interactions, and a more complex propagation. VPT non-linear kernels have a crucial decoupling property: for fixed total momentum, the kernels becomes strongly suppressed when any of the individual momenta cross the dispersion scale into the non-linear regime. This screening of UV modes allows us to compute non-linear corrections to power spectra even for cosmologies with very blue power-law input spectra, for which SPT diverges. We compare predictions for the density and velocity divergence power spectra as well as the bispectrum at one-loop order to N-body results in a scaling universe with spectral indices $-1\leq n_s\leq +2$. We find a good agreement up to the non-linear scale for all cases, with a reach that increases with the spectral index $n_s$. We discuss the generation of vorticity as well as vector and tensor modes of the velocity dispersion, showing that neglecting vorticity when including dispersion would lead to a violation of momentum conservation. We verify momentum conservation when including vorticity, and compute the vorticity power spectrum at two-loop order, necessary to recover the correct large-scale limit with slope $n_w=2$. Comparing to our N-body measurements confirms the cross-over from $k^4$ to $k^2$ scaling on large scales. Our results provide a proof-of-principle that perturbative techniques for dark matter clustering can be systematically improved based on the known underlying collisionless dynamics.


title: Where to Begin? On the Impact of Pre-Training and Initialization in Federated Learning

abstract: An oft-cited challenge of federated learning is the presence of heterogeneity. \emph{Data heterogeneity} refers to the fact that data from different clients may follow very different distributions. \emph{System heterogeneity} refers to the fact that client devices have different system capabilities. A considerable number of federated optimization methods address this challenge. In the literature, empirical evaluations usually start federated training from random initialization. However, in many practical applications of federated learning, the server has access to proxy data for the training task that can be used to pre-train a model before starting federated training. We empirically study the impact of starting from a pre-trained model in federated learning using four standard federated learning benchmark datasets. Unsurprisingly, starting from a pre-trained model reduces the training time required to reach a target error rate and enables the training of more accurate models (up to 40\%) than is possible when starting from random initialization. Surprisingly, we also find that starting federated learning from a pre-trained initialization reduces the effect of both data and system heterogeneity. We recommend that future work proposing and evaluating federated optimization methods evaluate the performance when starting from random and pre-trained initializations. We also believe this study raises several questions for further work on understanding the role of heterogeneity in federated optimization.


title: The Cesaro operator

abstract: This survey paper explores various aspects of the Cesaro operator and how it relates to various areas of functional analysis and linear algebra.


title: Probably Approximately Correct Nonlinear Model Predictive Control (PAC-NMPC)

abstract: Approaches for stochastic nonlinear model predictive control (SNMPC) typically make restrictive assumptions about the system dynamics and rely on approximations to characterize the evolution of the underlying uncertainty distributions. For this reason, they are often unable to capture more complex distributions (e.g., non-Gaussian or multi-modal) and cannot provide accurate guarantees of performance. In this paper, we present a sampling-based SNMPC approach that leverages recently derived sample complexity bounds to certify the performance of a feedback policy without making assumptions about the system dynamics or underlying uncertainty distributions. By parallelizing our approach, we are able to demonstrate real-time receding-horizon SNMPC with statistical safety guarantees in simulation and on hardware using a 1/10th scale rally car and a 24-inch wingspan fixed-wing unmanned aerial vehicle (UAV).


title: Spatial and Statistical Modeling of Multi-Panel Millimeter Wave Self-Interference

abstract: Characterizing self-interference is essential to the design and evaluation of in-band full-duplex communication systems. Until now, little has been understood about this coupling in full-duplex systems operating at millimeter wave (mmWave) frequencies, and it has been shown that the highly-idealized models proposed for such do not align with practice. This work presents the first spatial and statistical model of mmWave self-interference backed by measurements, enabling engineers to draw realizations that exhibit the large-scale and small-scale spatial characteristics observed in our nearly 6.5 million measurements taken at 28 GHz. Core to our model is its use of system and model parameters having real-world meaning, which facilitates its extension to systems beyond our own phased array platform through proper parameterization. We demonstrate this by collecting nearly 13 million additional measurements to show that our model can generalize to two other system configurations. We assess our model by comparing it against actual measurements to confirm its ability to align spatially and in distribution with real-world self-interference. In addition, using both measurements and our model of self-interference, we evaluate an existing beamforming-based full-duplex mmWave solution to illustrate that our model can be reliably used to design new solutions and validate the performance improvements they may offer.


title: Full-Duplex Transceivers for Next-Generation Wireless Communication Systems

abstract: Wireless communication systems can be enhanced at the link level, in medium access, and at the network level when transceivers are equipped with full-duplex capability: the transformative ability to simultaneously transmit and receive over the same frequency spectrum. Effective methods to cancel self-interference are required to facilitate full-duplex operation, which we overview herein in the context of traditional radios, along with those in next-generation wireless networks. We highlight advances in self-interference cancellation that leverage machine learning, and we summarize key considerations and recent progress in full-duplex millimeter-wave systems and their application in integrated access and backhaul. We present example design problems and noteworthy findings from recent experimental research to introduce and motivate the advancement of full-duplex millimeter-wave systems. We conclude this chapter by forecasting the future of full-duplex and outlining important research directions that warrant further study.


title: Bayesian Spline Learning for Equation Discovery of Nonlinear Dynamics with Quantified Uncertainty

abstract: Nonlinear dynamics are ubiquitous in science and engineering applications, but the physics of most complex systems is far from being fully understood. Discovering interpretable governing equations from measurement data can help us understand and predict the behavior of complex dynamic systems. Although extensive work has recently been done in this field, robustly distilling explicit model forms from very sparse data with considerable noise remains intractable. Moreover, quantifying and propagating the uncertainty of the identified system from noisy data is challenging, and relevant literature is still limited. To bridge this gap, we develop a novel Bayesian spline learning framework to identify parsimonious governing equations of nonlinear (spatio)temporal dynamics from sparse, noisy data with quantified uncertainty. The proposed method utilizes spline basis to handle the data scarcity and measurement noise, upon which a group of derivatives can be accurately computed to form a library of candidate model terms. The equation residuals are used to inform the spline learning in a Bayesian manner, where approximate Bayesian uncertainty calibration techniques are employed to approximate posterior distributions of the trainable parameters. To promote the sparsity, an iterative sequential-threshold Bayesian learning approach is developed, using the alternative direction optimization strategy to systematically approximate L0 sparsity constraints. The proposed algorithm is evaluated on multiple nonlinear dynamical systems governed by canonical ordinary and partial differential equations, and the merit/superiority of the proposed method is demonstrated by comparison with state-of-the-art methods.


title: Bayesian Covariate-Dependent Quantile Directed Acyclic Graphical Models for Individualized Inference

abstract: We propose an approach termed ``qDAGx'' for Bayesian covariate-dependent quantile directed acyclic graphs (DAGs) where these DAGs are individualized, in the sense that they depend on individual-specific covariates. The individualized DAG structure of the proposed approach can be uniquely identified at any given quantile, based on purely observational data without strong assumptions such as a known topological ordering. To scale the proposed method to a large number of variables and covariates, we propose for the model parameters a novel parameter expanded horseshoe prior that affords a number of attractive theoretical and computational benefits to our approach. By modeling the conditional quantiles, qDAGx overcomes the common limitations of mean regression for DAGs, which can be sensitive to the choice of likelihood, e.g., an assumption of multivariate normality, as well as to the choice of priors. We demonstrate the performance of qDAGx through extensive numerical simulations and via an application in precision medicine, which infers patient-specific protein--protein interaction networks in lung cancer.


title: TestAug: A Framework for Augmenting Capability-based NLP Tests

abstract: The recently proposed capability-based NLP testing allows model developers to test the functional capabilities of NLP models, revealing functional failures that cannot be detected by the traditional heldout mechanism. However, existing work on capability-based testing requires extensive manual efforts and domain expertise in creating the test cases. In this paper, we investigate a low-cost approach for the test case generation by leveraging the GPT-3 engine. We further propose to use a classifier to remove the invalid outputs from GPT-3 and expand the outputs into templates to generate more test cases. Our experiments show that TestAug has three advantages over the existing work on behavioral testing: (1) TestAug can find more bugs than existing work; (2) The test cases in TestAug are more diverse; and (3) TestAug largely saves the manual efforts in creating the test suites. The code and data for TestAug can be found at our project website (https://guanqun-yang.github.io/testaug/) and GitHub (https://github.com/guanqun-yang/testaug).


title: Liouville Theory and the Weil-Petersson Geometry of Moduli Space

abstract: Liouville theory describes the dynamics of surfaces with constant negative curvature and can be used to study the Weil-Petersson geometry of the moduli space of Riemann surfaces. This leads to an efficient algorithm to compute the Weil--Petersson metric to arbitrary accuracy using Zamolodchikov's recursion relation for conformal blocks. For example, we compute the metric on $\mathcal M_{0,4}$ numerically to high accuracy by considering Liouville theory on a sphere with four punctures. We numerically compute the eigenvalues of the Weil-Petersson Laplacian, and find evidence that the obey the statistics of a random matrix in the Gaussian Orthogonal Ensemble.


title: Combining band-frequency separation and deep neural networks for optoacoustic imaging

abstract: In this paper we consider the problem of image reconstruction in optoacoustic tomography. In particular, we devise a deep neural architecture that can explicitly take into account the band-frequency information contained in the sinogram. This is accomplished by two means. First, we jointly use a linear filtered back-projection method and a fully dense UNet for the generation of the images corresponding to each one of the frequency bands considered in the separation. Secondly, in order to train the model, we introduce a special loss function consisting of three terms: (i) a separating frequency bands term; (ii) a sinogram-based consistency term and (iii) a term that directly measures the quality of image reconstruction and which takes advantage of the presence of ground-truth images present in training dataset. Numerical experiments show that the proposed model, which can be easily trainable by standard optimization methods, presents an excellent generalization performance quantified by a number of metrics commonly used in practice. Also, in the testing phase, our solution has a comparable (in some cases lower) computational complexity, which is a desirable feature for real-time implementation of optoacoustic imaging.


title: How to build a magnetometer with thermal atomic vapor: A tutorial

abstract: This article is designed as a step-by-step guide to optically pumped magnetometers based on alkali atomic vapor cells. We begin with a general introduction to atomic magneto-optical response, as well as expected magnetometer performance merits and how they are affected by main sources of noise. This is followed by a brief comparison of different magnetometer realizations and an overview of current research, with the aim of helping readers to identify the most suitable magnetometer type for specific applications. Next, we discuss some practical considerations for experimental implementations, using the case of an $M_z$ magnetometer as an example of the design process. Finally, an interactive workbook with real magnetometer data is provided to illustrate magnetometer-performance analysis.


title: Budget-Aware Pruning for Multi-Domain Learning

abstract: Deep learning has achieved state-of-the-art performance on several computer vision tasks and domains. Nevertheless, it still has a high computational cost and demands a significant amount of parameters. Such requirements hinder the use in resource-limited environments and demand both software and hardware optimization. Another limitation is that deep models are usually specialized into a single domain or task, requiring them to learn and store new parameters for each new one. Multi-Domain Learning (MDL) attempts to solve this problem by learning a single model that is capable of performing well in multiple domains. Nevertheless, the models are usually larger than the baseline for a single domain. This work tackles both of these problems: our objective is to prune models capable of handling multiple domains according to a user defined budget, making them more computationally affordable while keeping a similar classification performance. We achieve this by encouraging all domains to use a similar subset of filters from the baseline model, up to the amount defined by the user's budget. Then, filters that are not used by any domain are pruned from the network. The proposed approach innovates by better adapting to resource-limited devices while, to our knowledge, being the only work that is capable of handling multiple domains at test time with fewer parameters and lower computational complexity than the baseline model for a single domain.


title: Central pattern generators evolved for real-time adaptation to rhythmic stimuli

abstract: For a robot to be both autonomous and collaborative requires the ability to adapt its movement to a variety of external stimuli, whether these come from humans or other robots. Typically, legged robots have oscillation periods explicitly defined as a control parameter, limiting the adaptability of walking gaits. Here we demonstrate a virtual quadruped robot employing a bio-inspired central pattern generator (CPG) that can spontaneously synchronize its movement to a range of rhythmic stimuli. Multi-objective evolutionary algorithms were used to optimize the variation of movement speed and direction as a function of the brain stem drive and the center of mass control respectively. This was followed by optimization of an additional layer of neurons that filters fluctuating inputs. As a result, a range of CPGs were able to adjust their gait pattern and/or frequency to match the input period. We show how this can be used to facilitate coordinated movement despite differences in morphology, as well as to learn new movement patterns.


title: High-resolution synthetic residential energy use profiles for the United States

abstract: Efficient energy consumption is crucial for achieving sustainable energy goals in the era of climate change and grid modernization. Thus, it is vital to understand how energy is consumed at finer resolutions such as household in order to plan demand-response events or analyze the impacts of weather, electricity prices, electric vehicles, solar, and occupancy schedules on energy consumption. However, availability and access to detailed energy-use data, which would enable detailed studies, has been rare. In this paper, we release a unique, large-scale, synthetic, residential energy-use dataset for the residential sector across the contiguous United States covering millions of households. The data comprise of hourly energy use profiles for synthetic households, disaggregated into Thermostatically Controlled Loads (TCL) and appliance use. The underlying framework is constructed using a bottom-up approach. Diverse open-source surveys and first principles models are used for end-use modeling. Extensive validation of the synthetic dataset has been conducted through comparisons with reported energy-use data. We present a detailed, open, high-resolution, residential energy-use dataset for the United States.


title: Gibbs Sampling of Periodic Potentials on a Quantum Computer

abstract: Gibbs sampling from continuous real-valued functions is a challenging problem of interest in machine learning. Here we leverage quantum Fourier transforms to build a quantum algorithm for this task when the function is periodic. We use the quantum algorithms for solving linear ordinary differential equations to solve the Fokker--Planck equation and prepare a quantum state encoding the Gibbs distribution. We show that the efficiency of interpolation and differentiation of these functions on a quantum computer depends on the rate of decay of the Fourier coefficients of the Fourier transform of the function. We view this property as a concentration of measure in the Fourier domain, and also provide functional analytic conditions for it. Our algorithm makes zeroeth order queries to a quantum oracle of the function. Despite suffering from an exponentially long mixing time, this algorithm allows for exponentially improved precision in sampling, and polynomial quantum speedups in mean estimation in the general case, and particularly under geometric conditions we identify for the critical points of the energy function.


title: Stellar structure model in the post-Newtonian approximation

abstract: In this work the influence of the post-Newtonian corrections to the equations of stellar structure is analysed. The post-Newtonian Lane-Emden equation follows from the corresponding momentum density balance equation. From a polytropic equation of state the solutions of the Lane-Endem equations in the Newtonian and post-Newtonian theories are determined and the physical quantities for the \textit{Sun}, for the white dwarf \textit{Sirius B} and for neutron stars with masses $M\simeq1.4M_\odot, 1.8M_\odot$ and $2.0M_\odot$ are calculated. It is shown that the post-Newtonian corrections to the fields of mass density, pressure and temperature are negligible for the \textit{Sun} and \textit{Sirius B}, but for stars with strong fields the differences become important. For the neutron stars analysed here the central pressure and the central temperature which follow from the post-Newtonian Lane-Emden equation are about fifty to sixty percent greater than those of the Newtonian theory and the central mass density is about three to four percent smaller.


title: A Primal-Dual Algorithm for Hybrid Federated Learning

abstract: Very few methods for hybrid federated learning, where clients only hold subsets of both features and samples, exist. Yet, this scenario is extremely important in practical settings. We provide a fast, robust algorithm for hybrid federated learning that hinges on Fenchel Duality. We prove the convergence of the algorithm to the same solution as if the model is trained centrally in a variety of practical regimes. Furthermore, we provide experimental results that demonstrate the performance improvements of the algorithm over a commonly used method in federated learning, FedAvg, and an existing hybrid FL algorithm, HyFEM. We also provide privacy considerations and necessary steps to protect client data.


title: Approximation Algorithms for Robot Tours in Random Fields with Guaranteed Estimation Accuracy

abstract: We study the sample placement and shortest tour problem for robots tasked with mapping environmental phenomena modeled as stationary random fields. The objective is to minimize the resources used (samples or tour length) while guaranteeing estimation accuracy. We give approximation algorithms for both problems in convex environments. These improve previously known results, both in terms of theoretical guarantees and in simulations. In addition, we disprove an existing claim in the literature on a lower bound for a solution to the sample placement problem.


title: Effects of different 3D QED vertex ansaetze on critical coupling

abstract: We study the semi-metal/insulator phase transition in graphene using a Schwinger-Dyson approach. We consider various forms of vertex ansaetze to truncate the hierarchy of Schwinger-Dyson equations. We define a Ball-Chiu type vertex that truncates the equations without violating gauge invariance. We show that there is a family of these vertices, parametrized by a continuous parameter that we call a, all of which satisfy the Ward identity. We have calculated the critical coupling of the phase transition using different values of a. We have also tested a common approximation in which only the first term in the Ball-Chiu ansatz is included. This vertex is independent of a, and, although it is not gauge invariant, it has been used many times in the literature because of the numerical simplifications it provides. We have found that, with a one-loop photon polarization tensor, the results obtained for the critical coupling from the truncated vertex and the full vertex with a = 1 agree very well, but other values of a give significantly different results. We have also done a fully self-consistent calculation, in which the photons are backcoupled to the fermion degrees of freedom, for one choice a = 1. Our results show that when photon dynamics are correctly taken into account, it is no longer true that the truncated vertex and the full Ball-Chiu vertex with a = 1 agree well. The conclusion is that traditional vertex truncations do not really make sense in a system that does not respect Lorentz invariance, like graphene, and the need to include vertex contributions self-consistently is likely inescapable.


title: The Contribution of In-situ and Ex-situ Star Formation in Early-Type Galaxies: MaNGA versus IllustrisTNG

abstract: We compare stellar mass surface density, metallicity, age, and line-of-sight velocity dispersion profiles in massive ($M_*\geq10^{10.5}\,\mathrm{M_\odot}$) present-day early-type galaxies (ETGs) from the MaNGA survey with simulated galaxies from the TNG100 simulation of the IllustrisTNG suite. We find an excellent agreement between the stellar mass surface density profiles of MaNGA and TNG100 ETGs, both in shape and normalisation. Moreover, TNG100 reproduces the shapes of the profiles of stellar metallicity and age, as well as the normalisation of velocity dispersion distributions of MaNGA ETGs. We generally also find good agreement when comparing the stellar profiles of central and satellite galaxies between MaNGA and TNG100. An exception is the velocity dispersion profiles of very massive ($M_*\gtrsim10^{11.5}\,\mathrm{M_\odot}$) central galaxies, which, on average, are significantly higher in TNG100 than in MaNGA ($\approx50\,\mathrm{km\,s^{-1}}$). We study the radial profiles of $\mathit{in}$-$\mathit{situ}$ and $\mathit{ex}$-$\mathit{situ}$ stars in TNG100 and discuss the extent to which each population contributes to the observed MaNGA profiles. Our analysis lends significant support to the idea that high-mass ($M_*\gtrsim10^{11}\,\mathrm{M_\odot}$) ETGs in the present-day Universe are the result of a merger-driven evolution marked by major mergers that tend to homogenise the stellar populations of the progenitors in the merger remnant.


title: A Multistep Frank-Wolfe Method

abstract: The Frank-Wolfe algorithm has regained much interest in its use in structurally constrained machine learning applications. However, one major limitation of the Frank-Wolfe algorithm is the slow local convergence property due to the zig-zagging behavior. We observe the zig-zagging phenomenon in the Frank-Wolfe method as an artifact of discretization, and propose multistep Frank-Wolfe variants where the truncation errors decay as $O(\Delta^p)$, where $p$ is the method's order. This strategy "stabilizes" the method, and allows tools like line search and momentum to have more benefits. However, our results suggest that the worst case convergence rate of Runge-Kutta-type discretization schemes cannot improve upon that of the vanilla Frank-Wolfe method for a rate depending on $k$. Still, we believe that this analysis adds to the growing knowledge of flow analysis for optimization methods, and is a cautionary tale on the ultimate usefulness of multistep methods.


title: Integrable Whole-body Orientation Coordinates for Legged Robots

abstract: Complex multibody legged robots can have complex rotational control challenges. In this paper, we propose a concise way to understand and formulate a \emph{whole-body orientation} that (i) depends on system configuration only and not a history of motion, (ii) can be representative of the orientation of the entire system while not being attached to any specific link, and (iii) has a rate of change that approximates total system angular momentum. We relate this orientation coordinate to past work, and discuss and demonstrate, including on hardware, several different uses for it.


title: Stress percolation criticality of glass to fluid transition in active cell layers

abstract: Using three-dimensional representation of confluent cell layers, we map the amorphous solid to fluid phase transition in active cell layers onto the two-dimensional (2D) site percolation universality class. Importantly, we unify two distinct, predominant, pathways associated with this transition; namely (i) cell-cell adhesion and (ii) active traction forces. For each pathway, we independently vary the corresponding control parameter and focus on the emergent mechanical stress patterns as the monolayer transitions from a glassy- to a fluid-like state. Through finite-size scaling analyses, our results lead us to establish the glassy- to fluid-like transition as a critical phenomena in terms of stress development in the cell layer and show that the associated criticality belongs to the 2D site percolation universality class. Our findings offer a fresh perspective on solid (glass-like) to fluid phase transition in active cell layers and can bridge our understanding of glassy behaviors in active matter with potential implications in biological processes such as wound healing, development, and cancer progression.


title: Instance Segmentation with Cross-Modal Consistency

abstract: Segmenting object instances is a key task in machine perception, with safety-critical applications in robotics and autonomous driving. We introduce a novel approach to instance segmentation that jointly leverages measurements from multiple sensor modalities, such as cameras and LiDAR. Our method learns to predict embeddings for each pixel or point that give rise to a dense segmentation of the scene. Specifically, our technique applies contrastive learning to points in the scene both across sensor modalities and the temporal domain. We demonstrate that this formulation encourages the models to learn embeddings that are invariant to viewpoint variations and consistent across sensor modalities. We further demonstrate that the embeddings are stable over time as objects move around the scene. This not only provides stable instance masks, but can also provide valuable signals to downstream tasks, such as object tracking. We evaluate our method on the Cityscapes and KITTI-360 datasets. We further conduct a number of ablation studies, demonstrating benefits when applying additional inputs for the contrastive loss.


title: QuAnt: Quantum Annealing with Learnt Couplings

abstract: Modern quantum annealers can find high-quality solutions to combinatorial optimisation objectives given as quadratic unconstrained binary optimisation (QUBO) problems. Unfortunately, obtaining suitable QUBO forms in computer vision remains challenging and currently requires problem-specific analytical derivations. Moreover, such explicit formulations impose tangible constraints on solution encodings. In stark contrast to prior work, this paper proposes to learn QUBO forms from data through gradient backpropagation instead of deriving them. As a result, the solution encodings can be chosen flexibly and compactly. Furthermore, our methodology is general and virtually independent of the specifics of the target problem type. We demonstrate the advantages of learnt QUBOs on the diverse problem types of graph matching, 2D point cloud alignment and 3D rotation estimation. Our results are competitive with the previous quantum state of the art while requiring much fewer logical and physical qubits, enabling our method to scale to larger problems. The code and the new dataset will be open-sourced.


title: Censored Deep Reinforcement Patrolling with Information Criterion for Monitoring Large Water Resources using Autonomous Surface Vehicles

abstract: Monitoring and patrolling large water resources is a major challenge for conservation. The problem of acquiring data of an underlying environment that usually changes within time involves a proper formulation of the information. The use of Autonomous Surface Vehicles equipped with water quality sensor modules can serve as an early-warning system agents for contamination peak-detection, algae blooms monitoring, or oil-spill scenarios. In addition to information gathering, the vehicle must plan routes that are free of obstacles on non-convex maps. This work proposes a framework to obtain a collision-free policy that addresses the patrolling task for static and dynamic scenarios. Using information gain as a measure of the uncertainty reduction over data, it is proposed a Deep Q-Learning algorithm improved by a Q-Censoring mechanism for model-based obstacle avoidance. The obtained results demonstrate the usefulness of the proposed algorithm for water resource monitoring for static and dynamic scenarios. Simulations showed the use of noise-networks are a good choice for enhanced exploration, with 3 times less redundancy in the paths. Previous coverage strategies are also outperformed both in the accuracy of the obtained contamination model by a 13% on average and by a 37% in the detection of dangerous contamination peaks. Finally, these results indicate the appropriateness of the proposed framework for monitoring scenarios with autonomous vehicles.


title: A Low-cost Humanoid Prototype Intended to assist people with disability using Raspberry Pi

abstract: This paper will try to delineate the making of a Humanoid prototype intended to assist people with disability (PWD). The assistance that this prototype will offer is rather rudimentary. However, our key focus is to make the prototype cost-friendly while pertaining to its humanoid-like functionalities. Considering growing needs of Robots, facilities for further installment of features have been made available in this project. The prototype will be of humanoid shape harnessing the power of Artificial Neural Network (ANN) to converse with the users. The prototype uses a raspberry pi and as the computational capability of a raspberry pi is minimal, we cut corners to squeeze the last drop of performance and make it as efficient as possible.


title: An Improved Multi-State Constraint Kalman Filter for Visual-Inertial Odometry

abstract: Fast pose estimation (PE) is of vital importance for successful mission performance of agile autonomous robots. Global Positioning Systems such as GPS and GNSS have been typically used in fusion with Inertial Navigation Systems (INS) for PE. However, the low update rate and lack of proper signals make their utility impractical for indoor and urban applications. On the other hand, Visual-Inertial Odometry (VIO) is gaining popularity as a practical alternative for GNSS/INS systems in GPS-denied environments. Among the many VIO-based methods, the Multi-State Constraint Kalman Filter (MSCKF) has received a greater attention due to its robustness, speed and accuracy. To this end, the high computational cost associated with image processing for real-time implementation of MSCKF on resource-constrained vehicles is still a challenging ongoing research. In this paper, an enhanced version of the MSCKF is proposed. To this aim, different feature marginalization and state pruning strategies are suggested that result in a much faster algorithm. The proposed algorithm is tested both on an open-source dataset and in real-world experiments for validation. It is demonstrated that the proposed Fast-MSCKF (FMSCKF) is about six times faster and at least 20% more accurate in final position estimation than the standard MSCKF algorithm.


title: TraInterSim: Adaptive and Planning-Aware Hybrid-Driven Traffic Intersection Simulation

abstract: Traffic intersections are important scenes that can be seen almost everywhere in the traffic system. Currently, most simulation methods perform well at highways and urban traffic networks. In intersection scenarios, the challenge lies in the lack of clearly defined lanes, where agents with various motion plannings converge in the central area from different directions. Traditional model-based methods are difficult to drive agents to move realistically at intersections without enough predefined lanes, while data-driven methods often require a large amount of high-quality input data. Simultaneously, tedious parameter tuning is inevitable involved to obtain the desired simulation results. In this paper, we present a novel adaptive and planning-aware hybrid-driven method (TraInterSim) to simulate traffic intersection scenarios. Our hybrid-driven method combines an optimization-based data-driven scheme with a velocity continuity model. It guides the agent's movements using real-world data and can generate those behaviors not present in the input data. Our optimization method fully considers velocity continuity, desired speed, direction guidance, and planning-aware collision avoidance. Agents can perceive others' motion planning and relative distance to avoid possible collisions. To preserve the individual flexibility of different agents, the parameters in our method are automatically adjusted during the simulation. TraInterSim can generate realistic behaviors of heterogeneous agents in different traffic intersection scenarios in interactive rates. Through extensive experiments as well as user studies, we validate the effectiveness and rationality of the proposed simulation method.


title: A Survey on Knowledge Graph-based Methods for Automated Driving

abstract: Automated driving is one of the most active research areas in computer science. Deep learning methods have made remarkable breakthroughs in machine learning in general and in automated driving (AD)in particular. However, there are still unsolved problems to guarantee reliability and safety of automated systems, especially to effectively incorporate all available information and knowledge in the driving task. Knowledge graphs (KG) have recently gained significant attention from both industry and academia for applications that benefit by exploiting structured, dynamic, and relational data. The complexity of graph-structured data with complex relationships and inter-dependencies between objects has posed significant challenges to existing machine learning algorithms. However, recent progress in knowledge graph embeddings and graph neural networks allows to applying machine learning to graph-structured data. Therefore, we motivate and discuss the potential benefit of KGs applied to the main tasks of AD including 1) ontologies 2) perception, 3) scene understanding, 4) motion planning, and 5) validation. Then, we survey, analyze and categorize ontologies and KG-based approaches for AD. We discuss current research challenges and propose promising future research directions for KG-based solutions for AD.


title: Towards a Fully Autonomous UAV Controller for Moving Platform Detection and Landing

abstract: While Unmanned Aerial Vehicles (UAVs) are increasingly deployed in several missions, their inability of reliable and consistent autonomous landing poses a major setback for deploying such systems truly autonomously. In this paper we present an autonomous UAV landing system for landing on a moving platform. In contrast to existing attempts, the proposed system relies only on the camera sensor, and has been designed as lightweight as possible. The proposed system can be deployed on a low power platform as part of the drone payload, whilst being indifferent to any external communication or any other sensors. The system relies on a Neural Network (NN) based controller, for which a target and environment agnostic simulator was created, used in training and testing of the proposed system, via Reinforcement Learning (RL) and Proximal Policy optimization (PPO) to optimally control and steer the drone towards landing on the target. Through real-world testing, the system was evaluated with an average deviation of 15cm from the center of the target, for 40 landing attempts.


title: Inferring Versatile Behavior from Demonstrations by Matching Geometric Descriptors

abstract: Humans intuitively solve tasks in versatile ways, varying their behavior in terms of trajectory-based planning and for individual steps. Thus, they can easily generalize and adapt to new and changing environments. Current Imitation Learning algorithms often only consider unimodal expert demonstrations and act in a state-action-based setting, making it difficult for them to imitate human behavior in case of versatile demonstrations. Instead, we combine a mixture of movement primitives with a distribution matching objective to learn versatile behaviors that match the expert's behavior and versatility. To facilitate generalization to novel task configurations, we do not directly match the agent's and expert's trajectory distributions but rather work with concise geometric descriptors which generalize well to unseen task configurations. We empirically validate our method on various robot tasks using versatile human demonstrations and compare to imitation learning algorithms in a state-action setting as well as a trajectory-based setting. We find that the geometric descriptors greatly help in generalizing to new task configurations and that combining them with our distribution-matching objective is crucial for representing and reproducing versatile behavior.


title: Old can be Gold: Better Gradient Flow can Make Vanilla-GCNs Great Again

abstract: Despite the enormous success of Graph Convolutional Networks (GCNs) in modeling graph-structured data, most of the current GCNs are shallow due to the notoriously challenging problems of over-smoothening and information squashing along with conventional difficulty caused by vanishing gradients and over-fitting. Previous works have been primarily focused on the study of over-smoothening and over-squashing phenomena in training deep GCNs. Surprisingly, in comparison with CNNs/RNNs, very limited attention has been given to understanding how healthy gradient flow can benefit the trainability of deep GCNs. In this paper, firstly, we provide a new perspective of gradient flow to understand the substandard performance of deep GCNs and hypothesize that by facilitating healthy gradient flow, we can significantly improve their trainability, as well as achieve state-of-the-art (SOTA) level performance from vanilla-GCNs. Next, we argue that blindly adopting the Glorot initialization for GCNs is not optimal, and derive a topology-aware isometric initialization scheme for vanilla-GCNs based on the principles of isometry. Additionally, contrary to ad-hoc addition of skip-connections, we propose to use gradient-guided dynamic rewiring of vanilla-GCNs} with skip connections. Our dynamic rewiring method uses the gradient flow within each layer during training to introduce on-demand skip-connections adaptively. We provide extensive empirical evidence across multiple datasets that our methods improve gradient flow in deep vanilla-GCNs and significantly boost their performance to comfortably compete and outperform many fancy state-of-the-art methods. Codes are available at: https://github.com/VITA-Group/GradientGCN.


title: Keypoint Cascade Voting for Point Cloud Based 6DoF Pose Estimation

abstract: We propose a novel keypoint voting 6DoF object pose estimation method, which takes pure unordered point cloud geometry as input without RGB information. The proposed cascaded keypoint voting method, called RCVPose3D, is based upon a novel architecture which separates the task of semantic segmentation from that of keypoint regression, thereby increasing the effectiveness of both and improving the ultimate performance. The method also introduces a pairwise constraint in between different keypoints to the loss function when regressing the quantity for keypoint estimation, which is shown to be effective, as well as a novel Voter Confident Score which enhances both the learning and inference stages. Our proposed RCVPose3D achieves state-of-the-art performance on the Occlusion LINEMOD (74.5%) and YCB-Video (96.9%) datasets, outperforming existing pure RGB and RGB-D based methods, as well as being competitive with RGB plus point cloud methods.


title: A quantum phase transition in the one-dimensional water chain

abstract: The concept of quantum phase transitions (QPT) plays a central role in the description of condensed matter systems. In this contribution, we perform high-quality wavefunction-based simulations to demonstrate the existence of a quantum phase transition in a crucially relevant molecular system, namely water, forming linear chains of rotating molecules. We determine various critical exponents and reveal the water chain QPT to belong to the (1+1) dimensional Ising universality class. Furthermore, the effect of breaking symmetries is examined and it is shown that by breaking the inversion symmetry, the ground state degeneracy of the ordered quantum phase is lifted to yield two many-body states with opposite polarization. The possibility of forming ferroelectric phases together with a thermal stability of the quantum critical regime up to ~10 K makes the linear water chain a promising candidate as a platform for quantum devices.


title: Accretion-Induced Collapse of White Dwarfs as an Alternative Symbiotic Channel to Millisecond Pulsars

abstract: Recently, extra motivation has been given to the investigations of an unresolved problem of millisecond pulsars (MSPs) produced by the recycling process, as an apparent role of the accretion-induced collapse (AIC) in white dwarfs (WDs) was suggested to this concern. I have found that the distribution of the orbital periods of binary MSPs in the Galactic disk closely follows an exponential distribution. I have also determined the best-fit mean value of Nobs by fitting our data with an exponential distribution for the MSP population. As a result, it can be stated that reaching the Chandrasekhar limit may cause an explosion of a massive WD as a Type Ia supernova (in the case of a CO WD) or an ignition of a ONeMg WD, and possibly merging in some CO WDs, all resulting in peculiar MSP systems. A possible formation scenario, where the system has a circular orbit during this evolutionary stage, is discussed.


title: Geometric Reinforcement Learning For Robotic Manipulation

abstract: Reinforcement learning (RL) is a popular technique that allows an agent to learn by trial and error while interacting with a dynamic environment. The traditional Reinforcement Learning (RL) approach has been successful in learning and predicting Euclidean robotic manipulation skills such as positions, velocities, and forces. However, in robotics, it is common to encounter non-Euclidean data such as orientation or stiffness, and failing to account for their geometric nature can negatively impact learning accuracy and performance. In this paper, to address this challenge, we propose a novel framework for RL that leverages Riemannian geometry, which we call Geometric Reinforcement Learning (G-RL), to enable agents to learn robotic manipulation skills with non-Euclidean data. Specifically, G-RL utilizes the tangent space in two ways: a tangent space for parameterization and a local tangent space for mapping to a nonEuclidean manifold. The policy is learned in the parameterization tangent space, which remains constant throughout the training. The policy is then transferred to the local tangent space via parallel transport and projected onto the non-Euclidean manifold. The local tangent space changes over time to remain within the neighborhood of the current manifold point, reducing the approximation error. Therefore, by introducing a geometrically grounded pre- and post-processing step into the traditional RL pipeline, our G-RL framework enables several model-free algorithms designed for Euclidean space to learn from non-Euclidean data without modifications. Experimental results, obtained both in simulation and on a real robot, support our hypothesis that G-RL is more accurate and converges to a better solution than approximating non-Euclidean data.


title: Reflections on trusting distributed trust

abstract: Many systems today distribute trust across multiple parties such that the system provides certain security properties if a subset of the parties are honest. In the past few years, we have seen an explosion of academic and industrial cryptographic systems built on distributed trust, including secure multi-party computation applications (e.g., private analytics, secure learning, and private key recovery) and blockchains. These systems have great potential for improving security and privacy, but face a significant hurdle on the path to deployment. We initiate study of the following problem: a single organization is, by definition, a single party, and so how can a single organization build a distributed-trust system where corruptions are independent? We instead consider an alternative formulation of the problem: rather than ensuring that a distributed-trust system is set up correctly by design, what if instead, users can audit a distributed-trust deployment? We propose a framework that enables a developer to efficiently and cheaply set up any distributed-trust system in a publicly auditable way. To do this, we identify two application-independent building blocks that we can use to bootstrap arbitrary distributed-trust applications: secure hardware and an append-only log. We show how to leverage existing implementations of these building blocks to deploy distributed-trust systems, and we give recommendations for infrastructure changes that would make it easier to deploy distributed-trust systems in the future.


title: On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge

abstract: Let $L$ be a finite lattice and $\mathcal{E}(L)$ be the set of join endomorphisms of $L$. We consider the problem of given $L$ and $f,g \in \mathcal{E}(L)$, finding the greatest lower bound $f \sqcap_{{\scriptsize \mathcal{E}(L)}} g$ in the lattice $\mathcal{E}(L)$. (1) We show that if $L$ is distributive, the problem can be solved in time $O(n)$ where $n=| L |$. The previous upper bound was $O(n^2)$. (2) We provide new algorithms for arbitrary lattices and give experimental evidence that they are significantly faster than the existing algorithm. (3) We characterize the standard notion of distributed knowledge of a group as the greatest lower bound of the join-endomorphisms representing the knowledge of each member of the group. (4) We show that deciding whether an agent has the distributed knowledge of two other agents can be computed in time $O(n^2)$ where $n$ is the size of the underlying set of states. (5) For the special case of $S5$ knowledge, we show that it can be decided in time $O(n\alpha_{n})$ where $\alpha_{n}$ is the inverse of the Ackermann function.


title: TweetNERD -- End to End Entity Linking Benchmark for Tweets

abstract: Named Entity Recognition and Disambiguation (NERD) systems are foundational for information retrieval, question answering, event detection, and other natural language processing (NLP) applications. We introduce TweetNERD, a dataset of 340K+ Tweets across 2010-2021, for benchmarking NERD systems on Tweets. This is the largest and most temporally diverse open sourced dataset benchmark for NERD on Tweets and can be used to facilitate research in this area. We describe evaluation setup with TweetNERD for three NERD tasks: Named Entity Recognition (NER), Entity Linking with True Spans (EL), and End to End Entity Linking (End2End); and provide performance of existing publicly available methods on specific TweetNERD splits. TweetNERD is available at: https://doi.org/10.5281/zenodo.6617192 under Creative Commons Attribution 4.0 International (CC BY 4.0) license. Check out more details at https://github.com/twitter-research/TweetNERD.


title: An extension of the Thurston metric to projective filling currents

abstract: We study the geometry of the space of projectivized filling geodesic currents $\mathbb P \mathcal C_{fill}(S)$. Bonahon showed that Teichm\"uller space, $\mathcal T(S)$ embeds into $\mathbb P \mathcal C_{fill}(S)$. We extend the symmetrized Thurston metric from $\mathcal T(S)$ to the entire (projectivized) space of filling currents, and we show that $\mathcal T(S)$ is isometrically embedded into the bigger space. Moreover, we show that there is no quasi-isometric projection back down to $\mathcal T(S)$. Lastly, we study the geometry of a length-minimizing projection from $\mathbb P \mathcal C_{fill}(S)$ to $\mathcal T(S)$ defined previously by Hensel and the author.


title: Model-Free Characterizations of the Hamilton-Jacobi-Bellman Equation and Convex Q-Learning in Continuous Time

abstract: Convex Q-learning is a recent approach to reinforcement learning, motivated by the possibility of a firmer theory for convergence, and the possibility of making use of greater a priori knowledge regarding policy or value function structure. This paper explores algorithm design in the continuous time domain, with finite-horizon optimal control objective. The main contributions are (i) Algorithm design is based on a new Q-ODE, which defines the model-free characterization of the Hamilton-Jacobi-Bellman equation. (ii) The Q-ODE motivates a new formulation of Convex Q-learning that avoids the approximations appearing in prior work. The Bellman error used in the algorithm is defined by filtered measurements, which is beneficial in the presence of measurement noise. (iii) A characterization of boundedness of the constraint region is obtained through a non-trivial extension of recent results from the discrete time setting. (iv) The theory is illustrated in application to resource allocation for distributed energy resources, for which the theory is ideally suited.


title: VHetNets for AI and AI for VHetNets: An Anomaly Detection Case Study for Ubiquitous IoT

abstract: Vertical heterogenous networks (VHetNets) and artificial intelligence (AI) play critical roles in 6G and beyond networks. This article presents an AI-native VHetNets architecture to enable the synergy of VHetNets and AI, thereby supporting varieties of AI services while facilitating automatic and intelligent network management. Anomaly detection in Internet of Things (IoT) is a major AI service required by many fields, including intrusion detection, state monitoring, device-activity analysis, security supervision and so on. Conventional anomaly detection technologies mainly consider the anomaly detection as a standalone service that is independent of any other network management functionalities, which cannot be used directly in ubiquitous IoT due to the resource constrained end nodes and decentralized data distribution. In this article, we develop an AI-native VHetNets-enabled framework to provide the anomaly detection service for ubiquitous IoT, whose implementation is assisted by intelligent network management functionalities. We first discuss the possibilities of VHetNets used for distributed AI model training to provide anomaly detection service for ubiquitous IoT, i.e., VHetNets for AI. After that, we study the application of AI approaches in helping provide automatic and intelligent network management functionalities for VHetNets, i.e., AI for VHetNets, whose aim is to facilitate the efficient implementation of anomaly detection service. Finally, a case study is presented to demonstrate the efficiency and effectiveness of the proposed AI-native VHetNets-enabled anomaly detection framework.


title: A generalization of the cosine addition law on semigroups

abstract: Our main result is that we describe the solutions $g,f:S\rightarrow\mathbb{C}$ of the functional equation \[g(x\sigma(y))=g(x)g(y)-f(x)f(y)+\alpha f(x\sigma(y)),\quad x,y\in S,\] where $S$ is a semigroup, $\alpha \in \mathbb{C}$ is a fixed constant and $\sigma :S\rightarrow S$ an involutive automorphism.


title: CO2-driven surface changes in the Hapi region on Comet 67P/Churyumov-Gerasimenko

abstract: Between 2014 December 31 and 2015 March 17, the OSIRIS cameras on Rosetta documented the growth of a 140m wide and 0.5m deep depression in the Hapi region on Comet 67P/Churyumov-Gerasimenko. This shallow pit is one of several that later formed elsewhere on the comet, all in smooth terrain that primarily is the result of airfall of coma particles. We have compiled observations of this region in Hapi by the microwave instrument MIRO on Rosetta, acquired during October and November 2014. We use thermophysical and radiative transfer models in order to reproduce the MIRO observations. This allows us to place constraints on the thermal inertia, diffusivity, chemical composition, stratification, extinction coefficients, and scattering properties of the surface material, and how they evolved during the months prior to pit formation. The results are placed in context through long-term comet nucleus evolution modelling. We propose that: 1) MIRO observes signatures that are consistent with a solid-state greenhouse effect in airfall material; 2) CO2 ice is sufficiently close to the surface to have a measurable effect on MIRO antenna temperatures, and likely is responsible for the pit formation in Hapi observed by OSIRIS; 3) the pressure at the CO2 sublimation front is sufficiently strong to expel dust and water ice outwards, and to compress comet material inwards, thereby causing the near-surface compaction observed by CONSERT, SESAME, and groundbased radar, manifested as the "consolidated terrain" texture observed by OSIRIS.


title: Quantum Network Utility Maximization

abstract: Network Utility Maximization (NUM) is a mathematical framework that has endowed researchers with powerful methods for designing and analyzing classical communication protocols. NUM has also enabled the development of distributed algorithms for solving the resource allocation problem, while at the same time providing certain guarantees, e.g., that of fair treatment, to the users of a network. We extend here the notion of NUM to quantum networks, and propose three quantum utility functions -- each incorporating a different entanglement measure. We aim both to gain an understanding of some of the ways in which quantum users may perceive utility, as well as to explore structured and theoretically-motivated methods of simultaneously servicing multiple users in distributed quantum systems. Using our quantum NUM constructions, we develop an optimization framework for networks that use the single-photon scheme for entanglement generation, which enables us to solve the resource allocation problem while exploring rate-fidelity tradeoffs within the network topologies that we consider. We learn that two of our utility functions, which are based on distillable entanglement and secret key fraction, are in close agreement with each other and produce similar solutions to the optimization problems we study. Our third utility, based on entanglement negativity, has more favorable mathematical properties, and tends to place a higher value on the rate at which users receive entangled resources, compared to the two previous utilities, which put a higher emphasis on end-to-end fidelity. These contrasting behaviors thus provide ideas regarding the suitability of quantum network utility definitions to different quantum applications.


title: A Utility-Preserving Obfuscation Approach for YouTube Recommendations

abstract: Online content platforms optimize engagement by providing personalized recommendations to their users. These recommendation systems track and profile users to predict relevant content a user is likely interested in. While the personalized recommendations provide utility to users, the tracking and profiling that enables them poses a privacy issue because the platform might infer potentially sensitive user interests. There is increasing interest in building privacy-enhancing obfuscation approaches that do not rely on cooperation from online content platforms. However, existing obfuscation approaches primarily focus on enhancing privacy but at the same time they degrade the utility because obfuscation introduces unrelated recommendations. We design and implement De-Harpo, an obfuscation approach for YouTube's recommendation system that not only obfuscates a user's video watch history to protect privacy but then also denoises the video recommendations by YouTube to preserve their utility. In contrast to prior obfuscation approaches, De-Harpo adds a denoiser that makes use of a "secret" input (i.e., a user's actual watch history) as well as information that is also available to the adversarial recommendation system (i.e., obfuscated watch history and corresponding "noisy" recommendations). Our large-scale evaluation of De-Harpo shows that it outperforms the state-of-the-art by a factor of 2x in terms of preserving utility for the same level of privacy, while maintaining stealthiness and robustness to de-obfuscation.


title: User-specific, Adaptable Safety Controllers Facilitate User Adoption in Human-Robot Collaboration

abstract: As assistive and collaborative robots become more ubiquitous in the real-world, we need to develop interfaces and controllers that are safe for users to build trust and encourage adoption. In this Blue Sky paper, we discuss the need for co-evolving task and user-specific safety controllers that can accommodate people's safety preferences. We argue that while most adaptive controllers focus on behavioral adaptation, safety adaptation is also a major consideration for building trust in collaborative systems. Furthermore, we highlight the need for adaptation over time, to account for user's changes in preferences as experience and trust builds. We provide a general formulation for what these interfaces should look like and what features are necessary for making them feasible and successful. In this formulation, users provide demonstrations and labelled safety ratings from which a safety value function is learned. These value functions can be updated by updating the safety labels on demonstrations to learn an updated function. We discuss how this can be implemented at a high-level, as well as some promising approaches and techniques for enabling this.


title: Towards a refined estimate for topological degree in one dimension

abstract: In this paper we prove an inequality inspired by a conjecture of Brezis, which asks for a bound for the topological degree of a map from the circle to itself in terms of a nonlocal integral.


title: Partial Identification of Treatment Effects with Implicit Generative Models

abstract: We consider the problem of partial identification, the estimation of bounds on the treatment effects from observational data. Although studied using discrete treatment variables or in specific causal graphs (e.g., instrumental variables), partial identification has been recently explored using tools from deep generative modeling. We propose a new method for partial identification of average treatment effects(ATEs) in general causal graphs using implicit generative models comprising continuous and discrete random variables. Since ATE with continuous treatment is generally non-regular, we leverage the partial derivatives of response functions to define a regular approximation of ATE, a quantity we call uniform average treatment derivative (UATD). We prove that our algorithm converges to tight bounds on ATE in linear structural causal models (SCMs). For nonlinear SCMs, we empirically show that using UATD leads to tighter and more stable bounds than methods that directly optimize the ATE.


title: A Kernel Approach for PDE Discovery and Operator Learning

abstract: This article presents a three-step framework for learning and solving partial differential equations (PDEs) using kernel methods. Given a training set consisting of pairs of noisy PDE solutions and source/boundary terms on a mesh, kernel smoothing is utilized to denoise the data and approximate derivatives of the solution. This information is then used in a kernel regression model to learn the algebraic form of the PDE. The learned PDE is then used within a kernel based solver to approximate the solution of the PDE with a new source/boundary term, thereby constituting an operator learning framework. Numerical experiments compare the method to state-of-the-art algorithms and demonstrate its competitive performance.


title: Pseudo AI Bias

abstract: Pseudo Artificial Intelligence bias (PAIB) is broadly disseminated in the literature, which can result in unnecessary AI fear in society, exacerbate the enduring inequities and disparities in access to and sharing the benefits of AI applications, and waste social capital invested in AI research. This study systematically reviews publications in the literature to present three types of PAIBs identified due to: a) misunderstandings, b) pseudo mechanical bias, and c) over-expectations. We discussed the consequences of and solutions to PAIBs, including certifying users for AI applications to mitigate AI fears, providing customized user guidance for AI applications, and developing systematic approaches to monitor bias. We concluded that PAIB due to misunderstandings, pseudo mechanical bias, and over-expectations of algorithmic predictions is socially harmful.


title: Time-resolved temperature mapping leveraging the strong thermo-optic effect in phase-change devices

abstract: Optical phase-change materials are highly promising for emerging applications such as tunable metasurfaces, reconfigurable photonic circuits, and non-von Neumann computing. However, these materials typically require both high melting temperatures and fast quenching rates to reversibly switch between their crystalline and amorphous phases, a significant challenge for large-scale integration. Here, we present an experimental technique which leverages the thermo-optic effect in GST to enable both spatial and temporal thermal measurements of two common electro-thermal microheater designs currently used by the phase-change community. Our approach shows excellent agreement between experimental results and numerical simulations and provides a non-invasive method for rapid characterization of electrically programmable phase-change devices.


title: The Simplicity of Physical Laws

abstract: Physical laws are strikingly simple, although there is no a priori reason they must be so. I propose that nomic realists of all types (Humeans and non-Humeans) should accept that simplicity is a fundamental epistemic guide for discovering and evaluating candidate physical laws. This principle of simplicity clarifies and addresses several problems of nomic realism and simplicity. A consequence is that the oft-cited epistemic advantage of Humeanism over non-Humeanism disappears, undercutting an influential epistemological argument for Humeanism. Moreover, simplicity is shown to be more tightly connected to lawhood than to mere truth.


title: Null Lagrangians and Gauge Functions in Dynamical Systems: Forces and Nonlinearities

abstract: Among different Lagrangians, null Lagrangians are known for having identically zero the Euler-Lagrange equation and, therefore, they have no effects on the resulting equations of motion. However, there is a special family of null Lagrangians that can be used to convert linear and undriven equations of motion into nonlinear and driven ones. To identify this special family, general null Lagrangians and their gauge functions are constructed for second-order ordinary differential equations of motion describing one-dimensional dynamical systems. The gauge functions corresponding to forces and nonlinearities in a variety of known dynamical systems are presented and novel roles of these functions in dynamics are discussed.


title: Self-Repetition in Abstractive Neural Summarizers

abstract: We provide a quantitative and qualitative analysis of self-repetition in the output of neural summarizers. We measure self-repetition as the number of n-grams of length four or longer that appear in multiple outputs of the same system. We analyze the behavior of three popular architectures (BART, T5, and Pegasus), fine-tuned on five datasets. In a regression analysis, we find that the three architectures have different propensities for repeating content across output summaries for inputs, with BART being particularly prone to self-repetition. Fine-tuning on more abstractive data, and on data featuring formulaic language, is associated with a higher rate of self-repetition. In qualitative analysis we find systems produce artefacts such as ads and disclaimers unrelated to the content being summarized, as well as formulaic phrases common in the fine-tuning domain. Our approach to corpus-level analysis of self-repetition may help practitioners clean up training data for summarizers and ultimately support methods for minimizing the amount of self-repetition.


title: Tetragonal-phase SnOFeSe: A possible parent compound of FeSe-based superconductor

abstract: Recent experiments have reported that inserting metal atoms or small molecules in between the FeSe layers of $\beta$-FeSe can significantly enhance the superconducting transition temperature. Here, based on first-principles electronic structure calculations, we propose a stable compound SnOFeSe by alternatively stacking the SnO and $\beta$-FeSe layers. The predicted SnOFeSe has the same tetragonal structure as the well-known FeAs-based compound LaOFeAs, meanwhile their electronic structures in the nonmagnetic state are quite similar. The magnetic ground state of SnOFeSe is predicted to be the dimer antiferromagnetic (AFM) state, which is energetically only 2.77 (2.15) meV/Fe lower than the trimer (dimer-trimer-dimer-trimer) AFM state, indicating that strong magnetic fluctuations might be induced via slight modulation. Interestingly, SnOFeSe is at the verge of metal-insulator transition in these low-energy magnetic states, hence bridging the metallic parent compounds of iron-based superconductors and the insulating ones of cuprate superconductors. With the reduced dimensionality, monolayer SnOFeSe also shows great similarities in the electronic and magnetic properties to its bulk phase. Given that SnOFeSe is adjacent to magnetic frustration and resembles LaOFeAs in both crystal and electronic structures, we suggest that SnOFeSe is a possible superconductor parent compound, which may provide a promising platform to study the interplay between magnetism and unconventional superconductivity in FeSe-derived materials.


title: A New Method for Generating Random Correlation Matrices

abstract: We propose a new method for generating random correlation matrices that makes it simple to control both location and dispersion. The method is based on a vector parameterization, gamma = g(C), which maps any distribution on R^d, d = n(n-1)/2 to a distribution on the space of non-singular nxn correlation matrices. Correlation matrices with certain properties, such as being well-conditioned, having block structures, and having strictly positive elements, are simple to generate. We compare the new method with existing methods.


title: Concentrating Local Solutions of the Two-Spinor Seiberg-Witten Equations on 3-Manifolds

abstract: Given a compact 3-manifold $Y$ and a $\mathbb Z_2$-harmonic spinor $(\mathcal Z_0, A_0,\Phi_0)$ with singular set $\mathcal Z_0$, this article constructs a family of local solutions to the two-spinor Seiberg-Witten equations parameterized by $\epsilon \in (0,\epsilon_0)$ on tubular neighborhoods of $\mathcal Z_0$. These solutions concentrate in the sense that the $L^2$-norm of the curvature near $\mathcal Z_0$ diverges as $\epsilon\to 0$, and after renormalization they converge locally to the original $\mathbb Z_2$-harmonic spinor. In a sequel to this article, these model solutions are used in a gluing construction showing that any $\mathbb Z_2$-harmonic spinor satisfying some mild assumptions arises as the limit of a family of two-spinor Seiberg-Witten solutions on $Y$.


title: A nonparametric two-sample conditional distribution test

abstract: Testing the equality of two conditional distributions is at the core of many modern applications such as domain adaption, transfer learning, and algorithmic fairness. However, to our surprise, little effort has been paid to studying this fundamental problem. In this paper, we contribute to the scarce literature by developing a new two-sample measure named conditional energy distance (CED) to quantify the discrepancy between two conditional distributions without imposing restrictive parametric assumptions. We study the fundamental properties of CED and apply CED to construct a two-sample test for the equality of two conditional distributions. A local bootstrap is developed to approximate the finite sample distribution of the test statistic. The reliable performance of the proposed two-sample conditional distribution test is demonstrated through simulations and a real data analysis.


title: Encoding subshifts through sliding block codes

abstract: We prove a generalization of Krieger's embedding theorem, in the spirit of zero-error information theory. Specifically, given a mixing shift of finite type $X$, a mixing sofic shift $Y$, and a surjective sliding block code $\pi: X \to Y$, we give necessary and sufficient conditions for a subshift $Z$ of topological entropy strictly lower than that of $Y$ to admit an embedding $\psi: Z \to X$ such that $\pi \circ \psi$ is injective.


title: ProtoVAE: A Trustworthy Self-Explainable Prototypical Variational Model

abstract: The need for interpretable models has fostered the development of self-explainable classifiers. Prior approaches are either based on multi-stage optimization schemes, impacting the predictive performance of the model, or produce explanations that are not transparent, trustworthy or do not capture the diversity of the data. To address these shortcomings, we propose ProtoVAE, a variational autoencoder-based framework that learns class-specific prototypes in an end-to-end manner and enforces trustworthiness and diversity by regularizing the representation space and introducing an orthonormality constraint. Finally, the model is designed to be transparent by directly incorporating the prototypes into the decision process. Extensive comparisons with previous self-explainable approaches demonstrate the superiority of ProtoVAE, highlighting its ability to generate trustworthy and diverse explanations, while not degrading predictive performance.


title: Absence of edge reconstruction for quantum Hall edge channels in graphene devices

abstract: Electronic edge states in topological insulators have become a major paradigm in physics. The oldest and primary example is that of quantum Hall (QH) edge channels that propagate along the periphery of two-dimensional electron gases (2DEGs) under perpendicular magnetic field. Yet, despite 40 years of intensive studies using a variety of transport and scanning probe techniques, imaging the real-space structure of QH edge channels has proven difficult, mainly due to the buried nature of most 2DEGs in semiconductors. Here, we show that QH edge states in graphene are confined to a few magnetic lengths at the crystal edges by performing scanning tunneling spectroscopy up to the edge of a graphene flake on hexagonal boron nitride. These findings indicate that QH edge states are defined by boundary conditions of vanishing electronic wavefunctions at the crystal edges, resulting in ideal one-dimensional chiral channels, free of electrostatic reconstruction. We further evidence a uniform charge carrier density at the edges, contrasting with conjectures on the existence of non-topological upstream modes. The absence of electrostatic reconstruction of quantum Hall edge states has profound implications for the universality of electron and heat transport experiments in graphene-based systems and other 2D crystalline materials.


title: CUP: Critic-Guided Policy Reuse

abstract: The ability to reuse previous policies is an important aspect of human intelligence. To achieve efficient policy reuse, a Deep Reinforcement Learning (DRL) agent needs to decide when to reuse and which source policies to reuse. Previous methods solve this problem by introducing extra components to the underlying algorithm, such as hierarchical high-level policies over source policies, or estimations of source policies' value functions on the target task. However, training these components induces either optimization non-stationarity or heavy sampling cost, significantly impairing the effectiveness of transfer. To tackle this problem, we propose a novel policy reuse algorithm called Critic-gUided Policy reuse (CUP), which avoids training any extra components and efficiently reuses source policies. CUP utilizes the critic, a common component in actor-critic methods, to evaluate and choose source policies. At each state, CUP chooses the source policy that has the largest one-step improvement over the current target policy, and forms a guidance policy. The guidance policy is theoretically guaranteed to be a monotonic improvement over the current target policy. Then the target policy is regularized to imitate the guidance policy to perform efficient policy search. Empirical results demonstrate that CUP achieves efficient transfer and significantly outperforms baseline algorithms.


title: Spectroscopy of $Sp(4)$ lattice gauge theory with $n_f=3$ antisymmetric fermions

abstract: We perform numerical calculations of masses and decay constants of the lightest (flavoured) pseudoscalar, vector and axial vector mesons in the $Sp(4)$ lattice gauge theory with three Dirac fermions in the antisymmetric representation. The corresponding continuum theory plays an important role in certain ultra-violet complete realisations of composite Higgs, partial top compositeness, and composite dark matter models. In addition, we measure the masses of other flavoured mesons in spin-$0$ and $1$ channels, as well as the first excited state of the vector mesons. Using the gradient flow to set the scale, we carry out the continuum extrapolation and show preliminary results for the meson spectrum of the theory.


title: A Conformal Mean Value Theorem for Solutions of the Ultrahyperbolic Equation

abstract: Asgeirsson's theorem establishes a mean value property for solutions of the ultrahyperbolic equation. In the case of four variables, it states that the integrals of a solution over certain pairs of conjugate circles are the same. In this paper, the invariance of the four dimensional ultrahyperbolic equation under conformal maps of the pseudo-Euclidean space of signature 2+2 is used to get the most general version of the mean value theorem. The name non-degenerate conjugate conics is used for the most general pairs of curves over which solutions of the ultrahyperbolic equation enjoy the mean value property. These are proven to be pairs of conic sections, so that, in addition to conjugate circles which were known to exist, the picture is completed by finding mean value theorems over conjugate hyperbolae, conjugate parabolae, and line-empty pairs. In addition, Fritz John established a link between conjugate circles and the two rulings of a hyperboloid of revolution. The line incidence property of doubly ruled surfaces is used to prove a one-to-one correspondence between non-degenerate conjugate conics and pairs of rulings of doubly ruled surfaces in Euclidean 3-space.


title: Dynamics of $C^1$-perturbed non-autonomous systems with strong cone conditions and its applications

abstract: Herein, we consider the dynamics of $C^1$-perturbed almost periodic systems with strong cone conditions in the sketch of skew-product semiflows. With some suitable dissipative assumptions, we investigate the asymptotic behaviors of any orbit of such perturbed systems and we obtain that any omega-limit set generated by the skew-product semiflow of the perturbed system contains at most two minimal sets, and any minimal set is an almost automorphic extension of its base flow. These results reveal that the structures of omega-limit sets and minimal sets for unperturbed systems can carry out to the systems with small $C^1$-perturbations. Furthermore, we apply these theoretic results to some typical models, such as scalar parabolic equations with separated boundary conditions and competitive-cooperative tridiagonal systems.


title: Central limit theorem and Berry-Esseen bounds for a branching random walk with immigration in a random environment

abstract: We consider a branching random walk on $d$-dimensional real space with immigration in a time-dependent random environment. Let $Z_n(\mathbf t)$ be the so-called partition function of the process, namely, the moment generating function of the counting measure describing the dispersion of individuals at time $n$. For $\mathbf t$ fixed, the logarithm $\log Z_n(\mathbf t)$ satisfies a central limit theorem. By studying the logarithmic moments of the intrinsic submartingale of the system and its convergence rates, we establish the uniform and non-uniform Berry-Esseen bounds corresponding to the central limit theorem, and discover the exact convergence rate in the central limit theorem.


title: Hidden Complexities in the Computational Modeling of Proportionality for Robotic Norm Violation Response

abstract: Language-capable robots hold unique persuasive power over humans, and thus can help regulate people's behavior and preserve a better moral ecosystem, by rejecting unethical commands and calling out norm violations. However, miscalibrated norm violation responses (when the harshness of a response does not match the actual norm violation severity) may not only decrease the effectiveness of human-robot communication, but may also damage the rapport between humans and robots. Therefore, when robots respond to norm violations, it is crucial that they consider both the moral value of their response (by considering how much positive moral influence their response could exert) and the social value (by considering how much face threat might be imposed by their utterance). In this paper, we present a simple (naive) mathematical model of proportionality which could explain how moral and social considerations should be balanced in multi-agent norm violation response generation. But even more importantly, we use this model to start a discussion about the hidden complexity of modeling proportionality, and use this discussion to identify key research directions that must be explored in order to develop socially and morally competent language-capable robots.