title: The restframe ultraviolet of superluminous supernovae -- I. Potential as cosmological probes

abstract: Superluminous supernovae (SLSNe) have been detected to $z\sim4$ and can be detected to $z\gtrsim15$ using current and upcoming facilities. SLSNe are extremely UV luminous, and hence objects at $z\gtrsim7$ are detected exclusively via their rest-frame UV using optical and infrared facilities. SLSNe have great utility in multiple areas of stellar and galactic evolution. Here, we explore the potential use of SLSNe type-I as high-redshift cosmological distance indicators in their rest-frame UV. Using a SLSNe-I sample in the redshift range $1\lesssim z\lesssim 3$, we investigate correlations between the peak absolute magnitude in a synthetic UV filter centered at 250 nm and rise time, colour and decline rate of SLSNe-I light curves. We observe a linear correlation between $M_0(250)$ and the rise time with an intrinsic scatter of 0.29. Interestingly, this correlation is further tightened ($\sigma_{int} \approx 0.2$) by eliminating those SLSNe which show a pre-peak bump in their light curve. This result hints at the possibility that the "bumpy" SLSNe could belong to a different population. Weak correlations are observed between the peak luminosity and colour indices. No relationship is found between UV peak magnitude and the decline rate in contrast to what is typically found in optical band. The correlations found here are promising, and give encouraging insights for the use of SLSNe as cosmological probes at high redshifts using standardising relations in the UV. We also highlight the importance of early, and consistent, photometric data for constraining the light curve properties.


title: MD-Bench: Engineering the in-core performance of short-range molecular dynamics kernels from state-of-the-art simulation packages

abstract: Molecular dynamics (MD) simulations provide considerable benefits for the investigation and experimentation of systems at atomic level. Their usage is widespread into several research fields, but their system size and timescale are also crucially limited by the computing power they can make use of. Performance engineering of MD kernels is therefore important to understand their bottlenecks and point out possible improvements. For that reason, we developed MD-Bench, a proxy-app for short-range MD kernels that implements state-of-the-art algorithms from multiple production applications such as LAMMPS and GROMACS. MD-Bench is intended to have simpler, understandable and extensible source code, as well as to be transparent and suitable for teaching, benchmarking and researching MD algorithms. In this paper we introduce MD-Bench, describe its design and structure and implemented algorithms. Finally, we show five usage examples of MD-Bench and describe how these are useful to have a deeper understanding of MD kernels from a performance point of view, also exposing some interesting performance insights.


title: Explainability as a Requirement for Hardware: Introducing Explainable Hardware (XHW)

abstract: In today's age of digital technology, ethical concerns regarding computing systems are increasing. While the focus of such concerns currently is on requirements for software, this article spotlights the hardware domain, specifically microchips. For example, the opaqueness of modern microchips raises security issues, as malicious actors can manipulate them, jeopardizing system integrity. As a consequence, governments invest substantially to facilitate a secure microchip supply chain. To combat the opaqueness of hardware, this article introduces the concept of Explainable Hardware (XHW). Inspired by and building on previous work on Explainable AI (XAI) and explainable software systems, we develop a framework for achieving XHW comprising relevant stakeholders, requirements they might have concerning hardware, and possible explainability approaches to meet these requirements. Through an exploratory survey among 18 hardware experts, we showcase applications of the framework and discover potential research gaps. Our work lays the foundation for future work and structured debates on XHW.


title: A novel fast response and radiation-resistant scintillator detector for beam loss monitor

abstract: At high luminosity areas, beam loss monitor with fast response and high radiation resistance is crucial for accelerator operation. In this article, we report the design and test results of a fast response and radiation-resistant scintillator detector as the beam loss monitor for high luminosity colliders, especially at low energy regions such as RFQ. The detector consists of a 2 cm*2 cm 0.5 cm LYSO crystal readout by a 6 mm*6 mm Silicon photomultiplier. Test results from various radioactive sources show that the detector has good sensitivity to photons from tens of keV to several MeV with good linearity and energy resolution (23% for 60 keV {\gamma}-ray). For the field test, two such detectors are installed outside of the vacuum chamber shell of an 800 MeV electron storage ring. The details of the test and results are introduced.


title: High Sensitive $\alpha$-Fe$_2$O$_3$ Nano-structured Gas Sensor Fabricated through Annealing Technique for Detecting Ethanol

abstract: On the way to advance the sensing technology, various strategies based on the nano-materials have been introduced to improve the performance of the gas sensors. In this study, we have introduced a facile fabrication procedure for annealing hematite to monitor ethanol gas. Due to large specific area of this conductive platform, more available target molecules (ethanol gas) are detected. To construct this platform, initially, a large scale well-separated iron oxide (hematite) nanostructures are created via an annealing process. The morphology of the nanostructure is optimized through annealing temperature and operating temperature for ethanol gas. The best response for the gas sensor is achieved for hematite nanostructures fabricated through the annealing temperature of 500{\deg}C and the operating temperature of 225$^\circ$C. The fabricated nanostructures is tested in air ambient conditions for various ethanol gas concentrations from 50 to 1000 ppm. The modified sensor exhibited acceptable reproducibility and good selectivity with no interference-effect. To examine the X-ray diffraction patterns of hematite nanostructures at three annealed temperatures, the Rietveld method and FullProf software are used in which the average crystal size has been obtained. Obviously, with increasing the annealing temperature, the average size of the crystals has been increased. The results of ultraviolet-visible spectroscopy show that the energy gap decreased with increasing annealing temperature. The maximum sensing response of hematite flower-like nanostructures is obtained at a concentration of 1000 ppm. Also, the shortest response time is estimated at about 27 seconds for ethanol at a concentration of 200 ppm. The detection limit of this sensor is obtained at 50 ppm.


title: On Vietoris-Rips complexes of Finite Metric Spaces with Scale $2$

abstract: We examine the homotopy types of Vietoris-Rips complexes on certain finite metric spaces at scale $2$. We consider the collections of subsets of $[m]=\{1, 2, \ldots, m\}$ equipped with symmetric difference metric $d$, specifically, $\mathcal{F}^m_n$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}$, $\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}$, and $\mathcal{F}_{\preceq A}^m$. Here $\mathcal{F}^m_n$ is the collection of size $n$ subsets of $[m]$ and $\mathcal{F}_{\preceq A}^m$ is the collection of subsets $\preceq A$ where $\preceq$ is a total order on the collections of subsets of $[m]$ and $A\subseteq [m]$ (see the definition of $\preceq$ in Section~\ref{Intro}). We prove that the Vietoris-Rips complexes $\mathcal{VR}(\mathcal{F}^m_n, 2)$ and $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+1}, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^2$'s; also, the complexes $\mathcal{VR}(\mathcal{F}_n^m\cup \mathcal{F}^m_{n+2}, 2)$ and $\mathcal{VR}(\mathcal{F}_{\preceq A}^m, 2)$ are either contractible or homotopy equivalent to a wedge sum of $S^3$'s. We provide inductive formula for these homotopy types extending the result of Barmak in \cite{Bar13} about the independence complexes of Kneser graphs \text{KG}$_{2, k}$ and the result of Adamaszek and Adams in \cite{AA22} about Vietoris-Rips complexes of hypercube graphs with scale $2$.


title: Parametrizing Product Shape Manifolds by Composite Networks

abstract: Parametrizations of data manifolds in shape spaces can be computed using the rich toolbox of Riemannian geometry. This, however, often comes with high computational costs, which raises the question if one can learn an efficient neural network approximation. We show that this is indeed possible for shape spaces with a special product structure, namely those smoothly approximable by a direct sum of low-dimensional manifolds. Our proposed architecture leverages this structure by separately learning approximations for the low-dimensional factors and a subsequent combination. After developing the approach as a general framework, we apply it to a shape space of triangular surfaces. Here, typical examples of data manifolds are given through datasets of articulated models and can be factorized, for example, by a Sparse Principal Geodesic Analysis (SPGA). We demonstrate the effectiveness of our proposed approach with experiments on synthetic data as well as manifolds extracted from data via SPGA.


title: Entanglement and Expansion

abstract: We study the entanglement entropy resulting from tracing out local degrees of freedom of a quantum scalar field in an expanding universe. It is known that when field modes become superhorizon during inflation they evolve to increasingly squeezed states. We argue that this causes the entanglement entropy to grow continuously as successive modes cross the horizon. The resulting entropy is proportional to the total duration of inflation. It is preserved during a subsequent radiation or matter dominated era, and thus it may be relevant for today's universe. We demonstrate explicitly these features in a toy model of a scalar field in 1+1 dimensions.


title: Bistable electric field control of single-atom magnetocrystalline anisotropy

abstract: We reversibly switch the polar environment of an individual magnetic atom with an electric field to control the energy barrier for reversal of magnetization. By applying an electric field in the gap between the tip and sample of a scanning tunneling microscope, we induce bistable changes in the polarization of the region surrounding a chlorine vacancy in a monolayer of sodium chloride on copper terminated by a monolayer of copper nitride. The displacement of the sodium chloride ions alters the local electric polarization and modifies the magnetocrystalline anisotropy experienced by a single cobalt atom. When a cobalt atom is near a chlorine vacancy, spin-sensitive inelastic electron tunneling spectroscopy measurements can reveal the change in anisotropy. The demonstration of atomic-scale control of magnetic properties with electric fields opens new possibilities for probing the origins of magnetoelectric coupling and will stimulate the development of model artificial mutliferroic systems.


title: Varying Calcium Abundances in Solar Flares seen by Solar Maximum Mission

abstract: We report on calcium abundance $A({\rm Ca})$ estimates during the decay phases of 194 solar X-ray flares using archived data from the Bent Crystal Spectrometer (BCS) on Solar Maximum Mission (operational 1980~--~1989). The abundances are derived from the ratio of the total calcium X-ray line emission in BCS channel~1 to that in neighboring continuum, with temperature from a satellite-to-resonance line ratio. Generally the calcium abundance is found to be about three times the photospheric abundance, as previously found, indicating a ``FIP'' (first ionization potential) effect for calcium which has a relatively low FIP value. The precision of the abundance estimates (referred to hydrogen on a logarithmic scale with $A({\rm H}) = 12$), is typically $\sim \pm 0.01$, enabling any time variations of $A({\rm Ca})$ during the flare decay to be examined. For a total of 270 short time segments with $A({\rm Ca})$ determined to better than 2.3\% accuracy, many (106; 39\%) showed variations in $A({\rm Ca})$ at the $3\sigma$ level. For the majority, 74 (70\%) of these 106 segments $A({\rm Ca})$ decreased with time, and for 32 (30\%) $A({\rm Ca})$ increased with time. For 79 out of 270 (29\%) we observed constant or nearly constant $A({\rm Ca})$, and the remaining 85 (31\%) with irregular time behavior. A common feature was the presence of discontinuities in the time behavior of $A({\rm Ca})$. Relating these results to the ponderomotive force theory of Laming, we attribute the nature of varying $A({\rm Ca})$ to the emergence of loop structures in addition to the initial main loop, each with its characteristic calcium abundance.


title: Probing the formation of dark interlayer excitons via ultrafast photocurrent

abstract: Optically dark excitons determine a wide range of properties of photoexcited semiconductors yet are hard to access via conventional spectroscopies. Here, we develop a time-resolved ultrafast photocurrent technique (trPC) to probe the formation dynamics of optically dark excitons. The nonlinear nature of the trPC makes it particularly sensitive to the formation of excitons occurring at the femtosecond timescale after the excitation. As proof of principle, we extract the interlayer exciton formation time 0.4~ps at 160 $\mu$J/cm$^2$ fluence in a MoS$_2$/MoSe$_2$ heterostructure and show that this time decreases with fluence. In addition, our approach provides access to the dynamics of carriers and their interlayer transport. Overall, our work establishes trPC as a technique to study dark excitons in various systems that are hard to probe by other approaches.


title: Balanced Training for Sparse GANs

abstract: Over the past few years, there has been growing interest in developing larger and deeper neural networks, including deep generative models like generative adversarial networks (GANs). However, GANs typically come with high computational complexity, leading researchers to explore methods for reducing the training and inference costs. One such approach gaining popularity in supervised learning is dynamic sparse training (DST), which maintains good performance while enjoying excellent training efficiency. Despite its potential benefits, applying DST to GANs presents challenges due to the adversarial nature of the training process. In this paper, we propose a novel metric called the balance ratio (BR) to study the balance between the sparse generator and discriminator. We also introduce a new method called balanced dynamic sparse training (ADAPT), which seeks to control the BR during GAN training to achieve a good trade-off between performance and computational cost. Our proposed method shows promising results on multiple datasets, demonstrating its effectiveness.


title: Semiconducting nonperovskite ferroelectric oxynitride designed ab initio

abstract: Recent discovery of HfO2-based and nitride-based ferroelectrics that are compatible to the semiconductor manufacturing process have revitalized the field of ferroelectric-based nanoelectronics. Guided by a simple design principle of charge compensation and density functional theory calculations, we discover HfO2-like mixed-anion materials, TaON and NbON, can crystallize in the polar Pca21 phase with a strong thermodynamic driving force to adopt anion ordering spontaneously. Both oxynitrides possess large remnant polarization, low switching barriers, and unconventional negative piezoelectric effect, making them promising piezoelectrics and ferroelectrics. Distinct from HfO2 that has a wide band gap, both TaON and NbON can absorb visible light and have high charge carrier mobilities, suitable for ferroelectric photovoltaic and photocatalytic applications. This new class of multifunctional nonperovskite oxynitride containing economical and environmentally benign elements offer a platform to design and optimize high-performing ferroelectric semiconductors for integrated systems.


title: Formation of Exceptional Points in pseudo-Hermitian Systems

abstract: Motivated by the recent growing interest in the field of $\mathcal{P}\mathcal{T}$-symmetric Hamiltonian systems we theoretically study the emergency of singularities called Exceptional Points ($\textit{EP}$s) in the eigenspectrum of pseudo-Hermitian Hamiltonian as the strength of Hermiticity-breaking terms turns on. Using general symmetry arguments, we characterize the separate energy levels by a topological $\mathbb{Z}_2$ index which corresponds to the signs $\pm 1$ of the eigenvalues of pseudo-metric operator $\hat \zeta$ in the absence of Hermiticity-breaking terms. After that, we show explicitly that the formation of second-order $\textit{EP}$s is governed by this $\mathbb{Z}_2$-index: only the pairs of levels with $\textit{opposite}$ index can provide second-order $\textit{EP}$s. Our general analysis is accompanied by a detailed study of $\textit{EP}$s appearance in an exemplary $\mathcal{P}\mathcal{T}$-symmetric pseudo-Hermitian system with parity operator in the role of $\hat \zeta$: a transverse-field Ising spin chain with a staggered imaginary longitudinal field. Using analytically computed parity indices of all the levels, we analyze the eigenspectrum of the model in general, and the formation of third-order $\textit{EP}$s in particular


title: Attention-based Point Cloud Edge Sampling

abstract: Point cloud sampling is a less explored research topic for this data representation. The most commonly used sampling methods are still classical random sampling and farthest point sampling. With the development of neural networks, various methods have been proposed to sample point clouds in a task-based learning manner. However, these methods are mostly generative-based, rather than selecting points directly using mathematical statistics. Inspired by the Canny edge detection algorithm for images and with the help of the attention mechanism, this paper proposes a non-generative Attention-based Point cloud Edge Sampling method (APES), which captures salient points in the point cloud outline. Both qualitative and quantitative experimental results show the superior performance of our sampling method on common benchmark tasks.


title: LIO-PPF: Fast LiDAR-Inertial Odometry via Incremental Plane Pre-Fitting and Skeleton Tracking

abstract: As a crucial infrastructure of intelligent mobile robots, LiDAR-Inertial odometry (LIO) provides the basic capability of state estimation by tracking LiDAR scans. The high-accuracy tracking generally involves the kNN search, which is used with minimizing the point-to-plane distance. The cost for this, however, is maintaining a large local map and performing kNN plane fit for each point. In this work, we reduce both time and space complexity of LIO by saving these unnecessary costs. Technically, we design a plane pre-fitting (PPF) pipeline to track the basic skeleton of the 3D scene. In PPF, planes are not fitted individually for each scan, let alone for each point, but are updated incrementally as the scene 'flows'. Unlike kNN, the PPF is more robust to noisy and non-strict planes with our iterative Principal Component Analyse (iPCA) refinement. Moreover, a simple yet effective sandwich layer is introduced to eliminate false point-to-plane matches. Our method was extensively tested on a total number of 22 sequences across 5 open datasets, and evaluated in 3 existing state-of-the-art LIO systems. By contrast, LIO-PPF can consume only 36% of the original local map size to achieve up to 4x faster residual computing and 1.92x overall FPS, while maintaining the same level of accuracy. We fully open source our implementation at https://github.com/xingyuuchen/LIO-PPF.


title: Flat semigroups and weighted homogeneous surface singularities

abstract: We consider numerical semigroups associated with normal weighted homogeneous surface singularities with rational homology sphere links. We say that a semigroup is representable if it can be realized in this way. In this article, we study the representability of flat semigroups and prove that a numerical semigroup is representable if and only if it can be written as a quotient of a flat semigroup.


title: Zero Casimir Force in Axion Electrodynamics and the Search for a New Force

abstract: We point out that there is a stable configuration of metal plates where the Casimir force is vanishing in axion electrodynamics. We consider a concrete setup involving Weyl semimetals, which hosts an axion-like effect on the electromagnetism, towards the measurement of the axionic effect on the Casimir force. Our setup realizes zero Casimir force between metals and may be useful for the search for new force mediated by light particles at the micrometer scale.

categories: hep-ph cond-mat.mes-hall hep-ex quant-ph


title: Backdoor Attacks Against Deep Image Compression via Adaptive Frequency Trigger

abstract: Recent deep-learning-based compression methods have achieved superior performance compared with traditional approaches. However, deep learning models have proven to be vulnerable to backdoor attacks, where some specific trigger patterns added to the input can lead to malicious behavior of the models. In this paper, we present a novel backdoor attack with multiple triggers against learned image compression models. Motivated by the widely used discrete cosine transform (DCT) in existing compression systems and standards, we propose a frequency-based trigger injection model that adds triggers in the DCT domain. In particular, we design several attack objectives for various attacking scenarios, including: 1) attacking compression quality in terms of bit-rate and reconstruction quality; 2) attacking task-driven measures, such as down-stream face recognition and semantic segmentation. Moreover, a novel simple dynamic loss is designed to balance the influence of different loss terms adaptively, which helps achieve more efficient training. Extensive experiments show that with our trained trigger injection models and simple modification of encoder parameters (of the compression model), the proposed attack can successfully inject several backdoors with corresponding triggers in a single image compression model.


title: Graph Reinforcement Learning for Operator Selection in the ALNS Metaheuristic

abstract: ALNS is a popular metaheuristic with renowned efficiency in solving combinatorial optimisation problems. However, despite 16 years of intensive research into ALNS, whether the embedded adaptive layer can efficiently select operators to improve the incumbent remains an open question. In this work, we formulate the choice of operators as a Markov Decision Process, and propose a practical approach based on Deep Reinforcement Learning and Graph Neural Networks. The results show that our proposed method achieves better performance than the classic ALNS adaptive layer due to the choice of operator being conditioned on the current solution. We also discuss important considerations such as the size of the operator portfolio and the impact of the choice of operator scales. Notably, our approach can also save significant time and labour costs for handcrafting problem-specific operator portfolios.


title: Synthesizing Mixed-type Electronic Health Records using Diffusion Models

abstract: Electronic Health Records (EHRs) contain sensitive patient information, which presents privacy concerns when sharing such data. Synthetic data generation is a promising solution to mitigate these risks, often relying on deep generative models such as Generative Adversarial Networks (GANs). However, recent studies have shown that diffusion models offer several advantages over GANs, such as generation of more realistic synthetic data and stable training in generating data modalities, including image, text, and sound. In this work, we investigate the potential of diffusion models for generating realistic mixed-type tabular EHRs, comparing TabDDPM model with existing methods on four datasets in terms of data quality, utility, privacy, and augmentation. Our experiments demonstrate that TabDDPM outperforms the state-of-the-art models across all evaluation metrics, except for privacy, which confirms the trade-off between privacy and utility.


title: Which One Are You Referring To? Multimodal Object Identification in Situated Dialogue

abstract: The demand for multimodal dialogue systems has been rising in various domains, emphasizing the importance of interpreting multimodal inputs from conversational and situational contexts. We explore three methods to tackle this problem and evaluate them on the largest situated dialogue dataset, SIMMC 2.1. Our best method, scene-dialogue alignment, improves the performance by ~20% F1-score compared to the SIMMC 2.1 baselines. We provide analysis and discussion regarding the limitation of our methods and the potential directions for future works. Our code is publicly available at https://github.com/holylovenia/multimodal-object-identification.


title: A double character sum of Conrey-Iwaniec and Petrow-Young

abstract: We show that a double character sum, appearing in the work of Conrey-Iwaniec and Petrow-Young on Weyl bound for certain $L$-functions, is essentially a hypergeometric sum introduced by Katz. This produces a simple proof of the upper bound for this sum.


title: Sparkling Silence: Practices and Challenges of Livestreaming Among Deaf or Hard of Hearing Streamers

abstract: Understanding livestream platforms' accessibility challenges for minority groups, such as people with disabilities, is critical to increasing the diversity and inclusion of those platforms. While prior work investigated the experiences of streamers with vision or motor loss, little is known about the experiences of deaf or hard of hearing (DHH) streamers who must work with livestreaming platforms that heavily depend on audio. We conducted semi-structured interviews with DHH streamers to learn why they livestream, how they navigate livestream platforms and related challenges. Our findings revealed their desire to break the stereotypes towards the DHH groups via livestream and the intense interplay between interaction methods, such as sign language, texts, lip language, background music, and viewer characteristics. Major accessibility challenges include the lack of real-time captioning, the small sign language reading window, and misinterpretation of sign language. We present design considerations for improving the accessibility of the livestream platforms.


title: IntrinsicNGP: Intrinsic Coordinate based Hash Encoding for Human NeRF

abstract: Recently, many works have been proposed to utilize the neural radiance field for novel view synthesis of human performers. However, most of these methods require hours of training, making them difficult for practical use. To address this challenging problem, we propose IntrinsicNGP, which can train from scratch and achieve high-fidelity results in few minutes with videos of a human performer. To achieve this target, we introduce a continuous and optimizable intrinsic coordinate rather than the original explicit Euclidean coordinate in the hash encoding module of instant-NGP. With this novel intrinsic coordinate, IntrinsicNGP can aggregate inter-frame information for dynamic objects with the help of proxy geometry shapes. Moreover, the results trained with the given rough geometry shapes can be further refined with an optimizable offset field based on the intrinsic coordinate.Extensive experimental results on several datasets demonstrate the effectiveness and efficiency of IntrinsicNGP. We also illustrate our approach's ability to edit the shape of reconstructed subjects.


title: Exploring 3D community inconsistency in human chromosome contact networks

abstract: Researchers developed chromosome capture methods such as Hi-C to better understand DNA's 3D folding in nuclei. The Hi-C method captures contact frequencies between DNA segment pairs across the genome. When analyzing Hi-C data sets, it is common to group these pairs using standard bioinformatics methods (e.g., PCA). Other approaches handle Hi-C data as weighted networks, where connected node represent DNA segments in 3D proximity. In this representation, one can leverage community detection techniques developed in complex network theory to group nodes into mesoscale communities containing similar connection patterns. While there are several successful attempts to analyze Hi-C data in this way, it is common to report and study the most typical community structure. But in reality, there are often several valid candidates. Therefore, depending on algorithm design, different community detection methods focusing on slightly different connectivity features may have differing views on the ideal node groupings. In fact, even the same community detection method may yield different results if using a stochastic algorithm. This ambiguity is fundamental to community detection and shared by most complex networks whenever interactions span all scales in the network. This is known as community inconsistency. This paper explores this inconsistency of 3D communities in Hi-C data for all human chromosomes. We base our analysis on two inconsistency metrics, one local and one global, and quantify the network scales where the community separation is most variable. For example, we find that TADs are less reliable than A/B compartments and that nodes with highly variable node-community memberships are associated with open chromatin. Overall, our study provides a helpful framework for data-driven researchers and increases awareness of some inherent challenges when clustering Hi-C data into 3D communities.

categories: physics.soc-ph cond-mat.stat-mech cs.SI q-bio.GN


title: DART: Diversify-Aggregate-Repeat Training Improves Generalization of Neural Networks

abstract: Generalization of neural networks is crucial for deploying them safely in the real world. Common training strategies to improve generalization involve the use of data augmentations, ensembling and model averaging. In this work, we first establish a surprisingly simple but strong benchmark for generalization which utilizes diverse augmentations within a training minibatch, and show that this can learn a more balanced distribution of features. Further, we propose Diversify-Aggregate-Repeat Training (DART) strategy that first trains diverse models using different augmentations (or domains) to explore the loss basin, and further Aggregates their weights to combine their expertise and obtain improved generalization. We find that Repeating the step of Aggregation throughout training improves the overall optimization trajectory and also ensures that the individual models have a sufficiently low loss barrier to obtain improved generalization on combining them. We shed light on our approach by casting it in the framework proposed by Shen et al. and theoretically show that it indeed generalizes better. In addition to improvements in In- Domain generalization, we demonstrate SOTA performance on the Domain Generalization benchmarks in the popular DomainBed framework as well. Our method is generic and can easily be integrated with several base training algorithms to achieve performance gains.


title: Approximately Stationary Bandits with Knapsacks

abstract: Bandits with Knapsacks (BwK), the generalization of the Bandits problem under global budget constraints, has received a lot of attention in recent years. Previous work has focused on one of the two extremes: Stochastic BwK where the rewards and consumptions of the resources of each round are sampled from an i.i.d. distribution, and Adversarial BwK where these parameters are picked by an adversary. Achievable guarantees in the two cases exhibit a massive gap: No-regret learning is achievable in the stochastic case, but in the adversarial case only competitive ratio style guarantees are achievable, where the competitive ratio depends either on the budget or on both the time and the number of resources. What makes this gap so vast is that in Adversarial BwK the guarantees get worse in the typical case when the budget is more binding. While ``best-of-both-worlds'' type algorithms are known (single algorithms that provide the best achievable guarantee in each extreme case), their bounds degrade to the adversarial case as soon as the environment is not fully stochastic. Our work aims to bridge this gap, offering guarantees for a workload that is not exactly stochastic but is also not worst-case. We define a condition, Approximately Stationary BwK, that parameterizes how close to stochastic or adversarial an instance is. Based on these parameters, we explore what is the best competitive ratio attainable in BwK. We explore two algorithms that are oblivious to the values of the parameters but guarantee competitive ratios that smoothly transition between the best possible guarantees in the two extreme cases, depending on the values of the parameters. Our guarantees offer great improvement over the adversarial guarantee, especially when the available budget is small. We also prove bounds on the achievable guarantee, showing that our results are approximately tight when the budget is small.


title: Tunable Feshbach resonances in collisions of ultracold molecules in $^2\Sigma$ states with alkali-metal atoms

abstract: We consider the magnetically tunable Feshbach resonances that may exist in ultracold mixtures of molecules in $^2\Sigma$ states and alkali-metal atoms. We focus on Rb+CaF as a prototype system. There are likely to be Feshbach resonances analogous to those between pairs of alkali-metal atoms. We investigate the patterns of near-threshold states and the resonances that they cause, using coupled-channel calculations of the bound states and low-energy scattering on model interaction potentials. We explore the dependence of the properties on as-yet-unknown potential parameters. There is a high probability that resonances will exist at magnetic fields below 1000 G, and that these will be broad enough to control collisions and form triatomic molecules by magnetoassociation. We consider the effect of CaF rotation and potential anisotropy, and conclude that they may produce additional resonances but should not affect the existence of rotation-free resonances.


title: OEKG: The Open Event Knowledge Graph

abstract: Accessing and understanding contemporary and historical events of global impact such as the US elections and the Olympic Games is a major prerequisite for cross-lingual event analytics that investigate event causes, perception and consequences across country borders. In this paper, we present the Open Event Knowledge Graph (OEKG), a multilingual, event-centric, temporal knowledge graph composed of seven different data sets from multiple application domains, including question answering, entity recommendation and named entity recognition. These data sets are all integrated through an easy-to-use and robust pipeline and by linking to the event-centric knowledge graph EventKG. We describe their common schema and demonstrate the use of the OEKG at the example of three use cases: type-specific image retrieval, hybrid question answering over knowledge graphs and news articles, as well as language-specific event recommendation. The OEKG and its query endpoint are publicly available.


title: Robust one-shot estimation over shared networks in the presence of denial-of-service attacks

abstract: Multi-agent systems often communicate over low-power shared wireless networks in unlicensed spectrum, prone to denial-of-service attacks. We consider the following scenario: multiple pairs of agents communicating strategically over shared communication networks in the presence of a jammer who may launch a denial-of-service. We cast this problem as a game between a coordinator who optimizes the transmission and estimation policies jointly and a jammer who optimizes its probability of performing an attack. We consider two cases: point-to-point channels and large-scale networks with a countably infinite number of sensor-receiver pairs. When the jammer proactively attacks the channel, the game is nonconvex from the coordinator's perspective. However, despite the lack of convexity, we construct a saddle point equilibrium solution for any multi-variate Gaussian distribution for the observations. When the jammer is reactive, we obtain an algorithm based on sequential convex optimization, which converges swiftly to first-order Nash-equilibria. Interestingly, blocking the channel is often optimal when the jammer is reactive, even when it is idle, to create ambiguity at the receiver.


title: On the existence of minimizers in shallow residual ReLU neural network optimization landscapes

abstract: Many mathematical convergence results for gradient descent (GD) based algorithms employ the assumption that the GD process is (almost surely) bounded and, also in concrete numerical simulations, divergence of the GD process may slow down, or even completely rule out, convergence of the error function. In practical relevant learning problems, it thus seems to be advisable to design the ANN architectures in a way so that GD optimization processes remain bounded. The property of the boundedness of GD processes for a given learning problem seems, however, to be closely related to the existence of minimizers in the optimization landscape and, in particular, GD trajectories may escape to infinity if the infimum of the error function (objective function) is not attained in the optimization landscape. This naturally raises the question of the existence of minimizers in the optimization landscape and, in the situation of shallow residual ANNs with multi-dimensional input layers and multi-dimensional hidden layers with the ReLU activation, the main result of this work answers this question affirmatively for a general class of loss functions and all continuous target functions. In our proof of this statement, we propose a kind of closure of the search space, where the limits are called generalized responses, and, thereafter, we provide sufficient criteria for the loss function and the underlying probability distribution which ensure that all additional artificial generalized responses are suboptimal which finally allows us to conclude the existence of minimizers in the optimization landscape.


title: Investigating the Effectiveness of Task-Agnostic Prefix Prompt for Instruction Following

abstract: In this paper, we present our finding that prepending a Task-Agnostic Prefix Prompt (TAPP) to the input improves the instruction-following ability of various Large Language Models (LLMs) during inference. TAPP is different from canonical prompts for LLMs in that it is a fixed prompt prepended to the beginning of every input regardless of the target task for zero-shot generalization. We observe that both base LLMs (i.e. not fine-tuned to follow instructions) and instruction-tuned models benefit from TAPP, resulting in 34.58% and 12.26% improvement on average, respectively. This implies that the instruction-following ability of LLMs can be improved during inference time with a fixed prompt constructed with simple heuristics. We hypothesize that TAPP assists language models to better estimate the output distribution by focusing more on the instruction of the target task during inference. In other words, such ability does not seem to be sufficiently activated in not only base LLMs but also many instruction-fine-tuned LLMs. All experiments are reproducible from https://github.com/seonghyeonye/TAPP.


title: Massively Parallel Computation in a Heterogeneous Regime

abstract: Massively-parallel graph algorithms have received extensive attention over the past decade, with research focusing on three memory regimes: the superlinear regime, the near-linear regime, and the sublinear regime. The sublinear regime is the most desirable in practice, but conditional hardness results point towards its limitations. In this work we study a \emph{heterogeneous} model, where the memory of the machines varies in size. We focus mostly on the heterogeneous setting created by adding a single near-linear machine to the sublinear MPC regime, and show that even a single large machine suffices to circumvent most of the conditional hardness results for the sublinear regime: for graphs with $n$ vertices and $m$ edges, we give (a) an MST algorithm that runs in $O(\log\log(m/n))$ rounds; (b) an algorithm that constructs an $O(k)$-spanner of size $O(n^{1+1/k})$ in $O(1)$ rounds; and (c) a maximal-matching algorithm that runs in $O(\sqrt{\log(m/n)}\log\log(m/n))$ rounds. We also observe that the best known near-linear MPC algorithms for several other graph problems which are conjectured to be hard in the sublinear regime (minimum cut, maximal independent set, and vertex coloring) can easily be transformed to work in the heterogeneous MPC model with a single near-linear machine, while retaining their original round complexity in the near-linear regime. If the large machine is allowed to have \emph{superlinear} memory, all of the problems above can be solved in $O(1)$ rounds.


title: Optical Signatures of Strain Differences in Epitaxial Graphene Nanoribbons

abstract: We demonstrate the preparation of both armchair and zigzag epitaxial graphene nanoribbons (GNRs) on 4H-SiC using a polymer-assisted, sublimation growth method. Historically, the preparation of GNRs depended on the quality, or smoothness, of the surface changes during growth. The physical phenomenon of terrace step formation introduces the risk of GNR deformation along sidewalls, but the risk is heavily mitigated by this polymer-assisted sublimation method. Two widths (100 nm and 50 nm) are examined electrically and optically for both armchair and zigzag GNRs. Our electrical results support the expected behaviors of the GNRs, while the optical signatures of variable strain reveal the subtle differences among all the GNR species measured.


title: Energy transfer between gravitational waves and quantum matter

abstract: We study the interaction between gravitational waves and quantum matter such as Bose-Einstein condensates, super-fluid Helium, or ultra-cold solids, explicitly taking into account the changes of the trapping potential induced by the gravitational wave. As a possible observable, we consider the change of energy due to the gravitational wave, for which we derive rigorous bounds in terms of kinetic energy and particle number. Finally, we discuss implications for possible experimental tests.


title: Pushing One Pair of Labels Apart Each Time in Multi-Label Learning: From Single Positive to Full Labels

abstract: In Multi-Label Learning (MLL), it is extremely challenging to accurately annotate every appearing object due to expensive costs and limited knowledge. When facing such a challenge, a more practical and cheaper alternative should be Single Positive Multi-Label Learning (SPMLL), where only one positive label needs to be provided per sample. Existing SPMLL methods usually assume unknown labels as negatives, which inevitably introduces false negatives as noisy labels. More seriously, Binary Cross Entropy (BCE) loss is often used for training, which is notoriously not robust to noisy labels. To mitigate this issue, we customize an objective function for SPMLL by pushing only one pair of labels apart each time to prevent the domination of negative labels, which is the main culprit of fitting noisy labels in SPMLL. To further combat such noisy labels, we explore the high-rankness of label matrix, which can also push apart different labels. By directly extending from SPMLL to MLL with full labels, a unified loss applicable to both settings is derived. Experiments on real datasets demonstrate that the proposed loss not only performs more robustly to noisy labels for SPMLL but also works well for full labels. Besides, we empirically discover that high-rankness can mitigate the dramatic performance drop in SPMLL. Most surprisingly, even without any regularization or fine-tuned label correction, only adopting our loss defeats state-of-the-art SPMLL methods on CUB, a dataset that severely lacks labels.


title: Dissolving Is Amplifying: Towards Fine-Grained Anomaly Detection

abstract: In this paper, we introduce \textit{DIA}, dissolving is amplifying. DIA is a fine-grained anomaly detection framework for medical images. We describe two novel components in the paper. First, we introduce \textit{dissolving transformations}. Our main observation is that generative diffusion models are feature-aware and applying them to medical images in a certain manner can remove or diminish fine-grained discriminative features such as tumors or hemorrhaging. Second, we introduce an \textit{amplifying framework} based on contrastive learning to learn a semantically meaningful representation of medical images in a self-supervised manner. The amplifying framework contrasts additional pairs of images with and without dissolving transformations applied and thereby boosts the learning of fine-grained feature representations. DIA significantly improves the medical anomaly detection performance with around 18.40\% AUC boost against the baseline method and achieves an overall SOTA against other benchmark methods. Our code is available at \url{https://github.com/shijianjian/DIA.git}


title: A short proof for the parameter continuation theorem

abstract: The Parameter Continuation Theorem is the theoretical foundation for polynomial homotopy continuation, which is one of the main tools in computational algebraic geometry. In this note, we give a short proof using Gr\"obner bases. Our approach gives a method for computing discriminants.


title: Heuristic Modularity Maximization Algorithms for Community Detection Rarely Return an Optimal Partition or Anything Similar

abstract: Community detection is a fundamental problem in computational sciences with extensive applications in various fields. The most commonly used methods are the algorithms designed to maximize modularity over different partitions of the network nodes. Using 80 real and random networks from a wide range of contexts, we investigate the extent to which current heuristic modularity maximization algorithms succeed in returning maximum-modularity (optimal) partitions. We evaluate (1) the ratio of the algorithms' output modularity to the maximum modularity for each input graph, and (2) the maximum similarity between their output partition and any optimal partition of that graph. We compare eight existing heuristic algorithms against an exact integer programming method that globally maximizes modularity. The average modularity-based heuristic algorithm returns optimal partitions for only 19.4% of the 80 graphs considered. Additionally, results on adjusted mutual information reveal substantial dissimilarity between the sub-optimal partitions and any optimal partition of the networks in our experiments. More importantly, our results show that near-optimal partitions are often disproportionately dissimilar to any optimal partition. Taken together, our analysis points to a crucial limitation of commonly used modularity-based heuristics for discovering communities: they rarely produce an optimal partition or a partition resembling an optimal partition. If modularity is to be used for detecting communities, exact or approximate optimization algorithms are recommendable for a more methodologically sound usage of modularity within its applicability limits.

categories: cs.SI cond-mat.stat-mech cs.DS cs.LG math.OC


title: An Analysis of Tennenbaum's Theorem in Constructive Type Theory

abstract: Tennenbaum's theorem states that the only countable model of Peano arithmetic (PA) with computable arithmetical operations is the standard model of natural numbers. In this paper, we use constructive type theory as a framework to revisit, analyze and generalize this result. The chosen framework allows for a synthetic approach to computability theory, exploiting that, externally, all functions definable in constructive type theory can be shown computable. We then build on this viewpoint, and furthermore internalize it by assuming a version of Church's thesis, which expresses that any function on natural numbers is representable by a formula in PA. This assumption provides for a conveniently abstract setup to carry out rigorous computability arguments, even in the theorem's mechanization. Concretely, we constructivize several classical proofs and present one inherently constructive rendering of Tennenbaum's theorem, all following arguments from the literature. Concerning the classical proofs in particular, the constructive setting allows us to highlight differences in their assumptions and conclusions which are not visible classically. All versions are accompanied by a unified mechanization in the Coq proof assistant.


title: Nonlinear social evolution and the emergence of collective action

abstract: Organisms from microbes to humans engage in a variety of social behaviors, which affect fitness in complex, often nonlinear ways. The question of how these behaviors evolve has consequences ranging from antibiotic resistance to human origins. However, evolution with nonlinear social interactions is challenging to model mathematically, especially in combination with spatial, group, and/or kin assortment. We derive a mathematical condition for natural selection with synergistic interactions among any number of individuals. This result applies to populations with arbitrary (but fixed) spatial or network structure, group subdivision, and/or mating patterns. In this condition, nonlinear fitness effects are ascribed to collectives, and weighted by a new measure of collective relatedness. For weak selection, this condition can be systematically evaluated by computing branch lengths of ancestral trees. We apply this condition to pairwise games between diploid relatives, and to dilemmas of collective help or harm among siblings and on spatial networks. Our work provides a rigorous basis for extending the notion of ``actor", in the study of social evolution, from individuals to collectives.


title: The Contest Game for Crowdsourcing Reviews

abstract: We consider a contest game modelling a contest where reviews for $m$ proposals are crowdsourced from $n$ strategic agents} players. Player $i$ has a skill $s_{i\ell}$ for reviewing proposal $\ell$; for her review, she strategically chooses a quality $q \in \{ 1, 2, \ldots, Q \}$ and pays an effort ${\sf f}_{q} \geq 0$, strictly increasing with $q$. For her effort, she is given a strictly positive payment determined by a payment function, which is either player-invariant, like, e.g., the popular proportional allocation function, or player-specific; for a given proposal, payments are proportional to the corresponding efforts and the total payment provided by the contest organizer is 1. The cost incurred to player $i$ for each of her reviews is the difference of a skill-effort function $\Lambda (s_{i},{ \sf f}_{q})$ minus her payment. Skills may vary for arbitrary players and arbitrary proposals. A proposal-indifferent player $i$ has identical skills: $s_{i\ell} = s_{i}$ for all $\ell$; anonymous players means $s_{i} = 1$ for all players $i$. In a pure Nash equilibrium, no player could unilaterally reduce her cost by switching to a different quality. We present algorithmic results for computing pure Nash equilibria.


title: Performance Limits of a Deep Learning-Enabled Text Semantic Communication under Interference

abstract: Although deep learning (DL)-enabled semantic communication (SemCom) has emerged as a 6G enabler by minimizing irrelevant information transmission -- minimizing power usage, bandwidth consumption, and transmission delay, its benefits can be limited by radio frequency interference (RFI) that causes substantial semantic noise. Such semantic noise's impact can be alleviated using an interference-resistant and robust (IR$^2$) SemCom design, though no such design exists yet. To stimulate fundamental research on IR2 SemCom, the performance limits of a popular text SemCom system named DeepSC are studied in the presence of (multi-interferer) RFI. By introducing a principled probabilistic framework for SemCom, we show that DeepSC produces semantically irrelevant sentences as the power of (multi-interferer) RFI gets very large. We also derive DeepSC's practical limits and a lower bound on its outage probability under multi-interferer RFI, and propose a (generic) lifelong DL-based IR$^2$ SemCom system. We corroborate the derived limits with simulations and computer experiments, which also affirm the vulnerability of DeepSC to a wireless attack using RFI.


title: Improving Expert Specialization in Mixture of Experts

abstract: Mixture of experts (MoE), introduced over 20 years ago, is the simplest gated modular neural network architecture. There is renewed interest in MoE because the conditional computation allows only parts of the network to be used during each inference, as was recently demonstrated in large scale natural language processing models. MoE is also of potential interest for continual learning, as experts may be reused for new tasks, and new experts introduced. The gate in the MoE architecture learns task decompositions and individual experts learn simpler functions appropriate to the gate's decomposition. In this paper: (1) we show that the original MoE architecture and its training method do not guarantee intuitive task decompositions and good expert utilization, indeed they can fail spectacularly even for simple data such as MNIST and FashionMNIST; (2) we introduce a novel gating architecture, similar to attention, that improves performance and results in a lower entropy task decomposition; and (3) we introduce a novel data-driven regularization that improves expert specialization. We empirically validate our methods on MNIST, FashionMNIST and CIFAR-100 datasets.


title: Joint Spectrum and Power Allocation for V2X Communications with Imperfect CSI

abstract: In Vehicle-to-Everything (V2X) communication, the high mobility of vehicles generates the Doppler shift which leads to channel uncertainties. Moreover, the reasons for channel uncertainties also include the finite channel feedback, channels state information (CSI) loss and latency. With this concern, we formulate a joint spectrum and power allocation problem for V2X communication with imperfect CSI. Specifically, the sum capacity of cellular user equipments (CUEs) is maximized subject to the minimum Signal-to-Interference-and-Noise Ratio (SINR) requirements of CUEs and the outage probability constraints of vehicular user equipments (VUEs). Then, two different robust resource allocation approaches are designed to solve the problem. One is Bernstein Approximation-based Robust Resource Allocation approach. More specifically, Bernstein approximations are employed to convert the chance constraint into a calculable constraint, and Bisection search method is proposed to obtain the optimal allocation solution with low complexity. Then, for further reducing the computational complexity, Self-learning Robust Resource Allocation approach, which includes a learning method and an analytical mapping method, is proposed as the second approach. The learning method is devised to learn the uncertainty set which transforms the chance constraint into calculable constraints, and the analytical mapping method is proposed to obtain closed-form solutions of the resource allocation problem. Finally, the simulation results prove that the proposed approaches can improve the capacity of all CUEs effectively whilst ensuring the reliability of the channel.


title: AccelTran: A Sparsity-Aware Accelerator for Dynamic Inference with Transformers

abstract: Self-attention-based transformer models have achieved tremendous success in the domain of natural language processing. Despite their efficacy, accelerating the transformer is challenging due to its quadratic computational complexity and large activation sizes. Existing transformer accelerators attempt to prune its tokens to reduce memory access, albeit with high compute overheads. Moreover, previous works directly operate on large matrices involved in the attention operation, which limits hardware utilization. In order to address these challenges, this work proposes a novel dynamic inference scheme, DynaTran, which prunes activations at runtime with low overhead, substantially reducing the number of ineffectual operations. This improves the throughput of transformer inference. We further propose tiling the matrices in transformer operations along with diverse dataflows to improve data reuse, thus enabling higher energy efficiency. To effectively implement these methods, we propose AccelTran, a novel accelerator architecture for transformers. Extensive experiments with different models and benchmarks demonstrate that DynaTran achieves higher accuracy than the state-of-the-art top-k hardware-aware pruning strategy while attaining up to 1.2$\times$ higher sparsity. One of our proposed accelerators, AccelTran-Edge, achieves 330K$\times$ higher throughput with 93K$\times$ lower energy requirement when compared to a Raspberry Pi device. On the other hand, AccelTran-Server achieves 5.73$\times$ higher throughput and 3.69$\times$ lower energy consumption compared to the state-of-the-art transformer co-processor, Energon. The simulation source code is available at https://github.com/jha-lab/acceltran.


title: A Novel Deep Reinforcement Learning-based Approach for Enhancing Spectral Efficiency of IRS-assisted Wireless Systems

abstract: This letter investigates an intelligent reflecting surfaces (IRS)-enhanced network from spectral efficiency enhancement point of view for downlink multi-user (MU) multi-input-single-output systems (MISO). In contrast to previous works which mainly focused on alternative optimization methods, we investigate the non-convex joint optimization problem of the active transmit beamforming matrix at the base station together with the passive phase shift matrix at the IRS by utilizing two deep reinforcement learning frameworks, i. e., deep deterministic policy gradient (DDPG) and twin delayed DDPG (TD3). Simulation results reveal that the neural networks in the latter scheme perform generally more satisfactorily in various situations.


title: Two qubits in one transmon -- QEC without ancilla hardware

abstract: We show that it is theoretically possible to use higher energy levels for storing and controlling two qubits within a superconducting transmon. This is done by identifying energy levels as product states between multiple effecitve qubits. As a proof of concept we realise a complete set of gates necessary for universal computing by numerically optimising control pulses for single qubit gates on each of the qubits, entangling gates between the two qubits in one transmon, and an entangling gate between two qubits from two coupled transmons. The optimisation considers parameters which could make it possible to validate this experimentally. With these control pulses it is in principle possible to double the number of available qubits without any overhead in hardware. The additional qubits could be used in algorithms which need many short-living qubits such as syndrom qubits in error correction or by embedding effecitve higher connectivity in qubit networks.


title: Is Japanese CCGBank empirically correct? A case study of passive and causative constructions

abstract: The Japanese CCGBank serves as training and evaluation data for developing Japanese CCG parsers. However, since it is automatically generated from the Kyoto Corpus, a dependency treebank, its linguistic validity still needs to be sufficiently verified. In this paper, we focus on the analysis of passive/causative constructions in the Japanese CCGBank and show that, together with the compositional semantics of ccg2lambda, a semantic parsing system, it yields empirically wrong predictions for the nested construction of passives and causatives.


title: Line-of-Sight Probability for Outdoor-to-Indoor UAV-Assisted Emergency Networks

abstract: For emergency response scenarios like firefighting in urban environments, there is a need to both localize emergency responders inside the building and also support a high bandwidth communication link between the responders and a command-and-control center. The emergency networks for such scenarios can be established with the quick deployment of Unmanned Aerial Vehicles (UAVs). Further, the 3D mobility of UAVs can be leveraged to improve the quality of the wireless link by maneuvering them into advantageous locations. This has motivated recent propagation measurement campaigns to study low-altitude air-to-ground channels in both 5G-sub6 GHz and 5G-mmWave bands. In this paper, we develop a model for the link in a UAV-assisted emergency location and/or communication system. Specifically, given the importance of Line-of-Sight (LoS) links in localization as well as mmWave communication, we derive a closed-form expression for the LoS probability. This probability is parameterized by the UAV base station location, the size of the building, and the size of the window that offers the best propagation path. An expression for coverage probability is also derived. The LoS probability and coverage probabilities derived in this paper can be used to analyze the outdoor UAV-to-indoor propagation environment to determine optimal UAV positioning and the number of UAVs needed to achieve the desired performance of the emergency network.


title: Test of 5G System in the Reverberation Chamber at mm-wave

abstract: The performance of a real fifth generation base station was studied by using a reverberation chamber as a real life propagating environment. Preliminary tests were conducted in order to define 5G base station operation conditions at mm-wave and emulated scenarios where reconfigurable intelligent surface(s) (RISs) will successively be tested. Measurements campaign was carried out under the H2020 European project RISE-6G and a collaboration program between TIM S.p.A., Nokia and Universita` Politecnica delle Marche.


title: A guided light system for agile individual addressing of Ba$^+$ qubits with $10^{-4}$ level intensity crosstalk

abstract: Trapped ions are one of the leading platforms for quantum information processing, exhibiting the highest gate and measurement fidelities of all contending hardware. In order to realize a universal quantum computer with trapped ions, independent and parallel control over the state of each qubit is necessary. The manipulation of individual qubit states in an ion chain via stimulated Raman transitions generally requires light focused on individual ions. In this manuscript, we present a novel, guided-light individual addressing system for hyperfine Ba$^+$ qubits. The system takes advantage of laser-written waveguide technology, enabled by the atomic structure of Ba$^+$, allowing the use of visible light to drive Raman transitions. Such waveguides define the spatial mode of light, suppressing aberrations that would have otherwise accumulated in a free-space optics set up. As a result, we demonstrate a nearest neighbour relative intensity crosstalk on the order of 10$^{-4}$, without any active aberration compensation. This is comparable to or better than other previous demonstrations of individual addressing. At the same time, our modular approach provides independent and agile control over the amplitude, frequency, and phase of each channel; combining the strengths of previous implementations.


title: Generating Accurate Virtual Examples For Lifelong Machine Learning

abstract: Lifelong machine learning (LML) is an area of machine learning research concerned with human-like persistent and cumulative nature of learning. LML system's objective is consolidating new information into an existing machine learning model without catastrophically disrupting the prior information. Our research addresses this LML retention problem for creating a knowledge consolidation network through task rehearsal without retaining the prior task's training examples. We discovered that the training data reconstruction error from a trained Restricted Boltzmann Machine can be successfully used to generate accurate virtual examples from the reconstructed set of a uniform random set of examples given to the trained model. We also defined a measure for comparing the probability distributions of two datasets given to a trained network model based on their reconstruction mean square errors.


title: Security in Distributed Systems by Verifiable Location-Based Identities

abstract: Proof-of-Location (PoL) is a lightweight security concept for Internet-of-Things (IoT) networks, focusing on the sensor nodes as the least performant and most vulnerable parts of IoT networks. PoL builds on the identification of network participants based on their physical location. It introduces a secondary message type to exchange location information. Via these messages, the nodes can verify the integrity of other network participants and reach a consensus to identify potential attackers and prevent malicious information from spreading. The paper presents the concretization of the concept to allow implementation on real hardware. The evaluation based on this implementation demonstrates the feasibility of PoL and enables identifying further steps to develop a deployable protocol.


title: Minimizing the Outage Probability in a Markov Decision Process

abstract: Standard Markov decision process (MDP) and reinforcement learning algorithms optimize the policy with respect to the expected gain. We propose an algorithm which enables to optimize an alternative objective: the probability that the gain is greater than a given value. The algorithm can be seen as an extension of the value iteration algorithm. We also show how the proposed algorithm could be generalized to use neural networks, similarly to the deep Q learning extension of Q learning.


title: Stochastic mechanical modeling of metallic foams to determine onset of mesoscale behavior

abstract: Metallic foams are crucial to many emerging applications, among them shielding against hypervelocity impacts caused by micrometeoroids and orbital debris. The variability of properties at feature-scale and mesoscale lengths originating from the foam's inherently random microstructure makes predictive models of their properties challenging. It also hinders the optimization of components fabricated with such foams, an especially serious problem for spacecraft design where the balance between cost and mass must also be balanced against the catastrophic results of component failure. To address this problem, we compute the critical transition length between the feature-scale, where mechanical properties are determined by individual features, and the mesoscale, where behavior is determined by ensembles of features. At the mesoscale, distributions of properties -- with respect to both expectation value and standard variability -- are consistent and predictable. The Kentucky Random Structure Toolkit (KRaSTk) is applied to determine the transition from feature-scale to mesoscale for computational volumes representing metallic foams at a range of reduced densities. The transition is found to occur when the side length of a cubic sample volume is ~10x greater than the characteristic length. Comparing KRaSTk-computed converged stiffness distributions with experimental measurements of a commercial metallic foam found excellent agreement for both expectation value and standard variability at all reduced densities. Lastly, we observe that the diameter of a representative MMOD strike is ~30x shorter than the feature-scale to mesoscale transition for the foam at any reduced density. Therefore, features will determine response to hypervelocity impacts, rather than bulk (or even mesoscale) structure.


title: Lagrangians for variational formulations of the Navier-Stokes equation

abstract: Variational formulations for viscous flows which lead to the Navier-Stokes equation are examined. Since viscosity leads to dissipation and, therefore, to the irreversible transfer of mechanical energy to heat, thermal degrees of freedom have been included in the construction of viscous dissipative Lagrangians, by embedding of thermodynamics aspects of the flow, such as thermasy and flow exergy. Another approach is based on the presumption that the pressure gradient force is a constrained force, whose sole role is to maintain the continuity constraint, with a magnitude that is minimum at every instant. From these considerations, Lagrangians based on the minimal energy dissipation principal have been constructed from which the application of the Euler-Lagrange equation leads to the standard form of the Navier-Stokes equation directly, or at least they are capable of generating the same equations of motion for simple steady and unsteady 1 D viscous flows. These efforts show that there is equivalence between Lagrangian, Hamiltonian, and Newtonian mechanics as far as the derivation of the Navier-Stokes equation is concerned. However, one of the conclusions is that the attractiveness of the variational approach in more complex situations is still an open question for the applied fluid mechanician.


title: Bridging the Generational Gap: Exploring How Virtual Reality Supports Remote Communication Between Grandparents and Grandchildren

abstract: When living apart, grandparents and grandchildren often use audio-visual communication approaches to stay connected. However, these approaches seldom provide sufficient companionship and intimacy due to a lack of co-presence and spatial interaction, which can be fulfilled by immersive virtual reality (VR). To understand how grandparents and grandchildren might leverage VR to facilitate their remote communication and better inform future design, we conducted a user-centered participatory design study with twelve pairs of grandparents and grandchildren. Results show that VR affords casual and equal communication by reducing the generational gap, and promotes conversation by offering shared activities as bridges for connection. Participants preferred resemblant appearances on avatars for conveying well-being but created ideal selves for gaining playfulness. Based on the results, we contribute eight design implications that inform future VR-based grandparent-grandchild communications.


title: Multifractality in the interacting disordered Tavis-Cummings model

abstract: We analyze the spectral and transport properties of the interacting disordered Tavis-Cummings model at half excitation filling. We demonstrate that a Poissonian level statistics coexists with eigenfunctions that are multifractal (extended, but non-ergodic) in the Hilbert space, for all strengths of light-matter interactions. This is associated with a lack of thermalization for a local perturbation. We find that the bipartite entanglement entropy grows logarithmically with time, similarly to many-body localized systems, while the spin imbalance tends to zero for strong coupling, in analogy to ergodic phases. We show that these effects are due to the combination of finite interactions and integrability of the model. When a small integrability-breaking perturbation (nearest-neighbor hopping) is introduced, typical eigenfunctions become ergodic, seemingly turning the system into a near-perfect conductor, contrary to the single-excitation noninteracting case. We propose a realization of this model with cold atoms.


title: Self-training through Classifier Disagreement for Cross-Domain Opinion Target Extraction

abstract: Opinion target extraction (OTE) or aspect extraction (AE) is a fundamental task in opinion mining that aims to extract the targets (or aspects) on which opinions have been expressed. Recent work focus on cross-domain OTE, which is typically encountered in real-world scenarios, where the testing and training distributions differ. Most methods use domain adversarial neural networks that aim to reduce the domain gap between the labelled source and unlabelled target domains to improve target domain performance. However, this approach only aligns feature distributions and does not account for class-wise feature alignment, leading to suboptimal results. Semi-supervised learning (SSL) has been explored as a solution, but is limited by the quality of pseudo-labels generated by the model. Inspired by the theoretical foundations in domain adaptation [2], we propose a new SSL approach that opts for selecting target samples whose model output from a domain-specific teacher and student network disagree on the unlabelled target data, in an effort to boost the target domain performance. Extensive experiments on benchmark cross-domain OTE datasets show that this approach is effective and performs consistently well in settings with large domain shifts.


title: GPU Acceleration of Swendson-Wang Dynamics

abstract: When simulating a lattice system near its critical temperature, local algorithms for modeling the system's evolution can introduce very large autocorrelation times into sampled data. This critical slowing down places restrictions on the analysis that can be completed in a timely manner of the behavior of systems around the critical point. Because it is often desirable to study such systems around this point, a new algorithm must be introduced. Therefore, we turn to cluster algorithms, such as the Swendsen-Wang algorithm and the Wolff clustering algorithm. They incorporate global updates which generate new lattice configurations with little correlation to previous states, even near the critical point. We look to accelerate the rate at which these algorithm are capable of running by implementing and benchmarking a parallel implementation of each algorithm designed to run on GPUs under NVIDIA's CUDA framework. A 17 and 90 fold increase in the computational rate was respectively experienced when measured against the equivalent algorithm implemented in serial code.


title: On the geometric thickness of 2-degenerate graphs

abstract: A graph is 2-degenerate if every subgraph contains a vertex of degree at most 2. We show that every 2-degenerate graph can be drawn with straight lines such that the drawing decomposes into 4 plane forests. Therefore, the geometric arboricity, and hence the geometric thickness, of 2-degenerate graphs is at most 4. On the other hand, we show that there are 2-degenerate graphs that do not admit any straight-line drawing with a decomposition of the edge set into 2 plane graphs. That is, there are 2-degenerate graphs with geometric thickness, and hence geometric arboricity, at least 3. This answers two questions posed by Eppstein [Separating thickness from geometric thickness. In Towards a Theory of Geometric Graphs, vol. 342 of Contemp. Math., AMS, 2004].


title: Quasinormal modes of a holonomy corrected Schwarzschild black hole

abstract: We analyze the quasinormal modes (QNMs) of a recently obtained solution of a Schwarzschild black hole (BH) with corrections motivated by Loop Quantum Gravity (LQG). This spacetime is regular everywhere and presents the global structure of a wormhole, with a minimal surface whose radius depends on a LQG parameter. We focus on the investigation of massless scalar field perturbations over the spacetime. We compute the QNMs with the WKB approximation, as well as the continued fraction method. The QNM frequency orbits, for $l=0$ and $n>0$, where $l$ and $n$ are the multipole and overtone numbers, respectively, are self-intersecting, spiraling curves in the complex plane. These orbits accumulate to a fixed complex value corresponding to the QNMs of the extremal case. We obtain that, for small values of the LQG parameter, the overall damping decreases as we increase the LQG parameter. Moreover the spectrum of the quantum corrected black hole exhibits an oscillatory pattern, which might imply in the existence of QNMs with vanishing real part. This pattern suggests that the limit $n\rightarrow \infty$ for the real part of the QNMs is not well-defined, what differs from Schwarzschild's case. We also analyze the time-domain profiles for the scalar perturbations, showing that the LQG correction does not alter the Schwarzschild power-law tail. We compute the fundamental mode from the time profile by means of the Prony method, obtaining excellent agreement with the two previously mentioned methods.


title: Extending English IR methods to multi-lingual IR

abstract: This paper describes our participation in the 2023 WSDM CUP - MIRACL challenge. Via a combination of i) document translation; ii) multilingual SPLADE and Contriever; and iii) multilingual RankT5 and many other models, we were able to get first place in both the known and surprise languages tracks. Our strategy mostly revolved around getting the most diverse runs for the first stage and then throwing all possible reranking techniques. While this was not a first for many techniques, we had some things that we believe were never tried before, for example, we train the first SPLADE model that is effectively capable of working in more than 10 languages. However, a more careful study of the results is needed in order to verify if we were able to get first place just due to brute force or if the hybrids we developed really brought improvements over the other team's solutions.


title: Machine learning approach to the detection of point sources in maps of the CMB temperature anisotropies

abstract: We propose a machine learning approach to the blind detection of extragalactic point sources on maps of the temperature anisotropies of the cosmic microwave background. Using realistic simulations of the microwave sky as seen by Planck, we train a convolutional neural network (CNN) that solves source detection as an image segmentation problem. We divide the sky into regions of progressively increasing Galactic foreground intensity and independently train specialized CNNs for each region. This strategy leads to promising levels of completeness and reliability, with our CNN substantially outperforming traditional detection methods like the matched filter in regions close to the Galactic plane.


title: Parameterized Complexity of Vertex Splitting to Pathwidth at most 1

abstract: Motivated by the planarization of 2-layered straight-line drawings, we consider the problem of modifying a graph such that the resulting graph has pathwidth at most 1. The problem Pathwidth-One Vertex Explosion (POVE) asks whether such a graph can be obtained using at most $k$ vertex explosions, where a vertex explosion replaces a vertex $v$ by deg$(v)$ degree-1 vertices, each incident to exactly one edge that was originally incident to $v$. For POVE, we give an FPT algorithm with running time $O(4^k \cdot m)$ and an $O(k^2)$ kernel, thereby improving over the $O(k^6)$-kernel by Ahmed et al. [GD 22] in a more general setting. Similarly, a vertex split replaces a vertex $v$ by two distinct vertices $v_1$ and $v_2$ and distributes the edges originally incident to $v$ arbitrarily to $v_1$ and $v_2$. Analogously to POVE, we define the problem variant Pathwidth-One Vertex Splitting (POVS) that uses the split operation instead of vertex explosions. Here we obtain a linear kernel and an algorithm with running time $O((6k+12)^k \cdot m)$. This answers an open question by Ahmed et al. [GD22]. Finally, we consider the problem $\Pi$ Vertex Splitting ($\Pi$-VS), which generalizes the problem POVS and asks whether a given graph can be turned into a graph of a specific graph class $\Pi$ using at most $k$ vertex splits. For graph classes $\Pi$ that can be tested in monadic second-order graph logic (MSO$_2$), we show that the problem $\Pi$-VS can be expressed as an MSO$_2$ formula, resulting in an FPT algorithm for $\Pi$-VS parameterized by $k$ if $\Pi$ additionally has bounded treewidth. We obtain the same result for the problem variant using vertex explosions.


title: Spiking Neural Network Nonlinear Demapping on Neuromorphic Hardware for IM/DD Optical Communication

abstract: Neuromorphic computing implementing spiking neural networks (SNN) is a promising technology for reducing the footprint of optical transceivers, as required by the fast-paced growth of data center traffic. In this work, an SNN nonlinear demapper is designed and evaluated on a simulated intensity-modulation direct-detection link with chromatic dispersion. The SNN demapper is implemented in software and on the analog neuromorphic hardware system BrainScaleS-2 (BSS-2). For comparison, linear equalization (LE), Volterra nonlinear equalization (VNLE), and nonlinear demapping by an artificial neural network (ANN) implemented in software are considered. At a pre-forward error correction bit error rate of 2e-3, the software SNN outperforms LE by 1.5 dB, VNLE by 0.3 dB and the ANN by 0.5 dB. The hardware penalty of the SNN on BSS-2 is only 0.2 dB, i.e., also on hardware, the SNN performs better than all software implementations of the reference approaches. Hence, this work demonstrates that SNN demappers implemented on electrical analog hardware can realize powerful and accurate signal processing fulfilling the strict requirements of optical communications.


title: Automatically Classifying Emotions based on Text: A Comparative Exploration of Different Datasets

abstract: Emotion Classification based on text is a task with many applications which has received growing interest in recent years. This paper presents a preliminary study with the goal to help researchers and practitioners gain insight into relatively new datasets as well as emotion classification in general. We focus on three datasets that were recently presented in the related literature, and we explore the performance of traditional as well as state-of-the-art deep learning models in the presence of different characteristics in the data. We also explore the use of data augmentation in order to improve performance. Our experimental work shows that state-of-the-art models such as RoBERTa perform the best for all cases. We also provide observations and discussion that highlight the complexity of emotion classification in these datasets and test out the applicability of the models to actual social media posts we collected and labeled.


title: Global Context-Aware Person Image Generation

abstract: We propose a data-driven approach for context-aware person image generation. Specifically, we attempt to generate a person image such that the synthesized instance can blend into a complex scene. In our method, the position, scale, and appearance of the generated person are semantically conditioned on the existing persons in the scene. The proposed technique is divided into three sequential steps. At first, we employ a Pix2PixHD model to infer a coarse semantic mask that represents the new person's spatial location, scale, and potential pose. Next, we use a data-centric approach to select the closest representation from a precomputed cluster of fine semantic masks. Finally, we adopt a multi-scale, attention-guided architecture to transfer the appearance attributes from an exemplar image. The proposed strategy enables us to synthesize semantically coherent realistic persons that can blend into an existing scene without altering the global context. We conclude our findings with relevant qualitative and quantitative evaluations.


title: Quantifying interaction mechanism in infinite layer nickelate superconductors

abstract: The relationship between the long-range antiferromagnetic order in cuprates and the high-temperature superconductivity in these compounds represents unresolved, nearly four-decades long scientific problem. Because recently discovered nickelate superconductors are crystallographical counterparts of cuprates, many properties and difficulties into describing these compounds are common to both families. Recently, Fowlie et al (2022 Nature Physics 18 1043) aimed to detect the antiferromagnetic order in $R_{1-x}Sr_{x}NiO_{2}$ (R = Nd, Pr, La, x ~ 0.2) films by using the muon spin rotation (muSR) technique. This research group reported on the existence of short-range antiferromagnetic order in all studied nickelates. Here, we aimed to reveal the existence of this interaction in the same nickelate films by analyzing the temperature dependent resistivity, $\rho(T)$, reported by the same research group. Global $\rho(T)$ data fits to the advanced Bloch-Gr\"uneisen model showed that each of R1-xSrxNiO2 compounds can be characterized by a unique power-law exponent, p (where p=2 for the electron-electron scattering, p=3 for the electron-magnon scattering, and p=5 for the electron-phonon scattering), and global characteristic temperature, $T_{\omega}$ (which has the meaning of the Debye temperature at p=5). We found that p=2.0 in Nd- and Pr-based compounds, and p=1.3 for La-based compound. The latter value does not have any interpretation within established theoretical models. We also analyzed $\rho(T)$ data for $Nd_{1-x}Sr_{x}NiO_{2}$ (0.125 < x < 0.325) reported by Lee et al (2022 arXiv2203.02580). Because our analysis showed that p-values in nickelates are remarkably different from p=3, we call for the developent of a new theoretical model to describe $\rho(T)$ in materials exhibiting a short-range antiferromagnetic order.


title: Compression-driven viscous fingering in a radial Hele-Shaw cell

abstract: The displacement of a viscous liquid by a gas within a Hele-Shaw cell is a classical problem. The gas-liquid interface is hydrodynamically unstable, forming striking finger-like patterns that have attracted research interest for decades. Generally, both the gas and liquid phases are taken to be incompressible, with the capillary number being the key parameter that determines the severity of the instability. Here, we consider a radially outward displacement driven by the steady compression of a gas reservoir. The associated gas-injection rate is then unsteady due to the compressibility of the gas. We identify a second nondimensional parameter, the compressibility number, that plays a strong role in the development of the fingering pattern. We use an axisymmetric model to study the impact of compressibility number on the unsteady evolution of injection rate and gas pressure. We use linear stability analysis to show that increasing the compressibility number delays the onset of finger development relative to the corresponding incompressible case. Finally, we present and compare a series of experiments and fully nonlinear simulations over a broad range of capillary and compressibility numbers. These results show that increasing the compressibility number systematically decreases the severity of the fingering pattern at high capillary number. Our results provide an unprecedented comparison of experiments with simulations for viscous fingering, a comprehensive understanding of the role of compressibility in unstable gas-liquid displacement flows, and insight into a new mechanism for controlling the development of fingering patterns.


title: Inverse Problems in PDF Determinations

abstract: The determination of Parton Distribution Functions from a finite set of data is a typical example of an inverse problem. Inverse problems are notoriously difficult to solve, in particular when a robust determination of the uncertainty in the result is needed. We present a Bayesian framework to deal with this problem and discuss first results from a closure test.


title: Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design

abstract: Automatic underwater vehicle hull Design optimization is a complex engineering process for generating a UUV hull with optimized properties on a given requirement. First, it involves the integration of involved computationally complex engineering simulation tools. Second, it needs integration of a sample efficient optimization framework with the integrated toolchain. To this end, we integrated the CAD tool called FreeCAD with CFD tool openFoam for automatic design evaluation. For optimization, we chose Bayesian optimization (BO), which is a well-known technique developed for optimizing time-consuming expensive engineering simulations and has proven to be very sample efficient in a variety of problems, including hyper-parameter tuning and experimental design. During the optimization process, we can handle infeasible design as constraints integrated into the optimization process. By integrating domain-specific toolchain with AI-based optimization, we executed the automatic design optimization of underwater vehicle hull design. For empirical evaluation, we took two different use cases of real-world underwater vehicle design to validate the execution of our tool.


title: Spectral splitting of a stimulated Raman transition in a single molecule

abstract: The small cross section of Raman scattering poses a great challenge for its direct study at the single-molecule level. By exploiting the high Franck-Condon factor of a common-mode resonance, choosing a large vibrational frequency difference in electronic ground and excited states and operation at T < 2K, we succeed at driving a coherent stimulated Raman transition in individual molecules. We observe and model a spectral splitting that serves as a characteristic signature of the phenomenon at hand. Our study sets the ground for exploiting the intrinsic optomechanical degrees of freedom of molecules for applications in solid-state quantum optics and information processing.


title: Langlands duality for skein modules of 3-manifolds

abstract: I introduce new Langlands duality conjectures concerning skein modules of 3-manifolds, which we have made recently with David Ben-Zvi, Sam Gunningham, and Pavel Safronov. I recount some historical motivation and some recent special cases where the conjecture is confirmed. The proofs in these cases combine the representation theory of double affine Hecke algebras and a new 1-form symmetry structure on skein modules related to electric-magnetic duality. This note is an expansion of my talk given at String Math 2022 in Warsaw, and is submitted to the String Math 2022 Proceedings publication.


title: IMU-based Online Multi-lidar Calibration

abstract: Modern autonomous systems typically use several sensors for perception. For best performance, accurate and reliable extrinsic calibration is necessary. In this research, we propose a reliable technique for the extrinsic calibration of several lidars on a vehicle without the need for odometry estimation or fiducial markers. First, our method generates an initial guess of the extrinsics by matching the raw signals of IMUs co-located with each lidar. This initial guess is then used in ICP and point cloud feature matching which refines and verifies this estimate. Furthermore, we can use observability criteria to choose a subset of the IMU measurements that have the highest mutual information -- rather than comparing all the readings. We have successfully validated our methodology using data gathered from Scania test vehicles.


title: TextIR: A Simple Framework for Text-based Editable Image Restoration

abstract: Most existing image restoration methods use neural networks to learn strong image-level priors from huge data to estimate the lost information. However, these works still struggle in cases when images have severe information deficits. Introducing external priors or using reference images to provide information also have limitations in the application domain. In contrast, text input is more readily available and provides information with higher flexibility. In this work, we design an effective framework that allows the user to control the restoration process of degraded images with text descriptions. We use the text-image feature compatibility of the CLIP to alleviate the difficulty of fusing text and image features. Our framework can be used for various image restoration tasks, including image inpainting, image super-resolution, and image colorization. Extensive experiments demonstrate the effectiveness of our method.


title: On the Erd\H{o}s--Ginzburg--Ziv Problem in large dimension

abstract: The Erd\H{o}s--Ginzburg--Ziv Problem is a classical extremal problem in discrete geometry. Given $m$ and $n$, the problem asks about the smallest number $s$ such that among any $s$ points in the integer lattice $\mathbb{Z}^n$ one can find $m$ points whose centroid is again a lattice point. Despite of a lot of attention over the last 50 years, this problem is far from well-understood. For fixed dimension $n$, Alon and Dubiner proved that the answer grows linearly with $m$. In this paper, we focus on the opposite case, where the number $m$ is fixed and the dimension $n$ is large. We drastically improve the previous upper bounds in this regime, showing that for every $\varepsilon>0$ the answer is at most $D_{\varepsilon,m}\cdot (C_{\varepsilon}m^{\varepsilon})^n$ for all $m$ and $n$. Our proof combines (a consequence of) the slice rank polynomial method with a higher-uniformity version of the Balog--Szemer\'{e}di--Gowers Theorem due to Borenstein and Croot.


title: H$_2$O MegaMaser emission in NGC 4258 indicative of a periodic disc instability

abstract: H$_2$O MegaMaser emission may arise from thin gas discs surrounding the massive nuclei of galaxies such as NGC\,4258, but the physical conditions responsible for the amplified emission are unclear. A detailed view of these regions is possible using the very high angular resolution afforded by space very long baseline interferometry (SVLBI). Here we report SVLBI experiments conducted using the orbiting RadioAstron Observatory that have resulted in detections of the H$_2$O 22 GHz emission in NGC\,4258, with Earth-space baselines of 1.3, 9.5 and 19.5 Earth diameters. Observations at the highest angular resolution of 11 and 23 $\mu$as show distinct and regularly spaced regions within the rotating disc, at an orbital radius of about 0.126 pc. These observations at three subsequent epochs also indicate a time evolution of the emission features, with a sudden rise in amplitude followed by a slow decay. The formation of the emission regions, their regular spacing and their time-dependent behaviour appear consistent with the occurrence of a periodic magneto-rotational instability in the disc. This type of shear-driven instability within the differentially rotating disc has been suggested to be the mechanism governing the radial momentum transfer and viscosity within a mass-accreting disc. The connection of the H$_2$O MegaMaser activity with the magneto-rotational instability activity would make it an indicator of the mass-accretion rate in the nuclear disc of the host galaxy.


title: Deep Learning for Mean Field Optimal Transport

abstract: Mean field control (MFC) problems have been introduced to study social optima in very large populations of strategic agents. The main idea is to consider an infinite population and to simplify the analysis by using a mean field approximation. These problems can also be viewed as optimal control problems for McKean-Vlasov dynamics. They have found applications in a wide range of fields, from economics and finance to social sciences and engineering. Usually, the goal for the agents is to minimize a total cost which consists in the integral of a running cost plus a terminal cost. In this work, we consider MFC problems in which there is no terminal cost but, instead, the terminal distribution is prescribed. We call such problems mean field optimal transport problems since they can be viewed as a generalization of classical optimal transport problems when mean field interactions occur in the dynamics or the running cost function. We propose three numerical methods based on neural networks. The first one is based on directly learning an optimal control. The second one amounts to solve a forward-backward PDE system characterizing the solution. The third one relies on a primal-dual approach. We illustrate these methods with numerical experiments conducted on two families of examples.


title: Fusion of ML with numerical simulation for optimized propeller design

abstract: In computer-aided engineering design, the goal of a designer is to find an optimal design on a given requirement using the numerical simulator in loop with an optimization method. In this design optimization process, a good design optimization process is one that can reduce the time from inception to design. In this work, we take a class of design problem, that is computationally cheap to evaluate but has high dimensional design space. In such cases, traditional surrogate-based optimization does not offer any benefits. In this work, we propose an alternative way to use ML model to surrogate the design process that formulates the search problem as an inverse problem and can save time by finding the optimal design or at least a good initial seed design for optimization. By using this trained surrogate model with the traditional optimization method, we can get the best of both worlds. We call this as Surrogate Assisted Optimization (SAO)- a hybrid approach by mixing ML surrogate with the traditional optimization method. Empirical evaluations of propeller design problems show that a better efficient design can be found in fewer evaluations using SAO.


title: SMPT: A Testbed for Reachability Methods in Generalized Petri Nets

abstract: SMPT (for Satisfiability Modulo Petri Net) is a model checker for reachability problems in Petri nets. It started as a portfolio of methods to experiment with symbolic model checking, and was designed to be easily extended. Some distinctive features are its ability to benefit from structural reductions and to generate verdict certificates. Our tool is quite mature and performed well compared to other state-of-the-art tools in the Model Checking Contest.