title: Full Statistics of Nonstationary Heat Transfer in the Kipnis-Marchioro-Presutti Model

abstract: We investigate non-stationary heat transfer in the Kipnis-Marchioro-Presutti (KMP) lattice gas model at long times in one dimension when starting from a localized heat distribution. At large scales this initial condition can be described as a delta-function, $u(x,t=0)=W \delta(x)$. We characterize the process by the heat, transferred to the right of a specified point $x=X$ by time $T$, $$ J=\int_X^\infty u(x,t=T)\,dx\,, $$ and study the full probability distribution $\mathcal{P}(J,X,T)$. The particular case of $X=0$ has been recently solved [Bettelheim \textit{et al}. Phys. Rev. Lett. \textbf{128}, 130602 (2022)]. At fixed $J$, the distribution $\mathcal{P}$ as a function of $X$ and $T$ has the same long-time dynamical scaling properties as the position of a tracer in a single-file diffusion. Here we evaluate $\mathcal{P}(J,X,T)$ by exploiting the recently uncovered complete integrability of the equations of the macroscopic fluctuation theory (MFT) for the KMP model and using the Zakharov-Shabat inverse scattering method. We also discuss asymptotics of $\mathcal{P}(J,X,T)$ which we extract from the exact solution, and also obtain by applying two different perturbation methods directly to the MFT equations.

categories: cond-mat.stat-mech math-ph math.MP math.PR nlin.SI


title: Resolution of intramolecular dipoles and push-back effect of individual molecules on a metal surface

abstract: Molecules consisting of a donor and an acceptor moiety can exhibit large intrinsic dipole moments. Upon deposition on a metal surface, the dipole may be effectively screened and the charge distribution altered due to hybridization with substrate electronic states. Here, we deposit Ethyl-Diaminodicyanoquinone molecules, which exhibit a large dipole moment in gas phase, on a Au(111) surface. Employing a combination of scanning tunneling microscopy and non-contact atomic force microscopy, we find that a significant dipole moment persists in the flat-lying molecules. Density-functional theory calculations reveal that the dipole moment is even increased on the metal substrate as compared to the gas phase. We also show that the local contact potential across the molecular islands is decreased by several tens of meV with respect to the bare metal. We explain this by the induced charge-density redistribution due to the adsorbed molecules, which confine the substrate's wavefunction at the interface. Our local measurements provide direct evidence of this so-called push-back or cushion effect at the scale of individual molecules.


title: UNIONS: The impact of systematic errors on weak-lensing peak counts

abstract: UNIONS is an ongoing deep photometric multi-band survey of the Northern sky. As part of UNIONS, CFIS provides r-band data which we use to study weak-lensing peak counts for cosmological inference. We assess systematic effects for weak-lensing peak counts and their impact on cosmological parameters for the UNIONS survey. In particular, we present results on local calibration, metacalibration shear bias, baryonic feedback, the source galaxy redshift estimate, intrinsic alignment, and the cluster member dilution. For each uncertainty and systematic effect, we describe our mitigation scheme and the impact on cosmological parameter constraints. We obtain constraints on cosmological parameters from MCMC using CFIS data and MassiveNuS N-body simulations as a model for peak counts statistics. Depending on the calibration (local versus global, and the inclusion of the residual multiplicative shear bias), the mean matter density parameter $\Omega_m$ can shift up to $-0.024$ ($-0.5\sigma$). We also see that including baryonic corrections can shift $\Omega_m$ by $+0.027$ ($+0.5 \sigma$) with respect to the DM-only simulations. Reducing the impact of the intrinsic alignment and cluster member dilution through signal-to-noise cuts can lead to a shift in $\Omega_m$ of $+0.027$ ($+0.5 \sigma$). Finally, with a mean redshift uncertainty of $\Delta \bar{z} = 0.03$, we see that the shift of $\Omega_m$ ($+0.001$ which corresponds to $+0.02 \sigma$) is not significant. This paper investigates for the first time with UNIONS weak-lensing data and peak counts the impact of systematic effects. The value of $\Omega_m$ is the most impacted and can shift up to $\sim 0.03$ which corresponds to $0.5\sigma$ depending on the choices for each systematics. We expect constraints to become more reliable with future (larger) data catalogues, for which the current pipeline will provide a starting point.


title: On non-linear mappings preserving the semi-inner product

abstract: We say that a smooth normed space $X$ has a property (SL), if every mapping $f:X \to X$ preserving the semi-inner product on $X$ is linear. It is well known that every Hilbert space has the property (SL) and the same is true for every finite-dimensional smooth normed space. In this paper, we establish several new results concerning the property (SL). We give a simple example of a smooth and strictly convex Banach space which is isomorphic to the space $\ell_p$, but without the property (SL). Moreover, we provide a characterization of the property (SL) in the class of reflexive smooth Banach spaces in terms of subspaces of quotient spaces. As a consequence, we prove that the space $\ell_p$ have the property (SL) for every $1 < p < \infty$. Finally, using a variant of the Gowers-Maurey space, we construct an infinite-dimensional uniformly smooth Banach space $X$ such that every smooth Banach space isomorphic to $X$ has the property (SL).


title: Celestial: Virtual Software System Testbeds for the LEO Edge

abstract: As private space companies such as SpaceX and Telesat are building large LEO satellite constellations to provide global broadband Internet access, researchers have proposed to embed compute services within satellite constellations to provide computing services on the LEO edge. While the LEO edge is merely theoretical at the moment, providers are expected to rapidly develop their satellite technologies to keep the upper hand in the new space race. In this paper, we answer the question of how researchers can explore the possibilities of LEO edge computing and evaluate arbitrary software systems in an accurate runtime environment and with cost-efficient scalability. To that end, we present Celestial, a virtual testbed for the LEO edge based on microVMs. Celestial can efficiently emulate individual satellites and their movement as well as ground station servers with realistic network conditions and in an application-agnostic manner, which we show empirically. Additionally, we explore opportunities and implications of deploying a real-time remote sensing application on LEO edge infrastructure in a case study on Celestial.


title: Curriculum: A Broad-Coverage Benchmark for Linguistic Phenomena in Natural Language Understanding

abstract: In the age of large transformer language models, linguistic evaluation play an important role in diagnosing models' abilities and limitations on natural language understanding. However, current evaluation methods show some significant shortcomings. In particular, they do not provide insight into how well a language model captures distinct linguistic skills essential for language understanding and reasoning. Thus they fail to effectively map out the aspects of language understanding that remain challenging to existing models, which makes it hard to discover potential limitations in models and datasets. In this paper, we introduce Curriculum as a new format of NLI benchmark for evaluation of broad-coverage linguistic phenomena. Curriculum contains a collection of datasets that covers 36 types of major linguistic phenomena and an evaluation procedure for diagnosing how well a language model captures reasoning skills for distinct types of linguistic phenomena. We show that this linguistic-phenomena-driven benchmark can serve as an effective tool for diagnosing model behavior and verifying model learning quality. In addition, our experiments provide insight into the limitation of existing benchmark datasets and state-of-the-art models that may encourage future research on re-designing datasets, model architectures, and learning objectives.


title: On coloring of graphs of girth 2l + 1 without longer odd holes

abstract: A hole is an induced cycle of length at least 4. Let $\l\ge 2$ be a positive integer, let ${\cal G}_l$ denote the family of graphs which have girth $2\l+1$ and have no holes of odd length at least $2\l+3$, and let $G\in {\cal G}_{\l}$. For a vertex $u\in V(G)$ and a nonempty set $S\subseteq V(G)$, let $d(u, S)=\min\{d(u, v):v\in S\}$, and let $L_i(S)=\{u\in V(G) \mbox{ and } d(u, S)=i\}$ for any integer $i\ge 0$. We show that if $G[S]$ is connected and $G[L_i(S)]$ is bipartite for each $i\in\{1, \ldots, \lfloor{\l\over 2}\rfloor\}$, then $G[L_i(S)]$ is bipartite for each $i>0$, and consequently $\chi(G)\le 4$, where $G[S]$ denotes the subgraph induced by $S$. Let $\theta^-$ be the graph obtained from the Petersen graph by deleting three vertices which induce a path, let $\theta^+$ be the graph obtained from the Petersen graph by deleting two adjacent vertices, and let $\theta$ be the graph obtained from $\theta^+$ by removing an edge incident with two vertices of degree 3. For a graph $G\in{\cal G}_2$, we show that if $G$ is 3-connected and has no unstable 3-cutset then $G$ must induce either $\theta$ or $\theta^-$ but does not induce $\theta^+$. As corollaries, $\chi(G)\le 3$ for every graph $G$ of ${\cal G}_2$ that induces neither $\theta$ nor $\theta^-$, and minimal non-3-colorable graphs of ${\cal G}_2$ induce no $\theta^+$.


title: GASKAP-HI Pilot Survey Science III: An unbiased view of cold gas in the Small Magellanic Cloud

abstract: We present the first unbiased survey of neutral hydrogen (HI) absorption in the Small Magellanic Cloud (SMC). The survey utilises pilot HI observations with the Australian Square Kilometre Array Pathfinder (ASKAP) telescope as part of the Galactic ASKAP HI (GASKAP-HI) project whose dataset has been processed with the GASKAP-HI absorption pipeline, also described here. This dataset provides absorption spectra towards 229 continuum sources, a 275% increase in the number of continuum sources previously published in the SMC region, as well as an improvement in the quality of absorption spectra over previous surveys of the SMC. Our unbiased view, combined with the closely matched beam size between emission and absorption, reveals a lower cold gas faction (11%) than the 2019 ATCA survey of the SMC and is more representative of the SMC as a whole. We also find that the optical depth varies greatly between the SMC's bar and wing regions. In the bar we find that the optical depth is generally low (correction factor to the optically thin column density assumption of $\mathcal{R}_{\rm HI} \sim 1.04$) but increases linearly with column density. In the wing however, there is a wide scatter in optical depth despite a tighter range of column densities.


title: Electromagnetic Quasistatic Field Formulations of Darwin Type

abstract: Electromagnetic quasistatic (EMQS) fields, where radiation effects are neglected, while Ohmic losses and electric and magnetic field energies are considered, can be modeled using Darwin-type field models as an approximation to the full Maxwell equations. Commonly formulated in terms of magnetic vector and electric scalar potentials, these EMQS formulations are not gauge invariant. Several EMQS formulations resulting from different gauge equations are considered and analyzed in terms of their structural properties and their modeling capabilities and limitations. Associated discrete field formulations in the context of the Maxwell-grid equations of the Finite Integration Technique are considered in frequency and time domain and are studied with respect to their algebraic properties. A comparison of numerical simulation results w.r.t. reference solutions obtained with established formulations for the full Maxwell equations are presented.


title: Liquid-activated quantum emission from pristine hexagonal boron nitride for nanofluidic sensing

abstract: Liquids confined down to the atomic scale can show radically new properties. However, only indirect and ensemble measurements operate in such extreme confinement, calling for novel optical approaches enabling direct imaging at the molecular level. Here, we harness fluorescence originating from single-photon emitters at the surface of hexagonal boron nitride (hBN) for molecular imaging and sensing in nanometrically confined liquids. The emission originates from the chemisorption of organic solvent molecules onto native surface defects, revealing single-molecule dynamics at the interface through spatially correlated activation of neighboring defects. Emitter spectra further offer a direct readout of local dielectric properties, unveiling increasing dielectric order under nanometer-scale confinement. Liquid-activated native hBN defects bridge the gap between solid-state nanophotonics and nanofluidics, opening new avenues for nanoscale sensing and optofluidics.


title: Automated Atomic Silicon Quantum Dot Circuit Design via Deep Reinforcement Learning

abstract: Robust automated design tools are crucial for the proliferation of any computing technology. We introduce the first automated design tool for the silicon dangling bond quantum dot computing technology, which is an extremely versatile and flexible single-atom computing circuitry framework. The automated designer is capable of navigating the complex, hyperdimensional design spaces of arbitrarily sized design areas and truth tables by employing a tabula rasa double-deep Q-learning reinforcement learning algorithm. Robust policy convergence is demonstrated for a wide range of two-input, one-output logic circuits and a two-input, two-output half-adder, designed with an order of magnitude fewer SiDBs in several orders of magnitude less time than the only other half-adder demonstrated in the literature. We anticipate that reinforcement learning-based automated design tools will accelerate the development of the SiDB quantum dot computing technology, leading to its eventual adoption in specialized computing hardware.


title: COCTEAU: an Empathy-Based Tool for Decision-Making

abstract: Traditional approaches to data-informed policymaking are often tailored to specific contexts and lack strong citizen involvement and collaboration, which are required to design sustainable policies. We argue the importance of empathy-based methods in the policymaking domain given the successes in diverse settings, such as healthcare and education. In this paper, we introduce COCTEAU (Co-Creating The European Union), a novel framework built on the combination of empathy and gamification to create a tool aimed at strengthening interactions between citizens and policy-makers. We describe our design process and our concrete implementation, which has already undergone preliminary assessments with different stakeholders. Moreover, we briefly report pilot results from the assessment. Finally, we describe the structure and goals of our demonstration regarding the newfound formats and organizational aspects of academic conferences.


title: Current status of the problem of thermal Casimir force

abstract: The problem of thermal Casimir force, which consists in disagreement of theoretical predictions of the fundamental Lifshitz theory with the measurement data of high precision experiments and some peculiar properties of the Casimir entropy, is reviewed. We discuss different approaches to the resolution of this problem proposed in the literature during the last twenty years. Particular attention is given to the role of the effects of spatial dispersion. The recently suggested nonlocal Drude-like permittivities which take proper account of the dissipation of conduction electrons and bring the predictions of the Lifshitz theory in agreement with experiment and requirements of thermodynamics are considered. The prospects of this approach in the ultimate resolution of the problem of thermal Casimir force are evaluated.


title: Atomic Coherence Assisted Multipartite Entanglement Generation with DELC Four-Wave Mixing

abstract: Multipartite entanglement plays an important role in quantum information processing and quantum metrology. Here, the dressing-energy-level-cascaded (DELC) four-wave mixing (FWM) processes are proposed to generate all-optical controlled multipartite entanglement within a single device. The entanglement characteristics of the produced states of light are characterized by applying the Duan criterion and the positivity under partial transposition criterion. Moreover, by using an internal dressing field to modulate atomic coherence, multiple quantum coherent channels of FWM are simultaneously constructed, which result in a great extension of entanglement mode number and quantum information capacity. We find that the violation of the entanglement criteria inequalities is coherent-channel dependent, and the produced states can be directly modulated via atomic coherence. Our system can integrate the generation and modulation of the entangled states in one process. It may help provide a compact method for realizing large scale quantum networks.


title: Reuse your features: unifying retrieval and feature-metric alignment

abstract: We propose a compact pipeline to unify all the steps of Visual Localization: image retrieval, candidate re-ranking and initial pose estimation, and camera pose refinement. Our key assumption is that the deep features used for these individual tasks share common characteristics, so we should reuse them in all the procedures of the pipeline. Our DRAN (Deep Retrieval and image Alignment Network) is able to extract global descriptors for efficient image retrieval, use intermediate hierarchical features to re-rank the retrieval list and produce an initial pose guess, which is finally refined by means of a feature-metric optimization based on learned deep multi-scale dense features. DRAN is the first single network able to produce the features for the three steps of visual localization. DRAN achieves competitive performance in terms of robustness and accuracy under challenging conditions in public benchmarks, outperforming other unified approaches and consuming lower computational and memory cost than its counterparts using multiple networks. Code and models will be publicly available at https://github.com/jmorlana/DRAN.


title: Conserved energies for the one dimensional Gross-Pitaevskii equation: low regularity case

abstract: We construct a family of conserved energies for the one dimensional Gross-Pitaevskii equation, but in the low regularity case (in \cite{KL} we have constructed conserved energies in the high regularity situation). This can be done thanks to regularization procedures and a study of the topological structure of the finite-energy space. The asymptotic (regularised conserved) phase change on the real line with values in $ \R/2\pi \Z$ is studied. We also construct a conserved quantity, the renormalized momentum $H_1$ (see Theorem \ref{thm:E1}), on the universal covering space of the finite-energy space.


title: Pseudo-Riemannian Sasaki solvmanifolds

abstract: We study a class of left-invariant pseudo-Riemannian Sasaki metrics on solvable Lie groups, which can be characterized by the property that the zero level set of the moment map relative to the action of some one-parameter subgroup $\{\exp tX\}$ is a normal nilpotent subgroup commuting with $\{\exp tX\}$, and $X$ is not lightlike. We characterize this geometry in terms of the Sasaki reduction and its pseudo-K\"ahler quotient under the action generated by the Reeb vector field. We classify pseudo-Riemannian Sasaki solvmanifolds of this type in dimension $5$ and those of dimension $7$ whose K\"ahler reduction in the above sense is abelian.


title: Matrix Product Operator Algebras II: Phases of Matter for 1D Mixed States

abstract: The classification of topological phases of matter is fundamental to understand and characterize the properties of quantum materials. In this paper we study phases of matter in one-dimensional open quantum systems. We define two mixed states to be in the same phase if both states can be transformed into the other by a shallow circuit of local quantum channels. We aim to understand the phase diagram of matrix product density operators that are renormalization fixed points. These states arise, for example, as boundaries of two-dimensional topologically ordered states. We first construct families of such states based on C*-weak Hopf algebras, the algebras whose representations form a fusion category. More concretely, we provide explicit local fine-graining and local coarse-graining quantum channels for the renormalization procedure of these states. Finally, we prove that those arising from C*-Hopf algebras are in the trivial phase.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Z3 Charge Density Wave of Silicon Atomic Chains on a Vicinal Silicon Surface

abstract: An ideal one-dimensional electronic system is formed along atomic chains on Au-decorated vicinal silicon surfaces but the nature of its low temperature phases has been puzzled for last two decades. Here, we unambiguously identify the low temperature structural distortion of this surface using high resolution atomic force microscopy and scanning tunneling microscopy. The most important structural ingredient of this surface, the step-edge Si chains are found to be strongly buckled, every third atoms down, forming trimer unitcells. This observation is consistent with the recent model of rehybridized dangling bonds and rules out the antiferromagnetic spin ordering proposed earlier. The spectroscopy and electronic structure calculation indicate a charge density wave insulator with a Z3 topology making it possible to exploit topological phases and excitations. Tunneling current was found to substantially lower the energy barrier between three degenerate CDW states, which induces a dynamically fluctuating CDW at very low temperature.


title: Enabling Synthetic Data adoption in regulated domains

abstract: The switch from a Model-Centric to a Data-Centric mindset is putting emphasis on data and its quality rather than algorithms, bringing forward new challenges. In particular, the sensitive nature of the information in highly regulated scenarios needs to be accounted for. Specific approaches to address the privacy issue have been developed, as Privacy Enhancing Technologies. However, they frequently cause loss of information, putting forward a crucial trade-off among data quality and privacy. A clever way to bypass such a conundrum relies on Synthetic Data: data obtained from a generative process, learning the real data properties. Both Academia and Industry realized the importance of evaluating synthetic data quality: without all-round reliable metrics, the innovative data generation task has no proper objective function to maximize. Despite that, the topic remains under-explored. For this reason, we systematically catalog the important traits of synthetic data quality and privacy, and devise a specific methodology to test them. The result is DAISYnt (aDoption of Artificial Intelligence SYnthesis): a comprehensive suite of advanced tests, which sets a de facto standard for synthetic data evaluation. As a practical use-case, a variety of generative algorithms have been trained on real-world Credit Bureau Data. The best model has been assessed, using DAISYnt on the different synthetic replicas. Further potential uses, among others, entail auditing and fine-tuning of generative models or ensuring high quality of a given synthetic dataset. From a prescriptive viewpoint, eventually, DAISYnt may pave the way to synthetic data adoption in highly regulated domains, ranging from Finance to Healthcare, through Insurance and Education.


title: Active Diffusion and VCA-Assisted Image Segmentation of Hyperspectral Images

abstract: Hyperspectral images encode rich structure that can be exploited for material discrimination by machine learning algorithms. This article introduces the Active Diffusion and VCA-Assisted Image Segmentation (ADVIS) for active material discrimination. ADVIS selects high-purity, high-density pixels that are far in diffusion distance (a data-dependent metric) from other high-purity, high-density pixels in the hyperspectral image. The ground truth labels of these pixels are queried and propagated to the rest of the image. The ADVIS active learning algorithm is shown to strongly outperform its fully unsupervised clustering algorithm counterpart, suggesting that the incorporation of a very small number of carefully-selected ground truth labels can result in substantially superior material discrimination in hyperspectral images.


title: TIB-VA at SemEval-2022 Task 5: A Multimodal Architecture for the Detection and Classification of Misogynous Memes

abstract: The detection of offensive, hateful content on social media is a challenging problem that affects many online users on a daily basis. Hateful content is often used to target a group of people based on ethnicity, gender, religion and other factors. The hate or contempt toward women has been increasing on social platforms. Misogynous content detection is especially challenging when textual and visual modalities are combined to form a single context, e.g., an overlay text embedded on top of an image, also known as meme. In this paper, we present a multimodal architecture that combines textual and visual features in order to detect misogynous meme content. The proposed architecture is evaluated in the SemEval-2022 Task 5: MAMI - Multimedia Automatic Misogyny Identification challenge under the team name TIB-VA. Our solution obtained the best result in the Task-B where the challenge is to classify whether a given document is misogynous and further identify the main sub-classes of shaming, stereotype, objectification, and violence.


title: Linear Expand-Contract Plasticity of Ellipsoids Revisited

abstract: This work is aimed to describe linear expand-contract plastic ellipsoids given via quadratic form of a bounded positively defined self-adjoint operator in terms of its spectrum.


title: Estimation of stellar atmospheric parameters from LAMOST DR8 low-resolution spectra with 20$\leq$SNR$<$30

abstract: The accuracy of the estimated stellar atmospheric parameter decreases evidently with the decreasing of spectral signal-to-noise ratio (SNR) and there are a huge amount of this kind observations, especially in case of SNR$<$30. Therefore, it is helpful to improve the parameter estimation performance for these spectra and this work studied the ($T_\texttt{eff}, \log~g$, [Fe/H]) estimation problem for LAMOST DR8 low-resolution spectra with 20$\leq$SNR$<$30. We proposed a data-driven method based on machine learning techniques. Firstly, this scheme detected stellar atmospheric parameter-sensitive features from spectra by the Least Absolute Shrinkage and Selection Operator (LASSO), rejected ineffective data components and irrelevant data. Secondly, a Multi-layer Perceptron (MLP) method was used to estimate stellar atmospheric parameters from the LASSO features. Finally, the performance of the LASSO-MLP was evaluated by computing and analyzing the consistency between its estimation and the reference from the APOGEE (Apache Point Observatory Galactic Evolution Experiment) high-resolution spectra. Experiments show that the Mean Absolute Errors (MAE) of $T_\texttt{eff}, \log~g$, [Fe/H] are reduced from the LASP (137.6 K, 0.195 dex, 0.091 dex) to LASSO-MLP (84.32 K, 0.137 dex, 0.063 dex), which indicate evident improvements on stellar atmospheric parameter estimation. In addition, this work estimated the stellar atmospheric parameters for 1,162,760 low-resolution spectra with 20$\leq$SNR$<$30 from LAMOST DR8 using LASSO-MLP, and released the estimation catalog, learned model, experimental code, trained model, training data and test data for scientific exploration and algorithm study.


title: Constraints on Primordial Magnetic Fields from their impact on the ionization history with Planck 2018

abstract: We update and extend our previous CMB anisotropy constraints on primordial magnetic fields through their dissipation by ambipolar diffusion and MHD decaying turbulence effects on the post-recombination ionization history. We derive the constraints using the latest Planck 2018 data release which improves on the E-mode polarization leading to overall tighter constraints with respect to Planck 2015. We also use the low-multipole E-mode polarization likelihood obtained by the SROLL2 map making algorithm and we note how it is compatible with larger magnetic field amplitudes than the Planck 2018 baseline, especially for positive spectral indices. The 95% CL constraints on the amplitude of the magnetic fields from the combination of the effects is $\sqrt{\langle B^2 \rangle} <0.69 (<0.72)$ nG for Planck 2018 (SROLL2) by marginalizing on the magnetic spectral index. We also investigate the impact of a damping scale allowed to vary and the interplay between the magnetic field effects and the lensing amplitude parameter.


title: Formal Laurent series rings and the Hermite ring conjecture

abstract: We study the question if projective modules over formal Laurent series rings are extended. We relate this question to the Bass-Quillen conjecture for commutative regular local rings and to the Hermite ring conjecture for all commutative local rings. Using our result about projective modules over formal Laurent series rings, we prove a reduction step for the Hermite ring conjecture. We show that the Hermite ring conjecture holds for all commutative local rings if and only if it holds for complete intersection rings which are also unique factorization domains.


title: Primordial Gravitational Waves Predictions for GW170817-compatible Einstein-Gauss-Bonnet Theory

abstract: In this work we shall calculate in detail the effect of an GW170817-compatible Einstein-Gauss-Bonnet theory on the energy spectrum of the primordial gravitational waves. The spectrum is affected by two characteristics, the overall amplification/damping factor caused by the GW170817-compatible Einstein-Gauss-Bonnet theory and by the tensor spectral index and the tensor-to-scalar ratio. We shall present the formalism for studying the inflationary dynamics and post-inflationary dynamics of GW170817-compatible Einstein-Gauss-Bonnet theories for all redshifts starting from the radiation era up to the dark energy era. We exemplify our formalism by using two characteristic models, which produce viable inflationary and dark energy eras. As we demonstrate, remarkably the overall damping/amplification factor is of the order of unity, thus the GW170817-compatible Einstein-Gauss-Bonnet models affect the primordial gravitational waves energy spectrum only via their tensor spectral index and the tensor-to-scalar ratio. Both models have a blue tilted tensor spectrum, and therefore the predicted energy spectrum of the primordial gravity waves can be detectable by most of the future gravitational waves experiments, for various reheating temperatures.


title: Automatic Multi-Label Prompting: Simple and Interpretable Few-Shot Classification

abstract: Prompt-based learning (i.e., prompting) is an emerging paradigm for exploiting knowledge learned by a pretrained language model. In this paper, we propose Automatic Multi-Label Prompting (AMuLaP), a simple yet effective method to automatically select label mappings for few-shot text classification with prompting. Our method exploits one-to-many label mappings and a statistics-based algorithm to select label mappings given a prompt template. Our experiments demonstrate that AMuLaP achieves competitive performance on the GLUE benchmark without human effort or external resources.


title: First Order Topological Phase Transitions and Disorder Induced Majorana Modes in Interacting Fermion Chains

abstract: Using a combination of the mean-field Bogoliubov deGennes (BdG) approach and the Density Matrix Renormalization Group (DMRG) method, we discover first order topological transitions between topological superconducting and trivial insulating phases in a sawtooth lattice of inter-site attractive fermions. Topological characterization of different phases is achieved in terms of winding numbers, Majorana edge modes and entanglement spectra. By studying the effect of disorder on the first order topological phase transitions, we establish the disorder-induced topological phase coexistence as a mechanism for generating a finite density of Majorana particles.


title: Multi-View Consistent Generative Adversarial Networks for 3D-aware Image Synthesis

abstract: 3D-aware image synthesis aims to generate images of objects from multiple views by learning a 3D representation. However, one key challenge remains: existing approaches lack geometry constraints, hence usually fail to generate multi-view consistent images. To address this challenge, we propose Multi-View Consistent Generative Adversarial Networks (MVCGAN) for high-quality 3D-aware image synthesis with geometry constraints. By leveraging the underlying 3D geometry information of generated images, i.e., depth and camera transformation matrix, we explicitly establish stereo correspondence between views to perform multi-view joint optimization. In particular, we enforce the photometric consistency between pairs of views and integrate a stereo mixup mechanism into the training process, encouraging the model to reason about the correct 3D shape. Besides, we design a two-stage training strategy with feature-level multi-view joint optimization to improve the image quality. Extensive experiments on three datasets demonstrate that MVCGAN achieves the state-of-the-art performance for 3D-aware image synthesis.


title: Signal-to-noise ratio analysis of single-pixel detection multiplexing under photon-noise. Cases of Hadamard and Cosine positive modulation

abstract: In typical single-pixel detection multiplexing, an unknown object is sequentially illuminated with intensity patterns: the total signal is summed into a single-pixel detector and is then demultiplexed to retrieve the object. Because of measurement noise, the retrieved object differs from the ground truth by some error quantified by the signal-to-noise ratio (SNR). In situations where the noise only arises from the photon counting process, it has not been made clear if single-pixel detection multiplexing leads to a better SNR than simply scanning the object with a focused intensity spot - a modality known as raster scanning. This study theoretically assesses the SNR associated with certain types of single-pixel detection multiplexing, and compares it with raster scanning. In particular, we show that, under photon noise, when the positive intensity modulation is based on Hadamard or Cosine patterns, single-pixel detection multiplexing does not systematically improve the SNR as compared to raster scanning. Instead, it only improves the SNR on object pixels at least $k$ times brighter than the object mean signal $\bar{x}$, where $k$ is a constant that depends on the modulation scheme.


title: Call-sign recognition and understanding for noisy air-traffic transcripts using surveillance information

abstract: Air traffic control (ATC) relies on communication via speech between pilot and air-traffic controller (ATCO). The call-sign, as unique identifier for each flight, is used to address a specific pilot by the ATCO. Extracting the call-sign from the communication is a challenge because of the noisy ATC voice channel and the additional noise introduced by the receiver. A low signal-to-noise ratio (SNR) in the speech leads to high word error rate (WER) transcripts. We propose a new call-sign recognition and understanding (CRU) system that addresses this issue. The recognizer is trained to identify call-signs in noisy ATC transcripts and convert them into the standard International Civil Aviation Organization (ICAO) format. By incorporating surveillance information, we can multiply the call-sign accuracy (CSA) up to a factor of four. The introduced data augmentation adds additional performance on high WER transcripts and allows the adaptation of the model to unseen airspaces.


title: Deep Learning-based Framework for Automatic Cranial Defect Reconstruction and Implant Modeling

abstract: The goal of this work is to propose a robust, fast, and fully automatic method for personalized cranial defect reconstruction and implant modeling. We propose a two-step deep learning-based method using a modified U-Net architecture to perform the defect reconstruction, and a dedicated iterative procedure to improve the implant geometry, followed by automatic generation of models ready for 3-D printing. We propose a cross-case augmentation based on imperfect image registration combining cases from different datasets. We perform ablation studies regarding different augmentation strategies and compare them to other state-of-the-art methods. We evaluate the method on three datasets introduced during the AutoImplant 2021 challenge, organized jointly with the MICCAI conference. We perform the quantitative evaluation using the Dice and boundary Dice coefficients, and the Hausdorff distance. The average Dice coefficient, boundary Dice coefficient, and the 95th percentile of Hausdorff distance are 0.91, 0.94, and 1.53 mm respectively. We perform an additional qualitative evaluation by 3-D printing and visualization in mixed reality to confirm the implant's usefulness. We propose a complete pipeline that enables one to create the cranial implant model ready for 3-D printing. The described method is a greatly extended version of the method that scored 1st place in all AutoImplant 2021 challenge tasks. We freely release the source code, that together with the open datasets, makes the results fully reproducible. The automatic reconstruction of cranial defects may enable manufacturing personalized implants in a significantly shorter time, possibly allowing one to perform the 3-D printing process directly during a given intervention. Moreover, we show the usability of the defect reconstruction in mixed reality that may further reduce the surgery time.


title: Data-driven soliton solutions and model parameters of nonlinear wave models via the conservation-law constrained neural network method

abstract: In the process of the deep learning, we integrate more integrable information of nonlinear wave models, such as the conservation law obtained from the integrable theory, into the neural network structure, and propose a conservation-law constrained neural network method with the flexible learning rate to predict solutions and parameters of nonlinear wave models. As some examples, we study real and complex typical nonlinear wave models, including nonlinear Schr\"odinger equation, Korteweg-de Vries and modified Korteweg-de Vries equations. Compared with the traditional physics-informed neural network method, this new method can more accurately predict solutions and parameters of some specific nonlinear wave models even when less information is needed, for example, in the absence of the boundary conditions. This provides a reference to further study solutions of nonlinear wave models by combining the deep learning and the integrable theory.


title: A faithful solid-state spin-wave quantum memory for polarization qubits

abstract: Polarization-encoded qubits are particularly useful in quantum information tasks due to the easy transportation in a single spatial and temporal mode, the accurate qubit manipulation and the high robustness against decoherence. Reliable storage of polarization-encoded qubits is essential for the construction of large-scale quantum networks. Here we demonstrate a faithful quantum memory for photonic polarization qubits using the noiseless photon echo protocol implemented in a rare-earth-ion doped crystal (151Eu3+:Y2SiO5). Based on a detailed spectroscopic investigation on the 151Eu3+ ions at the site 2 of Y2SiO5 crystals, the qubit memory is implemented using a single piece of crystal which provides a near-uniform absorption for two orthogonal polarization states. A process fidelity of 0.919(24) is obtained for the storage of qubits carried by single-photon-level coherent pulses, which is beyond the maximal fidelity that can be achieved using the classical measure-and-prepare strategy. This compact device shall provide a useful solution for the construction of a long-lived transportable quantum memory and the memory-based quantum networks.


title: Investigating the efficiency of marginalising over discrete parameters in Bayesian computations

abstract: Bayesian analysis methods often use some form of iterative simulation such as Monte Carlo computation. Models that involve discrete variables can sometime pose a challenge, either because the methods used do not support such variables (e.g. Hamiltonian Monte Carlo) or because the presence of such variables can slow down the computation. A common workaround is to marginalise the discrete variables out of the model. While it is reasonable to expect that such marginalisation would also lead to more time-efficient computations, to our knowledge this has not been demonstrated beyond a few specialised models. We explored the impact of marginalisation on the computational efficiency for a few simple statistical models. Specifically, we considered two- and three-component Gaussian mixture models, and also the Dawid-Skene model for categorical ratings. We explored each with two software implementations of Markov chain Monte Carlo techniques: JAGS and Stan. We directly compared marginalised and non-marginalised versions of the same model using the samplers on the same software. Our results show that marginalisation on its own does not necessarily boost performance. Nevertheless, the best performance was usually achieved with Stan, which requires marginalisation. We conclude that there is no simple answer to whether or not marginalisation is helpful. It is not necessarily the case that, when turned 'on', this technique can be assured to provide computational benefit independent of other factors, nor is it likely to be the model component that has the largest impact on computational efficiency.


title: Observation of a Jump Like Transition from Fast to Normal Kinetics of Facets for Free Growing Helium Crystals

abstract: The growth kinetics is studied of free-growing helium crystals within the temperature range 0.5-0.83 K and supersaturations to 10 mbar. For the pressure supersaturations above 0.5 mbar, numerous drastic changes are observed in the growth kinetics for all crystalline facets from the normal and slow kinetics to the anomalously high or burst-like one. It is found for the first time that the anomalous to normal transition in the facet growth kinetics occurs in a jump like manner within a time 80 {\mu}s interval of the measurement record.


title: LED-based photo-CIDNP hyperpolarization enables 19F MR imaging and 19F NMR spectroscopy of 3-fluoro-DL-tyrosine at 0.6 T

abstract: Although 19F has high potential to serve as a background-free molecular marker in bioimaging, the molar amount of marker substance is often too small to enable 19F MR imaging or 19F NMR spectroscopy with a sufficiently high signal-to-noise ratio (SNR). Hyperpolarization methods such as parahydrogen-based hyperpolarization or dynamic nuclear polarization (DNP) can significantly improve the SNR, but require expensive and complex sample preparation and the removal of toxic catalysts and solvents. Therefore, we used the biologically compatible model of the fluorinated amino acid 3-fluoro-DL-tyrosine with riboflavin 5'-monophosphate (FMN) as a chromophore dissolved in D2O with 3.4% H2Odest. allowing to transform light energy into hyperpolarization of the 19F nucleus via photo-chemically induced dynamic nuclear polarization (photo-CIDNP). We used a low-cost high-power blue LED to illuminate the sample replacing traditionally used laser excitation, which is both potentially harmful and costly. For the first time, we present results of hyperpolarized 19F MRI and 19F NMR performed with a low-cost 0.6 T benchtop MRI system. The device allowed simultaneous dual channel 1H/19F NMR. 19F imaging was performed with a (0.94 mm)2 in-plane resolution. This enabled the spatial resolution of different degrees of hyperpolarization within the sample. We estimated the photo-CIDNP-based 19F signal enhancement at 0.6 T to be approximately 465. FMN did not bleach out even after multiple excitations, so that the signal-to-noise ratio could be further improved by averaging hyperpolarized signals. The results show that the easy-to-use experimental setup has a high potential to serve as an efficient preclinical tool for hyperpolarization studies in bioimaging.


title: The Ceresa class and tropical curves of hyperelliptic type

abstract: We define a new algebraic invariant of a graph $G$ called the Ceresa-Zharkov class and show that it is trivial if and only if $G$ is of hyperelliptic type, equivalently, $G$ does not have as a minor the complete graph on 4 vertices or the loop of 3 loops. After choosing edge-lengths, this class specializes to an algebraic invariant of a tropical curve with underlying graph $G$ that is closely related to the Ceresa cycle for an algebraic curve defined over $\mathbb{C}(\!(t)\!)$.


title: Several problems on reduced spherical polygons of thickness less than {\pi}/2

abstract: The present paper aims to solve some problems proposed by Lassak about the reduced spherical polygons. The main result is to show that the regular spherical n-gon has the minimal perimeter among all reduced spherical polygons of fixed thickness less than {\pi}/2 and with at most n vertices. In addition, we determine the maximal diameter of every reduced spherical polygons with a fixed thickness less than {\pi}/2. We also find the smallest spherical radius that contains every reduced spherical polygons with a fixed thickness less than {\pi}/2.


title: Exploring coherent elastic neutrino-nucleus scattering using reactor electron antineutrinos in the NEON experiment

abstract: Neutrino elastic scattering observation with NaI (NEON) is an experiment designed to detect neutrino-nucleus coherent scattering using reactor electron antineutrinos. NEON is based on an array of six NaI(Tl) crystals with a total mass of 13.3 kg, located at the tendon gallery that is 23.7 m away from a reactor core with a thermal power of 2.8 GW in the Hanbit nuclear power complex. The installation of the NEON detector was completed in December 2020, and since May 2021, the detector has acquired data at full reactor power. Based on the observed light yields of the NaI crystals of approximately 22, number of photoelectrons per unit keV electron-equivalent energy (keVee), and 6 counts/kg/keV/day background level at 2-6 keVee energy, coherent elastic neutrino-nucleus scattering observation sensitivity is evaluated as more than 3$\sigma$ assuming one-year reactor-on and 100 days reactor-off data, 0.2 keVee energy threshold, and 7 counts/keV/kg/day background in the signal region of 0.2-0.5 keVee. This paper describes the design of the NEON detector, including the shielding arrangement, configuration of NaI(Tl) crystals, and associated operating systems. The initial performance and associated sensitivity of the experiment are also presented.


title: A "parallel universe" scheme for crack nucleation in the phase field approach to fracture

abstract: Crack nucleation is crucial in many industrial applications. The phase field method for fracture transforms the crack nucleation problem into a minimization problem of the sum of the elastic potential energy and the crack surface energy. Due to the polyconvexity of the formulation, starting from a crackless solid, a standard Newton iteration may lead to a solution with no crack, even though a cracked solution has a lower total energy. As such, the critical load for cracking is highly overestimated. Here, we propose an algorithm termed "parallel universe" algorithm to capture the global minimum. This algorithm has two key ingredients: (a) a necessary condition for cracking solely based on the current crackless solution, and (b) beginning from when this condition is met, Newton iteration with two initial guesses, a crackles one and a cracked one, will both be performed and the converged candidate solution with lower energy is accepted as the solution at that load step. Once the cracked candidate solution is accepted, the crackless one is discarded, i.e., only one universe is retained. This cracked initial guess is obtained only once for all load steps by solving a series of similar minimization problems with a progressively reduced critical crack energy release rate. Numerical examples with isotropic and anisotropic critical crack energy release rates indicate that the proposed algorithm is more reliable (as there is no need to retrace) and more efficient than the standard Newton iteration and a well-known backtracking algorithm.


title: Eigenvector in Non-Commutative Algebra

abstract: $\newcommand{\Vector}[1]{\bar{#1}{}}$ $\newcommand{\Basis}[1]{\bar{\bar{#1}}{}}$ $\newcommand{\RC}{{}_*{}^*-}$ Let $\Basis e$ be a basis of vector space $V$ over non-commutative $D$-algebra $A$. Endomorhism $\Vector{\Basis eb}$ of vector space $V$ whose matrix with respect to given basis $\Basis e$ has form $Eb$ where $E$ is identity matrix is called similarity transformation with respect to the basis $\Basis e$. Let $V$ be a left $A$-vector space and $\Basis e$ be basis of left $A$-vector space $V$. The vector $v\in V$ is called eigenvector of the endomorphism \[\Vector f:V\rightarrow V\] with respect to the basis $\Basis e$, if there exists $b\in A$ such that \[ \Vector f\circ{v}= \Vector{\Basis eb} \circ{v} \] $A$-number $b$ is called eigenvalue of the endomorphism $\Vector f$ with respect to the basis $\Basis e$. There are two products of matrices: ${}_*{}^*$ (row column: $(ab)^i_j=a^i_kb^k_j$) and ${}^*{}_*$ (column row: $(ab)^i_j=a^k_jb^i_k$). $A$-number $b$ is called $\RC$ eigenvalue of the matrix $f$ if the matrix $f-bE$ is $\RC$ singular matrix. The $A$-number $b$ is called right $\RC$ eigenvalue if there exists the column vector $u$ which satisfies to the equality \[a{}_*{}^* u=ub\] The column vector $u$ is called eigencolumn for right $\RC$ eigenvalue $b$. The $A$-number $b$ is called left $\RC$ eigenvalue if there exists the row vector $u$ which satisfies to the equality \[u{}_*{}^* a=bu\] The row vector $u$ is called eigenrow for right $\RC$ eigenvalue $b$. The set $\RC$ $\mathrm{spec}(a)$ of all left and right $\RC$ eigenvalues is called $\RC$ spectrum of the matrix a.


title: A Case Study on Identifying Bifurcation and Chaos with CROCKER Plots

abstract: The CROCKER plot is a coarsened but easy to visualize representation of the data in a one-parameter varying family of persistence barcodes. In this paper, we use the CROCKER plot to view changes in the persistence under a varying bifurcation parameter. We perform experiments to support our methods using the R\"ossler and Lorenz system and show the relationship with common methods for bifurcation analysis such as the Lyapunov exponent.


title: Production federated keyword spotting via distillation, filtering, and joint federated-centralized training

abstract: We trained a keyword spotting model using federated learning on real user devices and observed significant improvements when the model was deployed for inference on phones. To compensate for data domains that are missing from on-device training caches, we employed joint federated-centralized training. And to learn in the absence of curated labels on-device, we formulated a confidence filtering strategy based on user-feedback signals for federated distillation. These techniques created models that significantly improved quality metrics in offline evaluations and user-experience metrics in live A/B experiments.


title: First principles cosmology of the Standard Model epoch

abstract: This is a short summary of a project to construct a first principles cosmology of the Standard Model epoch, the period starting shortly before the electro-weak transition. The cosmology is derived from a simple initial state entirely within the SM and General Relativity. The initial state is semi-classical -- concentrated near a classical solution of the SM equations of motion -- and is precisely specified by a few simple conditions. The dark matter is a classical effect, a coherent state of the SU(2)-weak gauge field and the Higgs field. The leading order, classical universe contains only the dark matter. Ordinary matter is a correction due to the fluctuations of the SM fields around the classical trajectory. The initial state produces a homogeneous, isotropic, flat universe. There are no adjustable parameters. No physics beyond the SM is invoked. Only the classical calculations have been done so far. The time evolution of the fluctuations remains to be calculated.


title: Rank One Approximation as a Strategy for Wordle

abstract: This paper presents a mathematical method of playing the puzzle game Wordle. In Wordle, the player has six tries to guess a secret word. After each guess the player is told how their guess compares to the secret word. With the available information the player makes their next guess. This paper proposes combining a rank one approximation and latent semantic indexing to a matrix representing the list of all possible solutions. Rank one approximation finds the dominant eigenvector of a matrix of words, and latent semantic indexing reveals which word is closest to the dominant eigenvector. The word whose column vector is closest to the dominant eigenvector is chosen as the next guess. With this method the most representative word of the set of all possible solutions is selected. This paper describes how a word can be converted to a vector and the theory behind a rank one approximation and latent semantic indexing. This paper presents results demonstrating that with an initial guess of "SLATE" the method solves the puzzle in 4.04 guesses on average, with a success rate of 98.7%


title: Lessons learned from replicating a study on information-retrieval based test case prioritization

abstract: Objective: In this study, we aim to replicate an artefact-based study on software testing to address the gap. We focus on (a) providing a step by step guide of the replication, reflecting on challenges when replicating artefact-based testing research, (b) Evaluating the replicated study concerning its validity and robustness of the findings. Method: We replicate a test case prioritization technique by Kwon et al. We replicated the original study using four programs, two from the original study and two new programs. The replication study was implemented using Python to support future replications. Results: Various general factors facilitating replications are identified, such as: (1) the importance of documentation; (2) the need of assistance from the original authors; (3) issues in the maintenance of open source repositories (e.g., concerning needed software dependencies); (4) availability of scripts. We also raised several observations specific to the study and its context, such as insights from using different mutation tools and strategies for mutant generation. Conclusion: We conclude that the study by Kwon et al. is replicable for small and medium programs and could be automated to facilitate software practitioners, given the availability of required information.


title: Recognition of Freely Selected Keypoints on Human Limbs

abstract: Nearly all Human Pose Estimation (HPE) datasets consist of a fixed set of keypoints. Standard HPE models trained on such datasets can only detect these keypoints. If more points are desired, they have to be manually annotated and the model needs to be retrained. Our approach leverages the Vision Transformer architecture to extend the capability of the model to detect arbitrary keypoints on the limbs of persons. We propose two different approaches to encode the desired keypoints. (1) Each keypoint is defined by its position along the line between the two enclosing keypoints from the fixed set and its relative distance between this line and the edge of the limb. (2) Keypoints are defined as coordinates on a norm pose. Both approaches are based on the TokenPose architecture, while the keypoint tokens that correspond to the fixed keypoints are replaced with our novel module. Experiments show that our approaches achieve similar results to TokenPose on the fixed keypoints and are capable of detecting arbitrary keypoints on the limbs.


title: Nonlocal generalization of the SM as an explanation of recent CDF result

abstract: In this note I show that nonlocal generalization of the standard model (SM) with nonlocal scale $\Lambda_{nl} \approx 3$ TeV can explain recent CDF result on the W-mass measurement


title: HuBERT-EE: Early Exiting HuBERT for Efficient Speech Recognition

abstract: Pre-training with self-supervised models, such as Hidden-unit BERT (HuBERT) and wav2vec 2.0, has brought significant improvements in automatic speech recognition (ASR). However, these models usually require an expensive computational cost to achieve outstanding performance, slowing down the inference speed. To improve the model efficiency, we introduce an early exit scheme for ASR, namely HuBERT-EE, that allows the model to stop the inference dynamically. In HuBERT-EE, multiple early exit branches are added at the intermediate layers. When the intermediate prediction of the early exit branch is confident, the model stops the inference, and the corresponding result can be returned early. We investigate the proper early exiting criterion and fine-tuning strategy to effectively perform early exiting. Experimental results on the LibriSpeech show that HuBERT-EE can accelerate the inference of the HuBERT while simultaneously balancing the trade-off between the performance and the latency.


title: On the (Non-)Stationary Density of Fractional-Driven Stochastic Differential Equations

abstract: We investigate the stationary measure $\pi$ of SDEs driven by additive fractional noise with any Hurst parameter and establish that $\pi$ admits a smooth Lebesgue density obeying both Gaussian-type lower and upper bounds. The proofs are based on a novel representation of the stationary density in terms of a Wiener-Liouville bridge, which proves to be of independent interest: We show that it also allows to obtain Gaussian bounds on the non-stationary density, which extend previously known results in the additive setting. In addition, we study a parameter-dependent version of the SDE and prove smoothness of the stationary density, jointly in the parameter and the spatial coordinate. With this we revisit the fractional averaging principle of Li and Sieber [Ann. Appl. Probab. 32(5) (2022)] and remove an ad-hoc assumption on the limiting coefficients. Avoiding any use of Malliavin calculus in our arguments, we can prove our results under minimal regularity requirements.


title: Effects of stellar-mass primordial black holes on first star formation

abstract: We use cosmological hydrodynamic zoom-in simulations and semi-analytical models to study the effects of primordial black holes (PBHs) on first star formation. Our models self-consistently combine two competing effects: initial (isocurvature) perturbations induced by PBHs and BH accretion feedback. Focusing on PBHs with masses $\sim 30\ \rm M_{\odot}$, we find that the standard picture of first star formation in molecular-cooling minihaloes is not changed by PBHs, as the simulated star-forming gas clouds in the central parsec are very similar to those in the $\rm \Lambda CDM$ case when PBHs make up $f_{\rm PBH}\sim 10^{-4}-0.1$ of dark matter. With a dynamical friction timescale of $\sim 2-10\ \rm Myr$ when the central gas density reaches $10^{5}\ \rm cm^{-3}$, it is also unlikely that PBHs can sink into star-forming discs and affect the evolution of protostars, although they may interact with the stars during the main-sequence stage. At larger scales, PBHs tend to shift star formation to more massive haloes, and accelerate structure formation. The latter effect is stronger in regions with higher initial overdensities. For $f_{\rm PBH}\sim 10^{-4}-0.01$ (allowed by observational constraints), the collapsed mass fraction of haloes hosting Population III stars is similar (within a factor of $\sim2$ at $z\lesssim 30$) to that in $\rm \Lambda CDM$, implying that the impact of stellar-mass PBHs on the cosmic star formation history at $z\gtrsim 10$ is small. We also find that the Lyman-Werner photons from PBH accretion in atomic-cooling haloes may facilitate the formation of direct-collapse BHs.


title: Transparent Shape from a Single View Polarization Image

abstract: This paper presents a learning-based method for transparent surface estimation from a single view polarization image. Existing shape from polarization(SfP) methods have the difficulty in estimating transparent shape since the inherent transmission interference heavily reduces the reliability of physics-based prior. To address this challenge, we propose the concept of physics-based prior, which is inspired by the characteristic that the transmission component in the polarization image has more noise than reflection. The confidence is used to determine the contribution of the interfered physics-based prior. Then, we build a network(TransSfP) with multi-branch architecture to avoid the destruction of relationships between different hierarchical inputs. To train and test our method, we construct a dataset for transparent shape from polarization with paired polarization images and ground-truth normal maps. Extensive experiments and comparisons demonstrate the superior accuracy of our method.


title: Axionic surface wave in dynamical axion insulators

abstract: The electromagnetic response of three-dimensional topological insulators can be described by an effective axion action with a quantized axion field. Once both time-reversal and inversion symmetries are broken, for example, in antiferromagnetic topological insulators, the axion field becomes dynamical along with magnetic fluctuations. The dynamical axion field, when coupled to electromagnetic fields, can lead to rich physical phenomena. Here, based on the modified Maxwell's equations, we reveal the existence of an exotic type of polariton excitation, termed a surface axion polariton, which propagates in the interface between a dynamical axion insulator and a dielectric. When doping the dynamical axion insulator to be metallic, the coexistence of axion-photon coupling and plasmon-photon coupling will further generate a mixed surface axion plasmon polariton. We also propose a Kretschmann-Raether configuration to experimentally detect the surface axion polariton. Our result provides an alternative way to study the axion electrodynamics in condensed matter physics.


title: Temperature-dependent broadening of coherent current peaks in InAs double quantum dots

abstract: Quantum systems as used for quantum computation or quantum sensing are nowadays often realized in solid state devices as e.g. complex Josephson circuits or coupled quantum-dot systems. Condensed matter as an environment influences heavily the quantum coherence of such systems. Here, we investigate electron transport through asymmetrically coupled InAs double quantum dots and observe an extremely strong temperature dependence of the coherent current peaks of single-electron tunneling. We analyze experimentally and theoretically the broadening of such coherent current peaks up to temperatures of 20 K and we are able to model it with quantum dissipation being due to two different bosonic baths. These bosonic baths mainly originate from substrate phonons. Application of a magnetic field helps us to identify the different quantum dot states through their temperature dependence.


title: Modeling crack propagation in heterogeneous materials: Griffith's law, intrinsic crack resistance and avalanches

abstract: Various kinds of heterogeneity in solids including atomistic discreteness affect the fracture strength as well as the failure dynamics remarkably. Here we study the effects of an initial crack in a discrete model for fracture in heterogeneous materials, known as the fiber bundle model. We find three distinct regimes for fracture dynamics depending on the initial crack size. If the initial crack is smaller than a certain value, it does not affect the rupture dynamics and the critical stress. While for a larger initial crack, the growth of the crack leads to a breakdown of the entire system, and the critical stress depends on the crack size in a power-law manner with a nontrivial exponent. The exponent, as well as the limiting crack size, depend on the strength of heterogeneity and the range of stress relaxation in the system.


title: Swarm Modelling with Dynamic Mode Decomposition

abstract: Modelling biological or engineering swarms is challenging due to the inherently high dimension of the system, despite the often low-dimensional emergent dynamics. Most existing swarm modelling approaches are based on first principles and often result in swarm-specific parameterizations that do not generalize to a broad range of applications. In this work, we apply a purely data-driven method to (1) learn local interactions of homogeneous swarms through observation data and to (2) generate similar swarming behaviour using the learned model. In particular, a modified version of dynamic mode decomposition with control, called swarmDMD, is developed and tested on the canonical Vicsek swarm model. The goal is to use swarmDMD to learn inter-agent interactions that give rise to the observed swarm behaviour. We show that swarmDMD can faithfully reconstruct the swarm dynamics, and the model learned by swarmDMD provides a short prediction window for data extrapolation with a trade-off between prediction accuracy and prediction horizon. We also provide a comprehensive analysis on the efficacy of different observation data types on the modelling, where we find that inter-agent distance yields the most accurate models. We believe the proposed swarmDMD approach will be useful for studying multi-agent systems found in biology, physics, and engineering.

categories: cs.NE cs.RO math.DS nlin.AO physics.bio-ph


title: FiN: A Smart Grid and Power Line Communication Dataset

abstract: The increasing complexity of low-voltage networks poses a growing challenge for the reliable and fail-safe operation of electricity grids. The reasons for this include an increasingly decentralized energy generation (photovoltaic systems, wind power, etc.) and the emergence of new types of consumers (e-mobility, domestic electricity storage, etc.). At the same time, the low-voltage grid is largely unmonitored and local power failures are sometimes hard to detect. To overcome this, power line communication (PLC) has emerged as a potential solution for reliable monitoring of the low-voltage grid. In addition to establishing a communication infrastructure, PLC also offers the possibility of evaluating the cables themselves, as well as the connection quality between individual cable distributors based on their Signal-to-Noise Ratio (SNR). The roll-out of a large-scale PLC infrastructure therefore not only ensures communication, but also introduces a tool for monitoring the entire network. To evaluate the potential of this data, we installed 38 PLC modems in three different areas of a German city with a population of about 150,000 as part of the F\"uhler-im-Netz project. Over a period of 22 months, an SNR spectrum of each connection between adjacent PLC modems was generated every quarter of an hour. % and the voltage was measured every minute. The availability of this real-world PLC data opens up new possibilities to react to the increasingly complex challenges in future smart grids. This paper provides a detailed analysis of the data generation and describes how the data was collected during normal operation of the electricity grid. In addition, we present common anomalies, effects, and trends that could be observed in the PLC data at daily, weekly, or seasonal levels. Finally, we discuss potential use cases and the remote inspection of a cable section is highlighted as an example.


title: A Novel Approach to Train Diverse Types of Language Models for Health Mention Classification of Tweets

abstract: Health mention classification deals with the disease detection in a given text containing disease words. However, non-health and figurative use of disease words adds challenges to the task. Recently, adversarial training acting as a means of regularization has gained popularity in many NLP tasks. In this paper, we propose a novel approach to train language models for health mention classification of tweets that involves adversarial training. We generate adversarial examples by adding perturbation to the representations of transformer models for tweet examples at various levels using Gaussian noise. Further, we employ contrastive loss as an additional objective function. We evaluate the proposed method on the PHM2017 dataset extended version. Results show that our proposed approach improves the performance of classifier significantly over the baseline methods. Moreover, our analysis shows that adding noise at earlier layers improves models' performance whereas adding noise at intermediate layers deteriorates models' performance. Finally, adding noise towards the final layers performs better than the middle layers noise addition.


title: Infrared study of the star-forming region associated with the UC HII regions G45.07+0.13 and G45.12+0.13

abstract: UCHII regions are an important phase in the formation and early evolution of massive stars and a key component of the interstellar medium. The main objectives of this work are to study the young stellar objects (YSOs) associated with the G45.07+0.13 (G45.07) and G45.12+0.13 (G45.12) UCHII regions, as well as the interstellar medium in which they are embedded. We determined the distribution of the hydrogen column density (N(H2)) and dust temperature (Td) in the molecular cloud using Herschel images. We used infrared photometric data to identify and classify the YSOs. We also constructed a colour-magnitude diagram and K luminosity functions (KLFs) to compare the parameters of YSOs with the results of the radiative transfer models. We found that N(H2) varies from about 3.0 to 5.5x10^(23)cm^(-2) within the G45.07 and G45.12 regions, respectively. The maximum Td value is 35K in G45.12 and 42K in G45.07. Td reaches about 18-20K at distances of 2.6 and 3.7pc from IRAS19110+1045 (G45.07) and IRAS19111+1048 (G45.12), respectively. The gas-dust mass value included in G45.12 is 3.4x10^5Msun and 1.7x10^5Msun in G45.07. The UCHII regions are connected through a cold (Td=19K) bridge. The density distribution of 518 YSOs exhibits dense clusters around both IRAS sources. The parameters of YSOs in the IRAS clusters (124 objects) and 394 non-cluster objects surrounding them show some differences. About 75% of the YSOs belonging to the IRAS clusters have an evolutionary age greater than 10^6 years. Their slope alpha of the KLF agrees well with a Salpeter-type Initial Mass Function (IMF) (gamma=1.35) for a high mass range (O-F stars, beta=2) at 1Myr. The non-cluster objects are uniformly distributed in the molecular cloud, 80% of which are located to the right of the 0.1Myr isochrone. Based on the small age spread of the stellar objects, we suggest that the clusters originate from a single triggering shock.


title: A scaling limit theorem for Galton-Watson processes in varying environments

abstract: We prove a scaling limit theorem for discrete Galton-Watson processes in varying environments. A simple sufficient condition for the weak convergence in the Skorokhod space is given in terms of probability generating functions. The limit theorem gives rise to the continuous-state branching processes in varying environments studied recently by several authors.


title: Distributionally Robust Models with Parametric Likelihood Ratios

abstract: As machine learning models are deployed ever more broadly, it becomes increasingly important that they are not only able to perform well on their training distribution, but also yield accurate predictions when confronted with distribution shift. The Distributionally Robust Optimization (DRO) framework proposes to address this issue by training models to minimize their expected risk under a collection of distributions, to imitate test-time shifts. This is most commonly achieved by instance-level re-weighting of the training objective to emulate the likelihood ratio with possible test distributions, which allows for estimating their empirical risk via importance sampling (assuming that they are subpopulations of the training distribution). However, re-weighting schemes in the literature are usually limited due to the difficulty of keeping the optimization problem tractable and the complexity of enforcing normalization constraints. In this paper, we show that three simple ideas -- mini-batch level normalization, a KL penalty and simultaneous gradient updates -- allow us to train models with DRO using a broader class of parametric likelihood ratios. In a series of experiments on both image and text classification benchmarks, we find that models trained with the resulting parametric adversaries are consistently more robust to subpopulation shifts when compared to other DRO approaches, and that the method performs reliably well with little hyper-parameter tuning. Code to reproduce our experiments can be found at https://github.com/pmichel31415/P-DRO.


title: Improving Differential-Neural Distinguisher Model For DES, Chaskey, and PRESENT

abstract: In CRYPTO'19, Gohr proposed a new cryptanalysis strategy using machine learning algorithms. Combining the differential-neural distinguisher with a differential path and integrating the advanced key recovery procedure, Gohr achieved a 12-round key recovery attack on Speck32/64. Chen and Yu improved prediction accuracy of differential-neural distinguisher considering derived features from multiple-ciphertext pairs instead of single-ciphertext pairs. By modifying the kernel size of initial convolutional layer to capture more dimensional information, the prediction accuracy of differential-neural distinguisher can be improved for for three reduced symmetric ciphers. For DES, we improve the prediction accuracy of (5-6)-round differential-neural distinguisher and train a new 7-round differential-neural distinguisher. For Chaskey, we improve the prediction accuracy of (3-4)-round differential-neural distinguisher. For PRESENT, we improve the prediction accuracy of (6-7)-round differential-neural distinguisher. The source codes are available in https://drive.google.com/drive/folders/1i0RciZlGZsEpCyW-wQAy7zzJeOLJNWqL?usp=sharing.


title: On the holographic domain-wall/cosmology correspondence and scalar one-point functions

abstract: We review the construction of holography for cosmologies with an emphasis on asymptotically de Sitter cosmologies. We do this by composition of the AdS/CFT correspondence and domain-wall/cosmology (DW/C) correspondence with the novel added benefit of keeping track of the DW/C marker $\eta$. This allows us to build explicitly the holographic dual of the DW/C correspondence. We then test this framework on a toy model: the GPPZ flow. We find the scalar one-point function for this flow to be invariant under the domain-wall/cosmology correspondence. Moreover, our construction seems to agree with previous literature on holography for cosmologies.


title: Single-grasp deformable object discrimination: the effect of gripper morphology, sensing modalities, and action parameters

abstract: In haptic object discrimination, the effect of gripper embodiment, action parameters, and sensory channels has not been systematically studied. We used two anthropomorphic hands and two 2-finger grippers to grasp two sets of deformable objects. On the object classification task, we found: (i) among classifiers, SVM on sensory features and LSTM on raw time series performed best across all grippers; (ii) faster compression speeds degraded performance; (iii) generalization to different grasping configurations was limited; transfer to different compression speeds worked well for the Barrett Hand only. Visualization of the feature spaces using PCA showed that the gripper morphology and the action parameters were the main source of variance, rendering generalization across embodiment or grasp configurations very hard. On the highly challenging dataset consisting of polyurethane foams alone, only the Barrett Hand achieved excellent performance. Tactile sensors can thus provide a key advantage even if recognition is based on stiffness rather than shape. The dataset with 24000 measurements is publicly available.


title: CoDGraD: A Code-based Distributed Gradient Descent Scheme for Decentralized Convex Optimization

abstract: In this paper, we consider a large network containing many regions such that each region is equipped with a worker with some data processing and communication capability. For such a network, some workers may become stragglers due to the failure or heavy delay on computing or communicating. To resolve the above straggling problem, a coded scheme that introduces certain redundancy for every worker was recently proposed, and a gradient coding paradigm was developed to solve convex optimization problems when the network has a centralized fusion center. In this paper, we propose an iterative distributed algorithm, referred as Code-Based Distributed Gradient Descent algorithm (CoDGraD), to solve convex optimization problems over distributed networks. In each iteration of the proposed algorithm, an active worker shares the coded local gradient and approximated solution of the convex optimization problem with non-straggling workers at the adjacent regions only. In this paper, we also provide the consensus and convergence analysis for the CoDGraD algorithm and we demonstrate its performance via numerical simulations.


title: Interior H\"older regularity for stable solutions to semilinear elliptic equations up to dimension 5

abstract: Let $2\le n\le 5$. We establish an apriori interior H\"older regularity of $C^2$-stable solutions to the semilinear equation $-\Delta u=f(u)$ in any domain of $R^n$ for any nonlinearity $f\in C^{0,1}(R) $.If $f $ is nondecreasing and convex in addition,we obtain an interior H\"older regularity, and hence the local boundedness, of $W^{1,2}(\Omega)$-stable solutions by locally approximating them via $C^2(\Omega)$-stable solutions. In particular, we do not require any lower bound on $f$.


title: Atomic bonding and electrical characteristics of metallic and semi-metallic elements

abstract: In this paper, we use density functional theory to calculate the electronic structure and properties of 46 metallic and semi-metallic elements. The binding energy and bond charge model (BBC) model is combined with the tight binding and density functional tight binding approaches to obtain quantitative information about atomic bonding at the atomic scale and to understand the contributions and effects of deformation energy density, energy shifts, and atomic bonding on the Hamiltonian.


title: WikiDiverse: A Multimodal Entity Linking Dataset with Diversified Contextual Topics and Entity Types

abstract: Multimodal Entity Linking (MEL) which aims at linking mentions with multimodal contexts to the referent entities from a knowledge base (e.g., Wikipedia), is an essential task for many multimodal applications. Although much attention has been paid to MEL, the shortcomings of existing MEL datasets including limited contextual topics and entity types, simplified mention ambiguity, and restricted availability, have caused great obstacles to the research and application of MEL. In this paper, we present WikiDiverse, a high-quality human-annotated MEL dataset with diversified contextual topics and entity types from Wikinews, which uses Wikipedia as the corresponding knowledge base. A well-tailored annotation procedure is adopted to ensure the quality of the dataset. Based on WikiDiverse, a sequence of well-designed MEL models with intra-modality and inter-modality attentions are implemented, which utilize the visual information of images more adequately than existing MEL models do. Extensive experimental analyses are conducted to investigate the contributions of different modalities in terms of MEL, facilitating the future research on this task. The dataset and baseline models are available at https://github.com/wangxw5/wikiDiverse.


title: Meaningful machine learning models and machine-learned pharmacophores from fragment screening campaigns

abstract: Machine learning (ML) is widely used in drug discovery to train models that predict protein-ligand binding. These models are of great value to medicinal chemists, in particular if they provide case-specific insight into the physical interactions that drive the binding process. In this study we derive ML models from over 50 fragment-screening campaigns to introduce two important elements that we believe are absent in most -- if not all -- ML studies of this type reported to date: First, alongside the observed hits we use to train our models, we incorporate true misses and show that these experimentally validated negative data are of significant importance to the quality of the derived models. Second, we provide a physically interpretable and verifiable representation of what the ML model considers important for successful binding. This representation is derived from a straightforward attribution procedure that explains the prediction in terms of the (inter-)action of chemical environments. Critically, we validate the attribution outcome on a large scale against prior annotations made independently by expert molecular modellers. We find good agreement between the key molecular substructures proposed by the ML model and those assigned manually, even when the model's performance in discriminating hits from misses is far from perfect. By projecting the attribution onto predefined interaction prototypes (pharmacophores), we show that ML allows us to formulate simple rules for what drives fragment binding against a target automatically from screening data.


title: Secure Formation Control via Edge Computing Enabled by Fully Homomorphic Encryption and Mixed Uniform-Logarithmic Quantization

abstract: Recent developments in communication technologies, such as 5G, together with innovative computing paradigms, such as edge computing, provide further possibilities for the implementation of real-time networked control systems. However, privacy and cyber-security concerns arise when sharing private data between sensors, agents and a third-party computing facility. In this paper, a secure version of the distributed formation control is presented, analyzed and simulated, where gradient-based formation control law is implemented in the edge, with sensor and actuator information being secured by fully homomorphic encryption method based on learning with error (FHE-LWE) combined with a proposed mixed uniform-logarithmic quantizer (MULQ). The novel quantizer is shown to be suitable for realizing secure control systems with FHE-LWE where the critical real-time information can be quantized into a prescribed bounded space of plaintext while satisfying a sector bound condition whose lower and upper-bound can be made sufficiently close to an identity. An absolute stability analysis is presented, that shows the asymptotic stability of the closed-loop secure control system.


title: LDPC codes: comparing cluster graphs to factor graphs

abstract: We present a comparison study between a cluster and factor graph representation of LDPC codes. In probabilistic graphical models, cluster graphs retain useful dependence between random variables during inference, which are advantageous in terms of computational cost, convergence speed, and accuracy of marginal probabilities. This study investigates these benefits in the context of LDPC codes and shows that a cluster graph representation outperforms the traditional factor graph representation.


title: IRS-assisted Multi-cell Multi-band Systems: Practical Reflection Model and Joint Beamforming Design

abstract: Intelligent reflecting surface (IRS) has been regarded as a promising and revolutionary technology for future wireless communication systems owing to its capability of tailoring signal propagation environment in an energy/spectrum/hardware-efficient manner. However, most existing studies on IRS optimizations are based on a simple and ideal reflection model that is impractical in hardware implementation, which thus leads to severe performance loss in realistic wideband/multi-band systems. To deal with this problem, in this paper we first propose a more practical and more tractable IRS reflection model that describes the difference of reflection responses for signals at different frequencies. Then, we investigate the joint transmit beamforming and IRS reflection beamforming design for an IRS-assisted multi-cell multi-band system. Both power minimization and sum-rate maximization problems are solved by exploiting popular second-order cone programming (SOCP), Riemannian manifold, minimization-majorization (MM), weighted minimum mean square error (WMMSE), and block coordinate descent (BCD) methods. Simulation results illustrate the significant performance improvement of our proposed joint transmit beamforming and reflection design algorithms based on the practical reflection model in terms of power saving and rate enhancement.


title: Techtile: a Flexible Testbed for Distributed Acoustic Indoor Positioning and Sensing

abstract: The proposed infrastructure, named Techtile, provides a unique R&D facility as features dispersed electronics enables transmission and capturing of a multitude of signals in 3D. Specific available equipment that enhances the design process from smooth prototyping to a commercial product is discussed. The acoustic parameters of the room, particularly the reverberation and ambient noise, are measured to take these into account for future innovative acoustic indoor positioning and sensing systems. This can have a positive influence on the accuracy and precision. The wooden construction represents an acoustically challenging room for audible sound with a maximum measured RT60 value of 1.17s at 5kHz, which is comparable to the reverberation properties of a lecture or small concert hall. For ultrasound it is rather challenging due to the present ambient noise sources. In general, the Techtile room can be compared with a home or quiet office environment, in terms of sound pressure levels (SPLs). In addition to the acoustic properties, possible research and development options are discussed in combination with the associated challenges. Many of the designs described are available through open source.


title: AHP: Learning to Negative Sample for Hyperedge Prediction

abstract: Hypergraphs (i.e., sets of hyperedges) naturally represent group relations (e.g., researchers co-authoring a paper and ingredients used together in a recipe), each of which corresponds to a hyperedge (i.e., a subset of nodes). Predicting future or missing hyperedges bears significant implications for many applications (e.g., collaboration and recipe recommendation). What makes hyperedge prediction particularly challenging is the vast number of non-hyperedge subsets, which grows exponentially with the number of nodes. Since it is prohibitive to use all of them as negative examples for model training, it is inevitable to sample a very small portion of them, and to this end, heuristic sampling schemes have been employed. However, trained models suffer from poor generalization capability for examples of different natures. In this paper, we propose AHP, an adversarial training-based hyperedge-prediction method. It learns to sample negative examples without relying on any heuristic schemes. Using six real hypergraphs, we show that AHP generalizes better to negative examples of various natures. It yields up to 28.2% higher AUROC than the best existing methods and often even outperforms its variants with sampling schemes tailored to test sets.


title: Complexity in the Lipkin-Meshkov-Glick Model

abstract: We study complexity in a spin system with infinite range interaction, via the paradigmatic Lipkin-Meshkov-Glick model, in the thermodynamic limit. Exact expressions for the Nielsen complexity (NC) and the Fubini-Study complexity (FSC) are derived, that helps us to establish several distinguishing features compared to complexity in other known spin models. In a time-independent LMG model, close to phase transition, the NC diverges logarithmically, much like the entanglement entropy. Remarkably however, in a time dependent scenario, this divergence is replaced by a finite discontinuity, as we show by using the Lewis-Riesenfeld theory of time-dependent invariant operators. The FSC of a variant of the LMG model shows novel behaviour compared to quasi free spin models. Namely, it diverges logarithmically when the target (or reference) state is near the separatrix. Numerical analysis indicates that this is due to the fact that geodesics starting with arbitrary boundary conditions are "attracted" towards the separatrix and that near this line, a finite change in the affine parameter of the geodesic produces an infinitesimal change of the geodesic length. The same divergence is shared by the NC of this model as well.


title: Local Feature Swapping for Generalization in Reinforcement Learning

abstract: Over the past few years, the acceleration of computing resources and research in deep learning has led to significant practical successes in a range of tasks, including in particular in computer vision. Building on these advances, reinforcement learning has also seen a leap forward with the emergence of agents capable of making decisions directly from visual observations. Despite these successes, the over-parametrization of neural architectures leads to memorization of the data used during training and thus to a lack of generalization. Reinforcement learning agents based on visual inputs also suffer from this phenomenon by erroneously correlating rewards with unrelated visual features such as background elements. To alleviate this problem, we introduce a new regularization technique consisting of channel-consistent local permutations (CLOP) of the feature maps. The proposed permutations induce robustness to spatial correlations and help prevent overfitting behaviors in RL. We demonstrate, on the OpenAI Procgen Benchmark, that RL agents trained with the CLOP method exhibit robustness to visual changes and better generalization properties than agents trained using other state-of-the-art regularization techniques. We also demonstrate the effectiveness of CLOP as a general regularization technique in supervised learning.


title: A methane line list with sub-MHz accuracy in the 1250 to 1380 cm-1 range from optical frequency comb Fourier transform spectroscopy

abstract: We use a Fourier transform spectrometer based on a difference frequency generation optical frequency comb to measure high-resolution, low-pressure, room-temperature spectra of methane in the 1250 - 1380 cm$^{-1}$ range. From these spectra, we retrieve line positions and intensities of 678 lines of two isotopologues: 157 lines from the $^{12}$CH${_4}$ ${\nu}$${_4}$ fundamental band, 131 lines from the $^{13}$CH${_4}$ ${\nu}$${_4}$ fundamental band, as well as 390 lines from two $^{12}$CH${_4}$ hot bands, ${\nu}$${_2}$ + ${\nu}$${_4}$ - ${\nu}$${_2}$ and 2${\nu}$${_4}$ - ${\nu}$${_4}$. For another 165 lines from the $^{12}$CH${_4}$ ${\nu}$${_4}$ fundamental band we retrieve line positions only. The uncertainties of the line positions range from 0.19 to 2.3 MHz, and their median value is reduced by a factor of 18 and 59 compared to the previously available data for the $^{12}$CH${_4}$ fundamental and hot bands, respectively, obtained from conventional FTIR absorption measurements. The new line positions are included in the global models of the spectrum of both methane isotopologues, and the fit residuals are reduced by a factor of 8 compared to previous absorption data, and 20 compared to emission data. The experimental line intensities have relative uncertainties in the range of 1.5 - 7.7%, similar to those in the previously available data; 235 new $^{12}$CH${_4}$ line intensities are included in the global model.


title: Linear Programs with Polynomial Coefficients and Applications to 1D Cellular Automata

abstract: Given a matrix $A$ and vector $b$ with polynomial entries in $d$ real variables $\delta=(\delta_1,\ldots,\delta_d)$ we consider the following notion of feasibility: the pair $(A,b)$ is locally feasible if there exists an open neighborhood $U$ of $0$ such that for every $\delta\in U$ there exists $x$ satisfying $A(\delta)x\ge b(\delta)$ entry-wise. For $d=1$ we construct a polynomial time algorithm for deciding local feasibility. For $d \ge 2$ we show local feasibility is NP-hard. This also gives the first polynomial-time algorithm for the asymptotic linear program problem introduced by Jeroslow in 1973. As an application (which was the primary motivation for this work) we give a computer-assisted proof of ergodicity of the following elementary 1D cellular automaton: given the current state $\eta_t \in \{0,1\}^{\mathbb{Z}}$ the next state $\eta_{t+1}(n)$ at each vertex $n\in \mathbb{Z}$ is obtained by $\eta_{t+1}(n)= \text{NAND}\big(\text{BSC}_\delta(\eta_t(n-1)), \text{BSC}_\delta(\eta_t(n))\big)$. Here the binary symmetric channel $\text{BSC}_\delta$ takes a bit as input and flips it with probability $\delta$ (and leaves it unchanged with probability $1-\delta$). It is shown that there exists $\delta_0>0$ such that for all $0<\delta<\delta_0$ the distribution of $\eta_t$ converges to a unique stationary measure irrespective of the initial condition $\eta_0$. We also consider the problem of broadcasting information on the 2D-grid of noisy binary-symmetric channels $\text{BSC}_\delta$, where each node may apply an arbitrary processing function to its input bits. We prove that there exists $\delta_0'>0$ such that for all noise levels $0<\delta<\delta_0'$ it is impossible to broadcast information for any processing function, as conjectured by Makur, Mossel and Polyanskiy.


title: Decoherence and nonclassicality of photon-added/subtracted multi-mode Gaussian states

abstract: Photon addition and subtraction render Gaussian states non-Gaussian. We provide a quantitative analysis of the change in nonclassicality produced by these processes by analyzing the Wigner negativity and quadrature coherence scale (QCS) of the resulting states. The QCS is a recently introduced measure of nonclassicality [PRL 122, 080402 (2019), PRL 124, 090402 (2020)], that we show to undergo a relative increase under photon addition/subtraction that can be as large as 200\%. This implies that the degaussification and the concomitant increase of nonclassicality come at a cost. Indeed, the QCS is proportional to the decoherence rate of the state so that the resulting states are considerably more prone to environmental decoherence. Our results are quantitative and rely on explicit and general expressions for the characteristic and Wigner functions of photon added/subtracted single- and multi-mode Gaussian states for which we provide a simple and straightforward derivation. These expressions further allow us to certify the quantum non-Gaussianity of the photon-subtracted states with positive Wigner function.


title: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications

abstract: Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey works in widely understood non-classical logics and their applications. This year's edition was also an opportunity to celebrate the 50th anniversary of the logic journal Bulletin of the Section of Logic (BSL), established in 1971 and since then published by the University of Lodz. On this occassion a number of renowned researchers having bonds with BSL were asked to deliver invited talks. Additionally, during the conference a special session was held commemorating J. Michael Dunn, outstanding logician and collecting editor of BSL, who passed away in 2021. Finally, collocated with the conference were three workshops devoted to, subsequently, non-Fregean logics, relating logics, and formal ontology, as well as a tutorial on graded logic.


title: Compact extra dimensions as the source of primordial black holes

abstract: We discuss the model of the primordial black holes formation at the reheating stage. These small massive black holes appear due to specific properties of the compact extra dimensions. The latter gives rise the low energy model containing the effective scalar field potential capable for the domain walls production. Formed during inflation, these walls are quite dense so they collapse soon after inflation ends. The discussion is performed within the scope of multidimensional $f(R)$-gravity.


title: Interface to high-performance periodic coupled-cluster theory calculations with atom-centered, localized basis functions

abstract: Coupled cluster (CC) theory is often considered the gold standard of quantum-chemistry. For solids, however, the available software is scarce. We present CC-aims, which can interface ab initio codes with localized atomic orbitals and the CC for solids (CC4S) code by the group of A. Gr\"uneis. CC4S features a continuously growing selection of wave function-based methods including perturbation and CC theory. The CC-aims interface was developed for the FHI-aims code (https://fhi-aims.org) but is implemented such that other codes may use it as a starting point for corresponding interfaces. As CC4S offers treatment of both molecular and periodic systems, the CC-aims interface is a valuable tool, where DFT is either too inaccurate or too unreliable, in theoretical chemistry and materials science alike.