title: ProTranslator: zero-shot protein function prediction using textual description

abstract: Accurately finding proteins and genes that have a certain function is the prerequisite for a broad range of biomedical applications. Despite the encouraging progress of existing computational approaches in protein function prediction, it remains challenging to annotate proteins to a novel function that is not collected in the Gene Ontology and does not have any annotated proteins. This limitation, a side effect from the widely-used multi-label classification problem setting of protein function prediction, hampers the progress of studying new pathways and biological processes, and further slows down research in various biomedical areas. Here, we tackle this problem by annotating proteins to a function only based on its textual description so that we do not need to know any associated proteins for this function. The key idea of our method ProTranslator is to redefine protein function prediction as a machine translation problem, which translates the description word sequence of a function to the amino acid sequence of a protein. We can then transfer annotations from functions that have similar textual description to annotate a novel function. We observed substantial improvement in annotating novel functions and sparsely annotated functions on CAFA3, SwissProt and GOA datasets. We further demonstrated how our method accurately predicted gene members for a given pathway in Reactome, KEGG and MSigDB only based on the pathway description. Finally, we showed how ProTranslator enabled us to generate the textual description instead of the function label for a set of proteins, providing a new scheme for protein function prediction. We envision ProTranslator will give rise to a protein function "search engine" that returns a list of proteins based on the free text queried by the user.


title: Quasistationary Distribution for the Invasion Model on a Complete Bipartite Graph

abstract: The Invasion Model on the complete bibartitle graph was introduced and studied by physicists as a rudimentary model for opinion dynamics on complex networks. We identify the limit of the Quasistationary distribution for the model as one partition size tends to infinity. The limit is a highly dispersed measure. A distinctive feature of the model is that of two time scales with non-trivial interaction. The work and the results complement and are in sharp contrast to the analogous results on the closely related Voter Model.


title: Symmetric derivation of singlet correlations in a quaternionic 3-sphere model

abstract: Using the powerful language of geometric algebra, we present an observationally symmetric derivation of the strong correlations predicted by the entangled singlet state in a deterministic and locally causal model, usually also referred to as a local-realistic model, in which the physical space is assumed to be a quaternionic 3-sphere, or $S^3$, available as the spatial part of a solution of Einstein's field equations of general relativity, and compare it in quantitative detail with Bell's local-realistic model for the singlet correlations set within a flat Euclidean space ${\mathrm{I\!R}^3}$. Since the quantitatively detailed expressions of relative-angle-dependent probabilities of observing measurement outcomes for Bell's local model do not seem to have been fully articulated before, our novel analysis exploiting the non-commutative properties of quaternions, in addition to allowing the comparison with the quaternionic 3-sphere model, may also provide useful comparisons for other less compelling local-realistic models, such as those relying on retrocausality or superdeterminism. Apart from the conservation of zero spin angular momentum, the key attribute underlying the strong singlet correlations within $S^3$ in comparison with Bell's local model turns out to be the spinorial sign changes intrinsic to quaternions that constitute the 3-sphere. In addition, we also discuss anew a macroscopic experiment that can, in principle, test our 3-sphere hypothesis.


title: Wave-like behaviour in (0,1) binary sequences

abstract: This work presents a comprehensive study of the properties of finite (0,1) binary systems from the mathematical viewpoint of quantum theory where a complex wavefunction $\psi_{n}$ is considered as an analogous probability measure. This is a quantum-inspired extension of the GenomeBits model to characterise observed genome sequences, where $\psi_{n}$ is related to an alternating (0,1) binary series having independent distributed terms. The real and imaginary spectrum of $\psi_{n}$ {\emph vs.} the nucleotide base positions display characteristic features of sound waves.


title: Learning to Revise References for Faithful Summarization

abstract: In real-world scenarios with naturally occurring datasets, reference summaries are noisy and may contain information that cannot be inferred from the source text. On large news corpora, removing low quality samples has been shown to reduce model hallucinations. Yet, for smaller, and/or noisier corpora, filtering is detrimental to performance. To improve reference quality while retaining all data, we propose a new approach: to selectively re-write unsupported reference sentences to better reflect source data. We automatically generate a synthetic dataset of positive and negative revisions by corrupting supported sentences and learn to revise reference sentences with contrastive learning. The intensity of revisions is treated as a controllable attribute so that, at inference, diverse candidates can be over-generated-then-rescored to balance faithfulness and abstraction. To test our methods, we extract noisy references from publicly available MIMIC-III discharge summaries for the task of hospital-course summarization, and vary the data on which models are trained. According to metrics and human evaluation, models trained on revised clinical references are much more faithful, informative, and fluent than models trained on original or filtered data.


title: Structural Nested Mean Models Under Parallel Trends Assumptions

abstract: In this paper, we generalize methods in the Difference in Differences (DiD) literature by showing that both additive and multiplicative standard and coarse Structural Nested Mean Models (Robins, 1994, 1997, 1998, 2000, 2004; Lok and Degruttola, 2012; Vansteelandt and Joffe, 2014) are identified under parallel trends assumptions. Our methodology enables adjustment for time-varying covariates, identification of effect heterogeneity as a function of time-varying covariates, identification of additional causal contrasts (such as effects of a `blip' of treatment at a single time point followed by no further treatment and controlled direct effects), and estimation of treatment effects under a general class of treatment patterns (e.g. we do not restrict to the `staggered adoption' setting, and treatments can be multidimensional with any mix of categorical and continuous components). We stress that these extensions come essentially for free, as our parallel trends assumption is not stronger than other parallel trends assumptions in the DiD literature. We also provide a method for sensitivity analysis to violations of our parallel trends assumption. However, in contrast to much of the DiD literature, we only consider panel data, not repeated cross sectional data. We also explain how to estimate optimal treatment regimes via optimal regime Structural Nested Mean Models under parallel trends assumptions plus an additional extremely strong assumption that there is no effect modification by unobserved confounders. Finally, we illustrate our methods with real data applications estimating effects of bank deregulation on housing prices and effects of floods on flood insurance take-up.


title: New classification of graphs in view of the domination number of central graphs

abstract: For a graph $G$, the central graph $C(G)$ is the graph constructed from $G$ by subdividing each edge of $G$ with one vertex and also by adding an edge to every pair of non-adjacent vertices in $G$. Also for a graph $G$, let $\gamma(G)$ and $\tau(G)$ be the domination number of $G$ and the minimum cardinarity of a vertex cover of $G$, respectively. In this paper, we give a new classification of graphs concerning the domination number of central graphs and minimum vertex covers of graphs. Namely, we show that any graph $G$ with at least three vertices can be classified into one of the two classes of graphs with $\gamma(C(G))=\tau(G)$ and $\gamma(C(G))=\tau(G)+1$, respectively, together with some special properties concerning a vertex cover of $G$. We also give some new results on the domination number of central graphs.


title: A Hierarchical N-Gram Framework for Zero-Shot Link Prediction

abstract: Due to the incompleteness of knowledge graphs (KGs), zero-shot link prediction (ZSLP) which aims to predict unobserved relations in KGs has attracted recent interest from researchers. A common solution is to use textual features of relations (e.g., surface name or textual descriptions) as auxiliary information to bridge the gap between seen and unseen relations. Current approaches learn an embedding for each word token in the text. These methods lack robustness as they suffer from the out-of-vocabulary (OOV) problem. Meanwhile, models built on character n-grams have the capability of generating expressive representations for OOV words. Thus, in this paper, we propose a Hierarchical N-Gram framework for Zero-Shot Link Prediction (HNZSLP), which considers the dependencies among character n-grams of the relation surface name for ZSLP. Our approach works by first constructing a hierarchical n-gram graph on the surface name to model the organizational structure of n-grams that leads to the surface name. A GramTransformer, based on the Transformer is then presented to model the hierarchical n-gram graph to construct the relation embedding for ZSLP. Experimental results show the proposed HNZSLP achieved state-of-the-art performance on two ZSLP datasets.


title: Plasma-like Description for Elementary and Composite Quantum Particles

abstract: Schr{\"o}dinger noticed in 1952 that a scalar complex wave function can be made real by a gauge transformation. The author showed recently that one real function is also enough to describe matter in the Dirac equation in an arbitrary electromagnetic or Yang--Mills field. This suggests some "symmetry" between positive and negative frequencies and, therefore, particles and antiparticles, so the author previously considered a description of one-particle wave functions as plasma-like collections of a large number of particles and antiparticles. The description has some similarities with Bohmian mechanics. This work offers a criterion for approximation of continuous charge density distributions by discrete ones with quantized charge based on the equality of partial Fourier sums, and an example of such approximation is computed using the homotopy continuation method. An example mathematical model of the description is proposed. The description is also extended to composite particles, such as nucleons or large molecules, regarded as collections including a composite particle and a large number of pairs of elementary particles and antiparticles. While it is not clear if this is a correct description of the reality, it can become a basis of an interesting model or useful picture of quantum mechanics.


title: Exploring the electric field around a loop of static charge: Rectangles, stadiums, ellipses, and knots

abstract: We study the electric field around a continuous one-dimensional loop of static charge, under the assumption that the charge is distributed uniformly along the loop. For rectangular or stadium-shaped loops in the plane, we find that the electric field can undergo a symmetry-breaking pitchfork bifurcation as the loop is elongated; the field can have either one or three zeros, depending on the loop's aspect ratio. For knotted charge distributions in three-dimensional space, we compute the electric field numerically and compare our results to previously published theoretical bounds on the number of equilibrium points around charged knots. Our computations reveal that the previous bounds are far from sharp. The numerics also suggest conjectures for the actual minimum number of equilibrium points for all charged knots with five or fewer crossings. In addition, we provide the first images of the equipotential surfaces around charged knots, and visualize their topological transitions as the level of the potential is varied.


title: Nanoscale electrostatic control in ultra clean van der Waals heterostructures by local anodic oxidation of graphite gates

abstract: In an all-van der Waals heterostructure, the active layer, gate dielectrics and gate electrodes are assembled from two-dimensional crystals that have a low density of atomic defects. This design allows two-dimensional electron systems with very low disorder to be created, particularly in heterostructures where the active layer also has intrinsically low disorder, such as crystalline graphene layers or metal dichalcogenide heterobilayers. A key missing ingredient has been nanoscale electrostatic control, with existing methods for fabricated local gates typically introducing unwanted contamination. Here we describe a resist-free local anodic oxidation process for patterning sub 100nm features in graphite gates, and their subsequent integration into an all-van der Waals heterostructure. We define a quantum point contact in the fractional quantum Hall regime as a benchmark device and observe signatures of chiral Luttinger liquid behaviour, indicating an absence of extrinsic scattering centres in the vicinity of the point contact. In the integer quantum Hall regime, we demonstrate in situ control of the edge confinement potential, a key requirement for the precision control of chiral edge states. This technique may enable the fabrication of devices capable of single anyon control and coherent edge-state interferometry in the fractional quantum Hall regime.


title: Learning to Fold Real Garments with One Arm: A Case Study in Cloud-Based Robotics Research

abstract: Autonomous fabric manipulation is a longstanding challenge in robotics, but evaluating progress is difficult due to the cost and diversity of robot hardware. Using Reach, a cloud robotics platform that enables low-latency remote execution of control policies on physical robots, we present the first systematic benchmarking of fabric manipulation algorithms on physical hardware. We develop 4 novel learning-based algorithms that model expert actions, keypoints, reward functions, and dynamic motions, and we compare these against 4 learning-free and inverse dynamics algorithms on the task of folding a crumpled T-shirt with a single robot arm. The entire lifecycle of data collection, model training, and policy evaluation is performed remotely without physical access to the robot workcell. Results suggest a new algorithm combining imitation learning with analytic methods achieves 84% of human-level performance on the folding task. See https://sites.google.com/berkeley.edu/cloudfolding for all data, code, models, and supplemental material.


title: DiffCSE: Difference-based Contrastive Learning for Sentence Embeddings

abstract: We propose DiffCSE, an unsupervised contrastive learning framework for learning sentence embeddings. DiffCSE learns sentence embeddings that are sensitive to the difference between the original sentence and an edited sentence, where the edited sentence is obtained by stochastically masking out the original sentence and then sampling from a masked language model. We show that DiffSCE is an instance of equivariant contrastive learning (Dangovski et al., 2021), which generalizes contrastive learning and learns representations that are insensitive to certain types of augmentations and sensitive to other "harmful" types of augmentations. Our experiments show that DiffCSE achieves state-of-the-art results among unsupervised sentence representation learning methods, outperforming unsupervised SimCSE by 2.3 absolute points on semantic textual similarity tasks.


title: Strong-field scattering of two spinning black holes: Numerics versus Analytics

abstract: We present new Numerical Relativity calculations of the scattering angle $\chi$ between two, equal-mass, black holes on hyperbolic-like orbits. We build upon previous work considering, for the first time, spinning black holes, with equal spins either aligned or antialigned with the orbital angular momentum. We detail the numerical techniques used in the computation of $\chi$. Special care is taken in estimating error uncertainties on the quantities computed. The numerical values are compared with analytical predictions obtained using a new, state-of-the-art, effective one body model valid on generic orbits that incorporates post-Newtonian analytic information up to 5PN in the nonspinning, conservative sector and that has been additionally informed by Numerical Relativity simulations of quasi-circular coalescing black hole binaries. Our results indicate that the spin sector of the analytic model should be improved further in order to achieve satisfactory consistency with the most relativistic spinning configurations.


title: The McKay Conjecture and central isomorphic character triples

abstract: We refine the reduction theorem of the McKay Conjecture proved by Isaacs, Malle and Navarro. Assuming the inductive McKay condition, we obtain a strong version of the McKay Conjecture that gives central isomorphic character triples.


title: Inductive local-global conditions and generalized Harish-Chandra theory

abstract: We work towards a version of generalized Harish-Chandra theory compatible with Clifford theory and with the action of automorphisms on irreducible characters. This provides a fundamental tool to verify the inductive conditions for the so-called local-global conjectures in representation theory of finite groups in the crucial case of groups of Lie type in non-defining characteristic. In particular, as shown by the author in an earier paper, this as a strong impact on the verification of the inductive condition for Dade's Conjecture. As a by-product, we also show how to extend the parametrization of generalized Harish-Chandra series given by Brou\'e, Malle and Michel to the non-unipotent case by assuming maximal extendibility.


title: A full degree-of-freedom photonic crystal spatial light modulator

abstract: Harnessing the full complexity of optical fields requires complete control of all degrees-of-freedom within a region of space and time -- an open goal for present-day spatial light modulators (SLMs), active metasurfaces, and optical phased arrays. Here, we solve this challenge with a programmable photonic crystal cavity array enabled by four key advances: (i) near-unity vertical coupling to high-finesse microcavities through inverse design, (ii) scalable fabrication by optimized, 300 mm full-wafer processing, (iii) picometer-precision resonance alignment using automated, closed-loop "holographic trimming", and (iv) out-of-plane cavity control via a high-speed micro-LED array. Combining each, we demonstrate near-complete spatiotemporal control of a 64-resonator, two-dimensional SLM with nanosecond- and femtojoule-order switching. Simultaneously operating wavelength-scale modes near the space- and time-bandwidth limits, this work opens a new regime of programmability at the fundamental limits of multimode optical control.


title: Modular Control Plane Verification via Temporal Invariants

abstract: Monolithic control plane verification cannot scale to hyperscale network architectures with tens of thousands of nodes, heterogeneous network policies and thousands of network changes a day. Instead, modular verification offers improved scalability, reasoning over diverse behaviors, and robustness following policy updates. We introduce Timepiece, a new modular control plane verification system. While one class of verifiers, starting with Minesweeper, were based on analysis of stable paths, we show that such models, when deployed naively for modular verification, are unsound. To rectify the situation, we adopt a routing model based around a logical notion of time and develop a sound, expressive, and scalable verification engine. Our system requires that a user specifies interfaces between module components. We develop methods for defining these interfaces using predicates inspired by temporal logic, and show how to use those interfaces to verify a range of network-wide properties such as reachability or access control. Verifying a prefix-filtering policy using a non-modular verification engine times out on an 80-node fattree network after 2 hours. However, Timepiece verifies a 2,000-node fattree in 2.37 minutes on a 96-core virtual machine. Modular verification of individual routers is embarrassingly parallel and completes in seconds, which allows verification to scale beyond non-modular engines, while still allowing the full power of SMT-based symbolic reasoning.


title: Exploring Artificial Intelligence as a General Purpose Technology with Patent Data -- A Systematic Comparison of Four Classification Approaches

abstract: Artificial Intelligence (AI) is often defined as the next general purpose technology (GPT) with profound economic and societal consequences. We examine how strongly four patent AI classification methods reproduce the GPT-like features of (1) intrinsic growth, (2) generality, and (3) innovation complementarities. Studying US patents from 1990-2019, we find that the four methods (keywords, scientific citations, WIPO, and USPTO approach) vary in classifying between 3-17% of all patents as AI. The keyword-based approach demonstrates the strongest intrinsic growth and generality despite identifying the smallest set of AI patents. The WIPO and science approaches generate each GPT characteristic less strikingly, whilst the USPTO set with the largest number of patents produces the weakest features. The lack of overlap and heterogeneity between all four approaches emphasises that the evaluation of AI innovation policies may be sensitive to the choice of classification method.


title: People are not coins. Morally distinct types of predictions necessitate different fairness constraints

abstract: A recent paper (Hedden 2021) has argued that most of the group fairness constraints discussed in the machine learning literature are not necessary conditions for the fairness of predictions, and hence that there are no genuine fairness metrics. This is proven by discussing a special case of a fair prediction. In our paper, we show that Hedden 's argument does not hold for the most common kind of predictions used in data science, which are about people and based on data from similar people; we call these human-group-based practices. We argue that there is a morally salient distinction between human-group-based practices and those that are based on data of only one person, which we call human-individual-based practices. Thus, what may be a necessary condition for the fairness of human-group-based practices may not be a necessary condition for the fairness of human-individual-based practices, on which Hedden 's argument is based. Accordingly, the group fairness metrics discussed in the machine learning literature may still be relevant for most applications of prediction-based decision making.


title: Performance and limitations of the QAOA at constant levels on large sparse hypergraphs and spin glass models

abstract: The Quantum Approximate Optimization Algorithm (QAOA) is a general purpose quantum algorithm designed for combinatorial optimization. We analyze its expected performance and prove concentration properties at any constant level (number of layers) on ensembles of random combinatorial optimization problems in the infinite size limit. These ensembles include mixed spin models and Max-$q$-XORSAT on sparse random hypergraphs. Our analysis can be understood via a saddle-point approximation of a sum-over-paths integral. This is made rigorous by proving a generalization of the multinomial theorem, which is a technical result of independent interest. We then show that the performance of the QAOA at constant levels for the pure $q$-spin model matches asymptotically the ones for Max-$q$-XORSAT on random sparse Erd\H{o}s-R\'{e}nyi hypergraphs and every large-girth regular hypergraph. Through this correspondence, we establish that the average-case value produced by the QAOA at constant levels is bounded away from optimality for pure $q$-spin models when $q\ge 4$ and is even. This limitation gives a hardness of approximation result for quantum algorithms in a new regime where the whole graph is seen.

categories: quant-ph cond-mat.stat-mech cs.CC cs.DS math-ph math.MP


title: Distributive Invariant Centrally Essential Rings

abstract: In recent years, centrally essential rings have been intensively studied in ring theory. In particular, they find applications in homological algebra, group rings, and the structural theory of rings. The class of essentially central rings strongly extends the class of commutative rings. For such rings, a number of recent papers contain positive answers to some important questions from ring theory that previously had positive answers for commutative rings and negative answers in the general case. This work is devoted to a similar topic. A familiar description of right Noetherian, right distributive centrally essential rings is generalized on a larger class of rings. Let $A$ be a ring with prime radical $P(A)$. It is proved that $A$ is a right distributive, right invariant centrally essential ring and $P(A)$ is a finitely generated right ideal such that the factor-ring $A/P(A)$ does non contain an infinite direct sum of non-zero ideals if and only if $A=A_1\times\cdots\times A_n$, where every ring $A_k$ is either a commutative Pr\"ufer domain or an Artinian uniserial ring.


title: Addressing Tactic Volatility in Self-Adaptive Systems Using Evolved Recurrent Neural Networks and Uncertainty Reduction Tactics

abstract: Self-adaptive systems frequently use tactics to perform adaptations. Tactic examples include the implementation of additional security measures when an intrusion is detected, or activating a cooling mechanism when temperature thresholds are surpassed. Tactic volatility occurs in real-world systems and is defined as variable behavior in the attributes of a tactic, such as its latency or cost. A system's inability to effectively account for tactic volatility adversely impacts its efficiency and resiliency against the dynamics of real-world environments. To enable systems' efficiency against tactic volatility, we propose a Tactic Volatility Aware (TVA-E) process utilizing evolved Recurrent Neural Networks (eRNN) to provide accurate tactic predictions. TVA-E is also the first known process to take advantage of uncertainty reduction tactics to provide additional information to the decision-making process and reduce uncertainty. TVA-E easily integrates into popular adaptation processes enabling it to immediately benefit a large number of existing self-adaptive systems. Simulations using 52,106 tactic records demonstrate that: I) eRNN is an effective prediction mechanism, II) TVA-E represents an improvement over existing state-of-the-art processes in accounting for tactic volatility, and III) Uncertainty reduction tactics are beneficial in accounting for tactic volatility. The developed dataset and tool can be found at https://tacticvolatility.github.io/


title: On a conjecture of Talagrand on selector processes and a consequence on positive empirical processes

abstract: For appropriate Gaussian processes, as a corollary of the majorizing measure theorem, Michel Talagrand (1987) proved that the event that the supremum is significantly larger than its expectation can be covered by a set of half-spaces whose sum of measures is small. We prove a conjecture of Talagrand that is the analog of this result in the Bernoulli-$p$ setting, and answer a question of Talagrand on the analogous result for general positive empirical processes.


title: Share With Thy Neighbors: Single-View Reconstruction by Cross-Instance Consistency

abstract: Approaches for single-view reconstruction typically rely on viewpoint annotations, silhouettes, the absence of background, multiple views of the same instance, a template shape, or symmetry. We avoid all such supervision and assumptions by explicitly leveraging the consistency between images of different object instances. As a result, our method can learn from large collections of unlabelled images depicting the same object category. Our main contributions are two ways for leveraging cross-instance consistency: (i) progressive conditioning, a training strategy to gradually specialize the model from category to instances in a curriculum learning fashion; and (ii) neighbor reconstruction, a loss enforcing consistency between instances having similar shape or texture. Also critical to the success of our method are: our structured autoencoding architecture decomposing an image into explicit shape, texture, pose, and background; an adapted formulation of differential rendering; and a new optimization scheme alternating between 3D and pose learning. We compare our approach, UNICORN, both on the diverse synthetic ShapeNet dataset - the classical benchmark for methods requiring multiple views as supervision - and on standard real-image benchmarks (Pascal3D+ Car, CUB) for which most methods require known templates and silhouette annotations. We also showcase applicability to more challenging real-world collections (CompCars, LSUN), where silhouettes are not available and images are not cropped around the object.


title: Certain transformations and values of p-adic hypergeometric functions

abstract: We prove two transformations for the $p$-adic hypergeometric functions which can be described as $p$-adic analogues of a Euler's transformation and a transformation of Clausen. We first evaluate certain character sums, and then relate them to the $p$-adic hypergeometric functions to deduce the transformations. We use a character sum identity proved by Ahlgren, Ono, and Penniston to deduce the $p$-adic Clausen's transformation. We also deduce special values of certain $p$-adic hypergeometric functions.


title: Unsupervised Human Action Recognition with Skeletal Graph Laplacian and Self-Supervised Viewpoints Invariance

abstract: This paper presents a novel end-to-end method for the problem of skeleton-based unsupervised human action recognition. We propose a new architecture with a convolutional autoencoder that uses graph Laplacian regularization to model the skeletal geometry across the temporal dynamics of actions. Our approach is robust towards viewpoint variations by including a self-supervised gradient reverse layer that ensures generalization across camera views. The proposed method is validated on NTU-60 and NTU-120 large-scale datasets in which it outperforms all prior unsupervised skeleton-based approaches on the cross-subject, cross-view, and cross-setup protocols. Although unsupervised, our learnable representation allows our method even to surpass a few supervised skeleton-based action recognition methods. The code is available in: www.github.com/IIT-PAVIS/UHAR_Skeletal_Laplacian


title: Cellular Topology Optimization on Differentiable Voronoi Diagrams

abstract: Cellular structures manifest their outstanding mechanical properties in many biological systems. One key challenge for designing and optimizing these geometrically complicated structures lies in devising an effective geometric representation to characterize the system's spatially varying cellular evolution driven by objective sensitivities. A conventional discrete cellular structure, e.g., a Voronoi diagram, whose representation relies on discrete Voronoi cells and faces, lacks its differentiability to facilitate large-scale, gradient-based topology optimizations. We propose a topology optimization algorithm based on a differentiable and generalized Voronoi representation that can evolve the cellular structure as a continuous field. The central piece of our method is a hybrid particle-grid representation to encode the previously discrete Voronoi diagram into a continuous density field defined in a Euclidean space. Based on this differentiable representation, we further extend it to tackle anisotropic cells, free boundaries, and functionally-graded cellular structures. Our differentiable Voronoi diagram enables the integration of an effective cellular representation into the state-of-the-art topology optimization pipelines, which defines a novel design space for cellular structures to explore design options effectively that were impractical for previous approaches. We showcase the efficacy of our approach by optimizing cellular structures with up to thousands of anisotropic cells, including femur bone and Odonata wing.


title: Adversarial Contrastive Learning by Permuting Cluster Assignments

abstract: Contrastive learning has gained popularity as an effective self-supervised representation learning technique. Several research directions improve traditional contrastive approaches, e.g., prototypical contrastive methods better capture the semantic similarity among instances and reduce the computational burden by considering cluster prototypes or cluster assignments, while adversarial instance-wise contrastive methods improve robustness against a variety of attacks. To the best of our knowledge, no prior work jointly considers robustness, cluster-wise semantic similarity and computational efficiency. In this work, we propose SwARo, an adversarial contrastive framework that incorporates cluster assignment permutations to generate representative adversarial samples. We evaluate SwARo on multiple benchmark datasets and against various white-box and black-box attacks, obtaining consistent improvements over state-of-the-art baselines.


title: CDF II $W$-mass anomaly faces first-order electroweak phase transition

abstract: We suggest an appealing strategy to probe a large class of scenarios beyond the Standard Model simultaneously explaining the recent CDF II measurement of the $W$ boson mass and predicting first-order phase transitions (FOPT) testable in future gravitational-wave (GW) experiments. Our analysis deploys measurements from the GW channels and high energy particle colliders. We discuss this methodology focusing on the specific example provided by an extension of the Standard Model of particle physics that incorporates an additional scalar $\mathrm{SU}(2)_{\rm L}$ triplet coupled to the Higgs boson. We show that within this scenario a strong electroweak FOPT is naturally realised consistently with the measured $W$ boson mass-shift. Potentially observable GW signatures imply the triplet mass scale to be TeV-ish, consistently with the value preferred by the $W$ mass anomaly. This model can be tested in future space-based interferometers such as LISA, DECIGO, BBO, TianQin, TAIJI projects and in future colliders such as FCC, ILC, CEPC.


title: A Collision Mechanism for the Removal of Earth's Trojan Asteroids

abstract: Due to their strong resonances with their host planet, Trojan asteroids can remain in stable orbits for billions of years. As a result, they are powerful probes for constraining the dynamical and chemical history of the solar system. Although we have detected thousands of Jupiter Trojans and dozens of Neptune Trojans, there are currently no known long-term stable Earth Trojans. Dynamical simulations show that the parameter space for stable Earth Trojans in substantial, so their apparent absence poses a mystery. This work uses a large ensemble of N-body simulations to explore how the Trojan population dynamically responds if Earth suffers large collisions, such as those thought to have occurred to form the Moon and/or to have given Earth its Late Veneer. We show that such collisions can be highly disruptive to the primordial Trojan population, and could have eliminated it altogether. More specifically, if Earth acquired the final 1\% of its mass through ${\cal O}(10)$ collisions, then only $\sim1\%$ of the previously bound Trojan population would remain.


title: The $v$-number and Castelnuovo-Mumford regularity of graphs

abstract: We prove that for every integer $k\geq 1$, there exists a connected graph $H_k$ such that $v(H_k)=reg(H_k)+k$, where $v(G)$ and $reg(G)$ denote the $v$-number and the (Castelnuovo-Mumford) regularity of a graph $G$ respectively.


title: Feature anomaly detection system (FADS) for intelligent manufacturing

abstract: Anomaly detection is important for industrial automation and part quality assurance, and while humans can easily detect anomalies in components given a few examples, designing a generic automated system that can perform at human or above human capabilities remains a challenge. In this work, we present a simple new anomaly detection algorithm called FADS (feature-based anomaly detection system) which leverages pretrained convolutional neural networks (CNN) to generate a statistical model of nominal inputs by observing the activation of the convolutional filters. During inference the system compares the convolutional filter activation of the new input to the statistical model and flags activations that are outside the expected range of values and therefore likely an anomaly. By using a pretrained network, FADS demonstrates excellent performance similar to or better than other machine learning approaches to anomaly detection while at the same time FADS requires no tuning of the CNN weights. We demonstrate FADS ability by detecting process parameter changes on a custom dataset of additively manufactured lattices. The FADS localization algorithm shows that textural differences that are visible on the surface can be used to detect process parameter changes. In addition, we test FADS on benchmark datasets, such as the MVTec Anomaly Detection dataset, and report good results.


title: TorchSparse: Efficient Point Cloud Inference Engine

abstract: Deep learning on point clouds has received increased attention thanks to its wide applications in AR/VR and autonomous driving. These applications require low latency and high accuracy to provide real-time user experience and ensure user safety. Unlike conventional dense workloads, the sparse and irregular nature of point clouds poses severe challenges to running sparse CNNs efficiently on the general-purpose hardware. Furthermore, existing sparse acceleration techniques for 2D images do not translate to 3D point clouds. In this paper, we introduce TorchSparse, a high-performance point cloud inference engine that accelerates the sparse convolution computation on GPUs. TorchSparse directly optimizes the two bottlenecks of sparse convolution: irregular computation and data movement. It applies adaptive matrix multiplication grouping to trade computation for better regularity, achieving 1.4-1.5x speedup for matrix multiplication. It also optimizes the data movement by adopting vectorized, quantized and fused locality-aware memory access, reducing the memory movement cost by 2.7x. Evaluated on seven representative models across three benchmark datasets, TorchSparse achieves 1.6x and 1.5x measured end-to-end speedup over the state-of-the-art MinkowskiEngine and SpConv, respectively.


title: SelfD: Self-Learning Large-Scale Driving Policies From the Web

abstract: Effectively utilizing the vast amounts of ego-centric navigation data that is freely available on the internet can advance generalized intelligent systems, i.e., to robustly scale across perspectives, platforms, environmental conditions, scenarios, and geographical locations. However, it is difficult to directly leverage such large amounts of unlabeled and highly diverse data for complex 3D reasoning and planning tasks. Consequently, researchers have primarily focused on its use for various auxiliary pixel- and image-level computer vision tasks that do not consider an ultimate navigational objective. In this work, we introduce SelfD, a framework for learning scalable driving by utilizing large amounts of online monocular images. Our key idea is to leverage iterative semi-supervised training when learning imitative agents from unlabeled data. To handle unconstrained viewpoints, scenes, and camera parameters, we train an image-based model that directly learns to plan in the Bird's Eye View (BEV) space. Next, we use unlabeled data to augment the decision-making knowledge and robustness of an initially trained model via self-training. In particular, we propose a pseudo-labeling step which enables making full use of highly diverse demonstration data through "hypothetical" planning-based data augmentation. We employ a large dataset of publicly available YouTube videos to train SelfD and comprehensively analyze its generalization benefits across challenging navigation scenarios. Without requiring any additional data collection or annotation efforts, SelfD demonstrates consistent improvements (by up to 24%) in driving performance evaluation on nuScenes, Argoverse, Waymo, and CARLA.


title: Future Object Detection with Spatiotemporal Transformers

abstract: We propose the task Future Object Detection, in which the goal is to predict the bounding boxes for all visible objects in a future video frame. While this task involves recognizing temporal and kinematic patterns, in addition to the semantic and geometric ones, it only requires annotations in the standard form for individual, single (future) frames, in contrast to expensive full sequence annotations. We propose to tackle this task with an end-to-end method, in which a detection transformer is trained to directly output the future objects. In order to make accurate predictions about the future, it is necessary to capture the dynamics in the scene, both object motion and the movement of the ego-camera. To this end, we extend existing detection transformers in two ways. First, we experiment with three different mechanisms that enable the network to spatiotemporally process multiple frames. Second, we provide ego-motion information to the model in a learnable manner. We show that both of these extensions improve the future object detection performance substantially. Our final approach learns to capture the dynamics and makes predictions on par with an oracle for prediction horizons up to 100 ms, and outperforms all baselines for longer prediction horizons. By visualizing the attention maps, we observe that a form of tracking emerges within the network. Code is available at github.com/atonderski/future-object-detection.


title: Online Two-Dimensional Vector Packing with Advice

abstract: We consider the online two-dimensional vector packing problem, showing a lower bound of $11/5$ on the competitive ratio of any {\sc AnyFit} strategy for the problem. We provide strategies with competitive ratio $\max\!\left\{2,6\big/\big(1+3\tan(\pi/4-\gamma/2)\big)+\epsilon\right\}$ and logarithmic advice, for any instance where all the input vectors are restricted to have angles in the range $[\pi/4-\gamma/2,\pi/4+\gamma/2]$, for $0\leq\gamma<\pi/3$ and $\max\left\{5/2,4\big/\big(1+2\tan(\pi/4-\gamma/2)\big)+\epsilon\right\}$ and logarithmic advice, for any instance where all the input vectors are restricted to have angles in the range $[\pi/4-\gamma/2,\pi/4+\gamma/2]$, for $0\leq\gamma\leq\pi/3$. In addition, we give a $5/2$-competitive strategy also using logarithmic advice for the unrestricted vectors case. These results should be contrasted to the currently best competitive strategy, FirstFit, having competitive ratio~$27/10$.


title: Accelerating Physics Simulations with TPUs: An Inundation Modeling Example

abstract: Recent advancements in hardware accelerators such as Tensor Processing Units (TPUs) speed up computation time relative to Central Processing Units (CPUs) not only for machine learning but, as demonstrated here, also for scientific modeling and computer simulations. To study TPU hardware for distributed scientific computing, we solve partial differential equations (PDEs) for the physics simulation of fluids to model riverine floods. We demonstrate that TPUs achieve a two orders of magnitude speedup over CPUs. Running physics simulations on TPUs is publicly accessible via the Google Cloud Platform, and we release a Python interactive notebook version of the simulation.


title: Grover Search Inspired Alternating Operator Ansatz of Quantum Approximate Optimization Algorithm for Search Problems

abstract: We use the mapping between two computation frameworks , Adiabatic Grover Search (AGS) and Adiabatic Quantum Computing (AQC), to translate the Grover search algorithm into the AQC regime. We then apply Trotterization on the schedule-dependent Hamiltonian of AGS to obtain the values of variational parameters in the Quantum Approximate Optimization Algorithm (QAOA) framework. The goal is to carry the optimal behavior of Grover search algorithm into the QAOA framework without the iterative machine learning processes.


title: AI-Based Automated Speech Therapy Tools for persons with Speech Sound Disorders: A Systematic Literature Review

abstract: This paper presents a systematic literature review of published studies on AI-based automated speech therapy tools for persons with speech sound disorders (SSD). The COVID-19 pandemic has initiated the requirement for automated speech therapy tools for persons with SSD making speech therapy accessible and affordable. However, there are no guidelines for designing such automated tools and their required degree of automation compared to human experts. In this systematic review, we followed the PRISMA framework to address four research questions: 1) what types of SSD do AI-based automated speech therapy tools address, 2) what is the level of autonomy achieved by such tools, 3) what are the different modes of intervention, and 4) how effective are such tools in comparison with human experts. An extensive search was conducted on digital libraries to find research papers relevant to our study from 2007 to 2022. The results show that AI-based automated speech therapy tools for persons with SSD are increasingly gaining attention among researchers. Articulation disorders were the most frequently addressed SSD based on the reviewed papers. Further, our analysis shows that most researchers proposed fully automated tools without considering the role of other stakeholders. Our review indicates that mobile-based and gamified applications were the most frequent mode of intervention. The results further show that only a few studies compared the effectiveness of such tools compared to expert Speech-Language Pathologists (SLP). Our paper presents the state-of-the-art in the field, contributes significant insights based on the research questions, and provides suggestions for future research directions.


title: galstreams: A Library of Milky Way Stellar Stream Footprints and Tracks

abstract: Nearly a hundred stellar streams have been found to date around the Milky Way and the number keeps growing at an ever faster pace. Here we present the galstreams library, a compendium of angular position, distance, proper motion and radial velocity track data for nearly a hundred (95) Galactic stellar streams. The information published in the literature has been collated and homogenised in a consistent format and used to provide a set of features uniformly computed throughout the library: e.g. stream length, end points, mean pole, stream's coordinate frame, polygon footprint, and pole and angular momentum tracks. We also use the information compiled to analyse the distribution of several observables across the library and to assess where the main deficiencies are found in the characterisation of individual stellar streams, as a resource for future follow-up efforts. The library is intended to facilitate keeping track of new discoveries and to encourage the use of automated methods to characterise and study the ensemble of known stellar streams by serving as a starting point. The library is publicly available as a Python package and served at the galstreams GitHub repository.


title: The Milky Way tomography with APOGEE: intrinsic density distribution and structure of mono-abundance populations

abstract: The spatial distribution of mono-abundance populations (MAPs, selected in [Fe/H] and [Mg/Fe]) reflect the chemical and structural evolution in a galaxy and impose strong constraints on galaxy formation models. In this paper, we use APOGEE data to derive the intrinsic density distribution of MAPs in the Milky Way, after carefully considering the survey selection function. We find that a single exponential profile is not a sufficient description of the Milky Way's disc. Both the individual MAPs and the integrated disc exhibit a broken radial density distribution; densities are relatively constant with radius in the inner Galaxy and rapidly decrease beyond the break radius. We fit the intrinsic density distribution as a function of radius and vertical height with a 2D density model that considers both a broken radial profile and radial variation of scale height (i.e., flaring). There is a large variety of structural parameters between different MAPs, indicative of strong structure evolution of the Milky Way. One surprising result is that high-$\alpha$ MAPs show the strongest flaring. The young, solar-abundance MAPs present the shortest scale height and least flaring, suggesting recent and ongoing star formation confined to the disc plane. Finally we derive the intrinsic density distribution and corresponding structural parameters of the chemically defined thin and thick discs. The chemical thick and thin discs have local surface mass densities of 5.62$\pm$0.08 and 15.69$\pm$0.32 ${\rm M_{\odot} pc^{-2}}$, respectively, suggesting a massive thick disc with a local surface mass density ratio between thick to thin disc of 36%.


title: Charge-density waves in kagome-lattice extended Hubbard models at the van Hove filling

abstract: The Hubbard model on the kagome lattice is presently often considered as a minimal model to describe the rich low-temperature behavior of AV$_{3}$Sb$_{5}$ compounds (with A=K, Rb, Cs), including charge-density waves (CDWs), superconductivity, and possibly broken time-reversal symmetry. Here, we investigate, via variational Jastrow-Slater wave functions, the properties of its ground state when both onsite $U$ and nearest-neighbor $V$ Coulomb repulsions are considered at the van Hove filling. Our calculations reveal the presence of different interaction-driven CDWs and, contrary to previous renormalization-group studies, the absence of ferromagnetism and charge- or spin-bond order. No signatures of chiral phases are detected. Remarkably, the CDWs triggered by the nearest-neighbor repulsion possess charge disproportionations that are not compatible with the ones observed in AV$_{3}$Sb$_{5}$. As an alternative mechanism to stabilize charge-bond order, we consider the electron-phonon interaction, modeled by coupling the hopping amplitudes to quantum phonons, as in the Su-Schrieffer-Heeger model. Our results show the instability towards a tri-hexagonal distortion with $2\times 2$ periodicity, in a closer agreement with experimental findings.


title: Chiral Broken Symmetry Descendants of the Kagom\'e Lattice Chiral Spin Liquid

abstract: The breaking of chiral and time-reversal symmetries provides a pathway to exotic quantum phenomena and topological phases. In particular, the breaking of chiral (mirror) symmetry in quantum materials has been shown to have important technological applications. Recent work has extensively explored the resulting emergence of chiral charge orders and chiral spin liquids on the kagom\'e lattice. Such chiral spin liquids are closely tied to bosonic fractional quantum Hall states and host anyonic quasiparticles; however, their connection to nearby magnetically ordered states has remained a mystery. Here, we show that two distinct non-coplanar magnetic orders with uniform spin chirality, the XYZ umbrella state and the Octahedral spin crystal, emerge as competing orders in close proximity to the kagom\'e chiral spin liquid. Our results highlight the intimate link between a many-body topologically ordered liquid and broken symmetry states with nontrivial real-space topology.


title: Super-critical accretion of medium-weight seed black holes in gaseous proto-galactic nuclei

abstract: Accretion at sustained or episodic super-Eddington (SE) rates has been proposed as a pathway to grow efficiently light seeds produced by Pop-III stars. We investigate if SE accretion can be sustained onto a black hole (BH) with $M_{\odot} \sim 10^3$~M$_{\odot}$ in the centre of a gas-rich proto-galaxy at $z=15$. We perform high-resolution smoothed-particle hydrodynamical simulations, including two different sub-grid models for SE accretion, one based on the slim disc paradigm, and one inspired by recent radiation-magnetohydrodynamical simulations by Jiang and collaborators. Radiative feedback has the form of a thermal dump to surrounding gas particles, with the radiative efficiency being set according to the different SE accretion models. We find that, in all simulations, star formation, BH feedback, and interactions between clumps and the BH rapidly quench accretion after $\sim$1~Myr, irrespective of the sub-grid model used for accretion. Quenching is stronger in the model based on the simulations of Jiang and collaborators relative to the slim disc model because of its higher radiative efficiency. The SE growth phase is always very brief, lasting a few 0.1~Myr. In the most optimistic case, the BH reaches a mass of $\sim$10$^4$~M$_{\odot}$. We extrapolate the final BH masses from $z=15$ to $z\sim6$, assuming subsequent galaxy mergers will replenish the gas reservoir and trigger new cycles of SE accretion. We find that at most BH seeds would grow to $\sim$10$^6$~M$_{\odot}$, comparable to the mass of massive BHs in spiral galaxies such as the Milky Way, but falling short of the mass of the high-redshift quasars.


title: Pion and kaon fragmentation functions at next-to-next-to-leading order

abstract: We present a new determination of unpolarised charged pion and kaon fragmentation functions from a set of single-inclusive electron-positron annihilation and lepton-nucleon semi-inclusive deep-inelastic scattering data. The determination includes next-to-next-to-leading order QCD corrections to both processes, and is carried out in a framework that combines a neural-network parametrisation of fragmentation functions with a Monte Carlo representation of their uncertainties. We discuss the quality of the determination, in particular its dependence on higher order corrections.


title: Revealing the Galaxy-Halo Connection Through Machine Learning

abstract: Understanding the connections between galaxy stellar mass, star formation rate, and dark matter halo mass represents a key goal of the theory of galaxy formation. Cosmological simulations that include hydrodynamics, physical treatments of star formation, feedback from supernovae, and the radiative transfer of ionizing photons can capture the processes relevant for establishing these connections. The complexity of these physics can prove difficult to disentangle and obfuscate how mass-dependent trends in the galaxy population originate. Here, we train a machine learning method called Explainable Boosting Machines (EBMs) to infer how the stellar mass and star formation rate of nearly 6 million galaxies simulated by the Cosmic Reionization on Computers (CROC) project depend on the physical properties of halo mass, the peak circular velocity of the galaxy during its formation history $v_\mathrm{peak}$, cosmic environment, and redshift. The resulting EBM models reveal the relative importance of these properties in setting galaxy stellar mass and star formation rate, with $v_\mathrm{peak}$ providing the most dominant contribution. Environmental properties provide substantial improvements for modeling the stellar mass and star formation rate in only $\lesssim10\%$ of the simulated galaxies. We also provide alternative formulations of EBM models that enable low-resolution simulations, which cannot track the interior structure of dark matter halos, to predict the stellar mass and star formation rate of galaxies computed by high-resolution simulations with detailed baryonic physics.


title: Elementary derivation of the stacking rules of invertible fermionic topological phases in one dimension

abstract: Invertible fermionic topological (IFT) phases are gapped phases of matter with nondegenerate ground states on any closed spatial manifold. When open boundary conditions are imposed, nontrivial IFT phases support gapless boundary degrees of freedom. Distinct IFT phases in one-dimensional space with an internal symmetry group $G^{\,}_{f}$ have been characterized by a triplet of indices $([(\nu,\rho)],[\mu])$. Our main result is an elementary derivation of the fermionic stacking rules of one-dimensional IFT phases for any given internal symmetry group $G^{\,}_{f}$ from the perspective of the boundary, i.e., we give an explicit operational definition for the boundary representation $([(\nu^{\,}_{\wedge},\rho^{\,}_{\wedge})],[\mu^{\,}_{\wedge}])$ obtained from stacking two IFT phases characterized by the triplets of boundary indices $([(\nu^{\,}_{1},\rho^{\,}_{1})],[\mu^{\,}_{1}])$ and $([(\nu^{\,}_{2},\rho^{\,}_{2})],[\mu^{\,}_{2}])$, respectively.


title: Machine Learning Algebraic Geometry for Physics

abstract: We review some recent applications of machine learning to algebraic geometry and physics. Since problems in algebraic geometry can typically be reformulated as mappings between tensors, this makes them particularly amenable to supervised learning. Additionally, unsupervised methods can provide insight into the structure of such geometrical data. At the heart of this programme is the question of how geometry can be machine learned, and indeed how AI helps one to do mathematics. This is a chapter contribution to the book Machine learning and Algebraic Geometry, edited by A. Kasprzyk et al.


title: Pauli crystal melting in shaken optical traps

abstract: Pauli crystals are ordered geometric structures that emerge in trapped noninteracting fermionic systems due to their underlying Pauli repulsion. The deformation of Pauli crystals - often called melting - has been recently observed in experiments, but the mechanism that leads to it remains unclear. We address this question by studying the melting dynamics of N=6 fermions as a function of periodic driving and experimental imperfections in the trap (anisotropy and anharmonicity) by employing a combination of numerical simulations and Floquet theory. Surprisingly, we reveal that the melting of Pauli crystals is not simply a direct consequence of an increase in system energy, but is instead related to the trap geometry and the population of the Floquet modes. We show that the melting is absent in traps without imperfections and triggered only by a sufficiently large shaking amplitude in traps with imperfections.


title: Parallel tomography of quantum non-demolition measurements in multi-qubit devices

abstract: An efficient characterization of QND measurements is an important ingredient towards certifying and improving the performance and scalability of quantum processors. In this work, we introduce a parallel tomography of QND measurements that addresses single- and two-qubit readout on a multi-qubit quantum processor. We provide an experimental demonstration of the tomographic protocol on a 7-qubit IBM-Q device, characterizing the quality of conventional qubit readout as well as generalized measurements such as parity or measurement-and-reset schemes. Our protocol reconstructs the Choi matrices of the measurement processes, extracts relevant quantifiers -- fidelity, QND-ness, destructiveness -- and identifies sources of errors that limit the performance of the device for repeated QND measurements. We also show how to quantify measurement cross-talk and use it to certify the quality of simultaneous readout on multiple qubits.


title: On the Superiority of the $|V_{cb}|-\gamma$ Plots over the Unitarity Triangle Plots in the 2020s

abstract: The UT plots played already for three decades an important role in the tests of the SM and the determination of the CKM parameters. As of 2022, among the four CKM parameters, $V_{us}$ and $\beta$ are already measured with respectable precision, while this is not the case of $|V_{cb}|$ and $\gamma$. In the case of $|V_{cb}|$ the main obstacle are the significant tensions between its inclusive and exclusive determinations from tree-level decays. The present uncertainty in $\gamma$ of $4^\circ$ from tree-level decays will be reduced to $1^\circ$ by the LHCb and Belle II collaborations in the coming years. Unfortunately in the UT plots $|V_{cb}|$ is not seen and the experimental improvements in the determination of $\gamma$ from tree-level decays at the level of a few degrees are difficult to appreciate. In view of these deficiencies of the UT plots with respect to $|V_{cb}|$ and $\gamma$ and the central role these two CKM parameters will play in this decade, the recently proposed plots of $|V_{cb}|$ versus $\gamma$ extracted from various processes appear to be superior to the UT plots in the flavour phenomenology. We illustrate this idea with $\Delta M_s$, $\Delta M_d$, $\epsilon_K$ and with rare decays $B_s\to\mu^+\mu^-$, $B_d\to\mu^+\mu^-$, $K^+\to \pi^+\nu\bar\nu$ and $K_L\to\pi^0\nu\bar\nu$. The power of $\epsilon_K$, $K^+\to\pi^+\nu\bar\nu)$ and $K_{L}\to\pi^0\nu\bar\nu)$ in the determination of $|V_{cb}|$, due to their strong dependence on $|V_{cb}|$, is transparently exhibited in this manner. Combined with future reduced errors on $\gamma$ and $|V_{cb}|$ from tree-level decays such plots can better exhibit possible inconsistenices between various determinations of these two parameters, caused by new physics, than it is possible with the UT plots.


title: Status of the two-Higgs-doublet model in light of the CDF $m_W$ measurement

abstract: The most recent $W$-boson mass measurement by the CDF collaboration with a substantially reduced uncertainty indicates a significant deviation from the standard model prediction, as large as $7\sigma$ if taken literally. Then the Peskin-Takeuchi parameters of $S$ and $T$ shift to larger values, which has profound consequences in searching for physics beyond the SM. In the framework of two-Higgs-doublet models, we study the effect of the new $W$-boson mass measurement on the parameter space. Combined with other constraints including theoretical requirements, flavor-changing neutral currents in $B$ physics, the cutoff scale above 1 TeV, Higgs precision data, and direct collider search limits from the LEP, Tevatron, and LHC experiments, we find upper bounds on the masses of the heavy Higgs bosons: $M_{H, A, H^\pm} \lesssim 1.1$ TeV in type I, II, X, and Y for the normal Higgs scenario; $M_{H^\pm} \lesssim 450 $ GeV and $M_{A} \lesssim 420 $ GeV in type I and X for the inverted scenario where the heavier $CP$-even Higgs boson is the observed one. Another important finding is that type II and type Y in the inverted scenario are completely excluded. Such unprecedented findings imply that the upcoming LHC run can readily close out a large portion of the still-available parameter space.


title: Cogenesis of Baryon Asymmetry and Gravitational Dark Matter from Primordial Black Holes

abstract: We propose a scenario where dark matter (DM) with a wide mass range from a few keV to PeV can be produced solely from evaporating primordial black holes (PBH), while being consistent with the required free streaming length for structure formation. If DM does not have any other interactions apart from gravity and the universe has a PBH dominated phase at early epoch, then PBH evaporation typically leads to overproduction of DM in this mass range. By incorporating this gravitational DM within a Type-I seesaw scenario with three right handed neutrinos (RHN), we bring the abundance of PBH generated DM within observed limits by late entropy injection due to decay of one of the RHNs, acting as the diluter. The diluter, due to its feeble coupling with the bath particles, gets produced primarily from the PBH evaporation thereby leading to the second stage of early matter domination after the end of PBH dominated era. The other two RHNs contribute to the origin of light neutrino mass and also lead to the observed baryon asymmetry via leptogenesis with contributions from both thermally and PBH generated RHNs. The criteria of DM relic and baryon asymmetry can be satisfied simultaneously if DM mass gets restricted to a ballpark in the MeV-GeV regime with the requirement of resonant leptogenesis for heavier DM mass in order to survive the large entropy dilution at late epochs.


title: Results on photon-mediated dark matter-nucleus interactions from the PICO-60 C$_{3}$F$_{8}$ bubble chamber

abstract: Many compelling models predict dark matter coupling to the electromagnetic current through higher multipole interactions, while remaining electrically neutral. Different multipole couplings have been studied, among them anapole moment, electric and magnetic dipole moments, and millicharge. This study sets limits on the couplings for these photon-mediated interactions using non-relativistic contact operators in an effective field theory framework. Using data from the PICO-60 bubble chamber leading limits for dark matter masses between 2.7 GeV/c$^2$ and 24 GeV/c$^2$ are reported for the coupling of these photon-mediated dark matter-nucleus interactions. The detector was filled with 52 kg of C$_3$F$_8$ operating at thermodynamic thresholds of 2.45 keV and 3.29 keV, reaching exposures of 1404 kg-day and 1167 kg-day, respectively.


title: Maximal entanglement velocity implies dual unitarity

abstract: A global quantum quench can be modeled by a quantum circuit with local unitary gates. In general, entanglement grows linearly at a rate given by entanglement velocity, which is upper bounded by the growth of the light cone. We show that the unitary interactions achieving the maximal rate must remain unitary if we exchange the space and time directions -- a property known as dual unitarity. Our results are robust: approximate maximal entanglement velocity also implies approximate dual unitarity. We further show that maximal entanglement velocity is always accompanied by a specific dynamical pattern of entanglement, which yields simpler analyses of several known exactly solvable models.


title: Three-point intrinsic alignments of dark matter halos in the IllustrisTNG simulation

abstract: We use the IllustrisTNG suite of cosmological simulations to measure intrinsic alignment (IA) bispectra of dark matter subhalos between redshifts 0 and 1. We decompose the intrinsic shear field into E- and B-modes and find that the bispectra $B_{\delta\delta\mathrm{E}}$ and $B_{\delta\mathrm{EE}}$, between the matter overdensity field, $\delta$, and the E-mode field, are detected with high significance. We also model the IA bispectra analytically using a method consistent with the two-point non-linear alignment model. We use this model and the simulation measurements to infer the intrinsic alignment amplitude $A_\mathrm{IA}$ and find that values of $A_\mathrm{IA}$ obtained from IA power spectra and bispectra agree well at scales up to $k_\mathrm{max}= 2 \, h \mathrm{Mpc}^{-1}$, for example at $z=1$ $A_\mathrm{IA} = 2.13 \pm$ 0.02 from the cross power spectrum between the matter overdensity and E-mode fields and $A_\mathrm{IA} =2.11 \pm$ 0.03 from $B_{\delta\delta \mathrm{E}}$. This demonstrates that a single physically motivated model can jointly model two-point and three-point statistics of intrinsic alignments, thus enabling a cleaner separation between intrinsic alignments and cosmological weak lensing signals.


title: The distribution of Manin's iterated integrals of modular forms

abstract: We determine the asymptotic distribution of Manin's iterated integrals of length at most 2. For all lengths we compute all the asymptotic moments. We show that if the length is at least 3 these moments do in general not determine a unique distribution.


title: In Private, Secure, Conversational FinBots We Trust

abstract: In the past decade, the financial industry has experienced a technology revolution. While we witness a rapid introduction of conversational bots for financial services, there is a lack of understanding of conversational user interfaces (CUI) features in this domain. The finance industry also deals with highly sensitive information and monetary transactions, presenting a challenge for developers and financial providers. Through a study on how to design text-based conversational financial interfaces with N=410 participants, we outline user requirements of trustworthy CUI design for financial bots. We posit that, in the context of Finance, bot privacy and security assurances outweigh conversational capability and postulate implications of these findings. This work acts as a resource on how to design trustworthy FinBots and demonstrates how automated financial advisors can be transformed into trusted everyday devices, capable of supporting users' daily financial activities.


title: Metastates and Replica Symmetry Breaking

abstract: In this review we define and discuss metastates, mathematical tools with general applicability to thermodynamic systems which are particularly useful when working with disordered or inhomogeneous short-range systems. In an infinite such system there may be many competing thermodynamic states, which can lead to the absence of a straightforward thermodynamic limit of local correlation functions. A metastate is a probability measure on the infinite-volume thermodynamic states that restores the connection between those states and the Gibbs states observed in finite volumes. After introducing the basic metastates and discussing their properties, we present possible scenarios for the spin-glass phase and discuss what the metastate approach reveals about how replica symmetry breaking would manifest itself in finite-dimensional short-range spin glasses.

categories: cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: Constraining Energy-dependent emissivity profiles of AGN inflows

abstract: The emissivity of the accretion flow is a key parameter affecting the shape of both the energy and variability power spectrum of AGN. We explore the energy-dependence of the power spectrum for five AGN, across the XMM-Newton bandpass, and across the 0.01-1 mHz frequency range, finding a ubiquitous flattening of the power spectrum towards higher energies. We develop a framework to explore this behaviour and thereby extract the energy dependence of the emissivity assuming a simple disc-like geometry for the inflow. We find that the emissivity ranges from R^-2 at energies around the soft excess and increases to R^-4 or steeper above ~4-6 keV. We describe the changing emissivity index with a linear function in energy, finding the best-fitting slopes to vary between AGN. We attempt to correlate the slope of the linear function against key AGN parameters but, as yet, the sample size is too small to confirm hints of a correlation with Eddington ratio.


title: Probing Heavy Sterile Neutrinos at Ultrahigh Energy Neutrino Telescopes via the Dipole Portal

abstract: The question of how heavy a sterile neutrino can be probed in experiments leads us to investigate the Primakoff production of heavy sterile neutrinos up to PeV masses from ultrahigh-energy neutrinos via the magnetic dipole portal. Despite the suppression from the small magnetic moment, the transition is significantly enhanced by tiny $t$-channel momentum transfers, similar to the resonant production of pions and axions in an external electromagnetic field. Based on the current IceCube measurement of astrophysical neutrinos up to PeV energies, strong constraints can already be derived on the transition magnetic moments of sterile neutrinos up to TeV masses. Moreover, we investigate the sensitivity of future tau neutrino telescopes, which are designed for EeV cosmogenic neutrino detection. We find that sterile neutrino masses as large as $30~{\rm TeV}$ can be probed at tau neutrino telescopes such as GRAND, POEMMA, and Trinity.


title: Simulate Time-integrated Coarse-grained Molecular Dynamics with Multi-Scale Graph Networks

abstract: Molecular dynamics (MD) simulation is essential for various scientific domains but computationally expensive. Learning-based force fields have made significant progress in accelerating ab-initio MD simulation but are not fast enough for many real-world applications due to slow inference for large systems and small time steps (femtosecond-level). We aim to address these challenges by learning a multi-scale graph neural network that directly simulates coarse-grained MD with a very large time step (nanosecond-level) and a novel refinement module based on diffusion models to mitigate simulation instability. The effectiveness of our method is demonstrated in two complex systems: single-chain coarse-grained polymers and multi-component Li-ion polymer electrolytes. For evaluation, we simulate trajectories much longer than the training trajectories for systems with different chemical compositions that the model is not trained on. Structural and dynamical properties can be accurately recovered at several orders of magnitude higher speed than classical force fields by getting out of the femtosecond regime.


title: Provably Efficient Kernelized Q-Learning

abstract: We propose and analyze a kernelized version of Q-learning. Although a kernel space is typically infinite-dimensional, extensive study has shown that generalization is only affected by the effective dimension of the data. We incorporate such ideas into the Q-learning framework and derive regret bounds for arbitrary kernels. In particular, we provide concrete bounds for linear kernels and Gaussian RBF kernels; notably, the latter bound looks almost identical to the former, only that the actual dimension is replaced by a different notion of dimensionality. Finally, we test our algorithm on a suite of classic control tasks; remarkably, under the Gaussian RBF kernel, it achieves reasonably good performance after only 1000 environmental steps, while its neural network counterpart, deep Q-learning, still struggles.


title: Exclusive $Z^0$ production in $ep$ and $eA$ collisions at high energies

abstract: In this work the $k_{\perp}$-factorization formalism is applied to compute the exclusive $Z^0$ boson photoproduction in $ep$ and $eA$ collisions. The study is also extended to $pp$ and $AA$ processes. The nuclear effects are investigated considering heavy and light ions. Analytical models for the unintegrated gluon distribution are taken into account and the corresponding theoretical uncertainty is quantified. The analysis is done for electron-ion collisions at the Large Hadron-Electron Collider (LHeC), its high-energy upgrade (HE-LHeC) and at the Future Circular Collider (FCC) in lepton-hadron mode. Additionally, ultra-peripheral heavy ion collisions at future runs of the Large Hadron Collider (LHC) and at the FCC (hadron-hadron mode) are also considered.


title: A uniform bound for solutions to a thermo-diffusive system

abstract: We obtain uniform in time bounds for the solutions to a class of thermo-diffusive systems with classical and fractional diffusions. In the classical diffusion case, the nonlinearities are assumed to be at most exponentially growing, while for the fractional diffusions they should grow slightly sub-exponentially. The proofs are based on the strategy of Herrero, Lacey, and Velazquez.


title: Ramification and Discriminants of Vector Bundles and a Quick Proof of Bogomolov's Theorem

abstract: By analyzing degeneracy loci over projectivized vector bundles, we recompute the degree of the discriminant locus of a vector bundle and provide a new proof of the Bogomolov instability theorem.


title: Invariants and chaos in the Volterra gyrostat without energy conservation

abstract: The model of the Volterra gyrostat (VG) has not only played an important role in rigid body dynamics but also served as the foundation of low-order models of many naturally occurring systems. It is well known that VG possesses two invariants, or constants of motion, corresponding to kinetic energy and squared angular momentum, giving oscillatory solutions to its equations of motion. Nine distinct subclasses of the VG have been identified, two of which the Euler gyroscope and Lorenz gyrostat are each known to have two constants. This paper characterizes quadratic invariants of the VG and each of its subclasses, showing how these enjoy two invariants even when rendered in terms of a non-invertible transformation of parameters, leading to a transformed Volterra gyrostat (TVG). If the quadratic coefficients of the TVG sum to zero, as they do for the VG, the system conserves energy. In all of these cases, the flows preserve volume. However, physical models where the quadratic coefficients do not sum to zero are ubiquitous, and characterization of invariants and the resulting dynamics for this more general class of models with volume conservation but without energy conservation is lacking. This paper provides the first such characterization for each of the subclasses of the VG in the absence of energy conservation, showing how the number of invariants depends on the number of linear feedback terms. It is shown that the gyrostat with three linear feedback terms has no invariants. The number of invariants circumscribes the possible dynamics for these three-dimensional flows, and those without any invariants are shown to admit rich dynamics including chaos. This gives rise to a broad class of three-dimensional volume conserving chaotic flows, arising naturally from model reduction techniques.


title: A Constructive Proof that Many Groups with Non-Torsion 2-Cohomology are Not Matricially Stable

abstract: A discrete group is matricially stable if every function from the group to a complex unitary group that is "almost multiplicative" in the point-operator norm topology is "close" to a genuine unitary representation. It follows from a recent result due to Dadarlat that all amenable, groups with non-torsion integral 2-cohomology are not matricially stable, but the proof does not lead to explicit examples of asymptotic representations that are not perturbable to genuine representations. The purpose of this paper is to give an explicit formula, in terms of cohomological data, for asymptotic representations that are not perturbable to genuine representations for a class of groups that contains all finitely generated groups with a non-torsion 2-cohomology class that corresponds to a central extension where the middle group is residually finite. This class includes polycyclic groups with non-torsion 2-cohomology.


title: Symmetry-Breaking and Self-Sorting in Block Copolymer-based Multicomponent Nanocomposites

abstract: Co-assembly of inorganic nanoparticles (NPs) and nanostructured polymer matrix represents an intricate interplay of enthalpic or entropic forces. Particle size largely affects the phase behavior of the nanocomposite. Theoretical studies indicate that new morphologies would emerge when the particles become comparable to the soft matrix's size, but this has rarely been supported experimentally. By designing a multicomponent blend composed of NPs, block copolymer-based supramolecules, and small molecules, a 3-D ordered lattice beyond the native BCP's morphology was recently reported when the particle is larger than the microdomain of BCP. The blend can accommodate various formulation variables. In this contribution, when the particle size equals the microdomain size, a symmetry-broken phase appears in a narrow range of particle sizes and compositions, which we named the "train track" structure. In this phase, the NPs aligned into a 3-D hexagonal lattice and packed asymmetrically along the c axis, making the projection of the ac and the bc plane resemble train tracks. Computation studies show that the broken symmetry reduces the polymer chain deformation and stabilizes the metastable hexagonally perforated lamellar morphology. Given the mobility of the multicomponent blend, the system shows a self-sorting behavior: segregating into two macroscopic phases with different nanostructures based on only a few nanometers NP size differences. Smaller NPs form "train track" morphology, while larger NPs form "simple hexagon" structure, where the NPs take a symmetric hexagonal arrangement. Detailed structural evolution and simulation studies confirm the systematic-wide cooperativity across different components, indicating the strong self-regulation of the multicomponent system.


title: Interactive Segmentation and Visualization for Tiny Objects in Multi-megapixel Images

abstract: We introduce an interactive image segmentation and visualization framework for identifying, inspecting, and editing tiny objects (just a few pixels wide) in large multi-megapixel high-dynamic-range (HDR) images. Detecting cosmic rays (CRs) in astronomical observations is a cumbersome workflow that requires multiple tools, so we developed an interactive toolkit that unifies model inference, HDR image visualization, segmentation mask inspection and editing into a single graphical user interface. The feature set, initially designed for astronomical data, makes this work a useful research-supporting tool for human-in-the-loop tiny-object segmentation in scientific areas like biomedicine, materials science, remote sensing, etc., as well as computer vision. Our interface features mouse-controlled, synchronized, dual-window visualization of the image and the segmentation mask, a critical feature for locating tiny objects in multi-megapixel images. The browser-based tool can be readily hosted on the web to provide multi-user access and GPU acceleration for any device. The toolkit can also be used as a high-precision annotation tool, or adapted as the frontend for an interactive machine learning framework. Our open-source dataset, CR detection model, and visualization toolkit are available at https://github.com/cy-xu/cosmic-conn.


title: A Framework for Interactive Knowledge-Aided Machine Teaching

abstract: Machine Teaching (MT) is an interactive process where humans train a machine learning model by playing the role of a teacher. The process of designing an MT system involves decisions that can impact both efficiency of human teachers and performance of machine learners. Previous research has proposed and evaluated specific MT systems but there is limited discussion on a general framework for designing them. We propose a framework for designing MT systems and also detail a system for the text classification problem as a specific instance. Our framework focuses on three components i.e. teaching interface, machine learner, and knowledge base; and their relations describe how each component can benefit the others. Our preliminary experiments show how MT systems can reduce both human teaching time and machine learner error rate.


title: Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework

abstract: Creative Problem Solving (CPS) is a sub-area within Artificial Intelligence (AI) that focuses on methods for solving off-nominal, or anomalous problems in autonomous systems. Despite many advancements in planning and learning, resolving novel problems or adapting existing knowledge to a new context, especially in cases where the environment may change in unpredictable ways post deployment, remains a limiting factor in the safe and useful integration of intelligent systems. The emergence of increasingly autonomous systems dictates the necessity for AI agents to deal with environmental uncertainty through creativity. To stimulate further research in CPS, we present a definition and a framework of CPS, which we adopt to categorize existing AI methods in this field. Our framework consists of four main components of a CPS problem, namely, 1) problem formulation, 2) knowledge representation, 3) method of knowledge manipulation, and 4) method of evaluation. We conclude our survey with open research questions, and suggested directions for the future.


title: Boundary Adaptive Local Polynomial Conditional Density Estimators

abstract: We begin by introducing a class of conditional density estimators based on local polynomial techniques. The estimators are boundary adaptive and easy to implement. We then study the (pointwise and) uniform statistical properties of the estimators, offering characterizations of both probability concentration and distributional approximation. In particular, we establish uniform convergence rates in probability and valid Gaussian distributional approximations for the Studentized t-statistic process. We also discuss implementation issues such as consistent estimation of the covariance function for the Gaussian approximation, optimal integrated mean squared error bandwidth selection, and valid robust bias-corrected inference. We illustrate the applicability of our results by constructing valid confidence bands and hypothesis tests for both parametric specification and shape constraints, explicitly characterizing their approximation errors. A companion R software package implementing our main results is provided.


title: Decorate the Examples: A Simple Method of Prompt Design for Biomedical Relation Extraction

abstract: Relation extraction is a core problem for natural language processing in the biomedical domain. Recent research on relation extraction showed that prompt-based learning improves the performance on both fine-tuning on full training set and few-shot training. However, less effort has been made on domain-specific tasks where good prompt design can be even harder. In this paper, we investigate prompting for biomedical relation extraction, with experiments on the ChemProt dataset. We present a simple yet effective method to systematically generate comprehensive prompts that reformulate the relation extraction task as a cloze-test task under a simple prompt formulation. In particular, we experiment with different ranking scores for prompt selection. With BioMed-RoBERTa-base, our results show that prompting-based fine-tuning obtains gains by 14.21 F1 over its regular fine-tuning baseline, and 1.14 F1 over SciFive-Large, the current state-of-the-art on ChemProt. Besides, we find prompt-based learning requires fewer training examples to make reasonable predictions. The results demonstrate the potential of our methods in such a domain-specific relation extraction task.


title: On extremizing sequences for adjoint Fourier restriction to the sphere

abstract: In this article, we develop a linear profile decomposition for the $L^p \to L^q$ adjoint Fourier restriction operator associated to the sphere, valid for exponent pairs $p<q$ for which this operator is bounded. Such theorems are new when $p \neq 2$. We apply these methods to prove new results regarding the existence of extremizers and the behavior of extremizing sequences for the spherical extension operator. Namely, assuming boundedness, extremizers exist if $q>\max\{p,\tfrac{d+2}d p'\}$, or if $q=\tfrac{d+2}d p'$ and the operator norm exceeds a certain constant times the operator norm of the parabolic extension operator.


title: Human Preferences as Dueling Bandits

abstract: The dramatic improvements in core information retrieval tasks engendered by neural rankers create a need for novel evaluation methods. If every ranker returns highly relevant items in the top ranks, it becomes difficult to recognize meaningful differences between them and to build reusable test collections. Several recent papers explore pairwise preference judgments as an alternative to traditional graded relevance assessments. Rather than viewing items one at a time, assessors view items side-by-side and indicate the one that provides the better response to a query, allowing fine-grained distinctions. If we employ preference judgments to identify the probably best items for each query, we can measure rankers by their ability to place these items as high as possible. We frame the problem of finding best items as a dueling bandits problem. While many papers explore dueling bandits for online ranker evaluation via interleaving, they have not been considered as a framework for offline evaluation via human preference judgments. We review the literature for possible solutions. For human preference judgments, any usable algorithm must tolerate ties, since two items may appear nearly equal to assessors, and it must minimize the number of judgments required for any specific pair, since each such comparison requires an independent assessor. Since the theoretical guarantees provided by most algorithms depend on assumptions that are not satisfied by human preference judgments, we simulate selected algorithms on representative test cases to provide insight into their practical utility. Based on these simulations, one algorithm stands out for its potential. Our simulations suggest modifications to further improve its performance. Using the modified algorithm, we collect over 10,000 preference judgments for submissions to the TREC 2021 Deep Learning Track, confirming its suitability.


title: The Linear Span of Uniform Matrix Product States

abstract: The variety of uniform matrix product states arises both in algebraic geometry as a natural generalization of the Veronese variety, and in quantum many-body physics as a model for a translation-invariant system of sites placed on a ring. Using methods from linear algebra, representation theory, and invariant theory of matrices, we study the linear span of this variety.


title: Optimal Utility Design of Greedy Algorithms in Resource Allocation Games

abstract: Designing distributed algorithms for multi-agent problems is vital for many emerging application domains, and game-theoretic approaches are emerging as a useful paradigm to design such algorithms. However, much of the emphasis of the game-theoretic approach is on the study of equilibrium behavior, whereas transient behavior is often less explored. Therefore, in this paper we study the transient efficiency guarantees of best response processes in the context of resource-allocation games, which are used to model a variety of engineering applications. Specifically, the main focus of the paper is on designing utility functions of agents to induce optimal short-term system-level behavior under a best-response process. Interestingly, the resulting transient performance guarantees are relatively close to the optimal asymptotic performance guarantees. Furthermore, we characterize a trade-off that results when optimizing for both asymptotic and transient efficiency through various utility designs.


title: Towards an Enhanced Understanding of Bias in Pre-trained Neural Language Models: A Survey with Special Emphasis on Affective Bias

abstract: The remarkable progress in Natural Language Processing (NLP) brought about by deep learning, particularly with the recent advent of large pre-trained neural language models, is brought into scrutiny as several studies began to discuss and report potential biases in NLP applications. Bias in NLP is found to originate from latent historical biases encoded by humans into textual data which gets perpetuated or even amplified by NLP algorithm. We present a survey to comprehend bias in large pre-trained language models, analyze the stages at which they occur in these models, and various ways in which these biases could be quantified and mitigated. Considering wide applicability of textual affective computing based downstream tasks in real-world systems such as business, healthcare, education, etc., we give a special emphasis on investigating bias in the context of affect (emotion) i.e., Affective Bias, in large pre-trained language models. We present a summary of various bias evaluation corpora that help to aid future research and discuss challenges in the research on bias in pre-trained language models. We believe that our attempt to draw a comprehensive view of bias in pre-trained language models, and especially the exploration of affective bias will be highly beneficial to researchers interested in this evolving field.


title: Flops of any length, Gopakumar-Vafa invariants, and 5d Higgs Branches

abstract: The conifold is a basic example of a noncompact Calabi-Yau threefold that admits a simple flop, and in M-theory, gives rise to a 5d hypermultiplet at low energies, realized by an M2-brane wrapped on the vanishing sphere. We develop a novel gauge-theoretic method to construct new classes of examples that generalize the simple flop to so-called length l=1,...,6. The method allows us to naturally read off the Gopakumar-Vafa invariants. Although they share similar properties to the beloved conifold, these threefolds are expected to admit M2-bound states of higher degree. We demonstrate this through our computations of the GV invariants. Furthermore we fully characterize the associated Higgs branches by computing their dimensions and flavor groups. With our techniques we extract more refined data such as the charges of the hypers under the flavor group.


title: A Note on the Gibbsian Representation of the Gradient of a Vector Field

abstract: In this note, we provide a important considerations of a familiar topic: the gradient of a vector field. The gradient of a vector field is a common quantity represented in continuum mechanics. However, even for Cartesian coordinate systems, there are two different representations for this quantity in common use, which leads to ambiguity in some results. We review the history leading to the \emph{Gibbsian representation} for the gradient of a vector field, and provide some suggestions to help clarify the meaning of such terms when represented in conventional Gibbsian vector or tensor notation. In an appendix, we briefly expand on the connection with the Gibbsian representation of the deformation and rotation tensors in the framework of geometric algebra (GA).


title: Thermodynamic speed limits for mechanical work

abstract: Thermodynamic speed limits are a set of classical uncertainty relations that, so far, place global bounds on the stochastic dissipation of energy as heat and the production of entropy. Here, instead of constraints on these thermodynamic costs, we derive integral speed limits that are upper and lower bounds on a thermodynamic benefit -- the minimum time for an amount of mechanical work to be done on or by a system. In the short time limit, we show how this extrinsic timescale relates to an intrinsic timescale for work, recovering the intrinsic timescales in differential speed limits from these integral speed limits and turning the first law of stochastic thermodynamics into a first law of speeds. As physical examples, we consider the work done by a flashing Brownian ratchet and the work done on a particle in a potential well subject to external driving.


title: Local mathematics and scaling field: effects on local physics and on cosmology

abstract: The origin of this paper starts with the observation by Yang Mills that what state represents a proton in isospin space at one location does not determine what state represents a proton in isospin space at another location. This is accounted for by the presence of a unitary gauge transformation operator, $U(y,x)$, between vector spaces at different locations. This operator defines the notion of same states for vector spaces at different locations. If $\psi$ is a state in a vector space at $x$ then $U(y,x)\psi$ is the same state in the vector space at $y$. Vector spaces include scalar fields in their axiomatic description. These appear as norms, closure under vector scalar multiplication, etc. This leads to a conflict: local vector spaces and global scalar fields. Here this conflict is removed by replacing global scalar fields with local scalar fields. These are represented by $\bar{S}_{x}$ where $x$ is any location in Euclidean space or space time. Here $S$ represents the different type of numbers, (natural, integers, rational, real, and complex). The association of scalar fields with vector spaces and the Yang Mills observation raises the question, What corresponds to the Yang Mills observation for numbers? The answer is that two different concepts, number and number meaning or value, are conflated in the usual use of mathematics. These two concepts are distinct.


title: Passport: Improving Automated Formal Verification Using Identifiers

abstract: Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive. Tools that automate formal verification, by learning from proof corpora to suggest proofs, have just begun to show their promise. These tools are effective because of the richness of the data the proof corpora contain. This richness comes from the stylistic conventions followed by communities of proof developers, together with the logical systems beneath proof assistants. However, this richness remains underexploited, with most work thus far focusing on architecture rather than making the most of the proof data. In this paper, we develop Passport, a fully-automated proof-synthesis tool that systematically explores how to most effectively exploit one aspect of that proof data: identifiers. Passport enriches a predictive Coq model with three new encoding mechanisms for identifiers: category vocabulary indexing, subword sequence modeling, and path elaboration. We compare Passport to three existing base tools which Passport can enhance: ASTactic, Tac, and Tok. In head-to-head comparisons, Passport automatically proves 29% more theorems than the best-performing of these base tools. Combining the three Passport-enhanced tools automatically proves 38% more theorems than the three base tools together, without Passport's enhancements. Finally, together, these base tools and Passport-enhanced tools prove 45% more theorems than the combined base tools without Passport's enhancements. Overall, our findings suggest that modeling identifiers can play a significant role in improving proof synthesis, leading to higher-quality software.