title: Deliberating with AI: Improving Decision-Making for the Future through Participatory AI Design and Stakeholder Deliberation

abstract: Research exploring how to support decision-making has often used machine learning to automate or assist human decisions. We take an alternative approach for improving decision-making, using machine learning to help stakeholders surface ways to improve and make fairer decision-making processes. We created "Deliberating with AI", a web tool that enables people to create and evaluate ML models in order to examine strengths and shortcomings of past decision-making and deliberate on how to improve future decisions. We apply this tool to a context of people selection, having stakeholders -- decision makers (faculty) and decision subjects (students) -- use the tool to improve graduate school admission decisions. Through our case study, we demonstrate how the stakeholders used the web tool to create ML models that they used as boundary objects to deliberate over organization decision-making practices. We share insights from our study to inform future research on stakeholder-centered participatory AI design and technology for organizational decision-making.


title: Spectral Method for the Gravitational Perturbations of Black Holes: Schwarzschild Background Case

abstract: We develop a novel technique through spectral decompositions to study the gravitational perturbations of a black hole, without needing to decouple the linearized field equations into master equations and separate their radial and angular dependence. We first spectrally decompose the metric perturbation in a Legendre and Chebyshev basis for the angular and radial sectors respectively, using input from the asymptotic behavior of the perturbation at spatial infinity and at the black hole event horizon. This spectral decomposition allows us to then transform the linearized Einstein equations (a coupled set of partial differential equations) into a linear matrix equation. By solving the linear matrix equation for its generalized eigenvalues, we can estimate the complex quasinormal frequencies of the fundamental mode and various overtones of the gravitational perturbations simultaneously and to high accuracy. We apply this technique to perturbations of a nonspinning, Schwarzschild black hole in general relativity and find the complex quasinormal frequencies of two fundamental modes and their first two overtones. We demonstrate that the technique is robust and accurate, in the Schwarzschild case leading to relative fractional errors of $\leq 10^{-10} - 10^{-8}$ for the fundamental modes, $\leq 10^{-7} - 10^{-6}$ for their first overtones, $\leq 10^{-7} - 10^{-4}$ for their second overtones. This method can be applied to any black hole spacetime, irrespective of its Petrov type, making the numerical technique extremely powerful in the study of black hole ringdown in and outside general relativity.


title: On automorphisms of quantum Schubert cells

abstract: Automorphisms of the quantum Schubert cell algebras ${\mathcal U}_q^\pm[w]$ of De Concini, Kac, Procesi and Lusztig and their restrictions to some key invariant subalgebras are studied. We develop some general rigidity results and apply them to completely determine the automorphism group in several cases. We focus primarily on those cases when the underlying Lie algebra $\mathfrak{g}$ is finite dimensional and simple with rank $r > 1$, and $w$ is a parabolic element of the Weyl group, say $w = w_o^Jw_o$, for some nonempty subset $J$ of simple roots. Here, ${\mathcal U}_q^\pm[w]$ is a deformation of the universal enveloping algebra of the nilradical of a parabolic subalgebra of $\mathfrak{g}$. In this setting we conjecture that, with the exception of two specific low rank cases, the automorphism group of ${\mathcal U}_q^{\pm}[w]$ is the semidirect product of an algebraic torus of rank $r$ with the group of Dynkin diagram symmetries that preserve $J$. This conjecture is a more general form of the Launois-Lenagan and Andruskiewitsch-Dumas conjectures regarding the automorphism groups of the algebras of quantum matrices and the algebras ${\mathcal U}_q^+(\mathfrak{g})$, respectively. We completely determine the automorphism group in several instances, including all cases when $\mathfrak{g}$ is of type $F_4$ or $G_2$, as well as those cases when the quantum Schubert cell algebras are the algebras of quantum symmetric matrices.


title: Compressing the atomic cloud in a matter-wave stripe soliton

abstract: We consider an attractive quasi-one dimensional spin-orbit coupled Bose-Einstein condensate (SOC BEC) confined in a periodic potential produced by the combination of linear and nonlinear optical lattices, and study the effects of squeezing a stripe soliton by varying the inter-atomic interaction in the nonlinear lattice. It is observed that the nodes on the soliton arising entirely due to the effect of spin-orbit coupling tend to disappear as we increase the squeezing effect to finally get a stable fundamental soliton. This leads us to conclude that external pressure can reduce the effect of spin-orbit coupling in the SOC BEC and even convert the system to a traditional BEC without spin-orbit coupling. We make use of an information theoretic measure to visualize how does the atomic density distribution in the condensate respond to continual reduction in the spin-orbit coupling effect.


title: Particle Swarm Optimization in 3D Medical Image Registration: A Systematic Review

abstract: Medical image registration seeks to find an optimal spatial transformation that best aligns the underlying anatomical structures. These problems usually require the optimization of a similarity metric. Swarm Intelligence techniques are very effective and efficient optimization methods. This systematic review focuses on 3D medical image registration using Particle Swarm Optimization


title: Provable Robustness Against a Union of $\ell_0$ Adversarial Attacks

abstract: Sparse or $\ell_0$ adversarial attacks arbitrarily perturb an unknown subset of the features. $\ell_0$ robustness analysis is particularly well-suited for heterogeneous (tabular) data where features have different types or scales. State-of-the-art $\ell_0$ certified defenses are based on randomized smoothing and apply to evasion attacks only. This paper proposes feature partition aggregation (FPA) -- a certified defense against the union of $\ell_0$ evasion, backdoor, and poisoning attacks. FPA generates its stronger robustness guarantees via an ensemble whose submodels are trained on disjoint feature sets. Compared to state-of-the-art $\ell_0$ defenses, FPA is up to 3,000${\times}$ faster and provides larger median robustness guarantees (e.g., median certificates of 13 pixels over 10 for CIFAR10, 12 pixels over 10 for MNIST, 4 features over 1 for Weather, and 3 features over 1 for Ames), meaning FPA provides the additional dimensions of robustness essentially for free.


title: Quantum Reference Frames at the Boundary of Spacetime

abstract: An analysis is given of the local phase space of gravity coupled to matter to second order in perturbation theory. Working in local regions with boundaries at finite distance, we identify matter, Coulomb, and additional boundary modes. The boundary modes take the role of reference frames for both diffeomorphisms and internal Lorentz rotations. Passing to the quantum level, we identify the constraints that link the bulk and boundary modes. The constraints take the form of a multi-fingered Schr\"odinger equation, which determines the relational evolution of the quantum states in the bulk with respect to the quantum reference fields at the boundary.


title: On scalar charges and black-hole thermodynamics

abstract: We revisit the first law of black hole thermodynamics in 4-dimensional theories containing scalar and Abelian vector fields coupled to gravity using Wald's formalism and a new definition of scalar charge as an integral over a 2-surface which satisfies a Gauss law in stationary black-hole spacetimes. We focus on ungauged supergravity-inspired theories with symmetric sigma models whose symmetries generate electric-magnetic dualities leaving invariant their equations of motion. Our manifestly duality-invariant form of the first law is compatible with the one obtained by of Gibbons, Kallosh and Kol. We also obtain the general expression for the scalar charges of a stationary black hole in terms of the other physical parameters of the solution and the position of the horizon, generalizing the expression obtained by Pacilio for dilaton black oles.


title: Decoding probabilistic syndrome measurement and the role of entropy

abstract: In realistic stabiliser-based quantum error correction there are many ways in which real physical systems deviate from simple toy models of error. Stabiliser measurements may not always be deterministic or may suffer from erasure errors, such that they do not supply syndrome outcomes required for error correction. In this paper, we study the performance of the toric code under a model of probabilistic stabiliser measurement. We find that, even under a completely continuous model of syndrome extraction, the threshold can be maintained at reasonably high values of $1.69\%$ by suitably modifying the decoder using the edge-contraction method of Stace and Barrett (Physical Review A 81, 022317 (2010)), compared to a value of $2.93\%$ for deterministic stabiliser measurements. Finally, we study the role of entropic factors which account for degenerate error configurations for improving on the performance of the decoder. We find that in the limit of completely continuous stabiliser measurement any advantage further provided by these factors becomes negligible in contrast to the case of deterministic measurements.


title: Rename Chains: An Exploratory Study on the Occurrence and Characteristics of Identifiers Undergoing Multiple Renamings

abstract: Identifier names play a significant role in program comprehension activities, with high-quality names improving developer productivity and system quality. To correct poor-quality names, developers rename identifiers to reflect their intended purpose better. However, renames do not always result in high-quality, long-lasting names; in many cases, developers perform multiple rename operations on the same identifier throughout the system's lifetime. In this paper, we report on a large-scale empirical study that examines the occurrence of identifiers undergoing multiple renames (i.e., rename chains). Our findings show the presence of rename chains in almost every project, with methods typically having more rename chains than other identifier types. Furthermore, it is usually the same developer responsible for creating all renames within a chain, with most names maintaining the same grammatical structure. Understanding rename chains can help us provide stronger advice, and targeted research, on how to craft high-quality, long-lasting identifiers.


title: Superconducting valence bond fluid in lightly doped 8-leg $t$-$J$ cylinders

abstract: Superconductivity in doped quantum paramagnets has been a subject of long theoretical inquiry. In this work we report a density matrix renormalization group study of lightly doped $t$-$J$ models on the square lattice (doped hole densities $\delta = 1/12$ and 1/8) with parameters for which previous studies have suggested that the undoped system in 2D is either a quantum spin liquid or a valence bond crystal. Our studies are performed on cylinders with width up to 8. Ground-state correlations are found to be nearly identical for the ``doped quantum spin liquid'' and ``doped valence bond crystal''. Upon increasing the cylinder width from 4 to 8, we observed a significant strengthening of the quasi-long-range superconducting correlations, and a dramatic suppression of any ``competing'' charge-density-wave order. Extrapolating from the observed behavior of the width 8 cylinders, we speculate that the system has a nodeless d-wave superconducting ground-state in the 2D limit.


title: Provably Efficient Reinforcement Learning via Surprise Bound

abstract: Value function approximation is important in modern reinforcement learning (RL) problems especially when the state space is (infinitely) large. Despite the importance and wide applicability of value function approximation, its theoretical understanding is still not as sophisticated as its empirical success, especially in the context of general function approximation. In this paper, we propose a provably efficient RL algorithm (both computationally and statistically) with general value function approximations. We show that if the value functions can be approximated by a function class that satisfies the Bellman-completeness assumption, our algorithm achieves an $\widetilde{O}(\text{poly}(\iota H)\sqrt{T})$ regret bound where $\iota$ is the product of the surprise bound and log-covering numbers, $H$ is the planning horizon, $K$ is the number of episodes and $T = HK$ is the total number of steps the agent interacts with the environment. Our algorithm achieves reasonable regret bounds when applied to both the linear setting and the sparse high-dimensional linear setting. Moreover, our algorithm only needs to solve $O(H\log K)$ empirical risk minimization (ERM) problems, which is far more efficient than previous algorithms that need to solve ERM problems for $\Omega(HK)$ times.


title: Quantifying Magnetic Fields Using Deformed Diamagnetic Liquid Profiles

abstract: Measuring the magnetic field of permanent magnets can be challenging, but recent research has demonstrated the potential of using deformed diamagnetic liquids to estimate the magnetic field. In this paper, we explore two methods for measuring the magnetic field from the response of the diamagnetic liquid. The first method involves measuring the profile of the deformed liquid with a laser and then calculating the square of the magnetic field using an appropriate equation. The second method involves measuring the maximum slope of the liquid and numerically calculating the magnetic field distribution using the model of an ideal solenoid. We present experimental results using these methods and compare them with other established methods for measuring magnetic fields. The results show that the proposed methods are effective and have potential for use in a variety of applications. The proposed methods can help address the challenge of measuring magnetic fields in situations where other methods are not suitable or practical.


title: Do We Really Need Complicated Model Architectures For Temporal Networks?

abstract: Recurrent neural network (RNN) and self-attention mechanism (SAM) are the de facto methods to extract spatial-temporal information for temporal graph learning. Interestingly, we found that although both RNN and SAM could lead to a good performance, in practice neither of them is always necessary. In this paper, we propose GraphMixer, a conceptually and technically simple architecture that consists of three components: (1) a link-encoder that is only based on multi-layer perceptrons (MLP) to summarize the information from temporal links, (2) a node-encoder that is only based on neighbor mean-pooling to summarize node information, and (3) an MLP-based link classifier that performs link prediction based on the outputs of the encoders. Despite its simplicity, GraphMixer attains an outstanding performance on temporal link prediction benchmarks with faster convergence and better generalization performance. These results motivate us to rethink the importance of simpler model architecture.


title: Hitting Sets when the Shallow Cell Complexity is Small

abstract: The hitting set problem is a well-known NP-hard optimization problem in which, given a set of elements and a collection of subsets, the goal is to find the smallest selection of elements, such that each subset contains at least one element in the selection. Many geometric set systems enjoy improved approximation ratios, which have recently been shown to be tight with respect to the shallow cell complexity of the set system. The algorithms that exploit the cell complexity, however, tend to be involved and computationally intensive. This paper shows that a slightly improved asymptotic approximation ratio for the hitting set problem can be attained using a much simpler algorithm: solve the linear programming relaxation, take one initial random sample from the set of elements with probabilities proportional to the LP-solution, and, while there is an unhit set, take an additional sample from it proportional to the LP-solution. Our algorithm is a simple generalization of the elegant net-finder algorithm by Nabil Mustafa. To analyze this algorithm for the hitting set problem, we generalize the classic Packing Lemma, and the more recent Shallow Packing Lemma, to the setting of weighted epsilon-nets.


title: Sequential Re-estimation Learning of Optimal Individualized Treatment Rules Among Ordinal Treatments with Application to Recommended Intervals Between Blood Donations

abstract: Personalized medicine has gained much popularity recently as a way of providing better healthcare by tailoring treatments to suit individuals. Our research, motivated by the UK INTERVAL blood donation trial, focuses on estimating the optimal individualized treatment rule (ITR) in the ordinal treatment-arms setting. Restrictions on minimum lengths between whole blood donations exist to safeguard donor health and quality of blood received. However, the evidence-base for these limits is lacking. Moreover, in England, the blood service is interested in making blood donation both safe and sustainable by integrating multi-marker data from INTERVAL and developing personalized donation strategies. As the three inter-donation interval options in INTERVAL have clear orderings, we propose a sequential re-estimation learning method that effectively incorporates "treatment" orderings when identifying optimal ITRs. Furthermore, we incorporate variable selection into our method for both linear and nonlinear decision rules to handle situations with (noise) covariates irrelevant for decision-making. Simulations demonstrate its superior performance over existing methods that assume multiple nominal treatments by achieving smaller misclassification rates and larger value functions. Application to a much-in-demand donor subgroup shows that the estimated optimal ITR achieves both the highest utilities and largest proportions of donors assigned to the safest inter-donation interval option in INTERVAL.


title: Migrating Carrollian particles on magnetized black hole horizons

abstract: By considering a misaligned (asymptotically uniform) magnetic field in the background of a rotating black hole, we uncover a possibility for a highly non-trivial motion of Carrollian particles on the black hole horizon that is characterized by a time-dependent velocity field and reminds us (because of its latitudinal oscillations) of a 'monarch butterfly migration'.


title: A critical look at the evaluation of GNNs under heterophily: Are we really making progress?

abstract: Node classification is a classical graph machine learning task on which Graph Neural Networks (GNNs) have recently achieved strong results. However, it is often believed that standard GNNs only work well for homophilous graphs, i.e., graphs where edges tend to connect nodes of the same class. Graphs without this property are called heterophilous, and it is typically assumed that specialized methods are required to achieve strong performance on such graphs. In this work, we challenge this assumption. First, we show that the standard datasets used for evaluating heterophily-specific models have serious drawbacks, making results obtained by using them unreliable. The most significant of these drawbacks is the presence of a large number of duplicate nodes in the datasets Squirrel and Chameleon, which leads to train-test data leakage. We show that removing duplicate nodes strongly affects GNN performance on these datasets. Then, we propose a set of heterophilous graphs of varying properties that we believe can serve as a better benchmark for evaluating the performance of GNNs under heterophily. We show that standard GNNs achieve strong results on these heterophilous graphs, almost always outperforming specialized models. Our datasets and the code for reproducing our experiments are available at https://github.com/yandex-research/heterophilous-graphs


title: Ph3pyWF: An automated workflow software package for ceramic lattice thermal conductivity calculation

abstract: This paper presents a Python software package, Ph3pyWF, providing a more convenient platform to realize high-throughput analysis of lattice thermal conductivity for ceramic materials. The interface of Ph3pyWF is friendly for users with different needs and from different level. For novices of interests, the inputs can be quite simple, just with initial unit cell structure. Other parameters would be automatically filled. And for expert-level researchers with varied requirements, plenty of procedure parameters can be customized. The core concept of Ph3pyWF is to build a data exchange and task management system with high efficiency. The design details of the Ph3pyWF will be clarified in this paper and following with a few typical oxide ceramics examples to demonstrate the applicability of this software package.


title: The Isomorphism Problem for cominuscule Schubert Varieties

abstract: Cominuscule flag varieties generalize Grassmannians to other Lie types. Schubert varieties in cominuscule flag varieties are indexed by posets of roots labeled long/short. These labeled posets generalize Young diagrams. We prove that Schubert varieties in potentially different cominuscule flag varieties are isomorphic as varieties if and only if their corresponding labeled posets are isomorphic, generalizing the classification of Grassmannian Schubert varieties using Young diagrams by the last two authors. Our proof is type-independent.


title: An Empirical Analysis of Optimal Nonlinear Pricing

abstract: In continuous-choice settings, consumers decide not only on whether to purchase a product, but also on how much to purchase. Thus, firms optimize a full price schedule rather than a single price point. This paper provides a methodology to empirically estimate the optimal schedule under multi-dimensional consumer heterogeneity. We apply our method to novel data from an educational-services firm that contains purchase-size information not only for deals that materialized, but also for potential deals that eventually failed. We show that this data, combined with identifying assumptions, helps infer how price sensitivity varies with "customer size". Using our estimated model, we show that the optimal second-degree price discrimination (i.e., optimal nonlinear tariff) improves the firm's profit upon linear pricing by at least 5.5%. That said, this second-degree price discrimination scheme only recovers 5.1% of the gap between the profitability of linear pricing and that of infeasible first degree price discrimination. We also conduct several further counterfactual analyses (i) empirically quantifying the magnitude by which incentive-compatibility constraints impact the optimal pricing and profits, (ii) comparing the role of demand- v.s. cost-side factors in shaping the optimal price schedule, and (iii) studying the implications of fixed fees for the optimal contract and profitability.


title: Special Glass Structures for First Principles Studies of Bulk Metallic Glasses

abstract: The atomic-level structure of bulk metallic glasses is a key determinant of their properties. An accurate representation of amorphous systems in computational studies has traditionally required large supercells that are unfortunately computationally demanding to handle using the most accurate ab initio calculations. To address this, we propose to specifically design small-cell structures that best reproduce the local geometric descriptors (e.g., pairwise distances or bond angle distributions) of a large-cell simulation. We rely on molecular dynamics (MD) driven by empirical potentials to generate the target descriptors, while we use reverse Monte Carlo (RMC) methods to optimize the small-cell structure. The latter can then be used to determine mechanical and electronic properties using more accurate electronic structure calculations. The method is implemented in the Metallic Amorphous Structures Toolkit (MAST) software package.


title: Axion-mediated Transport of Fast Radio Bursts Originating in Inner Magnetospheres of Magnetars

abstract: Among magnetar models of Fast Radio Bursts (FRBs), there is ongoing debate about whether the site of coherent radio emission lies within or beyond the light cylinder. We propose a mechanism by which FRBs produced near the magnetar surface are transported out of the magnetosphere by axions, which couple to photons. If the emission site hosts strong accelerating electric fields, a considerable fraction of the FRB energy budget is converted to an axion burst. Once produced, the axion burst free-streams out of the magnetosphere due to the rapidly-decreasing magnetic field. The burst may escape through either the open or closed magnetosphere, while retaining the temporal signature of the original FRB. In the wind region, axions resonantly excite ordinary (O) modes that escape as the plasma density decreases. The radio efficiency of this mechanism satisfies energetics constraints from FRB 121102 for axion-photon coupling strengths that have not been excluded by other astrophysical probes.


title: Absence of the predicted 2022 October outburst of OJ 287 and implications for binary SMBH scenarios

abstract: The project MOMO (Multiwavelength Observations and Modelling of OJ 287) was set up to test predictions of binary supermassive black hole (SMBH) scenarios and to understand disk-jet physics of the blazar OJ 287. After a correction, the precessing binary (PB) SMBH model predicted the next main outburst of OJ 287 in 2022 October, no longer in July, making the outburst well observable and the model testable. We have densely covered this period in our ongoing multi-frequency radio, optical, UV, and X-ray monitoring. The predicted outburst was not detected. Instead, OJ 287 was at low optical-UV emission levels, declining further into November. The predicted thermal bremsstrahlung spectrum was not observed either, at any epoch. Further, applying scaling relations, we estimate a SMBH mass of OJ 287 of 10^8 M_sun. The latest in a sequence of deep low-states that recur every 1-2 yrs is used to determine an upper limit on the Eddington ratio and on the accretion-disk luminosity. This limit is at least a factor of 10 lower than required by the PB model with its massive primary SMBH of >10^{10} M_sun. All these results favor alternative binary SMBH models of OJ 287 that neither require strong orbital precession nor a very large mass of the primary SMBH.


title: Patient stratification in multi-arm trials: a two-stage procedure with Bayesian profile regression

abstract: Precision medicine is an emerging field that takes into account individual heterogeneity to inform better clinical practice. In clinical trials, the evaluation of treatment effect heterogeneity is an important component, and recently, many statistical methods have been proposed for stratifying patients into different subgroups based on such heterogeneity. However, the majority of existing methods developed for this purpose focus on the case with a dichotomous treatment and are not directly applicable to multi-arm trials. In this paper, we consider the problem of patient stratification in multi-arm trial settings and propose a two-stage procedure within the Bayesian nonparametric framework. Specifically, we first use Bayesian additive regression trees (BART) to predict potential outcomes (treatment responses) under different treatment options for each patient, and then we leverage Bayesian profile regression to cluster patients into subgroups according to their baseline characteristics and predicted potential outcomes. We further embed a variable selection procedure into our proposed framework to identify the patient characteristics that actively "drive" the clustering structure. We conduct simulation studies to examine the performance of our proposed method and demonstrate the method by applying it to a UK-based multi-arm blood donation trial, wherein our method uncovers five clinically meaningful donor subgroups.


title: Fillet-based RRT*: A Rapid Convergence Implementation of RRT* for Curvature Constrained Vehicles

abstract: Rapidly exploring random trees (RRTs) have proven effective in quickly finding feasible solutions to complex motion planning problems. RRT* is an extension of the RRT algorithm that provides probabilistic asymptotic optimality guarantees when using straight-line motion primitives. This work provides extensions to RRT and RRT* that employ fillets as motion primitives, allowing path curvature constraints to be considered when planning. Two fillets are developed, an arc-based fillet that uses circular arcs to generate paths that respect maximum curvature constraints and a spline-based fillet that uses Bezier curves to additionally respect curvature continuity requirements. Planning with these fillets is shown to far exceed the performance of RRT* using Dubin's path motion primitives, approaching the performance of planning with straight-line path primitives. Path sampling heuristics are also introduced to accelerate convergence for nonholonomic motion planning. Comparisons to established RRT* approaches are made using the Open Motion Planning Library (OMPL).


title: Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments

abstract: Grounding navigational commands to linear temporal logic (LTL) leverages its unambiguous semantics for reasoning about long-horizon tasks and verifying the satisfaction of temporal constraints. Existing approaches require training data from the specific environment and landmarks that will be used in natural language to understand commands in those environments. We propose Lang2LTL, a modular system and a software package that leverages large language models (LLMs) to ground temporal navigational commands to LTL specifications in environments without prior language data. We comprehensively evaluate Lang2LTL for five well-defined generalization behaviors. Lang2LTL demonstrates the state-of-the-art ability of a single model to ground navigational commands to diverse temporal specifications in 21 city-scaled environments. Finally, we demonstrate a physical robot using Lang2LTL can follow 52 semantically diverse navigational commands in two indoor environments.


title: Outlook on Magnetohydrodynamical Turbulence and its Astrophysical Implications

abstract: Magnetohydrodynamical (MHD) turbulence is ubiquitous in magnetized astrophysical plasmas, and it radically changes a great variety of astrophysical processes. In this review, we give the concept of MHD turbulence and explain the origin of its scaling. We consider the implications of MHD turbulence to various problems: dynamo in different types of stars, flare activity, solar and stellar wind from different stars, propagation of cosmic rays, and star formation. We also discuss how the properties of MHD turbulence provide a new way of tracing magnetic fields in interstellar and intracluster media.


title: Finding a Small Vertex Cut on Distributed Networks

abstract: We present an algorithm for distributed networks to efficiently find a small vertex cut in the CONGEST model. Given a positive integer $\kappa$, our algorithm can, with high probability, either find $\kappa$ vertices whose removal disconnects the network or return that such $\kappa$ vertices do not exist. Our algorithm takes $\kappa^3\cdot \tilde{O}(D+\sqrt{n})$ rounds, where $n$ is the number of vertices in the network and $D$ denotes the network's diameter. This implies $\tilde{O}(D+\sqrt{n})$ round complexity whenever $\kappa=\text{polylog}(n)$. Prior to our result, a bound of $\tilde{O}(D)$ is known only when $\kappa=1,2$ [Parter, Petruschka DISC'22]. For $\kappa\geq 3$, this bound can be obtained only by an $O(\log n)$-approximation algorithm [Censor-Hillel, Ghaffari, Kuhn PODC'14], and the only known exact algorithm takes $O\left((\kappa\Delta D)^{O(\kappa)}\right)$ rounds, where $\Delta$ is the maximum degree [Parter DISC'19]. Our result answers an open problem by Nanongkai, Saranurak, and Yingchareonthawornchai [STOC'19].


title: Complexity-Approximation Trade-offs in Exchange Mechanisms: AMMs vs. LOBs

abstract: This paper presents a general framework for the design and analysis of exchange mechanisms between two assets that unifies and enables comparisons between the two dominant paradigms for exchange, constant function market markers (CFMMs) and limit order books (LOBs). In our framework, each liquidity provider (LP) submits to the exchange a downward-sloping demand curve, specifying the quantity of the risky asset it wishes to hold at each price; the exchange buys and sells the risky asset so as to satisfy the aggregate submitted demand. In general, such a mechanism is budget-balanced and enables price discovery. Different exchange mechanisms correspond to different restrictions on the set of acceptable demand curves. The primary goal of this paper is to formalize an approximation-complexity trade-off that pervades the design of exchange mechanisms. For example, CFMMs give up expressiveness in favor of simplicity: the aggregate demand curve of the LPs can be described using constant space, but most demand curves cannot be well approximated by any function in the corresponding single-dimensional family. LOBs, intuitively, make the opposite trade-off: any downward-slowing demand curve can be well approximated by a collection of limit orders, but the space needed to describe the state of a LOB can be large. This paper introduces a general measure of {\em exchange complexity}, defined by the minimal set of basis functions that generate, through their conical hull, all of the demand functions allowed by an exchange. With this complexity measure in place, we investigate the design of {\em optimally expressive} exchange mechanisms, meaning the lowest complexity mechanisms that allow for arbitrary downward-sloping demand curves to be well approximated. As a case study, we interpret the complexity-approximation trade-offs in the widely-used Uniswap v3 AMM through the lens of our framework.


title: The Riemannian Langevin equation and conic programs

abstract: Diffusion limits provide a framework for the asymptotic analysis of stochastic gradient descent (SGD) schemes used in machine learning. We consider an alternative framework, the Riemannian Langevin equation (RLE), that generalizes the classical paradigm of equilibration in R^n to a Riemannian manifold (M^n, g). The most subtle part of this equation is the description of Brownian motion on (M^n, g). Explicit formulas are presented for some fundamental cones.


title: Information Theory Inspired Pattern Analysis for Time-series Data

abstract: Current methods for pattern analysis in time series mainly rely on statistical features or probabilistic learning and inference methods to identify patterns and trends in the data. Such methods do not generalize well when applied to multivariate, multi-source, state-varying, and noisy time-series data. To address these issues, we propose a highly generalizable method that uses information theory-based features to identify and learn from patterns in multivariate time-series data. To demonstrate the proposed approach, we analyze pattern changes in human activity data. For applications with stochastic state transitions, features are developed based on Shannon's entropy of Markov chains, entropy rates of Markov chains, entropy production of Markov chains, and von Neumann entropy of Markov chains. For applications where state modeling is not applicable, we utilize five entropy variants, including approximate entropy, increment entropy, dispersion entropy, phase entropy, and slope entropy. The results show the proposed information theory-based features improve the recall rate, F1 score, and accuracy on average by up to 23.01% compared with the baseline models and a simpler model structure, with an average reduction of 18.75 times in the number of model parameters.


title: Designing a Visual Cryptography Curriculum for K-12 Education

abstract: We have designed and developed a simple, visual, and narrative K-12 cybersecurity curriculum leveraging the Scratch programming platform to demonstrate and teach fundamental cybersecurity concepts such as confidentiality, integrity protection, and authentication. The visual curriculum simulates a real-world scenario of a user and a bank performing a bank transaction and an adversary attempting to attack the transaction.We have designed six visual scenarios, the curriculum first introduces students to three visual scenarios demonstrating attacks that exist when systems do not integrate concepts such as confidentiality, integrity protection, and authentication. Then, it introduces them to three visual scenarios that build on the attacks to demonstrate and teach how these fundamental concepts can be used to defend against them. We conducted an evaluation of our curriculum through a study with 18 middle and high school students. To evaluate the student's comprehension of these concepts we distributed a technical survey, where overall average of students answering these questions related to the demonstrated concepts is 9.28 out of 10. Furthermore, the survey results revealed that 66.7% found the system extremely easy and the remaining 27.8% found it easy to use and understand.


title: Confounder-Dependent Bayesian Mixture Model: Characterizing Heterogeneity of Causal Effects in Air Pollution Epidemiology

abstract: Several epidemiological studies have provided evidence that long-term exposure to fine particulate matter (PM2.5) increases mortality risk. Furthermore, some population characteristics (e.g., age, race, and socioeconomic status) might play a crucial role in understanding vulnerability to air pollution. To inform policy, it is necessary to identify groups of the population that are more or less vulnerable to air pollution. In causal inference literature, the Group Average Treatment Effect (GATE) is a distinctive facet of the conditional average treatment effect. This widely employed metric serves to characterize the heterogeneity of a treatment effect based on some population characteristics. In this work, we introduce a novel Confounder-Dependent Bayesian Mixture Model (CDBMM) to characterize causal effect heterogeneity. More specifically, our method leverages the flexibility of the dependent Dirichlet process to model the distribution of the potential outcomes conditionally to the covariates and the treatment levels, thus enabling us to: (i) identify heterogeneous and mutually exclusive population groups defined by similar GATEs in a data-driven way, and (ii) estimate and characterize the causal effects within each of the identified groups. Through simulations, we demonstrate the effectiveness of our method in uncovering key insights about treatment effects heterogeneity. We apply our method to claims data from Medicare enrollees in Texas. We found six mutually exclusive groups where the causal effects of PM2.5 on mortality are heterogeneous.


title: Broadcasting with Random Matrices

abstract: Motivated by the theory of spin-glasses in physics, we study the so-called reconstruction problem for the related distributions on the tree, and on the sparse random graph $G(n,d/n)$. Both cases, reduce naturally to studying broadcasting models on the tree, where each edge has its own broadcasting matrix, and this matrix is drawn independently from a predefined distribution. In this context, we study the effect of the configuration at the root to that of the vertices at distance $h$, as $h\to\infty$. We establish the reconstruction threshold for the cases where the broadcasting matrices give rise to symmetric, 2-spin Gibbs distributions. This threshold seems to be a natural extension of the well-known Kesten-Stigum bound which arises in the classic version of the reconstruction problem. Our results imply, as a special case, the reconstruction threshold for the well-known Edward-Anderson model of spin-glasses on the tree. Also, we extend our analysis to the setting of the Galton-Watson tree, and the random graph $G(n,d/n)$, where we establish the corresponding thresholds.Interestingly, for the Edward-Anderson model on the random graph, we show that the replica symmetry breaking phase transition, established in [Guerra and Toninelli:2004], coincides with the reconstruction threshold. Compared to the classical Gibbs distributions, the spin-glasses have a lot of unique features. In that respect, their study calls for new ideas, e.g., we introduce novel estimators for the reconstruction problem. Furthermore, note that the main technical challenge in the analysis is the presence of (too) many levels of randomness. We manage to circumvent this problem by utilising recently proposed tools coming from the analysis of Markov chains.


title: Conformal field theory, solitons, and elliptic Calogero--Sutherland models

abstract: We construct a non-chiral conformal field theory (CFT) on the torus that accommodates a second quantization of the elliptic Calogero-Sutherland (eCS) model. We show that the CFT operator that provides this second quantization defines, at the same time, a quantum version of a soliton equation called the non-chiral intermediate long-wave (ncILW) equation. We also show that this CFT operator is a second quantization of a generalized eCS model which can describe arbitrary numbers of four different kinds of particles; we propose that these particles can be identified with solitons of the quantum ncILW equation.


title: Integrating Data Structures and Algorithms in K-12 Education using Block-based Programming

abstract: This paper describes the design and evaluation of DSAScratch, an extension to Scratch, a widely used block-based programming language. The DSAScratch framework implements advanced data structures such as arrays, sets, dictionaries, and searching and sorting algorithms. By presenting these concepts in an intuitive block-based interface, these blocks abstract away technical details and simplify data structures and algorithms concepts for K-12 students to grasp and apply to programming problems more readily. A preliminary evaluation of the tool's usability and learning outcomes is presented in this paper. Given the information we have gathered about DSAScratch, we show that the extension is beneficial for students to develop a deeper understanding of programming and an intuitive understanding of these concepts in high school. We present the methodology and preliminary results of a user study conducted with ten high school students. During the user study, 70% of the participants understood the key ideas behind DSAScratch implemented data structures and algorithms through a mixture of lectures and hands-on activities. We show that DSAScratch was also an important part of the workshop for 90% of the students who participated, as it enhanced their understanding of algorithms and data structures. Furthermore, they indicated that they would recommend DSAScratch to their peers.


title: A fresh look at symmetric traffic assignment and algorithm convergence

abstract: Extensions of the static traffic assignment problem with link interactions were studied extensively in the past. Much of the network modeling community has since shifted to dynamic traffic assignment incorporating these interactions. We believe there are several reasons to re-examine static assignment with link interactions. First, if link interactions can be captured in a symmetric, monotone manner, equilibrium always exists and is unique, and provably-correct algorithms exist. We show that several of the most efficient algorithms for the separable traffic assignment problem can be readily applied with symmetric interactions. We discuss how the (asymmetric) Daganzo merge model can be approximated by symmetric linear cost functions. Second, we present computational evidence suggesting that convergence to equilibrium is faster when symmetric, monotone link interactions are present. This is true even when interactions are asymmetric, despite the lack of a provable convergence result. Lastly, we present convergence behavior analysis for commonly used network and link metrics. For these reasons, we think static assignment with link interactions deserves additional attention in research and practice.


title: Linear Kinematics for General Constant Curvature and Torsion Manipulators

abstract: We present a novel general model that unifies the kinematics of constant curvature and constant twist continuum manipulators. Combining this kinematics with energy-based physics, we derive a linear mapping from actuator configuration to manipulator deformation that is analogous to traditional robot forward kinematics. Our model generalizes across manipulators with different sizes, types of bending, and types of actuators, without the need for parameter re-fitting. The combination of generality and linearity makes the model useful for control and planning algorithms. Finally, our model is shown to be accurate through experimental validation on manipulators with pneumatic artificial muscles.


title: eQTL Studies: from Bulk Tissues to Single Cells

abstract: An expression quantitative trait locus (eQTL) is a chromosomal region where genetic variants are associated with the expression levels of certain genes that can be both nearby or distant. The identifications of eQTLs for different tissues, cell types, and contexts have led to better understanding of the dynamic regulations of gene expressions and implications of functional genes and variants for complex traits and diseases. Although most eQTL studies to date have been performed on data collected from bulk tissues, recent studies have demonstrated the importance of cell-type-specific and context-dependent gene regulations in biological processes and disease mechanisms. In this review, we discuss statistical methods that have been developed to enable the detections of cell-type-specific and context-dependent eQTLs from bulk tissues, purified cell types, and single cells. We also discuss the limitations of the current methods and future research opportunities.


title: Public Key Encryption with Secure Key Leasing

abstract: We introduce the notion of public key encryption with secure key leasing (PKE-SKL). Our notion supports the leasing of decryption keys so that a leased key achieves the decryption functionality but comes with the guarantee that if the quantum decryption key returned by a user passes a validity test, then the user has lost the ability to decrypt. Our notion is similar in spirit to the notion of secure software leasing (SSL) introduced by Ananth and La Placa (Eurocrypt 2021) but captures significantly more general adversarial strategies. In more detail, our adversary is not restricted to use an honest evaluation algorithm to run pirated software. Our results can be summarized as follows: 1. Definitions: We introduce the definition of PKE with secure key leasing and formalize security notions. 2. Constructing PKE with Secure Key Leasing: We provide a construction of PKE-SKL by leveraging a PKE scheme that satisfies a new security notion that we call consistent or inconsistent security against key leasing attacks (CoIC-KLA security). We then construct a CoIC-KLA secure PKE scheme using 1-key Ciphertext-Policy Functional Encryption (CPFE) that in turn can be based on any IND-CPA secure PKE scheme. 3. Identity Based Encryption, Attribute Based Encryption and Functional Encryption with Secure Key Leasing: We provide definitions of secure key leasing in the context of advanced encryption schemes such as identity based encryption (IBE), attribute-based encryption (ABE) and functional encryption (FE). Then we provide constructions by combining the above PKE-SKL with standard IBE, ABE and FE schemes.


title: Solitonic self-sustained charge and energy transport on the superconducting cylinder

abstract: We present an exact time-dependent solution for a charged scalar field on a two-dimensional cylinder, that can be interpreted as representing a long-standing excitation on a $s$-wave superconducting state, which propagates along a nanotube constructed out of twisted bilayer graphene. The solution has a topological charge characterized by an integer number, which counts the winding of the Higgs phase winds around the cylinder. The resulting electric current generates its own electromagnetic field in a self-consistent way, without the need of any external fields to keep it alive.


title: AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving

abstract: Model parallelism is conventionally viewed as a method to scale a single large deep learning model beyond the memory limits of a single device. In this paper, we demonstrate that model parallelism can be additionally used for the statistical multiplexing of multiple devices when serving multiple models, even when a single model can fit into a single device. Our work reveals a fundamental trade-off between the overhead introduced by model parallelism and the opportunity to exploit statistical multiplexing to reduce serving latency in the presence of bursty workloads. We explore the new trade-off space and present a novel serving system, AlpaServe, that determines an efficient strategy for placing and parallelizing collections of large deep learning models across a distributed cluster. Evaluation results on production workloads show that AlpaServe can process requests at up to 10x higher rates or 6x more burstiness while staying within latency constraints for more than 99% of requests.


title: Oscillation probabilities for a PT-symmetric non-Hermitian two-state system

abstract: There is growing interest in viable quantum theories with PT-symmetric non-Hermitian Hamiltonians, but a formulation of transition matrix elements consistent with positivity and perturbative unitarity has so far proved elusive. This Letter provides such a formulation, which relies crucially on the ability to span the state space in such a way that the interaction and energy eigenstates are orthonormal with respect to the same positive-definite inner product. We mention possible applications to the oscillations of mesons and neutrinos.


title: Cutting Barnette graphs perfectly is hard

abstract: A perfect matching cut is a perfect matching that is also a cutset, or equivalently a perfect matching containing an even number of edges on every cycle. The corresponding algorithmic problem, Perfect Matching Cut, is known to be NP-complete in subcubic bipartite graphs [Le & Telle, TCS '22] but its complexity was open in planar graphs and in cubic graphs. We settle both questions at once by showing that Perfect Matching Cut is NP-complete in 3-connected cubic bipartite planar graphs or Barnette graphs. Prior to our work, among problems whose input is solely an undirected graph, only Distance-2 4-Coloring was known NP-complete in Barnette graphs. Notably, Hamiltonian Cycle would only join this private club if Barnette's conjecture were refuted.


title: Graphs with minimum fractional domatic number

abstract: The domatic number of a graph is the maximum number of vertex disjoint dominating sets that partition the vertex set of the graph. In this paper we consider the fractional variant of this notion. Graphs with fractional domatic number 1 are exactly the graphs that contain an isolated vertex. Furthermore, it is known that all other graphs have fractional domatic number at least 2. In this note we characterize graphs with fractional domatic number 2. More specifically, we show that a graph without isolated vertices has fractional domatic number 2 if and only if it has a vertex of degree 1 or a connected component isomorphic to a 4-cycle. We conjecture that if the fractional domatic number is more than 2, then it is at least 7/3.


title: RNA secondary structures: from ab initio prediction to better compression, and back

abstract: In this paper, we use the biological domain knowledge incorporated into stochastic models for ab initio RNA secondary-structure prediction to improve the state of the art in joint compression of RNA sequence and structure data (Liu et al., BMC Bioinformatics, 2008). Moreover, we show that, conversely, compression ratio can serve as a cheap and robust proxy for comparing the prediction quality of different stochastic models, which may help guide the search for better RNA structure prediction models. Our results build on expert stochastic context-free grammar models of RNA secondary structures (Dowell & Eddy, BMC Bioinformatics, 2004; Nebel & Scheid, Theory in Biosciences, 2011) combined with different (static and adaptive) models for rule probabilities and arithmetic coding. We provide a prototype implementation and an extensive empirical evaluation, where we illustrate how grammar features and probability models affect compression ratios.


title: Batch Informed Trees (BIT*)

abstract: Path planning through complex obstacle spaces is a fundamental requirement of many mobile robot applications. Recently a rapid convergence path planning algorithm, Batch Informed Trees (BIT*), was introduced. This work serves as a concise write-up and explanation of BIT*. This work includes a description of BIT* and how BIT* operates, a graphical demonstration of BIT*, and simulation results where BIT* is compared to Optimal Rapidly-exploring Random Trees (RRT*).


title: Asymptotic Ultraviolet-safe Unification of Gauge and Yukawa Couplings: The exceptional case

abstract: The ultimate dream of unification models consists in combining both gauge and Yukawa couplings into one unified coupling. This is achieved by using a supersymmetric exceptional ${\rm E}_6$ gauge symmetry together with asymptotic unification in compact five-dimensional space-time. The ultraviolet fixed point requires exactly three fermion generations: one in the bulk, and the two light ones localised on the ${\rm SO}(10)$ boundary in order to cancel gauge anomalies. A second option allows to preserve baryon number and to lower the compactification scale down to the typical scales of the intermediate Pati-Salam gauge theory.


title: Stochastic hydrodynamic velocity field and the representation of Langevin equations

abstract: The fluctuation-dissipation theorem, in the Kubo original formulation, is based on the decomposition of the thermal agitation forces into a dissipative contribution and a stochastically fluctuating term. This decomposition can be avoided by introducing a stochastic velocity field, with correlation properties deriving from linear response theory. Here, we adopt this field as the comprehensive hydrodynamic/fluctuational driver of the kinematic equations of motion. With this description, we show that the Langevin equations for a Brownian particle interacting with a solvent fluid become particularly simple and can be applied even in those cases in which the classical approach, based on the concept of a stochastic thermal force, displays intrinsic difficulties e.g., in the presence of the Basset force. We show that a convenient way for describing hydrodynamic/thermal fluctuations is by expressing them in the form of Extended Poisson-Kac Processes possessing prescribed correlation properties and a continuous velocity density function. We further highlight the importance of higher-order correlation functions in the description of the stochastic hydrodynamic velocity field with special reference to short-time properties of Brownian motion. We conclude by outlining some practical implications in connection with the statistical description of particle motion in confined geometries.


title: Normal generators of Torelli groups

abstract: Johnson showed that the genus 1 bounding pair maps generate the Torelli group of a surface when its genus is at least 3. We show that this generalizes: apart from straightforward exceptions, the bounding pair maps of any fixed genus also generate the Torelli group. We give some applications of this result to normal subgroups of mapping class groups acting on curve complexes.


title: Polarized X-rays from windy accretion in Cygnus X-1

abstract: Recent X-ray polarimetric data on the prototypical black hole X-ray binary Cyg~X-1 from the Imaging X-ray Polarimetry Explorer present tight constraints on accretion geometry in the hard spectral state. Contrary to general expectations of a low, <1% polarization degree (PD), the observed average PD was found to be a factor of 4 higher. Aligned with the jet position angle on the sky, the observed polarization favors geometry of the X-ray emission region stretched normally to the jet in the accretion disk plane. The high PD is, however, difficult to reconcile with the low orbital inclination of the binary $i\approx30$ deg. We suggest that this puzzle can be explained if the emitting plasma is outflowing with a mildly relativistic velocity $\gtrsim0.4\,c$. Our radiative transfer simulations show that Comptonization in the outflowing medium elongated in the plane of the disk radiates X-rays with the degree and direction of polarization consistent with observations at $i\approx30$ deg.


title: Economics and human dimension of active managment of forest grassland ecotone in south-central USA under changing climate

abstract: The south central ecoregion was a mosiac ecoregion of forest and grassland continnum which is transiting towards closed canopy forests and losing ecosystem benefits. We studied role of active management, its economic benefit, and landonwers atttitdue and behavior towards restoring ecosystem services in this region. We further studed how the economic benefit varies in this region with the change in rainfall.


title: Range-Separated Hybrid Functional Pseudopotentials

abstract: Consistency between the exchange-correlation (xc) functional used during pseudopotential construction and planewave-based electronic structure calculations is important for an accurate and reliable description of the structure and properties of condensed-phase systems. In this work, we present a general scheme for constructing pseudopotentials with range-separated hybrid (RSH) xc functionals based on the solution of the all-electron radial integro-differential equation for a spherical atomic configuration. As proof-of-principle, we demonstrate pseudopotential construction with the PBE, PBE0, HSE, and sRSH (based on LC-$\omega$PBE0) xc functionals for a select set of atoms, and then investigate the importance of pseudopotential consistency when computing band gaps, equilibrium lattice parameters, bulk moduli, and atomization energies of several solid-state systems. In doing so, we find that pseudopotential consistency errors (PSCE) tend to be systematic and can be as large as $1.4\%$ when computing these properties.


title: The nonlocal isoperimetric problem for polygons: Hardy-Littlewood and Riesz inequalities

abstract: Given a non-increasing and radially symmetric kernel in $L ^ 1 _{\rm loc} (\Bbb{R} ^ 2 ; \Bbb{R}_+)$, we investigate counterparts of the classical Hardy-Littlewood and Riesz inequalities when the class of admissible domains is the family of polygons with given area and $N$ sides. The latter corresponds to study the polygonal isoperimetric problem in nonlocal version. We prove that, for every $N \geq 3$, the regular $N$-gon is optimal for Hardy-Littlewood inequality. Things go differently for Riesz inequality: while for $N = 3$ and $N = 4$ it is known that the regular triangle and the square are optimal, for $N\geq 5$ we prove that symmetry or symmetry breaking may occur (i.e. the regular $N$-gon may be optimal or not), depending on the value of $N$ and on the choice of the kernel.


title: A note on real similarity to a diagonal dominant matrix

abstract: This note presents several conditions to characterize real matrix similarity between a Hurwitz matrix (and then more generally, a real square matrix) and a diagonal dominant matrix.


title: On the contribution of pre-trained models to accuracy and utility in modeling distributed energy resources

abstract: Despite their growing popularity, data-driven models of real-world dynamical systems require lots of data. However, due to sensing limitations as well as privacy concerns, this data is not always available, especially in domains such as energy. Pre-trained models using data gathered in similar contexts have shown enormous potential in addressing these concerns: they can improve predictive accuracy at a much lower observational data expense. Theoretically, due to the risk posed by negative transfer, this improvement is however neither uniform for all agents nor is it guaranteed. In this paper, using data from several distributed energy resources, we investigate and report preliminary findings on several key questions in this regard. First, we evaluate the improvement in predictive accuracy due to pre-trained models, both with and without fine-tuning. Subsequently, we consider the question of fairness: do pre-trained models create equal improvements for heterogeneous agents, and how does this translate to downstream utility? Answering these questions can help enable improvements in the creation, fine-tuning, and adoption of such pre-trained models.


title: Hilbert space fragmentation in a long-range system

abstract: We study the role of the interaction range on the Hilbert space fragmentation and many-body scar states considering a spin-1/2 many-body Hamiltonian describing a generalized Fredkin spin chain. We show that both scar states and weak fragmentation of the Hilbert space survive for almost any range of the coupling. Finally we investigate the effects of such structures of the Hilbert space on the out-of-equilibrium dynamics, triggered by certain initial states, characterized by either local persistent oscillations or non-uniform stationary profile of the magnetization.


title: Energy--Information Trade-off Induces Continuous and Discontinuous Phase Transitions in Lateral Predictive Coding

abstract: Lateral predictive coding is a recurrent neural network which creates energy-efficient internal representations by exploiting statistical regularity in sensory inputs. Here we investigate the trade-off between information robustness and energy in a linear model of lateral predictive coding analytically and by numerical minimization of a free energy. We observe several phase transitions in the synaptic weight matrix, especially a continuous transition which breaks reciprocity and permutation symmetry and builds cyclic dominance and a discontinuous transition with the associated sudden emergence of tight balance between excitatory and inhibitory interactions. The optimal network follows an ideal-gas law in an extended temperature range and saturates the efficiency upper-bound of energy utilization. These results bring theoretical insights on the emergence and evolution of complex internal models in predictive processing systems.


title: On ruin probabilities in the presence of risky investments and random switching

abstract: We study the asymptotic behavior of ruin probabilities, as the initial reserve goes to infinity, for a reserve process model where claims arrive according to a renewal process, while between the claim times the process has the dynamics of geometric Brownian motion-type It\^o processes with time-dependent random coefficients. These coefficients are ``reset" after each claim time, switching to new values independent of the past history of the process. We use the implicit renewal theory to obtain power-function bounds for the eventual ruin probability. In the special case when the random drift and diffusion coefficients of the investment returns process remain unchanged between consecutive claim arrivals, we obtain conditions for existence of Lundberg's exponent for our model ensuring the power function behaviour for the ruin probability.


title: MVTrans: Multi-View Perception of Transparent Objects

abstract: Transparent object perception is a crucial skill for applications such as robot manipulation in household and laboratory settings. Existing methods utilize RGB-D or stereo inputs to handle a subset of perception tasks including depth and pose estimation. However, transparent object perception remains to be an open problem. In this paper, we forgo the unreliable depth map from RGB-D sensors and extend the stereo based method. Our proposed method, MVTrans, is an end-to-end multi-view architecture with multiple perception capabilities, including depth estimation, segmentation, and pose estimation. Additionally, we establish a novel procedural photo-realistic dataset generation pipeline and create a large-scale transparent object detection dataset, Syn-TODD, which is suitable for training networks with all three modalities, RGB-D, stereo and multi-view RGB. Project Site: https://ac-rad.github.io/MVTrans/


title: Phase transition and stiffer core fluid in neutron stars: Effects on stellar configurations, dynamical stability, and tidal deformability

abstract: In this work, we investigate the influence of the phase transition and a stiffer fluid in neutron stars' cores on the static equilibrium configuration, dynamical stability, and tidal deformability. For this aim, it is taken into account that the fluid in the core and the envelope follow the relativistic polytropic equation of state. We find that the phase transition and a stiffer fluid in the core will reflect in the total mass, radius, speed of sound, core radius, radial stability with a slow and rapid conversion at the interface, and tidal deformability. We also investigate the dimensionless tidal deformability $\Lambda_1$ and $\Lambda_2$ for a binary neutron stars system with chirp mass equal to GW$170817$. Finally, we contrast our results with observational data to show the role that phase transition and a stiffer core fluid could play in the study of neutron stars.


title: Ceres as seen by VIR/ Dawn: spectral modeling and laboratory measurements suggest altered and pristine silicates within carbon chemistry

abstract: The NASA/Dawn mission has acquired an unprecedented amount of data from the surface of the dwarf planet Ceres, providing a thorough characterization of its surface composition. The current favorite compositional model includes a mixture of ultra-carbonaceous material, phyllosilicates, carbonates, organic, Fe-oxides, and volatiles, as determined by the Dawn/VIR-IR imaging spectrometer, with the constraints on the elemental composition provided by the Dawn/GRAND instrument. The recent calibration of the VIS channel of the VIR spectrometer provided further constraints on the overall compositional model, suggesting another type of silicate not previously considered. This work reviews the VIR-VIS calibration process, and the resulting compositional model of Ceres surface considering both VIS and IR channels. Laboratory experiments are needed for a better understanding of the global (VIS-IR) shape of Ceres average surface, and in particular for the interpretation of the emergent absorption at 1{\mu}m. Current and future experiments are also discussed in this work.


title: What Makes a Code Review Useful to OpenDev Developers? An Empirical Investigation

abstract: Context: Due to the association of significant efforts, even a minor improvement in the effectiveness of Code Reviews(CR) can incur significant savings for a software development organization. Aim: This study aims to develop a finer grain understanding of what makes a code review comment useful to OSS developers, to what extent a code review comment is considered useful to them, and how various contextual and participant-related factors influence its usefulness level. Method: On this goal, we have conducted a three-stage mixed-method study. We randomly selected 2,500 CR comments from the OpenDev Nova project and manually categorized the comments. We designed a survey of OpenDev developers to better understand their perspectives on useful CRs. Combining our survey-obtained scores with our manually labeled dataset, we trained two regression models - one to identify factors that influence the usefulness of CR comments and the other to identify factors that improve the odds of `Functional' defect identification over the others. Key findings: The results of our study suggest that a CR comment's usefulness is dictated not only by its technical contributions such as defect findings or quality improvement tips but also by its linguistic characteristics such as comprehensibility and politeness. While a reviewer's coding experience positively associates with CR usefulness, the number of mutual reviews, comment volume in a file, the total number of lines added /modified, and CR interval has the opposite associations. While authorship and reviewership experiences for the files under review have been the most popular attributes for reviewer recommendation systems, we do not find any significant association of those attributes with CR usefulness.


title: Blind Channel Equalization Using Vector-Quantized Variational Autoencoders

abstract: State-of-the-art high-spectral-efficiency communication systems employ high-order modulation formats coupled with high symbol rates to accommodate the ever-growing demand for data rate-hungry applications. However, such systems are more vulnerable to linear and nonlinear transmission impairments, and it is important to mitigate the performance loss via digital signal processing. In this paper, we propose a novel machine learning approach for blind channel equalization and estimation using the vector quantized (VQ) \ac{VAE} framework. The proposed approach generalizes the applicability of the conventional \ac{VAE}-based equalizer to nonlinear systems employing high-order modulation formats by introducing a codebook component and an associated novel loss function. We evaluate the performance of the proposed method over a linear additive white Gaussian noise channel with intersymbol interference and two nonlinear scenarios. Simulation results show that the proposed method can achieve similar performance as a data aided equalizer using the \acf{MMSE} criterion, and outperforms the blind\ac{CMA} and the \ac{VAE}-based channel equalizer. Furthermore, we show that for the linear channel, the proposed scheme exhibits better convergence properties than the \ac{MMSE}-based, the \ac{CMA}-based, and the \ac{VAE}-based equalizers in terms of both convergence speed and robustness to variations in training batch size and learning rate.


title: The integer group determinants for $Q_{16}$

abstract: We obtain a complete description of the integer group determinants for $Q_{16},$ the dicyclic or generalized quaternion group of order 16.


title: Observational Characterization of Main-Belt Comet and Candidate Main-Belt Comet Nuclei

abstract: We report observations of nine MBCs or candidate MBCs, most of which were obtained when the targets were apparently inactive. We find effective nucleus radii (assuming albedos of p_V=0.05+/-0.02) of r_n=(0.24+/-0.05) km for 238P/Read, r_n=(0.9+/-0.2) km for 313P/Gibbs, r_n=(0.6+/-0.1) km for 324P/La Sagra, r_n=(1.0+/-0.2) km for 426P/PANSTARRS, r_n=(0.5+/-0.1) km for 427P/ATLAS, r_n<(0.3+/-0.1) km for P/2016 J1-A (PANSTARRS), r_n<(0.17+/-0.04) km for P/2016 J1-B (PANSTARRS), r_n<(0.5+/-0.2) km for P/2017 S9 (PANSTARRS), and r_n=(0.4+/-0.1) km for P/2019 A3 (PANSTARRS). We identify evidence of activity in observations of 238P in 2021, and find similar inferred activity onset times and net initial mass loss rates for 238P during perihelion approaches in 2010, 2016, and 2021. P/2016 J1-A and P/2016 J1-B are also found to be active in 2021 and 2022, making them collectively the tenth MBC confirmed to be recurrently active near perihelion and therefore likely to be exhibiting sublimation-driven activity. The nucleus of 313P is found to have colors of g'-r'=0.52+/-0.05 and r'-i'=0.22+/-0.07, consistent with 313P being a Lixiaohua family member. We also report non-detections of P/2015 X6 (PANSTARRS), where we conclude that its current nucleus size is likely below our detection limits (r_n<0.3 km). Lastly, we find that of 17 MBCs or candidate MBCs for which nucleus sizes (or inferred parent body sizes) have been estimated, >80% have r_n<1.0 km, pointing to an apparent physical preference toward small MBCs, where we suggest that YORP spin-up may play a significant role in triggering and/or facilitating MBC activity.


title: Effects of Barnett magnetic dipole-dipole interaction on grain growth and destruction

abstract: Rapidly spinning magnetic grains can acquire large magnetic dipole moments due to the Barnett effect. Here we study the new effect of Barnett magnetic dipole-dipole interaction on grain-grain collisions and grain growth, assuming grains spun up by radiative torques. We find that the collision rate between grains having embedded iron inclusions can be significantly enhanced due to Barnett magnetic dipole-dipole interaction when grains rotate suprathermally by radiative torques. We discuss the implications of enhanced collision rate for grain growth and destruction in the circumstellar envelope of evolved stars, photodissociation regions, and protostellar environments. Our results first reveal the importance of the dust magnetic properties and the local radiation field on grain growth and destruction.


title: Monopole harmonics on $\mathbb{CP}^{n-1}$

abstract: We find the spectra and eigenfunctions of both ordinary and supersymmetric quantum-mechanical models describing the motion of a charged particle over the $\mathbb{CP}^{n-1}$ manifold in the presence of a background monopole-like gauge field. The states form degenerate $SU(n)$ multiplets and their wave functions acquire a very simple form being expressed via homogeneous coordinates. Their relationship to multidimensional orthogonal polynomials of a special kind is discussed. By the well-known isomorphism between the twisted Dolbeault and Dirac complexes, our construction also gives the eigenfunctions and eigenvalues of the Dirac operator on complex projective spaces in a monopole background.


title: Biharmonic isometric immersions into and biharmonic Riemannian submersions from Berger 3-spheres

abstract: In this paper, we study biharmonic isometric immersions of a surface into and biharmonic Riemannian submersion from 3-dimensional Berger spheres. We obtain a classification of proper biharmonic isometric immersions of a surface with constant mean curvature into Berger 3-spheres. We also give a complete classification of proper biharmonic Hopf tori in Berger 3-sphere. For Riemannian submersions, we prove that a Riemannian submersion from Berger 3-spheres into a surface is biharmonic if and only if it is harmonic.


title: Harmonic and biharmonic Riemannain submersions from Sol space

abstract: In this paper, we give a complete classification of harmonic and biharmonic Riemannian submersions $\pi:(R^3,g_{Sol})\to (N^2,h)$ from Sol space into a surface by proving that there is neither harmonic nor biharmonic Riemannian submersion $\pi:(R^3,g_{Sol})\to (N^2,h)$ from Sol space no matter what the base space $(N^2,h)$ is. We also prove that a Riemannian submersion $\pi:(R,g_{Sol})\to (N^2,h)$ from Sol space exists only when the base space is a hyperbolic space form.


title: Trustworthy Reinforcement Learning for Quadrotor UAV Tracking Control Systems

abstract: Simultaneously accurate and reliable tracking control for quadrotors in complex dynamic environments is challenging. As aerodynamics derived from drag forces and moment variations are chaotic and difficult to precisely identify, most current quadrotor tracking systems treat them as simple `disturbances' in conventional control approaches. We propose a novel, interpretable trajectory tracker integrating a Distributional Reinforcement Learning disturbance estimator for unknown aerodynamic effects with a Stochastic Model Predictive Controller (SMPC). The proposed estimator `Constrained Distributional Reinforced disturbance estimator' (ConsDRED) accurately identifies uncertainties between true and estimated values of aerodynamic effects. Simplified Affine Disturbance Feedback is used for control parameterization to guarantee convexity, which we then integrate with a SMPC. We theoretically guarantee that ConsDRED achieves at least an optimal global convergence rate and a certain sublinear rate if constraints are violated with an error decreases as the width and the layer of neural network increase. To demonstrate practicality, we show convergent training in simulation and real-world experiments, and empirically verify that ConsDRED is less sensitive to hyperparameter settings compared with canonical constrained RL approaches. We demonstrate our system improves accumulative tracking errors by at least 70% compared with the recent art. Importantly, the proposed framework, ConsDRED-SMPC, balances the tradeoff between pursuing high performance and obeying conservative constraints for practical implementations


title: Timelike entanglement entropy

abstract: We define a new complex-valued measure of information called the timelike entanglement entropy (EE) which in the boundary theory can be viewed as a Wick rotation that changes a spacelike boundary subregion to a timelike one. An explicit definition of the timelike EE in 2d field theories is provided followed by numerical computations which agree with the analytic continuation of the replica method for CFTs. We argue that timelike EE should be correctly interpreted as another measure previously considered, the pseudo entropy, which is the von Neumann entropy of a reduced transition matrix. Our results strongly imply that the imaginary part of the pseudo entropy describes an emergent time which generalizes the notion of an emergent space from quantum entanglement. For holographic systems we define the timelike EE as the total complex valued area of a particular stationary combination of both space and timelike extremal surfaces which are homologous to the boundary region. For the examples considered we find explicit matching of our optimization procedure and the careful implementation of the Wick rotation in the boundary CFT. We also make progress on higher dimensional generalizations and relations to holographic pseudo entropy in de Sitter space.


title: Evolutionary and Observational Properties of Red Giant Acoustic Glitch Signatures

abstract: While solar-like oscillations in red giants have been observed at massive scale by the Kepler mission, few features of these oscillation mode frequencies, other than their global properties, have been exploited for stellar characterization. The signatures of acoustic glitches in mode frequencies have been used for studying main-sequence stars, but the validity of applying such techniques to evolved red giants, particularly pertaining to the inclusion of nonradial modes, has been less well-examined. Making use of new theoretical developments, we characterize glitches using the $\pi$ modes associated with red giant stellar models, and use our procedure to examine for the first time how properties of the He II acoustic glitch -- specifically its amplitude and associated acoustic depth -- vary over the course of evolution up the red giant branch, and with respect to other fundamental stellar properties. We find that the acoustic depths of these glitches, in conjunction with other spectroscopic information, discriminates between red giants in the first-ascent and core-helium-burning phases. We critically reexamine previous attempts to constrain acoustic glitches from nonradial (in particular dipole) modes in red giants. Finally, we apply our fitting procedure to Kepler data, to evaluate its robustness to noise and other observational systematics.


title: M\"obius boron-nitride nanobelts interacting with heavy metal nanoclusters

abstract: How do nickel, cadmium, and lead nanoclusters interact with boron-nitride and Mobius-type boron-nitride nanobelts? To answer this question, we used the semiempirical tight binding framework, as implemented in the xTB software, to determine the lowest energy geometries, binding energy, complexes stability, and electronic properties. Our calculations show that heavy metal nanoclusters favorably bind to both boron-nitride nanobelts, although the interaction is stronger with the Mobius-type nanobelt. The calculations show that the nickel nanocluster has the lowest binding energy and the greatest charge transfer with the nanobelts, followed by the cadmium and lead nanoclusters. During the simulation time, the molecular dynamic simulation showed that all complexes were stable at 298 K. Following the nanobelt's symmetry, the frontier orbitals are distributed homogeneously throughout the structure. This distribution changed when the nanobelt was twisted to create the Mobius-type nanobelt. The topological study indicated that the number of bonds between the metal nanoclusters and the Mobius-type nanobelt doubled and that the bonds formed with the nickel nanocluster were stronger than those formed with the cadmium and lead metals. Combining all the results, we conclude that the nickel nanoclusters are chemisorbed, whereas the cadmium and lead nanoclusters are physisorbed in both nanobelts.


title: On extension of the Markov chain approximation method for computing Feynman--Kac type expectations

abstract: An efficient discrete time and space Markov chain approximation employing a Brownian bridge correction for computing curvilinear boundary crossing probabilities for general diffusion processes was recently proposed in Liang and Borovkov (2021). One of the advantages of that method over alternative approaches is that it can be readily extended to computing expectations of path-dependent functionals over the event of the process trajectory staying between two curvilinear boundaries. In the present paper, we extend the scheme to compute expectations of the Feynman--Kac type that frequently appear in option pricing. To illustrate our approximation scheme, we apply it in three special cases. For sufficiently smooth integrands, numerical experiments suggest that the proposed approximation converges at the rate $O(n^{-2})$, where $n$ is the number of steps on the uniform time grid used


title: Analysis of Large Geomagnetically Induced Currents During the 7-8 September 2017 Storm: Geoelectric Field Mapping

abstract: High temporal and high spatial resolution geoelectric field models of two M\"ants\"al\"a, Finnish pipeline GIC intervals that occurred within the 7-8 September, 2017 geomagnetic storm have been made. The geomagnetic measurements with 10 s sampling rate of 28 IMAGE ground magnetometers distributed over the north Europe (from $52.07^\circ$ to $69.76^\circ$ latitude) are the bases for the study. A GeoElectric Dynamic Mapping (GEDMap) code was developed for this task. GEDMap considers 4 different methods of interpolation and allows a grid of $0.05^\circ$ (lat.)$\times 0.2^\circ$ (lon.) spatial scale resolution. The geoelectric field dynamic mapping output gives both spatial and temporal variations of the magnitude and direction of fields. The GEDMap results show very rapid and strong variability of geoelectric field and the extremely localized peak enhancements. The magnitude of geoelectric fields over M\"ants\"al\"a at the time of the two GIC peaks were 279.7 mV/km and 336.9 mV/km. The comparison of the GIC measurements in M\"ants\"al\"a and our modeling results show very good agreement with a correlation coefficient higher than 0.8. It is found that the auroral electrojet geoelectric field has very rapid changes in both magnitude and orientation causing the GICs. It is also shown that the electrojet is not simply oriented in the east-west direction. It is possible that even higher time resolution base magnetometer data of 1 s will yield even more structure, so this will be our next effort.

categories: physics.space-ph astro-ph.EP astro-ph.SR physics.geo-ph


title: Learning Revenue Maximizing Menus of Lotteries and Two-Part Tariffs

abstract: We advance a recently flourishing line of work at the intersection of learning theory and computational economics by studying the learnability of two classes of mechanisms prominent in economics, namely menus of lotteries and two-part tariffs. The former is a family of randomized mechanisms designed for selling multiple items, known to achieve revenue beyond deterministic mechanisms, while the latter is designed for selling multiple units (copies) of a single item with applications in real-world scenarios such as car or bike-sharing services. We focus on learning high-revenue mechanisms of this form from buyer valuation data in both distributional settings, where we have access to buyers' valuation samples up-front, and the more challenging and less-studied online settings, where buyers arrive one-at-a-time and no distributional assumption is made about their values. Our main contribution is proposing the first online learning algorithms for menus of lotteries and two-part tariffs with strong regret-bound guarantees. In the general case, we provide a reduction to a finite number of experts, and in the limited buyer type case, we show a reduction to online linear optimization, which allows us to obtain no-regret guarantees by presenting buyers with menus that correspond to a barycentric spanner. In addition, we provide algorithms with improved running times over prior work for the distributional settings. The key difficulty when deriving learning algorithms for these settings is that the relevant revenue functions have sharp transition boundaries. In stark contrast with the recent literature on learning such unstructured functions, we show that simple discretization-based techniques are sufficient for learning in these settings.


title: Pairwise counter-monotonicity

abstract: We systematically study pairwise counter-monotonicity, an extremal notion of negative dependence. A stochastic representation and an invariance property are established for this dependence structure. We show that pairwise counter-monotonicity implies negative association, and it is equivalent to joint mix dependence if both are possible for the same marginal distributions. We find an intimate connection between pairwise counter-monotonicity and risk sharing problems for quantile agents. This result highlights the importance of this extremal negative dependence structure in optimal allocations for agents who are not risk averse in the classic sense.


title: Examples of disk algebras

abstract: We produce refinements of the known multiplicative structures on the Brown--Peterson spectrum $BP$, its truncated variants $BP\langle n \rangle$, Ravenel's spectra $X(n)$, and evenly graded polynomial rings over the sphere spectrum. Consequently, topological Hochschild homology relative to these rings inherits a circle action.


title: fAIlureNotes: Supporting Designers in Understanding the Limits of AI Models for Computer Vision Tasks

abstract: To design with AI models, user experience (UX) designers must assess the fit between the model and user needs. Based on user research, they need to contextualize the model's behavior and potential failures within their product-specific data instances and user scenarios. However, our formative interviews with ten UX professionals revealed that such a proactive discovery of model limitations is challenging and time-intensive. Furthermore, designers often lack technical knowledge of AI and accessible exploration tools, which challenges their understanding of model capabilities and limitations. In this work, we introduced a failure-driven design approach to AI, a workflow that encourages designers to explore model behavior and failure patterns early in the design process. The implementation of fAIlureNotes, a designer-centered failure exploration and analysis tool, supports designers in evaluating models and identifying failures across diverse user groups and scenarios. Our evaluation with UX practitioners shows that fAIlureNotes outperforms today's interactive model cards in assessing context-specific model performance.


title: Mitigating Adversarial Attacks in Deepfake Detection: An Exploration of Perturbation and AI Techniques

abstract: Deep learning constitutes a pivotal component within the realm of machine learning, offering remarkable capabilities in tasks ranging from image recognition to natural language processing. However, this very strength also renders deep learning models susceptible to adversarial examples, a phenomenon pervasive across a diverse array of applications. These adversarial examples are characterized by subtle perturbations artfully injected into clean images or videos, thereby causing deep learning algorithms to misclassify or produce erroneous outputs. This susceptibility extends beyond the confines of digital domains, as adversarial examples can also be strategically designed to target human cognition, leading to the creation of deceptive media, such as deepfakes. Deepfakes, in particular, have emerged as a potent tool to manipulate public opinion and tarnish the reputations of public figures, underscoring the urgent need to address the security and ethical implications associated with adversarial examples. This article delves into the multifaceted world of adversarial examples, elucidating the underlying principles behind their capacity to deceive deep learning algorithms. We explore the various manifestations of this phenomenon, from their insidious role in compromising model reliability to their impact in shaping the contemporary landscape of disinformation and misinformation. To illustrate progress in combating adversarial examples, we showcase the development of a tailored Convolutional Neural Network (CNN) designed explicitly to detect deepfakes, a pivotal step towards enhancing model robustness in the face of adversarial threats. Impressively, this custom CNN has achieved a precision rate of 76.2% on the DFDC dataset.


title: ACE: Zero-Shot Image to Image Translation via Pretrained Auto-Contrastive-Encoder

abstract: Image-to-image translation is a fundamental task in computer vision. It transforms images from one domain to images in another domain so that they have particular domain-specific characteristics. Most prior works train a generative model to learn the mapping from a source domain to a target domain. However, learning such mapping between domains is challenging because data from different domains can be highly unbalanced in terms of both quality and quantity. To address this problem, we propose a new approach to extract image features by learning the similarities and differences of samples within the same data distribution via a novel contrastive learning framework, which we call Auto-Contrastive-Encoder (ACE). ACE learns the content code as the similarity between samples with the same content information and different style perturbations. The design of ACE enables us to achieve zero-shot image-to-image translation with no training on image translation tasks for the first time. Moreover, our learning method can learn the style features of images on different domains effectively. Consequently, our model achieves competitive results on multimodal image translation tasks with zero-shot learning as well. Additionally, we demonstrate the potential of our method in transfer learning. With fine-tuning, the quality of translated images improves in unseen domains. Even though we use contrastive learning, all of our training can be performed on a single GPU with the batch size of 8.


title: A right inverse of curl operator which is divergence free invariant and some applications to generalized Vekua type problems

abstract: In this work, we investigate the system formed by the equations $\text{div } \vec w=g_0$ and $\text{curl } \vec w=\vec g$ in bounded star-shaped domains of $\mathbb{R}^3$. A Helmholtz-type decomposition theorem is established based on a general solution of the above-mentioned div-curl system which was previously derived in the literature. When $g_0\equiv 0$, we readily obtain a bounded right inverse of $\text{curl}$ which is a divergence-free invariant. The restriction of this operator to the subspace of divergence-free vector fields with vanishing normal trace is the well-known Biot--Savart operator. In turn, this right inverse of $\text{curl}$ will be modified to guarantee its compactness and satisfy suitable boundary-value problems. Applications to Beltrami fields, Vekua-type problems as well as Maxwell's equations in inhomogeneous media are included.


title: A Deep Neural Network Based Approach to Building Budget-Constrained Models for Big Data Analysis

abstract: Deep learning approaches require collection of data on many different input features or variables for accurate model training and prediction. Since data collection on input features could be costly, it is crucial to reduce the cost by selecting a subset of features and developing a budget-constrained model (BCM). In this paper, we introduce an approach to eliminating less important features for big data analysis using Deep Neural Networks (DNNs). Once a DNN model has been developed, we identify the weak links and weak neurons, and remove some input features to bring the model cost within a given budget. The experimental results show our approach is feasible and supports user selection of a suitable BCM within a given budget.


title: The fractal uncertainty principle via Dolgopyat's method in higher dimensions

abstract: We prove a fractal uncertainty principle with exponent $\frac{d}{2} - \delta + \varepsilon$, $\varepsilon > 0$, for Ahlfors--David regular subsets of $\mathbb R^d$ with dimension $\delta$ which satisfy a suitable "nonorthogonality condition". This generalizes the application of Dolgopyat's method by Dyatlov--Jin (arXiv:1702.03619) to prove the same result in the special case $d = 1$. As a corollary, we get a quantitative spectral gap for the Laplacian on convex cocompact hyperbolic manifolds of arbitrary dimension with Zariski dense fundamental groups.


title: Bayes meets Bernstein at the Meta Level: an Analysis of Fast Rates in Meta-Learning with PAC-Bayes

abstract: Bernstein's condition is a key assumption that guarantees fast rates in machine learning. For example, the Gibbs algorithm with prior $\pi$ has an excess risk in $O(d_{\pi}/n)$, as opposed to the standard $O(\sqrt{d_{\pi}/n})$, where $n$ denotes the number of observations and $d_{\pi}$ is a complexity parameter which depends on the prior $\pi$. In this paper, we examine the Gibbs algorithm in the context of meta-learning, i.e., when learning the prior $\pi$ from $T$ tasks (with $n$ observations each) generated by a meta distribution. Our main result is that Bernstein's condition always holds at the meta level, regardless of its validity at the observation level. This implies that the additional cost to learn the Gibbs prior $\pi$, which will reduce the term $d_\pi$ across tasks, is in $O(1/T)$, instead of the expected $O(1/\sqrt{T})$. We further illustrate how this result improves on standard rates in three different settings: discrete priors, Gaussian priors and mixture of Gaussians priors.


title: Controlled and Conditional Text to Image Generation with Diffusion Prior

abstract: Denoising Diffusion models have shown remarkable performance in generating diverse, high quality images from text. Numerous techniques have been proposed on top of or in alignment with models like Stable Diffusion and Imagen that generate images directly from text. A lesser explored approach is DALLE-2's two step process comprising a Diffusion Prior that generates a CLIP image embedding from text and a Diffusion Decoder that generates an image from a CLIP image embedding. We explore the capabilities of the Diffusion Prior and the advantages of an intermediate CLIP representation. We observe that Diffusion Prior can be used in a memory and compute efficient way to constrain the generation to a specific domain without altering the larger Diffusion Decoder. Moreover, we show that the Diffusion Prior can be trained with additional conditional information such as color histogram to further control the generation. We show quantitatively and qualitatively that the proposed approaches perform better than prompt engineering for domain specific generation and existing baselines for color conditioned generation. We believe that our observations and results will instigate further research into the diffusion prior and uncover more of its capabilities.


title: Hopf fibrations and totally geodesic submanifolds

abstract: We classify totally geodesic submanifolds in Hopf-Berger spheres, which constitute a special family of homogeneous spaces diffeomorphic to spheres constructed via Hopf fibrations. As a byproduct of our investigations, we have discovered very intriguing examples of totally geodesic submanifolds. In particular, we stand out the following three: totally geodesic submanifolds isometric to real projective spaces, uncountably many isometric but non-congruent totally geodesic submanifolds, and a totally geodesic submanifold that is not extrinsically homogeneous. Remarkably, all these examples only arise in certain Hopf-Berger spheres with positive curvature.


title: Integrable models from singly generated planar algebras

abstract: Not all planar algebras can encode the algebraic structure of a Yang--Baxter integrable model described in terms of a so-called homogeneous transfer operator. In the family of subfactor planar algebras, we focus on the ones known as singly generated and find that the only such planar algebras underlying homogeneous Yang--Baxter integrable models are the so-called Yang--Baxter relation planar algebras. According to a result of Liu, there are three such planar algebras: the well-known Fuss--Catalan and Birman--Wenzl--Murakami planar algebras, in addition to one more which we refer to as the Liu planar algebra. The Fuss--Catalan and Birman--Wenzl--Murakami algebras are known to underlie Yang--Baxter integrable models, and we show that the Liu algebra likewise admits a Baxterisation. We also show that the homogeneous transfer operator describing a model underlied by a singly generated Yang--Baxter relation planar algebra is polynomialisable, meaning that it is polynomial in a spectral-parameter-independent element of the algebra.

categories: math-ph cond-mat.stat-mech hep-th math.MP math.QA