title: Exploration of the high-redshift universe enabled by THESEUS

abstract: At peak, long-duration gamma-ray bursts are the most luminous sources of electromagnetic radiation known. Since their progenitors are massive stars, they provide a tracer of star formation and star-forming galaxies over the whole of cosmic history. Their bright power-law afterglows provide ideal backlights for absorption studies of the interstellar and intergalactic medium back to the reionization era. The proposed THESEUS mission is designed to detect large samples of GRBs at $z>6$ in the 2030s, at a time when supporting observations with major next generation facilities will be possible, thus enabling a range of transformative science. THESEUS will allow us to explore the faint end of the luminosity function of galaxies and the star formation rate density to high redshifts; constrain the progress of re-ionisation beyond $z\gtrsim6$; study in detail early chemical enrichment from stellar explosions, including signatures of Population III stars; and potentially characterize the dark energy equation of state at the highest redshifts.


title: Time Domain Astronomy with the THESEUS Satellite

abstract: THESEUS is a medium size space mission of the European Space Agency, currently under evaluation for a possible launch in 2032. Its main objectives are to investigate the early Universe through the observation of gamma-ray bursts and to study the gravitational waves electromagnetic counterparts and neutrino events. On the other hand, its instruments, which include a wide field of view X-ray (0.3-5 keV) telescope based on lobster-eye focusing optics and a gamma-ray spectrometer with imaging capabilities in the 2-150 keV range, are also ideal for carrying out unprecedented studies in time domain astrophysics. In addition, the presence onboard of a 70 cm near infrared telescope will allow simultaneous multi-wavelegth studies. Here we present the THESEUS capabilities for studying the time variability of different classes of sources in parallel to, and without affecting, the gamma-ray bursts hunt.


title: Multi-Messenger Astrophysics with THESEUS in the 2030s

abstract: Multi-messenger astrophysics is becoming a major avenue to explore the Universe, with the potential to span a vast range of redshifts. The growing synergies between different probes is opening new frontiers, which promise profound insights into several aspects of fundamental physics and cosmology. In this context, THESEUS will play a central role during the 2030s in detecting and localizing the electromagnetic counterparts of gravitational wave and neutrino sources that the unprecedented sensitivity of next generation detectors will discover at much higher rates than the present. Here, we review the most important target signals from multi-messenger sources that THESEUS will be able to detect and characterize, discussing detection rate expectations and scientific impact.


title: Synergies of THESEUS with the large facilities of the 2030s and guest observer opportunities

abstract: The proposed THESEUS mission will vastly expand the capabilities to monitor the high-energy sky, and will exploit large samples of gamma-ray bursts to probe the early Universe back to the first generation of stars, and to advance multi-messenger astrophysics by detecting and localizing the counterparts of gravitational waves and cosmic neutrino sources. The combination and coordination of these activities with multi-wavelength, multi-messenger facilities expected to be operating in the thirties will open new avenues of exploration in many areas of astrophysics, cosmology and fundamental physics, thus adding considerable strength to the overall scientific impact of THESEUS and these facilities. We discuss here a number of these powerful synergies.


title: Star formation scaling relations at ~100 pc from PHANGS: Impact of completeness and spatial scale

abstract: Aims: The complexity of star formation at the physical scale of molecular clouds is not yet fully understood. We investigate the mechanisms regulating the formation of stars in different environments within nearby star-forming galaxies from the PHANGS sample. Methods: Integral field spectroscopic data and radio-interferometric observations of 18 galaxies were combined to explore the existence of the resolved star formation main sequence (rSFMS), resolved Kennicutt-Schmidt relation (rKS), and resolved molecular gas main sequence (rMGMS), and we derived their slope and scatter at spatial resolutions from 100 pc to 1 kpc (under various assumptions). Results: All three relations were recovered at the highest spatial resolution (100 pc). Furthermore, significant variations in these scaling relations were observed across different galactic environments. The exclusion of non-detections has a systematic impact on the inferred slope as a function of the spatial scale. Finally, the scatter of the $\Sigma_\mathrm{mol. gas + stellar}$ versus $\Sigma_\mathrm{SFR}$ correlation is smaller than that of the rSFMS, but higher than that found for the rKS. Conclusions: The rMGMS has the tightest relation at a spatial scale of 100 pc (scatter of 0.34 dex), followed by the rKS (0.41 dex) and then the rSFMS (0.51 dex). This is consistent with expectations from the timescales involved in the evolutionary cycle of molecular clouds. Surprisingly, the rKS shows the least variation across galaxies and environments, suggesting a tight link between molecular gas and subsequent star formation. The scatter of the three relations decreases at lower spatial resolutions, with the rKS being the tightest (0.27 dex) at a spatial scale of 1 kpc. Variation in the slope of the rSFMS among galaxies is partially due to different detection fractions of $\Sigma_\mathrm{SFR}$ with respect to $\Sigma_\mathrm{stellar}$.


title: Deconfined criticality and a gapless $\mathbb{Z}_2$ spin liquid in the square lattice antiferromagnet

abstract: The theory for the vanishing of N\'eel order in the spin $S=1/2$ square lattice antiferromagnet has been the focus of attention for many decades. A consensus appears to have emerged in recent numerical studies on the antiferromagnet with first and second neighbor exchange interactions (the $J_1$-$J_2$ model): a gapless spin liquid is present for a narrow window of parameters between the vanishing of the N\'eel order and the onset of a gapped valence bond solid state. We propose a deconfined critical SU(2) gauge theory for a transition into a stable $\mathbb{Z}_2$ spin liquid with massless Dirac spinon excitations; on the other side the critical point, the SU(2) spin liquid (the `$\pi$-flux' phase) is presumed to be unstable to confinement to the N\'eel phase. We identify a dangerously irrelevant coupling in the critical SU(2) gauge theory, which contributes a logarithm-squared renormalization. This critical theory is also not Lorentz invariant, and weakly breaks the SO(5) symmetry which rotates between the N\'eel and valence bond solid order parameters. We also propose a distinct deconfined critical U(1) gauge theory for a transition into the same gapless $\mathbb{Z}_2$ spin liquid; on the other side of the critical point, the U(1) spin liquid (the `staggered flux' phase) is presumed to be unstable to confinement to the valence bond solid. This critical theory has no dangerously irrelevant coupling, dynamic critical exponent $z \neq 1$, and no SO(5) symmetry. All of these phases and critical points are unified in a SU(2) gauge theory with Higgs fields and fermionic spinons which can naturally realize the observed sequence of phases with increasing $J_2/J_1$: N\'eel, gapless $\mathbb{Z}_2$ spin liquid, and valence bond solid.


title: X-ray binary accretion states in Active Galactic Nuclei? Sensing the accretion disc of supermassive black holes with mid-infrared nebular lines

abstract: Accretion states, which are universally observed in stellar-mass black holes in X-ray binaries, are also anticipated in active galactic nuclei (AGN). This is the case at low luminosities, when the jet-corona coupling dominates the energy output in both populations. Previous attempts to extend this framework to a wider AGN population have been extremely challenging due to heavy hydrogen absorption of the accretion disc continuum and starlight contamination from the host galaxies. We present the luminosity-excitation diagram (LED), based on the [OIV]$_{25.9\mu m}$ and [NeII]$_{12.8\mu m}$ mid-infrared nebular line fluxes. This tool enables to probe the accretion disc contribution to the ionising continuum. When applied to a sample of 167 nearby AGN, the LED recovers the characteristic q-shaped morphology outlined by individual X-ray binaries during a typical accretion episode, allowing us to tentatively identify the main accretion states. The soft state would include broad-line Seyferts and about half of the Seyfert 2 population, showing highly excited gas and radio-quiet cores consistent with disc-dominated nuclei. The hard state mostly includes low-luminosity AGN ($\leq 10^{-3}\, \rm{L_{Edd}}$) characterised by low-excitation radio-loud nuclei and a negligible disc contribution. The remaining half of Seyfert 2 nuclei and the bright LINERs show low excitation at high accretion luminosities, and could be identified with the bright-hard and intermediate states. Their hosts show ongoing star formation in the central kiloparsecs. We discuss the above scenario, its potential links with the galaxy evolution picture and the possible presence of accretion state transitions in AGN, as suggested by the growing population of changing-look quasars.


title: Practical quantum error correction with the XZZX code and Kerr-cat qubits

abstract: The development of robust architectures capable of large-scale fault-tolerant quantum computation should consider both their quantum error-correcting codes, and the underlying physical qubits upon which they are built, in tandem. Following this design principle we demonstrate remarkable error correction performance by concatenating the XZZX surface code with Kerr-cat qubits. We contrast several variants of fault-tolerant systems undergoing different circuit noise models that reflect the physics of Kerr-cat qubits. Our simulations show that our system is scalable below a threshold gate infidelity of $p_\mathrm{CX} \sim 6.5\%$ within a physically reasonable parameter regime, where $p_\mathrm{CX}$ is the infidelity of the noisiest gate of our system; the controlled-not gate. This threshold can be reached in a superconducting circuit architecture with a Kerr-nonlinearity of $10$MHz, a $\sim 6.25$ photon cat qubit, single-photon lifetime of $\gtrsim 64\mu$s, and thermal photon population $\lesssim 8\%$. Such parameters are routinely achieved in superconducting circuits.


title: Protocols for estimating multiple functions with quantum sensor networks: geometry and performance

abstract: We consider the problem of estimating multiple analytic functions of a set of local parameters via qubit sensors in a quantum sensor network. To address this problem, we highlight a generalization of the sensor symmetric performance bounds of Rubio et. al. [J. Phys. A: Math. Theor. 53 344001 (2020)] and develop a new optimized sequential protocol for measuring such functions. We compare the performance of both approaches to one another and to local protocols that do not utilize quantum entanglement, emphasizing the geometric significance of the coefficient vectors of the measured functions in determining the best choice of measurement protocol. We show that, in many cases, especially for a large number of sensors, the optimized sequential protocol results in more accurate measurements than the other strategies. In addition, in contrast to the the sensor symmetric approach, the sequential protocol is known to always be explicitly implementable. The sequential protocol is very general and has a wide range of metrological applications.


title: A macroscopic object passively cooled into its quantum ground state of motion: beyond single-mode cooling

abstract: The building blocks of Nature, namely atoms and elementary particles, are described by quantum mechanics. This fundamental theory is the ground on which physicists have built their major mathematical models [1]. Today, the unique features of quantum objects have led to the advent of promising quantum technologies [2, 3]. However, the macroscopic world is manifestly classical, and the nature of the quantum-to-classical crossover remains one of the most challenging open question of Science to date. In this respect, moving objects play a specific role [4, 5]. Pioneering experiments over the last few years have begun exploring quantum behaviour of micron-sized mechanical systems,either by passively cooling single GHz modes, or by adapting laser cooling techniques developed in atomic physics to cool specific modes far below the temperature of their surroundings [6-11]. Here instead we describe a very different approach, passive cooling of a micromechanical system down to 500 microK, reducing the average number of quanta in the fundamental vibrational mode at 15 MHz to just 0.3 (with even lower values expected for higher harmonics); the challenge being to be still able to detect the motion without disturbing the system noticeably. With such an approach higher harmonics and the surrounding environment are also cooled, leading to potentially much longer mechanical coherence times, and enabling experiments questioning mechanical wave-function collapse [12], potentially from the gravitational background [13, 14], and quantum thermodynamics [15]. Beyond the average behaviour, here we also report on the fluctuations of the fundamental vibrational mode of the device in-equilibrium with the cryostat. These reveal a surprisingly complex interplay with the local environment and allow characteristics of two distinct thermodynamic baths to be probed.


title: Vacuum Stability vs. Positivity in Real Singlet Scalar Extension of the Standard Model

abstract: We assume a generic real singlet scalar extension of the Standard Model living in the vacuum $(v,w)$ at the electroweak scale with $v=246$ GeV and $w$ being respectively the Higgs and the singlet scalar vacuum expectation values. By requiring {\it absolute} vacuum stability for the vacuum $(v,w)$, the positivity condition and the perturbativity up to the Planck scale, we show that the viable space of parameters in the model is strongly constrained for various singlet scalar vacuum expectation values $w=0.1, 1, 10, 100$ TeV. Also, it turns out that the singlet scalar mass can be from a few GeV up to less than TeV.


title: Affine Springer Fibers, Procesi bundles, and Cherednik algebras

abstract: Let $\mathfrak{g}$ be a semisimple Lie algebra, $\mathfrak{t}$ its Cartan subalgebra and $W$ the Weyl group. The goal of this paper is to prove an isomorphism between suitable completions of the equivariant Borel-Moore homology of certain affine Springer fibers for $\mathfrak{g}$ and the global sections of a bundle related to a Procesi bundle on the smooth locus of a partial resolution of $(\mathfrak{t}\oplus \mathfrak{t}^*)/W$. We deduce some applications of our isomorphism including a conditional application to the center of the small quantum group. Our main method is to compare certain bimodules over rational and trigonometric Cherednik algebras.


title: Discrete two-contour system with co-directional movement

abstract: The paper studies a discrete dynamical system, which belongs to the class of contour systems developed by A.P Buslaev. The system contains two closed contours. There are n cells and a group of particles at each contour. This group is called a cluster. The particles of a cluster are in adjacent cells and move simultaneously. At each discrete moment any particle moves onto a cell in the direction of movement. There are two common points of contours called nodes. Delays of clusters occur at the nodes. These delays are due to that two particles cannot cross the same node simultaneously. Earlier this system were studied under the assumptions that the number of particles does not depend on the cluster. This paper studies a system with different lengths of clusters. Analytical results are obtained for limit cycles of the system and the spectrum of average cluster velocities.


title: Supersymmetry, T-duality and Heterotic $\alpha'$-corrections

abstract: Higher-derivative interactions and transformation rules of the fields in the effective field theories of the massless string states are strongly constrained by space-time symmetries and dualities. Here we use an exact formulation of ten dimensional ${\cal N}=1$ supergravity coupled to Yang-Mills with manifest T-duality symmetry to construct the first order $\alpha'$-corrections of the heterotic string effective action. The theory contains a supersymmetric and T-duality covariant generalization of the Green-Schwarz mechanism that determines the modifications to the leading order supersymmetry transformation rules of the fields. We compute the resulting field-dependent deformations of the coefficients in the supersymmetry algebra and construct the invariant action, with up to and including four-derivative terms of all the massless bosonic and fermionic fields of the heterotic string spectrum.


title: Expanding measures: Random walks and rigidity on homogeneous spaces

abstract: Let $G$ be a real Lie group, $\Lambda<G$ a lattice and $H<G$ a connected semisimple subgroup without compact factors and with finite center. We define the notion of $H$-expanding measures $\mu$ on $H$ and, applying recent work of Eskin-Lindenstrauss, prove that $\mu$-stationary probability measures on $G/\Lambda$ are homogeneous. Transferring a construction by Benoist-Quint and drawing on ideas of Eskin-Mirzakhani-Mohammadi, we construct Lyapunov/Margulis functions to show that $H$-expanding random walks on $G/\Lambda$ satisfy a recurrence condition and that homogeneous subspaces are repelling. Combined with a countability result, this allows us to prove equidistribution of trajectories in $G/\Lambda$ for $H$-expanding random walks and to obtain orbit closure descriptions. Finally, elaborating on an idea of Simmons-Weiss, we deduce Birkhoff genericity of a class of measures with respect to some diagonal flows and extend their applications to Diophantine approximation on similarity fractals to a non-conformal and weighted setting.


title: Validation of the HERA Phase I Epoch of Reionization 21 cm Power Spectrum Software Pipeline

abstract: We describe the validation of the HERA Phase I software pipeline by a series of modular tests, building up to an end-to-end simulation. The philosophy of this approach is to validate the software and algorithms used in the Phase I upper limit analysis on wholly synthetic data satisfying the assumptions of that analysis, not addressing whether the actual data meet these assumptions. We discuss the organization of this validation approach, the specific modular tests performed, and the construction of the end-to-end simulations. We explicitly discuss the limitations in scope of the current simulation effort. With mock visibility data generated from a known analytic power spectrum and a wide range of realistic instrumental effects and foregrounds, we demonstrate that the current pipeline produces power spectrum estimates that are consistent with known analytic inputs to within thermal noise levels (at the 2 sigma level) for k > 0.2 h/Mpc for both bands and fields considered. Our input spectrum is intentionally amplified to enable a strong `detection' at k ~0.2 h/Mpc -- at the level of ~25 sigma -- with foregrounds dominating on larger scales, and thermal noise dominating at smaller scales. Our pipeline is able to detect this amplified input signal after suppressing foregrounds with a dynamic range (foreground to noise ratio) of > 10^7. Our validation test suite uncovered several sources of scale-independent signal loss throughout the pipeline, whose amplitude is well-characterized and accounted for in the final estimates. We conclude with a discussion of the steps required for the next round of data analysis.


title: Real Liouvillian Extensions of Partial Differential Fields

abstract: In this paper, we establish Galois theory for partial differential systems defined over formally real differential fields with a real closed field of constants and over formally $p$-adic differential fields with a $p$-adically closed field of constants. For an integrable partial differential system defined over such a field, we prove that there exists a formally real (resp. formally $p$-adic) Picard-Vessiot extension. Moreover, we obtain a uniqueness result for this Picard-Vessiot extension. We give an adequate definition of the Galois differential group and obtain a Galois fundamental theorem in this setting. We apply the obtained Galois correspondence to characterise formally real Liouvillian extensions of real partial differential fields with a real closed field of constants by means of split solvable linear algebraic groups. We present some examples of real dynamical systems and indicate some possibilities of further development of algebraic methods in real dynamical systems.


title: Adaptive Nonparametric Psychophysics

abstract: We introduce a new set of models and adaptive psychometric testing methods for multidimensional psychophysics. In contrast to traditional adaptive staircase methods like PEST and QUEST, the method is multi-dimensional and does not require a grid over contextual dimensions, retaining sub-exponential scaling in the number of stimulus dimensions. In contrast to more recent multi-dimensional adaptive methods, our underlying model does not require a parametric assumption about the interaction between intensity and the additional dimensions. In addition, we introduce a new active sampling policy that explicitly targets psychometric detection threshold estimation and does so substantially faster than policies that attempt to estimate the full psychometric function (though it still provides estimates of the function, albeit with lower accuracy). Finally, we introduce AEPsych, a user-friendly open-source package for nonparametric psychophysics that makes these technically-challenging methods accessible to the broader community.


title: Holme type theorem for special linear groups

abstract: Let Z be an affine algebraic variety and ED(Z)= max(2 dim Z+1, dim TZ). Let X be a smooth algebraic variety isomorphic to a semi-simple linear algebraic group whose Lie algebra is a sum of special linear Lie algebras. We show that if dim X > ED(Z) -1, then Z admits a closed embedding into X. We also show that for every smooth affine flexible variety Y there is a closed embedding of $Z$ into the the product of Y and an affine n-space provided that n > dim Z- 2 and dim Y +n > ED (Z) -1.


title: Interpreting automatic AGN classifiers with saliency maps

abstract: The classification of the optical spectra of active galactic nuclei (AGN) into different types is well founded on AGN physics, but it involves some degree of human oversight and cannot be reliably scaled to large data sets. Machine learning (ML) tackles such a classification problem in a fast and reproducible way, but is often perceived as a black box. However, ML interpretability and explainability are active research areas in computer science, increasingly providing us with tools to alleviate this issue. We applied ML interpretability tools to a classifier trained to predict AGN type from spectra, to demonstrate the use of such tools in this context. We trained a support-vector machine on 3346 high-quality, low redshift AGN spectra from SDSS DR15 with an existing reliable classification as type 1, type 2, or intermediate type. On a selection of test-set spectra, we computed the gradient of the predicted class probability and we built saliency maps. We also visualized the high-dimensional space of AGN spectra using t-distributed stochastic neighbor embedding (t-SNE), showing where the spectra for which we computed a saliency map are located. Regions that affect the predicted AGN type often coincide with physically relevant features, such as spectral lines. t-SNE visualization shows good separability of type 1 and type 2 spectra, while intermediate-type spectra either lie in-between as expected or appear mixed with type 2 spectra. Saliency maps show why a given AGN type was predicted by our classifier, resulting in a physical interpretation in terms of regions of the spectrum that affected its decision, making it no longer a black box. These regions coincide with those used by human experts such as relevant spectral lines, and are even used in a similar way, with the classifier e.g. effectively measuring the width of a line by weighing its center and its tails oppositely.


title: Left multipliers of reproducing kernel Hilbert $C^*$-modules and the Papadakis theorem

abstract: We give a modified definition of a reproducing kernel Hilbert $C^*$-module (shortly, $RKHC^*M$) without using the condition of self-duality and discuss some related aspects; in particular, an interpolation theorem is presented. We investigate the exterior tensor product of $RKHC^*M$s and find their reproducing kernel. In addition, we deal with left multipliers of $RKHC^*M$s. Under some mild conditions, it is shown that one can make a new $RKHC^*M$ via a left multiplier. Moreover, we introduce the Berezin transform of an operator in the context of $RKHC^*M$s and construct a unital subalgebra of the unital $C^*$-algebra consisting of adjointable maps on an $RKHC^*M$ and show that it is closed with respect to a certain topology. Finally, the Papadakis theorem is extended to the setting of $RKHC^*M$, and in order for the multiplication of two specific functions to be in the Papadakis $RKHC^*M$, some conditions are explored.


title: Interpolating between symmetric and asymmetric hypothesis testing

abstract: The task of binary quantum hypothesis testing is to determine the state of a quantum system via measurements on it, given the side information that it is in one of two possible states, say $\rho$ and $\sigma$. This task is generally studied in either the symmetric setting, in which the two possible errors incurred in the task (the so-called type I and type II errors) are treated on an equal footing, or the asymmetric setting in which one minimizes the type II error probability under the constraint that the corresponding type I error probability is below a given threshold. Here we define a one-parameter family of binary quantum hypothesis testing tasks, which we call $s$-hypothesis testing, and in which the relative significance of the two errors are weighted by a parameter $s$. In particular, $s$-hypothesis testing interpolates continuously between the regimes of symmetric and asymmetric hypothesis testing. Moreover, if arbitrarily many identical copies of the system are assumed to be available, then the minimal error probability of $s$-hypothesis testing is shown to decay exponentially in the number of copies, with a decay rate given by a quantum divergence which we denote as $\xi_s(\rho\|\sigma)$, and which satisfies a host of interesting properties. Moreover, this one-parameter family of divergences interpolates continuously between the corresponding decay rates for symmetric hypothesis testing (the quantum Chernoff divergence) for $s = 1$, and asymmetric hypothesis testing (the Umegaki relative entropy) for $s = 0$.


title: Can Latent Alignments Improve Autoregressive Machine Translation?

abstract: Latent alignment objectives such as CTC and AXE significantly improve non-autoregressive machine translation models. Can they improve autoregressive models as well? We explore the possibility of training autoregressive machine translation models with latent alignment objectives, and observe that, in practice, this approach results in degenerate models. We provide a theoretical explanation for these empirical results, and prove that latent alignment objectives are incompatible with teacher forcing.


title: Grey solitons in the ultracold fermions at the full spin polarization

abstract: A minimal coupling quantum hydrodynamic model of spin-1/2 fermions at the full spin polarization corresponding to a nonlinear Schrodinger equation is considered. The nonlinearity is primarily caused by the Fermi pressure. It provides an effective repulsion between fermions. However, there is the additional contribution of the short-range interaction appearing in the third order by the interaction radius. It leads to the modification of the pressure contribution. Solitons are considered for the infinite medium with no restriction on the amplitude of the wave. The Fermi pressure leads to the soliton in form of the area of decreased concentration. However, the center of solution corresponding to the area of minimal concentration has nonzero value of concentration. Therefore, the grey soliton is found. Soliton exist if the speed of its propagation is below the Fermi velocity.


title: Removing Diffraction Image Artifacts in Under-Display Camera via Dynamic Skip Connection Network

abstract: Recent development of Under-Display Camera (UDC) systems provides a true bezel-less and notch-free viewing experience on smartphones (and TV, laptops, tablets), while allowing images to be captured from the selfie camera embedded underneath. In a typical UDC system, the microstructure of the semi-transparent organic light-emitting diode (OLED) pixel array attenuates and diffracts the incident light on the camera, resulting in significant image quality degradation. Oftentimes, noise, flare, haze, and blur can be observed in UDC images. In this work, we aim to analyze and tackle the aforementioned degradation problems. We define a physics-based image formation model to better understand the degradation. In addition, we utilize one of the world's first commodity UDC smartphone prototypes to measure the real-world Point Spread Function (PSF) of the UDC system, and provide a model-based data synthesis pipeline to generate realistically degraded images. We specially design a new domain knowledge-enabled Dynamic Skip Connection Network (DISCNet) to restore the UDC images. We demonstrate the effectiveness of our method through extensive experiments on both synthetic and real UDC data. Our physics-based image formation model and proposed DISCNet can provide foundations for further exploration in UDC image restoration, and even for general diffraction artifact removal in a broader sense.


title: Learning to Communicate with Strangers via Channel Randomisation Methods

abstract: We introduce two methods for improving the performance of agents meeting for the first time to accomplish a communicative task. The methods are: (1) `message mutation' during the generation of the communication protocol; and (2) random permutations of the communication channel. These proposals are tested using a simple two-player game involving a `teacher' who generates a communication protocol and sends a message, and a `student' who interprets the message. After training multiple agents via self-play we analyse the performance of these agents when they are matched with a stranger, i.e. their zero-shot communication performance. We find that both message mutation and channel permutation positively influence performance, and we discuss their effects.


title: The complex multi-scale structure in simulated and observed emission maps of the proto-cluster cloud G0.253+0.016 (`the Brick')

abstract: The Central Molecular Zone (CMZ; the central ~ 500 pc of the Milky Way) hosts molecular clouds in an extreme environment of strong shear, high gas pressure and density, and complex chemistry. G0.253+0.016, also known as `the Brick', is the densest, most compact and quiescent of these clouds. High-resolution observations with the Atacama Large Millimeter/submillimeter Array (ALMA) have revealed its complex, hierarchical structure. In this paper we compare the properties of recent hydrodynamical simulations of the Brick to those of the ALMA observations. To facilitate the comparison, we post-process the simulations and create synthetic ALMA maps of molecular line emission from eight molecules. We correlate the line emission maps to each other and to the mass column density, and find that HNCO is the best mass tracer of the eight emission lines within the simulations. Additionally, we characterise the spatial structure of the observed and simulated cloud using the density probability distribution function (PDF), spatial power spectrum, fractal dimension, and moments of inertia. While we find good agreement between the observed and simulated data in terms of power spectra and fractal dimensions, there are key differences in the density PDFs and moments of inertia, which we attribute to the omission of magnetic fields in the simulations. This demonstrates that the presence of the Galactic potential can reproduce many cloud properties, but additional physical processes are needed to fully explain the gas structure.


title: Cohomology of the moduli stack of algebraic vector bundles

abstract: Let $\mathscr{V}\mathrm{ect}_n$ be the moduli stack of vector bundles of rank $n$ on schemes. We prove that, if $E$ is a Zariski sheaf of ring spectra which is equipped with finite quasi-smooth transfers and satisfies the projective bundle formula, then $E^*(\mathscr{V}\mathrm{ect}_{n,S})$ is freely generated by Chern classes $c_1,\dotsc,c_n$ over $E^*(S)$ for any scheme $S$. Examples include all multiplicative localizing invariants.


title: Political Discussion is Abundant in Non-political Subreddits (and Less Toxic)

abstract: Research on online political communication has primarily focused on content in explicitly political spaces. In this work, we set out to determine the amount of political talk missed using this approach. Focusing on Reddit, we estimate that nearly half of all political talk takes place in subreddits that host political content less than 25% of the time. In other words, cumulatively, political talk in non-political spaces is abundant. We further examine the nature of political talk and show that political conversations are less toxic in non-political subreddits. Indeed, the average toxicity of political comments replying to a out-partisan in non-political subreddits is even less than the toxicity of co-partisan replies in explicitly political subreddits.


title: Lieb-Schultz-Mattis Theorem and the Filling Constraint

abstract: Following recent developments in the classification of bosonic short-range entangled phases, we examine many-body quantum systems whose ground state fractionalization obeys the Lieb-Schultz-Mattis (LSM) theorem. We generalize the topological classification of such phases by LSM anomalies (arXiv:1907.08204) to take magnetic and non-symmorphic lattice effects into account, and provide direct computations of the LSM anomaly in specific examples. We show that the anomaly-free condition coincides with established filling constraints (arXiv:1705.09298, arXiv:1505.04193), and we also derived new ones on novel crystalline quantum systems.

categories: cond-mat.str-el cond-mat.mes-hall math-ph math.MP


title: FLAW3D: A Trojan-based Cyber Attack on the Physical Outcomes of Additive Manufacturing

abstract: Additive Manufacturing (AM) systems such as 3D printers use inexpensive microcontrollers that rarely feature cybersecurity defenses. This is a risk, especially given the rising threat landscape within the larger digital manufacturing domain. In this work we demonstrate this risk by presenting the design and study of a malicious Trojan (the FLAW3D bootloader) for AVR-based Marlin-compatible 3D printers (>100 commercial models). We show that the Trojan can hide from programming tools, and even within tight design constraints (less than 1.7 kilobytes in size), it can compromise the quality of additively manufactured prints and reduce tensile strengths by up to 50%.


title: A Framework using Contrastive Learning for Classification with Noisy Labels

abstract: We propose a framework using contrastive learning as a pre-training task to perform image classification in the presence of noisy labels. Recent strategies such as pseudo-labeling, sample selection with Gaussian Mixture models, weighted supervised contrastive learning have been combined into a fine-tuning phase following the pre-training. This paper provides an extensive empirical study showing that a preliminary contrastive learning step brings a significant gain in performance when using different loss functions: non-robust, robust, and early-learning regularized. Our experiments performed on standard benchmarks and real-world datasets demonstrate that: i) the contrastive pre-training increases the robustness of any loss function to noisy labels and ii) the additional fine-tuning phase can further improve accuracy but at the cost of additional complexity.


title: Interstellar communication network. III. Locating deep space nodes

abstract: An interstellar communication network benefits from relay nodes placed in the gravitational lenses of stars. The signal gains are of order $10^{9}$ with optimal alignment, allowing for GBits connections at kW power levels with meter-sized probes over parsec distances. If such a network exists, there might be a node in our solar system: where is it? With some assumptions on the network topology, candidate sky positions can be calculated. Apparent positions are influenced by the parallax motion from the Earth's orbit around the Sun, and the (slow) drifts caused by proper motions of nearby stars. With Gaia astrometry, instantaneous positions can be determined with arcsec accuracy. These potential node locations can be observed in targeted


title: Accelerating key bioinformatics tasks 100-fold by improving memory access

abstract: Most experimental sciences now rely on computing, and biological sciences are no exception. As datasets get bigger, so do the computing costs, making proper optimization of the codes used by scientists increasingly important. Many of the codes developed in recent years are based on the Python-based NumPy, due to its ease of use and good performance characteristics. The composable nature of NumPy, however, does not generally play well with the multi-tier nature of modern CPUs, making any non-trivial multi-step algorithm limited by the external memory access speeds, which are hundreds of times slower than the CPU's compute capabilities. In order to fully utilize the CPU compute capabilities, one must keep the working memory footprint small enough to fit in the CPU caches, which requires splitting the problem into smaller portions and fusing together as many steps as possible. In this paper, we present changes based on these principles to two important functions in the scikit-bio library, principal coordinates analysis and the Mantel test, that resulted in over 100x speed improvement in these widely used, general-purpose tools.


title: Nuclear quantum effects in thermal conductivity from centroid molecular dynamics

abstract: We show that the centroid molecular dynamics (CMD) method provides a realistic way to calculate the thermal diffusivity $a=\lambda/\rho c_{\rm V}$ of a quantum mechanical liquid such as para-hydrogen. Once $a$ has been calculated, the thermal conductivity can be obtained from $\lambda=\rho c_{\rm V}a$, where $\rho$ is the density of the liquid and $c_{\rm V}$ is the constant-volume heat capacity. The use of this formula requires an accurate quantum mechanical heat capacity $c_{\rm V}$, which can be obtained from a path integral molecular dynamics simulation. The thermal diffusivity can be calculated either from the decay of the equilibrium density fluctuations in the liquid or by using the Green-Kubo relation to calculate the CMD approximation to $\lambda$ and then dividing this by the corresponding approximation to $\rho c_{\rm V}$. We show that both approaches give the same results for liquid para-hydrogen and that these results are in good agreement with experimental measurements of the thermal conductivity over a wide temperature range. In particular, they correctly predict a decrease in the thermal conductivity at low temperatures -- an effect that stems from the decrease in the quantum mechanical heat capacity and has eluded previous para-hydrogen simulations. We also show that the method gives equally good agreement with experimental measurements for the thermal conductivity of normal liquid helium.


title: Dynamic and stochastic models of the evolution of aftershocks

abstract: This paper is devoted to the theory of aftershocks. The history of discovery of the Omori law is briefly described, the initial formulation of the law is given in the form of an algebraic formula describing the decrease in the frequency of aftershocks over time. An important generalization of the Oiori formula which is widely used in modern seismology is presented. The generalized law is also expressed by an algebraic formula, but it contains an additional parameter, which makes it possible to more flexibly approximate the observational data. The alternative approach to the theoretical description of aftershocks is to use the differential evolution models. To simulate the averaged dynamics of aftershocks, it is proposed the Verhulst differential equation, also known as the logistic equation. It is shown that the decrease in the frequency of aftershocks with time at the first stage of evolution occurs according to the Omori hyperbola, i.e. in accordance with the original wording of the law. The paper also proposes a stochastic generalization of the equation for the evolution of aftershocks. A random function of time is added to the right-hand side of the logistic equation to simulate noise that affects a dynamic system. As a result, a stochastic Langevin equation was obtained, which can be used to simulate fluctuations in the frequency of aftershocks.


title: Detecting Vehicle Type and License Plate Number of different Vehicles on Images

abstract: With ever increasing number of vehicles, vehicular tracking is one of the major challenges faced by urban areas. In this paper we try to develop a model that can locate a particular vehicle that the user is looking for depending on two factors 1. the Type of vehicle and the 2. License plate number of the car. The proposed system uses a unique mixture consisting of Mask R-CNN model for vehicle type detection, WpodNet and pytesseract for License Plate detection and Prediction of letters in it.


title: Off-chain Execution and Verification of Computationally Intensive Smart Contracts

abstract: We propose a novel framework for off-chain execution and verification of computationally-intensive smart contracts. Our framework is the first solution that avoids duplication of computing effort across multiple contractors, does not require trusted execution environments, supports computations that do not have deterministic results, and supports general-purpose computations written in a high-level language. Our experiments reveal that some intensive applications may require as much as 141 million gas, approximately 71x more than the current block gas limit for computation in Ethereum today, and can be avoided by utilizing the proposed framework.


title: Extracting Temporal Event Relation with Syntax-guided Graph Transformer

abstract: Extracting temporal relations (e.g., before, after, and simultaneous) among events is crucial to natural language understanding. One of the key challenges of this problem is that when the events of interest are far away in text, the context in-between often becomes complicated, making it challenging to resolve the temporal relationship between them. This paper thus proposes a new Syntax-guided Graph Transformer network (SGT) to mitigate this issue, by (1) explicitly exploiting the connection between two events based on their dependency parsing trees, and (2) automatically locating temporal cues between two events via a novel syntax-guided attention mechanism. Experiments on two benchmark datasets, MATRES and TB-Dense, show that our approach significantly outperforms previous state-of-the-art methods on both end-to-end temporal relation extraction and temporal relation classification; This improvement also proves to be robust on the contrast set of MATRES. The code is publicly available at https://github.com/VT-NLP/Syntax-Guided-Graph-Transformer.


title: Medium Access Strategies for Integrated Access and Backhaul at mmWaves Unlicensed Spectrum

abstract: The unlicensed spectrum is recently considered one of the defining solutions to meet the steadily growing traffic demand. This, in turn, has led to the enhancement for LTE in Release-13 to enable Licensed-Assisted Access (LAA) operations. The design of the medium access control (MAC) protocol for the LAA system to harmonically coexist with the incumbent WLAN system operating in an unlicensed band is critical and challenging. In this paper, we consider an Integrated Access and Backhaul (IAB) system coexisting with a Wi-Fi network operating at millimeter-wave (mmWave) unlicensed spectrum, for which a listen-before-talk-based (LBT) based medium access mechanism is carefully designed. Additionally, we have considered an in-band system that supports both access and backhaul in a single node where the small-cell or the IAB nodes compete with the WiGig for medium access. We present comprehensive experimental results and give design insights based on the simulation results.


title: Slippery-Sticky Transition of Interfacial Fluid Slip

abstract: The influence of temperature on interfacial fluid slip, as measured by molecular-dynamics simulations of a Couette flow comprising a Lennard-Jones fluid and rigid crystalline walls, is examined as a function of the fluid-solid interaction strength. Two different types of thermal behavior are observed, namely, the slippery and sticky cases. The first is characterized by a steep and unlimited increase of the slip length at low temperatures, while the second presents a vanishing slip length in this regime. As the temperature increases in relation to a characteristic value, both cases converge to finite slip lengths. A recently proposed analytical model is found to well describe both thermal behaviors, also predicting the slippery-sticky transition that occurs at a critical value of the fluid-solid interaction parameter, for which, according to the model, fluid particles experience a smooth average energy landscape at the interface.


title: On planar sampling with Gaussian kernel in spaces of bandlimited functions

abstract: Let $I=(a,b)\times(c,d)\subset {\mathbb R}_{+}^2$ be an index set and let $\{G_{\alpha}(x) \}_{\alpha \in I}$ be a collection of Gaussian functions, i.e. $G_{\alpha}(x) = \exp(-\alpha_1 x_1^2 - \alpha_2 x_2^2)$, where $\alpha = (\alpha_1, \alpha_2) \in I, \, x = (x_1, x_2) \in {\mathbb R}^2$. We present a complete description of the uniformly discrete sets $\Lambda \subset {\mathbb R}^2$ such that every bandlimited signal $f$ admits a stable reconstruction from the samples $\{f \ast G_{\alpha} (\lambda)\}_{\lambda \in \Lambda}$.


title: Probing Commonsense Explanation in Dialogue Response Generation

abstract: Humans use commonsense reasoning (CSR) implicitly to produce natural and coherent responses in conversations. Aiming to close the gap between current response generation (RG) models and human communication abilities, we want to understand why RG models respond as they do by probing RG model's understanding of commonsense reasoning that elicits proper responses. We formalize the problem by framing commonsense as a latent variable in the RG task and using explanations for responses as textual form of commonsense. We collect 6k annotated explanations justifying responses from four dialogue datasets and ask humans to verify them and propose two probing settings to evaluate RG models' CSR capabilities. Probing results show that models fail to capture the logical relations between commonsense explanations and responses and fine-tuning on in-domain data and increasing model sizes do not lead to understanding of CSR for RG. We hope our study motivates more research in making RG models emulate the human reasoning process in pursuit of smooth human-AI communication.


title: Universal algorithms for computing spectra of periodic operators

abstract: Schr\"odinger operators with periodic (possibly complex-valued) potentials and discrete periodic operators (possibly with complex-valued entries) are considered, and in both cases the computational spectral problem is investigated: namely, under what conditions can a "one-size-fits-all" algorithm for computing their spectra be devised? It is shown that for periodic banded matrices this can be done, as well as for Schr\"odinger operators with periodic potentials that are sufficiently smooth. In both cases implementable algorithms are provided, along with examples. For certain Schr\"odinger operators whose potentials may diverge at a single point (but are otherwise well-behaved) it is shown that there does not exist such an algorithm, though it is shown that the computation is possible if one allows for two successive limits.


title: LaTeX-Numeric: Language-agnostic Text attribute eXtraction for E-commerce Numeric Attributes

abstract: In this paper, we present LaTeX-Numeric - a high-precision fully-automated scalable framework for extracting E-commerce numeric attributes from product text like product description. Most of the past work on attribute extraction is not scalable as they rely on manually curated training data, either with or without the use of active learning. We rely on distant supervision for training data generation, removing dependency on manual labels. One issue with distant supervision is that it leads to incomplete training annotation due to missing attribute values while matching. We propose a multi-task learning architecture to deal with missing labels in the training data, leading to F1 improvement of 9.2% for numeric attributes over single-task architecture. While multi-task architecture benefits both numeric and non-numeric attributes, we present automated techniques to further improve the numeric attributes extraction models. Numeric attributes require a list of units (or aliases) for better matching with distant supervision. We propose an automated algorithm for alias creation using product text and attribute values, leading to a 20.2% F1 improvement. Extensive experiments on real world dataset for 20 numeric attributes across 5 product categories and 3 English marketplaces show that LaTeX-Numeric achieves a high F1-score, without any manual intervention, making it suitable for practical applications. Finally, we show that the improvements are language-agnostic and LaTeX-Numeric achieves 13.9% F1 improvement for 3 Romance languages.


title: Shadows and lensing of black holes immersed in strong magnetic fields

abstract: We investigate the null geodesic flow and in particular the light rings (LRs), fundamental photon orbits (FPOs) and shadows of a black hole (BH) immersed in a strong, uniform magnetic field, described by the Schwarzschilld-Melvin electrovacuum solution. The empty Melvin magnetic Universe contains a tube of planar LRs. Including a BH, for weak magnetic fields, the shadow becomes oblate, whereas the intrinsic horizon geometry becomes prolate. For strong magnetic fields (over-critical solutions), there are no LRs outside the BH horizon, a result explained using topological arguments. This feature, together with the light confining structure of the Melvin Universe yields \textit{panoramic shadows}, seen (almost) all around the equator of the observer's sky. Despite the lack of LRs, there are FPOs, including polar planar ones, which define the shadow edge. We also observe and discuss chaotic lensing, including in the empty Melvin Universe, and multiple disconnected shadows.


title: Mapping Moral Valence of Tweets Following the Killing of George Floyd

abstract: The viral video documenting the killing of George Floyd by Minneapolis police officer Derek Chauvin inspired nation-wide protests that brought national attention to widespread racial injustice and biased policing practices towards black communities in the United States. The use of social media by the Black Lives Matter movement was a primary route for activists to promote the cause and organize over 1,400 protests across the country. Recent research argues that moral discussions on social media are a catalyst for social change. This study sought to shed light on the moral dynamics shaping Black Lives Matter Twitter discussions by analyzing over 40,000 Tweets geo-located to Los Angeles. The goal of this study is to (1) develop computational techniques for mapping the structure of moral discourse on Twitter and (2) understand the connections between social media activism and protest.


title: A model-based iterative learning approach for diffuse optical tomography

abstract: Diffuse optical tomography (DOT) utilises near-infrared light for imaging spatially distributed optical parameters, typically the absorption and scattering coefficients. The image reconstruction problem of DOT is an ill-posed inverse problem, due to the non-linear light propagation in tissues and limited boundary measurements. The ill-posedness means that the image reconstruction is sensitive to measurement and modelling errors. The Bayesian approach for the inverse problem of DOT offers the possibility of incorporating prior information about the unknowns, rendering the problem less ill-posed. It also allows marginalisation of modelling errors utilising the so-called Bayesian approximation error method. A more recent trend in image reconstruction techniques is the use of deep learning techniques, which have shown promising results in various applications from image processing to tomographic reconstructions. In this work, we study the non-linear DOT inverse problem of estimating the absorption and scattering coefficients utilising a `model-based' learning approach, essentially intertwining learned components with the model equations of DOT. The proposed approach was validated with 2D simulations and 3D experimental data. We demonstrated improved absorption and scattering estimates for targets with a mix of smooth and sharp image features, implying that the proposed approach could learn image features that are difficult to model using standard Gaussian priors. Furthermore, it was shown that the approach can be utilised in compensating for modelling errors due to coarse discretisation enabling computationally efficient solutions. Overall, the approach provided improved computation times compared to a standard Gauss-Newton iteration.


title: Improving Cross-Modal Alignment in Vision Language Navigation via Syntactic Information

abstract: Vision language navigation is the task that requires an agent to navigate through a 3D environment based on natural language instructions. One key challenge in this task is to ground instructions with the current visual information that the agent perceives. Most of the existing work employs soft attention over individual words to locate the instruction required for the next action. However, different words have different functions in a sentence (e.g., modifiers convey attributes, verbs convey actions). Syntax information like dependencies and phrase structures can aid the agent to locate important parts of the instruction. Hence, in this paper, we propose a navigation agent that utilizes syntax information derived from a dependency tree to enhance alignment between the instruction and the current visual scenes. Empirically, our agent outperforms the baseline model that does not use syntax information on the Room-to-Room dataset, especially in the unseen environment. Besides, our agent achieves the new state-of-the-art on Room-Across-Room dataset, which contains instructions in 3 languages (English, Hindi, and Telugu). We also show that our agent is better at aligning instructions with the current visual information via qualitative visualizations. Code and models: https://github.com/jialuli-luka/SyntaxVLN


title: Binary lattice-gases of particles with soft exclusion: Exact phase diagrams for tree-like lattices

abstract: We study equilibrium properties of binary lattice-gases comprising $A$ and $B$ particles, which undergo continuous exchanges with their respective reservoirs, maintained at chemical potentials $\mu_A = \mu_B = \mu$. The particles interact via on-site hard-core exclusion and also between the nearest-neighbours: there are a soft repulsion for $AB$ pairs and interactions of arbitrary strength $J$, positive or negative, for $AA$ and $BB$ pairs. For tree-like Bethe and Husimi lattices, we determine the full phase diagram of such a ternary mixture of particles and voids. We show that for $J$ being above a lattice-dependent threshold value, the critical behaviour is similar: the system undergoes a transition at $\mu = \mu_c$ from a phase with equal mean densities of species into a phase with a spontaneously broken symmetry, in which the mean densities are no longer equal. Depending on the value of $J$, this transition can be either continuous or of the first order. For sufficiently big negative $J$, the behaviour on the two lattices becomes markedly different: while for the Bethe lattice there exists a continuous transition into a phase with an alternating order followed by a continuous re-entrant transition into a disordered phase, an alternating order phase is absent on the Husimi lattice due to strong frustration effects.


title: Robust Uncertainty Bounds in Reproducing Kernel Hilbert Spaces: A Convex Optimization Approach

abstract: The problem of establishing out-of-sample bounds for the values of an unkonwn ground-truth function is considered. Kernels and their associated Hilbert spaces are the main formalism employed herein along with an observational model where outputs are corrupted by bounded measurement noise. The noise can originate from any compactly supported distribution and no independence assumptions are made on the available data. In this setting, we show how computing tight, finite-sample uncertainty bounds amounts to solving parametric quadratically constrained linear programs. Next, properties of our approach are established and its relationship with another methods is studied. Numerical experiments are presented to exemplify how the theory can be applied in a number of scenarios, and to contrast it with other closed-form alternatives.


title: Vectorized Secure Evaluation of Decision Forests

abstract: As the demand for machine learning-based inference increases in tandem with concerns about privacy, there is a growing recognition of the need for secure machine learning, in which secret models can be used to classify private data without the model or data being leaked. Fully Homomorphic Encryption (FHE) allows arbitrary computation to be done over encrypted data, providing an attractive approach to providing such secure inference. While such computation is often orders of magnitude slower than its plaintext counterpart, the ability of FHE cryptosystems to do \emph{ciphertext packing} -- that is, encrypting an entire vector of plaintexts such that operations are evaluated elementwise on the vector -- helps ameliorate this overhead, effectively creating a SIMD architecture where computation can be vectorized for more efficient evaluation. Most recent research in this area has targeted regular, easily vectorizable neural network models. Applying similar techniques to irregular ML models such as decision forests remains unexplored, due to their complex, hard-to-vectorize structures. In this paper we present COPSE, the first system that exploits ciphertext packing to perform decision-forest inference. COPSE consists of a staging compiler that automatically restructures and compiles decision forest models down to a new set of vectorizable primitives for secure inference. We find that COPSE's compiled models outperform the state of the art across a range of decision forest models, often by more than an order of magnitude, while still scaling well.


title: Electronic scattering off a magnetic hopfion

abstract: We study scattering of itinerant electrons off a magnetic hopfion in a three-dimensional metallic magnet described by a magnetization vector $\mathbf S(\mathbf r)$. A hopfion is a confined topological soliton of $\mathbf S(\mathbf r)$ characterized by an {\it emergent} magnetic field $B_\gamma(\mathbf r) \equiv \epsilon_{\alpha\beta\gamma} \,\mathbf S\cdot(\nabla_\alpha \mathbf S\times \nabla_\beta \mathbf S)/4 \neq 0$ with vanishing average value $\langle \mathbf B(\mathbf r)\rangle = 0$. We evaluate the scattering amplitude in the opposite limits of large and small hopfion radius $R$ using the eikonal and Born approximations, respectively. In both limits, we find that the scattering cross-section contains a skew-scattering component giving rise to the Hall effect within a hopfion plane. That conclusion contests the popular notion that the topological Hall effect in non-collinear magnetic structures necessarily implies $\langle \mathbf B(\mathbf r)\rangle \neq 0$. In the limit of small hopfion radius $pR \ll 1$, we expand the Born series in powers of momentum $p$ and identify different expansion terms corresponding to the hopfion anisotropy, toroidal moment, and skew-scattering.


title: ELECTRAMed: a new pre-trained language representation model for biomedical NLP

abstract: The overwhelming amount of biomedical scientific texts calls for the development of effective language models able to tackle a wide range of biomedical natural language processing (NLP) tasks. The most recent dominant approaches are domain-specific models, initialized with general-domain textual data and then trained on a variety of scientific corpora. However, it has been observed that for specialized domains in which large corpora exist, training a model from scratch with just in-domain knowledge may yield better results. Moreover, the increasing focus on the compute costs for pre-training recently led to the design of more efficient architectures, such as ELECTRA. In this paper, we propose a pre-trained domain-specific language model, called ELECTRAMed, suited for the biomedical field. The novel approach inherits the learning framework of the general-domain ELECTRA architecture, as well as its computational advantages. Experiments performed on benchmark datasets for several biomedical NLP tasks support the usefulness of ELECTRAMed, which sets the novel state-of-the-art result on the BC5CDR corpus for named entity recognition, and provides the best outcome in 2 over the 5 runs of the 7th BioASQ-factoid Challange for the question answering task.


title: Semantic Knowledge Discovery and Discussion Mining of Incel Online Community: Topic modeling

abstract: Online forums provide a unique opportunity for online users to share comments and exchange information on a particular topic. Understanding user behaviour is valuable to organizations and has applications for social and security strategies, for instance, identifying user opinions within a community or predicting future behaviour. Discovering the semantic aspects in Incel forums are the main goal of this research; we apply Natural language processing techniques based on topic modeling to latent topic discovery and opinion mining of users from a popular online Incel discussion forum. To prepare the input data for our study, we extracted the comments from Incels.co. The research experiments show that Artificial Intelligence (AI) based on NLP models can be effective for semantic and emotion knowledge discovery and retrieval of useful information from the Incel community. For example, we discovered semantic-related words that describe issues within a large volume of Incel comments, which is difficult with manual methods.


title: ASFM-Net: Asymmetrical Siamese Feature Matching Network for Point Completion

abstract: We tackle the problem of object completion from point clouds and propose a novel point cloud completion network employing an Asymmetrical Siamese Feature Matching strategy, termed as ASFM-Net. Specifically, the Siamese auto-encoder neural network is adopted to map the partial and complete input point cloud into a shared latent space, which can capture detailed shape prior. Then we design an iterative refinement unit to generate complete shapes with fine-grained details by integrating prior information. Experiments are conducted on the PCN dataset and the Completion3D benchmark, demonstrating the state-of-the-art performance of the proposed ASFM-Net. Our method achieves the 1st place in the leaderboard of Completion3D and outperforms existing methods with a large margin, about 12%. The codes and trained models are released publicly at https://github.com/Yan-Xia/ASFM-Net.


title: Orlicz-Lorentz Gauge Functional Inequalities for Positive Integral Operators. Revised Version

abstract: Let $f \in M_+(\R_+)$, the class of nonnegative, Lebesgure-measurable functions on $\R_+=(0, \infty)$. We deal with integral operators of the form \[ (T_Kf)(x)=\int_{\R_+}K(x,y)f(y)\, dy, \quad x \in \R_+, \] with $K \in M_+(\R_+^2)$. We are interested in inequalities \[ \rho_{1}((T_Kf)^*)\leq C\rho_2(f^*), \] in which $\rho_1$ and $\rho_2$ are functionals on functions $h \in M_+(\R_+)$, and \[ h^*(t)=\mu_h^{-1}(t), \quad t \in \R_+, \] where \[ \mu_h(\lambda)=|\{x \in \R_+: \, h(x)> \lambda\}|, \lambda \in \R_+. \] Specifically, $\rho_1$ and $\rho_2$ are so-called Orlicz-Lorentz gauge functionals of the type \[ \rho(h)=\rho_{\Phi, u}(h)=\inf\left\{\lambda>0:\, \int_{\R_+}\Phi\left(\frac{h(x)}{\lambda}\right)u(x)\, dx \leq 1\right\}, \quad h \in M_+(\R_+); \] here $\Phi(x)=\int_0^x\phi(y)\, dy$, $\phi$ an increasing function mapping $\R_+$ onto itself and $u\in M_+(\R_+)$.


title: Gr\"obner bases, symmetric matrices, and type C Kazhdan-Lusztig varieties

abstract: We study a class of combinatorially-defined polynomial ideals which are generated by minors of a generic symmetric matrix. Included within this class are the symmetric determinantal ideals, the symmetric ladder determinantal ideals, and the symmetric Schubert determinantal ideals of A. Fink, J. Rajchgot, and S. Sullivant. Each ideal in our class is a type C analog of a Kazhdan-Lusztig ideal of A. Woo and A. Yong; that is, it is the scheme-theoretic defining ideal of the intersection of a type C Schubert variety with a type C opposite Schubert cell, appropriately coordinatized. The Kazhdan-Lusztig ideals that arise are exactly those where the opposite cell is $123$-avoiding. Our main results include Gr\"obner bases for these ideals, prime decompositions of their initial ideals (which are Stanley-Reisner ideals of subword complexes) and combinatorial formulas for their multigraded Hilbert series in terms of pipe dreams.


title: Strategies for COVID-19 vaccination under a shortage scenario: a geo-stochastic modelling approach

abstract: In a world being hit by waves of COVID-19, vaccination is a light on the horizon. However, the roll-out of vaccination strategies and their influence on the pandemic are still open problems. In order to compare the effect of various strategies proposed by the World Health Organization and other authorities, a previously developed SEIRS stochastic model of geographical spreading of the virus is extended by adding a compartment for vaccinated people. The parameters of the model were fitted to describe the pandemic evolution in Argentina, Mexico and Spain to analyze the effect of the proposed vaccination strategies. The mobility parameters allow to simulate different social behaviors (e.g. lock-down interventions). Schemes in which vaccines are applied homogeneously in all the country, or limited to the most densely-populated areas, are simulated and compared. The second strategy is found to be more effective. Moreover, under the current global shortage of vaccines, it should be remarked that immunization is enhanced when mobility is reduced. Additionally, repetition of vaccination campaigns should be timed considering the immunity lapse of the vaccinated (and recovered) people. Finally, the model is extended to include the effect of isolation of detected positive cases, shown to be important to reduce infections.


title: Moir\'e patterns generated by stacked 2D lattices: a general algorithm to identify primitive coincidence cells

abstract: Two-dimensional materials on metallic surfaces or stacked one on top of the other can form a variety of moir\'e superstructures depending on the possible parameter and symmetry mismatch and misorientation angle. In most cases, such as incommensurate lattices or identical lattices but with a small twist angle, the common periodicity may be very large, thus making numerical simulations prohibitive. We propose here a general procedure to determine the minimal simulation cell which approximates, within a certain tolerance and a certain size, the primitive cell of the common superlattice, given the two interfacing lattices and the relative orientation angle. As case studies to validate our procedure, we report two applications of particular interest: the case of misaligned hexagonal/hexagonal identical lattices, describing a twisted graphene bilayer or a graphene monolayer grown on Ni(111), and the case of hexagonal/square lattices, describing for instance a graphene monolayer grown on Ni(100) surface. The first one, which has also analytic solutions, constitutes a solid benchmark for the algorithm; the second one shows that a very nice description of the experimental observations can be obtained also using the resulting relatively small coincidence cells.


title: Magnetic coupling in Y$_3$Fe$_5$O$_{12}$/Gd$_3$Fe$_5$O$_{12}$ heterostructures

abstract: Ferrimagnetic Y$_3$Fe$_5$O$_{12}$ (YIG) is the prototypical material for studying magnonic properties due to its exceptionally low damping. By substituting the yttrium with other rare earth elements that have a net magnetic moment, we can introduce an additional spin degree of freedom. Here, we study the magnetic coupling in epitaxial Y$_3$Fe$_5$O$_{12}$/Gd$_3$Fe$_5$O$_{12}$ (YIG/GIG) heterostructures grown by pulsed laser deposition. From bulk sensitive magnetometry and surface sensitive spin Seebeck effect (SSE) and spin Hall magnetoresistance (SMR) measurements, we determine the alignment of the heterostructure magnetization through temperature and external magnetic field. The ferromagnetic coupling between the Fe sublattices of YIG and GIG dominates the overall behavior of the heterostructures. Due to the temperature dependent gadolinium moment, a magnetic compensation point of the total bilayer system can be identified. This compensation point shifts to lower temperatures with increasing thickness of YIG due the parallel alignment of the iron moments. We show that we can control the magnetic properties of the heterostructures by tuning the thickness of the individual layers, opening up a large playground for magnonic devices based on coupled magnetic insulators. These devices could potentially control the magnon transport analogously to electron transport in giant magnetoresistive devices.


title: WKBJ approximation for linearly coupled systems: asymptotics of reaction-diffusion systems

abstract: Asymptotic analysis has become a common approach in investigations of reaction-diffusion equations and pattern formation, especially when considering generalizations to the original model, such as spatial heterogeneity, where finding an analytic solution even to the linearized equations is generally not possible. The WKBJ method, one of the more robust asymptotic approaches for investigating dissipative phenomena captured by linear equations, has recently been applied to the Turing model in a heterogeneous environment. It demonstrated the anticipated modifications to the results obtained in a homogeneous setting, such as localized patterns and local Turing conditions. In this context, we attempt a generalization of the scalar WKBJ theory to multicomponent systems. Our broader mathematical approach results in general approximation theorems for systems of ODEs. We discuss the cases of exponential and oscillatory behaviour first before treating the general case. Subsequently, we demonstrate the spectral properties utilized in the approximation theorems for a typical Turing system, hence suggesting that such an approximation is reasonable. Note that our line of approach is via showing that the solution is close (using suitable weight functions for measuring the error) to a linear combination of Airy functions.


title: Spin-flip diffusion length in 5d transition metal elements: a first-principles benchmark

abstract: Little is known about the spin-flip diffusion length $l_{\rm sf}$, one of the most important material parameters in the field of spintronics. We use a density-functional-theory based scattering approach to determine values of $l_{\rm sf}$ that result from electron-phonon scattering as a function of temperature for all 5d transition metal elements. $l_{\rm sf}$ does not decrease monotonically with the atomic number Z but is found to be inversely proportional to the density of states at the Fermi level. By using the same local current methodology to calculate the spin Hall angle $\Theta_{\rm sH}$ that characterizes the efficiency of the spin Hall effect, we show that the products $\rho(T)l_{\rm sf}(T)$ and $\Theta_{\rm sH}(T)l_{\rm sf}(T)$ are constant.


title: Towards Guaranteed Safety Assurance of Automated Driving Systems with Scenario Sampling: An Invariant Set Perspective (Extended Version)

abstract: How many scenarios are sufficient to validate the safe Operational Design Domain (ODD) of an Automated Driving System (ADS) equipped vehicle? Is a more significant number of sampled scenarios guaranteeing a more accurate safety assessment of the ADS? Despite the various empirical success of ADS safety evaluation with scenario sampling in practice, some of the fundamental properties are largely unknown. This paper seeks to remedy this gap by formulating and tackling the scenario sampling safety assurance problem from a set invariance perspective. First, a novel conceptual equivalence is drawn between the scenario sampling safety assurance problem and the data-driven robustly controlled forward invariant set validation and quantification problem. This paper then provides a series of resolution complete and probabilistic complete solutions with finite-sampling analyses for the safety validation problem that authenticates a given ODD. On the other hand, the quantification problem escalates the validation challenge and starts looking for a safe sub-domain of a particular property. This inspires various algorithms that are provably probabilistic incomplete, probabilistic complete but sub-optimal, and asymptotically optimal. Finally, the proposed asymptotically optimal scenario sampling safety quantification algorithm is also empirically demonstrated through simulation experiments.


title: The Disc Miner I: A statistical framework to detect and quantify kinematical perturbations driven by young planets in discs

abstract: [Abridged] The study of disc kinematics has recently opened up as a promising method to detect unseen planets. However, a systematic, statistically meaningful analysis of such an approach remains missing. The aim of this work is to devise an automated, statistically robust technique to identify kinematical perturbations induced by the presence of planets in a gas disc, and to accurately infer their location. For this purpose, we produce hydro simulations of planet-disc interactions with different planet masses, 0.3, 1.0 and 3.0 $M_{Jup}$, at a radius of $R=100$ au in the disc, and perform radiative transfer calculations of CO to simulate observables for 13 planet azimuths. Using the DISCMINER package, we fit the synthetic data cubes with a Keplerian model of the channel-by-channel emission to study line profile differences, including deviations from Keplerian rotation. The detection technique, based on line centroid differences, captures localised planet-driven perturbations, and can distinguish them from axisymmetric velocity perturbations. The method can detect all three simulated planets, at all azimuths, with an average accuracy of $\pm3^\circ$ in azimuth and $\pm8$ au in radius. Owing to disc structure and line-of-sight projection effects, planets at azimuths close to $\pm45^\circ$ yield the highest velocity fluctuations, whereas those at limiting cases, $0^\circ$ and $\pm90^\circ$, drive the lowest. The observed peak velocities range within 40$-$70, 70$-$170 and 130$-$450 m s$^{-1}$ for 0.3, 1.0 and 3.0 $M_{Jup}$ planets. Our analysis indicates that the variance of peak velocities is boosted near planets due to organised gas motions prompted by their localised gravitational well. We propose an approach that exploits this velocity coherence to provide, for the first time, statistically significant detections of localised planet-driven perturbations in the gas disc kinematics.


title: Price Optimization with Practical Constraints

abstract: In this paper, we study a retailer price optimization problem which includes the practical constraints: maximum number of price changes and minimum amount of price change (if a change is recommended). We provide a closed-form formula for the Euclidean projection onto the feasible set defined by these two constraints, based on which a simple gradient projection algorithm is proposed to solve the price optimization problem. We study the convergence and solution quality of the proposed algorithm. We extend the base model to include upper/lower bounds on the individual product prices and solve it with some adjustments to the gradient projection algorithm. Numerical results are reported to demonstrate the performance of the proposed algorithm.


title: Fully resolved currents from quantum transport calculations

abstract: We extract local current distributions from interatomic currents calculated using a fully relativistic quantum mechanical scattering formalism by interpolation onto a three-dimensional grid. The method is illustrated with calculations for Pt$|$Ir and Pt$|$Au multilayers as well as for thin films of Pt and Au that include temperature-dependent lattice disorder. The current flow is studied in the "classical" and "Knudsen" limits determined by the sample thickness relative to the mean free path $\lambda$, introducing current streamlines to visualize the results. For periodic multilayers, our results in the classical limit reveal that transport inside a metal can be described using a single value of resistivity $\rho$ combined with a linear variation of $\rho$ at the interface while the Knudsen limit indicates a strong spatial dependence of $\rho$ inside a metal and an anomalous dip of the current density at the interface which is accentuated in a region where transient shunting persists.


title: Voltage-Gate Assisted Spin-Orbit Torque Magnetic Random Access Memory for High-Density and Low-Power Embedded Application

abstract: Voltage-gate assisted spin-orbit torque (VGSOT) writing scheme combines the advantages from voltage control of magnetic anisotropy (VCMA) and spin-orbit torque (SOT) effects, enabling multiple benefits for magnetic random access memory (MRAM) applications. In this work, we give a complete description of VGSOT writing properties on perpendicular magnetic tunnel junction (pMTJ) devices, and we propose a detailed methodology for its electrical characterization. The impact of gate assistance on the SOT switching characteristics are investigated using electrical pulses down to 400ps. The VCMA coefficient ({\xi}) extracted from current switching scheme is found to be the same as that from the magnetic field switch method, which is in the order of 15fJ/Vm for the 80nm to 150nm devices. Moreover, as expected from the pure electronic VCMA effect, {\xi} is revealed to be independent of the writing speed and gate length. We observe that SOT switching current characteristics are modified linearly with gate voltage (V_g), similar as for the magnetic properties. We interpret this linear behavior as the direct modification of perpendicular magnetic anisotropy (PMA) and nucleation energy induced by VCMA. At V_g = 1V, the SOT write current is decreased by 25%, corresponding to a 45% reduction in total energy down to 30fJ/bit at 400ps speed for the 80nm devices used in this study. Further, the device-scaling criteria are proposed, and we reveal that VGSOT scheme is of great interest as it can mitigate the complex material requirements of achieving high SOT and VCMA parameters for scaled MTJs. Finally, how that VGSOT-MRAM can enable high-density arrays close to two terminal geometries, with high-speed performance and low-power operation, showing great potential for embedded memories as well as in-memory computing applications at advanced technology nodes.


title: Deciphering the Origin of Ionized Gas in IC 1459 with VLT/MUSE

abstract: IC 1459 is an early-type galaxy (ETG) with a rapidly counter-rotating stellar core, and is the central galaxy in a gas-rich group of spirals. In this work, we investigate the abundant ionized gas in IC 1459 and present new stellar orbital models to connect its complex array of observed properties and build a more complete picture of its evolution. Using the Multi-Unit Spectroscopic Explorer (MUSE), the optical integral field unit (IFU) on the Very Large Telescope (VLT), we examine the gas and stellar properties of IC 1459 to decipher the origin and powering mechanism of the galaxy's ionized gas. We detect ionized gas in a non-disk-like structure rotating in the opposite sense to the central stars. Using emission-line flux ratios and velocity dispersion from full-spectral fitting, we find two kinematically distinct regions of shocked emission-line gas in IC 1459, which we distinguished using narrow ($\sigma$ $\leq$ 155 km s$^{-1}$) and broad ($\sigma$ $>$ 155 km s$^{-1}$) profiles. Our results imply that the emission-line gas in IC 1459 has a different origin than that of its counter-rotating stellar component. We propose that the ionized gas is from late-stage accretion of gas from the group environment, which occurred long after the formation of the central stellar component. We find that shock heating and AGN activity are both ionizing mechanisms in IC 1459 but that the dominant excitation mechanism is by post-asymptotic giant branch stars from its old stellar population.


title: Localisation of cubical model categories

abstract: In this article we introduce the notion of a square structure on a model category, that generalises cubical model categories. We then show that under some homotopical conditions on this square structure the induced cubical category is a localisation of the model category.


title: Explicit presentation of relative Steinberg groups

abstract: We find an explicit presentation of relative linear Steinberg groups $\mathrm{St}(n, R, I)$ for any ring $R$ and $n \geq 4$ by generators and relations as abstract groups. We also prove a similar result for relative simply laced Steinberg groups $\mathrm{St}(\Phi; R, I)$ for commutative $R$ and $\Phi \in \{\mathsf A_\ell, \mathsf D_\ell, \mathsf E_\ell \mid \ell \geq 3\}$.


title: Observation of bound states in the continuum embedded in symmetry bandgaps

abstract: In the last decade, symmetry-protected bound states in the continuum (BICs) have proven to be an important design principle for creating and enhancing devices reliant upon states with high quality (Q) factors, such as sensors, lasers, and those for harmonic generation. However, as we show, current implementations of symmetry-protected BICs in photonic crystal slabs can only be found at the center of the Brillouin zone and below the Bragg-diffraction limit, which fundamentally restricts their use to single-frequency applications. By 3D-micro printing a photonic crystal structure using two-photon polymerization, we demonstrate that this limitation can be overcome by altering the radiative environment surrounding the slab to be a three-dimensional photonic crystal. This allows for the protection of a line of BICs by embedding it in a symmetry bandgap of the crystal. Moreover, we experimentally verify that just a single layer of this photonic crystal environment is sufficient. This concept significantly expands the design freedom available for developing next-generation devices with high-Q states.


title: Pure strictly uniform models of non-ergodic measure automorphisms

abstract: The classical theorem of Jewett and Krieger gives a strictly ergodic model for any ergodic measure preserving system. An extension of this result for non-ergodic systems was given many years ago by George Hansel. He constructed, for any measure preserving system, a strictly uniform model, i.e. a compact space which admits an upper semicontinuous decomposition into strictly ergodic models of the ergodic components of the measure. In this note we give a new proof of a stronger result by adding the condition of purity, which controls the set of ergodic measures that appear in the strictly uniform model.


title: A D$_{2}$O detector for flux normalization of a pion decay-at-rest neutrino source

abstract: We report on the technical design and expected performance of a 592 kg heavy-water-Cherenkov detector to measure the absolute neutrino flux from the pion-decay-at-rest neutrino source at the Spallation Neutron Source (SNS) at Oak Ridge National Laboratory (ORNL). The detector will be located roughly 20 m from the SNS target and will measure the neutrino flux with better than 5% statistical uncertainty in 2 years. This heavy-water detector will serve as the first module of a two-module detector system to ultimately measure the neutrino flux to 2-3% at both the First Target Station and the planned Second Target Station of the SNS. This detector will significantly reduce a dominant systematic uncertainty for neutrino cross-section measurements at the SNS, increasing the sensitivity of searches for new physics.


title: Polymer-induced microcolony compaction in early biofilms: a computer simulation study

abstract: Microscopic organisms, such as bacteria, have the ability of colonizing surfaces and developing biofilms that can determine diseases and infections. Most bacteria secrete a significant amount of extracellular polymer substances that are relevant for biofilm stabilization and growth. In this work, we apply computer simulation and perform experiments to investigate the impact of polymer size and concentration on early biofilm formation and growth. We observe as bacterial cells formed loose, disorganized clusters whenever the effect of diffusion exceeded that of cell growth and division. Addition of model polymeric molecules induced particle self-assembly and aggregation to form compact clusters in a polymer size- and concentration-dependent fashion. We also find that large polymer size or concentration lead to the development of intriguing stripe-like and dendritic colonies. The results obtained by Brownian dynamic simulation closely resemble the morphologies that we experimentally observe in biofilms of a Pseudomonas Putida strain with added polymers. The analysis of the Brownian dynamic simulation results suggests the existence of a threshold polymer concentration that distinguishes between two growth regimes. Below this threshold, the main force driving polymer-induced compaction is hindrance of bacterial cell diffusion, while collective effects play a minor role. Above this threshold, especially for large polymers, polymer-induced compaction is a collective phenomenon driven by depletion forces. Well above this concentration threshold, severely limited diffusion drives the formation of filaments and dendritic colonies.


title: Structured Light Projection-based single-shot transport of intensity phase imaging for quantitative diagnostics of high-speed flows

abstract: A method for quantitative estimation of density in a high-speed flow field is presented, which uses a structured-light beam probe to interrogate the region of interest (ROI). Wavefront distortion suffered by the interrogating beam as it passes through the shock-induced flow field is investigated. Dedicate camera optics is used to measure the cross-sectional intensities of the exiting wavefront at two different planes, simultaneously. A technique is proposed that uses the lateral displacement of the structured light pattern on both the planes to estimate the axial intensity derivative, dI/dz, which is the input for the transport-of intensity equation (TIE) for phase estimation. By doing this, the need for small defocused distance, dz is avoided in experiments and hence the demand for a low f/# imaging system is alleviated, and now larger dz is admissible as the intensity derivative is not estimated through the conventional finite difference (FD) approximation. The recovered phase from TIE is used as an input to phase tomography algorithm to obtain the refractive index followed by density distributions in the flow field quantitatively. The proposed technique is verified through experiments conducted in hypersonic shock tunnel for flow Mach No. of 8.5. Estimated cross-sectional densities of the flow field around the aerodynamic test model are presented and compared with the numerically estimated values, which shows good agreement.


title: Homogeneous C21 Models

abstract: Fels-Kaup (Acta Mathematica 2008) classified homogeneous $\mathfrak{C}_{2,1}$ hypersurfaces $M^5 \subset \mathbb{C}^3$ and discovered that they are all biholomorphic to tubes $S^2 \times i \mathbb{R}^3$ over some affinely homogeneous surface $S^2 \subset \mathbb{R}^3$. The second and third authors in 2003.08166, by performing highly non-straightforward calculations, conducted the Cartan method of equivalence to classify homogeneous models of PDE systems related to such $\mathfrak{C}^{2,1}$ hypersurfaces $M^5 \subset \mathbb{C}^3$. Kolar-Kossovskiy 1905.05629 and the authors 2003.01952 constructed a formal and a convergent Poincar\'e-Moser normal form for $\mathfrak{C}_{2,1}$ hypersurfaces $M^5 \subset \mathbb{C}^3$. But this was only a first, preliminary step. Indeed, the invariant branching tree underlying Fels-Kaup's classification was still missing in the literature, due to computational obstacles. The present work applies the power series method of equivalence, confirms Fels-Kaup 2008, and finds a differential-invariant tree. To terminate the middle (thickest) branch, it is necessary to compute up to order $10$ with $5$ variables. Again, calculations, done by hand, are non-straightforward.


title: Parameter estimation and model selection for water sorption in a wood fibre material

abstract: The sorption curve is an essential feature for the modelling of heat and mass transfer in porous building materials. Several models have been proposed in the literature to represent the amount of moisture content in the material according to the water activity (or capillary pressure) level. These models are based on analytical expressions and few parameters that need to be estimated by inverse analysis. This article investigates the reliability of eight models through the accuracy of the estimated parameters. For this, experimental data for a wood fibre material are generated with special attention to the stop criterion to capture long time kinetic constants. Among five sets of measurements, the best estimate is computed. The reliability of the models is then discussed. After proving the theoretical identifiability of the unknown parameters for each model, the primary identifiability is analysed. It evaluates whether the parameters influence on the model output is sufficient to proceed the parameter estimation with accuracy. For this, a continuous derivative-based approach is adopted. Seven models have a low primary identifiability for at least one parameter. Indeed, when estimating the unknown parameters using the experimental observations, the parameters with low primary identifiability exhibit large uncertainties. Finally, an Approximation Bayesian Computation algorithm is used to simultaneously select the best model and estimate the parameters that best represent the experimental data. The thermodynamic and \textsc{Feng}--\textsc{Xing} models, together with a proposed model in this work, were the best ones selected by this algorithm.


title: Geometric methods for efficient planar swimming of copepod nauplii

abstract: Copepod nauplii are larval crustaceans with important ecological functions. Due to their small size, they experience an environment of low Reynolds number within their aquatic habitat. Here we provide a mathematical model of a swimming copepod nauplius with two legs moving in a plane. This model allows for both rotation and two-dimensional displacement by periodic deformation of the swimmer's body. The system is studied from the framework of optimal control theory, with a simple cost function designed to approximate the mechanical energy expended by the copepod. We find that this model is sufficiently realistic to recreate behavior similar to those of observed copepod nauplii, yet much of the mathematical analysis is tractable. In particular, we show that the system is controllable, but there exist singular configurations where the degree of non-holonomy is non-generic. We also partially characterize the abnormal extremals and provide explicit examples of families of abnormal curves. Finally, we numerically simulate normal extremals and observe some interesting and surprising phenomena.


title: Reducing Solid-State Drive Read Latency by Optimizing Read-Retry

abstract: 3D NAND flash memory with advanced multi-level cell techniques provides high storage density, but suffers from significant performance degradation due to a large number of read-retry operations. Although the read-retry mechanism is essential to ensuring the reliability of modern NAND flash memory, it can significantly increase the read latency of an SSD by introducing multiple retry steps that read the target page again with adjusted read-reference voltage values. Through a detailed analysis of the read mechanism and rigorous characterization of 160 real 3D NAND flash memory chips, we find new opportunities to reduce the read-retry latency by exploiting two advanced features widely adopted in modern NAND flash-based SSDs: 1) the CACHE READ command and 2) strong ECC engine. First, we can reduce the read-retry latency using the advanced CACHE READ command that allows a NAND flash chip to perform consecutive reads in a pipelined manner. Second, there exists a large ECC-capability margin in the final retry step that can be used for reducing the chip-level read latency. Based on our new findings, we develop two new techniques that effectively reduce the read-retry latency: 1) Pipelined Read-Retry (PR$^2$) and 2) Adaptive Read-Retry (AR$^2$). PR$^2$ reduces the latency of a read-retry operation by pipelining consecutive retry steps using the CACHE READ command. AR$^2$ shortens the latency of each retry step by dynamically reducing the chip-level read latency depending on the current operating conditions that determine the ECC-capability margin. Our evaluation using twelve real-world workloads shows that our proposal improves SSD response time by up to 31.5% (17% on average) over a state-of-the-art baseline with only small changes to the SSD controller.


title: LEx: A Framework for Operationalising Layers of Machine Learning Explanations

abstract: Several social factors impact how people respond to AI explanations used to justify AI decisions affecting them personally. In this position paper, we define a framework called the \textit{layers of explanation} (LEx), a lens through which we can assess the appropriateness of different types of explanations. The framework uses the notions of \textit{sensitivity} (emotional responsiveness) of features and the level of \textit{stakes} (decision's consequence) in a domain to determine whether different types of explanations are \textit{appropriate} in a given context. We demonstrate how to use the framework to assess the appropriateness of different types of explanations in different domains.


title: Asymmetry-induced order in multilayer networks

abstract: Symmetries naturally occur in real-world networks and can significantly influence the observed dynamics. For instance, many synchronization patterns result from the underlying network symmetries, and high symmetries are known to increase the stability of synchronization. Yet, here we find that general macroscopic features of network solutions such as regularity can be induced by breaking their symmetry of interactions. We demonstrate this effect in an ecological multilayer network where the topological asymmetries occur naturally. These asymmetries rescue the system from chaotic oscillations by establishing stable periodic orbits and equilibria. We call this phenomenon asymmetry-induced order and uncover its mechanism by analyzing both analytically and numerically the suppression of dynamics on the system's synchronization manifold. Moreover, the bifurcation scenario describing the route from chaos to order is also disclosed. We demonstrate that this result also holds for generic node dynamics by analyzing coupled paradigmatic R\"ossler and Lorenz systems.


title: Nanomechanical probing and strain tuning of the Curie temperature in suspended Cr$_2$Ge$_2$Te$_6$ heterostructures

abstract: Two-dimensional (2D) magnetic materials with strong magnetostriction are interesting systems for strain-tuning the magnetization, enabling potential for realizing spintronic and nanomagnetic devices. Realizing this potential requires understanding of the magneto-mechanical coupling in the 2D limit. In this work, we suspend thin Cr$_2$Ge$_2$Te$_6$ layers, creating nanomechanical membrane resonators. We probe its mechanical and magnetic properties as a function of temperature and strain. Pronounced signatures of magneto-elastic coupling are observed in the temperature-dependent resonance frequency of these membranes near $T_{\rm C}$. We further utilize Cr$_2$Ge$_2$Te$_6$ in heterostructures with thin layers of WSe$_2$ and FePS$_3$, which have positive thermal expansion coefficients, to compensate the negative thermal expansion coefficient of Cr$_2$Ge$_2$Te$_6$ and quantitatively probe the corresponding $T_{\rm C}$. Finally, we induce a strain of $0.016\%$ in a suspended heterostructure via electrostatic force and demonstrate a resulting enhancement of $T_{\rm C}$ by $2.5 \pm 0.6$ K in the absence of an external magnetic field.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.app-ph