title: Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages

abstract: With the emergence of the Node.js ecosystem, JavaScript has become a widely-used programming language for implementing server-side web applications. In this paper, we present the first empirical study of static code analysis tools for detecting vulnerabilities in Node.js code. To conduct a comprehensive tool evaluation, we created the largest known curated dataset of Node.js code vulnerabilities. We characterized and annotated a set of 957 vulnerabilities by analyzing information contained in npm advisory reports. We tested nine different tools and found that many important vulnerabilities appearing in the OWASP Top-10 are not detected by any tool. The three best performing tools combined only detect up to 57.6% of all vulnerabilities in the dataset, but at a very low precision of 0.11%. Our curated dataset offers a new benchmark to help characterize existing Node.js code vulnerabilities and foster the development of better vulnerability detection tools for Node.js code.


title: Estimating the Sizes of Binary Error-Correcting Constrained Codes

abstract: In this paper, we study binary constrained codes that are resilient to bit-flip errors and erasures. In our first approach, we compute the sizes of constrained subcodes of linear codes. Since there exist well-known linear codes that achieve vanishing probabilities of error over the binary symmetric channel (which causes bit-flip errors) and the binary erasure channel, constrained subcodes of such linear codes are also resilient to random bit-flip errors and erasures. We employ a simple identity from the Fourier analysis of Boolean functions, which transforms the problem of counting constrained codewords of linear codes to a question about the structure of the dual code. We illustrate the utility of our method in providing explicit values or efficient algorithms for our counting problem, by showing that the Fourier transform of the indicator function of the constraint is computable, for different constraints. Our second approach is to obtain good upper bounds, using an extension of Delsarte's linear program (LP), on the largest sizes of constrained codes that can correct a fixed number of combinatorial errors or erasures. We observe that the numerical values of our LP-based upper bounds beat the generalized sphere packing bounds of Fazeli, Vardy, and Yaakobi (2015).


title: Improving Inference Performance of Machine Learning with the Divide-and-Conquer Principle

abstract: Many popular machine learning models scale poorly when deployed on CPUs. In this paper we explore the reasons why and propose a simple, yet effective approach based on the well-known Divide-and-Conquer Principle to tackle this problem of great practical importance. Given an inference job, instead of using all available computing resources (i.e., CPU cores) for running it, the idea is to break the job into independent parts that can be executed in parallel, each with the number of cores according to its expected computational cost. We implement this idea in the popular OnnxRuntime framework and evaluate its effectiveness with several use cases, including the well-known models for optical character recognition (PaddleOCR) and natural language processing (BERT).


title: Cosmological-Scale Lyman-alpha Forest Absorption Around Galaxies and AGN Probed with the HETDEX and SDSS Spectroscopic Data

abstract: We present cosmological-scale 3-dimensional (3D) neutral hydrogen ({\sc Hi}) tomographic maps at $z=2-3$ over a total of 837 deg$^2$ in two blank fields that are developed with Ly$\alpha$ forest absorptions of 14,736 background Sloan Digital Sky Survey (SDSS) quasars at $z$=2.08-3.67. Using the tomographic maps, we investigate the large-scale ($\gtrsim 10$ $h^{-1}$cMpc) average {\sc Hi} radial profiles and two-direction profiles of the line-of-sight (LoS) and transverse (Trans) directions around galaxies and AGN at $z=2-3$ identified by the Hobby-Eberly Telescope Dark Energy eXperiment (HETDEX) and SDSS surveys, respectively. The peak of the {\sc Hi} radial profile around galaxies is lower than the one around AGN, suggesting that the dark-matter halos of galaxies are less massive on average than those of AGN. The LoS profile of AGN is narrower than the Trans profile, indicating the Kaiser effect. There exist weak absorption outskirts at $\gtrsim 30$ $h^{-1}$cMpc beyond {\sc Hi} structures of galaxies and AGN found in the LoS profiles that can be explained by the {\sc Hi} gas at $\gtrsim 30$ $h^{-1}$cMpc falls toward the source positions. Our findings indicate that the {\sc Hi} radial profile of AGN has transitions from proximity zones ($\lesssim$ a few $h^{-1}$cMpc) to the {\sc Hi} structures ($\sim 1-30$ $h^{-1}$cMpc) and the weak absorption outskirts ($\gtrsim 30$ $h^{-1}$cMpc). Although there is no significant dependence of AGN types (type-1 vs. type-2) on the {\sc Hi} profiles, the peaks of the radial profiles anti-correlate with AGN luminosities, suggesting that AGN's ionization effects are stronger than the gas mass differences.


title: Folding interpretations

abstract: We study the polyregular string-to-string functions, which are certain functions of polynomial output size that can be described using automata and logic. We describe a system of combinators that generates exactly these functions. Unlike previous systems, the present system includes an iteration mechanism, namely fold. Although unrestricted fold can define all primitive recursive functions, we identify a type system (inspired by linear logic) that restricts fold so that it defines exactly the polyregular functions. We also present related systems, for quantifier-free functions as well as for linear regular functions on both strings and trees.


title: Improvement of Computational Performance of Evolutionary AutoML in a Heterogeneous Environment

abstract: Resource-intensive computations are a major factor that limits the effectiveness of automated machine learning solutions. In the paper, we propose a modular approach that can be used to increase the quality of evolutionary optimization for modelling pipelines with a graph-based structure. It consists of several stages - parallelization, caching and evaluation. Heterogeneous and remote resources can be involved in the evaluation stage. The conducted experiments confirm the correctness and effectiveness of the proposed approach. The implemented algorithms are available as a part of the open-source framework FEDOT.


title: Bismuth layer properties in the ultrathin Bi-FeNi multilayer films probed by spectroscopic ellipsometry

abstract: Using wide-band (0.5-6.5 eV) spectroscopic ellipsometry we study ultrathin [Bi(0.6-2.5 nm)-FeNi(0.8,1.2 nm)]N multilayer films grown by rf sputtering deposition, where the FeNi layer has a nanoisland structure and its morphology and magnetic properties change with decreasing the nominal layer thickness. From the multilayer model simulations of the ellipsometric angles, Psi(omega) and Delta(omega), the complex (pseudo)dielectric function spectra of the Bi layer were extracted. The obtained results demonstrate that the Bi layer can possess the surface metallic conductivity, which is strongly affected by the morphology and magnetic properties of the nanoisland FeNi layer in the GMR-type Bi-FeNi multilayer structures.


title: Learning Compiler Pass Orders using Coreset and Normalized Value Prediction

abstract: Finding the optimal pass sequence of compilation can lead to a significant reduction in program size and/or improvement in program efficiency. Prior works on compilation pass ordering have two major drawbacks. They either require an excessive budget (in terms of compilation steps) at compile time or fail to generalize to unseen programs. In this paper, for code-size reduction tasks, we propose a novel pipeline to find program-dependent pass sequences within 45 compilation calls. It first identifies a coreset of 50 pass sequences via greedy optimization of a submodular function, and then learns a policy with Graph Neural Network (GNN) to pick the optimal sequence by predicting the normalized values of the pass sequences in the coreset. Despite its simplicity, our pipeline outperforms the default -Oz flag by an average of 4.7% over a large collection (4683) of unseen code repositories from diverse domains across 14 datasets. In comparison, previous approaches like reinforcement learning on the raw pass sequence space may take days to train due to sparse reward, and may not generalize well in held-out ones from different domains. Our results demonstrate that existing human-designed compiler flags can be improved with a simple yet effective technique that transforms the raw action space into a small one with denser rewards.


title: Institutionalization of Digital Trade in the Russian Federation: Countdown

abstract: The institutionalization of digital trade is one of the most important directions in the formation of the information society in the Russian Federation. The studies reflect the emerging lag in the Russian economy readiness index to support online shopping. The author analyzes the reasons for the lag in the context of the institutional features of the development of digital trade. As the main obstacle that reduces the economic efficiency and competitiveness of digital trade, insufficient attention of the state to the formation of innovative institutions of the digital market is highlighted.


title: Forgetful Active Learning with Switch Events: Efficient Sampling for Out-of-Distribution Data

abstract: This paper considers deep out-of-distribution active learning. In practice, fully trained neural networks interact randomly with out-of-distribution (OOD) inputs and map aberrant samples randomly within the model representation space. Since data representations are direct manifestations of the training distribution, the data selection process plays a crucial role in outlier robustness. For paradigms such as active learning, this is especially challenging since protocols must not only improve performance on the training distribution most effectively but further render a robust representation space. However, existing strategies directly base the data selection on the data representation of the unlabeled data which is random for OOD samples by definition. For this purpose, we introduce forgetful active learning with switch events (FALSE) - a novel active learning protocol for out-of-distribution active learning. Instead of defining sample importance on the data representation directly, we formulate "informativeness" with learning difficulty during training. Specifically, we approximate how often the network "forgets" unlabeled samples and query the most "forgotten" samples for annotation. We report up to 4.5\% accuracy improvements in over 270 experiments, including four commonly used protocols, two OOD benchmarks, one in-distribution benchmark, and three different architectures.


title: Type II multiferroic order in two-dimensional transition metal halides from first principles spin-spiral calculations

abstract: We present a computational search for spin spiral ground states in two-dimensional transition metal halides that are experimentally known as van der Waals bonded bulk materials. Such spin spirals break the rotational symmetry of the lattice and lead to polar ground states where the axis of polarization is strongly coupled to the magnetic order (type II multiferroics). We apply the generalized Bloch theorem in conjunction with non-collinear density functional theory calculations to find the spiralling vector that minimizes the energy and then include spin-orbit coupling to calculate the preferred orientation of the spin plane with respect to the spiral vector. We find a wide variety of magnetic orders ranging from ferromagnetic, stripy anti-ferromagnetic, 120$^\circ$ non-collinear structures and incommensurate spin spirals. The latter two introduce polar axes and are found in the majority of materials considered here. The spontaneous polarization is calculated for the incommensurate spin spirals by performing full supercell relaxation including spinorbit coupling and the induced polarization is shown to be strongly dependent on the orientation of the spiral planes. We also test the effect of Hubbard corrections on the results and find that for most materials LDA+U results agree qualitatively with LDA. An exception is the Mn halides, which are found to exhibit incommensurate spin spiral ground states if Hubbard corrections are included whereas bare LDA yields a 120$^\circ$ non-collinear ground state.


title: Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning

abstract: Dynamically typed languages such as Python have become very popular. Among other strengths, Python's dynamic nature and its straightforward linking to native code have made it the de-facto language for many research areas such as Artificial Intelligence. This flexibility, however, makes static analysis very hard. While creating a sound, or a soundy, analysis for Python remains an open problem, we present in this work Serenity, a framework for static analysis of Python that turns out to be sufficient for some tasks. The Serenity framework exploits two basic mechanisms: (a) reliance on dynamic dispatch at the core of language translation, and (b) extreme abstraction of libraries, to generate an abstraction of the code. We demonstrate the efficiency and usefulness of Serenity's analysis in two applications: code completion and automated machine learning. In these two applications, we demonstrate that such analysis has a strong signal, and can be leveraged to establish state-of-the-art performance, comparable to neural models and dynamic analysis respectively.


title: Explaining $\mathcal{ELH}$ Concept Descriptions through Counterfactual Reasoning

abstract: Knowledge bases are widely used for information management, enabling high-impact applications such as web search, question answering, and natural language processing. They also serve as the backbone for automatic decision systems, e.g., for medical diagnostics and credit scoring. As stakeholders affected by these decisions would like to understand their situation and verify how fair the decisions are, a number of explanation approaches have been proposed. An intrinsically transparent way to do classification is by using concepts in description logics. However, these concepts can become long and difficult to fathom for non-experts, even when verbalized. One solution is to employ counterfactuals to answer the question, ``How must feature values be changed to obtain a different classification?'' By focusing on the minimal feature changes, the explanations are short, human-friendly, and provide a clear path of action regarding the change in prediction. While previous work investigated counterfactuals for tabular data, in this paper, we transfer the notion of counterfactuals to knowledge bases and the description logic $\mathcal{ELH}$. Our approach starts by generating counterfactual candidates from concepts, followed by selecting the candidates requiring the fewest feature changes as counterfactuals. When multiple counterfactuals exist, we rank them based on the likeliness of their feature combinations. We evaluate our method by conducting a user survey to determine which counterfactual candidates participants prefer for explanation.


title: Phonon-assisted optical absorption of SiC polytypes from first principles

abstract: Silicon carbide (SiC) is an indirect-gap semiconductor material widely used in electronic and optoelectronic applications. While experimental measurements of the phonon-assisted absorption coefficient of SiC across its indirect gap have existed for more than fifty years, theoretical investigations of phonon-assisted absorption have been hampered by their excessive computational cost. In this work, we calculate the phonon-assisted temperature-dependent optical absorption spectra of the commonly occurring SiC polytypes (3C, 2H, 4H and 6H), using first-principles approaches based on density functional theory and related techniques. We show that our results agree with experimentally determined absorption coefficients in the spectral region between the direct and indirect band gaps. The temperature dependence of the spectra can be well-predicted with taking the temperature-dependence of the band gaps into account. Lastly, we compare the spectra obtained with second-order perturbation theory to those determined by the special displacement method, and we show that the full consideration of the electronic energy renormalization due to temperature is important to further improve the prediction of the phonon-assisted absorption in SiC. Our insights can be applied to predict the optical spectra of the less common SiC polytypes and other indirect-gap semiconductors in general.


title: Euler characteristics, lengths of loops in hyperbolic 3-manifolds, and Wilson's Freiheitssatz

abstract: Let $p$ be a point of an orientable hyperbolic $3$-manifold $M$, and let $m\ge1$ and $k\ge2$ be integers. Suppose that $\alpha_1,\ldots,\alpha_m$ are loops based at $p$ having length less than $\log(2k-1)$. We show that if $G$ denotes the subgroup of $\pi_1(M,p)$ generated by $[\alpha_1],\ldots,[\alpha_m]$, then $\overline{\chi}(G)\doteq-\chi(G)\le k-2$; here $\chi(G)$ denotes the Euler characteristic of the group $G$, which is always defined in this situation. This result is deduced from a result about an arbitrary finitely generated subgroup $G$ of the fundamental group of an orientable hyperbolic $3$-manifold. If $\Delta$ is a finite generating set for $G$, we define the $index\ of\ freedom$ ${\rm iof}(\Delta)$ to be the largest integer $k$ such that $\Delta$ contains $k$ elements that freely generate a rank-$k$ free subgroup of $G$. We define the $minimum\ index\ of\ freedom$ ${\rm miof}(G)$ to be $\min_{\Delta }{\rm iof}(\Delta )$, where $\Delta $ ranges over all finite generating sets for $G$. The result is that $\overline{\chi}(G)<{\rm iof}(G)$. The author has recently learned that this is equivalent to a special case of a theorem about arbitrary finitely presented groups due to J. S. Wilson.


title: GWitchHunters: Machine Learning and citizen science to improve the performance of Gravitational Wave detector

abstract: The Gravitational waves have opened a new window on the Universe and paved the way to a new era of multimessenger observations of cosmic sources. Second-generation ground-based detectors such as Advanced LIGO and Advanced Virgo have been extremely successful in detecting gravitational wave signals from coalescence of black holes and/or neutron stars. However, in order to reach the required sensitivities, the background noise must be investigated and removed. In particular, transient noise events called "glitches" can affect data quality and mimic real astrophysical signals, and it is therefore of paramount importance to characterize them and find their origin, a task that will support the activities of detector characterization of Virgo and other interferometers. Machine learning is one of the most promising approaches to characterize and remove noise glitches in real time, thus improving the sensitivity of interferometers. A key input to the preparation of a training dataset for these machine learning algorithms can originate from citizen science initiatives, where volunteers contribute to classify and analyze signals collected by detectors. We will present GWitchHunters, a new citizen science project focused on the study of gravitational wave noise, that has been developed within the REINFORCE project (a "Science With And For Society" project funded under the EU's H2020 program). We will present the project, its development and the key tasks that citizens are participating in, as well as its impact on the study of noise in the Advanced Virgo detector.


title: QUIJOTE scientific results -- IV. A northern sky survey in intensity and polarization at 10-20GHz with the Multi-Frequency Instrument

abstract: We present QUIJOTE intensity and polarization maps in four frequency bands centred around 11, 13, 17 and 19GHz, and covering approximately 29000 deg$^2$, including most of the Northern sky region. These maps result from 9000 h of observations taken between May 2013 and June 2018 with the first QUIJOTE instrument (MFI), and have angular resolutions of around $1^\circ$, and sensitivities in polarization within the range 35-40 $\mu$K per 1-degree beam, being a factor $\sim 2$-$4$ worse in intensity. We discuss the data processing pipeline employed, and the basic characteristics of the maps in terms of real space statistics and angular power spectra. A number of validation tests have been applied to characterise the accuracy of the calibration and the residual level of systematic effects, finding a conservative overall calibration uncertainty of 5%. We also discuss flux densities for four bright celestial sources (Tau A, Cas A, Cyg A and 3C274) which are often used as calibrators at microwave frequencies. The polarization signal in our maps is dominated by synchrotron emission. The distribution of spectral index values between the 11GHz and WMAP 23GHz map peaks at $\beta=-3.09$ with a standard deviation of 0.14. The measured BB/EE ratio at scales of $\ell=80$ is $0.26\pm 0.07$ for a Galactic cut $|b|>10^\circ$. We find a positive TE correlation for 11GHz at large angular scales ($\ell \lesssim 50$), while the EB and TB signals are consistent with zero in the multipole range $30 \lesssim \ell \lesssim 150$. The maps discussed in this paper are publicly available.


title: QUIJOTE scientific results -- V. The microwave intensity and polarisation spectra of the Galactic regions W49, W51 and IC443

abstract: We present new intensity and polarisation maps obtained with the QUIJOTE experiment towards the Galactic regions W49, W51 and IC443, covering the frequency range from 10 to 20 GHz at $\sim$ 1 deg angular resolution, with a sensitivity in the range 35-79 ${\mu}$K/beam for total intensity and 13-23 ${\mu}$K/beam for polarisation. For each region, we combine QUIJOTE maps with ancillary data at frequencies ranging from 0.4 to 3000 GHz, reconstruct the spectral energy distribution and model it with a combination of known foregrounds. We detect anomalous microwave emission (AME) in total intensity towards W49 at 4.7${\sigma}$ and W51 at 4.0${\sigma}$ with peak frequencies ${\nu}_{AME}$ = (20.0 $\pm$ 1.4) GHz and ${\nu}_{AME}$ = (17.7 $\pm$ 3.6) GHz respectively; this is the first detection of AME towards W51. The contamination from ultra-compact HII regions to the residual AME flux density is estimated at 10% in W49 and 5% in W51, and does not rule out the AME detection. The polarised SEDs reveal a synchrotron contribution with spectral indices ${\alpha}_s$ = -0.67 $\pm$ 0.10 in W49 and ${\alpha}_s$ = -0.51 $\pm$ 0.07 in W51, ascribed to the diffuse Galactic emission and to the local supernova remnant respectively. Towards IC443 in total intensity we measure a broken power-law synchrotron spectrum with cut-off frequency ${\nu}_{0,s}$ = (114 $\pm$ 73) GHz, in agreement with previous studies; our analysis, however, rules out any AME contribution which had been previously claimed towards IC443. No evidence of polarised AME emission is detected in this study.


title: QUIJOTE scientific results -- VI. The Haze as seen by QUIJOTE

abstract: The Haze is an excess of microwave intensity emission surrounding the Galactic centre. It is spatially correlated with the $\gamma$-ray Fermi bubbles, and with the S-PASS radio polarization plumes, suggesting a possible common provenance. The models proposed to explain the origin of the Haze, including energetic events at the Galactic centre and dark matter decay in the Galactic halo, do not yet provide a clear physical interpretation. In this paper we present a re-analysis of the Haze including new observations from the Multi-Frequency Instrument (MFI) of the Q-U-I JOint TEnerife (QUIJOTE) experiment, at 11 and 13 GHz. We analyze the Haze in intensity and polarization, characterizing its spectrum. We detect an excess of diffuse intensity signal ascribed to the Haze. The spectrum at frequencies 11$\,\leq\nu\leq\,$70 GHz is a power-law with spectral index $\beta^{\rm H}=-2.79\pm0.08$, which is flatter than the Galactic synchrotron in the same region ($\beta^{\rm S}=-2.98\pm0.04$), but steeper than that obtained from previous works ($\beta^{\rm H}\sim-2.5$ at 23$\,\leq\,\nu\leq\,$70 GHz). We also observe an excess of polarized signal in the QUIJOTE-MFI maps in the Haze area. This is a first hint detection of polarized Haze, or a consequence of curvature of the synchrotron spectrum in that area. Finally, we show that the spectrum of polarized structures associated with Galactic centre activity is steep at low frequencies ($\beta \sim -3.2$ at 2.3 $\leq\nu\leq$ 23 GHz), and becomes flatter above 11 GHz.


title: QUIJOTE Scientific Results -- VII. Galactic AME sources in the QUIJOTE-MFI Northern Hemisphere Wide-Survey

abstract: The QUIJOTE-MFI Northern Hemisphere Wide-Survey has provided maps of the sky above declinations $-30^\circ$ at 11, 13, 17 and 19$\,$GHz. These data are combined with ancillary data to produce Spectral Energy Distributions in intensity in the frequency range 0.4--3\,000$\,$GHz on a sample of 52 candidate compact sources harbouring anomalous microwave emission (AME). We apply a component separation analysis at 1$^\circ$ scale on the full sample from which we identify 44 sources with high AME significance. We explore correlations between different fitted parameters on this last sample. QUIJOTE-MFI data contribute to notably improve the characterisation of the AME spectrum, and its separation from the other components. In particular, ignoring the 10--20\,GHz data produces on average an underestimation of the AME amplitude, and an overestimation of the free-free component. We find an average AME peak frequency of 23.6 $\pm$ 3.6$\,$GHz, about 4$\,$GHz lower than the value reported in previous studies. The strongest correlation is found between the peak flux density of the thermal dust and of the AME component. A mild correlation is found between the AME emissivity ($A_{\rm AME}/\tau_{250}$) and the interstellar radiation field. On the other hand no correlation is found between the AME emissivity and the free-free radiation Emission Measure. Our statistical results suggest that the interstellar radiation field could still be the main driver of the intensity of the AME as regards spinning dust excitation mechanisms. On the other hand, it is not clear whether spinning dust would be most likely associated with cold phases of the interstellar medium rather than with hot phases dominated by free-free radiation.


title: QUIJOTE scientific results -- VIII. Diffuse polarized foregrounds from component separation with QUIJOTE-MFI

abstract: We derive linearly polarized astrophysical component maps in the Northern Sky from the QUIJOTE-MFI data at 11 and 13 GHz in combination with the WMAP K and Ka bands (23 and 33 GHz) and all Planck polarized channels (30-353 GHz), using the parametric component separation method B-SeCRET. The addition of QUIJOTE-MFI data significantly improves the parameter estimation of the low-frequency foregrounds, especially the estimation of the synchrotron spectral index, $\beta_s$. We present the first detailed $\beta_s$ map of the Northern Celestial Hemisphere at a smoothing scale of $2^{\circ}$. We find statistically significant spatial variability across the sky. We obtain an average value of $-3.08$ and a dispersion of $0.13$, considering only pixels with reliable goodness-of-fit. The power law model of the synchrotron emission provides a good fit to the data outside the Galactic plane but fails to track the complexity within this region. Moreover, when we assume a synchrotron model with uniform curvature, $c_s$, we find a value of $c_s = -0.0797 \pm 0.0012$. However, there is insufficient statistical significance to determine which model is favoured, either the power law or the power law with uniform curvature. Furthermore, we estimate the thermal dust spectral parameters in polarization. Our CMB, synchrotron, and thermal dust maps are highly correlated with the corresponding products of the PR4 Planck release, although some large-scale differences are observed in the synchrotron emission. Finally, we find that the $\beta_s$ estimation in the high signal-to-noise synchrotron emission areas is prior-independent while, outside these regions, the prior governs the $\beta_s$ estimation.


title: QUIJOTE scientific results -- IX. Radio sources in the QUIJOTE-MFI wide survey maps

abstract: We present the catalogue of Q-U-I JOint TEnerife (QUIJOTE) Wide Survey radio sources extracted from the maps of the Multi-Frequency Instrument compiled between 2012 and 2018. The catalogue contains 786 sources observed in intensity and polarization, and is divided into two separate sub-catalogues: one containing 47 bright sources previously studied by the \emph{Planck} collaboration and an extended catalogue of 739 sources either selected from the \emph{Planck} Second Catalogue of Compact Sources or found through a blind search carried out with a Mexican Hat 2 wavelet. A significant fraction of the sources in our catalogue (38.7 per cent) are within the $|b| \leq 20^\circ$ region of the Galactic plane. We determine statistical properties for those sources that are likely to be extragalactic. We find that these statistical properties are compatible with currently available models, with a $\sim$1.8 Jy completeness limit at 11 GHz. We provide the polarimetric properties of (38, 33, 31, 23) sources with P detected above the $99.99\%$ significance level at (11, 13, 17, 19) GHz, respectively. Median polarization fractions are in the $2.8$-$4.7$\% range in the 11-19 GHz frequency interval. We do not distinguish between Galactic and extragalactic sources here. The results presented here are consistent with those reported in the literature for flat- and steep-spectrum radio sources.


title: ITA-ELECTION-2022: A multi-platform dataset of social media conversations around the 2022 Italian general election

abstract: Online social media play a major role in shaping public discourse and opinion, especially during political events. We present the first public multi-platform dataset of Italian-language political conversations, focused on the 2022 Italian general election taking place on September 25th. Leveraging public APIs and a keyword-based search, we collected millions of posts published by users, pages and groups on Facebook, Instagram and Twitter, along with metadata of TikTok and YouTube videos shared on these platforms, over a period of four months. We augmented the dataset with a collection of political ads sponsored on Meta platforms, and a list of social media handles associated with political representatives. Our data resource will allow researchers and academics to further our understanding of the role of social media in the democratic process.


title: Stability properties of mild solutions of SPDEs related to pseudo differential equations

abstract: This is a review article which presents part of the contribution of Sergio Albeverio to the study of existence and uniqueness of solutions of SPDEs driven by jump processes and their stability properties. The results on stability properties obtained in Albeverio et al. [1] are presented in a slightly simplified and different way.


title: Singular SPDEs on Homogeneous Lie Groups

abstract: The aim of this article is to extend the scope of the theory of regularity structures in order to deal with a large class of singular SPDEs of the form $$\partial_t u = \mathfrak{L} u+ F(u, \xi)\ ,$$ where the differential operator $\mathfrak{L}$ fails to be elliptic. This is achieved by interpreting the base space $\mathbb{R}^{d}$ as a non-trivial homogeneous Lie group $\mathbb{G}$ such that the differential operator $\partial_t -\mathfrak{L}$ becomes a translation invariant hypoelliptic operator on $\mathbb{G}$. Prime examples are the kinetic Fokker-Planck operator $\partial_t -\Delta_v - v\cdot \nabla_x$ and heat-type operators associated to sub-Laplacians. As an application of the developed framework, we solve a class of parabolic Anderson type equations $$\partial_t u = \sum_{i} X^2_i u + u (\xi-c)$$ on the compact quotient of an arbitrary Carnot group.


title: Quantum algorithm for finding minimum values in a Quantum Random Access Memory

abstract: Finding the minimum value in an unordered database is a common and fundamental task in computer science. However, the optimal classical deterministic algorithm can find the minimum value with a time complexity that grows linearly with the number of elements in the database. In this paper, we present the proposal of a quantum algorithm for finding the minimum value of a database, which is quadratically faster than its best classical analogs. We assume a Quantum Random Access Memory (QRAM) that stores values from a database and perform an iterative search based on an oracle whose role is to limit the searched values by controlling the states of the most significant qubits. A complexity analysis was performed in order to demonstrate the advantage of this quantum algorithm over its classical counterparts. Furthermore, we demonstrate how the proposed algorithm would be used in an unsupervised machine learning task through a quantum version of the K-means algorithm.


title: Physical Layer Security Techniques Applied to Vehicle-to-Everything Networks

abstract: Physical Layer Security (PLS) is an emerging concept in the field of secrecy for wireless communications that can be used alongside cryptography to prevent unauthorized devices from eavesdropping a legitimate transmission. It offers low computational cost and overhead by injecting an interfering signal in the wiretap channels of potential eavesdroppers. This paper discusses the benefits of the Artificial Noise and Cooperative Jamming techniques in the context of Vehicle-to-everything (V2X) networks, which require secure data exchange with small latency. The simulations indicate that messages can be safely delivered even with devices that have low available power.


title: Poses of People in Art: A Data Set for Human Pose Estimation in Digital Art History

abstract: Throughout the history of art, the pose, as the holistic abstraction of the human body's expression, has proven to be a constant in numerous studies. However, due to the enormous amount of data that so far had to be processed by hand, its crucial role to the formulaic recapitulation of art-historical motifs since antiquity could only be highlighted selectively. This is true even for the now automated estimation of human poses, as domain-specific, sufficiently large data sets required for training computational models are either not publicly available or not indexed at a fine enough granularity. With the Poses of People in Art data set, we introduce the first openly licensed data set for estimating human poses in art and validating human pose estimators. It consists of 2,454 images from 22 art-historical depiction styles, including those that have increasingly turned away from lifelike representations of the body since the 19th century. A total of 10,749 human figures are precisely enclosed by rectangular bounding boxes, with a maximum of four per image labeled by up to 17 keypoints; among these are mainly joints such as elbows and knees. For machine learning purposes, the data set is divided into three subsets, training, validation, and testing, that follow the established JSON-based Microsoft COCO format, respectively. Each image annotation, in addition to mandatory fields, provides metadata from the art-historical online encyclopedia WikiArt. With this paper, we elaborate on the acquisition and constitution of the data set, address various application scenarios, and discuss prospects for a digitally supported art history. We show that the data set enables the investigation of body phenomena in art, whether at the level of individual figures, which can be captured in their subtleties, or entire figure constellations, whose position, distance, or proximity to one another is considered.


title: Adaptive Dynamic Global Illumination

abstract: We present an adaptive extension of probe based global illumination solution that enhances the response to dynamic changes in the scene while while also enabling an order of magnitude increase in probe count. Our adaptive sampling strategy carefully places samples in regions where we detect time varying changes in radiosity either due to a change in lighting, geometry or both. Even with large number of probes, our technique robustly updates the irradiance and visibility cache to reflect the most up to date changes without stalling the overall algorithm. Our bandwidth aware approach is largely an improvement over the original \textit{Dynamic Diffuse Global Illumination} while also remaining orthogonal to the recent advancements in the technique.


title: HEP-BNN: A Framework for Finding Low-Latency Execution Configurations of BNNs on Heterogeneous Multiprocessor Platforms

abstract: Binarized Neural Networks (BNNs) significantly reduce the computation and memory demands with binarized weights and activations compared to full-precision NNs. Executing a layer in a BNN on different devices of a heterogeneous multiprocessor platform consisting of CPU and GPU can affect the inference performance, i.e., accuracy and latency. Usually, a heterogeneous HW platform consisting of a CPU and a GPU is available to execute the BNN workloads. However, to use the heterogeneous HW effectively, it is necessary to find an efficient strategy for BNN workload mapping. In this work, we propose a framework that generates efficient BNN layer-to-device mappings (i.e. suitable parallel configuration for each layer of the model) for execution platforms comprised of CPU and CUDA-capable GPU. We evaluate our proposed framework with two BNN architectures using two well-known datasets, Fashion-MNIST and CIFAR-10, on three hardware platforms with different characteristics. The results show that compared to running a fully-parallelized GPU implementation, our framework generates an efficient configuration up to 2x, 2.6x and 11.8x faster on our tested hardware respectively.


title: Distributed local spline simulator for wave propagation

abstract: Numerical simulation of wave propagation in elastic media faces the challenges arising from increasing demand of high resolution in modern 3-D imaging applications, which requires a balance between efficiency and accuracy in addition to being friendly to the distributed high-performance computing environment. In this paper, we propose a distributed local spline simulator (LOSS) for solving the wave equation. LOSS uses patched cubic B-splines to represent the wavefields and attains an accurate evaluation of spatial derivatives with linear complexity. In order to link the adjacent patches, a perfectly matched boundary condition is introduced to give a closure of local spline coefficients. Owing to the rapid decay property of the local wavelets in dual space, it can recover the global spline as accurately as possible only at the cost of local communications among adjacent neighbors. Several typical numerical examples, including 2-D acoustic wave equation and P- and S- wave propagation in 3-D homogenous or heterogenous media, are provided to validate its convergence, accuracy and parallel scalability.


title: Abortion Misinformation on TikTok: Rampant Content, Lax Moderation, and Vivid User Experiences

abstract: The scientific effort devoted to health misinformation mostly focuses on the implications of misleading vaccines and communicable disease claims with respect to public health. However, the proliferation of abortion misinformation following the Supreme Court's decision to overturn Roe v. Wade banning legal abortion in the US highlighted a gap in scientific attention to individual health-related misinformation. To address this gap, we conducted a study with 60 TikTok users to uncover their experiences with abortion misinformation and the way they conceptualize, assess, and respond to misleading video content on this platform. Our findings indicate that users mostly encounter short-term videos suggesting herbal "at-home" remedies for pregnancy termination. While many of the participants were cautious about scientifically debunked "abortion alternatives," roughly 30% of the entire sample believed in their safety and efficacy. Even an explicit debunking label attached to a misleading abortion video about the harms of "at-home" did not help a third of the participants to dismiss a video about self-administering abortion as misinformation. We discuss the implications of our findings for future participation on TikTok and other polarizing topics debated on social media.


title: Holomorphic Induction Beyond the Norm-Continuous Setting, With Applications to Positive Energy Representations

abstract: We extend the theory of holomorphic induction of unitary representations of a possibly infinite-dimensional Lie group $G$ beyond the setting where the representation being induced is required to be norm-continuous. We allow the group $G$ to be a connected regular BCH(Baker-Campbell-Hausdorff) Fr\'echet-Lie group. Given a smooth $\mathbb{R}$-action $\alpha$ on $G$, we proceed to show that the corresponding class of so-called positive energy representations is intimately related with holomorphic induction. Assuming that $G$ is regular, we in particular show that if $\rho$ is a unitary ground-state representation of $G \rtimes_\alpha \mathbb{R}$ for which the energy-zero subspace $\mathcal{H}_\rho(0)$ admits a dense set of $G$-analytic vectors, then $\rho\big|_G$ is holomorphically induced from the representation of the connected subgroup $H := (G^\alpha)_0$ of $\alpha$-fixed points on $\mathcal{H}_\rho(0)$. As a consequence, we obtain an isomorphism $\mathcal{B}(\mathcal{H}_\rho)^G \cong \mathcal{B}(\mathcal{H}_\rho(0))^H$ between the corresponding commutants. We also find that any two such ground-state representations are necessarily unitary equivalent if their energy-zero subspaces are unitarily equivalent as $H$-representations. These results were previously only available under the assumption of norm-continuity of the $H$-representation on $\mathcal{H}_\rho(0)$.


title: Unbiased estimation and asymptotically valid inference in multivariable Mendelian randomization with many weak instrumental variables

abstract: Mendelian randomization (MR) is an instrumental variable (IV) approach to infer causal relationships between exposures and outcomes with genome-wide association studies (GWAS) summary data. However, the multivariable inverse-variance weighting (IVW) approach, which serves as the foundation for most MR approaches, cannot yield unbiased causal effect estimates in the presence of many weak IVs. To address this problem, we proposed the MR using Bias-corrected Estimating Equation (MRBEE) that can infer unbiased causal relationships with many weak IVs and account for horizontal pleiotropy simultaneously. While the practical significance of MRBEE was demonstrated in our parallel work (Lorincz-Comi (2023)), this paper established the statistical theories of multivariable IVW and MRBEE with many weak IVs. First, we showed that the bias of the multivariable IVW estimate is caused by the error-in-variable bias, whose scale and direction are inflated and influenced by weak instrument bias and sample overlaps of exposures and outcome GWAS cohorts, respectively. Second, we investigated the asymptotic properties of multivariable IVW and MRBEE, showing that MRBEE outperforms multivariable IVW regarding unbiasedness of causal effect estimation and asymptotic validity of causal inference. Finally, we applied MRBEE to examine myopia and revealed that education and outdoor activity are causal to myopia whereas indoor activity is not.


title: Toward Theoretical Guidance for Two Common Questions in Practical Cross-Validation based Hyperparameter Selection

abstract: We show, to our knowledge, the first theoretical treatments of two common questions in cross-validation based hyperparameter selection: (1) After selecting the best hyperparameter using a held-out set, we train the final model using {\em all} of the training data -- since this may or may not improve future generalization error, should one do this? (2) During optimization such as via SGD (stochastic gradient descent), we must set the optimization tolerance $\rho$ -- since it trades off predictive accuracy with computation cost, how should one set it? Toward these problems, we introduce the {\em hold-in risk} (the error due to not using the whole training data), and the {\em model class mis-specification risk} (the error due to having chosen the wrong model class) in a theoretical view which is simple, general, and suggests heuristics that can be used when faced with a dataset instance. In proof-of-concept studies in synthetic data where theoretical quantities can be controlled, we show that these heuristics can, respectively, (1) always perform at least as well as always performing retraining or never performing retraining, (2) either improve performance or reduce computational overhead by $2\times$ with no loss in predictive performance.


title: Comment on "Validity of path thermodynamic description of reactive systems: Microscopic simulations''

abstract: The claims by Baras, Garcia, and Malek Mansour [Phys. Rev. E 107, 014106 (2023)] on the validity of path thermodynamics are ill founded and contradict well known results. Following up on a previous comment, I show that, for both models of chemical reaction networks considered in the aforementioned paper, path thermodynamics yields values of the entropy production rates fully consistent with those expected from standard chemical thermodynamics in the large-system limit.


title: Is AI Art Another Industrial Revolution in the Making?

abstract: A major shift from skilled to unskilled workers was one of the many changes caused by the Industrial Revolution, when the switch to machines contributed to decline in the social and economic status of artisans, whose skills were dismembered into discrete actions by factory-line workers. We consider what may be an analogous computing technology: the recent introduction of AI-generated art software. AI art generators such as Dall-E and Midjourney can create fully rendered images based solely on a user's prompt, just at the click of a button. Some artists fear if the cheaper price and conveyor-belt speed that comes with AI-produced images is seen as an improvement to the current system, it may permanently change the way society values/views art and artists. In this article, we consider the implications that AI art generation introduces through a post-industrial revolution historical lens. We then reflect on the analogous issues that appear to arise as a result of the AI art revolution, and we conclude that the problems raised mirror those of industrialization, giving a vital glimpse into what may lie ahead.


title: A grid theorem for strong immersions of walls

abstract: We show that a graph contains a large wall as a strong immersion minor if and only if the graph does not admit a tree-cut decomposition of small `width', which is measured in terms of its adhesion and the path-likeness of its torsos.


title: On Existence Theorems for Conditional Inferential Models

abstract: The framework of Inferential Models (IMs) has recently been developed in search of what is referred to as the holy grail of statistical theory, that is, prior-free probabilistic inference. Its method of Conditional IMs (CIMs) is a critical component in that it serves as a desirable extension of the Bayes theorem for combining information when no prior distribution is available. The general form of CIMs is defined by a system of first-order homogeneous linear partial differential equations (PDEs). When admitting simple solutions, they are referred to as regular, whereas when no regular CIMs exist, they are used as the so-called local CIMs. This paper provides conditions for regular CIMs, which are shown to be equivalent to the existence of a group-theoretical representation of the underlying statistical model. It also establishes existence theorems for CIMs, which state that under mild conditions, local CIMs always exist. Finally, the paper concludes with a simple example and a few remarks on future developments of CIMs for applications to popular but inferentially nontrivial statistical models.


title: Light vector meson photoproduction in ultraperipheral heavy ion collisions at the LHC within the Reggeometric Pomeron approach

abstract: By using the Reggeometric Pomeron model for vector meson production which successfully describes the high energy lepton-nucleon data, we analyse the light meson production in ultra-peripheral heavy ion collisions at the Large Hadron Collider (LHC). The rapidity distributions for $\rho$ and $\phi$ photoproduction in lead-lead, xenon-xenon and oxygen-oxygen collisions are investigated.


title: Density functions of periodic sequences of continuous events

abstract: Periodic Geometry studies isometry invariants of periodic point sets that are also continuous under perturbations. The motivations come from periodic crystals whose structures are determined in a rigid form but any minimal cells can discontinuously change due to small noise in measurements. For any integer k>=0, the density function of a periodic set S was previously defined as the fractional volume of all k-fold intersections (within a minimal cell) of balls that have a variable radius t and centers at all points of S. This paper introduces the density functions for periodic sets of points with different initial radii motivated by atomic radii of chemical elements and by continuous events occupying disjoint intervals in time series. The contributions are explicit descriptions of the densities for periodic sequences of intervals. The new densities are strictly stronger and distinguish periodic sequences that have identical densities in the case of zero radii.


title: Canonical description of quantum dynamics

abstract: Some of the important non-classical aspects of quantum mechanics can be described in more intuitive terms if they are reformulated in a geometrical picture based on an extension of the classical phase space. This contribution presents various phase-space properties of moments describing a quantum state and its dynamics. An example of a geometrical reformulation of a non-classical quantum effect is given by an equivalence between conditions imposed by uncertainty relations and centrifugal barriers, respectively.


title: Probing the Milky Way stellar and brown dwarf initial mass function with modern microlensing observations

abstract: We use recent microlensing observations toward the central bulge of the Galaxy to probe the overall stellar plus brown dwarf initial mass function (IMF) in these regions well within the brown dwarf domain. We find that the IMF is consistent with the same Chabrier (2005) IMF characteristic of the Galactic disk. In contrast, other IMFs suggested in the literature overpredict the number of short-time events, thus of very-low mass stars and brown dwarfs, compared with observations. This, again, supports the suggestion that brown dwarfs and stars form predominantly via the same mechanism. We show that claims for different IMFs in the stellar and substellar domains rather arise from an incorrect parameterization of the IMF. Furthermore, we show that the IMF in the central regions of the bulge seems to be bottom-heavy, as illustrated by the large number of short-time events compared with the other regions. This recalls our previous analysis of the IMF in massive early type galaxies and suggests the same kind of two-phase formation scenario, with the central bulge initially formed under more violent, burst-like conditions than the rest of the Galaxy.


title: Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks

abstract: In this work, we characterize a class of nonlinear monotone dynamical systems that have a certain translation invariance property which goes by the name of plus-homogeneity; usually called "topical" systems. Such systems need not be asymptotically stable, since they are merely nonexpansive but not contractive. Thus, we introduce a stricter version of monotonicity, termed "type-K" in honor of Kamke, and we prove the asymptotic stability of the equilibrium points, as well as the convergence of all trajectories to such equilibria for type-K monotone and plus-homogeneous systems: we call them "K-topical". Since topical maps are the natural nonlinear counterpart of linear maps defined by row-stochastic matrices, which are a cornerstone in the convergence analysis of linear multi-agent systems (MASs), we exploit our results for solving the consensus problem over nonlinear K-topical MASs. We first provide necessary and sufficient conditions on the local interaction rules of the agents ensuring the K-topicality of a MAS. Then, we prove that the agents achieve consensus asymptotically if the graph describing their interactions contains a globally reachable node. Finally, several examples for continuous-time and discrete-time systems are discussed to corroborate the enforceability of our results in different applications.


title: Spin-orbital order and excitons in magnetoresistive HoBi

abstract: The magnetism of the rock-salt $fcc$ rare-earth monopnictide HoBi, a candidate topological material with extreme magnetoresistance, is investigated. From the Ho$^{3+}$ non-Kramers $J$=8 spin-orbital multiplet, the cubic crystal electric field yields six nearly degenerate low-energy levels. These constitute an anisotropic magnetic moment with a Jahn-Teller-like coupling to the lattice. In the cubic phase for $T>T_N~=~5.72(1)~K$, the paramagnetic neutron scattering is centered at $\mathbf{k}=(\frac{1}{2}\frac{1}{2}\frac{1}{2})$ and was fit to dominant antiferromagnetic interactions between Ho spins separated by $\{100\}$ and ferromagnetic interactions between spins displaced by $\{\frac{1}{2}\frac{1}{2}0\}$. For $T<T_N$, a type-II AFM long-range order with $\mathbf{k}=(\frac{1}{2}\frac{1}{2}\frac{1}{2})$ develops along with a tetragonal lattice distortion. While neutron diffraction from a multi-domain sample cannot unambiguously determine the spin orientation within a domain, the bulk magnetization, structural distortion, and our measurements of the magnetic excitations all show the easy axis coincides with the tetragonal axis. The weakly dispersive excitons for $T<T_N$ can be accounted for by a spin Hamiltonian that includes the crystal electric field and exchange interactions within the Random Phase Approximation.


title: Simultaneous superadditivity of the direct and complementary channel capacities

abstract: Quantum communication channels differ from their classical counterparts because their capacities can be superadditive. The principle of monogamy of entanglement suggests that superadditive improvements in the transmission capacity of a channel should reduce the amount of information loss to the environment. We challenge this intuition by demonstrating that the coherent and private information of a channel and its complement can be simultaneously superadditive for arbitrarily many channel uses. To quantify the limits of this effect, we consider the notion of max (resp. total) private information of a channel, which represents the maximum (resp. sum) of the private information of the channel itself and its complement, and study its relationship with the coherent information of the individual direct and complementary channels. For a varying number of channel uses, we show that these quantities can obey different interleaving sequences of inequalities.


title: Impacts of Distribution Network Reconfiguration on Aggregated DER Flexibility

abstract: The ongoing integration of controllable distributed energy resources (DER) makes distribution networks capable of aggregating flexible power and providing flexibility services at both transmission and distribution levels. The aggregated flexibility of an active distribution network (ADN) can be represented as its feasible operating area in the P-Q space. The limits of this area are pivotal for arranging flexibility markets and coordinating transmission and distribution system operators (TSOs and DSOs). However, motivated by the current technical limitations of distribution networks (e.g., protection schemes), existing literature on ADN flexibility and TSO-DSO coordination mostly focuses on radial networks, overlooking the potential benefits of network reconfiguration. This paper, using a realistic meshed distribution system from the UK and the exact ACOPF model for flexibility estimation, demonstrates that network reconfiguration can increase the limits of ADN aggregated flexibility and improve the economic efficiency of flexibility markets.


title: The implications of large binding energies of massive stripped core collapse supernova progenitors on the explosion mechanism

abstract: We examine the binding energies of massive stripped-envelope core collapse supernova (SECCSN) progenitors with the stellar evolution code MESA, and find that the jittering jets explosion mechanism is preferred for explosions where carbon-oxygen cores with masses of $>20 M_\odot$ collapse to leave a neutron star (NS) remnant. We calculate the binding energy at core collapse under the assumption that the remnant is a NS. Namely, stellar gas above mass coordinate of $~1.5-2.5 M_\odot$ is ejected in the explosion. We find that the typical binding energy of the ejecta of stripped-envelope progenitors with carbon-oxygen core masses of $M_{CO} > 20 M_\odot$ is $E_{bind}>2 \times 10^{51} erg$. We claim that jets are most likely to explode such cores as jet-driven explosion mechanisms can supply high energies to the explosion. We apply our results to SN 2020qlb, which is a SECCSN with a claimed core mass of $~30-50 M_\odot$, and conclude that the jittering jets explosion mechanism best accounts for such an explosion that leaves a NS.


title: Analyzing Resource Utilization in an HPC System: A Case Study of NERSC Perlmutter

abstract: Resource demands of HPC applications vary significantly. However, it is common for HPC systems to primarily assign resources on a per-node basis to prevent interference from co-located workloads. This gap between the coarse-grained resource allocation and the varying resource demands can lead to HPC resources being not fully utilized. In this study, we analyze the resource usage and application behavior of NERSC's Perlmutter, a state-of-the-art open-science HPC system with both CPU-only and GPU-accelerated nodes. Our one-month usage analysis reveals that CPUs are commonly not fully utilized, especially for GPU-enabled jobs. Also, around 64% of both CPU and GPU-enabled jobs used 50% or less of the available host memory capacity. Additionally, about 50% of GPU-enabled jobs used up to 25% of the GPU memory, and the memory capacity was not fully utilized in some ways for all jobs. While our study comes early in Perlmutter's lifetime thus policies and application workload may change, it provides valuable insights on performance characterization, application behavior, and motivates systems with more fine-grain resource allocation.


title: Heuristic for Diverse Kemeny Rank Aggregation based on Quantum Annealing

abstract: The Kemeny Rank Aggregation (KRA) problem is a well-studied problem in the field of Social Choice with a variety of applications in many different areas like databases and search engines. Intuitively, given a set of votes over a set of candidates, the problem asks to find an aggregated ranking of candidates that minimizes the overall dissatisfaction concerning the votes. Recently, a diverse version of KRA was considered which asks for a sufficiently diverse set of sufficiently good solutions. The framework of diversity of solutions is a young and thriving topic in the field of artificial intelligence. The main idea is to provide the user with not just one, but with a set of different solutions, enabling her to pick a sufficiently good solution that satisfies additional subjective criteria that are hard or impossible to model. In this work, we use a quantum annealer to solve the KRA problem and to compute a representative set of solutions. Quantum annealing is a meta search heuristic that does not only show promising runtime behavior on currently existing prototypes but also samples the solutions space in an inherently different way, making use of quantum effects. We describe how KRA instances can be solved by a quantum annealer and provide an implementation as well as experimental evaluations. As existing quantum annealers are still restricted in their number of qubits, we further implement two different data reduction rules that can split an instance into a set of smaller instances. In our evaluation, we compare classical heuristics that allow to sample multiple solutions such as simulated annealing and local search with quantum annealing performed on a physical quantum annealer. We compare runtime, quality of solution, and diversity of solutions, with and without applying preceding data reduction rules.


title: On Bethe equations of 2d conformal field theory

abstract: We study the higher spin algebras of two-dimensional conformal field theory from the perspective of quantum integrability. Starting from Maulik-Okounkov instanton R-matrix and applying the procedure of algebraic Bethe ansatz, we obtain infinite commuting families of Hamiltonians of quantum ILW hierarchy parametrized by the shape of the auxiliary torus. We calculate explicitly the first five of these Hamiltonians. Then, we numerically verify that their joint spectrum can be parametrized by solutions of Litvinov's Bethe ansatz equations and we conjecture a general formula for the joint spectrum of all ILW Hamiltonians, based on results of Feigin, Jimbo, Miwa and Mukhin. There are two interesting degeneration limits, the infinitely thick and the infinitely thin auxiliary torus. In one of these limits, the ILW hierarchy degenerates to Yangian or Benjamin-Ono hierarchy and the Bethe equations can be easily solved. The other limit is singular but we can nevertheless extract local Hamiltonians corresponding to quantum KdV or KP hierarchy. Litvinov's Bethe equations in this local limit provide an alternative to Bethe ansatz equations of Bazhanov, Lukyanov and Zamolodchikov, but are more transparent, work at any rank and are manifestly symmetric under triality symmetry of $\mathcal{W}_{1+\infty}$. Finally, we illustrate analytic properties of the solutions of Bethe equations in minimal models, in particular for Lee-Yang CFT. The analytic structure of Bethe roots is very rich as it captures the representation theory of $\mathcal{W}_N$ minimal models.


title: Quantifying the nonadiabaticity strength constant in recently discovered highly-compressed superconductors

abstract: Superconductivity in highly-pressurized hydrides became primary direction for the exploration of fundamental upper limit for the superconducting transition temperature, Tc, after Drozdov et al (Nature 2015, 525, 73) discovered superconducting state with $T_c=203 K$ in highly-compressed sulphur hydride. To date several dozens of high-temperature superconducting polyhydrides have been discovered. In addition, recently, it was reported that highly-compressed titanium and scandium exhibit record-high $T_c$ (up to 36 K), which is by manifold exceeded $T_c=9.2 K$ of niobium, which is the record high-$T_c$ ambient pressure metallic superconductor. Here we analysed experimental data on for recently discovered high-pressure superconductors (which exhibit high transition temperatures within their classes): elemental titanium (Zhang et al, Nature Communications 2022; Liu et al, Phys. Rev. B 2022), $TaH_3$ (He et al, Chinese Phys. Lett. 2023), $LaBeH_8$ (Song et al, Phys. Rev. Lett. 2023), and black (Li et al, Proc. Natl. Acad. Sci. 2018) and violet (Wu et al, arXiv 2023) phosphorous, to reveal the nonadiabaticity strength constant, $T_{\theta}/T_F$ (where $T_{\theta}$ is the Debye temperature, and $T_F$ the Fermi temperature) in these superconductors. The analysis showed that ${\delta}$-phase of titanium and black phosphorous exhibit the $T_{\theta}/T_F$ which are nearly identical to ones associated in A15 superconductors, while studied hydrides and violet phosphorous exhibit the constants in the same ballpark with $H_3S$ and $LaH_{10}$.


title: Define, Evaluate, and Improve Task-Oriented Cognitive Capabilities for Instruction Generation Models

abstract: Recent work studies the cognitive capabilities of language models through psychological tests designed for humans. While these studies are helpful for understanding the general capabilities of these models, there is no guarantee that a model possessing sufficient capabilities to pass those tests would actually use those capabilities in performing real-life tasks. In this work, we formulate task-oriented cognitive capabilities, which are human-like cognitive capabilities that language models leverage to perform tasks. These capabilities are (i) the ability to quickly generate good candidate utterances (the search capability) (ii) the ability to predict how a listener interprets those utterances and choose the most appropriate one (the pragmatic capability). We design an evaluation scheme for comparing these capabilities of a language model with those of a human. Applying this scheme to examine various models in a navigation instruction generation problem, we find that their pragmatic capability is severely lacking. This insight leads us to augment them with better models of the listener and obtain a significant boost of 11% in success rate in guiding real humans. Our work advocates for having a principled procedure for aligning language models with humans that involves (i) formulating task-oriented capabilities, (ii) devising a method to quantify their deficiency, and (iii) iteratively improving them.


title: Unsupervised Question Duplicate and Related Questions Detection in e-learning platforms

abstract: Online learning platforms provide diverse questions to gauge the learners' understanding of different concepts. The repository of questions has to be constantly updated to ensure a diverse pool of questions to conduct assessments for learners. However, it is impossible for the academician to manually skim through the large repository of questions to check for duplicates when onboarding new questions from external sources. Hence, we propose a tool QDup in this paper that can surface near-duplicate and semantically related questions without any supervised data. The proposed tool follows an unsupervised hybrid pipeline of statistical and neural approaches for incorporating different nuances in similarity for the task of question duplicate detection. We demonstrate that QDup can detect near-duplicate questions and also suggest related questions for practice with remarkable accuracy and speed from a large repository of questions. The demo video of the tool can be found at https://www.youtube.com/watch?v=loh0_-7XLW4.


title: A local-global principle for unipotent characters

abstract: We obtain an adaptation of Dade's Conjecture and Sp\"ath's Character Triple Conjecture to unipotent characters of simple, simply connected finite reductive groups of type $\bf{A}$, $\bf{B}$ and $\bf{C}$. In particular, this gives a precise formula for counting the number of unipotent characters of each defect $d$ in any Brauer $\ell$-block $B$ in terms of local invariants associated to $e$-local structures. This provides a geometric version of the local-global principle in representation theory of finite groups. A key ingredient in our proof is the construction of certain parametrisations of unipotent generalised Harish-Chandra series that are compatible with isomorphisms of character triples.


title: A note on the marginal instability rates of two-dimensional linear cocycles

abstract: A theorem of Guglielmi and Zennaro implies that if the uniform norm growth of a locally constant GL(2,R)-cocycle on the full shift is not exponential then it must be either bounded or linear, with no other possibilities occurring. We give an alternative proof of this result and demonstrate that its conclusions do not hold for Lipschitz continuous cocycles over the full shift on two symbols.


title: Equivalence of $v$-decomposition matrices for blocks of Ariki-Koike algebras

abstract: We consider the representation theory of the Ariki-Koike algebra, a $q$-deformation of the group algebra of the complex reflection group $C_r \wr \mathfrak{S}_n$. We examine blocks of the Ariki-Koike algebra. In particular, we prove a sufficient condition such that restriction of modules leads to a natural correspondence between the multipartitions of $n$ whose Specht modules belong to a block $B$ and those of $n-\delta_i(B)$ whose Specht modules belong to the block $B'$, obtained from $B$ applying a Scopes' equivalence. This bijection gives us an equivalence for the $v$-decomposition numbers of the Ariki-Koike algebras.


title: Mephisto: A Framework for Portable, Reproducible, and Iterative Crowdsourcing

abstract: We introduce Mephisto, a framework to make crowdsourcing for research more reproducible, transparent, and collaborative. Mephisto provides abstractions that cover a broad set of task designs and data collection workflows, and provides a simple user experience to make best-practices easy defaults. In this whitepaper we discuss the current state of data collection and annotation in ML research, establish the motivation for building a shared framework to enable researchers to create and open-source data collection and annotation tools as part of their publication, and outline a set of suggested requirements for a system to facilitate these goals. We then step through our resolution in Mephisto, explaining the abstractions we use, our design decisions around the user experience, and share implementation details and where they align with the original motivations. We also discuss current limitations, as well as future work towards continuing to deliver on the framework's initial goals. Mephisto is available as an open source project, and its documentation can be found at www.mephisto.ai.


title: Computing m-Eternal Domination Number of Cactus Graphs in Linear Time

abstract: In m-eternal domination attacker and defender play on a graph. Initially, the defender places guards on vertices. In each round, the attacker chooses a vertex to attack. Then, the defender can move each guard to a neighboring vertex and must move a guard to the attacked vertex. The m-eternal domination number is the minimum number of guards such that the graph can be defended indefinitely. In this paper, we study the m-eternal domination number of cactus graphs. We consider two variants of the m-eternal domination number: one allows multiple guards to occupy a single vertex, the second variant requires the guards to occupy distinct vertices. We develop several tools for obtaining lower and upper bounds on these problems and we use them to obtain an algorithm which computes the minimum number of required guards of cactus graphs for both variants of the problem.


title: Hadronic observables from master-field simulations

abstract: Substantial progress has been made recently in the generation of master-field ensembles. This has to be paired with efficient techniques to compute observables on gauge field configurations with a large volume. Here we present the results of the computation of hadronic observables, including hadron masses and meson decay constants, on large-volume and master-field ensembles with physical volumes of up to $(18\,\mathrm{fm})^4$ and $m_\pi L$ up to $25$, simulated using $N_{\mathrm{f}}=2+1$ stabilized Wilson fermions. We obtain sub-percent determinations from single gauge configurations with the combined use of position-space techniques, volume averages and master-field error estimation.


title: Statistical Learning with Sublinear Regret of Propagator Models

abstract: We consider a class of learning problems in which an agent liquidates a risky asset while creating both transient price impact driven by an unknown convolution propagator and linear temporary price impact with an unknown parameter. We characterize the trader's performance as maximization of a revenue-risk functional, where the trader also exploits available information on a price predicting signal. We present a trading algorithm that alternates between exploration and exploitation phases and achieves sublinear regrets with high probability. For the exploration phase we propose a novel approach for non-parametric estimation of the price impact kernel by observing only the visible price process and derive sharp bounds on the convergence rate, which are characterised by the singularity of the propagator. These kernel estimation methods extend existing methods from the area of Tikhonov regularisation for inverse problems and are of independent interest. The bound on the regret in the exploitation phase is obtained by deriving stability results for the optimizer and value function of the associated class of infinite-dimensional stochastic control problems. As a complementary result we propose a regression-based algorithm to estimate the conditional expectation of non-Markovian signals and derive its convergence rate.


title: SemPPL: Predicting pseudo-labels for better contrastive representations

abstract: Learning from large amounts of unsupervised data and a small amount of supervision is an important open problem in computer vision. We propose a new semi-supervised learning method, Semantic Positives via Pseudo-Labels (SemPPL), that combines labelled and unlabelled data to learn informative representations. Our method extends self-supervised contrastive learning -- where representations are shaped by distinguishing whether two samples represent the same underlying datum (positives) or not (negatives) -- with a novel approach to selecting positives. To enrich the set of positives, we leverage the few existing ground-truth labels to predict the missing ones through a $k$-nearest neighbours classifier by using the learned embeddings of the labelled data. We thus extend the set of positives with datapoints having the same pseudo-label and call these semantic positives. We jointly learn the representation and predict bootstrapped pseudo-labels. This creates a reinforcing cycle. Strong initial representations enable better pseudo-label predictions which then improve the selection of semantic positives and lead to even better representations. SemPPL outperforms competing semi-supervised methods setting new state-of-the-art performance of $68.5\%$ and $76\%$ top-$1$ accuracy when using a ResNet-$50$ and training on $1\%$ and $10\%$ of labels on ImageNet, respectively. Furthermore, when using selective kernels, SemPPL significantly outperforms previous state-of-the-art achieving $72.3\%$ and $78.3\%$ top-$1$ accuracy on ImageNet with $1\%$ and $10\%$ labels, respectively, which improves absolute $+7.8\%$ and $+6.2\%$ over previous work. SemPPL also exhibits state-of-the-art performance over larger ResNet models as well as strong robustness, out-of-distribution and transfer performance. We release the checkpoints and the evaluation code at https://github.com/deepmind/semppl .


title: Approximation, regularity and positivity preservation on Riemannian manifolds

abstract: The paper focuses on the $L^{p}$-Positivity Preservation property ($L^{p}$-PP for short) on a Riemannian manifold $(M,g)$. It states that any $L^p$ function $u$ with $1<p<+\infty$, which solves $(-\Delta + 1)u\ge 0$ on $M$ in the sense of distributions must be non-negative. Our main result is that the $L^{p}$-PP holds if (the possibly incomplete) $M$ has a finite number of ends with respect to some compact domain, each of which is $q$-parabolic for some, possibly different, values $2p/(p-1) < q \leq +\infty$. When $p=2$, since $\infty$-parabolicity coincides with geodesic completeness, our result settles in the affirmative a conjecture by M. Braverman, O. Milatovic and M. Shubin in 2002. On the other hand, we also show that the $L^{p}$-PP is stable by removing from a complete manifold a possibly singular set with Hausdorff co-dimension strictly larger than $2p/(p-1)$ or with a uniform Minkowski-type upper estimate of order $2p/(p-1)$. The threshold value $2p/(p-1)$ is sharp as we show that when the Hausdorff co-dimension of the removed set is strictly smaller, then the $L^{p}$-PP fails. This gives a rather complete picture. The tools developed to carry out our investigations include smooth monotonic approximation and consequent regularity results for subharmonic distributions, a manifold version of the Brezis-Kato inequality, Liouville-type theorems in low regularity, removable singularities results for $L^{p}$-subharmonic distributions and a Frostman-type lemma. Since the seminal works by T. Kato, the $L^{p}$-PP has been linked to the spectral theory of Schr\"odinger operators with singular potentials $\Delta - V$. Here we present some applications of the main results of this paper to the case where $V\in L^p_{loc}$, addressing the essential self-adjointness of the operator when $p=2$ and whether or not $C^\infty_c(M)$ is an operator core for $\Delta-V$ in $L^p$.


title: Venus, Phosphine and the Possibility of Life

abstract: The search for life elsewhere in the universe is one of the central aims of science in the 21st century. While most of this work is aimed at planets orbiting other stars, the search for life in our own Solar System is an important part of this endeavour. Venus is often thought to have too harsh an environment for life, but it may have been a more hospitable place in the distant past. If life evolved there in the past then the cloud decks of Venus are the only remaining niche where life as we know it might survive today. The discovery of the molecule phosphine, PH$_3$, in these clouds has reinvigorated research looking into the possibility of life in the clouds. In this review we examine the background to studies of the possibility of life on Venus, discuss the discovery of phosphine, review conflicting and confirming observations and analyses, and then look forward to future observations and space missions that will hopefully provide definitive answers as to the origin of phosphine on Venus and to the question of whether life might exist there.


title: Electronic Kapitza conductance and related kinetic coefficients at an interface between n-type semiconductors

abstract: We calculate the Kapitza conductance, which is the proportionality coefficient between heat flux and temperature jump at the interface, for the case of two conducting solids separated by the interface. We show that for conducting solids in a non-equilibrium state, there should also arise the electrochemical potential jump at the interface. Hence to describe linear transport at the interface we need three kinetic coefficients: interfacial analogs of electric and heat conductances and interfacial analog of the Seebeck coefficient. We calculate these coefficients for the case of an interface between n-type semiconductors. We perform calculations in the framework of Boltzmann transport theory. We have found out that the interfacial analog of the Seebeck coefficient for some range of parameters of the considered semiconductors, has a high value of about $10^{-3}$ V/K. Thus this effect has the potential to be used for the synthesis of effective thermoelectric materials.


title: Duoidally enriched Freyd categories

abstract: Freyd categories provide a semantics for first-order effectful programming languages by capturing the two different orders of evaluation for products. We enrich Freyd categories in a duoidal category, which provides a new, third choice of parallel composition. Duoidal categories have two monoidal structures which account for the sequential and parallel compositions. The traditional setting is recovered as a full coreflective subcategory for a judicious choice of duoidal category. We give several worked examples of this uniform framework, including the parameterised state monad, basic separation semantics for resources, and interesting cases of change of enrichment


title: Signed Directed Graph Contrastive Learning with Laplacian Augmentation

abstract: Graph contrastive learning has become a powerful technique for several graph mining tasks. It learns discriminative representation from different perspectives of augmented graphs. Ubiquitous in our daily life, singed-directed graphs are the most complex and tricky to analyze among various graph types. That is why singed-directed graph contrastive learning has not been studied much yet, while there are many contrastive studies for unsigned and undirected. Thus, this paper proposes a novel signed-directed graph contrastive learning, SDGCL. It makes two different structurally perturbed graph views and gets node representations via magnetic Laplacian perturbation. We use a node-level contrastive loss to maximize the mutual information between the two graph views. The model is jointly learned with contrastive and supervised objectives. The graph encoder of SDGCL does not depend on social theories or predefined assumptions. Therefore it does not require finding triads or selecting neighbors to aggregate. It leverages only the edge signs and directions via magnetic Laplacian. To the best of our knowledge, it is the first to introduce magnetic Laplacian perturbation and signed spectral graph contrastive learning. The superiority of the proposed model is demonstrated through exhaustive experiments on four real-world datasets. SDGCL shows better performance than other state-of-the-art on four evaluation metrics.


title: ac-locking of thermally-induced sine-Gordon breathers

abstract: A complete framework for exciting and detecting thermally-induced, stabilized sine-Gordon breathers in ac-driven long Josephson junctions is developed. The formation of long-time stable breathers locked to the ac source occurs for a sufficiently high temperature. The latter emerges as a powerful control parameter, allowing for the remarkably stable localized modes to appear. Nonmonotonic behaviors of both the breather generation probability and the energy spatial correlations versus the thermal noise strength are found. The junction's resistive switching characteristics provides a clear experimental signature of the breather.


title: Optimal filtering techniques for the adaptive optics system of the LBT

abstract: In this paper we will discuss the application of optimal filtering techniques for the adaptive optics system of the LBT telescope. We have studied the application of both Kalman and H$_\infty$ filters to estimate the temporal evolution of the phase perturbations due to the atmospheric turbulence and the telescope vibrations on tip/tilt modes. We will focus on the H$_\infty$ filter and on its advantages and disadvantages over the Kalman filter.


title: The e-TidalGCs Project: Modeling the extra-tidal features generated by Galactic globular clusters

abstract: We present the e-TidalGCs Project which aims at modeling and predicting the extra-tidal features surrounding all Galactic globular clusters for which 6D phase space information, masses and sizes are available (currently 159 globular clusters). We focus the analysis and presentation of the results on the distribution of extra-tidal material on the sky, and on the different structures found at different heliocentric distances. We emphasize the wide variety of morphologies found: beyond the canonical tidal tails, our models reveal that the extra-tidal features generated by globular clusters take a wide variety of shapes, from thin and elongated shapes, to thick, and complex halo-like structures. We also compare some of the most well studied stellar streams found around Galactic globular clusters to our model predictions, namely those associated to the clusters NGC 3201, NGC 4590, NGC 5466 and Pal 5. Additionally, we investigate how the distribution and extension in the sky of the simulated streams vary with the Galactic potential by making use of three different models, containing or not a central spheroid, or a stellar bar. Overall, our models predict that the mass lost by the current globular cluster population in the field from the last 5 Gyrs is between $0.3-2.1\times10^{7}M_{\odot}$, an amount comparable between 7-55 % of current mass. Most of this lost mass is found in the inner Galaxy, with the half-mass radius of this population being between 4-6 kpc. The outputs of the simulations will be publicly available, at a time when the ESA Gaia mission and complementary spectroscopic surveys are delivering exquisite data to which these models can be compared.


title: On the Optimal Fixed-Price Mechanism in Bilateral Trade

abstract: We study the problem of social welfare maximization in bilateral trade, where two agents, a buyer and a seller, trade an indivisible item. We consider arguably the simplest form of mechanisms -- the fixed-price mechanisms, where the designer offers trade at a fixed price to the seller and buyer. Besides the simple form, fixed-price mechanisms are also the only DSIC and budget balanced mechanisms in bilateral trade. We obtain improved approximation ratios of fixed-price mechanisms in different settings. In the full prior information setting where the designer has access to the value distributions of both the seller and buyer, we show that the optimal fixed-price mechanism can achieve at least $0.72$ of the optimal welfare, and no fixed-price mechanism can achieve more than $0.7381$ of the optimal welfare. Prior to our result the state of the art approximation ratio was $1 - 1/e + 0.0001 \approx 0.632$. Interestingly, we further show that the optimal approximation ratio achievable with full prior information is identical to the optimal approximation ratio obtainable with only one-sided prior information. We further consider two limited information settings. In the first one, the designer is only given the mean of the buyer's (or the seller's) value. We show that with such minimal information, one can already design a fixed-price mechanism that achieves $2/3$ of the optimal social welfare, which surpasses the previous state of the art ratio even when the designer has access to the full prior information. Furthermore, $2/3$ is the optimal attainable ratio in this setting. In the second one, we assume that the designer has sample access to the value distributions. We propose a new family mechanisms called order statistic mechanisms and provide a complete characterization of their approximation ratios for any fixed number of samples.


title: A Novel Modular, Reconfigurable Battery Energy Storage System: Design, Control, and Experimentation

abstract: This paper presents a novel modular, reconfigurable battery energy storage system. The proposed design is characterized by a tight integration of reconfigurable power switches and DC/DC converters. This characteristic enables isolation of faulty cells from the system and allows fine power control for individual cells toward optimal system-level performance. An optimal power management approach is developed to extensively exploit the merits of the proposed design. Based on receding-horizon convex optimization, this approach aims to minimize the total power losses in charging/discharging while allocating the power in line with each cell's condition to achieve state-of-charge (SoC) and temperature balancing. By appropriate design, the approach manages to regulate the power of a cell across its full SoC range and guarantees the feasibility of the optimization problem. We perform extensive simulations and further develop a lab-scale prototype to validate the proposed system design and power management approach.


title: Causal Triplet: An Open Challenge for Intervention-centric Causal Representation Learning

abstract: Recent years have seen a surge of interest in learning high-level causal representations from low-level image pairs under interventions. Yet, existing efforts are largely limited to simple synthetic settings that are far away from real-world problems. In this paper, we present Causal Triplet, a causal representation learning benchmark featuring not only visually more complex scenes, but also two crucial desiderata commonly overlooked in previous works: (i) an actionable counterfactual setting, where only certain object-level variables allow for counterfactual observations whereas others do not; (ii) an interventional downstream task with an emphasis on out-of-distribution robustness from the independent causal mechanisms principle. Through extensive experiments, we find that models built with the knowledge of disentangled or object-centric representations significantly outperform their distributed counterparts. However, recent causal representation learning methods still struggle to identify such latent structures, indicating substantial challenges and opportunities for future work. Our code and datasets will be available at https://sites.google.com/view/causaltriplet.


title: Energetics of point defects in yttrium aluminum garnet doped with Mg and Si

abstract: An influence of Mg and Si dopants on the formation energies and the concentration of point defects in yttrium aluminum garnet (YAG) is studied using the density functional approach. The formation energies of Mg and Si substitutional and interstitial defects, native point defects and defect complexes versus the oxygen chemical potential are obtained. It is shown that in YAG doped with Mg, negatively charged Mg substitutional defects are compensated by free carriers (holes) and positively charged oxygen vacancies, whereas interstitial Mg ions play a minor role. The concentration of oxygen vacancies increases under an increase in the concentration of Mg ions. In YAG doped with Si, positively charged Si substitutional defects are compensated by negatively changed isolated cation vacancies and complexes of Si ions and cation vacancies. Under an increase in the concentration of Si ions most of Al and Y vacancies bind in complexes with Si ions. As a result, the concentration of isolated cation vacancies depends nonmonotonically on the concentration of Si ions. The maximum of the concentration of isolated cation vacancies is reached at $0.02 - 0.04$ at. % of Si, depending on sintering conditions. Mg - Si complexes have very low formation energies. Due to formation of such complexes, Si and Mg increases the solubility of each other in YAG. At the same time Mg - Si complexes do not influence the concentration of anion and cation vacancies. The overall concentration of vacancies in YAG codoped with Mg and Si in equal atomic concentrations is low. At an excess concentration of Si or Mg the concentration of vacancies increases by orders of magnitude.


title: Segre's theorem on ovals in Desarguesian projective planes

abstract: Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract algebra, provides a complete and self-contained proof. All necessary pre-requisites, principally evaluation of homogeneous polynomials at projective points and Desargues' theorem are presented in full. While following the broad outline of Segre's proof, careful parameterisation of certain tangent lines results in shorter and simpler computations than the original.


title: Unified simulation methods for quantum acoustic devices

abstract: In circuit quantum acoustodynamics (cQAD), superconducting circuits are combined with acoustic resonators to create and control non-classical states of mechanical motion. Simulating these systems is challenging due to the extreme difference in scale between the microwave and mechanical wavelengths. All existing techniques simulate the electromagnetic and mechanical subsystems separately. However, this approach may not be adequate for all cQAD devices. Here, we demonstrate a single simulation of a superconducting qubit coupled to an acoustic and a microwave resonator and introduce two methods for using this simulation to predict the frequencies, coupling rates, and energy-participation ratios of the electromechanical modes of the hybrid system. We also discuss how these methods can be used to investigate important dissipation channels and quantify the nontrivial effects of mode hybridization in our device. Our methodology is flexible and can be extended to other acoustic resonators and quantum degrees of freedom, providing a valuable new tool for designing hybrid quantum systems.


title: Fundamental accuracy-resolution trade-off for timekeeping devices

abstract: From a thermodynamic point of view, all clocks are driven by irreversible processes. Additionally, one can use oscillatory systems to temporally modulate the thermodynamic flux towards equilibrium. Focusing on the most elementary thermalization events, this modulation can be thought of as a temporal probability concentration for these events. There are two fundamental factors limiting the performance of clocks: On the one level, the inevitable drifts of the oscillatory system, which are addressed by finding stable atomic or nuclear transitions that lead to astounding precision of today's clocks. On the other level, there is the intrinsically stochastic nature of the irreversible events upon which the clock's operation is based. This becomes relevant when seeking to maximize a clock's resolution at high accuracy, which is ultimately limited by the number of such stochastic events per reference time unit. We address this essential trade-off between clock accuracy and resolution, proving a universal bound for all clocks whose elementary thermalization events are memoryless.


title: Scene-centric vs. Object-centric Image-Text Cross-modal Retrieval: A Reproducibility Study

abstract: Most approaches to cross-modal retrieval (CMR) focus either on object-centric datasets, meaning that each document depicts or describes a single object, or on scene-centric datasets, meaning that each image depicts or describes a complex scene that involves multiple objects and relations between them. We posit that a robust CMR model should generalize well across both dataset types. Despite recent advances in CMR, the reproducibility of the results and their generalizability across different dataset types has not been studied before. We address this gap and focus on the reproducibility of the state-of-the-art CMR results when evaluated on object-centric and scene-centric datasets. We select two state-of-the-art CMR models with different architectures: (i) CLIP; and (ii) X-VLM. Additionally, we select two scene-centric datasets, and three object-centric datasets, and determine the relative performance of the selected models on these datasets. We focus on reproducibility, replicability, and generalizability of the outcomes of previously published CMR experiments. We discover that the experiments are not fully reproducible and replicable. Besides, the relative performance results partially generalize across object-centric and scene-centric datasets. On top of that, the scores obtained on object-centric datasets are much lower than the scores obtained on scene-centric datasets. For reproducibility and transparency we make our source code and the trained models publicly available.


title: Scene-Aware 3D Multi-Human Motion Capture from a Single Camera

abstract: In this work, we consider the problem of estimating the 3D position of multiple humans in a scene as well as their body shape and articulation from a single RGB video recorded with a static camera. In contrast to expensive marker-based or multi-view systems, our lightweight setup is ideal for private users as it enables an affordable 3D motion capture that is easy to install and does not require expert knowledge. To deal with this challenging setting, we leverage recent advances in computer vision using large-scale pre-trained models for a variety of modalities, including 2D body joints, joint angles, normalized disparity maps, and human segmentation masks. Thus, we introduce the first non-linear optimization-based approach that jointly solves for the absolute 3D position of each human, their articulated pose, their individual shapes as well as the scale of the scene. In particular, we estimate the scene depth and person unique scale from normalized disparity predictions using the 2D body joints and joint angles. Given the per-frame scene depth, we reconstruct a point-cloud of the static scene in 3D space. Finally, given the per-frame 3D estimates of the humans and scene point-cloud, we perform a space-time coherent optimization over the video to ensure temporal, spatial and physical plausibility. We evaluate our method on established multi-person 3D human pose benchmarks where we consistently outperform previous methods and we qualitatively demonstrate that our method is robust to in-the-wild conditions including challenging scenes with people of different sizes.


title: Workload Failure Prediction for Data Centers

abstract: Failed workloads that consumed significant computational resources in time and space affect the efficiency of data centers significantly and thus limit the amount of scientific work that can be achieved. While the computational power has increased significantly over the years, detection and prediction of workload failures have lagged far behind and will become increasingly critical as the system scale and complexity further increase. In this study, we analyze workload traces collected from a production cluster and train machine learning models on a large amount of data sets to predict workload failures. Our prediction models consist of a queue-time model that estimates the probability of workload failures before execution and a runtime model that predicts failures at runtime. Evaluation results show that the queue-time model and runtime model can predict workload failures with a maximum precision score of 90.61% and 97.75%, respectively. By integrating the runtime model with the job scheduler, it helps reduce CPU time, and memory usage by up to 16.7% and 14.53%, respectively.