title: ELECTRODE: An electrochemistry package for atomistic simulations

abstract: Constant potential methods (CPM) enable computationally efficient simulations of the solid-liquid interface at conducting electrodes in molecular dynamics (MD). They have been successfully used, for example, to realistically model the behavior of ionic liquids or water-in-salt electrolytes in supercapacitors and batteries. The CPM models conductive electrodes by updating charges of individual electrode atoms according to the applied electric potential and the (time-dependent) local electrolyte structure. Here we present a feature-rich CPM implementation, called ELECTRODE, for the Large-scale Atomic/Molecular Massively Parallel Simulator (LAMMPS), which includes a constrained charge method and a thermo-potentiostat. The ELECTRODE package also contains a finite-field approach, multiple corrections for non-periodic boundary conditions of the particle-particle particle-mesh solver, and a Thomas-Fermi model for using non-ideal metals as electrodes. We demonstrate the capabilities of this implementation for a parallel-plate electrical double-layer capacitor, for which we have investigated the charging times with the different implemented methods and found an interesting relationship between water and ionic dipole relaxations. To prove the validity of the one-dimensional correction for the long-range electrostatics, we estimated the vacuum capacitance of two co-axial carbon nanotubes and compared it to structureless cylinders, for which an analytical expression exists. In summary, the ELECTRODE package enables efficient electrochemical simulations using state-of-the-art methods, allowing one to simulate even heterogeneous electrodes. Moreover, it allows unveiling more rigorously how electrode curvature affects the capacitance with the one-dimensional correction.


title: Eichler integrals and generalized second order Eisenstein series

abstract: We show that all Eichler integrals, and more generally all "generalized second order modular forms" can be expressed as linear combinations of corresponding generalized second order Eisenstein series with coefficients in classical modular forms. We determine the Fourier series expansions of generalized second order Eisenstein series in level one, and provide tail estimates via convexity bounds for additively twisted $\mathrm{L}$-functions. As an application, we illustrate a bootstrapping procedure that yields numerical evaluations of, for instance, Eichler integrals from merely the associated cocycle. The proof of our main results rests on a filtration argument that is largely rooted in previous work on vector-valued modular forms, which we here formulate in classical terms.


title: Introducing and solving generalized Black-Scholes PDEs through the use of functional calculus

abstract: We introduce some families of generalized Black--Scholes equations which involve the Riemann-Liouville and Weyl space-fractional derivatives. We prove that these generalized Black--Scholes equations are well-posed in $(L^1-L^\infty)$-interpolation spaces. More precisely, we show that the elliptic type operators involved in these equations generate holomorphic semigroups. Then, we give explicit integral expressions for the associated solutions. In the way to obtain well-posedness, we prove a new connection between bisectorial operators and sectorial operators in an abstract setting. Such a connection extends some known results in the topic to a wider family of both operators and the functions involved.


title: Correlations and Work Statistics in Critical Quantum Systems

abstract: In this dissertation, we analyze equilibrium and out-of-equilibrium quantum phase transitions present in quantum spin-$\frac{1}{2}$ models, using a quantum information approach through quantum correlations and phase space formalism, and a quantum thermodynamic approach through the work statistics formalism.


title: Protein language models trained on multiple sequence alignments learn phylogenetic relationships

abstract: Self-supervised neural language models with attention have recently been applied to biological sequence data, advancing structure, function and mutational effect prediction. Some protein language models, including MSA Transformer and AlphaFold's EvoFormer, take multiple sequence alignments (MSAs) of evolutionarily related proteins as inputs. Simple combinations of MSA Transformer's row attentions have led to state-of-the-art unsupervised structural contact prediction. We demonstrate that similarly simple, and universal, combinations of MSA Transformer's column attentions strongly correlate with Hamming distances between sequences in MSAs. Therefore, MSA-based language models encode detailed phylogenetic relationships. We further show that these models can separate coevolutionary signals encoding functional and structural constraints from phylogenetic correlations reflecting historical contingency. To assess this, we generate synthetic MSAs, either without or with phylogeny, from Potts models trained on natural MSAs. We find that unsupervised contact prediction is substantially more resilient to phylogenetic noise when using MSA Transformer versus inferred Potts models.


title: Is there any upper bound on current fluctuation in cross-transport beyond linear response regime?

abstract: Input and output current fluctuations in stationary cross-transport systems with two kinds of currents are investigated. In Saryal {\it et al.} [Phys. Rev. Lett. 127, 190603 (2021)], upper bounds on input and output current fluctuations are proven in the linear response regime and suggested the validity beyond the linear response regime. We examine these bounds beyond the linear response regime and find that these bounds are violated in general nonequilibrium stationary conditions. We show two examples to demonstrate the violation. Through these examples, we argue that no upper bound on input and output current fluctuations exist beyond the linear response regime.


title: Graded Monads and Behavioural Equivalence Games

abstract: The framework of graded semantics uses graded monads to capture behavioural equivalences of varying granularity, for example as found on the linear-time/branching-time spectrum, over general system types. We describe a generic Spoiler-Duplicator game for graded semantics that is extracted from the given graded monad, and may be seen as playing out an equational proof; instances include standard pebble games for simulation and bisimulation as well as games for trace-like equivalences and coalgebraic behavioural equivalence. Considerations on an infinite variant of such games lead to a novel notion of infinite-depth graded semantics. Under reasonable restrictions, the infinite-depth graded semantics associated to a given graded equivalence can be characterized in terms of a determinization construction for coalgebras under the equivalence at hand.


title: Machine Composition of Korean Music via Topological Data Analysis and Artificial Neural Network

abstract: Common AI music composition algorithms based on artificial neural networks are to train a machine by feeding a large number of music pieces and create artificial neural networks that can produce music similar to the input music data. This approach is a blackbox optimization, that is, the underlying composition algorithm is, in general, not known to users. In this paper, we present a way of machine composition that trains a machine the composition principle embedded in the given music data instead of directly feeding music pieces. We propose this approach by using the concept of {\color{black}{Overlap}} matrix proposed in \cite{TPJ}. In \cite{TPJ}, a type of Korean music, so-called the {\it Dodeuri} music such as Suyeonjangjigok has been analyzed using topological data analysis (TDA), particularly using persistent homology. As the raw music data is not suitable for TDA analysis, the music data is first reconstructed as a graph. The node of the graph is defined as a two-dimensional vector composed of the pitch and duration of each music note. The edge between two nodes is created when those nodes appear consecutively in the music flow. Distance is defined based on the frequency of such appearances. Through TDA on the constructed graph, a unique set of cycles is found for the given music. In \cite{TPJ}, the new concept of the {\it {\color{black}{Overlap}} matrix} has been proposed, which visualizes how those cycles are interconnected over the music flow, in a matrix form. In this paper, we explain how we use the {\color{black}{Overlap}} matrix for machine composition. The {\color{black}{Overlap}} matrix makes it possible to compose a new music piece algorithmically and also provide a seed music towards the desired artificial neural network. In this paper, we use the {\it Dodeuri} music and explain detailed steps.


title: Abstract Flow for Temporal Semantic Segmentation on the Permutohedral Lattice

abstract: Semantic segmentation is a core ability required by autonomous agents, as being able to distinguish which parts of the scene belong to which object class is crucial for navigation and interaction with the environment. Approaches which use only one time-step of data cannot distinguish between moving objects nor can they benefit from temporal integration. In this work, we extend a backbone LatticeNet to process temporal point cloud data. Additionally, we take inspiration from optical flow methods and propose a new module called Abstract Flow which allows the network to match parts of the scene with similar abstract features and gather the information temporally. We obtain state-of-the-art results on the SemanticKITTI dataset that contains LiDAR scans from real urban environments. We share the PyTorch implementation of TemporalLatticeNet at https://github.com/AIS-Bonn/temporal_latticenet .


title: Graph similarity learning for change-point detection in dynamic networks

abstract: Dynamic networks are ubiquitous for modelling sequential graph-structured data, e.g., brain connectome, population flows and messages exchanges. In this work, we consider dynamic networks that are temporal sequences of graph snapshots, and aim at detecting abrupt changes in their structure. This task is often termed network change-point detection and has numerous applications, such as fraud detection or physical motion monitoring. Leveraging a graph neural network model, we design a method to perform online network change-point detection that can adapt to the specific network domain and localise changes with no delay. The main novelty of our method is to use a siamese graph neural network architecture for learning a data-driven graph similarity function, which allows to effectively compare the current graph and its recent history. Importantly, our method does not require prior knowledge on the network generative distribution and is agnostic to the type of change-points; moreover, it can be applied to a large variety of networks, that include for instance edge weights and node attributes. We show on synthetic and real data that our method enjoys a number of benefits: it is able to learn an adequate graph similarity function for performing online network change-point detection in diverse types of change-point settings, and requires a shorter data history to detect changes than most existing state-of-the-art baselines.


title: State space models vs. multi-step predictors in predictive control: Are state space models complicating safe data-driven designs?

abstract: This paper contrasts recursive state space models and direct multi-step predictors for linear predictive control. We provide a tutorial exposition for both model structures to solve the following problems: 1. stochastic optimal control; 2. system identification; 3. stochastic optimal control based on the estimated model. Throughout the paper, we provide detailed discussions of the benefits and limitations of these two model parametrizations for predictive control and highlight the relation to existing works. Additionally, we derive a novel (partially tight) constraint tightening for stochastic predictive control with parametric uncertainty in the multi-step predictor.


title: Ab initio calculation of real solids via neural network ansatz

abstract: Neural networks have been applied to tackle many-body electron correlations for small molecules and physical models in recent years. Here we propose a new architecture that extends molecular neural networks with the inclusion of periodic boundary conditions to enable ab initio calculation of real solids. The accuracy of our approach is demonstrated in four different types of systems, namely the one-dimensional periodic hydrogen chain, the two-dimensional graphene, the three-dimensional lithium hydride crystal, and the homogeneous electron gas, where the obtained results, e.g. total energies, dissociation curves, and cohesive energies, outperform many traditional ab initio methods and reach the level of the most accurate approaches. Moreover, electron densities of typical systems are also calculated to provide physical intuition of various solids. Our method of extending a molecular neural network to periodic systems can be easily integrated into other neural network structures, highlighting a promising future of ab initio solution of more complex solid systems using neural network ansatz, and more generally endorsing the application of machine learning in materials simulation and condensed matter physics.


title: Frequency-Directional Attention Model for Multilingual Automatic Speech Recognition

abstract: This paper proposes a model for transforming speech features using the frequency-directional attention model for End-to-End (E2E) automatic speech recognition. The idea is based on the hypothesis that in the phoneme system of each language, the characteristics of the frequency bands of speech when uttering them are different. By transforming the input Mel filter bank features with an attention model that characterizes the frequency direction, a feature transformation suitable for ASR in each language can be expected. This paper introduces a Transformer-encoder as a frequency-directional attention model. We evaluated the proposed method on a multilingual E2E ASR system for six different languages and found that the proposed method could achieve, on average, 5.3 points higher accuracy than the ASR model for each language by introducing the frequency-directional attention mechanism. Furthermore, visualization of the attention weights based on the proposed method suggested that it is possible to transform acoustic features considering the frequency characteristics of each language.


title: Gaussian Control Barrier Functions : A Non-Parametric Paradigm to Safety

abstract: Inspired by the success of control barrier functions (CBFs) in addressing safety, and the rise of data-driven techniques for modeling functions, we propose a non-parametric approach for online synthesis of CBFs using Gaussian Processes (GPs). Mathematical constructs such as CBFs have achieved safety by designing a candidate function a priori. However, designing such a candidate function can be challenging. A practical example of such a setting would be to design a CBF in a disaster recovery scenario where safe and navigable regions need to be determined. The decision boundary for safety in such an example is unknown and cannot be designed a priori. In our approach, we work with safety samples or observations to construct the CBF online by assuming a flexible GP prior on these samples, and term our formulation as a Gaussian CBF. GPs have favorable properties, in addition to being non-parametric, such as analytical tractability and robust uncertainty estimation. This allows realizing the posterior components with high safety guarantees by incorporating variance estimation, while also computing associated partial derivatives in closed-form to achieve safe control. Moreover, the synthesized safety function from our approach allows changing the corresponding safe set arbitrarily based on the data, thus allowing non-convex safe sets. We validate our approach experimentally on a quadrotor by demonstrating safe control for fixed but arbitrary safe sets and collision avoidance where the safe set is constructed online. Finally, we juxtapose Gaussian CBFs with regular CBFs in the presence of noisy states to highlight its flexibility and robustness to noise. The experiment video can be seen at: https://youtu.be/HX6uokvCiGk.


title: Continuous ferromagnetic quantum phase transition on an anisotropic Kondo lattice

abstract: Motivated by the recent discovery of ferromagnetic quantum criticality in the heavy fermion compound CeRh$_6$Ge$_4$, we develop a numerical algorithm of infinite projected entangled pair states for the anisotropic ferromagnetic Kondo-Heisenberg model in two dimensions and study the ferromagnetic quantum phase transitions with varying magnetic and hopping anisotropy. Our calculations reveal a continuous ferromagnetic quantum phase transition in the large anisotropic region and first-order quantum phase transitions for smaller anisotropy. Our results highlight the importance of magnetic anisotropy on ferromagnetic quantum criticality in Kondo lattice systems and provide a possible explanation for the experimental observation in CeRh$_6$Ge$_4$ with a quasi-one-dimensional magnetic structure. Our work opens the avenue for future studies of the rich Kondo lattice physics using state-of-the-art tensor network approaches.


title: Excitation and detection of acoustic phonons in nanoscale systems

abstract: Phonons play a key role in the physical properties of materials, and have long been a topic of study in physics. While the effects of phonons had historically been considered to be a hindrance, modern research has shown that phonons can be exploited due to their ability to couple to other excitations and consequently affect the thermal, dielectric, and electronic properties of solid state systems, greatly motivating the engineering of phononic structures. Advances in nanofabrication have allowed for structuring and phonon confinement even down to the nanoscale, drastically changing material properties. Despite developments in fabricating such nanoscale devices, the proper manipulation and characterization of phonons continues to be challenging. However, a fundamental understanding of these processes could enable the realization of key applications in diverse fields such as topological phononics, information technologies, sensing, and quantum electrodynamics, especially when integrated with existing electronic and photonic devices. Here, we highlight seven of the available methods for the excitation and detection of acoustic phonons and vibrations in solid materials, as well as advantages, disadvantages, and additional considerations related to their application. We then provide perspectives towards open challenges in nanophononics and how the additional understanding granted by these techniques could serve to enable the next generation of phononic technological applications.


title: The CUBES Instrument Model and Simulation Tools. Their role in the project Phase A study

abstract: We present the simulation tools developed to aid the design phase of the Cassegrain U-Band Efficient Spectrograph (CUBES) for the Very Large Telescope (VLT), exploring aspects of the system design and evaluating the performance for different design configurations. CUBES aims to be the 'ultimate' ultraviolet (UV) instrument at the European Southern Observatory (ESO) in terms of throughput, with the goal to cover the bluest part of the spectrum accessible from the ground (300 nm to 400 nm) with the highest possible efficiency. Here we introduce the End-to-End (E2E) and the Exposure Time Calculator (ETC) tools. The E2E simulator has been developed with different versions to meet the needs of different users, including a version that can be accessed for use by the broader scientific community using a Jupyter notebook. The E2E tool was used by the system team to help define the Phase A baseline design of the instrument, as well as in scientific evaluation of a possible low-resolution mode. The ETC is a web-based tool through which the science community are able to test a range of science cases for CUBES, demonstrating its potential to push the limiting magnitude for the detection of specific UV-features, such as abundance estimates of beryllium in main sequence stars.


title: Multielectron effect in the strong-field ionization of aligned nonpolar molecules

abstract: We revisit strong-field ionization of aligned O$_2$, CO$_2$, and CS$_2$ molecules in light of recent advances in the field of strong-field physics, in particular the inclusion of multielectron polarization in the numerical solution of the time-dependent Schr{\"o}dinger equation (TDSE) within the singe-active-electron approximation. Upon inclusion of multielectron polarization and the associated induced dipole potential in the TDSE model, we obtain angular distributions of total ionization yields which are in better agreement with the available experimental results for CO$_2$ and CS$_2$. For the probed molecules, the main effect of the multielectron polarization on the photoelectron momentum distributions (PMDs) is captured by the introduction of a field at short distances that counteracts the applied external field and leads to a vanishing time-dependent interaction within a certain cut-off radius. Hence, for the PMDs we find no imprints of the long-range part of the laser-induced dipole potential.


title: Speech Segmentation Optimization using Segmented Bilingual Speech Corpus for End-to-end Speech Translation

abstract: Speech segmentation, which splits long speech into short segments, is essential for speech translation (ST). Popular VAD tools like WebRTC VAD have generally relied on pause-based segmentation. Unfortunately, pauses in speech do not necessarily match sentence boundaries, and sentences can be connected by a very short pause that is difficult to detect by VAD. In this study, we propose a speech segmentation method using a binary classification model trained using a segmented bilingual speech corpus. We also propose a hybrid method that combines VAD and the above speech segmentation method. Experimental results revealed that the proposed method is more suitable for cascade and end-to-end ST systems than conventional segmentation methods. The hybrid approach further improved the translation performance.


title: SAR-ShipNet: SAR-Ship Detection Neural Network via Bidirectional Coordinate Attention and Multi-resolution Feature Fusion

abstract: This paper studies a practically meaningful ship detection problem from synthetic aperture radar (SAR) images by the neural network. We broadly extract different types of SAR image features and raise the intriguing question that whether these extracted features are beneficial to (1) suppress data variations (e.g., complex land-sea backgrounds, scattered noise) of real-world SAR images, and (2) enhance the features of ships that are small objects and have different aspect (length-width) ratios, therefore resulting in the improvement of ship detection. To answer this question, we propose a SAR-ship detection neural network (call SAR-ShipNet for short), by newly developing Bidirectional Coordinate Attention (BCA) and Multi-resolution Feature Fusion (MRF) based on CenterNet. Moreover, considering the varying length-width ratio of arbitrary ships, we adopt elliptical Gaussian probability distribution in CenterNet to improve the performance of base detector models. Experimental results on the public SAR-Ship dataset show that our SAR-ShipNet achieves competitive advantages in both speed and accuracy.


title: Probability of forming gaps in the GD-1 stream by close encounters of globular clusters

abstract: One of the most intriguing properties of the GD-1 stellar stream is the existence of three gaps. If these gaps were formed by close encounters with dark matter subhalos, the GD-1 stream opens an exciting window through which we can see the size, mass, and velocity distributions of the dark matter subhalos in the Milky Way. However, in order to use the GD-1 stream as a probe of the dark matter substructure, we need to disprove that these gaps are not due to the perturbations from baryonic components of the Milky Way. Here we ran a large number of test particle simulations to investigate the probability that each of the known globular clusters (GCs) can form a GD-1-like gap, by using the kinematical data of the GD-1 stream and GCs from Gaia EDR3 and by fully taking into account the observational uncertainty. We found that the probability that all of the three gaps were formed by GCs is as low as $1.7\times10^{-5}$ and the expected number of gaps formed by GCs is only $0.057$ in our fiducial model. Our result highly disfavors a scenario in which GCs form the gaps. Given that other baryonic perturbers (e.g., giant molecular clouds) are even less likely to form a gap in the retrograde-moving GD-1 stream, we conclude that at least one of the gaps in the GD-1 stream was formed by dark matter subhalos if the gaps were formed by flyby perturbations.


title: Constructing the relative Fukaya category

abstract: We give a definition of Seidel's `relative Fukaya category', for a smooth complex projective variety, under a semipositivity assumption. We use the Cieliebak--Mohnke approach to transversality via stabilizing divisors. Two features of our construction are noteworthy: that we work relative to a normal crossings divisor that supports an effective ample divisor but need not have ample components; and that our relative Fukaya category is linear over a certain ring of multivariate power series with integer coefficients.


title: Representing 'how you say' with 'what you say': English corpus of focused speech and text reflecting corresponding implications

abstract: In speech communication, how something is said (paralinguistic information) is as crucial as what is said (linguistic information). As a type of paralinguistic information, English speech uses sentence stress, the heaviest prominence within a sentence, to convey emphasis. While different placements of sentence stress communicate different emphatic implications, current speech translation systems return the same translations if the utterances are linguistically identical, losing paralinguistic information. Concentrating on focus, a type of emphasis, we propose mapping paralinguistic information into the linguistic domain within the source language using lexical and grammatical devices. This method enables us to translate the paraphrased text representations instead of the transcription of the original speech and obtain translations that preserve paralinguistic information. As a first step, we present the collection of an English corpus containing speech that differed in the placement of focus along with the corresponding text, which was designed to reflect the implied meaning of the speech. Also, analyses of our corpus demonstrated that mapping of focus from the paralinguistic domain into the linguistic domain involved various lexical and grammatical methods. The data and insights from our analysis will further advance research into paralinguistic translation. The corpus will be published via LDC and our website.


title: Local variational quantum compilation of a large-scale Hamiltonian dynamics

abstract: Implementing time evolution operators on quantum circuits is important for quantum simulation. However, the standard way, Trotterization, requires a huge numbers of gates to achieve desirable accuracy. Here, we propose a local variational quantum compilation (LVQC) algorithm, which allows to accurately and efficiently compile a time evolution operators on a large-scale quantum system by the optimization with smaller-size quantum systems. LVQC utilizes a subsystem cost function, which approximates the fidelity of the whole circuit, defined for each subsystem as large as approximate causal cones brought by the Lieb-Robinson (LR) bound. We rigorously derive its scaling property with respect to the subsystem size, and show that the optimization conducted on the subsystem size leads to the compilation of whole-system time evolution operators. As a result, LVQC runs with limited-size quantum computers or classical simulators that can handle such smaller quantum systems. For instance, finite-ranged and short-ranged interacting $L$-size systems can be compiled with $O(L^0)$- or $O(\log L)$-size quantum systems depending on observables of interest. Furthermore, since this formalism relies only on the LR bound, it can efficiently construct time evolution operators of various systems in generic dimension involving finite-, short-, and long-ranged interactions. We also numerically demonstrate the LVQC algorithm for one-dimensional systems. Employing classical simulation by time-evolving block decimation, we succeed in compressing the depth of a time evolution operators up to $40$ qubits by the compilation for $20$ qubits. LVQC not only provides classical protocols for designing large-scale quantum circuits, but also will shed light on applications of intermediate-scale quantum devices in implementing algorithms in larger-scale quantum devices.


title: Learning Structured Gaussians to Approximate Deep Ensembles

abstract: This paper proposes using a sparse-structured multivariate Gaussian to provide a closed-form approximator for the output of probabilistic ensemble models used for dense image prediction tasks. This is achieved through a convolutional neural network that predicts the mean and covariance of the distribution, where the inverse covariance is parameterised by a sparsely structured Cholesky matrix. Similarly to distillation approaches, our single network is trained to maximise the probability of samples from pre-trained probabilistic models, in this work we use a fixed ensemble of networks. Once trained, our compact representation can be used to efficiently draw spatially correlated samples from the approximated output distribution. Importantly, this approach captures the uncertainty and structured correlations in the predictions explicitly in a formal distribution, rather than implicitly through sampling alone. This allows direct introspection of the model, enabling visualisation of the learned structure. Moreover, this formulation provides two further benefits: estimation of a sample probability, and the introduction of arbitrary spatial conditioning at test time. We demonstrate the merits of our approach on monocular depth estimation and show that the advantages of our approach are obtained with comparable quantitative performance.


title: CO in the ALMA Radio-Source Catalogue (ARC): the molecular gas content of radio galaxies as a function of redshift

abstract: To evaluate the role of radio activity in galaxy evolution, we designed a large archival CO survey of radio galaxies (RGs) to determine their molecular gas masses at different epochs. We used a sample of 120 RGs representative of the NVSS 1.4 GHz survey, when flux limited at 0.4 Jy. Of those, 66 galaxies belonged to the ALMA Radio-source Catalogue (ARC) of calibrators and had spectral window tunings around CO (1-0), (2-1), (3-2), or (4-3). We reduced their ALMA data, determined their H2 mass contents, and combined the results with similar results for the remaining 54 galaxies from the literature. We found that, while at all epochs the majority of RGs have undetectable reservoirs, there is a rapid increase in the H2 mass content of the CO-detected RGs with z. At 1<z<2.5, one-fourth of the RGs have at least as much molecular gas as simulations would indicate for a typical halo mass of that epoch. These galaxies plausibly have ``normal'' or even starburst hosts. Taking into account the completeness correction of the sample, we created the corresponding H$_2$ mass functions at 0.005<z<0.3 and 1<z<2.5. The local mass function reveals that the number density of low-z RGs with detectable molecular gas reservoirs is only a little lower (a factor of ~4) than that of pure (or little star-forming) type 1 and 2 AGN in simulations. At 1<z<2.5, there is a significant decrease in the number density of high-z RGs due to the rarity of bright radio galaxies. An estimate for the missing faint RGs would, nonetheless, bring populations close again. Finally, we find that the volume density of molecular gas locked up in the brightest 1/5000-1/7000 RGs is similar in the examined $z$ bins. This result likely indicates that the inflow rate on one hand and the star-formation depletion rate plus the jet-driven expulsion rate on the other hand counteract each other in the most luminous RGs of each epoch.


title: T-RAX: Transversely Resonant Axion eXperiment

abstract: We propose to use an elongated rectangular waveguide near its cutoff frequency for axionic dark matter searches. The detector's large surface area allows for significant signal power, while its narrow transverse dimension and tapered-waveguide coupling suppress parasitic modes. The proposed system can fit inside a solenoid magnet and is sensitive to the QCD-axion in the axion mass $40-400\,\mu$eV. We describe the theoretical principles of the new design, present simulation results, and discuss the implementation.


title: Over-the-Air Federated Learning via Second-Order Optimization

abstract: Federated learning (FL) is a promising learning paradigm that can tackle the increasingly prominent isolated data islands problem while keeping users' data locally with privacy and security guarantees. However, FL could result in task-oriented data traffic flows over wireless networks with limited radio resources. To design communication-efficient FL, most of the existing studies employ the first-order federated optimization approach that has a slow convergence rate. This however results in excessive communication rounds for local model updates between the edge devices and edge server. To address this issue, in this paper, we instead propose a novel over-the-air second-order federated optimization algorithm to simultaneously reduce the communication rounds and enable low-latency global model aggregation. This is achieved by exploiting the waveform superposition property of a multi-access channel to implement the distributed second-order optimization algorithm over wireless networks. The convergence behavior of the proposed algorithm is further characterized, which reveals a linear-quadratic convergence rate with an accumulative error term in each iteration. We thus propose a system optimization approach to minimize the accumulated error gap by joint device selection and beamforming design. Numerical results demonstrate the system and communication efficiency compared with the state-of-the-art approaches.


title: Fruit Mapping with Shape Completion for Autonomous Crop Monitoring

abstract: Autonomous crop monitoring is a difficult task due to the complex structure of plants. Occlusions from leaves can make it impossible to obtain complete views about all fruits of, e.g., pepper plants. Therefore, accurately estimating the shape and volume of fruits from partial information is crucial to enable further advanced automation tasks such as yield estimation and automated fruit picking. In this paper, we present an approach for mapping fruits on plants and estimating their shape by matching superellipsoids. Our system segments fruits in images and uses their masks to generate point clouds of the fruits. To combine sequences of acquired point clouds, we utilize a real-time 3D mapping framework and build up a fruit map based on truncated signed distance fields. We cluster fruits from this map and use optimized superellipsoids for matching to obtain accurate shape estimates. In our experiments, we show in various simulated scenarios with a robotic arm equipped with an RGB-D camera that our approach can accurately estimate fruit volumes. Additionally, we provide qualitative results of estimated fruit shapes from data recorded in a commercial glasshouse environment.


title: Neural representation of a time optimal, constant acceleration rendezvous

abstract: We train neural models to represent both the optimal policy (i.e. the optimal thrust direction) and the value function (i.e. the time of flight) for a time optimal, constant acceleration low-thrust rendezvous. In both cases we develop and make use of the data augmentation technique we call backward generation of optimal examples. We are thus able to produce and work with large dataset and to fully exploit the benefit of employing a deep learning framework. We achieve, in all cases, accuracies resulting in successful rendezvous (simulated following the learned policy) and time of flight predictions (using the learned value function). We find that residuals as small as a few m/s, thus well within the possibility of a spacecraft navigation $\Delta V$ budget, are achievable for the velocity at rendezvous. We also find that, on average, the absolute error to predict the optimal time of flight to rendezvous from any orbit in the asteroid belt to an Earth-like orbit is small (less than 4\%) and thus also of interest for practical uses, for example, during preliminary mission design phases.


title: Improving the Learnability of Machine Learning APIs by Semi-Automated API Wrapping

abstract: A major hurdle for students and professional software developers who want to enter the world of machine learning (ML), is mastering not just the scientific background but also the available ML APIs. Therefore, we address the challenge of creating APIs that are easy to learn and use, especially by novices. However, it is not clear how this can be achieved without compromising expressiveness. We investigate this problem for scikit-learn, a widely used ML API. In this paper, we analyze its use by the Kaggle community, identifying unused and apparently useless parts of the API that can be eliminated without affecting client programs. In addition, we discuss usability issues in the remaining parts, propose related design improvements and show how they can be implemented by semi-automated wrapping of the existing third-party API.


title: An overdetermined problem for sign-changing eigenfunctions in unbounded domains

abstract: We study the existence of non-trivial unbounded domains of $\Omega \subset \mathbb{R}^2$ where the equation \begin{align} - \lambda u_{xx} -u_{tt} &= u \qquad \text{in $\Omega$,}\nonumber u &=0 \qquad \text{on $\partial \Omega$,}\nonumber \end{align} is solvable subject to the conditions \begin{align} \frac{\partial u}{\partial \eta} =-1\quad \text{on $\partial \Omega^+$} \quad \textrm{and}\quad \frac{\partial u}{\partial \eta} =+1\quad \text{on $\partial \Omega^-$.} \end{align} For every integer $m\geq 0$, we prove the existence of a family of unbounded domains $\Omega\subset \mathbb{R}^2$ indexed by $0 \leqslant\ell\leqslant 2m$, where the above problem admits periodic sign-changing solutions. The domains we construct are periodic in the first coordinate in $\mathbb{R}^2$, and they bifurcate from suitable strips.


title: On the stable Harbourne conjecture for ideals defining space monomial curves

abstract: For the ideal $\mathfrak{p}$ in $k[x, y, z]$ defining a space monomial curve, we show that $\mathfrak{p}^{(2 n - 1)} \subseteq \mathfrak{m} \mathfrak{p}^{n}$ for some positive integer $n$, where $\mathfrak{m}$ is the maximal ideal $(x, y, z)$. Moreover, the smallest such $n$ is determined. It turns out that there is a counterexample to a claim due to Grifo, Huneke, and Mukundan, which states that $\mathfrak{p}^{(3)} \subseteq \mathfrak{m} \mathfrak{p}^2$ if $k$ is a field of characteristic not $3$; however, the stable Harbourne conjecture holds for space monomial curves as they claimed.


title: Comparing the Manipulability of Approval Voting and Borda

abstract: The Gibbard-Satterthwaite theorem established that no non-trivial voting rule is strategy-proof, but that does not mean that all voting rules are equally susceptible to strategic manipulation. Over the past fifty years numerous approaches have been proposed to compare the manipulability of voting rules in terms of the probability of manipulation, the domains on which manipulation is possible, the complexity of finding such a manipulation, and others. In the closely related field of matching, Pathak and Sonmez pioneered a notion of manipulability based on case-by-case comparison of manipulable profiles. The advantage of this approach is that it is independent of the underlying statistical culture or the computational power of the agents, and it has proven fruitful in the matching literature. In this paper, we extend the notion of Pathak and Sonmez to voting, studying the families of $k$-approval and truncated Borda scoring rules. We find that, with one exception, the notion does not allow for a meaningful ordering of the manipulability of these rules.


title: Mesoscopic tunneling in strontium titanate

abstract: Spatial correlation between atoms can generate a depletion in the energy dispersion of acoustic phonons. Two well known examples are rotons in superfluid helium and the Kohn anomaly in metals. Here we report on the observation of a large softening of the transverse acoustic mode in quantum paraelectric SrTiO$_3$ by means of inelastic neutron scattering. In contrast to other known cases, this softening occurs at a tiny wave vector implying spatial correlation extending over a distance as long as 40 lattice parameters. We attribute this to the formation of mesoscopic fluctuating domains due to the coupling between local strain and quantum ferroelectric fluctuations. Thus, a hallmark of the ground state of insulating SrTiO$_3$ is the emergence of hybridized optical-acoustic phonons. Mesoscopic fluctuating domains play a role in quantum tunneling, which impedes the emergence of a finite macroscopic polarisation.


title: Phase transition in count approximation by Count-Min sketch with conservative updates

abstract: Count-Min sketch is a hash-based data structure to represent a dynamically changing associative array of counters. Here we analyse the counting version of Count-Min under a stronger update rule known as \textit{conservative update}, assuming the uniform distribution of input keys. We show that the accuracy of conservative update strategy undergoes a phase transition, depending on the number of distinct keys in the input as a fraction of the size of the Count-Min array. We prove that below the threshold, the relative error is asymptotically $o(1)$ (as opposed to the regular Count-Min strategy), whereas above the threshold, the relative error is $\Theta(1)$. The threshold corresponds to the peelability threshold of random $k$-uniform hypergraphs. We demonstrate that even for small number of keys, peelability of the underlying hypergraph is a crucial property to ensure the $o(1)$ error. Finally, we provide an experimental evidence that the phase transition does not extend to non-uniform distributions, in particular to the popular Zipf's distribution.


title: A complement to the scalar wave theory of light

abstract: In this paper, we discuss how the concepts of Hamiltonian optics are internally connected to the scalar wave theory of light rays. It is shown that the solutions of the reduced wave equation are similar to Huygen's wavelets, and they can be used to understand Snell's law of refraction. This model can also be used to derive the coefficient of reflection consistent with Fresnel's equation for $s$-polarized light.


title: Powerful Physical Adversarial Examples Against Practical Face Recognition Systems

abstract: It is well-known that the most existing machine learning (ML)-based safety-critical applications are vulnerable to carefully crafted input instances called adversarial examples (AXs). An adversary can conveniently attack these target systems from digital as well as physical worlds. This paper aims to the generation of robust physical AXs against face recognition systems. We present a novel smoothness loss function and a patch-noise combo attack for realizing powerful physical AXs. The smoothness loss interjects the concept of delayed constraints during the attack generation process, thereby causing better handling of optimization complexity and smoother AXs for the physical domain. The patch-noise combo attack combines patch noise and imperceptibly small noises from different distributions to generate powerful registration-based physical AXs. An extensive experimental analysis found that our smoothness loss results in robust and more transferable digital and physical AXs than the conventional techniques. Notably, our smoothness loss results in a 1.17 and 1.97 times better mean attack success rate (ASR) in physical white-box and black-box attacks, respectively. Our patch-noise combo attack furthers the performance gains and results in 2.39 and 4.74 times higher mean ASR than conventional technique in physical world white-box and black-box attacks, respectively.


title: Marriage between neutrino mass and flavor anomalies

abstract: Experimental hints for lepton flavor universality violation in beauty-quark decay both in neutral- and charged-current transitions require an extension of the Standard Model for which scalar leptoquarks (LQs) are the prime candidates. Besides, these same LQs can resolve the long-standing tension in the muon and the recently reported deviation in the electron $g-2$ anomalies. These tantalizing flavor anomalies have discrepancies in the range of $2.5\sigma-4.2\sigma$, indicating that the Standard Model of particle physics may finally be cracking. In this Letter, we propose a resolution to all these anomalies within a unified framework that sheds light on the origin of neutrino mass. In this model, the LQs that address flavor anomalies run through the loops and generate neutrino mass at the two-loop order while satisfying all constraints from collider searches, including those from flavor physics.


title: An Unbiased Symmetric Matrix Estimator for Topology Inference under Partial Observability

abstract: Network topology inference is a fundamental problem in many applications of network science, such as locating the source of fake news, brain connectivity networks detection, etc. Many real-world situations suffer from a critical problem that only a limited part of observed nodes are available. This letter considers the problem of network topology inference under the framework of partial observability. Based on the vector autoregressive model, we propose a novel unbiased estimator for the symmetric network topology with the Gaussian noise and the Laplacian combination rule. Theoretically, we prove that it converges to the network combination matrix in probability. Furthermore, by utilizing the Gaussian mixture model algorithm, an effective algorithm called network inference Gauss algorithm is developed to infer the network structure. Finally, compared with the state-of-the-art methods, numerical experiments demonstrate the proposed algorithm enjoys better performance in the case of small sample sizes.


title: Deep Learning for Encrypted Traffic Classification and Unknown Data Detection

abstract: Despite the widespread use of encryption techniques to provide confidentiality over Internet communications, mobile device users are still susceptible to privacy and security risks. In this paper, a new Deep Neural Network (DNN) based user activity detection framework is proposed to identify fine grained user activities performed on mobile applications (known as in-app activities) from a sniffed encrypted Internet traffic stream. One of the challenges is that there are countless applications, and it is practically impossible to collect and train a DNN model using all possible data from them. Therefore, in this work we exploit the probability distribution of DNN output layer to filter the data from applications that are not considered during the model training (i.e., unknown data). The proposed framework uses a time window based approach to divide the traffic flow of an activity into segments, so that in-app activities can be identified just by observing only a fraction of the activity related traffic. Our tests have shown that the DNN based framework has demonstrated an accuracy of 90% or above in identifying previously trained in-app activities and an average accuracy of 79% in identifying previously untrained in-app activity traffic as unknown data when this framework is employed.


title: Analysis of OODA Loop based on Adversarial for Complex Game Environments

abstract: To address the problem of imperfect confrontation strategy caused by the lack of information of game environment in the simulation of non-complete information dynamic countermeasure modeling for intelligent game, the hierarchical analysis game strategy of confrontation model based on OODA ring (Observation, Orientation, Decision, Action) theory is proposed. At the same time, taking into account the trend of unmanned future warfare, NetLogo software simulation is used to construct a dynamic derivation of the confrontation between two tanks. In the validation process, the OODA loop theory is used to describe the operation process of the complex system between red and blue sides, and the four-step cycle of observation, judgment, decision and execution is carried out according to the number of armor of both sides, and then the OODA loop system adjusts the judgment and decision time coefficients for the next confrontation cycle according to the results of the first cycle. Compared with traditional simulation methods that consider objective factors such as loss rate and support rate, the OODA-loop-based hierarchical game analysis can analyze the confrontation situation more comprehensively.


title: Cluster quantum Monte Carlo study of two-dimensional weakly-coupled frustrated trimer antiferromagnets

abstract: We report results from spin trimer-based cluster quantum Monte Carlo simulations for the thermodynamic properties of two-dimensional frustrated quantum antiferromagnets that are composed of weakly-coupled three-spin (trimer) clusters. In particular, we consider the spin-1/2 kagome lattice with a strong breathing distortion, and the triangle-square lattice model proposed previously for the cuprate La${}_4$Cu${}_3$MoO${}_{12}$. For both cases, we demonstrate that an appropriately chosen trimer-based computational basis allows us to significantly reduce the quantum Monte Carlo sign problem down to the low-temperature regime. Besides exploring the thermodynamic behavior for the triangle-square lattice model we also assess a mean field theory-based prediction for the onset of chiral order. For the breathing distorted kagome lattice model, we observe a robust two-peak structure in the specific heat, both in the quantum spin liquid and the lattice-nematic regimes.


title: Improved DC Bus Voltage Control of Single-Phase Grid-Connected Voltage Source Converters for Minimising Bus Capacitance and Line Current Harmonics

abstract: There is a trade-off between transient performance and line current distortion of the DC bus voltage control of single-phase grid-connected voltage source converters. This paper presents an improved DC bus voltage control scheme of such converters using a proportional-integral controller in series with a first-order low pass filter. The extended symmetrical tuning method was adopted in the design of a regulator parameter, which greatly reduced the oscillating component at the double line frequency. The proposed control methodology allowed the loop bandwidth to increase without distorting the line current. Consequently, the DC bus voltage fluctuation or DC bus capacitance was reduced with a shorter settling time during a step load, compared with the conventional scheme. The proposed voltage scheme was found to be robust to the grid voltage variation and was less susceptible to the line voltage harmonics. Simulation and experimental results of a 1.5 kVA PWM rectifier verified the proposed methodology.


title: Laser-Induced Graphitisation of Diamond Under 30 fs Laser Pulse Irradiation

abstract: The degree of laser-induced graphitisation from a sp3-bonded to a sp2-bonded carbon fraction in a single crystal chemical vapour deposited (CVD) diamond under a varying fluence of an ultrashort pulsed laser (30 fs, 800 nm, 1 kHz) irradiation has been studied. The tetrahedral CVD sp3-phase was found to transition to primarily an sp2-aromatic crystalline graphitic fraction below the critical fluence of 3.9 J/cm2, above which predominantly an amorphous carbon was formed. A fractional increase of fluence from 3.3 J/cm2 to 3.9 J/cm2 (~ 20 %) resulted in a substantial (~ three-fold) increased depth of the sp2-graphitised areas owing to the non-linear interactions associated with an fs-laser irradiation. Additionally, formation of C=O carbonyl group was observed below the critical threshold fluence; the C=O cleavage occurred gradually with the increase of irradiation fluence of 30 fs laser light. The implications for these findings on enhancement of fs-driven processing of diamond are discussed.


title: Trojan Horse Training for Breaking Defenses against Backdoor Attacks in Deep Learning

abstract: Machine learning (ML) models that use deep neural networks are vulnerable to backdoor attacks. Such attacks involve the insertion of a (hidden) trigger by an adversary. As a consequence, any input that contains the trigger will cause the neural network to misclassify the input to a (single) target class, while classifying other inputs without a trigger correctly. ML models that contain a backdoor are called Trojan models. Backdoors can have severe consequences in safety-critical cyber and cyber physical systems when only the outputs of the model are available. Defense mechanisms have been developed and illustrated to be able to distinguish between outputs from a Trojan model and a non-Trojan model in the case of a single-target backdoor attack with accuracy > 96 percent. Understanding the limitations of a defense mechanism requires the construction of examples where the mechanism fails. Current single-target backdoor attacks require one trigger per target class. We introduce a new, more general attack that will enable a single trigger to result in misclassification to more than one target class. Such a misclassification will depend on the true (actual) class that the input belongs to. We term this category of attacks multi-target backdoor attacks. We demonstrate that a Trojan model with either a single-target or multi-target trigger can be trained so that the accuracy of a defense mechanism that seeks to distinguish between outputs coming from a Trojan and a non-Trojan model will be reduced. Our approach uses the non-Trojan model as a teacher for the Trojan model and solves a min-max optimization problem between the Trojan model and defense mechanism. Empirical evaluations demonstrate that our training procedure reduces the accuracy of a state-of-the-art defense mechanism from >96 to 0 percent.


title: Computation of Centroidal Voronoi Tessellations in High Dimensional spaces

abstract: Owing to the natural interpretation and various desirable mathematical properties, centroidal Voronoi tessellations (CVT) have found a wide range of applications and correspondingly a vast development in their literature. However the computation of CVT in higher dimensional spaces still remains difficult. In this paper, we exploit the non-uniqueness of CVTs in higher dimensional spaces for their computation. We construct such high dimensional tessellations from CVTs in one-dimensional spaces. We then prove that such a tessellation is centroidal under the condition of independence among densities over the one-dimensional spaces considered. Various numerical evaluations backup the theoretical result through the low energy of the tessellations. The resulting grid-like tessellations are obtained efficiently with minimal computation time.


title: Improving Contrastive Learning with Model Augmentation

abstract: The sequential recommendation aims at predicting the next items in user behaviors, which can be solved by characterizing item relationships in sequences. Due to the data sparsity and noise issues in sequences, a new self-supervised learning (SSL) paradigm is proposed to improve the performance, which employs contrastive learning between positive and negative views of sequences. However, existing methods all construct views by adopting augmentation from data perspectives, while we argue that 1) optimal data augmentation methods are hard to devise, 2) data augmentation methods destroy sequential correlations, and 3) data augmentation fails to incorporate comprehensive self-supervised signals. Therefore, we investigate the possibility of model augmentation to construct view pairs. We propose three levels of model augmentation methods: neuron masking, layer dropping, and encoder complementing. This work opens up a novel direction in constructing views for contrastive SSL. Experiments verify the efficacy of model augmentation for the SSL in the sequential recommendation. Code is available\footnote{\url{https://github.com/salesforce/SRMA}}.


title: Firefighter Problem with Minimum Budget: Hardness and Approximation Algorithm for Unit Disk Graphs

abstract: Unit disk graphs are the set of graphs which represent the intersection of disk graphs and interval graphs. These graphs are of great importance due to their structural similarity with wireless communication networks. Firefighter problem on unit disk graph is interesting as it models the virus spreading in an wireless network and asks for a solution to stop it. In this paper, we consider the MIN-BUDGET firefighter problem where the goal is to determine the minimum number of firefighters required and the nodes to place them at each time instant to save a given set of vertices of a given graph and a fire breakout node. We show that, the MIN-BUDGET firefighter problem in a unit disk graph is NP-Hard. We also present a constant factor approximation algorithm.


title: Achieving Guidance in Applied Machine Learning through Software Engineering Techniques

abstract: Development of machine learning (ML) applications is hard. Producing successful applications requires, among others, being deeply familiar with a variety of complex and quickly evolving application programming interfaces (APIs). It is therefore critical to understand what prevents developers from learning these APIs, using them properly at development time, and understanding what went wrong when it comes to debugging. We look at the (lack of) guidance that currently used development environments and ML APIs provide to developers of ML applications, contrast these with software engineering best practices, and identify gaps in the current state of the art. We show that current ML tools fall short of fulfilling some basic software engineering gold standards and point out ways in which software engineering concepts, tools and techniques need to be extended and adapted to match the special needs of ML application development. Our findings point out ample opportunities for research on ML-specific software engineering.


title: BELLATREX: Building Explanations through a LocaLly AccuraTe Rule EXtractor

abstract: Tree-ensemble algorithms, such as random forest, are effective machine learning methods popular for their flexibility, high performance, and robustness to overfitting. However, since multiple learners are combined, they are not as interpretable as a single decision tree. In this work we propose a novel method that is Building Explanations through a LocalLy AccuraTe Rule EXtractor (Bellatrex), and is able to explain the forest prediction for a given test instance with only a few diverse rules. Starting from the decision trees generated by a random forest, our method 1) pre-selects a subset of the rules used to make the prediction, 2) creates a vector representation of such rules, 3) projects them to a low-dimensional space, 4) clusters such representations to pick a rule from each cluster to explain the instance prediction. We test the effectiveness of Bellatrex on 89 real-world datasets and we demonstrate the validity of our method for binary classification, regression, multi-label classification and time-to-event tasks. To the best of our knowledge, it is the first time that an interpretability toolbox can handle all these tasks within the same framework. We also show that our extracted surrogate model can approximate the performance of the corresponding ensemble model in all considered tasks, while selecting only few trees from the whole forest. We also show that our proposed approach substantially outperforms other explainable methods in terms of predictive performance.


title: Gravitational matter-antimatter impact interactions

abstract: The production of antihydrogen by several research groups provides the opportunity to measure the gravitational behaviour of antimatter in the gravitational field of the Earth. The predictions in the literature range from normal attraction to repulsion. Applying our gravitational impact model, which is of a purely phenomenological nature, we conclude that there will be neither attraction nor repulsion under the assumption of a symmetric antigraviton distribution near the antihydrogen atom. However, a very small asymmetry must be expected and could effect the conclusion. The model, in addition, predicts normal gravitation between antimatter and antimatter particles at large distances, but strong repulsion at close range for matter as well as for antimatter pairs, whereas strong attraction will result for matter-antimatter encounters. We have further refined the model assumptions in light of recent CERN ALPHA-g measurements that indicate a certain attraction of antihydrogen by the gravitational field of the Earth.


title: Twin extreme ultraviolet waves in the solar corona

abstract: Solar extreme ultraviolet (EUV) waves are spectacular propagating disturbances with EUV enhancements in annular shapes in the solar corona. These EUV waves carry critical information about the coronal magnetised plasma that can shed light on the elusive physical parameters (e.g. the magnetic field strength) by global solar coronal magneto-seismology. EUV waves are closely associated with a wide range of solar atmospheric eruptions, from violent flares and coronal mass ejections (CMEs) to less energetic plasma jets or mini-filament eruptions. However, the physical nature and driving mechanism of EUV waves is still controversial. Here, we report the unique discovery of twin EUV waves (TEWs) that were formed in a single eruption with observations from two different perspectives. In all earlier studies, a single eruption was associated at most with a single EUV wave. The newly found TEWs urge to re-visit our theoretical understanding about the underlying formation mechanism(s) of coronal EUV waves. Two distinct scenarios of TEWs were found. In the first scenario, the two waves were separately associated with a filament eruption and a precursor jet, while in another scenario the two waves were successively associated with a filament eruption. Hence, we label these distinguished scenarios as "fraternal TEWs" and "identical TEWs", respectively. Further, we also suggest that impulsive lateral expansions of two distinct groups of coronal loops are critical to the formation of TEWs in a single eruption.


title: Human Response to an AI-Based Decision Support System: A User Study on the Effects of Accuracy and Bias

abstract: Artificial Intelligence (AI) is increasingly used to build Decision Support Systems (DSS) across many domains. This paper describes a series of experiments designed to observe human response to different characteristics of a DSS such as accuracy and bias, particularly the extent to which participants rely on the DSS, and the performance they achieve. In our experiments, participants play a simple online game inspired by so-called "wildcat" (i.e., exploratory) drilling for oil. The landscape has two layers: a visible layer describing the costs (terrain), and a hidden layer describing the reward (oil yield). Participants in the control group play the game without receiving any assistance, while in treatment groups they are assisted by a DSS suggesting places to drill. For certain treatments, the DSS does not consider costs, but only rewards, which introduces a bias that is observable by users. Between subjects, we vary the accuracy and bias of the DSS, and observe the participants' total score, time to completion, the extent to which they follow or ignore suggestions. We also measure the acceptability of the DSS in an exit survey. Our results show that participants tend to score better with the DSS, that the score increase is due to users following the DSS advice, and related to the difficulty of the game and the accuracy of the DSS. We observe that this setting elicits mostly rational behavior from participants, who place a moderate amount of trust in the DSS and show neither algorithmic aversion (under-reliance) nor automation bias (over-reliance).However, their stated willingness to accept the DSS in the exit survey seems less sensitive to the accuracy of the DSS than their behavior, suggesting that users are only partially aware of the (lack of) accuracy of the DSS.


title: Gradient estimates for elliptic systems from composite materials with closely spaced stiff $C^{1,\gamma}$ inclusions

abstract: This paper is devoted to establishing the pointwise upper and lower bounds estimates of the gradient of the solutions to a class of general elliptic systems with H\"{o}lder continuous coefficients in a narrow region where the upper and lower boundaries is $C^{1,\gamma},$ $0<\gamma<1$, weaker than the previous $C^{2,\gamma}$ assumption. These estimates play a key role in the damage analysis of composite materials. From our results, the damage may initiate from the narrowest place.


title: Rich Feature Construction for the Optimization-Generalization Dilemma

abstract: There often is a dilemma between ease of optimization and robust out-of-distribution (OoD) generalization. For instance, many OoD methods rely on penalty terms whose optimization is challenging. They are either too strong to optimize reliably or too weak to achieve their goals. We propose to initialize the networks with a rich representation containing a palette of potentially useful features, ready to be used by even simple models. On the one hand, a rich representation provides a good initialization for the optimizer. On the other hand, it also provides an inductive bias that helps OoD generalization. Such a representation is constructed with the Rich Feature Construction (RFC) algorithm, also called the Bonsai algorithm, which consists of a succession of training episodes. During discovery episodes, we craft a multi-objective optimization criterion and its associated datasets in a manner that prevents the network from using the features constructed in the previous iterations. During synthesis episodes, we use knowledge distillation to force the network to simultaneously represent all the previously discovered features. Initializing the networks with Bonsai representations consistently helps six OoD methods achieve top performance on ColoredMNIST benchmark. The same technique substantially outperforms comparable results on the Wilds Camelyon17 task, eliminates the high result variance that plagues other methods, and makes hyperparameter tuning and model selection more reliable.


title: A multimodal approach for Parkinson disease analysis

abstract: Parkinson's disease (PD) is the second most frequent neurodegenerative disease with prevalence among general population reaching 0.1-1 %, and an annual incidence between 1.3-2.0/10000 inhabitants. The mean age at diagnosis of PD is 55 and most patients are between 50 and 80 years old. The most obvious symptoms are movement-related; these include tremor, rigidity, slowness of movement and walking difficulties. Frequently these are the symptoms that lead to the PD diagnoses. Later, thinking and behavioral problems may arise, and other symptoms include cognitive impairment and sensory, sleep and emotional problems. In this paper we will present an ongoing project that will evaluate if voice and handwriting analysis can be reliable predictors/indicators of swallowing and balance impairments in PD. An important advantage of voice and handwritten analysis is its low intrusiveness and easy implementation in clinical practice. Thus, if a significant correlation between these simple analyses and the gold standard video-fluoroscopic analysis will imply simpler and less stressing diagnostic test for the patients as well as the use of cheaper analysis systems.


title: On Atiyah-Segal completion for T-equivariant Hermitian K-theory

abstract: We show how derived completion can be used to prove an analogue of Atiyah-Segal completion for the $T$-equivariant Hermitian K-theory of a scheme $X$ with a trivial $T$-action, containing $\tfrac{1}{2}$ and satisfying the resolution property, where $T$ is a split torus of rank $t$. This result is an important first step towards a more general Atiyah-Segal completion theorem for Hermitian K-theory.


title: Learning neural audio features without supervision

abstract: Deep audio classification, traditionally cast as training a deep neural network on top of mel-filterbanks in a supervised fashion, has recently benefited from two independent lines of work. The first one explores "learnable frontends", i.e., neural modules that produce a learnable time-frequency representation, to overcome limitations of fixed features. The second one uses self-supervised learning to leverage unprecedented scales of pre-training data. In this work, we study the feasibility of combining both approaches, i.e., pre-training learnable frontend jointly with the main architecture for downstream classification. First, we show that pretraining two previously proposed frontends (SincNet and LEAF) on Audioset drastically improves linear-probe performance over fixed mel-filterbanks, suggesting that learnable time-frequency representations can benefit self-supervised pre-training even more than supervised training. Surprisingly, randomly initialized learnable filterbanks outperform mel-scaled initialization in the self-supervised setting, a counter-intuitive result that questions the appropriateness of strong priors when designing learnable filters. Through exploratory analysis of the learned frontend components, we uncover crucial differences in properties of these frontends when used in a supervised and self-supervised setting, especially the affinity of self-supervised filters to diverge significantly from the mel-scale to model a broader range of frequencies.


title: Theory of the Dark State of Polyenes and Carotenoids

abstract: A theory is developed to describe the singlet dark state (usually labeled S1 or 2Ag) of polyenes and carotenoids. The theory assumes that in principle this state is a linear combination of a singlet triplet-pair and an odd-parity charge-transfer exciton. Crucially, these components only couple when the triplet-pair occupies neighboring dimers, such that an electron transfer between the triplets creates a nearest-neighbor charge-transfer excitation. This local coupling stabilises the 2Ag state and induces a nearest neighbor attraction between the triplets. In addition, because of the electron-hole attraction in the exciton, the increased probability that the electron-hole pair occupies neighboring dimers enhances the triplet-triplet attraction: the triplet pair is `slaved' to the charge-transfer exciton. The theory also predicts that as the Coulomb interaction is increased, the 2Ag state evolves from a predominately odd-parity charge-transfer exciton state with a small component of triplet-pair character to a state predominately composed of a triplet-pair with some exciton character. Above a critical Coulomb interaction there is a decoupling of the triplet-pair and charge-transfer exciton subspaces, such that the 2Ag state becomes entirely composed of an unbound spin-correlated triplet pair. The predictions of this theory are qualitatively consistent with high-level density matrix renormalization group calculations of the Pariser-Parr-Pople (or extended Hubbard) model.


title: Universal control of superexchange in linear triple quantum dots with an empty mediator

abstract: Superexchange is one of the vital resources to realize long-range interaction between distant spins for large-scale quantum computing. Recent experiments have demonstrated coherent oscillations between logical states defined by remote spins whose coupling is given by the superexchange interaction mediated by central spins. Excavating the potential of superexchange requires a full understanding of the interaction in terms of control parameters, which is still lacking in literature. Here, using full configuration interaction calculations, we study a two-electron system in a linear triple-quantum-dot device in which the left and right dots are occupied by a single electron each, whose spin states are defined as qubits. The numerical nature of the full configuration interaction calculations allows access to the microscopic details of the quantum-dot confining potential and electronic wavefunctions, some of which are overlooked in the celebrated Hubbard model but turn out to be critical for the behavior of superexchange. We focus on the detuning regime where the charge ground state yields an empty middle dot. We have found that, when the detunings at the left and right dots are leveled, the superexchange can exhibit a non-monotonic behavior which ranges from positive to negative values as a function of the middle-dot detuning. We further show that a larger relative detuning between the left and right dots causes the magnitude of the superexchange to increase (decrease) for an originally positive (negative) superexchange. We then proceed to show the results for a much larger left-right dot detuning. Our results suggest that even a simple configuration of delocalized two-electron states in a linear triple-quantum-dot device exhibits superexchange energy with non-trivial behaviors, which could have important applications in spin-based quantum computing.


title: Collision-Free Navigation using Evolutionary Symmetrical Neural Networks

abstract: Collision avoidance systems play a vital role in reducing the number of vehicle accidents and saving human lives. This paper extends the previous work using evolutionary neural networks for reactive collision avoidance. We are proposing a new method we have called symmetric neural networks. The method improves the model's performance by enforcing constraints between the network weights which reduces the model optimization search space and hence, learns more accurate control of the vehicle steering for improved maneuvering. The training and validation processes are carried out using a simulation environment - the codebase is publicly available. Extensive experiments are conducted to analyze the proposed method and evaluate its performance. The method is tested in several simulated driving scenarios. In addition, we have analyzed the effect of the rangefinder sensor resolution and noise on the overall goal of reactive collision avoidance. Finally, we have tested the generalization of the proposed method. The results are encouraging; the proposed method has improved the model's learning curve for training scenarios and generalization to the new test scenarios. Using constrained weights has significantly improved the number of generations required for the Genetic Algorithm optimization.


title: Heat-type equations on manifolds with fibered boundary I: Schauder estimates

abstract: In this paper we prove parabolic Schauder estimates for the Laplace-Beltrami operator on a manifold $M$ with fibered boundary and a $\Phi$-metric $g_\Phi$. This setting generalizes the asymptotically conical (scattering) spaces and includes special cases of magnetic and gravitational monopoles. This paper, combined with part II, lay the crucial groundwork for forthcoming discussions on geometric flows in this setting; especially the Yamabe- and mean curvature flow.


title: Stable and unstable capillary fingering in porous media with a gradient in grains size

abstract: We present a theoretical and experimental investigation of slow drainage in porous media with a gradient in the grains size (and hence in the typical pores' throats), in an external gravitational field. We mathematically show that such structural gradient and external force have a similar effect on the obtained drainage patterns, when they stabilise the invasion front. With the help of a newly introduced experimental set-up, based on the 3D-print of transparent porous matrices, we illustrate this equivalence, and extend it to the case where the front is unstable. We also present some invasion-percolation simulations of the same phenomena, which are inline with our theoretical and experimental results. In particular, we show that the width of stable drainage fronts mainly scales with the spatial gradient of the average pore invasion threshold and with the local distribution of this (disordered) threshold. The scaling exponent results from percolation theory and is -0.57 for 2D systems. Overall, we propose a unifying theory for the up-scaling of dual fluid flows in most classical scenarii.


title: Quantum Machine Learning Corrects Classical Force Fields: Stretching DNA Base Pairs in Explicit Solvent

abstract: In order to improve the accuracy of molecular dynamics simulations, classical force fields are supplemented with a kernel-based machine learning method trained on quantum-mechanical fragment energies. As an example application, a potential-energy surface is generalised for a small DNA duplex, taking into account explicit solvation and long-range electron exchange--correlation effects. Study of the corrected potential energy versus extension shows that leading classical DNA models have excessive stiffness with respect to stretching. This discrepancy is found to be common across multiple forcefields. The quantum correction is in qualitative agreement to the experimental thermodynamics for larger DNA double helices, providing a candidate explanation for the general and long-standing discrepancy between single molecule stretching experiments and classical calculations of DNA stretching. The new dataset of quantum calculations and the associated Kernel Modified Molecular Dynamics (KMMD) method should be of general utility in biomolecular simulations. KMMD is made available as part of the AMBER22 simulation software.


title: Interactive Audio-text Representation for Automated Audio Captioning with Contrastive Learning

abstract: Automated Audio captioning (AAC) is a cross-modal task that generates natural language to describe the content of input audio. Most prior works usually extract single-modality acoustic features and are therefore sub-optimal for the cross-modal decoding task. In this work, we propose a novel AAC system called CLIP-AAC to learn interactive cross-modality representation with both acoustic and textual information. Specifically, the proposed CLIP-AAC introduces an audio-head and a text-head in the pre-trained encoder to extract audio-text information. Furthermore, we also apply contrastive learning to narrow the domain difference by learning the correspondence between the audio signal and its paired captions. Experimental results show that the proposed CLIP-AAC approach surpasses the best baseline by a significant margin on the Clotho dataset in terms of NLP evaluation metrics. The ablation study indicates that both the pre-trained model and contrastive learning contribute to the performance gain of the AAC model.


title: Scanning nitrogen-vacancy magnetometry down to 350mK

abstract: We report on the implementation of a scanning nitrogen-vacancy (NV) magnetometer in a dry dilution refrigerator. Using pulsed optically detected magnetic resonance combined with efficient microwave delivery through a co-planar waveguide, we reach a base temperature of 350 mK, limited by experimental heat load and thermalization of the probe. We demonstrate scanning NV magnetometry by imaging superconducting vortices in a 50-nm-thin aluminum microstructure. The sensitivity of our measurements is approximately 3 {\mu}T per square root Hz. Our work demonstrates the feasibility for performing non-invasive magnetic field imaging with scanning NV centers at sub-Kelvin temperatures.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con physics.ins-det


title: Absorption spectrum of doped highly mismatched alloys

abstract: Highly mismatched alloys (HMA's) are a class of semiconductor alloys with large electronegativity differences between the alloying elements. We predict the absorption spectrum due to transitions between the split bands of a doped highly mismatched alloy with a conduction band anticrossing. We analyze the joint densities of states for both direct and indirect transitions between the split bands. The resulting spectrum has features that reveal the unusual state distribution that is characteristic of HMAs, hence providing valuable insight into their electronic structure. In particular, we predict a peak near the absorption edge, which arises due to the suppression of direct transitions at large momenta. We present analytic forms for the near-absorption-edge and large-energy spectra, showing that they are qualitatively different from those in standard parabolic semiconductors. In particular, as a result of suppressed direct transitions, indirect transitions dominate the spectrum away from the edge of absorption.


title: Treatment Learning Causal Transformer for Noisy Image Classification

abstract: Current top-notch deep learning (DL) based vision models are primarily based on exploring and exploiting the inherent correlations between training data samples and their associated labels. However, a known practical challenge is their degraded performance against "noisy" data, induced by different circumstances such as spurious correlations, irrelevant contexts, domain shift, and adversarial attacks. In this work, we incorporate this binary information of "existence of noise" as treatment into image classification tasks to improve prediction accuracy by jointly estimating their treatment effects. Motivated from causal variational inference, we propose a transformer-based architecture, Treatment Learning Causal Transformer (TLT), that uses a latent generative model to estimate robust feature representations from current observational input for noise image classification. Depending on the estimated noise level (modeled as a binary treatment factor), TLT assigns the corresponding inference network trained by the designed causal loss for prediction. We also create new noisy image datasets incorporating a wide range of noise factors (e.g., object masking, style transfer, and adversarial perturbation) for performance benchmarking. The superior performance of TLT in noisy image classification is further validated by several refutation evaluation metrics. As a by-product, TLT also improves visual salience methods for perceiving noisy images.


title: On $L^p$ estimates for positivity-preserving Riesz transforms related to Schr\"odinger operators

abstract: We study the $L^{p},$ $1\leqslant p\leqslant \infty,$ boundedness for Riesz transforms of the form $V^{a}(-\frac{1}{2}\Delta+V)^{-a},$ where $a>0$ and $V$ is a non-negative potential. We prove that $V^{a}(-\frac{1}{2}\Delta+V)^{-a}$ is bounded on $L^p(\mathbb{R}^d)$ with $1< p\leqslant 2$ whenever $a\leqslant 1/p.$ We demonstrate that the $L^{\infty}(\mathbb{R}^d)$ boundedness holds if $V$ satisfies an $a$-dependent integral condition that is resistant to small perturbations. Similar results with stronger assumptions on $V$ are also obtained on $L^{1}(\mathbb{R}^d).$ In particular our $L^{\infty}$ and $L^1$ results apply to non-negative potentials $V$ which globally have a power growth or an exponential growth. We also discuss a counterexample showing that the $L^{\infty}(\mathbb{R}^d)$ boundedness may fail.


title: Scalar Curvature Splittings II: Removal of Singularities

abstract: In Part I of this paper we have seen that any singular compact area minimizer in a positive scalar curvature manifold admits a conformal deformation to some minimal factor geometry that shares many properties with the minimizer, like the Ahlfors regularity, the validity of Poincare inequalities and the presence of tangent cones with positive scalar curvature. In this Part II we show that these geometries admit surgery style arguments eliminating the singular sets.


title: Efficient flow equations for dissipative systems

abstract: Open quantum systems provide an essential theoretical basis for the development of novel quantum technologies, since any real quantum system inevitably interacts with its environment. Lindblad master equations capture the effect of Markovian environments. Closed quantum systems can be treated using flow equations with the particle conserving generator. We generalize this generator to non-Hermitian matrices and open quantum systems governed by Lindbladians, comparing our results with recently proposed generators by Rosso et al. (arXiv:2007.12044). In comparison, we find that our advocated generator provides an efficient flow with good accuracy in spite of truncations.


title: OSOP: A Multi-Stage One Shot Object Pose Estimation Framework

abstract: We present a novel one-shot method for object detection and 6 DoF pose estimation, that does not require training on target objects. At test time, it takes as input a target image and a textured 3D query model. The core idea is to represent a 3D model with a number of 2D templates rendered from different viewpoints. This enables CNN-based direct dense feature extraction and matching. The object is first localized in 2D, then its approximate viewpoint is estimated, followed by dense 2D-3D correspondence prediction. The final pose is computed with PnP. We evaluate the method on LineMOD, Occlusion, Homebrewed, YCB-V and TLESS datasets and report very competitive performance in comparison to the state-of-the-art methods trained on synthetic data, even though our method is not trained on the object models used for testing.


title: Design and Implementation of Knowledge Base for Runtime Management of Software Defined Hardware

abstract: Runtime-reconfigurable software coupled with reconfigurable hardware is highly desirable as a means towards maximizing runtime efficiency without compromising programmability. Compilers for such software systems are extremely difficult to design as they must leverage different types of hardware at runtime. To address the need for static and dynamic compiler optimization of workflows matched to dynamically reconfigurable hardware, we propose a novel design of the central component of a dynamic software compiler for software defined hardware. Our comprehensive design focuses not just on static knowledge but also on semi-supervised extraction of knowledge from program executions and developing their performance models. Specifically, our novel {\it dynamic and extensible knowledge base} 1) continuously gathers knowledge during execution of workflows 2) identifies {\it optimal} implementations of workflows on {\it optimal} (available) hardware configurations. It plays a hub role in storing information from, and providing information to other components of the compiler, as well as the human analyst. Through a rich tripartite graph representation, the knowledge base captures and learns extensive information on decomposition and mapping of code steps to kernels and mapping of kernels to available hardware configurations. The knowledge base is implemented using the C++ Boost Library and is capable of quickly processing offline and online queries and updates. We show that our knowledge base can answer queries in $1ms$ regardless of the number of workflows it stores. To the best of our knowledge, this is the first design of a dynamic and extensible knowledge base to support compilation of high-level languages to leverage arbitrary reconfigurable platforms.


title: Game-theoretical trajectory planning enhances social acceptability for humans

abstract: Since humans and robots are increasingly sharing portions of their operational spaces, experimental evidence is needed to ascertain the safety and social acceptability of robots in human-populated environments. Although several studies have aimed at devising strategies for robot trajectory planning to perform \emph{safe} motion in populated environments, a few efforts have \emph{measured} to what extent a robot trajectory is \emph{accepted} by humans. Here, we present a navigation system for autonomous robotics that ensures safety and social acceptability of robotic trajectories. We overcome the typical reactive nature of state-of-the-art trajectory planners by leveraging non-cooperative game theory to design a planner that encapsulates human-like features of preservation of a vital space, recognition of groups, sequential and strategized decision making, and smooth obstacle avoidance. Social acceptability is measured through a variation of the Turing test administered in the form of a survey questionnaire to a pool of 691 participants. Comparison terms for our tests are a state-of-the-art navigation algorithm (Enhanced Vector Field Histogram, VFH) and purely human trajectories. While all participants easily recognized the non-human nature of VFH-generated trajectories, the distinction between game-theoretical trajectories and human ones were hardly revealed. These results mark a strong milestone toward the full integration of robots in social environments.


title: BARC: Learning to Regress 3D Dog Shape from Images by Exploiting Breed Information

abstract: Our goal is to recover the 3D shape and pose of dogs from a single image. This is a challenging task because dogs exhibit a wide range of shapes and appearances, and are highly articulated. Recent work has proposed to directly regress the SMAL animal model, with additional limb scale parameters, from images. Our method, called BARC (Breed-Augmented Regression using Classification), goes beyond prior work in several important ways. First, we modify the SMAL shape space to be more appropriate for representing dog shape. But, even with a better shape model, the problem of regressing dog shape from an image is still challenging because we lack paired images with 3D ground truth. To compensate for the lack of paired data, we formulate novel losses that exploit information about dog breeds. In particular, we exploit the fact that dogs of the same breed have similar body shapes. We formulate a novel breed similarity loss consisting of two parts: One term encourages the shape of dogs from the same breed to be more similar than dogs of different breeds. The second one, a breed classification loss, helps to produce recognizable breed-specific shapes. Through ablation studies, we find that our breed losses significantly improve shape accuracy over a baseline without them. We also compare BARC qualitatively to WLDO with a perceptual study and find that our approach produces dogs that are significantly more realistic. This work shows that a-priori information about genetic similarity can help to compensate for the lack of 3D training data. This concept may be applicable to other animal species or groups of species. Our code is publicly available for research purposes at https://barc.is.tue.mpg.de/.


title: On Metric Learning for Audio-Text Cross-Modal Retrieval

abstract: Audio-text retrieval aims at retrieving a target audio clip or caption from a pool of candidates given a query in another modality. Solving such cross-modal retrieval task is challenging because it not only requires learning robust feature representations for both modalities, but also requires capturing the fine-grained alignment between these two modalities. Existing cross-modal retrieval models are mostly optimized by metric learning objectives as both of them attempt to map data to an embedding space, where similar data are close together and dissimilar data are far apart. Unlike other cross-modal retrieval tasks such as image-text and video-text retrievals, audio-text retrieval is still an unexplored task. In this work, we aim to study the impact of different metric learning objectives on the audio-text retrieval task. We present an extensive evaluation of popular metric learning objectives on the AudioCaps and Clotho datasets. We demonstrate that NT-Xent loss adapted from self-supervised learning shows stable performance across different datasets and training settings, and outperforms the popular triplet-based losses. Our code is available at https://github.com/XinhaoMei/audio-text_retrieval.


title: Optical and X-ray GRB Fundamental Planes as Cosmological Distance Indicators

abstract: Gamma-Ray Bursts (GRBs), can be employed as standardized candles, extending the distance ladder beyond Supernovae Type Ia (SNe Ia, $z=2.26$). We standardize GRBs using the 3D fundamental plane relation (the Dainotti relation) among the rest-frame end time of the X-ray plateau emission, its corresponding luminosity, and the peak prompt luminosity. Combining SNe Ia and GRBs, we constrain $\Omega_{\text{M}}= 0.299 \pm 0.009$ assuming a flat $\Lambda$CDM cosmology with and without correcting GRBs for selection biases and redshift evolution. Using a 3D optical Dainotti correlation, we find this sample is as efficacious in the determination of $\Omega_{\text{M}}$ as the X-ray sample. We trimmed our GRB samples to achieve tighter planes to simulate additional GRBs. We determined how many GRBs are needed as standalone probes to achieve a comparable precision on $\Omega_{\text{M}}$ to the one obtained by SNe Ia only. We reach the same error measurements derived using SNe Ia in 2011 and 2014 with 142 and 284 simulated optical GRBs, respectively, considering the errorbars on the variables halved. These error limits will be reached in 2038 and in 2047, respectively. Using a doubled sample (obtained by future machine learning approaches allowing a lightcurve reconstruction and the estimates of GRB redhifts when z is unknown) compared to the current sample, with errorbars halved we will reach the same precision as SNe Ia in 2011 and 2014, now and in 2026, respectively. If we consider the current SNe precision, this will be reached with 390 optical GRBs by 2054.


title: A second-order low-regularity correction of Lie splitting for the semilinear Klein--Gordon equation

abstract: The numerical approximation of the semilinear Klein--Gordon equation in the $d$-dimensional space, with $d=1,2,3$, is studied by analyzing the consistency errors in approximating the solution. By discovering and utilizing a new cancellation structure in the semilinear Klein--Gordon equation, a low-regularity correction of the Lie splitting method is constructed, which can have second-order convergence in the energy space under the regularity condition $(u,\partial_tu)\in L^\infty(0,T;H^{1+\frac{d}{4}}\times H^{\frac{d}{4}})$, where $d=1,2,3$ denotes the dimension of space. In one dimension, the proposed method is shown to have a convergence order arbitrarily close to $\frac53$ in the energy space for solutions in the same space, i.e. no additional regularity in the solution is required. Rigorous error estimates are presented for a fully discrete spectral method with the proposed low-regularity time-stepping scheme. Numerical examples are provided to support the theoretical analysis and to illustrate the performance of the proposed method in approximating both nonsmooth and smooth solutions of the semilinear Klein--Gordon equation.


title: Pushchino multibeam pulsar search: I. Targeted search of weak pulsars

abstract: The search for pulsars in a sample of pulsar candidates found based on a multi-year survey conducted with low (6 channels; sampling 0.1s) time-frequency resolution on declinations -9^o < \delta < +42^o was carried out. A Large Phased Array (LPA) transit telescope operating at 111 MHz in the 2.5 MHz band was used. Search, analysis and evidence of pulsar detection were carried out using a visualization program of summed up power spectra obtained from the survey data with high 32 channels; sampling 12.5ms) time-frequency resolution. 11 new pulsars with periods P0 = 0.41-3.75 s and dispersion measure DM=15-154 pc/cm^3 have been discovered. In total, in the survey with a low time-frequency resolution for the period 2016-2021 in a blind search, 208 pulsars were found, of them 42 new and 166 known pulsars. It is shown that in the search on the data with high time-frequency resolution accumulated over a time interval of 7 years, pulsars with a flux density of 0.1 - 0.2 mJy at the frequency of 111 MHz can be detected. When searching for pulsars with regular (periodic) emission at declinations +21^o < \delta < +42^o, all pulsars located outside the galactic plane, having P0 \ge 0.5 s, DM \le 100 pc/cm^3 and the flux density S \ge 0.5 mJy, can be detected


title: Hardware efficient quantum simulation of non-abelian gauge theories with qudits on Rydberg platforms

abstract: Non-abelian gauge theories underlie our understanding of fundamental forces in nature, and developing tailored quantum hardware and algorithms to simulate them is an outstanding challenge in the rapidly evolving field of quantum simulation. Here we take an approach where gauge fields, discretized in spacetime, are represented by qudits and are time-evolved in Trotter steps with multiqudit quantum gates. This maps naturally and hardware-efficiently to an architecture based on Rydberg tweezer arrays, where long-lived internal atomic states represent qudits, and the required quantum gates are performed as holonomic operations supported by a Rydberg blockade mechanism. We illustrate our proposal for a minimal digitization of SU(2) gauge fields, demonstrating a significant reduction in circuit depth and gate errors in comparison to a traditional qubit-based approach, which puts simulations of non-abelian gauge theories within reach of NISQ devices.