title: Evolutionary rationality of risk preference

abstract: Selection shapes all kinds of behaviors, including how we make decisions under uncertainty. The risk attitude reflected from it should be simple, flexible, yet consistent. In this paper we engaged evolutionary dynamics to find the decision making rule concerning risk that is evolutionarily superior, and developed the theory of evolutionary rationality. We highlight the importance of selection intensity and fitness, as well as their equivalents in the human mind, named as attention degree and meta-fitness, in the decision making process. Evolutionary rationality targets the maximization of the geometric mean of meta-fitness (or fitness), and attention degree (or selection intensity) holds the key in the change of attitude of the same individual towards different events and under varied situations. Then as an example, the Allais paradox is presented to show the application of evolutionary rationality, in which the anomalous choices made by the majority of people can be well justified by a simple change in the attention degree.


title: Kinetic Mixing, Dark Higgs Triplets, $M_W$ and All That

abstract: The kinetic mixing (KM) portal is a popular mechanism which allows light dark matter (DM) in the mass range below $\sim 1$ GeV to achieve the observed relic density by thermal means and can be effectively described by only a few parameters, e.g., $\epsilon$, the strength of this KM. In the simplest setup, the Standard Model (SM) $U(1)_Y$ hypercharge gauge boson and a $U(1)_D$ dark photon (DP), which only couples to fields in the dark sector, experience KM via loops of portal matter (PM) fields which have both SM and dark charges thus generating a small coupling between us and dark matter (DM). However, if one wishes to understand the underlying physics behind this idea in a deeper fashion we need to take a step upward to a more UV-complete picture. Meanwhile, CDFII has measured a value for the $W$-boson mass which lies significantly above SM expectations. In this paper we speculate that this shift in the $W$'s mass may be related to the $\sim 1$ GeV mass of the DP within a framework of scalar PM that leads to phenomenologically interesting values of $\epsilon$ via non-abelian KM due to the existence of an $SU(2)_L$, $Y=0$, {\it complex} Higgs triplet which carries a non-zero value of the $U(1)_D$ dark charge. Possible gauge boson plus missing energy signatures of this scenario that can appear at the LHC and elsewhere are examined. Indeed, with modest assumptions, all of the new scalar PM states are predicted to have masses below roughly $\simeq 630$ GeV and so should be at least kinematically accessible. The HL-LHC will very likely to be able to explore all of this model's allowed parameter space.


title: Axion insulators protected by C2T and their K-theory invariants and material realization

abstract: Axion insulators are generally understood as magnetic topological insulators whose Chern-Simons axion coupling term is quantized and equal to $\pi$. Inversion and time reversal, or the composition of either one with a rotation or a translation, are symmetries which protect this invariant. In this work, we focus our attention on the composition of a 2-fold rotation with time reversal, and we show that insulators with this symmetry possess a Z2 invariant arising from Atiyah's real K-theory. We call this invariant the K-theory Kane-Mele invariant due to the similarities it has with the Kane-Mele invariant for systems with time-reversal symmetry. Whenever all Chern numbers vanish, we demonstrate that this invariant is equivalent to the Chern-Simons axion coupling, and in the presence of the inversion symmetry, we show how this invariant could be obtained from the eigenvalues of the inversion operator on its fixed points in momentum space. For the general case of non-trivial Chern numbers, the Chern-Simons axion coupling term incorporates information of the K-theory Kane-Mele invariant as well as information regarding bands with non-trival Chern numbers. An explicit formula in terms of K-theory generators is presented for the Chern-Simons axion coupling term, the relation with the K-theory Kane-Mele invariant is explained, and a formula in terms of eigenvalues of the inversion operator is obtained. Using an effective Hamiltonian model and first-principles calculations, we also show that the occurrence of bulk-band inversion and nontrivial K-theory Kane-Mele invariant index can be observed in axion insulators of the pnictides family. In particular, we demonstrate that NpBi can be classified as an axion insulator due to the detection of additional topological indicators such as the quantum spin Hall effect, gapped surface states, surface quantized anomalous Hall effect, and chiral hinge modes


title: Impact Craters and the Observability of Ancient Martian Shorelines

abstract: The existence of possible early oceans in the northern hemisphere of Mars has been researched and debated for decades. The nature of the early martian climate is still somewhat mysterious, but evidence for one or more early oceans implies long-lasting periods of habitability. The primary evidence supporting early oceans is a set of proposed remnant shorelines circling large fractions of the planet. The features are thought to be older than 3.6 Ga and possibly as old as 4 Ga, which would make them some of the oldest large-scale features still identifiable on the surface of Mars. One question that has not been thoroughly addressed, however, is whether shorelines this old could survive modification and destruction processes like impact craters, tectonics, volcanism, and hydrology in recognizable form. Here we address one of these processes -- impact cratering -- in detail. We use standard crater counting age models to generate synthetic, global populations of craters and intersect them with hypothetical shorelines, tracking portions of the shoreline that are directly impacted. The oldest shorelines (>= 4 Ga) are at least 70 % destroyed by direct impacts. Shorelines of any age >3.6 Ga are dissected into relatively short, discontinuous segments no larger than about 40 km when including the effects of craters larger than 100 m in radius. When craters smaller than 500 m in radius are excluded, surviving segment lengths can be as large as ~1000 km. The oldest shorelines exhibit fractal structure after impacts, presenting as a discontinuous collection of lines over a range of scales. If the features are truly shorelines, high-resolution studies should find similar levels of destruction and discontinuity. However, our results indicate that observing shorelines as old as 4 Ga, should they exist, is a significant challenge and raises questions about prior mapping efforts.


title: Miller Range 07687 and its place within the CM-CO clan

abstract: Miller Range (MIL) 07687 is a peculiar carbonaceous chondrite officially classified as a CO3. However, it has been found to display unique petrographic properties that are atypical of this group. Moreover, Raman spectra of its polyaromatic carbonaceous matter does not reflect a structural order consistent with the metamorphic history of a type 3 chondrite. As a result, it has been suggested to be an ungrouped C2 chondrite with CO affinities, although it has not been fully excluded as a CO chondrite. The ambiguity of the meteorite classification is the motivation behind the present study. We conclude that MIL 07687 is a unique carbonaceous chondrite with possible affinities to CO, CM and/or some ungrouped carbonaceous chondrites. The difficulty in classifying this meteorite stems from (i) its heavily weathered nature, which interferes with the interpretation of our oxygen (O-)isotopic measurements (ii) the overlap in the petrographic and O-isotopic descriptions of various COs, CMs and ungrouped meteorites in the Meteoritical society database. Optical and infrared spectra are consistent with the meteorite unequilibrated nature and indicate that it is probably mildly aqueously altered. Despite traces of aqueous alteration having previously been described in MIL 07687, this is the first time that the presence of hydrated amorphous silicates is reported. In fact, our results show that its present hydration is beyond that of most CO3s, less than most CM2s, and comparable to primitive CR2s. Consequently, we support the meteorite s C2 ung label, although a CO2 or CM2 classification cannot be fully excluded.


title: SSM-DTA: Breaking the Barriers of Data Scarcity in Drug-Target Affinity Prediction

abstract: Accurate prediction of Drug-Target Affinity (DTA) is of vital importance in early-stage drug discovery, facilitating the identification of drugs that can effectively interact with specific targets and regulate their activities. While wet experiments remain the most reliable method, they are time-consuming and resource-intensive, resulting in limited data availability that poses challenges for deep learning approaches. Existing methods have primarily focused on developing techniques based on the available DTA data, without adequately addressing the data scarcity issue. To overcome this challenge, we present the SSM-DTA framework, which incorporates three simple yet highly effective strategies: (1) A multi-task training approach that combines DTA prediction with masked language modeling (MLM) using paired drug-target data. (2) A semi-supervised training method that leverages large-scale unpaired molecules and proteins to enhance drug and target representations. This approach differs from previous methods that only employed molecules or proteins in pre-training. (3) The integration of a lightweight cross-attention module to improve the interaction between drugs and targets, further enhancing prediction accuracy. Through extensive experiments on benchmark datasets such as BindingDB, DAVIS, and KIBA, we demonstrate the superior performance of our framework. Additionally, we conduct case studies on specific drug-target binding activities, virtual screening experiments, drug feature visualizations, and real-world applications, all of which showcase the significant potential of our work. In conclusion, our proposed SSM-DTA framework addresses the data limitation challenge in DTA prediction and yields promising results, paving the way for more efficient and accurate drug discovery processes. Our code is available at $\href{https://github.com/QizhiPei/SSM-DTA}{Github}$.


title: Double soft-thresholded model for multi-group scalar on vector-valued image regression

abstract: In this paper, we develop a novel spatial variable selection method for scalar on vector-valued image regression in a multi-group setting. Here, 'vector-valued image' refers to the imaging datasets that contain vector-valued information at each pixel/voxel location, such as in RGB color images, multimodal medical images, DTI imaging, etc. The focus of this work is to identify the spatial locations in the image having an important effect on the scalar outcome measure. Specifically, the overall effect of each voxel is of interest. We thus develop a novel shrinkage prior by soft-thresholding the \ell_2 norm of a latent multivariate Gaussian process. It will allow us to estimate sparse and piecewise-smooth spatially varying vector-valued regression coefficient functions. For posterior inference, an efficient MCMC algorithm is developed. We establish the posterior contraction rate for parameter estimation and consistency for variable selection of the proposed Bayesian model, assuming that the true regression coefficients are Holder smooth. Finally, we demonstrate the advantages of the proposed method in simulation studies and further illustrate in an ADNI dataset for modeling MMSE scores based on DTI-based vector-valued imaging markers.


title: Earth through the looking glass: how frequently are we detected by other civilisations through photometric microlensing?

abstract: Microlensing is proving to be one of the best techniques to detect distant, low-mass planets around the most common stars in the Galaxy. In principle, Earth's microlensing signal could offer the chance for other technological civilisations to find the Earth across Galactic distances. We consider the photometric microlensing signal of Earth to other potential technological civilisations and dub the regions of our Galaxy from which Earth's photometric microlensing signal is most readily observable as the "Earth Microlensing Zone" (EMZ). The EMZ can be thought of as the microlensing analogue of the Earth Transit Zone (ETZ) from where observers see Earth transit the Sun. Just as for the ETZ, the EMZ could represent a game-theoretic Schelling point for targeted searches for extra-terrestrial intelligence (SETI). To compute the EMZ, we use the Gaia DR2 catalogue with magnitude G<20 to generate Earth microlensing probability and detection rate maps to other observers. Whilst our Solar system is a multi-planet system, we show that Earth's photometric microlensing signature is almost always well approximated by a binary lens assumption. We then show that the Earth is in fact well-hidden to observers with technology comparable to our own. Specifically, even if observers are located around every Gaia DR2 star with G<20, we expect photometric microlensing signatures from the Earth to be observable on average only tens per year by any of them. In addition, the EMZs overlap with the ETZ near the Galactic centre which could be the main areas for future SETI searches.


title: Exceedance Probability Forecasting via Regression for Significant Wave Height Prediction

abstract: Significant wave height forecasting is a key problem in ocean data analytics. This task affects several maritime operations, such as managing the passage of vessels or estimating the energy production from waves. In this work, we focus on the prediction of extreme values of significant wave height that can cause coastal disasters. This task is framed as an exceedance probability forecasting problem. Accordingly, we aim to estimate the probability that the significant wave height will exceed a predefined critical threshold. This problem is usually solved using a probabilistic binary classification model or an ensemble of forecasts. Instead, we propose a novel approach based on point forecasting. Computing both type of forecasts (binary probabilities and point forecasts) can be useful for decision-makers. While a probabilistic binary forecast streamlines information for end-users concerning exceedance events, the point forecasts can provide additional insights into the upcoming future dynamics. The procedure of the proposed solution works by assuming that the point forecasts follow a distribution with the location parameter equal to that forecast. Then, we convert these point forecasts into exceedance probability estimates using the cumulative distribution function. We carried out experiments using data from a smart buoy placed on the coast of Halifax, Canada. The results suggest that the proposed methodology is better than state-of-the-art approaches for exceedance probability forecasting.


title: Cosmological Constraint Precision of the Photometric and Spectroscopic Multi-probe Surveys of China Space Station Telescope (CSST)

abstract: As one of Stage IV space-based telescopes, China Space Station Telescope (CSST) can perform photometric and spectroscopic surveys simultaneously to efficiently explore the Universe in extreme precision. In this work, we investigate several powerful CSST cosmological probes, including cosmic shear, galaxy-galaxy lensing, photometric and spectroscopic galaxy clustering, and number counts of galaxy clusters, and study the capability of these probes by forecasting the results of joint constraints on the cosmological parameters. By referring to real observational results, we generate mock data and estimate the measured errors based on CSST observational and instrumental designs. To study the systematical effects on the results, we also consider a number of systematics in CSST photometric and spectroscopic surveys, such as the intrinsic alignment, shear calibration uncertainties, photometric redshift uncertainties, galaxy bias, non-linear effects, instrumental effects, etc. The Fisher matrix method is used to derive the constraint results from individual or joint surveys on the cosmological and systematical parameters. We find that the joint constraints by including all these CSST cosmological probes can significantly improve the results from current observations by one order of magnitude at least, which gives $\Omega_m$ and $\sigma_8$ $<$1% accuracy, and $w_0$ and $w_a$ $<$5% and 20% accuracies, respectively. This indicates that the CSST photometric and spectroscopic multi-probe surveys could provide powerful tools to explore the Universe and greatly improve the studies of relevant cosmological problems.


title: Multi-criteria optimization and automated network restructuring to mitigate construction projects delays on-the-run

abstract: Construction project management requires dynamic mitigation control ensuring the project's timely completion by a best fit for common purpose strategy for all stakeholders. Current mitigation approaches are usually performed by an iterative Monte Carlo (MC) analysis focussing on lowest-cost strategies which do not include (1) the project manager's goal-oriented behaviour, (2) automated network restructuring potential, and (3) multi-dimensional optimization criteria for best fitting mitigation strategies-criteria. Therefore, the development statement within this paper is to design a method and implementation tool that properly dissolves all the aforementioned shortcomings ensuring the project's completion date by finding the most effective and efficient mitigation strategy. To fulfill the purpose of this paper, the Mitigation Controller (MitC) has been developed using an integrative approach of non-linear optimization techniques, probabilistic Monte Carlo simulation, and preference function modeling. Compared to the conventional way of mitigating project delays. The developed MitC allows mitigating potential delays with the least negative consequences on several project criteria, such as cost, environmental impact, etc. The application of the model to the demonstrative case study shows the ability of the model to significantly increase the probability of completing the project in the given target duration. Embedding the multi-criteria evaluation in the optimization model ensures that other interests are also represented in finding the optimal strategy for project delays.


title: The Carleman convexification method for Hamilton-Jacobi equations on the whole space

abstract: We propose a new globally convergent numerical method to solve Hamilton-Jacobi equations in $\mathbb{R}^d$, $d \geq 1$. This method is named as the Carleman convexification method. By Carleman convexification, we mean that we use a Carleman weight function to convexify the conventional least squares mismatch functional. We will prove a new version of the convexification theorem guaranteeing that the mismatch functional involving the Carleman weight function is strictly convex and, therefore, has a unique minimizer. Moreover, a consequence of our convexification theorem guarantees that the minimizer of the Carleman weighted mismatch functional is an approximation of the viscosity solution we want to compute. Some numerical results in 1D and 2D will be presented.


title: Sharp function and weighted $L^{p}$ estimates for pseudo-differential operators with symbols in general H\"{o}rmander classes

abstract: The purpose of this paper is to prove pointwise inequalities and to establish the boundedness on weighted $L^{p}$ spaces for pseudo-differential operators $T_{a}$ defined by the symbol $a\in S^{m}_{\varrho,\delta}$ with $0\leq\varrho\leq1,$ $0\leq\delta<1$. Firstly, we prove that if $m\leq-n(1-\varrho)/2$, then $$(T_{a}u)^{\sharp}(x)\lesssim M(|u|^{2})^{1/2}(x)$$ for all $x\in\mathbb{R}^{n}$ and all Schwartz function $u$. Secondly, it is shown that if $1\leq r\leq2$ and $m\leq-\frac{n}{r}(1-\varrho)$, then for any $\omega$ belongs to the class of Muckenhoupt weights $A_{p/r}$ with $r<p<\infty$, these operators are bounded on $L^{p}_\omega$. Moreover, these results are sharp on the bound of $m$.


title: Perturbation theory for nonlinear Schrodinger equations

abstract: Treating the nonlinear term of the Gross-Pitaevskii nonlinear Schrodinger equation as a perturbation of an isolated discrete eigenvalue of the linear problem one obtains a Rayleigh-Schrodinger power series. This power series is proved to be convergent when the parameter representing the intensity of the nonlinear term is less in absolute value than a threshold value, and it gives a stationary solution to the nonlinear Schrodinger equation.


title: A Distributional Approach for Soft Clustering Comparison and Evaluation

abstract: The development of external evaluation criteria for soft clustering (SC) has received limited attention: existing methods do not provide a general approach to extend comparison measures to SC, and are unable to account for the uncertainty represented in the results of SC algorithms. In this article, we propose a general method to address these limitations, grounding on a novel interpretation of SC as distributions over hard clusterings, which we call \emph{distributional measures}. We provide an in-depth study of complexity- and metric-theoretic properties of the proposed approach, and we describe approximation techniques that can make the calculations tractable. Finally, we illustrate our approach through a simple but illustrative experiment.


title: On Rational Convexity of Totally Real Sets

abstract: Under a mild technical assumption, we prove a necessary and sufficient condition for a totally real compacdt set in $\mathbb{C}^n$ to be rationally convex. This generalizes a classical result of Duval-Sibony


title: Stabilized Single Current Inverse Source Formulations Based on Steklov-Poincar\'e Mappings

abstract: The inverse source problem in electromagnetics has proved quite relevant for a large class of applications. In antenna diagnostics in particular, Love solutions are often sought at the cost of an increase of the dimension of the linear system to be solved. In this work, instead, we present a reduced-in-size single current formulation of the inverse source problem that obtains one of the Love currents via a stable discretization of the Steklov-Poincar\'e boundary operator leveraging dual functions. The new approach is enriched by theoretical treatments and by a further low-frequency stabilization of the Steklov-Poincar\'e operator based on the quasi-Helmholtz projectors that is the first of its kind in this field. The effectiveness and practical relevance of the new schemes are demonstrated via both theoretical and numerical results.


title: Zigzags in combinatorial tetrahedral chains and the associated Markov chain

abstract: Zigzags in graphs embedded in surfaces are cyclic sequences of edges whose any two consecutive edges are different, have a common vertex and belong to the same face. We investigate zigzags in randomly constructed combinatorial tetrahedral chains. Every such chain contains at most $3$ zigzags up to reversing. The main result is the limit of the probability that a randomly constructed tetrahedral chain contains precisely $k\in\{1,2,3\}$ zigzags up to reversing as its length approaches infinity. Our key tool is the Markov chain whose states are types of $z$-monodromies.


title: Comprehensive coverage of particle acceleration and kinetic feedback from the stellar mass black hole V404 Cygni

abstract: We present analysis of comprehensive radio observations of the black hole V404 Cyg during its 2015 outburst. These data represent the best ever coverage of jet production and particle acceleration from any black hole. We report for the first time a clear and near-linear flux-rms correlation in the radio flux densities. Investigation of individual flares reveals in nearly all cases the peak corresponds to the transition from optically thick to thin to synchrotron emission, but an extended phase of particle acceleration is required in contrast to simple impulsive injection models. The largest radio flare is preceded by a phase of optical oscillations and followed one day later by a smaller but optically thin flare, likely due to ejecta interacting with the interstellar medium. Comparing the radio emission to contemporaneous X-ray and optical data, we find that the X-ray and radio measurements are correlated on all timescales from seconds to one day. Correlation with the optical flux densities is weak at short timescales, but becomes significant on timescales greater than a few hours. We evaluate the physical conditions (size, magnetic field and internal energy) associated with 86 individual radio flares, which in turn allows us to place a lower limit on the kinetic feedback over the 15 days of intense activity. If this energy was deposited locally to the source, as implied by the failure to detect jets on angular scales larger than milliarcsec, then we predict that a nova-like shell could have been formed.


title: An inhomogeneous porous medium equation with large data: well-posedness

abstract: We study solutions of a Euclidean weighted porous medium equation when the weight behaves at spacial infinity like $|x|^{-\gamma}$, for $\gamma\in [0,2)$, and is allowed to be singular at the origin. In particular we show local-in-time existence and uniqueness for a class of large initial data which includes as "endpoints" those growing at a rate of $ |x|^{(2-\gamma)/(m-1)}$, in a weighted $L^1$-average sense. We also identify global-existence and blow-up classes, whose respective forms strongly support the claim that such a growth rate is optimal, at least for positive solutions. As a crucial step in our existence proof we establish a local smoothing effect for large data without resorting to the classical Aronson-B\'{e}nilan inequality and using the B\'{e}nilan-Crandall inequality instead, which may be of independent interest since the latter holds in much more general settings.


title: The P\'olya-Szeg\H{o} inequality for smoothing rearrangements

abstract: A basic version of the P\'olya-Szeg\H{o} inequality states that if $\Phi$ is a Young function, the $\Phi$-Dirichlet energy -- the integral of $\Phi(\|\nabla f\|)$ -- of a suitable function $f\in \mathcal{V}(\mathbb{R}^n)$, the class of nonnegative measurable functions on $\mathbb{R}^n$ that vanish at infinity, does not increase under symmetric decreasing rearrangement. This fact, along with variants that apply to polarizations and to Steiner and certain other rearrangements, has numerous applications. Very general versions of the inequality are proved that hold for all smoothing rearrangements, those that do not increase the modulus of continuity of functions. The results cover all the main classes of functions previously considered: Lipschitz functions $f\in \mathcal{V}(\mathbb{R}^n)$, functions $f\in W^{1,p}(\mathbb{R}^n)\cap\mathcal{V}(\mathbb{R}^n)$ (when $1\le p<\infty$ and $\Phi(t)=t^p$), and functions $f\in W^{1,1}_{loc}(\mathbb{R}^n)\cap\mathcal{V}(\mathbb{R}^n)$. In addition, anisotropic versions of these results, in which the role of the unit ball is played by a convex body containing the origin in its interior, are established. Taken together, the results bring together all the basic versions of the P\'olya-Szeg\H{o} inequality previously available under a common and very general framework.


title: The Greater The Power, The More Dangerous The Abuse: Facing Malicious Insiders in The Cloud

abstract: The financial crisis made companies around the world search for cheaper and more efficient solutions to cover their needs in terms of computational power and storage. Their quest came to end with the birth of Cloud Computing infrastructures. However, along with the new promising technology, new attack vectors were born, and one old and known threat, that of Malicious Insiders reappeared. Insiders can use their privileged position inside the Cloud infrastructure to accomplish or help in attacks against a Cloud infrastructure. In this paper, we propose a practical and efficient intrusion detection system solution for Cloud infrastructures based on Graphical Processing Unit (GPU) acceleration. Our solution monitors the deployed virtual machines' operations and especially those of the host Operating System, known as Dom0, correlating the collected information to detect uncommon behavior based on the Smith-Waterman algorithm. Our proposal makes possible the cooperation of a variety of known hypervisors along with every known GPU acceleration unit used, thus offering the maximum of security mechanics while at the same time minimizing the imposed overhead in terms of Central Processing Unit (CPU) usage.


title: Probing Carrier Dynamics in sp$^{3}$-Functionalized Single-Walled Carbon Nanotubes with Time-Resolved Terahertz Spectroscopy

abstract: The controlled introduction of covalent sp$^{3}$ defects into semiconducting single-walled carbon nanotubes (SWCNTs) gives rise to exciton localization and red-shifted near-infrared luminescence. The single-photon emission characteristics of these functionalized SWCNTs make them interesting candidates for electrically driven quantum light sources. However, the impact of sp$^{3}$ defects on the carrier dynamics and charge transport in carbon nanotubes remains an open question. Here, we use ultrafast, time-resolved optical-pump terahertz-probe spectroscopy as a direct and quantitative technique to investigate the microscopic and temperature-dependent charge transport properties of pristine and functionalized (6,5) SWCNTs in dispersions and thin films. We find that sp$^{3}$ functionalization increases charge carrier scattering, thus reducing the intra-nanotube carrier mobility. In combination with electrical measurements of SWCNT network field-effect transistors, these data enable us to distinguish between contributions of intra-nanotube band transport, sp$^{3}$ defect scattering and inter-nanotube carrier hopping to the overall charge transport properties of nanotube networks.


title: Chemical abundances in Seyfert galaxies -IX. Helium abundance estimates

abstract: For the first time, the helium abundance relative to hydrogen (He/H), which relied on direct measurements of the electron temperature, has been derived in the narrow line regions (NLRs) from a local sample of Seyfert 2 nuclei. In view of this, optical emission line intensities [$3000 \: < \lambda \: < \: 7000$] of 65 local Seyfert 2 nuclei ($z \: < \: 0.2$), taken from Sloan Digital Sky Survey Data Release 15 and additional compilation from the literature, were considered. We used photoionization model grid to derive an Ionization Correction Factor (ICF) for the neutral helium. The application of this ICF indicates that the NLRs of Seyfert 2 present a neutral helium fraction of $\sim$50 per cent in relation to the total helium abundance. We find that Seyfert 2 nuclei present helium abundance ranging from 0.60 to 2.50 times the solar value, while $\sim$85 per cent of the sample present over-solar abundance values. The derived (He/H)-(O/H) abundance relation from the Seyfert 2 is stepper than that of star-forming regions (SFs) and this difference could be due to excess of helium injected into the Interstellar Medium by the winds of Wolf Rayet stars. From a regression to zero metallicity, by using Seyfert 2 estimates combined with SFs estimates, we obtained a primordial helium mass fraction $Y_{\rm p}$=0.2441$\pm$0.0037, a value in good agreement with the one inferred from the temperature fluctuations of the cosmic microwave background by the Planck Collaboration, i.e. $Y_{\rm p}$=0.2471$\pm$0.0003


title: Higher-Order Topological In-Bulk Corner State in Pure Diffusion Systems

abstract: Compared with conventional topological insulator that carries topological state at its boundaries, the higher-order topological insulator exhibits lower-dimensional gapless boundary states at its corners and hinges. Leveraging the form similarity between Schrodinger equation and diffusion equation, researches on higher-order topological insulators have been extended from condensed matter physics to thermal diffusion. Unfortunately, all the corner states of thermal higher-order topological insulator reside within the band gap. Another kind of corner state, which is embedded in the bulk states, has not been realized in pure diffusion systems so far. Here, we construct higher-dimensional Su-Schrieffer-Heeger models based on sphere-rod structure to elucidate these corner states, which we term ``in-bulk corner states". Due to the anti-Hermitian properties of diffusive Hamiltonian, we investigate the thermal behaviour of these corner states through theoretical calculation, simulation, and experiment. Furthermore, we study the different thermal behaviours of in-bulk corner state and in-gap corner state. Our results would open a different gate for diffusive topological states and provide a distinct application for efficient heat dissipation.


title: On the automatic regularity of derivations from Riesz subalgebras of $\cal L^r(X)$

abstract: We investigate the automatic regularity of bounded derivations from a Banach lattice algebra of regular operators A into a Banach A-module with a Banach lattice structure compatible with the module operations.


title: Bandwidth-Efficient Multi-video Prefetching for Short Video Streaming

abstract: Applications that allow sharing of user-created short videos exploded in popularity in recent years. A typical short video application allows a user to swipe away the current video being watched and start watching the next video in a video queue. Such user interface causes significant bandwidth waste if users frequently swipe a video away before finishing watching. Solutions to reduce bandwidth waste without impairing the Quality of Experience (QoE) are needed. Solving the problem requires adaptively prefetching of short video chunks, which is challenging as the download strategy needs to match unknown user viewing behavior and network conditions. In our work, we first formulate the problem of adaptive multi-video prefetching in short video streaming. Then, to facilitate the integration and comparison of researchers' algorithms towards solving the problem, we design and implement a discrete-event simulator, which we release as open source. Finally, based on the organization of the Short Video Streaming Grand Challenge at ACM Multimedia 2022, we analyze and summarize the algorithms of the contestants, with the hope of promoting the research community towards addressing this problem.


title: A Scalable Cryogenic LED Module for Selectively Illuminating Kinetic Inductance Detector Arrays

abstract: We present the design and measured performance of a light emitting diode (LED) module for spatially mapping kinetic inductance detector (KID) arrays in the laboratory. Our novel approach uses a multiplexing scheme that only requires seven wires to control 480 red LEDs, and the number of LEDs can be scaled up without adding any additional wires. This multiplexing approach relies on active surface mount components that can operate at cryogenic temperatures down to 10 K. Cryogenic tests in liquid nitrogen and inside our cryostat demonstrate that the multiplexer circuit works at 77 and 10 K, respectively. The LED module presented here is tailored for our millimeter-wave detector modules, but the approach could be adapted for use with other KID-based detector systems.


title: Label noise (stochastic) gradient descent implicitly solves the Lasso for quadratic parametrisation

abstract: Understanding the implicit bias of training algorithms is of crucial importance in order to explain the success of overparametrised neural networks. In this paper, we study the role of the label noise in the training dynamics of a quadratically parametrised model through its continuous time version. We explicitly characterise the solution chosen by the stochastic flow and prove that it implicitly solves a Lasso program. To fully complete our analysis, we provide nonasymptotic convergence guarantees for the dynamics as well as conditions for support recovery. We also give experimental results which support our theoretical claims. Our findings highlight the fact that structured noise can induce better generalisation and help explain the greater performances of stochastic dynamics as observed in practice.


title: Practical Deepfake Detection: Vulnerabilities in Global Contexts

abstract: Recent advances in deep learning have enabled realistic digital alterations to videos, known as deepfakes. This technology raises important societal concerns regarding disinformation and authenticity, galvanizing the development of numerous deepfake detection algorithms. At the same time, there are significant differences between training data and in-the-wild video data, which may undermine their practical efficacy. We simulate data corruption techniques and examine the performance of a state-of-the-art deepfake detection algorithm on corrupted variants of the FaceForensics++ dataset. While deepfake detection models are robust against video corruptions that align with training-time augmentations, we find that they remain vulnerable to video corruptions that simulate decreases in video quality. Indeed, in the controversial case of the video of Gabonese President Bongo's new year address, the algorithm, which confidently authenticates the original video, judges highly corrupted variants of the video to be fake. Our work opens up both technical and ethical avenues of exploration into practical deepfake detection in global contexts.


title: Contextual Squeeze-and-Excitation for Efficient Few-Shot Image Classification

abstract: Recent years have seen a growth in user-centric applications that require effective knowledge transfer across tasks in the low-data regime. An example is personalization, where a pretrained system is adapted by learning on small amounts of labeled data belonging to a specific user. This setting requires high accuracy under low computational complexity, therefore the Pareto frontier of accuracy vs. adaptation cost plays a crucial role. In this paper we push this Pareto frontier in the few-shot image classification setting with a key contribution: a new adaptive block called Contextual Squeeze-and-Excitation (CaSE) that adjusts a pretrained neural network on a new task to significantly improve performance with a single forward pass of the user data (context). We use meta-trained CaSE blocks to conditionally adapt the body of a network and a fine-tuning routine to adapt a linear head, defining a method called UpperCaSE. UpperCaSE achieves a new state-of-the-art accuracy relative to meta-learners on the 26 datasets of VTAB+MD and on a challenging real-world personalization benchmark (ORBIT), narrowing the gap with leading fine-tuning methods with the benefit of orders of magnitude lower adaptation cost.


title: Heavy-traffic single-server queues and the transform method

abstract: Heavy-traffic limit theory deals with queues that operate close to criticality and face severe queueing times. Let $W$ denote the steady-state waiting time in the ${\rm GI}/{\rm G}/1$ queue. Kingman (1961) showed that $W$, when appropriately scaled, converges in distribution to an exponential random variable as the system's load approaches 1. The original proof of this famous result uses the transform method. Starting from the Laplace transform of the pdf of $W$ (Pollaczek's contour integral representation), Kingman showed convergence of transforms and hence weak convergence of the involved random variables. We apply and extend this transform method to obtain convergence of moments with error assessment. We also demonstrate how the transform method can be applied to so-called nearly deterministic queues in a Kingman-type and a Gaussian heavy-traffic regime. We demonstrate numerically the accuracy of the various heavy-traffic approximations.


title: Quantized Nonlinear Transport with Ultracold Atoms

abstract: In this letter, we propose how to measure the quantized nonlinear transport using two-dimensional ultracold atomic Fermi gases in a harmonic trap. This scheme requires successively applying two optical pulses in the left and lower half-planes and then measuring the number of extra atoms in the first quadrant. In ideal situations, this nonlinear density response to two successive pulses is quantized, and the quantization value probes the Euler characteristic of the local Fermi sea at the trap center. We investigate the practical effects in experiments, including finite pulse duration, finite edge width of pulses, and finite temperature, which can lead to deviation from quantization. We propose a method to reduce the deviation by averaging measurements performed at the first and third quadrants, inspired by symmetry considerations. With this method, the quantized nonlinear response can be observed reasonably well with experimental conditions readily achieved with ultracold atoms.


title: On a Scalable Path for Multimode MIMO-DSP

abstract: A novel MIMO-DSP for space-division multiplexing over multimode fibres is proposed. A principal modes approach is shown to provide two-fold benefits: over 13 times channel memory reduction while minimising the number of optical front-ends needed to detect a subset of the spatial domain.


title: Quaternion variational integration for inertial maneuvering in a biomimetic UAV

abstract: Biological flying, gliding, and falling creatures are capable of extraordinary forms of inertial maneuvering: free-space maneuvering based on fine control of their multibody dynamics, as typified by the self-righting reflexes of cats. However, designing inertial maneuvering capability into biomimetic robots, such as biomimetic unmanned aerial vehicles (UAVs) is challenging. Accurately simulating this maneuvering requires numerical integrators that can ensure both singularity-free integration, and momentum and energy conservation, in a strongly coupled system - properties unavailable in existing conventional integrators. In this work, we develop a pair of novel quaternion variational integrators (QVIs) showing these properties, and demonstrate their capability for simulating inertial maneuvering in a biomimetic UAV showing complex multibody-dynamics coupling. Being quaternion-valued, these QVIs are innately singularity-free; and being variational, they can show excellent energy and momentum conservation properties. We explore the effect of variational integration order (left-rectangle vs. midpoint) on the conservation properties of integrator, and conclude that, in complex coupled systems in which canonical momenta may be time-varying, the midpoint integrator is required. The resulting midpoint QVI is well-suited to the analysis of inertial maneuvering in a biomimetic UAV - a feature that we demonstrate in simulation - and of other complex dynamical systems.


title: A Surgical Platform for Intracerebral Hemorrhage Robotic Evacuation (ASPIHRE): A Non-metallic MR-guided Concentric Tube Robot

abstract: Intracerebral hemorrhage (ICH) is the deadliest stroke sub-type, with a one-month mortality rate as high as 52%. Due to the potential cortical disruption caused by craniotomy, conservative management (watchful waiting) has historically been a common method of treatment. Minimally invasive evacuation has recently become an accepted method of treatment for patients with deep-seated hematoma 30-50 mL in volume, but proper visualization and tool dexterity remain constrained in conventional endoscopic approaches, particularly with larger hematoma volumes (> 50 mL). In this article we describe the development of ASPIHRE (A Surgical Platform for Intracerebral Hemorrhage Robotic Evacuation), the first-ever concentric tube robot that uses off-the-shelf plastic tubes for MR-guided ICH evacuation, improving tool dexterity and procedural visualization. The robot kinematics model is developed based on a calibration-based method and tube mechanics modeling, allowing the models to consider both variable curvature and torsional deflection. The MR-safe pneumatic motors are controlled using a variable gain PID algorithm producing a rotational accuracy of 0.317 +/- 0.3 degrees. The hardware and theoretical models are validated in a series of systematic bench-top and MRI experiments resulting in positional accuracy of the tube tip of 1.39 +\- 0.54 mm. Following validation of targeting accuracy, the evacuation efficacy of the robot was tested in an MR-guided phantom clot evacuation experiment. The robot was able to evacuate an initially 38.36 mL clot in 5 minutes, leaving a residual hematoma of 8.14 mL, well below the 15 mL guideline suggesting good post-ICH evacuation clinical outcomes.


title: Quantum Thermodynamic Uncertainty Relations, Generalized Current Fluctuations and Nonequilibrium Fluctuation-Dissipation Inequalities

abstract: Thermodynamic uncertainty relations (TURs) represent one of the few broad-based and fundamental relations in our toolbox for tackling the thermodynamics of nonequilibrium systems. One form of TUR quantifies the minimal energetic cost of achieving a certain precision in determining a nonequilibrium current. In this initial stage of our research program, our goal is to provide the quantum theoretical basis of TURs using microphysics models of linear open quantum systems where it is possible to obtain exact solutions. In paper [Dong \textit{et al.}, Entropy {\bf 24}, 870 (2022)], we show how TURs are rooted in the quantum uncertainty principles and the fluctuation-dissipation inequalities (FDI) under fully nonequilibrium conditions. In this paper, we shift our attention from the quantum basis to the thermal manifests. Using a microscopic model for the bath's spectral density in quantum Brownian motion studies, we formulate a ``thermal'' FDI in the quantum nonequilibrium dynamics which is valid at high temperatures. This brings the quantum TURs we derive here to the classical domain and can thus be compared with some popular forms of TURs. In the thermal-energy-dominated regimes, our FDIs provide better estimates on the uncertainty of thermodynamic quantities. Our treatment includes full back-action from the environment onto the system. As a concrete example of the generalized current, we examine the energy flux or power entering the Brownian particle and find an exact expression of the corresponding current-current correlations. In so doing, we show that the statistical properties of the bath and the causality of the system+bath interaction both enter into the TURs obeyed by the thermodynamic quantities.


title: Metallization of hydrogen by intercalating ammonium ions in metal fcc lattices at low pressure

abstract: Metallic hydrogen is capable of showing room temperature superconductivity, but its experimental syntheses are extremely hard. Therefore, it is desirable to reduce the synthesis pressure of metallic hydrogen by adding other chemical elements. However, for most hydrides, the metallization of hydrogen by "chemical precompression" to achieve high-temperature superconductivity still requires relatively high pressure, making experimental synthesis difficult. How to achieve high-temperature superconductivity in the low-pressure range (0-50 GPa) is a key issue for realizing practical applications of superconducting materials. Toward this end, this work proposes a strategy for inserting ammonium ions in the fcc crystal of metals. High-throughput calculations of the periodic table reveal 12 elements which can form kinetically stable and superconducting hydrides at low pressures, where the highest superconducting transition temperatures of AlN2H8, MgN2H8 and GaN2H8 can reach up to 118.40, 105.09 and 104.39 K. Pressure-induced bond length changes and charge transfer reveal the physical mechanism of high-temperature superconductivity, where the H atom continuously gains electrons leading to the transition of H+ ions to atomic H, facilitating metallization of hydrogen under mild pressure. Our results also reveal two strong linear scalar relationships, one is the H-atom charge versus superconducting transition temperature and the other is the first ionization energy versus the highest superconducting transition temperature. Besides, ZnN2H8, CdN2H8, and HgN2H8 were found to be superconductors at ambient pressure, and the presence of interstitial electrons suggests that they are also electrides, whose relatively low work functions (3.03, 2.78, and 3.05 eV) imply that they can be used as catalysts for nitrogen reduction reactions as well.


title: (Non-)unitarity of strictly and partially massless fermions on de Sitter space II: an explanation based on the group-theoretic properties of the spin-3/2 and spin-5/2 eigenmodes

abstract: In our previous article [Letsios 2023 J. High Energ. Phys. JHEP05(2023)015], we showed that the strictly massless spin-3/2 field, as well as the strictly and partially massless spin-5/2 fields, on $N$-dimensional ($N \geq 3 $) de Sitter spacetime ($dS_{N}$) are non-unitary unless $N=4$. The (non-)unitarity was demonstrated by simply observing that there is a (mis-)match between the representation-theoretic labels that correspond to the Unitary Irreducible Representations (UIR's) of the de Sitter (dS) algebra spin$(N,1)$ and the ones corresponding to the space of eigenmodes of the field theories. In this paper, we provide a technical representation-theoretic explanation for this fact by studying the (non-)existence of positive-definite, dS invariant scalar products for the spin-3/2 and spin-5/2 strictly/partially massless eigenmodes on $dS_{N}$ ($N \geq 3$). Our basic tool is the examination of the action of spin$(N,1)$ generators on the space of eigenmodes, leading to the following findings. For odd $N$, any dS invariant scalar product is identically zero. For even $N > 4$, any dS invariant scalar product must be indefinite. This gives rise to positive-norm and negative-norm eigenmodes that mix with each other under spin$(N,1)$ boosts. In the $N=4$ case, the positive-norm sector decouples from the negative-norm sector and each sector separately forms a UIR of spin$(4,1)$. Our analysis makes extensive use of the analytic continuation of tensor-spinor spherical harmonics on the $N$-sphere ($S^{N}$) to $dS_{N}$ and also introduces representation-theoretic techniques that are absent from the mathematical physics literature on half-odd-integer-spin fields on $dS_{N}$.


title: M&M Mix: A Multimodal Multiview Transformer Ensemble

abstract: This report describes the approach behind our winning solution to the 2022 Epic-Kitchens Action Recognition Challenge. Our approach builds upon our recent work, Multiview Transformer for Video Recognition (MTV), and adapts it to multimodal inputs. Our final submission consists of an ensemble of Multimodal MTV (M&M) models varying backbone sizes and input modalities. Our approach achieved 52.8% Top-1 accuracy on the test set in action classes, which is 4.1% higher than last year's winning entry.


title: DisCoVQA: Temporal Distortion-Content Transformers for Video Quality Assessment

abstract: The temporal relationships between frames and their influences on video quality assessment (VQA) are still under-studied in existing works. These relationships lead to two important types of effects for video quality. Firstly, some temporal variations (such as shaking, flicker, and abrupt scene transitions) are causing temporal distortions and lead to extra quality degradations, while other variations (e.g. those related to meaningful happenings) do not. Secondly, the human visual system often has different attention to frames with different contents, resulting in their different importance to the overall video quality. Based on prominent time-series modeling ability of transformers, we propose a novel and effective transformer-based VQA method to tackle these two issues. To better differentiate temporal variations and thus capture the temporal distortions, we design a transformer-based Spatial-Temporal Distortion Extraction (STDE) module. To tackle with temporal quality attention, we propose the encoder-decoder-like temporal content transformer (TCT). We also introduce the temporal sampling on features to reduce the input length for the TCT, so as to improve the learning effectiveness and efficiency of this module. Consisting of the STDE and the TCT, the proposed Temporal Distortion-Content Transformers for Video Quality Assessment (DisCoVQA) reaches state-of-the-art performance on several VQA benchmarks without any extra pre-training datasets and up to 10% better generalization ability than existing methods. We also conduct extensive ablation experiments to prove the effectiveness of each part in our proposed model, and provide visualizations to prove that the proposed modules achieve our intention on modeling these temporal issues. We will publish our codes and pretrained weights later.


title: On the benefit of parameter-driven approaches for the modeling and the prediction of Satisfied User Ratio for compressed video

abstract: The human eye cannot perceive small pixel changes in images or videos until a certain threshold of distortion. In the context of video compression, Just Noticeable Difference (JND) is the smallest distortion level from which the human eye can perceive the difference between reference video and the distorted/compressed one. Satisfied-User-Ratio (SUR) curve is the complementary cumulative distribution function of the individual JNDs of a viewer group. However, most of the previous works predict each point in SUR curve by using features both from source video and from compressed videos with assumption that the group-based JND annotations follow Gaussian distribution, which is neither practical nor accurate. In this work, we firstly compared various common functions for SUR curve modeling. Afterwards, we proposed a novel parameter-driven method to predict the video-wise SUR from video features. Besides, we compared the prediction results of source-only features based (SRC-based) models and source plus compressed videos features (SRC+PVS-based) models.


title: Towards 1000-mode Optical Fibres

abstract: We report on the design of multimode-mode fibres guiding up to 870 spatial and polarization modes for low differential mode delay over the C-band.


title: A Mass Model for the Lensing Cluster SDSS J1004+4112: Constraints From the Third Time Delay

abstract: We have built a new model for the lens system SDSS J1004+4112 including the recently measured time delay of the fourth quasar image. This time delay has a strong influence on the inner mass distribution of the lensing cluster ($\rho \propto r^{-\alpha}$) allowing us to determine $\alpha=1.18^{+0.02(+0.11)}_{-0.03(-0.18)}$ at the 68% (95%) confidence level in agreement with hydrodynamical simulations of massive galaxy clusters. We find an offset between the brightest cluster galaxy (BCG) and the dark matter halo of $3.8^{+0.6(+1.4)}_{-0.7(-1.3)}$ kpc at 68% (95%) confidence which is compatible with other galaxy cluster measurements. As an observational challenge, the estimated time delay between the leading image C and the faint (I=24.7) fifth image E is roughly 8 yr.


title: Environmental dependence of the molecular cloud lifecycle in 54 main sequence galaxies

abstract: The processes of star formation and feedback, regulating the cycle of matter between gas and stars on the scales of giant molecular clouds (GMCs; $\sim$100pc), play a major role in governing galaxy evolution. Measuring the time-scales of GMC evolution is important to identify and characterise the specific physical mechanisms that drive this transition. By applying a robust statistical method to high-resolution CO and narrow-band H$\alpha$ imaging from the PHANGS survey, we systematically measure the evolutionary timeline from molecular clouds to exposed young stellar regions on GMC scales, across the discs of an unprecedented sample of 54 star-forming main-sequence galaxies (excluding their unresolved centres). We find that clouds live for about $1{-}3$ GMC turbulence crossing times ($5{-}30$Myr) and are efficiently dispersed by stellar feedback within $1{-}5$Myr once the star-forming region becomes partially exposed, resulting in integrated star formation efficiencies of $1{-}8$%. These ranges reflect physical galaxy-to-galaxy variation. In order to evaluate whether galactic environment influences GMC evolution, we correlate our measurements with average properties of the GMCs and their local galactic environment. We find several strong correlations that can be physically understood, revealing a quantitative link between galactic-scale environmental properties and the small-scale GMC evolution. Notably, the measured CO-visible cloud lifetimes become shorter with decreasing galaxy mass, mostly due to the increasing presence of CO-dark molecular gas in such environment. Our results represent a first step towards a comprehensive picture of cloud assembly and dispersal, which requires further extension and refinement with tracers of the atomic gas, dust, and deeply-embedded stars.


title: A low-cost and reliable laser shutter interlock using a software-command interface

abstract: A simple and low-cost laser interlock is presented that operates via software commands issued by an ESP32 microcontroller. The architecture of the device is constructed to ensure the laser output is shut off in the event of either an open circuit on the interlock signal line from the laser enclosure or loss of power to the device. Unintentional exposure to the laser beam is prevented by overruling local controls (such as a keypad), until both the enclosure is re-interlocked and the user actively intervenes. The device presented is designed to close the mechanical shutter of a Spectra-Physics Millennia Pro pump laser while it continues to operate internally. The hardware and coding are versatile enough to be deployed on any instrument that receives software commands via a serial interface.


title: Work-loop techniques for optimising nonlinear forced oscillators

abstract: Linear and nonlinear resonant states can be restrictive: they exist at particular discrete states in frequency and/or elasticity, under particular (e.g., simple-harmonic) waveforms. In forced oscillators, this restrictiveness is an obstacle to system design and control modulation: altering the system elasticity, or modulating the response, would both appear to necessarily incur a penalty to efficiency. In this work, we describe an approach for bypassing this obstacle. Using novel work-loop techniques, we prove and illustrate how certain classes of resonant optimisation problem lead to non-unique solutions. In a structural optimisation context, several categories of energetically-optimal elasticity are non-unique. In an optimal control context, several categories of energetically-optimal frequency are non-unique. For these classes of non-unique optimum, we can derive simple bounds defining the optimal region. These novel theoretical results have practical implications for the design and control of a range of biomimetic propulsion systems, including flapping-wing micro-air-vehicles: using these results, we can generate efficient forms of wingbeat modulation for flight control.


title: Fewer Errors, but More Stereotypes? The Effect of Model Size on Gender Bias

abstract: The size of pretrained models is increasing, and so is their performance on a variety of NLP tasks. However, as their memorization capacity grows, they might pick up more social biases. In this work, we examine the connection between model size and its gender bias (specifically, occupational gender bias). We measure bias in three masked language model families (RoBERTa, DeBERTa, and T5) in two setups: directly using prompt based method, and using a downstream task (Winogender). We find on the one hand that larger models receive higher bias scores on the former task, but when evaluated on the latter, they make fewer gender errors. To examine these potentially conflicting results, we carefully investigate the behavior of the different models on Winogender. We find that while larger models outperform smaller ones, the probability that their mistakes are caused by gender bias is higher. Moreover, we find that the proportion of stereotypical errors compared to anti-stereotypical ones grows with the model size. Our findings highlight the potential risks that can arise from increasing model size.


title: Additive Gaussian Processes Revisited

abstract: Gaussian Process (GP) models are a class of flexible non-parametric models that have rich representational power. By using a Gaussian process with additive structure, complex responses can be modelled whilst retaining interpretability. Previous work showed that additive Gaussian process models require high-dimensional interaction terms. We propose the orthogonal additive kernel (OAK), which imposes an orthogonality constraint on the additive functions, enabling an identifiable, low-dimensional representation of the functional relationship. We connect the OAK kernel to functional ANOVA decomposition, and show improved convergence rates for sparse computation methods. With only a small number of additive low-dimensional terms, we demonstrate the OAK model achieves similar or better predictive performance compared to black-box models, while retaining interpretability.


title: Propagation of chaos for a stochastic particle system modelling epidemics

abstract: We consider a simple stochastic $N$-particle system, already studied by the same authors in \cite{CPS21}, representing different populations of agents. Each agent has a label describing his state of health. We show rigorously that, in the limit $N \to \infty$, propagation of chaos holds, leading to a set of kinetic equations which are a spatially inhomogeneous version of the classical SIR model. We improve a similar result obtained in \cite{CPS21} by using here a different coupling technique, which makes the analysis simpler, more natural and transparent.


title: Sparse inference of the human hematopoietic system from heterogeneous and partially observed genomic data

abstract: Hematopoiesis is the process of blood cell formation, through which progenitor stem cells differentiate into mature forms, such as white and red blood cells or mature platelets. While the precursors of the mature forms share many regulatory pathways involving common cellular nuclear factors, specific networks of regulation shape their fate towards one lineage or another. In this study, we aim to analyse the complex regulatory network that drives the formation of mature red blood cells and platelets from their common precursor. To this aim, we develop a dedicated graphical model which we infer from the latest RT-qPCR genomic data. The model also accounts for the effect of external genomic data. A computationally efficient Expectation-Maximization algorithm allows regularised network inference from the high-dimensional and often only partially observed RT-qPCR data. A careful combination of alternating direction method of multipliers algorithms allows achieving sparsity in the individual lineage networks and a high sharing between these networks, together with the detection of the associations between the membrane-bound receptors and the nuclear factors. The approach will be implemented in the R package cglasso and can be used in similar applications where network inference is conducted from high-dimensional, heterogeneous and partially observed data.


title: Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning

abstract: Reasoning and planning for mobile robots is a challenging problem, as the world evolves over time and thus the robot's goals may change. One technique to tackle this problem is goal reasoning, where the agent not only reasons about its actions, but also about which goals to pursue. While goal reasoning for single agents has been researched extensively, distributed, multi-agent goal reasoning comes with additional challenges, especially in a distributed setting. In such a context, some form of coordination is necessary to allow for cooperative behavior. Previous goal reasoning approaches share the agent's world model with the other agents, which already enables basic cooperation. However, the agent's goals, and thus its intentions, are typically not shared. In this paper, we present a method to tackle this limitation. Extending an existing goal reasoning framework, we propose enabling cooperative behavior between multiple agents through promises, where an agent may promise that certain facts will be true at some point in the future. Sharing these promises allows other agents to not only consider the current state of the world, but also the intentions of other agents when deciding on which goal to pursue next. We describe how promises can be incorporated into the goal life cycle, a commonly used goal refinement mechanism. We then show how promises can be used when planning for a particular goal by connecting them to timed initial literals (TILs) from PDDL planning. Finally, we evaluate our prototypical implementation in a simplified logistics scenario.


title: The exact worst-case convergence rate of the alternating direction method of multipliers

abstract: Recently, semidefinite programming performance estimation has been employed as a strong tool for the worst-case performance analysis of first order methods. In this paper, we derive new non-ergodic convergence rates for the alternating direction method of multipliers (ADMM) by using performance estimation. We give some examples which show the exactness of the given bounds. We also study the linear and R-linear convergence of ADMM. We establish that ADMM enjoys a global linear convergence rate if and only if the dual objective satisfies the Polyak-Lojasiewicz (PL)inequality in the presence of strong convexity. In addition, we give an explicit formula for the linear convergence rate factor. Moreover, we study the R-linear convergence of ADMM under two new scenarios.


title: Delocalization-localization dynamical phase transition of random walks on graphs

abstract: We consider random walks evolving on two models of connected and undirected graphs and study the exact large deviations of a local dynamical observable. We prove, in the thermodynamic limit, that this observable undergoes a first-order dynamical phase transition (DPT). This is interpreted as a `co-existence' of paths in the fluctuations that visit the highly connected bulk of the graph (delocalization) and paths that visit the boundary (localization). The methods we used also allow us to characterize analytically the scaling function that describes the finite size crossover between the localized and delocalized regimes. Remarkably, we also show that the DPT is robust with respect to a change in the graph topology, which only plays a role in the crossover regime. All results support the view that a first-order DPT may also appear in random walks on infinite-size random graphs.


title: WiFi-based Spatiotemporal Human Action Perception

abstract: WiFi-based sensing for human activity recognition (HAR) has recently become a hot topic as it brings great benefits when compared with video-based HAR, such as eliminating the demands of line-of-sight (LOS) and preserving privacy. Making the WiFi signals to 'see' the action, however, is quite coarse and thus still in its infancy. An end-to-end spatiotemporal WiFi signal neural network (STWNN) is proposed to enable WiFi-only sensing in both line-of-sight and non-line-of-sight scenarios. Especially, the 3D convolution module is able to explore the spatiotemporal continuity of WiFi signals, and the feature self-attention module can explicitly maintain dominant features. In addition, a novel 3D representation for WiFi signals is designed to preserve multi-scale spatiotemporal information. Furthermore, a small wireless-vision dataset (WVAR) is synchronously collected to extend the potential of STWNN to 'see' through occlusions. Quantitative and qualitative results on WVAR and the other three public benchmark datasets demonstrate the effectiveness of our approach on both accuracy and shift consistency.


title: Understanding Robust Learning through the Lens of Representation Similarities

abstract: Representation learning, i.e. the generation of representations useful for downstream applications, is a task of fundamental importance that underlies much of the success of deep neural networks (DNNs). Recently, robustness to adversarial examples has emerged as a desirable property for DNNs, spurring the development of robust training methods that account for adversarial examples. In this paper, we aim to understand how the properties of representations learned by robust training differ from those obtained from standard, non-robust training. This is critical to diagnosing numerous salient pitfalls in robust networks, such as, degradation of performance on benign inputs, poor generalization of robustness, and increase in over-fitting. We utilize a powerful set of tools known as representation similarity metrics, across three vision datasets, to obtain layer-wise comparisons between robust and non-robust DNNs with different training procedures, architectural parameters and adversarial constraints. Our experiments highlight hitherto unseen properties of robust representations that we posit underlie the behavioral differences of robust networks. We discover a lack of specialization in robust networks' representations along with a disappearance of `block structure'. We also find overfitting during robust training largely impacts deeper layers. These, along with other findings, suggest ways forward for the design and training of better robust networks.


title: On the inverse Poletsky inequality with cotangent dilatation

abstract: The article is devoted to establishing the distortion of the modulus of families of paths in wide classes of mappings that admit branch points. In particular, for mappings that are differentiable almost everywhere and have $N$- and $N^{\,- 1}$-Luzin properties and are absolutely continuous on almost all paths, we obtained the inverse Poletsky inequality with the so-called cotangent dilatation. We have proved that, for inverse mappings, this dilatation coincides with the so-called tangential dilatation of the corresponding inverse mapping. In addition, we have proved that cotangent dilatation is less than the outher or inner dilatation, in particular, may be less than one on the set of positive Lebesgue measure


title: Privacy-aware Secure Region-based Handover for Small Cell Networks in 5G-enabled Mobile Communication

abstract: The 5G mobile communication network provides seamless communications between users and service providers and promises to achieve several stringent requirements, such as seamless mobility and massive connectivity. Although 5G can offer numerous benefits, security and privacy issues still need to be addressed. For example, the inclusion of small cell networks (SCN) into 5G brings the network closer to the connected users, providing a better quality of services (QoS), resulting in a significant increase in the number of Handover procedures (HO), which will affect the security, latency and efficiency of the network. It is then crucial to design a scheme that supports seamless handovers through secure authentication to avoid the consequences of SCN. To address this issue, this article proposes a secure region-based handover scheme with user anonymity and an efficient revocation mechanism that supports seamless connectivity for SCNs in 5G. In this context, we introduce three privacy-preserving authentication protocols, i.e., initial authentication protocol, intra-region handover protocol and inter-region handover protocol, for dealing with three communication scenarios. To the best of our knowledge, this is the first paper to consider the privacy and security in both the intra-region and inter-region handover scenarios in 5G communication. Detailed security and performance analysis of our proposed scheme is presented to show that it is resilient against many security threats, is cost-effective in computation and provides an efficient solution for the 5G enabled mobile communication.


title: Electromagnetic scattering by a partially graphene-coated dielectric cylinder : efficient computation and multiple plasmonic resonances

abstract: We present a numerical approach for the solution of electromagnetic scattering from a dielectric cylinder partially covered with graphene. It is based on a classical Fourier-Bessel expansion of the fields inside and outside the cylinder to which we apply ad-hoc boundary conditions in presence of graphene. Due to the singular nature of the electric field at the edges of the graphene sheet, we introduce auxiliary boundary conditions. The result is particularly simple and very efficient method allowing the study of diffraction from such structures. We also highlight the presence of multiple plasmonic resonances that we ascribe to the surface modes of the coated cylinder.


title: A Neural Network Based Method with Transfer Learning for Genetic Data Analysis

abstract: Transfer learning has emerged as a powerful technique in many application problems, such as computer vision and natural language processing. However, this technique is largely ignored in application to genetic data analysis. In this paper, we combine transfer learning technique with a neural network based method(expectile neural networks). With transfer learning, instead of starting the learning process from scratch, we start from one task that have been learned when solving a different task. We leverage previous learnings and avoid starting from scratch to improve the model performance by passing information gained in different but related task. To demonstrate the performance, we run two real data sets. By using transfer learning algorithm, the performance of expectile neural networks is improved compared to expectile neural network without using transfer learning technique.


title: Regression of high dimensional angular momentum states of light

abstract: The Orbital Angular Momentum (OAM) of light is an infinite-dimensional degree of freedom of light with several applications in both classical and quantum optics. However, to fully take advantage of the potential of OAM states, reliable detection platforms to characterize generated states in experimental conditions are needed. Here, we present an approach to reconstruct input OAM states from measurements of the spatial intensity distributions they produce. To obviate issues arising from intrinsic symmetry of Laguerre-Gauss modes, we employ a pair of intensity profiles per state projecting it only on two distinct bases, showing how this allows to uniquely recover input states from the collected data. Our approach is based on a combined application of dimensionality reduction via principal component analysis, and linear regression, and thus has a low computational cost during both training and testing stages. We showcase our approach in a real photonic setup, generating up-to-four-dimensional OAM states through a quantum walk dynamics. The high performances and versatility of the demonstrated approach make it an ideal tool to characterize high dimensional states in quantum information protocols.


title: The conjecture of Birch and Swinnerton-Dyer for certain elliptic curves with complex multiplication

abstract: Let $E/F$ be an elliptic curve over a number field $F$ with complex multiplication by the ring of integers in an imaginary quadratic field $K$. We give a complete proof of the conjecture of Birch and Swinnerton-Dyer for $E/F$, as well as its equivariant refinement formulated by Gross, under the assumption that $L(E/F,1)\neq 0$ and that $F(E_{tors})/K$ is abelian. We also prove analogous results for CM abelian varieties $A/K$.


title: Algorithmic Fairness and Vertical Equity: Income Fairness with IRS Tax Audit Models

abstract: This study examines issues of algorithmic fairness in the context of systems that inform tax audit selection by the United States Internal Revenue Service (IRS). While the field of algorithmic fairness has developed primarily around notions of treating like individuals alike, we instead explore the concept of vertical equity -- appropriately accounting for relevant differences across individuals -- which is a central component of fairness in many public policy settings. Applied to the design of the U.S. individual income tax system, vertical equity relates to the fair allocation of tax and enforcement burdens across taxpayers of different income levels. Through a unique collaboration with the Treasury Department and IRS, we use access to anonymized individual taxpayer microdata, risk-selected audits, and random audits from 2010-14 to study vertical equity in tax administration. In particular, we assess how the use of modern machine learning methods for selecting audits may affect vertical equity. First, we show how the use of more flexible machine learning (classification) methods -- as opposed to simpler models -- shifts audit burdens from high to middle-income taxpayers. Second, we show that while existing algorithmic fairness techniques can mitigate some disparities across income, they can incur a steep cost to performance. Third, we show that the choice of whether to treat risk of underreporting as a classification or regression problem is highly consequential. Moving from classification to regression models to predict underreporting shifts audit burden substantially toward high income individuals, while increasing revenue. Last, we explore the role of differential audit cost in shaping the audit distribution. We show that a narrow focus on return-on-investment can undermine vertical equity. Our results have implications for the design of algorithmic tools across the public sector.


title: Dual Linear Programming Bounds for Sphere Packing via Discrete Reductions

abstract: The Cohn-Elkies linear program for sphere packing, which was used to solve the 8 and 24 dimensional cases, is conjectured to not be sharp in any other dimension $d>2$. By mapping feasible points of this infinite-dimensional linear program into a finite-dimensional problem via discrete reduction, we provide a general method to obtain dual bounds on the Cohn-Elkies linear program. This reduces the number of variables to be finite, enabling computer optimization techniques to be applied. Using this method, we prove that the Cohn-Elkies bound cannot come close to the best packing densities known in dimensions $3 \leq d \leq 13$ except for the solved case $d=8$. In particular, our dual bounds show the Cohn-Elkies bound is unable to solve the 3, 4, and 5 dimensional sphere packing problems.


title: Efficient Pricing and Calibration of High-Dimensional Basket Options

abstract: This paper studies equity basket options -- i.e., multi-dimensional derivatives whose payoffs depend on the value of a weighted sum of the underlying stocks -- and develops a new and innovative approach to ensure consistency between options on individual stocks and on the index comprising them. Specifically, we show how to resolve a well-known problem that when individual constituent distributions of an equity index are inferred from the single-stock option markets and combined in a multi-dimensional local/stochastic volatility model, the resulting basket option prices will not generate a skew matching that of the options on the equity index corresponding to the basket. To address this ``insufficient skewness'', we proceed in two steps. First, we propose an ``effective'' local volatility model by mapping the general multi-dimensional basket onto a collection of marginal distributions. Second, we build a multivariate dependence structure between all the marginal distributions assuming a jump-diffusion model for the effective projection parameters, and show how to calibrate the basket to the index smile. Numerical tests and calibration exercises demonstrate an excellent fit for a basket of as many as 30 stocks with fast calculation time.

categories: q-fin.CP q-fin.PM q-fin.PR q-fin.RM q-fin.TR


title: A pseudospectral method for direct numerical simulation of low-Mach, variable-density, turbulent flows

abstract: A novel algorithm for the direct numerical simulation of the variable-density, low-Mach Navier-Stokes equations extending the method of Kim, Moin, and Moser (1987) for incompressible flow is presented here. A Fourier representation is employed in the two homogeneous spatial directions and a number of discretizations can be used in the inhomogeneous direction. The momentum is decomposed into divergence- and curl-free portions which allows the momentum equations to be rewritten, removing the need to solve for the pressure. The temporal discretization is based on an explicit, segregated Runge-Kutta method and the scalar equations are reformulated to directly address the redundancy of the equation of state and the mass conservation equation. An efficient, matrix-free, iterative solution of the resulting equations allows for second-order accuracy in time and numerical stability for large density ratios, which is demonstrated for ratios up to $\sim 25.7$.


title: Spectra of generators of Markovian evolution in the thermodynamic limit: From non-Hermitian to full evolution via tridiagonal Laurent matrices

abstract: We determine spectra of single-particle translation-invariant Lindblad operators on the infinite line. In the case where the Hamiltonian is given by the discrete Laplacian and the Lindblad operators are rank $r$, finite range and translates of each other, we obtain a representation of the Lindbladian as a direct integral of finite range bi-infinite Laurent matrices with rank-$r$-perturbations. By analyzing the direct integral we rigorously determine the spectra in the general case and calculate it explicitly for several types of dissipation e.g.\ dephasing, and coherent hopping. We further use the detailed information about the spectrum to prove gaplessness, absence of residual spectrum and a condition for convergence of finite volume spectra to their infinite volume counterparts. We finally extend the discussion to the case of the Anderson Hamiltonian, which enables us to study a Lindbladian recently associated with localization in open quantum systems.


title: Breaking Down Out-of-Distribution Detection: Many Methods Based on OOD Training Data Estimate a Combination of the Same Core Quantities

abstract: It is an important problem in trustworthy machine learning to recognize out-of-distribution (OOD) inputs which are inputs unrelated to the in-distribution task. Many out-of-distribution detection methods have been suggested in recent years. The goal of this paper is to recognize common objectives as well as to identify the implicit scoring functions of different OOD detection methods. We focus on the sub-class of methods that use surrogate OOD data during training in order to learn an OOD detection score that generalizes to new unseen out-distributions at test time. We show that binary discrimination between in- and (different) out-distributions is equivalent to several distinct formulations of the OOD detection problem. When trained in a shared fashion with a standard classifier, this binary discriminator reaches an OOD detection performance similar to that of Outlier Exposure. Moreover, we show that the confidence loss which is used by Outlier Exposure has an implicit scoring function which differs in a non-trivial fashion from the theoretically optimal scoring function in the case where training and test out-distribution are the same, which again is similar to the one used when training an Energy-Based OOD detector or when adding a background class. In practice, when trained in exactly the same way, all these methods perform similarly.


title: Near-term quantum algorithm for computing molecular and materials properties based on recursive variational series methods

abstract: Determining the properties of molecules and materials is one of the premier applications of quantum computing. A major question in the field is: how might we use imperfect near-term quantum computers to solve problems of practical value? We propose a quantum algorithm to estimate the properties of molecules using near-term quantum devices. The method is a recursive variational series estimation method, where we expand an operator of interest in terms of Chebyshev polynomials and evaluate each term in the expansion using a variational quantum algorithm. We test our method by computing the one-particle Green's function in the energy domain and the autocorrelation function in the time domain.


title: An energy minimization approach to twinning with variable volume fraction

abstract: In materials that undergo martensitic phase transformation, macroscopic loading often leads to the creation and/or rearrangement of elastic domains. This paper considers an example {involving} a single-crystal slab made from two martensite variants. When the slab is made to bend, the two variants form a characteristic microstructure that we like to call ``twinning with variable volume fraction.'' Two 1996 papers by Chopra et. al. explored this example using bars made from InTl, providing considerable detail about the microstructures they observed. Here we offer an energy-minimization-based model that is motivated by their account. It uses geometrically linear elasticity, and treats the phase boundaries as sharp interfaces. For simplicity, rather than model the experimental forces and boundary conditions exactly, we consider certain Dirichlet or Neumann boundary conditions whose effect is to require bending. This leads to certain nonlinear (and nonconvex) variational problems that represent the minimization of elastic plus surface energy (and the work done by the load, in the case of a Neumann boundary condition). Our results identify how the minimum value of each variational problem scales with respect to the surface energy density. The results are established by proving upper and lower bounds that scale the same way. The upper bounds are ansatz-based, providing full details about some (nearly) optimal microstructures. The lower bounds are ansatz-free, so they explain why no other arrangement of the two phases could be significantly better.


title: Policy Learning under Endogeneity Using Instrumental Variables

abstract: This paper studies the identification and estimation of individualized intervention policies in observational data settings characterized by endogenous treatment selection and the availability of instrumental variables. We introduce encouragement rules that manipulate an instrument. Incorporating the marginal treatment effects (MTE) as policy invariant structural parameters, we establish the identification of the social welfare criterion for the optimal encouragement rule. Focusing on binary encouragement rules, we propose to estimate the optimal policy via the Empirical Welfare Maximization (EWM) method and derive convergence rates of the regret (welfare loss). We consider extensions to accommodate multiple instruments and budget constraints. Using data from the Indonesian Family Life Survey, we apply the EWM encouragement rule to advise on the optimal tuition subsidy assignment. Our framework offers interpretability regarding why a certain subpopulation is targeted.


title: Finding $k$-Secluded Trees Faster

abstract: We revisit the \textsc{$k$-Secluded Tree} problem. Given a vertex-weighted undirected graph $G$, its objective is to find a maximum-weight induced subtree $T$ whose open neighborhood has size at most $k$. We present a fixed-parameter tractable algorithm that solves the problem in time $2^{\mathcal{O}(k \log k)}\cdot n^{\mathcal{O}(1)}$, improving on a double-exponential running time from earlier work by Golovach, Heggernes, Lima, and Montealegre. Starting from a single vertex, our algorithm grows a $k$-secluded tree by branching on vertices in the open neighborhood of the current tree $T$. To bound the branching depth, we prove a structural result that can be used to identify a vertex that belongs to the neighborhood of any $k$-secluded supertree $T' \supseteq T$ once the open neighborhood of $T$ becomes sufficiently large. We extend the algorithm to enumerate compact descriptions of all maximum-weight $k$-secluded trees, which allows us to count the number of maximum-weight $k$-secluded trees containing a specified vertex in the same running time.


title: KOLOMVERSE: KRISO open large-scale image dataset for object detection in the maritime universe

abstract: Over the years, datasets have been developed for various object detection tasks. Object detection in the maritime domain is essential for the safety and navigation of ships. However, there is still a lack of publicly available large-scale datasets in the maritime domain. To overcome this challenge, we present KOLOMVERSE, an open large-scale image dataset for object detection in the maritime domain by KRISO (Korea Research Institute of Ships and Ocean Engineering). We collected 5,845 hours of video data captured from 21 territorial waters of South Korea. Through an elaborate data quality assessment process, we gathered around 2,151,470 4K resolution images from the video data. This dataset considers various environments: weather, time, illumination, occlusion, viewpoint, background, wind speed, and visibility. The KOLOMVERSE consists of five classes (ship, buoy, fishnet buoy, lighthouse and wind farm) for maritime object detection. The dataset has images of 3840$\times$2160 pixels and to our knowledge, it is by far the largest publicly available dataset for object detection in the maritime domain. We performed object detection experiments and evaluated our dataset on several pre-trained state-of-the-art architectures to show the effectiveness and usefulness of our dataset. The dataset is available at: \url{https://github.com/MaritimeDataset/KOLOMVERSE}.


title: Differential Astrometry with Gaia: Investigating relativistic light deflection close to Jupiter

abstract: In this paper we develop a differential astrometric framework that is appropriate for a scanning space satellite such as Gaia. We apply it to the first of the GAREQ fields, which is the fruit of dedicated efforts within the Gaia project focused on measuring the relativistic deflection of light close to Jupiter's limb. This provides a preliminary assessment of: a) the observability of the relativistic deflection of light close to Jupiter, and, b) Gaia's astrometric capabilities under extremely difficult conditions such as those around a bright extended object. Inputs to our differential astrometric model are the CCD transit times as measured by the IDU system, transformed to field angles via AGIS geometric calibrations, and the commanded/nominal spacecraft attitude. [abridged] To illustrate the model we analyze Gaia astrometric measurements after their calibration through the latest cyclic EDR3/DR3 processing of the GAREQ event of Feb 2017. We use observations of the closest bright target star successfully observed several times by Gaia in close proximity to Jupiter and surrounding reference stars brighter than G<13 mag in transits leading up to the time of closest approach and on subsequent transits. The relativistic deflection signal is detected with a S/N of 50 at closest approach by the target star. This signal is the combined effect due to Jupiter and the Sun, mainly dominated by Jupiter's monopole, demonstrating Gaia's scientific performance under extreme observational conditions. It is an unprecedented detection for the following reasons: a) closest ever to Jupiter's limb (~7") in the optical, and, b) highest S/N at any wavelength. Finally, this work sets the stage for investigations into disentangling the relativistic quadrupole deflection due to Jupiter with future Gaia astrometric measurements.

categories: astro-ph.GA astro-ph.EP astro-ph.IM astro-ph.SR gr-qc


title: How to Assess Trustworthy AI in Practice

abstract: This report is a methodological reflection on Z-Inspection$^{\small{\circledR}}$. Z-Inspection$^{\small{\circledR}}$ is a holistic process used to evaluate the trustworthiness of AI-based technologies at different stages of the AI lifecycle. It focuses, in particular, on the identification and discussion of ethical issues and tensions through the elaboration of socio-technical scenarios. It uses the general European Union's High-Level Expert Group's (EU HLEG) guidelines for trustworthy AI. This report illustrates for both AI researchers and AI practitioners how the EU HLEG guidelines for trustworthy AI can be applied in practice. We share the lessons learned from conducting a series of independent assessments to evaluate the trustworthiness of AI systems in healthcare. We also share key recommendations and practical suggestions on how to ensure a rigorous trustworthy AI assessment throughout the life-cycle of an AI system.


title: SoteriaFL: A Unified Framework for Private Federated Learning with Communication Compression

abstract: To enable large-scale machine learning in bandwidth-hungry environments such as wireless networks, significant progress has been made recently in designing communication-efficient federated learning algorithms with the aid of communication compression. On the other end, privacy-preserving, especially at the client level, is another important desideratum that has not been addressed simultaneously in the presence of advanced communication compression techniques yet. In this paper, we propose a unified framework that enhances the communication efficiency of private federated learning with communication compression. Exploiting both general compression operators and local differential privacy, we first examine a simple algorithm that applies compression directly to differentially-private stochastic gradient descent, and identify its limitations. We then propose a unified framework SoteriaFL for private federated learning, which accommodates a general family of local gradient estimators including popular stochastic variance-reduced gradient methods and the state-of-the-art shifted compression scheme. We provide a comprehensive characterization of its performance trade-offs in terms of privacy, utility, and communication complexity, where SoteraFL is shown to achieve better communication complexity without sacrificing privacy nor utility than other private federated learning algorithms without communication compression.


title: Nocturne: a scalable driving benchmark for bringing multi-agent learning one step closer to the real world

abstract: We introduce Nocturne, a new 2D driving simulator for investigating multi-agent coordination under partial observability. The focus of Nocturne is to enable research into inference and theory of mind in real-world multi-agent settings without the computational overhead of computer vision and feature extraction from images. Agents in this simulator only observe an obstructed view of the scene, mimicking human visual sensing constraints. Unlike existing benchmarks that are bottlenecked by rendering human-like observations directly using a camera input, Nocturne uses efficient intersection methods to compute a vectorized set of visible features in a C++ back-end, allowing the simulator to run at over 2000 steps-per-second. Using open-source trajectory and map data, we construct a simulator to load and replay arbitrary trajectories and scenes from real-world driving data. Using this environment, we benchmark reinforcement-learning and imitation-learning agents and demonstrate that the agents are quite far from human-level coordination ability and deviate significantly from the expert trajectories.


title: Nonlinear inhomogeneous Fokker-Planck models: energetic-variational structures and long time behavior

abstract: Inspired by the modeling of grain growth in polycrystalline materials, we consider a nonlinear Fokker-Plank model, with inhomogeneous diffusion and with variable mobility parameters. We develop large time asymptotic analysis of such nonstandard models by reformulating and extending the classical entropy method, under the assumption of periodic boundary condition. In addition, illustrative numerical tests are presented to highlight the essential points of the current analytical results and to motivate future analysis.


title: Latent Variable Modelling Using Variational Autoencoders: A survey

abstract: A probability distribution allows practitioners to uncover hidden structure in the data and build models to solve supervised learning problems using limited data. The focus of this report is on Variational autoencoders, a method to learn the probability distribution of large complex datasets. The report provides a theoretical understanding of variational autoencoders and consolidates the current research in the field. The report is divided into multiple chapters, the first chapter introduces the problem, describes variational autoencoders and identifies key research directions in the field. Chapters 2, 3, 4 and 5 dive into the details of each of the key research areas. Chapter 6 concludes the report and suggests directions for future work. A reader who has a basic idea of machine learning but wants to learn about general themes in machine learning research can benefit from the report. The report explains central ideas on learning probability distributions, what people did to make this tractable and goes into details around how deep learning is currently applied. The report also serves a gentle introduction for someone looking to contribute to this sub-field.