title: Quantum computing online workshops and hackathon for Spanish speakers: A case study

abstract: We discuss the challenges and findings of organizing an online event in Spanish, consisting of a series of introductory workshops leading up to a quantum hackathon for Latin America. 220 Spanish speakers were registered, 66% of whom self-identified as being at an introductory level of quantum computing. We gain a better picture of the impact of quantum computing in Latin America, and the importance of generating educational resources in Spanish about quantum computing. Additionally, we report results on surveying the participants by country; educational status; self-reported levels of quantum computing, linear algebra, and Python competency; and their areas of interest within quantum. This event was organized by Quantum Universal Education with the Centro de Investigaci\'on en Computaci\'on del Instituto Polit\'ecnico Nacional (CIC-IPN) as the host institution, in collaboration with a number of organizations and companies: IBM Quantum, Xanadu, Multiverse Computing, Quantum Universal Education, Quantum Hispano, QMexico, Haq.ai, Dive in Learning. This was part of a larger event, the Qiskit Fall Fest 2021, as one of several hackathons organized around the world in a similar span of time. In each Qiskit Fall Fest hackathon, participants were challenged to form teams of up to 5, to develop in 5 days a project using the IBM Qiskit framework.


abstract: Counterfactual Risk Minimization (CRM) is a framework for dealing with the logged bandit feedback problem, where the goal is to improve a logging policy using offline data. In this paper, we explore the case where it is possible to deploy learned policies multiple times and acquire new data. We extend the CRM principle and its theory to this scenario, which we call "Sequential Counterfactual Risk Minimization (SCRM)." We introduce a novel counterfactual estimator and identify conditions that can improve the performance of CRM in terms of excess risk and regret rates, by using an analysis similar to restart strategies in accelerated optimization methods. We also provide an empirical evaluation of our method in both discrete and continuous action settings, and demonstrate the benefits of multiple deployments of CRM.


title: Decentralized core-periphery structure in social networks accelerates cultural innovation in agent-based model

abstract: Previous investigations into creative and innovation networks have suggested that innovations often occurs at the boundary between the network's core and periphery. In this work, we investigate the effect of global core-periphery network structure on the speed and quality of cultural innovation. Drawing on differing notions of core-periphery structure from [arXiv:1808.07801] and [doi:10.1016/S0378-8733(99)00019-2], we distinguish decentralized core-periphery, centralized core-periphery, and affinity network structure. We generate networks of these three classes from stochastic block models (SBMs), and use them to run an agent-based model (ABM) of collective cultural innovation, in which agents can only directly interact with their network neighbors. In order to discover the highest-scoring innovation, agents must discover and combine the highest innovations from two completely parallel technology trees. We find that decentralized core-periphery networks outperform the others by finding the final crossover innovation more quickly on average. We hypothesize that decentralized core-periphery network structure accelerates collective problem-solving by shielding peripheral nodes from the local optima known by the core community at any given time. We then build upon the "Two Truths" hypothesis regarding community structure in spectral graph embeddings, first articulated in [arXiv:1808.07801], which suggests that the adjacency spectral embedding (ASE) captures core-periphery structure, while the Laplacian spectral embedding (LSE) captures affinity. We find that, for core-periphery networks, ASE-based resampling best recreates networks with similar performance on the innovation SBM, compared to LSE-based resampling. Since the Two Truths hypothesis suggests that ASE captures core-periphery structure, this result further supports our hypothesis.


title: A Symmetry and Graph Regularized Nonnegative Matrix Factorization Model for Community Detection

abstract: Community is a fundamental and critical characteristic of a Large-scale Undirected Network (LUN) like a social network, making community detection a vital yet thorny issue in LUN representation learning. Owing to its good scalability and interpretability, a Symmetric and Nonnegative Matrix Factorization (SNMF) model is commonly used to tackle this issue. However, it adopts a unique Latent Factor (LF) matrix for precisely representing an LUN's symmetry, which leads to a reduced LF space that impairs its representational learning ability. Motivated by this discovery, this study proposes a Symmetry and Graph-regularized Nonnegative Matrix Factorization (SGNMF) method that adopts three-fold ideas: a) leveraging multiple LF matrices to represent an LUN, thereby enhancing its representation learning ability; b) introducing a symmetry regularization term that implies the equality constraint between its multiple LF matrices, thereby illustrating an LUN's symmetry; and c) incorporating graph regularization into its learning objective, thereby illustrating an LUN's intrinsic geometry. A theoretical proof is provided to ensure SGNMF's convergence on an LUN. Extensive experiment results on ten LUNs from real applications demonstrate that our proposed SGNMF-based community detector significantly outperforms several baseline and state-of-the-art models in achieving highly-accurate results for community detection.


title: All optical operation of a superconducting photonic interface

abstract: Advanced electro-optic processing combines electrical control with optical modulation and detection. For quantum photonic applications these processes must be carried out at the single photon level with high efficiency and low noise. Integrated quantum photonics has made great strides achieving single photon manipulation by combining key components on integrated chips which are operated by external driving electronics. Nevertheless, electrical interconnects between driving electronics and the electro-optic components, some of which require cryogenic operating conditions, can introduce parasitic effects. Here we show an all-optical interface which simultaneously delivers the operation power to, and extracts the measurement signal from, an advanced photonic circuit, namely, bias and readout of a superconducting nanowire single photon detector (SNSPD) on a single stage in a 1K cryostat. To do so, we supply all power for the single photon detector, output signal conditioning, and electro-optic readout using optical interconnects alone, thereby fully decoupling the cryogenic circuitry from the external environment. This removes the need to heatsink electrical connections, and potentially offers low-loss, high-bandwidth signal processing. This method opens the possibility to operate other advanced electrically decoupled photonic circuits such as optical control and readout of superconducting circuits, and feedforward for photonic quantum computing.


title: Pineline: Industrialization of High-Energy Theory Predictions

abstract: We present a collection of tools automating the efficient computation of large sets of theory predictions for high-energy physics. Calculating predictions for different processes often require dedicated programs. These programs, however, accept inputs and produce outputs that are usually very different from each other. The industrialization of theory predictions is achieved by a framework which harmonizes inputs (runcard, parameter settings), standardizes outputs (in the form of grids), produces reusable intermediate objects, and carefully tracks all meta data required to reproduce the computation. Parameter searches and fitting of non-perturbative objects are exemplary use cases that require a full or partial re-computation of theory predictions and will thus benefit of such a toolset. As an example application we present a study of the impact of replacing NNLO QCD K-factors in a PDF fit with the exact NNLO predictions.


title: The Hidden Shortcomings of (D)AOs -- An Empirical Study of On-Chain Governance

abstract: Decentralized autonomous organizations (DAOs) are a recent innovation in organizational structures, which are already widely used in the blockchain ecosystem. We empirically study the on-chain governance systems of 21 DAOs and open source the live dataset. The DAOs we study are of various size and activity, and govern a wide range of protocols and services, such as decentralized exchanges, lending protocols, infrastructure projects and common goods funding. Our analysis unveils a high concentration of voting rights, a significant hidden monetary costs of on-chain governance systems, as well as a remarkably high amount of pointless governance activity.


title: KHAN: Knowledge-Aware Hierarchical Attention Networks for Accurate Political Stance Prediction

abstract: The political stance prediction for news articles has been widely studied to mitigate the echo chamber effect -- people fall into their thoughts and reinforce their pre-existing beliefs. The previous works for the political stance problem focus on (1) identifying political factors that could reflect the political stance of a news article and (2) capturing those factors effectively. Despite their empirical successes, they are not sufficiently justified in terms of how effective their identified factors are in the political stance prediction. Motivated by this, in this work, we conduct a user study to investigate important factors in political stance prediction, and observe that the context and tone of a news article (implicit) and external knowledge for real-world entities appearing in the article (explicit) are important in determining its political stance. Based on this observation, we propose a novel knowledge-aware approach to political stance prediction (KHAN), employing (1) hierarchical attention networks (HAN) to learn the relationships among words and sentences in three different levels and (2) knowledge encoding (KE) to incorporate external knowledge for real-world entities into the process of political stance prediction. Also, to take into account the subtle and important difference between opposite political stances, we build two independent political knowledge graphs (KG) (i.e., KG-lib and KG-con) by ourselves and learn to fuse the different political knowledge. Through extensive evaluations on three real-world datasets, we demonstrate the superiority of DASH in terms of (1) accuracy, (2) efficiency, and (3) effectiveness.


title: Detecting Signs of Model Change with Continuous Model Selection Based on Descriptive Dimensionality

abstract: We address the issue of detecting changes of models that lie behind a data stream. The model refers to an integer-valued structural information such as the number of free parameters in a parametric model. Specifically we are concerned with the problem of how we can detect signs of model changes earlier than they are actualized. To this end, we employ {\em continuous model selection} on the basis of the notion of {\em descriptive dimensionality}~(Ddim). It is a real-valued model dimensionality, which is designed for quantifying the model dimensionality in the model transition period. Continuous model selection is to determine the real-valued model dimensionality in terms of Ddim from a given data. We propose a novel methodology for detecting signs of model changes by tracking the rise-up of Ddim in a data stream. We apply this methodology to detecting signs of changes of the number of clusters in a Gaussian mixture model and those of the order in an auto regression model. With synthetic and real data sets, we empirically demonstrate its effectiveness by showing that it is able to visualize well how rapidly model dimensionality moves in the transition period and to raise early warning signals of model changes earlier than they are detected with existing methods.


title: On the Generalization Ability of Retrieval-Enhanced Transformers

abstract: Recent work on the Retrieval-Enhanced Transformer (RETRO) model has shown that off-loading memory from trainable weights to a retrieval database can significantly improve language modeling and match the performance of non-retrieval models that are an order of magnitude larger in size. It has been suggested that at least some of this performance gain is due to non-trivial generalization based on both model weights and retrieval. In this paper, we try to better understand the relative contributions of these two components. We find that the performance gains from retrieval largely originate from overlapping tokens between the database and the test data, suggesting less non-trivial generalization than previously assumed. More generally, our results point to the challenges of evaluating the generalization of retrieval-augmented language models such as RETRO, as even limited token overlap may significantly decrease test-time loss. We release our code and model at https://github.com/TobiasNorlund/retro


title: Descent of splendid Rickard equivalences in ${\rm GL}_n(q)$

abstract: Let $n$ be a positive integer and $q$ a prime power. We prove that a refined version of Brou\'{e}'s abelian defect group conjecture holds for unipotent $\ell$-blocks of ${\rm GL}_n(q)$, where $\ell\nmid q$. We also give a sufficient condition on general $\ell$-blocks of ${\rm GL}_n(q)$ to satisfy the refined abelian defect group conjecture. We explain by an example that this sufficient condition does not hold in general.


title: Bayesian Structure Scores for Probabilistic Circuits

abstract: Probabilistic circuits (PCs) are a prominent representation of probability distributions with tractable inference. While parameter learning in PCs is rigorously studied, structure learning is often more based on heuristics than on principled objectives. In this paper, we develop Bayesian structure scores for deterministic PCs, i.e., the structure likelihood with parameters marginalized out, which are well known as rigorous objectives for structure learning in probabilistic graphical models. When used within a greedy cutset algorithm, our scores effectively protect against overfitting and yield a fast and almost hyper-parameter-free structure learner, distinguishing it from previous approaches. In experiments, we achieve good trade-offs between training time and model fit in terms of log-likelihood. Moreover, the principled nature of Bayesian scores unlocks PCs for accommodating frameworks such as structural expectation-maximization.


title: Automated Statement Extraction from Press Briefings

abstract: Scientific press briefings are a valuable information source. They consist of alternating expert speeches, questions from the audience and their answers. Therefore, they can contribute to scientific and fact-based media coverage. Even though press briefings are highly informative, extracting statements relevant to individual journalistic tasks is challenging and time-consuming. To support this task, an automated statement extraction system is proposed. Claims are used as the main feature to identify statements in press briefing transcripts. The statement extraction task is formulated as a four-step procedure. First, the press briefings are split into sentences and passages, then claim sentences are identified through sequence classification. Subsequently, topics are detected, and the sentences are filtered to improve the coherence and assess the length of the statements. The results indicate that claim detection can be used to identify statements in press briefings. While many statements can be extracted automatically with this system, they are not always as coherent as needed to be understood without context and may need further review by knowledgeable persons.


title: Exact solutions for Vacuum Decay in Unbounded Potentials

abstract: The Standard Model Higgs potential may become unbounded from below at large field values, with important cosmological implications. For a potential of this form, the commonly assumed scenario of a nucleated thin-wall bubble driving the transition from the electroweak vacuum to the unstable region does not apply. We present exact analytical solutions for potentials that have the same qualitative form as the Higgs potential. They show that the transition is driven by a thick-wall spherical bubble of true vacuum, with a surface that expands at asymptotically the speed of light. A `crunch' singularity appears in the quasi-AdS interior, with the collapsed region also expanding at asymptotically the speed of light. The singularity is surrounded by a region of trapped surfaces whose boundary forms an apparent horizon. An event horizon separates the singularity from the bubble exterior, so that the expansion of the bubble surface is not affected by the collapse of the interior. The solutions provide exact descriptions of the geometry for thick-wall bubbles and are consistent with the analysis of [1,2] for the Higgs potential.


title: Practical Analyses of How Common Social Media Platforms and Photo Storage Services Handle Uploaded Images

abstract: The research done in this study has delved deeply into the changes made to digital images that are uploaded to three of the major social media platforms and image storage services in today's society: Facebook, Flickr, and Google Photos. In addition to providing up-to-date data on an ever-changing landscape of different social media networks' digital fingerprints, a deep analysis of the social networks' filename conventions has resulted in two new approaches in (i) estimating the true upload date of Flickr photos, regardless of whether the dates have been changed by the user or not, and regardless of whether the image is available to the public or has been deleted from the platform; (ii) revealing the photo ID of a photo uploaded to Facebook based solely on the file name of the photo.


title: Tensor-triangular rigidity in chromatic homotopy theory

abstract: The question of tensor-triangular rigidity concerns whether it is possible to recover the higher homotopical information of a presentable stable symmetric monoidal $\infty$-category from its tensor-triangulated homotopy category alone. We prove that tensor-triangular rigidity interacts well with recollements, and as an application we obtain new results about the rigidity of $E(n)$-local spectra.


title: Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus

abstract: The ZX-calculus is a universal graphical language for qubit quantum computation, meaning that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is a complete graphical rewrite system: any equation involving linear maps that is derivable in the Hilbert space formalism for quantum theory can also be derived in the calculus by rewriting. It has widespread usage within quantum industry and academia for a variety of tasks such as quantum circuit optimisation, error-correction, and education. The ZW-calculus is an alternative universal graphical language that is also complete for qubit quantum computing. In fact, its completeness was used to prove that the ZX-calculus is universally complete. This calculus has advanced how quantum circuits are compiled into photonic hardware architectures in the industry. Recently, by combining these two calculi, a new calculus has emerged for qubit quantum computation, the ZXW-calculus. Using this calculus, graphical-differentiation, -integration, and -exponentiation were made possible, thus enabling the development of novel techniques in the domains of quantum machine learning and quantum chemistry. Here, we generalise the ZXW-calculus to arbitrary finite dimensions, that is, to qudits. Moreover, we prove that this graphical rewrite system is complete for any finite dimension. This is the first completeness result for any universal graphical language beyond qubits.


title: Warehouse Problem with Bounds, Fixed Costs and Complementarity Constraints

abstract: This paper studies an open question in the warehouse problem where a merchant trading a commodity tries to find an optimal inventory-trading policy to decide on purchase and sale quantities during a fixed time horizon in order to maximize their total pay-off, making use of fluctuations in sale and cost prices. We provide the first known polynomial-time algorithms for the case when there are fixed costs for purchases and sales, optional complementarity constraints that prohibit purchasing and selling during the same time period, and bounds on purchase and sales quantities. We do so by providing an exact characterization of the extreme points of the feasible region and using this to construct a suitable network where a min-cost flow computation provides an optimal solution. We are also able to provide polynomial extended linear formulations for the original feasible regions. Our methods build on the work by Wolsey and Yaman (Discrete Optimization 2018). We also consider the problem without fixed costs and provide a fully polynomial time approximation scheme in a setting with time-dependent bounds.


title: Optical conductivity and vibrational spectra of the narrow-gap semiconductor FeGa$_3$

abstract: Intermetallic narrow-gap semiconductors have been intensively explored due to their large thermoelectric power at low temperatures and a possible role of strong electronic correlations in their unusual thermodynamic and transport properties. Here we study the optical spectra and vibrational properties of $\mathrm{FeGa_3}$ single crystal. The optical conductivity indicates that $\mathrm{FeGa_3}$ has a direct band gap of $\sim 0.7$\,eV, consistent with density functional theory (DFT) calculations. Most importantly, we find a substantial spectral weight also below 0.4~eV, which is the energy of the indirect (charge) gap found in resistivity measurements and ab initio calculations. We find that the spectral weight below the gap decreases with increasing temperature, which indicates that it originates from the impurity states and not from the electronic correlations. Interestingly, we did not find any signatures of the impurity states in vibrational spectra. The infrared and Raman vibrational lines are narrow and weakly temperature dependent. The vibrational frequencies are in excellent agreement with our DFT calculations, implying a modest role of electronic correlations. Narrow M\" ossbauer spectral lines also indicate high crystallinity of the sample.


title: Minimal Projective Orbits of Semi-simple Lie Groups

abstract: Let $G$ be a Lie group $G$ with representation $\rho$ on a real simple $G$-module $\mathbb{V}$. We will call the orbits of the induced action of $\rho$ on the projectivization $P\mathbb{V}$ the projective orbits, and projective orbits of lowest possible dimension will be called minimal. We show that when $G$ is semi-simple and non-compact, there exists a compact subgroup $K\subset G$ such that the minimal orbits of $G$ are in bijection with the minimal $K$-orbits on a $K$-invariant proper subspace $\mathbb{W}\subset \mathbb{V}$. In the case that $G$ is split-real, $K$ is the trivial subgroup and there is a unique closed projective orbit, which is moreover of minimal dimension.


title: Automated Extraction of Fine-Grained Standardized Product Information from Unstructured Multilingual Web Data

abstract: Extracting structured information from unstructured data is one of the key challenges in modern information retrieval applications, including e-commerce. Here, we demonstrate how recent advances in machine learning, combined with a recently published multilingual data set with standardized fine-grained product category information, enable robust product attribute extraction in challenging transfer learning settings. Our models can reliably predict product attributes across online shops, languages, or both. Furthermore, we show that our models can be used to match product taxonomies between online retailers.


title: Strategyproof Social Decision Schemes on Super Condorcet Domains

abstract: One of the central economic paradigms in multi-agent systems is that agents should not be better off by acting dishonestly. In the context of collective decision-making, this axiom is known as strategyproofness and turns out to be rather prohibitive, even when allowing for randomization. In particular, Gibbard's random dictatorship theorem shows that only rather unattractive social decision schemes (SDSs) satisfy strategyproofness on the full domain of preferences. In this paper, we obtain more positive results by investigating strategyproof SDSs on the Condorcet domain, which consists of all preference profiles that admit a Condorcet winner. In more detail, we show that, if the number of voters $n$ is odd, every strategyproof and non-imposing SDS on the Condorcet domain can be represented as a mixture of dictatorial SDSs and the Condorcet rule (which chooses the Condorcet winner with probability $1$). Moreover, we prove that the Condorcet domain is a maximal connected domain that allows for attractive strategyproof SDSs if $n$ is odd as only random dictatorships are strategyproof and non-imposing on any sufficiently connected superset of it. We also derive analogous results for even $n$ by slightly extending the Condorcet domain. Finally, we also characterize the set of group-strategyproof and non-imposing SDSs on the Condorcet domain and its supersets. These characterizations strengthen Gibbard's random dictatorship theorem and establish that the Condorcet domain is essentially a maximal domain that allows for attractive strategyproof SDSs.


title: Characterizing the nucleus of comet 162P/Siding Spring using ground-based photometry

abstract: Comet 162P/Siding Spring is a large Jupiter-family comet with extensive archival lightcurve data. We report new r-band nucleus lightcurves for this comet, acquired in 2018, 2021 and 2022. With the addition of these lightcurves, the phase angles at which the nucleus has been observed range from $0.39^\circ$ to $16.33^\circ$. We absolutely-calibrate the comet lightcurves to r-band Pan-STARRS 1 magnitudes, and use these lightcurves to create a convex shape model of the nucleus by convex lightcurve inversion. The best-fitting shape model for 162P has axis ratios $a/b = 1.56$ and $b/c = 2.33$, sidereal period $P = 32.864\pm0.001$ h, and a rotation pole oriented towards ecliptic longitude $\lambda_E = 118^\circ \pm 26^\circ$ and latitude $\beta_E=-50^\circ\pm21^\circ$. We constrain the possible nucleus elongation to lie within $1.4 < a/b < 2.0$ and discuss tentative evidence that 162P may have a bilobed structure. Using the shape model to correct the lightcurves for rotational effects, we derive a linear phase function with slope $\beta=0.051\pm0.002$ mag deg$^{-1}$ and intercept $H_r(1,1,0) = 13.86 \pm 0.02$ for 162P. We find no evidence that the nucleus exhibited an opposition surge at phase angles down to 0.39$^\circ$. The challenges associated with modelling the shapes of comet nuclei from lightcurves are highlighted, and we comment on the extent to which we anticipate that LSST will alleviate these challenges in the coming decade.


title: 142 GHz Multipath Propagation Measurements and Path Loss Channel Modeling in Factory Buildings

abstract: This paper presents sub-Terahertz (THz) radio propagation measurements at 142 GHz conducted in four factories with various layouts and facilities to explore sub-THz wireless channels for smart factories in 6G and beyond. Here we study spatial and temporal channel responses at 82 transmitter-receiver (TX-RX) locations across four factories in the New York City area and over distances from 5 m to 85 m in both line-of-sight (LOS) and non-LOS (NLOS) environments. The measurements were performed with a sliding-correlation-based channel sounder with 1 GHz RF bandwidth with steerable directional horn antennas with 27 dBi gain and 8\degree~half-power beamwidth at both TX and RX, using both vertical and horizontal antenna polarizations, yielding over 75,000 directional power delay profiles. Channel measurements of two RX heights at 1.5 m (high) emulating handheld devices and at 0.5 m (low) emulating automated guided vehicles (AGVs) were conducted for automated industrial scenarios with various clutter densities. Results yield the first path loss models for indoor factory (InF) environments at 142 GHz and show the low RX height experiences a mean path loss increase of 10.7 dB and 6.0 dB when compared with the high RX height at LOS and NLOS locations, respectively. Furthermore, flat and rotatable metal plates were leveraged as passive reflecting surfaces (PRSs) in channel enhancement measurements to explore the potential power gain on sub-THz propagation channels, demonstrating a range from 0.5 to 22 dB improvement with a mean of 6.5 dB in omnidirectional channel gain as compared to when no PRSs are present.


title: Accurate measurement of the loss rate of cold atoms due to background gas collisions for the quantum-based cold atom vacuum standard

abstract: We present measurements of thermalized collisional rate coefficients for ultra-cold $^7$Li and $^{87}$Rb colliding with room-temperature He, Ne, N$_2$, Ar, Kr, and Xe. In our experiments, a combined flowmeter and dynamic expansion system, a vacuum metrology standard, is used to set a known number density for the room-temperature background gas in the vicinity of the magnetically trapped $^7$Li or $^{87}$Rb clouds. Each collision with a background atom or molecule removes a $^7$Li or $^{87}$Rb atom from its trap and the change in the atom loss rate with background gas density is used to determine the thermalized loss rate coefficients with fractional standard uncertainties better than 1.6 % for $^7$Li and 2.7 % for $^{87}$Rb. We find consistency -- a degree of equivalence of less than one -- between the measurements and recent quantum-scattering calculations of the loss rate coefficients [J. Klos and E. Tiesinga, J. Chem. Phys. 158, 014308 (2023)], with the exception of the loss rate coefficient for both $^7$Li and $^{87}$Rb colliding with Ar. Nevertheless, the agreement between theory and experiment for all other studied systems provides validation that a quantum-based measurement of vacuum pressure using cold atoms also serves as a primary standard for vacuum pressure, which we refer to as the cold-atom vacuum standard.


title: Capacity of Sun-driven Lunar Swingby Sequences and Their Application in Asteroid Retrieval

abstract: For deep-space mission design, the gravity of the Sun and the Moon can be first considered and utilized. Their gravity can provide the energy change for launching spacecraft and retrieving spacecraft as well as asteroids. Regarding an asteroid retrieval mission, it can lead to the mitigation of asteroid hazards and an easy exploration and exploitation of the asteroid. This paper discusses the application of the Sun-driven lunar swingby sequence for asteroid missions. Characterizing the capacity of this technique is not only interesting in terms of dynamic insights but also non-trivial for trajectory design. The capacity of a Sun-driven lunar swingby sequence is elucidated in this paper with the help of the "Swingby-Jacobi" graph. The capacity can be represented by a range of the Jacobi integral that encloses around 660 asteroids currently cataloged. To facilitate trajectory design, a database of Sun-perturbed Moon-to-Moon transfers, including multi-revolution cases is generated and employed. Massive trajectory options for spacecraft launch and asteroid capture can then be explored and optimized. Finally, a number of asteroid flyby, rendezvous, sample-return, and retrieval mission options enabled by the proposed technique are obtained.


title: Molecular Modeling of Aquaporins and Artificial Transmembrane Channels: a mini-review and perspective for plants

abstract: Aquaporins (AQPs) are a family of transmembrane channels that are found from archaea, eubacteria, and fungi kingdoms to plants and animals. These proteins play a major role in water and small solutes transport across biological cell membranes and maintain the osmotic balance of living cells. In this sense, many works in recent years have been devoted to understanding their behavior, including in plants, where 5 major groups of AQPs have been identified, whose physiological function details still have open questions waiting for an answer. In this direction, we observed in the literature very few Molecular Modeling studies focusing on plant AQPs. It creates a gap in the proper depiction of AQPs since Molecular Simulations allow us to get information that is usually inaccessible by experiments. Likewise, many efforts have been made to create artificial nanochannels with improved properties. It has the potential to help humanity (and plants) to face water stress -- a current problem that will be worsened by Climate Change. In this short review, we will revisit and discuss important computational studies about plant aquaporins and artificial transmembrane channels. With this, we aim to show how the Molecular Modeling community can (and should) help to understand plants' AQPs properties and function and how we can create new nanotechnology-based artificial channels.


title: Symplectic submanifolds in dimension $6$ from hyperelliptic Lefschetz fibrations

abstract: We provide a closed, simply connected, symplectic $6$-manifold having infinitely many codimension $2$ symplectic submanifolds which are mutually homologous but homotopy inequivalent and moreover, which cannot admit complex structures. The key ingredient for the construction is hyperelliptic Lefschetz fibrations on $4$-manifolds. As a corollary, we present a similar result on symplectic submanifolds of codimension $2$ in higher dimensions. In the appendix, we give a proof of the well-known fact that all symplectic submanifolds of codimension $2$ in $(\mathbb{CP}^3, \omega_{\mathrm{FS}})$ of a fixed degree $\leq 3$ are mutually diffeomorphic.


title: Anomalous Electronic Transport in High Mobility Corbino Rings

abstract: We report low-temperature electronic transport measurements performed in two multi-terminal Corbino samples formed in GaAs/Al-GaAs two-dimensional electron gases (2DEG) with both ultra-high electron mobility ($\gtrsim 20\times 10^6$ $cm^2/Vs)$ and with distinct electron density of $1.7$ and $3.6\times 10^{11}~cm^{-2}$. In both Corbino samples, a non-monotonic behavior is observed in the temperature dependence of the resistance below 1~$K$. Surprisingly, a sharp {\it decrease} in resistance is observed with {\it increasing} temperature in the sample with lower electron density, whereas an opposite behavior is observed in the sample with higher density. To investigate further, transport measurements were performed in large van der Pauw samples having identical heterostructures, and as expected they exhibit resistivity that is monotonic with temperature. Finally, we discuss the results in terms of various lengthscales leading to ballistic and hydrodynamic electronic transport, as well as a possible Gurzhi effect.


title: Streaming data recovery via Bayesian tensor train decomposition

abstract: In this paper, we study a Bayesian tensor train (TT) decomposition method to recover streaming data by approximating the latent structure in high-order streaming data. Drawing on the streaming variational Bayes method, we introduce the TT format into Bayesian tensor decomposition methods for streaming data, and formulate posteriors of TT cores. Thanks to the Bayesian framework of the TT format, the proposed algorithm (SPTT) excels in recovering streaming data with high-order, incomplete, and noisy properties. The experiments in synthetic and real-world datasets show the accuracy of our method compared to state-of-the-art Bayesian tensor decomposition methods for streaming data.


title: Beyond Bias and Compliance: Towards Individual Agency and Plurality of Ethics in AI

abstract: AI ethics is an emerging field with multiple, competing narratives about how to best solve the problem of building human values into machines. Two major approaches are focused on bias and compliance, respectively. But neither of these ideas fully encompasses ethics: using moral principles to decide how to act in a particular situation. Our method posits that the way data is labeled plays an essential role in the way AI behaves, and therefore in the ethics of machines themselves. The argument combines a fundamental insight from ethics (i.e. that ethics is about values) with our practical experience building and scaling machine learning systems. We want to build AI that is actually ethical by first addressing foundational concerns: how to build good systems, how to define what is good in relation to system architecture, and who should provide that definition. Building ethical AI creates a foundation of trust between a company and the users of that platform. But this trust is unjustified unless users experience the direct value of ethical AI. Until users have real control over how algorithms behave, something is missing in current AI solutions. This causes massive distrust in AI, and apathy towards AI ethics solutions. The scope of this paper is to propose an alternative path that allows for the plurality of values and the freedom of individual expression. Both are essential for realizing true moral character.


title: A Survey of Secure Computation Using Trusted Execution Environments

abstract: As an essential technology underpinning trusted computing, the trusted execution environment (TEE) allows one to launch computation tasks on both on- and off-premises data while assuring confidentiality and integrity. This article provides a systematic review and comparison of TEE-based secure computation protocols. We first propose a taxonomy that classifies secure computation protocols into three major categories, namely secure outsourced computation, secure distributed computation and secure multi-party computation. To enable a fair comparison of these protocols, we also present comprehensive assessment criteria with respect to four aspects: setting, methodology, security and performance. Based on these criteria, we review, discuss and compare the state-of-the-art TEE-based secure computation protocols for both general-purpose computation functions and special-purpose ones, such as privacy-preserving machine learning and encrypted database queries. To the best of our knowledge, this article is the first survey to review TEE-based secure computation protocols and the comprehensive comparison can serve as a guideline for selecting suitable protocols for deployment in practice. Finally, we also discuss several future research directions and challenges.


title: On the equivariant cohomology of $\mathbb{Z}_2\times\mathbb{Z}_k$-symmetric spaces

abstract: $\Gamma$-symmetric spaces are a vast generalization of symmetric spaces. Previous results make it conceivable that their isotropy action is equivariantly formal, and we provide evidence for this in case that $\Gamma = \mathbb{Z}_2\times\mathbb{Z}_k$. This in particular implies that $\mathbb{Z}_2\times\mathbb{Z}_k$-symmetric spaces are formal in the sense of Rational Homotopy Theory.


title: Elastic snap-through instabilities are governed by geometric symmetries

abstract: Many elastic structures exhibit rapid shape transitions between two possible equilibrium states: umbrellas become inverted in strong wind and hopper popper toys jump when turned inside-out. This snap-through is a general motif for the storage and rapid release of elastic energy, and it is exploited by many biological and engineered systems from the Venus flytrap to mechanical metamaterials. Shape transitions are known to be related to the type of bifurcation the system undergoes, however, to date, there is no general understanding of the mechanisms that select these bifurcations. Here we analyze numerically and analytically two systems proposed in recent literature in which an elastic strip, initially in a buckled state, is driven through shape transitions by either rotating or translating its boundaries. We show that the two systems are mathematically equivalent, and identify three cases that illustrate the entire range of transitions described by previous authors. Importantly, using reduction order methods, we establish the nature of the underlying bifurcations and explain how these bifurcations can be predicted from geometric symmetries and symmetry-breaking mechanisms, thus providing universal design rules for elastic shape transitions.


title: Weight systems and invariants of graphs and embedded graphs

abstract: We describe recent achievements in the theory of weight systems, which are functions on chord diagrams satisfying so-called $4$-term relations. Our main attention is devoted to constructions of weight systems. The two main sources of these constructions that are discussed in the paper are invariants of intersection graphs of chord diagrams that satisfy $4$-term relations for graphs and metrized Lie algebras. For the simplest nontrivial metrized Lie algebra $\mathfrak {sl}(2)$, we present recent results about the explicit form of generating functions for the values of the corresponding weight system on important families of chord diagrams. We also explain another recent result: construction of recurrence relations for computing the values of the $\mathfrak{gl}(N)$-weight system. These relations are based on M. Kazarian's extension of the $\mathfrak{gl}(N)$-weight system to arbitrary permutations. Certain recent papers suggest an approach to extending weight systems and graph invariants to arbitrary embedded graphs, which is based on the study of the corresponding Hopf algebra structures; we describe this approach. Weight systems defined on arbitrary embedded graphs correspond to finite type invariants of links (multicomponent knots).


title: Optimal Controller and Security Parameter for Encrypted Control Systems Under Least Squares Identification

abstract: Encrypted control is a framework for the secure outsourcing of controller computation using homomorphic encryption that allows to perform arithmetic operations on encrypted data without decryption. In a previous study, the security level of encrypted control systems was quantified based on the difficulty and computation time of system identification. This study investigates an optimal design of encrypted control systems when facing an attack attempting to estimate a system parameter by the least squares method from the perspective of the security level. This study proposes an optimal $H_2$ controller that maximizes the difficulty of estimation and an equation to determine the minimum security parameter that guarantee the security of an encrypted control system as a solution to the design problem. The proposed controller and security parameter are beneficial for reducing the computation costs of an encrypted control system, while achieving the desired security level. Furthermore, the proposed design method enables the systematic design of encrypted control systems.


title: Requirements Engineering for Automotive Perception Systems: an Interview Study

abstract: Background: Driving automation systems (DAS), including autonomous driving and advanced driver assistance, are an important safety-critical domain. DAS often incorporate perceptions systems that use machine learning (ML) to analyze the vehicle environment. Aims: We explore new or differing requirements engineering (RE) topics and challenges that practitioners experience in this domain. Method: We have conducted an interview study with 19 participants across five companies and performed thematic analysis. Results: Practitioners have difficulty specifying upfront requirements, and often rely on scenarios and operational design domains (ODDs) as RE artifacts. Challenges relate to ODD detection and ODD exit detection, realistic scenarios, edge case specification, breaking down requirements, traceability, creating specifications for data and annotations, and quantifying quality requirements. Conclusions: Our findings contribute to understanding how RE is practiced for DAS perception systems and the collected challenges can drive future research for DAS and other ML-enabled systems.


title: Personalized Decentralized Federated Learning with Knowledge Distillation

abstract: Personalization in federated learning (FL) functions as a coordinator for clients with high variance in data or behavior. Ensuring the convergence of these clients' models relies on how closely users collaborate with those with similar patterns or preferences. However, it is generally challenging to quantify similarity under limited knowledge about other users' models given to users in a decentralized network. To cope with this issue, we propose a personalized and fully decentralized FL algorithm, leveraging knowledge distillation techniques to empower each device so as to discern statistical distances between local models. Each client device can enhance its performance without sharing local data by estimating the similarity between two intermediate outputs from feeding local samples as in knowledge distillation. Our empirical studies demonstrate that the proposed algorithm improves the test accuracy of clients in fewer iterations under highly non-independent and identically distributed (non-i.i.d.) data distributions and is beneficial to agents with small datasets, even without the need for a central server.


title: A Generalized Accelerated Failure Time Model to Predict Restoration Time from Power Outages

abstract: Major disasters such as wildfire, tornado, hurricane, tropical storm, flooding cause disruptions in infrastructure systems such as power outage, disruption to water supply system, wastewater management, telecommunication failures, and transportation facilities. Disruptions in electricity infrastructures has a negative impact on every sector of a region, such as education, medical services, financial, recreation. In this study, we introduce a novel approach to investigate the factors which can be associated with longer restoration time of power service after a hurricane. We consider three types of factors (hazard characteristics, built-environment characteristics, and socio-demographic factors) that might be associated with longer restoration times of power outages during a hurricane. Considering restoration time as the dependent variable and utilizing a comprehensive set of county-level data, we have estimated a Generalized Accelerated Failure Time (GAFT) that accounts for spatial dependence among observations for time to event data. Considering spatial correlation in time to event data has improved the model fit by 12%. Using GAFT model and Hurricane Irma as a case study, we examined: (1) differences in electric power outages and restoration rates among different types of power companies: investor-owned power companies, rural and municipal cooperatives; (2) the relationship between the duration of power outage and power system variables, and socioeconomic attributes. We have found that factors such as maximum sustained wind speed, percentage of customers facing power outage, percentage of customers served by investor-owned power company, median household income, and number of power plants are strongly associated with restoration time. This paper identifies the key factors in predicting the restoration time of hurricane-induced power outages.


title: Constraints on the amplitude of gravitational wave echoes from black hole ring-down using minimal assumptions

abstract: Gravitational wave echoes may appear following a compact binary coalescence if the remnant is an "exotic compact object" (ECO). ECOs are proposed alternatives to the black holes of Einstein's general relativity theory and are predicted to possess reflective boundaries. This work reports a search for gravitational wave transients (GWTs) of generic morphology occurring shortly after (<1s) binary black hole (BBH) mergers, therefore targeting all gravitational wave echo models. We investigated the times after the ringdown for the higher signal-to-noise ratio BBHs within the public catalog GWTC-3 by the LIGO-Virgo-KAGRA collaborations (LVK). Our search is based on the coherentWaveBurst pipeline, widely used in generic searches for GWTs by the LVK, and deploys new methods to enhance its detection performances at low signal-to-noise ratios. We employ Monte Carlo simulations for estimating the detection efficiency of the search and determining the statistical significance of candidates. We find no evidence of previously undetected GWTs and our loudest candidates are morphologically consistent with known instrumental noise disturbances. Finally, we set upper limits on the amplitude of GW echoes for single BBH mergers.


title: Delay-induced self-oscillation excitation in the FitzHugh-Nagumo model: regular and chaotic dynamics

abstract: The stochastic FitzHugh-Nagumo model with time delayed-feedback is often studied in excitable regime to demonstrate the time-delayed control of coherence resonance. Here, we show that the impact of time-delayed feedback in the FitzHugh-Nagumo neuron is not limited by control of noise-induced oscillation regularity (coherence), but also results in excitation of the regular and chaotic self-oscillatory dynamics in the deterministic model. We demonstrate this numerically by means of simulations, linear stability analysis, the study of Lyapunov exponents and basins of attraction for both positive and negative delayed-feedback strengths. It has been established that one can implement a route to chaos in the explored model, where the intrinsic peculiarities of the Feigenbaum scenario are exhibited. For large time delay, we complement the study of temporal evolution by the interpretation of the dynamics as patterns in virtual space.


title: Invariant measure and universality of the 2D Yang-Mills Langevin dynamic

abstract: We prove that the Yang-Mills (YM) measure for the trivial principal bundle over the two-dimensional torus, with any connected, compact structure group, is invariant for the associated renormalised Langevin dynamic. Our argument relies on a combination of regularity structures, lattice gauge-fixing, and Bourgain's method for invariant measures. Several corollaries are presented including a gauge-fixed decomposition of the YM measure into a Gaussian free field and an almost Lipschitz remainder, and a proof of universality for the YM measure that we derive from a universality for the Langevin dynamic for a wide class of discrete approximations. The latter includes standard lattice gauge theories associated to Wilson, Villain, and Manton actions. An important step in the argument, which is of independent interest, is a proof of uniqueness for the mass renormalisation of the gauge-covariant continuum Langevin dynamic, which allows us to identify the limit of discrete approximations. This latter result relies on Euler estimates for singular SPDEs and for Young ODEs arising from Wilson loops.


title: Distributed State Estimation for Jointly Observable Linear Systems over Time-varying Networks

abstract: This paper deals with a distributed state estimation problem for jointly observable multi-agent systems operated over various time-varying network topologies. The results apply when the system matrix of the system to be observed contains eigenvalues with positive real parts. They also can apply to situations where the communication networks are disconnected at every instant. We present sufficient conditions for the existence of distributed observers for general linear systems over periodic communication networks. Using an averaging approach, it is shown that the proposed distributed observer can provide exponentially converging state estimates of the state of the linear system when the network is uniformly connected on average. This average connectedness condition offers a more relaxed assumption that includes periodic switching, Markovian switching and Cox process switching as special cases. All the agents in the network share the estimated state with their neighbours through the network and cooperatively reconstruct the entire state locally. Furthermore, this study presents two exponential stability results for two classes of switched systems, providing valuable tools in related distributed state estimation approaches. A toy example and three practical applications are provided to illustrate the effectiveness of the theoretical results.


title: Voltage-based magnetization switching and reading in magnetoelectric spin-orbit nanodevices

abstract: With the deceleration of dimensional and voltage scaling in CMOS technologies, the demand for novel logic devices has never been greater. While spin-based devices present a major opportunity towards favorable scaling, switching energies are still orders of magnitude above the expected values. Alternatively, magnetoelectric materials are predicted to enable low-power control of magnetization, a relatively unexplored pathway with sparse results at a device level. Here, we demonstrate voltage-based magnetization switching and reading in nanodevices at room temperature, enabled by exchange coupling between multiferroic BiFeO$_3$ and ferromagnetic CoFe, for the writing, and spin-to-charge current conversion between CoFe and Pt, for the reading. Unlike other current-based spintronic devices, magnetization writing is driven solely by voltage pulses. We show that, upon electrical switching of the BiFeO$_3$, the magnetization of the CoFe can be reversed, giving rise to different voltage outputs. The voltage-induced switching is supported through a combination of piezoresponse, magnetic force microscopy, and scanning nitrogen-vacancy magnetometry, where magnetization reversal is linked with the polarization state and antiferromagnetic cycloid propagation direction in the BiFeO$_3$. This study constitutes the building block for magnetoelectric spin-orbit logic, as well as a new avenue for low-power beyond-CMOS technologies.


title: Do Machine Learning Models Produce TypeScript Types That Type Check?

abstract: Type migration is the process of adding types to untyped code to gain assurance at compile time. TypeScript and other gradual type systems facilitate type migration by allowing programmers to start with imprecise types and gradually strengthen them. However, adding types is a manual effort and several migrations on large, industry codebases have been reported to have taken several years. In the research community, there has been significant interest in using machine learning to automate TypeScript type migration. Existing machine learning models report a high degree of accuracy in predicting individual TypeScript type annotations. However, in this paper we argue that accuracy can be misleading, and we should address a different question: can an automatic type migration tool produce code that passes the TypeScript type checker? We present TypeWeaver, a TypeScript type migration tool that can be used with an arbitrary type prediction model. We evaluate TypeWeaver with three models from the literature: DeepTyper, a recurrent neural network; LambdaNet, a graph neural network; and InCoder, a general-purpose, multi-language transformer that supports fill-in-the-middle tasks. Our tool automates several steps that are necessary for using a type prediction model, (1) importing types for a project's dependencies; (2) migrating JavaScript modules to TypeScript notation; (3) inserting predicted type annotations into the program to produce TypeScript when needed; and (4) rejecting non-type predictions when needed. We evaluate TypeWeaver on a dataset of 513 JavaScript packages, including packages that have never been typed before. With the best type prediction model, we find that only 21% of packages type check, but more encouragingly, 69% of files type check successfully.


title: Making Applications Faster by Asynchronous Execution: Slowing Down Processes or Relaxing MPI Collectives

abstract: Comprehending the performance bottlenecks at the core of the intricate hardware-software interactions exhibited by highly parallel programs on HPC clusters is crucial. This paper sheds light on the issue of automatically asynchronous MPI communication in memory-bound parallel programs on multicore clusters and how it can be facilitated. For instance, slowing down MPI processes by deliberate injection of delays can improve performance if certain conditions are met. This leads to the counter-intuitive conclusion that noise, independent of its source, is not always detrimental but can be leveraged for performance improvements. We employ phase-space graphs as a new tool to visualize parallel program dynamics. They are useful in spotting certain patterns in parallel execution that will easily go unnoticed with traditional tracing tools. We investigate five different microbenchmarks and applications on different supercomputer platforms: an MPI-augmented STREAM Triad, two implementations of Lattice-Boltzmann fluid solvers, and the LULESH and HPCG proxy applications.


title: Prosodic features improve sentence segmentation and parsing

abstract: Parsing spoken dialogue presents challenges that parsing text does not, including a lack of clear sentence boundaries. We know from previous work that prosody helps in parsing single sentences (Tran et al. 2018), but we want to show the effect of prosody on parsing speech that isn't segmented into sentences. In experiments on the English Switchboard corpus, we find prosody helps our model both with parsing and with accurately identifying sentence boundaries. However, we find that the best-performing parser is not necessarily the parser that produces the best sentence segmentation performance. We suggest that the best parses instead come from modelling sentence boundaries jointly with other constituent boundaries.


title: Analysis of nonlinear poroviscoelastic flows with discontinuous porosities

abstract: Existence and uniqueness of solutions is shown for a class of viscoelastic flows in porous media with particular attention to problems with nonsmooth porosities. The considered models are formulated in terms of the time-dependent nonlinear interaction between porosity and effective pressure, which in certain cases leads to porosity waves. In particular, conditions for well-posedness in the presence of initial porosities with jump discontinuities are identified.


title: A Principal-Agent Framework for Optimal Incentives in Renewable Investments

abstract: We investigate the optimal regulation of energy production reflecting the long-term goals of the Paris Climate Agreement. We analyze the optimal regulatory incentives to foster the development of non-emissive electricity generation when the demand for power is served either by a monopoly or by two competing agents. The regulator wishes to encourage green investments to limit carbon emissions, while simultaneously reducing intermittency of the total energy production. We find that the regulation of a competitive market is more efficient than the one of the monopoly as measured with the certainty equivalent of the Principal's value function. This higher efficiency is achieved thanks to a higher degree of freedom of the incentive mechanisms which involves cross-subsidies between firms. A numerical study quantifies the impact of the designed second-best contract in both market structures compared to the business-as-usual scenario. In addition, we expand the monopolistic and competitive setup to a more general class of tractable Principal-Multi-Agent incentives problems when both the drift and the volatility of a multi-dimensional diffusion process can be controlled by the Agents. We follow the resolution methodology of Cvitani\'c et al. (2018) in an extended linear quadratic setting with exponential utilities and a multi-dimensional state process of Ornstein-Uhlenbeck type. We provide closed-form expression of the second-best contracts. In particular, we show that they are in rebate form involving time-dependent prices of each state-variable.


title: A comparative assessment of deep learning models for day-ahead load forecasting: Investigating key accuracy drivers

abstract: Short-term load forecasting (STLF) is vital for the effective and economic operation of power grids and energy markets. However, the non-linearity and non-stationarity of electricity demand as well as its dependency on various external factors renders STLF a challenging task. To that end, several deep learning models have been proposed in the literature for STLF, reporting promising results. In order to evaluate the accuracy of said models in day-ahead forecasting settings, in this paper we focus on the national net aggregated STLF of Portugal and conduct a comparative study considering a set of indicative, well-established deep autoregressive models, namely multi-layer perceptrons (MLP), long short-term memory networks (LSTM), neural basis expansion coefficient analysis (N-BEATS), temporal convolutional networks (TCN), and temporal fusion transformers (TFT). Moreover, we identify factors that significantly affect the demand and investigate their impact on the accuracy of each model. Our results suggest that N-BEATS consistently outperforms the rest of the examined models. MLP follows, providing further evidence towards the use of feed-forward networks over relatively more sophisticated architectures. Finally, certain calendar and weather features like the hour of the day and the temperature are identified as key accuracy drivers, providing insights regarding the forecasting approach that should be used per case.


title: GaTe-Assisted CVD Growth of Ultrathin Large-Scale 2D Ferromagnetic Cr5Te8

abstract: Recently, 2D Cr5Te8 has been successfully synthesized experimentally and has attracted widespread research interest due to its intriguing magnetic properties, such as hard magnetism with strong perpendicular anisotropy. However, exploring new methods for growing ultrathin 2D Cr5Te8 with a larger scale and their controllable synthesis remain challenging. Herein, the synthesis of ultrathin 2D ferromagnetic Cr5Te8 nanosheets by chemical vapor deposition (CVD) using GaTe as growth source is reported, whose size is up to ~160 {\mu}m and the thickness is lower to only 5 nm. The GaTe promotes the concentration of effective Te atoms to facilitate the direction of the synthesis reaction, enabling the rapid lateral growth rate. As a result, the synthesis of ultrathin, large-scale 2D ferromagnetic Cr5Te8 was achieved. By precisely adjusting the growth temperature and the source-substrate distance (Dss), the lateral size of the Cr5Te8 nanosheets can be tuned from a few to ~164 {\mu}m. Furthermore, magnetic property measurement system (MPMS) suggested that Cr5Te8 nanosheets possess intense out-of-plane ferromagnetism and the Curie temperature exhibits a monotonic increase from 163 to 175 K as the Cr5Te8 thickness. This work not only paves a way for the controllable growth of ultrathin, large-scale 2D ferromagnetic crystalline, but also provides a new platform for the spintronics and the practical application of magnetic memory devices.


title: Language Model Crossover: Variation through Few-Shot Prompting

abstract: This paper pursues the insight that language models naturally enable an intelligent variation operator similar in spirit to evolutionary crossover. In particular, language models of sufficient scale demonstrate in-context learning, i.e. they can learn from associations between a small number of input patterns to generate outputs incorporating such associations (also called few-shot prompting). This ability can be leveraged to form a simple but powerful variation operator, i.e. to prompt a language model with a few text-based genotypes (such as code, plain-text sentences, or equations), and to parse its corresponding output as those genotypes' offspring. The promise of such language model crossover (which is simple to implement and can leverage many different open-source language models) is that it enables a simple mechanism to evolve semantically-rich text representations (with few domain-specific tweaks), and naturally benefits from current progress in language models. Experiments in this paper highlight the versatility of language-model crossover, through evolving binary bit-strings, sentences, equations, text-to-image prompts, and Python code. The conclusion is that language model crossover is a promising method for evolving genomes representable as text.


title: Fractional Analytic QCD beyond Leading Order in timelike region

abstract: In this paper we show that, as in the spacelike case, the inverse logarithmic expansion is applicable for all values of the argument of the analytic coupling constant. We present two different approaches, one of which is based primarily on trigonometric functions, and the latter is based on dispersion integrals. The results obtained up to the 5th order of perturbation theory, have a compact form and their acquiring is much easier than the methods that have been used before. As an example, we apply our results to study the Higgs boson decay into a bb pair.


title: Vision-Language Generative Model for View-Specific Chest X-ray Generation

abstract: Synthetic medical data generation has opened up new possibilities in the healthcare domain, offering a powerful tool for simulating clinical scenarios, enhancing diagnostic and treatment quality, gaining granular medical knowledge, and accelerating the development of unbiased algorithms. In this context, we present a novel approach called ViewXGen, designed to overcome the limitations of existing methods that rely on general domain pipelines using only radiology reports to generate frontal-view chest X-rays. Our approach takes into consideration the diverse view positions found in the dataset, enabling the generation of chest X-rays with specific views, which marks a significant advancement in the field. To achieve this, we introduce a set of specially designed tokens for each view position, tailoring the generation process to the user's preferences. Furthermore, we leverage multi-view chest X-rays as input, incorporating valuable information from different views within the same study. This integration rectifies potential errors and contributes to faithfully capturing abnormal findings in chest X-ray generation. To validate the effectiveness of our approach, we conducted statistical analyses, evaluating its performance in a clinical efficacy metric on the MIMIC-CXR dataset. Also, human evaluation demonstrates the remarkable capabilities of ViewXGen, particularly in producing realistic view-specific X-rays that closely resemble the original images.


title: Not what you've signed up for: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection

abstract: Large Language Models (LLMs) are increasingly being integrated into various applications. The functionalities of recent LLMs can be flexibly modulated via natural language prompts. This renders them susceptible to targeted adversarial prompting, e.g., Prompt Injection (PI) attacks enable attackers to override original instructions and employed controls. So far, it was assumed that the user is directly prompting the LLM. But, what if it is not the user prompting? We argue that LLM-Integrated Applications blur the line between data and instructions. We reveal new attack vectors, using Indirect Prompt Injection, that enable adversaries to remotely (without a direct interface) exploit LLM-integrated applications by strategically injecting prompts into data likely to be retrieved. We derive a comprehensive taxonomy from a computer security perspective to systematically investigate impacts and vulnerabilities, including data theft, worming, information ecosystem contamination, and other novel security risks. We demonstrate our attacks' practical viability against both real-world systems, such as Bing's GPT-4 powered Chat and code-completion engines, and synthetic applications built on GPT-4. We show how processing retrieved prompts can act as arbitrary code execution, manipulate the application's functionality, and control how and if other APIs are called. Despite the increasing integration and reliance on LLMs, effective mitigations of these emerging threats are currently lacking. By raising awareness of these vulnerabilities and providing key insights into their implications, we aim to promote the safe and responsible deployment of these powerful models and the development of robust defenses that protect users and systems from potential attacks.


title: First-principles based Monte Carlo modeling of oxygen deficient Fe-substituted SrTiO$_3$ experimental magnetization

abstract: Ferroics based on transition-metal (TM) substituted SrTiO$_{3}$ have called much attention as magnetism and/or ferroelectricity can be tuned by using cations substitution and defects, strain and/or oxygen deficiency. C. A. Ross et al. [Phys. Rev. Applied 7, 024006 (2017)] demonstrated the SrTi$_{1-x}$Fe$_{x}$O$_{3-\delta}$ (STF) magnetization behavior for different deposition oxygen-pressures, substrates and magnetic fields. The relation between oxygen deficiency and ferroic orders is yet to be well understood, for which the full potential of oxygen-stoichiometry engineered materials remain an open question. Here, we use hybrid-DFT to calculate different oxygen vacancy ($v_{o}$) states in STF with a variety of TM distributions. The resulting cations' magnetic states and alignments associated to the $v_{o}$ ground-states for $x=\{0.125,0.25\}$ are used within a Monte Carlo scope for collinear magnetism to simulate the spontaneous magnetization. Our model captures several experimental STF features i.e., display a maximum of the magnetization at intermediate number of vacancies, a monotonous quenching from $\sim{0.35}\mu{_{B}}$ for small ${\delta}$, and a slower decreasing of such saturation for larger number of vacancies. Moreover, our approach gives a further insight into the relations between defects stabilization and magnetization, vacancy density and the oxygen pressure required to maximize such ferroic order, and sets guidelines for future Machine Learning based computational synthesis of multiferroic oxides.


title: Communication and Control in Collaborative UAVs: Recent Advances and Future Trends

abstract: The recent progress in unmanned aerial vehicles (UAV) technology has significantly advanced UAV-based applications for military, civil, and commercial domains. Nevertheless, the challenges of establishing high-speed communication links, flexible control strategies, and developing efficient collaborative decision-making algorithms for a swarm of UAVs limit their autonomy, robustness, and reliability. Thus, a growing focus has been witnessed on collaborative communication to allow a swarm of UAVs to coordinate and communicate autonomously for the cooperative completion of tasks in a short time with improved efficiency and reliability. This work presents a comprehensive review of collaborative communication in a multi-UAV system. We thoroughly discuss the characteristics of intelligent UAVs and their communication and control requirements for autonomous collaboration and coordination. Moreover, we review various UAV collaboration tasks, summarize the applications of UAV swarm networks for dense urban environments and present the use case scenarios to highlight the current developments of UAV-based applications in various domains. Finally, we identify several exciting future research direction that needs attention for advancing the research in collaborative UAVs.


title: Dynamic behavior of elastic strips near shape transition

abstract: Elastic strips provide a canonical system for studying the mechanisms governing elastic shape transitions. Buckling, linear snap-through, and nonlinear snap-through have been observed in boundary-actuated strips and linked to the type of bifurcation the strip undergoes at the transition. For nonlinear snap-through, previous work obtained the normal form at the bifurcation. However, to date, there is no methodology for extending this analysis to other types of transition. Here, we study a set of three systems where a buckled elastic strip is actuated through rotation of its boundaries. Depending on the direction of rotation, the system exhibits all three types of shape transitions. We introduce a simple method to analyse the dynamic characteristics of an elastic structure near a transition. This method allows us to extend, in a straightforward manner, the asymptotic analysis proposed for nonlinear snap-through to the two other types of transition. We obtain the normal forms of these bifurcations, and show how they dictate all the dynamic characteristics of the elastic strip. This analysis provides a profound understanding of the physical mechanisms governing elastic shape transitions and reliable tools to diagnose and anticipate these transitions.


title: EquiPocket: an E(3)-Equivariant Geometric Graph Neural Network for Ligand Binding Site Prediction

abstract: Predicting the binding sites of target proteins plays a fundamental role in drug discovery. Most existing deep-learning methods consider a protein as a 3D image by spatially clustering its atoms into voxels and then feed the voxelized protein into a 3D CNN for prediction. However, the CNN-based methods encounter several critical issues: 1) defective in representing irregular protein structures; 2) sensitive to rotations; 3) insufficient to characterize the protein surface; 4) unaware of protein size shift. To address the above issues, this work proposes EquiPocket, an E(3)-equivariant Graph Neural Network (GNN) for binding site prediction, which comprises three modules: the first one to extract local geometric information for each surface atom, the second one to model both the chemical and spatial structure of protein and the last one to capture the geometry of the surface via equivariant message passing over the surface atoms. We further propose a dense attention output layer to alleviate the effect incurred by variable protein size. Extensive experiments on several representative benchmarks demonstrate the superiority of our framework to the state-of-the-art methods.


title: A Scalable Space-efficient In-database Interpretability Framework for Embedding-based Semantic SQL Queries

abstract: AI-Powered database (AI-DB) is a novel relational database system that uses a self-supervised neural network, database embedding, to enable semantic SQL queries on relational tables. In this paper, we describe an architecture and implementation of in-database interpretability infrastructure designed to provide simple, transparent, and relatable insights into ranked results of semantic SQL queries supported by AI-DB. We introduce a new co-occurrence based interpretability approach to capture relationships between relational entities and describe a space-efficient probabilistic Sketch implementation to store and process co-occurrence counts. Our approach provides both query-agnostic (global) and query-specific (local) interpretabilities. Experimental evaluation demonstrate that our in-database probabilistic approach provides the same interpretability quality as the precise space-inefficient approach, while providing scalable and space efficient runtime behavior (up to 8X space savings), without any user intervention.


title: Order from disorder phenomena in BaCoS$_2$

abstract: At $T_N\simeq 305~\text{K}$ the layered insulator BaCoS$_2$ transitions to a columnar antiferromagnet that signals non-negligible magnetic frustration despite the relatively high $T_N$, all the more surprising given its quasi two-dimensional structure. Here, we show by combining ab initio and model calculations that the magnetic transition is an order-from-disorder phenomenon, which not only drives the columnar $C_4\to C_2$ symmetry breaking, but also, and more importantly, the inter-layer coherence responsible for the finite N\'eel transition temperature. This uncommon ordering mechanism, actively contributed by orbital degrees of freedom, hints at an abundance of low energy excitations below and, especially, above $T_N$, not in disagreement with experimental evidences, and might as well emerge in other layered correlated compounds showing frustrated magnetism at low temperature.


title: Development of advanced photon calibrator for Kamioka gravitational wave detector (KAGRA)

abstract: The Kamioka Gravitational wave detector (KAGRA) cryogenic gravitational-wave observatory has commenced joint observations with the worldwide gravitational wave detector network. Precise calibration of the detector response is essential for accurately estimating parameters of gravitational wave sources. A photon calibrator is a crucial calibration tool used in laser interferometer gravitational-wave observatory, Virgo, and KAGRA, and it was utilized in joint observation 3 with GEO600 in Germany in April 2020. In this paper, KAGRA implemented three key enhancements: a high-power laser, a power stabilization system, and remote beam position control. KAGRA employs a 20 W laser divided into two beams that are injected onto the mirror surface. By utilizing a high-power laser, the response of the detector at kHz frequencies can be calibrated. To independently control the power of each laser beam, an optical follower servo was installed for power stabilization. The optical path of the photon calibrator beam positions was controlled using pico-motors, allowing for the characterization of the detector rotation response. Additionally, a telephoto camera and quadrant photodetectors were installed to monitor beam positions, and beam position control was implemented to optimize the mirror response. In this paper, we discuss the statistical errors associated with the measurement of relative power noise. We also address systematic errors related to the power calibration model of the photon calibrator and the simulation of elastic deformation effects using finite element analysis. Ultimately, we have successfully reduced the total systematic error from the photon calibrator to 2.0 /%.


title: Block regularisation of the logarithm central problem

abstract: The logarithm function is the gravitational potential in $\mathbb{R}^2$. We prove that the logarithm central force problem is block regularizable, that is, the (incomplete) flow may be continuously extended over the singularity at the origin after an appropriate re-parametrization.


title: From inclusive to semi-inclusive one-nucleon knockout in neutrino event generators

abstract: In neutrino event generators, for models for neutrino and electron scattering only inclusive cross sections are implemented. When these models are used to describe a semi-inclusive cross section, the event generator attaches the hadron variables based on some assumptions. In this work we compare the nucleon kinematics given by the method used in the GENIE event generator, e.g. in the implementation of the SuSAv2 model, to a fully unfactorized calculation using the relativistic distorted wave impulse approximation (RDWIA). We focus on kinematics relevant to the $e4\nu$ analysis and show that observables obtained with RDWIA differ significantly from those of the approximate method used in GENIE, the latter should be considered unrealistic.


title: Existence, uniqueness and controllability for Hilfer differential equations on times scales

abstract: We introduce a new version of $\psi$-Hilfer fractional derivative, on an arbitrary time scale. The fundamental properties of the new operator are investigated and, in particular, we prove an integration by parts formula. Using the Laplace transform and the obtained integration by parts formula, we then propose a $\psi$-Riemann-Liouville fractional integral on times scales. The applicability of the new operators is illustrated by considering a fractional initial value problem on an arbitrary time scale, for which we prove existence, uniqueness and controllability of solutions in a suitable Banach space. The obtained results are interesting and nontrivial even for particular choices: (i) of the time scale; (ii) of the order of differentiation; and/or (iii) function $\psi$; opening new directions of investigation.


title: Minimal H-factors and covers

abstract: Given a fixed small graph H and a larger graph G, an H-factor is a collection of vertex-disjoint subgraphs $H'\subset G$, each isomorphic to H, that cover the vertices of G. If G is the complete graph $K_n$ equipped with independent U(0,1) edge weights, what is the lowest total weight of an H-factor? This problem has previously been considered for e.g.\ $H=K_2$. We show that if H contains a cycle, then the minimum weight is sharply concentrated around some $L_n = \Theta(n^{1-1/d^*})$ (where $d^*$ is the maximum 1-density of any subgraph of H). Some of our results also hold for H-covers, where the copies of H are not required to be vertex-disjoint.


title: Scaling Up Computer Vision Neural Networks Using Fast Fourier Transform

abstract: Deep Learning-based Computer Vision field has recently been trying to explore larger kernels for convolution to effectively scale up Convolutional Neural Networks. Simultaneously, new paradigm of models such as Vision Transformers find it difficult to scale up to larger higher resolution images due to their quadratic complexity in terms of input sequence. In this report, Fast Fourier Transform is utilised in various ways to provide some solutions to these issues.


title: RSFDM-Net: Real-time Spatial and Frequency Domains Modulation Network for Underwater Image Enhancement

abstract: Underwater images typically experience mixed degradations of brightness and structure caused by the absorption and scattering of light by suspended particles. To address this issue, we propose a Real-time Spatial and Frequency Domains Modulation Network (RSFDM-Net) for the efficient enhancement of colors and details in underwater images. Specifically, our proposed conditional network is designed with Adaptive Fourier Gating Mechanism (AFGM) and Multiscale Convolutional Attention Module (MCAM) to generate vectors carrying low-frequency background information and high-frequency detail features, which effectively promote the network to model global background information and local texture details. To more precisely correct the color cast and low saturation of the image, we introduce a Three-branch Feature Extraction (TFE) block in the primary net that processes images pixel by pixel to integrate the color information extended by the same channel (R, G, or B). This block consists of three small branches, each of which has its own weights. Extensive experiments demonstrate that our network significantly outperforms over state-of-the-art methods in both visual quality and quantitative metrics.


title: Automated Choice for the Best Renormalization Scheme in BSM Models

abstract: The explorations of models beyond the Standard Model (BSM) naturally involve scans over the unknown BSM parameters. On the other hand, high precision predictions require calculations at the loop-level and thus a renormalization of (some of) the BSM parameters. Often many choices are possible for the renormalization scheme (RS). This concerns the choice of the set of to-be-renormalized parameters out of a larger set of BSM parameters, but can also concern the type of renormalization condition which is chosen for a specific parameter. A given RS can be well suited to yield "stable" and "well behaved" higher-order corrections in one part of the BSM parameter space, but can fail completely in other parts, which may not even be noticed numerically if an isolated parameter point is investigated, or when the higher-order BSM calculations are performed in an automated, not supervised set-up. Consequently, the (automated) exploration of BSM models requires a choice of a good RS {\em before} the calculation is performed. We propose a new method how such a choice can be performed. We demonstrate the feasibility of our new method in the chargino/neutralino sector of the Minimal Supersymmetric Standard Model (MSSM), but stress the general applicability of our method to all types of BSM models.


title: Simple and Scalable Nearest Neighbor Machine Translation

abstract: $k$NN-MT is a straightforward yet powerful approach for fast domain adaptation, which directly plugs pre-trained neural machine translation (NMT) models with domain-specific token-level $k$-nearest-neighbor ($k$NN) retrieval to achieve domain adaptation without retraining. Despite being conceptually attractive, $k$NN-MT is burdened with massive storage requirements and high computational complexity since it conducts nearest neighbor searches over the entire reference corpus. In this paper, we propose a simple and scalable nearest neighbor machine translation framework to drastically promote the decoding and storage efficiency of $k$NN-based models while maintaining the translation performance. To this end, we dynamically construct an extremely small datastore for each input via sentence-level retrieval to avoid searching the entire datastore in vanilla $k$NN-MT, based on which we further introduce a distance-aware adapter to adaptively incorporate the $k$NN retrieval results into the pre-trained NMT models. Experiments on machine translation in two general settings, static domain adaptation and online learning, demonstrate that our proposed approach not only achieves almost 90% speed as the NMT model without performance degradation, but also significantly reduces the storage requirements of $k$NN-MT.


title: HL Dataset: Visually-grounded Description of Scenes, Actions and Rationales

abstract: Current captioning datasets focus on object-centric captions, describing the visible objects in the image, e.g. "people eating food in a park". Although these datasets are useful to evaluate the ability of Vision & Language models to recognize and describe visual content, they do not support controlled experiments involving model testing or fine-tuning, with more high-level captions, which humans find easy and natural to produce. For example, people often describe images based on the type of scene they depict ('people at a holiday resort') and the actions they perform ('people having a picnic'). Such descriptions draw on personal experience and commonsense assumptions. We present the High-Level Dataset a dataset extending 14997 images from the COCO dataset, aligned with a new set of 134,973 human-annotated (high-level) captions collected along three axes: scenes, actions, and rationales. We further extend this dataset with confidence scores collected from an independent set of readers, as well as a set of narrative captions generated synthetically, by combining each of the three axes. We describe this dataset and analyse it extensively. We also present baseline results for the High-Level Captioning task.


title: MCWDST: a Minimum-Cost Weighted Directed Spanning Tree Algorithm for Real-Time Fake News Mitigation in Social Media

abstract: The widespread availability of internet access and handheld devices confers to social media a power similar to the one newspapers used to have. People seek affordable information on social media and can reach it within seconds. Yet this convenience comes with dangers; any user may freely post whatever they please and the content can stay online for a long period, regardless of its truthfulness. A need to detect untruthful information, also known as fake news, arises. In this paper, we present an end-to-end solution that accurately detects fake news and immunizes network nodes that spread them in real-time. To detect fake news, we propose two new stack deep learning architectures that utilize convolutional and bidirectional LSTM layers. To mitigate the spread of fake news, we propose a real-time network-aware strategy that (1) constructs a minimum-cost weighted directed spanning tree for a detected node, and (2) immunizes nodes in that tree by scoring their harmfulness using a novel ranking function. We demonstrate the effectiveness of our solution on five real-world datasets.


title: Orbital Facility Location Problem for Satellite Constellation Servicing Depots

abstract: This work proposes an adaptation of the Facility Location Problem for the optimal placement of on-orbit servicing depots for satellite constellations in high-altitude orbit. The high-altitude regime, such as Medium Earth Orbit (MEO), is a unique dynamical environment where existing low-thrust propulsion systems can provide the necessary thrust to conduct plane-change maneuvers between the various orbital planes of the constellation. As such, on-orbit servicing architectures involving servicer spacecraft that conduct round-trips between servicing depots and the client satellites of the constellation may be conceived. To this end, orbital facility location problem is a binary linear program, where the costs of operating and allocating the facility(ies) to satellites are considered in terms of the sum of Equivalent Mass to Low Earth Orbit (EMLEO), is proposed. The low-thrust transfers between the facilities and the clients are computed using a parallel implementation of a Lyapunov feedback controller. The total launch cost of the depot along with its servicers, propellant, and payload are taken into account as the cost to establish a given depot. The proposed approach is applied to designing on-orbit servicing depots for the Galileo and the GPS constellations.


title: Aligning Text-to-Image Models using Human Feedback

abstract: Deep generative models have shown impressive results in text-to-image synthesis. However, current text-to-image models often generate images that are inadequately aligned with text prompts. We propose a fine-tuning method for aligning such models using human feedback, comprising three stages. First, we collect human feedback assessing model output alignment from a set of diverse text prompts. We then use the human-labeled image-text dataset to train a reward function that predicts human feedback. Lastly, the text-to-image model is fine-tuned by maximizing reward-weighted likelihood to improve image-text alignment. Our method generates objects with specified colors, counts and backgrounds more accurately than the pre-trained model. We also analyze several design choices and find that careful investigations on such design choices are important in balancing the alignment-fidelity tradeoffs. Our results demonstrate the potential for learning from human feedback to significantly improve text-to-image models.


title: Energies and spectra of solids from the algorithmic inversion of dynamical Hubbard functionals

abstract: Energy functionals of the Green's function can simultaneously provide spectral and thermodynamic properties of interacting electrons' systems. Though powerful in principle, these formulations need to deal with dynamical (frequency-dependent) quantities, increasing the algorithmic and numerical complexity and limiting applications. We first show that, when representing all frequency-dependent propagators as sums over poles, the typical operations of dynamical formulations become closed (i.e., all quantities are expressed as sums over poles) and analytical. Importantly, we map the Dyson equation into a nonlinear eigenvalue problem that can be solved exactly; this is achieved by introducing a fictitious non-interacting system with additional degrees of freedom which shares, upon projection, the same Green's function of the real system. Last, we introduce an approximation to the exchange-correlation part of the Klein functional adopting a localized $GW$ approach; this is a generalization of the static Hubbard extension of density-functional theory with a dynamical screened potential $U(\omega)$. We showcase the algorithmic efficiency of the methods, and the physical accuracy of the functional, by computing the spectral, thermodynamic, and vibrational properties of SrVO$_3$, finding results in close agreement with experiments and state-of-the-art methods, at highly reduced computational costs and with a transparent physical interpretation.


title: From Circuits to SoC Processors: Arithmetic Approximation Techniques & Embedded Computing Methodologies for DSP Acceleration

abstract: The computing industry is forced to find alternative design approaches and computing platforms to sustain increased power efficiency, while providing sufficient performance. Among the examined solutions, Approximate Computing, Hardware Acceleration, and Heterogeneous Computing have gained great momentum. In this Dissertation, we introduce design solutions and methodologies, built on top of the preceding computing paradigms, for the development of energy-efficient DSP and AI accelerators. In particular, we adopt the promising paradigm of Approximate Computing and apply new approximation techniques in the design of arithmetic circuits. The proposed arithmetic approximation techniques involve bit-level optimizations, inexact operand encodings, and skipping of computations, while they are applied in both fixed- and floating-point arithmetic. We also conduct an extensive exploration on combinations among the approximation techniques and propose a low-overhead scheme for seamlessly adjusting the approximation degree of our circuits at runtime. Based on our methodology, these arithmetic approximation techniques are then combined with hardware design techniques to implement approximate ASIC- and FPGA-based DSP and AI accelerators. Moreover, we propose methodologies for the efficient mapping of DSP/AI kernels on distinctive embedded devices, i.e., the space-grade FPGAs and the heterogeneous VPUs. On the one hand, we cope with the decreased flexibility of space-grade technology and the technical challenges that arise in new FPGA tools. On the other hand, we unlock the full potential of heterogeneity by exploiting all the diverse processors and memories. Based on our methodology, we efficiently map computer vision algorithms onto the radiation-hardened NanoXplore's FPGAs and accelerate DSP & CNN kernels on Intel's Myriad VPUs.


title: Extensions to Generalized Annotated Logic and an Equivalent Neural Architecture

abstract: While deep neural networks have led to major advances in image recognition, language translation, data mining, and game playing, there are well-known limits to the paradigm such as lack of explainability, difficulty of incorporating prior knowledge, and modularity. Neuro symbolic hybrid systems have recently emerged as a straightforward way to extend deep neural networks by incorporating ideas from symbolic reasoning such as computational logic. In this paper, we propose a list desirable criteria for neuro symbolic systems and examine how some of the existing approaches address these criteria. We then propose an extension to generalized annotated logic that allows for the creation of an equivalent neural architecture comprising an alternate neuro symbolic hybrid. However, unlike previous approaches that rely on continuous optimization for the training process, our framework is designed as a binarized neural network that uses discrete optimization. We provide proofs of correctness and discuss several of the challenges that must be overcome to realize this framework in an implemented system.


title: Calibrated Regression Against An Adversary Without Regret

abstract: We are interested in probabilistic prediction in online settings in which data does not follow a probability distribution. Our work seeks to achieve two goals: (1) producing valid probabilities that accurately reflect model confidence; and (2) ensuring that traditional notions of performance (e.g., high accuracy) still hold. We introduce online algorithms guaranteed to achieve these goals on arbitrary streams of data points, including data chosen by an adversary. Specifically, our algorithms produce forecasts that are (1) calibrated -- i.e., an 80% confidence interval contains the true outcome 80% of the time -- and (2) have low regret relative to a user-specified baseline model. We implement a post-hoc recalibration strategy that provably achieves these goals in regression; previous algorithms applied to classification or achieved (1) but not (2). In the context of Bayesian optimization, an online model-based decision-making task in which the data distribution shifts over time, our method yields accelerated convergence to improved optima.


title: BUDHIES IV: Deep 21-cm neutral Hydrogen, optical and UV imaging data of Abell 963 and Abell 2192 at z $\simeq$ 0.2

abstract: In this paper, we present data from the Blind Ultra-Deep HI Environmental Survey (BUDHIES), which is a blind 21-cm HI spectral line imaging survey undertaken with the Westerbork Synthesis Radio Telescope (WSRT). Two volumes were surveyed, each with a single pointing and covering a redshift range of 0.164 < z < 0.224. Within these two volumes, this survey targeted the clusters Abell 963 and Abell 2192, which are dynamically different and offer unique environments to study the process of galaxy evolution within clusters. With an integration time of 117x12h on Abell 963 and 72x12h on Abell 2192, a total of 166 galaxies were detected and imaged in HI. While the clusters themselves occupy only 4 per cent of the 73,400 Mpc$^3$ surveyed by BUDHIES, most of the volume consists of large-scale structures in which the clusters are embedded, including foreground and background overdensities and voids. We present the data processing and source detection techniques and counterpart identification based on a wide-field optical imaging survey using the Isaac Newton Telescope (INT) and deep ultra-violet GALEX imaging. Finally, we present HI and optical catalogues of the detected sources as well as atlases of their global HI properties, which include integrated column density maps, position-velocity diagrams, global HI profiles, and optical and UV images of the HI sources.