title: The roughness exponent and its model-free estimation

abstract: Motivated by pathwise stochastic calculus, we say that a continuous real-valued function $x$ admits the roughness exponent $R$ if the $p^{\text{th}}$ variation of $x$ converges to zero if $p>1/R$ and to infinity if $p<1/R$. For the sample paths of many stochastic processes, such as fractional Brownian motion, the roughness exponent exists and equals the standard Hurst parameter. In our main result, we provide a mild condition on the Faber--Schauder coefficients of $x$ under which the roughness exponent exists and is given as the limit of the classical Gladyshev estimates $\widehat R_n(x)$. This result can be viewed as a strong consistency result for the Gladyshev estimators in an entirely model-free setting, because it works strictly trajectory-wise and requires no probabilistic assumptions. Nonetheless, our proof is probabilistic and relies on a martingale that is hidden in the Faber--Schauder expansion of $x$. Since the Gladyshev estimators are not scale-invariant, we construct several scale-invariant estimators that are derived from the sequence $(\widehat R_n)_{n\in\mathbb N}$. We also discuss how a dynamic change in the roughness parameter of a time series can be detected. Finally, we extend our results to the case in which the $p^{\text{th}}$ variation of $x$ is defined over a sequence of unequally spaced partitions. Our results are illustrated by means of high-frequency financial time series.


title: Instance-Adaptive Video Compression: Improving Neural Codecs by Training on the Test Set

abstract: We introduce a video compression algorithm based on instance-adaptive learning. On each video sequence to be transmitted, we finetune a pretrained compression model. The optimal parameters are transmitted to the receiver along with the latent code. By entropy-coding the parameter updates under a suitable mixture model prior, we ensure that the network parameters can be encoded efficiently. This instance-adaptive compression algorithm is agnostic about the choice of base model and has the potential to improve any neural video codec. On UVG, HEVC, and Xiph datasets, our codec improves the performance of a scale-space flow model by between 21% and 27% BD-rate savings, and that of a state-of-the-art B-frame model by 17 to 20% BD-rate savings. We also demonstrate that instance-adaptive finetuning improves the robustness to domain shift. Finally, our approach reduces the capacity requirements of compression models. We show that it enables a competitive performance even after reducing the network size by 70%.


title: Asymptotic Improvements on the Exact Matching Distance for 2-parameter Persistence

abstract: In the field of topological data analysis, persistence modules are used to express geometrical features of data sets. The matching distance $d_\mathcal{M}$ measures the difference between $2$-parameter persistence modules by taking the maximum bottleneck distance between $1$-parameter slices of the modules. The previous best algorithm to compute $d_\mathcal{M}$ exactly runs in $O(n^{8+\omega})$ time using $O(n^4)$ space, where $n$ is the number of generators and relations of the modules and $\omega$ is the matrix multiplication constant. We improve significantly on this by describing an algorithm with expected running time $O(n^5 \log^3 n)$ and using $O(n^2)$ space. We first solve the decision problem $d_\mathcal{M}\leq \lambda$ for a constant $\lambda$ in $O(n^5\log n)$ time by traversing a line arrangement in the dual plane, where each point represents a slice. Then we lift the line arrangement to a plane arrangement in $\mathbb{R}^3$ whose vertices represent possible values for $d_\mathcal{M}$, and use a randomized incremental method to search through the vertices and find $d_\mathcal{M}$. The expected running time of this algorithm is $O((n^4+T(n))\log^2 n)$, where $T(n)$ is an upper bound for the complexity of deciding if $d_\mathcal{M}\leq \lambda$. Moreover, we show how to compute the matching distance using only linear space, to the price of a much worse time complexity.


title: Dynamics of active particles with space-dependent swim velocity

abstract: We study the dynamical properties of an active particle subject to a swimming speed explicitly depending on the particle position. The oscillating spatial profile of the swim velocity considered in this paper takes inspiration from experimental studies based on Janus particles whose speed can be modulated by an external source of light. We suggest and apply an appropriate model of an active Ornstein Uhlenbeck particle to the present case. This allows us to predict the stationary properties, by finding the exact solution of the steady-state probability distribution of particle position and velocity. From this, we obtain the spatial density profile and show that its form is consistent with the one found in the framework of other popular models. The reduced velocity distribution highlights the emergence of non-Gaussianity in our generalized AOUP model which becomes more evident as the spatial dependence of the velocity profile becomes more pronounced. Then, we focus on the time-dependent properties of the system. Velocity autocorrelation functions are studied in the steady-state combining numerical and analytical methods derived under suitable approximations. We observe a non-monotonic decay in the temporal shape of the velocity autocorrelation function which depends on the ratio between the persistence length and the spatial period of the swim velocity. Finally, we numerically and analytically study the mean square displacement and the long-time diffusion coefficient. The ballistic regime, observed in the small-time region, is deeply affected by the properties of the swim velocity landscape which induces also a crossover to a sub-ballistic but superdiffusive regime for intermediate times. Finally, the long-time diffusion coefficient decreases as the amplitude of the swim velocity oscillations increases because the diffusion is determined by those regions where the particles are slow.


title: Pseudo-spontaneous $U(1)$ Symmetry Breaking in Hydrodynamics and Holography

abstract: We investigate the low-energy dynamics of systems with pseudo-spontaneously broken $U(1)$ symmetry and Goldstone phase relaxation. We construct a hydrodynamic framework which is able to capture these, in principle independent, effects. We consider two generalisations of the standard holographic superfluid model by adding an explicit breaking of the $U(1)$ symmetry by either sourcing the charged bulk scalar or by introducing an explicit mass term for the bulk gauge field. We find agreement between the hydrodynamic dispersion relations and the quasi-normal modes of both holographic models. We verify that phase relaxation arises only due to the breaking of the inherent Goldstone shift symmetry. The interplay of a weak explicit breaking of the $U(1)$ and phase relaxation renders the DC electric conductivity finite but does not result in a Drude-like peak. In this scenario we show the validity of a universal relation, found in the context of translational symmetry breaking, between the phase relaxation rate, the mass of the pseudo-Goldstone and the Goldstone diffusivity.

categories: hep-th cond-mat.mes-hall cond-mat.str-el nucl-th


title: The Cen A galaxy group: dynamical mass and missing baryons

abstract: The nearby elliptical galaxy Cen A is surrounded by a flattened system of dwarf satellite galaxies with coherent motions. Using a novel Bayesian approach, we measure the mean rotation velocity $v_{\rm rot}$ and velocity dispersion $\sigma_{\rm int}$ of the satellite system. We find $v_{\rm rot}/\sigma_{\rm int} \simeq 0.7$ indicating that the satellite system has non-negligible rotational support. Using Jeans' equations, we measure a circular velocity of 258 km s$^{-1}$ and a dynamical mass of $1.2\times 10^{13}$ M$_\odot$ within 800 kpc. In a $\Lambda$CDM cosmological context, we find that the Cen A group has a baryon fraction $M_{\rm b}/M_{200}\simeq0.035$ and is missing $\sim$77$\%$ of the cosmologically available baryons. Consequently, Cen A should have a hot intergalactic medium with a mass of $\sim$8$\times$10$^{11}$ M$_\odot$, which is more than $\sim$20 times larger than current X-ray estimates. Intriguingly, The whole Cen A group lies on the baryonic Tully-Fisher relation defined by individual rotationally supported galaxies, as expected in Milgromian dynamics (MOND) with no need of missing baryons.


title: A privacy-aware zero interaction smart mobility system

abstract: Smart cities often rely on technological innovation to improve citizens' safety and quality of life. This paper presents a novel smart mobility system that aims to facilitate people accessing public mobility while preserving their privacy. The system is based on a zero interaction approach whereby a person can use public transport services without any need to perform explicit actions. Operations related to ticket purchase and validation have been fully automated. The system is also designed with the privacy-by-design paradigm in mind, to preserve user privacy as much as possible. Throughout the paper several technical details are discussed as well to describe a prototype version of the system that was implemented. The prototype has been successfully tested in the city of Imola (Emilia Romagna, Italy) in order to prove the system validity on the field.


title: HEMT-based 1K front-end electronics for the heat and ionization Ge CryoCube of the future RICOCHET CE$\nu$NS experiment

abstract: The RICOCHET reactor neutrino observatory is planned to be installed at the Laue Langevin Institute (ILL) starting mid-2022. Its scientific goal is to perform a low-energy and high precision measurement of the coherent elastic neutrino-nucleus scattering (CE$\nu$NS) spectrum in order to explore exotic physics scenarios. RICOCHET will host two cryogenic detector arrays: the CryoCube (Ge target) and the Q-ARRAY (Zn target), operated at 10 mK. The 1 kg Ge CryoCube will consist of 27 Ge crystals instrumented with NTD-Ge thermal sensors and charge collection electrodes for a simultaneous heat and ionization readout to reject the electromagnetic backgrounds (gamma, beta, x-rays). We present the status of its front-end electronics. The first stage of amplification is made of High Electron Mobility Transistor (HEMT) developed by CNRS/C2N laboratory, optimized to achieve ultra-low noise performance at 1K with a dissipation as low as 15 $\mu$W per channel. Our noise model predicts that 10 eV heat and 20 eVee RMS baseline resolutions are feasible with a high dynamic range for the deposited energy (up to 10 MeV) thanks to loop amplification schemes. Such resolutions are mandatory to have a high discrimination power between nuclear and electron recoils at the lowest energies.


title: Unsupervised Visual Time-Series Representation Learning and Clustering

abstract: Time-series data is generated ubiquitously from Internet-of-Things (IoT) infrastructure, connected and wearable devices, remote sensing, autonomous driving research and, audio-video communications, in enormous volumes. This paper investigates the potential of unsupervised representation learning for these time-series. In this paper, we use a novel data transformation along with novel unsupervised learning regime to transfer the learning from other domains to time-series where the former have extensive models heavily trained on very large labelled datasets. We conduct extensive experiments to demonstrate the potential of the proposed approach through time-series clustering.


title: Faraday effect optical sensing of single-molecules by graphene-based layered structures

abstract: Recently, modulation of the energy bandgap of graphene when gas molecules are adsorbed to its surface has been proved to be possible. Motivated by this, based on numerical calculations, we investigate the effect of the associated bandgap opening in graphene's spectrum on the sensing properties of the Faraday rotation (FR) of linearly polarized electromagnetic modes in a 1D photonic graphene-based sensor with a microcavity defect channel covered by two graphene layers. Our proposed model introduces an optical contact-free mechanism for the detection of low-concentration molecules attached to graphene's surface. We also show that FR angles could reveal reversal signs for a different amount of surface transfer doping.


title: Detectability of large correlation length inflationary magnetic field with Cherenkov telescopes

abstract: Magnetic fields occupying the voids of the large scale structure may be a relic from the Early Universe originating from either Inflation or from cosmological phase transitions. We explore the possibility of identifying the inflationary origin of the void magnetic fields and measuring its parameters with gamma-ray astronomy methods. The large correlation length inflationary field is expected to impose a characteristic asymmetry of extended gamma-ray emission that is correlated between different sources on the sky. We show that a set of nearby blazars for which the extended emission is observable in the 0.1-1 TeV band with CTA can be used for the test of inflationary origin of the void magnetic fields.


title: Another look at the Landau gauge three-gluon vertex

abstract: We revisit the computation of the three-gluon vertex in the Landau gauge using lattice QCD simulations with large physical volumes of $\sim$ (6.5 fm)$^ 4$ and $\sim$ (8 fm)$^ 4$ and large statistical ensembles. For the kinematical configuration analysed, that is described by a unique form factor, an evaluation of the lattice artefacts is also performed. Particular attention is given to the low energy behaviour of vertex and its connection with evidence (or lack of it) of infrared ghost dominance.


title: Constraint Minimization Problem of the Nonlinear Schr\"{o}dinger Equation with the Anderson Hamiltonian

abstract: We consider the two-dimensional nonlinear Schr\"{o}dinger equation with a white noise potential, described by the Anderson hamiltonian. After define the corresponding energy space via the paracontrolled distribution framework from singular stochastic partial differential equations, we prove the existence of the minimizer as the least energy solution by studying a minimization problem of the corresponding energy functional subject to $L^2$ constraints. Subsequently, we study the regularity of the minimizer, which is a weak solution of the nonlinear Schr\"{o}dinger equation. Finally, we derive a tail estimate for the distribution of the principal eigenvalue corresponding to the least energy solution by energy estimates.


title: Geometry of backflow transformation ansatz for quantum many-body fermionic wavefunctions

abstract: Wave function ansatz based on the backflow transformation are widely used to parametrize anti-symmetric multivariable functions for many-body quantum problems. We study the geometric aspects of such ansatz, in particular we show that in general totally antisymmetric polynomials cannot be efficiently represented by backflow transformation ansatz at least in the category of polynomials. In fact, one needs a linear combination of at least $O(N^{3N-3})$ determinants to represent a generic totally antisymmetric polynomial. Our proof is based on bounding the dimension of the source of the ansatz from above and bounding the dimension of the target from below.


title: Compositional Thermostatics

abstract: We define a thermostatic system to be a convex space of states together with a concave function sending each state to its entropy, which is an extended real number. This definition applies to classical thermodynamics, classical statistical mechanics, quantum statistical mechanics, and also generalized probabilistic theories of the sort studied in quantum foundations. It also allows us to treat a heat bath as a thermostatic system on an equal footing with any other. We construct an operad whose operations are convex relations from a product of convex spaces to a single convex space, and prove that thermostatic systems are algebras of this operad. This gives a general, rigorous formalism for combining thermostatic systems, which captures the fact that such systems maximize entropy subject to whatever constraints are imposed upon them.


title: Kinetic formation of trimers in a spinless fermionic chain

abstract: We show the stabilization of two trimer phases in a chain of spinless fermions with a correlated hopping term. A trimer fluid forms due to a gain in trimer kinetic energy and competes with a fluid of unbound fermions. Furthermore, we observe two intermediate phases where these two fluids coexist and do not spatially separate. Depending on the way trimers are created out of the Fermi sea, hybridization can occur, in which case the onset of correlations between the two fluids is well captured by a generalized BCS ansatz. These results are finally extended to the formation of larger multimers, which highlights the peculiarities of pair and trimer formation.


title: The Marcinkiewicz-Zygmund law of large numbers for exchangeable arrays

abstract: We show a Marcinkiewicz-Zygmund law of large numbers for jointly, dissociated exchangeable arrays, in $L^r$ ($r\in (0,2)$) and almost surely. Then, we obtain a law of iterated logarithm for such arrays under a weaker moment condition than the existing one.


title: Max-algebraic hybrid automata: Modelling and equivalences

abstract: This article introduces the novel framework of max-algebraic hybrid automata as a hybrid modelling language in the max-plus algebra. We show that the modelling framework unifies and extends the switching max-plus linear systems framework and is analogous to the discrete hybrid automata framework in conventional algebra. In addition, we show that the framework serves as a bridge between automata-theoretic models in max-plus algebra and switching max-plus linear systems. In doing so, we formalise the relationship between max-plus automata and switching max-plus linear systems in a behavioural sense. This also serves as another step towards importing tools for analysis and optimal control from conventional time-driven hybrid systems to discrete-event systems in max-plus algebra.


title: Optimization of Quantized Phase Shifts for Reconfigurable Smart Surfaces Assisted Communications

abstract: Reconfigurable Smart Surface (RSS) is assumed to be a key enabler for future wireless communication systems due to its ability to control the wireless propagation environment and, thus, enhance communications quality. Although optimal and continuous phase-shift configuration can be analytically obtained, practical RSS systems are prone to both channel estimation errors, discrete control, and curse of dimensionality. This leads to relaying on a finite number of phase-shift configurations that is expected to degrade the system's performances. In this paper, we tackle the problem of quantized RSS phase-shift configuration, aiming to maximize the data rate of an orthogonal frequency division multiplexing (OFDM) point-to-point RSS-assisted communication. Due to the complexity of optimally solving the formulated problem, we propose here a sub-optimal greedy algorithm to solve it. Simulation results illustrate the performance superiority of the proposed algorithm compared to baseline approaches. Finally, the impact of several parameters ,e.g., quantization resolution and RSS placement, is investigated.


title: Toward Compact Parameter Representations for Architecture-Agnostic Neural Network Compression

abstract: This paper investigates deep neural network (DNN) compression from the perspective of compactly representing and storing trained parameters. We explore the previously overlooked opportunity of cross-layer architecture-agnostic representation sharing for DNN parameters. To do this, we decouple feedforward parameters from DNN architectures and leverage additive quantization, an extreme lossy compression method invented for image descriptors, to compactly represent the parameters. The representations are then finetuned on task objectives to improve task accuracy. We conduct extensive experiments on MobileNet-v2, VGG-11, ResNet-50, Feature Pyramid Networks, and pruned DNNs trained for classification, detection, and segmentation tasks. The conceptually simple scheme consistently outperforms iterative unstructured pruning. Applied to ResNet-50 with 76.1% top-1 accuracy on the ILSVRC12 classification challenge, it achieves a $7.2\times$ compression ratio with no accuracy loss and a $15.3\times$ compression ratio at 74.79% accuracy. Further analyses suggest that representation sharing can frequently happen across network layers and that learning shared representations for an entire DNN can achieve better accuracy at the same compression ratio than compressing the model as multiple separate parts. We release PyTorch code to facilitate DNN deployment on resource-constrained devices and spur future research on efficient representations and storage of DNN parameters.


title: Scintillation-limited photometry with the 20-cm NGTS telescopes at Paranal Observatory

abstract: Ground-based photometry of bright stars is expected to be limited by atmospheric scintillation, although in practice observations are often limited by other sources of systematic noise. We analyse 122 nights of bright star ($G_{mag} < 11.5$) photometry using the 20-cm telescopes of the Next-Generation Transit Survey (NGTS) at the Paranal Observatory in Chile. We compare the noise properties to theoretical noise models and we demonstrate that NGTS photometry of bright stars is indeed limited by atmospheric scintillation. We determine a median scintillation coefficient at the Paranal Observatory of $C_Y = 1.54$, which is in good agreement with previous results derived from turbulence profiling measurements at the observatory. We find that separate NGTS telescopes make consistent measurements of scintillation when simultaneously monitoring the same field. Using contemporaneous meteorological data, we find that higher wind speeds at the tropopause correlate with a decrease in long-exposure ($t=10$ s) scintillation. Hence the winter months between June and August provide the best conditions for high precision photometry of bright stars at the Paranal Observatory. This work demonstrates that NGTS photometric data, collected for searching for exoplanets, contains within it a record of the scintillation conditions at Paranal.


title: Onboard Dynamic Image Exposure Control for the Star-Planet Activity Research CubeSat (SPARCS)

abstract: The Star-Planet Activity Research CubeSat (SPARCS) is a 6U CubeSat under development to monitor the flaring and chromospheric activity of M dwarfs at near-ultraviolet (NUV) and far-ultraviolet (FUV) wavelengths. The spacecraft hosts two UV-optimized delta-doped charge-coupled devices fed by a 9-cm telescope and a dichroic beam splitter. A dedicated science payload processor performs near real-time onboard science image processing to dynamically change detector integration times and gains to reduce the occurrence of pixel saturation during strong M dwarf flaring events and provide adequate flare light curve structure resolution while enabling the detection of low-amplitude rotational modulation. The processor independently controls the NUV and FUV detectors. For each detector, it derives control updates from the most recent completed exposure and applies them to the next exposure. The detection of a flare event in the NUV channel resets the exposure in the FUV channel with new exposure parameters. Implementation testing of the control algorithm using simulated light curves and full-frame images demonstrates a robust response to the quiescent and flaring levels expected for the stars to be monitored by the mission. The SPARCS onboard autonomous exposure control algorithm is adaptable for operation in future point source-targeting space-based and ground-based observatories geared towards the monitoring of extreme transient astrophysics phenomena.


title: On a game of chance in Marc Elsberg's thriller "GREED"

abstract: A (possibly illegal) game of chance, which is described in Chapter 14 of Marc Elsberg's thriller "GREED", seems to offer an excellent chance of winning. However, as the gambling starts and evolves over several rounds, the actual experience of the vast majority of the gamblers in a pub is strikingly different. We provide an analysis of this specific game and several of its variants by elementary tools of probability. Thus we also encounter an interesting threshold phenomenon, which is related to the transition from a profit zone to a loss area. Our arguments are motivated and illustrated by numerical calculations with Python.


title: The rank of new regular quadratic forms

abstract: A (positive definite and integral) quadratic form $f$ is called regular if it represents all integers that are locally represented. It is known that there are only finitely many regular ternary quadratic forms up to isometry. However, there are infinitely many equivalence classes of regular quadratic forms of rank $n$ for any integer $n$ greater than or equal to $4$. A regular quadratic form $f$ is called new if there does not exist a proper subform $g$ of $f$ such that the set of integers that are represented by $g$ is equal to the set of integers that are represented by $f$. In this article, we prove that the rank of any new regular quadratic form is bounded by an absolute constant.


title: Directly Characterizing the Coherence of Quantum Detectors by Sequential Measurement

abstract: The quantum properties of quantum measurements are indispensable resources in quantum information processing and have drawn extensive research interest. The conventional approach to reveal the quantum properties relies on the reconstruction of the entire measurement operators by quantum detector tomography. However, many specific properties can be determined by a part of matrix entries of the measurement operators, which provides us the possibility to simplify the process of property characterization. Here, we propose a general framework to directly obtain individual matrix entries of the measurement operators by sequentially measuring two non-compatible observables. This method allows us to circumvent the complete tomography of the quantum measurement and extract the useful information for our purpose. We experimentally implement this scheme to monitor the coherent evolution of a general quantum measurement by determining the off-diagonal matrix entries. The investigation of the measurement precision indicates the good feasibility of our protocol to the arbitrary quantum measurements. Our results pave the way for revealing the quantum properties of quantum measurements by selectively determining the matrix entries of the measurement operators.


title: Factorisation-based Image Labelling

abstract: Segmentation of brain magnetic resonance images (MRI) into anatomical regions is a useful task in neuroimaging. Manual annotation is time consuming and expensive, so having a fully automated and general purpose brain segmentation algorithm is highly desirable. To this end, we propose a patched-based label propagation approach based on a generative model with latent variables. Once trained, our Factorisation-based Image Labelling (FIL) model is able to label target images with a variety of image contrasts. We compare the effectiveness of our proposed model against the state-of-the-art using data from the MICCAI 2012 Grand Challenge and Workshop on Multi-Atlas Labeling. As our approach is intended to be general purpose, we also assess how well it can handle domain shift by labelling images of the same subjects acquired with different MR contrasts.


title: Active T1 transitions in cellular networks

abstract: In amorphous solids as in tissues, neighbor exchanges can relax local stresses and allow the material to flow. In this paper, we use an anisotropic vertex model to study T1 rearrangements in polygonal cellular networks. We consider two different physical realizations of the active anisotropic stresses: (i) anisotropic bond tension and (ii) anisotropic cell stress. Interestingly, the two types of active stress lead to patterns of relative orientation of T1 transitions and cell elongation that are different. Our work suggests that these two realizations of anisotropic active stresses can be observed \textit{in vivo}. We describe and explain these results through the lens of a continuum description of the tissue as an anisotropic active material. We furthermore discuss the energetics of the dynamic tissue and express the energy balance in terms of internal elastic energy, mechanical work, chemical work and heat. This allows us to define active T1 transitions that can perform mechanical work while consuming chemical energy.


title: The Four Point Condition: An Elementary Tropicalization of Ptolemy's Inequality

abstract: Ptolemy's inequality is a classic relationship between the distances among four points in Euclidean space. Another relationship between six distances is the 4-point condition, an inequality satisfied by the lengths of the six paths that join any four points of a metric (or weighted) tree. The 4-point condition also characterizes when a finite metric space can be embedded in such a tree. The curious observer might realize that these inequalities have similar forms: if one replaces addition and multiplication in Ptolemy's inequality with maximum and addition, respectively, one obtains the 4-point condition. We show that this similarity is more than a coincidence. We identify a family of Ptolemaic inequalities in CAT-spaces parametrized by a real number and show that a certain limit involving these inequalities, as the parameter goes to negative infinity, yields the 4-point condition, giving an elementary proof that the latter is the tropicalization of Ptolemy's inequality.


title: Physics-enhanced Neural Networks in the Small Data Regime

abstract: Identifying the dynamics of physical systems requires a machine learning model that can assimilate observational data, but also incorporate the laws of physics. Neural Networks based on physical principles such as the Hamiltonian or Lagrangian NNs have recently shown promising results in generating extrapolative predictions and accurately representing the system's dynamics. We show that by additionally considering the actual energy level as a regularization term during training and thus using physical information as inductive bias, the results can be further improved. Especially in the case where only small amounts of data are available, these improvements can significantly enhance the predictive capability. We apply the proposed regularization term to a Hamiltonian Neural Network (HNN) and Constrained Hamiltonian Neural Network (CHHN) for a single and double pendulum, generate predictions under unseen initial conditions and report significant gains in predictive accuracy.


title: Data-driven verification and synthesis of stochastic systems via barrier certificates

abstract: In this work, we study verification and synthesis problems for safety specifications over unknown discrete-time stochastic systems. When a model of the system is available, barrier certificates have been successfully applied for ensuring the satisfaction of safety specifications. In this work, we formulate the computation of barrier certificates as a robust convex program (RCP). Solving the acquired RCP is hard in general because the model of the system that appears in one of the constraints of the RCP is unknown. We propose a data-driven approach that replaces the uncountable number of constraints in the RCP with a finite number of constraints by taking finitely many random samples from the trajectories of the system. We thus replace the original RCP with a scenario convex program (SCP) and show how to relate their optimizers. We guarantee that the solution of the SCP is a solution of the RCP with a priori guaranteed confidence when the number of samples is larger than a pre-computed value. This provides a lower bound on the safety probability of the original unknown system together with a controller in the case of synthesis. We also discuss an extension of our verification approach to a case where the associated robust program is non-convex and show how a similar methodology can be applied. Finally, the applicability of our proposed approach is illustrated through three case studies.


title: Maximum arrangements of nonattacking kings on the $2n\times 2n$ chessboard

abstract: To count the number of maximum independent arrangements of $n^2$ kings on a $2n\times 2n$ chessboard, we build a $2^n \times (n+1)$ matrix whose entries are independent arrangements of $n$ kings on $2\times 2n$ rectangles. Utilizing upper and lower bound functions dependent of the entries of the matrix, we recursively construct independent solutions, and provide a straight-forward formula and algorithm.


title: DSPoint: Dual-scale Point Cloud Recognition with High-frequency Fusion

abstract: Point cloud processing is a challenging task due to its sparsity and irregularity. Prior works introduce delicate designs on either local feature aggregator or global geometric architecture, but few combine both advantages. We propose Dual-Scale Point Cloud Recognition with High-frequency Fusion (DSPoint) to extract local-global features by concurrently operating on voxels and points. We reverse the conventional design of applying convolution on voxels and attention to points. Specifically, we disentangle point features through channel dimension for dual-scale processing: one by point-wise convolution for fine-grained geometry parsing, the other by voxel-wise global attention for long-range structural exploration. We design a co-attention fusion module for feature alignment to blend local-global modalities, which conducts inter-scale cross-modality interaction by communicating high-frequency coordinates information. Experiments and ablations on widely-adopted ModelNet40, ShapeNet, and S3DIS demonstrate the state-of-the-art performance of our DSPoint.


title: Improving a High Productivity Data Analytics Chapel Framework

abstract: Most state of the art exploratory data analysis frameworks fall into one of the two extremes: they either focus on the high-performance computational, or on the interactive and open-ended aspects of the analysis. Arkouda is a framework that attempts to integrate the interactive approach with the high performance computation by using a novel client-server architecture, with a Python interpreter on the client side for the interactions with the scientist and a Chapel server for performing the demanding high-performance computations. The Arkouda Python interpreter overloads the Python operators and transforms them into messages to the Chapel server that performs the actual computation. In this paper, we are proposing several client-side optimization techniques for the Arkouda framework that maintain the interactive nature of the Arkouda framework, but at the same time significantly improve the performance of the programs that perform operations running on the high-performance Chapel server. We do this by intercepting the Python operations in the interpreter, and delaying their execution until the user requires the data, or we fill out the instruction buffer. We implement caching and reuse of the Arkouda arrays on the Chapel server side (thus saving on the allocation, initialization and deallocation of the Chapel arrays), tracking and caching the results of function calls on the Arkouda arrays (thus avoiding repeated computation) and reusing the results of array operations by performing common subexpression elimination. We evaluate our approach on several Arkouda benchmarks and a large collection of real-world and synthetic data inputs and show significant performance improvements between 20% and 120% across the board, while fully maintaining the interactive nature of the Arkouda framework.


title: Signed Magic arrays with certain property

abstract: A signed magic array, $SMA(m, n;s,t)$, is an $m \times n$ array with the same number of filled cells $s$ in each row and the same number of filled cells $t$ in each column, filled with a certain set of numbers that is symmetric about the number zero, such that every row and column has a zero sum. We use the notation $SMA(m, n)$ if $m=t$ and $n=s$. In this paper, we prove that for every even number $n\geq 2$ there exists an $SMA(m,n)$ such that the entries $\pm x$ appear in the same row for every $x\in\{1, 2, 3,\ldots, mn/2\}$ if and only if $m\equiv 0, 3(\mod4)$ and $n=2$ or $m\geq 3$ and $n\geq 4$.


title: Whose Bias?

abstract: Law enforcement acquires costly evidence with the aim of securing the conviction of a defendant, who is convicted if a decision-maker's belief exceeds a certain threshold. Either law enforcement or the decision-maker is biased and is initially overconfident that the defendant is guilty. Although an innocent defendant always prefers an unbiased decision-maker, he may prefer that law enforcement have some bias to none. Nevertheless, fixing the level of bias, an innocent defendant may prefer that the decision-maker, not law enforcement, is biased.


title: A quantum network of entangled optical atomic clocks

abstract: Optical atomic clocks are our most precise tools to measure time and frequency. They enable precision frequency comparisons between atoms in separate locations to probe the space-time variation of fundamental constants, the properties of dark matter, and for geodesy. Measurements on independent systems are limited by the standard quantum limit (SQL); measurements on entangled systems, in contrast, can surpass the SQL to reach the ultimate precision allowed by quantum theory - the so-called Heisenberg limit. While local entangling operations have been used to demonstrate this enhancement at microscopic distances, frequency comparisons between remote atomic clocks require rapid high-fidelity entanglement between separate systems that have no intrinsic interactions. We demonstrate the first quantum network of entangled optical clocks using two $^{88}$Sr$^+$ ions separated by a macroscopic distance (2 m), that are entangled using a photonic link. We characterise the entanglement enhancement for frequency comparisons between the ions. We find that entanglement reduces the measurement uncertainty by a factor close to $\sqrt{2}$, as predicted for the Heisenberg limit, thus halving the number of measurements required to reach a given precision. Practically, today's optical clocks are typically limited by laser dephasing; in this regime, we find that using entangled clocks confers an even greater benefit, yielding a factor 4 reduction in the number of measurements compared to conventional correlation spectroscopy techniques. As a proof of principle, we demonstrate this enhancement for measuring a frequency shift applied to one of the clocks. Our results show that quantum networks have now attained sufficient maturity for enhanced metrology. This two-node network could be extended to additional nodes, to other species of trapped particles, or to larger entangled systems via local operations.


title: Advancing High-Resolution Video-Language Representation with Large-Scale Video Transcriptions

abstract: We study joint video and language (VL) pre-training to enable cross-modality learning and benefit plentiful downstream VL tasks. Existing works either extract low-quality video features or learn limited text embedding, while neglecting that high-resolution videos and diversified semantics can significantly improve cross-modality learning. In this paper, we propose a novel High-resolution and Diversified VIdeo-LAnguage pre-training model (HD-VILA) for many visual tasks. In particular, we collect a large dataset with two distinct properties: 1) the first high-resolution dataset including 371.5k hours of 720p videos, and 2) the most diversified dataset covering 15 popular YouTube categories. To enable VL pre-training, we jointly optimize the HD-VILA model by a hybrid Transformer that learns rich spatiotemporal features, and a multimodal Transformer that enforces interactions of the learned video features with diversified texts. Our pre-training model achieves new state-of-the-art results in 10 VL understanding tasks and 2 more novel text-to-visual generation tasks. For example, we outperform SOTA models with relative increases of 40.4% R@1 in zero-shot MSR-VTT text-to-video retrieval task and 55.4% in high-resolution dataset LSMDC. The learned VL embedding is also effective in generating visually pleasing and semantically relevant results in text-to-visual editing and super-resolution tasks.


title: Towards intrinsic force sensing and control in parallel soft robots

abstract: With soft robotics being increasingly employed in settings demanding high and controlled contact forces, recent research has demonstrated the use of soft robots to estimate or intrinsically sense forces without requiring external sensing mechanisms. Whilst this has mainly been shown in tendon-based continuum manipulators or deformable robots comprising of push-pull rod actuation, fluid drives still pose great challenges due to high actuation variability and nonlinear mechanical system responses. In this work we investigate the capabilities of a hydraulic, parallel soft robot to intrinsically sense and subsequently control contact forces. A comprehensive algorithm is derived for static, quasi-static and dynamic force sensing which relies on fluid volume and pressure information of the system. The algorithm is validated for a single degree-of-freedom soft fluidic actuator. Results indicate that axial forces acting on a single actuator can be estimated with an accuracy of 0.56 +- 0.66N within the validated range of 0 to 6N in a quasi-static configuration. The force sensing methodology is applied to force control in a single actuator as well as the coupled parallel robot. It can be seen that forces are accurately controllable for both systems, with the capability of controlling directional contact forces in case of the multi degree-of-freedom parallel soft robot.


title: Bi-Mix: Bidirectional Mixing for Domain Adaptive Nighttime Semantic Segmentation

abstract: In autonomous driving, learning a segmentation model that can adapt to various environmental conditions is crucial. In particular, copying with severe illumination changes is an impelling need, as models trained on daylight data will perform poorly at nighttime. In this paper, we study the problem of Domain Adaptive Nighttime Semantic Segmentation (DANSS), which aims to learn a discriminative nighttime model with a labeled daytime dataset and an unlabeled dataset, including coarsely aligned day-night image pairs. To this end, we propose a novel Bidirectional Mixing (Bi-Mix) framework for DANSS, which can contribute to both image translation and segmentation adaptation processes. Specifically, in the image translation stage, Bi-Mix leverages the knowledge of day-night image pairs to improve the quality of nighttime image relighting. On the other hand, in the segmentation adaptation stage, Bi-Mix effectively bridges the distribution gap between day and night domains for adapting the model to the night domain. In both processes, Bi-Mix simply operates by mixing two samples without extra hyper-parameters, thus it is easy to implement. Extensive experiments on Dark Zurich and Nighttime Driving datasets demonstrate the advantage of the proposed Bi-Mix and show that our approach obtains state-of-the-art performance in DANSS. Our code is available at https://github.com/ygjwd12345/BiMix.


title: Chromoelectric and chromomagnetic correlators at high temperature from gradient flow

abstract: The heavy quark diffusion coefficient is encoded in the spectral functions of the chromoelectric and the chromomagnetic correlators that are calculable on the lattice. We study the chromoelectric and the chromomagnetic correlator in the deconfined phase of SU(3) gauge theory using Symanzik flow at two temperatures $1.5T_c$ and $10000 T_c$, with $T_c$ being the phase transition temperature. To control the lattice discretization errors and perform the continuum limit we use several temporal lattice extents $N_t=16,20,24$ and 28. We observe that the flow time dependence of the chromomagnetic correlator is quite different from chromoelectric correlator most likely due to the anomalous dimension of the former as has been pointed out recently in the literature.


title: Neutrinoless double-beta decay and lepton flavor violation in discrete flavor symmetric left-right symmetric model

abstract: In this work, we have studied neutrino less double beta decay(NDBD) and charged lepton flavor violation(CLFV) in a generic Left-Right symmetric model (LRSM). In this framework, type-I and type-II seesaw terms arise naturally. We have used $A_{4}\times Z_{2}$ discrete flavor symmetry to realize the LRSM. Within the model, we have considered type-I and type-II dominant cases and analyzed the new physics contributions to the NDBD process coming from different particles of LRSM. We tried to find the leading order contributions to NDBD in type-I and type-II seesaw along with the decay rate of the process in our work. We have also studied different charged lepton flavor violating processes such as $\mu \rightarrow 3e$ and $\mu \rightarrow e \gamma$ and correlated with neutrino mass within the model.


title: GRecX: An Efficient and Unified Benchmark for GNN-based Recommendation

abstract: In this paper, we present GRecX, an open-source TensorFlow framework for benchmarking GNN-based recommendation models in an efficient and unified way. GRecX consists of core libraries for building GNN-based recommendation benchmarks, as well as the implementations of popular GNN-based recommendation models. The core libraries provide essential components for building efficient and unified benchmarks, including FastMetrics (efficient metrics computation libraries), VectorSearch (efficient similarity search libraries for dense vectors), BatchEval (efficient mini-batch evaluation libraries), and DataManager (unified dataset management libraries). Especially, to provide a unified benchmark for the fair comparison of different complex GNN-based recommendation models, we design a new metric GRMF-X and integrate it into the FastMetrics component. Based on a TensorFlow GNN library tf_geometric, GRecX carefully implements a variety of popular GNN-based recommendation models. We carefully implement these baseline models to reproduce the performance reported in the literature, and our implementations are usually more efficient and friendly. In conclusion, GRecX enables uses to train and benchmark GNN-based recommendation baselines in an efficient and unified way. We conduct experiments with GRecX, and the experimental results show that GRecX allows us to train and benchmark GNN-based recommendation baselines in an efficient and unified way. The source code of GRecX is available at https://github.com/maenzhier/GRecX.


title: Hadrophilic Dark Sectors at the Forward Physics Facility

abstract: Models with light dark sector and dark matter particles motivate qualitatively new collider searches. Here we carry out a comprehensive study of hadrophilic models with U(1)$_B$ and U(1)$_{B-3L_{\tau}}$ gauge bosons coupled to light dark matter. The new mediator particles in these models couple to quarks, but have suppressed couplings to leptons, providing a useful foil to the well-studied dark photon models. We consider current bounds from accelerator and collider searches, rare anomaly-induced decays, neutrino non-standard interactions, and dark matter direct detection. Despite the many existing constraints, these models predict a range of new signatures that can be seen in current and near future experiments, including dark gauge boson decays to the hadronic final states $\pi^+ \pi^- \pi^0$, $\pi^0 \gamma$, $K^+ K^-$, and $K_S K_L$ in FASER at LHC Run 3, enhancements of $\nu_{\tau}$ scattering rates in far-forward neutrino detectors, and thermal dark matter scattering in FLArE in the HL-LHC era. These models therefore motivate an array of different experiments in the far-forward region at the LHC, as could be accommodated in the proposed Forward Physics Facility.


title: Maximum Mean Discrepancy for Generalization in the Presence of Distribution and Missingness Shift

abstract: Covariate shifts are a common problem in predictive modeling on real-world problems. This paper proposes addressing the covariate shift problem by minimizing Maximum Mean Discrepancy (MMD) statistics between the training and test sets in either feature input space, feature representation space, or both. We designed three techniques that we call MMD Representation, MMD Mask, and MMD Hybrid to deal with the scenarios where only a distribution shift exists, only a missingness shift exists, or both types of shift exist, respectively. We find that integrating an MMD loss component helps models use the best features for generalization and avoid dangerous extrapolation as much as possible for each test sample. Models treated with this MMD approach show better performance, calibration, and extrapolation on the test set.


title: Anderson localization of a Rydberg electron

abstract: Highly excited Rydberg atoms inherit their level structure, symmetries, and scaling behavior from the hydrogen atom. We demonstrate that these fundamental properties enable a thermodynamic limit of a single Rydberg atom subjected to interactions with nearby ground state atoms. The limit is reached by simultaneously increasing the number of ground state atoms and the level of excitation of the Rydberg atom, for which the Coulomb potential supplies infinitely many and highly degenerate excited states. Our study reveals a surprising connection to an archetypal concept of condensed matter physics, Anderson localization, facilitated by a direct mapping between the Rydberg atom's electronic spectrum and the spectrum of a tight-binding Hamiltonian. The hopping amplitudes of this tight-binding system are determined by the arrangement of ground state atoms and can range from oscillatory and long-ranged to nearest-neighbor. In the latter we identify clear signatures of the Anderson localization of the Rydberg electron.

categories: physics.atom-ph cond-mat.dis-nn cond-mat.quant-gas quant-ph


title: Global and Local Alignment Networks for Unpaired Image-to-Image Translation

abstract: The goal of unpaired image-to-image translation is to produce an output image reflecting the target domain's style while keeping unrelated contents of the input source image unchanged. However, due to the lack of attention to the content change in existing methods, the semantic information from source images suffers from degradation during translation. In the paper, to address this issue, we introduce a novel approach, Global and Local Alignment Networks (GLA-Net). The global alignment network aims to transfer the input image from the source domain to the target domain. To effectively do so, we learn the parameters (mean and standard deviation) of multivariate Gaussian distributions as style features by using an MLP-Mixer based style encoder. To transfer the style more accurately, we employ an adaptive instance normalization layer in the encoder, with the parameters of the target multivariate Gaussian distribution as input. We also adopt regularization and likelihood losses to further reduce the domain gap and produce high-quality outputs. Additionally, we introduce a local alignment network, which employs a pretrained self-supervised model to produce an attention map via a novel local alignment loss, ensuring that the translation network focuses on relevant pixels. Extensive experiments conducted on five public datasets demonstrate that our method effectively generates sharper and more realistic images than existing approaches. Our code is available at https://github.com/ygjwd12345/GLANet.


title: Non-reciprocal population dynamics in a quantum trimer

abstract: We study a quantum trimer of coupled two-level systems beyond the single-excitation sector, where the coherent coupling constants are ornamented by a complex phase. Accounting for losses and gain in an open quantum systems approach, we show how the mean populations of the states in the system crucially depend on the accumulated phase in the trimer. Namely, for nontrivial accumulated phases, the population dynamics and the steady states display remarkable nonreciprocal behavior in both the singly and doubly excited manifolds. Furthermore, while the directionality of the resultant chiral current is primarily determined by the accumulated phase in the loop, the sign of the flow may also change depending on the coupling strength and the amount of gain in the system. This directionality paves the way for experimental studies of chiral currents at the nanoscale, where the phases of the complex hopping parameters are modulated by magnetic or synthetic magnetic fields.14 pages


title: Macroscopic stability of time evolution of Gibbs measures

abstract: We introduce two properties, macroscopic mixing and transitive mixing, to represent the macroscopic stability of time evolution of Gibbs measures. We claim that these are fundamental properties of macroscopic systems that exhibit relaxation to an equilibrium state. As an illustration, we show that a simple mechanical system on a lattice possesses these two properties.

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


title: Understanding Developers Well-Being and Productivity: a 2-year Longitudinal Analysis during the COVID-19 Pandemic

abstract: The COVID-19 pandemic has brought significant and enduring shifts in various aspects of life, including increased flexibility in work arrangements. In a longitudinal study, spanning 24 months with six measurement points from April 2020 to April 2022, we explore changes in well-being, productivity, social contacts, and needs of software engineers during this time. Our findings indicate systematic changes in various variables. For example, well-being and quality of social contacts increased while emotional loneliness decreased as lockdown measures were relaxed. Conversely, people's boredom and productivity, remained stable. Furthermore, a preliminary investigation into the future of work at the end of the pandemic revealed a consensus among developers for a preference of hybrid work arrangements. We also discovered that prior job changes and low job satisfaction were consistently linked to intentions to change jobs if current work conditions do not meet developers' needs. This highlights the need for software organizations to adapt to various work arrangements to remain competitive employers. Building upon our findings and the existing literature, we introduce the Integrated Job Demands-Resources and Self-Determination (IJARS) Model as a comprehensive framework to explain the well-being and productivity of software engineers during the COVID-19 pandemic.


title: Original Research By Young Twinkle Students (ORBYTS): Ephemeris Refinement of Transiting Exoplanets III

abstract: We report photometric follow-up observations of thirteen exoplanets (HATS-1 b, HATS2 b, HATS-3 b, HAT-P-18 b, HAT-P-27 b, HAT-P-30 b, HAT-P-55 b, KELT-4A b, WASP-25 b, WASP-42 b, WASP-57 b, WASP-61 b and WASP-123 b), as part of the Original Research By Young Twinkle Students (ORBYTS) programme. All these planets are potentially viable targets for atmospheric characterisation and our data, which were taken using the LCOGT network of ground-based telescopes, will be combined with observations from other users of ExoClock to ensure that the transit times of these planets continue to be well-known, far into the future.


title: All passable games are realizable as monotone set coloring games

abstract: The class of passable games was recently introduced by Selinger as a class of combinatorial games that are suitable for modelling monotone set coloring games such as Hex. In a monotone set coloring game, the players alternately color the cells of a board with their respective color, and the winner is determined by a monotone function of the final position. It is easy to see that every monotone set coloring game is a passable combinatorial game. Here we prove the converse: every passable game is realizable, up to equivalence, as a monotone set coloring game.


title: On the power of adaptivity in statistical adversaries

abstract: We study a fundamental question concerning adversarial noise models in statistical problems where the algorithm receives i.i.d. draws from a distribution $\mathcal{D}$. The definitions of these adversaries specify the type of allowable corruptions (noise model) as well as when these corruptions can be made (adaptivity); the latter differentiates between oblivious adversaries that can only corrupt the distribution $\mathcal{D}$ and adaptive adversaries that can have their corruptions depend on the specific sample $S$ that is drawn from $\mathcal{D}$. In this work, we investigate whether oblivious adversaries are effectively equivalent to adaptive adversaries, across all noise models studied in the literature. Specifically, can the behavior of an algorithm $\mathcal{A}$ in the presence of oblivious adversaries always be well-approximated by that of an algorithm $\mathcal{A}'$ in the presence of adaptive adversaries? Our first result shows that this is indeed the case for the broad class of statistical query algorithms, under all reasonable noise models. We then show that in the specific case of additive noise, this equivalence holds for all algorithms. Finally, we map out an approach towards proving this statement in its fullest generality, for all algorithms and under all reasonable noise models.


title: The quantum Gaussian process state: A kernel-inspired state with quantum support data

abstract: We introduce the quantum Gaussian process state, motivated via a statistical inference for the wave function supported by a data set of unentangled product states. We show that this condenses down to a compact and expressive parametric form, with a variational flexibility shown to be competitive or surpassing established alternatives. The connections of the state to its roots as a Bayesian inference machine as well as matrix product states, also allow for efficient deterministic training of global states from small training data with enhanced generalization, including on application to frustrated spin physics.


title: HotQCD on Multi-GPU Systems

abstract: We present $\texttt{SIMULATeQCD}$, HotQCD's software for performing lattice QCD calculations on GPUs. Started in late 2017 and intended as a full replacement of the previous single GPU lattice QCD code used by the HotQCD collaboration, our software has been developed into an extensive framework for lattice QCD calculations distributed on multiple GPUs over many compute nodes. The code is built on C++, CUDA, and MPI and leverages modern C++ language features to provide high-level data structures, objects, and algorithms that allow users to express lattice QCD calculations in an intuitive way without sacrificing performance. Implemented algorithms range from gradient flow, correlator measurements, and mixed precision conjugate gradient solvers all the way to full HISQ gauge field configuration generation using RHMC. After successful deployment in large-scale computing projects, we want to share the result of our efforts with the lattice QCD community by making it publicly available. In these proceedings, we will present some of the key features of our code, demonstrate its ease of use, and show benchmarks of performance critical kernels on state-of-the-art supercomputers.


title: Special Lagrangian cycles and Calabi-Yau transitions

abstract: We construct special Lagrangian 3-spheres in non-K\"ahler compact threefolds equipped with the Fu-Li-Yau geometry. These non-K\"ahler geometries emerge from topological transitions of compact Calabi-Yau threefolds. From this point of view, a conifold transition exchanges holomorphic 2-cycles for special Lagrangian 3-cycles.


title: Investigation of generalised Fredholm equations and their direct solution subject to constraints

abstract: This paper explores the solution of Fredholm-like equations with infinite dimensional solution spaces. We set out to find a method for determining a particular solution to a Fredholm-like equation subject to a given constraint. The relevance and application comes via a connection to certain dynamics of gas-like systems.


title: A framework for randomized benchmarking over compact groups

abstract: Characterization of experimental systems is an essential step in developing and improving quantum hardware. A collection of protocols known as Randomized Benchmarking (RB) was developed in the past decade, which provides an efficient way to measure error rates in quantum systems. In a recent paper (arxiv:2010.07974), a general framework for RB was proposed, which encompassed most of the known RB protocols and overcame the limitation on error models in previous works. However, even this general framework has a restriction: it can only be applied to a finite group of gates. This does not meet the need posed by experiments, in particular the demand for benchmarking non-Clifford gates and continuous gate sets on quantum devices. In this work we generalize the RB framework to continuous groups of gates and show that as long as the noise level is reasonably small, the output can be approximated as a linear combination of matrix exponential decays. As an application, we numerically study the fully randomized benchmarking protocol (i.e. RB with the entire unitary group as the gate set) enabled by our proof. This provides a unified way to estimate the gate fidelity for any quantum gate in an experiment.


title: Weak diffeomorphisms and solutions to conservation laws

abstract: Evolution equations which describe the changes in a velocity field over time have been classically studied within the Eulerian or Lagrangian frame of reference. Classically, these frameworks are equivalent descriptions of the same problem, and the equivalence can be demonstrated by constructing particle paths. For hyperbolic conservation laws, we extend the equivalence between these frameworks to weak solutions for a broad class of problems. Our main contribution in this paper is that we develop a new framework to extend the idea of a particle path to scalar equations and to systems in one dimension which do not explicitly include velocity fields. For systems, we use Riemann invariants as the tool to develop an analog to particle paths.


title: MicroBooNE and the $\nu_e$ Interpretation of the MiniBooNE Low-Energy Excess

abstract: A new generation of neutrino experiments is testing the $4.8\sigma$ anomalous excess of electron-like events observed in MiniBooNE. This is of huge importance for particle physics, astrophysics, and cosmology, not only because of the potential discovery of physics beyond the Standard Model, but also because the lessons we will learn about neutrino-nucleus interactions will be crucial for the worldwide neutrino program. MicroBooNE has recently released results that appear to disfavor several explanations of the MiniBooNE anomaly. Here, we show quantitatively that MicroBooNE results, while a promising start, unquestionably do not probe the full parameter space of sterile neutrino models hinted at by MiniBooNE and other data, nor do they probe the $\nu_e$ interpretation of the MiniBooNE excess in a model-independent way. Our analysis code is fully available in https://github.com/Harvard-Neutrino/MicroBooNE-analysis-2021.


title: Q-Monopole-Ball: A Topological and Nontopological Soliton

abstract: Magnetic monopoles and Q-balls are examples of topological and nontopological solitons, respectively. A new soliton state with both topological and nontopological charges is shown to also exist, given a monopole sector with a portal coupling to an additional scalar field $S$ with a global $U(1)$ symmetry. This new state, the Q-monopole-ball, is more stable than an isolated Q-ball made of only $S$ particles, and it could be stable against fissioning into monopoles and free $S$ particles. Stable Q-monopole-balls can contain large magnetic charges, providing a novel nongravitational mechanism for binding like-charged monopoles together. They could be produced from a phase transition in the early universe and account for all dark matter.


title: Solving Visual Analogies Using Neural Algorithmic Reasoning

abstract: We consider a class of visual analogical reasoning problems that involve discovering the sequence of transformations by which pairs of input/output images are related, so as to analogously transform future inputs. This program synthesis task can be easily solved via symbolic search. Using a variation of the `neural analogical reasoning' approach of (Velickovic and Blundell 2021), we instead search for a sequence of elementary neural network transformations that manipulate distributed representations derived from a symbolic space, to which input images are directly encoded. We evaluate the extent to which our `neural reasoning' approach generalizes for images with unseen shapes and positions.


title: Unveiling the Fermi Bubbles origin with MeV photon telescopes

abstract: The Fermi Bubbles (FB) are a pair of large-scale ellipsoidal structures extending above and below the Galactic plane almost symmetrically aligned with the Galactic Center. After more than 10 years since their discovery, their nature and origin remain unclear. Unveiling the primary emission mechanisms, whether hadronic or leptonic, is considered the main tool to shed light on the topic. We explore the potential key role of MeV observations of the FB and we provide a recipe to determine the sensitivity of Compton and Compton-pair telescopes to the extended emission of the FB. We illustrate the capabilities of the Imaging Compton Telescope COMPTEL, the newly selected NASA MeV mission COSI (Compton Spectrometer and Imager), as well as the expectations for a potential future Compton-pair telescope such as AMEGO-X (All-sky Medium Energy Gamma-ray Observatory eXplorer).


title: Transcendental properties of entropy-constrained sets

abstract: For information-theoretic quantities with an asymptotic operational characterization, the question arises whether an alternative single-shot characterization exists, possibly including an optimization over an ancilla system. If the expressions are algebraic and the ancilla is finite, this leads to semialgebraic level sets. In this work, we provide a criterion for disproving that a set is semialgebraic based on an analytic continuation of the Gauss map. Applied to the von Neumann entropy, this shows that its level sets are nowhere semialgebraic in dimension d>2, ruling out algebraic single-shot characterizations with finite ancilla (e.g., via catalytic transformations). We show similar results for related quantities, including the relative entropy, and discuss under which conditions entropy values are transcendental, algebraic, or rational.


title: Generalized Decision Transformer for Offline Hindsight Information Matching

abstract: How to extract as much learning signal from each trajectory data has been a key problem in reinforcement learning (RL), where sample inefficiency has posed serious challenges for practical applications. Recent works have shown that using expressive policy function approximators and conditioning on future trajectory information -- such as future states in hindsight experience replay or returns-to-go in Decision Transformer (DT) -- enables efficient learning of multi-task policies, where at times online RL is fully replaced by offline behavioral cloning, e.g. sequence modeling. We demonstrate that all these approaches are doing hindsight information matching (HIM) -- training policies that can output the rest of trajectory that matches some statistics of future state information. We present Generalized Decision Transformer (GDT) for solving any HIM problem, and show how different choices for the feature function and the anti-causal aggregator not only recover DT as a special case, but also lead to novel Categorical DT (CDT) and Bi-directional DT (BDT) for matching different statistics of the future. For evaluating CDT and BDT, we define offline multi-task state-marginal matching (SMM) and imitation learning (IL) as two generic HIM problems, propose a Wasserstein distance loss as a metric for both, and empirically study them on MuJoCo continuous control benchmarks. CDT, which simply replaces anti-causal summation with anti-causal binning in DT, enables the first effective offline multi-task SMM algorithm that generalizes well to unseen and even synthetic multi-modal state-feature distributions. BDT, which uses an anti-causal second transformer as the aggregator, can learn to model any statistics of the future and outperforms DT variants in offline multi-task IL. Our generalized formulations from HIM and GDT greatly expand the role of powerful sequence modeling architectures in modern RL.


title: Joint Delay and Phase Precoding Under True-Time Delay Constraints for THz Massive MIMO

abstract: A new approach is presented to the problem of compensating the beam squint effect arising in wideband terahertz (THz) hybrid massive multiple-input multiple-output (MIMO) systems, based on the joint optimization of the phase shifter (PS) and true-time delay (TTD) values under per-TTD device time delay constraints. Unlike the prior approaches, the new approach does not require the unbounded time delay assumption; the range of time delay values that a TTD device can produce is strictly limited in our approach. Instead of focusing on the design of TTD values, we jointly optimize both the TTD and PS values to effectively cope with the practical time delay constraints. Simulation results that illustrate the performance benefits of the new method for the beam squint compensation are presented. Through simulations and analysis, we show that our approach is a generalization of the prior TTD-based precoding approaches.


title: Forbidden induced subgraphs for graphs and signed graphs with eigenvalues bounded from below

abstract: The smallest eigenvalue of a graph is the smallest eigenvalue of its adjacency matrix. We show that the family of graphs with smallest eigenvalue at least $-\lambda$ can be defined by a finite set of forbidden induced subgraphs if and only if $\lambda < \lambda^*$, where $\lambda^* = \rho^{1/2} + \rho^{-1/2} \approx 2.01980$, and $\rho$ is the unique real root of $x^3 = x + 1$. This resolves a question raised by Bussemaker and Neumaier. As a byproduct, we find all the limit points of smallest eigenvalues of graphs, supplementing Hoffman's work on those limit points in $[-2, \infty)$. We also prove that the same conclusion about forbidden subgraph characterization holds for signed graphs. Our impetus for the study of signed graphs is to determine the maximum cardinality of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Denote by $N_{\alpha, \beta}(n)$ the maximum number of unit vectors in $\mathbb{R}^d$ where all pairwise inner products lie in $\{\alpha, \beta\}$ with $-1 \le \beta < 0 \le \alpha < 1$. Very recently Jiang, Tidor, Yao, Zhang and Zhao determined the limit of $N_{\alpha, \beta}(d)/d$ as $d\to\infty$ when $\alpha + 2\beta < 0$ or $(1-\alpha)/(\alpha-\beta) \in \{1,\sqrt2,\sqrt3\}$, and they proposed a conjecture on the limit in terms of eigenvalue multiplicities of signed graphs. We establish their conjecture whenever $(1-\alpha)/(\alpha - \beta) < \lambda^*$.


title: SLUE: New Benchmark Tasks for Spoken Language Understanding Evaluation on Natural Speech

abstract: Progress in speech processing has been facilitated by shared datasets and benchmarks. Historically these have focused on automatic speech recognition (ASR), speaker identification, or other lower-level tasks. Interest has been growing in higher-level spoken language understanding tasks, including using end-to-end models, but there are fewer annotated datasets for such tasks. At the same time, recent work shows the possibility of pre-training generic representations and then fine-tuning for several tasks using relatively little labeled data. We propose to create a suite of benchmark tasks for Spoken Language Understanding Evaluation (SLUE) consisting of limited-size labeled training sets and corresponding evaluation sets. This resource would allow the research community to track progress, evaluate pre-trained representations for higher-level tasks, and study open questions such as the utility of pipeline versus end-to-end approaches. We present the first phase of the SLUE benchmark suite, consisting of named entity recognition, sentiment analysis, and ASR on the corresponding datasets. We focus on naturally produced (not read or synthesized) speech, and freely available datasets. We provide new transcriptions and annotations on subsets of the VoxCeleb and VoxPopuli datasets, evaluation metrics and results for baseline models, and an open-source toolkit to reproduce the baselines and evaluate new models.


title: Faster Sparse Minimum Cost Flow by Electrical Flow Localization

abstract: We give an $\widetilde{O}({m^{3/2 - 1/762} \log (U+W))}$ time algorithm for minimum cost flow with capacities bounded by $U$ and costs bounded by $W$. For sparse graphs with general capacities, this is the first algorithm to improve over the $\widetilde{O}({m^{3/2} \log^{O(1)} (U+W)})$ running time obtained by an appropriate instantiation of an interior point method [Daitch-Spielman, 2008]. Our approach is extending the framework put forth in [Gao-Liu-Peng, 2021] for computing the maximum flow in graphs with large capacities and, in particular, demonstrates how to reduce the problem of computing an electrical flow with general demands to the same problem on a sublinear-sized set of vertices -- even if the demand is supported on the entire graph. Along the way, we develop new machinery to assess the importance of the graph's edges at each phase of the interior point method optimization process. This capability relies on establishing a new connections between the electrical flows arising inside that optimization process and vertex distances in the corresponding effective resistance metric.


title: Gauge Enhanced Quantum Criticality Between Grand Unifications: Categorical Higher Symmetry Retraction

abstract: Prior work [arXiv:2106.16248] shows that the Standard Model (SM) naturally arises near a gapless quantum critical region between Georgi-Glashow (GG) $su(5)$ and Pati-Salam (PS) $su(4) \times su(2) \times su(2)$ models of quantum vacua (in a phase diagram or moduli space), by implementing a modified $so(10)$ Grand Unification (GUT) with a Spin(10) gauge group plus a new discrete Wess-Zumino Witten term matching a 4d nonperturbative global mixed gauge-gravity $w_2 w_3$ anomaly. In this work, we include Barr's flipped $su(5)$ model into the quantum landscape, showing these four GUT-like models arise near the quantum criticality near SM. Highlights include: First, we find the precise GG or flipped $u(5)$ gauge group requires to redefine a Lie group U(5)$_{\hat q}$ with $\hat q=2$ or $3$ (instead of non-isomorphic analog $\hat q=1$ or 4), and different $\hat q$ are related by multiple covering. Second, we show that the GG and flipped $u(5)$ are two different symmetry-breaking vacua of the same order parameter separated by a first-order Landau-Ginzburg transition. We also show that analogous 3+1d deconfined quantum criticalities, both between GG and PS, and between the flipped $u(5)$ and PS, are beyond Landau-Ginzburg paradigm. Third, topological quantum criticality occurs by tuning between the 15n vs 16n scenarios. Fourth, we explore the generalized higher global symmetries in the SM and GUTs. Gauging the $\mathbb{Z}_2$ flip symmetry between GG and flipped $u(5)$ models, leads to a potential categorical higher symmetry that is a non-invertible global symmetry: within a gauge sector $(u(1) \times u(1)) \rtimes \mathbb{Z}_2$, the fusion rule of 2d topological surface operator splits. However, the un-Higgs Spin(10) at UV retracts this categorical symmetry.

categories: hep-th cond-mat.str-el hep-lat hep-ph math-ph math.MP


title: Correction to: Representation Growth and Rational Singularities of the Moduli Space of Local Systems

abstract: We explain and correct a mistake in Section 2.6 and Appendix C of the first and second author's paper "Representation Growth and Rational Singularities of the Moduli Space of Local Systems" arXiv:1307.0371.


title: ColDE: A Depth Estimation Framework for Colonoscopy Reconstruction

abstract: One of the key elements of reconstructing a 3D mesh from a monocular video is generating every frame's depth map. However, in the application of colonoscopy video reconstruction, producing good-quality depth estimation is challenging. Neural networks can be easily fooled by photometric distractions or fail to capture the complex shape of the colon surface, predicting defective shapes that result in broken meshes. Aiming to fundamentally improve the depth estimation quality for colonoscopy 3D reconstruction, in this work we have designed a set of training losses to deal with the special challenges of colonoscopy data. For better training, a set of geometric consistency objectives was developed, using both depth and surface normal information. Also, the classic photometric loss was extended with feature matching to compensate for illumination noise. With the training losses powerful enough, our self-supervised framework named ColDE is able to produce better depth maps of colonoscopy data as compared to the previous work utilizing prior depth knowledge. Used in reconstruction, our network is able to reconstruct good-quality colon meshes in real-time without any post-processing, making it the first to be clinically applicable.


title: Resistance-Time Co-Modulated PointNet for Temporal Super-Resolution Simulation of Blood Vessel Flows

abstract: In this paper, a novel deep learning framework is proposed for temporal super-resolution simulation of blood vessel flows, in which a high-temporal-resolution time-varying blood vessel flow simulation is generated from a low-temporal-resolution flow simulation result. In our framework, point-cloud is used to represent the complex blood vessel model, resistance-time aided PointNet model is proposed for extracting the time-space features of the time-varying flow field, and finally we can reconstruct the high-accuracy and high-resolution flow field through the Decoder module. In particular, the amplitude loss and the orientation loss of the velocity are proposed from the vector characteristics of the velocity. And the combination of these two metrics constitutes the final loss function for network training. Several examples are given to illustrate the effective and efficiency of the proposed framework for temporal super-resolution simulation of blood vessel flows.


title: Design of pre-stressed plate-strips to cover non-developable shells

abstract: In this paper we address the following design problem: what is the shape of a plate and the associated pre-stress that relaxes toward a given three-dimensional shell? As isometric transformations conserve the gaussian curvature, three-dimensional non-developable shells cannot be obtained from the relaxation of pre-strained plates by using isometric transformations only. Overcoming this geometric restriction, including small-strains and large rotations, solves the problem for small areas only. This paper dispenses with the small-area restriction to cover three-dimensional shells fully by using shell-strips. Since shell-strips have an additional geometric parameter, we show that under suitable assumptions that relate the width of the strip to the curvature of the shell, we are able to design arbitrary shell surfaces by covering them with shell-strips. As an illustration, we provide optimized covers of the sphere in a variety of different surface-strips relaxed from plate-strips with homogeneous and isotropic pre-stress. Moveover, we propose the design of the torus, of the helicoid and of the non-developable M\"obius band, which requires inhomogeneous and anisotropic pre-stress.


title: Urine Microscopic Image Dataset

abstract: Urinalysis is a standard diagnostic test to detect urinary system related problems. The automation of urinalysis will reduce the overall diagnostic time. Recent studies used urine microscopic datasets for designing deep learning based algorithms to classify and detect urine cells. But these datasets are not publicly available for further research. To alleviate the need for urine datsets, we prepare our urine sediment microscopic image (UMID) dataset comprising of around 3700 cell annotations and 3 categories of cells namely RBC, pus and epithelial cells. We discuss the several challenges involved in preparing the dataset and the annotations. We make the dataset publicly available.


title: Toward the theory of Dirichlet problem for the degenerate Beltrami equations

abstract: In this article, first we give a general lemma on the existence of regular homeomorphic solutions $f$ with the hydrodynamic normalization $f(z)=z+o(1)$ as $z\to\infty$ to the degenerate Beltrami equations $\overline{\partial}f=\mu\,\partial f$ in $\mathbb C$ whose complex coefficients $\mu$ have compact supports. On this basis, we establish criteria for existence and representation of regular discrete open solutions for the Dirichlet problem with continuous data to degenerate Beltrami equations in arbitrary simply connected bounded domains $D$ in $\mathbb C$. Moreover, we obtain similar criteria for the existence of multi-valued solutions $f$ in the spirit of the theory of multi-valued analytic functions in arbitrary bounded domains $D$ in $\mathbb C$ with no boundary component degenerated to a single point. Note that the latter request is necessary and that the real parts $u$ of such solutions $f$ are the so-called $A-$harmonic functions, i.e., single-valued continuous weak solutions of elliptice quations ${\rm div}\, (A\cdot\nabla u)=0$ with matrix-valued coefficients $A$ associated with $\mu$. Thus, the results can be applied to potential theory in anisotropic and inhomogeneous media.


title: Diabetic Foot Ulcer Grand Challenge 2021: Evaluation and Summary

abstract: Diabetic foot ulcer classification systems use the presence of wound infection (bacteria present within the wound) and ischaemia (restricted blood supply) as vital clinical indicators for treatment and prediction of wound healing. Studies investigating the use of automated computerised methods of classifying infection and ischaemia within diabetic foot wounds are limited due to a paucity of publicly available datasets and severe data imbalance in those few that exist. The Diabetic Foot Ulcer Challenge 2021 provided participants with a more substantial dataset comprising a total of 15,683 diabetic foot ulcer patches, with 5,955 used for training, 5,734 used for testing and an additional 3,994 unlabelled patches to promote the development of semi-supervised and weakly-supervised deep learning techniques. This paper provides an evaluation of the methods used in the Diabetic Foot Ulcer Challenge 2021, and summarises the results obtained from each network. The best performing network was an ensemble of the results of the top 3 models, with a macro-average F1-score of 0.6307.


title: Fuzzy Lifetime Analysis of a Fault-Tolerant Two-Phase Interleaved Converter

abstract: Interleaved converters are used in photovoltaic (PV) applications to handle high power conditions with high reliability. To improve the reliability of these converters, redundant switch configuration can be employed which reduce the failure rates of the power switches significantly. However, evaluation reliability of the interleaved converters equipped with redundant switch configurations may be complex. This paper aims to simplify the reliability Analysis of interleaved converters considering mission profile and redundant switch configuration. Different possible configurations of the studied converter are shown as Markov chain states in the proposed method, which simplify the reliability and failure rates Analysis. The effect of different parameters such as the converter power level, switch configuration type, and operation modes are derived and a better insight into the effectiveness of the switch configuration on improving the reliability is provided.


title: Towards testing the magnetic moment of the tau at one part per million

abstract: If physics beyond the Standard Model (BSM) explains the $4.2\sigma$ difference between the Standard-Model and measured muon anomalous magnetic moment, $a_{\mu}$, minimal flavor violation predicts a shift in the analog quantity for the $\tau$ lepton, $a_{\tau}$, at the $10^{-6}$ level, and even larger effects are possible in generic BSM scenarios such as leptoquarks. We show that this produces equivalent BSM deviations in the Pauli form factor, $F_2(s)$, at $s=(10\,\text{GeV})^2$, and report the first complete two-loop prediction of $\text{Re}\, F_2^\text{eff}(100\,\text{GeV}^2)=-268.77(50)\times 10^{-6}$ for resonant $\tau$-pair production in $e^+e^-\rightarrow \Upsilon(nS) \rightarrow$ $\tau^+\tau^-$, $n=1,2,3$. $\text{Re}\, F_2^\text{eff}$ can be measured from $e^-$-helicity-dependent transverse and longitudinal asymmetries in $\tau$-pair events, which requires a longitudinally polarized $e^-$ beam. We discuss how Belle II asymmetry measurements could probe $a_{\tau}^\text{BSM}$ at $10^{-6}$, assuming such a polarization upgrade of the SuperKEKB $e^+e^-$ collider, and conclude by outlining the next steps to be taken in theory and experiment along this new avenue for exploring realistic BSM effects in $a_\tau$.


title: Lepton-pair production at hadron colliders at N$^3$LO in QCD

abstract: We compute for the first time the complete corrections at N$^3$LO in the strong coupling constant to the inclusive neutral-current Drell-Yan process including contributions from both photon and $Z$-boson exchange. Our main result is the computation of the QCD corrections to the inclusive production cross section of an axial-vector boson to third order in the strong coupling in a variant of QCD with five massless quark flavours. Since the axial anomaly does not cancel for an odd number of flavours, we also consistently include non-decoupling effects in the top-quark mass through three loops. We perform a phenomenological study of our results, and we present for the first time predictions for the inclusive Drell-Yan process at the LHC at this order in QCD perturbation theory.


title: Astrometric Identification of Nearby Binary Stars I: Predicted Astrometric Signals

abstract: We examine the capacity to identify binary systems from astrometric errors and deviations alone. Until the release of the fourth Gaia data release we lack the full astrometric time series that the satellite records, but as we show can still infer the presence of binaries from the best fit models, and their error, already available. We generate a broad catalog of simulated binary systems within 100 pc, and examine synthetic observations matching the Gaia survey's scanning law and astrometric data processing routine. We show how the Unit Weight Error (UWE) and Proper Motion Anomaly (PMA) vary as a function of period, and the properties of the binary. Both UWE and PMA peak for systems with a binary period close to the time baseline of the survey. Thus UWE can be expected to increase or remain roughly constant as we observe the same system over a longer baseline, and we suggest $UWE_{eDR3}>1.25$ and $\Delta UWE/UWE_{eDR3}>-0.25$ as criteria to select astrometric binaries. For stellar binaries we find detectable significant astrometric deviations for 80-90\% of our simulated systems in a period range from months to decades. We confirm that for systems with periods less than the survey's baseline the observed $UWE$ scales $\propto \ \varpi$ (parallax), $a$ (semi-major axis) and $\Delta =\frac{|q-l|}{(1+q)(1+l)}$ where $q$ and $l$ are the mass and light ratio respectively, with a modest dependence on viewing angle. For longer periods the signal is suppressed by a factor of roughly $\propto P^{-2}$ (period). PMA is largest in orbits with slightly longer periods but obeys the same approximate scaling relationships.


title: Streaming instabilities in accreting and magnetized laminar protoplanetary disks

abstract: The streaming instability is one of the most promising pathways to the formation of planetesimals from pebbles. Understanding how this instability operates under realistic conditions expected in protoplanetary disks is therefore crucial to assess the efficiency of planet formation. Contemporary models of protoplanetary disks show that magnetic fields are key to driving gas accretion through large-scale, laminar magnetic stresses. However, the effect of such magnetic fields on the streaming instability has not been examined in detail. To this end, we study the stability of dusty, magnetized gas in a protoplanetary disk. We find the streaming instability can be enhanced by passive magnetic torques and even persist in the absence of a global radial pressure gradient. In this case, instability is attributed to the azimuthal drift between dust and gas, unlike the classical streaming instability, which is driven by radial drift. This suggests that the streaming instability can remain effective inside dust-trapping pressure bumps in accreting disks. When a live vertical field is considered, we find the magneto-rotational instability can be damped by dust feedback, while the classic streaming instability can be stabilized by magnetic perturbations. We also find that Alfv\'en waves can be destabilized by dust-gas drift, but this instability requires nearly ideal conditions. We discuss the possible implications of these results for dust dynamics and planetesimal formation in protoplanetary disks.


title: The Dark Energy Survey Supernova Program: Cosmological biases from supernova photometric classification

abstract: Cosmological analyses of samples of photometrically-identified Type Ia supernovae (SNe Ia) depend on understanding the effects of 'contamination' from core-collapse and peculiar SN Ia events. We employ a rigorous analysis on state-of-the-art simulations of photometrically identified SN Ia samples and determine cosmological biases due to such 'non-Ia' contamination in the Dark Energy Survey (DES) 5-year SN sample. As part of the analysis, we test on our DES simulations the performance of SuperNNova, a photometric SN classifier based on recurrent neural networks. Depending on the choice of non-Ia SN models in both the simulated data sample and training sample, contamination ranges from 0.8-3.5 %, with the efficiency of the classification from 97.7-99.5 %. Using the Bayesian Estimation Applied to Multiple Species (BEAMS) framework and its extension 'BEAMS with Bias Correction' (BBC), we produce a redshift-binned Hubble diagram marginalised over contamination and corrected for selection effects and we use it to constrain the dark energy equation-of-state, $w$. Assuming a flat universe with Gaussian $\Omega_M$ prior of $0.311\pm0.010$, we show that biases on $w$ are $<0.008$ when using SuperNNova and accounting for a wide range of non-Ia SN models in the simulations. Systematic uncertainties associated with contamination are estimated to be at most $\sigma_{w, \mathrm{syst}}=0.004$. This compares to an expected statistical uncertainty of $\sigma_{w,\mathrm{stat}}=0.039$ for the DES-SN sample, thus showing that contamination is not a limiting uncertainty in our analysis. We also measure biases due to contamination on $w_0$ and $w_a$ (assuming a flat universe), and find these to be $<$0.009 in $w_0$ and $<$0.108 in $w_a$, hence 5 to 10 times smaller than the statistical uncertainties expected from the DES-SN sample.


title: Simulation of Electrospray Emission Processes for Highly Conductive Liquids

abstract: An electrohydrodynamic numerical model is used to explore the electrospray emission behavior of both moderate and high electrical conductivity liquids under electrospray conditions. The Volume-of-Fluid method, incorporating a leaky-dielectric model with a charge relaxation consideration, is used to conserve charge to accurately model cone-jet formation and droplet breakup. The model is validated against experiments and agrees well with both droplet diameters and charge-to-mass ratio of emitted progeny droplets. The model examines operating conditions such as flow rate and voltage, with fluid properties also considered, such as surface tension, electrical conductivity, and viscosity for both moderate and high conductivity. For high conductivity and surface tension, the results show that high charge concentration along with the meniscus and convex cone shape results in a higher charge-to-mass ratio of the emitted droplets while lower conductivity and surface tension tend towards concave cone shapes and lower charge-to-mass droplets. Recirculation flows inside the bulk liquid are investigated across a range of non-dimensional flow rates, and electric Reynolds numbers. For high conductivity liquid emission at the minimum stable flow rate, additional recirculation cells develop near the cone tip suggesting the onset of the axisymmetric instability.


title: How are Red and Blue Quasars Different? The Radio Properties

abstract: A non-negligible fraction of quasars are red at optical wavelengths, indicating (in the majority of cases) that the accretion disc is obscured by a column of dust which extinguishes the shorter-wavelength blue emission. In this paper, we summarize recent work by our group, where we find fundamental differences in the radio properties of SDSS optically-selected red quasars. We also present new analyses, using a consistent color-selected quasar parent sample matched to four radio surveys (FIRST, VLA Stripe 82, VLA COSMOS 3 GHz, and LoTSS DR1) across a frequency range 144 MHz-3 GHz and four orders of magnitude in radio flux. We show that red quasars have enhanced small-scale radio emission (~kpc) that peaks around the radio-quiet threshold (defined as the ratio of 1.4 GHz luminosity to 6 micron luminosity) across the four radio samples. Exploring the potential mechanisms behind this enhancement, we rule out star-formation and propose either small-scale synchrotron jets, frustrated jets, or dusty winds interacting with the interstellar medium; the latter two scenarios would provide a more direct connection between opacity (dust; gas) and the production of the radio emission. In our future study, using new multi-band uGMRT data, we aim to robustly distinguish between these scenarios.


title: Direct Far-Infrared Metal Abundances (FIRA) I: M101

abstract: Accurately determining gas-phase metal-abundances within galaxies is critical as metals strongly affect the physics of the interstellar medium (ISM). To date, the vast majority of widely-used gas-phase abundance-indicators rely on emission from bright optical-lines, whose emissivities are highly sensitive to the electron temperature. Alternatively, direct-abundance methods exist that measure the temperature of the emitting gas directly, though these methods usually require challenging observations of highly-excited auroral lines. Low-lying far-infrared (FIR) fine-structure lines are largely insensitive to electron temperature and thus provide an attractive alternative to optically-derived abundances. Here, we introduce the far-infrared abundances (FIRA) project, which employs these FIR transitions, together with both radio free-free emission and hydrogen recombination-lines, to derive direct, absolute gas-phase oxygen-abundances. Our first target is M101, a nearby spiral-galaxy with a relatively steep abundance gradient. Our results are consistent with the O$^{++}$ electron-temperatures and absolute oxygen-abundances derived using optical direct-abundance methods by the CHemical Abundance Of Spirals (CHAOS) program, with a small difference ($\sim$ 1.5$\sigma$) in the radial abundance-gradients derived by the FIR/free-free-normalized vs. CHAOS/direct-abundance techniques. This initial result demonstrates the validity of the FIRA methodology $-$ with the promise of determining absolute metal-abundances within dusty star-forming galaxies, both locally and at high redshift.


title: New limits on light dark matter - proton cross section from the cosmic large-scale structure

abstract: We set the strongest limits to-date on the velocity-independent dark matter (DM) - proton cross section $\sigma$ for DM masses $m = 10\,\mathrm{keV}$ to $100\,\mathrm{GeV}$, using large-scale structure traced by the Lyman-alpha forest: e.g., a 95% lower limit $\sigma < 6 \times 10^{-30}\,\mathrm{cm}^2$, for $m = 100\,\mathrm{keV}$. Our results complement direct detection, which has limited sensitivity to sub-GeV DM. We use an emulator of cosmological simulations, combined with data from the smallest cosmological scales used to-date, to model and search for the imprint of primordial DM-proton collisions. Cosmological bounds are improved by up to a factor of 25.


title: Nonlinear electromagnetic fields in strictly stationary spacetimes

abstract: We prove two theorems which imply that any stationary nonlinear electromagnetic field obeying a dominant energy condition in a strictly stationary, everywhere regular, asymptotically flat spacetime must be either trivial or a stealth field. The first theorem holds in static spacetimes and is independent of the gravitational part of the action, as long as the coupling of the electromagnetic field to the gravitational field is minimal. The second theorem assumes Einstein--Hilbert gravitational action and relies on the positive energy theorem, but does not assume that the spacetime metric is static. In addition, we discuss possible generalizations of these results, to theories with charged matter, as well as higher-dimensional nonlinear electromagnetic fields.