title: High Resolution Study of Planetesimal Formation by Gravitational Collapse of Pebble Clouds

abstract: Planetary embryos are built through the collisional growth of 10-100 km sized objects called planetesimals, a formerly large population of objects, of which asteroids, comets and Kuiper-Belt objects represent the leftovers from planet formation in our solar system. Here, we follow the paradigm that turbulence created over-dense pebble clouds, which then collapse under their own self-gravity. We use the multi-physics code GIZMO to model the pebble cloud density as a continuum, with a polytropic equation of state to account for collisional interactions and capturing the phase transition to a quasi-incompressible solid object, i.e. a planetesimal in hydrostatic equilibrium. Thus we study cloud collapse effectively at the resolution of the forming planetesimals, allowing us to derive an initial mass function for planetesimals in relation to the total pebble mass of the collapsing cloud. The redistribution of angular momentum in the collapsing pebble cloud is the main mechanism leading to multiple fragmentation. The angular momentum of the pebble cloud and thus the centrifugal radius increases with distance to the sun, but the solid size of the forming planetesimals is constant. Therefore we find that with increasing distance to the sun, the number of forming planetesimals per pebble cloud increases. For all distances the formation of binaries occurs within higher hierarchical systems. The size distribution is top heavy and can be described with a Gaussian distribution of planetesimal mass. For the asteroid belt, we can infer a most likely size of 125 km, all stemming from pebble clouds of equivalent size 152 km.


title: Make-A-Story: Visual Memory Conditioned Consistent Story Generation

abstract: There has been a recent explosion of impressive generative models that can produce high quality images (or videos) conditioned on text descriptions. However, all such approaches rely on conditional sentences that contain unambiguous descriptions of scenes and main actors in them. Therefore employing such models for more complex task of story visualization, where naturally references and co-references exist, and one requires to reason about when to maintain consistency of actors and backgrounds across frames/scenes, and when not to, based on story progression, remains a challenge. In this work, we address the aforementioned challenges and propose a novel autoregressive diffusion-based framework with a visual memory module that implicitly captures the actor and background context across the generated frames. Sentence-conditioned soft attention over the memories enables effective reference resolution and learns to maintain scene and actor consistency when needed. To validate the effectiveness of our approach, we extend the MUGEN dataset and introduce additional characters, backgrounds and referencing in multi-sentence storylines. Our experiments for story generation on the MUGEN, the PororoSV and the FlintstonesSV dataset show that our method not only outperforms prior state-of-the-art in generating frames with high visual quality, which are consistent with the story, but also models appropriate correspondences between the characters and the background.


title: The growth of intermediate mass black holes through tidal captures and tidal disruption events

abstract: We present $N\mathrm{-body} $ simulations, including post-Newtonian dynamics, of dense clusters of low-mass stars harbouring central black holes (BHs) with initial masses of 50, 300, and 2000 $\mathrm{M_{\odot}}$. The models are evolved with the $N\mathrm{-body} $ code \textsc{bifrost} to investigate the possible formation and growth of massive BHs by the tidal capture of stars and tidal disruption events (TDEs). We model star-BH tidal interactions using a velocity-dependent drag force, which causes orbital energy and angular momentum loss near the BH. About $\sim 20-30$ per cent of the stars within the spheres of influence of the black holes form Bahcall-Wolf cusps and prevent the systems from core collapse. Within the first 40 Myr of evolution, the systems experience 500 up to 1300 TDEs, depending on the initial cluster structure. Most ($> 95$ per cent) of the TDEs originate from stars in the Bahcall-Wolf cusp. We derive an analytical formula for the TDE rate as a function of the central BH mass, density and velocity dispersion of the clusters ($\dot{N}_{\mathrm{TDE}} \propto M\mathrm{_{BH}} \rho \sigma^{-3}$). We find that TDEs can lead a 300 $\mathrm{M_{\odot}}$ BH to reach $\sim 7000 \mathrm{M_{\odot}}$ within a Gyr. This indicates that TDEs can drive the formation and growth of massive BHs in sufficiently dense environments, which might be present in the central regions of nuclear star clusters.


title: Electronic structure, magnetic properties, spin orientation, and doping effect in Mn$_3$Si$_2$Te$_6$

abstract: The layered material Mn$_3$Si$_2$Te$_6$, with alternating stacking honeycomb and triangular layers, is attracting considerable attention due to its rich physical properties. Here, using density functional theory and classical Monte Carlo (MC) methods, we systematically study this system. Near the Fermi level, the states are mainly contributed by Te $5p$ orbitals hybridized with Mn $3d$ orbitals, resembling a charge transfer system. Furthermore, the spin orientations of the ferrimagnetic (FiM) ground state display different conductive behaviors when along the $ab$ plane or out-of-plane directions: insulating vs. metallic states. The energy difference between the FiM [110] insulating and FiM [001] metallic phases is very small($ \sim 0.71$ meV/Mn). Changing the angle $\theta$ of spin orientation from in-plane to out-of-plane directions, the band gaps of this system are gradually reduced, leading to an insulator-metal transition, resulting in an enhanced electrical conductivity, related to the colossal angular magnetoresistance (MR) effect. In addition, we also constructed the magnetic phase diagram using the classical $XY$ spin model studied with the MC method. Three magnetic phases were obtained including antiferromagnetic order, noncollinear spin patterns, and FiM order. Moreover, we also investigated the Se- and Ge- doping into the Mn$_3$Si$_2$Te$_6$ system: the FiM state has the lowest energy among the magnetic candidates for both Se- or Ge- doped cases. The magnetic anisotropy energy (MAE) decreases in the Se-doped case because the Mn orbital moment is reduced as the doping $x$ increases. Due to the small spin-orbital coupling effect of Se, the insulator-metal transition caused by the spin orientation disappears in the Se-doped case, resulting in an insulating phase in the FiM [001] phase. This causes a reduced colossal angular MR.


title: Group SELFIES: A Robust Fragment-Based Molecular String Representation

abstract: We introduce Group SELFIES, a molecular string representation that leverages group tokens to represent functional groups or entire substructures while maintaining chemical robustness guarantees. Molecular string representations, such as SMILES and SELFIES, serve as the basis for molecular generation and optimization in chemical language models, deep generative models, and evolutionary methods. While SMILES and SELFIES leverage atomic representations, Group SELFIES builds on top of the chemical robustness guarantees of SELFIES by enabling group tokens, thereby creating additional flexibility to the representation. Moreover, the group tokens in Group SELFIES can take advantage of inductive biases of molecular fragments that capture meaningful chemical motifs. The advantages of capturing chemical motifs and flexibility are demonstrated in our experiments, which show that Group SELFIES improves distribution learning of common molecular datasets. Further experiments also show that random sampling of Group SELFIES strings improves the quality of generated molecules compared to regular SELFIES strings. Our open-source implementation of Group SELFIES is available online, which we hope will aid future research in molecular generation and optimization.


title: A detector system for 'absolute' measurements of fission cross sections at n_TOF in the energy range below 200 MeV

abstract: A new measurement of the $^{235}$U(n,f) cross section was performed at the neutron time-of-flight facility n_TOF at CERN. The experiment focused on neutron energies from 20 MeV to several hundred MeV, and was normalized to neutron scattering on hydrogen. This is a measurement first of its kind at this facility, in an energy range that was until now not often explored, so the detector development phase was crucial for its success. Two detectors are presented, a parallel plate fission chamber (PPFC) and a recoil proton telescope (RPT), both dedicated to perform measurements in the incident neutron energy range from 30 MeV to 200 MeV. The experiment was designed to minimize statistical uncertainties in the allocated run time. Several efforts were made to ensure that the systematic effects were understood and under control. The results show that the detectors are suited for measurements at n_TOF above 30 MeV, and indicate the path for possible future lines of development.


title: HAAC: A Hardware-Software Co-Design to Accelerate Garbled Circuits

abstract: Privacy and security have rapidly emerged as priorities in system design. One powerful solution for providing both is privacy-preserving computation, where functions are computed directly on encrypted data and control can be provided over how data is used. Garbled circuits (GCs) are a PPC technology that provide both confidential computing and control over how data is used. The challenge is that they incur significant performance overheads compared to plaintext. This paper proposes a novel garbled circuits accelerator and compiler, named HAAC, to mitigate performance overheads and make privacy-preserving computation more practical. HAAC is a hardware-software co-design. GCs are exemplars of co-design as programs are completely known at compile time, i.e., all dependence, memory accesses, and control flow are fixed. The design philosophy of HAAC is to keep hardware simple and efficient, maximizing area devoted to our proposed custom execution units and other circuits essential for high performance (e.g., on-chip storage). The compiler can leverage its program understanding to realize hardware's performance potential by generating effective instruction schedules, data layouts, and orchestrating off-chip events. In taking this approach we can achieve ASIC performance/efficiency without sacrificing generality. Insights of our approach include how co-design enables expressing arbitrary GCs programs as streams, which simplifies hardware and enables complete memory-compute decoupling, and the development of a scratchpad that captures data reuse by tracking program execution, eliminating the need for costly hardware managed caches and tagging logic. We evaluate HAAC with VIP-Bench and achieve an average speedup of 589$\times$ with DDR4 (2,627$\times$ with HBM2) in 4.3mm$^2$ of area.


title: Quantum theories with local information flow

abstract: Bell non-locality is a term that applies to specific modifications and interpretations of quantum mechanics. Yet, Bell's original 1964 theorem is often used to assert that unmodified quantum mechanics itself is non-local and that local realist interpretations are untenable. Motivated by Bell's original inequality, we identify four viable categories of quantum theories: local quantum mechanics, superdeterminism, non-local collapse quantum mechanics, and non-local hidden variable theories. These categories, however, are not restricted by Bell's definition of locality. In light of currently available no-go theorems, local and deterministic descriptions seem to have been overlooked, and one possible reason for that could be the conflation between Bell-locality and a broader principle of locality. We present examples of theories where a local flow of quantum information is possible, and assess whether current experimental proposals and an improved philosophy of science can contrast interpretations and distinguish between them.


title: Girth Alternative for HNN Extensions

abstract: We prove the Girth Alternative for a sub-class of the HNN extensions of finitely generated groups. We also produce counterexamples to show that beyond our class, the alternative fails in general.


title: A Report on the Euphemisms Detection Shared Task

abstract: This paper presents The Shared Task on Euphemism Detection for the Third Workshop on Figurative Language Processing (FigLang 2022) held in conjunction with EMNLP 2022. Participants were invited to investigate the euphemism detection task: given input text, identify whether it contains a euphemism. The input data is a corpus of sentences containing potentially euphemistic terms (PETs) collected from the GloWbE corpus (Davies and Fuchs, 2015), and are human-annotated as containing either a euphemistic or literal usage of a PET. In this paper, we present the results and analyze the common themes, methods and findings of the participating teams


title: Search Behavior Prediction: A Hypergraph Perspective

abstract: Although the bipartite shopping graphs are straightforward to model search behavior, they suffer from two challenges: 1) The majority of items are sporadically searched and hence have noisy/sparse query associations, leading to a \textit{long-tail} distribution. 2) Infrequent queries are more likely to link to popular items, leading to another hurdle known as \textit{disassortative mixing}. To address these two challenges, we go beyond the bipartite graph to take a hypergraph perspective, introducing a new paradigm that leverages \underline{auxiliary} information from anonymized customer engagement sessions to assist the \underline{main task} of query-item link prediction. This auxiliary information is available at web scale in the form of search logs. We treat all items appearing in the same customer session as a single hyperedge. The hypothesis is that items in a customer session are unified by a common shopping interest. With these hyperedges, we augment the original bipartite graph into a new \textit{hypergraph}. We develop a \textit{\textbf{D}ual-\textbf{C}hannel \textbf{A}ttention-Based \textbf{H}ypergraph Neural Network} (\textbf{DCAH}), which synergizes information from two potentially noisy sources (original query-item edges and item-item hyperedges). In this way, items on the tail are better connected due to the extra hyperedges, thereby enhancing their link prediction performance. We further integrate DCAH with self-supervised graph pre-training and/or DropEdge training, both of which effectively alleviate disassortative mixing. Extensive experiments on three proprietary E-Commerce datasets show that DCAH yields significant improvements of up to \textbf{24.6\% in mean reciprocal rank (MRR)} and \textbf{48.3\% in recall} compared to GNN-based baselines. Our source code is available at \url{https://github.com/amazon-science/dual-channel-hypergraph-neural-network}.


title: Extent of Safety Database in Pediatric Drug Development: Types of Assessment, Analytical Precision, and Pathway for Extrapolation through On-Target Effects

abstract: Pediatric patients should have access to medicines that have been appropriately evaluated for safety and efficacy. Given this goal of revised labelling, the adequacy of the pediatric clinical development plan and resulting safety database must inform a favorable benefit-risk assessment for the intended use of the medicinal product. While extrapolation from adults can be used to support efficacy of drugs in children, there may be a reluctance to use the same approach in safety assessments, wiping out potential gains in trial efficiency through a reduction of sample size. To address this reluctance, we explore safety review in pediatric trials, including factors affecting these data, specific types of safety assessments, and precision on the estimation of event rates for specific adverse events (AEs) that can be achieved. In addition, we discuss the assessments which can provide a benchmark for the use of extrapolation of safety that focuses on on-target effects. Finally, we explore a unified approach for understanding precision using Bayesian approaches as the most appropriate methodology to describe/ascertain risk in probabilistic terms for the estimate of the event rate of specific AEs.


title: Information encoding in the spatial correlations of entangled twin beams

abstract: The ability to use the temporal and spatial degrees of freedom of quantum states of light to encode and transmit information is crucial for the implementation of a robust and efficient quantum network. In particular, the large dimensionality of the spatial degree of freedom promises to provide significant enhancements; however, such promise has largely been unfulfilled as the necessary level of control over the spatial degree of freedom to encode information remains elusive. Here, we show that information can be encoded in the distribution of the spatial correlations of highly multi-spatial mode entangled bright twin beams. We take advantage of the dependence of the spatial correlations on the angular spectrum of the pump required for four-wave mixing, as dictated by phase matching. The encoded information can be extracted by mapping the momenta distribution of the twin beams to a position distribution in the far field and measuring the spatial cross-correlation of images acquired with a high quantum efficiency electron multiplying charge coupled device. We further show that the encoded information cannot be accessed through individual beam measurements and that the temporal quantum correlations are not modified. We anticipate that the ability to engineer the distribution of the spatial correlations will serve as a novel degree of freedom to encode information and hence provide a pathway for high capacity quantum information channels and networks. In addition, a high degree of control over the spatial properties of quantum states of light will enable real-world quantum-enhanced spatially resolved sensing and imaging applications.


title: Using Focal Loss to Fight Shallow Heuristics: An Empirical Analysis of Modulated Cross-Entropy in Natural Language Inference

abstract: There is no such thing as a perfect dataset. In some datasets, deep neural networks discover underlying heuristics that allow them to take shortcuts in the learning process, resulting in poor generalization capability. Instead of using standard cross-entropy, we explore whether a modulated version of cross-entropy called focal loss can constrain the model so as not to use heuristics and improve generalization performance. Our experiments in natural language inference show that focal loss has a regularizing impact on the learning process, increasing accuracy on out-of-distribution data, but slightly decreasing performance on in-distribution data. Despite the improved out-of-distribution performance, we demonstrate the shortcomings of focal loss and its inferiority in comparison to the performance of methods such as unbiased focal loss and self-debiasing ensembles.


title: Learning Compact Features via In-Training Representation Alignment

abstract: Deep neural networks (DNNs) for supervised learning can be viewed as a pipeline of the feature extractor (i.e., last hidden layer) and a linear classifier (i.e., output layer) that are trained jointly with stochastic gradient descent (SGD) on the loss function (e.g., cross-entropy). In each epoch, the true gradient of the loss function is estimated using a mini-batch sampled from the training set and model parameters are then updated with the mini-batch gradients. Although the latter provides an unbiased estimation of the former, they are subject to substantial variances derived from the size and number of sampled mini-batches, leading to noisy and jumpy updates. To stabilize such undesirable variance in estimating the true gradients, we propose In-Training Representation Alignment (ITRA) that explicitly aligns feature distributions of two different mini-batches with a matching loss in the SGD training process. We also provide a rigorous analysis of the desirable effects of the matching loss on feature representation learning: (1) extracting compact feature representation; (2) reducing over-adaption on mini-batches via an adaptive weighting mechanism; and (3) accommodating to multi-modalities. Finally, we conduct large-scale experiments on both image and text classifications to demonstrate its superior performance to the strong baselines.


title: Learning to Rasterize Differentiable

abstract: Differentiable rasterization changes the common formulation of primitive rasterization -- which has zero gradients almost everywhere, due to discontinuous edges and occlusion -- to an alternative one, which is not subject to this limitation and has similar optima. These alternative versions in general are ''soft'' versions of the original one. Unfortunately, it is not clear, what exact way of softening will provide the best performance in terms of converging the most reliability to a desired goal. Previous work has analyzed and compared several combinations of softening. In this work, we take it a step further and, instead of making a combinatorical choice of softening operations, parametrize the continuous space of all softening operations. We study meta-learning a parametric S-shape curve as well as an MLP over a set of inverse rendering tasks, so that it generalizes to new and unseen differentiable rendering tasks with optimal softness.


title: Two lensed star candidates at $z\simeq4.8$ behind the galaxy cluster MACS J0647.7+7015

abstract: We report the discovery of two extremely magnified lensed star candidates behind the galaxy cluster MACS J0647.7+7015, in recent multi-band James Webb Space Telescope (JWST) NIRCam observations. The candidates are seen in a previously known, $z_{phot}\simeq4.8$ dropout giant arc that straddles the critical curve. The candidates lie near the expected critical curve position but lack clear counter images on the other side of it, suggesting these are possibly stars undergoing caustic crossings. We present revised lensing models for the cluster, including multiply imaged galaxies newly identified in the JWST data, and use them to estimate a background macro-magnification of at least $\gtrsim90$ and $\gtrsim50$ at the positions of the two candidates, respectively. With these values, we expect effective, caustic-crossing magnifications of $10^4-10^5$ for the two star candidates. The Spectral Energy Distributions (SEDs) of the two candidates match well spectra of B-type stars with best-fit surface temperatures of $\sim10,000$ K, and $\sim12,000$ K, respectively, and we show that such stars with masses $\gtrsim20$ M$_{\odot}$ and $\gtrsim50$ M$_{\odot}$, respectively, can become sufficiently magnified to be observed. We briefly discuss other alternative explanations and conclude these are likely lensed stars, but also acknowledge that the less magnified candidate may instead be or reside in a star cluster. These star candidates constitute the second highest-redshift examples to date after Earendel at $z_{phot}\simeq6.2$, establishing further the potential of studying extremely magnified stars to high redshifts with the JWST. Planned visits including NIRSpec observations will enable a more detailed view of the candidates already in the near future.


title: Ping-Pong Swaps

abstract: We propose Ping-Pong Swaps: A secure pure peer-to-peer crosschain swap mechanism of tokens or cryptocurrencies that does not require escrow nor an intermediate trusted third party. The only technical requirement is to be able to open unidirectional payment channels in both blockchain protocols. This allows anonymous cryptocurrency trading without the need of a centralized exchange, nor DEX's in DeFi platforms, nor multisignature escrow systems with penalties. Direct peer-to-peer crosschain swaps can be performed without a bridge platform. This enables the creation of non-custodial exchanges and also a global peer-to-peer market of pairs of tokens or cryptocurrencies. Ping-pong swaps with fiat currency is possible if banks incorporate simple payment channel functionalities. Some immediate applications are simple and fast rebalancing of Lightning Network channels, and wrapping tokens in smartchains.


title: Stackelberg Meta-Learning for Strategic Guidance in Multi-Robot Trajectory Planning

abstract: Trajectory guidance requires a leader robotic agent to assist a follower robotic agent to cooperatively reach the target destination. However, planning cooperation becomes difficult when the leader serves a family of different followers and has incomplete information about the followers. There is a need for learning and fast adaptation of different cooperation plans. We develop a Stackelberg meta-learning approach to address this challenge. We first formulate the guided trajectory planning problem as a dynamic Stackelberg game to capture the leader-follower interactions. Then, we leverage meta-learning to develop cooperative strategies for different followers. The leader learns a meta-best-response model from a prescribed set of followers. When a specific follower initiates a guidance query, the leader quickly adapts to the follower-specific model with a small amount of learning data and uses it to perform trajectory guidance. We use simulations to elaborate that our method provides a better generalization and adaptation performance on learning followers' behavior than other learning approaches. The value and the effectiveness of guidance are also demonstrated by the comparison with zero guidance scenarios.


title: Multi-Environment Pretraining Enables Transfer to Action Limited Datasets

abstract: Using massive datasets to train large-scale models has emerged as a dominant approach for broad generalization in natural language and vision applications. In reinforcement learning, however, a key challenge is that available data of sequential decision making is often not annotated with actions - for example, videos of game-play are much more available than sequences of frames paired with their logged game controls. We propose to circumvent this challenge by combining large but sparsely-annotated datasets from a \emph{target} environment of interest with fully-annotated datasets from various other \emph{source} environments. Our method, Action Limited PreTraining (ALPT), leverages the generalization capabilities of inverse dynamics modelling (IDM) to label missing action data in the target environment. We show that utilizing even one additional environment dataset of labelled data during IDM pretraining gives rise to substantial improvements in generating action labels for unannotated sequences. We evaluate our method on benchmark game-playing environments and show that we can significantly improve game performance and generalization capability compared to other approaches, using annotated datasets equivalent to only $12$ minutes of gameplay. Highlighting the power of IDM, we show that these benefits remain even when target and source environments share no common actions.


title: Simulating Superconducting Properties of Overdoped Cuprates: the Role of Inhomogeneity

abstract: Theoretical studies of disordered $d$-wave superconductors have focused, with a few exceptions, on optimally doped models with strong scatterers. Addressing recent controversies about the nature of the overdoped cuprates, however, requires studies of the weaker scattering associated with dopant atoms. Here we study simple models of such systems in the self-consistent Bogoliubov-de Gennes (BdG) framework, and compare to disorder-averaged results using the self-consistent-T-matrix-approximation (SCTMA). Despite surprisingly linear in energy behavior of the low-energy density of states even for quite disordered systems, the superfluid density in such cases retains a quadratic low-temperature variation of the penetration depth, unlike other BdG results reported recently. We trace the discrepancy to smaller effective system size employed in that work. Overall, the SCTMA performs remarkably well, with the exception of highly disordered systems with strongly suppressed superfluid density. We explore this interesting region where gap inhomogeneity dominates measured superconducting properties, and compare with overdoped cuprates.


title: Robustness Analysis of Deep Learning Models for Population Synthesis

abstract: Deep generative models have become useful for synthetic data generation, particularly population synthesis. The models implicitly learn the probability distribution of a dataset and can draw samples from a distribution. Several models have been proposed, but their performance is only tested on a single cross-sectional sample. The implementation of population synthesis on single datasets is seen as a drawback that needs further studies to explore the robustness of the models on multiple datasets. While comparing with the real data can increase trust and interpretability of the models, techniques to evaluate deep generative models' robustness for population synthesis remain underexplored. In this study, we present bootstrap confidence interval for the deep generative models, an approach that computes efficient confidence intervals for mean errors predictions to evaluate the robustness of the models to multiple datasets. Specifically, we adopt the tabular-based Composite Travel Generative Adversarial Network (CTGAN) and Variational Autoencoder (VAE), to estimate the distribution of the population, by generating agents that have tabular data using several samples over time from the same study area. The models are implemented on multiple travel diaries of Montreal Origin- Destination Survey of 2008, 2013, and 2018 and compare the predictive performance under varying sample sizes from multiple surveys. Results show that the predictive errors of CTGAN have narrower confidence intervals indicating its robustness to multiple datasets of the varying sample sizes when compared to VAE. Again, the evaluation of model robustness against varying sample size shows a minimal decrease in model performance with decrease in sample size. This study directly supports agent-based modelling by enabling finer synthetic generation of populations in a reliable environment.


title: Quadristor: a novel device for superconducting electronics

abstract: We designed and experimentally demonstrated a four-terminal superconducting device which can function as a non-latching (reversible) superconducting switch from the diode regime to the resistive state by applying a control current much smaller than the main transport current. The device utilizes a vortex-based superconducting diode mechanism which is switched back and forth via the injection of flux quanta through auxiliary current leads. Various applications in superconducting electronics can be foreseen.


title: Unicyclic graphs and the inertia of the distance squared matrix

abstract: A result of Bapat and Sivasubramanian gives the inertia of the distance squared matrix of a tree. We develop general tools on how pendant vertices and degree 2 vertices affect the inertia of the distance squared matrix and use these to give an alternative proof of this result. We further use these tools to extend this result to certain families of unicyclic graphs, and we explore how far these results can be extended.


title: Properties of condensed matter from fundamental physical constants

abstract: Fundamental physical constants play a profound role in physics. For example, they govern nuclear reactions, formation of stars, nuclear synthesis and stability of biologically vital elements. These are high-energy processes discussed in particle physics, astronomy and cosmology. More recently, it was realised that fundamental physical constants extend their governing reach to low-energy processes and properties operating in condensed matter systems, often in an unexpected way. These properties are those we experience daily and can routinely measure, including viscosity, thermal conductivity, elasticity and sound. Here, we review this work. We start with the lower bound on liquid viscosity, its origin and show how to relate the bound to fundamental physical constants. The lower bound of kinematic viscosity represents the global minimum on the phase diagram. We show how this result answers the long-standing question considered by Purcell and Weisskopf, namely why viscosity never falls below a certain value. An accompanying insight is that water viscosity and water-based life are well attuned to fundamental constants, adding another higher-level layer to the anthropic principle. We then discuss viscosity minima in liquid He above and below the $\lambda$-point. We subsequently consider a very different property, thermal diffusivity, and show that it has the same minimum fixed by fundamental physical constants as viscosity. We also discuss bounds related to elastic properties, elastic moduli and their analogues in low-dimensional systems, and show how these bounds are related to the upper bound for the speed of sound. We conclude with listing ways in which the discussion of fundamental constants and bounds advance physical theories.


title: Supervised Hypergraph Reconstruction

abstract: We study an issue commonly seen with graph data analysis: many real-world complex systems involving high-order interactions are best encoded by hypergraphs; however, their datasets often end up being published or studied only in the form of their projections (with dyadic edges). To understand this issue, we first establish a theoretical framework to characterize this issue's implications and worst-case scenarios. The analysis motivates our formulation of the new task, supervised hypergraph reconstruction: reconstructing a real-world hypergraph from its projected graph, with the help of some existing knowledge of the application domain. To reconstruct hypergraph data, we start by analyzing hyperedge distributions in the projection, based on which we create a framework containing two modules: (1) to handle the enormous search space of potential hyperedges, we design a sampling strategy with efficacy guarantees that significantly narrows the space to a smaller set of candidates; (2) to identify hyperedges from the candidates, we further design a hyperedge classifier in two well-working variants that capture structural features in the projection. Extensive experiments validate our claims, approach, and extensions. Remarkably, our approach outperforms all baselines by an order of magnitude in accuracy on hard datasets. Our code and data can be downloaded from bit.ly/SHyRe.


title: Solubility of water in peridotite liquids and the prevalence of steam atmospheres on rocky planets

abstract: Atmospheres are products of time-integrated mass exchange between the surface of a planet and its interior. On Earth and other planetary bodies, magma oceans likely marked significant atmosphere-forming events, during which both steam- and carbon-rich atmospheres may have been generated. However, the nature of Earth's early atmosphere, and those around other rocky planets, remains unclear for lack of constraints on the solubility of water in liquids of appropriate composition. Here we determine water solubility in 14 peridotite liquids, representative of Earth's mantle, synthesised in a laser-heated aerodynamic levitation furnace. We explore oxygen fugacities (fO$_2$) between -1.9 and +6.0 log units relative to the iron-w\"ustite buffer at constant temperature (2173$\pm$50 K) and total pressure (1 bar). The resulting fH$_2$O ranged from 0 to 0.027 bar and fH$_2$ from 0 to 0.064 bar. Total H$_2$O contents were determined by transmission FTIR spectroscopy from the absorption band at 3550cm$^{-1}$ and applying the Beer-Lambert law. The mole fraction of water in the liquid is $\propto$ (fH$_2$O)$^{0.5}$, attesting to its dissolution as OH. The data are fit by a solubility coefficient of 524$\pm$16 ppmw/bar$^{0.5}$, for a molar absorption coefficient, $\epsilon_{3550}$, of 6.3$\pm$0.3 m$^2$/mol in basaltic glasses or 647$\pm$25 ppmw/bar$^{0.5}$, with $\epsilon_{3550}$ = 5.1$\pm$0.3m$^2$/mol for peridotitic glasses. These solubility constants are 10-25 % lower than those for basaltic liquids at 1623 K and 1 bar. Higher temperature lowers water solubility, offsetting the greater depolymerisation of peridotite melts that would otherwise increase H$_2$O solubility relative to basaltic liquids. Because the solubility of water remains high relative to that of CO$_2$, steam atmospheres are rare, although they may form under oxidising conditions on telluric bodies, provided high H/C ratios prevail.


title: Principled Data-Driven Decision Support for Cyber-Forensic Investigations

abstract: In the wake of a cybersecurity incident, it is crucial to promptly discover how the threat actors breached security in order to assess the impact of the incident and to develop and deploy countermeasures that can protect against further attacks. To this end, defenders can launch a cyber-forensic investigation, which discovers the techniques that the threat actors used in the incident. A fundamental challenge in such an investigation is prioritizing the investigation of particular techniques since the investigation of each technique requires time and effort, but forensic analysts cannot know which ones were actually used before investigating them. To ensure prompt discovery, it is imperative to provide decision support that can help forensic analysts with this prioritization. A recent study demonstrated that data-driven decision support, based on a dataset of prior incidents, can provide state-of-the-art prioritization. However, this data-driven approach, called DISCLOSE, is based on a heuristic that utilizes only a subset of the available information and does not approximate optimal decisions. To improve upon this heuristic, we introduce a principled approach for data-driven decision support for cyber-forensic investigations. We formulate the decision-support problem using a Markov decision process, whose states represent the states of a forensic investigation. To solve the decision problem, we propose a Monte Carlo tree search based method, which relies on a k-NN regression over prior incidents to estimate state-transition probabilities. We evaluate our proposed approach on multiple versions of the MITRE ATT&CK dataset, which is a knowledge base of adversarial techniques and tactics based on real-world cyber incidents, and demonstrate that our approach outperforms DISCLOSE in terms of techniques discovered per effort spent.


title: Topological phonon analysis of the 2D buckled honeycomb lattice: an application to real materials

abstract: By means of group theory, topological quantum chemistry, first-principles and Monte Carlo calculations, we analyze the topology of the 2D buckled honeycomb lattice phonon spectra. Taking the pure crystal structure as an input, we show that eleven distinct phases are possible, five of which necessarily have non-trivial topology according to topological quantum chemistry. Another four of them are also identified as topological using Wilson loops in an analytical model that includes all the symmetry allowed force constants up to third nearest neighbors, making a total of nine topological phases. We then compute the ab initio phonon spectra for the two-dimensional crystals of Si, Ge, P, As and Sb in this structure and construct its phase diagram. Despite the large proportion of topological phases found in the analytical model, all of the crystals lie in a trivial phase. By analyzing the force constants space using Monte Carlo calculations, we elucidate why topological phonon phases are physically difficult to realize in real materials with this crystal structure.


title: Entropy Suppression through Quantum Interference in Electric Pulses

abstract: The Schwinger process in strong electric fields creates particles and antiparticles that are entangled. The entropy of entanglement between particles and antiparticles has been found to be equal to the statistical Gibbs entropy of the produced system. Here we study the effect of quantum interference in sequences of electric pulses, and show that quantum interference suppresses the entanglement entropy of the created quantum state. This is potentially relevant to quantum-enhanced classical communications. Our results can be extended to a wide variety of two-level quantum systems.


title: 100 GHz Bandwidth, 1 Volt Near-infrared Electro-optic Mach-Zehnder Modulator

abstract: An integrated hybrid thin-film lithium niobate (TFLN) electro-optic Mach-Zehnder modulator (MZM) is shown at near-infrared wavelengths. The design uses TFLN bonded to planarized silicon nitride waveguide circuits, and does not require etching or patterning of TFLN. The push-pull MZM achieves a half-wave voltage length product ($V_\pi L$) of 0.8 V$.$cm at 784 nm. MZM devices with 0.4 cm and 0.8 cm modulation length show a broadband electro-optic response with a 3 dB bandwidth beyond 100 GHz, with the latter showing a bandwidth to half-wave voltage ratio of 100 GHz/V.


title: Witnessing Non-Classicality in a Simple Causal Structure with Three Observable Variables

abstract: Seen from the modern lens of causal inference, Bell's theorem is nothing else than the proof that a specific classical causal model cannot explain quantum correlations. It is thus natural to move beyond Bell's paradigmatic scenario and consider different causal structures. For the specific case of three observable variables, it is known that there are three non-trivial causal networks. Two of those, are known to give rise to quantum non-classicality: the instrumental and the triangle scenarios. Here we analyze the third and remaining one, which we name the Evans scenario, akin to the causal structure underlying the entanglement-swapping experiment. We prove a number of results about this elusive scenario and introduce new and efficient computational tools for its analysis that also can be adapted to deal with more general causal structures. We do not solve its main open problem -- whether quantum non-classical correlations can arise from it -- but give a significant step in this direction by proving that post-quantum correlations, analogous to the paradigmatic Popescu-Rohrlich box, do violate the constraints imposed by a classical description of Evans causal structure.


title: Choreographer: Learning and Adapting Skills in Imagination

abstract: Unsupervised skill learning aims to learn a rich repertoire of behaviors without external supervision, providing artificial agents with the ability to control and influence the environment. However, without appropriate knowledge and exploration, skills may provide control only over a restricted area of the environment, limiting their applicability. Furthermore, it is unclear how to leverage the learned skill behaviors for adapting to downstream tasks in a data-efficient manner. We present Choreographer, a model-based agent that exploits its world model to learn and adapt skills in imagination. Our method decouples the exploration and skill learning processes, being able to discover skills in the latent state space of the model. During adaptation, the agent uses a meta-controller to evaluate and adapt the learned skills efficiently by deploying them in parallel in imagination. Choreographer is able to learn skills both from offline data, and by collecting data simultaneously with an exploration policy. The skills can be used to effectively adapt to downstream tasks, as we show in the URL benchmark, where we outperform previous approaches from both pixels and states inputs. The learned skills also explore the environment thoroughly, finding sparse rewards more frequently, as shown in goal-reaching tasks from the DMC Suite and Meta-World. Website and code: https://skillchoreographer.github.io/


title: Laser Pulse Duration Optimization With Numerical Methods

abstract: In this study we explore the optimization of laser pulse duration to obtain the shortest possible pulse. We do this by employing a feedback loop between a pulse shaper and pulse duration measurements. We apply to this problem several iterative algorithms including gradient descent, Bayesian Optimization and genetic algorithms, using a simulation of the actual laser represented via a semi-physical model of the laser based on the process of linear and non-linear phase accumulation.


title: Improving dermatology classifiers across populations using images generated by large diffusion models

abstract: Dermatological classification algorithms developed without sufficiently diverse training data may generalize poorly across populations. While intentional data collection and annotation offer the best means for improving representation, new computational approaches for generating training data may also aid in mitigating the effects of sampling bias. In this paper, we show that DALL$\cdot$E 2, a large-scale text-to-image diffusion model, can produce photorealistic images of skin disease across skin types. Using the Fitzpatrick 17k dataset as a benchmark, we demonstrate that augmenting training data with DALL$\cdot$E 2-generated synthetic images improves classification of skin disease overall and especially for underrepresented groups.


title: Effects of Backtracking on PageRank

abstract: In this paper, we consider three variations on standard PageRank: Non-backtracking PageRank, $\mu$-PageRank, and $\infty$-PageRank, all of which alter the standard formula by adjusting the likelihood of backtracking in the algorithm's random walk. We show that in the case of regular and bipartite biregular graphs, standard PageRank and its variants are equivalent. We also compare each centrality measure and investigate their clustering capabilities.


title: Improving the predictions of ML-corrected climate models with novelty detection

abstract: While previous works have shown that machine learning (ML) can improve the prediction accuracy of coarse-grid climate models, these ML-augmented methods are more vulnerable to irregular inputs than the traditional physics-based models they rely on. Because ML-predicted corrections feed back into the climate model's base physics, the ML-corrected model regularly produces out of sample data, which can cause model instability and frequent crashes. This work shows that adding semi-supervised novelty detection to identify out-of-sample data and disable the ML-correction accordingly stabilizes simulations and sharply improves the quality of predictions. We design an augmented climate model with a one-class support vector machine (OCSVM) novelty detector that provides better temperature and precipitation forecasts in a year-long simulation than either a baseline (no-ML) or a standard ML-corrected run. By improving the accuracy of coarse-grid climate models, this work helps make accurate climate models accessible to researchers without massive computational resources.


title: Software for Massively Parallel Quantum Computing

abstract: Quantum computing has the potential to offer substantial computational advantages over conventional computing. Recent advances in quantum computing hardware and algorithms have enabled a class of classically parallel quantum workloads, whereby individual quantum circuits can execute independently on many quantum processing units. Here, we present the full-stack software framework developed at Quantum Brilliance to enable multi-modal parallelism for hybrid quantum workloads. Our software provides the capability to distribute quantum workloads across multiple quantum accelerators hosted by nodes of a locally-networked cluster, via the industry-standard MPI (Message Passing Interface) protocol, or to distribute workloads across a large number of cloud-hosted quantum accelerators.


title: Vector Quantization Methods for Access Point Placement in Cell-Free Massive MIMO Systems

abstract: We examine the problem of uplink cell-free access point (AP) placement in the context of optimal throughput. In this regard, we formulate two main placement problems, namely the sum rate and minimum rate maximization problems, and discuss the challenges associated with solving the underlying optimization problem with the help of some simple scenarios. As a practical solution to the AP placement problem, we suggest a vector quantization (VQ) approach. The suitability of the VQ approach to cell-free AP placement is investigated by examining three VQ-based solutions. First, the standard VQ approach, that is the Lloyd algorithm (using the squared error distortion function) is described. Second, the tree-structured VQ (TSVQ), which performs successive partitioning of the distribution space is applied. Third, a probability density function optimized VQ (PDFVQ) procedure is outlined, which enables efficient, low complexity, and scalable placement, and is aimed at a massive distributed multiple-input-multiple-output (MIMO) scenario. While the VQ-based solutions do not solve the cell-free AP placement problems explicitly, numerical experiments show that their sum and minimum rate performances are good enough, and offer a good starting point for gradient-based optimization methods. Among the VQ solutions, PDFVQ, with advantages over the other VQ methods, offers a good trade-off between sum and minimum rates.


title: MPT: Mesh Pre-Training with Transformers for Human Pose and Mesh Reconstruction

abstract: Traditional methods of reconstructing 3D human pose and mesh from single images rely on paired image-mesh datasets, which can be difficult and expensive to obtain. Due to this limitation, model scalability is constrained as well as reconstruction performance. Towards addressing the challenge, we introduce Mesh Pre-Training (MPT), an effective pre-training strategy that leverages large amounts of MoCap data to effectively perform pre-training at scale. We introduce the use of MoCap-generated heatmaps as input representations to the mesh regression transformer and propose a Masked Heatmap Modeling approach for improving pre-training performance. This study demonstrates that pre-training using the proposed MPT allows our models to perform effective inference without requiring fine-tuning. We further show that fine-tuning the pre-trained MPT model considerably improves the accuracy of human mesh reconstruction from single images. Experimental results show that MPT outperforms previous state-of-the-art methods on Human3.6M and 3DPW datasets. As a further application, we benchmark and study MPT on the task of 3D hand reconstruction, showing that our generic pre-training scheme generalizes well to hand pose estimation and achieves promising reconstruction performance.


title: Turning the Tables: Biased, Imbalanced, Dynamic Tabular Datasets for ML Evaluation

abstract: Evaluating new techniques on realistic datasets plays a crucial role in the development of ML research and its broader adoption by practitioners. In recent years, there has been a significant increase of publicly available unstructured data resources for computer vision and NLP tasks. However, tabular data -- which is prevalent in many high-stakes domains -- has been lagging behind. To bridge this gap, we present Bank Account Fraud (BAF), the first publicly available privacy-preserving, large-scale, realistic suite of tabular datasets. The suite was generated by applying state-of-the-art tabular data generation techniques on an anonymized,real-world bank account opening fraud detection dataset. This setting carries a set of challenges that are commonplace in real-world applications, including temporal dynamics and significant class imbalance. Additionally, to allow practitioners to stress test both performance and fairness of ML methods, each dataset variant of BAF contains specific types of data bias. With this resource, we aim to provide the research community with a more realistic, complete, and robust test bed to evaluate novel and existing methods.


title: Infinitesimally Equivariant Bundles on Complex Manifolds

abstract: We show that any continuous $\mathbf{C}$-linear Lie algebra splitting of the symbol map from the Atiyah algebra of a vector bundle on a complex manifold is given by a differential operator of order at most the rank of the bundle plus one. Bundles equipped with such a splitting can be thought of as \emph{infinitesimally equivariant} bundles, and our theorem implies these are, in a certain sense, in a categorical formal neighbourhood of vector bundles with a flat connection.


title: Constructing an infinite family of quandles from a quandle

abstract: Quandles are self-distributive, right-invertible, idempotent algebras. A group with conjugation for binary operation is an example of a quandle. Given a quandle $(Q, \ast)$ and a positive integer $n$, define $a\ast_n b = (\cdots (a\ast \underbrace{b)\ast \cdots )\ast b}_{n}$, where $a, b \in Q$. Then, $(Q, \ast_n)$ is again a quandle. We set forth the following problem. ``Find $(Q, \ast)$ such that the sequence $\{(Q, \ast_n)\, :\, n\in \mathbb{Z}^+ \}$ is made up of pairwise non-isomorphic quandles.'' In this article we find such a quandle $(Q, \ast)$. We study the general linear group of $2$-by-$2$ matrices over $\mathbb{C}$ as a quandle under conjugation. Its (algebraically) connected components, that is, its conjugacy classes, are subquandles of it. We show the latter are connected as quandles and prove rigidity results about them such as the dihedral quandle of order $3$ is not a subquandle for most of them. Then we consider the quandle which is the projective linear group of $2$-by-$2$ matrices over $\mathbb{C}$ with conjugation, and prove it solves the problem above. In the course of this work we prove a sufficient and necessary condition for a quandle to be latin. This will reduce significantly the complexity of algorithms for ascertaining if a quandle is latin.


title: PCF Theory and the Tukey Spectrum

abstract: In this paper, we investigate the relationship between the Tukey order and PCF theory, as applied to sets of regular cardinals. We show that it is consistent that for all sets $A$ of regular cardinals that the Tukey spectrum of $A$, denoted $\operatorname{spec}(A)$, is equal to the set of possible cofinalities of $A$, denoted $\operatorname{pcf}(A)$; this is to be read in light of the $\mathsf{ZFC}$ fact that $\operatorname{pcf}(A)\subseteq\operatorname{spec}(A)$ holds for all $A$. We also prove results about when regular limit cardinals must be in the Tukey spectrum or must be out of the Tukey spectrum of some $A$, and we show the relevance of these for forcings which might separate $\operatorname{spec}(A)$ from $\operatorname{pcf}(A)$. Finally, we show that the strong part of the Tukey spectrum can be used in place of PCF-theoretic scales to lift the existence of Jonsson algebras from below a singular to hold at its successor. We close with a list of questions.


title: Double-slit experiment remastered

abstract: Time-of-flight measurements of helium atoms in a double-slit experiment reported in [C. Kurtsiefer, T. Pfau, and J. Mlynek, Nature 386, 150 (1997)] are compared with the arrival times of Bohmian trajectories. This is the first qualitative comparison of a quantum mechanical arrival-time calculation with observation at the single-particle level, particularly noteworthy given the absence of a consensus in extracting time-of-flight predictions from quantum theory. We further explore a challenging double-slit experiment in which one of the slits is shut in flight.


title: Dimensions of Furstenberg sets and an extension of Bourgain's projection theorem

abstract: We show that the Hausdorff dimension of $(s,t)$-Furstenberg sets is at least $s+t/2+\epsilon$, where $\epsilon>0$ depends only on $s$ and $t$. This improves the previously best known bound for $2s<t\le 1+\epsilon(s,t)$, in particular providing the first improvement since 1999 to the dimension of classical $s$-Furstenberg sets for $s<1/2$. We deduce this from a corresponding discretized incidence bound under minimal non-concentration assumptions, that simultaneously extends Bourgain's discretized projection and sum-product theorems. The proofs are based on a recent discretized incidence bound of T.~Orponen and the first author and a certain duality between $(s,t)$ and $(t/2,s+t/2)$-Furstenberg sets.


title: Primordial black holes from Higgs inflation with a Gauss-Bonnet coupling

abstract: Primordial black holes (PBHs) can be the source for all or a part of today's dark matter density. Inflation provides a mechanism for generating the seeds of PBHs in the presence of a temporal period where the velocity of an inflaton field $\phi$ rapidly decreases toward 0. We compute the primordial power spectra of curvature perturbations generated during Gauss-Bonnet (GB) corrected Higgs inflation in which the inflaton field has not only a nonminimal coupling to gravity but also a GB coupling. For a scalar-GB coupling exhibiting a rapid change during inflation, we show that curvature perturbations are sufficiently enhanced by the appearance of an effective potential $V_{\rm eff}(\phi)$ containing the structures of plateau-type, bump-type, and their intermediate type. We find that there are parameter spaces in which PBHs can constitute all dark matter for these three types of $V_{\rm eff}(\phi)$. In particular, models with bump- and intermediate-types give rise to the primordial scalar and tensor power spectra consistent with the recent Planck data on scales relevant to the observations of cosmic microwave background. This property is attributed to the fact that the number of e-foldings $\Delta N_c$ acquired around the bump region of $V_{\rm eff}(\phi)$ can be as small as a few, in contrast to the plateau-type where $\Delta N_c$ typically exceeds the order of 10.


title: Finite element modeling of slow water filtering

abstract: Slow sand filtration is most appropriate where there is funding to subsidize the initial cost of the filter, available training for use and maintenance, locally available sand, and a transportation network capable of moving the filter. Since the experimental study of slow filtration is taking a long time, theoretical analysis, modelling and simulation studies become important. Theoretical models of slow filtration are not yet sufficiently developed. Several reasons are hindering modelling and simulation: due to the complexity of the interaction of water and pollution with filters and the lack of detailed values for the kinetic coefficients in elementary processes. Multiphysics modelling using Comsol, where a complex set of Navier-Stokes equations is numerically solved together, with the molecular awareness for the kinetic coefficients, was used to studying various geometries and construction types of slow filtration.


title: Channel Optimized Visual Imagery based Robotic Arm Control under the Online Environment

abstract: An electroencephalogram is an effective approach that provides a bidirectional pathway between the user and computer in a non-invasive way. In this study, we adopted the visual imagery data for controlling the BCI-based robotic arm. Visual imagery increases the power of the alpha frequency range of the visual cortex over time as the user performs the task. We proposed a deep learning architecture to decode the visual imagery data using only two channels and also we investigated the combination of two EEG channels that has significant classification performance. When using the proposed method, the highest classification performance using two channels in the offline experiment was 0.661. Also, the highest success rate in the online experiment using two channels (AF3-Oz) was 0.78. Our results provide the possibility of controlling the BCI-based robotic arm using visual imagery data.


title: Isodrastic Magnetic fields for suppressing transitions in guiding-centre motion

abstract: In a magnetic field, transitions between classes of guiding-centre motion can lead to cross-field diffusion and escape. We say a magnetic field is isodrastic if guiding centres make no transitions between classes of motion. Therefore, this is an important ideal for enhancing confinement. First, we present a weak formulation, based on the longitudinal adiabatic invariant, generalising omnigenity. To demonstrate that isodrasticity is strictly more general than omnigenity, we construct weakly isodrastic mirror fields that are not omnigenous. Then we present a strong formulation that is exact for guiding-centre motion. We develop a first-order treatment of the strong version via a Melnikov function and show that it recovers the weak version. The theory provides quantification of deviations from isodrasticity that can be used as objective functions in optimal design. The theory is illustrated on some simple examples.


title: Scattering Expansion for Localization in One Dimension: from Disordered Wires to Quantum Walks

abstract: We present a perturbative approach to disordered systems in one spatial dimension that accesses the full range of phase disorder and clarifies the connection between localization and phase information. We consider a long chain of identically disordered scatterers and expand in the reflection strength of any individual scatterer. We apply this expansion to several examples, including the Anderson model, a general class of periodic-on-average-random potentials, and a two-component discrete-time quantum walk, showing analytically in the latter case that the localization length can depend non-monotonically on the strength of phase disorder (whereas expanding in weak disorder yields monotonic decrease). More generally, we obtain to all orders in the expansion a particular non-separable form for the joint probability distribution of the transmission coefficient logarithm and reflection phase. Furthermore, we show that for weak local reflection strength, a version of the scaling theory of localization holds: the joint distribution is determined by just three parameters.


title: Propulsive performance of oscillating plates with time-periodic flexibility

abstract: We use small-amplitude inviscid theory to study the swimming performance of a flexible flapping plate with time-varying flexibility. The stiffness of the plate oscillates at twice the frequency of the kinematics in order to maintain a symmetric motion. Plates with constant and time-periodic stiffness are compared over a range of mean plate stiffness, oscillating stiffness amplitude, and oscillating stiffness phase for isolated heaving, isolated pitching, and combined leading edge kinematics. We find that there is a profound impact of oscillating stiffness on the thrust, with a lesser impact on propulsive efficiency. Thrust improvements of up to 35% relative to a constant-stiffness plate are observed. For large enough frequencies and amplitudes of the stiffness oscillation, instabilities emerge. The unstable regions may confer enhanced propulsive performance; this hypothesis must be verified via experiments or nonlinear simulations.


title: Group Steering: Approaches Based on Power Moments

abstract: This paper considers the problem of steering a vast group of agents of which the dynamics are governed by a discrete-time first-order linear system. The group of agents are characterized as a probability density function and an occupation measure respectively in the paper and two corresponding treatments are given. We propose to use the power moments to characterize the density function/occupation measure of the agents. A moment system representation of the original system is put forward for control and an empirical control scheme corresponding to it is proposed. By the designed control law, the moment sequence of the control at each time step is positive, which ensures the existence of the control for the moment system. We then realize the control as an analytic form of function by a convex optimization scheme of which the existence and uniqueness of the solution have been proved in our previous paper. The terminal density is proved to converge to the desired terminal one, which distinguishes the proposed distribution steering scheme from other existing ones. An error analysis of the terminal density from the specified one is also provided. For the problem where the group of agents is characterized as an occupation measure, the control for each agent is determined by drawing independent and identically-distributed(i.i.d) samples from the realized analytic function. Finally we simulate both unconstrained and constrained controls of a vast group of agents, which validate our proposed algorithms.


title: Mean field theory for intense light-matter interactions in high energy density plasmas

abstract: We present a generalization of Vlasov-Maxwell kinetic theory that accounts for intense electromagnetic fields. A strongly-radiating, possibly optically-thick plasma is decomposed into fragments, each comprising a charged particle together with its self-generated electromagnetic field. Assuming weak inter-fragment correlations, but strong intra-fragment correlations, a mean-field evolution equation for the single-fragment distribution functional is derived. We also identify the equation's Hamiltonian formulation. By incorporating strong correlations between a charged particle and the field it generates, the new model captures the effects of strong radiation reaction non-perturbatively. The fragment kinetic formalism offers an attractive approach to modeling exotic light-matter interactions such as nonlinear and multiple Compton scattering.


title: A new operator extension of strong subadditivity of quantum entropy

abstract: Let $S(\rho)$ be the von Neumann entropy of a density matrix $\rho$. Weak monotonicity asserts that $S(\rho_{AB}) - S(\rho_A) + S(\rho_{BC}) - S(\rho_C)\geq 0$ for any tripartite density matrix $\rho_{ABC}$, a fact that is equivalent to the strong subadditivity of entropy. We prove an operator inequality, which, upon taking an expectation value with respect to the state $\rho_{ABC}$, reduces to the weak monotonicity inequality. Generalizations of this inequality to the one involving two independent density matrices, as well as their R\'enyi-generalizations, are also presented.


title: Tapping the Potential of Coherence and Syntactic Features in Neural Models for Automatic Essay Scoring

abstract: In the prompt-specific holistic score prediction task for Automatic Essay Scoring, the general approaches include pre-trained neural model, coherence model, and hybrid model that incorporate syntactic features with neural model. In this paper, we propose a novel approach to extract and represent essay coherence features with prompt-learning NSP that shows to match the state-of-the-art AES coherence model, and achieves the best performance for long essays. We apply syntactic feature dense embedding to augment BERT-based model and achieve the best performance for hybrid methodology for AES. In addition, we explore various ideas to combine coherence, syntactic information and semantic embeddings, which no previous study has done before. Our combined model also performs better than the SOTA available for combined model, even though it does not outperform our syntactic enhanced neural model. We further offer analyses that can be useful for future study.


title: A Multivariate Non-Gaussian Bayesian Filter Using Power Moments

abstract: In this paper, we extend our results on the univariate non-Gaussian Bayesian filter using power moments to the multivariate systems, which can be either linear or nonlinear. Doing this introduces several challenging problems, for example a positive parametrization of the density surrogate, which is not only a problem of filter design, but also one of the multiple dimensional Hamburger moment problem. We propose a parametrization of the density surrogate with the proofs to its existence, Positivstellensatz and uniqueness. Based on it, we analyze the errors of moments of the density estimates by the proposed density surrogate. A discussion on continuous and discrete treatments to the non-Gaussian Bayesian filtering problem is proposed to motivate the research on continuous parametrization of the system state. Simulation results on estimating different types of multivariate density functions are given to validate our proposed filter. To the best of our knowledge, the proposed filter is the first one implementing the multivariate Bayesian filter with the system state parameterized as a continuous function, which only requires the true states being Lebesgue integrable.


title: Lifting Weak Supervision To Structured Prediction

abstract: Weak supervision (WS) is a rich set of techniques that produce pseudolabels by aggregating easily obtained but potentially noisy label estimates from a variety of sources. WS is theoretically well understood for binary classification, where simple approaches enable consistent estimation of pseudolabel noise rates. Using this result, it has been shown that downstream models trained on the pseudolabels have generalization guarantees nearly identical to those trained on clean labels. While this is exciting, users often wish to use WS for structured prediction, where the output space consists of more than a binary or multi-class label set: e.g. rankings, graphs, manifolds, and more. Do the favorable theoretical properties of WS for binary classification lift to this setting? We answer this question in the affirmative for a wide range of scenarios. For labels taking values in a finite metric space, we introduce techniques new to weak supervision based on pseudo-Euclidean embeddings and tensor decompositions, providing a nearly-consistent noise rate estimator. For labels in constant-curvature Riemannian manifolds, we introduce new invariants that also yield consistent noise rate estimation. In both cases, when using the resulting pseudolabels in concert with a flexible downstream model, we obtain generalization guarantees nearly identical to those for models trained on clean data. Several of our results, which can be viewed as robustness guarantees in structured prediction with noisy labels, may be of independent interest. Empirical evaluation validates our claims and shows the merits of the proposed method.


title: InDEX: Indonesian Idiom and Expression Dataset for Cloze Test

abstract: We propose InDEX, an Indonesian Idiom and Expression dataset for cloze test. The dataset contains 10438 unique sentences for 289 idioms and expressions for which we generate 15 different types of distractors, resulting in a large cloze-style corpus. Many baseline models of cloze test reading comprehension apply BERT with random initialization to learn embedding representation. But idioms and fixed expressions are different such that the literal meaning of the phrases may or may not be consistent with their contextual meaning. Therefore, we explore different ways to combine static and contextual representations for a stronger baseline model. Experimentations show that combining definition and random initialization will better support cloze test model performance for idioms whether independently or mixed with fixed expressions. While for fixed expressions with no special meaning, static embedding with random initialization is sufficient for cloze test model.


title: A new Speech Feature Fusion method with cross gate parallel CNN for Speaker Recognition

abstract: In this paper, a new speech feature fusion method is proposed for speaker recognition on the basis of the cross gate parallel convolutional neural network (CG-PCNN). The Mel filter bank features (MFBFs) of different frequency resolutions can be extracted from each speech frame of a speaker's speech by several Mel filter banks, where the numbers of the triangular filters in the Mel filter banks are different. Due to the frequency resolutions of these MFBFs are different, there are some complementaries for these MFBFs. The CG-PCNN is utilized to extract the deep features from these MFBFs, which applies a cross gate mechanism to capture the complementaries for improving the performance of the speaker recognition system. Then, the fusion feature can be obtained by concatenating these deep features for speaker recognition. The experimental results show that the speaker recognition system with the proposed speech feature fusion method is effective, and marginally outperforms the existing state-of-the-art systems.


title: On a conjecture concerning the number of solutions to $a^x+b^y=c^z$, II

abstract: Let $a$, $b$, $c$ be distinct primes with $a<b$. Let $S(a,b,c)$ denote the number of positive integer solutions $(x,y,z)$ of the equation $a^x + b^y = c^z$. In a previous paper \cite{LeSt} it was shown that if $(a,b,c)$ is a triple of distinct primes for which $S(a,b,c)>1$ and $(a,b,c)$ is not one of the six known such triples then $(a,b,c)$ must be one of three cases. In the present paper, we eliminate two of these cases (using the special properties of certain continued fractions for one of these cases, and using a result of Dirichlet on quartic residues for the other). Then we show that the single remaining case requires severe restrictions, including the following: $a=2$, $b \equiv 1 \bmod 48$, $c \equiv 17 \mod 48$, $b > 10^9$, $c > 10^{18}$; at least one of the multiplicative orders $u_c(b)$ or $u_b(c)$ must be odd (where $u_p(n)$ is the least integer $t$ such that $n^t \equiv 1 \bmod p$); 2 must be an octic residue modulo $c$ except for one specific case; $2 \mid v_2(b-1) \le v_2(c-1)$ (where $v_2(n)$ satisfies $2^{v_2(n)} \parallel n$); there must be exactly two solutions $(x_1, y_1, z_1)$ and $(x_2, y_2, z_2)$ with $1 = z_1 < z_2$ and either $x_1 \ge 28$ or $x_2 \ge 88$. These results support a conjecture put forward in \cite{ScSt6} and improve results in \cite{LeSt}.


title: Laser cooling of molecules

abstract: A recent progress on laser cooling of molecules is summarized. Since the development during 1980s for atomic species, laser cooling has been the very beginning step to cool and trap atoms for frontier research on quantum simulations, quantum sensing and precision measurements. Despite the complex internal structures of molecules, laser cooling of molecules have been realized with the deepened understanding of molecular structures and interaction between light and molecules. The development of laser technology over the last decades have also been a great aid for laser cooling of molecules because many lasers are necessary to successfully cool the molecules. A detailed principle and development of laser cooling of molecules as well as the current status of the field are reviewed to give an introductory of the growing field of ultracold molecular physics.


title: Dependence of Chemical Abundance on the Cosmic Ray Ionization Rate in IC 348

abstract: Ions (e.g., H$_3^+$, H$_2$O$^+$) have been used extensively to quantify the cosmic-ray ionization rate (CRIR) in diffuse sightlines. However, measurements of CRIR in low-to-intermediate density gas environments are rare, especially when background stars are absent. In this work, we combine molecular line observations of CO, OH, CH, and HCO$^+$ in the star-forming cloud IC~348, and chemical models to constrain the value of CRIR and study the response of the chemical abundances distribution. The cloud boundary is found to have an $A_{\rm V}$ of approximately 4 mag. From the interior to the exterior of the cloud, the observed $^{13}$CO line intensities drop by an order of magnitude. The calculated average abundance of $^{12}$CO (assuming $^{12}$C/$^{13}$C = 65) is (1.2$\pm$0.9) $\times$10$^{-4}$, which increases by a factor of 6 from the interior to the outside regions. The average abundance of CH (3.3$\pm$0.7 $\times$ 10$^{-8}$) is in good agreement with previous findings in diffuse and translucent clouds ($A_{\rm V}$ $<$ 5 mag). However, we did not find a decline in CH abundance in regions of high extinction ($A_{\rm V}\simeq$8 mag) as previously reported in Taurus. By comparing the observed molecular abundances and chemical models, we find a decreasing trend of CRIR as $A_{\rm V}$ increases. The inferred CRIR of $\zeta_{cr}$ = (4.7$\pm$1.5) $\times$ 10$^{-16}$ s$^{-1}$ at low $A_{\rm V}$ is consistent with H$^+_3$ measurements toward two nearby massive stars.


title: Supersolidity of $\alpha$ cluster structure in $^{40}$Ca

abstract: $\alpha$ cluster structure in nuclei has been long understood based on the geometrical configuration picture. By using the spatially localized Brink $\alpha$ cluster model in the generator coordinate method, it is shown that the $\alpha$ cluster structure has the apparently opposing duality of crystallinity and condensation, a property of supersolids. To study the condensation aspects of the $\alpha$ cluster structure a field theoretical superfluid cluster model (SCM) is introduced, in which the order parameter of condensation is incorporated by treating rigorously the Nambu-Goldstone mode due to spontaneous symmetry breaking of the global phase. The $\alpha$ cluster structure of $^{40}$Ca, which has been understood in the crystallinity picture, is studied by the SCM with ten $\alpha$ clusters. It is found that the $\alpha$ cluster structure of $^{40}$Ca is reproduced by the SCM in addition to $^{12}$C reported in a previous paper, which gives support to the duality of the $\alpha$ cluster structure. The emergence of the mysterious $0^+$ state at the lowest excitation energy near the $\alpha$ threshold energy is understood to be a manifestation of the Nambu-Goldstone zero mode, a soft mode, due to the condensation aspect of the duality similar to the Hoyle state in $^{12}$C. The duality of $\alpha$ cluster structure with incompatible crystallinity and coherent wave nature due to condensation is the consequence of the Pauli principle, which causes clustering.


title: MaskPlace: Fast Chip Placement via Reinforced Visual Representation Learning

abstract: Placement is an essential task in modern chip design, aiming at placing millions of circuit modules on a 2D chip canvas. Unlike the human-centric solution, which requires months of intense effort by hardware engineers to produce a layout to minimize delay and energy consumption, deep reinforcement learning has become an emerging autonomous tool. However, the learning-centric method is still in its early stage, impeded by a massive design space of size ten to the order of a few thousand. This work presents MaskPlace to automatically generate a valid chip layout design within a few hours, whose performance can be superior or comparable to recent advanced approaches. It has several appealing benefits that prior arts do not have. Firstly, MaskPlace recasts placement as a problem of learning pixel-level visual representation to comprehensively describe millions of modules on a chip, enabling placement in a high-resolution canvas and a large action space. It outperforms recent methods that represent a chip as a hypergraph. Secondly, it enables training the policy network by an intuitive reward function with dense reward, rather than a complicated reward function with sparse reward from previous methods. Thirdly, extensive experiments on many public benchmarks show that MaskPlace outperforms existing RL approaches in all key performance metrics, including wirelength, congestion, and density. For example, it achieves 60%-90% wirelength reduction and guarantees zero overlaps. We believe MaskPlace can improve AI-assisted chip layout design. The deliverables are released at https://laiyao1.github.io/maskplace.


title: A Non-Gaussian Bayesian Filter Using Power and Generalized Logarithmic Moments

abstract: In this paper, we aim to propose a consistent non-Gaussian Bayesian filter of which the system state is a continuous function. The distributions of the true system states, and those of the system and observation noises, are only assumed Lebesgue integrable with no prior constraints on what function classes they fall within. This type of filter has significant merits in both theory and practice, which is able to ameliorate the curse of dimensionality for the particle filter, a popular non-Gaussian Bayesian filter of which the system state is parameterized by discrete particles and the corresponding weights. We first propose a new type of statistics, called the generalized logarithmic moments. Together with the power moments, they are used to form a density surrogate, parameterized as an analytic function, to approximate the true system state. The map from the parameters of the proposed density surrogate to both the power moments and the generalized logarithmic moments is proved to be a diffeomorphism, establishing the fact that there exists a unique density surrogate which satisfies both moment conditions. This diffeomorphism also allows us to use gradient methods to treat the convex optimization problem in determining the parameters. Last but not least, simulation results reveal the advantage of using both sets of moments for estimating mixtures of complicated types of functions. A robot localization simulation is also given, as an engineering application to validate the proposed filtering scheme.


title: Exploring dark photons via a subfrequency laser searchin gravitational wave detectors

abstract: We propose a novel idea to detect a dark photon in gravitational wave experiments. Our setups are capable of performing the whole process of dark photon production, its decay products, and new physics signal discovery. This mini-LHC is inspired by the recent idea of dark photon detection using laser light in light shining through the wall (LSW) experiments such as ALPS II. Taking the subfrequency light emitted from the laser source as the new physics signal, we show that the sensitivity of our proposal is 2orders of magnitude better than the original idea in the LSW studies.


title: Structural, hydrogen bonding and dipolar properties of alkyl imidazolium-based ionic liquids: a classical and first-principles molecular dynamics study

abstract: Ionic liquids (ILs) feature a tailorable and wide range of structural, chemical and electronic properties that make this class of materials suitable to a broad variety of forefront applications in next-generation electronics. Yet, their intrinsic complexity call for special attention and experimental probes have still limitations in unraveling the interactions occurring both in the bulk IL and at the interface with the solid substrates used to build the devices. This works provides an atomistic insight into these fundamental interactions by molecular modeling to complement the information still not accessible to experiments. In particular, we shed some light on the nature of the chemical bonding, structure, charge distribution and dipolar properties of a series of alkyl-imidazolium-based ILs by a synergy of classical and first-principles molecular dynamics simulations. Special emphasis is given to the crucial issue of the hydrogen bond network formation ability depending either on the nature of the anion or on the length of the alkyl chain of the cation. The hydrogen bond strength is a fundamental indicator of the cohesive and ordering features of the ILs and, in this respect, might be exploited to foster a different behaviour of the IL used a bulk medium or when used in electronic devices.


title: A Riemannian exponential augmented Lagrangian method for computing the projection robust Wasserstein distance

abstract: Projecting the distance measures onto a low-dimensional space is an efficient way of mitigating the curse of dimensionality in the classical Wasserstein distance using optimal transport. The obtained maximized distance is referred to as projection robust Wasserstein (PRW) distance. In this paper, we equivalently reformulate the computation of the PRW distance as an optimization problem over the Cartesian product of the Stiefel manifold and the Euclidean space with additional nonlinear inequality constraints. We propose a Riemannian exponential augmented Lagrangian method (ReALM) with a global convergence guarantee to solve this problem. Compared with the existing approaches, ReALM can potentially avoid too small penalty parameters. Moreover, we propose a framework of inexact Riemannian gradient descent methods to solve the subproblems in ReALM efficiently. In particular, by using the special structure of the subproblem, we give a practical algorithm named as the inexact Riemannian Barzilai-Borwein method with Sinkhorn iteration (iRBBS). The remarkable features of iRBBS lie in that it performs a flexible number of Sinkhorn iterations to compute an inexact gradient with respect to the projection matrix of the problem and adopts the Barzilai-Borwein stepsize based on the inexact gradient information to improve the performance. We show that iRBBS can return an $\epsilon$-stationary point of the original PRW distance problem within $\mathcal{O}(\epsilon^{-3})$ iterations. Extensive numerical results on synthetic and real datasets demonstrate that our proposed ReALM as well as iRBBS outperform the state-of-the-art solvers for computing the PRW distance.


title: Structural Origin of Recovered Ferroelectricity in BaTiO$_3$ Nanoparticles

abstract: Nanoscale BaTiO3 particles (approximately 10 nm) prepared by ball-milling a mixture of oleic acid and heptane have been reported to have an electric polarization several times larger than that for bulk BaTiO3. In this work, detailed local, intermediate, and long-range structural studies are combined with spectroscopic measurements to develop a model structure of these materials. The X-ray spectroscopic measurements reveal large Ti off-centering as the key factor producing the large spontaneous polarization in the nanoparticles. Temperature-dependent lattice parameter changes reveal the sharpening of the structural phase transitions in these BaTiO3 nanoparticles compared to the pure nanoparticle systems. Sharp crystalline-type peaks in the barium oleate Raman spectra suggest that this component in the composite core-shell matrix, a product of mechanochemical synthesis, stabilizes an enhanced polar structural phase of the BaTiO3 core nanoparticles.


title: Large Magnetic-Field-Induced Strains in Sintered Chromium Tellurides

abstract: Sintered samples of Cr3Te4 and Cr2Te3 are found to show large strains accompanied by large volume changes under a magnetic field. In Cr3Te4, volume increases of deltaV/V = 500-1170 ppm by applying a magnetic field of 9 T are observed over the entire temperature range below 350 K. At room temperature, the deltaV/V value exceeds 1000 ppm, which is considerably larger than the maximum values reported for Cr-based magnets thus far and is comparable to the room-temperature value of forced-volume magnetostriction in invar alloys. Cr2Te3 show a large deltaV/V of 680 ppm when applying a magnetic field of 9 T at 200 K. Both samples display particularly large volume increases around the Curie temperature, where they also show negative thermal expansion due to microstructural effects, suggesting that the cooperation between anisotropic lattice deformation associated with the magnetic ordering and microstructural effects is essential for the manifestation of the large magnetic-field-induced volume changes.


title: FedCut: A Spectral Analysis Framework for Reliable Detection of Byzantine Colluders

abstract: This paper proposes a general spectral analysis framework that thwarts a security risk in federated Learning caused by groups of malicious Byzantine attackers or colluders, who conspire to upload vicious model updates to severely debase global model performances. The proposed framework delineates the strong consistency and temporal coherence between Byzantine colluders' model updates from a spectral analysis lens, and, formulates the detection of Byzantine misbehaviours as a community detection problem in weighted graphs. The modified normalized graph cut is then utilized to discern attackers from benign participants. Moreover, the Spectral heuristics is adopted to make the detection robust against various attacks. The proposed Byzantine colluder resilient method, i.e., FedCut, is guaranteed to converge with bounded errors. Extensive experimental results under a variety of settings justify the superiority of FedCut, which demonstrates extremely robust model performance (MP) under various attacks. It was shown that FedCut's averaged MP is 2.1% to 16.5% better than that of the state of the art Byzantine-resilient methods. In terms of the worst-case model performance (MP), FedCut is 17.6% to 69.5% better than these methods.


title: Observation of $e^+e^- \to p p \bar{p} \bar{n} \pi^{-} + c.c.$

abstract: Using data taken at 29 center-of-mass energies between 4.16 and 4.70 GeV with the BESIII detector at the Beijing Electron Positron Collider corresponding to a total integrated luminosity of approximately 18.8 $\rm fb^{-1}$, the process $e^+e^- \to p p \bar{p} \bar{n} \pi^{-} + c.c.$ is observed for the first time with a statistical significance of $11.5\sigma$. The average Born cross sections in the energy ranges of (4.160, 4.380) GeV, (4.400, 4.600) GeV and (4.610, 4.700) GeV are measured to be $(21.5\pm5.7\pm1.2)$ fb, $(46.3\pm10.6\pm2.5)$ fb and $(59.0\pm9.4\pm3.2)$ fb, respectively, where the first uncertainties are statistical and the second are systematic. The line shapes of the $\bar{p}\bar{n}$ and $pp\pi^-$ invariant mass spectra are consistent with phase space distributions, indicating that no hexaquark or di-baryon state is observed.


title: Electrical Tunable Spintronic Neuron with Trainable Activation Function

abstract: Spintronic devices have been widely studied for the hardware realization of artificial neurons. The stochastic switching of magnetic tunnel junction driven by the spin torque is commonly used to produce the sigmoid activation function. However, the shape of the activation function in previous studies is fixed during the training of neural network. This restricts the updating of weights and results in a limited performance. In this work, we exploit the physics behind the spin torque induced magnetization switching to enable the dynamic change of the activation function during the training process. Specifically, the pulse width and magnetic anisotropy can be electrically controlled to change the slope of activation function, which enables a faster or slower change of output required by the backpropagation algorithm. This is also similar to the idea of batch normalization that is widely used in the machine learning. Thus, this work demonstrates that the algorithms are no longer limited to the software implementation. They can in fact be realized by the spintronic hardware using a single device. Finally, we show that the accuracy of hand-written digit recognition can be improved from 88% to 91.3% by using these trainable spintronic neurons without introducing additional energy consumption. Our proposals can stimulate the hardware realization of spintronic neural networks.


title: One-Shot General Object Localization

abstract: This paper presents a general one-shot object localization algorithm called OneLoc. Current one-shot object localization or detection methods either rely on a slow exhaustive feature matching process or lack the ability to generalize to novel objects. In contrast, our proposed OneLoc algorithm efficiently finds the object center and bounding box size by a special voting scheme. To keep our method scale-invariant, only unit center offset directions and relative sizes are estimated. A novel dense equalized voting module is proposed to better locate small texture-less objects. Experiments show that the proposed method achieves state-of-the-art overall performance on two datasets: OnePose dataset and LINEMOD dataset. In addition, our method can also achieve one-shot multi-instance detection and non-rigid object localization. Code repository: https://github.com/qq456cvb/OneLoc.


title: Simulations of Triple Microlensing Events I: Detectability of a scaled Sun-Jupiter-Saturn System

abstract: Up to date, only 13 firmly established triple microlensing events have been discovered, so the occurrence rates of microlensing two-planet systems and planets in binary systems are still uncertain. With the upcoming space-based microlensing surveys, hundreds of triple microlensing events will be detected. To provide clues for future observations and statistical analyses, we initiate a project to investigate the detectability of triple-lens systems with different configurations and observational setups. As the first step, in this work we develop the simulation software and investigate the detectability of a scaled Sun-Jupiter-Saturn system with the recently proposed telescope for microlensing observation on the ``Earth 2.0 (ET)'' satellite. With the same $\Delta\chi^2$ thresholds of detecting a single planet and two planets, we find that the detectability of the scaled Sun-Jupiter-Saturn analog is about 1% and the presence of the Jovian planet suppresses the detectability of the Saturn-like planet by $\sim $13% regardless of the adopted detection $\Delta\chi^2$ threshold. This suppression probability could be at the same level as the Poisson noise of future space-based statistical samples of triple-lenses, so it is inappropriate to treat each planet separately during detection efficiency calculations.


title: Enhanced Sampling for Free Energy Profiles with Post-Transition-State Bifurcations

abstract: We present a method to explore the free energy landscapes of chemical reactions with post-transition-state bifurcations using an enhanced sampling method based on well-tempered metadynamics. Obviating the need for computationally expensive DFT-level ab initio molecular dynamics simulations, we obtain accurate energetics by utilizing a free energy perturbation scheme and deep learning estimator for the single-point energies of substrate configurations. Using a pair of easily interpretable collective variables, we present a quantitative free energy surface that is compatible with harmonic transition state theory calculations and in which the bifurcations are clearly visible. We demonstrate our approach with the example of the SpnF-catalyzed Diels-Alder reaction, a cycloaddition reaction in which post-transition-state bifurcation leads to the [4+2] as well as the [6+4] cycloadduct. We obtain the free energy landscapes for different stereochemical reaction pathways and characterize the mechanistic continuum between relevant reaction channels without explicitly searching for the pertinent transition state structures.


title: Robust approximation of chance constrained optimization with polynomial perturbation

abstract: This paper proposes a robust approximation method for solving chance constrained optimization (CCO). The studied problems are defined with individual chance constraints that is affine in the decision variables. We find a robust approximation of the CCO by replacing the chance constraint with a robust constraint over some uncertainty set. A heuristic algorithm is presented to find efficient uncertainty sets. When the objective function is linear or a SOS-convex polynomial, the robust approximation can be equivalently transformed into linear conic optimization. Semidefinite algorithms are proposed to solve these linear conic transformations and find candidate optimal solutions to the original CCO. Convergent properties are proved and numerical experiments are given to show the efficiency of our method.


title: Leggett-Garg inequalities for multitime processes

abstract: We study some aspects of the Leggett-Garg inequalities by using the operator-state formalism for multitime processes. The process tensor in its Choi-state form, which we call process state, is employed to investigate the Leggett-Garg inequalities and their violations. We find the sufficient conditions on process states for the Leggett-Garg inequalities to hold, based on which we find a new way of characterizing the influences on the violation of Leggett-Garg inequalities through the structure of process states.


title: On $k$-geodetic graphs and groups

abstract: We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in such a group the centraliser of any infinite order element is an infinite cyclic group. These results were known previously only in the case that $k=1$. A key tool used to develop the theorem is a new graph theoretic result concerning ``ladder-like structures'' in a $k$-geodetic graph.


title: CPPF++: Uncertainty-Aware Sim2Real Object Pose Estimation by Vote Aggregation

abstract: Object pose estimation constitutes a critical area within the domain of 3D vision. While contemporary state-of-the-art methods that leverage real-world pose annotations have demonstrated commendable performance, the procurement of such real training data incurs substantial costs. This paper focuses on a specific setting wherein only 3D CAD models are utilized as a priori knowledge, devoid of any background or clutter information. We introduce a novel method, CPPF++, designed for sim-to-real pose estimation. This method builds upon the foundational point-pair voting scheme of CPPF, reformulating it through a probabilistic view. To address the challenge posed by vote collision, we propose a novel approach that involves modeling the voting uncertainty by estimating the probabilistic distribution of each point pair within the canonical space. Furthermore, we augment the contextual information provided by each voting unit through the introduction of N-point tuples. To enhance the robustness and accuracy of the model, we incorporate several innovative modules, including noisy pair filtering, online alignment optimization, and a tuple feature ensemble. Alongside these methodological advancements, we introduce a new category-level pose estimation dataset, named DiversePose 300. Empirical evidence demonstrates that our method significantly surpasses previous sim-to-real approaches and achieves comparable or superior performance on novel datasets. Our code is available on https://github.com/qq456cvb/CPPF2.