title: ezCoref: Towards Unifying Annotation Guidelines for Coreference Resolution

abstract: Large-scale, high-quality corpora are critical for advancing research in coreference resolution. However, existing datasets vary in their definition of coreferences and have been collected via complex and lengthy guidelines that are curated for linguistic experts. These concerns have sparked a growing interest among researchers to curate a unified set of guidelines suitable for annotators with various backgrounds. In this work, we develop a crowdsourcing-friendly coreference annotation methodology, ezCoref, consisting of an annotation tool and an interactive tutorial. We use ezCoref to re-annotate 240 passages from seven existing English coreference datasets (spanning fiction, news, and multiple other domains) while teaching annotators only cases that are treated similarly across these datasets. Surprisingly, we find that reasonable quality annotations were already achievable (>90% agreement between the crowd and expert annotations) even without extensive training. On carefully analyzing the remaining disagreements, we identify the presence of linguistic cases that our annotators unanimously agree upon but lack unified treatments (e.g., generic pronouns, appositives) in existing datasets. We propose the research community should revisit these phenomena when curating future unified annotation guidelines.


title: On Compressing Sequences for Self-Supervised Speech Models

abstract: Compressing self-supervised models has become increasingly necessary, as self-supervised models become larger. While previous approaches have primarily focused on compressing the model size, shortening sequences is also effective in reducing the computational cost. In this work, we study fixed-length and variable-length subsampling along the time axis in self-supervised learning. We explore how individual downstream tasks are sensitive to input frame rates. Subsampling while training self-supervised models not only improves the overall performance on downstream tasks under certain frame rates, but also brings significant speed-up in inference. Variable-length subsampling performs particularly well under low frame rates. In addition, if we have access to phonetic boundaries, we find no degradation in performance for an average frame rate as low as 10 Hz.


title: Chance-Constrained Motion Planning with Event-Triggered Estimation

abstract: We consider the problem of autonomous navigation using limited information from a remote sensor network. Because the remote sensors are power and bandwidth limited, we use event-triggered (ET) estimation to manage communication costs. We introduce a fast and efficient sampling-based planner which computes motion plans coupled with ET communication strategies that minimize communication costs, while satisfying constraints on the probability of reaching the goal region and the point-wise probability of collision. We derive a novel method for offline propagation of the expected state distribution, and corresponding bounds on this distribution. These bounds are used to evaluate the chance constraints in the algorithm. Case studies establish the validity of our approach, demonstrating fast computation of optimal plans.


title: Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data I: Analysis

abstract: Inspired by the numerical evidence of a potential 3D Euler singularity \cite{luo2014potentially,luo2013potentially-2}, we prove finite time blowup of the 2D Boussinesq and 3D axisymmetric Euler equations with smooth initial data of finite energy and boundary. There are several essential difficulties in proving finite time blowup of the 3D Euler equations with smooth initial data. One of the essential difficulties is to control a number of nonlocal terms that do not seem to offer any damping effect. Another essential difficulty is that the strong advection normal to the boundary introduces a large growth factor for the perturbation if we use weighted $L^2$ or $H^k$ estimates. We overcome this difficulty by using a combination of a weighted $L^\infty$ norm and a weighted $C^{1/2}$ norm, and develop sharp functional inequalities using the symmetry properties of the kernels and some techniques from optimal transport. Moreover we decompose the linearized operator into a leading order operator plus a finite rank operator. The leading order operator is designed in such a way that we can obtain sharp stability estimates. The contribution from the finite rank operator to linear stability can be estimated by constructing approximate solutions in space-time. This enables us to establish nonlinear stability of the approximate self-similar profile and prove stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth initial data and boundary.


title: On a family of Siegel Poincar\'e series

abstract: Let $ \Gamma $ be a congruence subgroup of $ \mathrm{Sp}_{2n}(\mathbb Z) $. Using Poincar\'e series of $ K $-finite matrix coefficients of integrable discrete series representations of $ \mathrm{Sp}_{2n}(\mathbb R) $, we construct a spanning set for the space $ S_m(\Gamma) $ of Siegel cusp forms of weight $ m\in\mathbb Z_{>2n} $. We prove the non-vanishing of certain elements of this spanning set using Mui\'c's integral non-vanishing criterion for Poincar\'e series on locally compact Hausdorff groups. Moreover, using the representation theory of $ \mathrm{Sp}_{2n}(\mathbb R) $, we study the Petersson inner products of corresponding cuspidal automorphic forms, thereby recovering a representation-theoretic proof of some well-known results on the reproducing kernel function of $ S_m(\Gamma) $. Our results are obtained by generalizing representation-theoretic methods developed by Mui\'c in his work on holomorphic cusp forms on the upper half-plane to the setting of Siegel cusp forms of a higher degree.


title: Dynamics of hot galactic winds launched from spherically-stratified starburst cores

abstract: The analytic galactic wind model derived by Chevalier and Clegg in 1985 (CC85) assumes $\textit{uniform}$ energy and mass-injection within the starburst galaxy nucleus. However, the structure of nuclear star clusters, bulges, and star-forming knots are non-uniform. We generalize to cases with spherically-symmetric energy/mass injection that scale as $r^{-\Delta}$ within the starburst volume $R$, providing solutions for $\Delta = 0$, 1/2, 1, 3/2, and 2. In marked contrast with the CC85 model ($\Delta=0$), which predicts zero velocity at the center, for a singular isothermal sphere profile ($\Delta=2$), we find that the flow maintains a $\textit{constant}$ Mach number of $\mathcal{M}=\sqrt{3/5} \simeq 0.77$ throughout the volume. The fast interior flow can be written as $v_{r < R} = (\dot{E}_T/3\dot{M}_T)^{1/2} \simeq 0.41 \, v_\infty$, where $v_\infty$ is the asymptotic velocity, and $\dot{E}_T$ and $\dot{M}_T$ are the total energy and mass injection rates. For $v_\infty \simeq 2000 \, \mathrm{km \, s^{-1}}$, $v_{r<R} \simeq 820 \, \mathrm{km\, s^{-1}}$ throughout the wind-driving region. The temperature and density profiles of the non-uniform models may be important for interpreting spatially-resolved maps of starburst nuclei. We compute velocity resolved spectra to contrast the $\Delta=0$ (CC85) and $\Delta=2$ models. Next generation X-ray space telescopes such as XRISM may assess these kinematic predictions.


title: Testing platform-independent quantum error mitigation on noisy quantum computers

abstract: We apply quantum error mitigation techniques to a variety of benchmark problems and quantum computers to evaluate the performance of quantum error mitigation in practice. To do so, we define an empirically motivated, resource-normalized metric of the improvement of error mitigation which we call the improvement factor, and calculate this metric for each experiment we perform. The experiments we perform consist of zero-noise extrapolation and probabilistic error cancellation applied to two benchmark problems run on IBM, IonQ, and Rigetti quantum computers, as well as noisy quantum computer simulators. Our results show that error mitigation is on average more beneficial than no error mitigation - even when normalized by the additional resources used - but also emphasize that the performance of quantum error mitigation depends on the underlying computer.


title: A quasi-Poisson structure on the multiplicative Grothendieck-Springer resolution

abstract: In this note we show that the multiplicative Grothendieck-Springer space has a natural quasi-Poisson structure. The associated group-valued moment map is the resolution morphism, and the quasi-Hamiltonian leaves are the connected components of the preimages of Steinberg fibers. This is a multiplicative analogue of the standard Poisson structure on the additive Grothendieck-Springer resolution, and an explicit illustration of a more general procedure of reduction along Dirac realizations which is developed in recent work of the author and Mayrand.


title: Small subsets with large sumset: Beyond the Cauchy--Davenport bound

abstract: For a subset $A$ of an abelian group $G$, given its size $|A|$, its doubling $\kappa=|A+A|/|A|$, and a parameter $s$ which is small compared to $|A|$, we study the size of the largest sumset $A+A'$ that can be guaranteed for a subset $A'$ of $A$ of size at most $s$. We show that a subset $A'\subseteq A$ of size at most $s$ can be found so that $|A+A'| = \Omega(\min(\kappa^{1/3},s)|A|)$. Thus a sumset significantly larger than the Cauchy--Davenport bound can be guaranteed by a bounded size subset assuming that the doubling $\kappa$ is large. Building up on the same ideas, we resolve a conjecture of Bollob\'as, Leader and Tiba that for subsets $A,B$ of $\mathbb{Z}_p$ of size at most $\alpha p$ for an appropriate constant $\alpha>0$, one only needs three elements $b_1,b_2,b_3\in B$ to guarantee $|A+\{b_1,b_2,b_3\}|\ge |A|+|B|-1$. Allowing the use of larger subsets $A'$, we show that for sets $A$ of bounded doubling, one only needs a subset $A'$ with $o(|A|)$ elements to guarantee that $A+A'=A+A$. We also address another conjecture and a question raised by Bollob\'as, Leader and Tiba on high-dimensional analogs and sets whose sumset cannot be saturated by a bounded size subset.


title: Towards a Unified Multi-Dimensional Evaluator for Text Generation

abstract: Multi-dimensional evaluation is the dominant paradigm for human evaluation in Natural Language Generation (NLG), i.e., evaluating the generated text from multiple explainable dimensions, such as coherence and fluency. However, automatic evaluation in NLG is still dominated by similarity-based metrics, and we lack a reliable framework for a more comprehensive evaluation of advanced models. In this paper, we propose a unified multi-dimensional evaluator UniEval for NLG. We re-frame NLG evaluation as a Boolean Question Answering (QA) task, and by guiding the model with different questions, we can use one evaluator to evaluate from multiple dimensions. Furthermore, thanks to the unified Boolean QA format, we are able to introduce an intermediate learning phase that enables UniEval to incorporate external knowledge from multiple related tasks and gain further improvement. Experiments on three typical NLG tasks show that UniEval correlates substantially better with human judgments than existing metrics. Specifically, compared to the top-performing unified evaluators, UniEval achieves a 23% higher correlation on text summarization, and over 43% on dialogue response generation. Also, UniEval demonstrates a strong zero-shot learning ability for unseen evaluation dimensions and tasks. Source code, data and all pre-trained evaluators are available on our GitHub repository (https://github.com/maszhongming/UniEval).


title: Towards Trustworthy Automatic Diagnosis Systems by Emulating Doctors' Reasoning with Deep Reinforcement Learning

abstract: The automation of the medical evidence acquisition and diagnosis process has recently attracted increasing attention in order to reduce the workload of doctors and democratize access to medical care. However, most works proposed in the machine learning literature focus solely on improving the prediction accuracy of a patient's pathology. We argue that this objective is insufficient to ensure doctors' acceptability of such systems. In their initial interaction with patients, doctors do not only focus on identifying the pathology a patient is suffering from; they instead generate a differential diagnosis (in the form of a short list of plausible diseases) because the medical evidence collected from patients is often insufficient to establish a final diagnosis. Moreover, doctors explicitly explore severe pathologies before potentially ruling them out from the differential, especially in acute care settings. Finally, for doctors to trust a system's recommendations, they need to understand how the gathered evidences led to the predicted diseases. In particular, interactions between a system and a patient need to emulate the reasoning of doctors. We therefore propose to model the evidence acquisition and automatic diagnosis tasks using a deep reinforcement learning framework that considers three essential aspects of a doctor's reasoning, namely generating a differential diagnosis using an exploration-confirmation approach while prioritizing severe pathologies. We propose metrics for evaluating interaction quality based on these three aspects. We show that our approach performs better than existing models while maintaining competitive pathology prediction accuracy.


title: Self-Supervised Geometric Correspondence for Category-Level 6D Object Pose Estimation in the Wild

abstract: While 6D object pose estimation has wide applications across computer vision and robotics, it remains far from being solved due to the lack of annotations. The problem becomes even more challenging when moving to category-level 6D pose, which requires generalization to unseen instances. Current approaches are restricted by leveraging annotations from simulation or collected from humans. In this paper, we overcome this barrier by introducing a self-supervised learning approach trained directly on large-scale real-world object videos for category-level 6D pose estimation in the wild. Our framework reconstructs the canonical 3D shape of an object category and learns dense correspondences between input images and the canonical shape via surface embedding. For training, we propose novel geometrical cycle-consistency losses which construct cycles across 2D-3D spaces, across different instances and different time steps. The learned correspondence can be applied for 6D pose estimation and other downstream tasks such as keypoint transfer. Surprisingly, our method, without any human annotations or simulators, can achieve on-par or even better performance than previous supervised or semi-supervised methods on in-the-wild images. Our project page is: https://kywind.github.io/self-pose .


title: Reduction along strong Dirac maps

abstract: We develop a general procedure for reduction along strong Dirac maps, which are a broad generalization of Poisson momentum maps. We recover a large number of familiar constructions in Poisson and quasi-Poisson geometry, and we introduce new examples of Poisson, quasi-Poisson, and Dirac reduced structures. In particular, we obtain quasi-Poisson analogues of several classes of spaces that are studied in geometric representation theory.


title: Searching for Better Database Queries in the Outputs of Semantic Parsers

abstract: The task of generating a database query from a question in natural language suffers from ambiguity and insufficiently precise description of the goal. The problem is amplified when the system needs to generalize to databases unseen at training. In this paper, we consider the case when, at the test time, the system has access to an external criterion that evaluates the generated queries. The criterion can vary from checking that a query executes without errors to verifying the query on a set of tests. In this setting, we augment neural autoregressive models with a search algorithm that looks for a query satisfying the criterion. We apply our approach to the state-of-the-art semantic parsers and report that it allows us to find many queries passing all the tests on different datasets.


title: Improving the Engine of Society

abstract: This paper is organized into four chapters. The first chapter observes how decoupling labor from ownership of the output produced by that labor is equivalent to building an engine that is incentivized to generate the maximum energy output, which leads to unstoppable climate change and compromised quality of life for many individuals. The second chapter discusses the organization of complex systems into hierarchical objects and functions, and proposes an improved working definition for the information entropy contained in complex systems. Chapter 3 redesigns the engine from Chapter 1 into a system optimized to maximize Complex Information Entropy (CIE) rather than energy expenditure, which leads to improvements in the climate, regrowth of environmental ecosystems, minimization of useless labor, and maximization of the well-being of participants. Chapter 4 examines climate change specifically, and introduces a possible solution in the form of a digital twin with an entropy-based fitness function.


title: Group sequential hypothesis tests with variable group sizes: optimal design and performance evaluation

abstract: In this paper, we propose a computer-oriented method of construction of optimal group sequential hypothesis tests with variable group sizes. In particular, for independent and identically distributed observations we obtain the form of optimal group sequential tests which turn to be a particular case of sequentially planned probability ratio tests (SPPRTs, Schmitz, 1993) . Formulas are given for computing the numerical characteristics of general SPPRTs, like error probabilities, average sampling cost, etc. A numerical method of designing the optimal tests and evaluation of the performance characteristics is proposed, and computer algorithms of its implementation are developed. For a particular case of sampling from a Bernoulli population, the proposed method is implemented in R programming language, the code is available in a public GitHub repository. The proposed method is compared numerically with other known sampling plans.


title: Non-uniform Berry-Esseen theorem and Edgeworth expansions with applications to transport distances for weakly dependent random variables

abstract: We obtain non-uniform Berry-Esseen type estimates and Edgeworth expansions for several classes of weakly dependent sequences of random variables, including uniformly elliptic inhomogeneous Markov chains, random and time-varying (partially) hyperbolic or expanding dynamical systems, products of random matrices and some classes of local statistics.


title: Fermi-liquid nonadiabatic highly-compressed cesium iodide superconductor

abstract: Experimental discovery that compressed sulphur hydride exhibits superconducting transition temperature Tc=203 K (Drozdov et al 2015 Nature 525 73) sparked intensive studies of superconducting hydrides. However, this discovery was not a straight forward experimental examination of theoretically predicted phase, instead it was nearly five-decade long experimental quest for superconductivity in highly-compressed matters, which varied from pure elements (hydrogen, oxygen, sulphur, lithium), cuprates, and hydrides (SiH4, YH3, and AlH3), to semiconductors and ionic salts. One of these salts was cesium iodide, CsI, which converts into metallic state at P=115 GPa and at P=180 GPa this compound exhibits the onset of the superconducting transition temperature Tc~2 K (Eremets et al 1998 Science 281 1333). Detailed first principles calculations (Xu et al 2009 Phys Rev B 79 144110) showed that within Eliashberg theory of superconductivity, the CsI should exhibits Tc=0.03 K at pressure P=180 GPa, which is by two orders of magnitude lower than the observed value. In attempt to understand the nature of this discrepancy, here we analyzed temperature dependent resistance in compressed CsI and found that this compound is perfect Fermi liquid metal which exhibits extremely high (~ 17) ratio of the Debye temperature, Td, to the Fermi energy, Tf. This implies that direct utilization of the Eliashberg theory is incorrect for this compound, because the theory valid for the ratio Td/Tf << 1. We also showed that highly-compressed CsI exhibits the ratio of Tc/Tf = 0.04-0.07 and it falls in unconventional superconductors band in the Uemura plot.


title: Best Practices in the Creation and Use of Emotion Lexicons

abstract: Words play a central role in how we express ourselves. Lexicons of word-emotion associations are widely used in research and real-world applications for sentiment analysis, tracking emotions associated with products and policies, studying health disorders, tracking emotional arcs of stories, and so on. However, inappropriate and incorrect use of these lexicons can lead to not just sub-optimal results, but also inferences that are directly harmful to people. This paper brings together ideas from Affective Computing and AI Ethics to present, some of the practical and ethical considerations involved in the creation and use of emotion lexicons -- best practices. The goal is to provide a comprehensive set of relevant considerations, so that readers (especially those new to work with emotions) can find relevant information in one place. We hope this work will facilitate more thoughtfulness when one is deciding on what emotions to work on, how to create an emotion lexicon, how to use an emotion lexicon, how to draw meaningful inferences, and how to judge success.


title: Attribution-aware Weight Transfer: A Warm-Start Initialization for Class-Incremental Semantic Segmentation

abstract: In class-incremental semantic segmentation (CISS), deep learning architectures suffer from the critical problems of catastrophic forgetting and semantic background shift. Although recent works focused on these issues, existing classifier initialization methods do not address the background shift problem and assign the same initialization weights to both background and new foreground class classifiers. We propose to address the background shift with a novel classifier initialization method which employs gradient-based attribution to identify the most relevant weights for new classes from the classifier's weights for the previous background and transfers these weights to the new classifier. This warm-start weight initialization provides a general solution applicable to several CISS methods. Furthermore, it accelerates learning of new classes while mitigating forgetting. Our experiments demonstrate significant improvement in mIoU compared to the state-of-the-art CISS methods on the Pascal-VOC 2012, ADE20K and Cityscapes datasets.


title: A Local Macroscopic Conservative (LoMaC) low rank tensor method with the discontinuous Galerkin method for the Vlasov dynamics

abstract: In this paper, we propose a novel Local Macroscopic Conservative (LoMaC) low rank tensor method with discontinuous Galerkin (DG) discretization for the physical and phase spaces for simulating the Vlasov-Poisson (VP) system. The LoMaC property refers to the exact local conservation of macroscopic mass, momentum and energy at the discrete level. The recently developed LoMaC low rank tensor algorithm (arXiv:2207.00518) simultaneously evolves the macroscopic conservation laws of mass, momentum and energy using the kinetic flux vector splitting; then the LoMaC property is realized by projecting the low rank kinetic solution onto a subspace that shares the same macroscopic observables. This paper is a generalization of our previous work, but with DG discretization to take advantage of its compactness and flexibility in handling boundary conditions and its superior accuracy in the long term. The algorithm is developed in a similar fashion as that for a finite difference scheme, by observing that the DG method can be viewed equivalently in a nodal fashion. With the nodal DG method, assuming a tensorized computational grid, one will be able to (1) derive differentiation matrices for different nodal points based on a DG upwind discretization of transport terms, and (2) define a weighted inner product space based on the nodal DG grid points. The algorithm can be extended to the high dimensional problems by hierarchical Tucker decomposition of solution tensors and a corresponding conservative projection algorithm. In a similar spirit, the algorithm can be extended to DG methods on nodal points of an unstructured mesh, or to other types of discretization, e.g. the spectral method in velocity direction. Extensive numerical results are performed to showcase the efficacy of the method.


title: Computer-Aided Multi-Objective Optimization in Small Molecule Discovery

abstract: Molecular discovery is a multi-objective optimization problem that requires identifying a molecule or set of molecules that balance multiple, often competing, properties. Multi-objective molecular design is commonly addressed by combining properties of interest into a single objective function using scalarization, which imposes assumptions about relative importance and uncovers little about the trade-offs between objectives. In contrast to scalarization, Pareto optimization does not require knowledge of relative importance and reveals the trade-offs between objectives. However, it introduces additional considerations in algorithm design. In this review, we describe pool-based and de novo generative approaches to multi-objective molecular discovery with a focus on Pareto optimization algorithms. We show how pool-based molecular discovery is a relatively direct extension of multi-objective Bayesian optimization and how the plethora of different generative models extend from single-objective to multi-objective optimization in similar ways using non-dominated sorting in the reward function (reinforcement learning) or to select molecules for retraining (distribution learning) or propagation (genetic algorithms). Finally, we discuss some remaining challenges and opportunities in the field, emphasizing the opportunity to adopt Bayesian optimization techniques into multi-objective de novo design.


title: Measuring line-of-sight shear with Einstein rings: a proof of concept

abstract: Line-of-sight effects in strong gravitational lensing have long been treated as a nuisance. However, it was recently proposed that the line-of-sight shear could be a cosmological observable in its own right, if it is not degenerate with lens model parameters. We firstly demonstrate that the line-of-sight shear can be accurately measured from a simple simulated strong lensing image with percent precision. We then extend our analysis to more complex simulated images and stress test the recovery of the line-of-sight shear when using deficient fitting models, finding that it escapes from degeneracies with lens model parameters, albeit at the expense of the precision. Lastly, we check the validity of the tidal approximation by simulating and fitting an image generated in the presence of many line-of-sight dark matter haloes, finding that an explicit violation of the tidal approximation does not necessarily prevent one from measuring the line-of-sight shear.


title: Resolving puzzle in $\Xi_c^0\to \Xi^-e^+\nu_e$ with $\Xi_c-\Xi_c'$ mixing

abstract: We study the ratio of $R=2 \Gamma(\Xi_c^0 \to \Xi^- e^+ \nu_e )/3\Gamma(\Lambda_c^+ \to \Lambda e^+ \nu_e )$, which is found to be $R= 1 (0.8)$ from the exact (broken) $SU(3)$ flavor symmetry, in sharp contrast to the average value of $R_{av}=0.59\pm 0.10 $ from the ALICE collaboration and lattice QCD results. We propose to use the mixing of $\Xi_c-\Xi_c'$ to resolve the puzzle. With the model-independent mass relations, we find that the mixing angle is $|\theta_c| = 0.137(5)\pi$, which suppresses $\Xi_c\to \Xi e^+ \nu_e$ about $20\%$ model-independently, resulting in $R\approx 0.6$ with the $SU(3)$ flavor breaking effect. We explicitly demonstrate that $R= 0.70 \pm 0.09$ from the bag model, which is also consistent with $R_{av}$. To test the mixing mechanism, we recommend the experiments to measure the decays of $\Xi_c \to \Xi '(1530) e^+ \nu_e$, whose branching fractions are determined to be $ ( 4.4\sim 8.7)\times 10^{-3}$ and $(1.3\sim 2.6 )\%$ for $\Xi_c^0$ and $\Xi_c^+$, respectively, but vanish without the mixing. In addition, nonvanishing values of ${\cal B}(\Xi_c^+\to \Xi^{\prime 0} (1530)\pi^+ )$ and ${\cal B}(\Xi_c^+\to \Sigma^{\prime +} (1530) \overline{K}^0 )$ will also be evidences of the mixing based on the K\"oner-Pati-Woo theorem, which are calculated as $(3.8\sim 7.5)\times 10^{-3}$ and $(6.6\sim 13)\times 10 ^{-4}$, respectively. We emphasize that $\theta_c$ is sizable and should be given serious considerations in future studies on the heavy baryon systems.


title: Haptic Teleoperation goes Wireless: Evaluation and Benchmarking of a High-Performance Low-Power Wireless Control Technology

abstract: Communication delays and packet losses are commonly investigated issues in the area of robotic teleoperation. This paper investigates application of a novel low-power wireless control technology (GALLOP) in a haptic teleoperation scenario developed to aid in nuclear decommissioning. The new wireless control protocol, which is based on an off-the-shelf Bluetooth chipset, is compared against standard implementations of wired and wireless TCP/IP data transport. Results, through objective and subjective data, show that GALLOP can be a reasonable substitute for a wired TCP/IP connection, and performs better than a standard wireless TCP/IP method based on Wi-Fi connectivity.


title: FARE: Provably Fair Representation Learning with Practical Certificates

abstract: Fair representation learning (FRL) is a popular class of methods aiming to produce fair classifiers via data preprocessing. Recent regulatory directives stress the need for FRL methods that provide practical certificates, i.e., provable upper bounds on the unfairness of any downstream classifier trained on preprocessed data, which directly provides assurance in a practical scenario. Creating such FRL methods is an important challenge that remains unsolved. In this work, we address that challenge and introduce FARE (Fairness with Restricted Encoders), the first FRL method with practical fairness certificates. FARE is based on our key insight that restricting the representation space of the encoder enables the derivation of practical guarantees, while still permitting favorable accuracy-fairness tradeoffs for suitable instantiations, such as one we propose based on fair trees. To produce a practical certificate, we develop and apply a statistical procedure that computes a finite sample high-confidence upper bound on the unfairness of any downstream classifier trained on FARE embeddings. In our comprehensive experimental evaluation, we demonstrate that FARE produces practical certificates that are tight and often even comparable with purely empirical results obtained by prior methods, which establishes the practical value of our approach.


title: Polynomial Convexity and Polynomial approximations of certain sets in $\mathbb{C}^{2n}$ with non-isolated CR-singularities

abstract: In this paper, we first consider the graph of $(F_1,F_{2},\cdots,F_{n})$ on $\overline{\mathbb{D}}^{n},$ where $F_{j}(z)=\bar{z}^{m_{j}}_{j}+R_{j}(z),j=1,2,\cdots,n,$ which has non-isolated CR-singularities if $m_{j}>1$ for some $j\in\{1,2,\cdots,n\}.$ We show that under certain condition on $R_{j},$ the graph is polynomially convex and holomorphic polynomials on the graph approximates all continuous functions. We also show that there exists an open polydisc $D$ centred at the origin such that the set $\{(z^{m_{1}}_{1},\cdots, z^{m_{n}}_{n}, \bar{z_1}^{m_{n+1}} + R_{1}(z),\cdots, \bar{z_{n}}^{m_{2n}} + R_{n}(z)):z\in \overline{D},m_{j}\in \mathbb{N}, j=1,\cdots,2n\}$ is polynomially convex; and if $\gcd(m_{j},m_{k})=1~~\forall j\not=k,$ the algebra generated by the functions $z^{m_{1}}_{1},\cdots, z^{m_{n}}_{n}, \bar{z_1}^{m_{n+1}} + R_{1},\cdots, \bar{z_{n}}^{m_{2n}} + R_{n}$ is dense in $\mathcal{C}(\overline{D}).$ We prove an analogue of Minsker's theorem over the closed unit polydisc, i.e, if $\gcd(m_{j},m_{k})=1~~\forall j\not=k,$ the algebra $[z^{m_{1}}_{1},\cdots, z^{m_{n}}_{n}, \bar{z_1}^{m_{n+1}},\cdots , \bar{z_{n}}^{m_{2n}};{\overline{\mathbb{D}}^{n}} ]=\mathcal{C}(\overline{\mathbb{D}}^{n}).$ In the process of proving the above results, we also studied the polynomial convexity and approximation of certain graphs.


title: Status of DMRadio-50L and DMRadio-m$^3$

abstract: Recent theoretical advancements have made the QCD axion a stronger dark matter candidate, especially in the sub-$\mu\text{eV}$ range. While cavity haloscopes have made significant progress in excluding QCD axions in the $1 - 100\ \mu\text{eV}$ region, the $1 \text{ peV} - 1\ \mu\text{eV}$ region remains unexplored. The DMRadio program consists of a series of experiments designed to probe low mass axions. DMRadio-50L uses a 1 T average field toroidal magnet and a high-Q LC-oscillator with target sensitivity to axions of $g_{a\gamma\gamma} <5\times10^{-15}\text{ GeV}^{-1}$ between 5 kHz and 5 MHz. DMRadio-m$^3$ consists of a higher frequency LC-oscillator in a 4 T peak field solenoidal magnet with sensitivity to the DFSZ model of QCD axions between 30 MHz and 200 MHz. In this work, we present the status of DMRadio-50L and DMRadio-m$^3$.


title: Projected Hybrid Density Functionals: Method and Application to Core Electron Ionization

abstract: This work presents a new class of hybrid density functional theory (DFT) approximations, incorporating nonlocal exact exchange in predefined states such as core atomic orbitals (AOs). These projected hybrid density functionals are a flexible generalization of range-separated hybrids. This work derives projected hybrids using the Adiabatic Projection formalism. One projects the electron-electron interaction operator onto the chosen predefined states, reintroduces the projected operator into the noninteracting Kohn-Sham reference system, and introduces a density functional approximation for the remaining electron-electron interactions. Projected hybrids are readily implemented existing density functional codes, requiring only a projection of the one-electron density matrices and exchange operators entering existing routines. This work also presents a first application: a core-projected Perdew-Burke-Ernzerhof hybrid PBE0c70, in which the fraction of nonlocal exact exchange is increased from 25% to 70% in core AOs. Automatic selection of the projected AOs provides a black-box model chemistry appropriate for both core and valence electron properties. PBE0c70 predicts core orbital energies that accurately recover core-electron binding energies of second- and third-row elements, without degrading PBE0's good performance for valence-electron properties.


title: Bootstrapping the effect of the twist operator in the D1D5 CFT

abstract: In the D1D5 CFT the twist operator of order 2 can twist together two copies in the untwisted sector into a single joined copy in the twisted sector. Traditionally, this effect is computed by using the covering map method. Recently, a new method was developed using the Bogoliubov ansatz and conformal symmetry to compute this effect in a toy model of one free boson. In this paper, we use this method with superconformal symmetry to compute the effect of the twist operator in the D1D5 CFT. This may provide more effective tools for computing correlation functions of twist operators in this system.


title: K-clique percolation in human structural connectome

abstract: In this study, we discuss communities of densely connected structures and k-clique percolation phenomenon as related to the human structural connectome. We observe the existence of k-clique communities of high orders. The comparison of 426 connectomes shows that individual connections form a bulk of large k-clique communities and are critical for k-clique percolation phenomena. We have also shown the existence of a subnetwork of more frequent connections, considered as a core, which plays a key role in the formation of large-order cliques, connectivity within communities of such structures and their sustainability. The Erdos-Renyi model, for which the k-clique percolation phenomenon is well described, was shown to be inconsistent with modeling the formation of k-clique communities in the human structural connectome.for which the k-clique percolation phenomenon is well described, was shown to be inconsistent with modeling the formation of k-clique communities in the human structural connectome.


title: Condition-number-independent convergence rate of Riemannian Hamiltonian Monte Carlo with numerical integrators

abstract: We study the convergence rate of discretized Riemannian Hamiltonian Monte Carlo on sampling from distributions in the form of $e^{-f(x)}$ on a convex body $\mathcal{M}\subset\mathbb{R}^{n}$. We show that for distributions in the form of $e^{-\alpha^{\top}x}$ on a polytope with $m$ constraints, the convergence rate of a family of commonly-used integrators is independent of $\left\Vert \alpha\right\Vert _{2}$ and the geometry of the polytope. In particular, the implicit midpoint method (IMM) and the generalized Leapfrog method (LM) have a mixing time of $\widetilde{O}\left(mn^{3}\right)$ to achieve $\epsilon$ total variation distance to the target distribution. These guarantees are based on a general bound on the convergence rate for densities of the form $e^{-f(x)}$ in terms of parameters of the manifold and the integrator. Our theoretical guarantee complements the empirical results of [KLSV22], which shows that RHMC with IMM can sample ill-conditioned, non-smooth and constrained distributions in very high dimension efficiently in practice.


title: Mathematical modernity, goal or problem? The opposing views of Felix Hausdorff and Hermann Weyl

abstract: This paper contains a case study of the work and self-definition of two important mathematicians during the rise of modern mathematics: Felx Hausdorff (1868--1942) and Hermann Weyl (1885--1955). The two had strongly diverging positions with regard to basic questions of mathematical methodology, which is reflected in the style and content of their mathematical research. Herbert Mehrtens (1990) describes them as protagonists of what he sees as the two opposing camps of ``modernists'' (Hilbert, Hausdorff et al.) and ``countermodernists'' (Brouwer, Weyl et al.). There is no doubt that Hausdorff may be described as a mathematical ``modernist''', while the qualification of Weyl as ``countermodern'' is rather off the track, once his work is taken into account.


title: Neutral current B-decay anomalies

abstract: We discuss the implications of $b \to s \ell^+\ell^-$ measurements and their deviations with respect to the Standard Model predictions in a model-independent framework. We highlight in particular the impact of the recent updated measurements including the updated $B_s \to \phi \mu^+\mu^-$ branching ratios and angular observables, the recent CMS measurement of the branching ratio of $B_s\to\mu^+ \mu^-$, and the LHCb measured lepton flavour universality violating ratios $R_{K_S^0}$ and $R_{K^{*+}}$. In addition, we check the compatibility of the new physics effect for the theoretically clean observables with the rest of the neutral $B$ decays observables.


title: Saliency Map Verbalization: Comparing Feature Importance Representations from Model-free and Instruction-based Methods

abstract: Saliency maps can explain a neural model's predictions by identifying important input features. They are difficult to interpret for laypeople, especially for instances with many features. In order to make them more accessible, we formalize the underexplored task of translating saliency maps into natural language and compare methods that address two key challenges of this approach -- what and how to verbalize. In both automatic and human evaluation setups, using token-level attributions from text classification tasks, we compare two novel methods (search-based and instruction-based verbalizations) against conventional feature importance representations (heatmap visualizations and extractive rationales), measuring simulatability, faithfulness, helpfulness and ease of understanding. Instructing GPT-3.5 to generate saliency map verbalizations yields plausible explanations which include associations, abstractive summarization and commonsense reasoning, achieving by far the highest human ratings, but they are not faithfully capturing numeric information and are inconsistent in their interpretation of the task. In comparison, our search-based, model-free verbalization approach efficiently completes templated verbalizations, is faithful by design, but falls short in helpfulness and simulatability. Our results suggest that saliency map verbalization makes feature attribution explanations more comprehensible and less cognitively challenging to humans than conventional representations.


title: A note on the column-row property

abstract: In this article, we study the following question asked by Michael Hartz in a recent paper \cite{Hartz}: \textit{which operator spaces satisfy the column-row property?} We provide a complete classification of the column-row property for non-commutative $L_{p}$-spaces over semifinite von Neumann algebras. We study other relevant properties of operator spaces that are related to the column-row property and discuss their existence and non-existence for various natural examples of operator spaces.


title: Exploring Long-Sequence Masked Autoencoders

abstract: Masked Autoencoding (MAE) has emerged as an effective approach for pre-training representations across multiple domains. In contrast to discrete tokens in natural languages, the input for image MAE is continuous and subject to additional specifications. We systematically study each input specification during the pre-training stage, and find sequence length is a key axis that further scales MAE. Our study leads to a long-sequence version of MAE with minimal changes to the original recipe, by just decoupling the mask size from the patch size. For object detection and semantic segmentation, our long-sequence MAE shows consistent gains across all the experimental setups without extra computation cost during the transfer. While long-sequence pre-training is discerned most beneficial for detection and segmentation, we also achieve strong results on ImageNet-1K classification by keeping a standard image size and only increasing the sequence length. We hope our findings can provide new insights and avenues for scaling in computer vision.


title: Unified Vision and Language Prompt Learning

abstract: Prompt tuning, a parameter- and data-efficient transfer learning paradigm that tunes only a small number of parameters in a model's input space, has become a trend in the vision community since the emergence of large vision-language models like CLIP. We present a systematic study on two representative prompt tuning methods, namely text prompt tuning and visual prompt tuning. A major finding is that none of the unimodal prompt tuning methods performs consistently well: text prompt tuning fails on data with high intra-class visual variances while visual prompt tuning cannot handle low inter-class variances. To combine the best from both worlds, we propose a simple approach called Unified Prompt Tuning (UPT), which essentially learns a tiny neural network to jointly optimize prompts across different modalities. Extensive experiments on over 11 vision datasets show that UPT achieves a better trade-off than the unimodal counterparts on few-shot learning benchmarks, as well as on domain generalization benchmarks. Code and models will be released to facilitate future research.


title: Wedderburn Decomposition and Idempotents of some finite metacyclic group algebras

abstract: In this article, we show explicitly the Wedderburn decomposition of the metacyclic group algebra $\mathbb F_qG$, where $G$ has a cyclic subgroup of index 2 and $\gcd(|G|,q)=1$. We also construct the complete set of central and left idempotents of these group algebras.


title: The Random-Bond Ising Model and its dual in Hyperbolic Spaces

abstract: We analyze the thermodynamic properties of the random-bond Ising model (RBIM) on closed hyperbolic surfaces using Monte Carlo and high-temperature series expansion techniques. We also analyze the dual-RBIM, that is the model that in the absence of disorder is related to the RBIM via the Kramers-Wannier duality. Even on self-dual lattices this model is different from the RBIM, unlike in the euclidean case. We explain this anomaly by a careful re-derivation of the Kramers--Wannier duality. For the (dual-)RBIM, we compute the paramagnet-to-ferromagnet phase transition as a function of both temperature $T$ and the fraction of antiferromagnetic bonds $p$. We find that as temperature is decreased in the RBIM, the paramagnet gives way to either a ferromagnet or a spin-glass phase via a second-order transition compatible with mean-field behavior. In contrast, the dual-RBIM undergoes a strongly first order transition from the paramagnet to the ferromagnet both in the absence of disorder and along the Nishimori line. We study both transitions for a variety of hyperbolic tessellations and comment on the role of coordination number and curvature. The extent of the ferromagnetic phase in the dual-RBIM corresponds to the correctable phase of hyperbolic surface codes under independent bit- and phase-flip noise.


title: Language Model Decoding as Likelihood-Utility Alignment

abstract: A critical component of a successful language generation pipeline is the decoding algorithm. However, the general principles that should guide the choice of a decoding algorithm remain unclear. Previous works only compare decoding algorithms in narrow scenarios, and their findings do not generalize across tasks. We argue that the misalignment between the model's likelihood and the task-specific notion of utility is the key factor to understanding the effectiveness of decoding algorithms. To structure the discussion, we introduce a taxonomy of misalignment mitigation strategies (MMSs), providing a unifying view of decoding as a tool for alignment. The MMS taxonomy groups decoding algorithms based on their implicit assumptions about likelihood--utility misalignment, yielding general statements about their applicability across tasks. Specifically, by analyzing the correlation between the likelihood and the utility of predictions across a diverse set of tasks, we provide empirical evidence supporting the proposed taxonomy and a set of principles to structure reasoning when choosing a decoding algorithm. Crucially, our analysis is the first to relate likelihood-based decoding algorithms with algorithms that rely on external information, such as value-guided methods and prompting, and covers the most diverse set of tasks to date. Code, data, and models are available at https://github.com/epfl-dlab/understanding-decoding.


title: Mass-Editing Memory in a Transformer

abstract: Recent work has shown exciting promise in updating large language models with new memories, so as to replace obsolete information or add specialized knowledge. However, this line of work is predominantly limited to updating single associations. We develop MEMIT, a method for directly updating a language model with many memories, demonstrating experimentally that it can scale up to thousands of associations for GPT-J (6B) and GPT-NeoX (20B), exceeding prior work by orders of magnitude. Our code and data are at https://memit.baulab.info.


title: The information on halo properties contained in spectroscopic observations of late-type galaxies

abstract: Rotation curves are the key observational manifestation of the dark matter distribution around late-type galaxies. In a halo model context, the precision of constraints on halo parameters is a complex function of the properties of the measurements as well as properties of the galaxy itself. Forthcoming surveys will resolve rotation curves to varying degrees of precision, or measure their integrated effect in the HI linewidth. To ascertain the relative significance of the relevant quantities for constraining halo properties, we study the information on halo mass and concentration as quantified by the Kullback-Leibler divergence of the kinematics-informed posterior from the uninformative prior. We calculate this divergence as a function of the different types of spectroscopic observation, properties of the measurement, galaxy properties and auxiliary observational data on the baryonic components. Using the SPARC sample, we find that fits to the full rotation curve exhibit a large variation in information gain between galaxies, ranging from ~1 to ~11 bits. The variation is predominantly caused by the vast differences in the number of data points and the size of velocity uncertainties between the SPARC galaxies. We also study the relative importance of the minimum HI surface density probed and the size of velocity uncertainties on the constraining power on the inner halo slope, finding the latter to be significantly more important. We spell out the implications of these results for optimising the strategy of galaxy surveys aiming to constrain galaxies' dark matter distributions, highlighting spectroscopic precision as the most important factor.


title: An approximate likelihood for nuclear recoil searches with XENON1T data

abstract: The XENON collaboration has published stringent limits on specific dark matter -nucleon recoil spectra from dark matter recoiling on the liquid xenon detector target. In this paper, we present an approximate likelihood for the XENON1T 1 tonne-year nuclear recoil search applicable to any nuclear recoil spectrum. Alongside this paper, we publish data and code to compute upper limits using the method we present. The approximate likelihood is constructed in bins of reconstructed energy, profiled along the signal expectation in each bin. This approach can be used to compute an approximate likelihood and therefore most statistical results for any nuclear recoil spectrum. Computing approximate results with this method is approximately three orders of magnitude faster than the likelihood used in the original publications of XENON1T, where limits were set for specific families of recoil spectra. Using this same method, we include toy Monte Carlo simulation-derived binwise likelihoods for the upcoming XENONnT experiment that can similarly be used to assess the sensitivity to arbitrary nuclear recoil signatures in its eventual 20 tonne-year exposure.


title: Decomposing User-APP Graph into Subgraphs for Effective APP and User Embedding Learning

abstract: APP-installation information is helpful to describe the user's characteristics. The users with similar APPs installed might share several common interests and behave similarly in some scenarios. In this work, we learn a user embedding vector based on each user's APP-installation information. Since the user APP-installation embedding is learnable without dependency on the historical intra-APP behavioral data of the user, it complements the intra-APP embedding learned within each specific APP. Thus, they considerably help improve the effectiveness of the personalized advertising in each APP, and they are particularly beneficial for the cold start of the new users in the APP. In this paper, we formulate the APP-installation user embedding learning into a bipartite graph embedding problem. The main challenge in learning an effective APP-installation user embedding is the imbalanced data distribution. In this case, graph learning tends to be dominated by the popular APPs, which billions of users have installed. In other words, some niche/specialized APPs might have a marginal influence on graph learning. To effectively exploit the valuable information from the niche APPs, we decompose the APP-installation graph into a set of subgraphs. Each subgraph contains only one APP node and the users who install the APP. For each mini-batch, we only sample the users from the same subgraph in the training process. Thus, each APP can be involved in the training process in a more balanced manner. After integrating the learned APP-installation user embedding into our online personal advertising platform, we obtained a considerable boost in CTR, CVR, and revenue.


title: Shape Preserving Facial Landmarks with Graph Attention Networks

abstract: Top-performing landmark estimation algorithms are based on exploiting the excellent ability of large convolutional neural networks (CNNs) to represent local appearance. However, it is well known that they can only learn weak spatial relationships. To address this problem, we propose a model based on the combination of a CNN with a cascade of Graph Attention Network regressors. To this end, we introduce an encoding that jointly represents the appearance and location of facial landmarks and an attention mechanism to weigh the information according to its reliability. This is combined with a multi-task approach to initialize the location of graph nodes and a coarse-to-fine landmark description scheme. Our experiments confirm that the proposed model learns a global representation of the structure of the face, achieving top performance in popular benchmarks on head pose and landmark estimation. The improvement provided by our model is most significant in situations involving large changes in the local appearance of landmarks.


title: The Complexity of NISQ

abstract: The recent proliferation of NISQ devices has made it imperative to understand their computational power. In this work, we define and study the complexity class $\textsf{NISQ} $, which is intended to encapsulate problems that can be efficiently solved by a classical computer with access to a NISQ device. To model existing devices, we assume the device can (1) noisily initialize all qubits, (2) apply many noisy quantum gates, and (3) perform a noisy measurement on all qubits. We first give evidence that $\textsf{BPP}\subsetneq \textsf{NISQ}\subsetneq \textsf{BQP}$, by demonstrating super-polynomial oracle separations among the three classes, based on modifications of Simon's problem. We then consider the power of $\textsf{NISQ}$ for three well-studied problems. For unstructured search, we prove that $\textsf{NISQ}$ cannot achieve a Grover-like quadratic speedup over $\textsf{BPP}$. For the Bernstein-Vazirani problem, we show that $\textsf{NISQ}$ only needs a number of queries logarithmic in what is required for $\textsf{BPP}$. Finally, for a quantum state learning problem, we prove that $\textsf{NISQ}$ is exponentially weaker than classical computation with access to noiseless constant-depth quantum circuits.


title: Abundance of hard-hexagon crystals in the quantum pyrochlore antiferromagnet

abstract: We propose a simple family of valence-bond crystals as potential ground states of the $S=1/2$ and $S=1$ Heisenberg antiferromagnet on the pyrochlore lattice. Exponentially numerous in the linear size of the system, these can be visualized as hard-hexagon coverings, with each hexagon representing a resonating valence-bond ring. This ensemble spontaneously breaks rotation, inversion and translation symmetries. A simple, yet accurate, variational wavefunction allows a precise determination of the energy, confirmed by DMRG and numerical linked cluster expansion, and extended by an analysis of excited states. The identification of the origin of the stability indicates applicability to a broad class of frustrated lattices, which we demonstrate for the checkerboard and ruby lattices. Our work suggests a perspective on such quantum magnets, in which unfrustrated motifs are effectively uncoupled by the frustration of their interactions.


title: Improved Bounds on Neural Complexity for Representing Piecewise Linear Functions

abstract: A deep neural network using rectified linear units represents a continuous piecewise linear (CPWL) function and vice versa. Recent results in the literature estimated that the number of neurons needed to exactly represent any CPWL function grows exponentially with the number of pieces or exponentially in terms of the factorial of the number of distinct linear components. Moreover, such growth is amplified linearly with the input dimension. These existing results seem to indicate that the cost of representing a CPWL function is expensive. In this paper, we propose much tighter bounds and establish a polynomial time algorithm to find a network satisfying these bounds for any given CPWL function. We prove that the number of hidden neurons required to exactly represent any CPWL function is at most a quadratic function of the number of pieces. In contrast to all previous results, this upper bound is invariant to the input dimension. Besides the number of pieces, we also study the number of distinct linear components in CPWL functions. When such a number is also given, we prove that the quadratic complexity turns into bilinear, which implies a lower neural complexity because the number of distinct linear components is always not greater than the minimum number of pieces in a CPWL function. When the number of pieces is unknown, we prove that, in terms of the number of distinct linear components, the neural complexities of any CPWL function are at most polynomial growth for low-dimensional inputs and factorial growth for the worst-case scenario, which are significantly better than existing results in the literature.


title: Forces are not Enough: Benchmark and Critical Evaluation for Machine Learning Force Fields with Molecular Simulations

abstract: Molecular dynamics (MD) simulation techniques are widely used for various natural science applications. Increasingly, machine learning (ML) force field (FF) models begin to replace ab-initio simulations by predicting forces directly from atomic structures. Despite significant progress in this area, such techniques are primarily benchmarked by their force/energy prediction errors, even though the practical use case would be to produce realistic MD trajectories. We aim to fill this gap by introducing a novel benchmark suite for learned MD simulation. We curate representative MD systems, including water, organic molecules, a peptide, and materials, and design evaluation metrics corresponding to the scientific objectives of respective systems. We benchmark a collection of state-of-the-art (SOTA) ML FF models and illustrate, in particular, how the commonly benchmarked force accuracy is not well aligned with relevant simulation metrics. We demonstrate when and how selected SOTA methods fail, along with offering directions for further improvement. Specifically, we identify stability as a key metric for ML models to improve. Our benchmark suite comes with a comprehensive open-source codebase for training and simulation with ML FFs to facilitate future work.


title: Series with summands involving harmonic numbers

abstract: For each positive integer $m$, the $m$th order harmonic numbers are given by $$H_n^{(m)}=\sum_{0<k\le n}\frac1{k^m}\ \ (n=0,1,2,\ldots).$$ We discover exact values of some series involving harmonic numbers of order not exceeding three. For example, we conjecture that $$\sum_{k=0}^\infty(6k+1)\frac{\binom{2k}k^3}{256^k}\left(H_{2k}^{(3)}-\frac{7}{64}H_{k}^{(3)}\right) =\frac{25\zeta(3)}{8\pi}-G,$$ where $G$ denotes the Catalan constant $\sum_{k=0}^\infty(-1)^k/(2k+1)^2$. This paper contains $66$ conjectures posed by the author since October 2022.


title: Composite Learning for Robust and Effective Dense Predictions

abstract: Multi-task learning promises better model generalization on a target task by jointly optimizing it with an auxiliary task. However, the current practice requires additional labeling efforts for the auxiliary task, while not guaranteeing better model performance. In this paper, we find that jointly training a dense prediction (target) task with a self-supervised (auxiliary) task can consistently improve the performance of the target task, while eliminating the need for labeling auxiliary tasks. We refer to this joint training as Composite Learning (CompL). Experiments of CompL on monocular depth estimation, semantic segmentation, and boundary detection show consistent performance improvements in fully and partially labeled datasets. Further analysis on depth estimation reveals that joint training with self-supervision outperforms most labeled auxiliary tasks. We also find that CompL can improve model robustness when the models are evaluated in new domains. These results demonstrate the benefits of self-supervision as an auxiliary task, and establish the design of novel task-specific self-supervised methods as a new axis of investigation for future multi-task learning research.


title: How to Train Vision Transformer on Small-scale Datasets?

abstract: Vision Transformer (ViT), a radically different architecture than convolutional neural networks offers multiple advantages including design simplicity, robustness and state-of-the-art performance on many vision tasks. However, in contrast to convolutional neural networks, Vision Transformer lacks inherent inductive biases. Therefore, successful training of such models is mainly attributed to pre-training on large-scale datasets such as ImageNet with 1.2M or JFT with 300M images. This hinders the direct adaption of Vision Transformer for small-scale datasets. In this work, we show that self-supervised inductive biases can be learned directly from small-scale datasets and serve as an effective weight initialization scheme for fine-tuning. This allows to train these models without large-scale pre-training, changes to model architecture or loss functions. We present thorough experiments to successfully train monolithic and non-monolithic Vision Transformers on five small datasets including CIFAR10/100, CINIC10, SVHN, Tiny-ImageNet and two fine-grained datasets: Aircraft and Cars. Our approach consistently improves the performance of Vision Transformers while retaining their properties such as attention to salient regions and higher robustness. Our codes and pre-trained models are available at: https://github.com/hananshafi/vits-for-small-scale-datasets.


title: Visual Reinforcement Learning with Self-Supervised 3D Representations

abstract: A prominent approach to visual Reinforcement Learning (RL) is to learn an internal state representation using self-supervised methods, which has the potential benefit of improved sample-efficiency and generalization through additional learning signal and inductive biases. However, while the real world is inherently 3D, prior efforts have largely been focused on leveraging 2D computer vision techniques as auxiliary self-supervision. In this work, we present a unified framework for self-supervised learning of 3D representations for motor control. Our proposed framework consists of two phases: a pretraining phase where a deep voxel-based 3D autoencoder is pretrained on a large object-centric dataset, and a finetuning phase where the representation is jointly finetuned together with RL on in-domain data. We empirically show that our method enjoys improved sample efficiency in simulated manipulation tasks compared to 2D representation learning methods. Additionally, our learned policies transfer zero-shot to a real robot setup with only approximate geometric correspondence, and successfully solve motor control tasks that involve grasping and lifting from a single, uncalibrated RGB camera. Code and videos are available at https://yanjieze.com/3d4rl/ .


title: OpenOOD: Benchmarking Generalized Out-of-Distribution Detection

abstract: Out-of-distribution (OOD) detection is vital to safety-critical machine learning applications and has thus been extensively studied, with a plethora of methods developed in the literature. However, the field currently lacks a unified, strictly formulated, and comprehensive benchmark, which often results in unfair comparisons and inconclusive results. From the problem setting perspective, OOD detection is closely related to neighboring fields including anomaly detection (AD), open set recognition (OSR), and model uncertainty, since methods developed for one domain are often applicable to each other. To help the community to improve the evaluation and advance, we build a unified, well-structured codebase called OpenOOD, which implements over 30 methods developed in relevant fields and provides a comprehensive benchmark under the recently proposed generalized OOD detection framework. With a comprehensive comparison of these methods, we are gratified that the field has progressed significantly over the past few years, where both preprocessing methods and the orthogonal post-hoc methods show strong potential.


title: Performance Evaluation of Wireless Multi-Carrier (MC) Communication Systems

abstract: This thesis is concerned with data-aided (DA) scheme and CFO tracking for OFDM system. OFDM system model is developed first without CFO and then with CFO. The system performance is evaluated via simulation. The bit error rate (BER), constellation diagram, the phase output and phase error were taken as performance measures. The performance is evaluated for different types of modulation over different channel conditions. In this thesis, a dual bandwidth for CFO tracking based on type-2 control loop to reduce the acquisition time of PLL is proposed. It is proved that the proposed scheme is significantly faster than, and improves the system BER. Also, further refinement to the dual bandwidth scheme is improved by using clustered pilot tones. The improved dual bandwidth scheme is better than the dual bandwidth scheme.


title: Asymptotic Properties of Stieltjes Constants

abstract: We present a new asymptotic formula for the Stieltjes constants which is both simpler and more accurate than several others published in the literature (see e.g. \cite{Fekih-Ahmed}, \cite{Knessl Coffey}, \cite{Paris}). More importantly, it is also a good starting point for a detailed analysis of some surprising regularities in these important constants.


title: Autoencoder-Aided Visualization of Collections of Morse Complexes

abstract: Though analyzing a single scalar field using Morse complexes is well studied, there are few techniques for visualizing a collection of Morse complexes. We focus on analyses that are enabled by looking at a Morse complex as an embedded domain decomposition. Specifically, we target 2D scalar fields, and we encode the Morse complex through binary images of the boundaries of decomposition. Then we use image-based autoencoders to create a feature space for the Morse complexes. We apply additional dimensionality reduction methods to construct a scatterplot as a visual interface of the feature space. This allows us to investigate individual Morse complexes, as they relate to the collection, through interaction with the scatterplot. We demonstrate our approach using a synthetic data set, microscopy images, and time-varying vorticity magnitude fields of flow. Through these, we show that our method can produce insights about structures within the collection of Morse complexes.


title: Topics in Deep Learning and Optimization Algorithms for IoT Applications in Smart Transportation

abstract: Nowadays, the Internet of Things (IoT) has become one of the most important technologies which enables a variety of connected and intelligent applications in smart cities. The smart decision making process of IoT devices not only relies on the large volume of data collected from their sensors, but also depends on advanced optimization theories and novel machine learning technologies which can process and analyse the collected data in specific network structure. Therefore, it becomes practically important to investigate how different optimization algorithms and machine learning techniques can be leveraged to improve system performance. As one of the most important vertical domains for IoT applications, smart transportation system has played a key role for providing real-world information and services to citizens by making their access to transport facilities easier and thus it is one of the key application areas to be explored in this thesis. In a nutshell, this thesis covers three key topics related to applying mathematical optimization and deep learning methods to IoT networks. In the first topic, we propose an optimal transmission frequency management scheme using decentralized ADMM-based method in a IoT network and introduce a mechanism to identify anomalies in data transmission frequency using an LSTM-based architecture. In the second topic, we leverage graph neural network (GNN) for demand prediction for shared bikes. In particular, we introduce a novel architecture, i.e., attention-based spatial temporal graph convolutional network (AST-GCN), to improve the prediction accuracy in real world datasets. In the last topic, we consider a highway traffic network scenario where frequent lane changing behaviors may occur with probability. A specific GNN based anomaly detector is devised to reveal such a probability driven by data collected in a dedicated mobility simulator.


title: The Coming of Age of Nucleic Acid Vaccines during COVID-19

abstract: In the 21st century, several emergent viruses have posed a global threat. Each pathogen has emphasized the value of rapid and scalable vaccine development programs. The ongoing SARS-CoV-2 pandemic has made the importance of such efforts especially clear. New biotechnological advances in vaccinology allow for recent advances that provide only the nucleic acid building blocks of an antigen, eliminating many safety concerns. During the COVID-19 pandemic, these DNA and RNA vaccines have facilitated the development and deployment of vaccines at an unprecedented pace. This success was attributable at least in part to broader shifts in scientific research relative to prior epidemics; the genome of SARS-CoV-2 was available as early as January 2020, facilitating global efforts in the development of DNA and RNA vaccines within two weeks of the international community becoming aware of the new viral threat. Additionally, these technologies that were previously only theoretical are not only safe but also highly efficacious. Although historically a slow process, the rapid development of vaccines during the COVID-19 crisis reveals a major shift in vaccine technologies. Here, we provide historical context for the emergence of these paradigm-shifting vaccines. We describe several DNA and RNA vaccines and in terms of their efficacy, safety, and approval status. We also discuss patterns in worldwide distribution. The advances made since early 2020 provide an exceptional illustration of how rapidly vaccine development technology has advanced in the last two decades in particular and suggest a new era in vaccines against emerging pathogens.


title: Exploring the cosmological synergy between galaxy cluster and cosmic void number counts

abstract: Galaxy clusters and cosmic voids, the most extreme objects of our Universe in terms of mass and size, trace two opposite sides of the large-scale matter density field. By studying their abundance as a function of their mass and radius, respectively, i.e. the halo mass function (HMF) and void size function (VSF), it is possible to achieve fundamental constraints on the cosmological model. While the HMF has already been extensively exploited providing robust constraints on the main cosmological model parameters (e.g. $\Omega_{\rm m}$, $\sigma_8$ and $S_8$), the VSF is still emerging as a viable and effective cosmological probe. Given the expected complementarity of these statistics, in this work we aim at estimating the costraining power deriving from their combination. To this end, we exploit realistic mock samples of galaxy clusters and voids extracted from state-of-the-art large hydrodynamical simulations, in the redshift range $0.2 \leq z \leq 1$. We perform an accurate calibration of the free parameters of the HMF and VSF models, needed to take into account the differences between the types of mass tracers used in this work and those considered in previous literature analyses. Then, we obtain constraints on $\Omega_{\rm m}$ and $\sigma_8$ by performing a Bayesian analysis. We find that cluster and void counts represent powerful independent and complementary probes to test the cosmological framework. In particular, the constraining power of the HMF on $\Omega_{\rm m}$ and $\sigma_8$ improves drastically with the VSF contribution, increasing the $S_8$ constraint precision by a factor of about 60%.


title: A Search for Lensed Lyman-Alpha Emitters within the Early HETDEX Data Set

abstract: The Hobby-Eberly Telescope Dark Energy Experiment (HETDEX) is a large-volume spectroscopic survey without pre-selection of sources, searching ~ 540 deg^2 for Lyman-alpha emitting galaxies (LAEs) at 1.9 < z < 3.5. Taking advantage of such a wide-volume survey, we perform a pilot study using early HETDEX data to search for lensed Lyman-alpha emitters. After performing a proof-of-concept using a previously known lensed LAE covered by HETDEX, we perform a search for previously unknown lensed LAEs in the HETDEX spectroscopic sample. We present a catalog of 26 potential LAEs lensed by foreground, red, non-star-forming galaxies at z ~ 0.4 - 0.7. We estimate the magnification for each candidate system, finding 12 candidates to be within the strong lensing regime (magnification $\mu$ > 2). Follow-up observations of these potential lensed LAEs have the potential to confirm their lensed nature and explore these distant galaxies in more detail.


title: The Local Group's mass: probably no more than the sum of its parts

abstract: The total mass of the Local Group (LG) and the masses of its primary constituents, the Milky Way and M31, are important anchors for several cosmological questions. In recent years, independent measurements have consistently yielded halo masses close to $10^{12} \mathrm{M_\odot}$ for the MW, and $1-2 \times 10^{12} \mathrm{M_\odot}$ for M31, while estimates derived from the pair's kinematics via the `timing argument' have yielded a combined mass of around $5 \times 10^{12} \mathrm{M_\odot}$. Here, we analyse the extremely large Uchuu simulation to constrain the mass of the Local Group and its two most massive members. First, we demonstrate the importance of selecting LG analogues whose kinematics are dominated by mutual interactions to a similar extent as the LG. Adopting the observed separation and radial velocity, we obtain a weighted posterior of $75_{-40}^{+65}$ kms$^{-1}$ for the uncertain transverse velocity. Via Gaussian process regression, we infer a total mass of $3.2^{+1.2}_{-0.9} \times 10^{12} \mathrm{M_\odot}$, significantly below the timing argument prediction. Importantly, we show that the remaining uncertainty is not rooted in the analysis or observational errors, but in the irreducible scatter in the kinematics-mass relation. We further find a mass for the less massive halo of $0.9_{-0.3}^{+0.6} \times 10^{12} \mathrm{M_\odot}$ and for the more massive halo of $2.3_{-0.9}^{+1.0} \times 10^{12} \mathrm{M_\odot}$, consistent with independent measurements of the masses of MW and M31, respectively. Incorporating the mass of the MW as an additional prior allows us to further constrain all measurements and determine that the MW is very likely to be the lower mass object of the two.


title: BPS surface operators and calibrations

abstract: We present here a careful study of the holographic duals of BPS surface operators in the 6d ${\cal N}=(2,0)$ theory. Several different classes of surface operators have been recently identified and each class has a specific calibration form - a 3-form in $AdS_7\times S^4$ whose pullback to the M2-brane world-volume is equal to the volume form. In all but one class, the appropriate forms are closed, so the action of the M2-brane is easily expressed in terms of boundary data, which is the geometry of the surface. Specifically, for surfaces of vanishing anomaly, it is proportional to the integral of the square of the extrinsic curvature. This can be extended to the case of surfaces with anomalies, by taking the ratio of two surfaces with the same anomaly. This gives a slew of new expectation values at large $N$ in this theory. For one specific class of surface operators, which are Lagrangian submanifolds of ${\mathbb R}^4\subset {\mathbb R}^6$, the structure is far richer and we find that the M2-branes are special Lagrangian submanifold of an appropriate six-dimensional almost Calabi-Yau submanifold of $AdS_7\times S^4$. This allows for an elegant treatment of many such examples.


title: The McDonald Accelerating Stars Survey (MASS): Architecture of the Ancient Five-Planet Host System Kepler-444

abstract: We present the latest and most precise characterization of the architecture for the ancient ($\approx 11$ Gyr) Kepler-444 system, which is composed of a K0 primary star (Kepler-444 A) hosting five transiting planets, and a tight M-type spectroscopic binary (Kepler-444 BC) with an A-BC projected separation of 66 au. We have measured the system's relative astrometry using the adaptive optics imaging from Keck/NIRC2 and Kepler-444 A's radial velocities from the Hobby Eberly Telescope, and re-analyzed relative radial velocities between BC and A from Keck/HIRES. We also include the Hipparcos-Gaia astrometric acceleration and all published astrometry and radial velocities into an updated orbit analysis of BC's barycenter. These data greatly extend the time baseline of the monitoring and lead to significant updates to BC's barycentric orbit compared to previous work, including a larger semi-major axis ($a = 52.2^{+3.3}_{-2.7}$ au), a smaller eccentricity ($e = 0.55 \pm 0.05$), and a more precise inclination ($i =85.4^{+0.3}_{-0.4}$ degrees). We have also derived the first dynamical masses of B and C components. Our results suggest Kepler-444~A's protoplanetary disk was likely truncated by BC to a radius of $\approx 8$ au, which resolves the previously noticed tension between Kepler-444 A's disk mass and planet masses. Kepler-444 BC's barycentric orbit is likely aligned with those of A's five planets, which might be primordial or a consequence of dynamical evolution. The Kepler-444 system demonstrates that compact multi-planet systems residing in hierarchical stellar triples can form at early epochs of the Universe and survive their secular evolution throughout cosmic time.


title: A $\nu$ Approach to Analyzing Neutrino Data in the $\mathbf{R}$-Parity-Violating MSSM

abstract: The $R$-parity-violating Minimal Supersymmetric Standard Model (RPV-MSSM) can naturally accommodate massive neutrinos as required by the oscillation data. However, studying the phenomenology is complicated due to the large number of undetermined parameters involved. Thus, studies are usually restricted to specific submodels. In this work, we develop an approach that allows us to be less restrictive. Working in (almost) the completely general RPV-MSSM setting, we analyze the structure of the neutrino mass matrix, and identify -- for the case of two massive neutrinos -- only four minimal classes of structures that can solve the neutrino data; we call these Minimal Oscillation Models (MOMs). We study the general features of each MOM class, and present numerical fits to the oscillation data. Our approach allows us to study all RPV models satisfying the neutrino data in a unified manner, as long as they satisfy the MOM criteria. Through several examples, we show that this indeed holds for many interesting scenarios.


title: Correlated insulating states in carbon nanotubes controlled by magnetic field

abstract: We investigate competing insulating phases in nearly metallic zigzag carbon nanotubes, under conditions where an applied magnetic flux approximately closes the single particle gap in one valley. Recent experiments have shown that an energy gap persists throughout magnetic field sweeps where the single-particle picture predicts that the gap should close and reopen. Using a bosonic low-energy effective theory to describe the interplay between electron-electron interactions, spin-orbit coupling, and magnetic field, we obtain a phase diagram consisting of several competing insulating phases that can form in the vicinity of the single-particle gap closing point. We characterize these phases in terms of spin-resolved charge polarization densities, each of which can independently take one of two possible values consistent with the mirror symmetry of the system, or can take an intermediate value through a spontaneous mirror symmetry breaking transition. In the mirror symmetry breaking phase, adiabatic changes of the orbital magnetic flux drive charge and spin currents along the nanotube. We discuss the relevance of these results to recent and future experiments.


title: Spectral kissing and its dynamical consequences in the squeeze-driven Kerr oscillator

abstract: Transmon qubits are the predominant element in circuit-based quantum information processing, such as existing quantum computers, due to their controllability and ease of engineering implementation. But more than qubits, transmons are multilevel nonlinear oscillators that can be used to investigate fundamental physics questions. Here, they are explored as simulators of excited state quantum phase transitions (ESQPTs), which are generalizations of quantum phase transitions to excited states. We show that the spectral kissing (coalescence of pairs of energy levels) experimentally observed in the effective Hamiltonian of a driven SNAIL-transmon is an ESQPT precursor. We explore the dynamical consequences of the ESQPT, which include the exponential growth of out-of-time-ordered correlators, followed by periodic revivals, and the slow evolution of the survival probability due to localization. These signatures of ESQPT are within reach for current superconducting circuits platforms and are of interest to experiments with cold atoms and ion traps.


title: Measurement-induced phases of matter require feedback

abstract: We explore universality and phases of matter in hybrid quantum dynamics combining chaotic time evolution and projective measurements. We develop a unitary representation of measurements based on the Stinespring Theorem, which we crucially identify with the time evolution of the system and measurement apparatus, affording significant technical advantages and conceptual insight into hybrid dynamics. We diagnose spectral properties in the presence of measurements for the first time, along with standard, experimentally tractable probes of phase structure, finding no nontrivial effects due to measurements in the absence of feedback. We also establish that nonlinearity in the density matrix is neither sufficient nor necessary to see a transition, and instead identify utilization of the measurement outcomes (i.e., ``feedback'') as the crucial ingredient. After reviewing the definition of a phase of matter, we identify nontrivial orders in adaptive hybrid dynamics -- in which measurement outcomes determine future unitary gates -- finding a genuine measurement-induced absorbing-state phase transition in an adaptive quantum East model. In general, we find that only deterministic and constrained Haar-random dynamics with active feedback and without continuous symmetries can realize genuine, measurement-induced phases of matter.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: On a novel relationship between shear and energy density at the bounce in non-singular Bianchi-I spacetimes

abstract: In classical Bianchi-I spacetimes, underlying conditions for what dictates the singularity structure - whether it is anisotropic shear or energy density, can be easily determined from the generalized Friedmann equation. However, in non-singular bouncing anisotropic models these insights are difficult to obtain in the quantum gravity regime where the singularity is resolved at a non-vanishing mean volume which can be large compared to the Planck volume, depending on the initial conditions. Such non-singular models may also lack a generalized Friedmann equation making the task even more difficult. We address this problem in an effective spacetime description of loop quantum cosmology (LQC) where energy density and anisotropic shear are universally bounded due to quantum geometry effects, but a generalized Friedmann equation has been difficult to derive due to the underlying complexity. Performing extensive numerical simulations of effective Hamiltonian dynamics, we bring to light a surprising, seemingly universal relationship between energy density and anisotropic shear at the bounce in LQC. For a variety of initial conditions for a massless scalar field, an inflationary potential, and two types of ekpyrotic potentials we find that the values of energy density and the anisotropic shear at the quantum bounce follow a novel parabolic relationship which reveals some surprising results about the anisotropic nature of the bounce, such as the maximum value of the anisotropic shear at the bounce is reached when the energy density reaches approximately half of its maximum allowed value. The relationship we find can prove very useful for developing our understanding of the degree of anisotropy of the bounce, isotropization of the post-bounce universe, and discovering the modified generalized Friedmann equation in Bianchi-I models with quantum gravity corrections.


title: A Transient "Changing-look'' Active Galactic Nucleus Resolved on Month Timescales from First-year Sloan Digital Sky Survey V Data

abstract: We report the discovery of a new ``changing-look'' active galactic nucleus (CLAGN) event, in the quasar SDSS J162829.17+432948.5 at z=0.2603, identified through repeat spectroscopy from the fifth Sloan Digital Sky Survey (SDSS-V). Optical photometry taken during 2020--2021 shows a dramatic dimming of ${\Delta}$g${\approx}$1 mag, followed by a rapid recovery on a timescale of several months, with the ${\lesssim}$2 month period of rebrightening captured in new SDSS-V and Las Cumbres Observatory spectroscopy. This is one of the fastest CLAGN transitions observed to date. Archival observations suggest that the object experienced a much more gradual dimming over the period of 2011--2013. Our spectroscopy shows that the photometric changes were accompanied by dramatic variations in the quasar-like continuum and broad-line emission. The excellent agreement between the pre- and postdip photometric and spectroscopic appearances of the source, as well as the fact that the dimmest spectra can be reproduced by applying a single extinction law to the brighter spectral states, favor a variable line-of-sight obscuration as the driver of the observed transitions. Such an interpretation faces several theoretical challenges, and thus an alternative accretion-driven scenario cannot be excluded. The recent events observed in this quasar highlight the importance of spectroscopic monitoring of large active galactic nucleus samples on weeks-to-months timescales, which the SDSS-V is designed to achieve.


title: Skyplane: Optimizing Transfer Cost and Throughput Using Cloud-Aware Overlays

abstract: Cloud applications are increasingly distributing data across multiple regions and cloud providers. Unfortunately, wide-area bulk data transfers are often slow, bottlenecking applications. We demonstrate that it is possible to significantly improve inter-region cloud bulk transfer throughput by adapting network overlays to the cloud setting -- that is, by routing data through indirect paths at the application layer. However, directly applying network overlays in this setting can result in unacceptable increases in cloud egress prices. We present Skyplane, a system for bulk data transfer between cloud object stores that uses cloud-aware network overlays to optimally navigate the trade-off between price and performance. Skyplane's planner uses mixed-integer linear programming to determine the optimal overlay path and resource allocation for data transfer, subject to user-provided constraints on price or performance. Skyplane outperforms public cloud transfer services by up to $4.6\times$ for transfers within one cloud and by up to $5.0\times$ across clouds.


title: Disks of Stars in the Galactic center triggered by Tidal Disruption Events

abstract: In addition to a supermassive black hole (SMBH), the central parsec of the Milky Way hosts over a hundred of massive, high velocity young stars whose existence, and organisation of a subset of them in one, or possibly two, mis-aligned disks, is puzzling. Due to a combination of low medium density and strong tidal forces in the vicinity of Sgr A*, stars are not expected to form. Here we propose a novel scenario for their in-situ formation: a jetted tidal disruption event (TDE) from an older wandering star triggers an episode of positive feedback of star formation in the plane perpendicular to the jet, as demonstrated via numerical simulations in the context of jet-induced feedback in galactic outflows. An over-pressured cocoon surrounding the jet shock-compresses clumps to densities high enough to resist the SMBH tidal field. The TDE rate of $10^{-5}-10^{-4}$ yr$^{-1}$ per galaxy, out of which a few percent events are jetted, implies a jetted TDE event per galaxy to occur every few million years. This timescale is interestingly of the same order of the age of the disk stars. The mass function predicted by our mechanism is top-heavy. Additionally, since TDEs are isotropic, our model predicts a random orientation for the disk of stars with respect to the plane of the galaxy and, due to the relatively high TDE rate, it can account for multiple disks of stars with uncorrelated orientations.


title: Almost all wreath product character values are divisible by given primes

abstract: For a finite group $G$ with integer-valued character table and a prime $p$, we show that almost every entry in the character table of $G \wr S_N$ is divisible by $p$ as $N \to \infty$. This result generalizes the work of Peluse and Soundararajan on the character table of $S_N$.


title: Strain induced quasi-unidimensional channels in twisted moir\'e lattices

abstract: We study the effects of strain in moir\'e systems composed of honeycomb lattices. We elucidate the formation of almost perfect one-dimensional moir\'e patterns in twisted bilayer systems. The formation of such patterns is a consequence of an interplay between twist and strain which gives rise to a collapse of the reciprocal space unit cell. As a criterion for such collapse we find a simple relation between the two quantities and the material specific Poisson ratio. The induced one dimensional behavior is characterized by two, usually incommensurate, periodicities. Our results offer explanations for the complex patterns of one-dimensional channels observed in low angle twisted bilayer graphene systems and twisted bilayer dicalcogenides. Our findings can be applied to any hexagonal twisted moir\'e pattern and can be easily extended to other geometries.


title: Experimental nonclassicality in a causal network without assuming freedom of choice

abstract: In a Bell experiment, it is natural to seek a causal account of correlations wherein only a common cause acts on the outcomes. For this causal structure, Bell inequality violations can be explained only if causal dependencies are modelled as intrinsically quantum. There also exists a vast landscape of causal structures beyond Bell that can witness nonclassicality, in some cases without even requiring free external inputs. Here, we undertake a photonic experiment realizing one such example: the triangle causal network, consisting of three measurement stations pairwise connected by common causes and no external inputs. To demonstrate the nonclassicality of the data, we adapt and improve three known techniques: (i) a machine-learning-based heuristic test, (ii) a data-seeded inflation technique generating polynomial Bell-type inequalities and (iii) entropic inequalities. The demonstrated experimental and data analysis tools are broadly applicable paving the way for future networks of growing complexity.


title: Measurement-induced phase transitions on dynamical quantum trees

abstract: Monitored many-body systems fall broadly into two dynamical phases, ``entangling'' or ``disentangling'', separated by a transition as a function of the rate at which measurements are made on the system. Producing an analytical theory of this measurement-induced transition is an outstanding challenge. Recent work made progress in the context of tree tensor networks, which can be related to all-to-all quantum circuit dynamics with forced (postselected) measurement outcomes. So far, however, there are no exact solutions for dynamics of spin-1/2 degrees of freedom (qubits) with ``real'' measurements, whose outcome probabilities are sampled according to the Born rule. Here we define dynamical processes for qubits, with real measurements, that have a tree-like spacetime interaction graph, either collapsing or expanding the system as a function of time. The former case yields an exactly solvable measurement transition. We explore these processes analytically and numerically, exploiting the recursive structure of the tree. We compare the case of ``real'' measurements with the case of ``forced'' measurements. Both cases show a transition at a nontrivial value of the measurement strength, with the real measurement case exhibiting a smaller entangling phase. Both exhibit exponential scaling of the entanglement near the transition, but they differ in the value of a critical exponent. An intriguing difference between the two cases is that the real measurement case lies at the boundary between two distinct types of critical scaling. On the basis of our results we propose a protocol for realizing a measurement phase transition experimentally via an expansion process.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.quant-gas quant-ph


title: Anatomy of Spin and Current Generation from Magnetization Gradients in Topological Insulators and Rashba Metals

abstract: We explore the spin density and charge currents arising on the surface of a topological insulator and in a 2D Rashba metal due to magnetization gradients. For topological insulators a single interconversion coefficient controls the generation of both quantities. This coefficient is quantized to a value proportional to the vorticity of the Dirac point which constitutes a hallmark of parity anomaly at finite density. As such, it also unveils a robust route to disentangle and detect the protected states of a topological insulator on a given surface. In stark contrast, Rashba metals do not exhibit such anomalies since they contain an even number of helical branches. Nonetheless, also these are governed by quantized responses which, however, are not protected against weak disorder. Furthermore, we find that for Rashba metals the interconversion coefficients demonstrate discontinuities and a nontrivial interplay upon varying the chemical potential, the strength of the spin-orbit coupling, and a pairing gap. Our results have implications for the binding between magnetic skyrmions and superconducting vortices, the emergence of Majorana zero modes, and pave the way for superconducting diode effects mediated by out-of-plane magnetization gradients.


title: Probable low-frequency quasi-periodic oscillations in blazars from the ZTF survey

abstract: We investigate the possible presence of quasi-periodic oscillation (QPO) signals in 2103 blazars from the Zwicky Transient Facility (ZTF) time-domain survey. We detect a low-frequency QPO signal in five blazars observed over these 3.8-year-long optical r-band ZTF light curves. These periods range from 144 days to 196 days detected at $\gtrsim 4\sigma$ significance levels in both the Lomb-Scargle periodogram and Weighted Wavelet Z-transform analyses. We find consistent results using the phase dispersion minimization technique. A similar peak is detected in the g-band light curves at a slightly lower significance of 3$\sigma$. Such nearly periodic signals on these timescales in optical wavebands most likely originate from a precessing jet with high Lorentz factor, closely aligned to the observer's line of sight or the movement of plasma blobs along a helical structure in the jet.


title: Improving Colour Computations in MadGraph5_aMC@NLO and Exploring a 1/Nc Expansion

abstract: In this paper, we present an extension of MadGraph5_aMC@NLO which is able to evaluate tree-level QCD matrix-elements up to $2\to 6$ (one more particle than before). To achieve this, we implemented Berends-Giele-like recursion, and re-implemented the way colour is computed such that we can now expand the colour matrix in powers of 1/Nc and truncate this expansion to a chosen order. For high multiplicity samples, even without truncating the colour matrix, the new implementation offers a speed gain compared to the previous MadGraph5_aMC@NLO code.


title: Study of worm-gear-T function $g_{1T}$ with semi-inclusive DIS data

abstract: The worm-gear-T function parameterizes the probability to find a longitudinally polarized quark inside a transversely polarized hadron. We extract it from data on polarized semi-inclusive deep-inelastic scattering (SIDIS) measured at COMPASS and HERMES. As a theoretical model, we use a Wandzura-Wilczek-type approximation at the next-to-leading order. We find that, at present, the data quality is insufficient to determine the worm-gear-T function faithfully. We also provide predictions for the transverse single-spin asymmetry associated with the worm-gear-T function, which could be measured in weak-boson production at STAR.