title: Excitonic condensation and metal-semiconductor transition in AA bilayer graphene in the external magnetic field

abstract: In this paper, the effects of the external transverse magnetic field $B$ (perpendicular to the surface of the layers) on the electronic and excitonic properties are studied in the AA-stacked bilayer graphene (BLG). The effects of the Coulomb interactions and excitonic pairing have been taken into account and analyzed in detail within the bilayer Hubbard model. Both half-filling and partial filling regimes have been taken into account and the magnetic field dependence of a series of physical parameters was found. It is shown that the difference between the average electron concentrations in the layers vanishes at some critical value of magnetic field $B_{c}$ and the chemical potential is calculated numerically above and below that value. The role of the Coulomb interactions on the average carrier concentrations in the layers has been analyzed, and the excitonic order parameters have been calculated for different spin orientations. We found a possibility for the particle population inversion between the layers when varying the external magnetic field. The calculated electronic band structure in the AA-BLG shows the presence of metal-semiconductor transition, governed by the strength of the applied magnetic field or the interlayer interaction potential. We show that for high magnetic fields the band-gap is approaching the typical values of the gaps in the usual semiconductors. It is demonstrated that, at some parameter regimes, the AA-BLG behaves like a spin-valve device, by permitting the electron transport with only one spin direction. All calculations have been performed at the zero-temperature limit.


title: Investigating the concentration of High Yield Investment Programs in the United Kingdom

abstract: Ponzi schemes that offer absurdly high rates of return by relying on more and more people paying into the scheme have been documented since at least the mid-1800s. Ponzi schemes have shifted online in the Internet age, and some are re-branded as HYIPs or High Yield Investment Programs. This paper focuses on understanding HYIPs' continuous presence and presents various possible reasons behind their existence in today's world. A look into the countries where these schemes purport to exist, we find that 62.89% of all collected HYIPs claim to be in the United Kingdom (UK), and a further 55.56% are officially registered in the UK as a 'limited company' with a registration number provided by the UK Companies House, a UK agency that registers companies. We investigate other factors influencing these schemes, including the HYIPs' social media platforms and payment processors. The lifetime of the HYIPs helps to understand the success/failure of the investment schemes and helps indicate the schemes that could attract more investors. Using Cox proportional regression analysis, we find that having a valid UK address significantly affects the lifetime of an HYIP.


title: Magnetostructural Dependencies in $3d^2$ Systems: The Trigonal Bipyramidal V$^{3+}$ Complex

abstract: We introduce a multi-configurational approach to study the magneto-structural correlations in $3d^2$ systems. The theoretical framework represents a restricted active space self-consistent field method, with active space optimized to the number of all non-bonding orbitals. To demonstrate the validity and effectiveness of the method, we explore the physical properties of the trigonal bipyramidal spin-one single-ion magnet (C$_6$F$_5$)$_3$trenVCN$^t$Bu. The obtained theoretical results show a good agreement with the experimental data available in the literature. This includes measurements for the magnetization, low-field susceptibility, cw-EPR and photoluminescence spectroscopy. The proposed method may be reliably applied to a variety of $3d^2$ magnetic systems. To this end, and for the sake completeness, we provide detailed analytical and numerical representations for the generic Hamiltonian's effective matrix elements related to the crystal field, exchange, spin-orbit and Zeeman interactions.


title: Molecular magnetism in the multi-configurational self-consistent field method

abstract: We develop a structured theoretical framework used in our recent articles [Eur. Phys. J. B 92, 93 (2019) and Phys. Rev. B 101, 094427 (2020)] to characterize the unusual behavior of the magnetic spectrum, magnetization and magnetic susceptibility of the molecular magnet Ni$_4$Mo$_{12}$. The theoretical background is based on the molecular orbital theory in conjunction with the multi-configurational self-consistent field method and results in a post-Hartree-Fock scheme for constructing the corresponding energy spectrum. Furthermore, we construct a bilinear spin-like Hamiltonian involving discrete coupling parameters accounting for the relevant spectroscopic magnetic excitations, magnetization and magnetic susceptibility. The explicit expressions of the eigenenergies of the ensuing Hamiltonian are determined and the physical origin of broadening and splitting of experimentally observed peaks in the magnetic spectra is discussed. To demonstrate the efficiency of our method we compute the spectral properties of a spin-one magnetic dimer. The present approach may be applied to a variety of magnetic units based on transition metals and rare earth elements.


title: Building Information Modeling Using Constraint Logic Programming

abstract: Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction (AEC) industry. Buildings need to be compliant with regulations about stability, safety, and environmental impact. Manual compliance checking is tedious and error-prone, and amending flaws discovered only at construction time causes huge additional costs and delays. Several tools can check BIM models for conformance with rules/guidelines. For example, Singapore's CORENET e-Submission System checks fire safety. But since the current BIM exchange format only contains basic information of building objects, a separate, ad-hoc model pre-processing is required to determine, e.g., evacuation routes. Moreover, they face difficulties in adapting existing built-in rules and/or adding new ones (to cater for building regulations, that can vary not only among countries but also among parts of the same city), if at all possible. We propose the use of logic-based executable formalisms (CLP and Constraint ASP) to couple BIM models with advanced knowledge representation and reasoning capabilities. Previous experience shows that such formalisms can be used to uniformly capture and reason with knowledge (including ambiguity) in a large variety of domains. Additionally, incorporating checking within design tools makes it possible to ensure that models are rule-compliant at every step. This also prevents erroneous designs from having to be (partially) redone, which is also costly and burdensome. To validate our proposal, we implemented a preliminary reasoner under CLP(Q/R) and ASP with constraints and evaluated it with several BIM models. Under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).


title: Regularity of quasigeodesics characterises hyperbolicity

abstract: We characterise hyperbolic groups in terms of quasigeodesics in the Cayley graph forming regular languages. We also obtain a quantitative characterisation of hyperbolicity of geodesic metric spaces by the non-existence of certain local (3,0)-quasigeodesic loops. As an application we make progress towards a question of Shapiro regarding groups admitting a uniquely geodesic Cayley graph.


title: No evidence that the majority of black holes in binaries have zero spin

abstract: The spin properties of merging black holes observed with gravitational waves can offer novel information about the origin of these systems. The magnitude and orientations of black hole spins offer a record of binaries' evolutionary history, encoding information about massive stellar evolution and the astrophysical environments in which binary black holes are assembled. Recent analyses of the binary black hole population have yielded conflicting portraits of the black hole spin distribution. Some work suggests that black hole spins are small but non-zero and exhibit a wide range of misalignment angles relative to binaries' orbital angular momenta. Other work concludes that the majority of black holes are non-spinning while the remainder are rapidly rotating and primarily aligned with their orbits. We revisit these conflicting conclusions, employing a variety of complementary methods to measure the distribution of spin magnitudes and orientations among binary black hole mergers. We find that the existence of a sub-population of black hole with vanishing spins is not required by current data. Should such a sub-population exist, we conclude that it must contain $\lesssim 60\%$ of binaries. Additionally, we find evidence for significant spin-orbit misalignment among the binary black hole population, with some systems exhibiting misalignment angles greater than $90^{\circ}$, and see no evidence for an approximately spin-aligned sub-population.


title: A topological insight into the polar involution of convex sets

abstract: Denote by $\mathcal{K}_0^n$ the family of all closed convex sets $A\subset\mathbb{R}^n$ containing the origin $0\in\mathbb R^n$. For $A\in\mathcal{K}_0^n,$ its polar set is denoted by $A^\circ.$ In this paper, we investigate the topological nature of the polar mapping $A\to A^\circ$ on $(\mathcal{K}_0^n, d_{AW})$, where $d_{AW}$ denotes the Attouch-Wets metric. We prove that $(\mathcal{K}_0^n, d_{AW})$ is homeomorphic to the Hilbert cube $Q=\prod_{i=1}^{\infty}[-1,1]$ and the polar mapping is topologically conjugate with the standard based-free involution $\sigma:Q\rightarrow Q,$ defined by $\sigma(x)=-x$ for all $x\in Q.$ We also prove that among the inclusion-reversing involutions on $\mathcal K^n_0$ (also called dualities), those and only those with a unique fixed point are topologically conjugate with the polar mapping, and they can be characterized as all the maps $f:\mathcal{K}_0^n\to \mathcal{K}_0^n$ of the form $f(A)=T(A^{\circ})$, with $T$ a positive definite linear isomorphism of $\mathbb R^n$.


title: Label-Efficient Self-Supervised Federated Learning for Tackling Data Heterogeneity in Medical Imaging

abstract: The collection and curation of large-scale medical datasets from multiple institutions is essential for training accurate deep learning models, but privacy concerns often hinder data sharing. Federated learning (FL) is a promising solution that enables privacy-preserving collaborative learning among different institutions, but it generally suffers from performance deterioration due to heterogeneous data distributions and a lack of quality labeled data. In this paper, we present a robust and label-efficient self-supervised FL framework for medical image analysis. Our method introduces a novel Transformer-based self-supervised pre-training paradigm that pre-trains models directly on decentralized target task datasets using masked image modeling, to facilitate more robust representation learning on heterogeneous data and effective knowledge transfer to downstream models. Extensive empirical results on simulated and real-world medical imaging non-IID federated datasets show that masked image modeling with Transformers significantly improves the robustness of models against various degrees of data heterogeneity. Notably, under severe data heterogeneity, our method, without relying on any additional pre-training data, achieves an improvement of 5.06%, 1.53% and 4.58% in test accuracy on retinal, dermatology and chest X-ray classification compared to the supervised baseline with ImageNet pre-training. In addition, we show that our federated self-supervised pre-training methods yield models that generalize better to out-of-distribution data and perform more effectively when fine-tuning with limited labeled data, compared to existing FL algorithms. The code is available at https://github.com/rui-yan/SSL-FL.


title: PROLIFIC: Projection-based Test for Lack of Importance of Smooth Functional Effect in Crossover Design

abstract: Wearable devices for continuous monitoring of electronic health increased attention due to their richness in information. Often, inference is drawn from features that quantify some summary of the data, leading to a loss of information that could be useful when one utilizes the functional nature of the response. When functional trajectories are observed repeated over time, it is termed longitudinal functional data. This work is motivated by the interest to assess the efficacy of a noninflammatory medication, meloxicam, on the daily activity levels of household cats with a pre-existing condition of osteoarthritis under a crossover design. These activity profiles are recorded at a minute level by accelerometer over the entire study period. To this aspect, we propose an orthogonal projection-based test pseudo generalized F test for significance of the functional treatment effect under a functional additive crossover model after adjusting for the carryover effect and other baseline covariates. Under mild conditions, we derive the asymptotic null distribution of the test statistic when the projection function for the underlying Hilbert space is estimated from the data. In finite sample numerical studies, the proposed test maintains the size, is powerful to detect the significance of the smooth effect of meloxicam, and is very efficient compared to bootstrap-based alternatives.


title: Probing 7-branes on Orbifolds

abstract: D3 branes in the vicinity of an E6, E7, or E8 stack of 7-branes in flat space are known to host at low energy a famous class of strongly-coupled N = 2 superconformal field theories featuring exceptional global symmetry. What if, instead, the 7-branes wrap an orbifold? We give a systematic characterization of such theories in the case of C2/Zn, and determine their main properties, like global symmetries, spectra of Coulomb-branch operators, and patterns of Higgs-branch flows. We put forward a set of rules to construct their magnetic quivers, which directly generalize what happens in the perturbative case, and later derive them using the duality with M5 branes probing M9 walls.


title: The Power of Fragmentation: A Hierarchical Transformer Model for Structural Segmentation in Symbolic Music Generation

abstract: Symbolic Music Generation relies on the contextual representation capabilities of the generative model, where the most prevalent approach is the Transformer-based model. The learning of musical context is also related to the structural elements in music, i.e. intro, verse, and chorus, which are currently overlooked by the research community. In this paper, we propose a hierarchical Transformer model to learn multi-scale contexts in music. In the encoding phase, we first designed a Fragment Scope Localization layer to syncopate the music into chords and sections. Then, we use a multi-scale attention mechanism to learn note-, chord-, and section-level contexts. In the decoding phase, we proposed a hierarchical Transformer model that uses fine-decoders to generate sections in parallel and a coarse-decoder to decode the combined music. We also designed a Music Style Normalization layer to achieve a consistent music style between the generated sections. Our model is evaluated on two open MIDI datasets, and experiments show that our model outperforms the best contemporary music generative models. More excitingly, the visual evaluation shows that our model is superior in melody reuse, resulting in more realistic music.


title: Diversity and inclusion activities in Belle II

abstract: These proceedings accompany the Belle II talk in the Science in Society parallel session delivered during Lepton Photon 2021. In this talk we present updated membership statistics using 10 years of data with a diversity and inclusion lens, and we present Belle II's most recent activities to aid and improve diversity and inclusion. This report has the intention to bring light to the social working environment and population representation within our collaboration and, by extension, within high energy physics. Belle II is a particle physics collaboration that has over 1000 people from institutions in 26 countries who work together to achieve its physics goals. Belle II is committed to fostering an open, diverse, and inclusive environment; as part of this commitment it created a diversity office to raise awareness of diversity and inclusion issues, promote an inclusive atmosphere within the collaboration, provide a safe and confidential point to contact for collaborators to report any issues, particularly those related to discrimination and harassment, and ensure that persons from underrepresented groups are considered for positions of responsibility within the collaboration. Diversity and inclusion activities and initiatives at Belle II and analysis of the demographics of the collaboration will be presented.


title: Taming Aerial Communication with Flight-assisted Smart Surfaces in 6G Era

abstract: Aerial communication is gradually taking an assertive role within common societal behaviors by means of unmanned aerial vehicles (UAVs), high-altitude platforms (HAPs), and fixed-wing aircrafts (FWAs). Such devices can assist general operations in a diverse set of heterogeneous applications, such as video-surveillance, remote delivery and connectivity provisioning in crowded events and emergency scenarios. Given their increasingly higher technology penetration rate, telco operators started looking at the sky as a new potential direction to enable a three-dimensional (3D) communication paradigm. However, designing flying mobile stations involves addressing a daunting number of challenges, such as an excessive on-board control overhead, variable battery drain and advanced antenna design. To this end, the newly-born Smart Surfaces technology may come to help: reconfigurable intelligent surfaces (RIS) may be flexibly installed on-board to control the terrestrial propagation environment from an elevated viewpoint by involving low-complex and battery-limited solutions. In this paper, we shed light on novel RIS-based use-cases, corresponding requirements, and potential solutions that might be adopted in future aerial communication infrastructures.


title: Search for long-lived particles decaying to a pair of muons in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: An inclusive search for long-lived exotic particles decaying to a pair of muons is presented. The search uses data collected by the CMS experiment at the CERN LHC in proton-proton collisions at $\sqrt{s}$ = 13 TeV in 2016 and 2018 and corresponding to an integrated luminosity of 97.6 fb$^{-1}$. The experimental signature is a pair of oppositely charged muons originating from a common secondary vertex spatially separated from the pp interaction point by distances ranging from several hundred $\mu$m to several meters. The results are interpreted in the frameworks of the hidden Abelian Higgs model, in which the Higgs boson decays to a pair of long-lived dark photons Z$_\mathrm{D}$, and of a simplified model, in which long-lived particles are produced in decays of an exotic heavy neutral scalar boson. For the hidden Abelian Higgs model with $m_\mathrm{Z_D}$ greater than 20 GeV and less than half the mass of the Higgs boson, they provide the best limits to date on the branching fraction of the Higgs boson to dark photons for $c\tau$(Z$_\mathrm{D}$) (varying with $m_\mathrm{Z_D}$) between 0.03 and ${\approx}$ 0.5 mm, and above ${\approx}$ 0.5 m. Our results also yield the best constraints on long-lived particles with masses larger than 10 GeV produced in decays of an exotic scalar boson heavier than the Higgs boson and decaying to a pair of muons.


title: Upper Bounds for Continuous-Time End-to-End Risks in Stochastic Robot Navigation

abstract: We present an analytical method to estimate the continuous-time collision probability of motion plans for autonomous agents with linear controlled Ito dynamics. Motion plans generated by planning algorithms cannot be perfectly executed by autonomous agents in reality due to the inherent uncertainties in the real world. Estimating end-to-end risk is crucial to characterize the safety of trajectories and plan risk optimal trajectories. In this paper, we derive upper bounds for the continuous-time risk in stochastic robot navigation using the properties of Brownian motion as well as Boole and Hunter's inequalities from probability theory. Using a ground robot navigation example, we numerically demonstrate that our method is considerably faster than the naive Monte Carlo sampling method and the proposed bounds perform better than the discrete-time risk bounds.


title: Revealed Incomplete Preferences

abstract: We elicit incomplete preferences over monetary gambles with subjective uncertainty. Subjects rank gambles, and these rankings are used to estimate preferences; payments are based on estimated preferences. About 40\% of subjects express incompleteness, but they do so infrequently. Incompleteness is similar for individuals with precise and imprecise beliefs, and in an environment with objective uncertainty, suggesting that it results from imprecise tastes more than imprecise beliefs. When we force subjects to choose, we observe more inconsistencies and preference reversals. Evidence suggests there is incompleteness that is indirectly revealed -- in up to 98\% of subjects -- in addition to what we directly measure.


title: CV4Code: Sourcecode Understanding via Visual Code Representations

abstract: We present CV4Code, a compact and effective computer vision method for sourcecode understanding. Our method leverages the contextual and the structural information available from the code snippet by treating each snippet as a two-dimensional image, which naturally encodes the context and retains the underlying structural information through an explicit spatial representation. To codify snippets as images, we propose an ASCII codepoint-based image representation that facilitates fast generation of sourcecode images and eliminates redundancy in the encoding that would arise from an RGB pixel representation. Furthermore, as sourcecode is treated as images, neither lexical analysis (tokenisation) nor syntax tree parsing is required, which makes the proposed method agnostic to any particular programming language and lightweight from the application pipeline point of view. CV4Code can even featurise syntactically incorrect code which is not possible from methods that depend on the Abstract Syntax Tree (AST). We demonstrate the effectiveness of CV4Code by learning Convolutional and Transformer networks to predict the functional task, i.e. the problem it solves, of the source code directly from its two-dimensional representation, and using an embedding from its latent space to derive a similarity score of two code snippets in a retrieval setup. Experimental results show that our approach achieves state-of-the-art performance in comparison to other methods with the same task and data configurations. For the first time we show the benefits of treating sourcecode understanding as a form of image processing task.


title: Treatment Choice with Nonlinear Regret

abstract: The literature focuses on the mean of welfare regret, which can lead to undesirable treatment choice due to sensitivity to sampling uncertainty. We propose to minimize the mean of a nonlinear transformation of regret and show that singleton rules are not essentially complete for nonlinear regret. Focusing on mean square regret, we derive closed-form fractions for finite-sample Bayes and minimax optimal rules. Our approach is grounded in decision theory and extends to limit experiments. The treatment fractions can be viewed as the strength of evidence favoring treatment. We apply our framework to a normal regression model and sample size calculation.


title: Physical Unclonable Functions (PUF) for IoT Devices

abstract: Physical Unclonable Function (PUF) has recently attracted interested from both industry and academia as a potential alternative approach to secure Internet of Things (IoT) devices from the more traditional computational based approach using conventional cryptography. PUF is promising solution for lightweight security, where the manufacturing fluctuation process of IC is used to improve the security of IoT as it provides low complexity design and preserves secrecy. It provides less cost of computational resources which prevent high power consumption and can be implemented in both Field Programmable Gate Arrays (FPGA) and Application-Specific Integrated Circuits (ASICs). In this survey we provide a comprehensive review of the state-of-the-art of PUF, its architectures, protocols and security for IoT.


title: Sampling with replacement vs Poisson sampling: a comparative study in optimal subsampling

abstract: Faced with massive data, subsampling is a commonly used technique to improve computational efficiency, and using nonuniform subsampling probabilities is an effective approach to improve estimation efficiency. For computational efficiency, subsampling is often implemented with replacement or through Poisson subsampling. However, no rigorous investigation has been performed to study the difference between the two subsampling procedures such as their estimation efficiency and computational convenience. This paper performs a comparative study on these two different sampling procedures. In the context of maximizing a general target function, we first derive asymptotic distributions for estimators obtained from the two sampling procedures. The results show that the Poisson subsampling may have a higher estimation efficiency. Based on the asymptotic distributions for both subsampling with replacement and Poisson subsampling, we derive optimal subsampling probabilities that minimize the variance functions of the subsampling estimators. These subsampling probabilities further reveal the similarities and differences between subsampling with replacement and Poisson subsampling. The theoretical characterizations and comparisons on the two subsampling procedures provide guidance to select a more appropriate subsampling approach in practice. Furthermore, practically implementable algorithms are proposed based on the optimal structural results, which are evaluated through both theoretical and empirical analyses.


title: Hierarchical Distribution-Aware Testing of Deep Learning

abstract: Deep Learning (DL) is increasingly used in safety-critical applications, raising concerns about its reliability. DL suffers from a well-known problem of lacking robustness, especially when faced with adversarial perturbations known as Adversarial Examples (AEs). Despite recent efforts to detect AEs using advanced attack and testing methods, these approaches often overlook the input distribution and perceptual quality of the perturbations. As a result, the detected AEs may not be relevant in practical applications or may appear unrealistic to human observers. This can waste testing resources on rare AEs that seldom occur during real-world use, limiting improvements in DL model dependability. In this paper, we propose a new robustness testing approach for detecting AEs that considers both the feature level distribution and the pixel level distribution, capturing the perceptual quality of adversarial perturbations. The two considerations are encoded by a novel hierarchical mechanism. First, we select test seeds based on the density of feature level distribution and the vulnerability of adversarial robustness. The vulnerability of test seeds are indicated by the auxiliary information, that are highly correlated with local robustness. Given a test seed, we then develop a novel genetic algorithm based local test case generation method, in which two fitness functions work alternatively to control the perceptual quality of detected AEs. Finally, extensive experiments confirm that our holistic approach considering hierarchical distributions is superior to the state-of-the-arts that either disregard any input distribution or only consider a single (non-hierarchical) distribution, in terms of not only detecting imperceptible AEs but also improving the overall robustness of the DL model under testing.


title: Quantum Transfer Learning for Wi-Fi Sensing

abstract: Beyond data communications, commercial-off-the-shelf Wi-Fi devices can be used to monitor human activities, track device locomotion, and sense the ambient environment. In particular, spatial beam attributes that are inherently available in the 60-GHz IEEE 802.11ad/ay standards have shown to be effective in terms of overhead and channel measurement granularity for these indoor sensing tasks. In this paper, we investigate transfer learning to mitigate domain shift in human monitoring tasks when Wi-Fi settings and environments change over time. As a proof-of-concept study, we consider quantum neural networks (QNN) as well as classical deep neural networks (DNN) for the future quantum-ready society. The effectiveness of both DNN and QNN is validated by an in-house experiment for human pose recognition, achieving greater than 90% accuracy with a limited data size.


title: Kink correlations, domain size distribution, and the emptiness formation probability after the Kibble-Zurek quench in the quantum Ising chain

abstract: Linear quench of the transverse field drives the quantum Ising chain across a quantum critical point from the paramagnetic to the ferromagnetic phase. We focus on normal and anomalous quadratic correlators between fermionic kink creation and annihilation operators. They depend not only on the Kibble-Zurek (KZ) correlation length but also on a dephasing length scale, which differs from the KZ length by a logarithmic correction. Additional slowing down of the ramp in the ferromagnetic phase further increases the dephasing length and suppresses the anomalous correlator. The quadratic correlators enter Pfaffians that yield experimentally relevant kink correlation functions, the probability distribution of ferromagnetic domain sizes, and, closely related, emptiness formation probability. The latter takes the form of a Pfaffian of a block Toeplitz matrix that allows for some analytic asymptotes. Finally, we obtain further insight into the structure of the state at the end of the ramp by interpreting it as a paired state of fermionic kinks characterized by its pair wave function. All those quantities are sensitive to quantum coherence between eigenstates with different numbers of kinks, thus making them a convenient probe of the quantumness of a quantum simulator platform.


title: Deep Neural Network Classifier for Multi-dimensional Functional Data

abstract: We propose a new approach, called as functional deep neural network (FDNN), for classifying multi-dimensional functional data. Specifically, a deep neural network is trained based on the principle components of the training data which shall be used to predict the class label of a future data function. Unlike the popular functional discriminant analysis approaches which rely on Gaussian assumption, the proposed FDNN approach applies to general non-Gaussian multi-dimensional functional data. Moreover, when the log density ratio possesses a locally connected functional modular structure, we show that FDNN achieves minimax optimality. The superiority of our approach is demonstrated through both simulated and real-world datasets.


title: "Potato kugel" for nuclear forces and a small one for acoustic waves

abstract: The "potato kugel" theorem of Aharonov, Schiffer and Zalcman, which concerns an inverse property of harmonic functions, is extended to the settings of the modified Helmholtz and Helmholtz equations that describe nuclear forces and acoustic waves respectively.


title: Bayesian Discrete Conditional Transformation Models

abstract: We propose a novel Bayesian model framework for discrete ordinal and count data based on conditional transformations of the responses. The conditional transformation function is estimated from the data in conjunction with an a priori chosen reference distribution. For count responses, the resulting transformation model is novel in the sense that it is a Bayesian fully parametric yet distribution-free approach that can additionally account for excess zeros with additive transformation function specifications. For ordinal categoric responses, our cumulative link transformation model allows the inclusion of linear and nonlinear covariate effects that can additionally be made category-specific, resulting in (non-)proportional odds or hazards models and more, depending on the choice of the reference distribution. Inference is conducted by a generic modular Markov chain Monte Carlo algorithm where multivariate Gaussian priors enforce specific properties such as smoothness on the functional effects. To illustrate the versatility of Bayesian discrete conditional transformation models, applications to counts of patent citations in the presence of excess zeros and on treating forest health categories in a discrete partial proportional odds model are presented.


title: RARITYNet: Rarity Guided Affective Emotion Learning Framework

abstract: Inspired from the assets of handcrafted and deep learning approaches, we proposed a RARITYNet: RARITY guided affective emotion learning framework to learn the appearance features and identify the emotion class of facial expressions. The RARITYNet framework is designed by combining the shallow (RARITY) and deep (AffEmoNet) features to recognize the facial expressions from challenging images as spontaneous expressions, pose variations, ethnicity changes, and illumination conditions. The RARITY is proposed to encode the inter-radial transitional patterns in the local neighbourhood. The AffEmoNet: affective emotion learning network is proposed by incorporating three feature streams: high boost edge filtering (HBSEF) stream, to extract the edge information of highly affected facial expressive regions, multi-scale sophisticated edge cumulative (MSSEC) stream is to learns the sophisticated edge information from multi-receptive fields and RARITY uplift complementary context feature (RUCCF) stream refines the RARITY-encoded features and aid the MSSEC stream features to enrich the learning ability of RARITYNet.


title: A comonadicity theorem for partial comodules

abstract: We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated in detail. A study of partial representations of linear algebraic groups is initiated; we show that a connected linear algebraic group does not admit partiality.


title: Asymmetric Accidental Composite Dark Matter

abstract: The goal of this work is to find the simplest UV completions of Accidental Composite Dark Matter models that can dynamically generate an asymmetry for the Dark Matter candidate, the lightest dark baryon, and simultaneously annihilate the symmetric component. In this framework Dark Matter is an accidentally stable bound state of a confining $\mathrm{SU}(N)$ gauge group that can interact weakly with the visible sector. The generation of asymmetry for such candidate happens via the out-of-equilibrium decay of two flavors of a heavy scalar $\phi$, with mass $M_\phi > 10^{10}$ GeV. Below such scale, the models recover accidental stability, or long-livedness, of the Dark Matter candidate. The symmetric component is annihilated by residual confined interactions provided that the mass of the dark baryon is < 75 TeV.


title: Deploying self-supervised learning in the wild for hybrid automatic speech recognition

abstract: Self-supervised learning (SSL) methods have proven to be very successful in automatic speech recognition (ASR). These great improvements have been reported mostly based on highly curated datasets such as LibriSpeech for non-streaming End-to-End ASR models. However, the pivotal characteristics of SSL is to be utilized for any untranscribed audio data. In this paper, we provide a full exploration on how to utilize uncurated audio data in SSL from data pre-processing to deploying an streaming hybrid ASR model. More specifically, we present (1) the effect of Audio Event Detection (AED) model in data pre-processing pipeline (2) analysis on choosing optimizer and learning rate scheduling (3) comparison of recently developed contrastive losses, (4) comparison of various pre-training strategies such as utilization of in-domain versus out-domain pre-training data, monolingual versus multilingual pre-training data, multi-head multilingual SSL versus single-head multilingual SSL and supervised pre-training versus SSL. The experimental results show that SSL pre-training with in-domain uncurated data can achieve better performance in comparison to all the alternative out-domain pre-training strategies.


title: A Panorama of Viable $F(R)$ Gravity Dark Energy Models

abstract: In this work we shall study the late-time dynamics of several $F(R)$ gravity models. By appropriately expressing the field equations in terms of the redshift and of a statefinder function, we shall solve numerically the field equations using appropriate physical motivated initial conditions. We consider models which, by construction, are described by a nearly $R^2$-model at early epochs and we fine tune the parameters to achieve viability and compatibility with the latest Planck constraints at late times. Such models provide a unified description of inflation and dark energy era and notably a common feature of all the models is the presence of dark energy oscillations. Furthermore, we show that, in contrast to general relativistic fluids and scalar field descriptions, a large spectrum of different dark energy physics is generated by simple $F(R)$ gravity models, varying from phantom, to nearly de Sitter and to quintessential dark energy eras.


title: Particle Acceleration in Magnetic Reconnection with Ad hoc Pitch-angle Scattering

abstract: Particle acceleration during magnetic reconnection is a long-standing topic in space, solar and astrophysical plasmas. Recent 3D particle-in-cell simulations of magnetic reconnection show that particles can leave flux ropes due to 3D field-line chaos, allowing particles to access additional acceleration sites, gain more energy through Fermi acceleration, and develop a power-law energy distribution. This 3D effect does not exist in traditional 2D simulations, where particles are artificially confined to magnetic islands due to their restricted motions across field lines. Full 3D simulations, however, are prohibitively expensive for most studies. Here, we attempt to reproduce 3D results in 2D simulations by introducing ad hoc pitch-angle scattering to a small fraction of the particles. We show that scattered particles are able to transport out of 2D islands and achieve more efficient Fermi acceleration, leading to a significant increase of energetic particle flux. We also study how the scattering frequency influences the nonthermal particle spectra. This study helps achieve a complete picture of particle acceleration in magnetic reconnection.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph


title: Universal characteristics of deep neural network loss surfaces from random matrix theory

abstract: This paper considers several aspects of random matrix universality in deep neural networks. Motivated by recent experimental work, we use universal properties of random matrices related to local statistics to derive practical implications for deep neural networks based on a realistic model of their Hessians. In particular we derive universal aspects of outliers in the spectra of deep neural networks and demonstrate the important role of random matrix local laws in popular pre-conditioning gradient descent algorithms. We also present insights into deep neural network loss surfaces from quite general arguments based on tools from statistical physics and random matrix theory.


title: MRI-driven dynamo at very high magnetic Prandtl numbers

abstract: The dynamo driven by the magnetorotational instability (MRI) is believed to play an important role in the dynamics of accretion discs and may also explain the origin of the extreme magnetic fields present in magnetars. Its saturation level is an important open question known to be particularly sensitive to the diffusive processes through the magnetic Prandtl number Pm (the ratio of viscosity to resistivity). Despite its relevance to proto-neutron stars and neutron star merger remnants, the numerically challenging regime of high Pm is still largely unknown. Using zero-net flux shearing box simulations in the incompressible approximation, we studied MRI-driven dynamos at unprecedentedly high values of Pm reaching 256. The simulations show that the stress and turbulent energies are proportional to Pm up to moderately high values ($\mathrm{Pm} \sim 50$). At higher Pm, they transition to a new regime consistent with a plateau independent of Pm for $\rm Pm \gtrsim 100$. This trend is independent of the Reynolds number, which may suggest an asymptotic regime where the energy injection and dissipation are independent of the diffusive processes. Interestingly, large values of Pm not only lead to intense small-scale magnetic fields but also to a more efficient dynamo at the largest scales of the box.


title: Variational Quantum Compressed Sensing for Joint User and Channel State Acquisition in Grant-Free Device Access Systems

abstract: This paper introduces a new quantum computing framework integrated with a two-step compressed sensing technique, applied to a joint channel estimation and user identification problem. We propose a variational quantum circuit (VQC) design as a new denoising solution. For a practical grant-free communications system having correlated device activities, variational quantum parameters for Pauli rotation gates in the proposed VQC system are optimized to facilitate to the non-linear estimation. Numerical results show that the VQC method can outperform modern compressed sensing techniques using an element-wise denoiser.


title: Constraints on exotic particle masses from flavor violating charged lepton decays and the role of interference

abstract: Together with any Beyond the Standard Model ultraviolet complete, renormalizable model, one or several exotic particles are usually hypothesized. $C\!P$-even neutral and doubly-charged scalars are common, well known examples which can contribute to the seven 3-body Charged Lepton Flavor Violating decays. The experimental bounds on each Branching Ratio within this set of processes provide a good test for new physics that can induce powerful constraints on relevant parameter spaces. This is specially true for a third species of particle which, unlike the previous two, is a rare feature of renormalizable models: a doubly charged vector bilepton. We show how these purely leptonic bounds can indeed induce relevant exclusion regions for the corresponding particles masses, stronger than what have been considered in the literature for the alternative flavor conserving case, and examine how interference effects can influence these regions in a non-trivial way.


title: OneAligner: Zero-shot Cross-lingual Transfer with One Rich-Resource Language Pair for Low-Resource Sentence Retrieval

abstract: Aligning parallel sentences in multilingual corpora is essential to curating data for downstream applications such as Machine Translation. In this work, we present OneAligner, an alignment model specially designed for sentence retrieval tasks. This model is able to train on only one language pair and transfers, in a cross-lingual fashion, to low-resource language pairs with negligible degradation in performance. When trained with all language pairs of a large-scale parallel multilingual corpus (OPUS-100), this model achieves the state-of-the-art result on the Tateoba dataset, outperforming an equally-sized previous model by 8.0 points in accuracy while using less than 0.6% of their parallel data. When finetuned on a single rich-resource language pair, be it English-centered or not, our model is able to match the performance of the ones finetuned on all language pairs under the same data budget with less than 2.0 points decrease in accuracy. Furthermore, with the same setup, scaling up the number of rich-resource language pairs monotonically improves the performance, reaching a minimum of 0.4 points discrepancy in accuracy, making it less mandatory to collect any low-resource parallel data. Finally, we conclude through empirical results and analyses that the performance of the sentence alignment task depends mostly on the monolingual and parallel data size, up to a certain size threshold, rather than on what language pairs are used for training or evaluation.


title: Multibit Tries Packet Classification with Deep Reinforcement Learning

abstract: High performance packet classification is a key component to support scalable network applications like firewalls, intrusion detection, and differentiated services. With ever increasing in the line-rate in core networks, it becomes a great challenge to design a scalable and high performance packet classification solution using hand-tuned heuristics approaches. In this paper, we present a scalable learning-based packet classification engine and its performance evaluation. By exploiting the sparsity of ruleset, our algorithm uses a few effective bits (EBs) to extract a large number of candidate rules with just a few of memory access. These effective bits are learned with deep reinforcement learning and they are used to create a bitmap to filter out the majority of rules which do not need to be full-matched to improve the online system performance. Moreover, our EBs learning-based selection method is independent of the ruleset, which can be applied to varying rulesets. Our multibit tries classification engine outperforms lookup time both in worst and average case by 55% and reduce memory footprint, compared to traditional decision tree without EBs.


title: Scientific Computing Plan for the ECCE Detector at the Electron Ion Collider

abstract: The Electron Ion Collider (EIC) is the next generation of precision QCD facility to be built at Brookhaven National Laboratory in conjunction with Thomas Jefferson National Laboratory. There are a significant number of software and computing challenges that need to be overcome at the EIC. During the EIC detector proposal development period, the ECCE consortium began identifying and addressing these challenges in the process of producing a complete detector proposal based upon detailed detector and physics simulations. In this document, the software and computing efforts to produce this proposal are discussed; furthermore, the computing and software model and resources required for the future of ECCE are described.

categories: physics.ins-det hep-ex nucl-ex physics.comp-ph


title: All-Photonic Artificial Neural Network Processor Via Non-linear Optics

abstract: Optics and photonics has recently captured interest as a platform to accelerate linear matrix processing, that has been deemed as a bottleneck in traditional digital electronic architectures. In this paper, we propose an all-photonic artificial neural network processor wherein information is encoded in the amplitudes of frequency modes that act as neurons. The weights among connected layers are encoded in the amplitude of controlled frequency modes that act as pumps. Interaction among these modes for information processing is enabled by non-linear optical processes. Both the matrix multiplication and element-wise activation functions are performed through coherent processes, enabling the direct representation of negative and complex numbers without the use of detectors or digital electronics. Via numerical simulations, we show that our design achieves a performance commensurate with present-day state-of-the-art computational networks on image-classification benchmarks. Our architecture is unique in providing a completely unitary, reversible mode of computation. Additionally, the computational speed increases with the power of the pumps to arbitrarily high rates, as long as the circuitry can sustain the higher optical power.


title: Bagged Polynomial Regression and Neural Networks

abstract: Series and polynomial regression are able to approximate the same function classes as neural networks. However, these methods are rarely used in practice, although they offer more interpretability than neural networks. In this paper, we show that a potential reason for this is the slow convergence rate of polynomial regression estimators and propose the use of bagged polynomial regression (BPR) as an attractive alternative to neural networks. Theoretically, we derive new finite sample and asymptotic $L^2$ convergence rates for series estimators. We show that the rates can be improved in smooth settings by splitting the feature space and generating polynomial features separately for each partition. Empirically, we show that our proposed estimator, the BPR, can perform as well as more complex models with more parameters. Our estimator also performs close to state-of-the-art prediction methods in the benchmark MNIST handwritten digit dataset.


title: Complexity Measures for Quantifying Changes in Electroencephalogram in Alzheimers Disease

abstract: Alzheimers disease (AD) is a progressive disorder that affects cognitive brain functions and starts many years before its clinical manifestations. A biomarker that provides a quantitative measure of changes in the brain due to AD in the early stages would be useful for early diagnosis of AD, but this would involve dealing with large numbers of people because up to 50% of dementia sufferers do not receive a formal diagnosis. Thus, there is a need for accurate, low-cost, and easy-to-use biomarkers that could be used to detect AD in its early stages. Potentially, electroencephalogram (EEG) based biomarkers can play a vital role in early diagnosis of AD as they can fulfill these needs. This is a cross-sectional study that aims to demonstrate the usefulness of EEG complexity measures in early AD diagnosis. We have focused on the three complexity methods which have shown the greatest promise in the detection of AD, Tsallis entropy (TsEn), Higuchi Fractal Dimension (HFD), and Lempel-Ziv complexity (LZC) methods. Unlike previous approaches, in this study, the complexity measures are derived from EEG frequency bands (instead of the entire EEG) as EEG activities have significant association with AD and this has led to enhanced performance. The results show that AD patients have significantly lower TsEn, HFD, and LZC values for specific EEG frequency bands and for specific EEG channels and that this information can be used to detect AD with a sensitivity and specificity of more than 90%.


title: Learning to Learn Quantum Turbo Detection

abstract: This paper investigates a turbo receiver employing a variational quantum circuit (VQC). The VQC is configured with an ansatz of the quantum approximate optimization algorithm (QAOA). We propose a 'learning to learn' (L2L) framework to optimize the turbo VQC decoder such that high fidelity soft-decision output is generated. Besides demonstrating the proposed algorithm's computational complexity, we show that the L2L VQC turbo decoder can achieve an excellent performance close to the optimal maximum-likelihood performance in a multiple-input multiple-output system.


title: A New Proof of the Equivalence of Weak and Viscosity Solutions to the Homogeneous $\texttt{p}(\cdot)$-Laplacian in $\mathbb{R}^n$

abstract: We present a new proof for the equivalence of potential theoretic weak solutions and viscosity solutions to the $\texttt{p}(\cdot)$-Laplace equation in $\mathbb{R}^n$. The proof of the equivalence in the variable exponent case in Euclidean space was first given by Juutinen, Lukkari, and Parviainen (2010) and extended the equivalence of potential theoretic weak solutions and viscosity solutions to the $\texttt{p}$-Laplace equation in $\mathbb{R}^n$, given by Juutinen, Lindqvist, and Manfredi (2001). In both the fixed exponent case and the variable exponent case, the main argument is based on the maximum principle for semicontinuous functions, several approximations, and also applied the full uniqueness machinery of the theory of viscosity solutions. This paper extends the approach of Julin and Juutinen (2012) for the fixed exponent case, and so we employ infimal convolutions to present a direct, new proof for the equivalence of potential theoretic weak solutions and viscosity solutions to the $\texttt{p}(\cdot)$-Laplace equation in $\mathbb{R}^n$.


title: Fast and accurate method for computing non-smooth solutions to constrained control problems

abstract: Introducing flexibility in the time-discretisation mesh can improve convergence and computational time when solving differential equations numerically, particularly when the solutions are discontinuous, as commonly found in control problems with constraints. State-of-the-art methods use fixed mesh schemes, which cannot achieve superlinear convergence in the presence of non-smooth solutions. In this paper, we propose using a flexible mesh in an integrated residual method. The locations of the mesh nodes are introduced as decision variables, and constraints are added to set upper and lower bounds on the size of the mesh intervals. We compare our approach to a uniform fixed mesh on a real-world satellite reorientation example. This example demonstrates that the flexible mesh enables the solver to automatically locate the discontinuities in the solution, has superlinear convergence and faster solve times, while achieving the same accuracy as a fixed mesh.


title: Well Posedness of Utility Maximization Problems Under Partial Information in a Market with Gaussian Drift

abstract: This paper investigates well posedness of utility maximization problems for financial markets where stock returns depend on a hidden Gaussian mean reverting drift process. Since that process is potentially unbounded, well posedness cannot be guaranteed for utility functions which are not bounded from above. For power utility with relative risk aversion smaller than those of log-utility this leads to restrictions on the choice of model parameters such as the investment horizon and parameters controlling the variance of the asset price and drift processes. We derive sufficient conditions to the model parameters leading to bounded maximum expected utility of terminal wealth for models with full and partial information.


title: Towards Robust Low Light Image Enhancement

abstract: In this paper, we study the problem of making brighter images from dark images found in the wild. The images are dark because they are taken in dim environments. They suffer from color shifts caused by quantization and from sensor noise. We don't know the true camera reponse function for such images and they are not RAW. We use a supervised learning method, relying on a straightforward simulation of an imaging pipeline to generate usable dataset for training and testing. On a number of standard datasets, our approach outperforms the state of the art quantitatively. Qualitative comparisons suggest strong improvements in reconstruction accuracy.


title: Cyclic Proofs, Hypersequents, and Transitive Closure Logic

abstract: We propose a cut-free cyclic system for Transitive Closure Logic (TCL) based on a form of hypersequents, suitable for automated reasoning via proof search. We show that previously proposed sequent systems are cut-free incomplete for basic validities from Kleene Algebra (KA) and Propositional Dynamic Logic (PDL), over standard translations. On the other hand, our system faithfully simulates known cyclic systems for KA and PDL, thereby inheriting their completeness results. A peculiarity of our system is its richer correctness criterion, exhibiting 'alternating traces' and necessitating a more intricate soundness argument than for traditional cyclic proofs.


title: Relations between $\pi$ and the golden ratio $\phi$ in the form of Bailey-Borwein-Plouffe-type formulas

abstract: We provide a family of expressions of $\pi$ in terms of the golden ratio $\phi$ in the same spirit of the formula obtained by Bailey, Borwein and Plouffe for $\pi$. Connection with cyclotomic polynomials is outlined.


title: A binomial formula for evaluating integrals

abstract: In this paper we present a special formula for transforming integrals to series. The resulting series involves binomial transforms with the Taylor coefficients of the integrand. Five applications are provided for evaluating challenging integrals.


title: A graph representation of molecular ensembles for polymer property prediction

abstract: Synthetic polymers are versatile and widely used materials. Similar to small organic molecules, a large chemical space of such materials is hypothetically accessible. Computational property prediction and virtual screening can accelerate polymer design by prioritizing candidates expected to have favorable properties. However, in contrast to organic molecules, polymers are often not well-defined single structures but an ensemble of similar molecules, which poses unique challenges to traditional chemical representations and machine learning approaches. Here, we introduce a graph representation of molecular ensembles and an associated graph neural network architecture that is tailored to polymer property prediction. We demonstrate that this approach captures critical features of polymeric materials, like chain architecture, monomer stoichiometry, and degree of polymerization, and achieves superior accuracy to off-the-shelf cheminformatics methodologies. While doing so, we built a dataset of simulated electron affinity and ionization potential values for >40k polymers with varying monomer composition, stoichiometry, and chain architecture, which may be used in the development of other tailored machine learning approaches. The dataset and machine learning models presented in this work pave the path toward new classes of algorithms for polymer informatics and, more broadly, introduce a framework for the modeling of molecular ensembles.


title: Modeling Stellar Surface Features on Subgiant Star with an M-dwarf Companion

abstract: Understanding magnetic activity on the surface of stars other than the Sun is important for exoplanet analyses to properly characterize an exoplanet's atmosphere and to further characterize stellar activity on a wide range of stars. Modeling stellar surface features of a variety of spectral types and rotation rates are key to understanding of the magnetic activity of these stars. Using data from Kepler, we use the starspot modeling program STarSPot (STSP) to measure the position and size of spots for KOI-340 which is an eclipsing binary consisting of a subgiant star ($\rm T_{\rm eff} = 5593 \pm 27 K; R_{*} = 1.98 \pm 0.05 R_{\odot}$) with an M-dwarf companion ($M_{*} = 0.214 \pm 0.006 M_{\odot}$). STSP uses a novel technique to measure the spot positions and radii by using the transiting secondary to study and model individual active regions on the stellar surface using high-precision photometry. We find the average size of spot features on KOI-340's primary is $\sim$10% the radius of the star, i.e. two times larger than the mean size of Solar-maximum sunspots. The spots on KOI-340 are present at every longitude and show possible signs of differential rotation. The minimum fractional spotted area of KOI-340's primary is $2\substack{+12\\ -2} \%$ while the spotted area of the Sun is at most 0.2%. One transit of KOI-340 shows a signal in the transit consistent with a plage; this plage occurs right before a dark spot indicating the plage and spot might be co-located on the surface of the star.


title: Geographical Distance Is The New Hyperparameter: A Case Study Of Finding The Optimal Pre-trained Language For English-isiZulu Machine Translation

abstract: Stemming from the limited availability of datasets and textual resources for low-resource languages such as isiZulu, there is a significant need to be able to harness knowledge from pre-trained models to improve low resource machine translation. Moreover, a lack of techniques to handle the complexities of morphologically rich languages has compounded the unequal development of translation models, with many widely spoken African languages being left behind. This study explores the potential benefits of transfer learning in an English-isiZulu translation framework. The results indicate the value of transfer learning from closely related languages to enhance the performance of low-resource translation models, thus providing a key strategy for low-resource translation going forward. We gathered results from 8 different language corpora, including one multi-lingual corpus, and saw that isiXhosa-isiZulu outperformed all languages, with a BLEU score of 8.56 on the test set which was better from the multi-lingual corpora pre-trained model by 2.73. We also derived a new coefficient, Nasir's Geographical Distance Coefficient (NGDC) which provides an easy selection of languages for the pre-trained models. NGDC also indicated that isiXhosa should be selected as the language for the pre-trained model.


title: Solving optimal control of rigid-body dynamics with collisions using the hybrid minimum principle

abstract: Collisions are common in many dynamical systems with real applications. They can be formulated as hybrid dynamical systems with discontinuities automatically triggered when states transverse certain manifolds. We present an algorithm for the optimal control problem of such hybrid dynamical systems based on solving the equations derived from the hybrid minimum principle (HMP). The algorithm is an iterative scheme following the spirit of the method of successive approximations (MSA), and it is robust to undesired collisions observed in the initial guesses. We analyze the discontinuities in the system and propose a stable collision condition, which is crucial for the convergence of iterative algorithms in systems experiencing collisions. Subsequently, we establish a convergence theorem demonstrating linear convergence for the MSA algorithm when collisions are present. We also address several numerical challenges introduced by the discontinuities. The algorithm is tested on disc collision problems whose optimal solutions exhibit one or multiple collisions. Linear convergence in terms of iteration steps and asymptotic first-order accuracy in terms of time discretization are observed when the algorithm is implemented with the forward-Euler scheme. The numerical results demonstrate that the proposed algorithm has better accuracy and convergence than direct methods based on gradient descent. Furthermore, the algorithm is also simpler, more accurate, and more stable than a deep reinforcement learning method.


title: Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

abstract: We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of \'etale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin-Tyomkin.


title: Fredholm topology and enumerative geometry: reflections on some words of Michael Atiyah

abstract: The first part of this article is a short and selective survey of developments in differential and algebraic geometry from the 1980's involving enumerative questions and nonlinear elliptic partial differential equations. In the second part we discuss possible extensions of these ideas to structures on 4-manifolds, in particular to complex structures on surfaces of general type


title: Generic and Trend-aware Curriculum Learning for Relation Extraction in Graph Neural Networks

abstract: We present a generic and trend-aware curriculum learning approach for graph neural networks. It extends existing approaches by incorporating sample-level loss trends to better discriminate easier from harder samples and schedule them for training. The model effectively integrates textual and structural information for relation extraction in text graphs. Experimental results show that the model provides robust estimations of sample difficulty and shows sizable improvement over the state-of-the-art approaches across several datasets.


title: Integrability of vector fields and meromorphic solutions

abstract: Let $\mathcal{F}$ be a foliation defined on a complex projective manifold $M$ of dimension $n$ and admitting a holomorphic vector field $X$ tangent to it along some non-empty Zariski-open set. In this paper we prove that if $X$ has sufficiently many integral curves that are given by meromorphic functions defined on $\mathbb{C}$ then the restriction of $\mathcal{F}$ to any invariant complex $2$-dimensional analytic set admits a first integral of Liouvillean type. In particular, on $\mathbb{C}^3$, every rational vector fields whose solutions are meromorphic functions defined on $\mathbb{C}$ admits a non-empty invariant analytic set of dimension $2$ where the restriction of the vector field yields a Liouvillean integrable foliation.


title: Optimal nonparametric testing of Missing Completely At Random, and its connections to compatibility

abstract: Given a set of incomplete observations, we study the nonparametric problem of testing whether data are Missing Completely At Random (MCAR). Our first contribution is to characterise precisely the set of alternatives that can be distinguished from the MCAR null hypothesis. This reveals interesting and novel links to the theory of Fr\'echet classes (in particular, compatible distributions) and linear programming, that allow us to propose MCAR tests that are consistent against all detectable alternatives. We define an incompatibility index as a natural measure of ease of detectability, establish its key properties, and show how it can be computed exactly in some cases and bounded in others. Moreover, we prove that our tests can attain the minimax separation rate according to this measure, up to logarithmic factors. Our methodology does not require any complete cases to be effective, and is available in the R package MCARtest.


title: Mechanized Analysis of Anselm's Modal Ontological Argument

abstract: We use a mechanized verification system, PVS, to examine the argument from Anselm's Proslogion Chapter III, the so-called "Modal Ontological Argument." We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of computational philosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning. This is a minor update with better typesetting and some small addenda to a paper published in the International Journal for Philosophy of Religion, vol. 89, pp. 135--152, April 2021.


title: Mass Testing and Characterization of 20-inch PMTs for JUNO

abstract: Main goal of the JUNO experiment is to determine the neutrino mass ordering using a 20kt liquid-scintillator detector. Its key feature is an excellent energy resolution of at least 3 % at 1 MeV, for which its instruments need to meet a certain quality and thus have to be fully characterized. More than 20,000 20-inch PMTs have been received and assessed by JUNO after a detailed testing program which began in 2017 and elapsed for about four years. Based on this mass characterization and a set of specific requirements, a good quality of all accepted PMTs could be ascertained. This paper presents the performed testing procedure with the designed testing systems as well as the statistical characteristics of all 20-inch PMTs intended to be used in the JUNO experiment, covering more than fifteen performance parameters including the photocathode uniformity. This constitutes the largest sample of 20-inch PMTs ever produced and studied in detail to date, i.e. 15,000 of the newly developed 20-inch MCP-PMTs from Northern Night Vision Technology Co. (NNVT) and 5,000 of dynode PMTs from Hamamatsu Photonics K. K.(HPK).


title: Positivity of minuscule quantum K-theory

abstract: We prove that the Schubert structure constants of the quantum $K$-theory ring of any minuscule flag variety or quadric hypersurface have signs that alternate with codimension. We also prove that the powers of the deformation parameter $q$ that occur in the product of two Schubert classes in the quantum cohomology or quantum $K$-theory ring of a cominuscule flag variety form an integer interval. Our proofs are based on several new results, including an explicit description of the most general non-empty intersection of two Schubert varieties in an arbitrary flag manifold, and a computation of the cohomology groups of any negative line bundle restricted to a Richardson variety in a cominuscule flag variety. We also give a type-uniform proof of the quantum-to-classical theorem, which asserts that the (3-point, genus 0) Gromov-Witten invariants of any cominuscule flag variety are classical triple-intersection numbers on an associated flag variety. Finally, we prove several new results about the geometry and combinatorics related to this theorem.


title: Atiyah's work on holomorphic vector bundles and gauge theories

abstract: This article is a review of parts of Atiyah's work, mainly from the periods 1952-1958 and 1976-1990.


title: DPO: Dynamic-Programming Optimization on Hybrid Constraints

abstract: In Bayesian inference, the most probable explanation (MPE) problem requests a variable instantiation with the highest probability given some evidence. Since a Bayesian network can be encoded as a literal-weighted CNF formula $\varphi$, we study Boolean MPE, a more general problem that requests a model $\tau$ of $\varphi$ with the highest weight, where the weight of $\tau$ is the product of weights of literals satisfied by $\tau$. It is known that Boolean MPE can be solved via reduction to (weighted partial) MaxSAT. Recent work proposed DPMC, a dynamic-programming model counter that leverages graph-decomposition techniques to construct project-join trees. A project-join tree is an execution plan that specifies how to conjoin clauses and project out variables. We build on DPMC and introduce DPO, a dynamic-programming optimizer that exactly solves Boolean MPE. By using algebraic decision diagrams (ADDs) to represent pseudo-Boolean (PB) functions, DPO is able to handle disjunctive clauses as well as XOR clauses. (Cardinality constraints and PB constraints may also be compactly represented by ADDs, so one can further extend DPO's support for hybrid inputs.) To test the competitiveness of DPO, we generate random XOR-CNF formulas. On these hybrid benchmarks, DPO significantly outperforms MaxHS, UWrMaxSat, and GaussMaxHS, which are state-of-the-art exact solvers for MaxSAT.


title: Classification as Direction Recovery: Improved Guarantees via Scale Invariance

abstract: Modern algorithms for binary classification rely on an intermediate regression problem for computational tractability. In this paper, we establish a geometric distinction between classification and regression that allows risk in these two settings to be more precisely related. In particular, we note that classification risk depends only on the direction of the regressor, and we take advantage of this scale invariance to improve existing guarantees for how classification risk is bounded by the risk in the intermediate regression problem. Building on these guarantees, our analysis makes it possible to compare algorithms more accurately against each other and suggests viewing classification as unique from regression rather than a byproduct of it. While regression aims to converge toward the conditional expectation function in location, we propose that classification should instead aim to recover its direction.


title: Frank Wolfe Meets Metric Entropy

abstract: The Frank-Wolfe algorithm has seen a resurgence in popularity due to its ability to efficiently solve constrained optimization problems in machine learning and high-dimensional statistics. As such, there is much interest in establishing when the algorithm may possess a "linear" $O(\log(1/\epsilon))$ dimension-free iteration complexity comparable to projected gradient descent. In this paper, we provide a general technique for establishing domain specific and easy-to-estimate lower bounds for Frank-Wolfe and its variants using the metric entropy of the domain. Most notably, we show that a dimension-free linear upper bound must fail not only in the worst case, but in the \emph{average case}: for a Gaussian or spherical random polytope in $\mathbb{R}^d$ with $\mathrm{poly}(d)$ vertices, Frank-Wolfe requires up to $\tilde\Omega(d)$ iterations to achieve a $O(1/d)$ error bound, with high probability. We also establish this phenomenon for the nuclear norm ball. The link with metric entropy also has interesting positive implications for conditional gradient algorithms in statistics, such as gradient boosting and matching pursuit. In particular, we show that it is possible to extract fast-decaying upper bounds on the excess risk directly from an analysis of the underlying optimization procedure.


title: QED in $\bar B \to \bar K \ell^+\ell^-$ LFU ratios: Theory versus Experiment, a Monte Carlo Study

abstract: Using analytic results obtained in a meson effective theory, that includes all infrared sensitive logs, we build a dedicated Monte Carlo framework to describe QED corrections in $\bar B \to \bar K \ell^+\ell^-$ for a generic form factor. For the neutral mode $\bar B^0 \to \bar K^0 \ell^+\ell^-$, we perform a detailed numerical comparison versus those obtained with the general-purpose photon-shower tool PHOTOS. The comparison indicates a good agreement, at the few per-mil level, when focusing on the rare mode only. In addition, our framework allows us to investigate the impact of the charmonium resonances. Interference effects, not described by PHOTOS in the experimental analysis, are found to be small in the dilepton invariant mass region $q^2 < 6 \textrm{GeV}^2$, which is used to determine $R_{K^{(*)}}$. Using a semi-analytic framework we assess the full, rare and resonant, mode. Based thereupon, we discuss strategies to check the subtraction of the resonant mode, which has a sizeable impact at $q^2 \approx 6 \textrm{GeV}^2$ in the electron mode.


title: Boundaries control active channel flows

abstract: Boundary conditions dictate how fluids, including liquid crystals, flow when pumped through a channel. Can boundary conditions also be used to control internally driven active fluids that generate flows spontaneously? By using numerical simulations and stability analysis we explore how surface anchoring of active agents at the boundaries and substrate drag can be used to rectify coherent flow of an active polar fluid in a 2D channel. Upon increasing activity, a succession of dynamical states is obtained, from laminar flow to vortex arrays to eventual turbulence, that are controlled by the interplay between the hydrodynamic screening length and the extrapolation length quantifying the anchoring strength of the orientational order parameter. We highlight the key role of symmetry in both flow and order and show that coherent laminar flow with net throughput is only possible for weak anchoring and intermediate activity. Our work demonstrates the possibility of controlling the nature and properties of active flows in a channel simply by patterning the confining boundaries.


title: A proposed network of Gamma-ray Burst detectors on the Global Navigation Satellite System Galileo G2

abstract: The accurate localization of gamma-ray bursts remains a crucial task. While historically, improved localization have led to the discovery of afterglow emission and the realization of their cosmological distribution via redshift measurements, a more recent requirement comes with the potential of studying the kilonovae of neutron star mergers. Gravitational wave detectors are expected to provide locations to not better than 10 square degrees over the next decade. With their increasing horizon for merger detections also the intensity of the gamma-ray and kilonova emission drops, making their identification in large error boxes a challenge. Thus, a localization via the gamma-ray emission seems to be the best chance to mitigate this problem. Here we propose to equip some of the second generation Galileo satellites with dedicated GRB detectors. This saves costs for launches and satellites for a dedicated GRB network, the large orbital radius is beneficial for triangulation, and perfect positional and timing accuracy come for free. We present simulations of the triangulation accuracy, demonstrating that short GRBs as faint as GRB 170817A can be localized to 1 degree radius (1 sigma).


title: Quasiparticle self-consistent $GW$ band structures and phase transitions of LiAlO$_2$ in tetrahedrally and octahedrally coordinated structures

abstract: A first-principles computational study is presented of various phases of LiAlO$_2$.The $\beta$ and $\gamma$ tetrahedral phases are found to be very close in energy with the $\gamma$ phase having the lowest energy. The octahedral $\alpha$ phase is a high-pressure phase and the transition pressure from the $\gamma$ and $\beta$ phases to $\alpha$ is determined to be about 1 GPa. The electronic band structures are determined using the quasiparticle self-consistent (QS) $GW$ method. The effective masses of the band edges and the nature of the band gaps are presented. The lowest energy $\gamma$ phase is found to have a pseudodirect gap of 7.69 eV. The gap is direct at $\Gamma$ but corresponds to a dipole forbidden transition. The imaginary part of the dielectric function and the absorption coefficient are calculated in the long-wavelength limit and the random phase approximation, without local field or electron-hole interaction effects for each phase and their anisotropies are discussed. Si doping on the Al site is investigated as a possible $n$-type dopant in $\gamma$-LiAlO$_2$ using a 128 atom supercell corresponding to 3.125 \% Si on the Al sublattice in the generalized gradient approximation and a smaller 16 atom cell with 25 \% Si in the QS$GW$ approximation. The Si is found to significantly perturb the conduction band and lower the gap but a clearly separated deep donor defect level is not found. However, the donor binding energy is still expected to be relatively deep, of order a few 0.1 eV in the hydrogenic effective mass approximation.


title: The ADHM construction of Yang-Mills instantons

abstract: This is an expository article on the 1978 Atiyah-Drinfeld-Hitchin-Manin construction of Yang-Mills instanton connections over the 4-sphere.


title: A General Measure of Collision Hazard in Traffic

abstract: A collision hazard measure that has the essential characteristics to provide a measurement of safety that will be useful to AV developers, traffic infrastructure developers and managers, regulators and the public is introduced here. The Streetscope Collision Hazard Measure (SHM) overcomes the limitations of existing measures, and provides an independent leading indication of safety. * Trailing indicators, such as collision statistics, incur pain and loss on society, and are not an ethically acceptable approach. * Near-misses have been shown to be effective predictors of incidents. * Time-to-Collision (TTC) provides ambiguous indication of collision hazards, and requires assumptions about vehicle behavior. * Responsibility-Sensitive Safety (RSS), because of its reliance on rules for individual circumstances, will not scale up to handle the complexities of traffic. * Instantaneous Safety Metric (ISM) relies on probabilistic predictions of behaviors to categorize events (possible, imminent, critical), and does not provide a quantitative measure of the severity of the hazard. * Inertial Measurement Unit (IMU) acceleration data is not correlated with hazard or risk. * A new measure, based on the concept of near-misses, that incorporates both proximity (separation distance) and motion (relative speed) is introduced. * Near-miss data has been shown to be predictive of the likelihood and severity of incidents. The new measure presented here gathers movement data about vehicles continuously and a quantitative score reflecting the hazard encountered or created (from which the riskiness or safeness of the behavior of vehicles can be estimated) is computed nearly continuously.


title: An Integrated Approach for Energy Efficient Handover and Key Distribution Protocol for Secure NC-enabled Small Cells

abstract: Future wireless networks must serve dense mobile networks with high data rates, keeping energy requirements to a possible minimum. The small cell-based network architecture and device-to-device (D2D) communication are already being considered part of 5G networks and beyond. In such environments, network coding (NC) can be employed to achieve both higher throughput and energy efficiency. However, NC-enabled systems need to address security challenges specific to NC, such as pollution attacks. All integrity schemes against pollution attacks generally require proper key distribution and management to ensure security in a mobile environment. Additionally, the mobility requirements in small cell environments are more challenging and demanding in terms of signaling overhead. This paper proposes a blockchain-assisted key distribution protocol tailored for MAC-based integrity schemes, which combined with an uplink reference signal (UL RS) handover mechanism, enables energy efficient secure NC. The performance analysis of the protocol during handover scenarios indicates its suitability for ensuring high level of security against pollution attacks in dense small cell environments with multiple adversaries being present. Furthermore, the proposed scheme achieves lower bandwidth and signaling overhead during handover compared to legacy schemes and the signaling cost reduces significantly as the communication progresses, thus enhancing the network's cumulative energy efficiency.


title: The Energy Complexity of Las Vegas Leader Election

abstract: We consider the time and energy complexities of randomized leader election in a multiple-access channel, where the number of devices $n\geq 2$ is unknown. It is well-known that for polynomial-time randomized leader election algorithms with success probability $1-1/poly(n)$, the optimal energy complexity is $\Theta(\log\log^*n)$ if receivers can detect collisions, and $\Theta(\log^*n)$ otherwise. Without collision detection, all existing randomized leader election algorithms using $o(\log\log n)$ energy are Monte Carlo in that they may fail with some small probability, and they may consume unbounded energy and never halt when they fail. Though the optimal energy complexity of leader election appears to be settled, it is still an open question to attain the optimal $O(\log^*n)$ energy complexity by an efficient Las Vegas algorithm that never fails. In this paper we address this fundamental question. $\textbf{Separation between Monte Carlo and Las Vegas:}$ Without collision detection, we prove that any Las Vegas leader election algorithm with finite expected time complexity must use $\Omega(\log\log n)$ energy, establishing a large separation between Monte Carlo and Las Vegas algorithms. $\textbf{Exponential improvement with sender collision detection:}$ In the setting where senders can detect collisions, we design a new leader election algorithm that finishes in $O(\log^{1+\epsilon}n)$ time and uses $O(\epsilon^{-1}\log\log\log n)$ energy in expectation, showing that sender collision detection helps improve the energy complexity exponentially. $\textbf{Optimal deterministic leader election algorithm:}$ As a side result, via derandomization, we show a new deterministic algorithm that takes $O(n\log(N/n))$ time and $O(\log(N/n))$ energy to elect a leader from $n$ devices, where each device has a unique identifier in $[N]$. This algorithm is time-optimal and energy-optimal.


title: Targeted learning: Towards a future informed by real-world evidence

abstract: The 21st Century Cures Act of 2016 includes a provision for the U.S. Food and Drug Administration (FDA) to evaluate the potential use of real-world evidence (RWE) to support new indications for use for previously approved drugs, and to satisfy post-approval study requirements. Extracting reliable evidence from real-world data (RWD) is often complicated by a lack of treatment randomization, potential intercurrent events, and informative loss to follow up. Targeted Learning (TL) is a sub-field of statistics that provides a rigorous framework to help address these challenges. The TL Roadmap offers a step-by-step guide to generating valid evidence and assessing its reliability. Following these steps produces an extensive amount of information for assessing whether the study provides reliable scientific evidence in support regulatory decision making. This paper presents two case studies that illustrate the utility of following the roadmap. We use targeted minimum loss-based estimation combined with super learning to estimate causal effects. We also compared these findings with those obtained from an unadjusted analysis, propensity score matching, and inverse probability weighting. Non-parametric sensitivity analyses illuminate how departures from (untestable) causal assumptions would affect point estimates and confidence interval bounds that would impact the substantive conclusion drawn from the study. TL's thorough approach to learning from data provides transparency, allowing trust in RWE to be earned whenever it is warranted.


title: Benefits and costs of matching prior to a Difference in Differences analysis when parallel trends does not hold

abstract: The Difference in Difference (DiD) estimator is a popular estimator built on the "parallel trends" assumption, which is an assertion that the treatment group, absent treatment, would change "similarly" to the control group over time. To bolster such a claim, one might generate a comparison group, via matching, that is similar to the treated group with respect to pre-treatment outcomes and/or pre-treatment covariates. Unfortunately, as has been previously pointed out, this intuitively appealing approach also has a cost in terms of bias. To assess the trade-offs of matching in our application, we first characterize the bias of matching prior to a DiD analysis under a linear structural model that allows for time-invariant observed and unobserved confounders with time-varying effects on the outcome. Given our framework, we verify that matching on baseline covariates generally reduces bias. We further show how additionally matching on pre-treatment outcomes has both cost and benefit. First, matching on pre-treatment outcomes partially balances unobserved confounders, which mitigates some bias. This reduction is proportional to the outcome's reliability, a measure of how coupled the outcomes are with the latent covariates. Offsetting these gains, matching also injects bias into the final estimate by undermining the second difference in the DiD via a regression-to-the-mean effect. Consequently, we provide heuristic guidelines for determining to what degree the bias reduction of matching is likely to outweigh the bias cost. We illustrate our guidelines by reanalyzing a principal turnover study that used matching prior to a DiD analysis and find that matching on both the pre-treatment outcomes and observed covariates makes the estimated treatment effect more credible.


title: Need is All You Need: Homeostatic Neural Networks Adapt to Concept Shift

abstract: In living organisms, homeostasis is the natural regulation of internal states aimed at maintaining conditions compatible with life. Typical artificial systems are not equipped with comparable regulatory features. Here, we introduce an artificial neural network that incorporates homeostatic features. Its own computing substrate is placed in a needful and vulnerable relation to the very objects over which it computes. For example, artificial neurons performing classification of MNIST digits or Fashion-MNIST articles of clothing may receive excitatory or inhibitory effects, which alter their own learning rate as a direct result of perceiving and classifying the digits. In this scenario, accurate recognition is desirable to the agent itself because it guides decisions to regulate its vulnerable internal states and functionality. Counterintuitively, the addition of vulnerability to a learner does not necessarily impair its performance. On the contrary, self-regulation in response to vulnerability confers benefits under certain conditions. We show that homeostatic design confers increased adaptability under concept shift, in which the relationships between labels and data change over time, and that the greatest advantages are obtained under the highest rates of shift. This necessitates the rapid un-learning of past associations and the re-learning of new ones. We also demonstrate the superior abilities of homeostatic learners in environments with dynamically changing rates of concept shift. Our homeostatic design exposes the artificial neural network's thinking machinery to the consequences of its own "thoughts", illustrating the advantage of putting one's own "skin in the game" to improve fluid intelligence.


title: Higher geometric sheaf theories

abstract: We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical literature in a uniform manner. In fact, higher covering diagrams always assemble to what we refer to as a structured colimit pre-topology on the base $\mathcal{C}$. It hence always defines a sub-canonical sheaf theory over $\mathcal{C}$, and indeed defines the canonical such whenever $\mathcal{C}$ has pullbacks. This ``higher geometric'' sheaf theory will be shown to differ from the usual infinitary-coherent sheaf theory by a cotopological localization whenever $\mathcal{C}$ is infinitary-coherent itself. We prove that this localization is generally non-trivial. For instance, every $\infty$-topos is the theory of higher geometric sheaves over itself, but the according infinitary-coherent sheaf theory over it is generally strictly larger. The higher geometric sheaves are hence characterized by a limit preservation property that is generally not captured by the classical sheaf condition. We define an $\infty$-category of higher geometric $\infty$-categories, and show that the (opposite of the) $\infty$-category of $\infty$-toposes embeds fully faithfully therein. We show that the higher $\kappa$-geometric sheaf theory on a higher $\kappa$-geometric $\infty$-category defines the free $\infty$-topos generated by it, and consequently that it faithfully generalizes Lurie's definition of a ``sheaf'' over an $\infty$-topos.


title: On Satisfying the Kutta Condition in Unsteady Thin Aerofoil Theory

abstract: Unsteady thin-aerofoil theory is a low-order method for solving potential-flow aerodynamics on a camber-line undergoing arbitrary motion. In this method, a Kutta condition must be applied at the trailing edge to uniquely specify the net circulation about the aerofoil. This article provides a critical discussion on applying the Kutta condition in unsteady flows, and introduces an improved method of doing so in unsteady thin-aerofoil theory. Specifically, the shed wake at any discrete time step is represented by a continuous distribution of vorticity derived from the exact Wagner solution rather than by a point vortex or regularized vortex blob. Results in the article illustrate the effects of this improvement for cases of step change in angle of attack (Wagner problem), harmonic heaving motion (Theodorsen problem), and a pitch-ramp-hold manoeuvre. Exact analytical solutions and CFD simulations of the incompressible Euler equations are used for verification. The new approach is seen to satisfy the Kutta condition at all reduced frequencies, with velocities being finite and pressure difference going to zero at the trailing edge. It improves unsteady thin-aerofoil theory in terms of theoretical rigour, computational cost and numerical accuracy.


title: QAPPA: Quantization-Aware Power, Performance, and Area Modeling of DNN Accelerators

abstract: As the machine learning and systems community strives to achieve higher energy-efficiency through custom DNN accelerators and model compression techniques, there is a need for a design space exploration framework that incorporates quantization-aware processing elements into the accelerator design space while having accurate and fast power, performance, and area models. In this work, we present QAPPA, a highly parameterized quantization-aware power, performance, and area modeling framework for DNN accelerators. Our framework can facilitate the future research on design space exploration of DNN accelerators for various design choices such as bit precision, processing element type, scratchpad sizes of processing elements, global buffer size, device bandwidth, number of total processing elements in the the design, and DNN workloads. Our results show that different bit precisions and processing element types lead to significant differences in terms of performance per area and energy. Specifically, our proposed lightweight processing elements achieve up to 4.9x more performance per area and energy improvement when compared to INT16 based implementation.


title: Complex FIOs and composition of Toeplitz operators

abstract: We study Toeplitz operators on the Bargmann space, with Toeplitz symbols that are exponentials of complex quadratic forms, from the point of view of Fourier integral operators in the complex domain. Sufficient conditions are established for the composition of two such operators to be a Toeplitz operator.


title: A Framework for Checkpointing and Recovery of Hierarchical Cyber-Physical Systems

abstract: This paper tackles the problem of making complex resource-constrained cyber-physical systems (CPS) resilient to sensor anomalies. In particular, we present a framework for checkpointing and roll-forward recovery of state-estimates in nonlinear, hierarchical CPS with anomalous sensor data. We introduce three checkpointing paradigms for ensuring different levels of checkpointing consistency across the hierarchy. Our framework has algorithms implementing the consistent paradigm to perform accurate recovery in a time-efficient manner while managing the tradeoff with system resources and handling the interplay between diverse anomaly detection systems across the hierarchy. Further in this work, we detail bounds on the recovered state-estimate error, maximum tolerable anomaly duration and the accuracy-resource gap that results from the aforementioned tradeoff. We explore use-cases for our framework and evaluate it on a case study of a simulated ground robot to show that it scales to multiple hierarchies and performs better than an extended Kalman filter (EKF) that does not incorporate a checkpointing procedure during sensor anomalies. We conclude the work with a discussion on extending the proposed framework to distributed systems.


title: Magnetism and metal-insulator transitions in the Rashba-Hubbard model

abstract: The nature of metal-insulator and magnetic transitions is still a subject under intense debate in condensed matter physics. Amongst the many possible mechanisms, the interplay between electronic correlations and spin-orbit couplings is an issue of a great deal of interest, in particular when dealing with quasi-2D compounds. In view of this, here we use a Hartree-Fock approach to investigate how the Rashba spin-orbit coupling, $V_\text{SO}$, affects the magnetic ordering provided by a Hubbard interaction, $U$, on a square lattice. At half-filling, we have found a sequence of transitions for increasing $V_\text{SO}$: from a Mott insulator to a metallic antiferromagnet, and then to a paramagnetic Rashba metal. Also, our results indicate that the Rashba coupling favors magnetic striped phases in the doped regime. By analyzing spectral properties, we associate the rearrangement of the magnetic ordering with the emerging chirality created by the spin-orbit coupling. Our findings provide insights towards clarifying the competition between these tendencies.


title: Comparison of Deep Space Navigation Using Optical Imaging, Pulsar Time-of-Arrival Tracking, and/or Radiometric Tracking

abstract: Recent advances with space navigation technologies developed by NASA in space-based atomic clocks and pulsar X-ray navigation combined with past successes in autonomous navigation using optical imaging, brings to the forefront the need to compare space navigation using optical, radiometric, and pulsar-based measurements using a common set of assumptions and techniques. This review article examines these navigation data types in two different ways. First, a simplified deep space orbit determination problem is posed that captures key features of the dynamics and geometry, and then each data type is characterized for its ability to solve for the orbit. The data types are compared and contrasted using a semi-analytical approach with geometric dilution of precision techniques. The results provide useful parametric insights into the strengths of each data type. In the second part of the paper, a high-fidelity, Monte Carlo simulation of a Mars cruise, approach, and entry navigation problem is studied. The results found complement the semi-analytic results in the first part, and illustrate specific issues such as each data type's quantitative impact on solution accuracy and their ability to support autonomous delivery to a planet.

categories: eess.SY astro-ph.EP astro-ph.IM cs.SY eess.SP