title: Cross-Camera View-Overlap Recognition

abstract: We propose a decentralised view-overlap recognition framework that operates across freely moving cameras without the need of a reference 3D map. Each camera independently extracts, aggregates into a hierarchical structure, and shares feature-point descriptors over time. A view overlap is recognised by view-matching and geometric validation to discard wrongly matched views. The proposed framework is generic and can be used with different descriptors. We conduct the experiments on publicly available sequences as well as new sequences we collected with hand-held cameras. We show that Oriented FAST and Rotated BRIEF (ORB) features with Bags of Binary Words within the proposed framework lead to higher precision and a higher or similar accuracy compared to NetVLAD, RootSIFT, and SuperGlue.


title: Ensnarled: On the topological linkage of spatially embedded network pairs

abstract: The observation, design and analysis of mesh-like networks in bionics, polymer physics and biological systems has brought forward an extensive catalog of fascinating structures of which a subgroup share a particular, yet critically under appreciated attribute: being embedded in space such that one wouldn't be able to pull them apart without prior removal of a subset of edges, a state which we here call ensnarled. In this study we elaborate on a graph theoretical method to analyze ensnarled finite, 2-component nets on the basis of Hopf-link identification. Doing so we are able to construct an edge priority operator, derived from the linking numbers of the spatial graphs' cycle bases, which highlights critical edges. On its basis we developed a greedy algorithm which identifies optimal edge removals to achieve unlinking, allowing for the establishment of a new topological metric characterizing the state of ensnarled network pairs.


title: PEER: A Collaborative Language Model

abstract: Textual content is often the output of a collaborative writing process: We start with an initial draft, ask for suggestions, and repeatedly make changes. Agnostic of this process, today's language models are trained to generate only the final result. As a consequence, they lack several abilities crucial for collaborative writing: They are unable to update existing texts, difficult to control and incapable of verbally planning or explaining their actions. To address these shortcomings, we introduce PEER, a collaborative language model that is trained to imitate the entire writing process itself: PEER can write drafts, add suggestions, propose edits and provide explanations for its actions. Crucially, we train multiple instances of PEER able to infill various parts of the writing process, enabling the use of self-training techniques for increasing the quality, amount and diversity of training data. This unlocks PEER's full potential by making it applicable in domains for which no edit histories are available and improving its ability to follow instructions, to write useful comments, and to explain its actions. We show that PEER achieves strong performance across various domains and editing tasks.


title: Noncompactified Kaluza--Klein Gravity

abstract: We present a brief description of noncompactified higher-dimensional theories from the perspective of general relativity. More concretely, the Space-Time-Matter theory, or Induced Matter theory, and the reduction procedure used to construct the modified Brans-Dicke theory and the modified S\'{a}ez-Ballester theory are briefly explained. Finally, we apply the latter to the Friedmann-Lema\^{i}tre-Robertson-Walker (FLRW) cosmological models in arbitrary dimensions and analyze the corresponding solutions.


title: Statistical exploration of the Manifold Hypothesis

abstract: The Manifold Hypothesis is a widely accepted tenet of Machine Learning which asserts that nominally high-dimensional data are in fact concentrated near a low-dimensional manifold, embedded in high-dimensional space. This phenomenon is observed empirically in many real world situations, has led to development of a wide range of statistical methods in the last few decades, and has been suggested as a key factor in the success of modern AI technologies. We show that rich and sometimes intricate manifold structure in data can emerge from a generic and remarkably simple statistical model -- the Latent Metric Model -- via elementary concepts such as latent variables, correlation and stationarity. This establishes a general statistical explanation for why the Manifold Hypothesis seems to hold in so many situations. Informed by the Latent Metric Model we derive procedures to discover and interpret the geometry of high-dimensional data, and explore hypotheses about the data generating mechanism. These procedures operate under minimal assumptions and make use of well known, scaleable graph-analytic algorithms.


title: Efficient Heterogeneous Video Segmentation at the Edge

abstract: We introduce an efficient video segmentation system for resource-limited edge devices leveraging heterogeneous compute. Specifically, we design network models by searching across multiple dimensions of specifications for the neural architectures and operations on top of already light-weight backbones, targeting commercially available edge inference engines. We further analyze and optimize the heterogeneous data flows in our systems across the CPU, the GPU and the NPU. Our approach has empirically factored well into our real-time AR system, enabling remarkably higher accuracy with quadrupled effective resolutions, yet at much shorter end-to-end latency, much higher frame rate, and even lower power consumption on edge platforms.


title: Black-box Attacks Against Neural Binary Function Detection

abstract: Binary analyses based on deep neural networks (DNNs), or neural binary analyses (NBAs), have become a hotly researched topic in recent years. DNNs have been wildly successful at pushing the performance and accuracy envelopes in the natural language and image processing domains. Thus, DNNs are highly promising for solving binary analysis problems that are typically hard due to a lack of complete information resulting from the lossy compilation process. Despite this promise, it is unclear that the prevailing strategy of repurposing embeddings and model architectures originally developed for other problem domains is sound given the adversarial contexts under which binary analysis often operates. In this paper, we empirically demonstrate that the current state of the art in neural function boundary detection is vulnerable to both inadvertent and deliberate adversarial attacks. We proceed from the insight that current generation NBAs are built upon embeddings and model architectures intended to solve syntactic problems. We devise a simple, reproducible, and scalable black-box methodology for exploring the space of inadvertent attacks - instruction sequences that could be emitted by common compiler toolchains and configurations - that exploits this syntactic design focus. We then show that these inadvertent misclassifications can be exploited by an attacker, serving as the basis for a highly effective black-box adversarial example generation process. We evaluate this methodology against two state-of-the-art neural function boundary detectors: XDA and DeepDi. We conclude with an analysis of the evaluation data and recommendations for how future research might avoid succumbing to similar attacks.


title: Searching for Spectroscopic Signatures of Ongoing Quenching in SDSS Galaxies

abstract: In this paper we estimate the "star formation change parameter", SFR$_{79}$, which characterizes the current SFR relative to the average during the last 800 Myr, for $\sim$ 300'000 galaxies selected from the Sloan Digital Sky Survey (SDSS). The goals are to examine, in a much larger and independent sample, the trends previously reported in a sample of star-forming MaNGA galaxies, and also to search for spectroscopic signatures of ongoing quenching in the so-called "Green Valley", which is generally believed to contain galaxies that are migrating from the star-forming (SF) population to the quenched population of galaxies. Measuring SFR$_{79}$ for our large sample of SDSS galaxies, we first confirm the basic results of SF galaxies published by Wang & Lilly. We then discuss in detail the calibration and meaning of SFR$_{79}$ for galaxies that are well below the SFMS and establish the expected statistical signature of systematic ongoing quenching from modelling the z$\sim$0 quenching rate of the SF population. We conclude that it is not possible at present to establish unambiguous observational evidence for systematic ongoing quenching processes, due to limitations both in the noise of the observational data, in particular in the measurements of H$\delta$ absorption, and in the calibration of SFR$_{79}$, as well as biases introduced by the necessity of selecting objects with significant H$\alpha$ emission. We do however see plausible indications of ongoing quenching, which are quantitatively consistent with expectations from "growth+quenching" models of galaxy evolution and a typical e-folding timescale for quenching of $\sim500$ Myr.


title: Towards Sparsified Federated Neuroimaging Models via Weight Pruning

abstract: Federated training of large deep neural networks can often be restrictive due to the increasing costs of communicating the updates with increasing model sizes. Various model pruning techniques have been designed in centralized settings to reduce inference times. Combining centralized pruning techniques with federated training seems intuitive for reducing communication costs -- by pruning the model parameters right before the communication step. Moreover, such a progressive model pruning approach during training can also reduce training times/costs. To this end, we propose FedSparsify, which performs model pruning during federated training. In our experiments in centralized and federated settings on the brain age prediction task (estimating a person's age from their brain MRI), we demonstrate that models can be pruned up to 95% sparsity without affecting performance even in challenging federated learning environments with highly heterogeneous data distributions. One surprising benefit of model pruning is improved model privacy. We demonstrate that models with high sparsity are less susceptible to membership inference attacks, a type of privacy attack.


title: On a class of probabilistic cellular automata with size-$3$ neighbourhood and their applications in percolation games

abstract: Different versions of percolation games on $\mathbb{Z}^{2}$, with parameters $p$ and $q$ that indicate, respectively, the probability with which a site in $\mathbb{Z}^{2}$ is labeled a trap and the probability with which it is labeled a target, are shown to have probability $0$ of culminating in draws when $p+q > 0$. We show that, for fixed $p$ and $q$, the probability of draw in each of these games is $0$ if and only if a certain $1$-dimensional probabilistic cellular automaton (PCA) $F_{p,q}$ with a size-$3$ neighbourhood is ergodic. This allows us to conclude that $F_{p,q}$ is ergodic whenever $p+q > 0$, thereby rigorously establishing ergodicity for a considerable class of PCAs.


title: Interpreting Song Lyrics with an Audio-Informed Pre-trained Language Model

abstract: Lyric interpretations can help people understand songs and their lyrics quickly, and can also make it easier to manage, retrieve and discover songs efficiently from the growing mass of music archives. In this paper we propose BART-fusion, a novel model for generating lyric interpretations from lyrics and music audio that combines a large-scale pre-trained language model with an audio encoder. We employ a cross-modal attention module to incorporate the audio representation into the lyrics representation to help the pre-trained language model understand the song from an audio perspective, while preserving the language model's original generative performance. We also release the Song Interpretation Dataset, a new large-scale dataset for training and evaluating our model. Experimental results show that the additional audio information helps our model to understand words and music better, and to generate precise and fluent interpretations. An additional experiment on cross-modal music retrieval shows that interpretations generated by BART-fusion can also help people retrieve music more accurately than with the original BART.


title: Bounded multiplier algebras arising from Fock representation associated to semigroups

abstract: In this article, we attempt to introduce the "Multiplier algebra" associated to the Fock representation that arising from the left-cancellative semigroup $\mathcal{S}$ (denoted by $M(\mathcal{S})$) by adopting the concept of multiplier algebra of a $C^*$-algebra. Then, we investigate the basic properties and examples of the multiplier algebras. In order to make sense of multiplier algebra, we establish two key results of the multiplier algebras. We demonstrate that $M(\mathcal{S})$ is an unital Banach algebra if $\mathcal{S}$ is a left-cancellative semigroup. In the consideration, $G$ is a group, we demonstrate that $M(G)$ is a $C^*$-algebra. We illustrate that the associated multiplier algebras $M(\mathbb{Z}_{+}), M(\mathbb{Z}^2_+)$ are identified with respective Hardy algebras $H^{\infty}(\mathbb{D})$ and $H^{\infty}(\mathbb{D}^2)$ for $\mathcal{S}=\mathbb{Z}_{+}, \mathbb{Z}^2_{+}.$ Next, we discuss that multiplier algebra associated to the free semigroup $\mathcal{S}=\mathbb{F}^+_{n}$. We clearly show that the well-known non-commutative Hardy algebra $\mathbb{F}_{n}^{\infty}$ (introduced and thoroughly studied by G. Popescu) and the multiplier algebra $M(\mathbb{F}_{n}^+)$ are isometrically isomorphic. Finally, using the operator space technique, we have demonstrated an intriguing result that $M(\mathcal{S})$ is an operator algebra (specifically, thanks to celebrated Blecher-Ruan-Sinclair theorem).


title: Learned Lossless JPEG Transcoding via Joint Lossy and Residual Compression

abstract: As a commonly-used image compression format, JPEG has been broadly applied in the transmission and storage of images. To further reduce the compression cost while maintaining the quality of JPEG images, lossless transcoding technology has been proposed to recompress the compressed JPEG image in the DCT domain. Previous works, on the other hand, typically reduce the redundancy of DCT coefficients and optimize the probability prediction of entropy coding in a hand-crafted manner that lacks generalization ability and flexibility. To tackle the above challenge, we propose the learned lossless JPEG transcoding framework via Joint Lossy and Residual Compression. Instead of directly optimizing the entropy estimation, we focus on the redundancy that exists in the DCT coefficients. To the best of our knowledge, we are the first to utilize the learned end-to-end lossy transform coding to reduce the redundancy of DCT coefficients in a compact representational domain. We also introduce residual compression for lossless transcoding, which adaptively learns the distribution of residual DCT coefficients before compressing them using context-based entropy coding. Our proposed transcoding architecture shows significant superiority in the compression of JPEG images thanks to the collaboration of learned lossy transform coding and residual entropy coding. Extensive experiments on multiple datasets have demonstrated that our proposed framework can achieve about 21.49% bits saving in average based on JPEG compression, which outperforms the typical lossless transcoding framework JPEG-XL by 3.51%.


title: On the Dependency Heaviness of CRAN/Bioconductor Ecosystem

abstract: The R package ecosystem is expanding fast and dependencies among packages in the ecosystem are becoming more complex. In this study, we explored the package dependencies from a new aspect. We applied a new metric named "dependency heaviness" which measures the number of additional strong dependencies that a package uniquely contributes to its child or downstream packages. It also measures the total reduced dependencies in the ecosystem when the role of a package is changed from a strong parent to a weak parent. We systematically studied how the dependency heaviness spreads from parent to child packages, and how it further spreads to remote downstream packages in the CRAN/Bioconductor ecosystem. We extracted top packages and key paths that majorly transmit heavy dependencies in the ecosystem. Additionally, the dependency heaviness analysis on the ecosystem has been implemented as a web-based database that provides comprehensive tools for querying dependencies of individual R packages.


title: Collatz map as a non-singular transformation

abstract: Let $T$ be the map defined on $\N=\{1,2,3, ...\}$ by $T(n) = \frac{n}{2} $ if $n$ is even and by $T(n) = \frac{3n+1}{2}$ if $n$ is odd. Consider the dynamical system $(\N, 2^{\N}, T,\mu)$ where $\mu$ is the counting measure. This dynamical system $(\N, 2^{\N}, T, \mu)$ has the following properties. \begin{enumerate} \item There exists an invariant finite measure $\gamma$ such that $\gamma(A) \leq \mu(A) $ for all $A \subset \N.$ \item For each function $f\in L^1(\mu)$ the averages $\frac{1}{N} \sum_{n=1}^N f(T^nx)$ converge for every $x\in \N$ to $ f^*(x)$ where $ f^* \in L^1(\mu).$ \end{enumerate} We also show that the Collatz conjecture is equivalent to the existence of a finite measure $\nu$ on $(\N, 2^{\N})$ making the operator $Vf = f\circ T$ power bounded in $L^1(\nu)$ with conserrvative part $\{1,2\}.$


title: SOniCS: Develop intuition on biomechanical systems through interactive error controlled simulations

abstract: This new approach allows the user to experiment with model choices easily and quickly without requiring in-depth expertise, as constitutive models can be modified by one line of code only. This ease in building new models makes SOniCS ideal to develop surrogate, reduced order models and to train machine learning algorithms for uncertainty quantification or to enable patient-specific simulations. SOniCS is thus not only a tool that facilitates the development of surgical training simulations but also, and perhaps more importantly, paves the way to increase the intuition of users or otherwise non-intuitive behaviors of (bio)mechanical systems. The plugin uses new developments of the FEniCSx project enabling automatic generation with FFCx of finite element tensors such as the local residual vector and Jacobian matrix. We validate our approach with numerical simulations such as manufactured solutions, cantilever beams, and benchmarks provided by FEBio. We reach machine precision accuracy and demonstrate the use of the plugin for a real-time haptic simulation involving a surgical tool controlled by the user in contact with a hyperelastic liver. We include complete examples showing the use of our plugin for simulations involving Saint Venant-Kirchhoff, Neo-Hookean, Mooney-Rivlin, and Holzapfel Ogden anisotropic models as supplementary material.


title: Team Precoding Towards Scalable Cell-free Massive MIMO Networks

abstract: In a recent work, we studied a novel precoding design for cell-free networks called team minimum mean-square error (TMMSE) precoding, which rigorously generalizes centralized MMSE precoding to distributed operations based on transmitter-specific channel state information (CSI). Despite its flexibility in handling different cooperation regimes at the CSI sharing level, TMMSE precoding assumes network-wide sharing of the data bearing signals, and hence it is inherently not scalable. In this work, inspired by recent advances on scalable cell-free architectures based on user-centric network clustering techniques, we address this issue by proposing a novel version of the TMMSE precoding design covering partial message sharing. The obtained framework is then successfully applied to derive a variety of novel, optimal, and efficient precoding schemes for a user-centric cell-free network deployed using multiple radio stripes. Numerical simulations of a typical industrial internet-of-things scenario corroborate the gains of TMMSE precoding over competing schemes in terms of spectral efficiency under different power constraints. Although presented in the context of downlink precoding, the results of this paper may be applied also on the uplink.


title: A short simple proof of closedness of convex cones and Farkas' lemma

abstract: Proving that a finitely generated convex cone is closed is often considered the most difficult part of geometric proofs of Farkas' lemma. We provide a short simple proof of this fact and (for completeness) derive Farkas' lemma from it using well-known arguments.


title: Stochastic maximum principle for weighted mean-field system

abstract: We study the optimal control problem for a weighted mean-field system. A new feature of the control problem is that the coefficients depend on the state process as well as its weighted measure and the control variable. By applying variational technique, we establish a stochastic maximum principle. As an application, we investigate the optimal premium policy of an insurance firm for asset-liability management problem.


title: On the influence of gravity on the propagation of light, with some comments on the A. Einstein`s 1911 Paper (1911-2022), Light Interaction With Gravity (The Mistake Made In 1911)

abstract: This is a review with some comments on the A. Einstein`s 1911 paper, which he published as one of his many attempts of the general theory of relativity. The main point of the idea is to propose a new approach about light and its motion as well as study the assumption made by A. Einstein concerning the possibility of the variation of the speed of light in presence of gravitational field.


title: Parametric amplification via superconducting contacts in a Ka band niobium pillbox cavity

abstract: Superconducting parametric amplifiers are commonly fabricated using planar transmission lines with a non-linear inductance provided by either Josephson junctions or the intrinsic kinetic inductance of the thin film. However, Banys et al. [1] reported non-linear behaviour in a niobium pillbox cavity, hypothesising that below Tc, the pair iris-bulk resonator would act as a superconducting contact surface exploiting a Josephson-like non-linearity. This work investigates this effect further by applying Keysight Technologies' Advanced Design System (ADS) to simulate the cavity using an equivalent circuit model that includes a user defined Josephson inductance component. The simulations show that for a resonance centred at nu0 = 30.649 GHz, when two tones (pump and signal) are injected into the cavity, mixing and parametric gain occur. The maximum achievable gain is explored when the resonator is taken to its bifurcation energy. These results are compared to cryogenic measurements where the pump and signal are provided by a Vector Network Analyzer.


title: Data-Driven Approach to form Energy Resilient Smart Microgrids with Identification of Vulnerable Nodes in Active Electrical Distribution Network

abstract: With the commitment to climate, globally many countries started reducing brownfield energy production and strongly opting towards green energy resources. However, the optimal allocation of distributed energy resources (DERs) in electrical distribution systems still pertains as a challenging issue to attain the maximum benefits. It happens due to the systems complex behaviour and inappropriate integration of DERs that adversely affects the distribution grid. In this work, we propose a methodology for the optimal allocation of DERs with vulnerable node identification in active electrical distribution networks. A failure or extreme event at the vulnerable node would interrupt the power flow in the distribution network. Also, the power variation in these vulnerable nodes would significantly affect the operation of other linked nodes. Thus, these nodes are found suitable for the optimal placement of DERs. We demonstrate the proposed data-driven approach on a standard IEEE-123 bus test feeder. Initially, we partitioned the distribution system into optimal microgrids using graph theory and graph neural network (GNN) architecture. Further, using Granger causality analysis, we identified vulnerable nodes in the partitioned microgrid; suitable for DERs integration. The placement of DERs on the vulnerable nodes enhanced network reliability and resilience. Improvement in resilience is validated by computing the percolation threshold for the microgrid networks. The results show a 20.45% improvement in the resilience of the system due to the optimal allocation of DERs.


title: DESI Observations of the Andromeda Galaxy: Revealing the Immigration History of our Nearest Neighbor

abstract: We present DESI observations of the inner halo of M31, which reveal the kinematics of a recent merger - a galactic immigration event - in exquisite detail. Of the 11,416 sources studied in 3.75 hour of on-sky exposure time, 7,438 are M31 sources with well measured radial velocities. The observations reveal intricate coherent kinematic structure in the positions and velocities of individual stars: streams, wedges, and chevrons. While hints of coherent structures have been previously detected in M31, this is the first time they have been seen with such detail and clarity in a galaxy beyond the Milky Way. We find clear kinematic evidence for shell structures in the Giant Stellar Stream, the Northeast Shelf and Western Shelf regions. The kinematics are remarkably similar to the predictions of dynamical models constructed to explain the spatial morphology of the inner halo. The results are consistent with the interpretation that much of the substructure in the inner halo of M31 is produced by a single galactic immigration event 1 - 2 Gyr ago. Significant numbers of metal-rich stars ([Fe/H]$>-0.5$) are present in all of the detected substructures, suggesting that the immigrating galaxy had an extended star formation history. We also investigate the ability of the shells and Giant Stellar Stream to constrain the gravitational potential of M31, and estimate the mass within a projected radius of 125 kpc to be ${\rm log_{10}}\, M_{\rm NFW}(<125\,{\rm kpc})/M_\odot = 11.80_{-0.10}^{+0.12}$. The results herald a new era in our ability to study stars on a galactic scale and the immigration histories of galaxies.


title: Ultrasonic wave transport in concentrated disordered resonant emulsions

abstract: We show how resonant (near-field) coupling affects wave transport in disordered media through ultrasonic experiments in concentrated suspensions. The samples consist of resonant emulsions in which oil droplets are suspended in a liquid gel. By varying the droplet concentration, the limits of the Independent Scattering Approximation are experimentally demonstrated. For the most concentrated samples, the proximity of resonant scatterers induces a renormalization of the surrounding medium, leading to a reducing of scattering strength. We point out an optimal volume fraction of oil droplets for which non-diffusive wave transport is experimentally demonstrated. Our demonstration of maximum scattering at an intermediate droplet concentration is very relevant for designing materials for the study of wave transport phenomena such as Anderson Localization.


title: Analysis of point-contact models of the bounce of a hard spinning ball on a compliant frictional surface

abstract: Inspired by the turf-ball interaction in golf, this paper seeks to understand the bounce of a ball that can be modelled as a rigid sphere and the surface as supplying an elasto-plastic contact force in addition to Coulomb friction. A general formulation is proposed that models the finite time interval of bounce from touch-down to lift-off. Key to the analysis is understanding transitions between slip and roll during the bounce. Starting from the rigid-body limit with a an energetic or Poisson coefficient of restitution, it is shown that slip reversal during the contact phase cannot be captured in this case, which result generalises to the case of pure normal compliance. Yet, the introduction of linear tangential stiffness and damping, does enable slip reversal. This result is extended to general weakly nonlinear normal and tangential compliance. An analysis using Filippov theory of piecewise-smooth systems leads to an argument in a natural limit that lift-off while rolling is non-generic and that almost all trajectories that lift off, do so under slip conditions. Moreover, there is a codimension-one surface in the space of incoming velocity and spin which divides balls that lift off with backspin from those that lift off with topspin. The results are compared with recent experimental measurements on golf ball bounce and the theory is shown to capture the main features of the data.


title: A roadmap to cosmological parameter analysis with third-order shear statistics I: Modelling and validation

abstract: In this work, which is the first of a series to prepare a cosmological parameter analysis with third-order cosmic shear statistics, we model both the shear three-point correlation functions $\Gamma^{(i)}$ and the third-order aperture statistics $\langle\mathcal{M}_\mathrm{ap}^3\rangle$ from the BiHalofit bispectrum model and validate these statistics with a series of N-body simulations. We then investigate how to bin the shear three-point correlation functions to achieve an unbiased estimate for third-order aperture statistics in real data. Finally, we perform a cosmological parameter analysis on KiDS1000-like mock data with second- and third-order statistics. We recover all cosmological parameters with very little bias. Furthermore, we find that a joint analysis almost doubles the constraining power on $S_8$ and increases the figure-of-merit in the $\Omega_\mathrm{m}$-$\sigma_8$ plane by a factor of 5.9 with respect to an analysis with only second-order shear statistics. Our modelling pipeline is publicly available at https://github.com/sheydenreich/threepoint/releases/.


title: ForestEyes Project: Conception, Enhancements, and Challenges

abstract: Rainforests play an important role in the global ecosystem. However, significant regions of them are facing deforestation and degradation due to several reasons. Diverse government and private initiatives were created to monitor and alert for deforestation increases from remote sensing images, using different ways to deal with the notable amount of generated data. Citizen Science projects can also be used to reach the same goal. Citizen Science consists of scientific research involving nonprofessional volunteers for analyzing, collecting data, and using their computational resources to outcome advancements in science and to increase the public's understanding of problems in specific knowledge areas such as astronomy, chemistry, mathematics, and physics. In this sense, this work presents a Citizen Science project called ForestEyes, which uses volunteer's answers through the analysis and classification of remote sensing images to monitor deforestation regions in rainforests. To evaluate the quality of those answers, different campaigns/workflows were launched using remote sensing images from Brazilian Legal Amazon and their results were compared to an official groundtruth from the Amazon Deforestation Monitoring Project PRODES. In this work, the first two workflows that enclose the State of Rond\^onia in the years 2013 and 2016 received more than $35,000$ answers from $383$ volunteers in the $2,050$ created tasks in only two and a half weeks after their launch. For the other four workflows, even enclosing the same area (Rond\^onia) and different setups (e.g., image segmentation method, image resolution, and detection target), they received $51,035$ volunteers' answers gathered from $281$ volunteers in $3,358$ tasks. In the performed experiments...


title: VisFCAC: An Interactive Family Clinical Attribute Comparison

abstract: This paper presents VisFCAC, a visual analysis system that displays family structures along with clinical attribute of family members to effectively uncover patterns related to suicide deaths for submission to the BioVis 2020 Data Challenge. VisFCAC facilitates pattern tracing to offer insight on potential clinical attributes that might connect suicide deaths while also attempting to offer insight to prevent future suicides by at risk people with similar detected patterns. This paper lays out an approach to compare family members within a family structure to uncover patterns that may appear in clinical diagnosis data. This approach also compares two different families and their family structures to see whether there are patterns in suicide cases amongst clinical attributes outside family structures. Our solution implements a radial tree to display family structures with clinical attributes displayed on radial charts to provide in depth visual analysis and offer a comprehensive insight for underlying pattern discovery.


title: Limits on the nuclearite flux using the ANTARES neutrino telescope

abstract: In this work, a search for nuclearites of strange quark matter by using nine years of ANTARES data taken in the period 2009-2017 is presented. The passage through matter of these particles is simulated %according to the model of de R\'{u}jula and Glashow taking into account a detailed description of the detector response to nuclearites and of the data acquisition conditions. A down-going flux of cosmic nuclearites with Galactic velocities ($\beta = 10^{-3}$) was considered for this study. The mass threshold for detecting these particles at the detector level is \mbox{ $4 \times 10^{13}$ GeV/c$^{2}$}. Upper limits on the nuclearite flux for masses up to $10^{17}$ GeV/c$^{2}$ at the level of $\sim 5 \times 10^{-17}$ cm$^{-2}$ s$^{-1}$ sr$^{-1}$ are obtained. These are the first upper limits on nuclearites established with a neutrino telescope and the most stringent ever set for Galactic velocities.


title: A Theorem on Extensive Spectral Degeneracy for Systems with Higher Symmetries in General Dimensions

abstract: We establish, in the spirit of the Lieb-Schultz-Mattis theorem, lower bounds on the spectral degeneracy of quantum systems with higher (Gauge Like) symmetries with rather generic physical boundary conditions in an arbitrary number of spatial dimensions. Contrary to applying twists or equivalent adiabatic operations, we exploit the effects of modified boundary conditions. When a general choice of boundary geometry is immaterial in approaching the thermodynamic limit, systems that exhibit non-commuting Gauge Like symmetries, such as the orbital compass model, must have an exponential (in the size of the boundary) degeneracy of each of their spectral levels. We briefly discuss why, in spite of the proven large degeneracy associated with infrared-ultraviolet mixing, some systems may still exhibit conventional physical behaviors, i.e., of those of systems with non-extensive degeneracies, due to entropic "order by disorder" type effects.

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


title: Multidifferential study of identified charged hadron distributions in $Z$-tagged jets in proton-proton collisions at $\sqrt{s}=$13 TeV

abstract: Jet fragmentation functions are measured for the first time in proton-proton collisions for charged pions, kaons, and protons within jets recoiling against a $Z$ boson. The charged-hadron distributions are studied longitudinally and transversely to the jet direction for jets with transverse momentum 20 $< p_{\textrm{T}} < 100$ GeV and in the pseudorapidity range $2.5 < \eta < 4$. The data sample was collected with the LHCb experiment at a center-of-mass energy of 13 TeV, corresponding to an integrated luminosity of 1.64 fb$^{-1}$. Triple differential distributions as a function of the hadron longitudinal momentum fraction, hadron transverse momentum, and jet transverse momentum are also measured for the first time. This helps constrain transverse-momentum-dependent fragmentation functions. Differences in the shapes and magnitudes of the measured distributions for the different hadron species provide insights into the hadronization process for jets predominantly initiated by light quarks.


title: Identification of carbon dioxide in an exoplanet atmosphere

abstract: Carbon dioxide (CO2) is a key chemical species that is found in a wide range of planetary atmospheres. In the context of exoplanets, CO2 is an indicator of the metal enrichment (i.e., elements heavier than helium, also called "metallicity"), and thus formation processes of the primary atmospheres of hot gas giants. It is also one of the most promising species to detect in the secondary atmospheres of terrestrial exoplanets. Previous photometric measurements of transiting planets with the Spitzer Space Telescope have given hints of the presence of CO2 but have not yielded definitive detections due to the lack of unambiguous spectroscopic identification. Here we present the detection of CO2 in the atmosphere of the gas giant exoplanet WASP-39b from transmission spectroscopy observations obtained with JWST as part of the Early Release Science Program (ERS). The data used in this study span 3.0 to 5.5 {\mu}m in wavelength and show a prominent CO2 absorption feature at 4.3 {\mu}m (26{\sigma} significance). The overall spectrum is well matched by one-dimensional, 10x solar metallicity models that assume radiative-convective-thermochemical equilibrium and have moderate cloud opacity. These models predict that the atmosphere should have water, carbon monoxide, and hydrogen sulfide in addition to CO2, but little methane. Furthermore, we also tentatively detect a small absorption feature near 4.0 {\mu}m that is not reproduced by these models.


title: DP2-Pub: Differentially Private High-Dimensional Data Publication with Invariant Post Randomization

abstract: A large amount of high-dimensional and heterogeneous data appear in practical applications, which are often published to third parties for data analysis, recommendations, targeted advertising, and reliable predictions. However, publishing these data may disclose personal sensitive information, resulting in an increasing concern on privacy violations. Privacy-preserving data publishing has received considerable attention in recent years. Unfortunately, the differentially private publication of high dimensional data remains a challenging problem. In this paper, we propose a differentially private high-dimensional data publication mechanism (DP2-Pub) that runs in two phases: a Markov-blanket-based attribute clustering phase and an invariant post randomization (PRAM) phase. Specifically, splitting attributes into several low-dimensional clusters with high intra-cluster cohesion and low inter-cluster coupling helps obtain a reasonable allocation of privacy budget, while a double-perturbation mechanism satisfying local differential privacy facilitates an invariant PRAM to ensure no loss of statistical information and thus significantly preserves data utility. We also extend our DP2-Pub mechanism to the scenario with a semi-honest server which satisfies local differential privacy. We conduct extensive experiments on four real-world datasets and the experimental results demonstrate that our mechanism can significantly improve the data utility of the published data while satisfying differential privacy.


title: Evolutionary Stable Strategies and Cubic Vector Fields

abstract: The introduction of concepts of Game Theory and Ordinary Differential Equations into Biology gave birth to the field of Evolutionary Stable Strategies, with applications in Biology, Genetics, Politics, Economics and others. In special, the model composed by two players having two pure strategies each results in a planar cubic vector field with an invariant octothorpe. Therefore, in this paper we study such class of vector fields, suggesting the notion of genericity and providing the global phase portraits of the generic systems with a singularity at the central region of the octothorpe.


title: Bugs in the Data: How ImageNet Misrepresents Biodiversity

abstract: ImageNet-1k is a dataset often used for benchmarking machine learning (ML) models and evaluating tasks such as image recognition and object detection. Wild animals make up 27% of ImageNet-1k but, unlike classes representing people and objects, these data have not been closely scrutinized. In the current paper, we analyze the 13,450 images from 269 classes that represent wild animals in the ImageNet-1k validation set, with the participation of expert ecologists. We find that many of the classes are ill-defined or overlapping, and that 12% of the images are incorrectly labeled, with some classes having >90% of images incorrect. We also find that both the wildlife-related labels and images included in ImageNet-1k present significant geographical and cultural biases, as well as ambiguities such as artificial animals, multiple species in the same image, or the presence of humans. Our findings highlight serious issues with the extensive use of this dataset for evaluating ML systems, the use of such algorithms in wildlife-related tasks, and more broadly the ways in which ML datasets are commonly created and curated.


title: Scalar extension Hopf algebroids

abstract: Given a Hopf algebra $H$, Brzezi\'nski and Militaru have shown that each braided commutative Yetter-Drinfeld $H$-module algebra $A$ gives rise to an associative $A$-bialgebroid structure on the smash product algebra $A \sharp H$. They also exhibited an antipode map making $A\sharp H$ the total algebra of a Lu's Hopf algebroid over $A$. However, the published proof that the antipode is an antihomomorphism covers only a special case. In this paper, a complete proof of the antihomomorphism property is exhibited. Moreover, a new generalized version of the construction is provided. Its input is a compatible pair $A$ and $A^{\mathrm{op}}$ of braided commutative Yetter-Drinfeld $H$-module algebras, and output is a symmetric Hopf algebroid $A\sharp H \cong H\sharp A^{\mathrm{op}}$ over $A$. This construction does not require that the antipode of $H$ is invertible.


title: Gravitational waves from bubble collisions and fluid motion in strongly supercooled phase transitions

abstract: We estimate the gravitational wave spectra generated in strongly supercooled phase transitions by bubble collisions and fluid motion. We derive analytically in the thin-wall approximation the efficiency factor that determines the share of the energy released in the transition between the scalar field and the fluid. We perform numerical simulations including the efficiency factor as a function of bubble radius separately for all points on the bubble surfaces to take into account their different collision times. We find that the efficiency factor does not significantly change the gravitational wave spectra and show that the result can be approximated by multiplying the spectrum obtained without the efficiency factor by its value at the radius $R_{\rm eff} \simeq 5/\beta$, where $\beta$ is the approximate inverse duration of the transition. We also provide updated fits for the gravitational wave spectra produced in strongly supercooled transitions from both bubble collisions and fluid motion depending on the behaviour of the sources after the collision.


title: Rate-Distortion Theory for Mixed States

abstract: This paper is concerned with quantum data compression of asymptotically many independent and identically distributed copies of ensembles of mixed quantum states. The encoder has access to a side information system. The figure of merit is per-copy or local error criterion. Rate-distortion theory studies the trade-off between the compression rate and the per-copy error. The optimal trade-off can be characterized by the rate-distortion function, which is the best rate given a certain distortion. In this paper, we derive the rate-distortion function of mixed-state compression. The rate-distortion functions in the entanglement-assisted and unassisted scenarios are in terms of a single-letter mutual information quantity and the regularized entanglement of purification, respectively. For the general setting where the consumption of both communication and entanglement are considered, we present the full qubit-entanglement rate region. Our compression scheme covers both blind and visible compression models (and other models in between) depending on the structure of the side information system.


title: Decoding Measurement-Prepared Quantum Phases and Transitions: from Ising model to gauge theory, and beyond

abstract: Measurements allow efficient preparation of interesting quantum many-body states with long-range entanglement, conditioned on additional transformations based on measurement outcomes. Here, we demonstrate that the so-called conformal quantum critical points (CQCP) can be obtained by performing general single-site measurements in an appropriate basis on the cluster states in $d\geq2$. The equal-time correlators of the said states are described by correlation functions of certain $d$-dimensional classical models at finite temperatures and feature spatial conformal invariance. This establishes an exact correspondence between the measurement-prepared critical states and conformal field theories of a range of critical spin models, including familiar Ising models and gauge theories. Furthermore, by mapping the long-range entanglement structure of measured quantum states into the correlations of the corresponding thermal spin model, we rigorously establish the stability condition of the long-range entanglement in the measurement-prepared quantum states deviating from the ideal setting. Most importantly, we describe protocols to decode the resulting quantum phases and transitions without post-selection, thus transferring the exponential measurement complexity to a polynomial classical computation. Therefore, our findings suggest a novel mechanism in which a quantum critical wavefunction emerges, providing new practical ways to study quantum phases and conformal quantum critical points.


title: Low-Level Physiological Implications of End-to-End Learning of Speech Recognition

abstract: Current speech recognition architectures perform very well from the point of view of machine learning, hence user interaction. This suggests that they are emulating the human biological system well. We investigate whether the inference can be inverted to provide insights into that biological system; in particular the hearing mechanism. Using SincNet, we confirm that end-to-end systems do learn well known filterbank structures. However, we also show that wider band-width filters are important in the learned structure. Whilst some benefits can be gained by initialising both narrow and wide-band filters, physiological constraints suggest that such filters arise in mid-brain rather than the cochlea. We show that standard machine learning architectures must be modified to allow this process to be emulated neurally.


title: Ontology-Driven Self-Supervision for Adverse Childhood Experiences Identification Using Social Media Datasets

abstract: Adverse Childhood Experiences (ACEs) are defined as a collection of highly stressful, and potentially traumatic, events or circumstances that occur throughout childhood and/or adolescence. They have been shown to be associated with increased risks of mental health diseases or other abnormal behaviours in later lives. However, the identification of ACEs from textual data with Natural Language Processing (NLP) is challenging because (a) there are no NLP ready ACE ontologies; (b) there are few resources available for machine learning, necessitating the data annotation from clinical experts; (c) costly annotations by domain experts and large number of documents for supporting large machine learning models. In this paper, we present an ontology-driven self-supervised approach (derive concept embeddings using an auto-encoder from baseline NLP results) for producing a publicly available resource that would support large-scale machine learning (e.g., training transformer based large language models) on social media corpus. This resource as well as the proposed approach are aimed to facilitate the community in training transferable NLP models for effectively surfacing ACEs in low-resource scenarios like NLP on clinical notes within Electronic Health Records. The resource including a list of ACE ontology terms, ACE concept embeddings and the NLP annotated corpus is available at https://github.com/knowlab/ACE-NLP.


title: GAN-based generative modelling for dermatological applications -- comparative study

abstract: The lack of sufficiently large open medical databases is one of the biggest challenges in AI-powered healthcare. Synthetic data created using Generative Adversarial Networks (GANs) appears to be a good solution to mitigate the issues with privacy policies. The other type of cure is decentralized protocol across multiple medical institutions without exchanging local data samples. In this paper, we explored unconditional and conditional GANs in centralized and decentralized settings. The centralized setting imitates studies on large but highly unbalanced skin lesion dataset, while the decentralized one simulates a more realistic hospital scenario with three institutions. We evaluated models' performance in terms of fidelity, diversity, speed of training, and predictive ability of classifiers trained on the generated synthetic data. In addition we provided explainability through exploration of latent space and embeddings projection focused both on global and local explanations. Calculated distance between real images and their projections in the latent space proved the authenticity and generalization of trained GANs, which is one of the main concerns in this type of applications. The open source code for conducted studies is publicly available at \url{https://github.com/aidotse/stylegan2-ada-pytorch}.


title: Hierarchy of RG flows in 6d $(1,0)$ orbi-instantons

abstract: $N$ M5-branes probing the intersection between the orbifold $\mathbb{C}^2/\Gamma_\text{ADE}$ and an $E_8$ wall give rise to 6d $(1,0)$ SCFTs known as ADE-type orbi-instantons. At fixed $N$ and order of the orbifold, each element of $\text{Hom}(\Gamma_\text{ADE},E_8)$ defines a different SCFT. The SCFTs are connected by Higgs branch RG flows, which generically reduce the flavor symmetry of the UV fixed point. We determine the full hierarchy of these RG flows for type A, i.e. $\mathbb{C}^2/\mathbb{Z}_k$, for any value of $N$ and $k$. The hierarchy takes the form of an intricate Hasse diagram: each node represents an IR orbi-instanton (homomorphism), and each edge an allowed flow, compatibly with the 6d $a$-theorem. The partial order is defined via quiver subtraction of the 3d magnetic quivers associated with the 6d SCFTs, which is equivalent to performing a so-called Kraft-Procesi transition between homomorphisms.


title: Weighing the Local Interstellar Medium using Gamma Rays and Dust

abstract: Cold gas forms a significant mass fraction of the Milky Way disk, but is its most uncertain baryonic component. The density and distribution of cold gas is of critical importance for Milky Way dynamics, as well as models of stellar and galactic evolution. Previous studies have used correlations between gas and dust to obtain high-resolution measurements of cold gas, but with large normalization uncertainties. We present a novel approach that uses Fermi-LAT $\gamma$-ray data to measure the total gas density, achieving a similar precision as previous works, but with independent systematic uncertainties. Notably, our results have sufficient precision to probe the range of results obtained by current world-leading experiments.


title: The Virial Balance of Molecular Clumps and Cores in Colliding Magnetized Flows

abstract: We simulate the formation of molecular clouds in colliding flows of warm neutral medium with the adaptive mesh refinement code {\sc Flash}. We include a chemical network to treat heating and cooling and to follow the formation of molecular gas. For the forming molecular clumps and cores in four different simulations with varying initial magnetic field strength between 0.01 - 5$\,\mu$G, we carry out a full virial analysis including all time-independent surface and volume terms as well as the time-dependent term. The initial magnetic field strength influences the fragmentation properties of the forming cloud because it prohibits motions perpendicular to the field direction and hence alters, or even suppresses, the formation of filamentary substructures. Molecular clump and core formation occurs anyhow. As a result, with increasing field strength, we find more fragments with a smaller average mass; yet the initial field strength is dynamically not relevant for the fragments which constitute our molecular clumps and cores. %yet the magnetic field overall is dynamically negligible for the fragments which constitute our molecular clumps and cores. The molecular clumps are mostly unbound, probably transient objects, which seem to be weakly confined by ram pressure or thermal pressure, indicating that they are swept up by the turbulent flow. They experience significant fluctuations in the mass flux through their surface, indicating that the Eulerian reference frame gives rise to a dominant time-dependent term due to their ill-defined nature. We define the cores to encompass molecular gas, which is additionally highly shielded. Most cores are in gravitational-kinetic equipartition and are already well described by the common virial parameter $\alpha_\mathrm{vir}$ (as can be seen from the Heyer relation), while some undergo minor dispersion by kinetic surface effects.


title: The minus sign in the first law of de Sitter horizons

abstract: Due to a well-known, but curious, minus sign in the Gibbons-Hawking first law for the static patch of de Sitter space, the entropy of the cosmological horizon is reduced by the addition of Killing energy. This minus sign raises the puzzling question how the thermodynamics of the static patch should be understood. We argue the confusion arises because of a mistaken interpretation of the matter Killing energy as the total internal energy, and resolve the puzzle by introducing a system boundary at which a proper thermodynamic ensemble can be specified. When this boundary shrinks to zero size the total internal energy of the ensemble (the Brown-York energy) vanishes, as does its variation. Part of this vanishing variation is thermalized, captured by the horizon entropy variation, and part is the matter contribution, which may or may not be thermalized. If the matter is in global equilibrium at the de Sitter temperature, the first law becomes the statement that the generalized entropy is stationary.


title: Scrutinizing CKM unitarity with a new measurement of the $K_{\mu 3}/K_{\mu 2}$ branching fraction

abstract: Precision tests of first-row unitarity of the Cabibbo-Kobayashi-Maskawa matrix currently display two intriguing tensions, both at the $3\sigma$ level. First, combining determinations of $V_{ud}$ from superallowed $\beta$ decays with $V_{us}$ from kaon decays suggests a deficit in the unitarity relation. At the same time, a tension of similar significance has emerged between $K_{\ell 2}$ and $K_{\ell 3}$ decays. In this Letter, we point out that a measurement of the $K_{\mu3}/K_{\mu 2}$ branching fraction at the level of $0.2\%$ would have considerable impact on clarifying the experimental situation in the kaon sector, especially in view of tensions in the global fit to kaon data as well as the fact that the $K_{\mu2}$ channel is currently dominated by a single experiment. Such a measurement, as possible for example at NA62, would further provide important constraints on physics beyond the Standard Model, most notably on the role of right-handed vector currents.


title: Cascades of high-energy SM particles in the primordial thermal plasma

abstract: High-energy standard model (SM) particles in the early Universe are generated by the decay of heavy long-lived particles. The subsequent thermalization occurs through the splitting of high-energy primary particles into lower-energy daughters in primordial thermal plasma. The principal example of such processes is reheating after inflation caused by the decay of inflatons into SM particles. Understanding of the thermalization at reheating is extremely important as it reveals the origin of the hot Universe, and could open up new mechanisms for generating dark matter and/or baryon asymmetry. In this paper, we investigate the thermalization of high-energy SM particles in thermal plasma, taking into account the Landau--Pomeranchuk--Migdal effect in the leading-log approximation. The whole SM particle content and all the relevant SM interactions are included for the first time, i.e., the full gauge interactions of SU(3)$_c\times$SU(2)$_L\times$U(1)$_Y$ and the top Yukawa interaction. The distribution function of each SM species is computed both numerically and analytically. We have analytically obtained the distribution function of each SM species after the first few splittings. Furthermore, we demonstrate that, after a sufficient number of splittings, the particle distributions are asymptotic to certain values at low momentum, independent of the high-energy particles injected by inflaton decay. The results are useful to calculate the DM abundance produced during the pre-thermal phase. An example is provided to illustrate a way to calculate the DM abundance from the scattering between the thermal plasma and high-energy particles in the cascade.


title: Statistical Mechanics of Collisionless Orbits. V. The approach to equilibrium for idealized self-gravitating systems

abstract: Self-gravitating Newtonian systems consisting of a very large number of particles have generally defied attempts to describe them using statistical mechanics. This is paradoxical since many astronomical systems, or simulations thereof, appear to have universal, equilibrium structures for which no physical basis exist. A decade ago we showed that extremizing the number of microstates with a given energy per unit mass, under the constraints of conserved total energy and mass, leads to the maximum entropy state, $n(E) \propto \exp (-\beta(E-\Phi_0))-1$, known as DARKexp. This differential energy distribution, and the resulting density structures, closely approximate those of dark-matter halos with central cusps, $\rho \sim r^{-1}$, and outer parts, $\rho \sim r^{-4}$. Here we define a non-equilibrium functional, $S_D$, which is maximized for DARKexp and increases monotonically during the evolution towards equilibrium of idealized collisionless systems of the Extended Spherical Infall Model. Systems that undergo more mixing more closely approach DARKexp.


title: Extracting the Quantum Hall Conductance from a Single Bulk Wavefunction

abstract: We propose a new formula that extracts the quantum Hall conductance from a single (2+1)D gapped wavefunction. The formula applies to general many-body systems that conserve particle number, and is based on the concept of modular flow: i.e., unitary dynamics generated from the entanglement structure of the wavefunction. The formula is shown to satisfy all formal properties of the Hall conductance: it is odd under time-reversal and reflection, even under charge conjugation, universal and topologically rigid in the thermodynamic limit. Further evidence for relating the formula to the Hall conductance is obtained from conformal field theory arguments. Finally, we numerically check the formula by applying it to a non-interacting Chern band where excellent agreement is obtained.


title: Covariant Predictions for Planck-Scale Features in Primordial Power Spectra

abstract: In this companion to our letter (arXiv:2208.10514), we elaborate the full details of the predicted corrections to the primordial scalar and tensor power spectra that arise from quantum gravity-motivated, natural, covariant ultraviolet cutoffs. We implement these cutoffs by covariantly restricting the fields which are summed over in the path integrals for the primordial correlators, and we discuss in detail the functional analytic techniques necessary for evaluating such path integrals. Our prediction, which is given in terms of measured cosmological parameters and without assuming any particular inflationary potential, is that the corrections take the form of small oscillations which are superimposed on the conventional power spectra. The frequency of these oscillations only depends on the location of the cutoff scale and the first inflationary slow-roll parameter, while the amplitude and phase are also moderately sensitive to how smoothly the cutoff turns on. The specificity of the new predictions offers an opportunity to significantly enhance experimental sensitivity in observations of the cosmic microwave background and large-scale structure. This may be used to place ever higher bounds on the scale at which quantum gravity effects become important in quantum field theory or may even provide positive evidence for quantum gravity effects.


title: Magnetic Flux Response of Non-Hermitian Topological Phases

abstract: We derive the response of non-Hermitian topological phases with intrinsic point gap topology to localized magnetic flux insertions. In two spatial dimensions, we identify the necessary and sufficient conditions for a flux skin effect that localizes an extensive number of in-gap modes at a flux core. In three dimensions, we furthermore establish the existence of: a flux spectral jump, where flux tube insertion fills up the entire point gap only at a single parallel crystal momentum; a higher-order flux skin effect, which occurs at the ends of flux tubes in presence of pseudo-inversion symmetry; and a flux Majorana mode that represents a spectrally isolated mid-gap state in the complex energy plane. We uniquely associate each non-Hermitian symmetry class with intrinsic point gap topology with one of these cases or a trivial flux response, and discuss possible experimental realizations.


title: A SAT Encoding for Optimal Clifford Circuit Synthesis

abstract: Executing quantum algorithms on a quantum computer requires compilation to representations that conform to all restrictions imposed by the device. Due to device's limited coherence times and gate fidelities, the compilation process has to be optimized as much as possible. To this end, an algorithm's description first has to be synthesized using the device's gate library. In this paper, we consider the optimal synthesis of Clifford circuits -- an important subclass of quantum circuits, with various applications. Such techniques are essential to establish lower bounds for (heuristic) synthesis methods and gauging their performance. Due to the huge search space, existing optimal techniques are limited to a maximum of six qubits. The contribution of this work is twofold: First, we propose an optimal synthesis method for Clifford circuits based on encoding the task as a satisfiability (SAT) problem and solving it using a SAT solver in conjunction with a binary search scheme. The resulting tool is demonstrated to synthesize optimal circuits for up to $26$ qubits -- more than four times as many as the current state of the art. Second, we experimentally show that the overhead introduced by state-of-the-art heuristics exceeds the lower bound by $27\%$ on average. The resulting tool is publicly available at https://github.com/cda-tum/qmap.


title: Probing neutrino interactions and dark radiation with gravitational waves

abstract: After their generation, cosmological backgrounds of gravitational waves propagate nearly freely but for the expansion of the Universe and the anisotropic stress of free-streaming particles. Primordial signals -- both that from inflation and the infrared spectrum associated to subhorizon production mechanisms -- would carry clean information about the cosmological history of these effects. We study the modulation of the standard damping of gravitational waves by free-streaming radiation due to the decoupling (or recoupling) of interactions. We focus on nonstandard neutrino interactions in effect after the decoupling of weak interactions as well as more general scenarios in the early Universe involving other light relics. We develop semianalytic results in fully free-streaming scenarios to provide intuition for numerical results that incorporate interaction rates with a variety of temerpature dependencies. Finally, we compute the imprint of neutrino interactions on the $B$-mode polarization of the cosmic microwave background, and we comment on other means to infer the presence of such effects at higher frequencies.


title: Bootstrapping line defects with $O(2)$ global symmetry

abstract: We use the numerical bootstrap to study conformal line defects with $O(2)$ global symmetry. Our results are very general and capture in particular conformal line defects originating from bulk CFTs with a continuous global symmetry, which can either be preserved or partially broken by the presence of the defect. We begin with an agnostic approach and perform a systematic bootstrap study of correlation functions between two canonical operators on the defect: the displacement and the tilt. We then focus on two interesting theories: a monodromy line defect and a localized magnetic field line defect. To this end, we combine the numerical bootstrap with the $\varepsilon$-expansion, where we complement existing results in the literature with additional calculations. For the monodromy defect our numerical results are consistent with expectations, with known analytic solutions sitting inside our numerical bounds. For the localized magnetic field line defect our plots show a series of intriguing cusps which we explore.


title: Mid-circuit correction of correlated phase errors using an array of spectator qubits

abstract: Scaling up invariably error-prone quantum processors is a formidable challenge. While quantum error correction ultimately promises fault-tolerant operation, the required qubit overhead and error thresholds are daunting, and many codes break down under correlated noise. Recent proposals have suggested a complementary approach based on co-located, auxiliary 'spectator' qubits. These act as in-situ probes of noise, and enable real-time, coherent corrections of the resulting errors on the data qubits. Here, we use an array of cesium spectator qubits to correct correlated phase errors on an array of rubidium data qubits. Crucially, by combining in-sequence readouts, data processing, and feed-forward operations, these correlated errors are suppressed within the execution of the quantum circuit. The protocol is broadly applicable to quantum information platforms, and our approach establishes key tools for scaling neutral-atom quantum processors: mid-circuit readout of atom arrays, real-time processing and feed-forward, and coherent mid-circuit reloading of atomic qubits.


title: Impact of the wave-like nature of Proca stars on their gravitational-wave emission

abstract: We present a systematic study of the dynamics and gravitational-wave emission of head-on collisions of spinning vector boson stars, known as Proca stars. To this aim we build a catalogue of about 800 numerical-relativity simulations of such systems. We find that the wave-like nature of bosonic stars has a large impact on the gravitational-wave emission. In particular, we show that the initial relative phase $\Delta \epsilon =\epsilon_1-\epsilon_2$ of the two complex fields forming the stars (or equivalently, the relative phase at merger) strongly impacts both the emitted gravitational-wave energy and the corresponding mode structure. This leads to a non-monotonic dependence of the emission on the frequency of the secondary star $\omega_2$, for fixed frequency $\omega_1$ of the primary. This phenomenology, which has not been found for the case of black-hole mergers, reflects the distinct ability of the Proca field to interact with itself in both constructive and destructive manners. We postulate this may serve as a smoking gun to shed light on the possible existence of these objects.


title: gSwin: Gated MLP Vision Model with Hierarchical Structure of Shifted Window

abstract: Following the success in language domain, the self-attention mechanism (transformer) is adopted in the vision domain and achieving great success recently. Additionally, as another stream, multi-layer perceptron (MLP) is also explored in the vision domain. These architectures, other than traditional CNNs, have been attracting attention recently, and many methods have been proposed. As one that combines parameter efficiency and performance with locality and hierarchy in image recognition, we propose gSwin, which merges the two streams; Swin Transformer and (multi-head) gMLP. We showed that our gSwin can achieve better accuracy on three vision tasks, image classification, object detection and semantic segmentation, than Swin Transformer, with smaller model size.


title: Supersingularity of Motives with Complex Multiplication and a Twisted Polarization

abstract: In this note, we prove a criteria for supersingularity when the variety has a large automorphism group and a perfect bilinear pairing. This criteria unifies and extends many known results on the supersingularity of curves and varieties and in particular, applies to a large family of Artin-Schreier curves.


title: Low-temperature ordering in a substitutional alloy with injecting nonequilibrium vacancies: The FePt case

abstract: Achieving the compositionally ordered state in a substitutional alloy of two or more species can often be even critical for improving its functional properties. To produce a highly ordered alloy, a longtime high-temperature (up to T=1000 K) treatment of the alloy is typically necessary because of insufficient vacancy concentration (c_v) and their mobility. However, such processing affects the morphology and complicates the technology of functional alloys. We show theoretically that the ordering in the practically important FePt system (Fe_xPt_1-x with x being close to 0.5) is already achievable at T=450 K for reasonable times t<10^3 s due to frozen nonequilibrium vacancies. Our simulation is based on the Dienes equation for relaxation of the long-range order parameter (S), with taking additionally into account that the ordering kinetics in the alloy is mediated by vacancies. Importantly, the results of such simulation are in good agreement with previous experimental data on the ordering kinetics. We also find that nanosecond laser pulses can be employed to achieve a sufficient level of c_v=10^-5 for effective low-temperature ordering.


title: Variability Catalog of Stars Observed During the TESS Prime Mission

abstract: During its 2-year Prime Mission, TESS observed over 232,000 stars at a 2-min cadence across ~70% of the sky. These data provide a record of photometric variability across a range of astrophysically interesting time scales, probing stellar rotation, stellar binarity, and pulsations. We have analyzed the TESS 2-min light curves to identify periodic variability on timescales 0.01-13 days, and explored the results across various stellar properties. We have identified over 46,000 periodic variables with high confidence, and another 38,000 with moderate confidence. These light curves show differences in variability type across the HR diagram, with distinct groupings of rotational, eclipsing, and pulsational variables. We also see interesting patterns across period-luminosity space, with clear correlations between period and luminosity for high-mass pulsators, evolved stars, and contact binary systems, a discontinuity corresponding to the Kraft break, and a lower occurrence of periodic variability in main-sequence stars on timescales of 1.5 to 2 days. The variable stars identified in this work are cross-identified with several other variability catalogs, from which we find good agreement between the measured periods of variability. There are ~65,000 variable stars that are newly identified in this work, which includes rotation rates of low-mass stars, high-frequency pulsation periods for high-mass stars, and a variety of giant star variability.


title: A healthier semi-classical dynamics

abstract: We study the back-reaction of quantum systems onto classical ones. Taking the starting point that semi-classical physics should be described at all times by a point in classical phase space and a quantum state in Hilbert space, we consider an unravelling approach, describing the system in terms of a classical-quantum trajectory. We derive the general form of the dynamics under the assumptions that the classical trajectories are continuous and the evolution is autonomous, and the requirement that the dynamics is linear and completely positive in the combined classical-quantum state. This requirement is necessary in order to consistently describe probabilities, and forces the dynamics to be stochastic when the back-reaction is non-zero. The resulting equations of motion are natural generalisations of the standard semi-classical equations of motion, but since the resulting dynamics is linear in the combined classical-quantum state, it does not lead to the pathologies which usually follow from evolution laws based on expectation values. In particular, the evolution laws we present account for correlations between the classical and quantum system, which resolves issues associated with other semi-classical approaches. In addition, despite a breakdown of predictability in the classical degrees of freedom, the quantum state evolves deterministically conditioned on the classical trajectory, provided a trade-off between decoherence and diffusion is saturated. As a result, the quantum state remains pure when conditioned on the classical trajectory. To illustrate these points, we numerically simulate a number of semi-classical toy models, including one of vacuum fluctuations as a source driving the expansion of the universe. Finally, we discuss the application of these results to semi-classical gravity, and the black-hole information problem.


title: Constraining new physics in entangled two-qubit systems: top-quark, tau-lepton and photon pairs

abstract: The measurement of quantum entanglement can provide a new and most sensitive probe to physics beyond the Standard Model. We use the concurrence of the top-quark pair spin states produced at colliders to constrain the magnetic dipole term in the coupling between top quark and gluons, that of $\tau$-lepton pairs spin states to bound contact interactions and that of $\tau$-lepton pairs or two-photons spin states from the decay of the Higgs boson in trying to distinguish between CP-even and odd couplings. These four examples show the power of the new approach as well as its limitations. We show that differences in the entanglement in the top-quark and $\tau$-lepton pair production cross sections can provide constraints better than those previously estimated from total cross sections or classical correlations. Instead, the final states in the decays of the Higgs boson remain maximally entangled even in the presence of CP odd couplings and cannot be used to set bounds on new physics. We discuss the violation of Bell inequalities featured in all four processes.


title: Quantum Volume for Photonic Quantum Processors

abstract: Defining metrics for near-term quantum computing processors has been an integral part of the quantum hardware research and development efforts. Such quantitative characteristics are not only useful for reporting the progress and comparing different quantum platforms, but also essential for identifying the bottlenecks and designing a technology roadmap. Most metrics such as randomized benchmarking and quantum volume were originally introduced for circuit-based quantum computers and were not immediately applicable to measurement-based quantum computing (MBQC) processors such as in photonic devices. In this paper, we close this gap by presenting a framework to map physical noises and imperfections in MBQC processes to logical errors in equivalent quantum circuits, whereby enabling the well-known metrics to characterize MBQC. To showcase our framework, we study a continuous-variable cluster state based on the Gottesman-Kitaev-Preskill (GKP) encoding as a near-term candidate for photonic quantum computing, and derive the effective logical gate error channels and calculate the quantum volume in terms of the GKP squeezing and photon loss rate.


title: Everything You Always Wanted to Know About Quantum Circuits

abstract: In this work, we provide an overview of circuits for quantum computing. We introduce gates used in quantum computation and then present resource cost measurements used to evaluate circuits made from these gates. We then illustrate how the gates shown are then combined into quantum circuits for basic arithmetic functions. Architectures for addition, subtraction, multiplication, and division are shown. We demonstrate how to calculate the resource costs of quantum circuits. We conclude this overview with by illustrating an application of the elementary quantum circuits for the image rotation operation.


title: Wasserstein Task Embedding for Measuring Task Similarities

abstract: Measuring similarities between different tasks is critical in a broad spectrum of machine learning problems, including transfer, multi-task, continual, and meta-learning. Most current approaches to measuring task similarities are architecture-dependent: 1) relying on pre-trained models, or 2) training networks on tasks and using forward transfer as a proxy for task similarity. In this paper, we leverage the optimal transport theory and define a novel task embedding for supervised classification that is model-agnostic, training-free, and capable of handling (partially) disjoint label sets. In short, given a dataset with ground-truth labels, we perform a label embedding through multi-dimensional scaling and concatenate dataset samples with their corresponding label embeddings. Then, we define the distance between two datasets as the 2-Wasserstein distance between their updated samples. Lastly, we leverage the 2-Wasserstein embedding framework to embed tasks into a vector space in which the Euclidean distance between the embedded points approximates the proposed 2-Wasserstein distance between tasks. We show that the proposed embedding leads to a significantly faster comparison of tasks compared to related approaches like the Optimal Transport Dataset Distance (OTDD). Furthermore, we demonstrate the effectiveness of our proposed embedding through various numerical experiments and show statistically significant correlations between our proposed distance and the forward and backward transfer between tasks.


title: Hyperparameter Optimization for Unsupervised Outlier Detection

abstract: Given an unsupervised outlier detection (OD) algorithm, how can we optimize its hyperparameter(s) (HP) on a new dataset, without any labels? In this work, we address this challenging hyperparameter optimization for unsupervised OD problem, and propose the first systematic approach called HPOD that is based on meta-learning. HPOD capitalizes on the prior performance of a large collection of HPs on existing OD benchmark datasets, and transfers this information to enable HP evaluation on a new dataset without labels. Moreover, HPOD adapts a prominent sampling paradigm to identify promising HPs efficiently. Extensive experiments show that HPOD works with both deep (e.g., Robust AutoEncoder) and shallow (e.g., Local Outlier Factor (LOF) and Isolation Forest (iForest)) OD algorithms on discrete and continuous HP spaces, and outperforms a wide range of baselines with on average 58% and 66% performance improvement over the default HPs of LOF and iForest.


title: The polarization signals of the solar K I D lines and their magnetic sensitivity

abstract: This work aims to identify the relevant physical processes in shaping the intensity and polarization patterns of the solar K I D lines through spectral syntheses, placing particular emphasis on the D2 line. The theoretical Stokes profiles were obtained by numerically solving the radiative transfer problem for polarized radiation considering one-dimensional semi-empirical models of the solar atmosphere. The calculations account for scattering polarization, partial frequency redistribution (PRD) effects, hyperfine structure (HFS), J- and F-state interference, multiple isotopes, and magnetic fields of arbitrary strength and orientation. The intensity and circular polarization profiles of both D lines can be suitably modeled while neglecting both J-state interference and HFS. The magnetograph formula can be applied to both lines, without including HFS, to estimate weak longitudinal magnetic fields in the lower chromosphere. By contrast, modeling their scattering polarization signals requires the inclusion of HFS. The D2 scattering polarization amplitude is strongly depolarized by HFS, but it remains measurable. An appreciable error is incurred in the scattering polarization profile if PRD effects are not taken into account. Collisions during scattering processes also have an appreciable depolarizing effect. Finally, the D2 scattering polarization signal is especially sensitive to magnetic fields with strengths around 10 G and it strongly depends on their orientation. Despite this, its center-to-limb variation relative to the amplitude at the limb is largely insensitive to the field strength and orientation. These findings highlight the value of the K I D2 line polarization for diagnostics of the solar magnetism, and show that the linear and circular polarization signals of this line are primarily sensitive to magnetic fields in the lower chromosphere and upper photosphere, respectively.


title: Dunkl-Graphene in constant magnetic field

abstract: Graphene-based materials are thought to revolutionize entire industries. Therefore, many research are being carried on graphene theoretically and experimentally. On the other hand, recent studies show that the use of Dunkl derivative, instead of ordinary derivative, allows the concept of parity to be interpreted together with other physical quantities. In this manuscript, we investigate the thermal quantities of graphene under the constant magnetic field with the Dunkl-formalism. We observe that only at low temperatures Dunkl-parameters, thus parity, modify the conventional results.


title: A continuous constraint satisfaction problem for the rigidity transition in confluent tissues

abstract: Models of confluent tissues are built out of tessellations of the space (both in two and three dimensions) in which the cost function is constructed in such a way that individual cells try to optimize their volume and surface in order to reach a target shape. At zero temperature, many of these models exhibit a rigidity transition that separates two phases: a liquid phase and a solid (glassy) phase. This phenomenology is now well established but the theoretical understanding is still not complete. In this work we consider an exactly soluble mean field model for the rigidity transition which is based on an abstract mapping. We replace volume and surface functions by random non-linear functions of a large number of degrees of freedom forced to be on a compact phase space. We then seek for a configuration of the degrees of freedom such that these random non-linear functions all attain the same value. This target value is a control parameter and plays the role of the target cell shape in biological tissue models. Therefore we map the microscopic models of cells to a random continuous constraint satisfaction problem (CCSP) with equality constraints. We argue that at zero temperature, the rigidity transition corresponds to the satisfiability transition of the problem. We also characterize both the satisfiable (SAT) and unsatisfiable (UNSAT) phase. In the SAT phase, before reaching the rigidity transition, the zero temperature SAT landscape undergoes an RSB/ergodicity breaking transition of the same type as the Gardner transition in amorphous solids. By solving the RSB equations we compute the SAT/UNSAT threshold and the critical behavior around it. In the UNSAT phase we also compute the average shape index as a function of the target one and we compare the thermodynamical solution of the model with the results of the numerical greedy minimization of the corresponding cost function.


title: Disorder-induced spin-charge separation in the 1-D Hubbard model

abstract: Many-body localisation is believed to be generically unstable in quantum systems with continuous non-Abelian symmetries, even in the presence of strong disorder. Breaking these symmetries can stabilise the localised phase, leading to the emergence of an extensive number of quasi-locally conserved quantities known as local integrals of motion, or $l$-bits. Using a sophisticated non-perturbative technique based on continuous unitary transforms, we investigate the one-dimensional Hubbard model subject to both spin and charge disorder, compute the associated $l$-bits and demonstrate that the disorder gives rise to a novel form of spin-charge separation. We examine the role of symmetries in delocalising the spin and charge degrees of freedom, and show that while symmetries generally lead to delocalisation through multi-particle resonant processes, certain subsets of states appear stable.


title: Attractor Stability in Finite Asynchronous Biological System Models

abstract: We present mathematical techniques for exhaustive studies of long-term dynamics of asynchronous biological system models. Specifically, we extend the notion of $\kappa$-equivalence developed for graph dynamical systems to support systematic analysis of all possible attractor configurations that can be generated when varying the asynchronous update order (Macauley and Mortveit (2009)). We extend earlier work by Veliz-Cuba and Stigler (2011), Goles et al. (2014), and others by comparing long-term dynamics up to topological conjugation: rather than comparing the exact states and their transitions on attractors, we only compare the attractor structures. In general, obtaining this information is computationally intractable. Here, we adapt and apply combinatorial theory for dynamical systems to develop computational methods that greatly reduce this computational cost. We give a detailed algorithm and apply it to ($i$) the lac operon model for Escherichia coli proposed by Veliz-Cuba and Stigler (2011), and ($ii$) the regulatory network involved in the control of the cell cycle and cell differentiation in the Caenorhabditis elegans vulva precursor cells proposed by Weinstein et al. (2015). In both cases, we uncover all possible limit cycle structures for these networks under sequential updates. Specifically, for the lac operon model, rather than examining all $10! > 3.6 \cdot 10^6$ sequential update orders, we demonstrate that it is sufficient to consider $344$ representative update orders, and, more notably, that these $344$ representatives give rise to $4$ distinct attractor structures. A similar analysis performed for the C. elegans model demonstrates that it has precisely $125$ distinct attractor structures. We conclude with observations on the variety and distribution of the models' attractor structures and use the results to discuss their robustness.


title: Discrete diffusion-type equation on regular graphs and its applications

abstract: We derive an explicit formula for the fundamental solution $K_{T_{q+1}}(x,x_{0};t)$ to the discrete-time diffusion equation on the $(q+1)$-regular tree $T_{q+1}$ in terms of the discrete $I$-Bessel function. We then use the formula to derive an explicit expression for the fundamental solution $K_{X}(x,x_{0};t)$ to the discrete-time diffusion equation on any $(q+1)$-regular graph $X$. Going further, we develop three applications. The first one is to derive a general trace formula that relates the spectral data on $X$ to its topological data. Though we emphasize the results in the case when $X$ is finite, our method also applies when $X$ has a countably infinite number of vertices. As a second application, we obtain a closed-form expression for the return time probability distribution of the uniform random walk on any $(q+1)$-regular graph. The expression is obtained by relating $K_{X}(x,x_{0};t)$ to the uniform random walk on a $(q+1)$-regular graph. We then show that if $\{X_{h}\}$ is a sequence of $(q+1)$-regular graphs whose number of vertices goes to infinity and which satisfies a certain natural geometric condition, then the limit of the return time probability distributions from $\{X_{h}\}$ is equal to the return time probability distribution on the tree $T_{q+1}$. As a third application, we derive formulas which express the number of distinct closed irreducible walks without tails on a finite graph $X$ in terms of moments of the spectrum of its adjacency matrix.


title: Existence of quasi-stationary distributions for spectrally positive L\'evy processes on the half-line

abstract: For spectrally positive L\'evy processes killed on exiting the half-line, existence of a quasi-stationary distribution is characterized by the exponential integrability of the exit time, the Laplace exponent and the non-negativity of the scale functions. It is proven that if there is a quasi-stationary distribution, there are necessarily infinitely many ones and the set of quasi-stationary distributions is characterized. A sufficient condition for the minimal quasi-stationary distribution to be the Yaglom limit is given.


title: Hartree-Fock approach to dynamical mass generation in the generalized (2+1)-dimensional Thirring model

abstract: The (2+1)-dimensional generalized massless Thirring model with 4-component Fermi-fields is investigated by the Hartree-Fock method. The Lagrangian of this model is constructed from two different four-fermion structures. One of them takes into account the vector$\times$vector channel of fermion interaction with coupling constant $G_v$, the other - the scalar$\times$scalar channel with coupling $G_s$. At some relation between bare couplings $G_s$ and $G_v$, the Hartree-Fock equation for self-energy of fermions can be renormalized, and dynamical generation of the Dirac and Haldane fermion masses is possible. As a result, phase portrait of the model consists of two nontrivial phases. In the first one the chiral symmetry is spontaneously broken due to dynamical appearing of the Dirac mass term, while in the second phase a spontaneous breaking of the spatial parity $\mathcal P$ is induced by Haldane mass term. It is shown that in the particular case of pure Thirring model, i.e. at $G_s=0$, the ground state of the system is indeed a mixture of these phases. Moreover, it was found that dynamical generation of fermion masses is possible for any finite number of Fermi-fields.


title: SCALES for Keck: Optical Design

abstract: SCALES is a high-contrast, infrared coronagraphic imager and integral field spectrograph (IFS) to be deployed behind the W.M. Keck Observatory adaptive optics system. A reflective optical design allows diffraction-limited imaging over a large wavelength range (1.0 - 5.0 microns). A microlens array-based IFS coupled with a lenslet reformatter ("slenslit") allow spectroscopy at both low (R = 35 - 250) and moderate (R = 2000 - 6500) spectral resolutions. The large wavelength range, diffraction-limited performance, high contrast coronagraphy and cryogenic operation present a unique optical design challenge. We present the full SCALES optical design, including performance modeling and analysis and manufacturing.


title: Mastering Autonomous Assembly in Fusion Application with Learning-by-doing: a Peg-in-hole Study

abstract: Robotic peg-in-hole assembly represents a critical area of investigation in robotic automation. The fusion of reinforcement learning (RL) and deep neural networks (DNNs) has yielded remarkable breakthroughs in this field. However, existing RL-based methods grapple with delivering optimal performance under the unique environmental and mission constraints of fusion applications. As a result, we propose an inventively designed RL-based approach. In contrast to alternative methods, our focus centers on enhancing the DNN architecture rather than the RL model. Our strategy receives and integrates data from the RGB camera and force/torque (F/T) sensor, training the agent to execute the peg-in-hole assembly task in a manner akin to human hand-eye coordination. All training and experimentation unfold within a realistic environment, and empirical outcomes demonstrate that this multi-sensor fusion approach excels in rigid peg-in-hole assembly tasks, surpassing the repeatable accuracy of the robotic arm utilized--0.1 mm--in uncertain and unstable conditions.


title: First Detection of the Molecular Cloud Population in the Extended Ultraviolet (XUV) Disk of M83

abstract: We report a CO(3-2) detection of 23 molecular clouds in the extended ultraviolet (XUV) disk of the spiral galaxy M83 with ALMA. The observed 1kpc^2 region is at about 1.24 times the optical radius (R25) of the disk, where CO(2-1) was previously not detected. The detection and non-detection, as well as the level of star formation (SF) activity in the region, can be explained consistently if the clouds have the mass distribution common among Galactic clouds, such as Orion A -- with star-forming dense clumps embedded in thick layers of bulk molecular gas, but in a low-metallicity regime where their outer layers are CO-deficient and CO-dark. The cloud and clump masses, estimated from CO(3-2), range from 8.2x10^2 to 2.3x10^4 Msun and from 2.7x10^2 to 7.5x10^3 Msun, respectively. The most massive clouds appear similar to Orion A in star formation activity as well as in mass, as expected if the cloud mass structure is universal. The overall low SF activity in the XUV disk could be due to the relative shortage of gas in the molecular phase. The clouds are distributed like chains up to 600 pc (or longer) in length, suggesting that the trigger of cloud formation is on large scales. The universal cloud mass structure also justifies the use of high-J CO transitions to trace the total gas mass of clouds, or galaxies, even in the high-z universe. This study is the first demonstration that CO(3-2) is an efficient tracer of molecular clouds even in low-metallicity environments.


title: Rethinking Cost-sensitive Classification in Deep Learning via Adversarial Data Augmentation

abstract: Cost-sensitive classification is critical in applications where misclassification errors widely vary in cost. However, over-parameterization poses fundamental challenges to the cost-sensitive modeling of deep neural networks (DNNs). The ability of a DNN to fully interpolate a training dataset can render a DNN, evaluated purely on the training set, ineffective in distinguishing a cost-sensitive solution from its overall accuracy maximization counterpart. This necessitates rethinking cost-sensitive classification in DNNs. To address this challenge, this paper proposes a cost-sensitive adversarial data augmentation (CSADA) framework to make over-parameterized models cost-sensitive. The overarching idea is to generate targeted adversarial examples that push the decision boundary in cost-aware directions. These targeted adversarial samples are generated by maximizing the probability of critical misclassifications and used to train a model with more conservative decisions on costly pairs. Experiments on well-known datasets and a pharmacy medication image (PMI) dataset made publicly available show that our method can effectively minimize the overall cost and reduce critical errors, while achieving comparable performance in terms of overall accuracy.


title: Current and future gamma-ray searches for dark-matter annihilation beyond the unitarity limit

abstract: For decades, searches for electroweak-scale dark matter (DM) have been performed without a definitive detection. This lack of success may hint that DM searches have focused on the wrong mass range. A proposed candidate beyond the canonical parameter space is ultra-heavy DM (UHDM). In this work, we consider indirect UHDM annihilation searches for masses between 30 TeV and 30 PeV, extending well beyond the unitarity limit at $\sim$100 TeV, and discuss the basic requirements for DM models in this regime. We explore the feasibility of detecting the annihilation signature, and the expected reach for UHDM with current and future Very-High-Energy (VHE; $>$ 100 GeV) $\gamma$-ray observatories. Specifically, we focus on three reference instruments: two Imaging Atmospheric Cherenkov Telescope arrays, modeled on VERITAS and CTA-North, and one Extended Air Shower array, motivated by HAWC. With reasonable assumptions on the instrument response functions and background rate, we find a set of UHDM parameters (mass and cross section) for which a $\gamma$-ray signature can be detected by the aforementioned observatories. We further compute the expected upper limits for each experiment. With realistic exposure times, the three instruments can probe DM across a wide mass range. At the lower end, it can still have a point-like cross section, while at higher masses the DM could have a geometric cross section, indicative of compositeness.


title: On loops in water wave branches and monotonicity of water waves

abstract: We give a quite simple approach how to prove the absence of loops in bifurcation branches of water waves in rotational case with arbitrary vorticity distribution. The supporting flow may contain stagnation points and critical layers and water surface is allowed to be overhanging. Monotonicity properties of the free surface are presented. Especially simple criterium of absence of loops is given for bifurcation branches when the bifurcation parameter is the water wave period. We show that there are no loops if you start from a water wave with a positive/negative vertical component of velocity on the positive half period.