title: On the Length of Strongly Monotone Descending Chains over $\mathbb{N}^d$

abstract: A recent breakthrough by K\"unnemann, Mazowiecki, Sch\"utze, Sinclair-Banks, and Wegrzycki (ICALP, 2023) bounds the running time for the coverability problem in $d$-dimensional vector addition systems under unary encoding to $n^{2^{O(d)}}$, improving on Rackoff's $n^{2^{O(d\lg d)}}$ upper bound (Theor. Comput. Sci., 1978), and provides conditional matching lower bounds. In this paper, we revisit Lazi\'c and Schmitz' "ideal view" of the backward coverability algorithm (Inform. Comput., 2021) in the light of this breakthrough. We show that the controlled strongly monotone descending chains of downwards-closed sets over $\mathbb{N}^d$ that arise from the dual backward coverability algorithm of Lazi\'c and Schmitz on $d$-dimensional unary vector addition systems also enjoy this tight $n^{2^{O(d)}}$ upper bound on their length, and that this also translates into the same bound on the running time of the backward coverability algorithm. Furthermore, our analysis takes place in a more general setting than that of Lazi\'c and Schmitz, which allows to show the same results and improve on the 2EXPSPACE upper bound derived by Benedikt, Duff, Sharad, and Worrell (LICS, 2017) for the coverability problem in invertible affine nets.


title: Magicremover: Tuning-free Text-guided Image inpainting with Diffusion Models

abstract: Image inpainting aims to fill in the missing pixels with visually coherent and semantically plausible content. Despite the great progress brought from deep generative models, this task still suffers from i. the difficulties in large-scale realistic data collection and costly model training; and ii. the intrinsic limitations in the traditionally user-defined binary masks on objects with unclear boundaries or transparent texture. In this paper, we propose MagicRemover, a tuning-free method that leverages the powerful diffusion models for text-guided image inpainting. We introduce an attention guidance strategy to constrain the sampling process of diffusion models, enabling the erasing of instructed areas and the restoration of occluded content. We further propose a classifier optimization algorithm to facilitate the denoising stability within less sampling steps. Extensive comparisons are conducted among our MagicRemover and state-of-the-art methods including quantitative evaluation and user study, demonstrating the significant improvement of MagicRemover on high-quality image inpainting. We will release our code at https://github.com/exisas/Magicremover.


title: Understanding the Experiences of Neurodivergent Undergraduate Physicists Through Critical Disability Physics Identity

abstract: As more neurodivergent students enter college, discussion on neurodiversity in higher education is gaining momentum. It is increasingly imperative that we understand how neurodivergent individuals construct their identities within the context of physics programs. Using hte Critical Disability Physics Identity framework, this study offers a nuanced analysis of the lived experiences and identity development of neurodivergent undergraduate physicists through the lens of resource use and political agency. By examining the phenomenon of neurodivergent undergraduate physics identity, we uncover the multifaceted dimensions of their lived experiences, including the marginalization caused by a neurotypical-normative culture, the negotiation of conflicting definitions of being a physicist, and the influence of supportive networks. Our findings shed light on the intersectionality of neurodivergent identity and physics identity, offering valuable insights to educators, researchers, and institutions committed to fostering inclusive learning environments. Ultimately, this research contributes to the ongoing dialogue on diversity, equity, inclusion, and justice within physics and higher education as a whole.


title: On the Atypical Solutions of the Symmetric Binary Perceptron

abstract: We study the random binary symmetric perceptron problem, focusing on the behavior of rare high-margin solutions. While most solutions are isolated, we demonstrate that these rare solutions are part of clusters of extensive entropy, heuristically corresponding to non-trivial fixed points of an approximate message-passing algorithm. We enumerate these clusters via a local entropy, defined as a Franz-Parisi potential, which we rigorously evaluate using the first and second moment methods in the limit of a small constraint density $\alpha$ (corresponding to vanishing margin $\kappa$) under a certain assumption on the concentration of the entropy. This examination unveils several intriguing phenomena: i) We demonstrate that these clusters have an entropic barrier in the sense that the entropy as a function of the distance from the reference high-margin solution is non-monotone when $\kappa \le 1.429 \sqrt{-\alpha/\log{\alpha}}$, while it is monotone otherwise, and that they have an energetic barrier in the sense that there are no solutions at an intermediate distance from the reference solution when $\kappa \le 1.239 \sqrt{-\alpha/ \log{\alpha}}$. The critical scaling of the margin $\kappa$ in $\sqrt{-\alpha/\log\alpha}$ corresponds to the one obtained from the earlier work of Gamarnik et al. (2022) for the overlap-gap property, a phenomenon known to present a barrier to certain efficient algorithms. ii) We establish using the replica method that the complexity (the logarithm of the number of clusters of such solutions) versus entropy (the logarithm of the number of solutions in the clusters) curves are partly non-concave and correspond to very large values of the Parisi parameter, with the equilibrium being reached when the Parisi parameter diverges.


title: Dark Side of HAPS Systems: Jamming Threats towards Satellites

abstract: Securing satellite communication networks is imperative in the rapidly evolving landscape of advanced telecommunications, particularly in the context of 6G advancements. This paper establishes a secure low earth orbit (LEO) satellite network paradigm to address the challenges of the evolving 6G era, with a focus on enhancing communication integrity between satellites and ground stations. Countering the threat of jamming, which can disrupt vital communication channels, is a key goal of this work. In particular, this paper investigates the performance of two LEO satellite communication scenarios under the presence of jamming attacker. In the first scenario, we consider a system that comprises one transmitting satellite, a receiving ground station, and a high altitude platform station (HAPS) acting as a jammer. The HAPS disrupts communication between the satellite and the ground station, impeding signal transmission. The second scenario involves two satellites, one is the transmitter while the other works as a relay, accompanied by a ground station, and a jamming HAPS. In this scenario, the transmitting satellite sends data to the ground station using two different paths, i.e., direct and indirect transmission paths, with a relay satellite acting as an intermediary in the case of indirect transmission. For both scenarios, we study the system security by developing mathematical frameworks to investigate the outage effect resulting from the jamming signals orchestrated by the HAPS. Our results show that the satellite cooperation in the second scenario improves the system's security since the extreme jamming effect occurs only when both links are simultaneously disturbed.


title: Algebraic $K$-theory for squares categories

abstract: In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of exact and subtractive categories to satisfy a four-term relation $[A]+[D]= [C] + [B]$ for a ``good'' square diagram with these corners. Examples that rely on this formalism are $K$-theory of smooth manifolds of a fixed dimension and $K$-theory of (smooth and) complete varieties. Another application we give of this theory is the construction of a derived motivic measure taking value in the $K$-theory of homotopy sheaves.


title: A Simulation of the Photoionization of H- Together with the Subsequent Tracking of the Liberated Electrons

abstract: The Proton Improvement Plan - II (PIP-II) is a new linear accelerator (LINAC) complex being built at Fermilab. It is based on superconducting radiofrequency cavities and will accelerate H- ions to 800 MeV kinetic energy before injection into the existing Booster ring. Measurements of the profile of the beam along the LINAC must be done by non-intercepting methods due to the superconducting cavities. The method chosen is photoionization of a small number of H- by a focused infrared laser, aka laserwire. The number of ionized electrons is measured as a function of laser position within the H- beam. To aid in the design of the collection mechanism, a simulation was written in MATLAB with input from the commercial electromagnetic simulation, CST. This simulation calculates the number and positions of the liberated electrons and tracks them through the magnetic collection and H- beam fields to the collection point. Results from this simulation for various points along the LINAC will be shown.


title: Multi-Domain Causal Representation Learning via Weak Distributional Invariances

abstract: Causal representation learning has emerged as the center of action in causal machine learning research. In particular, multi-domain datasets present a natural opportunity for showcasing the advantages of causal representation learning over standard unsupervised representation learning. While recent works have taken crucial steps towards learning causal representations, they often lack applicability to multi-domain datasets due to over-simplifying assumptions about the data; e.g. each domain comes from a different single-node perfect intervention. In this work, we relax these assumptions and capitalize on the following observation: there often exists a subset of latents whose certain distributional properties (e.g., support, variance) remain stable across domains; this property holds when, for example, each domain comes from a multi-node imperfect intervention. Leveraging this observation, we show that autoencoders that incorporate such invariances can provably identify the stable set of latents from the rest across different settings.


title: Multi-Resolution Fusion for Fully Automatic Cephalometric Landmark Detection

abstract: Cephalometric landmark detection on lateral skull X-ray images plays a crucial role in the diagnosis of certain dental diseases. Accurate and effective identification of these landmarks presents a significant challenge. Based on extensive data observations and quantitative analyses, we discovered that visual features from different receptive fields affect the detection accuracy of various landmarks differently. As a result, we employed an image pyramid structure, integrating multiple resolutions as input to train a series of models with different receptive fields, aiming to achieve the optimal feature combination for each landmark. Moreover, we applied several data augmentation techniques during training to enhance the model's robustness across various devices and measurement alternatives. We implemented this method in the Cephalometric Landmark Detection in Lateral X-ray Images 2023 Challenge and achieved a Mean Radial Error (MRE) of 1.62 mm and a Success Detection Rate (SDR) 2.0mm of 74.18% in the final testing phase.


title: Locality bounds for quantum dynamics at low energy

abstract: We discuss the generic slowing down of quantum dynamics in low energy density states of spatially local Hamiltonians. Beginning with quantum walks of a single particle, we prove that for certain classes of Hamiltonians (deformations of lattice-regularized $H\propto p^{2k}$), the ``butterfly velocity" of particle motion at low energies has an upper bound that must scale as $E^{(2k-1)/2k}$, as expected from dimensional analysis. We generalize these results to obtain bounds on the typical velocities of particles in many-body systems with repulsive interactions, where for certain families of Hubbard-like models we obtain similar scaling.

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


title: A kinematic study of the disc-outflow system around a high-mass protostar G59.783+0.065 probed by methanol and water masers

abstract: Class II CH3OH masers are used as a convenient tracer of disc-like structures in high-mass star formation. However, more than half of them show a complex distribution in Very Long Baseline Interferometry (VLBI) maps. The origin of such a complex distribution is still unknown. We conducted VLBI monitoring observations to unveil the origin of a complex class II CH3OH maser in the high-mass star-forming region G59.783+0.065. We observed the CH3OH maser at 6.7 GHz and the H2O maser at 22 GHz to probe detailed circumstellar kinematics and structures by the Japanese VLBI network and the VLBI Exploration of Radio Astrometry. We found similar bipolar distributions in both masers, specifically two clusters located 2000 au apart along the East-West direction. We detected a linear distribution of CH3OH masers in the Western cluster. A position-velocity diagram shows that the Western CH3OH masers trace a rotating disc-wind or infalling component inside an edge-on disc-like structure. In contrast to the simple bipolar expanding motions of the H2O masers, the CH3OH masers exhibited complex motions despite their spatial coincidence. Some of the Eastern CH3OH masers showed bipolar expansions similar to the H2O masers, while others displayed random or even inward motions. Such complex kinematics and their close association with the H2O maser could occur at the boundary between outflow and inflow. We suggest that the complex distribution of class II CH3OH masers, like G59.783+0.065 arises from several distinct circumstellar structures that simultaneously achieve maser excitation.


title: Scaling limits of branching Loewner evolutions and the Dyson superprocess

abstract: This work introduces a construction of conformal processes that combines the theory of branching processes with chordal Loewner evolution. The main novelty lies in the choice of driving measure for the Loewner evolution: given a finite genealogical tree $\mathcal{T}$, we choose a driving measure for the Loewner evolution that is supported on a system of particles that evolves by Dyson Brownian motion at inverse temperature $\beta \in (0,\infty]$ between birth and death events. When $\beta=\infty$, the driving measure degenerates to a system of particles that evolves through Coulombic repulsion between branching events. In this limit, the following graph embedding theorem is established: When $\mathcal{T}$ is equipped with a prescribed set of angles, $\{\theta_v \in (0,\pi/2)\}_{v \in \mathcal{T}}$ the hull of the Loewner evolution is an embedding of $\mathcal{T}$ into the upper half-plane with trivalent edges that meet at angles $(2\theta_v,2\pi-4\theta_v,2\theta_v)$ at the image of each edge $v$. We also study the scaling limit when $\beta\in (0,\infty]$ is fixed and $\mathcal{T}$ is a binary Galton-Watson process that converges to a continuous state branching process. We treat both the unconditioned case (when the Galton-Watson process converges to the Feller diffusion) and the conditioned case (when the Galton-Watson tree converges to the continuum random tree). In each case, we characterize the scaling limit of the driving measure as a superprocess. In the unconditioned case, the scaling limit is the free probability analogue of the Dawson-Watanabe superprocess that we term the Dyson superprocess.


title: Tight Sampling in Unbounded Networks

abstract: The default approach to deal with the enormous size and limited accessibility of many Web and social media networks is to sample one or more subnetworks from a conceptually unbounded unknown network. Clearly, the extracted subnetworks will crucially depend on the sampling scheme. Motivated by studies of homophily and opinion formation, we propose a variant of snowball sampling designed to prioritize inclusion of entire cohesive communities rather than any kind of representativeness, breadth, or depth of coverage. The method is illustrated on a concrete example, and experiments on synthetic networks suggest that it behaves as desired.


title: A study of some recent irreducibility criteria for polynomials having integer coefficients

abstract: In this article, we give an account of some recent irreducibility testing criteria for polynomials having integer coefficients over the field of rational numbers.


title: Rayleigh Quotient Graph Neural Networks for Graph-level Anomaly Detection

abstract: Graph-level anomaly detection has gained significant attention as it finds applications in various domains, such as cancer diagnosis and enzyme prediction. However, existing methods fail to capture the spectral properties of graph anomalies, resulting in unexplainable framework design and unsatisfying performance. In this paper, we re-investigate the spectral differences between anomalous and normal graphs. Our main observation shows a significant disparity in the accumulated spectral energy between these two classes. Moreover, we prove that the accumulated spectral energy of the graph signal can be represented by its Rayleigh Quotient, indicating that the Rayleigh Quotient is a driving factor behind the anomalous properties of graphs. Motivated by this, we propose Rayleigh Quotient Graph Neural Network (RQGNN), the first spectral GNN that explores the inherent spectral features of anomalous graphs for graph-level anomaly detection. Specifically, we introduce a novel framework with two components: the Rayleigh Quotient learning component (RQL) and Chebyshev Wavelet GNN with RQ-pooling (CWGNN-RQ). RQL explicitly captures the Rayleigh Quotient of graphs and CWGNN-RQ implicitly explores the spectral space of graphs. Extensive experiments on 10 real-world datasets show that RQGNN outperforms the best rival by 6.74% in Macro-F1 score and 1.44% in AUC, demonstrating the effectiveness of our framework. Our code is available at https://github.com/xydong127/RQGNN.


title: A novel asymmetrical autoencoder with a sparsifying discrete cosine Stockwell transform layer for gearbox sensor data compression

abstract: The lack of an efficient compression model remains a challenge for the wireless transmission of gearbox data in non-contact gear fault diagnosis problems. In this paper, we present a signal-adaptive asymmetrical autoencoder with a transform domain layer to compress sensor signals. First, a new discrete cosine Stockwell transform (DCST) layer is introduced to replace linear layers in a multi-layer autoencoder. A trainable filter is implemented in the DCST domain by utilizing the multiplication property of the convolution. A trainable hard-thresholding layer is applied to reduce redundant data in the DCST layer to make the feature map sparse. In comparison to the linear layer, the DCST layer reduces the number of trainable parameters and improves the accuracy of data reconstruction. Second, training the autoencoder with a sparsifying DCST layer only requires a small number of datasets. The proposed method is superior to other autoencoder-based methods on the University of Connecticut (UoC) and Southeast University (SEU) gearbox datasets, as the average quality score is improved by 2.00% at the lowest and 32.35% at the highest with a limited number of training samples


title: Conformal Predictions for Longitudinal Data

abstract: We introduce Longitudinal Predictive Conformal Inference (LPCI), a novel distribution-free conformal prediction algorithm for longitudinal data. Current conformal prediction approaches for time series data predominantly focus on the univariate setting, and thus lack cross-sectional coverage when applied individually to each time series in a longitudinal dataset. The current state-of-the-art for longitudinal data relies on creating infinitely-wide prediction intervals to guarantee both cross-sectional and asymptotic longitudinal coverage. The proposed LPCI method addresses this by ensuring that both longitudinal and cross-sectional coverages are guaranteed without resorting to infinitely wide intervals. In our approach, we model the residual data as a quantile fixed-effects regression problem, constructing prediction intervals with a trained quantile regressor. Our extensive experiments demonstrate that LPCI achieves valid cross-sectional coverage and outperforms existing benchmarks in terms of longitudinal coverage rates. Theoretically, we establish LPCI's asymptotic coverage guarantees for both dimensions, with finite-width intervals. The robust performance of LPCI in generating reliable prediction intervals for longitudinal data underscores its potential for broad applications, including in medicine, finance, and supply chain management.


title: Estimation of Models with Limited Data by Leveraging Shared Structure

abstract: Modern data sets, such as those in healthcare and e-commerce, are often derived from many individuals or systems but have insufficient data from each source alone to separately estimate individual, often high-dimensional, model parameters. If there is shared structure among systems however, it may be possible to leverage data from other systems to help estimate individual parameters, which could otherwise be non-identifiable. In this paper, we assume systems share a latent low-dimensional parameter space and propose a method for recovering $d$-dimensional parameters for $N$ different linear systems, even when there are only $T<d$ observations per system. To do so, we develop a three-step algorithm which estimates the low-dimensional subspace spanned by the systems' parameters and produces refined parameter estimates within the subspace. We provide finite sample subspace estimation error guarantees for our proposed method. Finally, we experimentally validate our method on simulations with i.i.d. regression data and as well as correlated time series data.


title: On Lipschitz partitions of unity and the Assouad--Nagata dimension

abstract: We show that the standard partition of unity subordinate to an open cover of a metric space has Lipschitz constant $\max(1,M-1)/\mathcal{L}$, where $\mathcal{L}$ is the Lebesgue number and $M$ is the multiplicity of the cover. If the metric space satisfies the approximate midpoint property, such as length spaces do, then the upper bound improves to $(M-1)/(2\mathcal{L})$. These Lipschitz estimates are optimal. We also address the Lipschitz analysis of $\ell^{p}$-generalizations of the standard partition of unity, their partial sums, and their categorical products. Lastly, we characterize metric spaces with Assouad--Nagata dimension $n$ as exactly those metric spaces for which every Lebesgue cover admits an open refinement with multiplicity $n+1$ while reducing the Lebesgue number by at most a constant factor.


title: On the possible experimental revelations of Unruh and Sokolov-Ternov effects

abstract: In this paper we propose generalizations of the Sokolov-Ternov and Unruh effects, and discuss the possibility to measure them on different experiments.


title: Learning Probability Distributions of Day-Ahead Electricity Prices

abstract: We propose a novel machine learning approach to probabilistic forecasting of hourly day-ahead electricity prices. In contrast to recent advances in data-rich probabilistic forecasting that approximate the distributions with some features such as moments, our method is non-parametric and selects the best distribution from all possible empirical distributions learned from the data. The model we propose is a multiple output neural network with a monotonicity adjusting penalty. Such a distributional neural network can learn complex patterns in electricity prices from data-rich environments and it outperforms state-of-the-art benchmarks.


title: Luminosity dependent cyclotron line in Swift J1626.6-5156

abstract: We studied the timing and spectral properties of the Be/X-ray pulsar Swift J1626.6-5156 using the \emph{NICER} observations of its 2021 outburst. The most important observation is the positive correlation of the centroid energy of the fundamental cyclotron line with the luminosity. This observation agrees with the usual positive correlation of the centroid energy cyclotron line with luminosity in the sub-critical regime. The correlation between the two quantities is verified using two different continuum models. The photon index decreases with an increase in flux. Thus, the spectrum is softer when the flux is low, which may be due to a decrease in the optical depth of the accretion column with a decrease in the flux.


title: Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications

abstract: This paper introduces harmonic control Lyapunov barrier functions (harmonic CLBF) that aid in constrained control problems such as reach-avoid problems. Harmonic CLBFs exploit the maximum principle that harmonic functions satisfy to encode the properties of control Lyapunov barrier functions (CLBFs). As a result, they can be initiated at the start of an experiment rather than trained based on sample trajectories. The control inputs are selected to maximize the inner product of the system dynamics with the steepest descent direction of the harmonic CLBF. Numerical results are presented with four different systems under different reach-avoid environments. Harmonic CLBFs show a significantly low risk of entering unsafe regions and a high probability of entering the goal region.


title: Stable and Interpretable Deep Learning for Tabular Data: Introducing InterpreTabNet with the Novel InterpreStability Metric

abstract: As Artificial Intelligence (AI) integrates deeper into diverse sectors, the quest for powerful models has intensified. While significant strides have been made in boosting model capabilities and their applicability across domains, a glaring challenge persists: many of these state-of-the-art models remain as black boxes. This opacity not only complicates the explanation of model decisions to end-users but also obstructs insights into intermediate processes for model designers. To address these challenges, we introduce InterpreTabNet, a model designed to enhance both classification accuracy and interpretability by leveraging the TabNet architecture with an improved attentive module. This design ensures robust gradient propagation and computational stability. Additionally, we present a novel evaluation metric, InterpreStability, which quantifies the stability of a model's interpretability. The proposed model and metric mark a significant stride forward in explainable models' research, setting a standard for transparency and interpretability in AI model design and application across diverse sectors. InterpreTabNet surpasses other leading solutions in tabular data analysis across varied application scenarios, paving the way for further research into creating deep-learning models that are both highly accurate and inherently explainable. The introduction of the InterpreStability metric ensures that the interpretability of future models can be measured and compared in a consistent and rigorous manner. Collectively, these contributions have the potential to promote the design principles and development of next-generation interpretable AI models, widening the adoption of interpretable AI solutions in critical decision-making environments.


title: Cluster braid groups of Coxeter-Dynkin diagrams

abstract: Cluster exchange groupoids are introduced by King-Qiu as an enhancement of cluster exchange graphs to study stability conditions and quadratic differentials. In this paper, we introduce the exchange groupoid for any finite Coxeter-Dynkin diagram $\Delta$ and show that the fundamental group of which is isomorphic to the corresponding braid group associated with $\Delta$.


title: CMSSW Scaling Limits on Many-Core Machines

abstract: Today the LHC offline computing relies heavily on CPU resources, despite the interest in compute accelerators, such as GPUs, for the longer term future. The number of cores per CPU socket has continued to increase steadily, reaching the levels of 64 cores (128 threads) with recent AMD EPYC processors, and 128 cores on Ampere Altra Max ARM processors. Over the course of the past decade, the CMS data processing framework, CMSSW, has been transformed from a single-threaded framework into a highly concurrent one. The first multithreaded version was brought into production by the start of the LHC Run 2 in 2015. Since then, the framework's threading efficiency has gradually been improved by adding more levels of concurrency and reducing the amount of serial code paths. The latest addition was support for concurrent Runs. In this work we review the concurrency model of the CMSSW, and measure its scalability with real CMS applications, such as simulation and reconstruction, on mode rn many-core machines. We show metrics such as event processing throughput and application memory usage with and without the contribution of I/O, as I/O has been the major scaling limitation for the CMS applications.


title: Deconvolving the complex structure of the asteroid belt

abstract: The asteroid belt is a unique source of information on some of the most important questions facing solar system science. These questions include the sizes, numbers, types and orbital distributions of the planetesimals that formed the planets, and the identification of those asteroids that are the sources of meteorites and near-Earth asteroids. Answering these questions requires an understanding of the dynamical evolution of the asteroid belt, but this evolution is governed by a complex interplay of mechanisms that include catastrophic disruption, orbital evolution driven by Yarkovsky radiation forces, and chaotic orbital evolution driven by gravitational forces. While the timescales of these loss mechanisms have been calculated using estimates of some critical parameters that include the thermal properties, strengths and mean densities of the asteroids, we argue here that the uncertainties in these parameters are so large that deconvolution of the structure of the asteroid belt must be guided primarily by observational constraints. We argue that observations of the inner asteroid belt indicate that the size-frequency distribution is not close to the equilibrium distribution postulated by Dohnanyi (1969). We also discuss the correlations observed between the sizes and the orbital elements of the asteroids. While some of these correlations are significant and informative, others are spurious and may arise from the limitations of the Hierarchical Clustering Method that is currently used to define family membership.


title: Recent Methodological Advances in Federated Learning for Healthcare

abstract: For healthcare datasets, it is often not possible to combine data samples from multiple sites due to ethical, privacy or logistical concerns. Federated learning allows for the utilisation of powerful machine learning algorithms without requiring the pooling of data. Healthcare data has many simultaneous challenges which require new methodologies to address, such as highly-siloed data, class imbalance, missing data, distribution shifts and non-standardised variables. Federated learning adds significant methodological complexity to conventional centralised machine learning, requiring distributed optimisation, communication between nodes, aggregation of models and redistribution of models. In this systematic review, we consider all papers on Scopus that were published between January 2015 and February 2023 and which describe new federated learning methodologies for addressing challenges with healthcare data. We performed a detailed review of the 89 papers which fulfilled these criteria. Significant systemic issues were identified throughout the literature which compromise the methodologies in many of the papers reviewed. We give detailed recommendations to help improve the quality of the methodology development for federated learning in healthcare.


title: Approximating Robot Configuration Spaces with few Convex Sets using Clique Covers of Visibility Graphs

abstract: Many computations in robotics can be dramatically accelerated if the robot configuration space is described as a collection of simple sets. For example, recently developed motion planners rely on a convex decomposition of the free space to design collision-free trajectories using fast convex optimization. In this work, we present an efficient method for approximately covering complex configuration spaces with a small number of polytopes. The approach constructs a visibility graph using sampling and generates a clique cover of this graph to find clusters of samples that have mutual line of sight. These clusters are then inflated into large, full-dimensional, polytopes. We evaluate our method on a variety of robotic systems and show that it consistently covers larger portions of free configuration space, with fewer polytopes, and in a fraction of the time compared to previous methods.


title: Hate Speech Detection in Limited Data Contexts using Synthetic Data Generation

abstract: A growing body of work has focused on text classification methods for detecting the increasing amount of hate speech posted online. This progress has been limited to only a select number of highly-resourced languages causing detection systems to either under-perform or not exist in limited data contexts. This is majorly caused by a lack of training data which is expensive to collect and curate in these settings. In this work, we propose a data augmentation approach that addresses the problem of lack of data for online hate speech detection in limited data contexts using synthetic data generation techniques. Given a handful of hate speech examples in a high-resource language such as English, we present three methods to synthesize new examples of hate speech data in a target language that retains the hate sentiment in the original examples but transfers the hate targets. We apply our approach to generate training data for hate speech classification tasks in Hindi and Vietnamese. Our findings show that a model trained on synthetic data performs comparably to, and in some cases outperforms, a model trained only on the samples available in the target domain. This method can be adopted to bootstrap hate speech detection models from scratch in limited data contexts. As the growth of social media within these contexts continues to outstrip response efforts, this work furthers our capacities for detection, understanding, and response to hate speech.


title: Stationarity without mean reversion in improper Gaussian processes

abstract: The behavior of a GP regression depends on the choice of covariance function. Stationary covariance functions are preferred in machine learning applications. However, (non-periodic) stationary covariance functions are always mean reverting and can therefore exhibit pathological behavior when applied to data that does not relax to a fixed global mean value. In this paper we show that it is possible to use improper GP priors with infinite variance to define processes that are stationary but not mean reverting. To this aim, we use of non-positive kernels that can only be defined in this limit regime. The resulting posterior distributions can be computed analytically and it involves a simple correction of the usual formulas. The main contribution of the paper is the introduction of a large family of smooth non-reverting covariance functions that closely resemble the kernels commonly used in the GP literature (e.g. squared exponential and Mat\'ern class). By analyzing both synthetic and real data, we demonstrate that these non-positive kernels solve some known pathologies of mean reverting GP regression while retaining most of the favorable properties of ordinary smooth stationary kernels.


title: A Database of Magnetic and Thermodynamic Properties of Confined And Eruptive Solar Flares

abstract: Solar flares sometimes lead to coronal mass ejections that directly affect the Earth's environment. However, a large fraction of flares, including on solar-type stars, are confined flares. What are the differences in physical properties between confined and eruptive flares? For the first time, we quantify thermodynamic and magnetic properties of hundreds of confined and eruptive flares of GOES class C5.0 and above, 480 flares total. We first analyze large flares of GOES class M1.0 and above observed by the Solar Dynamics Observatory (SDO): 216 flares total, including 103 eruptive and 113 confined flares, from 2010 until 2016 April, we then look at the entire dataset above C5.0 of 480 flares. We compare GOES X-ray thermodynamic flare properties, including peak temperature and emission measure, and active-region and flare-ribbon magnetic field properties, including reconnected magnetic flux and peak reconnection rate. We find that for fixed peak X-ray flux, confined and eruptive flares have similar reconnection fluxes; however, for fixed peak X-ray flux confined flares have on average larger peak magnetic reconnection rates, are more compact, and occur in larger active regions than eruptive flares. These findings suggest that confined flares are caused by reconnection between more compact, stronger, lower lying magnetic-fields in larger active regions that reorganizes smaller fraction of these regions' fields. This reconnection proceeds at faster rates and ends earlier, potentially leading to more efficient flare particle acceleration in confined flares.


title: Online Mechanism Design with Predictions

abstract: Aiming to overcome some of the limitations of worst-case analysis, the recently proposed framework of "algorithms with predictions" allows algorithms to be augmented with a (possibly erroneous) machine-learned prediction that they can use as a guide. In this framework, the goal is to obtain improved guarantees when the prediction is correct, which is called \emph{consistency}, while simultaneously guaranteeing some worst-case bounds even when the prediction is arbitrarily wrong, which is called \emph{robustness}. The vast majority of the work on this framework has focused on a refined analysis of online algorithms augmented with predictions regarding the future input. A subsequent line of work has also successfully adapted this framework to mechanism design, where the prediction is regarding the private information of strategic agents. In this paper, we initiate the study of online mechanism design with predictions, which combines the challenges of online algorithms with predictions and mechanism design with predictions. We consider the well-studied problem of designing a revenue-maximizing auction to sell a single item to strategic bidders who arrive and depart over time, each with an unknown, private, value for the item. We study the learning-augmented version of this problem where the auction designer is given a prediction regarding the maximum value over all agents. Our main result is a strategyproof mechanism whose revenue guarantees are $\alpha$-consistent with respect to the highest value and $(1-\alpha^2)/4$-robust with respect to the second-highest value, for $\alpha \in [0,1]$. We show that this tradeoff is optimal within a broad and natural family of auctions, meaning that any $\alpha$-consistent mechanism in that family has robustness at most $(1-\alpha^2)/4$. Finally, we extend our mechanism to also achieve expected revenues proportional to the prediction quality.


title: Persistent Memory File Systems: A Survey

abstract: Persistent Memory (PM) is non-volatile byte-addressable memory that offers read and write latencies in the order of magnitude smaller than flash storage, such as SSDs. This survey discusses how file systems address the most prominent challenges in the implementation of file systems for Persistent Memory. First, we discuss how the properties of Persistent Memory change file system design. Second, we discuss work that aims to optimize small file I/O and the associated meta-data resolution. Third, we address how existing Persistent Memory file systems achieve (meta) data persistence and consistency.


title: Immersive ExaBrick: Visualizing Large AMR Data in the CAVE

abstract: Rendering large adaptive mesh refinement (AMR) data in real-time in virtual reality (VR) environments is a complex challenge that demands sophisticated techniques and tools. The proposed solution harnesses the ExaBrick framework and integrates it as a plugin in COVISE, a robust visualization system equipped with the VR-centric OpenCOVER render module. This setup enables direct navigation and interaction within the rendered volume in a VR environment. The user interface incorporates rendering options and functions, ensuring a smooth and interactive experience. We show that high-quality volume rendering of AMR data in VR environments at interactive rates is possible using GPUs.


title: Streaming Euclidean $k$-median and $k$-means with $o(\log n)$ Space

abstract: We consider the classic Euclidean $k$-median and $k$-means objective on data streams, where the goal is to provide a $(1+\varepsilon)$-approximation to the optimal $k$-median or $k$-means solution, while using as little memory as possible. Over the last 20 years, clustering in data streams has received a tremendous amount of attention and has been the test-bed for a large variety of new techniques, including coresets, the merge-and-reduce framework, bicriteria approximation, sensitivity sampling, and so on. Despite this intense effort to obtain smaller sketches for these problems, all known techniques require storing at least $\Omega(\log(n\Delta))$ words of memory, where $n$ is the size of the input and $\Delta$ is the aspect ratio. A natural question is if one can beat this logarithmic dependence on $n$ and $\Delta$. In this paper, we break this barrier by first giving an insertion-only streaming algorithm that achieves a $(1+\varepsilon)$-approximation to the more general $(k,z)$-clustering problem, using $\tilde{\mathcal{O}}\left(\frac{dk}{\varepsilon^2}\right)\cdot(2^{z\log z})\cdot\min\left(\frac{1}{\varepsilon^z},k\right)\cdot\text{poly}(\log\log(n\Delta))$ words of memory. Our techniques can also be used to achieve two-pass algorithms for $k$-median and $k$-means clustering on dynamic streams using $\tilde{\mathcal{O}}\left(\frac{1}{\varepsilon^2}\right)\cdot\text{poly}(d,k,\log\log(n\Delta))$ words of memory.


title: Semiparametric Bernstein-von Mises Theorem for a Parameter in the Heat Equation

abstract: We consider a Bayesian approach for the recovery of the thermal diffusivity for the heat equation when the initial temperature map of the system is unknown. This is a semiparametric inverse problem as the diffusivity is a one-dimensional parameter while the initial condition is infinite-dimensional. We assume that we have access to noisy observations of the system at the initial time 0 and a final time T. We put a Gaussian process prior on the initial condition, and prove a Bernstein-von Mises (BvM) theorem for the marginal posterior of the thermal diffusivity provided that the prior regularity satisfies a restriction determined by the smoothness of the initial condition. We also investigate the behaviour of the marginal posterior for different prior regularities numerically, indicating that the BvM result is not valid if the prior regularity does not satisfy the restriction.


title: Coherence of Group-IV Color Centers

abstract: Group-IV color centers in diamond (SiV, GeV, SnV) have emerged as leading solid-state spin-photon interfaces for quantum information processing applications. However, these qubits require cryogenic temperatures to achieve high fidelity operation due to interactions with the thermal phonon bath. In this work, we: (i) derive a detailed model of the decoherence from first-order acoustic phonon processes acting on the spin-orbit fine structure of these color centers; (ii) demonstrate agreement of the model's predicted coherence times with previous measurements; (iii) identify regimes to suppress phonon-mediated decoherence by changing magnetic-field and strain bias to allow higher temperature operation. This methodology enables prediction of decoherence processes in other color centers and solid-state qubit systems coupled to a thermal bath via a parasitic two-level system. By experiment-anchored decoherence models, we facilitate optimizing qubit coherence for specific applications and devices.


title: Something for (almost) nothing: Improving deep ensemble calibration using unlabeled data

abstract: We present a method to improve the calibration of deep ensembles in the small training data regime in the presence of unlabeled data. Our approach is extremely simple to implement: given an unlabeled set, for each unlabeled data point, we simply fit a different randomly selected label with each ensemble member. We provide a theoretical analysis based on a PAC-Bayes bound which guarantees that if we fit such a labeling on unlabeled data, and the true labels on the training data, we obtain low negative log-likelihood and high ensemble diversity on testing samples. Empirically, through detailed experiments, we find that for low to moderately-sized training sets, our ensembles are more diverse and provide better calibration than standard ensembles, sometimes significantly.


title: Composition of giant planets: the roles of pebbles and planetesimals

abstract: One of the current challenges of planet formation theory is to explain the enrichment of observed exoplanetary atmospheres. Past studies have focused on scenarios where either pebbles or planetesimals were the heavy element enrichment's drivers, we combine here both approaches to understand whether the composition of a planet can constrain its formation pathway. We study three different formation scenarios: pebble accretion, pebble accretion with planetesimal formation, combined pebble and planetesimal accretion. We use the chemcomp code to perform semi-analytical 1D simulations of protoplanetary discs, including viscous evolution, pebble drift, and simple chemistry to simulate the growth of planets from planetary embryos to gas giants as they migrate through the disc, while tracking their composition. Our simulations confirm that the composition of the planetary atmosphere is dominated by the accretion of gas enriched by inward drifting and evaporating pebbles. Including planetesimal formation hinders the enrichment, because the pebbles locked into planetesimals cannot evaporate and enrich the disc. This results in a big drop of the accreted heavy elements both in the planetesimal formation and accretion case, proving that planetesimal formation needs to be inefficient in order to explain planets with high heavy element content. Accretion of planetesimals enhances the refractory component of the atmosphere, leading to low volatile to refractory ratios, contrary to the pure pebble scenario. Such low volatile to refractory ratios can also be achieved by planets migrating in the inner disc in pure pebble scenario. Distinguishing these two scenarios requires knowledge about the planet's atmospheric C/H and O/H ratios, which are higher for pure pebble accretion. Therefore, a detailed knowledge of the composition of planetary atmospheres could help to constrain the planet's formation pathway.


title: A Grammatical Compositional Model for Video Action Detection

abstract: Analysis of human actions in videos demands understanding complex human dynamics, as well as the interaction between actors and context. However, these interaction relationships usually exhibit large intra-class variations from diverse human poses or object manipulations, and fine-grained inter-class differences between similar actions. Thus the performance of existing methods is severely limited. Motivated by the observation that interactive actions can be decomposed into actor dynamics and participating objects or humans, we propose to investigate the composite property of them. In this paper, we present a novel Grammatical Compositional Model (GCM) for action detection based on typical And-Or graphs. Our model exploits the intrinsic structures and latent relationships of actions in a hierarchical manner to harness both the compositionality of grammar models and the capability of expressing rich features of DNNs. The proposed model can be readily embodied into a neural network module for efficient optimization in an end-to-end manner. Extensive experiments are conducted on the AVA dataset and the Something-Else task to demonstrate the superiority of our model, meanwhile the interpretability is enhanced through an inference parsing procedure.


title: A versatile classification tool for galactic activity using optical and infrared colors

abstract: (abridged) The overwhelming majority of diagnostic tools for galactic activity are focused on active galaxies. Passive or dormant galaxies are often excluded from these diagnostics which usually employ emission line features. In this work, we use infrared and optical colors in order to build an all-inclusive galactic activity diagnostic tool that can discriminate between star-forming, AGN, LINER, composite, and passive galaxies, and which can be used in local and low-redshift galaxies. We explore classification criteria based on infrared colors from the 3 WISE bands supplemented with optical colors from the u, g, and r SDSS bands. From these we aim to find the minimal combination of colors for optimal results. Furthermore, to mitigate biases related to aperture effects, we introduce a new WISE photometric scheme combing different sized apertures. We develop a diagnostic tool using machine learning methods that includes both active and passive galaxies under one unified scheme using 3 colors. We find that the combination of W1-W2, W2-W3, and g-r colors offers good performance while the broad availability of these colors for a large number of galaxies ensures wide applicability on large galaxy samples. The overall accuracy is $\sim$81% while the achieved completeness for each class is $\sim$81% for star-forming, $\sim$56% for AGN, $\sim$68% for LINER, $\sim$65% for composite, and $\sim$85% for passive galaxies. Our diagnostic provides a significant improvement over existing IR diagnostics by including all types of active, as well as passive galaxies, and extending them to the local Universe. The inclusion of the optical colors improves their performance in identifying low-luminosity AGN which are generally confused with star-forming galaxies, and helps to identify cases of starbursts with extreme mid-IR colors which mimic obscured AGN galaxies, a well-known problem for most IR diagnostics.


title: Metastability due to a branching-merging structure in a simple network of an exclusion process

abstract: We investigate a simple network, which has a branching-merging structure, using the totally asymmetric simple exclusion process, considering conflicts at the merging point. For both periodic and open boundary conditions, the system exhibits metastability. Specifically, for open boundary conditions, we observe two types of metastability: hysteresis and a nonergodic phase. We analytically determine the tipping points, that is, the critical conditions under which a small disturbance can lead to the collapse of metastability. Our findings provide novel insights into metastability induced by branching-merging structures, which exist in all network systems in various fields.


title: Singularities of the network flow with symmetric initial data

abstract: We study the formation of singularities for the curvature flow of networks when the initial data is symmetric with respect to a pair of perpendicular axes and has two triple junctions. We show that, in this case, the set of singular times is finite.


title: Large-time behavior of two families of operators related to the fractional Laplacian on certain Riemannian manifolds

abstract: This note is concerned with two families of operators related to the fractional Laplacian, the first arising from the Caffarelli-Silvestre extension problem and the second from the fractional heat equation. They both include the Poisson semigroup. We show that on a complete, connected, and non-compact Riemannian manifold of non-negative Ricci curvature, in both cases, the solution with $L^1$ initial data behaves asymptotically as the mass times the fundamental solution. Similar long-time convergence results remain valid on more general manifolds satisfying the Li-Yau two-sided estimate of the heat kernel. The situation changes drastically on hyperbolic space, and more generally on rank one non-compact symmetric spaces: we show that for the Poisson semigroup, the convergence to the Poisson kernel fails -but remains true under the additional assumption of radial initial data.


title: X-rays from a Central "Exhaust Vent" of the Galactic Center Chimney

abstract: Using deep archival observations from the Chandra X-ray Observatory, we present an analysis of linear X-ray-emitting features located within the southern portion of the Galactic center chimney, and oriented orthogonal to the Galactic plane, centered at coordinates l = 0.08 deg, b = -1.42 deg. The surface brightness and hardness ratio patterns are suggestive of a cylindrical morphology which may have been produced by a plasma outflow channel extending from the Galactic center. Our fits of the feature's spectra favor a complex two-component model consisting of thermal and recombining plasma components, possibly a sign of shock compression or heating of the interstellar medium by outflowing material. Assuming a recombining plasma scenario, we further estimate the cooling timescale of this plasma to be on the order of a few hundred to thousands of years, leading us to speculate that a sequence of accretion events onto the Galactic Black Hole may be a plausible quasi-continuous energy source to sustain the observed morphology.


title: Photoelectron circular dichroism upon multiphoton ionization of a chiral alcohol

abstract: We present the first photoelectron circular dichroism (PECD) measurements of chiral alcohols, and in particular 1-Phenylethanol, using multiphoton ionization at 400 nm. Observed PECD values were rather small at $\sim2$%, but could be reliably extracted using both hemispherical integration and Abel inversion approaches. Experimental uncertainties of $<0.3$% (2$\sigma$) were achieved with a collection time of around 2 hours. All experiments were conducted in a new compact spectrometer, featuring a continuous flow supersonic expansion and velocity-map imaging detection. The latter is crucial to extract reliable PECD values, as it allows discrimination of different features in the photoelectron spectrum, which exhibit different and opposing PECD signals. The use of a tabletop multiphoton universal ionization scheme is an important step towards a viable analytical chiral spectrometer based on PECD.


title: Human-centric Behavior Description in Videos: New Benchmark and Model

abstract: In the domain of video surveillance, describing the behavior of each individual within the video is becoming increasingly essential, especially in complex scenarios with multiple individuals present. This is because describing each individual's behavior provides more detailed situational analysis, enabling accurate assessment and response to potential risks, ensuring the safety and harmony of public places. Currently, video-level captioning datasets cannot provide fine-grained descriptions for each individual's specific behavior. However, mere descriptions at the video-level fail to provide an in-depth interpretation of individual behaviors, making it challenging to accurately determine the specific identity of each individual. To address this challenge, we construct a human-centric video surveillance captioning dataset, which provides detailed descriptions of the dynamic behaviors of 7,820 individuals. Specifically, we have labeled several aspects of each person, such as location, clothing, and interactions with other elements in the scene, and these people are distributed across 1,012 videos. Based on this dataset, we can link individuals to their respective behaviors, allowing for further analysis of each person's behavior in surveillance videos. Besides the dataset, we propose a novel video captioning approach that can describe individual behavior in detail on a person-level basis, achieving state-of-the-art results. To facilitate further research in this field, we intend to release our dataset and code.


title: CoLiDE: Concomitant Linear DAG Estimation

abstract: We deal with the combinatorial problem of learning directed acyclic graph (DAG) structure from observational data adhering to a linear structural equation model (SEM). Leveraging advances in differentiable, nonconvex characterizations of acyclicity, recent efforts have advocated a continuous constrained optimization paradigm to efficiently explore the space of DAGs. Most existing methods employ lasso-type score functions to guide this search, which (i) require expensive penalty parameter retuning when the $\textit{unknown}$ SEM noise variances change across problem instances; and (ii) implicitly rely on limiting homoscedasticity assumptions. In this work, we propose a new convex score function for sparsity-aware learning of linear DAGs, which incorporates concomitant estimation of scale and thus effectively decouples the sparsity parameter from the exogenous noise levels. Regularization via a smooth, nonconvex acyclicity penalty term yields CoLiDE ($\textbf{Co}$ncomitant $\textbf{Li}$near $\textbf{D}$AG $\textbf{E}$stimation), a regression-based criterion amenable to efficient gradient computation and closed-form estimation of noise variances in heteroscedastic scenarios. Our algorithm outperforms state-of-the-art methods without incurring added complexity, especially when the DAGs are larger and the noise level profile is heterogeneous. We also find CoLiDE exhibits enhanced stability manifested via reduced standard deviations in several domain-specific metrics, underscoring the robustness of our novel linear DAG estimator.


title: Notes on a Path to AI Assistance in Mathematical Reasoning

abstract: These informal notes are based on the author's lecture at the National Academies of Science, Engineering, and Mathematics workshop on "AI to Assist Mathematical Reasoning" in June 2023. The goal is to think through a path by which we might arrive at AI that is useful for the research mathematician.


title: How Much Training Data is Memorized in Overparameterized Autoencoders? An Inverse Problem Perspective on Memorization Evaluation

abstract: Overparameterized autoencoder models often memorize their training data. For image data, memorization is often examined by using the trained autoencoder to recover missing regions in its training images (that were used only in their complete forms in the training). In this paper, we propose an inverse problem perspective for the study of memorization. Given a degraded training image, we define the recovery of the original training image as an inverse problem and formulate it as an optimization task. In our inverse problem, we use the trained autoencoder to implicitly define a regularizer for the particular training dataset that we aim to retrieve from. We develop the intricate optimization task into a practical method that iteratively applies the trained autoencoder and relatively simple computations that estimate and address the unknown degradation operator. We evaluate our method for blind inpainting where the goal is to recover training images from degradation of many missing pixels in an unknown pattern. We examine various deep autoencoder architectures, such as fully connected and U-Net (with various nonlinearities and at diverse train loss values), and show that our method significantly outperforms previous memorization-evaluation methods that recover training data from autoencoders. Importantly, our method greatly improves the recovery performance also in settings that were previously considered highly challenging, and even impractical, for such recovery and memorization evaluation.


title: Some bidding games converging to their unique pure equilibrium

abstract: We introduce a class of Bayesian bidding games for which we prove that the set of pure Nash equilibria is a (non-empty) sublattice and we give a sufficient condition for uniqueness that is often verified in the context of markets with inelastic demand. We propose a dynamic that converges to the extrema of the equilibrium set and derive a scheme to compute the extreme Nash equilibria.


title: Infinite volume Gibbs states of the generalized mean-field orthoplicial model

abstract: The generalized mean-field orthoplicial model is a mean-field model on a space of continuous spins on $\mathbb{R}^n$ that are constrained to a scaled $(n-1)$-dimensional $\ell_1$-sphere, equivalently a scaled $(n-1)$-dimensional orthoplex, and interact through a general interaction function. The finite volume Gibbs states of this model correspond to singular probability measures. In this paper, we use probabilistic methods to rigorously classify the infinite volume Gibbs states of this model, and we show that they are convex combinations of product states. The predominant methods utilize the theory of large deviations, relative entropy, and equivalence of ensembles, and the key technical tools utilize exact integral representations of certain partition functions and locally uniform estimates of expectations of certain local observables.


title: Lorentz invariants of pure three-qubit states

abstract: Extending the mathematical framework of Phys. Rev. A 102, 052419 (2020) we construct Lorentz invariant quantities of pure three-qubit states. This method serves as a bridge between the well-known local unitary (LU) invariants viz. concurrences and three-tangle of an arbitrary three-qubit pure state and the Lorentz invariants of its reduced two-qubit systems.


title: Efficient Vectorized Backpropagation Algorithms for Training Feedforward Networks Composed of Quadratic Neurons

abstract: Higher order artificial neurons whose outputs are computed by applying an activation function to a higher order multinomial function of the inputs have been considered in the past, but did not gain acceptance due to the extra parameters and computational cost. However, higher order neurons have significantly greater learning capabilities since the decision boundaries of higher order neurons can be complex surfaces instead of just hyperplanes. The boundary of a single quadratic neuron can be a general hyper-quadric surface allowing it to learn many nonlinearly separable datasets. Since quadratic forms can be represented by symmetric matrices, only $\frac{n(n+1)}{2}$ additional parameters are needed instead of $n^2$. A quadratic Logistic regression model is first presented. Solutions to the XOR problem with a single quadratic neuron are considered. The complete vectorized equations for both forward and backward propagation in feedforward networks composed of quadratic neurons are derived. A reduced parameter quadratic neural network model with just $ n $ additional parameters per neuron that provides a compromise between learning ability and computational cost is presented. Comparison on benchmark classification datasets are used to demonstrate that a final layer of quadratic neurons enables networks to achieve higher accuracy with significantly fewer hidden layer neurons. In particular this paper shows that any dataset composed of $\mathcal{C}$ bounded clusters can be separated with only a single layer of $\mathcal{C}$ quadratic neurons.


title: Searching for High-Value Molecules Using Reinforcement Learning and Transformers

abstract: Reinforcement learning (RL) over text representations can be effective for finding high-value policies that can search over graphs. However, RL requires careful structuring of the search space and algorithm design to be effective in this challenge. Through extensive experiments, we explore how different design choices for text grammar and algorithmic choices for training can affect an RL policy's ability to generate molecules with desired properties. We arrive at a new RL-based molecular design algorithm (ChemRLformer) and perform a thorough analysis using 25 molecule design tasks, including computationally complex protein docking simulations. From this analysis, we discover unique insights in this problem space and show that ChemRLformer achieves state-of-the-art performance while being more straightforward than prior work by demystifying which design choices are actually helpful for text-based molecule design.


title: FroSSL: Frobenius Norm Minimization for Efficient Multiview Self-Supervised Learning

abstract: Self-supervised learning (SSL) is a popular paradigm for representation learning. Recent multiview methods can be classified as sample-contrastive, dimension-contrastive, or asymmetric network-based, with each family having its own approach to avoiding informational collapse. While these families converge to solutions of similar quality, it can be empirically shown that some methods are epoch-inefficient and require longer training to reach a target performance. Two main approaches to improving efficiency are covariance eigenvalue regularization and using more views. However, these two approaches are difficult to combine due to the computational complexity of computing eigenvalues. We present the objective function FroSSL which reconciles both approaches while avoiding eigendecomposition entirely. FroSSL works by minimizing covariance Frobenius norms to avoid collapse and minimizing mean-squared error to achieve augmentation invariance. We show that FroSSL reaches competitive accuracies more quickly than any other SSL method and provide theoretical and empirical support that this faster convergence is due to how FroSSL affects the eigenvalues of the embedding covariance matrices. We also show that FroSSL learns competitive representations on linear probe evaluation when used to train a ResNet18 on several datasets, including STL-10, Tiny Imagenet, and Imagenet-100.


title: Spline-based neural network interatomic potentials: blending classical and machine learning models

abstract: While machine learning (ML) interatomic potentials (IPs) are able to achieve accuracies nearing the level of noise inherent in the first-principles data to which they are trained, it remains to be shown if their increased complexities are strictly necessary for constructing high-quality IPs. In this work, we introduce a new MLIP framework which blends the simplicity of spline-based MEAM (s-MEAM) potentials with the flexibility of a neural network (NN) architecture. The proposed framework, which we call the spline-based neural network potential (s-NNP), is a simplified version of the traditional NNP that can be used to describe complex datasets in a computationally efficient manner. We demonstrate how this framework can be used to probe the boundary between classical and ML IPs, highlighting the benefits of key architectural changes. Furthermore, we show that using spline filters for encoding atomic environments results in a readily interpreted embedding layer which can be coupled with modifications to the NN to incorporate expected physical behaviors and improve overall interpretability. Finally, we test the flexibility of the spline filters, observing that they can be shared across multiple chemical systems in order to provide a convenient reference point from which to begin performing cross-system analyses.


title: Use Your INSTINCT: INSTruction optimization for LLMs usIng Neural bandits Coupled with Transformers

abstract: Large language models (LLMs) have shown remarkable instruction-following capabilities and achieved impressive performances in various applications. However, the performances of LLMs depend heavily on the instructions given to them, which are typically manually tuned with substantial human efforts. Recent work has used the query-efficient Bayesian optimization (BO) algorithm to automatically optimize the instructions given to black-box LLMs. However, BO usually falls short when optimizing highly sophisticated (e.g., high-dimensional) objective functions, such as the functions mapping an instruction to the performance of an LLM. This is mainly due to the limited expressive power of the Gaussian process (GP) which is used by BO as a surrogate to model the objective function. Meanwhile, it has been repeatedly shown that neural networks (NNs), especially pre-trained transformers, possess strong expressive power and can model highly complex functions. So, we adopt a neural bandit algorithm which replaces the GP in BO by an NN surrogate to optimize instructions for black-box LLMs. More importantly, the neural bandit algorithm allows us to naturally couple the NN surrogate with the hidden representation learned by a pre-trained transformer (i.e., an open-source LLM), which significantly boosts its performance. These motivate us to propose our INSTruction optimization usIng Neural bandits Coupled with Transformers (INSTINCT) algorithm. We perform instruction optimization for ChatGPT and use extensive experiments to show that INSTINCT consistently outperforms baselines in different tasks, e.g., various instruction induction tasks and the task of improving zero-shot chain-of-thought instructions. Our code is available at https://github.com/xqlin98/INSTINCT.


title: Boosting Dermatoscopic Lesion Segmentation via Diffusion Models with Visual and Textual Prompts

abstract: Image synthesis approaches, e.g., generative adversarial networks, have been popular as a form of data augmentation in medical image analysis tasks. It is primarily beneficial to overcome the shortage of publicly accessible data and associated quality annotations. However, the current techniques often lack control over the detailed contents in generated images, e.g., the type of disease patterns, the location of lesions, and attributes of the diagnosis. In this work, we adapt the latest advance in the generative model, i.e., the diffusion model, with the added control flow using lesion-specific visual and textual prompts for generating dermatoscopic images. We further demonstrate the advantage of our diffusion model-based framework over the classical generation models in both the image quality and boosting the segmentation performance on skin lesions. It can achieve a 9% increase in the SSIM image quality measure and an over 5% increase in Dice coefficients over the prior arts.


title: Whole-body MPC for highly redundant legged manipulators: experimental evaluation with a 37 DoF dual-arm quadruped

abstract: Recent progress in legged locomotion has rendered quadruped manipulators a promising solution for performing tasks that require both mobility and manipulation (loco-manipulation). In the real world, task specifications and/or environment constraints may require the quadruped manipulator to be equipped with high redundancy as well as whole-body motion coordination capabilities. This work presents an experimental evaluation of a whole-body Model Predictive Control (MPC) framework achieving real-time performance on a dual-arm quadruped platform consisting of 37 actuated joints. To the best of our knowledge this is the legged manipulator with the highest number of joints to be controlled with real-time whole-body MPC so far. The computational efficiency of the MPC while considering the full robot kinematics and the centroidal dynamics model builds upon an open-source DDP-variant solver and a state-of-the-art optimal control problem formulation. Differently from previous works on quadruped manipulators, the MPC is directly interfaced with the low-level joint impedance controllers without the need of designing an instantaneous whole-body controller. The feasibility on the real hardware is showcased using the CENTAURO platform for the challenging task of picking a heavy object from the ground. Dynamic stepping (trotting) is also showcased for first time with this robot. The results highlight the potential of replanning with whole-body information in a predictive control loop.


title: Pseudo-Hermiticity protects the energy-difference conservation in the scattering

abstract: Symmetry plays a fundamentally important role in physics. In this work, we find a conservation law, $S^{\dagger}(H_{c}^{\dagger})S(H_{c})=I$, which is valid for any non-Hermitian scattering center $H_c$. As a result, the reflections and transmissions of a non-Hermitian system $\left\{ r,t\right\}$ and its Hermitian conjugation system $\left\{ \bar{r},\bar{t}\right\} $ satisfy the conservation law $\bar{r}^{\ast}r+\bar{t}^{\ast}t=1$, instead of the energy conservation law that applies to incoming and outgoing waves in a Hermitian system. Consequently, the pseudo-Hermiticity of a non-Hermitian system ensures an energy-difference conservation. Furthermore, we demonstrate that the energy-difference conservation is respectively valid and invalid in two prototypical anti-$\mathcal{PT}$-symmetric systems, where the energy-difference conservation is protected by the pseudo-Hermiticity. Our findings provide profound insight into the conservation law, the pseudo-Hermiticity, and the anti-$\mathcal{PT}$-symmetry in non-Hermitian systems.


title: The double Hall property and cycle covers in bipartite graphs

abstract: In a graph $G$, the $2$-neighborhood of a vertex set $X$ consists of all vertices of $G$ having at least $2$ neighbors in $X$. We say that a bipartite graph $G(A,B)$ satisfies the double Hall property if $|A|\geq2$, and every subset $X \subseteq A$ of size at least $2$ has a $2$-neighborhood of size at least $|X|$. Salia conjectured that any bipartite graph $G(A,B)$ satisfying the double Hall property contains a cycle covering $A$. Here, we prove the existence of a $2$-factor covering $A$ in any bipartite graph $G(A,B)$ satisfying the double Hall property. We also show Salia's conjecture for graphs with restricted degrees of vertices in $B$. Additionally, we prove a lower bound on the number of edges in a graph satisfying the double Hall property, and the bound is sharp up to a constant factor.


title: Non-local transport measurements in hybrid quantum Hall - superconducting devices

abstract: There has been a growing interest in hybrid quantum Hall (QH) superconductor devices, driven by the prospect to realize exotic ground states and excitations with non-abelian exchange statistics. While the existing experiments clearly demonstrate Andreev coupling between the edge states and the superconductors, the question remains whether the quantum coherence could propagate between several superconducting contacts via chiral channels. To answer this question, we have first extended the Landauer-B\"uttiker (LB) formalism to samples with one superconducting contact and found a remarkable agreement within a series of measurements related to each other via LB-type formulae. We have then switched to the case of multiple superconducting contacts, and found that we can describe the measurements self-consistently if we neglect the superconducting phase coherence between multiple contacts. We interpret this result as a negative answer to the question posed above: the phase correlations between multiple superconducting contacts are not established via micron-long quantum Hall edge states. Looking forward, our approach may find applications in the broader field of topological superconductivity and proximal structures. Possible violations of the self-consistency tests presented here may be used as an indication that superconducting phase coherence is induced in the quantum Hall edges.


title: Deciphering the Crypto-shopper: Knowledge and Preferences of Consumers Using Cryptocurrencies for Purchases

abstract: The fast-growing cryptocurrency sector presents both challenges and opportunities for businesses and consumers alike. This study investigates the knowledge, expertise, and buying habits of people who shop using cryptocurrencies. Our survey of 516 participants shows that knowledge levels vary from beginners to experts. Interestingly, a segment of respondents, nearly 30%, showed high purchase frequency despite their limited knowledge. Regression analyses indicated that while domain knowledge plays a role, it only accounts for 11.6% of the factors affecting purchasing frequency. A K-means cluster analysis further segmented the respondents into three distinct groups, each having unique knowledge levels and purchasing tendencies. These results challenge the conventional idea linking extensive knowledge to increased cryptocurrency usage, suggesting other factors at play. Understanding this varying crypto-shopper demographic is pivotal for businesses, emphasizing the need for tailored strategies and user-friendly experiences. This study offers insights into current crypto-shopping behaviors and discusses future research exploring the broader impacts and potential shifts in the crypto-consumer landscape.


title: Positivity for toric Kac polynomials in higher depth

abstract: We prove that the polynomials counting locally free, absolutely indecomposable, rank 1 representations of quivers over rings of truncated power series have non-negative coefficients. This is a generalisation to higher depth of positivity for toric Kac polynomials. The proof goes by inductively contracting/deleting arrows of the quiver and is inspired from a previous work of Abdelgadir, Mellit and Rodriguez-Villegas on toric Kac polynomials. We also relate counts of absolutely indecomposable quiver representations in higher depth and counts of jets over fibres of quiver moment maps. This is expressed in a plethystic identity involving generating series of these counts. In rank 1, we prove a cohomological upgrade of this identity, by computing the compactly supported cohomology of jet spaces over preprojective stacks. This is reminiscent of PBW isomorphisms for preprojective cohomological Hall algebras. Finally, our plethystic identity allows us to prove two conjectures by Wyss on the asymptotic behaviour of both counts, when depth goes to infinity.


title: ELUQuant: Event-Level Uncertainty Quantification in Deep Inelastic Scattering

abstract: We introduce a physics-informed Bayesian Neural Network (BNN) with flow approximated posteriors using multiplicative normalizing flows (MNF) for detailed uncertainty quantification (UQ) at the physics event-level. Our method is capable of identifying both heteroskedastic aleatoric and epistemic uncertainties, providing granular physical insights. Applied to Deep Inelastic Scattering (DIS) events, our model effectively extracts the kinematic variables $x$, $Q^2$, and $y$, matching the performance of recent deep learning regression techniques but with the critical enhancement of event-level UQ. This detailed description of the underlying uncertainty proves invaluable for decision-making, especially in tasks like event filtering. It also allows for the reduction of true inaccuracies without directly accessing the ground truth. A thorough DIS simulation using the H1 detector at HERA indicates possible applications for the future EIC. Additionally, this paves the way for related tasks such as data quality monitoring and anomaly detection. Remarkably, our approach effectively processes large samples at high rates.

categories: cs.LG hep-ex nucl-ex physics.data-an stat.ML


title: f(R) Gravity in an Ellipsoidal Universe

abstract: We propose a new model of cosmology based on an anisotropic background and a specific $f(R)$ theory of gravity. It is shown that field equations of $f(R)$ gravity in a Bianchi type I background give rise to a modified Friedmann equation. This model contains two important parameters: $\gamma$ and $\delta$. We, thus, simply call our model $\gamma\delta$CDM. It is distinguished in two important aspects from the $\Lambda$CDM model: firstly, the contribution of different energy densities to the Hubble parameter are weighted with different weights, and then, dependence of energy densities to redshift is modified as well. This unorthodox relation of energy content to Hubble parameter brings forth a new way of interpreting the cosmological history. This solution does not allow the existence of a cosmological constant component, however, a dark energy contribution with dependence on redshift is possible. We tested observational relevance of the new solution by best fitting to different data sets. We found that our model could accommodate the idea of cosmological coupling of black holes.


title: Interplay of two $E_g$ orbitals in Superconducting La$_3$Ni$_2$O$_7$ Under Pressure

abstract: The discovery of high-$T_c$ superconductivity (SC) in La$_3$Ni$_2$O$_7$ (LNO) has aroused a great deal of interests. Previously, it was proposed that the Ni-$3d_{z^2}$ orbital is crucial to realize the high-$T_c$ SC in LNO: The preformed Cooper pairs therein acquire coherence via hybridization with the $3d_{x^2-y^2}$ orbital to form the SC. However, we held a different viewpoint that the interlayer pairing $s$-wave SC is induced by the $3d_{x^2-y^2}$ orbital, driven by the strong interlayer superexchange interaction. To include effects from both $E_g$-orbitals , we establish a two-orbital bilayer $t$-$J$ model. Our calculations reveal that due to the no-double-occupancy constraint, the $3d_{x^2-y^2}$ band and the $3d_{z^2}$ bonding band are flattened by a factor of about 2 and 10, respectively, which is consistent with recent angle-resolved-photo-emission-spectroscopy measurements. Consequently, a high temperature SC can be hardly induced in the $3d_{z^2}$-orbital due to the difficulty to develop phase coherence. However, it can be easily achieved by the $3d_{x^2-y^2}$ orbital under realistic interaction strength. With electron doping, the $3d_{z^2}$-band gradually dives below the Fermi level, but $T_c$ continues to enhance, suggesting that it is not necessary for the high-$T_c$ SC in LNO. With hole doping, $T_c$ initially drops and then rises, accompanied by the crossover from the BCS to BEC-type superconducting transitions.


title: Rainbow: a colorful approach on multi-passband light curve estimation

abstract: We present Rainbow, a physically motivated framework which enables simultaneous multi-band light curve fitting. It allows the user to construct a 2-dimensional continuous surface across wavelength and time, even in situations where the number of observations in each filter is significantly limited. Assuming the electromagnetic radiation emission from the transient can be approximated by a black-body, we combined an expected temperature evolution and a parametric function describing its bolometric light curve. These three ingredients allow the information available in one passband to guide the reconstruction in the others, thus enabling a proper use of multi-survey data. We demonstrate the effectiveness of our method by applying it to simulated data from the Photometric LSST Astronomical Time-series Classification Challenge (PLAsTiCC) as well as real data from the Young Supernova Experiment (YSE DR1). We evaluate the quality of the estimated light curves according to three different tests: goodness of fit, time of peak prediction and ability to transfer information to machine learning (ML) based classifiers. Results confirm that Rainbow leads to equivalent (SNII) or up to 75% better (SN Ibc) goodness of fit when compared to the Monochromatic approach. Similarly, accuracy when using Rainbow best-fit values as a parameter space in multi-class ML classification improves for all classes in our sample. An efficient implementation of Rainbow has been publicly released as part of the light curve package at https://github.com/light-curve/light-curve-python. Our approach enables straight forward light curve estimation for objects with observations in multiple filters and from multiple experiments. It is particularly well suited for situations where light curve sampling is sparse.


title: Fusion-stable structures on triangulation categories

abstract: Let $\mathcal{G}$ be a fusion category acting on a triangulated category $\mathcal{D}$, in the sense that $\mathcal{D}$ is a $\mathcal{G}$-module category. Our motivation example is fusion-weighted species, which is essentially Heng's construction. We study $\mathcal{G}$-stable tilting, cluster and stability structures on $\mathcal{D}$. In particular, we prove the deformation theorem for $\mathcal{G}$-stable stability conditions. A first application is that Duffield-Tumarkin's categorification of cluster exchange graphs of finite Coxeter-Dynkin type can be naturally realized as fusion-stable cluster exchange graphs. Another application is that the universal cover of the hyperplane arrangements of any finite Coxeter-Dynkin type can be realized as the space of fusion-stable stability conditions for certain ADE Dynkin quiver.


title: Learning-Aided Warmstart of Model Predictive Control in Uncertain Fast-Changing Traffic

abstract: Model Predictive Control lacks the ability to escape local minima in nonconvex problems. Furthermore, in fast-changing, uncertain environments, the conventional warmstart, using the optimal trajectory from the last timestep, often falls short of providing an adequately close initial guess for the current optimal trajectory. This can potentially result in convergence failures and safety issues. Therefore, this paper proposes a framework for learning-aided warmstarts of Model Predictive Control algorithms. Our method leverages a neural network based multimodal predictor to generate multiple trajectory proposals for the autonomous vehicle, which are further refined by a sampling-based technique. This combined approach enables us to identify multiple distinct local minima and provide an improved initial guess. We validate our approach with Monte Carlo simulations of traffic scenarios.


title: Attention-based Multi-task Learning for Base Editor Outcome Prediction

abstract: Human genetic diseases often arise from point mutations, emphasizing the critical need for precise genome editing techniques. Among these, base editing stands out as it allows targeted alterations at the single nucleotide level. However, its clinical application is hindered by low editing efficiency and unintended mutations, necessitating extensive trial-and-error experimentation in the laboratory. To speed up this process, we present an attention-based two-stage machine learning model that learns to predict the likelihood of all possible editing outcomes for a given genomic target sequence. We further propose a multi-task learning schema to jointly learn multiple base editors (i.e. variants) at once. Our model's predictions consistently demonstrated a strong correlation with the actual experimental results on multiple datasets and base editor variants. These results provide further validation for the models' capacity to enhance and accelerate the process of refining base editing designs.


title: Enhancing Ayurvedic Diagnosis using Multinomial Naive Bayes and K-modes Clustering: An Investigation into Prakriti Types and Dosha Overlapping

abstract: The identification of Prakriti types for the human body is a long-lost medical practice in finding the harmony between the nature of human beings and their behaviour. There are 3 fundamental Prakriti types of individuals. A person can belong to any Dosha. In the existing models, researchers have made use of SVM, KNN, PCA, Decision Tree, and various other algorithms. The output of these algorithms was quite decent, but it can be enhanced with the help of Multinomial Naive Bayes and K-modes clustering. Most of the researchers have confined themselves to 3 basic classes. This might not be accurate in the real-world scenario, where overlapping might occur. Considering these, we have classified the Doshas into 7 categories, which includes overlapping of Doshas. These are namely, VATT-Dosha, PITT-Dosha, KAPH-Dosha, VATT-PITT-Dosha, PITT-KAPH-Dosha, KAPH-VATT-Dosha, and VATT-PITT-KAPH-Dosha. The data used contains a balanced set of all individual entries on which preprocessing steps of machine learning have been performed. Chi-Square test for handling categorical data is being used for feature selection. For model fitting, the method used in this approach is K-modes clustering. The empirical results demonstrate a better result while using the MNB classifier. All key findings of this work have achieved 0.90 accuracy, 0.81 precision, 0.91 F-score, and 0.90 recall. The discussion suggests a provident analysis of the seven clusters and predicts their occurrence. The results have been consolidated to improve the Ayurvedic advancements with machine learning.


title: Tuneable and biodegradable poly(ester amide)s for disposable facemasks

abstract: The widespread use of disposable facemasks during the COVID-19 pandemic has led to environmental widespread concern due to microplastic pollution. Biodegradable disposable facemasks are a first step to reducing the environmental impact of pandemics. In this paper we present high-performance facemask components based on novel poly(ester amide) (PEA) grades synthesized from bio-sourced materials and processed into non-woven facemask components. PEA based polymers present an excellent compromise between mechanical performance and biodegradability. Importantly, the properties of the PEA can easily be tuned by changing the ratio of the ester and amides, or variation of diol and diacid part. We synthesized seven polymers which we optimized for biodegradability and processability. Among them, two grades combined electrospinning process compatibility with full degradation within 35 days, using a normalized biodegradation test. The ultra-thin filters thus developed were evaluated for performance on a custom-made characterization bench. The filters achieved a microparticle capture efficiency and breathability comparable to commercial filters. Another PEA grade was optimized to reach optimal visco-thermal properties that made it compatible with solvent-free melt-spinning process as demonstrated with continuous fibres production. Overall, our environmentally friendly solution paves the way for the fabrication of high-performance fibres with excellent biodegradability for the next generation facemasks.


title: Public verifiable measurement-only blind quantum computation based on entanglement witnesses

abstract: Recently, Sato et al. proposed an public verifiable blind quantum computation (BQC) protocol by inserting a third-party arbiter. However, it is not true public verifiable in a sense, because the arbiter is determined in advance and participates in the whole process. In this paper, a public verifiable protocol for measurement-only BQC is proposed. The fidelity between arbitrary states and the graph states of 2-colorable graphs is estimated by measuring the entanglement witnesses of the graph states,so as to verify the correctness of the prepared graph states. Compared with the previous protocol, our protocol is public verifiable in the true sense by allowing other random clients to execute the public verification. It also has greater advantages in the efficiency, where the number of local measurements is O(n^3*log {n}) and graph states' copies is O(n^2*log{n}).


title: A Unitary Operator Construction Solution Based on Pauli Group for Maximal Dense Coding

abstract: Quantum dense coding plays an important role in quantum cryptography communication, and how to select a set of appropriate unitary operators to encode message is the primary work in the design of quantum communication protocols. Shukla et al. proposed a preliminary method for unitary operator construction based on Pauli group under multiplication, which is used for dense coding in quantum dialogue. However, this method lacks feasible steps or conditions, and cannot construct all the possible unitary operator sets. In this study, a feasible solution of constructing unitary operator sets for quantum maximal dense coding is proposed, which aims to use minimum qubits to maximally encode a class of t-qubit symmetric states. These states have an even number of superposition items, and there is at least one set of t/2 qubits whose superposition items are orthogonal to each other. Firstly, we propose the procedure and the corresponding algorithm for constructing 2^t-order multiplicative modified generalized Pauli subgroups (multiplicative MGP subgroups). Then, two conditions for t-qubit symmetric states are given to select appropriate unitary operator sets from the above subgroups. Finally, we take 3-qubit GHZ, 4-qubit W, 4-qubit cluster and 5-qubit cluster states as examples, and demonstrate how to find all unitary operator sets for maximal dense coding through our construction solution, which shows that our solution is feasible and convenient.


title: Quantum forgery attacks against OTR structures based on Simon's algorithm

abstract: Classical forgery attacks against Offset Two-round (OTR) structures require some harsh conditions, such as some plaintext and ciphertext pairs need to be known, and the success probability is not too high. To solve these problems, a quantum forgery attack on OTR structure using Simon's algorithm is proposed. The attacker intercept the ciphertext-tag pair $(C,T)$ between the sender and receiver, while Simon's algorithm is used to find the period of the tag generation function in OTR, then we can successfully forge new ciphertext $C'$ ($C'\ne C$) for intercepted tag $T$. For a variant of OTR structure (Pr{/o}st-OTR-Even-Mansour structure), a universal forgery attack, in which it is easy to generate the correct tag of any given message if the attacker is allowed to change a single block in it, is proposed. It first obtains the secret parameter L using Simon's algorithm, then the secret parameter L is used to find the keys $k_1$ and $k_2$, so that an attacker can forge the changed messages. It only needs several plaintext blocks to help obtain the keys to forge any messages. Performance analysis shows that the query complexity of our attack is $O(n)$, and its success probability is very close to 1.


title: Optimal Transport with Adaptive Regularisation

abstract: Regularising the primal formulation of optimal transport (OT) with a strictly convex term leads to enhanced numerical complexity and a denser transport plan. Many formulations impose a global constraint on the transport plan, for instance by relying on entropic regularisation. As it is more expensive to diffuse mass for outlier points compared to central ones, this typically results in a significant imbalance in the way mass is spread across the points. This can be detrimental for some applications where a minimum of smoothing is required per point. To remedy this, we introduce OT with Adaptive RegularIsation (OTARI), a new formulation of OT that imposes constraints on the mass going in or/and out of each point. We then showcase the benefits of this approach for domain adaptation.


title: Extensions to the SENSEI In situ Framework for Heterogeneous Architectures

abstract: The proliferation of GPUs and accelerators in recent supercomputing systems, so called heterogeneous architectures, has led to increased complexity in execution environments and programming models as well as to deeper memory hierarchies on these systems. In this work, we discuss challenges that arise in in situ code coupling on these heterogeneous architectures. In particular, we present data and execution model extensions to the SENSEI in situ framework that are targeted at the effective use of systems with heterogeneous architectures. We then use these new data and execution model extensions to investigate several in situ placement and execution configurations and to analyze the impact these choices have on overall performance.


title: Joint Network Lifetime Maximization and Relay Selection Design in Underwater Acoustic Sensor Networks

abstract: The paper proposes a new approach to minimize the number of relays while maximizing the lifetime of underwater acoustic sensor networks (UASNs). This involves formulating the relay node placement (RNP) problem as a multi-objective optimization problem and employing the multi-objective lexico-graphic method (MOLM) to solve it. To achieve the optimal solution, the MOLM consists of two steps. First, the problem of lifetime maximization is tackled to find RNP solutions. This transforms the RNP into a non-convex optimization problem which is then converted into a convex programming equivalent. The proposed method has the same computational complexity as previous relay-node adjustment (RA) and difference convex algorithm (DCA) methods. The second step introduces a novel relay node selection to reach the optimal number of relays. Simulation results demonstrate that it has superior network lifetime and efficiency compared to RA and DCA.


title: Probing the statistical isotropy of the universe with Planck data of the cosmic microwave background

abstract: We study the angular distribution of temperature fluctuations in the cosmic microwave background (CMB) to probe the statistical isotropy of the universe by using precise full-sky CMB data with a model-independent approach. We investigated the temperature-temperature angular correlations in the four Planck foreground-cleaned CMB maps that were released recently. We performed a directional analysis on the CMB sphere to search directions in which the temperature-temperature angular correlations are extreme. Our analyses confirm a preferred axis in the CMB sphere, pointing in the direction $(l,b) \simeq (260^{\circ}, 130^{\circ})$, at the $98\% -99\%$ confidence level. In this direction, the CMB angular correlations exceed the antipodal direction most strongly. This preferred direction is unexpected in the $\Lambda$CDM cosmological model and represents a significant deviation from results obtained by applying the same procedure to simulated statistically isotropic CMB maps. This result confirms the north-south asymmetry in the most recent Planck data. This phenomenon is one of the previously reported CMB anomalies. We performed a robust detection of the north-south asymmetry in the temperature-temperature angular correlations, with a slightly different statistical significance, in the four Planck foreground-cleaned CMB maps. Moreover, we performed consistency tests by adding foreground and noise, both Planck data products, to the CMB map we studied, and we also investigated and discarded possible bias in our method. After these detailed analyses, we conclude that the north-south asymmetry phenomenon is present with a high statistical significance in the Planck CMB maps we studied. This result confirms previous reports in the literature in the past 20 years.