title: SODAPOP: Open-Ended Discovery of Social Biases in Social Commonsense Reasoning Models

abstract: A common limitation of diagnostic tests for detecting social biases in NLP models is that they may only detect stereotypic associations that are pre-specified by the designer of the test. Since enumerating all possible problematic associations is infeasible, it is likely these tests fail to detect biases that are present in a model but not pre-specified by the designer. To address this limitation, we propose SODAPOP (SOcial bias Discovery from Answers about PeOPle) in social commonsense question-answering. Our pipeline generates modified instances from the Social IQa dataset (Sap et al., 2019) by (1) substituting names associated with different demographic groups, and (2) generating many distractor answers from a masked language model. By using a social commonsense model to score the generated distractors, we are able to uncover the model's stereotypic associations between demographic groups and an open set of words. We also test SODAPOP on debiased models and show the limitations of multiple state-of-the-art debiasing algorithms.


title: Multi-Task Learning for Joint Semantic Role and Proto-Role Labeling

abstract: We put forward an end-to-end multi-step machine learning model which jointly labels semantic roles and the proto-roles of Dowty (1991), given a sentence and the predicates therein. Our best architecture first learns argument spans followed by learning the argument's syntactic heads. This information is shared with the next steps for predicting the semantic roles and proto-roles. We also experiment with transfer learning from argument and head prediction to role and proto-role labeling. We compare using static and contextual embeddings for words, arguments, and sentences. Unlike previous work, our model does not require pre-training or fine-tuning on additional tasks, beyond using off-the-shelf (static or contextual) embeddings and supervision. It also does not require argument spans, their semantic roles, and/or their gold syntactic heads as additional input, because it learns to predict all these during training. Our multi-task learning model raises the state-of-the-art predictions for most proto-roles.


title: BLOX: Macro Neural Architecture Search Benchmark and Algorithms

abstract: Neural architecture search (NAS) has been successfully used to design numerous high-performance neural networks. However, NAS is typically compute-intensive, so most existing approaches restrict the search to decide the operations and topological structure of a single block only, then the same block is stacked repeatedly to form an end-to-end model. Although such an approach reduces the size of search space, recent studies show that a macro search space, which allows blocks in a model to be different, can lead to better performance. To provide a systematic study of the performance of NAS algorithms on a macro search space, we release Blox - a benchmark that consists of 91k unique models trained on the CIFAR-100 dataset. The dataset also includes runtime measurements of all the models on a diverse set of hardware platforms. We perform extensive experiments to compare existing algorithms that are well studied on cell-based search spaces, with the emerging blockwise approaches that aim to make NAS scalable to much larger macro search spaces. The benchmark and code are available at https://github.com/SamsungLabs/blox.


title: Crossing Symmetry in Matter Chern-Simons Theories at finite $N$ and $k$

abstract: We present a conjecture for the crossing symmetry rules for Chern-Simons gauge theories interacting with massive matter in $2+1$ dimensions. Our crossing rules are given in terms of the expectation values of particular tangles of Wilson lines, and reduce to the standard rules at large Chern-Simons level. We present completely explicit results for the special case of two fundamental and two antifundamental insertions in $SU(N)_k$ and $U(N)_k$ theories. These formulae are consistent with the conjectured level-rank, Bose-Fermi duality between these theories and take the form of a $q=e^{\frac{ 2 \pi i }{\kappa}}$ deformation of their large $k$ counterparts. In the 't Hooft large $N$ limit our results reduce to standard rules with one twist: the $S$-matrix in the singlet channel is reduced by the factor $\frac{\sin \pi \lambda}{\pi \lambda} $ (where $\lambda$ is the 't Hooft coupling), explaining `anomalous' crossing properties observed in earlier direct large $N$ computations.


title: Relativistic Signatures of Flux Eruption Events Near Black Holes

abstract: Images of supermassive black holes produced using very long baseline interferometry provide a pathway to directly observing effects of a highly curved spacetime, such as a bright ``photon ring'' that arises from strongly lensed emission. In addition, the emission near supermassive black holes is highly variable, with bright high-energy flares regularly observed. We demonstrate that intrinsic variability can introduce prominent associated changes in the relative brightness of the photon ring. We analyze both semianalytic toy models and GRMHD simulations with magnetic flux eruption events, showing that they each exhibit a characteristic ``loop'' in the space of relative photon ring brightness versus total flux density. For black holes viewed at high inclination, the relative photon ring brightness can change by an order of magnitude, even with variations in total flux density that are comparatively mild. We show that gravitational lensing, Doppler boosting, and magnetic field structure all significantly affect this feature, and we discuss the prospects for observing it in observations of M87* and Sgr A* with the next-generation Event Horizon Telescope.


title: Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version)

abstract: The lambda-PRK-calculus is a typed lambda-calculus that exploits the duality between the notions of proof and refutation to provide a computational interpretation for classical propositional logic. In this work, we extend lambda-PRK to encompass classical second-order logic, by incorporating parametric polymorphism and existential types. The system is shown to enjoy good computational properties, such as type preservation, confluence, and strong normalization, which is established by means of a reducibility argument. We identify a syntactic restriction on proofs that characterizes exactly the intuitionistic fragment of second-order lambda-PRK, and we study canonicity results.


title: On fundamental groups of RCD spaces

abstract: We obtain results about fundamental groups of $RCD^{\ast}(K,N)$ spaces previously known under additional conditions such as smoothness or lower sectional curvature bounds. For fixed $K \in \mathbb{R}$, $N \in [1,\infty )$, $D > 0 $, we show the following, $\bullet$ There is $C>0$ such that for each $RCD^{\ast}(K,N)$ space $X$ of diameter $\leq D$, its fundamental group $\pi_1(X)$ is generated by at most $C$ elements. $\bullet$ There is $\tilde{D}>0$ such that for each $RCD^{\ast}(K,N)$ space $X$ of diameter $\leq D$ with compact universal cover $\tilde{X}$, one has diam$(\tilde{X})\leq \tilde{D}$. $\bullet$ If a sequence of $RCD^{\ast}(0,N)$ spaces $X_i$ of diameter $\leq D$ and rectifiable dimension $n$ is such that their universal covers $\tilde{X}_i$ converge in the pointed Gromov--Hausdorff sense to a space $X$ of rectifiable dimension $n$, then there is $C>0$ such that for each $i$, the fundamental group $\pi_1(X_i)$ contains an abelian subgroup of index $\leq C$. $\bullet$ If a sequence of $RCD^{\ast}(K,N)$ spaces $X_i$ of diameter $\leq D$ and rectifiable dimension $n$ is such that their universal covers $\tilde{X}_i$ are compact and converge in the pointed Gromov--Hausdorff sense to a space $X$ of rectifiable dimension $n$, then there is $C>0$ such that for each $i$, the fundamental group $\pi_1(X_i)$ contains an abelian subgroup of index $\leq C$. $\bullet$ If a sequence of $RCD^{\ast}(K,N)$ spaces $X_i$ with first Betti number $\geq r$ and rectifiable dimension $ n$ converges in the Gromov--Hausdorff sense to a compact space $X$ of rectifiable dimension $m$, then the first Betti number of $X$ is at least $r + m - n$. The main tools are the splitting theorem by Gigli, the splitting blow-up property by Mondino--Naber, the semi-locally-simple-connectedness of $RCD^{\ast}(K,N)$ spaces by Wang, and the isometry group structure by Guijarro and the first author.


title: Big rip in shift-symmetric Kinetic Gravity Braiding theories

abstract: We revise the future fate of a group of scalar-tensor theories known as kinetic gravity braiding models. As it is well-known, these theories can safely drive the expansion of the universe towards a future de Sitter state if the corresponding Lagrangian is invariant under constant shifts in the scalar field. However, this is not the only possible future state of these shift-symmetric models as we show in this letter. In fact, future cosmic singularities characterized by a divergence of the energy density can also appear in this framework. We present an explicit example where a big rip singularity is the only possible future fate of the cosmos.


title: The Hidden Uniform Cluster Prior in Self-Supervised Learning

abstract: A successful paradigm in representation learning is to perform self-supervised pretraining using tasks based on mini-batch statistics (e.g., SimCLR, VICReg, SwAV, MSN). We show that in the formulation of all these methods is an overlooked prior to learn features that enable uniform clustering of the data. While this prior has led to remarkably semantic representations when pretraining on class-balanced data, such as ImageNet, we demonstrate that it can hamper performance when pretraining on class-imbalanced data. By moving away from conventional uniformity priors and instead preferring power-law distributed feature clusters, we show that one can improve the quality of the learned representations on real-world class-imbalanced datasets. To demonstrate this, we develop an extension of the Masked Siamese Networks (MSN) method to support the use of arbitrary features priors.


title: Meta-Uncertainty in Bayesian Model Comparison

abstract: Bayesian model comparison (BMC) offers a principled probabilistic approach to study and rank competing models. In standard BMC, we construct a discrete probability distribution over the set of possible models, conditional on the observed data of interest. These posterior model probabilities (PMPs) are measures of uncertainty, but -- when derived from a finite number of observations -- are also uncertain themselves. In this paper, we conceptualize distinct levels of uncertainty which arise in BMC. We explore a fully probabilistic framework for quantifying meta-uncertainty, resulting in an applied method to enhance any BMC workflow. Drawing on both Bayesian and frequentist techniques, we represent the uncertainty over the uncertain PMPs via meta-models which combine simulated and observed data into a predictive distribution for PMPs on new data. We demonstrate the utility of the proposed method in the context of conjugate Bayesian regression, likelihood-based inference with Markov chain Monte Carlo, and simulation-based inference with neural networks.


title: Novel applications of Generative Adversarial Networks (GANs) in the analysis of ultrafast electron diffraction (UED) images

abstract: Inferring transient molecular structural dynamics from diffraction data is an ambiguous task that often requires different approximation methods. In this paper we present an attempt to tackle this problem using machine learning. While most recent applications of machine learning for the analysis of diffraction images apply only a single neural network to an experimental dataset and train it on the task of prediction, our approach utilizes an additional generator network trained on both synthetic data and experimental data. Our network converts experimental data into idealized diffraction patterns from which information is extracted via a convolutional neural network (CNN) trained on synthetic data only. We validate this approach on ultrafast electron diffraction (UED) data of bismuth samples undergoing thermalization upon excitation via 800 nm laser pulses. The network was able to predict transient temperatures with a deviation of less than 6% from analytically estimated values. Notably, this performance was achieved on a dataset of 408 images only. We believe employing this network in experimental settings where high volumes of visual data are collected, such as beam lines, could provide insights into the structural dynamics of different samples.


title: Object generators, categories, and everyday set theory

abstract: In "Object generators, relaxed sets, and a foundation for mathematics", we introduced ``object generators'', a logical environment much more general than set theory. Inside this we found a `relaxed' version of set theory. That paper is focused on construction of the universal Zermillo-Fraenkel-Choice theory, and the argument that it alone is consistent with mainstream mathematical practice. This paper is oriented toward potential users. The first topic is that if the general context is not needed then there is a simpler description of the set theory. In particular this uses only familiar binary logic, and the resut is almost the same as na\"\i ve set theory. The second topic collects facts about the smallest object that is not a set (the traditional Ordinal numbers, or ``class of all sets''). Quite a bit is known, but it heavily involves non-binary assertion logic. For instance the powerset of this object is the disjoint union of the bounded subobjects, and the cofinal subobjects. However there is no function to {yes, no} that detects this decomposition. The third topic illustrates how the general object-generator context enables natural and full-precision work with categories.


title: Non-admissible irreducible representations of $p$-adic $\mathrm{GL}_{n}$ in characteristic $p$

abstract: Let $p>3$ and $F$ be a non-archimedean local field with residue field a proper finite extension of $\mathbb{F}_p$. We construct smooth absolutely irreducible non-admissible representations of $\mathrm{GL}_2(F)$ defined over the residue field of $F$ extending the earlier results of the authors for $F$ unramified over $\mathbb{Q}_{p}$. This construction uses the theory of diagrams of Breuil and Paskunas. By parabolic induction, we obtain smooth absolutely irreducible non-admissible representations of $\mathrm{GL}_n(F)$ for $n>2$.


title: Harfang3D Dog-Fight Sandbox: A Reinforcement Learning Research Platform for the Customized Control Tasks of Fighter Aircrafts

abstract: The advent of deep learning (DL) gave rise to significant breakthroughs in Reinforcement Learning (RL) research. Deep Reinforcement Learning (DRL) algorithms have reached super-human level skills when applied to vision-based control problems as such in Atari 2600 games where environment states were extracted from pixel information. Unfortunately, these environments are far from being applicable to highly dynamic and complex real-world tasks as in autonomous control of a fighter aircraft since these environments only involve 2D representation of a visual world. Here, we present a semi-realistic flight simulation environment Harfang3D Dog-Fight Sandbox for fighter aircrafts. It is aimed to be a flexible toolbox for the investigation of main challenges in aviation studies using Reinforcement Learning. The program provides easy access to flight dynamics model, environment states, and aerodynamics of the plane enabling user to customize any specific task in order to build intelligent decision making (control) systems via RL. The software also allows deployment of bot aircrafts and development of multi-agent tasks. This way, multiple groups of aircrafts can be configured to be competitive or cooperative agents to perform complicated tasks including Dog Fight. During the experiments, we carried out training for two different scenarios: navigating to a designated location and within visual range (WVR) combat, shortly Dog Fight. Using Deep Reinforcement Learning techniques for both scenarios, we were able to train competent agents that exhibit human-like behaviours. Based on this results, it is confirmed that Harfang3D Dog-Fight Sandbox can be utilized as a 3D realistic RL research platform.


title: On irreducible supersingular representations of $\mathrm{GL}_{2}(F)$

abstract: Let $F$ be a non-archimedean local field of residual characteristic $p>3$ and residue degree $f>1$. We study a certain type of diagram, called \emph{cyclic diagrams}, and use them to show that the universal supersingular modules of $\mathrm{GL}_{2}(F)$ admit infinitely many non-isomorphic irreducible admissible quotients.


title: The Planck clusters in the LOFAR sky. III. LoTSS-DR2: Dynamic states and density fluctuations of the intracluster medium

abstract: The footprint of LoTSS-DR2 covers 309 PSZ2 galaxy clusters, 83 of which host a radio halo and 26 host a radio relic(s). It provides us an excellent opportunity to statistically study the properties of extended cluster radio sources, especially their connection with merging activities. We aim to quantify cluster dynamic states to investigate their relation with the occurrence of extended radio sources. We also search for connections between intracluster medium (ICM) turbulence and nonthermal characteristics of radio halos in the LoTSS-DR2. We analyzed XMM-Newton and Chandra archival X-ray data and computed concentration parameters and centroid shifts that indicate the dynamic states of the clusters. We also performed a power spectral analysis of the X-ray surface brightness (SB) fluctuations to investigate large-scale density perturbations and estimate the turbulent velocity dispersion. The power spectral analysis results in a large scatter density fluctuation amplitude. We therefore only found a marginal anticorrelation between density fluctuations and cluster relaxation state, and we did not find a correlation between density fluctuations and radio halo power. Nevertheless, the injected power for particle acceleration calculated from turbulent dissipation is correlated with the radio halo power, where the best-fit unity slope supports the turbulent (re)acceleration scenario. Two different acceleration models, transit-time damping and adiabatic stochastic acceleration, cannot be distinguished due to the large scatter of the estimated turbulent Mach number. We introduced a new quantity $[kT\cdot Y_X]_{r_\mathrm{RH}}$, which is proportional to the turbulent acceleration power assuming a constant Mach number. This quantity is strongly correlated with radio halo power, where the slope is also unity.


title: 3DEG: Data-Driven Descriptor Extraction for Global re-localization in subterranean environments

abstract: Current global re-localization algorithms are built on top of localization and mapping methods andheavily rely on scan matching and direct point cloud feature extraction and therefore are vulnerable infeatureless demanding environments like caves and tunnels. In this article, we propose a novel globalre-localization framework that: a) does not require an initial guess, like most methods do, while b)it has the capability to offer the top-kcandidates to choose from and last but not least provides anevent-based re-localization trigger module for enabling, and c) supporting completely autonomousrobotic missions. With the focus on subterranean environments with low features, we opt to usedescriptors based on range images from 3D LiDAR scans in order to maintain the depth informationof the environment. In our novel approach, we make use of a state-of-the-art data-driven descriptorextraction framework for place recognition and orientation regression and enhance it with the additionof a junction detection module that also utilizes the descriptors for classification purposes.


title: Augmenting Online Classes with an Attention Tracking Tool May Improve Student Engagement

abstract: Online remote learning has certain advantages, such as higher flexibility and greater inclusiveness. However, a caveat is the teachers' limited ability to monitor student interaction during an online class, especially while teachers are sharing their screens. We have taken feedback from 12 teachers experienced in teaching undergraduate-level online classes on the necessity of an attention tracking tool to understand student engagement during an online class. This paper outlines the design of such a monitoring tool that automatically tracks the attentiveness of the whole class by tracking students' gazes on the screen and alerts the teacher when the attention score goes below a certain threshold. We assume the benefits are twofold; 1) teachers will be able to ascertain if the students are attentive or being engaged with the lecture contents and 2) the students will become more attentive in online classes because of this passive monitoring system. In this paper, we present the preliminary design and feasibility of using the proposed tool and discuss its applicability in augmenting online classes. Finally, we surveyed 31 students asking their opinion on the usability as well as the ethical and privacy concerns of using such a monitoring tool.


title: Improving Deep Learning Models for Pediatric Low-Grade Glioma Tumors Molecular Subtype Identification Using 3D Probability Distributions of Tumor Location

abstract: Background and Purpose: Pediatric low-grade glioma (pLGG) is the most common type of brain tumor in children, and identification of molecular markers for pLGG is crucial for successful treatment planning. Convolutional Neural Network (CNN) models for pLGG subtype identification rely on tumor segmentation. We hypothesize tumor segmentations are suboptimal and thus, we propose to augment the CNN models using tumor location probability in MRI data. Materials and Methods: Our REB-approved retrospective study included MRI Fluid-Attenuated Inversion Recovery (FLAIR) sequences of 143 BRAF fused and 71 BRAF V600E mutated tumors. Tumor segmentations (regions of interest (ROIs)) were provided by a pediatric neuroradiology fellow and verified by a senior pediatric neuroradiologist. In each experiment, we randomly split the data into development and test with an 80/20 ratio. We combined the 3D binary ROI masks for each class in the development dataset to derive the probability density functions (PDF) of tumor location, and developed three pipelines: location-based, CNN-based, and hybrid. Results: We repeated the experiment with different model initializations and data splits 100 times and calculated the Area Under Receiver Operating Characteristic Curve (AUC). The location-based classifier achieved an AUC of 77.90, 95% confidence interval (CI) (76.76, 79.03). CNN-based classifiers achieved AUC of 86.11, CI (84.96, 87.25), while the tumor-location-guided CNNs outperformed the formers with an average AUC of 88.64 CI (87.57, 89.72), which was statistically significant (Student's t-test p-value 0.0018). Conclusion: We achieved statistically significant improvements by incorporating tumor location into the CNN models. Our results suggest that manually segmented ROIs may not be optimal.


title: BFSS Matrix Model Cosmology: Progress and Challenges

abstract: We review a proposal to obtain an emergent metric space-time and an emergent early universe cosmology from the BFSS matrix model. Some challenges and directions for future research are outlined.


title: Coherence limits in lattice atom interferometry at the one-minute scale

abstract: In quantum metrology and quantum simulation, a coherent non-classical state must be manipulated before unwanted interactions with the environment lead to decoherence. In atom interferometry, the non-classical state is a spatial superposition, where each atom coexists in multiple locations as a collection of phase-coherent partial wavepackets. These states enable precise measurements in fundamental physics and inertial sensing. However, atom interferometers usually use atomic fountains, where the available interrogation time is limited to around 3 seconds for a 10 m fountain. Here, we realise an atom interferometer with a spatial superposition state that is maintained for as long as 70 seconds. We analyse the theoretical and experimental limits to coherence arising from collective dephasing of the atomic ensemble. This reveals that the decoherence rate slows down markedly at hold times that exceed tens of seconds. These gains in coherence may enable gravimetry measurements, searches for fifth forces or fundamental probes into the non-classical nature of gravity.


title: Joint control variate for faster black-box variational inference

abstract: Black-box variational inference performance is sometimes hindered by the use of gradient estimators with high variance. This variance comes from two sources of randomness: Data subsampling and Monte Carlo sampling. While existing control variates only address Monte Carlo noise, and incremental gradient methods typically only address data subsampling, we propose a new "joint" control variate that jointly reduces variance from both sources of noise. This significantly reduces gradient variance, leading to faster optimization in several applications.


title: Entanglement-enhanced optomechanical sensor array for dark matter searches

abstract: The nature of dark matter is one of the most important open questions in modern physics. The search for dark matter is challenging since, besides gravitational interaction, it feebly interacts with ordinary matter. Mechanical sensors are one of the leading candidates for dark matter searches in the low frequency region. Here, we propose entanglement-enhanced optomechanical sensing systems to assist the search for DM with mechanical sensing devices. To assess the performance of our setup, we adopt the integrated sensitivity, which is particularly suitable for broadband sensing as it precisely quantifies the bandwidth-sensitivity tradeoff of the system. We then show that, by coherently operating the optomechanical sensor array and utilizing continuous-variable multi-partite entanglement between the optical fields, the array of sensors has a scaling advantage over independent sensors (i.e., $\sqrt{M}\rightarrow M$, where $M$ is the number of sensors) as well as a performance boost due to entanglement. Such an advantage is robust to imhomogeneities of the mechanical sensors and is achievable with off-the-shelf experimental components.


title: Prediction and visualization of Mergers and Acquisitions using Economic Complexity

abstract: Mergers and Acquisitions represent important forms of business deals, both because of the volumes involved in the transactions and because of the role of the innovation activity of companies. Nevertheless, Economic Complexity methods have not been applied to the study of this field. By considering the patent activity of about one thousand companies, we develop a method to predict future acquisitions by assuming that companies deal more frequently with technologically related ones. We address both the problem of predicting a pair of companies for a future deal and that of finding a target company given an acquirer. We compare different forecasting methodologies, including machine learning and network-based algorithms, showing that a simple angular distance with the addition of the industry sector information outperforms the other approaches. Finally, we present the Continuous Company Space, a two-dimensional representation of firms to visualize their technological proximity and possible deals. Companies and policymakers can use this approach to identify companies most likely to pursue deals or to explore possible innovation strategies.


title: Optical potentials for the rare-isotope beam era

abstract: We review recent progress and motivate the need for further developments in nuclear optical potentials that are widely used in the theoretical analysis of nucleon elastic scattering and reaction cross sections. In regions of the nuclear chart away from stability, which represent a frontier in nuclear science over the coming decade and which will be probed at new rare-isotope beam facilities worldwide, there is a targeted need to quantify and reduce theoretical reaction model uncertainties, especially with respect to nuclear optical potentials. We first describe the primary physics motivations for an improved description of nuclear reactions involving short-lived isotopes, focusing on its benefits for fundamental science discoveries and applications to medicine, energy, and security. We then outline the various methods in use today to build optical potentials starting from phenomenological, microscopic, and ab initio methods, highlighting in particular the strengths and weaknesses of each approach. We then discuss publicly-available tools and resources facilitating the propagation of recent progresses in the field to practitioners. Finally, we provide a set of open challenges and recommendations for the field to advance the fundamental science goals of nuclear reaction studies in the rare-isotope beam era.


title: Reflection Channel Model for Terahertz Communications

abstract: Terahertz frequencies are an untapped resource for providing high-speed short-range communications. As a result, it is of interest to study the propagation characteristics of terahertz waves and to develop channel models. In previous work we used a measurement-based approach to develop an accurate channel model for line of sight (LoS) links. In this paper we extend that work by developing channel models for non-line of sight (NLoS) links where the signal suffers one reflection. We study reflections that occur off a metal plate as well as a piece of wood. Our model for received magnitude includes the effects of standing waves that develop between the transmitter and receiver. Measurements show an excellent agreement between empirical data and the model. In addition, we have analyzed the received phase of the reflected signal at frequencies in the range 320- 480 GHz. We observed a linear error between the predicted and actual phase and developed a model to accommodate that discrepancy. The final model we have developed for predicting received phase is very accurate for the entire range 320 - 480 GHz and for both materials.


title: Joint Reasoning on Hybrid-knowledge sources for Task-Oriented Dialog

abstract: Traditional systems designed for task oriented dialog utilize knowledge present only in structured knowledge sources to generate responses. However, relevant information required to generate responses may also reside in unstructured sources, such as documents. Recent state of the art models such as HyKnow and SeKnow aimed at overcoming these challenges make limiting assumptions about the knowledge sources. For instance, these systems assume that certain types of information, such as a phone number, is always present in a structured knowledge base (KB) while information about aspects such as entrance ticket prices, would always be available in documents. In this paper, we create a modified version of the MutliWOZ-based dataset prepared by SeKnow to demonstrate how current methods have significant degradation in performance when strict assumptions about the source of information are removed. Then, in line with recent work exploiting pre-trained language models, we fine-tune a BART based model using prompts for the tasks of querying knowledge sources, as well as, for response generation, without making assumptions about the information present in each knowledge source. Through a series of experiments, we demonstrate that our model is robust to perturbations to knowledge modality (source of information), and that it can fuse information from structured as well as unstructured knowledge to generate responses.


title: A Conversationalist Approach to Information Quality in Information Interaction and Retrieval

abstract: Rather than using (proxies of) end user or expert judgment to decide on the ranking of information, this paper asks whether conversations about information quality might offer a feasible and valuable addition for ranking information. We introduce a theoretical framework for information quality, outlining how information interaction should be perceived as a conversation and quality be evaluated as a conversational contribution. Next, an overview is given of different systems of social alignment and their value for assessing quality and ranking information. We propose that a collaborative approach to quality assessment is preferable and raise key questions about the feasibility and value of such an approach for ranking information. We conclude that information quality is an inherently interactive concept, which involves an interaction between users of different backgrounds and in different situations as well as of quality signals on users' search behavior and experience.


title: AMP: Automatically Finding Model Parallel Strategies with Heterogeneity Awareness

abstract: Scaling up model sizes can lead to fundamentally new capabilities in many machine learning (ML) tasks. However, training big models requires strong distributed system expertise to carefully design model-parallel execution strategies that suit the model architectures and cluster setups. In this paper, we develop AMP, a framework that automatically derives such strategies. AMP identifies a valid space of model parallelism strategies and efficiently searches the space for high-performed strategies, by leveraging a cost model designed to capture the heterogeneity of the model and cluster specifications. Unlike existing methods, AMP is specifically tailored to support complex models composed of uneven layers and cluster setups with more heterogeneous accelerators and bandwidth. We evaluate AMP on popular models and cluster setups from public clouds and show that AMP returns parallel strategies that match the expert-tuned strategies on typical cluster setups. On heterogeneous clusters or models with heterogeneous architectures, AMP finds strategies with 1.54x and 1.77x higher throughput than state-of-the-art model-parallel systems, respectively.


title: We need to talk about nonprobability samples

abstract: In most circumstances, probability sampling is the only way to ensure unbiased inference about population quantities where a complete census is not possible. As we enter the era of 'big data', however, nonprobability samples, whose sampling mechanisms are unknown, are undergoing a renaissance. We explain why the use of nonprobability samples can lead to spurious conclusions, and why seemingly large nonprobability samples can be (effectively) very small. We also review some recent controversies surrounding the use of nonprobability samples in biodiversity monitoring. These points notwithstanding, we argue that nonprobability samples can be useful, provided that their limitations are assessed, mitigated where possible and clearly communicated. Ecologists can learn much from other disciplines on each of these fronts.


title: Deep learning waveform anomaly detector for numerical relativity catalogs

abstract: Numerical Relativity has been of fundamental importance for studying compact binary coalescence dynamics, waveform modelling, and eventually for gravitational waves observations. As the sensitivity of the detector network improves, more precise template modelling will be necessary to guarantee a more accurate estimation of astrophysical parameters. To help improve the accuracy of numerical relativity catalogs, we developed a deep learning model capable of detecting anomalous waveforms. We analyzed 1341 binary black hole simulations from the SXS catalog with various mass-ratios and spins, considering waveform dominant and higher modes. In the set of waveform analyzed, we found and categorised seven types of anomalies appearing in the coalescence phases.


title: Phase Diagram of Mixed-Dimensional Anisotropic t-J-Models

abstract: We study the phase diagram of two different mixed-dimensional $t-J_z-J_{\perp}$-models on the square lattice, in which the hopping amplitude $t$ is only nonzero along the $x$-direction. In the first, bosonic, model, the spin exchange amplitude $J_{\perp}$ is negative and isotropic along the $x$ and $y$ directions of the lattice, and $J_z$ is isotropic and positive. The low-energy physics is characterized by spin-charge separation: the holes hop as free fermions in an easy-plane ferromagnetic background. In the second model, $J_{\perp}$ is restricted to the $x$-axis while $J_z$ remains isotropic and positive. The model is agnostic to particle statistics, and shows stripe patterns with anti-ferromagnetic N{\'e}el order at low temperature and high hole concentrations, in resemblance of the mixed-dimensional $t-J_z$ and $t-J$ models. At lower hole concentration, a very strong first order transition and hysteresis loop is seen extending to a remarkably high 14(1)% hole doping.


title: 3D GAN Inversion with Pose Optimization

abstract: With the recent advances in NeRF-based 3D aware GANs quality, projecting an image into the latent space of these 3D-aware GANs has a natural advantage over 2D GAN inversion: not only does it allow multi-view consistent editing of the projected image, but it also enables 3D reconstruction and novel view synthesis when given only a single image. However, the explicit viewpoint control acts as a main hindrance in the 3D GAN inversion process, as both camera pose and latent code have to be optimized simultaneously to reconstruct the given image. Most works that explore the latent space of the 3D-aware GANs rely on ground-truth camera viewpoint or deformable 3D model, thus limiting their applicability. In this work, we introduce a generalizable 3D GAN inversion method that infers camera viewpoint and latent code simultaneously to enable multi-view consistent semantic image editing. The key to our approach is to leverage pre-trained estimators for better initialization and utilize the pixel-wise depth calculated from NeRF parameters to better reconstruct the given image. We conduct extensive experiments on image reconstruction and editing both quantitatively and qualitatively, and further compare our results with 2D GAN-based editing to demonstrate the advantages of utilizing the latent space of 3D GANs. Additional results and visualizations are available at https://3dgan-inversion.github.io .


title: Deep Reinforcement Learning-based Rebalancing Policies for Profit Maximization of Relay Nodes in Payment Channel Networks

abstract: Payment channel networks (PCNs) are a layer-2 blockchain scalability solution, with its main entity, the payment channel, enabling transactions between pairs of nodes "off-chain," thus reducing the burden on the layer-1 network. Nodes with multiple channels can serve as relays for multihop payments by providing their liquidity and withholding part of the payment amount as a fee. Relay nodes might after a while end up with one or more unbalanced channels, and thus need to trigger a rebalancing operation. In this paper, we study how a relay node can maximize its profits from fees by using the rebalancing method of submarine swaps. We introduce a stochastic model to capture the dynamics of a relay node observing random transaction arrivals and performing occasional rebalancing operations, and express the system evolution as a Markov Decision Process. We formulate the problem of the maximization of the node's fortune over time over all rebalancing policies, and approximate the optimal solution by designing a Deep Reinforcement Learning (DRL)-based rebalancing policy. We build a discrete event simulator of the system and use it to demonstrate the DRL policy's superior performance under most conditions by conducting a comparative study of different policies and parameterizations. Our work is the first to introduce DRL for liquidity management in the complex world of PCNs.


title: Elliptic finite-band potentials of a non-self-adjoint Dirac operator

abstract: We present an explicit two-parameter family of finite-band Jacobi elliptic potentials for a non-self-adjoint Dirac operator which connects two previously known limiting cases in which the elliptic parameter is zero or one. A full characterization of the spectrum is obtained by relating the periodic and antiperiodic eigenvalue problems for the Dirac operator to corresponding eigenvalue problems for tridiagonal operators acting on Fourier coefficients in a weighted Hilbert space and to appropriate connection problems for Heun's equation. In turn, these problems are related to four non-self-adjoint unbounded tridiagonal operators, all of which nonetheless have only real eigenvalues. For certain parameter values, the corresponding elliptic potentials generate finite-genus solutions for all the positive and negative flows of the focusing nonlinear Schr\"odinger hierarchy.


title: Beyond $\Lambda$CDM constraints from the full shape clustering measurements from BOSS and eBOSS

abstract: We analyse the full shape of anisotropic clustering measurements from the extended Baryon Oscillation Spectroscopic survey (eBOSS) quasar sample together with the combined galaxy sample from the Baryon Oscillation Spectroscopic Survey (BOSS). We obtain constraints on the cosmological parameters independent of the Hubble parameter $h$ for the extensions of the $\Lambda$CDM models, focusing on cosmologies with free dark energy equation of state parameter $w$. We combine the clustering constraints with those from the latest CMB data from Planck to obtain joint constraints for these cosmologies for $w$ and the additional extension parameters - its time evolution $w_{\rm{a}}$, the physical curvature density $\omega_{K}$ and the neutrino mass sum $\sum m_{\nu}$. Our joint constraints are consistent with flat $\Lambda$CDM cosmological model within 68\% confidence limits. We demonstrate that the Planck data are able to place tight constraints on the clustering amplitude today, $\sigma_{12}$, in cosmologies with varying $w$ and present the first constraints for the clustering amplitude for such cosmologies, which is found to be slightly higher than the $\Lambda$CDM value. Additionally, we show that when we vary $w$ and allow for non-flat cosmologies and the physical curvature density is used, Planck prefers a curved universe at $4\sigma$ significance, which is $\sim2\sigma$ higher than when using the relative curvature density $\Omega_{\rm{K}}$. Finally, when $w$ is varied freely, clustering provides only a modest improvement (of 0.021 eV) on the upper limit of $\sum m_{\nu}$.


title: Dark matter - electron interactions in materials beyond the dark photon model

abstract: The search for sub-GeV dark matter (DM) particles via electronic transitions in underground detectors attracted much theoretical and experimental interest in the past few years. A still open question in this field is whether experimental results can in general be interpreted in a framework where the response of detector materials to an external DM probe is described by a single ionisation or crystal form factor, as expected for the so-called dark photon model. Here, ionisation and crystal form factors are examples of material response functions: interaction-specific integrals of the initial and final state electron wave functions. In this work, we address this question through a systematic classification of the material response functions induced by a wide range of models for spin-0, spin-1/2 and spin-1 DM. We find several examples for which an accurate description of the electronic transition rate at DM direct detection experiments requires material response functions that go beyond those expected for the dark photon model. This concretely illustrates the limitations of a framework that is entirely based on the standard ionisation and crystal form factors, and points towards the need for the general response-function-based formalism we pushed forward recently [1,2]. For the models that require non-standard atomic and crystal response functions, we use the response functions of [1,2] to calculate the DM-induced electronic transition rate in atomic and crystal detectors, and to present 90% confidence level exclusion limits on the strength of the DM-electron interaction from the null results reported by XENON10, XENON1T, EDELWEISS and SENSEI.


title: Feynman checkers: number-theoretic properties

abstract: We study Feynman checkers, an elementary model of electron motion introduced by R. Feynman. In this model, a checker moves on a checkerboard, and we count the turns. Feynman checkers are also known as a one-dimensional quantum walk. We prove some new number-theoretic results in this model, for example, sign alternation of the real and imaginary parts of the electron wave function in a specific area. All our results can be stated in terms of Young diagrams, namely, we compare the number of Young diagrams with an odd and an even number of steps.


title: Another view of sequential sampling in the birth process with immigration

abstract: Models of counts-of-counts data have been extensively used in the biological sciences, for example in cancer, population genetics, sampling theory and ecology. In this paper we explore properties of one model that is embedded into a continuous-time process and can describe the appearance of certain biological data such as covid DNA sequences in a database. More specifically, we consider an evolving model of counts-of-counts data that arises as the family size counts of samples taken sequentially from a Birth process with Immigration (BI). Here, each family represents a type or species, and the family size counts represent the type or species frequency spectrum in the population. We study the correlation of $S(a,b)$ and $S(c,d)$, the number of families observed in two disjoint time intervals $(a,b)$ and $(c,d)$. We find the expected sample variance and its asymptotics for $p$ consecutive sequential samples $\mathbf{S}_p:=(S(t_0,t_1),\dots, S(t_{p-1},t_p))$, for any given $0=t_0<t_1<\dots<t_p$. By conditioning on the sizes of the samples, we provide a connection between $\mathbf{S}_p$ and $p$ sequential samples of sizes $n_1,n_2,\dots,n_p$, drawn from a single run of a Chinese Restaurant Process. The properties of the latter were studied in da Silva et al. (2022). We show how the continuous-time framework helps to make asymptotic calculations easier than its discrete-time counterpart. As an application, for a specific choice of $t_1,t_2,\dots, t_p$, we revisit Fisher's 1943 multi-sampling problem and give another explanation of what Fisher's model could have meant in the world of sequential samples drawn from a BI process.


title: Mutation and SARS-CoV-2 strain competition under vaccination in a modified SIR model

abstract: The crisis caused by the COVID-19 outbreak around the globe raised an increasing concern about the ongoing emergence of variants of SARS-CoV-2 that may evade the immune response provided by vaccines. New variants appear due to mutation, and as the cases accumulate, the probability of the emergence of a variant of concern increases. In this article, we propose a modified SIR model with waning immunity that captures the competition of two strain classes of an infectious disease under the effect of vaccination with a highly contagious and deadly strain class emerging from a prior strain due to mutation. When these strains compete for a limited supply of susceptible individuals, changes in the efficiency of vaccines may affect the behaviour of the disease in a non-trivial way, resulting in complex outcomes. We characterise the parameter space including intrinsic parameters of the disease, and using the vaccine efficiencies as control variables. We find different types of transcritical bifurcations between endemic fixed points and a disease-free equilibrium and identify a region of strain competition where the two strain classes coexist during a transient period. We show that a strain can be extinguished either due to strain competition or vaccination, and we obtain the critical values of the efficiency of vaccines to eradicate the disease. Numerical studies using parameters estimated from publicly reported data agree with our theoretical results. Our mathematical model could be a tool to assess quantitatively the vaccination policies of competing and emerging strains using the dynamics in epidemics of infectious diseases.


title: SHINE: SubHypergraph Inductive Neural nEtwork

abstract: Hypergraph neural networks can model multi-way connections among nodes of the graphs, which are common in real-world applications such as genetic medicine. In particular, genetic pathways or gene sets encode molecular functions driven by multiple genes, naturally represented as hyperedges. Thus, hypergraph-guided embedding can capture functional relations in learned representations. Existing hypergraph neural network models often focus on node-level or graph-level inference. There is an unmet need in learning powerful representations of subgraphs of hypergraphs in real-world applications. For example, a cancer patient can be viewed as a subgraph of genes harboring mutations in the patient, while all the genes are connected by hyperedges that correspond to pathways representing specific molecular functions. For accurate inductive subgraph prediction, we propose SubHypergraph Inductive Neural nEtwork (SHINE). SHINE uses informative genetic pathways that encode molecular functions as hyperedges to connect genes as nodes. SHINE jointly optimizes the objectives of end-to-end subgraph classification and hypergraph nodes' similarity regularization. SHINE simultaneously learns representations for both genes and pathways using strongly dual attention message passing. The learned representations are aggregated via a subgraph attention layer and used to train a multilayer perceptron for inductive subgraph inferencing. We evaluated SHINE against a wide array of state-of-the-art (hyper)graph neural networks, XGBoost, NMF and polygenic risk score models, using large scale NGS and curated datasets. SHINE outperformed all comparison models significantly, and yielded interpretable disease models with functional insights.


title: Transition from Susceptible-Infected to Susceptible-Infected-Recovered Dynamics in a Susceptible-Cleric-Zombie-Recovered Active Matter Model

abstract: The Susceptible-Infected (SI) and Susceptible-Infected-Recovered (SIR) models provide two distinct representations of epidemic evolution, distinguished by the lack of spontaneous recovery in the SI model. Here we introduce a new active matter epidemic model, the ``Susceptible-Cleric-Zombie-Recovered'' (SCZR) model, in which spontaneous recovery is absent but zombies can recover with probability $\gamma$ via interaction with a cleric. Upon interacting with a zombie, both susceptibles and clerics can enter the zombie state with probability $\beta$ and $\alpha$, respectively. By changing the intial fraction of clerics or their healing ability rate $\gamma$, we can tune the SCZR model between SI dynamics, in which no susceptibles or clerics remain at long times, and SIR dynamics, in which no zombies remain at long times. The model is relevant to certain real world diseases such as HIV where spontaneous recovery is impossible but where medical interventions by a limited number of caregivers can reduce or eliminate the spread of infection.

categories: cond-mat.soft cond-mat.stat-mech q-bio.PE q-bio.QM


title: Linker Code Size Optimization for Native Mobile Applications

abstract: Modern mobile applications have grown rapidly in binary size, which restricts user growth and hinders updates for existing users. Thus, reducing the binary size is important for application developers. Recent studies have shown the possibility of using link-time code size optimizations by re-invoking certain compiler optimizations on the linked intermediate representation of the program. However, such methods often incur significant build time overhead and require intrusive changes to the existing build pipeline. In this paper, we propose several novel optimization techniques that do not require significant customization to the build pipeline and reduce binary size with low build time overhead. As opposed to re-invoking the compiler during link time, we perform true linker optimization directly as optimization passes within the linker. This enables more optimization opportunities such as pre-compiled libraries that prior work often could not optimize. We evaluate our techniques on several commercial iOS applications including NewsFeedApp, ShortVideoApp, and CollaborationSuiteApp, each with hundreds of millions of daily active users. Our techniques on average achieve 18.4% binary size reduction across the three commercial applications without any user-perceivable performance degradations.


title: Bootstrap Advantage Estimation for Policy Optimization in Reinforcement Learning

abstract: This paper proposes an advantage estimation approach based on data augmentation for policy optimization. Unlike using data augmentation on the input to learn value and policy function as existing methods use, our method uses data augmentation to compute a bootstrap advantage estimation. This Bootstrap Advantage Estimation (BAE) is then used for learning and updating the gradient of policy and value function. To demonstrate the effectiveness of our approach, we conducted experiments on several environments. These environments are from three benchmarks: Procgen, Deepmind Control, and Pybullet, which include both image and vector-based observations; discrete and continuous action spaces. We observe that our method reduces the policy and the value loss better than the Generalized advantage estimation (GAE) method and eventually improves cumulative return. Furthermore, our method performs better than two recently proposed data augmentation techniques (RAD and DRAC). Overall, our method performs better empirically than baselines in sample efficiency and generalization, where the agent is tested in unseen environments.


title: Bootstrapping Multilingual Semantic Parsers using Large Language Models

abstract: Despite cross-lingual generalization demonstrated by pre-trained multilingual models, the translate-train paradigm of transferring English datasets across multiple languages remains to be a key mechanism for training task-specific multilingual models. However, for many low-resource languages, the availability of a reliable translation service entails significant amounts of costly human-annotated translation pairs. Further, translation services may continue to be brittle due to domain mismatch between task-specific input text and general-purpose text used for training translation models. For multilingual semantic parsing, we demonstrate the effectiveness and flexibility offered by large language models (LLMs) for translating English datasets into several languages via few-shot prompting. Through extensive comparisons on two public datasets, MTOP and MASSIVE, spanning 50 languages and several domains, we show that our method of translating data using LLMs outperforms a strong translate-train baseline on 41 out of 50 languages. We study the key design choices that enable more effective multilingual data translation via prompted LLMs.


title: Spline Sketches: An Efficient Approach for Photon Counting Lidar

abstract: Photon counting lidar has become an invaluable tool for 3D depth imaging due to the fine-precision it can achieve over long ranges. However, high frame rate, high resolution lidar devices produce an enormous amount of time-of-flight (ToF) data which can cause a severe data processing bottleneck hindering the deployment of real-time systems. In this paper, an efficient photon counting approach is proposed that exploits the simplicity of piecewise polynomial splines to form a hardware-friendly compressed statistic, or a so-called spline sketch, of the ToF data without sacrificing the quality of the recovered image. As each piecewise polynomial spline is a simple function with limited support over the timing depth window, the spline sketch can be computed efficiently on-chip with minimal computational overhead. We show that a piecewise linear or quadratic spline sketch, requiring minimal on-chip arithmetic computation per photon detection, can reconstruct real-world depth images with negligible loss of resolution whilst achieving $95\%$ compression compared to the full ToF data, as well as offering multi-peak detection performance. These contrast with previously proposed coarse binning histograms that suffer from a highly nonuniform accuracy across depth and can fail catastrophically when associated with bright reflectors. Further, by building range-walk correction into the proposed estimation algorithms, it is demonstrated that the spline sketches can be made robust to photon pile-up effects. The computational complexity of both the reconstruction and range walk correction algorithms scale only with the size of the spline sketch which is independent to both the photon count and temporal resolution of the lidar device.


title: Design and Evaluation of a Generic Visual SLAM Framework for Multi-Camera Systems

abstract: Multi-camera systems have been shown to improve the accuracy and robustness of SLAM estimates, yet state-of-the-art SLAM systems predominantly support monocular or stereo setups. This paper presents a generic sparse visual SLAM framework capable of running on any number of cameras and in any arrangement. Our SLAM system uses the generalized camera model, which allows us to represent an arbitrary multi-camera system as a single imaging device. Additionally, it takes advantage of the overlapping fields of view (FoV) by extracting cross-matched features across cameras in the rig. This limits the linear rise in the number of features with the number of cameras and keeps the computational load in check while enabling an accurate representation of the scene. We evaluate our method in terms of accuracy, robustness, and run time on indoor and outdoor datasets that include challenging real-world scenarios such as narrow corridors, featureless spaces, and dynamic objects. We show that our system can adapt to different camera configurations and allows real-time execution for typical robotic applications. Finally, we benchmark the impact of the critical design parameters - the number of cameras and the overlap between their FoV that define the camera configuration for SLAM. All our software and datasets are freely available for further research.


title: MTEB: Massive Text Embedding Benchmark

abstract: Text embeddings are commonly evaluated on a small set of datasets from a single task not covering their possible applications to other tasks. It is unclear whether state-of-the-art embeddings on semantic textual similarity (STS) can be equally well applied to other tasks like clustering or reranking. This makes progress in the field difficult to track, as various models are constantly being proposed without proper evaluation. To solve this problem, we introduce the Massive Text Embedding Benchmark (MTEB). MTEB spans 8 embedding tasks covering a total of 58 datasets and 112 languages. Through the benchmarking of 33 models on MTEB, we establish the most comprehensive benchmark of text embeddings to date. We find that no particular text embedding method dominates across all tasks. This suggests that the field has yet to converge on a universal text embedding method and scale it up sufficiently to provide state-of-the-art results on all embedding tasks. MTEB comes with open-source code and a public leaderboard at https://github.com/embeddings-benchmark/mteb.


title: A Large-Scale Annotated Multivariate Time Series Aviation Maintenance Dataset from the NGAFID

abstract: This paper presents the largest publicly available, non-simulated, fleet-wide aircraft flight recording and maintenance log data for use in predicting part failure and maintenance need. We present 31,177 hours of flight data across 28,935 flights, which occur relative to 2,111 unplanned maintenance events clustered into 36 types of maintenance issues. Flights are annotated as before or after maintenance, with some flights occurring on the day of maintenance. Collecting data to evaluate predictive maintenance systems is challenging because it is difficult, dangerous, and unethical to generate data from compromised aircraft. To overcome this, we use the National General Aviation Flight Information Database (NGAFID), which contains flights recorded during regular operation of aircraft, and maintenance logs to construct a part failure dataset. We use a novel framing of Remaining Useful Life (RUL) prediction and consider the probability that the RUL of a part is greater than 2 days. Unlike previous datasets generated with simulations or in laboratory settings, the NGAFID Aviation Maintenance Dataset contains real flight records and maintenance logs from different seasons, weather conditions, pilots, and flight patterns. Additionally, we provide Python code to easily download the dataset and a Colab environment to reproduce our benchmarks on three different models. Our dataset presents a difficult challenge for machine learning researchers and a valuable opportunity to test and develop prognostic health management methods


title: Direct observation of hydrodynamization and local prethermalization

abstract: Hydrodynamics accurately describes relativistic heavy-ion collision experiments well before local thermal equilibrium is established. This unexpectedly rapid onset of hydrodynamics -- which takes place on the fastest available timescale -- is called hydrodynamization. It occurs when an interacting quantum system is quenched with an energy density that is much greater than its initial energy density. During hydrodynamization, energy gets redistributed across very different energy scales. Hydrodynamization precedes local equilibration among momentum modes, which is local prethermalization to a generalized Gibbs ensemble in nearly integrable systems or local thermalization in non-integrable systems. Many theories of quantum dynamics postulate local (pre)thermalization, but the associated timescale has not been quantitatively studied. Here we use an array of 1D Bose gases to directly observe both hydrodynamization and local prethermalization. After we apply a Bragg scattering pulse, hydrodynamization is evident in the fast redistribution of energy among distant momentum modes, which occurs on timescales associated with the Bragg peak energies. Local prethermalization can be seen in the slower redistribution of occupation among nearby momentum modes. We find that the time scale for local prethermalization in our system is inversely proportional to the momenta involved. During hydrodynamization and local prethermalization, existing theories cannot quantitatively model our experiment. Exact theoretical calculations in the Tonks-Girardeau limit show qualitatively similar features.

categories: cond-mat.quant-gas nucl-th physics.atom-ph quant-ph


title: Cryogenic Magneto-Terahertz Scanning Near-field Optical Microscope (cm-SNOM)

abstract: We have developed a versatile near-field microscopy platform that can operate at high magnetic fields and below liquid-helium temperatures. We use this platform to demonstrate an extreme terahertz (THz) nanoscope operation and to obtain the first cryogenic magneto-THz time-domain nano-spectroscopy/imaging at temperatures as low as 1.8 K and magnetic fields of up to 5 T simultaneously. Our cryogenic magneto-THz scanning near-field optical microscopy, or cm-SNOM, instrument comprises three main equipment: i) a 5 T split pair magnetic cryostat with a custom made insert for mounting SNOM inside; ii) an atomic force microscope (AFM) unit that accepts ultrafast THz excitation and iii) a MHz repetition rate, femtosecond laser amplifier for high-field THz pulse generation and sensitive detection. We apply the cm-SNOM to obtain proof of principle measurements of superconducting and topological materials. The new capabilities demonstrated break grounds for studying quantum materials that requires extreme environment of cryogenic operation and applied magnetic fields simultaneously in nanometer space, femtosecond time, and terahertz energy scales.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Asymptotic phase-locking and synchronization in two-qubit systems

abstract: The paper concerns spontaneous asymptotic phase-locking and synchronization in two-qubit systems undergoing continuous Markovian evolution described by Lindbladian dynamics with normal Lindblad operators. Using analytic methods, all phase-locking-enforcing mechanisms within the given framework are obtained and classified. Detailed structures of their respective attractor spaces are provided and used to explore their properties from various perspectives. Amid phase-locking processes those additionally enforcing identical stationary parts of both qubits are identified, including as a special case the strictest form of synchronization conceivable. A prominent basis is presented which reveals that from a physical point of view two main types of phase-locking mechanisms exist. The ability to preserve information about the initial state is explored and an upper bound on the amplitude of oscillations of the resulting phase-locked dynamics is established. Permutation symmetry of both asymptotic states and phase-locking mechanisms is discussed. Lastly, the possibility of entanglement production playing the role of a phase-locking witness is rebutted by three analytically treatable examples.


title: Machine Generated Text: A Comprehensive Survey of Threat Models and Detection Methods

abstract: Machine generated text is increasingly difficult to distinguish from human authored text. Powerful open-source models are freely available, and user-friendly tools that democratize access to generative models are proliferating. ChatGPT, which was released shortly after the first edition of this survey, epitomizes these trends. The great potential of state-of-the-art natural language generation (NLG) systems is tempered by the multitude of avenues for abuse. Detection of machine generated text is a key countermeasure for reducing abuse of NLG models, with significant technical challenges and numerous open problems. We provide a survey that includes both 1) an extensive analysis of threat models posed by contemporary NLG systems, and 2) the most complete review of machine generated text detection methods to date. This survey places machine generated text within its cybersecurity and social context, and provides strong guidance for future work addressing the most critical threat models, and ensuring detection systems themselves demonstrate trustworthiness through fairness, robustness, and accountability.


title: Human Behavioral Models Using Utility Theory and Prospect Theory

abstract: Several examples of Cyber-physical human systems (CPHS) include real-time decisions from humans as a necessary building block for the successful performance of the overall system. Many of these decision-making problems necessitate an appropriate model of human behavior. Tools from Utility Theory have been used successfully in several problems in transportation for resource allocation and balance of supply and demand \citep{ben1985discrete}. More recently, Prospect Theory has been demonstrated as a useful tool in behavioral economics and cognitive psychology for deriving human behavioral models that characterize their subjective decision-making in the presence of stochastic uncertainties and risks, as an alternative to conventional Utility Theory \citep{kahneman_prospect_2012}. These models will be described in this article. Theoretical implications of Prospect Theory are also discussed. Examples will be drawn from transportation use cases such as shared mobility to illustrate these models as well as the distinctions between Utility Theory and Prospect Theory.


title: Experiments on Turkish ASR with Self-Supervised Speech Representation Learning

abstract: While the Turkish language is listed among low-resource languages, literature on Turkish automatic speech recognition (ASR) is relatively old. In this report, we present our findings on Turkish ASR with speech representation learning using HUBERT. We investigate pre-training HUBERT for Turkish with large-scale data curated from online resources. We pre-train our model using 6,500 hours of speech data from YouTube. The results show that the models are not ready for commercial use since they are not robust against disturbances that typically occur in real-world settings such as variations in accents, slang, background noise and interference. We analyze typical errors and the limitations of the models for use in commercial settings.


title: Model-robust and efficient covariate adjustment for cluster-randomized experiments

abstract: Cluster-randomized experiments are increasingly used to evaluate interventions in routine practice conditions, and researchers often adopt model-based methods with covariate adjustment in the statistical analyses. However, the validity of model-based covariate adjustment is unclear when the working models are misspecified, leading to ambiguity of estimands and risk of bias. In this article, we first adapt two conventional model-based methods, generalized estimating equations and linear mixed models, with weighted g-computation to achieve robust inference for cluster-average and individual-average treatment effects. To further overcome the limitations of model-based covariate adjustment methods, we propose an efficient estimator for each estimand that allows for flexible covariate adjustment and additionally addresses cluster size variation dependent on treatment assignment and other cluster characteristics. Such cluster size variations often occur post-randomization and, if ignored, can lead to bias of model-based estimators. For our proposed efficient covariate-adjusted estimator, we prove that when the nuisance functions are consistently estimated by machine learning algorithms, the estimator is consistent, asymptotically normal, and efficient. When the nuisance functions are estimated via parametric working models, the estimator is triply-robust. Simulation studies and analyses of three real-world cluster-randomized experiments demonstrate that the proposed methods are superior to existing alternatives.


title: On the Birman-Krein Theorem

abstract: It is shown that if $X$ is a unitary operator so that a singular subspace of~$U$ is unitarily equivalent to a singular subspace of~$UX$ (or $XU$), for each unitary operator~$U$, then $X$ is the identity operator. In other words, there is no nontrivial generalization of Birman-Krein Theorem that includes the preservation of a singular spectral subspace in this context.


title: Characterizing matrices with eigenvalues in an LMI region: A dissipative-Hamiltonian approach

abstract: In this paper, we provide a dissipative Hamiltonian (DH) characterization for the set of matrices whose eigenvalues belong to a given LMI region. This characterization is a generalization of that of Choudhary et al. (Numer. Linear Algebra Appl., 2020) to any LMI region. It can be used in various contexts, which we illustrate on the nearest $\Omega$-stable matrix problem: given an LMI region $\Omega \subseteq \mathbb{C}$ and a matrix $A \in \mathbb{C}^{n,n}$, find the nearest matrix to $A$ whose eigenvalues belong to $\Omega$. Finally, we generalize our characterization to more general regions that can be expressed using LMIs involving complex matrices.


title: Machine Learning vs. Deep Learning in 5G Networks -- A Comparison of Scientific Impact

abstract: Introduction of fifth generation (5G) wireless network technology has matched the crucial need for high capacity and speed needs of the new generation mobile applications. Recent advances in Artificial Intelligence (AI) also empowered 5G cellular networks with two mainstreams as machine learning (ML) and deep learning (DL) techniques. Our study aims to uncover the differences in scientific impact for these two techniques by the means of statistical bibliometrics. The performed analysis includes citation performance with respect to indexing types, funding availability, journal or conference publishing options together with distributions of these metrics along years to evaluate the popularity trends in a detailed manner. Web of Science (WoS) database host 2245 papers for ML and 1407 papers for DL-related studies. DL studies, starting with 9% rate in 2013, has reached to 45% rate in 2022 among all DL and ML-related studies. Results related to scientific impact indicate that DL studies get slightly more average normalized citation (2.256) compared to ML studies (2.118) in 5G, while SCI-Expanded indexed papers in both sides tend to have similar citation performance (3.165 and 3.162 respectively). ML-related studies those are indexed in ESCI show twice citation performance compared to DL. Conference papers in DL domain and journal papers in ML domain are superior in scientific interest to their counterparts with minor differences. Highest citation performance for ML studies is achieved for year 2014, while this peak is observed for 2017 for DL studies. We can conclude that both publication and citation rate for DL-related papers tend to increase and outperform ML-based studies in 5G domain by the means of citation metrics.


title: Mirror Symmetry, Laurent Inversion and the Classification of $\mathbb{Q}$-Fano Threefolds

abstract: We describe recent progress in a program to understand the classification of three-dimensional Fano varieties with $\mathbb{Q}$-factorial terminal singularities using mirror symmetry. As part of this we give an improved and more conceptual understanding of Laurent inversion, a technique that sometimes allows one to construct a Fano variety $X$ directly from a Laurent polynomial $f$ that corresponds to it under mirror symmetry.


title: Sample Efficient Dynamics Learning for Symmetrical Legged Robots:Leveraging Physics Invariance and Geometric Symmetries

abstract: Model generalization of the underlying dynamics is critical for achieving data efficiency when learning for robot control. This paper proposes a novel approach for learning dynamics leveraging the symmetry in the underlying robotic system, which allows for robust extrapolation from fewer samples. Existing frameworks that represent all data in vector space fail to consider the structured information of the robot, such as leg symmetry, rotational symmetry, and physics invariance. As a result, these schemes require vast amounts of training data to learn the system's redundant elements because they are learned independently. Instead, we propose considering the geometric prior by representing the system in symmetrical object groups and designing neural network architecture to assess invariance and equivariance between the objects. Finally, we demonstrate the effectiveness of our approach by comparing the generalization to unseen data of the proposed model and the existing models. We also implement a controller of a climbing robot based on learned inverse dynamics models. The results show that our method generates accurate control inputs that help the robot reach the desired state while requiring less training data than existing methods.


title: Engineering Optomechanically Induced Transparency by coupling a qubit to a spinning resonator

abstract: We theoretically study the spectral properties of a pump-probe driven hybrid spinning optomechanical ring resonator optically coupled with a two-level quantum emitter (QE or qubit). Recently we have shown [arXiv:1810.03709] that in the absence of the emitter the coupled cavity version of this setup is not only capable of nonreciprocal light propagation but can also exhibit slow & fast light propagation. In this work, we investigate in what ways the presence of a single QE coupled with the optical whispering gallery modes of the spinning optomechanical resonator can alter the probe light nonreciprocity. Under the weak-excitation assumption and mean-field approximation, we find that the interplay between the rotational/spinning Sagnac-effect and the qubit coupling can lead to the enhancement both in the optomechanically induced transparency (OMIT) peak value and in the width of the transparency window due to the opening of qubit-assisted back reflection channel. However, compared to the no-qubit case, we notice that such an enhancement comes at the cost of degrading the group delay in probe light transmission by a factor of 1/2 for clockwise rotary directions. The target applications of these results can be in the areas of quantum circuitry and in non-reciprocal quantum communication protocols where QEs are a key component.


title: Relativistic Hydrodynamics a brief review of classical and quantum fluids in relativistic astrophysics

abstract: The objective of this work is to revisit fundamental aspects of relativistic hydrodynamics, aiming at the construction of a first course in relativistic hydrodynamics and its applications to astrophysics at the level of end of undergraduate course and beginning of graduate course. We aim to introduce more basic concepts of basic hydrodynamics, going through models analogous to gravity to the theory of superfluids, applying mainly to astrophysics and the cosmology of the dark universe. We review the classical hydrodynamics, Galileo symmetry and its extension to Lorentz Symmetry applied to fluids, enabling the analogy of fluids with space-time. We study the conservation of the momentum-energy tensor and the energy conditions of Hawking-Ellis. In the next sections we investigate quantum effects, in particular linked to superfluids, and we also sketch an application to dark matter. In this study, we conclude that superfluidity is one of the possible ways to quantize gravity.


title: Secure Multiparty Computation for Synthetic Data Generation from Distributed Data

abstract: Legal and ethical restrictions on accessing relevant data inhibit data science research in critical domains such as health, finance, and education. Synthetic data generation algorithms with privacy guarantees are emerging as a paradigm to break this data logjam. Existing approaches, however, assume that the data holders supply their raw data to a trusted curator, who uses it as fuel for synthetic data generation. This severely limits the applicability, as much of the valuable data in the world is locked up in silos, controlled by entities who cannot show their data to each other or a central aggregator without raising privacy concerns. To overcome this roadblock, we propose the first solution in which data holders only share encrypted data for differentially private synthetic data generation. Data holders send shares to servers who perform Secure Multiparty Computation (MPC) computations while the original data stays encrypted. We instantiate this idea in an MPC protocol for the Multiplicative Weights with Exponential Mechanism (MWEM) algorithm to generate synthetic data based on real data originating from many data holders without reliance on a single point of failure.


title: Online Algorithms for the Santa Claus Problem

abstract: The Santa Claus problem is a fundamental problem in fair division: the goal is to partition a set of heterogeneous items among heterogeneous agents so as to maximize the minimum value of items received by any agent. In this paper, we study the online version of this problem where the items are not known in advance and have to be assigned to agents as they arrive over time. If the arrival order of items is arbitrary, then no good assignment rule exists in the worst case. However, we show that, if the arrival order is random, then for $n$ agents and any $\varepsilon > 0$, we can obtain a competitive ratio of $1-\varepsilon$ when the optimal assignment gives value at least $\Omega(\log n / \varepsilon^2)$ to every agent (assuming each item has at most unit value). We also show that this result is almost tight: namely, if the optimal solution has value at most $C \ln n / \varepsilon$ for some constant $C$, then there is no $(1-\varepsilon)$-competitive algorithm even for random arrival order.


title: Light-nuclei production in heavy-ion collisions within a thermodynamical approach

abstract: We present results of simulations of light-nuclei production in relativistic heavy-ion collisions within updated Three-fluid Hydrodynamics-based Event Simulator Extended by UrQMD (Ultra-relativistic Quantum Molecular Dynamics) final State interactions (THESEUS). The simulations were performed for Pb+Pb and Au+Au collisions in the collision energy range of $\sqrt{s_{NN}}=$ 6.4--19.6 GeV. The light-nuclei production is treated within the thermodynamical approach on equal basis with hadrons. The only additional parameter related to the light nuclei is the energy density of late freeze-out that imitates afterburner stage of the collision because the light nuclei do not participate in the UrQMD evolution. This parameter is fixed from the condition of the best reproduction of the proton transverse-momentum spectrum after the UrQMD afterburner by that at the late freeze-out. The updated THESEUS results in not perfect, but a reasonable reproduction of data on bulk observables of the light nuclei, especially their functional dependence on the collision energy and light-nucleus mass. Various ratios, $d/p$, $t/p$, $t/d$, and $N(t)\times N(p)/N^2(d)$, are also considered. The directed flow of light nuclei turns out to be more involved. Apparently, it requires explicit treatment of the afterburner evolution of light nuclei that violates the kinetic equilibrium. Imperfect reproduction of the light-nuclei data leaves room for medium effects in produced light nuclei.


title: FOON Creation and Traversal for Recipe Generation

abstract: Task competition by robots is still off from being completely dependable and usable. One way a robot may decipher information given to it and accomplish tasks is by utilizing FOON, which stands for functional object-oriented network. The network first needs to be created by having a human creates action nodes as well as input and output nodes in a .txt file. After the network is sizeable, utilization of this network allows for traversal of the network in a variety of ways such as choosing steps via iterative deepening searching by using the first seen valid option. Another mechanism is heuristics, such as choosing steps based on the highest success rate or lowest amount of input ingredients. Via any of these methods, a program can traverse the network given an output product, and derive the series of steps that need to be taken to produce the output.


title: Site-selective ion beam synthesis and optical properties of individual CdSe nanocrystal quantum dots in a SiO2 matrix

abstract: Cadmium selenide nanocrystal quantum dots (NC-QDs) are site-selectively synthesized by sequential ion beam implantation of selenium and cadmium ions in a SiO2 matrix through sub-micron apertures followed by a rapid thermal annealing step. The size, areal density and optical emission energy of the NC-QDs are controlled by the ion fluence during implantation and the diameter of implantation aperture. For low fluences and small apertures the emission of these optically active emitters is blue-shifted compared to that of the bulk material by $>100\,{\rm meV}$ due to quantum confinement. The emission exhibits spectral diffusion and blinking on a second timescales as established also for solution synthesized NC-QDs.


title: Decomposition Theory Meets Reliability Analysis: Processing of Computation-Intensive Dependent Tasks over Vehicular Clouds with Dynamic Resources

abstract: Vehicular cloud (VC) is a promising technology for processing computation-intensive applications (CI-Apps) on smart vehicles. Implementing VCs over the network edge faces two key challenges: (C1) On-board computing resources of a single vehicle are often insufficient to process a CI-App; (C2) The dynamics of available resources, caused by vehicles' mobility, hinder reliable CI-App processing. This work is among the first to jointly address (C1) and (C2), while considering two common CI-App graph representations, directed acyclic graph (DAG) and undirected graph (UG). To address (C1), we consider partitioning a CI-App with $m$ dependent (sub-)tasks into $k\le m$ groups, which are dispersed across vehicles. To address (C2), we introduce a generalized reliability metric called conditional mean time to failure (C-MTTF). Subsequently, we increase the C-MTTF of dependent sub-tasks processing via introducing a general framework of redundancy-based processing of dependent sub-tasks over semi-dynamic VCs (RP-VC). We demonstrate that RP-VC can be modeled as a non-trivial semi-Markov process (SMP). To analyze this SMP model and its reliability, we develop a novel mathematical framework, called event stochastic algebra ($\langle e\rangle$-algebra). Based on $\langle e\rangle$-algebra, we propose decomposition theorem (DT) to transform the presented SMP to a decomposed SMP (D-SMP). We subsequently calculate the C-MTTF of our methodology. We demonstrate that $\langle e\rangle$-algebra and DT are general mathematical tools that can be used to analyze other cloud-based networks. Simulation results reveal the exactness of our analytical results and the efficiency of our methodology in terms of acceptance and success rates of CI-App processing.


title: Reinforcement Learning with Unbiased Policy Evaluation and Linear Function Approximation

abstract: We provide performance guarantees for a variant of simulation-based policy iteration for controlling Markov decision processes that involves the use of stochastic approximation algorithms along with state-of-the-art techniques that are useful for very large MDPs, including lookahead, function approximation, and gradient descent. Specifically, we analyze two algorithms; the first algorithm involves a least squares approach where a new set of weights associated with feature vectors is obtained via least squares minimization at each iteration and the second algorithm involves a two-time-scale stochastic approximation algorithm taking several steps of gradient descent towards the least squares solution before obtaining the next iterate using a stochastic approximation algorithm.


title: Nash Equilibria for Exchangeable Team against Team Games, their Mean Field Limit, and Role of Common Randomness

abstract: We study stochastic mean-field games among finite number of teams with large finite as well as infinite number of decision makers. For this class of games within static and dynamic settings, we establish the existence of a Nash equilibrium, and show that a Nash equilibrium exhibits exchangeability in the finite decision maker regime and symmetry in the infinite one. To arrive at these existence and structural theorems, we endow the set of randomized policies with a suitable topology under various decentralized information structures, which leads to the desired convexity and compactness of the set of randomized policies. Then, we establish the existence of a randomized Nash equilibrium that is exchangeable (not necessarily symmetric) among decision makers within each team for a general class of exchangeable stochastic games. As the number of decision makers within each team goes to infinity (that is for the mean-field game among teams), using a de Finetti representation theorem, we show existence of a randomized Nash equilibrium that is symmetric (i.e., identical) among decision makers within each team and also independently randomized. Finally, we establish that a Nash equilibrium for a class of mean-field games among teams (which is symmetric) constitutes an approximate Nash equilibrium for the corresponding pre-limit (exchangeable) game among teams with large but finite number of decision makers. We thus show that common randomness is not necessary for large team-against-team games, unlike the case with small sized teams.


title: LEAVES: Learning Views for Time-Series Data in Contrastive Learning

abstract: Contrastive learning, a self-supervised learning method that can learn representations from unlabeled data, has been developed promisingly. Many methods of contrastive learning depend on data augmentation techniques, which generate different views from the original signal. However, tuning policies and hyper-parameters for more effective data augmentation methods in contrastive learning is often time and resource-consuming. Researchers have designed approaches to automatically generate new views for some input signals, especially on the image data. But the view-learning method is not well developed for time-series data. In this work, we propose a simple but effective module for automating view generation for time-series data in contrastive learning, named learning views for time-series data (LEAVES). The proposed module learns the hyper-parameters for augmentations using adversarial training in contrastive learning. We validate the effectiveness of the proposed method using multiple time-series datasets. The experiments demonstrate that the proposed method is more effective in finding reasonable views and performs downstream tasks better than the baselines, including manually tuned augmentation-based contrastive learning methods and SOTA methods.


title: Harmonic Maass forms associated with CM newforms

abstract: In this paper, we use a regularized theta lifting to construct harmonic Maass forms corresponding to binary theta functions of weight $k \ge 2$ under the $\xi$-operator. As a result, we show that their holomorphic parts have algebraic Fourier coefficients, with compatible Galois action. As an application, we prove rationality properties of coefficients of harmonic Maaass forms corresponding to CM newforms, answering a question of Bruinier, Ono and Rhoades.


title: Cognitive-Driven Development Helps Software Teams to Keep Code Units Under the Limit!

abstract: Software design techniques are undoubtedly crucial in the process of designing good software. Over the years, a large number of design techniques have been proposed by both researchers and practitioners. Unfortunately, despite their uniqueness, it is not uncommon to find software products that make subpar design decisions, leading to design degradation challenges. One potential reason for this behavior is that developers do not have a clear vision of how much a code unit could grow; without this vision, a code unit can grow endlessly, even when developers are equipped with an arsenal of design practices. Different than other design techniques, Cognitive Driven Development (CDD for short) focuses on 1) defining and 2) limiting the number of coding elements that developers could use at a given code unit. In this paper, we report on the experiences of a software development team in using CDD for building from scratch a learning management tool at Zup Innovation, a Brazilian tech company. By curating commit traces left in the repositories, combined with the developers' perception, we organized a set of findings and lessons that could be useful for those interested in adopting CDD. For instance, we noticed that by using CDD, despite the evolution of the product, developers were able to keep the code units under a small amount of size (in terms of size). Furthermore, although limiting the complexity is at the heart of CDD, we also discovered that developers tend to relax this notion of limit so that they can cope with the different complexities of the software. Still, we noticed that CDD could also influence testing practices; limiting the code units' size makes testing easier to perform.


title: Scientific Impact of Graph-Based Approaches in Deep Learning Studies -- A Bibliometric Comparison

abstract: Applying graph-based approaches in deep learning receives more attention over time. This study presents statistical analysis on the use of graph-based approaches in deep learning and examines the scientific impact of the related articles. Processing the data obtained from the Web of Science database, metrics such as the type of the articles, funding availability, indexing type, annual average number of citations and the number of access were analyzed to quantitatively reveal the effects on the scientific audience. It's outlined that deep learning-based studies gained momentum after year 2013, and the rate of graph-based approaches in all deep learning studies increased linearly from 1% to 4% within the following 10 years. Conference publications scanned in the Conference Proceeding Citation Index (CPCI) on the graph-based approaches receive significantly more citations. The citation counts of the SCI-Expanded and Emerging SCI indexed publications of the two streams are close to each other. While the citation performances of the supported and unsupported publications of the two sides were similar, pure deep learning studies received more citations on the journal publication side and graph-based approaches received more citations on the conference side. Despite their similar performance in recent years, graph-based studies show twice more citation performance as they get older, compared to traditional approaches. Annual average citation performance per article for all deep learning studies is 11.051 in 2014, while it is 22.483 for graph-based studies. Also, despite receiving 16% more access, graph-based papers get almost the same overall citation over time with the pure counterpart. This is an indication that graph-based approaches need a greater bunch of attention to follow, while pure deep learning counterpart is relatively simpler to get inside.


title: Threshold solutions for the Hartree equation

abstract: We consider the focusing $5$d Hartree equation, which is $L^2$-supercritical, with finite energy initial data, and investigate the solutions at the mass-energy threshold. We establish the existence of special solutions following the work of Duyckaerts-Roudenko [11] for the $3$d focusing cubic nonlinear Schr\"odinger equation (NLS). In particular, apart from the ground state solution $Q$, which is global but non-scattering, there exist special solutions $Q^+$ and $Q^-$, which in one time direction approach $Q$ exponentially, and in the other time direction $Q^+$ blows up in finite time and $Q^-$ exists for all time, exhibiting scattering behavior. We then characterize all radial threshold solutions either as scattering and blow up solutions in both time directions (similar to the solutions under the mass-energy threshold, see Arora-Roudenko [3]), or as the special solutions described above. To obtain the existence and classification result, in this paper we perform a thorough and meticulous investigation of the spectral properties of the linearized operator associated to the Hartree equation.


title: A Topological Data Analysis Study on Murine Pulmonary Arterial Trees with Pulmonary Hypertension

abstract: Pulmonary hypertension (PH), defined by a mean pulmonary arterial blood pressure above 20 mmHg, is a cardiovascular disease impacting the pulmonary vasculature. PH is accompanied by vascular remodeling, wherein vessels become stiffer, large vessels dilate, and smaller vessels constrict. Some types of PH, including hypoxia-induced PH (HPH), lead to microvascular rarefaction. The goal of this study is to analyze the change in pulmonary arterial network morphometry in the presence of HPH. To do so, we use novel methods from topological data analysis (TDA), employing persistent homology to quantify arterial network morphometry for control and hypertensive mice. These methods are used to characterize arterial trees extracted from micro-computed tomography (micro-CT) images. To compare results between control and hypertensive animals, we normalize generated networks using three pruning algorithms. This proof-of-concept study shows that the pruning methods effects the spatial tree statistics and complexities of the trees. Results show that HPH trees have higher depth and that the directional complexities correlate with branch number, except for trees pruned by vessel radius, where the left and anterior complexity are lower compared to control trees. While more data is required to make a conclusion about the overall effect of HPH on network topology, this study provides a framework for analyzing the topology of biological networks and is a step towards the extraction of relevant information for diagnosing and detecting HPH.


title: An Embarrassingly Simple Backdoor Attack on Self-supervised Learning

abstract: As a new paradigm in machine learning, self-supervised learning (SSL) is capable of learning high-quality representations of complex data without relying on labels. In addition to eliminating the need for labeled data, research has found that SSL improves the adversarial robustness over supervised learning since lacking labels makes it more challenging for adversaries to manipulate model predictions. However, the extent to which this robustness superiority generalizes to other types of attacks remains an open question. We explore this question in the context of backdoor attacks. Specifically, we design and evaluate CTRL, an embarrassingly simple yet highly effective self-supervised backdoor attack. By only polluting a tiny fraction of training data (<= 1%) with indistinguishable poisoning samples, CTRL causes any trigger-embedded input to be misclassified to the adversary's designated class with a high probability (>= 99%) at inference time. Our findings suggest that SSL and supervised learning are comparably vulnerable to backdoor attacks. More importantly, through the lens of CTRL, we study the inherent vulnerability of SSL to backdoor attacks. With both empirical and analytical evidence, we reveal that the representation invariance property of SSL, which benefits adversarial robustness, may also be the very reason making \ssl highly susceptible to backdoor attacks. Our findings also imply that the existing defenses against supervised backdoor attacks are not easily retrofitted to the unique vulnerability of SSL.