title: An optimised survey strategy for the ERIS/NIX imager: searching for young giant exoplanets and very low mass brown dwarfs using the K-peak custom photometric filter

abstract: We present optimal survey strategies for the upcoming NIX imager, part of the ERIS instrument to be installed on the Very Large Telescope (VLT). We will use a custom 2.2 micron K-peak filter to optimise the efficiency of a future large-scale direct imaging survey, aiming to detect brown dwarfs and giant planets around nearby stars. We use the results of previous large scale imaging surveys (primarily SPHERE SHINE and Gemini GPIES) to inform our choice of targets, as well as improved planet population distributions. We present four possible approaches to optimise survey target lists for the highest yield of detections: i) targeting objects with anomalous proper motion trends, ii) a follow-up survey of dense fields from SPHERE SHINE and Gemini GPIES iii) surveying nearby star-forming regions and iv) targeting newly discovered members of nearby young moving groups. We also compare the predicted performance of NIX to other state-of-the-art direct imaging instruments.


title: Investigating the coalescence-inspired sum rule for light nuclei and hypernuclei in heavy-ion collisions

abstract: A data-driven idea is presented to test if light nuclei and hypernuclei obey the coalescence-inspired sum rule, i.e., to test if the flow of a light nucleus or hypernucleus is the summed flow of each of its constituents. Here, the mass difference and charge difference among the constituents of light nuclei and hypernuclei are treated appropriately. The idea is applied to the available data for $\sqrt{s_{NN}} = 3$ GeV fixed-target Au+Au collisions at the Relativistic Heavy Ion Collider (RHIC), published by the STAR collaboration. It is found that the sum rule for light nuclei is approximately valid near mid-rapidity ($-0.3 < y < 0$), but there is a clear violation of the sum rule at large rapidity ($y < -0.3$). The Jet AA Microscopic Transport Model (JAM), with baryonic mean-field plus nucleon coalescence, generates a similar pattern as obtained from the experimental data. In the present approach, the rapidity dependence of directed flow of the hypernuclei $\mathrm{_{\Lambda}^{3}H}$ and $\mathrm{_{\Lambda}^{4}H}$ is predicted in a model-independent way for $\sqrt{s_{NN}} = 3$ GeV Au+Au collisions, which will be explored by ongoing and future measurements from STAR.


title: A Mildly Relativistic Outflow Launched Two Years after Disruption in the Tidal Disruption Event AT2018hyz

abstract: We present late-time radio/millimeter (as well as optical/UV and X-ray) detections of the tidal disruption event (TDE) AT2018hyz, spanning $970 - 1300$ d after optical discovery. In conjunction with earlier deeper limits, including at $\approx 700$ d, our observations reveal rapidly rising emission at $0.8-240$ GHz, steeper than $F_\nu\propto t^5$ relative to the time of optical discovery. Such a steep rise cannot be explained in any reasonable scenario of an outflow launched at the time of disruption (e.g., off-axis jet, sudden increase in the ambient density), and instead points to a delayed launch. Our multi-frequency data allow us to directly determine the radius and energy of the radio-emitting outflow, showing that it was launched $\approx 750$ d after optical discovery. The outflow velocity is mildly relativistic, with $\beta\approx 0.25$ and $\approx 0.6$ for a spherical and a $10^\circ$ jet geometry, respectively, and the minimum kinetic energy is $E_K\approx 5.8\times 10^{49}$ and $\approx 6.3\times 10^{49}$ erg, respectively. This is the first definitive evidence for the production of a delayed mildly-relativistic outflow in a TDE; a comparison to the recently-published radio light curve of ASASSN-15oi suggests that the final re-brightening observed in that event (at a single frequency and time) may be due to a similar outflow with a comparable velocity and energy. Finally, we note that the energy and velocity of the delayed outflow in AT2018hyz are intermediate between those of past non-relativistic TDEs (e.g., ASASSN-14li, AT2019dsg) and the relativistic TDE Sw\,J1644+57. We suggest that such delayed outflows may be common in TDEs.


title: Left Heavy Tails and the Effectiveness of the Policy and Value Networks in DNN-based best-first search for Sokoban Planning

abstract: Despite the success of practical solvers in various NP-complete domains such as SAT and CSP as well as using deep reinforcement learning to tackle two-player games such as Go, certain classes of PSPACE-hard planning problems have remained out of reach. Even carefully designed domain-specialized solvers can fail quickly due to the exponential search space on hard instances. Recent works that combine traditional search methods, such as best-first search and Monte Carlo tree search, with Deep Neural Networks' (DNN) heuristics have shown promising progress and can solve a significant number of hard planning instances beyond specialized solvers. To better understand why these approaches work, we studied the interplay of the policy and value networks of DNN-based best-first search on Sokoban and show the surprising effectiveness of the policy network, further enhanced by the value network, as a guiding heuristic for the search. To further understand the phenomena, we studied the cost distribution of the search algorithms and found that Sokoban instances can have heavy-tailed runtime distributions, with tails both on the left and right-hand sides. In particular, for the first time, we show the existence of \textit{left heavy tails} and propose an abstract tree model that can empirically explain the appearance of these tails. The experiments show the critical role of the policy network as a powerful heuristic guiding the search, which can lead to left heavy tails with polynomial scaling by avoiding exploring exponentially sized subtrees. Our results also demonstrate the importance of random restarts, as are widely used in traditional combinatorial solvers, for DNN-based search methods to avoid left and right heavy tails.


title: Resonant two-photon ionization of helium atoms studied by attosecond interferometry

abstract: We study resonant two-photon ionization of helium atoms via the $1s3p$, $1s4p$ and $1s5p^1$P$_1$ states using the 15$^\mathrm{th}$ harmonic of a titanium-sapphire laser for the excitation and a weak fraction of the laser field for the ionization. The phase of the photoelectron wavepackets is measured by an attosecond interferometric technique, using the 17$^\mathrm{th}$ harmonic. We perform experiments with angular resolution using a velocity map imaging spectrometer and with high energy resolution using a magnetic bottle electron spectrometer. Our results are compared to calculations using the two-photon random phase approximation with exchange to account for electron correlation effects. We give an interpretation for the multiple $\pi$-rad phase jumps observed, both at and away from resonance, as well as their dependence on the emission angle.


title: Dark Energy from the Fifth Dimension

abstract: After extending the Regge-Teitelboim formulation of gravity to include the case where the background embedding space is not flat, we examine the dynamics of the four-dimensional $k=0$ Robertson-Walker (RW) manifold embedded in various five-dimensional backgrounds. We find that when the background is five-dimensional de Sitter space, the RW manifold undergoes a transition from a de-accelerating phase to an accelerating phase. This occurs before the inclusion of matter, radiation or cosmological constant sources, and thus does not require a balance of different components. We obtain a reasonable two-parameter fit of this model to the Hubble parameter data.


title: A Polynomial Framework for Design of Drag Reducing Periodic Two-dimensional Textured Surfaces

abstract: Periodic and symmetric two-dimensional textures with various cross-sectional profiles have been employed to improve and optimize the physical response of the surfaces such as drag force, superhydrophobicity, and adhesion. While the effect of the height and spacing of the textures have been extensively studied, the effect of the shape of the textures has only been considered in qualitative manners. Here, a polynomial framework is proposed to mathematically define the cross-sectional profiles of the textures and offer a quantitative measure for comparing the physical response of the textured surfaces with various cross-sectional profiles. As a case study, textured surfaces designed with this framework are tested for their hydrodynamic frictional response in the cylindrical Couette flow regime in Taylor- Couette flows. With the reduction in torque as the objective, experimental and numerical results confirm that textures with height-to-half-spacing of lower and equal to unity with concave profiles offer a lower torque compared to both smooth surfaces and triangular textures. In addition, across multiple polynomial orders, textures defined by second order polynomials offer a wide range of responses, eliminating the need for considering polynomials of higher orders and complexity. While the case study here is focused on the laminar flow regime and the frictional torque, the same type of analysis can be applied to other surface properties and physical responses as well.


title: Reinforcement Learning in Medical Image Analysis: Concepts, Applications, Challenges, and Future Directions

abstract: Motivation: Medical image analysis involves tasks to assist physicians in qualitative and quantitative analysis of lesions or anatomical structures, significantly improving the accuracy and reliability of diagnosis and prognosis. Traditionally, these tasks are finished by physicians or medical physicists and lead to two major problems: (i) low efficiency; (ii) biased by personal experience. In the past decade, many machine learning methods have been applied to accelerate and automate the image analysis process. Compared to the enormous deployments of supervised and unsupervised learning models, attempts to use reinforcement learning in medical image analysis are scarce. This review article could serve as the stepping-stone for related research. Significance: From our observation, though reinforcement learning has gradually gained momentum in recent years, many researchers in the medical analysis field find it hard to understand and deploy in clinics. One cause is lacking well-organized review articles targeting readers lacking professional computer science backgrounds. Rather than providing a comprehensive list of all reinforcement learning models in medical image analysis, this paper may help the readers to learn how to formulate and solve their medical image analysis research as reinforcement learning problems. Approach & Results: We selected published articles from Google Scholar and PubMed. Considering the scarcity of related articles, we also included some outstanding newest preprints. The papers are carefully reviewed and categorized according to the type of image analysis task. We first review the basic concepts and popular models of reinforcement learning. Then we explore the applications of reinforcement learning models in landmark detection. Finally, we conclude the article by discussing the reviewed reinforcement learning approaches' limitations and possible improvements.


title: Bayesian Multi-task Variable Selection with an Application to Differential DAG Analysis

abstract: In this paper, we study the Bayesian multi-task variable selection problem, where the goal is to select activated variables for multiple related data sets simultaneously. Our proposed method generalizes the spike-and-slab prior to multiple data sets, and we prove its posterior consistency in high-dimensional regimes. To calculate the posterior distribution, we propose a novel variational Bayes algorithm based on the recently developed "sum of single effects" model of Wang et al. (2020). Finally, motivated by differential gene network analysis in biology, we extend our method to joint learning of multiple directed acyclic graphical models. Both simulation studies and real gene expression data analysis are conducted to show the effectiveness of the proposed method.


title: Indistinguishability Obfuscation of Circuits and its Application in Security

abstract: Under discussion in the paper is an $i\mathcal{O}$ (indistinguishability obfuscator) for circuits in Nick's Class. The obfuscator is constructed by encoding the Branching Program given by Barrington's theorem using Multilinear Jigsaw Puzzle framework. We will show under various indistinguishability hardness assumptions, the constructed obfuscator is an $i\mathcal{O}$ for Nick's Class. Using Fully Homomorphic Encryption, we will amplify the result and construct an $i\mathcal{O}$ for $\textbf{P}/poly$, which are circuits of polynomial size. Discussion on $i\mathcal{O}$ and Functional Encryption is also included in this paper.


title: Multistep Automated Data Labelling Procedure (MADLaP) for Thyroid Nodules on Ultrasound: An Artificial Intelligence Approach for Automating Image Annotation

abstract: Machine learning (ML) for diagnosis of thyroid nodules on ultrasound is an active area of research. However, ML tools require large, well-labelled datasets, the curation of which is time-consuming and labor-intensive. The purpose of our study was to develop and test a deep-learning-based tool to facilitate and automate the data annotation process for thyroid nodules; we named our tool Multistep Automated Data Labelling Procedure (MADLaP). MADLaP was designed to take multiple inputs included pathology reports, ultrasound images, and radiology reports. Using multiple step-wise modules including rule-based natural language processing, deep-learning-based imaging segmentation, and optical character recognition, MADLaP automatically identified images of a specific thyroid nodule and correctly assigned a pathology label. The model was developed using a training set of 378 patients across our health system and tested on a separate set of 93 patients. Ground truths for both sets were selected by an experienced radiologist. Performance metrics including yield (how many labeled images the model produced) and accuracy (percentage correct) were measured using the test set. MADLaP achieved a yield of 63% and an accuracy of 83%. The yield progressively increased as the input data moved through each module, while accuracy peaked part way through. Error analysis showed that inputs from certain examination sites had lower accuracy (40%) than the other sites (90%, 100%). MADLaP successfully created curated datasets of labeled ultrasound images of thyroid nodules. While accurate, the relatively suboptimal yield of MADLaP exposed some challenges when trying to automatically label radiology images from heterogeneous sources. The complex task of image curation and annotation could be automated, allowing for enrichment of larger datasets for use in machine learning development.


title: Physical properties of near-Earth asteroid (2102) Tantalus from multi-wavelength observations

abstract: Between 2010 and 2017 we have collected new optical and radar observations of the potentially hazardous asteroid (2102)~Tantalus from the ESO NTT and Danish telescopes at the La Silla Observatory and from the Arecibo planetary radar. The object appears to be nearly spherical, showing a low amplitude light-curve variation and limited large-scale features in the radar images. The spin-state is difficult to constrain with the available data; including a certain light-curve subset significantly changes the spin-state estimates, and the uncertainties on period determination are significant. Constraining any change in rotation rate was not possible, despite decades of observations. The convex lightcurve-inversion model, with rotational pole at ${\lambda}=210{\pm}41${\deg} and ${\beta}=-30{\pm}35${\deg}, is more flattened than the two models reconstructed by including radar observations: with prograde (${\lambda}=36{\pm}23${\deg}, ${\beta}=30{\pm}15${\deg}), and with retrograde rotation mode (${\lambda}=180{\pm}24${\deg}, ${\beta}=-30{\pm}16${\deg}). Using data from WISE we were able to determine that the prograde model produces the best agreement in size determination between radar and thermophysical modelling. Radar measurements indicate possible variation in surface properties, suggesting one side might have lower radar albedo and be rougher at centimetre-to-decimetre scale than the other. However, further observations are needed to confirm this. Thermophysical analysis indicates a surface covered in fine-grained regolith, consistent with radar albedo and polarisation ratio measurements. Finally, geophysical investigation of the spin-stability of Tantalus shows that it could be exceeding its critical spin-rate via cohesive forces.


title: Systematic improvement of neural network quantum states using a Lanczos recursion

abstract: The quantum many-body problem lies at the center of the most important open challenges in condensed matter, quantum chemistry, atomic, nuclear, and high-energy physics. While quantum Monte Carlo, when applicable, remains the most powerful numerical technique capable of treating dozens or hundreds of degrees of freedom with high accuracy, it is restricted to models that are not afflicted by the infamous sign problem. A powerful alternative that has emerged in recent years is the use of neural networks as variational estimators for quantum states. In this work, we propose a symmetry-projected variational solution in the form of linear combinations of simple restricted Boltzmann machines. This construction allows one to explore states outside of the original variational manifold and increase the representation power with moderate computational effort. Besides allowing one to restore spatial symmetries, an expansion in terms of Krylov states using a Lanczos recursion offers a solution that can further improve the quantum state accuracy. We illustrate these ideas with an application to the Heisenberg $J_1-J_2$ model on the square lattice, a paradigmatic problem under debate in condensed matter physics, and achieve start-of-the-art accuracy in the representation of the ground state.


title: Mittag-Leffler modules and definable subcategories. II

abstract: In this note I take the opportunity to correct the last statement of Part I of same title and continue the study of uniform purity of epimorphisms in order to derive the main result, which states that--provided $R_R\in \langle\cal K\rangle$, equivalently, $\langle \cal L\rangle$ (the definable subcategory generated by $\cal L$) contains all absolutely pure left modules--every countably generated $\cal K$-Mittag-Leffler module in $\langle \cal L\rangle$ is a direct summand of a $\langle \cal L\rangle$-preenvelope of a union of an $\cal L$-pure $\omega$-chain of finitely presented modules. In conclusion I present a number of examples that starts with and grew out of the study of $\cal L$-purity (of monomorphisms in $\Bbb{Z}$-Mod) for $\cal L$, the definable subcategory of divisible abelian groups. Rings that get particular attention in this are RD-rings, Warfield rings and (the newly introduced) high rings.


title: Linear-sized minors with given edge density

abstract: It is proved that for every $\varepsilon>0$, there exists $K>0$ such that for every integer $t\ge2$, every graph with chromatic number at least $Kt$ contains a minor with $t$ vertices and edge density at least $1-\varepsilon$. Indeed, building on recent work of Delcourt and Postle on linear Hadwiger's conjecture, for $\varepsilon\in(0,\frac{1}{256})$ we can take $K=C\log\log(1/\varepsilon)$ where $C>0$ is a universal constant, which extends their recent $O(t\log\log t)$ bound on the chromatic number of graphs with no $K_t$ minor.


title: Stellar prospects for FRB gravitational lensing

abstract: Gravitational lensing of fast radio bursts (FRBs) offers an exciting avenue for several cosmological applications. However, it is not yet clear how many such events future surveys will detect nor how to optimally find them. We use the known properties of FRBs to forecast detection rates of gravitational lensing on delay timescales from microseconds to years, corresponding to lens masses spanning fifteen orders of magnitude. We highlight the role of the FRB redshift distribution on our ability to observe gravitational lensing. We consider cosmological lensing of FRBs by stars in foreground galaxies and show that strong stellar lensing will dominate on microsecond timescales. Upcoming surveys such as DSA-2000 and CHORD will constrain the fraction of dark matter in compact objects (e.g. primordial black holes) and may detect millilensing events from intermediate mass black holes (IMBHs) or small dark matter halos. Coherent all-sky monitors will be able to detect longer-duration lensing events from massive galaxies, in addition to short time-scale lensing. Finally, we propose a new application of FRB gravitational lensing that will measure directly the circumgalactic medium of intervening galaxies.


title: Limit theorems for the volumes of small codimensional random sections of $\ell_p^n$-balls

abstract: We establish Central Limit Theorems for the volumes of intersections of $B_{p}^n$ (the unit ball of $\ell_p^n$) with uniform random subspaces of codimension $d$ for fixed $d$ and $n\to \infty$. As a corollary we obtain higher order approximations for expected volumes, refining previous results by Koldobsky and Lifschitz and approximations obtained from the Eldan--Klartag version of CLT for convex bodies. We also obtain a Central Limit Theorem for the Minkowski functional of the intersection body of $B_p^n$, evaluated on a random vector distributed uniformly on the unit sphere.


title: Quantifying the complexity and similarity of chess openings using online chess community data

abstract: Hundreds of years after its creation, the game of chess is still widely played worldwide. Opening Theory is one of the pillars of chess and requires years of study to be mastered. Here we exploit the "wisdom of the crowd" in an online chess platform to answer questions that, traditionally, only chess experts could tackle. We first define the relatedness network of chess openings that quantifies how similar two openings are to play. In this network, we spot communities of nodes corresponding to the most common opening choices and their mutual relationships, information which is hard to obtain from the existing classification of openings. Moreover, we use the relatedness network to forecast the future openings players will start to play and we back-test these predictions, obtaining performances considerably higher than those of a random predictor. Finally, we use the Economic Fitness and Complexity algorithm to measure how difficult to play openings are and how skilled in openings players are. This study not only gives a new perspective on chess analysis but also opens the possibility of suggesting personalized opening recommendations using complex network theory.


title: Binary Apollonian networks

abstract: There is a well-known relationship between the binary Pascal's triangle and Sierpinski triangle in which the latter obtained from the former by successive modulo 2 additions on one of its corners. Inspired by that, we define a binary Apollonian network and obtain two structures featuring a kind of dendritic growth. They are found to inherit the small-world and scale-free property from the original network but display no clustering. Other key network properties are explored as well. Our results reveal that the structure contained in the Apollonian network may be employed to model an even wider class of real-world systems.


title: Generative Neural Articulated Radiance Fields

abstract: Unsupervised learning of 3D-aware generative adversarial networks (GANs) using only collections of single-view 2D photographs has very recently made much progress. These 3D GANs, however, have not been demonstrated for human bodies and the generated radiance fields of existing frameworks are not directly editable, limiting their applicability in downstream tasks. We propose a solution to these challenges by developing a 3D GAN framework that learns to generate radiance fields of human bodies or faces in a canonical pose and warp them using an explicit deformation field into a desired body pose or facial expression. Using our framework, we demonstrate the first high-quality radiance field generation results for human bodies. Moreover, we show that our deformation-aware training procedure significantly improves the quality of generated bodies or faces when editing their poses or facial expressions compared to a 3D GAN that is not trained with explicit deformations.


title: A New Methodology for Radiation Effects Studies in Solids using the Plasma Focused Ion Beam

abstract: A new methodology for fundamental studies of radiation effects in solids is herein introduced by using a plasma Focused Ion Beam (PFIB). The classical example of ion-induced amorphization of single-crystalline pure Si is used as a proof-of-concept experiment that delineates the advantages and limitations of this new technique. We demonstrate both the feasibility and invention of a new ion irradiation mode consisting of irradiating a single-specimen in multiple areas, at multiple doses, in specific sites. This present methodology suggests a very precise control of the ion beam over the specimen, with an error in the flux on the order of only 1%. In addition, the proposed methodology allows the irradiation of specimens with higher dose rates when compared with conventional ion accelerators and implanters. This methodology is expected to open new research frontiers beyond the scope of materials at extremes such as in nanopatterning and nanodevices fabrication.


title: Modeling in higher dimensions to improve diagnostic testing accuracy: theory and examples for multiplex saliva-based SARS-CoV-2 antibody assays

abstract: The severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) pandemic has emphasized the importance and challenges of correctly interpreting antibody test results. Identification of positive and negative samples requires a classification strategy with low error rates, which is hard to achieve when the corresponding measurement values overlap. Additional uncertainty arises when classification schemes fail to account for complicated structure in data. We address these problems through a mathematical framework that combines high dimensional data modeling and optimal decision theory. Specifically, we show that appropriately increasing the dimension of data better separates positive and negative populations and reveals nuanced structure that can be described in terms of mathematical models. We combine these models with optimal decision theory to yield a classification scheme that better separates positive and negative samples relative to traditional methods such as confidence intervals (CIs) and receiver operating characteristics. We validate the usefulness of this approach in the context of a multiplex salivary SARS-CoV-2 immunoglobulin G assay dataset. This example illustrates how our analysis: (i) improves the assay accuracy (e.g. lowers classification errors by up to 42 % compared to CI methods); (ii) reduces the number of indeterminate samples when an inconclusive class is permissible (e.g. by 40 % compared to the original analysis of the example multiplex dataset); and (iii) decreases the number of antigens needed to classify samples. Our work showcases the power of mathematical modeling in diagnostic classification and highlights a method that can be adopted broadly in public health and clinical settings.

categories: q-bio.QM math.OC math.PR physics.bio-ph stat.ME


title: Quantitative Verification of Opacity Properties in Security Systems

abstract: We delineate a methodology for the specification and verification of flow security properties expressible in the opacity framework. We propose a logic, OpacTL , for straightforwardly expressing such properties in systems that can be modelled as partially observable labelled transition systems.We develop verification techniques for analysing property opacity with respect to observation notions. Adding a probabilistic operator to the specification language enables quantitative analysis and verification. This analysis is implemented as an extension to the PRISM model checker and illustrated via a number of examples. Finally, an alternative approach to quantifying the opacity property based on entropy is sketched.


title: Bottleneck Low-rank Transformers for Low-resource Spoken Language Understanding

abstract: End-to-end spoken language understanding (SLU) systems benefit from pretraining on large corpora, followed by fine-tuning on application-specific data. The resulting models are too large for on-edge applications. For instance, BERT-based systems contain over 110M parameters. Observing the model is overparameterized, we propose lean transformer structure where the dimension of the attention mechanism is automatically reduced using group sparsity. We propose a variant where the learned attention subspace is transferred to an attention bottleneck layer. In a low-resource setting and without pre-training, the resulting compact SLU model achieves accuracies competitive with pre-trained large models.


title: Intracluster magnetic filaments and an encounter with a radio jet

abstract: Thin synchrotron-emitting filaments are increasingly seen in the intracluster medium (ICM). We present the first example of a direct interaction between a magnetic filament, a radio jet, and a dense ICM clump in the poor cluster Abell 194. This enables the first exploration of the dynamics and possible histories of magnetic fields and cosmic rays in such filaments. Our observations are from the MeerKAT Galaxy Cluster Legacy Survey and the LOFAR Two Metre Sky Survey. Prominent 220 kpc long filaments extend east of radio galaxy 3C40B, with very faint extensions to 300 kpc, and show signs of interaction with its northern jet. They curve around a bend in the jet and intersect the jet in Faraday depth space. The X-ray surface brightness drops across the filaments; this suggests that the relativistic particles and fields contribute significantly to the pressure balance and evacuate the thermal plasma in a $\sim$35 kpc cylinder. We explore whether the relativistic electrons could have streamed along the filaments from 3C40B, and present a plausible alternative whereby magnetized filaments are a) generated by shear motions in the large-scale, post-merger ICM flow, b) stretched by interactions with the jet and flows in the ICM, amplifying the embedded magnetic fields, and c) perfused by re-energized relativistic electrons through betatron-type acceleration or diffusion of turbulently accelerated ICM cosmic ray electrons. We use the Faraday depth measurements to reconstruct some of the 3D structures of the filaments and of 3C40A and B.


title: Resolving the pathologies of self-interacting Proca fields: A case study of Proca stars

abstract: It has been argued that a self-interacting massive vector field is pathological due to a dynamical formation of a singular effective metric of the vector field, which is the onset of a gradient or ghost instability. We discuss that this singularity formation is not necessarily a fundamental problem but a breakdown of the effective field theory (EFT) description of the massive vector field. By using a model of ultraviolet (UV) completion of the massive vector field, we demonstrate that a Proca star, a self-gravitating condensate of the vector field, continues to exist even after the EFT suffers from a gradient instability without any pathology at UV, in which the EFT description is still valid and the gradient instability in EFT may be interpreted as a standard dynamical instability of a high-density boson star from the UV perspective. On the other hand, we find that the EFT description is broken before the ghost instability appears. This suggests that a heavy degree of freedom may be spontaneously excited to cure the pathology of the EFT as the EFT dynamically tends to approach the onset of the ghost instability.


title: Reducing US Biofuels Requirements Mitigates Short-term Impacts of Global Population and Income Growth on Agricultural Environmental Outcomes

abstract: Biobased energy, particularly corn starch-based ethanol and other liquid renewable fuels, are a major element of federal and state energy policies in the United States. These policies are motivated by energy security and climate change mitigation objectives, but corn ethanol does not substantially reduce greenhouse gas emissions when compared to petroleum-based fuels. Corn production also imposes substantial negative externalities (e.g., nitrogen leaching, higher food prices, water scarcity, and indirect land use change). In this paper, we utilize a partial equilibrium model of corn-soy production and trade to analyze the potential of reduced US demand for corn as a biobased energy feedstock to mitigate increases in nitrogen leaching, crop production and land use associated with growing global populations and income from 2020 to 2050. We estimate that a 23% demand reduction would sustain land use and nitrogen leaching below 2020 levels through the year 2025, and a 41% reduction would do so through 2030. Outcomes are similar across major watersheds where corn and soy are intensively farmed.


title: An Empirical Study of Challenges in Converting Deep Learning Models

abstract: There is an increase in deploying Deep Learning (DL)-based software systems in real-world applications. Usually DL models are developed and trained using DL frameworks that have their own internal mechanisms/formats to represent and train DL models, and usually those formats cannot be recognized by other frameworks. Moreover, trained models are usually deployed in environments different from where they were developed. To solve the interoperability issue and make DL models compatible with different frameworks/environments, some exchange formats are introduced for DL models, like ONNX and CoreML. However, ONNX and CoreML were never empirically evaluated by the community to reveal their prediction accuracy, performance, and robustness after conversion. Poor accuracy or non-robust behavior of converted models may lead to poor quality of deployed DL-based software systems. We conduct, in this paper, the first empirical study to assess ONNX and CoreML for converting trained DL models. In our systematic approach, two popular DL frameworks, Keras and PyTorch, are used to train five widely used DL models on three popular datasets. The trained models are then converted to ONNX and CoreML and transferred to two runtime environments designated for such formats, to be evaluated. We investigate the prediction accuracy before and after conversion. Our results unveil that the prediction accuracy of converted models are at the same level of originals. The performance (time cost and memory consumption) of converted models are studied as well. The size of models are reduced after conversion, which can result in optimized DL-based software deployment. Converted models are generally assessed as robust at the same level of originals. However, obtained results show that CoreML models are more vulnerable to adversarial attacks compared to ONNX.


title: A wideband generalization of the near-field region for extremely large phased-arrays

abstract: The narrowband and far-field assumption in conventional wireless system design leads to a mismatch with the optimal beamforming required for wideband and near-field systems. This discrepancy is exacerbated for larger apertures and bandwidths. To characterize the behavior of near-field and wideband systems, we derive the beamforming gain expression achieved by a frequency-flat phased array designed for plane-wave propagation. To determine the far-field to near-field boundary for a wideband system, we propose a frequency-selective distance metric. The proposed far-field threshold increases for frequencies away from the center frequency. The analysis results in a fundamental upper bound on the product of the array aperture and the system bandwidth. We present numerical results to illustrate how the gain threshold affects the maximum usable bandwidth for the n260 and n261 5G NR bands.


title: Role of rotational inertia for collective phenomena in active matter

abstract: We investigate the effect of rotational inertia on the collective phenomena of underdamped active systems and show that the increase of the moment of inertia of each particle favors non-equilibrium phase coexistence, known as motility induced phase separation, and counteracts its suppression due to translational inertia. Our conclusion is supported by a non-equilibrium phase diagram (in the plane spanned by rotational inertial time and translational inertial time) whose transition line is understood theoretically through scaling arguments. In addition, rotational inertia increases the correlation length of the spatial velocity correlations in the dense cluster. The fact that rotational inertia enhances collective phenomena, such as motility induced phase separation and spatial velocity correlations, is strongly linked to the increase of rotational persistence. Moreover, large moments of inertia induce non-monotonic temporal (cross) correlations between translational and rotational degrees of freedom truly absent in non-equilibrium systems.


title: On the Role of Defects in the Electronic Structure of MnBi$_{2-x}$Sb$_x$Te$_4$

abstract: Elemental substitution is a proven method of Fermi level tuning in topological insulators, which is needed for device applications. Through static and time resolved photoemission, we show that in MnBi$_2$Te$_4$, elemental substitution of Bi with Sb indeed tunes the Fermi level towards the bulk band gap, making the material charge neutral at 35\% Sb concentration. For the first time, we are able to directly probe the excited state band structure at this doping level, and their dynamics, which show that the decay channels at the Fermi level are severely restricted. However, elemental substitution widens the surface state gap, which we attribute to the increase in antisite defects resulting from Sb substitution. This hypothesis is supported by DFT calculations that include defects, which show a sensitivity of the topological surface state to their inclusion. Our results emphasize the need for defect control if MnBi$_{2-x}$Sb$_x$Te$_4$ is to be used for device applications.


title: Multiuser MISO PS-SWIPT Systems: Active or Passive RIS?

abstract: Reconfigurable intelligent surface (RIS)-based communication networks promise to improve channel capacity and energy efficiency. However, the promised capacity gains could be negligible for passive RISs because of the double pathloss effect. Active RISs can overcome this issue because they have reflector elements with a low-cost amplifier. This letter studies the active RIS-aided simultaneous wireless information and power transfer (SWIPT) in a multiuser system. The users exploit power splitting (PS) to decode information and harvest energy simultaneously based on a realistic piecewise nonlinear energy harvesting model. The goal is to minimize the base station (BS) transmit power by optimizing its beamformers, PS ratios, and RIS phase shifts/amplification factors. The simulation results show significant improvements (e.g., 19% and 28%) with the maximum reflect power of 10 mW and 15 mW, respectively, compared to the passive RIS without higher computational complexity cost. We also show the robustness of the proposed algorithm against imperfect channel state information.


title: The TESS-Keck Survey. XIII. An Eccentric Hot Neptune with a Similar-Mass Outer Companion around TOI-1272

abstract: We report the discovery of an eccentric hot Neptune and a non-transiting outer planet around TOI-1272. We identified the eccentricity of the inner planet, with an orbital period of 3.3 d and $R_{\rm p,b} = 4.1 \pm 0.2$ $R_\oplus$, based on a mismatch between the observed transit duration and the expected duration for a circular orbit. Using ground-based radial velocity measurements from the HIRES instrument at the Keck Observatory, we measured the mass of TOI-1272b to be $M_{\rm p,b} = 25 \pm 2$ $M_\oplus$. We also confirmed a high eccentricity of $e_b = 0.34 \pm 0.06$, placing TOI-1272b among the most eccentric well-characterized sub-Jovians. We used these RV measurements to also identify a non-transiting outer companion on an 8.7-d orbit with a similar mass of $M_{\rm p,c}$ sin$i= 27 \pm 3$ $M_\oplus$ and $e_c \lesssim 0.35$. Dynamically stable planet-planet interactions have likely allowed TOI-1272b to avoid tidal eccentricity decay despite the short circularization timescale expected for a close-in eccentric Neptune. TOI-1272b also maintains an envelope mass fraction of $f_{\rm env} \approx 11\%$ despite its high equilibrium temperature, implying that it may currently be undergoing photoevaporation. This planet joins a small population of short-period Neptune-like planets within the "Hot Neptune Desert" with a poorly understood formation pathway.


title: A novel two dimensional nonlinear tuned mass damper inerter and its application in vibration mitigation of wind turbine blade

abstract: The present paper proposes a novel two-dimensional non-linear tuned mass damper inerter (2d-NTMDI) to effectively mitigate bi-directional structural responses. The 2d-NTMDI consists of a mass and two sets of springs, dashpots and inerters configured in two axes. The resultant restoring forces are nonlinear with respect to the displacements in two axes. While the proposed novel 2d-NTMDI has the capability of mitigating bi-directional vibrations simultaneously, the system nonlinearity complicates the optimization. A numerical search method is adopted to determine the optimum design parameters of the 2d-NTMDI. To evaluate the effectiveness, the proposed 2d-NTMDI is deployed in a 5MW-wind turbine blade suffering from bi-directional vibrations in the edgewise and flapwise directions. To this end, an analytical model of a wind turbine blade with a 2d-NTMDI is established. The wind loading is computed using blade element momentum theory. The effectiveness of the 2d-NTMDI is examined under different loading conditions. Also, the fatigue damage of the wind turbine blades is calculated according to the rain-flow cycle counting approach and Miner's law. It is concluded that the optimized design 2d-NTMDI can prolong the blade fatigue life by $35\%$.


title: On the R\'{e}nyi Cross-Entropy

abstract: The R\'{e}nyi cross-entropy measure between two distributions, a generalization of the Shannon cross-entropy, was recently used as a loss function for the improved design of deep learning generative adversarial networks. In this work, we examine the properties of this measure and derive closed-form expressions for it when one of the distributions is fixed and when both distributions belong to the exponential family. We also analytically determine a formula for the cross-entropy rate for stationary Gaussian processes and for finite-alphabet Markov sources.


title: Model-Based Approaches to Channel Charting

abstract: We present new ways of producing a channel chart [1] employing model-based approaches. We estimate the angle of arrival theta and the distance rho between the base station and the user equipment by employing our algorithms, inverse of the root sum squares of channel coefficients (ISQ) algorithm, linear regression (LR) algorithm, and MUSIC/MUSIC (MM) algorithm. We compare these methods with the channel charting algorithms principal component analysis (PCA), Sammon's method (SM), and autoencoder (AE) [1]. We show that ISQ, LR, and MM surpass PCA, SM, and AE in performance. We also compare our algorithm MM with an algorithm from the literature that uses the MUSIC algorithm jointly on theta and rho. We call this algorithm the JM algorithm. JM performs very slightly better than MM but at a substantial increase in complexity. Finally, we introduce the rotate-and-sum (RS) algorithm which has about the same performance as the MM and JM algorithms. Unlike MUSIC, RS does not employ eigenvalue and eigenvector analysis. Thus, it is more suitable for direct register transfer logic (RTL) implementation.


title: Spherical Channels for Modeling Atomic Interactions

abstract: Modeling the energy and forces of atomic systems is a fundamental problem in computational chemistry with the potential to help address many of the world's most pressing problems, including those related to energy scarcity and climate change. These calculations are traditionally performed using Density Functional Theory, which is computationally very expensive. Machine learning has the potential to dramatically improve the efficiency of these calculations from days or hours to seconds. We propose the Spherical Channel Network (SCN) to model atomic energies and forces. The SCN is a graph neural network where nodes represent atoms and edges their neighboring atoms. The atom embeddings are a set of spherical functions, called spherical channels, represented using spherical harmonics. We demonstrate, that by rotating the embeddings based on the 3D edge orientation, more information may be utilized while maintaining the rotational equivariance of the messages. While equivariance is a desirable property, we find that by relaxing this constraint in both message passing and aggregation, improved accuracy may be achieved. We demonstrate state-of-the-art results on the large-scale Open Catalyst dataset in both energy and force prediction for numerous tasks and metrics.

categories: physics.chem-ph cs.CE cs.LG physics.comp-ph


title: Active Exploration via Experiment Design in Markov Chains

abstract: A key challenge in science and engineering is to design experiments to learn about some unknown quantity of interest. Classical experimental design optimally allocates the experimental budget to maximize a notion of utility (e.g., reduction in uncertainty about the unknown quantity). We consider a rich setting, where the experiments are associated with states in a {\em Markov chain}, and we can only choose them by selecting a {\em policy} controlling the state transitions. This problem captures important applications, from exploration in reinforcement learning to spatial monitoring tasks. We propose an algorithm -- \textsc{markov-design} -- that efficiently selects policies whose measurement allocation \emph{provably converges to the optimal one}. The algorithm is sequential in nature, adapting its choice of policies (experiments) informed by past measurements. In addition to our theoretical analysis, we showcase our framework on applications in ecological surveillance and pharmacology.


title: Global asymptotic dynamics of the cubic galileon interacting with dark matter

abstract: In this paper we perform a thorough dynamical systems analysis of the cubic galileon model non-minimally coupled to the dark matter. Three well-known classes of interacting models are considered where the energy exchange between the dark components is a function of the dark matter density and of the dark energy density: $Q_1=3\alpha H\rho_m$, $Q_2=3\beta\rho_m\dot{\phi}$ and $Q_3=3 \epsilon H \rho_\phi$, respectively. We are able to show the global asymptotic dynamics of the model for the exponential potential in a homogeneous and isotropic background. The cosmological implications of the proposed scenarios are explored and it is found that, in addition to the appearance of new equilibrium configurations that do not appear neither in the non-interacting cubic galileon model nor in the interacting quintessence model, there is a significant impact of the non-minimal coupling through modification of the stability properties of the critical points. The resulting cosmological scenario provides a bigbang origin of the cosmic expansion, an early transient stage of inflationary expansion, as well as matter-scaling late time stable state of the universe, among other solutions of lesser cosmological interest. This work extends previous studies of coupled dark energy to a broader class of gravitational theories.


title: Precision measurement of the microwave dielectric loss of sapphire in the quantum regime with parts-per-billion sensitivity

abstract: Dielectric loss is known to limit state-of-the-art superconducting qubit lifetimes. Recent experiments imply upper bounds on bulk dielectric loss tangents on the order of $100$ parts-per-billion, but because these inferences are drawn from fully fabricated devices with many loss channels, they do not definitively implicate or exonerate the dielectric. To resolve this ambiguity, we have devised a measurement method capable of separating and resolving bulk dielectric loss with a sensitivity at the level of $5$ parts per billion. The method, which we call the dielectric dipper, involves the in-situ insertion of a dielectric sample into a high-quality microwave cavity mode. Smoothly varying the sample's participation in the cavity mode enables a differential measurement of the sample's dielectric loss tangent. The dielectric dipper can probe the low-power behavior of dielectrics at cryogenic temperatures, and does so without the need for any lithographic process, enabling controlled comparisons of substrate materials and processing techniques. We demonstrate the method with measurements of EFG sapphire, from which we infer a bulk loss tangent of $62(7) \times 10^{-9}$ and a substrate-air interface loss tangent of $12(2) \times 10^{-4}$. For a typical transmon, this bulk loss tangent would limit device quality factors to less than $20$ million, suggesting that bulk loss is likely the dominant loss mechanism in the longest-lived transmons on sapphire. We also demonstrate this method on HEMEX sapphire and bound its bulk loss tangent to be less than $15(5) \times 10^{-9}$. As this bound is about 3 times smaller than the bulk loss tangent of EFG sapphire, use of HEMEX sapphire as a substrate would lift the bulk dielectric coherence limit of a typical transmon qubit to several milliseconds.


title: A graph-based spectral classification of Type II supernovae

abstract: Given the ever-increasing number of time-domain astronomical surveys, employing robust, interpretative, and automated data-driven classification schemes is pivotal. Based on graph theory, we present new data-driven classification heuristics for spectral data. A spectral classification scheme of Type II supernovae (SNe II) is proposed based on the phase relative to the maximum light in the $V$ band and the end of the plateau phase. We utilize a compiled optical data set that comprises 145 SNe and 1595 optical spectra in 4000-9000 $\overset{\circ}{\mathrm {A}}$. Our classification method naturally identifies outliers and arranges the different SNe in terms of their major spectral features. We compare our approach to the off-the-shelf umap manifold learning and show that both strategies are consistent with a continuous variation of spectral types rather than discrete families. The automated classification naturally reflects the fast evolution of Type II SNe around the maximum light while showcasing their homogeneity close to the end of the plateau phase. The scheme we develop could be more widely applicable to unsupervised time series classification or characterisation of other functional data.


title: Kinetic equations for two-photon light in random media

abstract: We consider the propagation of light in a random medium of two-level atoms. We investigate the dynamics of the field and atomic probability amplitudes for a two-photon state and show that at long times and large distances, the corresponding average probability densities can be determined from the solutions to a system of kinetic equations.


title: Deformable Graph Transformer

abstract: Transformer-based models have recently shown success in representation learning on graph-structured data beyond natural language processing and computer vision. However, the success is limited to small-scale graphs due to the drawbacks of full dot-product attention on graphs such as the quadratic complexity with respect to the number of nodes and message aggregation from enormous irrelevant nodes. To address these issues, we propose Deformable Graph Transformer (DGT) that performs sparse attention via dynamically sampled relevant nodes for efficiently handling large-scale graphs with a linear complexity in the number of nodes. Specifically, our framework first constructs multiple node sequences with various criteria to consider both structural and semantic proximity. Then, combining with our learnable Katz Positional Encodings, the sparse attention is applied to the node sequences for learning node representations with a significantly reduced computational cost. Extensive experiments demonstrate that our DGT achieves state-of-the-art performance on 7 graph benchmark datasets with 2.5 - 449 times less computational cost compared to transformer-based graph models with full attention.


title: Lagrangian 3-form structure for the Darboux system and the KP hierarchy

abstract: A Lagrangian multiform structure is established for a generalisation of the Darboux system describing orthogonal curvilinear coordinate systems. It has been shown in the past that this system of coupled PDEs is in fact an encoding of the entire Kadomtsev-Petviashvili (KP) hierarchy in terms so-called Miwa variables. Thus, in providing a Lagrangian description of this multidimensionally consistent system amounts to a new Lagrangian 3-form structure for the continuous KP system. A generalisation to the matrix (also known as non-Abelian) KP system is discussed.


title: Independent atom model description of multiple ionization of water, methane, and ammonia molecules by proton impact

abstract: We study multiple ionization in proton collisions with water, methane, and ammonia molecules using an independent-atom model. Previous work on total (net) capture and ionization cross sections is extended to treat the multiple ionization channels explicitly. We present the theoretical framework to treat charge-state correlated processes within the independent-atom model approach which uses the geometric screening introduced for different molecular geometries and orientations. Comparison of results is made for the target molecules $\rm H_2O, CH_4, NH_3$ with an emphasis on $q$-fold electron removal. Coincident measurements of produced molecular fragments can be used to estimate this quantity. We find very good agreement for the model calculations for the water molecule, where data exist for $q=1-4$. For methane we observe reasonable agreement with $q=1,2$, and for ammonia only for $q=1$, i.e., the experimental data show little support for a direct multiple ionization channel in the latter case.


title: Drone-Delivery Network for Opioid Overdose -- Nonlinear Integer Queueing-Optimization Models and Methods

abstract: We propose a new stochastic emergency network design model that uses a fleet of drones to quickly deliver naxolone in response to opioid overdoses. The network is represented as a collection of M/G/K queuing systems in which the capacity K of each system is a decision variable and the service time is modelled as a decision-dependent random variable. The model is an optimization-based queuing problem which locates fixed (drone bases) and mobile (drones) servers and determines the drone dispatching decisions, and takes the form of a nonlinear integer problem, which is intractable in its original form. We develop an efficient reformulation and algorithmic framework. Our approach reformulates the multiple nonlinearities (fractional, polynomial, exponential, factorial terms) to give a mixed-integer linear programming (MILP) formulation. We demonstrate its generalizablity and show that the problem of minimizing the average response time of a network of M/G/K queuing systems with unknown capacity K is always MILP-representable. We design two algorithms and demonstrate that the outer approximation branch-and-cut method is the most efficient and scales well. The analysis based on real-life overdose data reveals that drones can in Virginia Beach: 1) decrease the response time by 78%, 2) increase the survival chance by 432%, 3) save up to 34 additional lives per year, and 4) provide annually up to 287 additional quality-adjusted life years.


title: CoAP-DoS: An IoT Network Intrusion Dataset

abstract: The need for secure Internet of Things (IoT) devices is growing as IoT devices are becoming more integrated into vital networks. Many systems rely on these devices to remain available and provide reliable service. Denial of service attacks against IoT devices are a real threat due to the fact these low power devices are very susceptible to denial-of-service attacks. Machine learning enabled network intrusion detection systems are effective at identifying new threats, but they require a large amount of data to work well. There are many network traffic data sets but very few that focus on IoT network traffic. Within the IoT network data sets there is a lack of CoAP denial of service data. We propose a novel data set covering this gap. We develop a new data set by collecting network traffic from real CoAP denial of service attacks and compare the data on multiple different machine learning classifiers. We show that the data set is effective on many classifiers.


title: Intrinsic Anomaly Detection for Multi-Variate Time Series

abstract: We introduce a novel, practically relevant variation of the anomaly detection problem in multi-variate time series: intrinsic anomaly detection. It appears in diverse practical scenarios ranging from DevOps to IoT, where we want to recognize failures of a system that operates under the influence of a surrounding environment. Intrinsic anomalies are changes in the functional dependency structure between time series that represent an environment and time series that represent the internal state of a system that is placed in said environment. We formalize this problem, provide under-studied public and new purpose-built data sets for it, and present methods that handle intrinsic anomaly detection. These address the short-coming of existing anomaly detection methods that cannot differentiate between expected changes in the system's state and unexpected ones, i.e., changes in the system that deviate from the environment's influence. Our most promising approach is fully unsupervised and combines adversarial learning and time series representation learning, thereby addressing problems such as label sparsity and subjectivity, while allowing to navigate and improve notoriously problematic anomaly detection data sets.


title: State space model multiple imputation for missing data in non-stationary multivariate time series with application in digital Psychiatry

abstract: Mobile technology enables unprecedented continuous monitoring of an individual's behavior, social interactions, symptoms, and other health conditions, presenting an enormous opportunity for therapeutic advancements and scientific discoveries regarding the etiology of psychiatric illness. Continuous collection of mobile data results in the generation of a new type of data: entangled multivariate time series of outcome, exposure, and covariates. Missing data is a pervasive problem in biomedical and social science research, and the Ecological Momentary Assessment (EMA) using mobile devices in psychiatric research is no exception. However, the complex structure of multivariate time series introduces new challenges in handling missing data for proper causal inference. Data imputation is commonly recommended to enhance data utility and estimation efficiency. The majority of available imputation methods are either designed for longitudinal data with limited follow-up times or for stationary time series, which are incompatible with potentially non-stationary time series. In the field of psychiatry, non-stationary data are frequently encountered as symptoms and treatment regimens may experience dramatic changes over time. To address missing data in possibly non-stationary multivariate time series, we propose a novel multiple imputation strategy based on the state space model (SSMmp) and a more computationally efficient variant (SSMimpute). We demonstrate their advantages over other widely used missing data strategies by evaluating their theoretical properties and empirical performance in simulations of both stationary and non-stationary time series, subject to various missing mechanisms. We apply the SSMimpute to investigate the association between social network size and negative mood using a multi-year observational smartphone study of bipolar patients, controlling for confounding variables.


title: A New Adjacency Matrix Configuration in GCN-based Models for Skeleton-based Action Recognition

abstract: Human skeleton data has received increasing attention in action recognition due to its background robustness and high efficiency. In skeleton-based action recognition, graph convolutional network (GCN) has become the mainstream method. This paper analyzes the fundamental factor for GCN-based models -- the adjacency matrix. We notice that most GCN-based methods conduct their adjacency matrix based on the human natural skeleton structure. Based on our former work and analysis, we propose that the human natural skeleton structure adjacency matrix is not proper for skeleton-based action recognition. We propose a new adjacency matrix that abandons all rigid neighbor connections but lets the model adaptively learn the relationships of joints. We conduct extensive experiments and analysis with a validation model on two skeleton-based action recognition datasets (NTURGBD60 and FineGYM). Comprehensive experimental results and analysis reveals that 1) the most widely used human natural skeleton structure adjacency matrix is unsuitable in skeleton-based action recognition; 2) The proposed adjacency matrix is superior in model performance, noise robustness and transferability.


title: The index of the septic number field defined by $x^7+ax^5+b$

abstract: Let $K $ be a septic number field generated by a complex root $\th$ of a monic irreducible trinomial $ F(x)= x^7+ax^5+b \in \Z[x]$. Let $i(K)$ be the index of $K$. In this paper, we show that $i(K) \in \{1, 2, 4\}$. In a such way, we answer to Problem $22$ of Narkiewicz \cite{Na} for these number fields. In particular, we provide sufficient conditions for which $K$ is non-monogenic. We illustrate our results by some computational examples.


title: A Deep Learning Approach to Create DNS Amplification Attacks

abstract: In recent years, deep learning has shown itself to be an incredibly valuable tool in cybersecurity as it helps network intrusion detection systems to classify attacks and detect new ones. Adversarial learning is the process of utilizing machine learning to generate a perturbed set of inputs to then feed to the neural network to misclassify it. Much of the current work in the field of adversarial learning has been conducted in image processing and natural language processing with a wide variety of algorithms. Two algorithms of interest are the Elastic-Net Attack on Deep Neural Networks and TextAttack. In our experiment the EAD and TextAttack algorithms are applied to a Domain Name System amplification classifier. The algorithms are used to generate malicious Distributed Denial of Service adversarial examples to then feed as inputs to the network intrusion detection systems neural network to classify as valid traffic. We show in this work that both image processing and natural language processing adversarial learning algorithms can be applied against a network intrusion detection neural network.


title: A biased random-key genetic algorithm for the home health care problem

abstract: Home health care problems consist of scheduling visits to home patients by health professionals while following a series of requirements. This paper studies the Home Health Care Routing and Scheduling Problem, which comprises a multi-attribute vehicle routing problem with soft time windows. Additional route inter-dependency constraints apply for patients requesting multiple visits, either by simultaneous visits or visits with precedence. We apply a mathematical programming solver to obtain lower bounds for the problem. We also propose a biased random-key genetic algorithm, and we study the effects of additional state-of-art components recently proposed in the literature for this genetic algorithm. We perform computational experiment using a publicly available benchmark dataset. Regarding the previous local search-based methods, we find results up to 26.1% better than those of the literature. We find improvements from around 0.4% to 6.36% compared to previous results from a similar genetic algorithm.


title: What Can Secondary Predictions Tell Us? An Exploration on Question-Answering with SQuAD-v2.0

abstract: Performance in natural language processing, and specifically for the question-answer task, is typically measured by comparing a model\'s most confident (primary) prediction to golden answers (the ground truth). We are making the case that it is also useful to quantify how close a model came to predicting a correct answer even for examples that failed. We define the Golden Rank (GR) of an example as the rank of its most confident prediction that exactly matches a ground truth, and show why such a match always exists. For the 16 transformer models we analyzed, the majority of exactly matched golden answers in secondary prediction space hover very close to the top rank. We refer to secondary predictions as those ranking above 0 in descending confidence probability order. We demonstrate how the GR can be used to classify questions and visualize their spectrum of difficulty, from persistent near successes to persistent extreme failures. We derive a new aggregate statistic over entire test sets, named the Golden Rank Interpolated Median (GRIM) that quantifies the proximity of failed predictions to the top choice made by the model. To develop some intuition and explore the applicability of these metrics we use the Stanford Question Answering Dataset (SQuAD-2) and a few popular transformer models from the Hugging Face hub. We first demonstrate that the GRIM is not directly correlated with the F1 and exact match (EM) scores. We then calculate and visualize these scores for various transformer architectures, probe their applicability in error analysis by clustering failed predictions, and compare how they relate to other training diagnostics such as the EM and F1 scores. We finally suggest various research goals, such as broadening data collection for these metrics and their possible use in adversarial training.


title: Fleet-DAgger: Interactive Robot Fleet Learning with Scalable Human Supervision

abstract: Commercial and industrial deployments of robot fleets at Amazon, Nimble, Plus One, Waymo, and Zoox query remote human teleoperators when robots are at risk or unable to make task progress. With continual learning, interventions from the remote pool of humans can also be used to improve the robot fleet control policy over time. A central question is how to effectively allocate limited human attention. Prior work addresses this in the single-robot, single-human setting; we formalize the Interactive Fleet Learning (IFL) setting, in which multiple robots interactively query and learn from multiple human supervisors. We propose Return on Human Effort (ROHE) as a new metric and Fleet-DAgger, a family of IFL algorithms. We present an open-source IFL benchmark suite of GPU-accelerated Isaac Gym environments for standardized evaluation and development of IFL algorithms. We compare a novel Fleet-DAgger algorithm to 4 baselines with 100 robots in simulation. We also perform a physical block-pushing experiment with 4 ABB YuMi robot arms and 2 remote humans. Experiments suggest that the allocation of humans to robots significantly affects the performance of the fleet, and that the novel Fleet-DAgger algorithm can achieve up to 8.8x higher ROHE than baselines. See https://tinyurl.com/fleet-dagger for supplemental material.


title: Convolutional Neural Network Based Partial Face Detection

abstract: Due to the massive explanation of artificial intelligence, machine learning technology is being used in various areas of our day-to-day life. In the world, there are a lot of scenarios where a simple crime can be prevented before it may even happen or find the person responsible for it. A face is one distinctive feature that we have and can differentiate easily among many other species. But not just different species, it also plays a significant role in determining someone from the same species as us, humans. Regarding this critical feature, a single problem occurs most often nowadays. When the camera is pointed, it cannot detect a person's face, and it becomes a poor image. On the other hand, where there was a robbery and a security camera installed, the robber's identity is almost indistinguishable due to the low-quality camera. But just making an excellent algorithm to work and detecting a face reduces the cost of hardware, and it doesn't cost that much to focus on that area. Facial recognition, widget control, and such can be done by detecting the face correctly. This study aims to create and enhance a machine learning model that correctly recognizes faces. Total 627 Data have been collected from different Bangladeshi people's faces on four angels. In this work, CNN, Harr Cascade, Cascaded CNN, Deep CNN & MTCNN are these five machine learning approaches implemented to get the best accuracy of our dataset. After creating and running the model, Multi-Task Convolutional Neural Network (MTCNN) achieved 96.2% best model accuracy with training data rather than other machine learning models.


title: Bumpless pipe dream RSK, growth diagrams, and Schubert structure constants

abstract: We introduce analogs of left and right RSK insertion for Schubert calculus of complete flag varieties. The objects being inserted are certain biwords, the insertion objects are bumpless pipe dreams, and the recording objects are decorated chains in Bruhat order. As an application, we adopt Lenart's growth diagrams of permutations to give a combinatorial rule for Schubert structure constants in the separated descent case.


title: Performance analysis of high-resolution ice sheet simulations

abstract: Numerical ice sheet models compute evolving ice geometry and velocity fields using various stress-balance approximations and boundary conditions. At high spatial resolution, with horizontal mesh/grid resolutions of a few kilometers or smaller, these models usually require time steps shorter than climate-coupling time scales because they update ice thickness after each velocity solution. High-resolution performance is degraded by the stability restrictions of such explicit time-stepping. This short note, which considers the shallow ice approximation and Stokes models as stress-balance end members, attempts to clarify numerical model performance by quantifying simulation cost per model year in terms of mesh resolution and the number of degrees of freedom. The performance of current-generation explicit time-stepping models is assessed, and then compared to the prospective performance of implicit schemes. The main result, Table 2, highlights the key roles played by the algorithmic scaling of stress-balance and implicit-step solvers.


title: Mass flows and their behaviors in the SS433--W50 system

abstract: We propose the scenario to interpret the overall observational features of the SS433--W50 system. The most unique features of SS433 are the presence of the precessing, mildly relativistic jets and the obscuration of the central engine, which are considered to be due to a supercritical accretion on to the central compact object. The jets are likely to be ejected from the innermost region of the accretion flow. The concept of the accretion ring (Inoue 2021, PASJ, 73,795) is applied to the outer boundary of the accretion flow and the ring is supposed to have a precession. The accretion ring is expected to extend a two-layer outflow of a thin excretion disk and a thick excretion flow, as well as the accretion flow. The thin excretion disk is discussed to eventually form the optically thick excretion belt along the Roche lobe around the compact object, contributing to the obscuration of the central engine. The thick excretion flow is likely to turn to the supersonic wind (disk wind) with the terminal velocity of $\sim 10^{8}$ cm s$^{-1}$ and to collide with the SNR matter at the distance of $\sim 10^{18}$ cm. The interactions of the jets with the disk wind are considered to cause the features of the jets observed at the distances of 10$^{14} \sim 10^{15}$ cm and $\sim 10^{17}$ cm. Finally, it is discussed that the jets are braked by the SNR matter at the distance of $\sim$10 pc and the momentum carried by the jet is transferred to the SNR matter shoved by the jet. The SNR matter pushed to the inside of the precession cone is expected to gather along the cone axis and to form the elongated structures in the east and west directions from the main W50 structure.


title: Hardness and Algorithms for Robust and Sparse Optimization

abstract: We explore algorithms and limitations for sparse optimization problems such as sparse linear regression and robust linear regression. The goal of the sparse linear regression problem is to identify a small number of key features, while the goal of the robust linear regression problem is to identify a small number of erroneous measurements. Specifically, the sparse linear regression problem seeks a $k$-sparse vector $x\in\mathbb{R}^d$ to minimize $\|Ax-b\|_2$, given an input matrix $A\in\mathbb{R}^{n\times d}$ and a target vector $b\in\mathbb{R}^n$, while the robust linear regression problem seeks a set $S$ that ignores at most $k$ rows and a vector $x$ to minimize $\|(Ax-b)_S\|_2$. We first show bicriteria, NP-hardness of approximation for robust regression building on the work of [OWZ15] which implies a similar result for sparse regression. We further show fine-grained hardness of robust regression through a reduction from the minimum-weight $k$-clique conjecture. On the positive side, we give an algorithm for robust regression that achieves arbitrarily accurate additive error and uses runtime that closely matches the lower bound from the fine-grained hardness result, as well as an algorithm for sparse regression with similar runtime. Both our upper and lower bounds rely on a general reduction from robust linear regression to sparse regression that we introduce. Our algorithms, inspired by the 3SUM problem, use approximate nearest neighbor data structures and may be of independent interest for solving sparse optimization problems. For instance, we demonstrate that our techniques can also be used for the well-studied sparse PCA problem.


title: EBMs vs. CL: Exploring Self-Supervised Visual Pretraining for Visual Question Answering

abstract: The availability of clean and diverse labeled data is a major roadblock for training models on complex tasks such as visual question answering (VQA). The extensive work on large vision-and-language models has shown that self-supervised learning is effective for pretraining multimodal interactions. In this technical report, we focus on visual representations. We review and evaluate self-supervised methods to leverage unlabeled images and pretrain a model, which we then fine-tune on a custom VQA task that allows controlled evaluation and diagnosis. We compare energy-based models (EBMs) with contrastive learning (CL). While EBMs are growing in popularity, they lack an evaluation on downstream tasks. We find that both EBMs and CL can learn representations from unlabeled images that enable training a VQA model on very little annotated data. In a simple setting similar to CLEVR, we find that CL representations also improve systematic generalization, and even match the performance of representations from a larger, supervised, ImageNet-pretrained model. However, we find EBMs to be difficult to train because of instabilities and high variability in their results. Although EBMs prove useful for OOD detection, other results on supervised energy-based training and uncertainty calibration are largely negative. Overall, CL currently seems a preferable option over EBMs.


title: Biometric Identification Systems With Both Chosen and Generated Secret Keys by Allowing Correlation

abstract: We propose a biometric identification system where the chosen- and generated-secret keys are used simultaneously, and investigate its fundamental limits from information-theoretic perspectives. The system consists of two phases: enrollment and identification phases. In the enrollment phase, for each user, the encoder uses a secret key, which is chosen independently, and the biometric identifier to generate another secret key and a helper {data}. In the identification phase, observing the biometric sequence of the identified user, the decoder estimates index, chosen- and generated-secret keys of the identified user based on the helper {data} stored in the system database. In this study, the capacity region of such a system is characterized. In the problem setting, we allow chosen- and generated-secret keys to be correlated. As a result, by permitting the correlation of the two secret keys, the sum rate of the identification, chosen- and {generated-secret key} rates can achieve a larger value compared to the case where the keys {do not correlate}. Moreover, the minimum amount of the storage rate changes in accordance with both the identification and chosen-secret key rates, but that of the privacy-leakage rate depends only on the identification rate.


title: Comparing Conventional Pitch Detection Algorithms with a Neural Network Approach

abstract: Despite much research, traditional methods to pitch prediction are still not perfect. With the emergence of neural networks (NNs), researchers hope to create a NN-based pitch predictor that outperforms traditional methods. Three pitch detection algorithms (PDAs), pYIN, YAAPT, and CREPE are compared in this paper. pYIN and YAAPT are conventional approaches considering time domain and frequency domain processing. CREPE utilizes a data-trained deep convolutional neural network to estimate pitch. It involves 6 densely connected convolutional hidden layers and determines pitch probabilities for a given input signal. The performance of CREPE representing neural network pitch predictors is compared to more classical approaches represented by pYIN and YAAPT. The figure of merit (FOM) will include the amount of unvoiced-to-voiced errors, voiced-to-voiced errors, gross pitch errors, and fine pitch errors.


title: Using Twitter Data to Understand Public Perceptions of Approved versus Off-label Use for COVID-19-related Medications

abstract: Understanding public discourse on emergency use of unproven therapeutics is crucial for monitoring safe use and combating misinformation. We developed a natural language processing-based pipeline to comprehend public perceptions of and stances on coronavirus disease 2019 (COVID-19)-related drugs on Twitter over time. This retrospective study included 609,189 US-based tweets from January 29, 2020, to November 30, 2021, about four drugs that garnered significant public attention during the COVID-19 pandemic: (1) Hydroxychloroquine and Ivermectin, therapies with anecdotal evidence; and (2) Molnupiravir and Remdesivir, FDA-approved treatments for eligible patients. Time-trend analysis was employed to understand popularity trends and related events. Content and demographic analyses were conducted to explore potential rationales behind people's stances on each drug. Time-trend analysis indicated that Hydroxychloroquine and Ivermectin were discussed more than Molnupiravir and Remdesivir, particularly during COVID-19 surges. Hydroxychloroquine and Ivermectin discussions were highly politicized, related to conspiracy theories, hearsay, and celebrity influences. The distribution of stances between the two major US political parties was significantly different (P < .001); Republicans were more likely to support Hydroxychloroquine (55%) and Ivermectin (30%) than Democrats. People with healthcare backgrounds tended to oppose Hydroxychloroquine (7%) more than the general population, while the general population was more likely to support Ivermectin (14%). Our study found that social media users have varying perceptions and stances on off-label versus FDA-authorized drug use at different stages of COVID-19. This indicates that health systems, regulatory agencies, and policymakers should design tailored strategies to monitor and reduce misinformation to promote safe drug use.


title: TE2Rules: Explaining Tree Ensembles using Rules

abstract: Tree Ensemble (TE) models, such as Gradient Boosted Trees, often achieve optimal performance on tabular datasets, yet their lack of transparency poses challenges for comprehending their decision logic. This paper introduces TE2Rules (Tree Ensemble to Rules), a novel approach for explaining binary classification tree ensemble models through a list of rules, particularly focusing on explaining the minority class. Many state-of-the-art explainers struggle with minority class explanations, making TE2Rules valuable in such cases. The rules generated by TE2Rules closely approximate the original model, ensuring high fidelity, providing an accurate and interpretable means to understand decision-making. Experimental results demonstrate that TE2Rules scales effectively to tree ensembles with hundreds of trees, achieving higher fidelity within runtimes comparable to baselines. TE2Rules allows for a trade-off between runtime and fidelity, enhancing its practical applicability. The implementation is available here: https://github.com/linkedin/TE2Rules.


title: Stability Analysis for Stochastic Hybrid Inclusions

abstract: Stochastic hybrid inclusions (SHIs) address situations with the stochastic continuous evolution in a stochastic differential inclusions and random jumps in the difference inclusions due to the forced (the state reaching a boundary in the state space) and/or spontaneous (the state vector may occur spontaneously) transitions. An obvious characteristic of SHIs is the non-uniqueness of random solutions, which can be ensured by the mild regularity conditions, as well as nominal robustness. Basic sufficient conditions for stability/recurrence in probability are usually expressed based on different types of Lyapunov functions, including Lagrange/Lyapunov/Lyapunov-Forster functions respectively for Lagrange/Lyapunov/asymptotical stability in probability and Foster/Lagrange-Forster functions for recurrence, (weaker) relaxed Lyapunov-based sufficient conditions including Matrosov-Foster functions and the stochastic invariance principle, as well as Lyapunov-based necessary and sufficient conditions for asymptotical stability in probability or recurrence (i.e.,converse theorems), etc. The converse theorems involving smooth Lyapunov functions are guaranteed by the sequential compactness and thus robustness. In addition, the uniformity property and causality are analyzed for the stabilities in probability. Hence, serving as a partial roadmap for the theoretical development of SHIs, also serving as inspiration, we anticipate that many of the open questions, including the prediction problem, the filtering problem and the control problem, will be resolved based on the techniques of SHIs.


title: A (Galois) theory for a generalized morphism

abstract: Some sorts of "morphisms" are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring homomorphisms, module homomorphisms, group homomorphisms, and covariant functors between categories can be characterized in terms of the "morphisms". Moreover, we show that the inverse of any bijective "morphism" is also a "morphism", and so an "isomorphism" can be defined as a bijective "morphism". Galois correspondences are established and studied, not only for the Galois groups of the "automorphisms", but also for the "Galois monoids" of the "endomorphisms". Ways to construct the "morphisms" and the "isomorphisms" are studied. New interpretations on solvability of polynomials and solvability of homogeneous linear differential equations are introduced, and these ideas are roughly generalized for "general" equation solving in terms of the theory for the "morphisms". Some more results are presented. For example, we obtain an isomorphism theorem that generalizes the first isomorphism theorems for groups, rings, and modules. In addition, we show that a part of our theory is closely related to dynamical systems.


title: Lower Bounds on the Error Probability for Invariant Causal Prediction

abstract: It is common practice to collect observations of feature and response pairs from different environments. A natural question is how to identify features that have consistent prediction power across environments. The invariant causal prediction framework proposes to approach this problem through invariance, assuming a linear model that is invariant under different environments. In this work, we make an attempt to shed light on this framework by connecting it to the Gaussian multiple access channel problem. Specifically, we incorporate optimal code constructions and decoding methods to provide lower bounds on the error probability. We illustrate our findings by various simulation settings.


title: AAE: An Active Auto-Estimator for Improving Graph Storage

abstract: Nowadays, graph becomes an increasingly popular model in many real applications. The efficiency of graph storage is crucial for these applications. Generally speaking, the tune tasks of graph storage rely on the database administrators (DBAs) to find the best graph storage. However, DBAs make the tune decisions by mainly relying on their experiences and intuition. Due to the limitations of DBAs's experiences, the tunes may have an uncertain performance and conduct worse efficiency. In this paper, we observe that an estimator of graph workload has the potential to guarantee the performance of tune operations. Unfortunately, because of the complex characteristics of graph evaluation task, there exists no mature estimator for graph workload. We formulate the evaluation task of graph workload as a classification task and carefully design the feature engineering process, including graph data features, graph workload features and graph storage features. Considering the complex features of graph and the huge time consumption in graph workload execution, it is difficult for the graph workload estimator to obtain enough training set. So, we propose an active auto-estimator (AAE) for the graph workload evaluation by combining the active learning and deep learning. AAE could achieve good evaluation efficiency with limited training set. We test the time efficiency and evaluation accuracy of AAE with two open source graph data, LDBC and Freebase. Experimental results show that our estimator could efficiently complete the graph workload evaluation in milliseconds.


title: Abelian groups definable in $p$-adically closed fields

abstract: Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or definable over $M_0$, respectively. We show that any abelian group definable in a $p$-adically closed field is an extension of a definably compact $fsg$ definable group by a $dfg$ definable group. We discuss an approach which might prove a similar statement for interpretable abelian groups. In the case where $G$ is an abelian group definable in the standard model $\mathbb{Q}_p$, we show that $G^0 = G^{00}$, and that $G$ is an open subgroup of an algebraic group, up to finite factors. This latter result can be seen as a rough classification of abelian definable groups in $\mathbb{Q}_p$.


title: Reservoir engineering strong quantum entanglement in cavity magnomechanical systems

abstract: We construct a hybrid cavity magnomechanical system to transfer the bipartite entanglements and achieve the strong microwave photon-phonon entanglement based on the reservoir engineering approach. The magnon mode is coupled to the microwave cavity mode via magnetic dipole interaction, and to the phonon mode via magnetostrictive force (optomechanical-like). It is shown that the initial magnon-phonon entanglement can be transferred to the photon-phonon subspace in the case of these two interactions cooperating. In reservoir-engineering parameter regime, the initial entanglement is directionally transferred to the photon-phonon subsystem, so we obtain a strong bipartite entanglement in which the magnon mode acts as the cold reservoir to effectively cooling the Bogoliubov mode delocalized over the cavity and the mechanical deformation mode. Moreover, as the dissipation ratio between the cold reservoir mode and the target mode increases, we can achieve greater quantum entanglement and better cooling effect. Our results indicate that the steady-state entanglement is robust against temperature. The scheme may provides potential applications for quantum information processing, and is expected to be extended to other three-mode systems.


title: Knowledge Distillation of Transformer-based Language Models Revisited

abstract: In the past few years, transformer-based pre-trained language models have achieved astounding success in both industry and academia. However, the large model size and high run-time latency are serious impediments to applying them in practice, especially on mobile phones and Internet of Things (IoT) devices. To compress the model, considerable literature has grown up around the theme of knowledge distillation (KD) recently. Nevertheless, how KD works in transformer-based models is still unclear. We tease apart the components of KD and propose a unified KD framework. Through the framework, systematic and extensive experiments that spent over 23,000 GPU hours render a comprehensive analysis from the perspectives of knowledge types, matching strategies, width-depth trade-off, initialization, model size, etc. Our empirical results shed light on the distillation in the pre-train language model and with relative significant improvement over previous state-of-the-arts(SOTA). Finally, we provide a best-practice guideline for the KD in transformer-based models.


title: Mirror constructions for K3 surfaces from bimodal singularities

abstract: We study lattice polarizations of five exceptional pairs of families of K3 surfaces obtained via compactifications of strange dual pairs of bimodal singularities. We show that the polarizations induced by embedding these paired families in paired toric varieties obtained from polar dual reflexive polytopes cannot be mirror lattices and identify mirror sublattices.


title: IMRSim: A Disk Simulator for Interlaced Magnetic Recording Technology

abstract: The emerging interlaced magnetic recording (IMR) technology achieves a higher areal density for hard disk drive (HDD) over the conventional magnetic recording (CMR) technology. IMR-based HDD interlaces top tracks and bottom tracks, where each bottom track is overlapped with two neighboring top tracks. Thus, top tracks can be updated without restraint, whereas bottom tracks can be updated by the time-consuming read-modify-write (RMW) or other novel update strategy. Therefore, the layout of the tracks between the IMR-based HDD and the CMR-based HDD is much different. Unfortunately, there has been no related disk simulator and product available to the public, which motivates us to develop an open-source IMR disk simulator to provide a platform for further research. We implement the first public IMR disk simulator, called IMRSim, as a block device driver in the Linux kernel, simulating the interlaced tracks and implementing many state-of-the-art data placement strategies. IMRSim is built on the actual CMR-based HDD to precisely simulate the I/O performance of IMR drives. While I/O operations in CMR-based HDD are easy to visualize, update strategy and multi-stage allocation strategy in IMR are inherently dynamic. Therefore, we further graphically demonstrate how IMRSim processes I/O requests in the visualization mode. We release IMRSim as an open-source IMR disk simulation tool and hope to attract more scholars into related research on IMR technology.


title: Robust Online Voltage Control with an Unknown Grid Topology

abstract: Voltage control generally requires accurate information about the grid's topology in order to guarantee network stability. However, accurate topology identification is a challenging problem for existing methods, especially as the grid is subject to increasingly frequent reconfiguration due to the adoption of renewable energy. Further, running existing control mechanisms with incorrect network information may lead to unstable control. In this work, we combine a nested convex body chasing algorithm with a robust predictive controller to achieve provably finite-time convergence to safe voltage limits in the online setting where the network topology is initially unknown. Specifically, the online controller does not know the true network topology and line parameters, but instead must learn them over time by narrowing down the set of network topologies and line parameters that are consistent with its observations and adjusting reactive power generation accordingly to keep voltages within desired safety limits. We demonstrate the effectiveness of the approach using a case study, which shows that in practical settings the controller is indeed able to narrow the set of consistent topologies quickly enough to make control decisions that ensure stability.


title: Efficient Photon Upconversion Enabled by Strong Coupling Between Organic Molecules and Quantum Dots

abstract: Hybrid structures formed between organic molecules and inorganic quantum dots can accomplish unique photophysical transformations by taking advantage of their disparate properties. The electronic coupling between these materials is typically weak, leading photoexcited charge carriers to spatially localize to a dot or a molecule at its surface. However, we show that by converting a chemical linker that covalently binds anthracene molecules to silicon quantum dots from a carbon-carbon single bond to a double bond, we access a strong-coupling regime where excited carriers spatially delocalize across both anthracene and silicon. By pushing the system to delocalize, we design a photon upconversion system with a higher efficiency (17.2%) and lower threshold intensity (0.5 W/cm^2) than that of a corresponding weakly-coupled system. Our results show that strong coupling between molecules and nanostructures achieved through targeted linking chemistry provides a new route for tailoring properties in materials for light-driven applications.


title: Matryoshka: Stealing Functionality of Private ML Data by Hiding Models in Model

abstract: In this paper, we present a novel insider attack called Matryoshka, which employs an irrelevant scheduled-to-publish DNN model as a carrier model for covert transmission of multiple secret models which memorize the functionality of private ML data stored in local data centers. Instead of treating the parameters of the carrier model as bit strings and applying conventional steganography, we devise a novel parameter sharing approach which exploits the learning capacity of the carrier model for information hiding. Matryoshka simultaneously achieves: (i) High Capacity -- With almost no utility loss of the carrier model, Matryoshka can hide a 26x larger secret model or 8 secret models of diverse architectures spanning different application domains in the carrier model, neither of which can be done with existing steganography techniques; (ii) Decoding Efficiency -- once downloading the published carrier model, an outside colluder can exclusively decode the hidden models from the carrier model with only several integer secrets and the knowledge of the hidden model architecture; (iii) Effectiveness -- Moreover, almost all the recovered models have similar performance as if it were trained independently on the private data; (iv) Robustness -- Information redundancy is naturally implemented to achieve resilience against common post-processing techniques on the carrier before its publishing; (v) Covertness -- A model inspector with different levels of prior knowledge could hardly differentiate a carrier model from a normal model.


title: Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic

abstract: Automated vehicles (AV) heavily depend on robust perception systems. Current methods for evaluating vision systems focus mainly on frame-by-frame performance. Such evaluation methods appear to be inadequate in assessing the performance of a perception subsystem when used within an AV. In this paper, we present a logic -- referred to as Spatio-Temporal Perception Logic (STPL) -- which utilizes both spatial and temporal modalities. STPL enables reasoning over perception data using spatial and temporal operators. One major advantage of STPL is that it facilitates basic sanity checks on the functional performance of the perception system, even without ground-truth data in some cases. We identify a fragment of STPL which is efficiently monitorable offline in polynomial time. Finally, we present a range of specifications for AV perception systems to highlight the types of requirements that can be expressed and analyzed through offline monitoring with STPL.


title: Theoretical Perspectives on Deep Learning Methods in Inverse Problems

abstract: In recent years, there have been significant advances in the use of deep learning methods in inverse problems such as denoising, compressive sensing, inpainting, and super-resolution. While this line of works has predominantly been driven by practical algorithms and experiments, it has also given rise to a variety of intriguing theoretical problems. In this paper, we survey some of the prominent theoretical developments in this line of works, focusing in particular on generative priors, untrained neural network priors, and unfolding algorithms. In addition to summarizing existing results in these topics, we highlight several ongoing challenges and open problems.

categories: stat.ML cs.IT cs.LG eess.SP math.IT math.ST stat.TH