title: Multi-Branch with Attention Network for Hand-Based Person Recognition

abstract: In this paper, we propose a novel hand-based person recognition method for the purpose of criminal investigations since the hand image is often the only available information in cases of serious crime such as sexual abuse. Our proposed method, Multi-Branch with Attention Network (MBA-Net), incorporates both channel and spatial attention modules in branches in addition to a global (without attention) branch to capture global structural information for discriminative feature learning. The attention modules focus on the relevant features of the hand image while suppressing the irrelevant backgrounds. In order to overcome the weakness of the attention mechanisms, equivariant to pixel shuffling, we integrate relative positional encodings into the spatial attention module to capture the spatial positions of pixels. Extensive evaluations on two large multi-ethnic and publicly available hand datasets demonstrate that our proposed method achieves state-of-the-art performance, surpassing the existing hand-based identification methods.


title: Dynamic Relevance Learning for Few-Shot Object Detection

abstract: Expensive bounding-box annotations have limited the development of object detection task. Thus, it is necessary to focus on more challenging task of few-shot object detection. It requires the detector to recognize objects of novel classes with only a few training samples. Nowadays, many existing popular methods adopting training way similar to meta-learning have achieved promising performance, such as Meta R-CNN series. However, support data is only used as the class attention to guide the detecting of query images each time. Their relevance to each other remains unexploited. Moreover, a lot of recent works treat the support data and query images as independent branch without considering the relationship between them. To address this issue, we propose a dynamic relevance learning model, which utilizes the relationship between all support images and Region of Interest (RoI) on the query images to construct a dynamic graph convolutional network (GCN). By adjusting the prediction distribution of the base detector using the output of this GCN, the proposed model serves as a hard auxiliary classification task, which guides the detector to improve the class representation implicitly. Comprehensive experiments have been conducted on Pascal VOC and MS-COCO dataset. The proposed model achieves the best overall performance, which shows its effectiveness of learning more generalized features. Our code is available at https://github.com/liuweijie19980216/DRL-for-FSOD.


title: Data-driven analysis of grain-growth kinetics in duplex and triplex systems

abstract: During grain growth in multiphase system, a convincing understanding on how the evolution kinetics of an individual phase-grains relates to the growth rate of entire microstructure is yet to be achieved. Therefore, in this work, comfortably comprehensible statistical tools are employed to realise the influence of the evolving phase-grains on the overall grain-growth kinetics of multiphase systems, both duplex and triplex, with varying phase-fractions. A dataset capable of rendering statistically significant, and accessible, information is built by modelling, and analysing, grain growth in twenty different polycrystalline systems, comprising of fourteen triplex and five duplex microstructures with varying phase-fractions, and one homogeneous single-phase system, in multiphase-field framework. Statistical analyses of these wide-range of microstructures unravel that, during isotropic grain-growth, the overall evolution kinetics of the duplex and triplex systems are principally governed by the growth-rate of the major-phase grains, irrespective of the phase-fractions. Furthermore, through multiple non-linear regression, it is realised that with increase in the volume-fraction of the major-phase grains, the overall isotropic grain-growth rate exhibited by duplex and triplex microstructures increase in accordance with a definite exponential relation. Additionally, the present investigation unravels that, while the evolution of individual phase-grains during grain growth in triplex microstructures exhibit a level of interdependency, the least interaction is observed between the grains of minor-phases with relatively low volume-fraction.


title: Extending quantum probabilistic error cancellation by noise scaling

abstract: We propose a general framework for quantum error mitigation that combines and generalizes two techniques: probabilistic error cancellation (PEC) and zero-noise extrapolation (ZNE). Similarly to PEC, the proposed method represents ideal operations as linear combinations of noisy operations that are implementable on hardware. However, instead of assuming a fixed level of hardware noise, we extend the set of implementable operations by noise scaling. By construction, this method encompasses both PEC and ZNE as particular cases and allows us to investigate a larger set of hybrid techniques. For example, gate extrapolation can be used to implement PEC without requiring knowledge of the device's noise model, e.g., avoiding gate set tomography. Alternatively, probabilistic error reduction can be used to estimate expectation values at intermediate virtual noise strengths (below the hardware level), obtaining partially mitigated results at a lower sampling cost. Moreover, multiple results obtained with different noise reduction factors can be further post-processed with ZNE to better approximate the zero-noise limit.


title: The Impact of Machine Learning on 2D/3D Registration for Image-guided Interventions: A Systematic Review and Perspective

abstract: Image-based navigation is widely considered the next frontier of minimally invasive surgery. It is believed that image-based navigation will increase the access to reproducible, safe, and high-precision surgery as it may then be performed at acceptable costs and effort. This is because image-based techniques avoid the need of specialized equipment and seamlessly integrate with contemporary workflows. Further, it is expected that image-based navigation will play a major role in enabling mixed reality environments and autonomous, robotic workflows. A critical component of image guidance is 2D/3D registration, a technique to estimate the spatial relationships between 3D structures, e.g., volumetric imagery or tool models, and 2D images thereof, such as fluoroscopy or endoscopy. While image-based 2D/3D registration is a mature technique, its transition from the bench to the bedside has been restrained by well-known challenges, including brittleness of the optimization objective, hyperparameter selection, and initialization, difficulties around inconsistencies or multiple objects, and limited single-view performance. One reason these challenges persist today is that analytical solutions are likely inadequate considering the complexity, variability, and high-dimensionality of generic 2D/3D registration problems. The recent advent of machine learning-based approaches to imaging problems that, rather than specifying the desired functional mapping, approximate it using highly expressive parametric models holds promise for solving some of the notorious challenges in 2D/3D registration. In this manuscript, we review the impact of machine learning on 2D/3D registration to systematically summarize the recent advances made by introduction of this novel technology. Grounded in these insights, we then offer our perspective on the most pressing needs, significant open problems, and possible next steps.


title: New improved form of black holes of type D

abstract: We derive a new metric form of the complete family of black hole spacetimes (without a cosmological constant) presented by Plebanski and Demianski in 1976. It further improves the convenient representation of this large family of exact black holes found in 2005 by Griffiths and Podolsky. The main advantage of the new metric is that the key functions are considerably simplified, fully explicit, and factorized. All four horizons are thus clearly identified, and degenerate cases with extreme horizons can easily be discussed. Moreover, the new metric depends only on six parameters with direct geometrical and physical meaning, namely m, a, l, alpha, e, g which characterize mass, Kerr-like rotation, NUT parameter, acceleration, electric and magnetic charges of the black hole, respectively. This general metric reduces directly to the familiar forms of either (possibly accelerating) Kerr-Newman, charged Taub-NUT solution, or (possibly rotating and charged) C-metric by simply setting the corresponding parameters to zero, without the need of any further transformations. In addition, it shows that the Plebanski-Demianski family does not involve accelerating black holes with just the NUT parameter, which were discovered by Chng, Mann and Stelea in 2006. It also enables us to investigate various physical properties, such as the character of singularities, horizons, ergoregions, global conformal structure including the Penrose diagrams, cosmic strings causing the acceleration of the black holes, their rotation, pathological regions with closed timelike curves, or explicit thermodynamic properties. It thus seems that our new metric is a useful representation of this important family of black hole spacetimes of algebraic type D in the asymptotically flat settings.


title: Quasi-Eclectic Modular Flavor Symmetries

abstract: Modular flavor symmetries provide us with a new, promising approach to the flavor problem. However, in their original formulation the kinetic terms of the standard model fields do not have a preferred form, thus introducing additional parameters, which limit the predictive power of this scheme. In this work, we introduce the scheme of quasi-eclectic flavor symmetries as a simple fix. These symmetries are the direct product of a modular and a traditional flavor symmetry, which are spontaneously broken to a diagonal modular flavor subgroup. This allows us to construct a version of Feruglio's model with the Kaehler terms under control. At the same time, the starting point is reminiscent of what one obtains from explicit string models.


title: Attentive Cross-modal Connections for Deep Multimodal Wearable-based Emotion Recognition

abstract: Classification of human emotions can play an essential role in the design and improvement of human-machine systems. While individual biological signals such as Electrocardiogram (ECG) and Electrodermal Activity (EDA) have been widely used for emotion recognition with machine learning methods, multimodal approaches generally fuse extracted features or final classification/regression results to boost performance. To enhance multimodal learning, we present a novel attentive cross-modal connection to share information between convolutional neural networks responsible for learning individual modalities. Specifically, these connections improve emotion classification by sharing intermediate representations among EDA and ECG and apply attention weights to the shared information, thus learning more effective multimodal embeddings. We perform experiments on the WESAD dataset to identify the best configuration of the proposed method for emotion classification. Our experiments show that the proposed approach is capable of learning strong multimodal representations and outperforms a number of baselines methods.


title: Interior Metric of Slowly Formed Black Holes in a Heat Bath

abstract: We study a spherical black hole formed slowly in a heat bath in the context of ordinary field theory, which we expect to have the typical properties of black holes. We assume that the matter field is conformal and that the metric satisfies the semi-classical Einstein equation $G_{\mu\nu}=8\pi G \langle \psi| T_{\mu\nu}|\psi \rangle$, where $|\psi \rangle$ is the wave function of the matter field. Then as a necessary condition, its trace part must be satisfied, $G^\mu{}_\mu=8\pi G \langle \psi| T^\mu{}_\mu|\psi \rangle$, whose right-hand side is independent of $|\psi \rangle$ and is determined only by the metric through the 4-dimensional Weyl anomaly. With some physically reasonable assumptions, this equation restricts the interior metric to a certain class. Such metrics are approximately warped products of $AdS_2$ and $S^2$ with almost Planckian curvature. Among them, we find one that is consistent with Hawking radiation and is smoothly connected to the exterior Schwarzschild metric slightly outside the Schwarzschild radius. This leads to a picture that the black hole is a dense object with a surface (not a horizon), which evaporates due to Hawking-like radiation when taken out of the bath. Other solutions represent objects that are larger in size than a black hole, which may be useful for analyzing ultra-dense stars.


title: A Semi-quantitative Covid-19 Individual Risk Model

abstract: This paper introduces a new basic risk model that could also be utilized by Covid-19 warning apps a priori, before an action is performed. Today the common warning apps estimate risk a posteriori and give no advice on particular scenarios. The new model also has the advantage that the individual risks behind the decision-making process would be uniform (in contrast to some current regulations) and it could help to understand the risks better and could also help to reduce risks a priori. It could be easily implemented on a single app screen, needing only some individual preferences to be set and a handful of adjustments to the particular scenario that shall be assessed. The disadvantage as of any simplified semi-quantitative risk models is that calibration is not easy (as some calibration points may even contradict) and that cumulative effects are hard to integrate e. g. the joint effect of combined scenarios. But, in principle calibration is feasible and it may be a good decision to calibrate the model conservatively.


title: Condensates of ultralight axions and a link of leptonic scales to dark matter

abstract: The mass of ultralight axions is determined in order to get the explicit U(1)$_A$ symmetry breaking scale $ \Lambda $ at a Peccei-Quinn scale of the magnitude of the Planck mass. It is assumed that the dominant contribution to the mass of a galaxy with low surface brightness is only determined by one axionic species in the sense of fuzzy dark matter (lumps). For rotation curve fits to galactic rotation curves, therefore the Soliton-Navarro-Frenk-White model is used, which assumes a condensate core plus correlated axions in the halo according to the solution of the Poisson-Schr\"odinger system. In addition, three commonly used mass density profiles are considered: Navarro-Frenk-White, pseudo-isothermal and the Burkert model. An axion mass $m_a$ of $0.675\times10^{-23}\,$eV is extracted, which reproduces previous results in the literature. This implies an effective Yang-Mills scale of $\Lambda \sim 287\,$ eV, which is only a factor of $15$ smaller than the Yang-Mills scale of an SU(2) theory that is used to describe the first lepton family. The cosmological model SU(2)$_{\rm CMB} $ suggests that three SU(2) Yang-Mills theories, each for the formation of the lepton doublets (e,$\nu_e$), ($\mu$,$\nu_\mu$), and ($\tau$,$\nu_\tau$) are equally responsible for contributing to the current density of dark matter. Parameters of an isolated lump, such as the gravitational Bohr radius or the virial mass, are determined solely by the Planck mass and the corresponding lepton mass. If the dominant constituent of the dark mass contained in a galaxy is represented by e-lumps, a mixture of $ \tau- $ and $ \mu$-lumps could possibly explain the presence of massive compact objects in galactic centers, and $ \tau$-lumps could be related to globular clusters and the halo mass. This might provide a theoretical explanation for the mass gap between stellar and super massive black holes.


title: Charge radii in covariant density functional theory: a global view

abstract: A systematic global investigation of differential charge radii has been performed within the CDFT framework for the first time. Theoretical results obtained with conventional covariant energy density functionals and separable pairing interaction are compared with experimental differential charge radii in the regions of the nuclear chart in which available experimental data crosses neutron shell closures at N = 28, 50, 82 and 126. The analysis of absolute differential radii of different isotopic chains and their relative properties indicate clearly that such properties are reasonably well described in model calculations in the cases when the mean-field approximation is justified. However, while the observed clusterization of differential charge radii of different isotopic chains is well described above the N=50 and N=126 shell closures, it is more difficult to reproduce it above the N=28 and N=82 shell closures because of possible deficiencies in underlying single-particle structure. The impact of the latter has been evaluated for spherical shapes and it was shown that the relative energies of the single-particle states and the patterns of their occupation with increasing neutron number have an appreciable impact on the evolution of the differential charge radii. It is shown that the kinks in the charge radii at neutron shell closures are due to the underlying single-particle structure and due to weakening or collapse of pairing at these closures. It is usually assumed that pairing is a dominant contributor to odd-even staggering (OES) in charge radii. Our analysis paints a more complicated picture. It suggests a new mechanism in which the fragmentation of the single-particle content of the ground state in odd-mass nuclei due to particle-vibration coupling provides a significant contribution to OES in charge radii.


title: Electronic structure of Rf^+ (Z = 104) from ab initio calculations

abstract: We report calculation of the energy spectrum and the spectroscopic properties of the superheavy element ion: Rf^+. We use the 4-component relativistic Dirac-Coulomb Hamiltonian and the multireference configuration interaction (MRCI) model to tackle the complex electronic structure problem that combines strong relativistic effects and electron correlation. We determine the energies of the ground and the low-lying excited states of Rf+, which originate from the 7s^26d^1, 7s^16d^2, 7s^27p^1, and 7s^16d^17p^1 configurations. The results are discussed vis-\`a-vis the lighter homologue, Hf^+ ion. We also assess the uncertainties of the predicted energy levels. The main purpose of the presented calculations is to provide a reliable prediction of the energy levels and to identify suitable metastable excited states that are good candidates for the planned ion-mobility-assisted laser spectroscopy studies.


title: Quasi-HfO$_x$/ AlO$_y$ and AlO$_y$/ HfO$_x$ Based Memristor Devices: Role of Bi-layered Oxides in Digital Set and Analog Reset Switching

abstract: Understanding the resistive switching behavior, or the resistance change, of oxide-based memristor devices, is critical to predicting their responses with known electrical inputs. Also, with the known electrical response of a memristor, one can confirm its usefulness in non-volatile memory and/or in artificial neural networks. Although bi- or multi-layered oxides have been reported to improve the switching performance, compared to the single oxide layer, the detailed explanation about why the switching can easily be improved for some oxides combinations is still missing. Herein, we fabricated two types of bi-layered heterostructure devices, quasi-HfO$_x$/AlO$_y$ and AlO$_y$/HfO$_x$ sandwiched between Au electrodes, and their electrical responses are investigated. For a deeper understanding of the switching mechanism, the performance of a HfOx only device is also considered, which serves as a control device. The role of bi-layered heterostructures is investigated using both the experimental and simulated results. Our results suggest that synergistic switching performance can be achieved with a proper combination of these materials and/or devices. These results open the avenue for designing more efficient double- or multi-layers memristor devices for an analog response.


title: Spherically symmetric charged black holes with wavy scalar hair

abstract: We study standard Einstein-Maxwell theory minimally coupled to a complex valued and self-interacting scalar field. We demonstrate that new, previously unnoticed spherically symmetric, charged black hole solutions with scalar hair exist in this model for sufficiently large gravitational coupling and sufficiently small electromagnetic coupling. The novel scalar hair has the form of a spatially oscillating ''wave packet'' and back-reacts on the space-time such that both the Ricci and the Kretschmann scalar, respectively, possess qualitatively similar oscillations.


title: An equivalence framework for an age-structured multi-stage representation of the cell cycle

abstract: We develop theoretical equivalences between stochastic and deterministic models for populations of individual cells stratified by age. Specifically, we develop a hierarchical system of equations describing the full dynamics of an age-structured multi-stage Markov process for approximating cell cycle time distributions. We further demonstrate that the resulting mean behaviour is equivalent, over large timescales, to the classical McKendrick-von Foerster integro-partial differential equation. We conclude by extending this framework to a spatial context, facilitating the modelling of travelling wave phenomena and cell-mediated pattern formation. More generally, this methodology may be extended to myriad reaction-diffusion processes for which the age of individuals is relevant to the dynamics.


title: Extracting the Transport Channel Transmissions in Scanning Tunneling Microscopy using the Superconducting Excess Current

abstract: Transport through quantum coherent conductors, like atomic junctions, is described by the distribution of conduction channels. Information about the number of channels and their transmission can be extracted from various sources, such as multiple Andreev reflections, dynamical Coulomb blockade, or shot noise. We complement this set of methods by introducing the superconducting excess current as a new tool to continuously extract the transport channel transmissions of an atomic scale junction in a scanning tunneling microscope. In conjunction with ab initio simulations, we employ this technique in atomic aluminum junctions to determine the influence of the structure adjacent to the contact atoms on the transport properties.


title: Nonequilibrium Time Reversibility with Maps and Walks

abstract: Time-reversible dynamical simulations of nonequilibrium systems exemplify both Loschmidt's and Zerm\'elo's paradoxes. That is, computational time-reversible simulations invariably produce solutions consistent with the {\it irreversible} Second Law of Thermodynamics (Loschmidt's) as well as {\it periodic} in the time (Zerm\'elo's, illustrating Poincar\'e recurrence). Understanding these paradoxical aspects of time-reversible systems is enhanced here by studying the simplest pair of such model systems. The first is time-reversible, but nevertheless dissipative and periodic, the piecewise-linear compressible Baker Map. The fractal properties of that two-dimensional map are mirrored by an even simpler example, the one-dimensional random walk, confined to the unit interval. As a further puzzle the two models yield ambiguities in determining the fractals' information dimensions. These puzzles, including the classical paradoxes, are reviewed and explored here. We review our investigations presented in Budapest in 1997 and end with presentday questions posed as the Snook Prize Problems in 2020 and 2021.


title: Automatically Labeling Low Quality Content on Wikipedia by Leveraging Patterns in Editing Behaviors

abstract: Wikipedia articles aim to be definitive sources of encyclopedic content. Yet, only 0.6% of Wikipedia articles have high quality according to its quality scale due to insufficient number of Wikipedia editors and enormous number of articles. Supervised Machine Learning (ML) quality improvement approaches that can automatically identify and fix content issues rely on manual labels of individual Wikipedia sentence quality. However, current labeling approaches are tedious and produce noisy labels. Here, we propose an automated labeling approach that identifies the semantic category (e.g., adding citations, clarifications) of historic Wikipedia edits and uses the modified sentences prior to the edit as examples that require that semantic improvement. Highest-rated article sentences are examples that no longer need semantic improvements. We show that training existing sentence quality classification algorithms on our labels improves their performance compared to training them on existing labels. Our work shows that editing behaviors of Wikipedia editors provide better labels than labels generated by crowdworkers who lack the context to make judgments that the editors would agree with.


title: Two-Chains: High Performance Framework for Function Injection and Execution

abstract: Some important problems, such as semantic graph analysis, require large-scale irregular applications composed of many coordinating tasks that operate on a shared data set so big it has to be stored on many physical devices. In these cases, it may be more efficient to dynamically choose where code runs as the applications progresses. Many programming environments provide task migration or remote function calls, but they have sharp trade-offs between flexible composition, portability, performance, and code complexity. We developed Two-Chains, a high performance framework inspired by active message communication semantics. We use the GNU Binutils, the ELF binary format, and the RDMA network protocol to provide ultra-low granularity distributed function composition at runtime in user space at HPC performance levels using C libraries. Our framework allows the direct injection of function binaries and data to a remote machine cache using the RDMA network. It interoperates seamlessly with existing C libraries using standard dynamic linking and load symbol resolution. We analyze function delivery and execution on cache stashing-enabled hardware and show that stashing decreases latency, increases message rates, and improves noise tolerance. This demonstrates one way this method is suited to increasingly network-oriented hardware architectures.


title: A Numerical Investigation of the Lengthscale in the Mixing-Length Reduced Order Model of the Turbulent Channel Flow

abstract: In this paper, we propose a novel reduced order model (ROM) lengthscale definition that is based on energy distribution arguments. This novel ROM lengthscale is fundamentally different from the current ROM lengthscales, which are generally based on dimensional arguments. As a first step in the assessment of the new, energy based ROM lengthscale, we compare it with a standard, dimensional based ROM lengthscale in the mixing-length ROM (ML-ROM) simulation of the turbulent channel flow at $Re_{\tau} = 395$. The numerical investigation shows that the energy based ROM lengthscale yields a significantly more stable ML-ROM than the dimensional based ROM lengthscale. The new energy based lengthscale definition could allow the development of scale-aware reduced order modeling strategies that are better suited for flow-specific applications.


title: An Empirical Study of UMLS Concept Extraction from Clinical Notes using Boolean Combination Ensembles

abstract: Our objective in this study is to investigate the behavior of Boolean operators on combining annotation output from multiple Natural Language Processing (NLP) systems across multiple corpora and to assess how filtering by aggregation of Unified Medical Language System (UMLS) Metathesaurus concepts affects system performance for Named Entity Recognition (NER) of UMLS concepts. We used three corpora annotated for UMLS concepts: 2010 i2b2 VA challenge set (31,161 annotations), Multi-source Integrated Platform for Answering Clinical Questions (MiPACQ) corpus (17,457 annotations including UMLS concept unique identifiers), and Fairview Health Services corpus (44,530 annotations). Our results showed that for UMLS concept matching, Boolean ensembling of the MiPACQ corpus trended towards higher performance over individual systems. Use of an approximate grid-search can help optimize the precision-recall tradeoff and can provide a set of heuristics for choosing an optimal set of ensembles.


title: Moser Iteration and the Large Coupling Limit

abstract: We consider heat semigroups of the form $\exp(t(\Delta - \lambda\mathbf{1}_{\Omega_0}))$ on bounded domains. Using variants of Moser iteration, we show sub-exponential decay in the ``large coupling limit", i.e. as $\lambda\nearrow\infty$, in compact subdomains of the ``obstacle", $\Omega_0$.


title: Indoor Localization Under Limited Measurements: A Cross-Environment Joint Semi-Supervised and Transfer Learning Approach

abstract: The development of highly accurate deep learning methods for indoor localization is often hindered by the unavailability of sufficient data measurements in the desired environment to perform model training. To overcome the challenge of collecting costly measurements, this paper proposes a cross-environment approach that compensates for insufficient labelled measurements via a joint semi-supervised and transfer learning technique to transfer, in an appropriate manner, the model obtained from a rich-data environment to the desired environment for which data is limited. This is achieved via a sequence of operations that exploit the similarity across environments to enhance unlabelled data model training of the desired environment. Numerical experiments demonstrate that the proposed cross-environment approach outperforms the conventional method, convolutional neural network (CNN), with a significant increase in localization accuracy, up to 43%. Moreover, with only 40% data measurements, the proposed cross-environment approach compensates for data inadequacy and replicates the localization accuracy of the conventional method, CNN, which uses 75% data measurements.


title: Processing entangled photons in high dimensions with a programmable light converter

abstract: High-dimensional entanglement offers a variety of advantages for both fundamental and applied applications in quantum information science. A central building block for such applications is a programmable processor of entangled states, which is crucial for the certification, manipulation and distribution of high-dimensional entanglement. The leading technology for processing photons is integrated multiport interferometers. However, such devices are incompatible with structured light, and their scaling is challenging. Here, we unlock these limitations by demonstrating a reconfigurable processor of entangled photons in high-dimensions that is based on multi-plane light conversion (MPLC), a technology that was recently developed for multiplexing hundreds of spatial modes for classical communication. We use our programmable MPLC platform to certify three-dimensional entanglement in two mutually unbiased bases, perform 400 arbitrary random transformations on entangled photons, and convert the mode basis of entangled photons for entanglement distribution.


title: A momentum preserving frictional contact algorithm based on affine particle-in-cell grid transfers

abstract: An efficient and momentum conserving algorithm for enforcing contact between solid bodies is proposed. Previous advances in the material point method (MPM) led to a fast and simple, but potentially momentum violating, strategy for enforcing contact. This was achieved through a combination of velocity transfers between background and foreground grids, and a background grid velocity field update. We propose a modified strategy which ensures conservation of both linear and angular momentum with a novel use of the affine particle-in-cell (APIC) method. Two issues common to particle-in-cell based algorithms for contact are also addressed: material bodies tend to stick at a gap which is proportional to the grid spacing; and material points tend to stick together permanently when located within the same grid cell, making material rebound and friction challenging. We show that the use of APIC, combined with a grid transfer and momentum update algorithm results in contact being enforced at essentially zero gap. For the second issue, we propose a novel iterative scheme which allows particles interacting through the background grid to naturally separate after contact and enforce friction, while still satisfying momentum conservation.


title: Separability and entanglement in superpositions of quantum states

abstract: It is known that probabilistically mixing an arbitrary pair of pure quantum states, one of which is entangled and the other product, in any bipartite quantum system, one always obtains an entangled state, provided the entangled state of the pair appears with a nonzero probability. On the other hand, if we consider any superposition of the same pair, with a nonzero amplitude for the entangled state of the pair, the output state may not always be entangled. Motivated by this fact, in this work, we study the superpositions of a pure entangled state and a pure product state, when the amplitudes corresponding to the states appearing in any superposition are nonzero. We show, in particular, that all such superpositions produce only entangled states if the initial entangled state has Schmidt rank three or higher. Again, superposing a pure entangled state and a product state cannot lead to product states only, in any bipartite quantum system. These lead us to define conditional and unconditional inseparabilities of superpositions. These concepts in turn are useful in quantum communication protocols. We find that conditional inseparability of superpositions help in identifying strategies for conclusive local discrimination of shared quantum ensembles. We also find that the unconditional variety leads to systematic methods for spotting ensembles exhibiting the phenomenon of more nonlocality with less entanglement and two-element ensembles of conclusively and locally indistinguishable shared quantum states.


title: Potential Skyrmion Host Fe(IO3)3: Connecting Stereo-active Lone-Pair Electron Effects to the Dzyaloshinskii-Moriya Interaction

abstract: Magnetic skyrmions, which are topologically distinct magnetic spin textures, are gaining increased attention for their unique physical properties and potential applications in spintronic devices. Here we present a design strategy for skyrmion host candidates based on combinations of magnetic spin, asymmetric building units having stereo-active lone-pair electrons, and polar lattice symmetry. To demonstrate the viability of the proposed rational design principles, we successfully synthesized Fe(IO3)3 polycrystalline sample and single crystals by using a new simplified low-temperature pathway, which is experimentally feasible for extending materials growth of transition metal iodates. Single crystal X-ray and powder synchrotron X-ray diffraction measurements demonstrated that Fe(IO3)3 crystallizes in the polar chiral hexagonal lattice with space group P63. The combined structural features of the macroscopic electric polarization along the c axis stemming from the coalignment of the stereo-active lone-pairs of the IO3 trigonal pyramid and the magnetic Fe3+cation residing on the three-fold rotation axis were selected to promote asymmetric exchange coupling. We find evidence of a predicted skyrmion phase at 14 K to 16 K and 2.5 T to 3.2 T driven by Dzyaloshinskii Moriya (DM) interaction, a conclusion supported by the appreciable DM exchange and the zero-field spiral antiferromagnetic ground state of Fe(IO3)3 deduced from neutron diffraction experiments. The associated magnetic modulation wavelength of the putative skyrmions is expected to be short, approximately 18 nm, comparable to the period of the DM-driven incommensurate order. This work links stereo-active lone-pair electron effects to enhanced DM interaction, demonstrating a new approach for chemical guidelines in the search for skyrmionic states of matter.


title: Measuring photoexcited electron and hole dynamics in ZnTe and modeling excited state core-valence effects in transient XUV reflection spectroscopy

abstract: Transient XUV spectroscopy is growing in popularity for the measurement of solar fuel and photovoltaic materials as it can separately measure electron and hole energies for multiple elements at once. However, interpretation of transient XUV measurements is complicated by changes in core-valence exciton and angular momentum effects after photoexcitation. Here, we report the photoexcited electron and hole dynamics for ZnTe, a promising material for CO2 reduction, following 400 nm excitation. We apply a newly developed, ab-initio theoretical approach based on density functional theory and the Bethe-Salpeter equation to accurately predict the excited state change in the measured transient XUV spectra. Electrons excited to the conduction band are measured with a thermalization rate of 70 $\pm$ 40 fs. Holes are excited with an average excess energy of ~1 eV and thermalize in 1130 $\pm$ 150 fs. The theoretical approach also allows an estimated assignment of inter- and intra-valley relaxation pathways in k-space using the relative amplitudes of the core-valence excitons.


title: First Results from HERA Phase I: Upper Limits on the Epoch of Reionization 21 cm Power Spectrum

abstract: We report upper-limits on the Epoch of Reionization (EoR) 21 cm power spectrum at redshifts 7.9 and 10.4 with 18 nights of data ($\sim36$ hours of integration) from Phase I of the Hydrogen Epoch of Reionization Array (HERA). The Phase I data show evidence for systematics that can be largely suppressed with systematic models down to a dynamic range of $\sim10^9$ with respect to the peak foreground power. This yields a 95% confidence upper limit on the 21 cm power spectrum of $\Delta^2_{21} \le (30.76)^2\ {\rm mK}^2$ at $k=0.192\ h\ {\rm Mpc}^{-1}$ at $z=7.9$, and also $\Delta^2_{21} \le (95.74)^2\ {\rm mK}^2$ at $k=0.256\ h\ {\rm Mpc}^{-1}$ at $z=10.4$. At $z=7.9$, these limits are the most sensitive to-date by over an order of magnitude. While we find evidence for residual systematics at low line-of-sight Fourier $k_\parallel$ modes, at high $k_\parallel$ modes we find our data to be largely consistent with thermal noise, an indicator that the system could benefit from deeper integrations. The observed systematics could be due to radio frequency interference, cable sub-reflections, or residual instrumental cross-coupling, and warrant further study. This analysis emphasizes algorithms that have minimal inherent signal loss, although we do perform a careful accounting in a companion paper of the small forms of loss or bias associated with the pipeline. Overall, these results are a promising first step in the development of a tuned, instrument-specific analysis pipeline for HERA, particularly as Phase II construction is completed en route to reaching the full sensitivity of the experiment.


title: Topological photonic crystal fibers based on second-order corner modes

abstract: Photonic crystal fibers represent one of the most active research fields in modern fiber optics. The recent advancements of topological photonics have inspired new fiber concepts and designs. Here, we demonstrate a new type of topological photonic crystal fibers based on second order photonic corner modes from the Su-Schrieffer-Heeger model. Different from previous works where the in-plane properties at $k_z=0$ have been mainly studied, we find that in the fiber configuration of $k_z>0$, a topological bandgap only exists when the propagation constant $k_z$ along the fiber axis is larger than a certain threshold and the emergent topological bandgap at large $k_z$ hosts two sets of corner fiber modes. We further investigate the propagation diagrams, propose a convenient way to tune the frequencies of the corner fiber modes within the topological bandgap and envisage multi-frequency and multi-channel transmission capabilities of this new type of fibers. Our work will not only have practical importance, but could also open a new area for fiber exploration where many existing higher-order topological photonic modes could bring exciting new opportunities for fiber designs and applications.


title: From "Analogue" Science to AI-powered Digital Science

abstract: Phase transition from the human-limited, "analogue" way of research enquiry to the silicon-based, artificial intelligence (AI)-powered digital science is forthcoming. To facilitate this transition, I propose three project ideas: 1) CryptoScience platform, aimed to provide tools for endemic digitalization & open access of the research data, with attribution of the work credit of all involved individuals and parties using blockchain technology; 2) Computational Publication Standard, designed for publishing research findings in an AI-friendly format of knowledge graphs; 3) data modelling from publications, meant to extract key pieces of knowledge (entities and their relationships) contained in manuscript publications using natural language processing and image recognition, to enable their incorporation into the digital knowledge databases. These three ideas could be implemented separately by different research groups and institutions, however, they will strongly benefit from each other's synergistic effect.


title: Boosting Few-shot Semantic Segmentation with Transformers

abstract: Due to the fact that fully supervised semantic segmentation methods require sufficient fully-labeled data to work well and can not generalize to unseen classes, few-shot segmentation has attracted lots of research attention. Previous arts extract features from support and query images, which are processed jointly before making predictions on query images. The whole process is based on convolutional neural networks (CNN), leading to the problem that only local information is used. In this paper, we propose a TRansformer-based Few-shot Semantic segmentation method (TRFS). Specifically, our model consists of two modules: Global Enhancement Module (GEM) and Local Enhancement Module (LEM). GEM adopts transformer blocks to exploit global information, while LEM utilizes conventional convolutions to exploit local information, across query and support features. Both GEM and LEM are complementary, helping to learn better feature representations for segmenting query images. Extensive experiments on PASCAL-5i and COCO datasets show that our approach achieves new state-of-the-art performance, demonstrating its effectiveness.


title: A Method to use Nonlinear Dynamics in a Whisker Sensor for Terrain Identification by Mobile Robots

abstract: This paper shows analytical and experimental evidence of using the vibration dynamics of a compliant whisker for accurate terrain classification during steady state motion of a mobile robot. A Hall effect sensor was used to measure whisker vibrations due to perturbations from the ground. Analytical results predict that the whisker vibrations will have a dominant frequency at the vertical perturbation frequency of the mobile robot sandwiched by two other less dominant but distinct frequency components. These frequency components may come from bifurcation of vibration frequency due to nonlinear interaction dynamics at steady state. Experimental results also exhibit distinct dominant frequency components unique to the speed of the robot and the terrain roughness. This nonlinear dynamic feature is used in a deep multi-layer perceptron neural network to classify terrains. We achieved 85.6\% prediction success rate for seven flat terrain surfaces with different textures.


title: Effects of mobility restrictions during COVID19 in Italy

abstract: To reduce the spread and the effect of the COVID-19 global pandemic, non-pharmaceutical interventions (NPIs) have been adopted on multiple occasions by governments. In particular lockdown policies, i.e., generalized mobility restrictions, have been employed to fight the first wave of the pandemic. We analyze data reflecting mobility levels over time in Italy before, during and after the national lockdown, in order to assess some direct and indirect effects. By applying methodologies based on percolation and network science approaches, we find that the typical network characteristics, while very revealing, do not tell the whole story. In particular, the Italian mobility network during lockdown has been damaged much more than node- and edge-level metrics indicate. Additionally, many of the main Provinces of Italy are affected by the lockdown in a surprisingly similar fashion, despite their geographical and economic dissimilarity. Based on our findings we offer an approach to estimate unavailable high-resolution economic dimensions, such as real time Province-level GDP, based on easily measurable mobility information.


title: A Machine Learning Approach to Classify Kinematics and Vortex Wake Modes of Oscillating Foils

abstract: Machine learning techniques have received attention in fluid dynamics in terms of predicting, clustering and classifying complex flow physics. One application has been the classification or clustering of various wake structures that emanate from bluff bodies such as cylinders or flapping foils, creating a rich diversity of vortex formations specific to flow conditions, geometry, and/or kinematics of the body. When utilizing oscillating foils to harvest energy from tidal or river flows, it is critical to understand the intricate and nonlinear relationship between flapping kinematics and the downstream vortex wake structure for optimal siting and operation of arrays. This paper develops a classification model to obtain groups of kinematics that contain similar wake patterns within the energy harvesting regime. Data is obtained through simulations of 27 unique oscillating foil kinematics for a total of 13,650 samples of the wake vorticity field. Within these samples three groups are visually labeled based on the relative angle of attack. A machine learning approach combining a convolutional neural network (CNN) with long short-term memory (LSTM) units is utilized to automatically classify the wakes into the three groups. The average accuracy on five test data subsets is 80% when the three visually labeled groups are used for classification. After analyzing the test subset with lowest accuracy, an update on the group division boundaries is proposed. With this update, the algorithm achieves an average accuracy of 90%, demonstrating that the three groups are able to discern distinct wake structures within a range of energy harvesting kinematics.


title: Implementation of a Multi-Beam MAC Protocol for Multi-Hop Wireless Networks in Riverbed Modeler

abstract: Recent advances in antenna technology have made the design of multi-beam antennas (MBA) feasible. Compared to an omni-directional or a single beam directional antenna, an MBA equipped node can achieve a throughput of up to m times, by simultaneously communicating on its m non-interfering beams. As a result, a few multi-beam directional medium access control (MAC) schemes have been proposed in the literature recently, which are implemented mostly on the in-house simulation setups in Matlab or C/C++. These implementations make many assumptions to simplify their design, without a thorough implementation of other network layers. However, the implementation of a multi-beam MAC scheme on the well-known discrete event network simulator platforms (such as the Riverbed Modeler, NS3, QualNet) is challenging as it requires extensive changes and additions to various source code modules. In fact, the network protocols in these simulator packages have been mainly designed for omni-directional communication, and very few implementations of directional MAC and other network protocols exist in the literature. This paper presents a framework to implement a multi-beam directional MAC scheme in multi-hop wireless networks, by using the Wireless Suite of Riverbed Modeler. The detailed implementation procedures are described for multi-beam antenna module, multi-beam node model, concurrent packet transmission and reception, scheduling, collision avoidance, retransmission, and local node synchronization. These MAC modules and methodology can be very helpful to the researchers and developers for implementing the single-beam as well as multi-beam directional MAC and routing protocols in Riverbed Modeler.


title: Daft-Exprt: Cross-Speaker Prosody Transfer on Any Text for Expressive Speech Synthesis

abstract: This paper presents Daft-Exprt, a multi-speaker acoustic model advancing the state-of-the-art for cross-speaker prosody transfer on any text. This is one of the most challenging, and rarely directly addressed, task in speech synthesis, especially for highly expressive data. Daft-Exprt uses FiLM conditioning layers to strategically inject different prosodic information in all parts of the architecture. The model explicitly encodes traditional low-level prosody features such as pitch, loudness and duration, but also higher level prosodic information that helps generating convincing voices in highly expressive styles. Speaker identity and prosodic information are disentangled through an adversarial training strategy that enables accurate prosody transfer across speakers. Experimental results show that Daft-Exprt significantly outperforms strong baselines on inter-text cross-speaker prosody transfer tasks, while yielding naturalness comparable to state-of-the-art expressive models. Moreover, results indicate that the model discards speaker identity information from the prosody representation, and consistently generate speech with the desired voice. We publicly release our code and provide speech samples from our experiments.


title: R&D Heterogeneity and Countercyclical Productivity Dispersion

abstract: Why is the U.S. industry-level productivity dispersion countercyclical? Theoretically, we build a duopoly model in which heterogeneous R&D costs determine firms' optimal behaviors and the equilibrium technology gap after a negative profit shock. Quantitatively, we calibrate a parameterized model, simulate firms' post--shock responses and predict that productivity dispersion is due to the low-cost firm increasing R&D efforts and the high-cost firm doing the opposite. Empirically, we construct an index of negative profit shocks and provide two reduced-form tests for this mechanism.


title: Some qualitative properties for the Kirchhoff total variation flow

abstract: In this paper we are concerned with the following Kirchhoff type problem involving the 1-Laplace operator : \begin{equation*} \left\{\begin{array}{llc} u_{t}-m\left(\int_{\Omega}|Du|\right)\Delta_{1} u=0 & \text{in}\ & \Omega\times (0,+\infty) , \\ u=0 & \text{on} &\partial \Omega\times (0,+\infty),\\ u(x,0)=u_{0}(x) & \text{in} &\Omega , \end{array}\right. \end{equation*} where $\Omega\subset \mathbb{R}^{N}$ ($N\geq 1$) is a bounded smooth domain, $m :\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}$ is an increasing continuous function that satisfies some conditions which will be mentioned further down, and $\Delta_1 u=\text{div}\left(\frac{Du}{|Du|}\right)$ denotes the 1-Laplace operator. The main purpose of this work is to investigate from the initial data $u_{0}$ and the nonlinear function $m$ the existence and asymptotic behavior of solutions near the extinction time.


title: LEO: Learning Energy-based Models in Factor Graph Optimization

abstract: We address the problem of learning observation models end-to-end for estimation. Robots operating in partially observable environments must infer latent states from multiple sensory inputs using observation models that capture the joint distribution between latent states and observations. This inference problem can be formulated as an objective over a graph that optimizes for the most likely sequence of states using all previous measurements. Prior work uses observation models that are either known a-priori or trained on surrogate losses independent of the graph optimizer. In this paper, we propose a method to directly optimize end-to-end tracking performance by learning observation models with the graph optimizer in the loop. This direct approach may appear, however, to require the inference algorithm to be fully differentiable, which many state-of-the-art graph optimizers are not. Our key insight is to instead formulate the problem as that of energy-based learning. We propose a novel approach, LEO, for learning observation models end-to-end with graph optimizers that may be non-differentiable. LEO alternates between sampling trajectories from the graph posterior and updating the model to match these samples to ground truth trajectories. We propose a way to generate such samples efficiently using incremental Gauss-Newton solvers. We compare LEO against baselines on datasets drawn from two distinct tasks: navigation and real-world planar pushing. We show that LEO is able to learn complex observation models with lower errors and fewer samples. Supplementary video: https://youtu.be/YqzlUPudfkA


title: Admissibility and Frame Homotopy for Quaternionic Frames

abstract: We consider the following questions: when do there exist quaternionic frames with given frame spectrum and given frame vector norms? When such frames exist, is it always possible to interpolate between any two while fixing their spectra and norms? In other words, the first question is the admissibility question for quaternionic frames and the second is a generalization of the frame homotopy conjecture. We give complete answers to both questions. For the first question, the existence criterion is exactly the same as in the real and complex cases. For the second, the non-empty spaces of quaternionic frames with specified frame spectrum and frame vector norms are always path-connected, just as in the complex case. Our strategy for proving these results is based on interpreting equivalence classes of frames with given frame spectrum as adjoint orbits, which is an approach that is also well-suited to the study of real and complex frames.


title: Covariant Color-Kinematics Duality

abstract: We show that color-kinematics duality is a manifest property of the equations of motion governing currents and field strengths. For the nonlinear sigma model (NLSM), this insight enables an implementation of the double copy at the level of fields, as well as an explicit construction of the kinematic algebra and associated kinematic current. As a byproduct, we also derive new formulations of the special Galileon (SG) and Born-Infeld (BI) theory. For Yang-Mills (YM) theory, this same approach reveals a novel structure -- covariant color-kinematics duality -- whose only difference from the conventional duality is that $1/\Box$ is replaced with covariant $1/D^2$. Remarkably, this structure implies that YM theory is itself the covariant double copy of gauged biadjoint scalar (GBAS) theory and an $F^3$ theory of field strengths encoding a corresponding kinematic algebra and current. Directly applying the double copy to equations of motion, we derive general relativity (GR) from the product of Einstein-YM and $F^3$ theory. This exercise reveals a trivial variant of the classical double copy that recasts any solution of GR as a solution of YM theory in a curved background. Covariant color-kinematics duality also implies a new decomposition of tree-level amplitudes in YM theory into those of GBAS theory. Using this representation we derive a closed-form, analytic expression for all BCJ numerators in YM theory and the NLSM for any number of particles in any spacetime dimension. By virtue of the double copy, this constitutes an explicit formula for all tree-level scattering amplitudes in YM, GR, NLSM, SG, and BI.


title: The Primitive Ideal Space of Groupoid C*-Algebras for Groupoids with Abelian Isotropy

abstract: We study the topology of the primitive ideal space of groupoid C*-algebras for groupoids with abelian isotropy. Our results include the known results for action groupoids with abelian stabilizers. Furthermore, we obtain complete results when the isotropy map is continuous except for jump discontinuities, and also when $G$ is a unit space fixing extension of a proper groupoid by an abelian group bundle. We hope that our methods will be a springboard to further results of this type.


title: Pan-Cancer Integrative Histology-Genomic Analysis via Interpretable Multimodal Deep Learning

abstract: The rapidly emerging field of deep learning-based computational pathology has demonstrated promise in developing objective prognostic models from histology whole slide images. However, most prognostic models are either based on histology or genomics alone and do not address how histology and genomics can be integrated to develop joint image-omic prognostic models. Additionally identifying explainable morphological and molecular descriptors from these models that govern such prognosis is of interest. We used multimodal deep learning to integrate gigapixel whole slide pathology images, RNA-seq abundance, copy number variation, and mutation data from 5,720 patients across 14 major cancer types. Our interpretable, weakly-supervised, multimodal deep learning algorithm is able to fuse these heterogeneous modalities for predicting outcomes and discover prognostic features from these modalities that corroborate with poor and favorable outcomes via multimodal interpretability. We compared our model with unimodal deep learning models trained on histology slides and molecular profiles alone, and demonstrate performance increase in risk stratification on 9 out of 14 cancers. In addition, we analyze morphologic and molecular markers responsible for prognostic predictions across all cancer types. All analyzed data, including morphological and molecular correlates of patient prognosis across the 14 cancer types at a disease and patient level are presented in an interactive open-access database (http://pancancer.mahmoodlab.org) to allow for further exploration and prognostic biomarker discovery. To validate that these model explanations are prognostic, we further analyzed high attention morphological regions in WSIs, which indicates that tumor-infiltrating lymphocyte presence corroborates with favorable cancer prognosis on 9 out of 14 cancer types studied.


title: Quasi-symmetry protected topology in a semi-metal

abstract: The crystal symmetry of a material dictates the type of topological band structures it may host, and therefore symmetry is the guiding principle to find topological materials. Here we introduce an alternative guiding principle, which we call 'quasi-symmetry'. This is the situation where a Hamiltonian has an exact symmetry at lower-order that is broken by higher-order perturbation terms. This enforces finite but parametrically small gaps at some low-symmetry points in momentum space. Untethered from the restraints of symmetry, quasi-symmetries eliminate the need for fine-tuning as they enforce that sources of large Berry curvature will occur at arbitrary chemical potentials. We demonstrate that a quasi-symmetry in the semi-metal CoSi stabilizes gaps below 2 meV over a large near-degenerate plane that can be measured in the quantum oscillation spectrum. The application of in-plane strain breaks the crystal symmetry and gaps the degenerate point, observable by new magnetic breakdown orbits. The quasi-symmetry, however, does not depend on spatial symmetries and hence transmission remains fully coherent. These results demonstrate a class of topological materials with increased resilience to perturbations such as strain-induced crystalline symmetry breaking, which may lead to robust topological applications as well as unexpected topology beyond the usual space group classifications.


title: Stereoscopic Measurements of Coronal Doppler Velocities

abstract: The Solar Orbiter mission, with an orbit outside the Sun Earth line and leaving the ecliptic plane, opens up opportunities for the combined analysis of measurements obtained by solar imagers and spectrometers. For the first time, different space spectrometers will be located at wide angles to each other, allowing three-dimensional (3D) spectroscopy of the solar atmosphere. The aim of this work is to prepare the methodology to facilitate the reconstruction of 3D vector velocities from two stereoscopic LOS Doppler velocity measurements using the Spectral Imaging of the Coronal Environment (SPICE) onboard the Solar Orbiter and the near-Earth spectrometers, while widely separated in space. We develop the methodology using the libraries designed earlier for the STEREO mission but applied to spectroscopic data from the Hinode mission and the Solar Dynamics Observatory. We use well-known methods of static and dynamic solar rotation stereoscopy and the methods of EUV stereoscopic triangulation for optically thin coronal EUV plasma emissions. We develop new algorithms using analytical geometry in space to determine the 3D velocity in coronal loops. We demonstrate our approach with the reconstruction of 3D velocity vectors in plasma flows along "open" and "closed" magnetic loops. This technique will be applied to an actual situation of two spacecraft at different separations with spectrometers onboard (SPICE versus the Interface Region Imaging Spectrograph (IRIS) and Hinode imaging spectrometer) during the Solar Orbiternominal phase. We summarise how these observations can be coordinated.


title: Context-Aware Environment Monitoring to Support LPWAN-based Battlefield Applications

abstract: The use of IoT-related technologies is growing in several areas. Applications of environmental monitoring, logistics, smart cities are examples of applications that benefit from advances in IoT. In the military context, IoT applications can support the decision-making process by delivering information collected directly from the battlefield to Command, Control, Communications, Computers, Intelligence, Surveillance and Reconnaissance (C4ISR) systems. Taking the benefit of the installed IoT network in the battlefield, the use of the data collected by the IoT nodes is a way to improve resiliency and increase the survivability of networks, as well as to optimize the use of available resources. Towards improving the communication network present on the battlefield, this work presents a context-aware environmental monitoring system that uses real-time battlefield information to increase military networks' resilience and survivability. The proposed approach is validated by a proof-of-concept experiment. The obtained results show that the implementation of this system can improve the communication process even when the network is exposed to unfavorable climatic factors.


title: H.E.S.S. follow-up of BBH merger events

abstract: We present here, follow-up observations of four Binary black hole BBH events performed with the High Energy Stereoscopic System (H.E.S.S.) in the Very High Energy (VHE) gamma-ray domain during the second and third LIGO/Virgo observation runs. Detailed analyses of the obtained data did not show significant VHE emission. We derive integral upper limit maps considering a generic $E^{-2}$ source spectrum in the most sensitive H.E.S.S energy interval ranging from 1 to 10 TeV. We also consider Extragalactic Background Light absorption effects and derive integral upper limits over the full accessible energy range. We finally derive upper limits of the VHE luminosity for each event and compare them with the expected VHE emission from GRBs. These comparisons allow us to assess the H.E.S.S. gravitational wave follow-up strategies. For the fourth GW observing run O4, we do not expect to fundamentally alter our observing strategy, and will continue to prioritize sky coverage like for the previous runs


title: Machine Learning Classification Methods and Portfolio Allocation: An Examination of Market Efficiency

abstract: We design a novel framework to examine market efficiency through out-of-sample (OOS) predictability. We frame the asset pricing problem as a machine learning classification problem and construct classification models to predict return states. The prediction-based portfolios beat the market with significant OOS economic gains. We measure prediction accuracies directly. For each model, we introduce a novel application of binomial test to test the accuracy of 3.34 million return state predictions. The tests show that our models can extract useful contents from historical information to predict future return states. We provide unique economic insights about OOS predictability and machine learning models.

categories: q-fin.GN cs.LG econ.GN q-fin.CP q-fin.EC q-fin.PM


title: Gauge-invariant theories and higher-degree forms

abstract: A free differential algebra is generalization of a Lie algebra in which the mathematical structure is extended by including of new Maurer-Cartan equations for higher-degree differential forms. In this article, we propose a generalization of the Chern-Weil theorem for free differential algebras containing only one $p$-form extension. This is achieved through a generalization of the covariant derivative, leading to an extension of the standard formula for Chern-Simons and transgression forms. We also study the possible existence of anomalies originated on this kind of structure. Some properties and particular cases are analyzed.


title: Constelaciones mayas: Visualizaci\'on e interpretaci\'on utilizando herramientas inform\'aticas

abstract: There has been a long standing debate about the existence of maya constellations, but there are several sources of evidences that favour this hypothesis: mural paintings, stelae and codex. In this work, we have recovered and compiled information regarding mayan constellations and the mayan names for selected celestial bodies. We explain the process that was carried out to obtain all the information available and compile it under the same digital support. The result was incorporated into the Stellarium astronomical software to enrich the modules of archaeoastronomy and stellar legend, where constellations from diverse cultures are made available to users of the software by simulating their appearance in the night sky.


title: Organic Carbon Cycle in the Atmosphere of Venus

abstract: The community commonly assumes that the Venusian atmosphere lacks organic (reduced) carbon. This is reflected in the literature, which now for almost a half a century does not mention organic carbon in connection with the Venus atmosphere. This assumption persists despite the failure of models that exclude organic carbon to account for many well-established observed features of the Venusian atmosphere. Here is presented a model summarizing reactions that almost certainly are occurring in the Venusian atmosphere. The model relies on reactions of reduced carbon compounds known to occur in concentrated sulfuric acid (CSA), under high pressure and high temperature, many used in industrial processes. Inclusion of this known chemistry into a model for the Venus atmosphere accounts for several as yet unexplained observations. These include the upper haze, the lower haze, and the "mysterious" UV-blue absorber. This article also suggests, as a historical perspective, that a long-forgotten dispute is responsible for the persistent assumption of absence of interesting organic chemistry in the clouds of Venus.


title: A Survey of Honeypots and Honeynets for Internet of Things, Industrial Internet of Things, and Cyber-Physical Systems

abstract: The Internet of Things (IoT), the Industrial Internet of Things (IIoT), and Cyber-Physical Systems (CPS) have become essential for our daily lives in contexts such as our homes, buildings, cities, health, transportation, manufacturing, infrastructure, and agriculture. However, they have become popular targets of attacks, due to their inherent limitations which create vulnerabilities. Honeypots and honeynets can prove essential to understand and defend against attacks on IoT, IIoT, and CPS environments by attracting attackers and deceiving them into thinking that they have gained access to the real systems. Honeypots and honeynets can complement other security solutions (i.e., firewalls, Intrusion Detection Systems - IDS) to form a strong defense against malicious entities. This paper provides a comprehensive survey of the research that has been carried out on honeypots and honeynets for IoT, IIoT, and CPS. It provides a taxonomy and extensive analysis of the existing honeypots and honeynets, states key design factors for the state-of-the-art honeypot/honeynet research and outlines open issues for future honeypots and honeynets for IoT, IIoT, and CPS environments.


title: The Gotsman-Linial Conjecture is False

abstract: In 1991, Craig Gotsman and Nathan Linial conjectured that for all $n$ and $d$, the average sensitivity of a degree-$d$ polynomial threshold function on $n$ variables is maximized by the degree-$d$ symmetric polynomial which computes the parity function on the $d$ layers of the hypercube with Hamming weight closest to $n/2$. We refute the conjecture for almost all $d$ and for almost all $n$, and we confirm the conjecture in many of the remaining cases.


title: High dimensional Bayesian Optimization Algorithm for Complex System in Time Series

abstract: At present, high-dimensional global optimization problems with time-series models have received much attention from engineering fields. Since it was proposed, Bayesian optimization has quickly become a popular and promising approach for solving global optimization problems. However, the standard Bayesian optimization algorithm is insufficient to solving the global optimal solution when the model is high-dimensional. Hence, this paper presents a novel high dimensional Bayesian optimization algorithm by considering dimension reduction and different dimension fill-in strategies. Most existing literature about Bayesian optimization algorithms did not discuss the sampling strategies to optimize the acquisition function. This study proposed a new sampling method based on both the multi-armed bandit and random search methods while optimizing the acquisition function. Besides, based on the time-dependent or dimension-dependent characteristics of the model, the proposed algorithm can reduce the dimension evenly. Then, five different dimension fill-in strategies were discussed and compared in this study. Finally, to increase the final accuracy of the optimal solution, the proposed algorithm adds a local search based on a series of Adam-based steps at the final stage. Our computational experiments demonstrated that the proposed Bayesian optimization algorithm could achieve reasonable solutions with excellent performances for high dimensional global optimization problems with a time-series optimal control model.


title: Relational E-Matching

abstract: We present a new approach to e-matching based on relational join; in particular, we apply recent database query execution techniques to guarantee worst-case optimal run time. Compared to the conventional backtracking approach that always searches the e-graph "top down", our new relational e-matching approach can better exploit pattern structure by searching the e-graph according to an optimized query plan. We also establish the first data complexity result for e-matching, bounding run time as a function of the e-graph size and output size. We prototyped and evaluated our technique in the state-of-the-art egg e-graph framework. Compared to a conventional baseline, relational e-matching is simpler to implement and orders of magnitude faster in practice.


title: The Riemann-Liouville fractional integral in Bochner-Lebesgue spaces I

abstract: In this paper we study the Riemann-Liouville fractional integral of order $\alpha>0$ as a linear operator from $L^p(I,X)$ into itself, when $1\leq p\leq \infty$, $I=[t_0,t_1]$ (or $I=[t_0,\infty)$) and $X$ is a Banach space. In particular, when $I=[t_0,t_1]$, we obtain necessary and sufficient conditions to ensure its compactness. We also prove that Riemann-Liouville fractional integral defines a $C_0-$semigroup but does not defines a uniformly continuous semigroup. We close this study by presenting lower and higher bounds to the norm of this operator.


title: Clusters in the Disperse cosmic web

abstract: Galaxy cluster mass halos ("clusters") in a dark matter simulation are matched to nodes in several different cosmic webs found using the Disperse cosmic web finder. The webs have different simulation smoothings and Disperse parameter choices; for each, 4 methods are considered for matching Disperse nodes to clusters. For most of the webs, Disperse nodes outnumber clusters, but not every cluster has a Disperse node match (and sometimes $>1$ cluster matches to the same Disperse node). The clusters frequently lacking a matching Disperse node have a different distribution of local shear trends and perhaps merger histories. It might be interesting to see in what other ways, e.g., observational properties, these clusters differ. For the webs with smoothing $\leq$ 2.5 $Mpc/h$, and all but the most restrictive matching criterion, $\sim$3/4 of the clusters always have a Disperse node counterpart. The nearest cluster to a given Disperse node and vice versa, within twice the smoothing length, obey a cluster mass-Disperse node density relation. Cluster pairs where both clusters match Disperse nodes can also be assigned the filaments between those nodes, but as the web and matching methods are varied, most such filaments do not remain. There is an enhancement of subhalo counts and halo mass between cluster pairs, averaging over cluster pairs assigned Disperse filaments increases the enhancement. The approach here also lends itself to comparing nodes across many cosmic web constructions, using the fixed underlying cluster distribution to make a correspondence.


title: IoT Notary: Attestable Sensor Data Capture in IoT Environments

abstract: Contemporary IoT environments, such as smart buildings, require end-users to trust data-capturing rules published by the systems. There are several reasons why such a trust is misplaced -- IoT systems may violate the rules deliberately or IoT devices may transfer user data to a malicious third-party due to cyberattacks, leading to the loss of individuals' privacy or service integrity. To address such concerns, we propose IoT Notary, a framework to ensure trust in IoT systems and applications. IoT Notary provides secure log sealing on live sensor data to produce a verifiable `proof-of-integrity,' based on which a verifier can attest that captured sensor data adheres to the published data-capturing rules. IoT Notary is an integral part of TIPPERS, a smart space system that has been deployed at the University of California Irvine to provide various real-time location-based services on the campus. We present extensive experiments over realtime WiFi connectivity data to evaluate IoT Notary, and the results show that IoT Notary imposes nominal overheads. The secure logs only take 21% more storage, while users can verify their one day's data in less than two seconds even using a resource-limited device.


title: $\textit{TESS}$ Giants Transiting Giants I: A Non-inflated Hot Jupiter Orbiting a Massive Subgiant

abstract: While the population of confirmed exoplanets continues to grow, the sample of confirmed transiting planets around evolved stars is still limited. We present the discovery and confirmation of a hot Jupiter orbiting TOI-2184 (TIC 176956893), a massive evolved subgiant ($M_\star= 1.53 \pm 0.12 M_\odot$, $R_\star= 2.90 \pm 0.14 R_\odot$) in the $\textit{TESS}$ Southern Continuous Viewing Zone. The planet was flagged as a false positive by the $\textit{TESS}$ Quick-Look Pipeline due to periodic systematics introducing a spurious depth difference between even and odd transits. Using a new pipeline to remove background scattered light in $\textit{TESS}$ Full Frame Image (FFI) data, we combine space-based $\textit{TESS}$ photometry, ground-based photometry, and ground-based radial velocity measurements to report a planet radius of $R_p= 1.017 \pm 0.051 R_J$ and mass of $M_p= 0.65 \pm 0.16 M_J$. For a planet so close to its star, the mass and radius of TOI-2184b are unusually well matched to those of Jupiter. We find that the radius of TOI-2184b is smaller than theoretically predicted based on its mass and incident flux, providing a valuable new constraint on the timescale of post-main-sequence planet inflation. The discovery of TOI-2184b demonstrates the feasibility of detecting planets around faint ($\textit{TESS}$ magnitude $>12$) post-main sequence stars and suggests that many more similar systems are waiting to be detected in the $\textit{TESS}$ FFIs, whose confirmation may elucidate the final stages of planetary system evolution.


title: The combinatorics of weight systems and characteristic polynomials of isolated quasihomogeneous singularities

abstract: A paper of the first author and Zilke proposed seven combinatorial problems around formulas for the characteristic polynomial and the exponents of an isolated quasihomogeneous singularity. The most important of them was a conjecture on the characteristic polynomial. Here the conjecture is proved, and some of the other problems are solved, too. In the cases where also an old conjecture of Orlik on the integral monodromy holds, this has implications on the automorphism group of the Milnor lattice. The combinatorics used in the proof of the conjecture consists of tuples of orders on sets $\{0,1,...,n\}$ with special properties and may be of independent interest.


title: Superior Photo-carrier Diffusion Dynamics in Organic-inorganic Hybrid Perovskites Revealed by Spatiotemporal Conductivity Imaging

abstract: The outstanding performance of organic-inorganic metal trihalide solar cells benefits from the exceptional photo-physical properties of both electrons and holes in the material. Here, we directly probe the free-carrier dynamics in Cs-doped FAPbI3 thin films by spatiotemporal photoconductivity imaging. Using charge transport layers to selectively quench one type of carriers, we show that the two relaxation times on the order of 1 microsecond and 10 microseconds correspond to the lifetimes of electrons and holes in FACsPbI3, respectively. Strikingly, the diffusion mapping indicates that the difference in electron/hole lifetimes is largely compensated by their disparate mobility. Consequently, the long diffusion lengths (3 ~ 5 micrometers) of both carriers are comparable to each other, a feature closely related to the unique charge trapping and de-trapping processes in hybrid trihalide perovskites. Our results unveil the origin of superior diffusion dynamics in this material, crucially important for solar-cell applications.

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


title: Spartus: A 9.4 TOp/s FPGA-based LSTM Accelerator Exploiting Spatio-Temporal Sparsity

abstract: Long Short-Term Memory (LSTM) recurrent networks are frequently used for tasks involving time-sequential data such as speech recognition. Unlike previous LSTM accelerators that either exploit spatial weight sparsity or temporal activation sparsity, this paper proposes a new accelerator called "Spartus" that exploits spatio-temporal sparsity to achieve ultra-low latency inference. Spatial sparsity is induced using a new Column-Balanced Targeted Dropout (CBTD) structured pruning method, producing structured sparse weight matrices for a balanced workload. The pruned networks running on Spartus hardware achieve weight sparsity levels of up to 96% and 94% with negligible accuracy loss on the TIMIT and the Librispeech datasets. To induce temporal sparsity in LSTM, we extend the previous DeltaGRU method to the DeltaLSTM method. Combining spatio-temporal sparsity with CBTD and DeltaLSTM saves on weight memory access and associated arithmetic operations. The Spartus architecture is scalable and supports real-time online speech recognition when implemented on small and large FPGAs. Spartus per-sample latency for a single DeltaLSTM layer of 1024 neurons averages 1 us. Exploiting spatio-temporal sparsity on our test LSTM network using the TIMIT dataset leads to 46X speedup of Spartus over its theoretical hardware performance to achieve 9.4 TOp/s effective batch-1 throughput and 1.1 TOp/s/W power efficiency.


title: Intrinsic Lipschitz maps vs. Lagrangian type solutions in Carnot groups of step 2

abstract: We focus our attention on the notion of intrinsic Lipschitz graphs, inside a subclass of Carnot groups of step 2 which includes a corank 1 Carnot groups (and so the Heisenberg groups), Free groups of step 2 and the complexified Heisenberg group. More precisely, we prove the equivalence between intrinsic Lipschitz map and a weak solution to a suitable non linear first order PDE system, which generalizes Lagrangian solution in the context of Heisenberg groups.


title: Exploring D3 Implementation Challenges on Stack Overflow

abstract: Visualization languages help to standardize the process of designing effective visualizations, one of the most prominent being D3. However, few researchers have analyzed at scale how users incorporate these languages into existing visualization programming processes, i.e., implementation workflows. In this paper, we present an analysis of the experiences of D3 users as observed through Stack Overflow, summarizing common D3 implementation workflows and challenges discussed online. Our results show how the visualization community may be limiting its understanding of users' visualization implementation challenges by ignoring the larger context in which languages such as D3 are used. Based on our findings, we suggest new research directions to enhance the user experience with visualization languages. All our data and code are available at: https://osf.io/fup48/.


title: Online Stochastic DCA with applications to Principal Component Analysis

abstract: Stochastic algorithms are well-known for their performance in the era of big data. In convex optimization, stochastic algorithms have been studied in depth and breadth. However, the current body of research on stochastic algorithms for nonsmooth, nonconvex optimization is relatively limited. In this paper, we propose new stochastic algorithms based on DC (Difference of Convex functions) programming and DCA (DC Algorithm) - the backbone of nonconvex, nonsmooth optimization. Since most real-world nonconvex programs fall into the framework of DC programming, our proposed methods can be employed in various situations, in which they confront stochastic nature and nonconvexity simultaneously. The convergence analysis of the proposed algorithms is studied intensively with the help of tools from modern convex analysis and martingale theory. Finally, we study several aspects of the proposed algorithms on an important problem in machine learning: the expected problem in Principal Component Analysis.


title: Extreme values of derivatives of the Riemann zeta function

abstract: It is proved that if $T$ is sufficiently large, then uniformly for all positive integers $\ell \leqslant (\log T) / (\log_2 T)$, we have \begin{equation*} \max_{T\leqslant t\leqslant 2T}\left|\zeta^{(\ell)}\Big(1+it\Big)\right| \geqslant e^{\gamma}\cdot \ell^{\ell}\cdot (\ell+1)^{ -(\ell+1)}\cdot\Big(\log_2 T - \log_3 T + O(1)\Big)^{\ell+1} \,, \end{equation*} where $\gamma$ is the Euler constant. We also establish lower bounds for maximum of $\big|\zeta^{(\ell)}(\sigma+it)\big|$ when $\ell \in \mathbb N $ and $\sigma \in [1/2, \,1)$ are fixed.


title: Exploring Reggeon bound states in strongly-coupled $\mathcal{N}=4$ super Yang-Mills

abstract: The multi-Regge limit of scattering amplitudes in strongly-coupled $\mathcal{N}=4$ super Yang-Mills is described by the large mass limit of a set of thermodynamic Bethe ansatz (TBA) equations. A non-trivial remainder function arises in this setup in certain kinematical regions due to excitations of the TBA equations which appear during the analytic continuation into these kinematical regions. So far, these analytic continuations were carried out on a case-by-case basis for the six- and seven-gluon remainder function. In this note, we show that the set of possible excitations appearing in any analytic continuation in the multi-Regge limit for any number of particles is rather constrained. In particular, we show that the BFKL eigenvalue of any possible Reggeon bound state is a multiple of the two-Reggeon BFKL eigenvalue appearing in the six-gluon case.


title: Tolerance-Guided Policy Learning for Adaptable and Transferrable Delicate Industrial Insertion

abstract: Policy learning for delicate industrial insertion tasks (e.g., PC board assembly) is challenging. This paper considers two major problems: how to learn a diversified policy (instead of just one average policy) that can efficiently handle different workpieces with minimum amount of training data, and how to handle defects of workpieces during insertion. To address the problems, we propose tolerance-guided policy learning. To encourage transferability of the learned policy to different workpieces, we add a task embedding to the policy's input space using the insertion tolerance. Then we train the policy using generative adversarial imitation learning with reward shaping (RS-GAIL) on a variety of representative situations. To encourage adaptability of the learned policy to handle defects, we build a probabilistic inference model that can output the best inserting pose based on failed insertions using the tolerance model. The best inserting pose is then used as a reference to the learned policy. This proposed method is validated on a sequence of IC socket insertion tasks in simulation. The results show that 1) RS-GAIL can efficiently learn optimal policies under sparse rewards; 2) the tolerance embedding can enhance the transferability of the learned policy; 3) the probabilistic inference makes the policy robust to defects on the workpieces.


title: QuantileRK: Solving Large-Scale Linear Systems with Corrupted, Noisy Data

abstract: Measurement data in linear systems arising from real-world applications often suffers from both large, sparse corruptions, and widespread small-scale noise. This can render many popular solvers ineffective, as the least squares solution is far from the desired solution, and the underlying consistent system becomes harder to identify and solve. QuantileRK is a member of the Kaczmarz family of iterative projective methods that has been shown to converge exponentially for systems with arbitrarily large sparse corruptions. In this paper, we extend the analysis to the case where there are not only corruptions present, but also noise that may affect every data point, and prove that QuantileRK converges with the same rate up to an error threshold. We give both theoretical and experimental results demonstrating QuantileRK's strength.


title: Constraining the Orbit and Mass of epsilon Eridani b with Radial Velocities, Hipparcos IAD-Gaia DR2 Astrometry, and Multi-epoch Vortex Coronagraphy Upper Limits

abstract: $\epsilon$~Eridani is a young planetary system hosting a complex multi-belt debris disk and a confirmed Jupiter-like planet orbiting at 3.48 AU from its host star. Its age and architecture are thus reminiscent of the early Solar System. The most recent study of Mawet et al. 2019, which combined radial velocity (RV) data and Ms-band direct imaging upper limits, started to constrain the planet's orbital parameters and mass, but are still affected by large error bars and degeneracies. Here we make use of the most recent data compilation from three different techniques to further refine $\epsilon$~Eridani~b's properties: RVs, absolute astrometry measurements from the Hipparcos~and Gaia~missions, and new Keck/NIRC2 Ms-band vortex coronagraph images. We combine this data in a Bayesian framework. We find a new mass, $M_b$ = $0.66_{-0.09}^{+0.12}$~M$_{Jup}$, and inclination, $i$ = $77.95_{-21.06}^{\circ+28.50}$, with at least a factor 2 improvement over previous uncertainties. We also report updated constraints on the longitude of the ascending node, the argument of the periastron, and the time of periastron passage. With these updated parameters, we can better predict the position of the planet at any past and future epoch, which can greatly help define the strategy and planning of future observations and with subsequent data analysis. In particular, these results can assist the search for a direct detection with JWST and the Nancy Grace Roman Space Telescope's coronagraph instrument (CGI).


title: Dynamical diquarks in the ${\boldsymbol{\gamma^{(\ast)} p\to N(1535)\tfrac{1}{2}^-}}$ transition

abstract: The $\gamma^{(\ast)}+p \to N(1535) \tfrac{1}{2}^-$ transition is studied using a symmetry-preserving regularisation of a vector$\,\otimes\,$vector contact interaction (SCI). The framework employs a Poincar\'e-covariant Faddeev equation to describe the initial and final state baryons as quark+di\-quark composites, wherein the diquark correlations are fully dynamical, interacting with the photon as allowed by their quantum numbers and continually engaging in breakup and recombination as required by the Faddeev kernel. The presence of such correlations owes largely to the mechanisms responsible for the emergence of hadron mass; and whereas the nucleon Faddeev amplitude is dominated by scalar and axial-vector diquark correlations, the amplitude of its parity partner, the $N(1535) \tfrac{1}{2}^-$, also contains sizeable pseudoscalar and vector diquark components. It is found that the $\gamma^{(\ast)}+p \to N(1535) \tfrac{1}{2}^-$ helicity amplitudes and related Dirac and Pauli form factors are keenly sensitive to the relative strengths of these diquark components in the baryon amplitudes, indicating that such resonance electrocouplings possess great sensitivity to baryon structural details. Whilst SCI analyses have their limitations, they also have the virtue of algebraic simplicity and a proven ability to reveal insights that can be used to inform more sophisticated studies in frameworks with closer ties to quantum chromodynamics.


title: Regret Analysis of Learning-Based MPC with Partially-Unknown Cost Function

abstract: The exploration/exploitation trade-off is an inherent challenge in data-driven adaptive control. Though this trade-off has been studied for multi-armed bandits (MAB's) and reinforcement learning for linear systems; it is less well-studied for learning-based control of nonlinear systems. A significant theoretical challenge in the nonlinear setting is that there is no explicit characterization of an optimal controller for a given set of cost and system parameters. We propose the use of a finite-horizon oracle controller with full knowledge of parameters as a reasonable surrogate to optimal controller. This allows us to develop policies in the context of learning-based MPC and MAB's and conduct a control-theoretic analysis using techniques from MPC- and optimization-theory to show these policies achieve low regret with respect to this finite-horizon oracle. Our simulations exhibit the low regret of our policy on a heating, ventilation, and air-conditioning model with partially-unknown cost function.


title: Discovery of benzyne, o-C6H4, in TMC-1 with the QUIJOTE line survey

abstract: We report the detection, for the first time in space, of a new non-functionalised hydrocarbon cycle in the direction of TMC-1: o-C6H4 (ortho-benzyne). We derive a column density for this hydrocarbon cycle of (5 +/- 1)e11 cm-2. The abundance of this species is around 30 times lower than that of cyclopentadiene and indene. We compare the abundance of benzyne with that of other pure hydrocarbons, cycles or chains, and find that it could be formed from neutral-radical reactions such as C2H + CH2CHCCH and C + C5H5, and possibly through C4H + C2H4, C3H + CH2CCH2, and C3H2 + C3H3. Hence, the rich content of hydrocarbon cycles observed in TMC-1 could arise through a bottom-up scenario involving reactions of a few radicals with the abundant hydrocarbons recently revealed by the QUIJOTE line survey.


title: Charge completeness and the massless charge lattice in F-theory models of supergravity

abstract: We prove that, for every 6D supergravity theory that has an F-theory description, the property of charge completeness for the connected component of the gauge group (meaning that all charges in the corresponding charge lattice are realized by massive or massless states in the theory) is equivalent to a standard assumption made in F-theory for how geometry encodes the global gauge theory by means of the Mordell-Weil group of the elliptic fibration. This result also holds in 4D F-theory constructions for the parts of the gauge group that come from sections and from 7-branes. We find that in many 6D F-theory models the full charge lattice of the theory is generated by massless charged states; this occurs for each gauge factor where the associated anomaly coefficient satisfies a simple positivity condition. We describe many of the cases where this massless charge sufficiency condition holds, as well as exceptions where the positivity condition fails, and analyze the related global structure of the gauge group and associated Mordell-Weil torsion in explicit F-theory models.


title: TOI-431/HIP 26013: a super-Earth and a sub-Neptune transiting a bright, early K dwarf, with a third RV planet

abstract: We present the bright (V$_{mag} = 9.12$), multi-planet system TOI-431, characterised with photometry and radial velocities. We estimate the stellar rotation period to be $30.5 \pm 0.7$ days using archival photometry and radial velocities. TOI-431b is a super-Earth with a period of 0.49 days, a radius of 1.28 $\pm$ 0.04 R$_{\oplus}$, a mass of $3.07 \pm 0.35$ M$_{\oplus}$, and a density of $8.0 \pm 1.0$ g cm$^{-3}$; TOI-431d is a sub-Neptune with a period of 12.46 days, a radius of $3.29 \pm 0.09$ R$_{\oplus}$, a mass of $9.90^{+1.53}_{-1.49}$ M$_{\oplus}$, and a density of $1.36 \pm 0.25$ g cm$^{-3}$. We find a third planet, TOI-431c, in the HARPS radial velocity data, but it is not seen to transit in the TESS light curves. It has an $M \sin i$ of $2.83^{+0.41}_{-0.34}$ M$_{\oplus}$, and a period of 4.85 days. TOI-431d likely has an extended atmosphere and is one of the most well-suited TESS discoveries for atmospheric characterisation, while the super-Earth TOI-431b may be a stripped core. These planets straddle the radius gap, presenting an interesting case-study for atmospheric evolution, and TOI-431b is a prime TESS discovery for the study of rocky planet phase curves.


title: Modeling and Control of Large-Scale Adversarial Swarm Engagements

abstract: We theoretically and numerically study the problem of optimal control of large-scale autonomous systems under explicitly adversarial conditions, including probabilistic destruction of agents during the simulation. Large-scale autonomous systems often include an adversarial component, where different agents or groups of agents explicitly compete with one another. An important component of these systems that is not included in current theory or modeling frameworks is random destruction of agents in time. In this case, the modeling and optimal control framework should consider the attrition of agents as well as their position. We propose and test three numerical modeling schemes, where survival probabilities of all agents are smoothly and continuously decreased in time, based on the relative positions of all agents during the simulation. In particular, we apply these schemes to the case of agents defending a high-value unit from an attacking swarm. We show that these models can be successfully used to model this situation, provided that attrition and spatial dynamics are coupled. Our results have relevance to an entire class of adversarial autonomy situations, where the positions of agents and their survival probabilities are both important.


title: Backward Stability of the Schur Canonical Form

abstract: In the present paper, we show the backward stability of the Schur decomposition for a given matrix under small perturbation.


title: BEANNA: A Binary-Enabled Architecture for Neural Network Acceleration

abstract: Modern hardware design trends have shifted towards specialized hardware acceleration for computationally intensive tasks like machine learning and computer vision. While these complex workloads can be accelerated by commercial GPUs, domain-specific hardware is far more optimal when needing to meet the stringent memory, throughput, and power constraints of mobile and embedded devices. This paper proposes and evaluates a Binary-Enabled Architecture for Neural Network Acceleration (BEANNA), a neural network hardware accelerator capable of processing both floating point and binary network layers. Through the use of a novel 16x16 systolic array based matrix multiplier with processing elements that compute both floating point and binary multiply-adds, BEANNA seamlessly switches between high precision floating point and binary neural network layers. Running at a clock speed of 100MHz, BEANNA achieves a peak throughput of 52.8 GigaOps/second when operating in high precision mode, and 820 GigaOps/second when operating in binary mode. Evaluation of BEANNA was performed by comparing a hybrid network with floating point outer layers and binary hidden layers to a network with only floating point layers. The hybrid network accelerated using BEANNA achieved a 194% throughput increase, a 68% memory usage decrease, and a 66% energy consumption decrease per inference, all this at the cost of a mere 0.23% classification accuracy decrease on the MNIST dataset.