title: Debiasing architectural decision-making: a workshop-based training approach

abstract: Cognitive biases distort the process of rational decision-making, including architectural decision-making. So far, no method has been empirically proven to reduce the impact of cognitive biases on architectural decision-making. We conducted an experiment in which 44 master's degree graduate students took part. Divided into 12 teams, they created two designs - before and after a debiasing workshop. We recorded this process and analysed how the participants discussed their decisions. In most cases (10 out of 12 groups), the teams' reasoning improved after the workshop. Thus, we show that debiasing architectural decision-making is an attainable goal and provide a simple debiasing treatment that could easily be used when training software practitioners.


abstract: Contrastive learning (CL)-based self-supervised learning models learn visual representations in a pairwise manner. Although the prevailing CL model has achieved great progress, in this paper, we uncover an ever-overlooked phenomenon: When the CL model is trained with full images, the performance tested in full images is better than that in foreground areas; when the CL model is trained with foreground areas, the performance tested in full images is worse than that in foreground areas. This observation reveals that backgrounds in images may interfere with the model learning semantic information and their influence has not been fully eliminated. To tackle this issue, we build a Structural Causal Model (SCM) to model the background as a confounder. We propose a backdoor adjustment-based regularization method, namely Interventional Contrastive Learning with Meta Semantic Regularizer (ICL-MSR), to perform causal intervention towards the proposed SCM. ICL-MSR can be incorporated into any existing CL methods to alleviate background distractions from representation learning. Theoretically, we prove that ICL-MSR achieves a tighter error bound. Empirically, our experiments on multiple benchmark datasets demonstrate that ICL-MSR is able to improve the performances of different state-of-the-art CL methods.


title: A friendly iteration forcing that the four cardinal characteristics of $\mathcal{E}$ can be pairwise different

abstract: Let $\mathcal{E}$ be the $\sigma$-ideal generated by the closed measure zero sets of reals. We use an ultrafilter-extendable matrix iteration of ccc posets to force that, for $\mathcal{E}$, their associated cardinal characteristics (i.e.\ additivity, covering, uniformity and cofinality) are pairwise different.


title: Non-convex SVM for cancer diagnosis based on morphologic features of tumor microenvironment

abstract: The surroundings of a cancerous tumor impact how it grows and develops in humans. New data from early breast cancer patients contains information on the collagen fibers surrounding the tumorous tissue -- offering hope of finding additional biomarkers for diagnosis and prognosis -- but poses two challenges for typical analysis. Each image section contains information on hundreds of fibers, and each tissue has multiple image sections contributing to a single prediction of tumor vs. non-tumor. This nested relationship of fibers within image spots within tissue samples requires a specialized analysis approach. We devise a novel support vector machine (SVM)-based predictive algorithm for this data structure. By treating the collection of fibers as a probability distribution, we can measure similarities between the collections through a flexible kernel approach. By assuming the relationship of tumor status between image sections and tissue samples, the constructed SVM problem is non-convex and traditional algorithms can not be applied. We propose two algorithms that exchange computational accuracy and efficiency to manage data of all sizes. The predictive performance of both algorithms is evaluated on the collagen fiber data set and additional simulation scenarios. We offer reproducible implementations of both algorithms of this approach in the R package mildsvm.


title: Very Large Array Multi-band Radio Imaging of the Triple AGN Candidate SDSS J0849+1114

abstract: Kpc-scale triple active galactic nuclei (AGNs), potential precursors of gravitationally-bound triple massive black holes (MBHs), are rarely seen objects and believed to play an important role in the evolution of MBHs and their host galaxies. In this work we present a multi-band (3.0, 6.0 10.0, and 15.0 GHz), high-resolution radio imaging of the triple AGN candidate, SDSS J0849+1114, using the Very Large Array. Two of the three nuclei (A and C) are detected at 3.0, 6.0, and 15 GHz for the first time, both exhibiting a steep spectrum over 3--15 GHz (with a spectral index $-0.90 \pm 0.05$ and $-1.03 \pm 0.04$) consistent with a synchrotron origin. Nucleus A, the strongest nucleus among the three, shows a double-sided jet, with the jet orientation changing by $\sim20^{\circ}$ between its inner 1" and the outer 5.5" (8.1 kpc) components, which may be explained as the MBH's angular momentum having been altered by merger-enhanced accretion. Nucleus C also shows a two-sided jet, with the western jet inflating into a radio lobe with an extent of 1.5" (2.2 kpc). The internal energy of the radio lobe is estimated to be $\rm 5.0 \times 10^{55}$ erg, for an equipartition magnetic field strength of $\rm \sim 160\ \mu G$. No significant radio emission is detected at all four frequencies for nucleus B, yielding an upper limit of 15, 15, 15, and 18 $\rm \mu Jy\ beam^{-1}$ at 3.0, 6.0, 10.0, and 15.0 GHz, based on which we constrain the star formation rate in nucleus B to be $\lesssim 0.4~\rm M_{\odot}~yr^{-1}$.


title: Molecular information theory meets protein folding

abstract: We propose an application of molecular information theory to analyze the folding of single domain proteins. We analyze results from various areas of protein science, such as sequence-based potentials, reduced amino acid alphabets, backbone configurational entropy, secondary structure content, residue burial layers, and mutational studies of protein stability changes. We found that the average information contained in the sequences of evolved proteins is very close to the average information needed to specify a fold ~2.2 $\pm$ 0.3 bits/(site operation). The effective alphabet size in evolved proteins equals the effective number of conformations of a residue in the compact unfolded state at around 5. We calculated an energy-to-information conversion efficiency upon folding of around 50%, lower than the theoretical limit of 70%, but much higher than human built macroscopic machines. We propose a simple mapping between molecular information theory and energy landscape theory and explore the connections between sequence evolution, configurational entropy and the energetics of protein folding.


title: An Embedding Framework for the Design and Analysis of Consistent Polyhedral Surrogates

abstract: We formalize and study the natural approach of designing convex surrogate loss functions via embeddings, for problems such as classification, ranking, or structured prediction. In this approach, one embeds each of the finitely many predictions (e.g. rankings) as a point in $R^d$, assigns the original loss values to these points, and "convexifies" the loss in some way to obtain a surrogate. We establish a strong connection between this approach and polyhedral (piecewise-linear convex) surrogate losses: every discrete loss is embedded by some polyhedral loss, and every polyhedral loss embeds some discrete loss. Moreover, an embedding gives rise to a consistent link function as well as linear surrogate regret bounds. Our results are constructive, as we illustrate with several examples. In particular, our framework gives succinct proofs of consistency or inconsistency for various polyhedral surrogates in the literature, and for inconsistent surrogates, it further reveals the discrete losses for which these surrogates are consistent. We go on to show additional structure of embeddings, such as the equivalence of embedding and matching Bayes risks, and the equivalence of various notions of non-redudancy. Using these results, we establish that indirect elicitation, a necessary condition for consistency, is also sufficient when working with polyhedral surrogates.


title: On the global minimum of the energy-momentum relation for the polaron

abstract: For the Fr\"ohlich model of the large polaron, we prove that the ground state energy as a function of the total momentum has a unique global minimum at momentum zero. This implies the non-existence of a ground state of the Fr\"ohlich Hamiltonian and thus excludes the possibility of a localization transition at finite coupling.


title: An extensible Benchmarking Graph-Mesh dataset for studying Steady-State Incompressible Navier-Stokes Equations

abstract: Recent progress in \emph{Geometric Deep Learning} (GDL) has shown its potential to provide powerful data-driven models. This gives momentum to explore new methods for learning physical systems governed by \emph{Partial Differential Equations} (PDEs) from Graph-Mesh data. However, despite the efforts and recent achievements, several research directions remain unexplored and progress is still far from satisfying the physical requirements of real-world phenomena. One of the major impediments is the absence of benchmarking datasets and common physics evaluation protocols. In this paper, we propose a 2-D graph-mesh dataset to study the airflow over airfoils at high Reynolds regime (from $10^6$ and beyond). We also introduce metrics on the stress forces over the airfoil in order to evaluate GDL models on important physical quantities. Moreover, we provide extensive GDL baselines.


title: Bialynicki-Birula theory, Morse-Bott theory, and resolution of singularities for analytic spaces

abstract: Our goal in this work is to develop aspects of Bialynicki-Birula and Morse-Bott theory that can be extended from the classical setting of smooth manifolds to that of complex analytic spaces with a holomorphic $\mathbb{C}^*$ action. We extend prior results on existence of Bialynicki-Birula decompositions for compact, complex K\"ahler manifolds to non-compact complex manifolds and develop functorial properties of the Bialynicki-Birula decomposition, in particular with respect to blowup along a $\mathbb{C}^*$-invariant, embedded complex submanifold. We deduce the existence of a Bialynicki-Birula decomposition for a $\mathbb{C}^*$-invariant, closed, complex analytic subspace of complex manifold with a $\mathbb{C}^*$ action; derive geometric consequences for the positivity of the Bialynicki-Birula nullity, co-index, and index at a fixed point; and we develop stronger versions of these results by applying resolution of singularities for analytic spaces.


title: Spinoza, Leibniz, Kant, and Weyl

abstract: The paper describes a funding mechanism called Quadratic Finance (QF) and deploys a bit of calculus to show that within a very clean and simple linear model QF maximizes social utility. They differentiate the social utility function. The mathematical content of this note is that by taking one further derivative, one may also deduce that QF is the unique solution.


title: Extremes of Reflecting Gaussian Processes on Discrete Grid

abstract: For $\{X(t), t \in G_\delta\}$ a centered Gaussian process with stationary increments and a.s. sample paths on a discrete grid $G_\delta=\{0,\delta,2\delta, ...\}$, where $\delta>0$, we investigate the stationary reflected process $$Q_{\delta,X}(t) = \sup\limits_{s\in [t,\infty)\cap G_\delta}\big( X(s)-X(t)-c(s-t)\big), \ t \in G_\delta $$ with $c>0$. We derive the exact asymptotics of $$\mathbb P\{\sup\limits_{t\in [0,T]\cap G_\delta} Q_{\delta,X}(t)>u\} \quad \text{and} \quad \mathbb P\{\inf\limits_{t\in [0,T]\cap G_\delta} Q_{\delta,X}(t)>u\},$$ as $u\to\infty$, with $T>0$. It appears that $\varphi=\lim_{u\to\infty} \frac{\sigma^2(u)}{u}$ determines the asymptotics, leading to three qualitatively different scenarios: $\varphi=0$, $\varphi\in(0,\infty)$ and $\varphi=\infty$.


title: CONVIQT: Contrastive Video Quality Estimator

abstract: Perceptual video quality assessment (VQA) is an integral component of many streaming and video sharing platforms. Here we consider the problem of learning perceptually relevant video quality representations in a self-supervised manner. Distortion type identification and degradation level determination is employed as an auxiliary task to train a deep learning model containing a deep Convolutional Neural Network (CNN) that extracts spatial features, as well as a recurrent unit that captures temporal information. The model is trained using a contrastive loss and we therefore refer to this training framework and resulting model as CONtrastive VIdeo Quality EstimaTor (CONVIQT). During testing, the weights of the trained model are frozen, and a linear regressor maps the learned features to quality scores in a no-reference (NR) setting. We conduct comprehensive evaluations of the proposed model on multiple VQA databases by analyzing the correlations between model predictions and ground-truth quality ratings, and achieve competitive performance when compared to state-of-the-art NR-VQA models, even though it is not trained on those databases. Our ablation experiments demonstrate that the learned representations are highly robust and generalize well across synthetic and realistic distortions. Our results indicate that compelling representations with perceptual bearing can be obtained using self-supervised learning. The implementations used in this work have been made available at https://github.com/pavancm/CONVIQT.


title: Quasinormal ringing of regular black holes in asymptotically safe gravity: the importance of overtones

abstract: Asymptotically safe gravity is based on the idea that the main contribution to the Schwarzschild-like black hole spacetime is due to the value of the gravitational coupling which depends on the distance from the origin and approaches its classical value in the far zone. However, at some stage this approach has an arbitrariness of choice of some identification parameter. The two cases of identification are considered here: first, by the modified proper length (the Bonanno-Reuter metric), and second, by the Kretschmann scalar (the metric for this case coincides, up to the redefinition of constants, with the Hayward metric). Even though the quasinormal modes of these metrics have been extensively studied, a number of interesting points were missed. We have found that quasinormal modes are qualitatively similar for both types of identification. The deviation of the fundamental mode from its Schwarzschild limit may be a few times larger than it was claimed in the previous studies. The striking deviation from the Schwarzschild limit occurs for overtones, being as large as hundreds of percent even when the fundamental mode is almost coinciding with the Schwarzschild one. This happens because the above metrics are very close to the Schwarzschild one everywhere, except a small region near the event horizon, which is crucial for overtones. The spectrum of both metrics contains purely imaginary (non-oscillatory) modes, which, for some values of parameters, can appear already at the second overtone.


title: Inertial active Ornstein-Uhlenbeck particle in the presence of magnetic field

abstract: We consider an inertial active Ornstein-Uhlenbeck particle in an athermal bath. The particle is charged, constrained to move in a two-dimensional harmonic trap, and a magnetic field is applied perpendicular to the plane of motion. The steady state correlations and the mean square displacement are studied when the particle is confined as well as when it is set free from the trap. With the help of both numerical simulation and analytical calculations, we observe that inertia plays a crucial role in the dynamics in the presence of a magnetic field. In a highly viscous medium where the inertial effects are negligible, the magnetic field has no influence on the correlated behaviour of position as well as velocity. In the time asymptotic limit, the overall displacement of the confined harmonic particle gets enhanced by the presence of magnetic field and saturates for a stronger magnetic field. On the other hand, when the particle is set free, the overall displacement gets suppressed and approaches zero when strength of the field is very high. Interestingly, it is seen that in the time asymptotic limit, the confined harmonic particle behaves like a passive particle and becomes independent of the activity, especially in the presence of a very strong magnetic field. Similarly, for a free particle the mean square displacement in the long time limit becomes independent of activity even for a longer persistence of noise correlation in the dynamics.


title: Improving Deliberation by Text-Only and Semi-Supervised Training

abstract: Text-only and semi-supervised training based on audio-only data has gained popularity recently due to the wide availability of unlabeled text and speech data. In this work, we propose incorporating text-only and semi-supervised training into an attention-based deliberation model. By incorporating text-only data in training a bidirectional encoder representation from transformer (BERT) for the deliberation text encoder, and large-scale text-to-speech and audio-only utterances using joint acoustic and text decoder (JATD) and semi-supervised training, we achieved 4%-12% WER reduction for various tasks compared to the baseline deliberation. Compared to a state-of-the-art language model (LM) rescoring method, the deliberation model reduces the Google Voice Search WER by 11% relative. We show that the deliberation model also achieves a positive human side-by-side evaluation compared to the state-of-the-art LM rescorer with reasonable endpointer latencies.


title: On the depletion behaviour of low-temperature covalently bonded silicon sensor diodes

abstract: Low temperature covalent direct wafer-wafer bonding allows for the fusion of multiple semiconductor wafers without any additional material at the bonding interface. In the context of particle pixel detectors this might provide an alternative to bump-bonding for joining sensors to readout chips. Previous investigations have shown that the amorphous layer formed at the interface during bonding is detrimental to charge propagation. To investigate the influence of the bonding interface on signal collection we have fabricated custom test structures by bonding high-resistivity N to high-resistivity P-type silicon wafers thus forming P-N junctions. Scanning transmission electron microscopy shows indeed the formation of ca. 3nm wide amorphous layer at the interface. Using a scanning transient current technique (TCT) setup we were able to record generated signals. Illuminating our sample with light of different wavelengths and from different sides, indicates that the P side of the bonded structures can be fully depleted, but not the N side. This indicates a strongly asymmetric depletion behaviour which we attribute to the presence of the bonding interface.


title: LViT: Language meets Vision Transformer in Medical Image Segmentation

abstract: Deep learning has been widely used in medical image segmentation and other aspects. However, the performance of existing medical image segmentation models has been limited by the challenge of obtaining sufficient high-quality labeled data due to the prohibitive data annotation cost. To alleviate this limitation, we propose a new text-augmented medical image segmentation model LViT (Language meets Vision Transformer). In our LViT model, medical text annotation is incorporated to compensate for the quality deficiency in image data. In addition, the text information can guide to generate pseudo labels of improved quality in the semi-supervised learning. We also propose an Exponential Pseudo label Iteration mechanism (EPI) to help the Pixel-Level Attention Module (PLAM) preserve local image features in semi-supervised LViT setting. In our model, LV (Language-Vision) loss is designed to supervise the training of unlabeled images using text information directly. For evaluation, we construct three multimodal medical segmentation datasets (image + text) containing X-rays and CT images. Experimental results show that our proposed LViT has superior segmentation performance in both fully-supervised and semi-supervised setting. The code and datasets are available at https://github.com/HUANGLIZI/LViT.


title: Trial2Vec: Zero-Shot Clinical Trial Document Similarity Search using Self-Supervision

abstract: Clinical trials are essential for drug development but are extremely expensive and time-consuming to conduct. It is beneficial to study similar historical trials when designing a clinical trial. However, lengthy trial documents and lack of labeled data make trial similarity search difficult. We propose a zero-shot clinical trial retrieval method, Trial2Vec, which learns through self-supervision without annotating similar clinical trials. Specifically, the meta-structure of trial documents (e.g., title, eligibility criteria, target disease) along with clinical knowledge (e.g., UMLS knowledge base https://www.nlm.nih.gov/research/umls/index.html) are leveraged to automatically generate contrastive samples. Besides, Trial2Vec encodes trial documents considering meta-structure thus producing compact embeddings aggregating multi-aspect information from the whole document. We show that our method yields medically interpretable embeddings by visualization and it gets a 15% average improvement over the best baselines on precision/recall for trial retrieval, which is evaluated on our labeled 1600 trial pairs. In addition, we prove the pre-trained embeddings benefit the downstream trial outcome prediction task over 240k trials. Software ias available at https://github.com/RyanWangZf/Trial2Vec.


title: Rouquier blocks for Ariki-Koike algebras

abstract: The Rouquier blocks, also known as the RoCK blocks, are important blocks of the symmetric groups algebras and the Hecke algebras of type A, with the partitions labelling the Specht modules that belong to these blocks having a particular abacus configuration. We generalise the definition of Rouquier blocks to the Ariki-Koike algebras, where the Specht modules are indexed by multipartitions, and explore the properties of these blocks


title: Gravitational wave production from preheating with trilinear interactions

abstract: We investigate the production of gravitational waves (GWs) during preheating with monomial/polynomial inflationary potentials, considering a trilinear coupling $\phi\chi^2$ between a daughter field $\chi$ and the inflaton $\phi$. For sufficiently large couplings, the trilinear interaction leads to an exponential production of $\chi$ particles, and as a result, a large stochastic GW background (SGWB) is generated throughout the process. We study the linear and non-linear dynamics of preheating with lattice simulations, following the production of GWs through all relevant stages. We find that large couplings lead to SGWBs with a large amplitude today, of the order of $h^2\Omega_{\rm GW}^{(0)} \simeq 5\cdot10^{-9}$. These backgrounds are however peaked at high frequencies $f_{\rm p} \sim 10^6-10^8$ Hz, which makes them undetectable by current/planned GW observatories. As the amount of GWs produced is in any case remarkable, we discuss the prospects for probing the SGWB indirectly by using constraints on the effective number of relativistic species in the universe $\Delta N_{\rm eff}$.


title: Large Neutrino Asymmetry from TeV Scale Leptogenesis

abstract: We study a class of leptogenesis scenarios with decay or scattering being the source of lepton asymmetry, which can not only give rise to the observed baryon asymmetry in the universe but also can leave behind a large remnant neutrino asymmetry. Such large neutrino asymmetry can not only be probed at future cosmic microwave background (CMB) experiments but is also motivating due to its possible role in solving the recently reported anomalies in $^4{\rm He}$ measurements. Additionally, such large neutrino asymmetry also offers the possibility of cogenesis if dark matter is in the form of a sterile neutrino resonantly produced in the early universe via Shi-Fuller mechanism. Considering $1 \rightarrow 2, 1 \rightarrow 3$ as well as $2 \rightarrow 2$ processes to be responsible for generating the asymmetries, we show that only TeV scale leptogenesis preferably of $1 \rightarrow N \, (N \geq 3)$ type can generate the required lepton asymmetry around sphaleron temperature while also generating a large neutrino asymmetry $\sim \mathcal{O}(10^{-2})$ by the epoch of the big bang nucleosynthesis. While such low scale leptogenesis can have tantalising detection prospects at laboratory experiments, the indication of a large neutrino asymmetry provides a complementary indirect signature.


title: DrumGAN VST: A Plugin for Drum Sound Analysis/Synthesis With Autoencoding Generative Adversarial Networks

abstract: In contemporary popular music production, drum sound design is commonly performed by cumbersome browsing and processing of pre-recorded samples in sound libraries. One can also use specialized synthesis hardware, typically controlled through low-level, musically meaningless parameters. Today, the field of Deep Learning offers methods to control the synthesis process via learned high-level features and allows generating a wide variety of sounds. In this paper, we present DrumGAN VST, a plugin for synthesizing drum sounds using a Generative Adversarial Network. DrumGAN VST operates on 44.1 kHz sample-rate audio, offers independent and continuous instrument class controls, and features an encoding neural network that maps sounds into the GAN's latent space, enabling resynthesis and manipulation of pre-existing drum sounds. We provide numerous sound examples and a demo of the proposed VST plugin.


title: Private Graph Extraction via Feature Explanations

abstract: Privacy and interpretability are two important ingredients for achieving trustworthy machine learning. We study the interplay of these two aspects in graph machine learning through graph reconstruction attacks. The goal of the adversary here is to reconstruct the graph structure of the training data given access to model explanations. Based on the different kinds of auxiliary information available to the adversary, we propose several graph reconstruction attacks. We show that additional knowledge of post-hoc feature explanations substantially increases the success rate of these attacks. Further, we investigate in detail the differences between attack performance with respect to three different classes of explanation methods for graph neural networks: gradient-based, perturbation-based, and surrogate model-based methods. While gradient-based explanations reveal the most in terms of the graph structure, we find that these explanations do not always score high in utility. For the other two classes of explanations, privacy leakage increases with an increase in explanation utility. Finally, we propose a defense based on a randomized response mechanism for releasing the explanations, which substantially reduces the attack success rate. Our code is available at https://github.com/iyempissy/graph-stealing-attacks-with-explanation


title: Remarks on Semistable Points and Nonabelian Convexity of Gradient Maps

abstract: We study the action of a real reductive group $G$ on a Kahler manifold $Z$ which is the restriction of a holomorphic action of a complex reductive Lie group $U^\mathbb{C}.$ We assume that the action of $U$, a maximal compact connected subgroup of $U^\mathbb{C}$ on $Z$ is Hamiltonian. If $G\subset U^\mathbb{C}$ is compatible, there is a corresponding gradient map $\mu_\mathfrak{p} : Z\to \mathfrak{p}$, where $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ is a Cartan decomposition of the Lie algebra of $G$. Our main results are the openness and connectedness of the set of semistable points associated with $G$-action on $Z$, and the nonabelian convexity theorem for the $G$-action on a $G$-invariant compact Lagrangian submanifold of $Z.$


title: Generalization of two theorems of Steinhaus in category bases

abstract: Here we unify two results of Steinhaus and their corresponding category analogues by extending them in the settings of category bases. We further show that in any perfect translation base, every abundant Baire set contains a full subset for which our second theorem fails.


title: Interferometric HI intensity mapping: perturbation theory predictions and foreground removal effects

abstract: We provide perturbation theory predictions for the HI intensity mapping power spectrum multipoles using the Effective Field Theory of Large Scale Structure (EFTofLSS), which should allow us to constrain cosmological parameters exploiting mildly nonlinear scales. Assuming survey specifications typical of proposed interferometric HI intensity mapping experiments like CHORD and PUMA, and realistic ranges of validity for the perturbation theory modelling, we run mock full shape MCMC analyses at a redshift bin centred at $z=0.5$, and compare with Stage-IV optical galaxy surveys. We include the impact of 21cm foreground removal using simulations-based prescriptions, and quantify the effects on the precision and accuracy of the parameter estimation. We vary 11 parameters in total: 3 cosmological parameters, 7 bias and counterterms parameters, and the HI brightness temperature. Amongst them, the 4 parameters of interest are: the cold dark matter density, $\omega_{\rm c}$, the Hubble parameter, $h$, the primordial amplitude of the power spectrum, $A_{\rm s}$, and the linear HI bias, $b_1$. For the best case scenario, we obtain unbiased constraints on all parameters with $<3\%$ errors at $68\%$ confidence level. When we include the foreground removal effects, the parameter estimation becomes strongly biased for $\omega_{\rm c}, h$, and $b_1$, while $A_{\rm s}$ is less biased ($< 2\sigma$). We find that scale cuts $k_{\rm min} \geq 0.03 \, h/{\mathrm{Mpc}}$ are required to return accurate estimates for $\omega_{\rm c}$ and $h$, at the price of a decrease in the precision, while $b_1$ remains strongly biased. We comment on the implications of these results for real data analyses.


title: Dirichlet law for factorization of integers, polynomials and permutations

abstract: Let $k \geq 2$ be an integer. We prove that factorization of integers into $k$ parts follows the Dirichlet distribution $\text{Dir}\left(\frac{1}{k},\ldots,\frac{1}{k}\right)$ by multidimensional contour integration, thereby generalizing the Deshouillers-Dress-Tenenbaum (DDT) arcsine law on divisors where $k=2$. The same holds for factorization of polynomials or permutations. Dirichlet distribution with arbitrary parameters can be modelled similarly.


title: longhorns at DADC 2022: How many linguists does it take to fool a Question Answering model? A systematic approach to adversarial attacks

abstract: Developing methods to adversarially challenge NLP systems is a promising avenue for improving both model performance and interpretability. Here, we describe the approach of the team "longhorns" on Task 1 of the The First Workshop on Dynamic Adversarial Data Collection (DADC), which asked teams to manually fool a model on an Extractive Question Answering task. Our team finished first, with a model error rate of 62%. We advocate for a systematic, linguistically informed approach to formulating adversarial questions, and we describe the results of our pilot experiments, as well as our official submission.


title: Numerical simulation of non-abelian anyons

abstract: Two-dimensional systems such as quantum spin liquids or fractional quantum Hall systems exhibit anyonic excitations that possess more general statistics than bosons or fermions. This exotic statistics makes it challenging to solve even a many-body system of non-interacting anyons. We introduce an algorithm that allows to simulate anyonic tight-binding Hamiltonians on two-dimensional lattices. The algorithm is directly derived from the low energy topological quantum field theory and is suited for general abelian and non-abelian anyon models. As concrete examples, we apply the algorithm to study the energy level spacing statistics, which reveals level repulsion for free semions, Fibonacci anyons and Ising anyons. Additionally, we simulate non-equilibrium quench dynamics, where we observe that the density distribution becomes homogeneous for large times - indicating thermalization.


title: Classification of irreducible representations of metaplectic covers of the general linear group over a non-archimedean local field

abstract: Let $F$ be a non-archimedean local field. The classification of the irreducible representations of $GL_n(F)$, $n\ge0$ in terms of supercuspidal representations is one of the highlights of the Bernstein--Zelevinsky theory. We give an analogous classification for metaplectic coverings of $GL_n(F)$, $n\ge0$.


title: Periodic orbits and Birkhoff sections of stable Hamiltonian structures

abstract: Stable Hamiltonian structures generalize contact forms and define a volume-preserving vector field known as the Reeb vector field. We study two aspects of Reeb vector fields defined by stable Hamiltonian structures on 3-manifolds: on one hand, we classify all the examples with finitely many periodic orbits under a non-degeneracy condition; on the other, we give sufficient conditions for the existence of a supporting broken book decomposition and for the existence of a Birkhoff section.


title: Probing bumblebee gravity with black hole X-ray data

abstract: Bumblebee gravity is one of the simplest gravity theories with spontaneous Lorentz symmetry breaking. Since we know a rotating black hole solution in bumblebee gravity, we can potentially test this model with the available astrophysical observations of black holes. In this work, we construct a reflection model in bumblebee gravity and we use our model to analyze the reflection features of a NuSTAR spectrum of the Galactic black hole EXO 1846-031 in order to constrain the Lorentz-violating parameter $\ell$. We find that the analysis of the reflection features in the spectrum of EXO 1846-031 cannot constrain the parameter $\ell$ because of a very strong degeneracy between the estimates of $\ell$ and of the black hole spin parameter $a_*$. Such a degeneracy may be broken by combining other observations.


title: LOFAR discovery of rare large FR-I jets in low-luminosity radio galaxy NGC 5322

abstract: The discovery of faint FR~I radio jets in the nearby elliptical galaxy NGC 5322 is reported here using 144 MHz LOFAR image. The jets have an angular extent of $\sim40$ arcmin or a projected physical extent of $\sim350$ kpc. The faint jets remain well collimated and disappear in the intergalactic medium, without any visible hotspot or radio lobes. The jets detected up to $\sim20$ kpc extent at higher frequencies are relatively bright within the optical extent of the galaxy but become faint abruptly outside, where detection is made only in the LOFAR image. The total radio luminosity of the galaxy at 144 MHz is estimated to be $3.7(\pm0.4)\times10^{22}$ W Hz$^{-1}$. The 144 MHz radio luminosity of the faint jets outside the optical extent is estimated to be $7.1(\pm2.0)\times10^{21}$ W Hz$^{-1}$. The extent of the jets for its radio luminosity is abnormally large when compared to the general population of radio galaxies. It makes NGC 5322 a member of a rare population of radio galaxies, previously not detected in other radio surveys. A combined effect of stellar core depletion and low-density environment around the jets, inferred from previous studies in other wave-bands, resulting into weak entrainment of surrounding material to the jets could be responsible for its large size despite a low radio luminosity.


title: GO-Surf: Neural Feature Grid Optimization for Fast, High-Fidelity RGB-D Surface Reconstruction

abstract: We present GO-Surf, a direct feature grid optimization method for accurate and fast surface reconstruction from RGB-D sequences. We model the underlying scene with a learned hierarchical feature voxel grid that encapsulates multi-level geometric and appearance local information. Feature vectors are directly optimized such that after being tri-linearly interpolated, decoded by two shallow MLPs into signed distance and radiance values, and rendered via surface volume rendering, the discrepancy between synthesized and observed RGB/depth values is minimized. Our supervision signals -- RGB, depth and approximate SDF -- can be obtained directly from input images without any need for fusion or post-processing. We formulate a novel SDF gradient regularization term that encourages surface smoothness and hole filling while maintaining high frequency details. GO-Surf can optimize sequences of $1$-$2$K frames in $15$-$45$ minutes, a speedup of $\times60$ over NeuralRGB-D, the most related approach based on an MLP representation, while maintaining on par performance on standard benchmarks. Project page: https://jingwenwang95.github.io/go_surf/


title: Effective light cone and digital quantum simulation of interacting bosons

abstract: The speed limit of information propagation is one of the most fundamental features in non-equilibrium physics. The region of information propagation by finite-time dynamics is approximately restricted inside the effective light cone that is formulated by the Lieb-Robinson bound. To date, extensive studies have been conducted to identify the shape of effective light cones in most experimentally relevant many-body systems. However, the Lieb-Robinson bound in the interacting boson systems, one of the most ubiquitous quantum systems in nature, has remained a critical open problem for a long time. This study reveals a tight effective light cone to limit the information propagation in interacting bosons, where the shape of the effective light cone depends on the spatial dimension. To achieve it, we prove that the speed for bosons to clump together is finite, which in turn leads to the error guarantee of the boson number truncation at each site. Furthermore, we applied the method to provide a provably efficient algorithm for simulating the interacting boson systems. The results of this study settle the notoriously challenging problem and provide the foundation for elucidating the complexity of many-body boson systems.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech hep-th math-ph math.MP


title: A Consensus-Based Load-Balancing Algorithm for Sharded Blockchains

abstract: Public blockchains are decentralized networks where each participating node executes the same decision-making process. This form of decentralization does not scale well because the same data are stored on each network node, and because all nodes must validate each transaction prior to their confirmation. One solution approach decomposes the nodes of a blockchain network into subsets called "shards", each shard processing and storing disjoint sets of transactions in parallel. To fully benefit from the parallelism of sharded blockchains, the processing load of shards must be evenly distributed. However, the problem of computing balanced workloads is theoretically hard and further complicated in practice as transaction processing times are unknown prior to be assigned to shards. In this paper we introduce a dynamic workload-balancing algorithm where the allocation strategy of transactions to shards is periodically adapted based on the recent workload history of shards. Our algorithm is an adaptation to sharded blockchains of a consensus-based load-balancing algorithm. It is a fully distributed algorithm inline with network based applications such as blockchains. Some preliminary results are reported based on simulations that shard transactions of three well-known blockchain platforms.


title: Finding $k$-community structures in special graph classes

abstract: For a fixed integer $k\ge 2$, a $k$-community structure in an undirected graph is a partition of its vertex set into $k$ sets called communities, each of size at least two, such that every vertex of the graph has proportionally at least as many neighbours in its own community as in any other community. In this paper, we give a necessary and sufficient condition for a forest on $n$ vertices to admit a $k$-community structure. Furthermore, we provide an $O(n^{2})$-time algorithm that computes such a $k$-community structure in a forest, if it exists. These results extend a result of [Bazgan et al., Structural and algorithmic properties of $2$-community structure, Algorithmica, 80(6):1890-1908, 2018]. We also show that if communities are allowed to have size one, then every forest with $n \geq k\geq 2$ vertices admits a $k$-community structure that can be found in time $O(n^{2})$. We then consider threshold graphs and show that every connected threshold graph admits a $2$-community structure if and only if it is not isomorphic to a star; also if such a $2$-community structure exists, we explain how to obtain it in linear time. We further describe two infinite families of disconnected threshold graphs, containing exactly one isolated vertex, that do not admit any $2$-community structure. Finally, we present a new infinite family of connected graphs that may contain an even or an odd number of vertices without $2$-community structures, even if communities are allowed to have size one.


title: Non-precipitating shallow cumulus convection is intrinsically unstable to length-scale growth

abstract: Condensation in cumulus clouds plays a key role in structuring the mean, non-precipitating trade-wind boundary layer. Here, we summarise how this role also explains the spontaneous growth of mesoscale ($>O(10)$ km) fluctuations in clouds and moisture around the mean state in a minimal-physics, large-eddy simulation of the undisturbed period during BOMEX on a large ($O(100)$ km) domain. Small, spatial anomalies in latent heating in cumulus clouds, which form on top of small moisture fluctuations, give rise to circulations that transport moisture, but not heat, from dry to moist regions, and thus reinforce the latent heating anomaly. We frame this positive feedback as a linear instability in mesoscale moisture fluctuations, whose time-scale depends only on i) a vertical velocity scale and ii) the mean environment's vertical structure. In our minimal-physics setting, we show both ingredients are provided by the shallow cumulus convection itself: It is intrinsically unstable to length scale growth. The upshot is that energy released by clouds at kilometre scales may play a more profound and direct role in shaping the mesoscale trade-wind environment than is generally appreciated, motivating further research into the mechanism's relevance.


title: Saturating systems and the rank covering radius

abstract: We introduce the concept of a rank saturating system and outline its correspondence to a rank-metric code with a given covering radius. We consider the problem of finding the value of $s_{q^m/q}(k,\rho)$, which is the minimum $\mathbb{F}_q$-dimension of a $q$-system in $\mathbb{F}_{q^m}^k$ which is rank $\rho$-saturating. This is equivalent to the covering problem in the rank metric. We obtain upper and lower bounds on $s_{q^m/q}(k,\rho)$ and evaluate it for certain values of $k$ and $\rho$. We give constructions of rank $\rho$-saturating systems suggested from geometry.


title: Modeling Teams Performance Using Deep Representational Learning on Graphs

abstract: The large majority of human activities require collaborations within and across formal or informal teams. Our understanding of how the collaborative efforts spent by teams relate to their performance is still a matter of debate. Teamwork results in a highly interconnected ecosystem of potentially overlapping components where tasks are performed in interaction with team members and across other teams. To tackle this problem, we propose a graph neural network model designed to predict a team's performance while identifying the drivers that determine such an outcome. In particular, the model is based on three architectural channels: topological, centrality, and contextual which capture different factors potentially shaping teams' success. We endow the model with two attention mechanisms to boost model performance and allow interpretability. A first mechanism allows pinpointing key members inside the team. A second mechanism allows us to quantify the contributions of the three driver effects in determining the outcome performance. We test model performance on a wide range of domains outperforming most of the classical and neural baselines considered. Moreover, we include synthetic datasets specifically designed to validate how the model disentangles the intended properties on which our model vastly outperforms baselines.


title: Generative Adversarial Networks for Pseudo-Radio-Signal Synthesis

abstract: For many wireless communication applications, traffic pattern modeling of radio signals combined with channel effects is much needed. While analytical models are used to capture these phenomena, real world non-linear effects (e.g. device responses, interferences, distortions, noise) and especially the combination of such effects can be difficult to capture by these models. This is simply due to their complexity and degrees of freedom which can be hard to explicitize in compact expressions. In this paper, we propose a more model-free approach to jointly approximate an end-to-end black-boxed wireless communication scenario using software-defined radio platforms and optimize for an efficient synthesis of subsequently similar 'pseudo-radio-signals'. More precisely, we implement a generative adversarial network based solution that automatically learns radio properties from recorded prototypes in specific scenarios. This allows for a high degree of expressive freedom. Numerical results show that the prototypes' traffic patterns jointly with channel effects are learned without the introduction of assumptions about the scenario or the simplification to a parametric model.


title: Key Factors of Wireless Real-Time Networks -- From Dependability to Timeliness

abstract: Offering support for real-time communications on top of a wireless network infrastructure is both a hot topic and still an open challenge. Wireless networks are not on the same level of safety, dependability, and timeliness observed in the wired realm, but they are evolving towards it. Instead of focusing on the results that need to be delivered, the key factors of wireless real-time networks are on the foundation of the network operation, defining their capability of being dependable, safe, and timely on their roots. IEEE 802.15.4 and ISA100.11a are part of this context, which we show how to be strengthened. From dealing with network inaccessibility to touching the needs of reliable communication protocols to ensure the safe and sound exchange of information, this white paper describes how we can go from dependability to timeliness. This is achieved by visiting the roots of the network operation for securing the provided communication service as a dependable, safe, and timely asset for industrial automation. Keywords: Dependability, Safety, Timeliness, Resilience, Real-Time Wireless Networks, Industrial Automation.


title: General remarks on the propagation of chaos in wave turbulence and application to the incompressible Euler dynamics

abstract: In this paper, we prove propagation of chaos in the context of wave turbulence for a generic quasisolution. We then apply the result to full solutions to the incompressible Euler equation.


title: Quantum Liouvillian exceptional and diabolical points for bosonic fields with quadratic Hamiltonians: The Heisenberg-Langevin equation approach

abstract: Equivalent approaches to determine eigenfrequencies of the Liouvillians of open quantum systems are discussed using the solution of the Heisenberg-Langevin equations and the corresponding equations for operator moments. A simple damped two-level atom is analyzed to demonstrate the equivalence of both approaches. The suggested method is used to reveal the structure as well as eigenfrequencies of the dynamics matrices of the corresponding equations of motion and their degeneracies for interacting bosonic modes described by general quadratic Hamiltonians. Quantum Liouvillian exceptional and diabolical points and their degeneracies are explicitly discussed for the case of two modes. Quantum hybrid diabolical exceptional points (inherited, genuine, and induced) and hidden exceptional points, which are not recognized directly in amplitude spectra, are observed. The presented approach via the Heisenberg-Langevin equations paves the general way to a detailed analysis of quantum exceptional and diabolical points in infinitely dimensional open quantum systems.


title: Placenta Segmentation in Ultrasound Imaging: Addressing Sources of Uncertainty and Limited Field-of-View

abstract: Automatic segmentation of the placenta in fetal ultrasound (US) is challenging due to the (i) high diversity of placenta appearance, (ii) the restricted quality in US resulting in highly variable reference annotations, and (iii) the limited field-of-view of US prohibiting whole placenta assessment at late gestation. In this work, we address these three challenges with a multi-task learning approach that combines the classification of placental location (e.g., anterior, posterior) and semantic placenta segmentation in a single convolutional neural network. Through the classification task the model can learn from larger and more diverse datasets while improving the accuracy of the segmentation task in particular in limited training set conditions. With this approach we investigate the variability in annotations from multiple raters and show that our automatic segmentations (Dice of 0.86 for anterior and 0.83 for posterior placentas) achieve human-level performance as compared to intra- and inter-observer variability. Lastly, our approach can deliver whole placenta segmentation using a multi-view US acquisition pipeline consisting of three stages: multi-probe image acquisition, image fusion and image segmentation. This results in high quality segmentation of larger structures such as the placenta in US with reduced image artifacts which are beyond the field-of-view of single probes.


title: Nextformer: A ConvNeXt Augmented Conformer For End-To-End Speech Recognition

abstract: Conformer models have achieved state-of-the-art(SOTA) results in end-to-end speech recognition. However Conformer mainly focuses on temporal modeling while pays less attention on time-frequency property of speech feature. In this paper we augment Conformer with ConvNeXt and propose Nextformer structure. We use stacks of ConvNeXt block to replace the commonly used subsampling module in Conformer for utilizing the information contained in time-frequency speech feature. Besides, we insert an additional downsampling module in middle of Conformer layers to make our model more efficient and accurate. We conduct experiments on two opening datasets, AISHELL-1 and WenetSpeech. On AISHELL-1, compared to Conformer baselines, Nextformer obtains 7.3% and 6.3% relative CER reduction in non-streaming and streaming mode respectively, and on a much larger WenetSpeech dataset, Nextformer gives 5.0%~6.5% and 7.5%~14.6% relative CER reduction in non-streaming and streaming mode, while keep the computational cost FLOPs comparable to Conformer. To the best of our knowledge, the proposed Nextformer model achieves SOTA results on AISHELL-1(CER 4.06%) and WenetSpeech(CER 7.56%/11.29%).


title: Anatomy of kaon decays and prospects for lepton flavour universality violation

abstract: The kaon sector is characterised by several processes which are under active investigation across different experiments. In this work, we present the global picture that emerges from a study of the different decay modes. We begin by revisiting the theoretical component of these decays and providing up-to-date predictions of the Standard Model as well as the corresponding uncertainties. Several new features emerge, in particular for $K_{S,L}\to \mu\bar\mu$, and are presented in considerable detail. This offers an ideal platform for extracting the parameter space supported by the existing data. Motivated by possible lepton flavour universality violation in $B$ decays, we investigate such Beyond the Standard Model effects also in rare kaon decays. Without loss of generality, our primary analyses correspond to the paradigm where the Wilson coefficients for operators involving tau leptons are chosen to be equal to that involving the muon, i.e. $\delta C^\tau=\delta C^\mu$. We conclude by presenting the possible picture that can be achieved towards the end of the run of data accumulation in the planned experiments. This includes assumptions on possible sensitivity goals that the experiments can aim to achieve, in order to extract the kind of physics highlighted in this paper.


title: An Auto-Regressive Formulation for Smoothing and Moving Mean with Exponentially Tapered Windows

abstract: We investigate an auto-regressive formulation for the problem of smoothing time-series by manipulating the inherent objective function of the traditional moving mean smoothers. Not only the auto-regressive smoothers enforce a higher degree of smoothing, they are just as efficient as the traditional moving means and can be optimized accordingly with respect to the input dataset. Interestingly, the auto-regressive models result in moving means with exponentially tapered windows.


title: Terminological and methodological discrepancies concerning the radionuclides' effective, environmental and biological half-lives

abstract: At the basis of most risk assessments aimed at determining the long-term trends in changes in the activity of radionuclides in the environment and thus exposure to ionizing radiation, various concepts of half-lives are used, particularly: biological, environmental (ecological) and effective one. There is a clear lack of consensus on the terminological level and, more importantly, on the methodological level regarding the determination of these half-lives. This manifests by a divergent methodology and the existence of two main, but contradictory concepts. In the first, empirically determined half-life is referred to as environmental or biological. The effective half-life is extrapolated at a later stage after taking into account the physical decay. In the second concept, the effective half-life is the one empirically determined and the remaining half-lives can be extrapolated after correction for physical decay. As both concepts seems to be incompatible with each other, the aim of this work was to thoroughly analyze their theoretical assumptions, conditions, strengths and weaknesses and to define the conditions that must be met in order to enable comparison of the results obtained with the use of two separate concepts. In case of the environmental components the suggested approach is to empirically determine the effective half-life, and subsequently, to extrapolate the environmental and/or biological half-lives.

categories: physics.bio-ph physics.data-an physics.geo-ph q-bio.QM


title: Strongly coupled quantum Otto cycle with single qubit bath

abstract: We discuss a model of a closed quantum evolution of two-qubits where the joint Hamiltonian is so chosen that one of the qubits acts as a bath and thermalize the other qubit which is acting as the system. The corresponding exact master equation for the system is derived. Interestingly, for a specific choice of parameters the master equation takes the Gorini-Kossakowski-Lindblad-Sudarshan (GKLS) form with constant coefficients, representing pumping and damping of a single qubit system. Based on this model we construct an Otto cycle connected to a single qubit bath and study its thermodynamic properties. Our analysis goes beyond the conventional weak coupling scenario and illustrates the effects of finite bath including non-Markovianity. We find closed form expressions for efficiency (coefficient of performance), power (cooling power) for heat engine regime (refrigerator regime) for different modifications of the joint Hamiltonian.


title: Correctly Modeling TX and RX Chain in (Distributed) Massive MIMO -- New Fundamental Insights on Coherency

abstract: This letter shows that the TX and RX models commonly used in literature for downlink (distributed) massive MIMO are inaccurate, leading also to inaccurate conclusions. In particular, the Local Oscillator (LO) effect should be modeled as $+\varphi$ in the transmitter chain and $-\varphi$ in the receiver chain, i.e., different signs. A common misconception in literature is to use the same sign for both chains. By correctly modeling TX and RX chain, one realizes that the LO phases are included in the reciprocity calibration and whenever the LO phases drift apart, a new reciprocity calibration becomes necessary (the same applies to time drifts). Thus, free-running LOs and the commonly made assumption of perfect reciprocity calibration (to enable blind DL channel estimation) are both not that useful, as they would require too much calibration overhead. Instead, the LOs at the base stations should be locked and relative reciprocity calibration in combination with downlink demodulation reference symbols should be employed.


title: A phase field electro-chemo-mechanical formulation for predicting void evolution at the Li-electrolyte interface in all-solid-state batteries

abstract: We present a mechanistic theory for predicting void evolution in the Li metal electrode during the charge and discharge of all-solid-state battery cells. A phase field formulation is developed to model vacancy annihilation and nucleation, and to enable the tracking of the void-Li metal interface. This is coupled with a viscoplastic description of Li deformation, to capture creep effects, and a mass transfer formulation accounting for substitutional (bulk and surface) Li diffusion and current-driven flux. Moreover, we incorporate the interaction between the electrode and the solid electrolyte, resolving the coupled electro-chemical-mechanical problem in both domains. This enables predicting the electrolyte current distribution and thus the emergence of local current 'hot spots', which act as precursors for dendrite formation and cell death. The theoretical framework is numerically implemented, and single and multiple void case studies are carried out to predict the evolution of voids and current hot spots as a function of the applied pressure, material properties and charge (magnitude and cycle history). For both plating and stripping, insight is gained into the interplay between bulk diffusion, Li dissolution and deposition, creep, and the nucleation and annihilation of vacancies. The model is shown to capture the main experimental observations, including not only key features of electrolyte current and void morphology but also the sensitivity to the applied current, the role of pressure in increasing the electrode-electrolyte contact area, and the dominance of creep over vacancy diffusion.

categories: cond-mat.mtrl-sci cs.CE physics.app-ph physics.chem-ph


title: Distilling Model Failures as Directions in Latent Space

abstract: Existing methods for isolating hard subpopulations and spurious correlations in datasets often require human intervention. This can make these methods labor-intensive and dataset-specific. To address these shortcomings, we present a scalable method for automatically distilling a model's failure modes. Specifically, we harness linear classifiers to identify consistent error patterns, and, in turn, induce a natural representation of these failure modes as directions within the feature space. We demonstrate that this framework allows us to discover and automatically caption challenging subpopulations within the training dataset. Moreover, by combining our framework with off-the-shelf diffusion models, we can generate images that are especially challenging for the analyzed model, and thus can be used to perform synthetic data augmentation that helps remedy the model's failure modes. Code available at https://github.com/MadryLab/failure-directions


title: Radiative corrections to the Lorentzian EPRL spin foam propagator

abstract: We numerically estimate the divergence of several two-vertex diagrams that contribute to the radiative corrections for the Lorentzian EPRL spin foam propagator. We compute the amplitudes as functions of a homogeneous cutoff over the bulk quantum numbers, fixed boundary data, and different Immirzi parameters, and find that for a class of two-vertex diagrams, those with fewer than six internal faces are convergent. The calculations are done with the numerical framework sl2cfoam-next.


title: Two-photon exchange in (muonic) deuterium at N3LO in pionless effective field theory

abstract: We present a study of the two-photon-exchange ($2\gamma$-exchange) corrections to the $S$-levels in muonic ($\mu$D) and ordinary (D) deuterium within the pionless effective field theory (pionless EFT). Our calculation proceeds up to next-to-next-to-next-to-leading order (N3LO) in the pionless EFT expansion. The only unknown low-energy constant entering the calculation at this order corresponds to the coupling of a longitudinal photon to the nucleon-nucleon system. To minimise its correlation with the deuteron charge radius, it is extracted using the information about the hydrogen-deuterium isotope shift. We find the elastic $2\gamma$-exchange contribution in $\mu$D larger by several standard deviations than obtained in other recent calculations. This discrepancy ameliorates the mismatch between theory and experiment on the size of $2\gamma$-exchange effects, and is attributed to the properties of the deuteron elastic charge form factor parametrisation used to evaluate the elastic contribution. We identify a correlation between the deuteron charge and Friar radii, which can help one to judge how well a form factor parametrisation describes the low-virtuality properties of the deuteron. We also evaluate the higher-order $2\gamma$-exchange contributions in $\mu$D, generated by the single-nucleon structure and expected to be the most important terms beyond N3LO. The uncertainty of the theoretical result is dominated by the truncation of the pionless EFT series and is quantified using a Bayesian approach. The resulting extractions of the deuteron charge radius from the $\mu$D Lamb shift, the $2S-1S$ transition in D, and the $2S-1S$ hydrogen-deuterium isotope shift, with the respective $2\gamma$-exchange effects evaluated in a unified pionless EFT approach, are in perfect agreement.


title: What is a lattice W-algebra?

abstract: We employ the Poisson-Lie group of pseudo-difference operators to define lattice analogs of classical $W_m$-algebras. We then show that the so-constructed algebras coincide with the ones given by discrete Drinfeld-Sokolov type reduction.


title: Composition operators on the polydisc

abstract: We study the boundedness of composition operators on the weighted Bergman spaces and the Hardy space over the polydisc. For arbitrary polydisc we prove the rank sufficiency theorem which, in particular, provides us with a simple criterion describing boundedness of composition operators on the spaces over the bidisc. Such a consistent characterization is obtained for the classical Bergman space over the tridisc.


title: How Train-Test Leakage Affects Zero-shot Retrieval

abstract: Neural retrieval models are often trained on (subsets of) the millions of queries of the MS MARCO / ORCAS datasets and then tested on the 250 Robust04 queries or other TREC benchmarks with often only 50 queries. In such setups, many of the few test queries can be very similar to queries from the huge training data -- in fact, 69% of the Robust04 queries have near-duplicates in MS MARCO / ORCAS. We investigate the impact of this unintended train-test leakage by training neural retrieval models on combinations of a fixed number of MS MARCO / ORCAS queries that are highly similar to the actual test queries and an increasing number of other queries. We find that leakage can improve effectiveness and even change the ranking of systems. However, these effects diminish as the amount of leakage among all training instances decreases and thus becomes more realistic.


title: A hybrid level-based learning swarm algorithm with mutation operator for solving large-scale cardinality-constrained portfolio optimization problems

abstract: In this work, we propose a hybrid variant of the level-based learning swarm optimizer (LLSO) for solving large-scale portfolio optimization problems. Our goal is to maximize a modified formulation of the Sharpe ratio subject to cardinality, box and budget constraints. The algorithm involves a projection operator to deal with these three constraints simultaneously and we implicitly control transaction costs thanks to a rebalancing constraint. We also introduce a suitable exact penalty function to manage the turnover constraint. In addition, we develop an ad hoc mutation operator to modify candidate exemplars in the highest level of the swarm. The experimental results, using three large-scale data sets, show that the inclusion of this procedure improves the accuracy of the solutions. Then, a comparison with other variants of the LLSO algorithm and two state-of-the-art swarm optimizers points out the outstanding performance of the proposed solver in terms of exploration capabilities and solution quality. Finally, we assess the profitability of the portfolio allocation strategy in the last five years using an investible pool of 1119 constituents from the MSCI World Index.


title: Accelerating Parallel Write via Deeply Integrating Predictive Lossy Compression with HDF5

abstract: Lossy compression is one of the most efficient solutions to reduce storage overhead and improve I/O performance for HPC applications. However, existing parallel I/O libraries cannot fully utilize lossy compression to accelerate parallel write due to the lack of deep understanding on compression-write performance. To this end, we propose to deeply integrate predictive lossy compression with HDF5 to significantly improve the parallel-write performance. Specifically, we propose analytical models to predict the time of compression and parallel write before the actual compression to enable compression-write overlapping. We also introduce an extra space in the process to handle possible data overflows resulting from prediction uncertainty in compression ratios. Moreover, we propose an optimization to reorder the compression tasks to increase the overlapping efficiency. Experiments with up to 4,096 cores from Summit show that our solution improves the write performance by up to 4.5X and 2.9X over the non-compression and lossy compression solutions, respectively, with only 1.5% storage overhead (compared to original data) on two real-world HPC applications.


title: Modular spectral triples and deformed Fredholm modules

abstract: In the setting of non-type $\ty{II_1}$ representations, we propose a definition of {\it deformed Fredholm module} $\big[D_\ct|D_\ct|^{-1}\,,\,{\bf\cdot}\,\big]_\ct$ for a modular spectral triple $\ct$, where $D_\ct$ is the deformed Dirac operator. $D_\ct$ is assumed to be invertible for the sake of simplicity, and its domain is an "essential" operator system $\ce_\ct$. According to such a definition, we obtain $\big[D_\ct|D_\ct|^{-1}\,,\,{\bf\cdot}\,\big]_\ct=|D_\ct|^{-1}d_\ct(\,{\bf\cdot}\,)+d_\ct(\,{\bf\cdot}\,)|D_\ct|^{-1}$, where $d_\ct$ is the deformed derivation associated to $D_\ct$. Since the "quantum differential" $1/|D_\ct|$ appears in a symmetric position, such a definition of Fredholm module differs from the usual one even in the undeformed case, that is in the tracial case. Therefore, it seems to be more suitable for the investigation of noncommutative manifolds in which the nontrivial modular structure might play a crucial role. We show that all models in \cite{FS} of non-type $\ty{II_1}$ representations of noncommutative 2-tori indeed provide modular spectral triples, and in addition deformed Fredholm modules according to the definition proposed in the present paper. Since the detailed knowledge of the spectrum of the Dirac operator plays a fundamental role in spectral geometry, we provide a characterisation of eigenvalues and eigenvectors of the deformed Dirac operator $D_\ct$ in terms of the periodic solutions of a particular class of eigenvalue Hill equations.


title: Proving superintegrability in $\beta$-deformed eigenvalue models

abstract: In this note we provide proofs of various expressions for expectation values of symmetric polynomials in $\beta$-deformed eigenvalue models with quadratic, linear, and logarithmic potentials. The relations we derive are also referred to as superintegrability. Our work completes proofs of superintegrability statements conjectured earlier in literature.


title: Potential Technical Debt and Its Resolution in Code Reviews: An Exploratory Study of the OpenStack and Qt Communities

abstract: Technical Debt (TD) refers to the situation where developers make trade-offs to achieve short-term goals at the expense of long-term code quality, which can have a negative impact on the quality of software systems. In the context of code review, such sub-optimal implementations have chances to be timely resolved during the review process before the code is merged. Therefore, we could consider them as Potential Technical Debt (PTD) since PTD will evolve into TD when it is injected into software systems without being resolved. To date, little is known about the extent to which PTD is identified in code reviews. To this end, we conducted an exploratory study in an attempt to understand the nature of PTD in code reviews and track down the resolution of PTD after being identified. We randomly collected 2,030 review comments from the Nova project of OpenStack and the Qt Base project of Qt. We then manually checked these review comments, and obtained 163 PTD-related review comments for further analysis. Our results show that: (1) PTD can be identified in code reviews but is not prevalent. (2) Design, defect, documentation, requirement, test, and code PTD are identified in code reviews, in which code and documentation PTD are the dominant. (3) 81.0% of the PTD identified in code reviews has been resolved by developers, and 78.0% of the resolved TD was resolved by developers within a week. (4) Code refactoring is the main practice used by developers to resolve the PTD identified in code reviews. Our findings indicate that: (1) review-based detection of PTD is seen as one of the trustworthy mechanisms in development, and (2) there is still a significant proportion of PTD (19.0%) remaining unresolved when injected into the software systems. Practitioners and researchers should establish effective strategies to manage and resolve PTD in development.


title: Computer Simulation of the Early Stages of Self-Assembly and Thermal Decomposition of ZIF-8

abstract: We employ all-atom well-tempered metadynamics simulations to study the mechanistic details of both the early stages of nucleation and crystal decomposition for the benchmark metal-organic framework ZIF-8. To do so, we developed and validated a force field that reliably models the modes of coordination bonds via a Morse potential functional form and employs cationic and anionic dummy atoms to capture coordination symmetry. We also explored a set of physically relevant collective variables and carefully selected an appropriate subset for our problem at hand. After a rapid increase of the Zn-N connectivity, we observe the evaporation of small clusters in favor of a few large clusters, that lead to the formation of an amorphous highly-connected aggregate. Zn(MIm)42- and Zn(MIm)3- complexes are observed, with lifetimes in the order of a few picoseconds, while larger structures, such as 4-, 5- and 6-membered rings, have substantially longer lifetimes of a few nanoseconds. The free ligands act as ``templating agents'' for the formation of the sodalite cages. ZIF-8 crystal decomposition results in the formation of a vitreous phase. Our findings contribute to a fundamental understanding of MOF's synthesis that paves the way to controlling synthesis products. Furthermore, our developed force field and methodology can be applied to model solution processes that require coordination bond reactivity for other ZIFs besides ZIF-8.


title: Micro-cone arrays enhance outcoupling efficiency in horticulture luminescent solar concentrators

abstract: Luminescent solar concentrators (LSCs) have shown the ability to realize spectral conversion, which could tailor solar spectrum to better match photosynthesis requirements. However, conventional LSCs are designed to trap, rather than extract, spectrally converted light. Here, we propose an effective method for improving outcoupling efficiency, based on protruded and extruded micro-cone arrays patterned on the bottom surface of LSCs. Using Monte-Carlo ray tracing, we estimate a maximum external quantum efficiency (EQE) of 37.73% for our Horticulture-LSC (HLSC), corresponding to 53.78% improvement relatively to conventional, planar LSCs. Additionally, structured HLSCs provide diffuse light, beneficial for plant growth. Our micro-patterned surfaces provide a solution to light trapping in LSCs and a foundation for practical application of HLSC.


title: Verified Causal Broadcast with Liquid Haskell

abstract: Protocols to ensure that messages are delivered in causal order are a ubiquitous building block of distributed systems. For instance, distributed data storage systems can use causally ordered message delivery to ensure causal consistency, and CRDTs can rely on the existence of an underlying causally-ordered messaging layer to simplify their implementation. A causal delivery protocol ensures that when a message is delivered to a process, any causally preceding messages sent to the same process have already been delivered to it. While causal delivery protocols are widely used, verification of their correctness is less common, much less machine-checked proofs about executable implementations. We implemented a standard causal broadcast protocol in Haskell and used the Liquid Haskell solver-aided verification system to express and mechanically prove that messages will never be delivered to a process in an order that violates causality. We express this property using refinement types and prove that it holds of our implementation, taking advantage of Liquid Haskell's underlying SMT solver to automate parts of the proof and using its manual theorem-proving features for the rest. We then put our verified causal broadcast implementation to work as the foundation of a distributed key-value store.


title: Topological recursion for Orlov-Scherbin tau functions, and constellations with internal faces

abstract: We study the correlators $W_{g,n}$ arising from Orlov-Scherbin 2-Toda tau functions with rational content-weight $G(z)$, at arbitrary values of the two sets of time parameters. Combinatorially, they correspond to generating functions of weighted Hurwitz numbers and $(m,r)$-factorisations of permutations. When the weight function is polynomial, they are generating functions of constellations on surfaces in which two full sets of degrees (black/white) are entirely controlled, and in which internal faces are allowed in addition to boundaries. We give the spectral curve (the "disk" function $W_{0,1}$, and the "cylinder" function $W_{0,2}$) for this model, generalising Eynard's solution of the 2-matrix model which corresponds to $G(z)=1+z$, by the addition of arbitrarily many free parameters. Our method relies both on the Albenque-Bouttier combinatorial proof of Eynard's result by slice decompositions, which is strong enough to handle the polynomial case, and on algebraic arguments. Building on this, we establish the topological recursion (TR) for the model. Our proof relies on the fact that TR is already known at time zero (or, combinatorially, when the underlying graphs have only boundaries, and no internal faces) by work of Bychkov-Dunin-Barkowski-Kazarian-Shadrin (or Alexandrov-Chapuy-Eynard-Harnad for the polynomial case), and on the general idea of deformation of spectral curves due to Eynard and Orantin, which we make explicit in this case. As a result of TR, we obtain strong structure results for all fixed-genus generating functions.


title: Notes on congruence lattices and lamps of slim semimodular lattices

abstract: Since their introduction by G. Gr\"atzer and E. Knapp in 2007, more than four dozen papers have been devoted to finite slim planar semimodular lattices (in short, SPS lattices or slim semimodular lattices) and to some related fields. In addition to distributivity, there have been seven known properties of the congruence lattices of these lattices. The first two properties were proved by G. Gr\"atzer, the next four by the present author, while the seventh was proved jointly by G. Gr\"atzer and the present author. Five out of the seven properties were found and proved by using lamps, which are lattice theoretic tools introduced by the present author in a 2021 paper. Here, using lamps, we present infinitely many new properties. Lamps also allow us to strengthen the seventh previously known property, and they lead to an algorithm of exponential time to decide whether a finite distributive lattice can be represented as the congruence lattice of an SPS lattice. Some new properties of lamps are also given.


title: Swift J0503.7-2819: A Short-Period Asynchronous Polar or Stream-Fed Intermediate Polar

abstract: We analyze a 7.4 hr XMM-Newton light curve of the cataclysmic variable Swift J0503.7-2819, previously classified using optical periods as an intermediate polar (IP) with an orbital period of 0.0567 days. A photometric signal at 975 s, previously suggested to be the spin period, is not present in X-rays and is readily understood as a quasi-periodic oscillation. The X-ray light curve instead shows clear behavior of a highly asynchronous polar (AP) or stream-fed IP. It can be described by either of two scenarios: one which switches between one-pole and two-pole accretion, and another in which accretion alternates fully between two poles. The spin periods in these two models are 0.0455 days and 0.0505 days, respectively. The spin frequency $\omega$ is thus either 24% faster or 12% faster than the orbital frequency $\Omega$, and the corresponding beat period between spin and orbit is 0.231 days or 0.462 days. Brief absorption events seen in light curve are spaced in a way that may favor the longer spin and beat periods. These periods are confirmed and refined using data from the Transiting Exoplanet Survey Satellite (TESS) and the Asteroid Terrestrial-impact Last Alert System (ATLAS). The short beat cycle of Swift J0503.7-2819 makes it well-suited to resolving this common dilemma, which amounts to deciding whether the main signal in the power spectrum is $\omega$ or $2\omega-\Omega$.


title: The role of electron polarization on nuclear spin diffusion

abstract: Dynamic nuclear polarization (DNP) is capable of boosting signals in nuclear magnetic resonance by orders of magnitude by creating out-of-equilibrium nuclear spin polarization. The diffusion of nuclear spin polarization in the vicinity of paramagnetic dopants is a crucial step for DNP and remains yet not well understood. In this Letter, we show that the polarization of the electron spin controls the rate of proton spin diffusion in a DNP sample at 1.2 K and 7 T; at increasingly high electron polarization, spin diffusion vanishes. We rationalize our results using a 2 nucleus - 1 electron model and Lindblad s Master equation, which generalizes preexisting models in the literature and qualitatively accounts for the experimental observed spin diffusion dynamics.


title: IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound

abstract: Recent works have tried to increase the verifiability of adversarially trained networks by running the attacks over domains larger than the original perturbations and adding various regularization terms to the objective. However, these algorithms either underperform or require complex and expensive stage-wise training procedures, hindering their practical applicability. We present IBP-R, a novel verified training algorithm that is both simple and effective. IBP-R induces network verifiability by coupling adversarial attacks on enlarged domains with a regularization term, based on inexpensive interval bound propagation, that minimizes the gap between the non-convex verification problem and its approximations. By leveraging recent branch-and-bound frameworks, we show that IBP-R obtains state-of-the-art verified robustness-accuracy trade-offs for small perturbations on CIFAR-10 while training significantly faster than relevant previous work. Additionally, we present UPB, a novel branching strategy that, relying on a simple heuristic based on $\beta$-CROWN, reduces the cost of state-of-the-art branching algorithms while yielding splits of comparable quality.


title: On a question related to a basic convergence theorem of Harish-Chandra

abstract: In his first 1958 paper on zonal spherical functions Harish-Chandra proved an extremely delicate convergence theorem which was basic to his subsequent definition of his Schwartz space and his theory of cusp forms. This paper gives elementary proofs that a related integral converges for for groups of real rank one, several groups of real rank 2 (including $SO(n,2), Sp_4(R)$ and $Sp_4(C)$), $GL(n,R)$ and $GL(n,C)$. In fact, a stronger result has been proved in <cite>raphael</cite>. Applications of the question are also studied.


title: TweetNLP: Cutting-Edge Natural Language Processing for Social Media

abstract: In this paper we present TweetNLP, an integrated platform for Natural Language Processing (NLP) in social media. TweetNLP supports a diverse set of NLP tasks, including generic focus areas such as sentiment analysis and named entity recognition, as well as social media-specific tasks such as emoji prediction and offensive language identification. Task-specific systems are powered by reasonably-sized Transformer-based language models specialized on social media text (in particular, Twitter) which can be run without the need for dedicated hardware or cloud services. The main contributions of TweetNLP are: (1) an integrated Python library for a modern toolkit supporting social media analysis using our various task-specific models adapted to the social domain; (2) an interactive online demo for codeless experimentation using our models; and (3) a tutorial covering a wide variety of typical social media applications.


abstract: This article presents a generalization of the RSA cryptosystem for rings with commuting ideals. An analogue of the Euler function for ideals and the concept of an RSA-ideal are defined. An analog of a cryptosystem for the ring with commuting ideals is formulated and a description of the RSA-ideals for which this is possible is obtained.


title: Quasifold groupoids and diffeological quasifolds

abstract: Quasifolds are spaces that are locally modelled by quotients of $\mathbb{R}^n$ by countable affine group actions. These spaces first appeared in Elisa Prato's generalization of the Delzant construction, and special cases include leaf spaces of irrational linear flows on the torus, and orbifolds. We consider the category of diffeological quasifolds, which embeds in the category of diffeological spaces, and the bicategory of quasifold groupoids, which embeds in the bicategory of Lie groupoids, bibundles, and bibundle morphisms. We prove that, restricting to those morphisms that are locally invertible, and to quasifold groupoids that are effective, the functor taking a quasifold groupoid to its diffeological orbit space is an equivalence of the underlying categories. These results complete and extend earlier work with Masrour Zoghi.


title: System-level Simulation of Reconfigurable Intelligent Surface assisted Wireless Communications System

abstract: Reconfigurable intelligent surface (RIS) is an emerging technique employing metasurface to reflect the signal from the source node to the destination node. By smartly reconfiguring the electromagnetic (EM) properties of the metasurface and adjusting the EM parameters of the reflected radio waves, RIS can turn the uncontrollable propagation environment into an artificially reconfigurable space, and thus, can significantly increase the communications capacity and improve the coverage of the system. In this paper, we investigate the far field channel in which the line-of-sight (LOS) propagation is dominant. We propose an antenna model that can characterize the radiation patterns of realistic RIS elements, and consider the signal power received from the two-hop path through RIS. System-level simulations of network performance under various scenarios and parameter.


title: GKZ discriminant and Multiplicities

abstract: Let $T=(\mathbb{C}^*)^k$ act on $V=\mathbb{C}^N$ faithfully and preserving the volume form, i.e. $(\mathbb{C}^*)^k \hookrightarrow \text{SL}(V)$. On the B-side, we have toric stacks $Z_W$ labelled by walls $W$ in the GKZ fan, and toric stacks $Z_{/F}$ labelled by faces of a polytope corresponding to minimal semi-orthogonal decomposition (SOD) components. The B-side multiplicity $n^B_{W,F}$ is the number of times ${Coh}(Z_{/F})$ appears in the SOD of $Coh(Z_W)$. On the A-side, we have the GKZ discriminant loci components $\nabla_F \subset (\mathbb{C}^*)^k$, and its tropicalization $\nabla^{trop}_{F} \subset \mathbb{R}^k$. The A-side multiplicity $n^A_{W, F}$ is defined as the multiplicity of the tropical complex $\nabla^{trop}_{F}$ on the wall $W$. We prove that $n^A_{W,F} = n^B_{W,F}$, confirming a conjecture in Kite-Segal \cite{kite-segal} inspired by \cite{aspinwall2017mirror}. Our proof is based on a lemma about the B-side SOD multiplicities, which allows us to reduce to lower dimensions just as in the A-side \cite{GKZ-book}[Ch 11].


title: Fully solvable finite simplex lattices with open boundaries in arbitrary dimensions

abstract: Finite simplex lattice models are used in different branches of science, e.g., in condensed matter physics, when studying frustrated magnetic systems and non-Hermitian localization phenomena; or in chemistry, when describing experiments with mixtures. An $n$-simplex represents the simplest possible polytope in $n$ dimensions, e.g., a line segment, a triangle, and a tetrahedron in one, two, and three dimensions, respectively. In this work, we show that various fully solvable, in general non-Hermitian, $n$-simplex lattice models {with open boundaries} can be constructed from the high-order field-moments space of quadratic bosonic systems. Namely, we demonstrate that such $n$-simplex lattices can be formed by a dimensional reduction of highly-degenerate iterated polytope chains in $(k>n)$-dimensions, which naturally emerge in the field-moments space. Our findings indicate that the field-moments space of bosonic systems provides a versatile platform for simulating real-space $n$-simplex lattices exhibiting non-Hermitian phenomena, and yield valuable insights into the structure of many-body systems exhibiting similar complexity. Amongst a variety of practical applications, these simplex structures can offer a physical setting for implementing the discrete fractional Fourier transform, an indispensable tool for both quantum and classical signal processing.


title: A numerically robust, parallel-friendly variant of BiCGSTAB for the semi-implicit integration of the viscous term in Smoothed Particle Hydrodynamics

abstract: Implicit integration of the viscous term can significantly improve performance in computational fluid dynamics for highly viscous fluids such as lava. We show improvements over our previous proposal for semi-implicit viscous integration in Smoothed Particle Hydrodynamics, extending it to support a wider range of boundary models. Due to the resulting loss of matrix symmetry, a key advancement is a more robust version of the biconjugate gradient stabilized method to solve the linear systems, that is also better suited for parallelization in both shared-memory and distributed-memory systems. The advantages of the new solver are demostrated in applications with both Newtonian and non-Newtonian fluids, covering both the numerical aspect (improved convergence thanks to the possibility to use more accurate boundary model) and the computing aspect (with excellent strong scaling and satisfactory weak scaling).


title: Parity effects and universal terms of O(1) in the entanglement near a boundary

abstract: In the presence of boundaries, the entanglement entropy in lattice models is known to exhibit oscillations with the (parity of the) length of the subsystem, which however decay to zero with increasing distance from the edge. We point out in this article that, when the subsystem starts at the boundary and ends at an impurity, oscillations of the entanglement (as well as of charge fluctuations) appear which do not decay with distance, and which exhibit universal features. We study these oscillations in detail for the case of the XX chain with one modified link (a conformal defect) or two successive modified links (a relevant defect), both numerically and analytically. We then generalize our analysis to the case of extended (conformal) impurities, which we interpret as SSH models coupled to metallic leads. In this context, the parity effects can be interpreted in terms of the existence of non-trivial topological phases.


title: Implementation of Ethereum Accounts and Transactions on Embedded IoT Devices

abstract: The growing interest in Internet of Things (IoT) and Industrial IoT (IIoT) poses the challenge of finding robust solutions for the certification and notarization of data produced and collected by embedded devices. The blockchain and distributed ledger technologies represent a promising solution to address these issues, but rise other questions, for example regarding their practical feasibility. In fact, IoT devices have limited resources and, consequently, may not be able to easily perform all the operations required to participate in a blockchain. In this paper we propose a minimal architecture to allow IoT devices performing data certification and notarization on the Ethereum blockchain. We develop a hardware-software platform through which a lightweight device (e.g., an IoT sensor), holding a secret key and the associated public address, produces signed transactions, which are then submitted to the blockchain network. This guarantees data integrity and authenticity and, on the other hand, minimizes the computational burden on the lightweight device. To show the practicality of the proposed approach, we report and discuss the results of benchmarks performed on ARM Cortex-M4 hardware architectures, sending transactions over the Ropsten testnet. Our results show that all the necessary operations can be performed with small latency, thus proving that an IoT device can directly interact with the blockchain, without apparent bottlenecks.


title: Homotopy groups of spectra and $p$-adic $L$-functions over totally real number fields

abstract: The goal of this paper is to illustrate different approaches to understand Euler characteristics in the setting of totally real commutative and non-commutative Iwasawa theory. In addition to this, and in the spirit of Hesselholt and Mitchell, we show how these objects interact with homotopy theoretic invariants such as ($K(1)$-local) $K$-theory and Topological Cyclic homology.


title: Fast and high-yield fabrication of axially symmetric ion-trap needle electrodes via two step electrochemical etching

abstract: Despite the progress in building sophisticated microfabricated ion traps, Paul traps employing needle electrodes retain their significance due to the simplicity of fabrication while producing high-quality systems suitable for quantum information processing, atomic clocks etc. For low noise operations such as minimizing `excess micromotion', needles should be geometrically straight and aligned precisely with respect to each other. Self-terminated electrochemical etching, previously employed for fabricating ion trap needle electrodes employs a sensitive and time-consuming technique resulting in a low success rate of usable electrodes. Here we demonstrate an etching technique for quick fabrication of straight and symmetric needles with a high success rate and a simple apparatus with reduced sensitivity to alignment imperfections. The novelty of our technique comes from using a two-step approach employing turbulent etching for fast shaping and slow etching/polishing for subsequent surface finish and tip cleaning. Using this technique, needle electrodes for an ion-trap can be fabricated within a day, significantly reducing the setup time for a new apparatus. The needles fabricated via this technique have been used in our ion-trap to achieve trapping lifetimes of several months.


title: Non-Markovian Impulse Control Under Nonlinear Expectation

abstract: We consider a general type of non-Markovian impulse control problems under adverse non-linear expectation or, more specifically, the zero-sum game problem where the adversary player decides the probability measure. We show that the upper and lower value functions satisfy a dynamic programming principle (DPP). We first prove the dynamic programming principle (DPP) for a truncated version of the upper value function in a straightforward manner. Relying on a uniform convergence argument then enables us to show the DPP for the general setting. Following this, we use an approximation based on a combination of truncation and discretization to show that the upper and lower value functions coincide, thus establishing that the game has a value and that the DPP holds for the lower value function as well. Finally, we show that the DPP admits a unique solution and give conditions under which a saddle-point for the game exists. As an example, we consider a stochastic differential game (SDG) of impulse versus classical control of path-dependent stochastic differential equations (SDEs).


title: ENS-10: A Dataset For Post-Processing Ensemble Weather Forecasts

abstract: Post-processing ensemble prediction systems can improve the reliability of weather forecasting, especially for extreme event prediction. In recent years, different machine learning models have been developed to improve the quality of weather post-processing. However, these models require a comprehensive dataset of weather simulations to produce high-accuracy results, which comes at a high computational cost to generate. This paper introduces the ENS-10 dataset, consisting of ten ensemble members spanning 20 years (1998-2017). The ensemble members are generated by perturbing numerical weather simulations to capture the chaotic behavior of the Earth. To represent the three-dimensional state of the atmosphere, ENS-10 provides the most relevant atmospheric variables at 11 distinct pressure levels and the surface at 0.5-degree resolution for forecast lead times T=0, 24, and 48 hours (two data points per week). We propose the ENS-10 prediction correction task for improving the forecast quality at a 48-hour lead time through ensemble post-processing. We provide a set of baselines and compare their skill at correcting the predictions of three important atmospheric variables. Moreover, we measure the baselines' skill at improving predictions of extreme weather events using our dataset. The ENS-10 dataset is available under the Creative Commons Attribution 4.0 International (CC BY 4.0) license.


title: Measurement-induced nonlocality for observers near a black hole

abstract: We present a systematic and complementary study of quantum correlations near a black hole by considering the measurement-induced nonlocality (MIN). The quantum measure of interest is discussed on the same footing for the fermionic, bosonic and mixed fermion-boson modes in relation to the Hawking radiation. The obtained results show that in the infinite Hawking temperature limit, the physically accessible correlations does not vanish only in the fermionic case. However, the higher frequency modes can sustain correlations for the finite Hawking temperature, with mixed system being more sensitive towards increase of the fermionic frequencies than the bosonic ones. Since the MIN for the latter modes quickly diminishes, the increased frequency may be a way to maintain nonlocal correlations for the scenarios at the finite Hawking temperature.


title: Superresolution at the quantum limit beyond two point sources

abstract: Superresolution refers to the estimation of parameters of an image with an accuracy beyond standard classical techniques such as direct detection. In seminal work by Lu et al., a measurement to estimate the separation distance of two point sources (with a known centroid) was shown to achieve the quantum Cramer-Rao bound. This work made implicit use of reflection symmetry of the sources. Here we present a framework that uses more general symmetry in a constellation to construct a quantum measurement that achieves the quantum Cramer-Rao bound in estimation of parameters. We show how this technique can be used to estimate parameters simultaneously in symmetric point-source constellations with more than two point sources. In order to use symmetry explicitly, we make use discrete point spread functions in momentum space that maintain this symmetry. This framework allows us to use techniques from quantum computing such as Fourier transforms and linear optical circuits to implement the optimal measurement. To our knowledge, this is first work that shows for more than two point sources achievable quantum limits of estimation and modal transformations.


title: Ergodicity and random dynamical systems for conservative SPDEs

abstract: The dynamics of the solutions to a class of conservative SPDEs are analysed from two perspectives: Firstly, a probabilistic construction of a corresponding random dynamical system is given for the first time. Secondly, the existence and uniqueness of invariant measures, as well as mixing for the associated Markov process is shown.