title: PatchDropout: Economizing Vision Transformers Using Patch Dropout

abstract: Vision transformers have demonstrated the potential to outperform CNNs in a variety of vision tasks. But the computational and memory requirements of these models prohibit their use in many applications, especially those that depend on high-resolution images, such as medical image classification. Efforts to train ViTs more efficiently are overly complicated, necessitating architectural changes or intricate training schemes. In this work, we show that standard ViT models can be efficiently trained at high resolution by randomly dropping input image patches. This simple approach, PatchDropout, reduces FLOPs and memory by at least 50% in standard natural image datasets such as ImageNet, and those savings only increase with image size. On CSAW, a high-resolution medical dataset, we observe a 5 times savings in computation and memory using PatchDropout, along with a boost in performance. For practitioners with a fixed computational or memory budget, PatchDropout makes it possible to choose image resolution, hyperparameters, or model size to get the most performance out of their model.


title: CIAO! A Contrastive Adaptation Mechanism for Non-Universal Facial Expression Recognition

abstract: Current facial expression recognition systems demand an expensive re-training routine when deployed to different scenarios than they were trained for. Biasing them towards learning specific facial characteristics, instead of performing typical transfer learning methods, might help these systems to maintain high performance in different tasks, but with a reduced training effort. In this paper, we propose Contrastive Inhibitory Adaptati On (CIAO), a mechanism that adapts the last layer of facial encoders to depict specific affective characteristics on different datasets. CIAO presents an improvement in facial expression recognition performance over six different datasets with very unique affective representations, in particular when compared with state-of-the-art models. In our discussions, we make an in-depth analysis of how the learned high-level facial features are represented, and how they contribute to each individual dataset's characteristics. We finalize our study by discussing how CIAO positions itself within the range of recent findings on non-universal facial expressions perception, and its impact on facial expression recognition research.


title: Assessing the Impact of Patent Attributes on the Value of Discrete and Complex Innovations

abstract: This study assesses the degree to which the social value of patents can be connected to the private value of patents across discrete and complex innovation. The underlying theory suggests that the social value of cumulative patents is less related to the private value of patents. We use the patents applied between 1995 to 2002 and granted on or before December 2018 from the Indian Patent Office (IPO). Here the patent renewal information is utilized as a proxy for the private value of the patent. We have used a variety of logit regression model for the impact assessment analysis. The results reveal that the technology classification (i.e., discrete versus complex innovations) plays an important role in patent value assessment, and some technologies are significantly different than the others even within the two broader classifications. Moreover, the non-resident patents in India are more likely to have a higher value than the resident patents. According to the conclusions of this study, only a few technologies from the discrete and complex innovation categories have some private value. There is no evidence that patent social value indicators are less useful in complicated technical classes than in discrete ones.


title: Effect of interlayer exchange coupling in spin-torque nano oscillator

abstract: The dynamics of the magnetization of the free layer in a spin-torque nano oscillator (STNO) influenced by a noncollinear alignment between the magnetizations of the free and pinned layers due to an interlayer exchange coupling has been investigated theoretically. The orientations of the magnetization of the free layer with that of the pinned layer have been computed through the macrospin model and they are found to match well with experimental results. The bilinear and biquadratic coupling strengths make the current to switch the magnetization between two states or oscillate steadily. The expressions for the critical currents between which oscillations are possible and the critical bilinear coupling strength below which oscillations are not possible are derived. The frequency of the oscillations is shown to be tuned and increased to or above 300 GHz by the current which is the largest to date among nanopillar-shaped STNOs.


title: Cross Section Doppler Broadening prediction using Physically Informed Deep Neural Networks

abstract: Temperature dependence of the neutron-nucleus interaction is known as the Doppler broadening of the cross-sections. This is a well-known effect due to the thermal motion of the target nuclei that occurs in the neutron-nucleus interaction. The fast computation of such effects is crucial for any nuclear application. Mechanisms have been developed that allow determining the Doppler effects in the cross-section, most of them based on the numerical resolution of the equation known as Solbrig's kernel, which is a cross-section Doppler broadening formalism derived from a free gas atoms distribution hypothesis. This paper explores a novel non-linear approach based on deep learning techniques. Deep neural networks are trained on synthetic and experimental data, serving as an alternative to the cross-section Doppler Broadening (DB). This paper explores the possibility of using physically informed neural networks, where the network is physically regularized to be the solution of a partial derivative equation, inferred from Solbrig's kernel. The learning process is demonstrated by using the fission, capture, and scattering cross sections for $^{235}U$ in the energy range from thermal to 2250 eV.


title: Many-body quantum vacuum fluctuation engines

abstract: We propose a many-body quantum engine powered by the energy difference between the entangled ground state of the interacting system and local separable states. Performing local energy measurements on an interacting many-body system can produce excited states from which work can be extracted via local feedback operations. These measurements reveal the quantum vacuum fluctuations of the global ground state in the local basis and provide the energy required to run the engine. The reset part of the engine cycle is particularly simple: The interacting many-body system is coupled to a cold bath and allowed to relax to its entangled ground state. We illustrate our proposal on two types of many-body systems: a chain of coupled qubits and coupled harmonic oscillator networks. These models faithfully represent fermionic and bosonic excitations, respectively. In both cases, analytical results for the work output and efficiency of the engine can be obtained. Generically, the work output scales as the number of quantum systems involved, while the efficiency limits to a constant. We prove the efficiency is controlled by the "local entanglement gap" -- the energy difference between the global ground state and the lowest energy eigenstate of the local Hamiltonian. In the qubit chain case, we highlight the impact of a quantum phase transition on the engine's performance as work and efficiency sharply increase at the critical point. In the case of a one-dimensional oscillator chain, we show the efficiency approaches unity as the number of coupled oscillators increases, even at finite work output.


title: Mukai's program for non-primitive curves on K3 surfaces

abstract: Mukai's program seeks to recover a K3 surface $X$ from any curve $C$ on it by exhibiting it as a Fourier-Mukai partner to a Brill-Noether locus of vector bundles on the curve. In the case $X$ has Picard number one and the curve $C\in |H|$ is primitive, this was confirmed by Feyzbakhsh for $g\geq 11$ and $g\neq 12$. More recently, Feyzbakhsh has shown that certain moduli spaces of stable bundles on $X$ are isomorphic to the Brill-Noether locus of curves in $|H|$ if $g$ is sufficiently large. In this paper, we work with irreducible curves in a non-primitive ample linear system $|mH|$ and prove that Mukai's program is valid for any irreducible curve when $g\neq 2$, $mg\geq 11$ and $mg\neq 12$. Furthermore, we introduce the destabilising regions to improve Feyzbakhsh's analysis. We show that there are hyper-K\"ahler varieties as Brill-Noether loci of curves in every dimension.


title: DM-NeRF: 3D Scene Geometry Decomposition and Manipulation from 2D Images

abstract: In this paper, we study the problem of 3D scene geometry decomposition and manipulation from 2D views. By leveraging the recent implicit neural representation techniques, particularly the appealing neural radiance fields, we introduce an object field component to learn unique codes for all individual objects in 3D space only from 2D supervision. The key to this component is a series of carefully designed loss functions to enable every 3D point, especially in non-occupied space, to be effectively optimized even without 3D labels. In addition, we introduce an inverse query algorithm to freely manipulate any specified 3D object shape in the learned scene representation. Notably, our manipulation algorithm can explicitly tackle key issues such as object collisions and visual occlusions. Our method, called DM-NeRF, is among the first to simultaneously reconstruct, decompose, manipulate and render complex 3D scenes in a single pipeline. Extensive experiments on three datasets clearly show that our method can accurately decompose all 3D objects from 2D views, allowing any interested object to be freely manipulated in 3D space such as translation, rotation, size adjustment, and deformation.


title: Demonstration of broadband topological slow light

abstract: Slow-light devices are able to significantly enhance light-matter interaction due to the reduced group velocity of light, but a very low group velocity is usually achieved in a narrow bandwidth, accompanied by extreme sensitivity to imperfections that causes increased disorder-induced attenuation. Recent theories have suggested an ideal solution to this problem - unidirectional chiral photonic states, previously discovered in structures known as photonic topological insulators, not only resist backscattering from imperfections but can also be slowed down in the entire topological bandgap with multiple windings in the Brillouin zone. Here, we report on the experimental demonstration of broadband topological slow light in a photonic topological insulator. When coupled with periodic resonators that form flat bands, the chiral photonic states can wind many times around the Brillouin zone, achieving an ultra-low group velocity in the entire topological bandgap. This demonstration extends the scope of topological photonics into slow light engineering and opens a unique avenue in the dispersion manipulation of chiral photonic states.


title: Proof of a conjecture on the determinant of walk matrix of rooted product with a path

abstract: The walk matrix of an $n$-vertex graph $G$ with adjacency matrix $A$, denoted by $W(G)$, is $[e,Ae,\ldots,A^{n-1}e]$, where $e$ is the all-ones vector. Let $G\circ P_m$ be the rooted product of $G$ and a rooted path $P_m$ (taking an endvertex as the root), i.e., $G\circ P_m$ is a graph obtained from $G$ and $n$ copies of $P_m$ by identifying each vertex of $G$ with an endvertex of a copy of $P_m$. Mao-Liu-Wang (2015) and Mao-Wang (2022) proved that, for $m=2$ and $m\in\{3,4\}$, respectively$$\det W(G\circ P_m)=\pm a_0^{\lfloor\frac{m}{2}\rfloor}(\det W(G))^m,$$ where $a_0$ is the constant term of the characteristic polynomial of $G$. Furthermore, Mao-Wang (2022) conjectured that the formula holds for any $m\ge 2$. In this note, we verify this conjecture using the technique of Chebyshev polynomials.


title: Hellings and Downs correlation of an arbitrary set of pulsars

abstract: Pulsar timing arrays (PTAs) detect gravitational waves (GWs) via the correlations they induce in the arrival times of pulses from different pulsars. We assume that the GWs are described by a Gaussian ensemble. The mean correlation $h^2 \mu_{\rm u}(\gamma)$ as a function of the angle $\gamma$ between the directions to two pulsars was predicted by Hellings and Downs (HD) in 1983. The variance $\sigma^2_{\rm tot}(\gamma)$ in this correlation was recently calculated by Allen[11] for a single noise-free pulsar pair at angle $\gamma$, which shows that after averaging over many pairs, the variance reduces to an intrinsic cosmic variance $\sigma^2_{\rm cos}(\gamma)$. Here, we extend this to an $arbitrary$ set of pulsars at specific sky locations, with pulsar pairs binned by $\gamma$. We derive the linear combination of pulsar-pair correlations which is the optimal estimator of the HD correlation for each bin, illustrating our methods with plots of the expected range of variation away from the HD curve, for the sets of pulsars monitored by three active PTA collaborations. We compute the variance of and the covariance between these binned estimates, and show that these reduce to the cosmic variance and covariance $s(\gamma,\gamma')$ respectively, in the many-pulsar limit. The likely fluctuations away from the HD curve $\mu_{\rm u}(\gamma)$ are strongly correlated/anticorrelated in the three angular regions where $\mu_{\rm u}(\gamma)$ is successively positive, negative, and positive. We also construct the optimal estimator of the squared strain $h^2$. When there are very many pulsar pairs, this determines $h^2$ with arbitrary precision because PTAs probe an infinite set of GW modes. To assess observed deviations away from the HD curve, we characterize several $\chi^2$ goodness-of-fit statistics. We also show how pulsar noise and measurement noise can be included.

categories: gr-qc astro-ph.CO astro-ph.HE astro-ph.IM


title: Metasurface-Based Realization of Photonic Time Crystals

abstract: Photonic time crystals are artificial materials whose electromagnetic properties are uniform in space but periodically vary in time. The synthesis of such materials and experimental observation of their physics remain very challenging due to the stringent requirement for uniform modulation of material properties in volumetric samples. In this work, we extend the concept of photonic time crystals to two-dimensional artificial structures -- metasurfaces. We demonstrate that time-varying metasurfaces not only preserve key physical properties of volumetric photonic time crystals despite their simpler topology but also host common momentum bandgaps shared by both surface and free-space electromagnetic waves. Based on a microwave metasurface design, we experimentally confirmed the exponential wave amplification inside a momentum bandgap as well as the possibility to probe bandgap physics by external (free-space) excitations. The proposed metasurface serves as a straightforward material platform for realizing emerging photonic space-time crystals and as a realistic system for the amplification of surface-wave signals in future wireless communications.


title: Distributional Correlation--Aware Knowledge Distillation for Stock Trading Volume Prediction

abstract: Traditional knowledge distillation in classification problems transfers the knowledge via class correlations in the soft label produced by teacher models, which are not available in regression problems like stock trading volume prediction. To remedy this, we present a novel distillation framework for training a light-weight student model to perform trading volume prediction given historical transaction data. Specifically, we turn the regression model into a probabilistic forecasting model, by training models to predict a Gaussian distribution to which the trading volume belongs. The student model can thus learn from the teacher at a more informative distributional level, by matching its predicted distributions to that of the teacher. Two correlational distillation objectives are further introduced to encourage the student to produce consistent pair-wise relationships with the teacher model. We evaluate the framework on a real-world stock volume dataset with two different time window settings. Experiments demonstrate that our framework is superior to strong baseline models, compressing the model size by $5\times$ while maintaining $99.6\%$ prediction accuracy. The extensive analysis further reveals that our framework is more effective than vanilla distillation methods under low-resource scenarios.


title: A Probabilistic Model for the Efficiency of Cosmic-Ray Radio Arrays

abstract: Digital radio detection of cosmic-ray air showers has emerged as an alternative technique in high-energy astroparticle physics. Estimation of the detection efficiency of cosmic-ray radio arrays is one of the few remaining challenges regarding this technique. To address this problem, we developed a model based on the explicit probabilistic treatment of key elements of the radio technique for air showers: the footprint of the radio signal on ground, the detection of the signal in an individual antenna, and the detection criterion on the level of the entire array. The model allows for estimation of sky regions of full efficiency and can be used to compute the aperture of the array, which is essential to measure the absolute flux of cosmic rays. We also present a semi-analytical method that we apply to the generic model, to calculate the efficiency and aperture with high accuracy and reasonable calculation time. The model in this paper is applied to the Tunka-Rex array as example instrument and validated against Monte Carlo simulations. The validation shows that the model performs well, in particular, in the prediction of regions with full efficiency. It can thus be applied to other antenna arrays to facilitate the measurement of absolute cosmic-ray fluxes and to minimize a selection bias in cosmic-ray studies.


title: Dual-Band Meta-Absorber for Reduced Cross Talk between 5G MIMO Antenna Arrays

abstract: Metamaterials have great potential to construct ultrathin, miniaturized, and cost-effective microwave and optical devices for future wireless communication systems. Here, a dual-band meta-absorber comprising four arrows-shaped unit cells is investigated. The absorption features are numerically studied and analyzed in a microwave frequency spectrum from 28 - 36 GHz. The proposed meta-absorber illustrates the two independent absorption peaks of 96% and 99.99% at the corresponding operating points of 31.11 GHz and 33.77 GHz, respectively, within the 5G spectrum. Due to structure symmetry, the proposed meta-absorber exhibits insensitive polarization performance under the influence of different polarization angles of the incoming EM waves. The absorption characteristics of the absorber are also analyzed for different obliquity of the incident EM waves, and their absorption peaks are tuned under these operating conditions. Further, to realize the absorption behavior of this absorbing device, the surface electric field profile and current distributions are also studied at the aforementioned two operating frequency points. This absorber type remains prudent to minimize the coupling and cross-talk between the elements of the MIMO antenna operating in the 5G band.


title: Vector-like Quarks

abstract: In this talk we emphasise the importance of vector-like quarks (VLQs) and their potential to solve some of the open questions of the Standard Model. These are, in some sense minimal extensions of the Standard Model, that can be probed in the next round of experiments. We also make an analogy between vector-like quarks(VLQs) and right-handed neutrinos, emphasising that in both cases some of the flavour dogmas of the SM are violated in a controlled way.


title: Observation of Temporal Reflections and Broadband Frequency Translations at Photonic Time-Interfaces

abstract: Time-reflection is a uniform inversion of the temporal evolution of a signal, which arises when an abrupt change in the properties of the host material occurs uniformly in space. At such a time-interface, a portion of the input signal is time-reversed, and its frequency spectrum is homogeneously translated while its momentum is conserved, forming the temporal counterpart of a spatial interface. Combinations of time-interfaces, forming time-metamaterials and Floquet matter, exploit the interference of multiple time-reflections for extreme wave manipulation, leveraging time as a new degree of freedom. Here, we report the observation of photonic time-reflection and associated broadband frequency translation in a switched transmission-line metamaterial whose effective capacitance is homogeneously and abruptly changed via a synchronized array of switches. A pair of temporal interfaces are combined to demonstrate time-reflection-induced wave interference, realizing the temporal counterpart of a Fabry-Perot cavity. Our results establish the foundational building blocks to realize time-metamaterials and Floquet photonic crystals, with opportunities for extreme photon manipulation in space and time.


title: Energy and Spectrum Efficient Federated Learning via High-Precision Over-the-Air Computation

abstract: Federated learning (FL) enables mobile devices to collaboratively learn a shared prediction model while keeping data locally. However, there are two major research challenges to practically deploy FL over mobile devices: (i) frequent wireless updates of huge size gradients v.s. limited spectrum resources, and (ii) energy-hungry FL communication and local computing during training v.s. battery-constrained mobile devices. To address those challenges, in this paper, we propose a novel multi-bit over-the-air computation (M-AirComp) approach for spectrum-efficient aggregation of local model updates in FL and further present an energy-efficient FL design for mobile devices. Specifically, a high-precision digital modulation scheme is designed and incorporated in the M-AirComp, allowing mobile devices to upload model updates at the selected positions simultaneously in the multi-access channel. Moreover, we theoretically analyze the convergence property of our FL algorithm. Guided by FL convergence analysis, we formulate a joint transmission probability and local computing control optimization, aiming to minimize the overall energy consumption (i.e., iterative local computing + multi-round communications) of mobile devices in FL. Extensive simulation results show that our proposed scheme outperforms existing ones in terms of spectrum utilization, energy efficiency, and learning accuracy.


title: Multidegrees, prime ideals, and non-standard gradings

abstract: We study several properties of multihomogeneous prime ideals. We show that the multigraded generic initial ideal of a prime has very special properties, for instance, its radical is Cohen-Macaulay. We develop a comprehensive study of multidegrees in arbitrary positive multigraded settings. In these environments, we extend the notion of Cartwright-Sturmfels ideals by means of a standardization technique. Furthermore, we recover or extend important results in the literature, for instance: we provide a multidegree version of Hartshorne's result stating the upper semicontinuity of arithmetic degree under flat degenerations, and we give an alternative proof of Brion's result regarding multiplicity-free varieties.


title: ROLAND: Graph Learning Framework for Dynamic Graphs

abstract: Graph Neural Networks (GNNs) have been successfully applied to many real-world static graphs. However, the success of static graphs has not fully translated to dynamic graphs due to the limitations in model design, evaluation settings, and training strategies. Concretely, existing dynamic GNNs do not incorporate state-of-the-art designs from static GNNs, which limits their performance. Current evaluation settings for dynamic GNNs do not fully reflect the evolving nature of dynamic graphs. Finally, commonly used training methods for dynamic GNNs are not scalable. Here we propose ROLAND, an effective graph representation learning framework for real-world dynamic graphs. At its core, the ROLAND framework can help researchers easily repurpose any static GNN to dynamic graphs. Our insight is to view the node embeddings at different GNN layers as hierarchical node states and then recurrently update them over time. We then introduce a live-update evaluation setting for dynamic graphs that mimics real-world use cases, where GNNs are making predictions and being updated on a rolling basis. Finally, we propose a scalable and efficient training approach for dynamic GNNs via incremental training and meta-learning. We conduct experiments over eight different dynamic graph datasets on future link prediction tasks. Models built using the ROLAND framework achieve on average 62.7% relative mean reciprocal rank (MRR) improvement over state-of-the-art baselines under the standard evaluation settings on three datasets. We find state-of-the-art baselines experience out-of-memory errors for larger datasets, while ROLAND can easily scale to dynamic graphs with 56 million edges. After re-implementing these baselines using the ROLAND training strategy, ROLAND models still achieve on average 15.5% relative MRR improvement over the baselines.


title: Mono-surrogate vs Multi-surrogate in Multi-objective Bayesian Optimisation

abstract: Bayesian optimisation (BO) has been widely used to solve problems with expensive function evaluations. In multi-objective optimisation problems, BO aims to find a set of approximated Pareto optimal solutions. There are typically two ways to build surrogates in multi-objective BO: One surrogate by aggregating objective functions (by using a scalarising function, also called mono-surrogate approach) and multiple surrogates (for each objective function, also called multi-surrogate approach). In both approaches, an acquisition function (AF) is used to guide the search process. Mono-surrogate has the advantage that only one model is used, however, the approach has two major limitations. Firstly, the fitness landscape of the scalarising function and the objective functions may not be similar. Secondly, the approach assumes that the scalarising function distribution is Gaussian, and thus a closed-form expression of the AF can be used. In this work, we overcome these limitations by building a surrogate model for each objective function and show that the scalarising function distribution is not Gaussian. We approximate the distribution using Generalised extreme value distribution. The results and comparison with existing approaches on standard benchmark and real-world optimisation problems show the potential of the multi-surrogate approach.


title: HEFT: Homomorphically Encrypted Fusion of Biometric Templates

abstract: This paper proposes a non-interactive end-to-end solution for secure fusion and matching of biometric templates using fully homomorphic encryption (FHE). Given a pair of encrypted feature vectors, we perform the following ciphertext operations, i) feature concatenation, ii) fusion and dimensionality reduction through a learned linear projection, iii) scale normalization to unit $\ell_2$-norm, and iv) match score computation. Our method, dubbed HEFT (Homomorphically Encrypted Fusion of biometric Templates), is custom-designed to overcome the unique constraint imposed by FHE, namely the lack of support for non-arithmetic operations. From an inference perspective, we systematically explore different data packing schemes for computationally efficient linear projection and introduce a polynomial approximation for scale normalization. From a training perspective, we introduce an FHE-aware algorithm for learning the linear projection matrix to mitigate errors induced by approximate normalization. Experimental evaluation for template fusion and matching of face and voice biometrics shows that HEFT (i) improves biometric verification performance by 11.07% and 9.58% AUROC compared to the respective unibiometric representations while compressing the feature vectors by a factor of 16 (512D to 32D), and (ii) fuses a pair of encrypted feature vectors and computes its match score against a gallery of size 1024 in 884 ms. Code and data are available at https://github.com/human-analysis/encrypted-biometric-fusion


title: Lectures on modular forms and strings

abstract: The goal of these lectures is to present an informal but precise introduction to a body of concepts and methods of interest in number theory and string theory revolving around modular forms and their generalizations. Modular invariance lies at the heart of conformal field theory, string perturbation theory, Montonen-Olive duality, Seiberg-Witten theory, and S-duality in Type IIB superstring theory. Automorphic forms with respect to higher arithmetic groups as well as mock modular forms enter in toroidal string compactifications and the counting of black hole microstates. After introducing the basic mathematical concepts including elliptic functions, modular forms, Maass forms, modular forms for congruence subgroups, vector-valued modular forms, and modular graph forms, we describe a small subset of the countless applications to problems in Mathematics and Physics, including those mentioned above.


title: Exponential Concentration in Stochastic Approximation

abstract: We analyze the behavior of stochastic approximation algorithms where iterates, in expectation, progress towards an objective at each step. When progress is proportional to the step size of the algorithm, we prove exponential concentration bounds. These tail-bounds contrast asymptotic normality results, which are more frequently associated with stochastic approximation. The methods that we develop rely on a geometric ergodicity proof. This extends a result on Markov chains due to Hajek (1982) to the area of stochastic approximation algorithms. We apply our results to several different Stochastic Approximation algorithms, specifically Projected Stochastic Gradient Descent, Kiefer-Wolfowitz and Stochastic Frank-Wolfe algorithms. When applicable, our results prove faster $O(1/t)$ and linear convergence rates for Projected Stochastic Gradient Descent with a non-vanishing gradient.


title: The effect of aperture and seeing on the visibility of sunspots when using early modern and modern telescopes of modest size

abstract: Using the convolution of seeing and diffraction, the relation between seeing and aperture in the visibility of sunspots is explored. It is shown that even telescopes with apertures smaller than 5 centimetres are significantly affected by seeing. Although larger aperture instruments suffer more from seeing than smaller ones, their level of detail always remains better under the same atmospheric conditions.


title: Known mechanisms that increase nuclear fusion rates in the solid state

abstract: We investigate known mechanisms for enhancing nuclear fusion rates at ambient temperatures and pressures in solid-state environments. In deuterium fusion, on which the paper is focused, an enhancement of >40 orders of magnitude would be needed to achieve observable fusion. We find that mechanisms for fusion rate enhancement up to 30 orders of magnitude each are known across the domains of atomic physics, nuclear physics, and quantum dynamics. Cascading such mechanisms could lead to an overall enhancement of 40 orders of magnitude and more. We present a roadmap with examples of how hypothesis-driven research could be conducted in -- and across -- each domain to probe the plausibility of technologically-relevant fusion in the solid state.


title: A measure-theoretic representation of graphs

abstract: Inspired by the notion of action convergence in graph limit theory, we introduce a measure-theoretic representation of matrices, and we use it to define a new notion of pseudo-metric on the space of matrices. Moreover, we show that such pseudo-metric is a metric on the subspace of adjacency or Laplacian matrices for graphs. Hence, in particular, we obtain a metric for isomorphism classes of graphs. Additionally, we study how some properties of graphs translate in this measure representation, and we show how our analysis contributes to a simpler understanding of action convergence of graphops.


title: Using Artificial Intelligence and IoT for Constructing a Smart Trash Bin

abstract: The research reported in this paper transforms a normal trash bin into a smarter one by applying computer vision technology. With the support of sensors and actuator devices, the trash bin can automatically classify garbage. In particular, a camera on the trash bin takes pictures of trash, then the central processing unit analyzes and makes decisions regarding which bin to drop trash into. The accuracy of our trash bin system achieves 90%. Besides, our model is connected to the Internet to update the bin status for further management. A mobile application is developed for managing the bin.


title: New drugs and stock market: how to predict pharma market reaction to clinical trial announcements

abstract: Pharmaceutical companies operate in a strictly regulated and highly risky environment in which a single slip can lead to serious financial implications. Accordingly, the announcements of clinical trial results tend to determine the future course of events, hence being closely monitored by the public. In this work, we provide statistical evidence for the result promulgation influence on the public pharma market value. Whereas most works focus on retrospective impact analysis, the present research aims to predict the numerical values of announcement-induced changes in stock prices. For this purpose, we develop a pipeline that includes a BERT-based model for extracting sentiment polarity of announcements, a Temporal Fusion Transformer for forecasting the expected return, a graph convolution network for capturing event relationships, and gradient boosting for predicting the price change. The challenge of the problem lies in inherently different patterns of responses to positive and negative announcements, reflected in a stronger and more pronounced reaction to the negative news. Moreover, such phenomenon as the drop in stocks after the positive announcements affirms the counterintuitiveness of the price behavior. Importantly, we discover two crucial factors that should be considered while working within a predictive framework. The first factor is the drug portfolio size of the company, indicating the greater susceptibility to an announcement in the case of small drug diversification. The second one is the network effect of the events related to the same company or nosology. All findings and insights are gained on the basis of one of the biggest FDA (the Food and Drug Administration) announcement datasets, consisting of 5436 clinical trial announcements from 681 companies over the last five years.


title: Constructive Axiomatics in Spacetime Physics Part III: A Constructive Axiomatic Approach to Quantum Spacetime

abstract: The Ehlers-Pirani-Schild (EPS) constructive axiomatisation of general relativity, published in 1972, purports to build up the kinematical structure of that theory from only axioms which have indubitable empirical content. It is, therefore, of profound significance both to the epistemology and to the metaphysics of spacetime theories. In this article, we consider extensions of the EPS axiomatisation towards quantum general relativity based upon quantum mechanical inputs (Part III). There are two companion papers, in which we provide a pedagogical walkthrough to the EPS axiomatisation (Part I), and discuss the significance of constructive approaches to spacetime structure more generally (Part II).


title: Predicting Pedestrian Crosswalk Behavior Using Convolutional Neural Networks

abstract: A common yet potentially dangerous task is the act of crossing the street. Pedestrian accidents contribute a significant amount to the high number of annual traffic casualties, which is why it is crucial for pedestrians to use safety measures such as a crosswalk. However, people often forget to activate a crosswalk light or are unable to do so -- such as those who are visually impaired or have occupied hands. Other pedestrians are simply careless and find the crosswalk signals a hassle, which can result in an accident where a car hits them. In this paper, we consider an improvement to the crosswalk system by designing a system that can detect pedestrians and triggering the crosswalk signal automatically. We collect a dataset of images that we then use to train a convolutional neural network to distinguish between pedestrians (including bicycle riders) and various false alarms. The resulting system can capture and evaluate images in real time, and the result can be used to automatically activate systems a crosswalk light. After extensive testing of our system in real-world environments, we conclude that it is feasible as a back-up system that can compliment existing crosswalk buttons, and thereby improve the overall safety of crossing the street.


title: Signature-based validation of real-world economic scenarios

abstract: Motivated by insurance applications, we propose a new approach for the validation of real-world economic scenarios. This approach is based on the statistical test developed by Chevyrev and Oberhauser (2022) and relies on the notions of signature and maximum mean distance. This test allows to check whether two samples of stochastic processes paths come from the same distribution. Our contribution is to apply this test to a variety of stochastic processes exhibiting different pathwise properties (H{\"o}lder regularity, autocorrelation, regime switches) and which are relevant for the modelling of stock prices and stock volatility as well as of inflation in view of actuarial applications.


title: Quantifying uncertain system outputs via the multi-level Monte Carlo method -- distribution and robustness measures

abstract: In this work, we consider the problem of estimating the probability distribution, the quantile or the conditional expectation above the quantile, the so called conditional-value-at-risk, of output quantities of complex random differential models by the MLMC method. We follow the approach of (reference), which recasts the estimation of the above quantities to the computation of suitable parametric expectations. In this work, we present novel computable error estimators for the estimation of such quantities, which are then used to optimally tune the MLMC hierarchy in a continuation type adaptive algorithm. We demonstrate the efficiency and robustness of our adaptive continuation-MLMC in an array of numerical test cases.


title: The discovery and characterization of a kilometre sized asteroid inside the orbit of Venus

abstract: Near-Earth asteroid population models predict the existence of bodies located inside the orbit of Venus. Despite searches up to the end of 2019, none had been found. We report discovery and follow-up observations of (594913) 'Ayl\'o'chaxnim, an asteroid with an orbit entirely interior to Venus. (594913) 'Ayl\'o'chaxnim has an aphelion distance of ~0.65 au, is ~2 km in diameter and is red in colour. The detection of such a large asteroid inside the orbit of Venus is surprising given their rarity according to near-Earth asteroid population models. As the first officially numbered and named asteroid located entirely within the orbit of Venus, we propose that the class of interior to Venus asteroids be referred to as 'Ayl\'o'chaxnim asteroids.


title: The Efficient Market Hypothesis for Bitcoin in the context of neural networks

abstract: This study examines the weak form of the efficient market hypothesis for Bitcoin using a feedforward neural network. Due to the increasing popularity of cryptocurrencies in recent years, the question has arisen, as to whether market inefficiencies could be exploited in Bitcoin. Several studies we refer to here discuss this topic in the context of Bitcoin using either statistical tests or machine learning methods, mostly relying exclusively on data from Bitcoin itself. Results regarding market efficiency vary from study to study. In this study, however, the focus is on applying various asset-related input features in a neural network. The aim is to investigate whether the prediction accuracy improves when adding equity stock indices (S&P 500, Russell 2000), currencies (EURUSD), 10 Year US Treasury Note Yield as well as Gold&Silver producers index (XAU), in addition to using Bitcoin returns as input feature. As expected, the results show that more features lead to higher training performance from 54.6% prediction accuracy with one feature to 61% with six features. On the test set, we observe that with our neural network methodology, adding additional asset classes, no increase in prediction accuracy is achieved. One feature set is able to partially outperform a buy-and-hold strategy, but the performance drops again as soon as another feature is added. This leads us to the partial conclusion that weak market inefficiencies for Bitcoin cannot be detected using neural networks and the given asset classes as input. Therefore, based on this study, we find evidence that the Bitcoin market is efficient in the sense of the efficient market hypothesis during the sample period. We encourage further research in this area, as much depends on the sample period chosen, the input features, the model architecture, and the hyperparameters.


title: Quantum Transport and Magnetism of Dirac Electrons in Solids

abstract: The relativistic Dirac equation covers the fundamentals of electronic phenomena in solids and as such it effectively describes the electronic states of the topological insulators like Bi$_2$Se$_3$ and Bi$_2$Te$_3$. Topological insulators feature gapless surface states and, moreover, magnetic doping and resultant ferromagnetic ordering break time-reversal symmetry to realize quantum anomalous Hall and Chern insulators. Here we focus on the bulk and investigate the mutual coupling of electronic and magnetic properties of Dirac electrons. Without carrier doping, spiral magnetic orders cause a ferroelectric polarization through the spin-orbit coupling. In a doped metallic state, the anisotropic magnetoresistance arises without uniform magnetization. We find that electric current induces uniform magnetization and conversely an oscillating magnetic order induces electric current. Our model provides a coherent and unified description of all those phenomena. The mutual control of electric and magnetic properties demonstrates implementations of antiferromagnetic spintronics. We also discuss the stoichiometric magnetic topological insulator MnBi$_2$Te$_4$.


title: Multi-modal Transformer Path Prediction for Autonomous Vehicle

abstract: Reasoning about vehicle path prediction is an essential and challenging problem for the safe operation of autonomous driving systems. There exist many research works for path prediction. However, most of them do not use lane information and are not based on the Transformer architecture. By utilizing different types of data collected from sensors equipped on the self-driving vehicles, we propose a path prediction system named Multi-modal Transformer Path Prediction (MTPP) that aims to predict long-term future trajectory of target agents. To achieve more accurate path prediction, the Transformer architecture is adopted in our model. To better utilize the lane information, the lanes which are in opposite direction to target agent are not likely to be taken by the target agent and are consequently filtered out. In addition, consecutive lane chunks are combined to ensure the lane input to be long enough for path prediction. An extensive evaluation is conducted to show the efficacy of the proposed system using nuScene, a real-world trajectory forecasting dataset.


title: Surface brightness-colour relations of dwarf stars from detached eclipsing binaries -- I. Calibrating sample

abstract: Surface brightness -- colour relations (SBCRs) are very useful tools for predicting the angular diameters of stars. They offer the possibility to calculate very precise spectrophotometric distances by the eclipsing binary method or the Baade-Wesselink method. Double-lined Detached Eclipsing Binary stars (SB2 DEBs) with precisely known trigonometric parallaxes allow for a calibration of SBCRs with unprecedented precision. In order to improve such calibrations, it is important to enlarge the calibration sample of suitable eclipsing binaries with very precisely determined physical parameters. We carefully chose a sample of ten SB2 DEBs in the solar neighbourhood which contain inactive main-sequence components. The components have spectral types from early A to early K. All systems have high-precision parallaxes from the Gaia mission. We analysed high precision ground- and space-based photometry simultaneously with the radial velocity curves derived from HARPS spectra. We used spectral disentangling to obtain the individual spectra of the components and used these to derive precise atmospheric parameters and chemical abundances. For almost all components, we derived precise surface temperatures and metallicities. We derived absolute dimensions for 20 stars with an average precision of 0.2% and 0.5% for masses and radii, respectively. Three systems show slow apsidal motion. One system, HD 32129, is most likely a triple system with a much fainter K6V companion. Also three systems contain metallic-line components and show strong enhancements of barium and ittrium. The components of all systems compare well to the SBCR derived before from the detached eclipsing binary stars. With a possible exception of HD 32129, they can be used to calibrate SBCRs with a precision better than 1% with available Gaia DR3 parallaxes.


title: The mystery of plethysm coefficients

abstract: Composing two representations of the general linear groups gives rise to Littlewood's (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof technique of combinatorial representation theory, which we call the "$s$-perp trick", and point out several examples in the literature where this idea is used. We use the $s$-perp trick to give algorithms for computing monomial and Schur expansions of symmetric functions. In several special cases, these algorithms are more efficient than those currently implemented in {\sc SageMath}.


title: Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints

abstract: One of the keys to flying quadrotors is to optimize their trajectories within the set of collision-free corridors. These corridors impose nonconvex constraints on the trajectories, making real-time trajectory optimization challenging. We introduce a novel numerical method that approximates the nonconvex corridor constraints with time-triggered convex corridor constraints. This method combines bisection search and repeated infeasibility detection. We further develop a customized C++ implementation of the proposed method, based on a first-order conic optimization method that detects infeasibility and exploits problem structure. We demonstrate the efficiency and effectiveness of the proposed method using numerical simulation on randomly generated problem instances as well as indoor flight experiments with hoop obstacles. Compared with mixed integer programming, the proposed method is about 50--200 times faster.


title: A Package for the Automated Classification of Images Containing Supernova Light Echoes

abstract: Context. The so-called "light echoes" of supernovae - the apparent motion of outburst-illuminated interstellar dust - can be detected in astronomical difference images; however, light echoes are extremely rare which makes manual detection an arduous task. Surveys for centuries-old supernova light echoes can involve hundreds of pointings of wide-field imagers wherein the subimages from each CCD amplifier require examination. Aims. We introduce ALED, a Python package that implements (i) a capsule network trained to automatically identify images with a high probability of containing at least one supernova light echo, and (ii) routing path visualization to localize light echoes and/or light echo-like features in the identified images. Methods. We compare the performance of the capsule network implemented in ALED (ALED-m) to several capsule and convolutional neural networks of different architectures. We also apply ALED to a large catalogue of astronomical difference images and manually inspect candidate light echo images for human verification. Results. ALED-m, was found to achieve 90% classification accuracy on the test set, and to precisely localize the identified light echoes via routing path visualization. From a set of 13,000+ astronomical images, ALED identified a set of light echoes that had been overlooked in manual classification. ALED is available via github.com/LightEchoDetection/ALED.


title: Bias amplification in experimental social networks is reduced by resampling

abstract: Large-scale social networks are thought to contribute to polarization by amplifying people's biases. However, the complexity of these technologies makes it difficult to identify the mechanisms responsible and to evaluate mitigation strategies. Here we show under controlled laboratory conditions that information transmission through social networks amplifies motivational biases on a simple perceptual decision-making task. Participants in a large behavioral experiment showed increased rates of biased decision-making when part of a social network relative to asocial participants, across 40 independently evolving populations. Drawing on techniques from machine learning and Bayesian statistics, we identify a simple adjustment to content-selection algorithms that is predicted to mitigate bias amplification. This algorithm generates a sample of perspectives from within an individual's network that is more representative of the population as a whole. In a second large experiment, this strategy reduced bias amplification while maintaining the benefits of information sharing.


title: Retrieval-efficiency trade-off of Unsupervised Keyword Extraction

abstract: Efficiently identifying keyphrases that represent a given document is a challenging task. In the last years, plethora of keyword detection approaches were proposed. These approaches can be based on statistical (frequency-based) properties of e.g., tokens, specialized neural language models, or a graph-based structure derived from a given document. The graph-based methods can be computationally amongst the most efficient ones, while maintaining the retrieval performance. One of the main properties, common to graph-based methods, is their immediate conversion of token space into graphs, followed by subsequent processing. In this paper, we explore a novel unsupervised approach which merges parts of a document in sequential form, prior to construction of the token graph. Further, by leveraging personalized PageRank, which considers frequencies of such sub-phrases alongside token lengths during node ranking, we demonstrate state-of-the-art retrieval capabilities while being up to two orders of magnitude faster than current state-of-the-art unsupervised detectors such as YAKE and MultiPartiteRank. The proposed method's scalability was also demonstrated by computing keyphrases for a biomedical corpus comprised of 14 million documents in less than a minute.


title: Large-scale frictionless jamming with power-law particle size distributions

abstract: Due to significant computational expense, discrete element method simulations of jammed packings of size-dispersed spheres with size ratios greater than 1:10 have remained elusive, limiting the correspondence between simulations and real-world granular materials with large size dispersity. Invoking a recently developed neighbor binning algorithm, we generate mechanically-stable jammed packings of frictionless spheres with power-law size distributions containing up to nearly four million particles with size ratios up to 1:100. By systematically varying the width and exponent of the underlying power laws, we analyze the role of particle size distributions on the structure of jammed packings. The densest packings are obtained for size distributions that balance the relative abundance of large-large/intermediate and small-small particle contacts. Although the proportion of rattler particles and mean coordination number strongly depend on the size distribution, the mean coordination of non-rattler particles attains the frictionless isostatic value of six in all cases. The size distribution of non-rattler particles that participate in the load-bearing network exhibits no dependence on the width of the total particle size distribution beyond a critical particle size for low-magnitude exponent power laws. This signifies that only particles with sizes greater than the critical particle size contribute to the mechanical stability. However, for high-magnitude exponent power laws, all particle sizes participate in the mechanical stability of the packing.


title: Implications of Surface Roughness in Models of Water Desorption on the Moon

abstract: The observed presence of water molecules in the dayside lunar regolith was an unexpected discovery and remains poorly understood. Standard thermophysical models predict temperatures that are too high for adsorbed water to be stable. We propose that this problem can be caused by the assumption of locally flat surfaces that is common in such models. Here we apply a model that explicitly considers surface roughness, and accounts for solar illumination, shadows cast by topography, self-heating, thermal reradiation, and heat conduction. We couple the thermophysical model to a model of first-order desorption of lunar surface water and demonstrate that surface roughness substantially increases the capability of the Moon to retain water on its sunlit hemisphere at any latitude, and within $45^{\circ}$ of the poles, at any time of the lunar day. Hence, we show that lunar surface roughness has a strong influence on lunar water adsorption and desorption. Therefore, it is of critical importance to take account of surface roughness to get an accurate picture of the amount of water on the Moon's surface and in its exosphere.


title: Combining Gradients and Probabilities for Heterogeneous Approximation of Neural Networks

abstract: This work explores the search for heterogeneous approximate multiplier configurations for neural networks that produce high accuracy and low energy consumption. We discuss the validity of additive Gaussian noise added to accurate neural network computations as a surrogate model for behavioral simulation of approximate multipliers. The continuous and differentiable properties of the solution space spanned by the additive Gaussian noise model are used as a heuristic that generates meaningful estimates of layer robustness without the need for combinatorial optimization techniques. Instead, the amount of noise injected into the accurate computations is learned during network training using backpropagation. A probabilistic model of the multiplier error is presented to bridge the gap between the domains; the model estimates the standard deviation of the approximate multiplier error, connecting solutions in the additive Gaussian noise space to actual hardware instances. Our experiments show that the combination of heterogeneous approximation and neural network retraining reduces the energy consumption for multiplications by 70% to 79% for different ResNet variants on the CIFAR-10 dataset with a Top-1 accuracy loss below one percentage point. For the more complex Tiny ImageNet task, our VGG16 model achieves a 53 % reduction in energy consumption with a drop in Top-5 accuracy of 0.5 percentage points. We further demonstrate that our error model can predict the parameters of an approximate multiplier in the context of the commonly used additive Gaussian noise (AGN) model with high accuracy. Our software implementation is available under https://github.com/etrommer/agn-approx.


title: Multiplicities of maximal weights of the $\hat{s\ell}(n) $-module $V(k\Lambda_0)$

abstract: Consider the affine Lie algebra $\hat{s\ell}(n)$ with null root $\delta$, weight lattice $P$ and set of dominant weights $P^+$. Let $V(k\Lambda_0), \, k \in \mathbb{Z}_{\geq 1}$ denote the integrable highest weight $\hat{s\ell}(n)$-module with level $k \geq 1$ highest weight $k\Lambda_0$. Let $wt(V)$ denote the set of weights of $V(k\Lambda_0)$. A weight $\mu \in wt(V)$ is a maximal weight if $\mu + \delta \not\in wt(V)$. Let $max^+(k\Lambda_0)= max(k\Lambda_0)\cap P^+$ denote the set of maximal dominant weights which is known to be a finite set. In 2014, the authors gave the complete description of the set $max^+(k\Lambda_0)$. In subsequent papers the multiplicities of certain subsets of $max^+(k\Lambda_0)$ were given in terms of some pattern-avoiding permutations using the associated crystal base theory. In this paper the multiplicity of all the maximal dominant weights of the $\hat{s\ell}(n) $-module $V(k\Lambda_0)$ are given generalizing the known results.


title: Predicting Beam Transmission Using 2-Dimensional Phase Space Projections Of Hadron Accelerators

abstract: We present a method to compressed the 2D transverse phase space projections from a hadron accelerator and use that information to predict the beam transmission. This method assumes that it is possible to obtain at least three projections of the 4D transverse phase space and that an accurate simulation model is available for the beamline. Using a simulated model we show that, a procedure using a convolutional autoencoder can be trained to reduce phase-space information which can later be used to predict the beam transmission. Finally, we argue that although using projections from a realistic non-linear distribution produces less accurate results, the method still generalizes well.


title: The manipulation of ultracold atoms of high orbitals in optical lattices

abstract: Ultracold atoms in optical lattices are a powerful tool for quantum simulation, precise measurement, and quantum computation. A fundamental problem in applying this quantum system is how to manipulate the higher bands or orbitals in Bloch states effectively. Here we mainly review our methods for manipulating high orbital ultracold atoms in optical lattices with different configurations. Based on these methods, we construct the atom-orbital qubit under nonadiabatic holonomic quantum control and Ramsey interferometry with trapped motional quantum states. Then we review the observation of the novel quantum states and the study of the dynamical evolution of the high orbital atoms in optical lattices. The effective manipulation of the high orbitals provides strong support for applying ultracold atoms in the optical lattice in many fields.


title: Stochastic homogenization for Hamilton-Jacobi-Bellman equations on continuum percolation clusters

abstract: We prove homogenization properties of random Hamilton-Jacobi-Bellman (HJB) equations on continuum percolation clusters, almost surely w.r.t. the law of the environment when the origin belongs to the unbounded component in the continuum. Here, the viscosity term carries a degenerate matrix, the Hamiltonian is convex and coercive w.r.t. the degenerate matrix and the underlying environment is non-elliptic and its law is non-stationary w.r.t. the translation group. We do not assume uniform ellipticity inside the percolation cluster, nor any finite-range dependence (i.i.d.) assumption on the percolation models and the effective Hamiltonian admits a variational formula which reflects some key properties of percolation. The proof is inspired by a method of Kosygina-Rezakhanlou-Varadhan [KRV06] developed for the case of HJB equations with constant viscosity and uniformly coercive Hamiltonian in a stationary, ergodic and elliptic random environment. In the non-stationary and non-elliptic set up, we leverage the coercivity property of the underlying Hamiltonian as well as a relative entropy structure (both being intrinsic properties of HJB, in any framework) and make use of the random geometry of continuum percolation.


title: Magnetic quivers and negatively charged branes

abstract: The Higgs branches of the world-volume theories for multiple M5 branes on an $A_k$ or $D_k$-type ALE space are known to host a variety of fascinating properties, such as the small $E_8$ instanton transition or the discrete gauging phenomena. This setup can be further enriched by the inclusion of boundary conditions, which take the form of $SU(k)$ or $SO(2k)$ partitions, respectively. Unlike the $A$-type case, $D$-type boundary conditions are eventually accompanied by negative brane numbers in the Type IIA brane realisation. While this may seem discouraging at first, we demonstrate that these setups are well-suited to analyse the Higgs branches via magnetic quivers. Along the way, we encounter multiple models with previously neglected Higgs branches that exhibit exciting physics and novel geometric realisations. Nilpotent orbits, Slodowy slices, and symmetric products.


title: Testing the Hubble law with Pantheon+

abstract: The Hubble law (HL) governs the low-redshift (low-z) evolution of the distance of an object. However, there is a lack of an investigation of its validity and effective radius for a long time, since the low-z background data with a high precision is scarce. The latest Type Ia supernovae sample Pantheon+ having a significant increase of low-z data provides an excellent opportunity to test the HL. We propose a generalized HL and implement the first modern test of the HL with Pantheon+. We obtain the constraint on the deviation parameter $\alpha=1.00118\pm0.00044$, confirm the validity of linear HL with a $0.04\%$ precision and give the transition redshift $z_t=0.03$ and luminosity distance $D_{L,t}=123.13\pm1.75$ Mpc, which means that HL holds when $z<0.03$ and breaks down at a distance of $D_L>123.13$ Mpc. Comparing the ability of Type Ia supernovae and HII galaxies in testing the HL, we stress the uniqueness and strong power of Type Ia supernovae in probing the low-z physics.


title: Training-Time Attacks against k-Nearest Neighbors

abstract: Nearest neighbor-based methods are commonly used for classification tasks and as subroutines of other data-analysis methods. An attacker with the capability of inserting their own data points into the training set can manipulate the inferred nearest neighbor structure. We distill this goal to the task of performing a training-set data insertion attack against $k$-Nearest Neighbor classification ($k$NN). We prove that computing an optimal training-time (a.k.a. poisoning) attack against $k$NN classification is NP-Hard, even when $k = 1$ and the attacker can insert only a single data point. We provide an anytime algorithm to perform such an attack, and a greedy algorithm for general $k$ and attacker budget. We provide theoretical bounds and empirically demonstrate the effectiveness and practicality of our methods on synthetic and real-world datasets. Empirically, we find that $k$NN is vulnerable in practice and that dimensionality reduction is an effective defense. We conclude with a discussion of open problems illuminated by our analysis.


title: Rapid readout of terahertz orbital angular momentum beams using atom-based imaging

abstract: We demonstrate the rapid readout of terahertz (THz) orbital angular momentum (OAM) beams using an atomic-vapour based imaging technique. OAM modes with both azimuthal and radial indices are created using phase-only transmission plates. The beams undergo terahertz to optical conversion in an atomic vapour, before being imaged in the far field using an optical CCD camera. In addition to the spatial intensity profile, we also observe the self-interferogram of the beams by imaging through a tilted lens, allowing the sign and magnitude of the azimuthal index to be read out directly. Using this technique, we can reliably read out the OAM mode of low-intensity beams with high fidelity in 10 ms. Such a demonstration is expected to have far-reaching consequences for proposed applications of terahertz OAM beams in communications and microscopy.


title: RIS-aided secure communications over Fisher-Snedecor $\mathcal{F}$ Fading Channels

abstract: \textcolor{blue}{In} this paper, we investigate the performance of physical layer security (PLS) over reconfigurable intelligent surfaces (RIS)-aided wireless communication systems, where all fading channels are modeled with Fisher-Snedecor $\mathcal{F}$ distribution. Specifically, we consider a RIS with $N$ reflecting elements between the transmitter and the legitimate receiver to develop a smart environment and also meliorate secure communications. In this regard, we derive the closed-form expressions for the secrecy outage probability (SOP) and average secrecy capacity (ASC). \textcolor{blue}{We also analyze the asymptotic behaviour of the SOP and ASC by exploiting the residue approach}. Monte-Carlo (MC) simulation results are provided throughout to validate the correctness of the developed analytical results, showing that considering RIS in wireless communication systems has constructive effects on the secrecy performance.


title: Understanding the "Pathway" Towards a Searcher's Learning Objective

abstract: Search systems are often used to support learning-oriented goals. This trend has given rise to the "search-as-learning" movement, which proposes that search systems should be designed to support learning. To this end, an important research question is: How does a searcher's \emph{type} of learning objective influence their trajectory (or \emph{pathway}) towards that objective? We report on a lab study ($N=36$) in which participants gathered information to meet a specific type of learning objective. To characterize learning objectives \emph{and pathways}, we leveraged Anderson and Krathwohl's (A\&K's) taxonomy \cite{anderson2001taxonomy}. Participants completed learning-oriented search tasks that varied along three cognitive processes (apply, evaluate, create) and three knowledge types (factual, conceptual, procedural knowledge). A \emph{pathway} is defined as a sequence of \emph{learning instances} (e.g., subgoals) that were also each classified into cells from A\&K's taxonomy. Our study used a think-aloud protocol, and pathways were generated through a qualitative analysis of participants' think-aloud comments and recorded screen activities. We investigate three research questions. First, in RQ1, we study the impact of the learning objective on pathway characteristics (e.g., pathway length). Second, in RQ2, we study the impact of the learning objective on the types of A\&K cells traversed along the pathway. Third, in RQ3, we study common and uncommon \emph{transitions} between A\&K cells along pathways conditioned on the knowledge type of the objective. We discuss implications of our results for designing search systems to support learning.


title: K\"{a}hler identities for almost complex manifolds

abstract: We obtain a generalization, for a general compact almost complex manifold, of the well-known K\"{a}hler (or Hodge) identities for K\"{a}hler manifolds involving the commutators of the exterior differential and the Lefschetz operator and its adjoint. The main idea is to study the problem on the Clifford bundle via the Dirac operator, and then translate the results to the exterior bundle.


title: LCSM: A Lightweight Complex Spectral Mapping Framework for Stereophonic Acoustic Echo Cancellation

abstract: The traditional adaptive algorithms will face the non-uniqueness problem when dealing with stereophonic acoustic echo cancellation (SAEC). In this paper, we first propose an efficient multi-input and multi-output (MIMO) scheme based on deep learning to filter out echoes from all microphone signals at once. Then, we employ a lightweight complex spectral mapping framework (LCSM) for end-to-end SAEC without decorrelation preprocessing to the loudspeaker signals. Inplace convolution and channel-wise spatial modeling are utilized to ensure the near-end signal information is preserved. Finally, a cross-domain loss function is designed for better generalization capability. Experiments are evaluated on a variety of untrained conditions and results demonstrate that the LCSM significantly outperforms previous methods. Moreover, the proposed causal framework only has 0.55 million parameters, much less than the similar deep learning-based methods, which is important for the resource-limited devices.


title: $K$-theory of Flag Bott manifolds

abstract: The aim of this paper is to describe the topological $K$-ring, in terms of generators and relations of a flag Bott manifold. We apply our results to give a presentation for the topological K-ring and hence the Grothendieck ring of algebraic vector bundles over flag Bott Samelson varieties.


title: Quantitative modeling of streamer discharge branching in air

abstract: Streamer discharges are the primary mode of electric breakdown of air in lightning and high voltage technology. Streamer channels branch many times, which determines the developing tree-like discharge structure. Understanding these branched structures is for example important to describe streamer coronas in lightning research. We simulate branching of positive streamers in air using a 3D fluid model where photoionization is included as a discrete and stochastic process. The probability and morphology of branching are in good agreement with dedicated experiments. This demonstrates that photoionization indeed provides the noise that triggers branching, and we show that branching is remarkably sensitive to the amount of photoionization. Our comparison is therefore one of the first sensitive tests for Zheleznyak's photoionization model, confirming its validity.


title: A geometric construction of isospectral magnetic graphs

abstract: We present a geometrical construction of families of finite isospectral graphs labelled by different partitions of a natural number $r$ of given length $s$ (the number of summands). Isospectrality here refers to the discrete magnetic Laplacian with normalised weights (including standard weights). The construction begins with an arbitrary finite graph $G$ with normalised weight and magnetic potential as a building block from which we construct, in a first step, a family of so-called frame graphs $(F_a)_{a \in \mathbb{N}}$. A frame graph $F_a$ is constructed contracting $a$ copies of $G$ along a subset of vertices $V_0$. In a second step, for any partition $A=(a_1,\dots,a_s)$ of length $s$ of a natural number $r$ (i.e., $r=a_1+\dots+a_s$) we construct a new graph $F_A$ contracting now the frames $F_{a_1},\dots,F_{a_s}$ selected by $A$ along a proper subset of vertices $V_1\subset V_0$. All the graphs obtained by different $s$-partitions of $r\geq 4$ (for any choice of $V_0$ and $V_1$) are isospectral and non-isomorphic. In particular, we obtain increasing finite families of graphs which are isospectral for given $r$ and $s$ for different types of magnetic Laplacians including the standard Laplacian, the signless standard Laplacian, certain kinds of signed Laplacians and, also, for the (unbounded) Kirchhoff Laplacian of the underlying equilateral metric graph. The spectrum of the isospectral graphs is determined by the spectrum of the Laplacian of the building block $G$ and the spectrum for the Laplacian with Dirichlet conditions on the set of vertices $V_0$ and $V_1$ with multiplicities determined by the numbers $r$ and $s$ of the partition.


title: Debiased Recommendation with Neural Stratification

abstract: Debiased recommender models have recently attracted increasing attention from the academic and industry communities. Existing models are mostly based on the technique of inverse propensity score (IPS). However, in the recommendation domain, IPS can be hard to estimate given the sparse and noisy nature of the observed user-item exposure data. To alleviate this problem, in this paper, we assume that the user preference can be dominated by a small amount of latent factors, and propose to cluster the users for computing more accurate IPS via increasing the exposure densities. Basically, such method is similar with the spirit of stratification models in applied statistics. However, unlike previous heuristic stratification strategy, we learn the cluster criterion by presenting the users with low ranking embeddings, which are future shared with the user representations in the recommender model. At last, we find that our model has strong connections with the previous two types of debiased recommender models. We conduct extensive experiments based on real-world datasets to demonstrate the effectiveness of the proposed method.


title: Differentiable WORLD Synthesizer-based Neural Vocoder With Application To End-To-End Audio Style Transfer

abstract: In this paper, we propose a differentiable WORLD synthesizer and demonstrate its use in end-to-end audio style transfer tasks such as (singing) voice conversion and the DDSP timbre transfer task. Accordingly, our baseline differentiable synthesizer has no model parameters, yet it yields adequate synthesis quality. We can extend the baseline synthesizer by appending lightweight black-box postnets which apply further processing to the baseline output in order to improve fidelity. An alternative differentiable approach considers extraction of the source excitation spectrum directly, which can improve naturalness albeit for a narrower class of style transfer applications. The acoustic feature parameterization used by our approaches has the added benefit that it naturally disentangles pitch and timbral information so that they can be modeled separately. Moreover, as there exists a robust means of estimating these acoustic features from monophonic audio sources, it allows for parameter loss terms to be added to an end-to-end objective function, which can help convergence and/or further stabilize (adversarial) training.


title: Evaluating and improving real-world evidence with Targeted Learning

abstract: Purpose: The Targeted Learning roadmap provides a systematic guide for generating and evaluating real-world evidence (RWE). From a regulatory perspective, RWE arises from diverse sources such as randomized controlled trials that make use of real-world data, observational studies, and other study designs. This paper illustrates a principled approach to assessing the validity and interpretability of RWE. Methods: We applied the roadmap to a published observational study of the dose-response association between ritodrine hydrochloride and pulmonary edema among women pregnant with twins in Japan. The goal was to identify barriers to causal effect estimation beyond unmeasured confounding reported by the study's authors, and to explore potential options for overcoming the barriers that robustify results. Results: Following the roadmap raised issues that led us to formulate alternative causal questions that produced more reliable, interpretable RWE. The process revealed a lack of information in the available data to identify a causal dose-response curve. However, under explicit assumptions the effect of treatment with any amount of ritodrine versus none, albeit a less ambitious parameter, can be estimated from data. Conclusion: Before RWE can be used in support of clinical and regulatory decision-making, its quality and reliability must be systematically evaluated. The TL roadmap prescribes how to carry out a thorough, transparent, and realistic assessment of RWE. We recommend this approach be a routine part of any decision-making process.


title: Rational quadrilaterals

abstract: A quadrilateral is said to be rational if its four sides, the two diagonals and the area are all expressible by rational numbers. The problem of constructing rational quadrilaterals dates back to the seventh century when Brahmagupta gave an elegant solution of the problem. In 1848 Kummer gave a method of generating all rational quadrilaterals. In this paper we present an alternative method of generating all rational quadrilaterals. For rational cyclic quadrilaterals, we obtain a complete parametrization and for noncyclic rational quadrilaterals, we give several parametrizations in terms of quadratic and quartic polynomials. The parametrizations obtained in this paper are simpler than the known parametrizations of rational quadrilaterals. We also describe how further parametrizations of rational quadrilaterals may be obtained.


title: Fluctuations of conserved charges in strong magnetic fields from lattice QCD

abstract: We present the first lattice QCD results of the second order fluctuations of and correlations among net baryon number, electric charge and strangeness in (2+1)-flavor lattice QCD in the presence of a background magnetic field with physical pion mass $m_{\pi}=135$ MeV. To mimic the magnetic field strength produced in the early stage of heavy-ion collision experiments we use 6 different values of the magnetic field strength up to $ \sim $10$m_{\pi}^2$. We find that the correlations between baryon number and electric charge along the transition line are substantially affected by magnetic fields in the current $eB$ window, which could be useful for probing the existence of a magnetic field in heavy-ion collision experiments.


title: Smooth Models for Certain Fibered Partially Hyperbolic Systems

abstract: We prove that under restrictions on the fiber, any fibered partially hyperbolic system over a nilmanifold is leaf conjugate to a smooth model that is isometric on the fibers and descends to a hyperbolic nilmanifold automorphism on the base. One ingredient is a result of independent interest generalizing a result of Hiraide: an Anosov homeomorphism of a nilmanifold is topologically conjugate to a hyperbolic nilmanifold automorphism.


title: Precise mass determination for the keystone sub-Neptune planet transiting the mid-type M dwarf G 9-40

abstract: Context. Despite being a prominent subset of the exoplanet population discovered in the past three decades, the nature and provenance of sub-Neptune-sized planets are still one of the open questions in exoplanet science. Aims. For planets orbiting bright stars, precisely measuring the orbital and planet parameters of the system is the best approach to distinguish between competing theories regarding their formation and evolution. Methods. We obtained 69 new radial velocity observations of the mid-M dwarf G 9-40 with the CARMENES instrument to measure for the first time the mass of its transiting sub-Neptune planet, G 9-40 b, discovered in data from the K2 mission. Results. Combined with new observations from the TESS mission during Sectors 44, 45, and 46, we are able to measure the radius of the planet to an uncertainty of 3.4% (Rb = 1.900 +- 0.065 Re) and determine its mass with a precision of 16% (Mb = 4.00 +- 0.63 Me). The resulting bulk density of the planet is inconsistent with a terrestrial composition and suggests the presence of either a water-rich core or a significant hydrogen-rich envelope. Conclusions. G 9-40 b is referred to as a keystone planet due to its location in period-radius space within the radius valley. Several theories offer explanations for the origin and properties of this population and this planet is a valuable target for testing the dependence of those models on stellar host mass. By virtue of its brightness and small size of the host, it joins L 98-59 d as one of the two best warm (Teq ~ 400 K) sub-Neptunes for atmospheric characterization with JWST, which will probe cloud formation in sub-Neptune-sized planets and break the degeneracies of internal composition models.


title: Universal Cusp Scaling in Random Partitions

abstract: We study the universal scaling limit of random partitions obeying the Schur measure. Extending our previous analysis [arXiv:2012.06424], we obtain the higher-order Pearcey kernel describing the multi-critical behavior in the cusp scaling limit. We explore the gap probability associated with the higher Pearcey kernel, and derive the coupled nonlinear differential equation and the asymptotic behavior in the large gap limit.

categories: math-ph cond-mat.stat-mech hep-th math.CO math.MP math.PR


title: A Tool for Neural Network Global Robustness Certification and Training

abstract: With the increment of interest in leveraging machine learning technology in safety-critical systems, the robustness of neural networks under external disturbance receives more and more concerns. Global robustness is a robustness property defined on the entire input domain. And a certified globally robust network can ensure its robustness on any possible network input. However, the state-of-the-art global robustness certification algorithm can only certify networks with at most several thousand neurons. In this paper, we propose the GPU-supported global robustness certification framework GROCET, which is more efficient than the previous optimization-based certification approach. Moreover, GROCET provides differentiable global robustness, which is leveraged in the training of globally robust neural networks.


title: Resurgent aspects of applied exponential asymptotics

abstract: In many physical problems, it is important to capture exponentially-small effects that lie beyond-all-orders of a typical asymptotic expansion; when collected, the full expansion is known as the trans-series. Applied exponential asymptotics has been enormously successful in developing practical tools for studying the leading exponentials of a trans-series expansion, typically in the context of singular non-linear perturbative differential or integral equations. Separate to applied exponential asymptotics, there exists a closely related line of development known as \'Ecalle's theory of resurgence, which describes the connection between trans-series and a certain class of holomorphic functions known as resurgent functions. This connection is realised through the process of Borel resummation. However, in contrast to singularly perturbed problems, Borel resummation and \'Ecalle's resurgence theory have mainly focused on non-parametric asymptotic expansions (i.e. differential equations without a parameter). The relationships between these latter areas and applied exponential asymptotics has not been thoroughly examined, partially due to differences in language and emphasis. In this work, we explore these connections by developing an alternative framework for the factorial-over-power ansatz in exponential asymptotics that is centred on the Borel plane. Our work clarifies a number of elements used in applied exponential asymptotics, such as the heuristic use of Van Dyke's rule and the universality of factorial-over-power ansatzes. Along the way, we provide a number of useful tools for probing more pathological problems in exponential asymptotics known to arise in applications; this includes problems with coalescing singularities, nested boundary layers, and more general late-term behaviours.


title: Elderly Fall Detection Using CCTV Cameras under Partial Occlusion of the Subjects Body

abstract: One of the possible dangers that older people face in their daily lives is falling. Occlusion is one of the biggest challenges of vision-based fall detection systems and degrades their detection performance considerably. To tackle this problem, we synthesize specifically-designed occluded videos for training fall detection systems using existing datasets. Then, by defining a new cost function, we introduce a framework for weighted training of fall detection models using occluded and un-occluded videos, which can be applied to any learnable fall detection system. Finally, we use both a non-deep and deep model to evaluate the effect of the proposed weighted training method. Experiments show that the proposed method can improve the classification accuracy by 36% for a non-deep model and 55% for a deep model in occlusion conditions. Moreover, it is shown that the proposed training framework can also significantly improve the detection performance of a deep network on normal un-occluded samples.


title: $S$-wave fully charmed tetraquark resonant states

abstract: We calculate the mass spectrum of the $S$-wave fully-charmed tetraquark resonant states $cc\bar c\bar c $ in the nonrelativistic quark model, which successfully describes the charmonium spectrum. The four-body system is solved with the Gaussian expansion method. The complex scaling technique is used to identify the genuine resonances. With the nonrelativistic quark model, our results show the existence of two $cc\bar c\bar c$ resonances in each of the $J^{PC}=$ $0^{++}$, $1^{+-}$ and $2^{++}$ sectors, respectively. In the $S$-wave sector, no resonance is found at the energy region of the $X(6200)$ and $X(6600)$ states. The lower $0^{++}$ and $2^{++}$ resonances are located around $100$ MeV higher than the $X(6900)$ state observed in experiments but have the decay widths consistent with the experiment. The higher $0^{++}$ and $2^{++}$ resonances are found at around $7.2$ GeV with the widths of $60.6$ MeV and $91.2$ MeV, respectively, and they may be good candidates for the $X(7200)$ state.


title: First Search for Axion-Like Particles in a Storage Ring Using a Polarized Deuteron Beam

abstract: Based on the notion that the local dark-matter field of axions or axion-like particles (ALPs) in our Galaxy induces oscillating couplings to the spins of nucleons and nuclei (via the electric dipole moment of the latter and/or the paramagnetic axion-wind effect), we establish the feasibility of a new method to search for ALPs in storage rings. Based on previous work that allows us to maintain the in-plane polarization of a stored deuteron beam for a few hundred seconds, we performed a first proof-of-principle experiment at the Cooler Synchrotron COSY to scan momenta near 970 MeV/c. This entailed a scan of the spin precession frequency. At resonance between the spin precession frequency of deuterons and the ALP-induced EDM oscillation frequency there will be an accumulation of the polarization component out of the ring plane. Since the axion frequency is unknown, the momentum of the beam and consequently the spin precession frequency were ramped to search for a vertical polarization change that would occur when the resonance is crossed. At COSY, four beam bunches with different polarization directions were used to make sure that no resonance was missed because of the unknown relative phase between the polarization precession and the axion/ALP field. A frequency window of 1.5-kHz width around the spin precession frequency of 121 kHz was scanned. We describe the experimental procedure and a test of the methodology with the help of a radiofrequency Wien filter located on the COSY ring. No ALP resonance was observed. As a consequence an upper limit of the oscillating EDM component of the deuteron as well as its axion coupling constants are provided.


title: Absorption of Transverse Spin Current in Ferromagnetic NiCu: Dominance of Bulk Dephasing over Spin-Flip Scattering

abstract: In ferromagnetic metals, transverse spin currents are thought to be absorbed via dephasing -- i.e., destructive interference of spins precessing about the strong exchange field. Yet, due to the ultrashort coherence length of $\approx$1 nm in typical ferromagnetic thin films, it is difficult to distinguish dephasing in the bulk from spin-flip scattering at the interface. Here, to assess which mechanism dominates, we examine transverse spin-current absorption in ferromagnetic NiCu alloy films with reduced exchange fields. We observe that the coherence length increases with decreasing Curie temperature, as weaker dephasing in the film bulk slows down spin absorption. Moreover, nonmagnetic Cu impurities do not diminish the efficiency of spin-transfer torque from the absorbed spin current. Our findings affirm that transverse spin current is predominantly absorbed by dephasing inside the nanometer-thick ferromagnetic metals, even with high impurity contents.


title: Antipodal two-weight rank metric codes

abstract: We consider the class of linear antipodal two-weight rank metric codes and discuss their properties and characterization in terms of $t$-spreads. It is shown that the dimension of such codes is $2$ and the minimum rank distance is at least half of the length. We construct antipodal two-weight rank metric codes from certain MRD codes. A complete classification of such codes is obtained, when the minimum rank distance is equal to half of the length. As a consequence of our construction of two-weight rank metric codes, we get some explicit two-weight Hamming metric codes.


title: Nonperturbative approach to interfacial spin-orbit torques induced by Rashba effect

abstract: Current-induced spin-orbit torque (SOT) in normal metal/ferromagnet (NM/FM) bilayers bears great promise for technological applications, but the microscopic origin of purely interfacial SOTs in ultra-thin systems is not yet fully understood. Here, we show that a linear response theory with a nonperturbative treatment of spin-dependent interactions and impurity scattering potential predicts damping-like SOTs that are strictly absent in perturbative approaches. The technique is applied to a two-dimensional Rashba-coupled ferromagnet (the paradigmatic model of a NM/FM interface), where higher-order scattering processes encoding skew scattering from nonmagnetic impurities allow for current-induced spin polarization with nonzero components along all spatial directions. This is in stark contrast to previous results of perturbative methods (neglecting skew scattering), which predict a coplanar spin-polarization locked perpendicular to the charge current as a result of conventional Rashba-Edelstein effect. Furthermore, the angular dependence of ensuing SOTs and their dependence upon the scattering potential strength is analysed numerically. Simple analytic expressions for the spin-density--charge-current response function, and related SOT efficiencies, are obtained in the weak scattering limit. We find that the extrinsic damping-like torques driven by impurity scattering reaches efficiencies of up to 7% of the field-like (Rashba-Edelstein) torque. Our microscopic theory shows that bulk phenomena, such as the spin Hall effect, are not a necessity in the generation of the damping-like SOTs of the type observed in experiments on ultra-thin systems.


title: A homotopy invariant of stable maps to oriented surfaces

abstract: The singular set of a generic map $f: M\to F$ of a manifold $M$ of dimension $m\ge 2$ to an oriented surface $F$ is a closed smooth curve $\Sigma(f)$. We study the parity of the number of components of $\Sigma(f)$. The image $f(\Sigma)$ of the singular set inherits canonical local orientations via so-called chessboard functions. Such a local orientation gives rise to the cumulative winding number $\omega(f)\in \frac{1}{2}\mathbb{Z}$ of $\Sigma(f)$. When the dimension of the manifold $M$ is even we also define an invariant $I(f)$ which is the residue class modulo $4$ of the sum of the number of components of $\Sigma(f)$, the number of cusps, and twice the number of self-intersection points of $f(\Sigma)$. Using the cumulative winding number and the invariant $I(f)$, we show that the parity of the number of connected components of $\Sigma(f)$ does not change under homotopy of $f$ provided that one of the following conditions is satisfied: (i) the dimension of $M$ is even, (ii) the singular set of the homotopy is an orientable manifold, or (iii) the image of the singular set of the homotopy does not have triple self-intersection points.


title: Transformer-based Value Function Decomposition for Cooperative Multi-agent Reinforcement Learning in StarCraft

abstract: The StarCraft II Multi-Agent Challenge (SMAC) was created to be a challenging benchmark problem for cooperative multi-agent reinforcement learning (MARL). SMAC focuses exclusively on the problem of StarCraft micromanagement and assumes that each unit is controlled individually by a learning agent that acts independently and only possesses local information; centralized training is assumed to occur with decentralized execution (CTDE). To perform well in SMAC, MARL algorithms must handle the dual problems of multi-agent credit assignment and joint action evaluation. This paper introduces a new architecture TransMix, a transformer-based joint action-value mixing network which we show to be efficient and scalable as compared to the other state-of-the-art cooperative MARL solutions. TransMix leverages the ability of transformers to learn a richer mixing function for combining the agents' individual value functions. It achieves comparable performance to previous work on easy SMAC scenarios and outperforms other techniques on hard scenarios, as well as scenarios that are corrupted with Gaussian noise to simulate fog of war.


title: MagAO-X: current status and plans for Phase II

abstract: We present a status update for MagAO-X, a 2000 actuator, 3.6 kHz adaptive optics and coronagraph system for the Magellan Clay 6.5 m telescope. MagAO-X is optimized for high contrast imaging at visible wavelengths. Our primary science goals are detection and characterization of Solar System-like exoplanets, ranging from very young, still-accreting planets detected at H-alpha, to older temperate planets which will be characterized using reflected starlight. First light was in Dec, 2019, but subsequent commissioning runs were canceled due to COVID-19. In the interim, MagAO-X has served as a lab testbed. Highlights include implementation of several focal plane and low-order wavefront sensing algorithms, development of a new predictive control algorithm, and the addition of an IFU module. MagAO-X also serves as the AO system for the Giant Magellan Telescope High Contrast Adaptive Optics Testbed. We will provide an overview of these projects, and report the results of our commissioning and science run in April, 2022. Finally, we will present the status of a comprehensive upgrade to MagAO-X to enable extreme-contrast characterization of exoplanets in reflected light. These upgrades include a new post-AO 1000-actuator deformable mirror inside the coronagraph, latest generation sCMOS detectors for wavefront sensing, optimized PIAACMC coronagraphs, and computing system upgrades. When these Phase II upgrades are complete we plan to conduct a survey of nearby exoplanets in reflected light.


title: Strong Partially Greedy Bases with respect to An Arbitrary Sequence

abstract: For Schauder bases, Dilworth et al. introduced and characterized the partially greedy property, which is strictly weaker than the (almost) greedy property. Later, Berasategui et al. defined and studied the strong partially greedy property for general bases. Let $\mathbf n$ be any strictly increasing sequence of positive integers. In this paper, we define the strong partially greedy property with respect to $\mathbf n$, called the ($\mathbf n$, strong partially greedy) property. We give characterizations of this new property, study relations among ($\mathbf n$, strong partially greedy) properties for different sequences $\mathbf n$, establish Lebesgue-type inequalities for the ($\mathbf n$, strong partially greedy) parameter, investigate ($\mathbf n$, strong partially greedy) bases with gaps, and weighted ($\mathbf n$, strong partially greedy) bases, to name a few. Furthermore, we introduce the ($\mathbf n$, almost greedy) property and equate the property to a strengthening of the ($\mathbf n$, strong partially greedy) property. This paper can be viewed both as a survey of recent results regarding strong partially greedy bases and as an extension of these results to an arbitrary sequence instead of $\mathbb{N}$.


title: A Survey on Computing Schematic Network Maps: The Challenge to Interactivity

abstract: Schematic maps are in daily use to show the connectivity of subway systems and to facilitate travellers to plan their journeys effectively. This study surveys up-to-date algorithmic approaches in order to give an overview of the state of the art in schematic network mapping. The study investigates the hypothesis that the choice of algorithmic approach is often guided by the requirements of the mapping application. For example, an algorithm that computes globally optimal solutions for schematic maps is capable of producing results for printing, while it is not suitable for computing instant layouts due to its long running time. Our analysis and discussion, therefore, focus on the computational complexity of the problem formulation and the running times of the schematic map algorithms, including algorithmic network layout techniques and station labeling techniques. The correlation between problem complexity and running time is then visually depicted using scatter plot diagrams. Moreover, since metro maps are common metaphors for data visualization, we also investigate online tools and application domains using metro map representations for analytics purposes, and finally summarize the potential future opportunities for schematic maps.


title: Power sector effects of green hydrogen production in Germany

abstract: The use of green hydrogen can support the decarbonization of sectors which are difficult to electrify, such as industry or heavy transport. Yet, the wider power sector effects of providing green hydrogen are not well understood so far. We use an open-source electricity sector model to investigate potential power sector interactions of three alternative supply chains for green hydrogen in Germany in the year 2030. We distinguish between model settings in which Germany is modeled as an electric island versus embedded in an interconnected system with its neighboring countries, as well as settings with and without technology-specific capacity bounds on wind energy. The findings suggest that large-scale hydrogen storage can provide valuable flexibility to the power system in settings with high renewable energy shares. These benefits are more pronounced in the absence of flexibility from geographical balancing. We further find that the effects of green hydrogen production on the optimal generation portfolio strongly depend on the model assumptions regarding capacity expansion potentials. We also identify a potential distributional effect of green hydrogen production at the expense of other electricity consumers, of which policy makers should be aware.