title: Cosmologically Varying Kinetic Mixing

abstract: The portal connecting the invisible and visible sectors is one of the most natural explanations of the dark world. However, the early-time dark matter production via the portal faces extremely stringent late-time constraints. To solve such tension, we construct the scalar-controlled kinetic mixing varying with the ultralight CP-even scalar's cosmological evolution. To realize this and eliminate the constant mixing, we couple the ultralight scalar within $10^{-33}\text{eV} \lesssim m_0 \ll \text{eV}$ with the heavy doubly charged messengers and impose the $\mathbb{Z}_2$ symmetry under the dark charge conjugation. Via the varying mixing, the $\text{keV}-\text{MeV}$ dark photon dark matter is produced through the early-time freeze-in when the scalar is misaligned from the origin and free from the late-time exclusions when the scalar does the damped oscillation and dynamically sets the kinetic mixing. We also find that the scalar-photon coupling emerges from the underlying physics, which changes the cosmological history and provides the experimental targets based on the fine-structure constant variation and the equivalence principle violation. To ensure the scalar naturalness, we discretely re-establish the broken shift symmetry by embedding the minimal model into the $\mathbb{Z}_N$-protected model. When $N \sim 10$, the scalar's mass quantum correction can be suppressed much below $10^{-33}\text{eV}$.


title: Topological Non-Hermitian skin effect

abstract: This article reviews recent developments in the non-Hermitian skin effect (NHSE), particularly on its rich interplay with topology. The review starts off with a pedagogical introduction on the modified bulk-boundary correspondence, the synergy and hybridization of NHSE and band topology in higher dimensions, as well as, the associated topology on the complex energy plane such as spectral winding topology and spectral graph topology. Following which, emerging topics are introduced such as non-Hermitian criticality, dynamical NHSE phenomena, and the manifestation of NHSE beyond the traditional linear non-interacting crystal lattices, particularly its interplay with quantum many-body interactions. Finally, we survey the recent demonstrations and experimental proposals of NHSE.


title: The $z \lesssim 1$ drop of cosmic dust abundance in a semi-analytic framework

abstract: Observations suggest that the amount of galactic dust in the Universe decreased by a factor $\sim 2-3$ during the last $\sim 8$ Gyr. However, cosmological models of galaxy evolution usually struggle to explain this decrease. Here we use the semi-analytic model (SAM) L-Galaxies2020 to show that this drop may be reproduced assuming standard prescriptions for dust production and evolution. We extend the SAM with i) a state-of-the-art dust model which adopts the two-size approximation and ii) a new disc instability criterion which triggers bulge and central black hole growth. The model reproduces some fundamental properties of the local galaxy population, such as the fraction of spheroid-dominated galaxies and some scaling relations involving dust. Moreover, the model predicts a galactic dust drop from $z \sim 1 \rightarrow 0$, which becomes closer to the observed one when adopting the new treatment of disc instabilities. This result is related to the newly implemented super-massive black hole growth during disc instabilities, which enhances the quenching of massive galaxies. Consequently, these objects feature a lower gas and dust content. We provide a census of the contribution of all the processes affecting the galactic dust content. Accretion is the dominant dust mass growth process. Destruction by supernovae, astration and ejection by winds have all a non-negligible role in decreasing the overall dust content in galaxies below $z \sim 1$. We also discuss predictions concerning extra-galactic dust, confirming that a sputtering efficiency lower than the canonical one is required to match the few available observations.


title: Local Yang--Baxter correspondences and set-theoretical solutions to the Zamolodchikov tetrahedron equation

abstract: We study tetrahedron maps, which are set-theoretical solutions to the Zamolodchikov tetrahedron equation, and their matrix Lax representations defined by the local Yang--Baxter equation. Sergeev [S.M. Sergeev 1998 Lett. Math. Phys. 45, 113--119] presented classification results on three-dimensional tetrahedron maps obtained from the local Yang--Baxter equation for a certain class of matrix-functions in the situation when the equation possesses a unique solution which determines a tetrahedron map. In this paper, using correspondences arising from the local Yang--Baxter equation for some simple $2\times 2$ matrix-functions, we show that there are (non-unique) solutions to the local Yang--Baxter equation which define tetrahedron maps that do not belong to the Sergeev list; this paves the way for a new, wider classification of tetrahedron maps. We present invariants for the derived tetrahedron maps and prove Liouville integrability for some of them. Furthermore, using the approach of solving correspondences arising from the local Yang--Baxter equation, we obtain several new birational tetrahedron maps, including maps with matrix Lax representations on arbitrary groups, a $9$-dimensional map associated with a Darboux transformation for the derivative nonlinear Schr\"odinger (NLS) equation, and a $9$-dimensional generalisation of the $3$-dimensional Hirota map.


title: The Fractional Schrodinger Equation with the Generalized Woods-Saxon Potential

abstract: The bound state energy eigenvalues and the corresponding eigenfunctions of the generalized Woods-Saxon potential reported in [Phys. Rev. C 72, 027001 (2005)] is extended to the fractional forms using the generalized fractional derivative and the fractional Nikiforov-Uvarov (NU) technique. Analytical solutions of bound states of the Schrodinger equation for the present potential are obtained in the terms of fractional Jacobi polynomials. It is demonstrated that the classical results are a special case of the present results at Elfa=Beta=1 Therefore, the present results play important role in molecular chemistry and nuclear physics.


title: Energy measurements remain thermometrically optimal beyond weak coupling

abstract: We develop a general perturbative theory of finite-coupling quantum thermometry up to second order in probe-sample interaction. By assumption, the probe and sample are in thermal equilibrium, so the probe is described by the mean-force Gibbs state. We prove that the ultimate thermometric precision can be achieved - to second order in the coupling - solely by means of local energy measurements on the probe. Hence, seeking to extract temperature information from coherences or devising adaptive schemes confers no practical advantage in this regime. Additionally, we provide a closed-form expression for the quantum Fisher information, which captures the probe's sensitivity to temperature variations. Finally, we benchmark and illustrate the ease of use of our formulas with two simple examples. Our formalism makes no assumptions about separation of dynamical timescales or the nature of either the probe or the sample. Therefore, by providing analytical insight into both the thermal sensitivity and the optimal measurement for achieving it, our results pave the way for quantum thermometry in setups where finite-coupling effects cannot be ignored.


title: PHANGS-MUSE: Detection and Bayesian classification of ~40000 ionised nebulae in nearby spiral galaxies

abstract: In this work, we present a new catalogue of >40000 ionised nebulae distributed across the 19 galaxies observed by the PHANGS-MUSE survey. The nebulae have been classified using a new model-comparison-based algorithm that exploits the odds ratio principle to assign a probabilistic classification to each nebula in the sample. The resulting catalogue is the largest catalogue containing complete spectral and spatial information for a variety of ionised nebulae available so far in the literature. We developed this new algorithm to address some of the limitations of the traditional classification criteria, such as their binarity, the sharpness of the involved limits, and the limited amount of data they rely on for the classification. The analysis of the catalogue shows that the algorithm performs well when selecting H II regions. We can recover their luminosity function, and its properties are in line with what is available in the literature. We also identify a rather significant population of shock-ionised regions (mostly composed of supernova remnants), an order of magnitude larger than any other homogeneous catalogue of supernova remnants currently available in the literature. The number of supernova remnants we identify per galaxy is in line with results in our Galaxy and other very nearby sources. However, limitations in the source detection algorithm result in an incomplete sample of planetary nebulae, even though their classification seems robust. Finally, we demonstrate how applying a correction for the contribution of the diffuse ionised gas to the nebulae's spectra is essential to obtain a robust classification of the objects and how a correct measurement of the extinction using DIG-corrected line fluxes prompts the use of a higher theoretical Ha/Hb ratio (3.03) than what is commonly used when recovering the E(B-V) via the Balmer decrement technique in massive star-forming galaxies.


title: High threshold codes for neutral atom qubits with biased erasure errors

abstract: The requirements for fault-tolerant quantum error correction can be simplified by leveraging structure in the noise of the underlying hardware. In this work, we identify a new type of structured noise motivated by neutral atom qubits, biased erasure errors, which arises when qubit errors are dominated by detectable leakage from only one of the computational states of the qubit. We study the performance of this model using gate-level simulations of the XZZX surface code. Using the predicted erasure fraction and bias of metastable $^{171}$Yb qubits, we find a threshold of 8.2% for two-qubit gate errors, which is 1.9 times higher than the threshold for unbiased erasures, and 7.5 times higher than the threshold for depolarizing errors. Surprisingly, the improved threshold is achieved without bias-preserving controlled-not gates, and instead results from the lower noise entropy in this model. We also introduce an XZZX cluster state construction for measurement-based error correction, hybrid-fusion, that is optimized for this noise model. By combining fusion operations and deterministic entangling gates, this construction preserves the intrinsic symmetry of the XZZX code, leading to a higher threshold of 10.3% and enabling the use of rectangular codes with fewer qubits. We discuss a potential physical implementation using a single plane of atoms and moveable tweezers.


title: Investigating Pulse-Echo Sound Speed Estimation in Breast Ultrasound with Deep Learning

abstract: Ultrasound is an adjunct tool to mammography that can quickly and safely aid physicians with diagnosing breast abnormalities. Clinical ultrasound often assumes a constant sound speed to form B-mode images for diagnosis. However, the various types of breast tissue, such as glandular, fat, and lesions, differ in sound speed. These differences can degrade the image reconstruction process. Alternatively, sound speed can be a powerful tool for identifying disease. To this end, we propose a deep-learning approach for sound speed estimation from in-phase and quadrature ultrasound signals. First, we develop a large-scale simulated ultrasound dataset that generates quasi-realistic breast tissue by modeling breast gland, skin, and lesions with varying echogenicity and sound speed. We developed a fully convolutional neural network architecture trained on a simulated dataset to produce an estimated sound speed map from inputting three complex-value in-phase and quadrature ultrasound images formed from plane-wave transmissions at separate angles. Furthermore, thermal noise augmentation is used during model optimization to enhance generalizability to real ultrasound data. We evaluate the model on simulated, phantom, and in-vivo breast ultrasound data, demonstrating its ability to accurately estimate sound speeds consistent with previously reported values in the literature. Our simulated dataset and model will be publicly available to provide a step towards accurate and generalizable sound speed estimation for pulse-echo ultrasound imaging.


title: Bound states without potentials: localization at singularities

abstract: Bound state formation is a classic feature of quantum mechanics, where a particle localizes in the vicinity of an attractive potential. This is typically understood as the particle lowering its potential energy. In this article, we discuss a paradigm where bound states arise purely due to kinetic energy considerations. This phenomenon occurs in certain non-manifold spaces that consist of multiple smooth surfaces that intersect one another. The intersection region can be viewed as a singularity where dimensionality is not defined. We demonstrate this idea in a setting where a particle moves on $M$ spaces ($M=2, 3, 4, \ldots$), each of dimensionality $D$ ($D=1, 2$ and $3$). The spaces intersect at a common point, which serves as a singularity. To study quantum behaviour in this setting, we discretize space and adopt a tight-binding approach. We generically find a ground state that is localized around the singular point, bound by the kinetic energy of `shuttling' among the $M$ surfaces. We draw a quantitative analogy between singularities on the one hand and local attractive potentials on the other. To each singularity, we assign an equivalent potential that produces the same bound state wavefunction and binding energy. The degree of a singularity ($M$, the number of intersecting surfaces) determines the strength of the equivalent potential. With $D=1$ and $D=2$, we show that any singularity creates a bound state. This is analogous to the well known fact that any attractive potential creates a bound state in 1D and 2D. In contrast, with $D=3$, bound states only appear when the degree of the singularity exceeds a threshold value. This is analogous to the fact that in three dimensions, a threshold potential strength is required for bound state formation. We discuss implications for experiments and theoretical studies in various domains of quantum physics.


title: On the equivalence between the minimax theorem and strong duality of conic linear programming

abstract: We prove the almost equivalence between two-player zero-sum games and conic linear programming problems in reflexive Banach spaces. The previous fundamental results of von Neumann, Dantzig, Adler, and von Stengel, regarding the equivalence between finite games with strategy sets defined over $\mathbb{R}^n$, and linear programming, are therefore generalized to the infinite-dimensional case. In fact, we show that for every two-player zero-sum game with a bilinear function of the form $u(x,y)=\langle y,Ax\rangle$, for some linear operator $A$, and strategy sets that represent bases of convex cones, the minimax theorem holds, and its game value and Nash equilibria can be computed by solving a primal-dual pair of conic linear problems. Conversely, the minimax theorem for the same class of games "almost always" implies strong duality of conic linear programming. The main results are applied to a number of infinite zero-sum games, whose classes include those of semi-infinite, semidefinite, time-continuous, quantum, polynomial, and homogeneous separable games.


title: Memory-Based Meta-Learning on Non-Stationary Distributions

abstract: Memory-based meta-learning is a technique for approximating Bayes-optimal predictors. Under fairly general conditions, minimizing sequential prediction error, measured by the log loss, leads to implicit meta-learning. The goal of this work is to investigate how far this interpretation can be realized by current sequence prediction models and training regimes. The focus is on piecewise stationary sources with unobserved switching-points, which arguably capture an important characteristic of natural language and action-observation sequences in partially observable environments. We show that various types of memory-based neural models, including Transformers, LSTMs, and RNNs can learn to accurately approximate known Bayes-optimal algorithms and behave as if performing Bayesian inference over the latent switching-points and the latent parameters governing the data distribution within each segment.


title: Evaluating Self-Supervised Learning via Risk Decomposition

abstract: Self-supervised learning (SSL) pipelines differ in many design choices such as the architecture, augmentations, or pretraining data. Yet SSL is typically evaluated using a single metric: linear probing on ImageNet. This does not provide much insight into why or when a model is better, now how to improve it. To address this, we propose an SSL risk decomposition, which generalizes the classical supervised approximation-estimation decomposition by considering errors arising from the representation learning step. Our decomposition consists of four error components: approximation, representation usability, probe generalization, and encoder generalization. We provide efficient estimators for each component and use them to analyze the effect of 30 design choices on 169 SSL vision models evaluated on ImageNet. Our analysis gives valuable insights for designing and using SSL models. For example, it highlights the main sources of error and shows how to improve SSL in specific settings (full- vs few-shot) by trading off error components. All results and pretrained models are at https://github.com/YannDubs/SSL-Risk-Decomposition.


title: Granular binary mixtures improve energy dissipation efficiency of granular dampers

abstract: Granular dampers are systems used to attenuate undesired vibrations produced by mechanical devices. They consist of cavities filled by granular particles. In this work, we consider a granular damper filled with a binary mixture of frictionless spherical particles of the same material but different size using numerical discrete element method simulations. We show that the damping efficiency is largely influenced by the composition of the binary mixture.


title: When, where, and how many planets end up in first-order resonances?

abstract: The theory of Type~I migration has been widely used in many studies. Transiting multi-planet systems offer us the opportunity to examine the consistency between observation and theory, especially for those systems harbouring planets in Mean Motion Resonance (MMR). The displacement these resonant pairs show from exact commensurability provides us with information on their migration and eccentricity-damping histories. Here, we adopt a probabilistic approach, characterized by two distributions -- appropriate for either the resonant or non-resonant planets -- to fit the observed planet period ratio distribution. With the Markov chain Monte Carlo (MCMC) method, we find that ${\approx}15\%$ of exoplanets are in first order ($j+1{:}j$) MMRs, the ratio of eccentricity-to-semi-major axis damping is too high to allow overstable librations and that the results are by-and-large consistent with Type-I migration theory. In addition, our modeling finds that a small fraction of resonant pairs is captured into resonance during migration, implying late planet formation (gas-poor). Most of the resonant pairs park themselves at the migration barrier, indicating early planet formation (gas-rich). Furthermore, after improving the criterion on two-body resonant trapping, we obtain an upper limit of the disc surface density at the time the planets are locked in resonance.


title: Optimally Interpolating between Ex-Ante Fairness and Welfare

abstract: For the fundamental problem of allocating a set of resources among individuals with varied preferences, the quality of an allocation relates to the degree of fairness and the collective welfare achieved. Unfortunately, in many resource-allocation settings, it is computationally hard to maximize welfare while achieving fairness goals. In this work, we consider ex-ante notions of fairness; popular examples include the \emph{randomized round-robin algorithm} and \emph{sortition mechanism}. We propose a general framework to systematically study the \emph{interpolation} between fairness and welfare goals in a multi-criteria setting. We develop two efficient algorithms ($\varepsilon-Mix$ and $Simple-Mix$) that achieve different trade-off guarantees with respect to fairness and welfare. $\varepsilon-Mix$ achieves an optimal multi-criteria approximation with respect to fairness and welfare, while $Simple-Mix$ achieves optimality up to a constant factor with zero computational overhead beyond the underlying \emph{welfare-maximizing mechanism} and the \emph{ex-ante fair mechanism}. Our framework makes no assumptions on either of the two underlying mechanisms, other than that the fair mechanism produces a distribution over the set of all allocations. Indeed, if these mechanisms are themselves approximation algorithms, our framework will retain the approximation factor, guaranteeing sensitivity to the quality of the underlying mechanisms, while being \emph{oblivious} to them. We also give an extensive experimental analysis for the aforementioned ex-ante fair mechanisms on real data sets, confirming our theoretical analysis.


title: Characteristics of fluid-fluid displacement in model mixed-wet porous media: patterns, pressures, and scalings

abstract: We study the characteristics of fluid-fluid displacement in simple mixed-wet porous micromodels numerically using a dynamic pore network model. The porous micromodel consists of distinct water-wet and oil-wet regions, whose fractions are systematically varied to yield a variety of displacement patterns over a wide range of capillary numbers. We find that the impact of mixed-wettability is most prominent at low capillary number, and it depends on the complex interplay between wettability fraction and the intrinsic contact angle of the water-wet regions. For example, the fractal dimension of the displacement pattern is a monotonically increasing function of wettability fraction in flow cells with strongly water-wet clusters, but it becomes non-monotonic with respect to wettability fraction in flow cells with weakly water-wet clusters. Additionally, mixed-wettability also manifests itself in the injection-pressure signature, which exhibits fluctuations especially at low wettability fraction. Specifically, preferential filling of water-wet regions leads to reduced effective permeability and higher injection pressure, even at vanishingly small capillary numbers. Finally, we demonstrate that scaling analyses based on a weighted average description of the overall wetting state of the mixed-wet system can effectively capture the variations in observed displacement pattern morphology.


title: Noncollisional plasmoid instability based on a gyrofluid and gyrokinetic integrated approach

abstract: In this work, the development of two-dimensional current sheets with respect to tearing-modes, in collisionless plasmas with a strong guide field, is analysed. During their non-linear evolution, these thin current sheets can become unstable to the formation of plasmoids, which allows the magnetic reconnection process to reach high reconnection rates. We carry out a detailed study of the impact of a finite $\beta_e$, which also implies finite electron Larmor radius effects, on the collisionless plasmoid instability. This study is conducted through a comparison of gyrofluid and gyrokinetic simulations. The comparison shows in general a good capability of the gyrofluid models in predicting the plasmoid instability observed with gyrokinetic simulations. We show that the effects of $\beta_e$ promotes the plasmoid growth. The impact of the closure applied during the derivation of the gyrofluid model is also studied through the comparison of the energy variation.


title: Rational functions via recursive schemes

abstract: We give a new characterization of the class of rational string functions from formal language theory using order-preserving interpretations with respect to a very weak monadic programming language. This refines the known characterization of rational functions by order-preserving MSO interpretations.


title: Testing the quantum nature of gravity without entanglement

abstract: Given a unitary evolution $U$ on a multi-partite quantum system and an ensemble of initial states, how well can $U$ be simulated by local operations and classical communication (LOCC) on that ensemble? We answer this question by establishing a general, efficiently computable upper bound on the maximal LOCC simulation fidelity -- what we call an 'LOCC inequality'. We then apply our findings to the fundamental setting where $U$ implements a quantum Newtonian Hamiltonian over a gravitationally interacting system. Violation of our LOCC inequality can rule out the LOCCness of the underlying evolution, thereby establishing the non-classicality of the gravitational dynamics, which can no longer be explained by a local classical field. As a prominent application of this scheme we study systems of quantum harmonic oscillators initialised in coherent states following a normal distribution and interacting via Newtonian gravity, and discuss a possible physical implementation with torsion pendula. One of our main technical contributions is the analytical calculation of the above LOCC inequality for this family of systems. As opposed to existing tests based on the detection of gravitationally mediated entanglement, our proposal works with coherent states alone, and thus it does not require the generation of largely delocalised states of motion nor the detection of entanglement, which is never created at any point in the process.


title: Real-space and reciprocal-space topology in the Eu(Ga$_{1-x}$Al$_x$)$_4$ square net system

abstract: Magnetotransport measurements on the centrosymetric square-net Eu(Ga$_{1-x}$Al$_x$)$_4$ compounds reveal evidence for both reciprocal- and real-space topology. For compositions $0.50 \leq x \leq 0.90$, several intermediate field phases are found by magnetization measurements when $H \parallel c$, where a maximum in the topological Hall effect (THE) is observed, pointing to the existence of topological (real-space topology) or non-coplanar spin textures. For $0.25 \leq x \leq 0.39$, magnetization measurements reveal an intermediate field state, but no transition is visible in the Hall measurements. For $x = 0.15$, only one magnetic transition occurs below the N\'eel temperature $T_N$, and no intermediate field spin reorientations are observed. The Hall effect varies smoothly before the spin-polarized (SP) state. However, in the SP state, Hall measurements reveal a large anomalous Hall effect (AHE) for all compositions, a consequence of reciprocal-space topology. Density functional theory calculations in the paramagnetic state indeed reveal a Dirac point that lies very near the Fermi energy, which is expected to split into Weyl nodes in the SP state, thereby explaining the observed AHE. These results suggest the Eu(Ga$_{1-x}$Al$_x$)$_4$ family is a rare material platform where real- and reciprocal-space topology exist in a single material platform.


title: Classification of cyclic groups underlying only smooth skew morphisms

abstract: A skew morphism of a finite group $A$ is a permutation $\varphi$ of $A$ fixing the identity element and for which there is an integer-valued function $\pi$ on $A$ such that $\varphi(ab)=\varphi(a)\varphi^{\pi(a)}(b)$ for all $a, b \in A$. A skew morphism $\varphi$ of $A$ is smooth if the associated power function $\pi$ is constant on the orbits of $\varphi$, that is, $\pi(\varphi(a))\equiv\pi(a)\pmod{|\varphi|}$ for all $a\in A$. In this paper we show that every skew morphism of a cyclic group of order $n$ is smooth if and only if $n=2^en_1$, where $0 \le e \le 4$ and $n_1$ is an odd square-free number. A partial solution to a similar problem on non-cyclic abelian groups is also given.


title: Improving Variational Monte Carlo Optimization by Avoiding Statistically Difficult Parameters

abstract: Modern quantum Monte Carlo (QMC) methods often capture electron correlation through both explicitly correlating Jastrow factors and small to mid-sized configuration interaction (CI) expansions. Here, we study the additional optimization difficulty created by including increasing numbers of CI parameters. We find evidence that the quality of Variational Mone Carlo (VMC) optimization can be limited by the ability to statistically resolve the CI parameters in the presence of a Jastrow factor. Although using larger statistical samples can mitigate this issue and bring an optimization closer to its true minimum, this approach is computationally intensive. We present evidence that similar gains to optimization quality can be had without increasing the sample size by avoiding CI parameters that are statistically the most difficult to resolve. Our findings suggest that, in addition to the value of using traditional selected configuration interaction (sCI) methods to prepare VMC wave functions, sCI-like methods can play an important role within VMC by improving the effectiveness of stochastic energy minimization.


title: A probabilistic model of resistance jumps in memristive devices

abstract: Resistance switching memory cells such as electrochemical metallization cells and valence change mechanism cells have the potential to revolutionize information processing and storage. However, the creation of deterministic resistance switching devices is a challenging problem that is still open. At present, the modeling of resistance switching cells is dominantly based on deterministic models that fail to capture the cycle-to-cycle variability intrinsic to these devices. Herewith we introduce a state probability distribution function and associated integro-differential equation to describe the switching process consisting of a set of stochastic jumps. Numerical and analytical solutions of the equation have been found in two model cases. This work expands the toolbox of models available for resistance switching cells and related devices, and enables a rigorous description of intrinsic physical behavior not available in other models.


title: Five policy uses of algorithmic transparency and explainability

abstract: The notion that algorithmic systems should be "transparent" and "explainable" is common in the many statements of consensus principles developed by governments, companies, and advocacy organizations. But what exactly do policy and legal actors want from these technical concepts, and how do their desiderata compare with the explainability techniques developed in the machine learning literature? In hopes of better connecting the policy and technical communities, we provide case studies illustrating five ways in which algorithmic transparency and explainability have been used in policy settings: specific requirements for explanations; in nonbinding guidelines for internal governance of algorithms; in regulations applicable to highly regulated settings; in guidelines meant to increase the utility of legal liability for algorithms; and broad requirements for model and data transparency. The case studies span a spectrum from precise requirements for specific types of explanations to nonspecific requirements focused on broader notions of transparency, illustrating the diverse needs, constraints, and capacities of various policy actors and contexts. Drawing on these case studies, we discuss promising ways in which transparency and explanation could be used in policy, as well as common factors limiting policymakers' use of algorithmic explainability. We conclude with recommendations for researchers and policymakers.


title: Permutation resemblance

abstract: Motivated by the problem of constructing bijective maps with low differential uniformity, we introduce the notion of permutation resemblance of a function, which looks to measure the distance a given map is from being a permutation. We prove several results concerning permutation resemblance and show how it can be used to produce low differentially uniform bijections. We also study the permutation resemblance of planar functions, which over fields of odd characteristic are known not to be bijections and to have the optimal differential uniformity.


title: Extremal shot noise processes and random cutout sets

abstract: We study some fundamental properties, such as the transience, the recurrence, the first passage times and the zero-set of a certain type of sawtooth Markov processes, called extremal shot noise processes. The sets of zeros of the latter are Mandelbrot's random cutout sets, i.e. the sets of points left uncovered after placing Poisson random covering intervals on the positive half-line. Based on this connection, we provide a new proof of Fitzsimmons-Fristedt-Shepp Theorem which characterizes the random cutout sets.


title: Continuity of the stabilizer map and irreducible extensions

abstract: Let $G$ be a locally compact group. For every $G$-flow $X$, one can consider the stabilizer map $x \mapsto G_x$, from $X$ to the space $\mathrm{Sub}(G)$ of closed subgroups of $G$. This map is not continuous in general. We prove that if one passes from $X$ to the universal irreducible extension of $X$, the stabilizer map becomes continuous. This result provides, in particular, a common generalization of a theorem of Frol\'ik (that the set of fixed points of a homeomorphism of an extremally disconnected compact space is open) and a theorem of Veech (that the action of a locally compact group on its greatest ambit is free). It also allows to naturally associate to every $G$-flow $X$ a stabilizer $G$-flow $\mathrm{S}_G(X)$ in the space $\mathrm{Sub}(G)$, which generalizes the notion of stabilizer uniformly recurrent subgroup associated to a minimal $G$-flow introduced by Glasner and Weiss.


title: Pic2Word: Mapping Pictures to Words for Zero-shot Composed Image Retrieval

abstract: In Composed Image Retrieval (CIR), a user combines a query image with text to describe their intended target. Existing methods rely on supervised learning of CIR models using labeled triplets consisting of the query image, text specification, and the target image. Labeling such triplets is expensive and hinders broad applicability of CIR. In this work, we propose to study an important task, Zero-Shot Composed Image Retrieval (ZS-CIR), whose goal is to build a CIR model without requiring labeled triplets for training. To this end, we propose a novel method, called Pic2Word, that requires only weakly labeled image-caption pairs and unlabeled image datasets to train. Unlike existing supervised CIR models, our model trained on weakly labeled or unlabeled datasets shows strong generalization across diverse ZS-CIR tasks, e.g., attribute editing, object composition, and domain conversion. Our approach outperforms several supervised CIR methods on the common CIR benchmark, CIRR and Fashion-IQ. Code will be made publicly available at https://github.com/google-research/composed_image_retrieval.


title: Using Learned Indexes to Improve Time Series Indexing Performance on Embedded Sensor Devices

abstract: Efficiently querying data on embedded sensor and IoT devices is challenging given the very limited memory and CPU resources. With the increasing volumes of collected data, it is critical to process, filter, and manipulate data on the edge devices where it is collected to improve efficiency and reduce network transmissions. Existing embedded index structures do not adapt to the data distribution and characteristics. This paper demonstrates how applying learned indexes that develop space efficient summaries of the data can dramatically improve the query performance and predictability. Learned indexes based on linear approximations can reduce the query I/O by 50 to 90% and improve query throughput by a factor of 2 to 5, while only requiring a few kilobytes of RAM. Experimental results on a variety of time series data sets demonstrate the advantages of learned indexes that considerably improve over the state-of-the-art index algorithms.


title: DITTO: Offline Imitation Learning with World Models

abstract: We propose DITTO, an offline imitation learning algorithm which uses world models and on-policy reinforcement learning to addresses the problem of covariate shift, without access to an oracle or any additional online interactions. We discuss how world models enable offline, on-policy imitation learning, and propose a simple intrinsic reward defined in the world model latent space that induces imitation learning by reinforcement learning. Theoretically, we show that our formulation induces a divergence bound between expert and learner, in turn bounding the difference in reward. We test our method on difficult Atari environments from pixels alone, and achieve state-of-the-art performance in the offline setting.


title: Dividing Good and Better Items Among Agents with Bivalued Submodular Valuations

abstract: We study the problem of fairly allocating a set of indivisible goods among agents with {\em bivalued submodular valuations} -- each good provides a marginal gain of either $a$ or $b$ ($a < b$) and goods have decreasing marginal gains. This is a natural generalization of two well-studied valuation classes -- bivalued additive valuations and binary submodular valuations. We present a simple sequential algorithmic framework, based on the recently introduced Yankee Swap mechanism, that can be adapted to compute a variety of solution concepts, including max Nash welfare (MNW), leximin and $p$-mean welfare maximizing allocations when $a$ divides $b$. This result is complemented by an existing result on the computational intractability of MNW and leximin allocations when $a$ does not divide $b$. We show that MNW and leximin allocations guarantee each agent at least $\frac25$ and $\frac{a}{b+2a}$ of their maximin share, respectively, when $a$ divides $b$. We also show that neither the leximin nor the MNW allocation is guaranteed to be envy free up to one good (EF1). This is surprising since for the simpler classes of bivalued additive valuations and binary submodular valuations, MNW allocations are known to be envy free up to any good (EFX).


title: Sketching Robot Programs On the Fly

abstract: Service robots for personal use in the home and the workplace require end-user development solutions for swiftly scripting robot tasks as the need arises. Many existing solutions preserve ease, efficiency, and convenience through simple programming interfaces or by restricting task complexity. Others facilitate meticulous task design but often do so at the expense of simplicity and efficiency. There is a need for robot programming solutions that reconcile the complexity of robotics with the on-the-fly goals of end-user development. In response to this need, we present a novel, multimodal, and on-the-fly development system, Tabula. Inspired by a formative design study with a prototype, Tabula leverages a combination of spoken language for specifying the core of a robot task and sketching for contextualizing the core. The result is that developers can script partial, sloppy versions of robot programs to be completed and refined by a program synthesizer. Lastly, we demonstrate our anticipated use cases of Tabula via a set of application scenarios.


title: Statistical methods for partitioning ribbon and globally-distributed flux using data from the Interstellar Boundary Explorer

abstract: ASA's Interstellar Boundary Explorer (IBEX) satellite collects data on energetic neutral atoms (ENAs) that can provide insight into the heliosphere boundary between our solar system and interstellar space. Using these data, scientists can construct maps of the ENA intensities (often, expressed in terms of flux) observed in all directions. The ENA flux observed in these maps is believed to come from at least two distinct sources: one source which manifests as a ribbon of concentrated ENA flux and one source (or possibly several) that manifest as smoothly-varying globally-distributed flux. Each ENA source type and its corresponding ENA intensity map is of separate scientific interest. In this paper, we develop statistical methods for separating the total ENA intensity maps into two source-specific maps (ribbon and globally-distributed flux) and estimating corresponding uncertainty. Key advantages of the proposed method include enhanced model flexibility and improved propagation of estimation uncertainty. We evaluate the proposed methods on simulated data designed to mimic realistic data settings. We also propose new methods for estimating the center of the near-elliptical ribbon in the sky, which can be used in the future to study the location and variation of the local interstellar magnetic field.


title: Ab initio study of the nonlinear optical properties and d.c. photocurrent of the Weyl semimetal TaIrTe$_4$

abstract: We present a first principles theoretical study employing nonlinear response theory to investigate the d.c. photocurrent generated by linearly polarized light in the type-II Weyl semimetal TaIrTe4. We report the low energy spectrum of several nonlinear optical effects. At second-order, we consider the shift and injection currents. Assuming the presence of a built-in static electric field, at third-order we study the current-induced shift and injection currents, as well as the jerk current. We discuss our results in the context of a recent experiment measuring an exceptionally large photoconductivity in this material [J. Ma et at., Nat. Mater. 18, 476 (2019)]. According to our results, the jerk current is the most likely origin of the large response. Finally, we propose means to discern the importance of the various mechanisms involved in a time-resolved experiment.


title: Comparison Theorems for Stochastic Chemical Reaction Networks

abstract: Continuous-time Markov chains are frequently used as stochastic models for chemical reaction networks, especially in the growing field of systems biology. A fundamental problem for these Stochastic Chemical Reaction Networks (SCRNs) is to understand the dependence of the stochastic behavior of these systems on the chemical reaction rate parameters. Towards solving this problem, in this paper we develop theoretical tools called comparison theorems that provide stochastic ordering results for SCRNs. These theorems give sufficient conditions for monotonic dependence on parameters in these network models, which allow us to obtain, under suitable conditions, information about transient and steady state behavior. These theorems exploit structural properties of SCRNs, beyond those of general continuous-time Markov chains. Furthermore, we derive two theorems to compare stationary distributions and mean first passage times for SCRNs with different parameter values, or with the same parameters and different initial conditions. These tools are developed for SCRNs taking values in a generic (finite or countably infinite) state space and can also be applied for non-mass-action kinetics models. When propensity functions are bounded, our method of proof gives an explicit method for coupling two comparable SCRNs, which can be used to simultaneously simulate their sample paths in a comparable manner. We illustrate our results with applications to models of enzymatic kinetics and epigenetic regulation by chromatin modifications.


title: The p-adic approximations of vertex functions via 3D-mirror symmetry

abstract: Using the $3D$ mirror symmetry we construct a system of polynomials $T_s(z)$ with integral coefficients which solve the quantum differential equitation of $X=T^{*} Gr(k,n)$ modulo $p^s$, where $p$ is a prime number. We show that the sequence $T_s(z)$ converges in the $p$-adic norm to the Okounkov's vertex function of $X$ as $s\to \infty$. We prove that $T_s(z)$ satisfy Dwork-type congruences which lead to a new infinite product presentation of the vertex function modulo $p^s$.

categories: math-ph hep-th math.AG math.MP math.NT math.RT


title: Computing the many-body Green's function with adaptive variational quantum dynamics

abstract: We present a method to compute the many-body real-time Green's function using an adaptive variational quantum dynamics simulation approach. The real-time Green's function involves the time evolution of a quantum state with one additional electron with respect to the ground state wavefunction that is first expressed as a linear combination of state vectors. The real-time evolution and Green's function is obtained by combining the dynamics of the individual statevectors in the linear combination. The use of the adaptive protocol enables us to generate compact ans\"atze on-the-fly while running the simulation. In order to improve the convergence of spectral features Pad\'e approximants are applied to obtain the Fourier transform of Green's function. We demonstrate the evaluation of Green's function on an IBM Q quantum computer. As a part of our error mitigation strategy, we develop a resolution-enhancing method that we successfully apply on the noisy data from the real quantum hardware.


title: Limiting FCNC induced by a CP symmetry of order 4

abstract: CP4 3HDM is a three-Higgs-doublet model based on the $CP$ symmetry of order 4 (CP4). Imposing CP4 leads to remarkable connections between the scalar and Yukawa sectors and unavoidably generates tree-level flavor-changing neutral couplings (FCNC). It remains unclear whether FCNC can be sufficiently suppressed in the CP4 3HDM. In this paper, we systematically explore this issue. We first develop an efficient scanning procedure which takes the quark masses and mixing as input and expresses the FCNC matrices in terms of physical quark observables and quark rotation parameters. This procedure allows us to explore the FCNC effects for all the Yukawa sectors possible within the CP4 3HDM. We find that, out of the eight possible CP4 Yukawa sectors, only two scenarios are compatible with the $K$, $B$, $B_s$ and, in particular, $D$-meson oscillation constraints. The results of this work serve as clear guidelines for future phenomenological scans of the model.


title: Classifying log del Pezzo surfaces with torus action

abstract: We consider log del Pezzo surfaces coming with a non-trivial torus action. Such a surface is 1/k-log canonical if it allows a resolution of singularities with discrepanies all greater or equal to 1/k-1. We provide a concrete classification algorithm for fixed k and give explicit results for k=1, 2 and 3. This comprises in particular the cases of Gorenstein index 1, 2 and 3.


title: The Struggle for Existence: Time, Memory and Bloat

abstract: Combining a spatiotemporal, multi-agent based model of a foraging ecosystem with linear, genetically programmed rules for the agents' behaviors results in implicit, endogenous, objective functions and selection algorithms based on "natural selection". Use of this implicit optimization of genetic programs for study of biological systems is tested by application to an artificial foraging ecosystem, and compared with established biological, ecological, and stochastic gene diffusion models. Limited program memory and execution time constraints emulate real-time and concurrent properties of physical and biological systems, and stress test the optimization algorithms. Relative fitness of the agents' programs and efficiency of the resultant populations as functions of these constraints gauge optimization effectiveness and efficiency. Novel solutions confirm the creativity of the optimization process and provide an unique opportunity to experimentally test the neutral code bloating hypotheses. Use of this implicit, endogenous, evolutionary optimization of spatially interacting, genetically programmed agents is thus shown to be novel, consistent with biological systems, and effective and efficient in discovering fit and novel solutions.


title: Skyrme-Hartree-Fock-Bogoliubov mass models on a 3D mesh. IIb. Fission properties of BSkG2

abstract: Large-scale models of nuclear structure are currently the only way to provide consistent datasets for the many properties of thousands of exotic nuclei that are required by nucleosynthesis simulations. In [W.Ryssens et al., Eur. Phys. J. A 58, 246 (2022)], we recently presented the new BSkG2 model based on an energy density functional of the Skyrme type. Relying on a flexible three-dimensional coordinate representation of the nucleus, the model takes into account both triaxial deformation and time-reversal symmetry breaking. BSkG2 achieves a state-of-the-art global description of nuclear ground state (g.s.) properties and reproduces in particular the known masses with a root-mean-square (rms) deviation of 678 keV. Moving beyond g.s. properties, the model also reproduces all empirical values for the primary and secondary barriers as well as isomer excitation energies of actinide nuclei with rms deviations below 500 keV, i.e. with unprecedented accuracy. Here we discuss in detail the extension of our framework to the calculation of the fission barriers of 45 actinide nuclei, including odd-mass and odd-odd systems. We focus in particular on the impact of symmetry breaking which is key to the accuracy of the model: we allow systematically for axial, reflection and time-reversal symmetry breaking. The effect of the latter on the fission properties of odd-mass and odd-odd nuclei is small, but we find that allowing for shapes with triaxial or octupole deformation, as well as shapes with both, is crucial to achieving this accuracy. The numerical accuracy of our coordinate space approach, the variety of nuclear configurations explored and the simultaneous successful description of fission properties and known masses makes BSkG2 the tool of choice for the large-scale study of nuclear structure.


title: One-shot Empirical Privacy Estimation for Federated Learning

abstract: Privacy estimation techniques for differentially private (DP) algorithms are useful for comparing against analytical bounds, or to empirically measure privacy loss in settings where known analytical bounds are not tight. However, existing privacy auditing techniques usually make strong assumptions on the adversary (e.g., knowledge of intermediate model iterates or the training data distribution), are tailored to specific tasks, model architectures, or DP algorithm, and/or require retraining the model many times (typically on the order of thousands). These shortcomings make deploying such techniques at scale difficult in practice, especially in federated settings where model training can take days or weeks. In this work, we present a novel "one-shot" approach that can systematically address these challenges, allowing efficient auditing or estimation of the privacy loss of a model during the same, single training run used to fit model parameters, and without requiring any a priori knowledge about the model architecture, task, or DP training algorithm. We show that our method provides provably correct estimates for the privacy loss under the Gaussian mechanism, and we demonstrate its performance on well-established FL benchmark datasets under several adversarial threat models.


title: Tendon-Driven Soft Robotic Gripper with Integrated Ripeness Sensing for Blackberry Harvesting

abstract: Growing global demand for food, coupled with continuing labor shortages, motivates the need for automated agricultural harvesting. While some specialty crops (e.g., apples, peaches, blueberries) can be harvested via existing harvesting modalities, fruits such as blackberries and raspberries require delicate handling to mitigate fruit damage that could significantly impact marketability. This motivates the development of soft robotic solutions that enable efficient, delicate harvesting. This paper presents the design, fabrication, and feasibility testing of a tendon-driven soft gripping system focused on blackberries, which are a fragile fruit susceptible to post-harvest damage. The gripper is both low-cost and small form factor, allowing for the integration of a micro-servo for tendon retraction, a near-infrared (NIR) based blackberry ripeness sensor utilizing the reflectance modality for identifying fully ripe blackberries, and an endoscopic camera for visual servoing with a UR-5. The gripper was used to harvest 139 berries with manual positioning in two separate field tests. Field testing found an average retention force of 2.06 N and 6.08 N for ripe and unripe blackberries, respectively. Sensor tests identified an average reflectance of 16.78 and 21.70 for ripe and unripe blackberries, respectively, indicating a clear distinction between the two ripeness levels. Finally, the soft robotic gripper was integrated onto a UR5 robot arm and successfully harvested fifteen artificial blackberries in a lab setting using visual servoing.


title: Observation of Coherently Coupled Cation Spin Dynamics in an Insulating Ferrimagnetic Oxide

abstract: Many technologically useful magnetic oxides are ferrimagnetic insulators, which consist of chemically distinct cations. Here, we examine the spin dynamics of different magnetic cations in ferrimagnetic NiZnAl-ferrite (Ni$_{0.65}$Zn$_{0.35}$Al$_{0.8}$Fe$_{1.2}$O$_4$) under continuous microwave excitation. Specifically, we employ time-resolved x-ray ferromagnetic resonance to separately probe Fe$^{2+/3+}$ and Ni$^{2+}$ cations on different sublattice sites. Our results show that the precessing cation moments retain a rigid, collinear configuration to within $\approx$2$^\circ$. Moreover, the effective spin relaxation is identical to within $<$10% for all magnetic cations in the ferrite. We thus validate the oft-assumed ``ferromagnetic-like'' dynamics in resonantly driven ferrimagnetic oxides, where the magnetic moments from different cations precess as a coherent, collective magnetization.


title: Denisty questions in rings of the form $\mathcal{O}_K[\gamma]\cap K$

abstract: We fix a number field $K$ and study statistical properties of the ring $\mathcal{O}_K[\gamma]\cap K$ as $\gamma$ varies over algebraic numbers of a fixed degree $n\geq 2$. Given $k\geq 1$, we explicitly compute the density of $\gamma$ for which $\mathcal{O}_K[\gamma]\cap K =\mathcal{O}_K[1/k]$ and show that this does not depend on the number field $K$. In particular, we show that the density of $\gamma$ for which $\mathcal{O}_K[\gamma]\cap K=\mathcal{O}_K$ is $\frac{\zeta(n+1)}{\zeta(n)}$. In a recent paper the authors defined $X(K,\gamma)$ to be a certain finite subset of $\text{Spec}(\mathcal{O}_K)$ and showed that $X(K,\gamma)$ determines the ring $\mathcal{O}_K[\gamma]\cap K$. We show that if $\mathfrak{p}_1,\mathfrak{p}_2\in \text{Spec}(\mathcal{O}_K)$ satisfy $\mathfrak{p}_1\cap \mathbb{Z}\neq\mathfrak{p}_2\cap \mathbb{Z}$, then the events $\mathfrak{p}_1\in X(K,\gamma)$ and $\mathfrak{p}_2\in X(K,\gamma)$ are independent. As $t\to\infty$, we study the asymptotics of the density of $\gamma$ for which $|X(K,\gamma)|=t$.


title: Twist-angle dependent proximity induced spin-orbit coupling in graphene/topological insulator heterostructures

abstract: The proximity-induced spin-orbit coupling (SOC) in heterostructures of twisted graphene and topological insulators (TIs) Bi$_2$Se$_3$ and Bi$_2$Te$_3$ is investigated from first principles. To build commensurate supercells, we strain graphene and correct thus resulting band offsets by applying a transverse electric field. We then fit the low-energy electronic spectrum to an effective Hamiltonian that comprises orbital and spin-orbit terms. For twist angles 0$^\circ\leq\Theta \lessapprox 20^\circ$, we find the dominant spin-orbit couplings to be of the valley-Zeeman and Rashba types, both a few meV strong. We also observe a sign change in the induced valley-Zeeman SOC at $\Theta\approx 10^\circ$. Additionally, the in-plane spin structure resulting from the Rashba SOC acquires a non-zero radial component, except at $0^\circ$ or $30^\circ$. At $30^\circ$ the graphene Dirac cone interacts directly with the TI surface state. We therefore explore this twist angle in more detail, studying the effects of gating, TI thicknesses, and lateral shifts on the SOC parameters. We find, in agreement with previous results, the emergence of the proximitized Kane-Mele SOC, with a change in sign possible by electrically tuning the Dirac cone within the TI bulk band gap.


title: Error-rate Prediction for Mouse-based Rectangular-target Pointing with no Knowledge of Movement Angles

abstract: In rectangular-target pointing, movement angles towards targets are known to affect error rates. When designers determine target sizes, however, they would not know the frequencies of cursor-approaching directions for each target. Thus, assuming that there are unbiasedly various angles, we derived models to predict error rates depending only on the target width and height. We conducted two crowdsourced experiments: a cyclic pointing task with a predefined movement angle and a multi-directional pointing task. The shuffle-split cross-validation with 60% training data showed R^2 > 0.81, MAE < 1.3%, and RMSE < 2.1%, suggesting good prediction accuracy even for predicting untested target sizes when designers newly set UI elements.


title: Probing the dynamics of solid density micro-wire targets after ultra-intense laser irradiation using a free-electron laser

abstract: In this paper, we present an experiment that explores the plasma dynamics of a 7 micron diameter carbon wire after being irradiated with a near-relativistic-intensity short pulse laser. Using an X-ray Free Electron Laser pulse to measure the small angle X-ray scattering signal, we observe that the scattering surface is bent and prone to instability over tens of picoseconds. The dynamics of this process are consistent with the presence of a sharp, propagating shock front inside the wire, moving at a speed close to the hole boring velocity.


title: Over 500 Days in the Life of the Photosphere of the Type Iax Supernova SN 2014dt

abstract: Type Iax supernovae (SN Iax) are the largest known class of peculiar white dwarf supernovae, distinct from normal Type Ia supernovae (SN Ia). The unique properties of SN Iax, especially their strong photospheric lines out to extremely late times, allow us to model their optical spectra and derive physical parameters for the long-lasting photosphere. We present an extensive spectral timeseries, including 21 new spectra, of SN Iax 2014dt from +11 to +562 days after maximum light. We are able to reproduce the entire timeseries with a self-consistent, nearly unaltered deflagration explosion model from Fink et al. (2014) using TARDIS, an open-source radiative transfer code (Kerzendorf & Sim 2014; Kerzendorf et al. 2023). We find that the photospheric velocity of SN 2014dt slows its evolution between +64 and +148 days, which closely overlaps the phase when we see SN 2014dt diverge from the normal spectral evolution of SN Ia (+90 to +150 days). The photospheric velocity at these epochs, ~400$-$1000 km s$^{-1}$, may demarcate a boundary within the ejecta below which the physics of SN Iax and normal SN Ia differ. Our results suggest that SN 2014dt is consistent with a weak deflagration explosion model that leaves behind a bound remnant and drives an optically thick, quasi-steady-state wind creating the photospheric lines at late times. The data also suggest that this wind may weaken at epochs past +450 days, perhaps indicating a radioactive power source that has decayed away.


title: Efficient and Flexible Topic Modeling using Pretrained Embeddings and Bag of Sentences

abstract: Pre-trained language models have led to a new state-of-the-art in many NLP tasks. However, for topic modeling, statistical generative models such as LDA are still prevalent, which do not easily allow incorporating contextual word vectors. They might yield topics that do not align well with human judgment. In this work, we propose a novel topic modeling and inference algorithm. We suggest a bag of sentences (BoS) approach using sentences as the unit of analysis. We leverage pre-trained sentence embeddings by combining generative process models and clustering. We derive a fast inference algorithm based on expectation maximization, hard assignments, and an annealing process. The evaluation shows that our method yields state-of-the art results with relatively little computational demands. Our method is also more flexible compared to prior works leveraging word embeddings, since it provides the possibility to customize topic-document distributions using priors. Code and data is at \url{https://github.com/JohnTailor/BertSenClu}.


title: Decentralized Zero-Trust Framework for Digital Twin-based 6G

abstract: The Sixth Generation (6G) network is a platform for the fusion of the physical and virtual worlds. It will integrate processing, communication, intelligence, sensing, and storage of things. All devices and their virtual counterparts will become part of the service-provisioning process. In essence, 6G is a purposefully cooperative network that heavily depends on the capabilities of edge and end-devices. Digital Twin (DT) will become an essential part of 6G, not only in terms of providing a virtual representation of the physical elements and their dynamics and functionalities but rather DT will become a catalyst in the realization of the cooperative 6G environment. DT will play a main role in realizing the full potential of the 6G network by utilizing the collected data at the cyber twin and then implementing using the physical twin to ensure optimal levels of accuracy and efficiency. With that said, such a cooperative non-conventional network infrastructure cannot rely on conventional centralized intrusion detection and prevention systems. Zero-trust is a new security framework that aims at protecting distributed data, devices, components and users. This article presents a new framework that integrates the zero-trust architecture in DT-enabled 6G networks. Unlike conventional zero-trust solutions, the proposed framework adapts a decentralized mechanism to ensure the security, privacy and authenticity of both the physical devices and their DT counterparts. Blockchain plays an integral part in the authentication of DTs and the communicated data. Artificial Intelligence (AI) is integrated into all cooperating nodes using meta, generalized and federated learning solutions. The article also discusses current solutions and future outlooks, with challenges and some technology enablers.


title: Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components

abstract: To simplify the analysis of Boolean networks, a reduction in the number of components is often considered. A popular reduction method consists in eliminating components that are not autoregulated, using variable substitution. In this work, we show how this method can be extended, for asynchronous dynamics of Boolean networks, to the elimination of vertices that have a negative autoregulation, and study the effects on the dynamics and interaction structure. For elimination of non-autoregulated variables, the preservation of attractors is in general guaranteed only for fixed points. Here we give sufficient conditions for the preservation of complex attractors. The removal of so called mediator nodes (i.e. vertices with indegree and outdegree one) is often considered, and frequently does not affect the attractor landscape. We clarify that this is not always the case, and in some situations even subtle changes in the interaction structure can lead to a different asymptotic behaviour. Finally, we use properties of the more general elimination method introduced here to give an alternative proof for a bound on the number of attractors of asynchronous Boolean networks in terms of the cardinality of positive feedback vertex sets of the interaction graph.


title: On the Convergence of Federated Averaging with Cyclic Client Participation

abstract: Federated Averaging (FedAvg) and its variants are the most popular optimization algorithms in federated learning (FL). Previous convergence analyses of FedAvg either assume full client participation or partial client participation where the clients can be uniformly sampled. However, in practical cross-device FL systems, only a subset of clients that satisfy local criteria such as battery status, network connectivity, and maximum participation frequency requirements (to ensure privacy) are available for training at a given time. As a result, client availability follows a natural cyclic pattern. We provide (to our knowledge) the first theoretical framework to analyze the convergence of FedAvg with cyclic client participation with several different client optimizers such as GD, SGD, and shuffled SGD. Our analysis discovers that cyclic client participation can achieve a faster asymptotic convergence rate than vanilla FedAvg with uniform client participation under suitable conditions, providing valuable insights into the design of client sampling protocols.


title: High-dimensional Nonlinear Bayesian Inference of Poroelastic Fields from Pressure Data

abstract: We investigate solution methods for large-scale inverse problems governed by partial differential equations (PDEs) via Bayesian inference. The Bayesian framework provides a statistical setting to infer uncertain parameters from noisy measurements. To quantify posterior uncertainty, we adopt Markov Chain Monte Carlo (MCMC) approaches for generating samples. To increase the efficiency of these approaches in high-dimension, we make use of local information about gradient and Hessian of the target potential, also via Hamiltonian Monte Carlo (HMC). Our target application is inferring the field of soil permeability processing observations of pore pressure, using a nonlinear PDE poromechanics model for predicting pressure from permeability. We compare the performance of different sampling approaches in this and other settings. We also investigate the effect of dimensionality and non-gaussianity of distributions on the performance of different sampling methods.


title: A microscopic analogue of the BMS group

abstract: We consider a microscopic analogue of the BMS analysis of asymptotic symmetries by analysing universal geometric structures on infinitesimal tangent light cones. Thereby, two natural microscopic symmetry groups arise: A non-trivially represented Lorentz group and a BMS-like group. The latter has a rich mathematical structure, since it contains the former as a non-canonical subgroup, next to infinitely many other Lorentz subgroups. None of those Lorentz subgroups appears to be intrinsically preferred, and hence, the microscopic BMS-like group constitutes a natural symmetry group for infinitesimal tangent light cones. We compare our investigation with the classical BMS analysis and show, that the microscopic BMS-like group is a gauge group for the bundle of null vectors. Motivated by the various applications of the original BMS group, our findings could have interesting implications: They identify a geometric structure that could be suitable for a bulk analysis of gravitational waves, they suggest a possible enlargement of the fundamental gauge group of gravity and they motivate the possibility of an interrelation between the UV structure of gauge theories, gravitational memory effects and BMS-like symmetries. Also, our results imply, that BMS-like groups arise not only as macroscopic, asymptotic symmetry groups in cosmology, but describe also a fundamental and seemingly unknown microscopic symmetry of pseudo-Riemannian geometry.


title: Family dispute: do Type IIP supernova siblings agree on their distance?

abstract: Context: Type II supernovae provide a direct way to estimate distances through the expanding photosphere method, which is independent of the cosmic distance ladder. A recently introduced Gaussian process-based method allows for a fast and precise modelling of spectral time series, which puts accurate and computationally cheap Type II-based absolute distance determinations within reach. Aims: The goal of the paper is to assess the internal consistency of this new modelling technique coupled with the distance estimation empirically, using the spectral time series of supernova siblings, i.e. supernovae that exploded in the same host galaxy. Methods: We use a recently developed spectral emulator code, which is trained on \textsc{Tardis} radiative transfer models and is capable of a fast maximum likelihood parameter estimation and spectral fitting. After calculating the relevant physical parameters of supernovae we apply the expanding photosphere method to estimate their distances. Finally, we test the consistency of the obtained values by applying the formalism of Bayes factors. Results: The distances to four different host galaxies were estimated based on two supernovae in each. The distance estimates are not only consistent within the errors for each of the supernova sibling pairs, but in the case of two hosts they are precise to better than 5\%. Conclusions: Even though the literature data we used was not tailored for the requirements of our analysis, the agreement of the final estimates shows that the method is robust and is capable of inferring both precise and consistent distances. By using high-quality spectral time series, this method can provide precise distance estimates independent of the distance ladder, which are of high value for cosmology.


title: Arithmetic Progressions in Squarefull Numbers

abstract: We answer a number of questions of Erd\H{o}s on the existence of arithmetic progressions in $k$-full numbers (i.e. integers with the property that every prime divisor necessarily occurs to at least the $k$-th power). Further, we deduce a variety of arithmetic constraints upon such progressions, under the assumption of the $abc$-conjecture of Masser and Oesterl\'e.


title: From CAD models to soft point cloud labels: An automatic annotation pipeline for cheaply supervised 3D semantic segmentation

abstract: We propose a fully automatic annotation scheme that takes a raw 3D point cloud with a set of fitted CAD models as input and outputs convincing point-wise labels that can be used as cheap training data for point cloud segmentation. Compared with manual annotations, we show that our automatic labels are accurate while drastically reducing the annotation time and eliminating the need for manual intervention or dataset-specific parameters. Our labeling pipeline outputs semantic classes and soft point-wise object scores, which can either be binarized into standard one-hot-encoded labels, thresholded into weak labels with ambiguous points left unlabeled, or used directly as soft labels during training. We evaluate the label quality and segmentation performance of PointNet++ on a dataset of real industrial point clouds and Scan2CAD, a public dataset of indoor scenes. Our results indicate that reducing supervision in areas that are more difficult to label automatically is beneficial compared with the conventional approach of naively assigning a hard "best guess" label to every point.


title: Easy Learning from Label Proportions

abstract: We consider the problem of Learning from Label Proportions (LLP), a weakly supervised classification setup where instances are grouped into "bags", and only the frequency of class labels at each bag is available. Albeit, the objective of the learner is to achieve low task loss at an individual instance level. Here we propose Easyllp: a flexible and simple-to-implement debiasing approach based on aggregate labels, which operates on arbitrary loss functions. Our technique allows us to accurately estimate the expected loss of an arbitrary model at an individual level. We showcase the flexibility of our approach by applying it to popular learning frameworks, like Empirical Risk Minimization (ERM) and Stochastic Gradient Descent (SGD) with provable guarantees on instance level performance. More concretely, we exhibit a variance reduction technique that makes the quality of LLP learning deteriorate only by a factor of k (k being bag size) in both ERM and SGD setups, as compared to full supervision. Finally, we validate our theoretical results on multiple datasets demonstrating our algorithm performs as well or better than previous LLP approaches in spite of its simplicity.


title: Uncertainty-Aware Multiple-Instance Learning for Reliable Classification: Application to Optical Coherence Tomography

abstract: Deep learning classification models for medical image analysis often perform well on data from scanners that were used during training. However, when these models are applied to data from different vendors, their performance tends to drop substantially. Artifacts that only occur within scans from specific scanners are major causes of this poor generalizability. We aimed to improve the reliability of deep learning classification models by proposing Uncertainty-Based Instance eXclusion (UBIX). This technique, based on multiple-instance learning, reduces the effect of corrupted instances on the bag-classification by seamlessly integrating out-of-distribution (OOD) instance detection during inference. Although UBIX is generally applicable to different medical images and diverse classification tasks, we focused on staging of age-related macular degeneration in optical coherence tomography. After being trained using images from one vendor, UBIX showed a reliable behavior, with a slight decrease in performance (a decrease of the quadratic weighted kappa ($\kappa_w$) from 0.861 to 0.708), when applied to images from different vendors containing artifacts; while a state-of-the-art 3D neural network suffered from a significant detriment of performance ($\kappa_w$ from 0.852 to 0.084) on the same test set. We showed that instances with unseen artifacts can be identified with OOD detection and their contribution to the bag-level predictions can be reduced, improving reliability without the need for retraining on new data. This potentially increases the applicability of artificial intelligence models to data from other scanners than the ones for which they were developed.


title: Asymptotic Representations for Sequential Decisions, Adaptive Experiments, and Batched Bandits

abstract: We develop asymptotic approximation results that can be applied to sequential estimation and inference problems, adaptive randomized controlled trials, and other statistical decision problems that involve multiple decision nodes with structured and possibly endogenous information sets. Our results extend the classic asymptotic representation theorem used extensively in efficiency bound theory and local power analysis. In adaptive settings where the decision at one stage can affect the observation of variables in later stages, we show that a limiting data environment characterizes all limit distributions attainable through a joint choice of an adaptive design rule and statistics applied to the adaptively generated data, under local alternatives. We illustrate how the theory can be applied to study the choice of adaptive rules and end-of-sample statistical inference in batched (groupwise) sequential adaptive experiments.


title: From Emulation to Mathematical: A More General Traffic Obfuscation Approach To Encounter Feature based Mobile App traffic Classification

abstract: The usage of the mobile app is unassailable in this digital era. While tons of data are generated daily, user privacy security concerns become an important issue. Nowadays, tons of techniques, such as machine learning and deep learning traffic classifiers, have been applied to analyze users app traffic. These techniques allow the monitor to get the fingerprints of using apps while the user traffic is still encrypted, which raises a severe privacy issue. In order to fight against this type of data analysis, people have been researching obfuscation algorithms to confuse feature-based machine learning classifiers with data camouflage by modification on packet length distribution. The existing works achieve this goal by remapping traffic packet length distribution from the source app to the fake camouflage app. However, this solution suffers from its lack of scalability and flexibility in practical application since the method needs to pre-sample the target fake apps traffic before the use of traffic camouflage. In this paper, we proposed a practical solution by using a mathematical model to calculate the target distribution while maintaining at least 50 percent accuracy drops on the performance of the AppScanner mobile traffic classifier and roughly 20 percent overhead created during packet modification.


title: Accidental CR structures

abstract: We noticed a discrepancy between \'Elie Cartan and Sigurdur Helgason about the lowest possible dimension in which the simple exceptional Lie group ${\bf E}_8$ can be realized. This raised the question about the lowest dimensions in which various real forms of the exceptional groups ${\bf E}_\ell$ can be realized. Cartan claims that ${\bf E}_6$ can be realized in dimension 16. However Cartan refers to the complex group ${\bf E}_6$, or its split real form $E_I$. His claim is also valid in the case of the real form denoted by $E_{IV}$. We find however that the real forms $E_{II}$ and $E_{III}$ of ${\bf E}_6$ can not be realized in dimension 16 \`a la Cartan. In this paper we realize them in dimension 24 as groups of CR automorphisms of certain CR structures of higher codimension. As a byproduct of these two realizations, we provide a full list of CR structures $(M,H,J)$ and their CR embeddings in an appropriate ${\bf C}^N$, which satisfy the following conditions: (1) they have real codimension $k>1$, (2) the real vector distribution $H$ proper for the action of the complex structure $J$ is such that $[H,H]+H=TM$, (3) the local group $G_J$ of CR automorphisms of the structure $(M,H,J)$ is simple, acts transitively on $M$ and has isotropy $P$ being a parabolic subgroup in $G_J$, (4) the local symmetry group $G$ of the vector distribution $H$ on $M$ coincides with the group $G_J$ of CR automorphisms of $(M,H,J)$. Because all the CR structures from our list satisfy the last property we call them accidental. Our CR structures of higher codimension with the exceptional symmetries $E_{II}$ and $E_{III}$ are particular entries in this list.


title: Studying Therapy Effects and Disease Outcomes in Silico using Artificial Counterfactual Tissue Samples

abstract: Understanding the interactions of different cell types inside the immune tumor microenvironment (iTME) is crucial for the development of immunotherapy treatments as well as for predicting their outcomes. Highly multiplexed tissue imaging (HMTI) technologies offer a tool which can capture cell properties of tissue samples by measuring expression of various proteins and storing them in separate image channels. HMTI technologies can be used to gain insights into the iTME and in particular how the iTME differs for different patient outcome groups of interest (e.g., treatment responders vs. non-responders). Understanding the systematic differences in the iTME of different patient outcome groups is crucial for developing better treatments and personalising existing treatments. However, such analyses are inherently limited by the fact that any two tissue samples vary due to a large number of factors unrelated to the outcome. Here, we present CF-HistoGAN, a machine learning framework that employs generative adversarial networks (GANs) to create artificial counterfactual tissue samples that resemble the original tissue samples as closely as possible but capture the characteristics of a different patient outcome group. Specifically, we learn to "translate" HMTI samples from one patient group to create artificial paired samples. We show that this approach allows to directly study the effects of different patient outcomes on the iTMEs of individual tissue samples. We demonstrate that CF-HistoGAN can be employed as an explorative tool for understanding iTME effects on the pixel level. Moreover, we show that our method can be used to identify statistically significant differences in the expression of different proteins between patient groups with greater sensitivity compared to conventional approaches.


title: Value Distributions of Perfect Nonlinear Functions

abstract: In this paper, we study the value distributions of perfect nonlinear functions, i.e., we investigate the sizes of image and preimage sets. Using purely combinatorial tools, we develop a framework that deals with perfect nonlinear functions in the most general setting, generalizing several results that were achieved under specific constraints. For the particularly interesting elementary abelian case, we derive several new strong conditions and classification results on the value distributions. Moreover, we show that most of the classical constructions of perfect nonlinear functions have very specific value distributions, in the sense that they are almost balanced. Consequently, we completely determine the possible value distributions of vectorial Boolean bent functions with output dimension at most 4. Finally, using the discrete Fourier transform, we show that in some cases value distributions can be used to determine whether a given function is perfect nonlinear, or to decide whether given perfect nonlinear functions are equivalent.


title: State-wise Safe Reinforcement Learning: A Survey

abstract: Despite the tremendous success of Reinforcement Learning (RL) algorithms in simulation environments, applying RL to real-world applications still faces many challenges. A major concern is safety, in another word, constraint satisfaction. State-wise constraints are one of the most common constraints in real-world applications and one of the most challenging constraints in Safe RL. Enforcing state-wise constraints is necessary and essential to many challenging tasks such as autonomous driving, robot manipulation. This paper provides a comprehensive review of existing approaches that address state-wise constraints in RL. Under the framework of State-wise Constrained Markov Decision Process (SCMDP), we will discuss the connections, differences, and trade-offs of existing approaches in terms of (i) safety guarantee and scalability, (ii) safety and reward performance, and (iii) safety after convergence and during training. We also summarize limitations of current methods and discuss potential future directions.


title: $\mathscr Q$-Sets and Friends: Categorical Constructions and Categorical Properties

abstract: This work mainly concerns the -- here introduced -- category of $\mathscr Q$-sets and functional morphisms, where $\mathscr Q$ is a commutative semicartesian quantale. We describe, in detail, the limits and colimits of this complete and cocomplete category and prove that it has a classifier for regular subobjects. Moreover, we prove that it is $\kappa^+$-locally presentable category, where $\kappa=max\{|\mathscr Q|, \aleph_0)\}$ and describe a hierarchy of semicartesian monoidal closed structures in this category. Finally, we discuss the issue of 'change of basis' induced by appropriate morphisms between the parametrizing quantales involved in the definition of $\mathscr Q$-sets. In a future work we will address such questions in the full subcategory given by all Scott-complete $\mathscr Q$-sets


title: Autodecompose: A generative self-supervised model for semantic decomposition

abstract: We introduce Autodecompose, a novel self-supervised generative model that decomposes data into two semantically independent properties: the desired property, which captures a specific aspect of the data (e.g. the voice in an audio signal), and the context property, which aggregates all other information (e.g. the content of the audio signal), without any labels given. Autodecompose uses two complementary augmentations, one that manipulates the context while preserving the desired property and the other that manipulates the desired property while preserving the context. The augmented variants of the data are encoded by two encoders and reconstructed by a decoder. We prove that one of the encoders embeds the desired property while the other embeds the context property. We apply Autodecompose to audio signals to encode sound source (human voice) and content. We pre-trained the model on YouTube and LibriSpeech datasets and fine-tuned in a self-supervised manner without exposing the labels. Our results showed that, using the sound source encoder of pre-trained Autodecompose, a linear classifier achieves F1 score of 97.6\% in recognizing the voice of 30 speakers using only 10 seconds of labeled samples, compared to 95.7\% for supervised models. Additionally, our experiments showed that Autodecompose is robust against overfitting even when a large model is pre-trained on a small dataset. A large Autodecompose model was pre-trained from scratch on 60 seconds of audio from 3 speakers achieved over 98.5\% F1 score in recognizing those three speakers in other unseen utterances. We finally show that the context encoder embeds information about the content of the speech and ignores the sound source information. Our sample code for training the model, as well as examples for using the pre-trained models are available here: \url{https://github.com/rezabonyadi/autodecompose}


title: On oscillating sticky Brownian motion

abstract: Starting with a Brownian motion, we define and study a novel diffusion process by combining stickiness and oscillation properties. The associated stochastic differential equation, resolvent and semigroup are provided. Also the trivariate density of position, local time and occupation time of this diffusion is obtained explicitly. Furthermore, we give a construction of two Brownian motions with drift and scaling whose difference is an oscillating sticky Brownian motion, up to a multiplicative constant.


title: Context-Gloss Augmentation for Improving Arabic Target Sense Verification

abstract: Arabic language lacks semantic datasets and sense inventories. The most common semantically-labeled dataset for Arabic is the ArabGlossBERT, a relatively small dataset that consists of 167K context-gloss pairs (about 60K positive and 107K negative pairs), collected from Arabic dictionaries. This paper presents an enrichment to the ArabGlossBERT dataset, by augmenting it using (Arabic-English-Arabic) machine back-translation. Augmentation increased the dataset size to 352K pairs (149K positive and 203K negative pairs). We measure the impact of augmentation using different data configurations to fine-tune BERT on target sense verification (TSV) task. Overall, the accuracy ranges between 78% to 84% for different data configurations. Although our approach performed at par with the baseline, we did observe some improvements for some POS tags in some experiments. Furthermore, our fine-tuned models are trained on a larger dataset covering larger vocabulary and contexts. We provide an in-depth analysis of the accuracy for each part-of-speech (POS).


title: Numerical validation of Ehrenfest theorem in a Bohmian perspective for non-conservative systems

abstract: In this work we make a high precision numerical study of the Ehrenfest theorem using the Bohmian approach, where we obtain classical solutions from the quantum trajectories performing the Bohmian averages. We analyse the one-dimensional quantum harmonic and Duffing oscillator cases, finding numerical solutions of the time-dependent Schr\"odinger equation and the guidance equation for different sets of initial conditions and connects these results with the corresponding classical solutions. We also investigate the effect of introducing external forces of three types: a simple constant force, a fast-acting Gaussian impulse, and an oscillatory force with different frequencies. In the last case the resonance in the quantum trajectories was observed.


title: Cooperverse: A Mobile-Edge-Cloud Framework for Universal Cooperative Perception with Mixed Connectivity and Automation

abstract: Cooperative perception (CP) is attracting increasing attention and is regarded as the core foundation to support cooperative driving automation, a potential key solution to addressing the safety, mobility, and sustainability issues of contemporary transportation systems. However, current research on CP is still at the beginning stages where a systematic problem formulation of CP is still missing, acting as the essential guideline of the system design of a CP system under real-world situations. In this paper, we formulate a universal CP system into an optimization problem and a mobile-edge-cloud framework called Cooperverse. This system addresses CP in a mixed connectivity and automation environment. A Dynamic Feature Sharing (DFS) methodology is introduced to support this CP system under certain constraints and a Random Priority Filtering (RPF) method is proposed to conduct DFS with high performance. Experiments have been conducted based on a high-fidelity CP platform, and the results show that the Cooperverse framework is effective for dynamic node engagement and the proposed DFS methodology can improve system CP performance by 14.5% and the RPF method can reduce the communication cost for mobile nodes by 90% with only 1.7% drop for average precision.


title: The Los Alamos evaluation of $^{239}$Pu neutron-induced reactions in the fast energy range

abstract: A major revision of the evaluation of $^{239}$Pu neutron-induced reaction cross sections is reported in the fast energy range. The evaluation starts at 2.5 keV incident neutron energy and has been extended up to 30 MeV. Several other notable changes are included in this evaluation since the release of ENDF/B-VIII.0 including the adoption of the Standards fission cross section, inclusion of new radiative capture data of Mosby et al., inclusion of the (n,2n) data of Meot et al., in addition to advances in the treatment of reaction modeling. In contrast to previous evaluation efforts, this evaluation is reproducible with detailed information stored chronologically utilizing a Git repository. The final evaluation results have been compiled into an ENDF-formatted file, which has been processed successfully through NJOY, checked for internal consistency, benchmarked versus older evaluations and validated against a suite of critical assemblies and pulsed-spheres.


title: Spatial Functa: Scaling Functa to ImageNet Classification and Generation

abstract: Neural fields, also known as implicit neural representations, have emerged as a powerful means to represent complex signals of various modalities. Based on this Dupont et al. (2022) introduce a framework that views neural fields as data, termed *functa*, and proposes to do deep learning directly on this dataset of neural fields. In this work, we show that the proposed framework faces limitations when scaling up to even moderately complex datasets such as CIFAR-10. We then propose *spatial functa*, which overcome these limitations by using spatially arranged latent representations of neural fields, thereby allowing us to scale up the approach to ImageNet-1k at 256x256 resolution. We demonstrate competitive performance to Vision Transformers (Steiner et al., 2022) on classification and Latent Diffusion (Rombach et al., 2022) on image generation respectively.


title: Extensions for Inference in Difference-in-Differences with Few Treated Clusters

abstract: In settings with few treated units, Difference-in-Differences (DID) estimators are not consistent, and are not generally asymptotically normal. This poses relevant challenges for inference. While there are inference methods that are valid in these settings, some of these alternatives are not readily available when there is variation in treatment timing and heterogeneous treatment effects; or for deriving uniform confidence bands for event-study plots. We present alternatives in settings with few treated units that are valid with variation in treatment timing and/or that allow for uniform confidence bands.


title: Importance attribution in neural networks by means of persistence landscapes of time series

abstract: We propose and implement a method to analyze time series with a neural network using a matrix of area-normalized persistence landscapes obtained through topological data analysis. We include a gating layer in the network's architecture that is able to identify the most relevant landscape levels for the classification task, thus working as an importance attribution system. Next, we perform a matching between the selected landscape functions and the corresponding critical points of the original time series. From this matching we are able to reconstruct an approximate shape of the time series that gives insight into the classification decision. We test this technique with input data from a dataset of electrocardiographic signals.


title: Domain Adaptation for Time Series Under Feature and Label Shifts

abstract: Unsupervised domain adaptation (UDA) enables the transfer of models trained on source domains to unlabeled target domains. However, transferring complex time series models presents challenges due to the dynamic temporal structure variations across domains. This leads to feature shifts in the time and frequency representations. Additionally, the label distributions of tasks in the source and target domains can differ significantly, posing difficulties in addressing label shifts and recognizing labels unique to the target domain. Effectively transferring complex time series models remains a formidable problem. We present Raincoat, the first model for both closed-set and universal domain adaptation on complex time series. Raincoat addresses feature and label shifts by considering both temporal and frequency features, aligning them across domains, and correcting for misalignments to facilitate the detection of private labels. Additionally, Raincoat improves transferability by identifying label shifts in target domains. Our experiments with 5 datasets and 13 state-of-the-art UDA methods demonstrate that Raincoat can improve transfer learning performance by up to 16.33% and can handle both closed-set and universal domain adaptation.


title: Correcting Bandwidth Depolarization by Extreme Faraday Rotation

abstract: Measurements of the polarization of radio emission are subject to a number of depolarization effects such as bandwidth depolarization, which is caused by the averaging effect of a finite channel bandwidth combined with the frequency-dependent polarization caused by Faraday rotation. There have been very few mathematical treatments of bandwidth depolarization, especially in the context of the rotation measure (RM) synthesis method for analyzing radio polarization data. We have found a simple equation for predicting if bandwidth depolarization is significant for a given observational configuration. We have derived and tested three methods of modifying RM synthesis to correct for bandwidth depolarization. From these tests we have developed a new algorithm that can detect bandwidth-depolarized signals with higher signal-to-noise than conventional RM synthesis and recover the correct source polarization properties (RM and polarized intensity). We have verified that this algorithm works as expected with real data from the LOFAR Two-metre Sky Survey. To make this algorithm available to the community, we have added it as a new tool in the RM-Tools polarization analysis package.


title: Monotone Function Intervals: Theory and Applications

abstract: A monotone function interval is the set of monotone functions that lie pointwise between two fixed monotone functions. We characterize the set of extreme points of monotone function intervals and apply this to a number of economic settings. First, we leverage the main result to characterize the set of distributions of posterior quantiles that can be induced by a signal, with applications to political economy, Bayesian persuasion, and the psychology of judgment. Second, we combine our characterization with properties of convex optimization problems to unify and generalize seminal results in the literature on security design under adverse selection and moral hazard.


title: Learned Accelerator Framework for Angular-Distance-Based High-Dimensional DBSCAN

abstract: Density-based clustering is a commonly used tool in data science. Today many data science works are utilizing high-dimensional neural embeddings. However, traditional density-based clustering techniques like DBSCAN have a degraded performance on high-dimensional data. In this paper, we propose LAF, a generic learned accelerator framework to speed up the original DBSCAN and the sampling-based variants of DBSCAN on high-dimensional data with angular distance metric. This framework consists of a learned cardinality estimator and a post-processing module. The cardinality estimator can fast predict whether a data point is core or not to skip unnecessary range queries, while the post-processing module detects the false negative predictions and merges the falsely separated clusters. The evaluation shows our LAF-enhanced DBSCAN method outperforms the state-of-the-art efficient DBSCAN variants on both efficiency and quality.


title: Predicting Development of Chronic Obstructive Pulmonary Disease and its Risk Factor Analysis

abstract: Chronic Obstructive Pulmonary Disease (COPD) is an irreversible airway obstruction with a high societal burden. Although smoking is known to be the biggest risk factor, additional components need to be considered. In this study, we aim to identify COPD risk factors by applying machine learning models that integrate sociodemographic, clinical, and genetic data to predict COPD development.


title: Convergence rates of a discrete feedback control arising in mean-field linear quadratic optimal control problems

abstract: In this work, we propose a feedback control based temporal discretization for linear quadratic optimal control problems (LQ problems) governed by controlled mean-field stochastic differential equations. We firstly decompose the original problem into two problems: a stochastic LQ problem and a deterministic one. Secondly, we discretize both LQ problems one after another relying on Riccati equations and control's feedback representations. Then, we prove the convergence rates for the proposed discretization and present an effective algorithm. Finally, a numerical example is provided to support the theoretical finding.