title: Efficient Dynamic Graph Representation Learning at Scale

abstract: Dynamic graphs with ordered sequences of events between nodes are prevalent in real-world industrial applications such as e-commerce and social platforms. However, representation learning for dynamic graphs has posed great computational challenges due to the time and structure dependency and irregular nature of the data, preventing such models from being deployed to real-world applications. To tackle this challenge, we propose an efficient algorithm, Efficient Dynamic Graph lEarning (EDGE), which selectively expresses certain temporal dependency via training loss to improve the parallelism in computations. We show that EDGE can scale to dynamic graphs with millions of nodes and hundreds of millions of temporal events and achieve new state-of-the-art (SOTA) performance.


title: On the dissipative dynamics of entangled states in coupled-cavity quantum electrodynamics arrays

abstract: We examine the dissipative dynamics of N00N states with an arbitrary photon number N in two architectures of fiber-coupled optical ring resonators (RRs) interacting with two-level quantum emitters. One architecture consists of a two-way cascaded array of emitter-cavity systems, while in the other architecture we consider two fiber-coupled RRs each coupled to multiple dipole-dipole interacting (DDI) quantum emitters (QEs). Our focus in this paper is to study how am initially prepared multiple excitation atomic N00N states transfers to the RRs and then how rapidly it decays in these open cavity quantum electrodynamics (CQED) setups while varying the emitter-cavity coupling strengths, emitter-cavity detuning, and backscattering from cavity modes. We present a general theoretical formalism valid for any arbitrary numbers of QEs, RRs, and N number in the N00N state for both schemes. As examples, we discuss the cases of single and two-excitation N00N states and report the comparison of our findings in both schemes. As one of the main results, we conclude that the array scheme tends to store N00N for longer times while the DDI scheme supports higher fidelity values. The results of this study may find applications in designing new multiparty entanglement-based protocols in quantum metrology and quantum lithography.


title: Replication of SARS-CoV-2 mutation analysis suggests differences in per-protein mutation characteristics

abstract: The increasing spread of COVID-19, caused by the virus SARS-CoV-2, raises concerns about the extent to which mutations have occurred across the viral genome. We present a partial replication of an earlier 2021 study by Wang, R. et al. that determined the presence of four substrains and eleven top mutations in the United States. We analyze a portion of the authors' data set in order to recreate Figure S1 from the paper, recapitulating the same features observed in the original figure. We further generate a summary of mutation characteristics for each of the 26 named proteins and confirm the significance of the spike protein at roughly 24% of all recorded mutations. Our analysis suggests that additional factors may affect per-protein mutation rate besides protein length.


title: Boosted Dense Retriever

abstract: We propose DrBoost, a dense retrieval ensemble inspired by boosting. DrBoost is trained in stages: each component model is learned sequentially and specialized by focusing only on retrieval mistakes made by the current ensemble. The final representation is the concatenation of the output vectors of all the component models, making it a drop-in replacement for standard dense retrievers at test time. DrBoost enjoys several advantages compared to standard dense retrieval models. It produces representations which are 4x more compact, while delivering comparable retrieval results. It also performs surprisingly well under approximate search with coarse quantization, reducing latency and bandwidth needs by another 4x. In practice, this can make the difference between serving indices from disk versus from memory, paving the way for much cheaper deployments.


title: Do Answers to Boolean Questions Need Explanations? Yes

abstract: Existing datasets that contain boolean questions, such as BoolQ and TYDI QA , provide the user with a YES/NO response to the question. However, a one word response is not sufficient for an explainable system. We promote explainability by releasing a new set of annotations marking the evidence in existing TyDi QA and BoolQ datasets. We show that our annotations can be used to train a model that extracts improved evidence spans compared to models that rely on existing resources. We confirm our findings with a user study which shows that our extracted evidence spans enhance the user experience. We also provide further insight into the challenges of answering boolean questions, such as passages containing conflicting YES and NO answers, and varying degrees of relevance of the predicted evidence.


title: Filling gaps in trustworthy development of AI

abstract: The range of application of artificial intelligence (AI) is vast, as is the potential for harm. Growing awareness of potential risks from AI systems has spurred action to address those risks, while eroding confidence in AI systems and the organizations that develop them. A 2019 study found over 80 organizations that published and adopted "AI ethics principles'', and more have joined since. But the principles often leave a gap between the "what" and the "how" of trustworthy AI development. Such gaps have enabled questionable or ethically dubious behavior, which casts doubts on the trustworthiness of specific organizations, and the field more broadly. There is thus an urgent need for concrete methods that both enable AI developers to prevent harm and allow them to demonstrate their trustworthiness through verifiable behavior. Below, we explore mechanisms (drawn from arXiv:2004.07213) for creating an ecosystem where AI developers can earn trust - if they are trustworthy. Better assessment of developer trustworthiness could inform user choice, employee actions, investment decisions, legal recourse, and emerging governance regimes.


title: Assessing Human Interaction in Virtual Reality With Continually Learning Prediction Agents Based on Reinforcement Learning Algorithms: A Pilot Study

abstract: Artificial intelligence systems increasingly involve continual learning to enable flexibility in general situations that are not encountered during system training. Human interaction with autonomous systems is broadly studied, but research has hitherto under-explored interactions that occur while the system is actively learning, and can noticeably change its behaviour in minutes. In this pilot study, we investigate how the interaction between a human and a continually learning prediction agent develops as the agent develops competency. Additionally, we compare two different agent architectures to assess how representational choices in agent design affect the human-agent interaction. We develop a virtual reality environment and a time-based prediction task wherein learned predictions from a reinforcement learning (RL) algorithm augment human predictions. We assess how a participant's performance and behaviour in this task differs across agent types, using both quantitative and qualitative analyses. Our findings suggest that human trust of the system may be influenced by early interactions with the agent, and that trust in turn affects strategic behaviour, but limitations of the pilot study rule out any conclusive statement. We identify trust as a key feature of interaction to focus on when considering RL-based technologies, and make several recommendations for modification to this study in preparation for a larger-scale investigation. A video summary of this paper can be found at https://youtu.be/oVYJdnBqTwQ .


title: Depth-resolved vascular profile features for artery-vein classification in OCT and OCT angiography of human retina

abstract: This study is to characterize reflectance profiles of retinal blood vessels in optical coherence tomography (OCT), and to validate these vascular features to guide artery-vein classification in OCT angiography (OCTA) of human retina. Depth-resolved OCT reveals unique features of retinal arteries and veins. Retinal arteries show hyper-reflective boundaries at both upper (inner side towards the vitreous) and lower (outer side towards the choroid) walls. In contrary, retinal veins reveal hyper-reflectivity at the upper boundary only. Uniform lumen intensity was observed in both small and large arteries. However, the vein lumen intensity was dependent on the vessel size. Small veins exhibit a hyper-reflective zone at the bottom half of the lumen, while large veins show a hypo-reflective zone at the bottom half of the lumen


title: 3d dualities with decoupled sectors and brane transitions

abstract: We find exact relations among the sphere partition functions of three-dimensional $\mathcal{N}=4$ superconformal Chern-Simons theories with circular quiver diagrams. These relations suggest new dualities in gauge theories which are the products of circular quiver gauge theories and decoupled linear quiver gauge theories. The dualities can be interpreted as simple brane transitions in the Hanany-Witten brane construction in type IIB string theory. Interestingly, the brane transitions cannot be generated by the Hanany-Witten transition or the ${\rm SL}\left(2,\mathbb{Z}\right)$ transformation. Our results can be regarded as generalization and clarification of dualities implied from Weyl symmetries of quantum curves. To obtain the exact results, we employ the supersymmetric localization technique and the Fermi gas approach.


title: Size limits sensitivity in all kinetic schemes

abstract: Living things benefit from exquisite molecular sensitivity in many of their key processes, including DNA replication, transcription and translation, chemical sensing, and morphogenesis. At thermodynamic equilibrium, the basic biophysical mechanism for sensitivity is cooperative binding, for which it can be shown that the Hill coefficient, a sensitivity measure, cannot exceed the number of binding sites. Generalizing this fact, we find that for any kinetic scheme, at or away from thermodynamic equilibrium, a very simple structural quantity, the size of the support of a perturbation, always limits the effective Hill coefficient. This support bound sheds light on and unifies diverse sensitivity mechanisms, ranging from kinetic proofreading to a nonequilibrium Monod-Wyman-Changeux (MWC) model proposed for the E. coli flagellar motor switch, and represents a simple, precise bridge between experimental observations and the models we write down. In pursuit of mechanisms that saturate the support bound, we find a nonequilibrium binding mechanism, nested hysteresis, with sensitivity exponential in the number of binding sites, with implications for our understanding of models of gene regulation.


title: The dark mass signature in the orbit of S2

abstract: Aims. We explore a strategy for how the Schwarzschild and mass precessions can be separated from each other despite their secular interference, by pinpointing their signatures within a single orbit. From these insights, we then seek to assess the prospects for improving the dark mass constraints in the coming years. Methods. We analysed the dependence of the osculating orbital elements and of the observables on true anomaly, and we compared these functions for models with and without extended mass. We then translated the maximum astrometric impacts within one orbit to detection thresholds given hypothetical data of different accuracies. These theoretical investigations were then supported and complemented by an extensive mock-data fitting analysis. Results. We have four main results. 1. While the mass precession almost exclusively impacts the orbit in the apocentre half, the Schwarzschild precession almost exclusively impacts it in the pericentre half, allowing for a clear separation of the effects. 2. Data that are limited to the pericentre half are not sensitive to a dark mass, while data limited to the apocentre half are, but only to a limited extent. 3. A full orbit of data is required to substantially constrain a dark mass. 4. For a full orbit of astrometric and spectroscopic data, the astrometric component in the pericentre half plays the stronger role in constraining the dark mass than the astrometric data in the apocentre half. Furthermore, we determine the 1{\sigma} dark mass detection thresholds given different datasets on one full orbit. In particular, with a full orbit of data of 50 microarcseconds (VLTI/GRAVITY) and 10 km/s (VLT/SINFONI) precision, the 1{\sigma} bound would improve to about 1000 solar masses, for example.

categories: astro-ph.GA astro-ph.HE astro-ph.IM gr-qc


title: Learning Rigidity-based Flocking Control with Gaussian Processes

abstract: Flocking control of multi-agents system is challenging for agents with partially unknown dynamics. This paper proposes an online learning-based controller to stabilize flocking motion of double-integrator agents with additional unknown nonlinear dynamics by using Gaussian processes (GP). Agents interaction is described by a time-invariant infinitesimally minimally rigid undirected graph. We provide a decentralized control law that exponentially stabilizes the motion of the agents and captures Reynolds boids motion for swarms by using GPs as an online learning-based oracle for the prediction of the unknown dynamics. In particular the presented approach guarantees a probabilistic bounded tracking error with high probability.


title: Quantitative optical coherence tomography reveals rod photoreceptor degeneration in early diabetic retinopathy

abstract: Purpose: This study is to test the feasibility of optical coherence tomography (OCT) detection of photoreceptor abnormality and to verify the photoreceptor abnormality is rod predominated in early DR . Methods: OCT images were acquired from normal eyes, diabetic eyes with no diabetic retinopathy (NoDR) and mild DR. Quantitative features, including length features quantifying band distances and reflectance intensity features among the external limiting membrane (ELM), inner segment ellipsoid (ISe), interdigitation zone (IZ) and retinal pigment epithelium (RPE) were determined. Comparative OCT analysis of central fovea, parafovea and perifovea were implemented to verify the photoreceptor abnormality is rod predominated in early DR. Results: Length abnormalities between the ISe and IZ also showed a decreasing trend among cohorts. Reflectance abnormalities of the ELM, IZ and ISe were observed between healthy, NoDR, and Mild DR eyes. The normalized ISe/RPE intensity ratio revealed a significant decreasing trend in the perifovea, but no detectable difference in central fovea. Conclusions: Quantitative OCT analysis consistently revealed outer retina, i.e., photoreceptor, changes in diabetic patients with NoDR and mild DR. Comparative analysis of central fovea, parafovea and perifovea confirmed the photoreceptor abnormality is rod predominated in early DR.


title: Order Fractionalization in a Kitaev-Kondo model

abstract: We describe a mechanism for order fractionalization in a two-dimensional Kondo lattice model, in which electrons interact with a gapless spin liquid of Majorana fermions described by the Yao-Lee (YL) model. When the Kondo coupling to the conduction electrons exceeds a critical value, the model develops a superconducting instability into a state where the spinor order parameter carries charge $e$ and spin $S=1/2$. The broken symmetry state develops a gapless Majorana Dirac cone in the bulk. By including an appropriate gauge string, we can show that the charge $e$, spinorial order develops off-diagonal long range order that allows electrons to coherently tunnel arbitrarily long distances through the spin liquid.


title: Deciphering antibody affinity maturation with language models and weakly supervised learning

abstract: In response to pathogens, the adaptive immune system generates specific antibodies that bind and neutralize foreign antigens. Understanding the composition of an individual's immune repertoire can provide insights into this process and reveal potential therapeutic antibodies. In this work, we explore the application of antibody-specific language models to aid understanding of immune repertoires. We introduce AntiBERTy, a language model trained on 558M natural antibody sequences. We find that within repertoires, our model clusters antibodies into trajectories resembling affinity maturation. Importantly, we show that models trained to predict highly redundant sequences under a multiple instance learning framework identify key binding residues in the process. With further development, the methods presented here will provide new insights into antigen binding from repertoire sequences alone.


title: Online antisemitism across platforms

abstract: We created a fine-grained AI system for the detection of antisemitism. This Explainable AI will identify English and German anti-Semitic expressions of dehumanization, verbal aggression and conspiracies in online social media messages across platforms, to support high-level decision making.


title: Navigating the corporate disclosure gap: Modelling of Missing Not at Random Carbon Data

abstract: Corporate carbon emissions data is disclosed by approximately 65% of large and mid-sized companies globally, despite being a key indicator of corporate climate performance. With investors increasingly looking to integrate climate risk into their investment strategies and risk reporting, this creates demand for robust prediction models that can generate reliable estimates for missing carbon disclosures. However, these estimates lack transparency and are frequently used in the investment decisions process with the same confidence as corporate reported data. As disclosures remain mostly voluntary and the propensity to disclose is shaped by several factors (e.g. size, sector, geography), missing emissions data should be assumed to be missing not at random (MNAR). However, widely used estimation methods (e.g. linear regression models) typically do not correct for MNAR bias and do not accurately reflect the uncertainty of estimated data. The objective of this paper is to address these issues: (1) account for the uncertainty of the missing data and thus obtain regression coefficients by multiple imputation (MI) (2) correct for potential bias by using MI algorithms based on Heckman's sample selection model introduced by Galimard et al. (3) estimate missing carbon disclosures with linear models based on MI and report on the uncertainty of predicted values, measured as the length of the prediction interval. In the simulation, our approach resulted in an accuracy gain based on root mean squared error of up to 30%, and up to a 40% higher coverage rate than the existing models. When applied to commercial data, the results suggested up to 20% higher coverage for proposed methods.


title: Variable Selection and Regularization via Arbitrary Rectangle-range Generalized Elastic Net

abstract: We introduce the arbitrary rectangle-range generalized elastic net penalty method, abbreviated to ARGEN, for performing constrained variable selection and regularization in high-dimensional sparse linear models. As a natural extension of the nonnegative elastic net penalty method, ARGEN is proved to have variable selection consistency and estimation consistency under some conditions. The asymptotic behavior in distribution of the ARGEN estimators have been studied. We also propose an algorithm called MU-QP-RR-W-$l_1$ to efficiently solve ARGEN. By conducting simulation study we show that ARGEN outperforms the elastic net in a number of settings. Finally an application of S&P 500 index tracking with constraints on the stock allocations is performed to provide general guidance for adapting ARGEN to solve real-world problems.


title: Consequences of regularization ambiguities in Loop Quantum Cosmology

abstract: Ambiguities of the so-called Thiemann regularization in Loop Quantum Cosmology lead to freedom in how to construct a particular quantization prescription. So far three distinct examples of such have been proposed in the literature. For two of them, detailed analysis has been already performed in the literature. In this thesis, the methodology developed for these is applied to study in detail the third one, which will be referred to as mLQC-II. In particular, the mathematical properties of the operator of the quantum version of full Hamiltonian constraint are examined. These properties indicate that the evolution of the system is uniquely determined. Furthermore, an investigation of dynamics is performed by finding the expectation value of the volume as a function of the scalar field and constants of motion. This result is next compared to the trajectories predicted with the so-called effective dynamics. Finally, the main properties of studied prescription are compared against those of other (already investigated) ones.


title: Revisiting 3D Object Detection From an Egocentric Perspective

abstract: 3D object detection is a key module for safety-critical robotics applications such as autonomous driving. For these applications, we care most about how the detections affect the ego-agent's behavior and safety (the egocentric perspective). Intuitively, we seek more accurate descriptions of object geometry when it's more likely to interfere with the ego-agent's motion trajectory. However, current detection metrics, based on box Intersection-over-Union (IoU), are object-centric and aren't designed to capture the spatio-temporal relationship between objects and the ego-agent. To address this issue, we propose a new egocentric measure to evaluate 3D object detection, namely Support Distance Error (SDE). Our analysis based on SDE reveals that the egocentric detection quality is bounded by the coarse geometry of the bounding boxes. Given the insight that SDE would benefit from more accurate geometry descriptions, we propose to represent objects as amodal contours, specifically amodal star-shaped polygons, and devise a simple model, StarPoly, to predict such contours. Our experiments on the large-scale Waymo Open Dataset show that SDE better reflects the impact of detection quality on the ego-agent's safety compared to IoU; and the estimated contours from StarPoly consistently improve the egocentric detection quality over recent 3D object detectors.


title: CdS/CdSe/CdS spherical quantum wells as single-photon sources

abstract: We have synthesized CdS(1.3 nm)/CdSe(1.7 nm)/CdS(3.4 nm) spherical quantum wells with 13 nm diameter and demonstrated the first antibunching of their emission, labelling them as single-photon sources. Antibunching survives even at high excitation intensities, ruling-out bi-exciton emission. For the largest intensities, antibunching coupled to spectral measurements, reveal the signature of a blue-shifted emission, associated to an irreversible photo-aging effect. We demonstrate a moderate correlation between the main and the blue-shifted emission energy. Intensity-timetraces show low-blinking, with a median time spent in the bright state of 89 %. Emission lifetime measurements reveal a complex emission dynamic with either three or four components. While spherical quantum wells have been initially designed for laser-oriented applications, we demonstrate that they can serve as single-photon sources.


title: FLOWER: A comprehensive dataflow compiler for high-level synthesis

abstract: FPGAs have found their way into data centers as accelerator cards, making reconfigurable computing more accessible for high-performance applications. At the same time, new high-level synthesis compilers like Xilinx Vitis and runtime libraries such as XRT attract software programmers into the reconfigurable domain. While software programmers are familiar with task-level and data-parallel programming, FPGAs often require different types of parallelism. For example, data-driven parallelism is mandatory to obtain satisfactory hardware designs for pipelined dataflow architectures. However, software programmers are often not acquainted with dataflow architectures - resulting in poor hardware designs. In this work we present FLOWER, a comprehensive compiler infrastructure that provides automatic canonical transformations for high-level synthesis from a domain-specific library. This allows programmers to focus on algorithm implementations rather than low-level optimizations for dataflow architectures. We show that FLOWER allows to synthesize efficient implementations for high-performance streaming applications targeting System-on-Chip and FPGA accelerator cards, in the context of image processing and computer vision.


title: Maximum Bayes Smatch Ensemble Distillation for AMR Parsing

abstract: AMR parsing has experienced an unprecendented increase in performance in the last three years, due to a mixture of effects including architecture improvements and transfer learning. Self-learning techniques have also played a role in pushing performance forward. However, for most recent high performant parsers, the effect of self-learning and silver data augmentation seems to be fading. In this paper we propose to overcome this diminishing returns of silver data by combining Smatch-based ensembling techniques with ensemble distillation. In an extensive experimental setup, we push single model English parser performance to a new state-of-the-art, 85.9 (AMR2.0) and 84.3 (AMR3.0), and return to substantial gains from silver data augmentation. We also attain a new state-of-the-art for cross-lingual AMR parsing for Chinese, German, Italian and Spanish. Finally we explore the impact of the proposed technique on domain adaptation, and show that it can produce gains rivaling those of human annotated data for QALD-9 and achieve a new state-of-the-art for BioAMR.


title: A Simple But Powerful Graph Encoder for Temporal Knowledge Graph Completion

abstract: Knowledge graphs contain rich knowledge about various entities and the relational information among them, while temporal knowledge graphs (TKGs) describe and model the interactions of the entities over time. In this context, automatic temporal knowledge graph completion (TKGC) has gained great interest. Recent TKGC methods integrate advanced deep learning techniques, e.g., Transformers, and achieve superior model performance. However, this also introduces a large number of excessive parameters, which brings a heavier burden for parameter optimization. In this paper, we propose a simple but powerful graph encoder for TKGC, called TARGCN. TARGCN is parameter-efficient, and it extensively explores every entity's temporal context for learning contextualized representations. We find that instead of adopting various kinds of complex modules, it is more beneficial to efficiently capture the temporal contexts of entities. We experiment TARGCN on three benchmark datasets. Our model can achieve a more than 46% relative improvement on the GDELT dataset compared with state-of-the-art TKGC models. Meanwhile, it outperforms the strongest baseline on the ICEWS05-15 dataset with around 18% fewer parameters.


title: Frame-guided assembly from a theoretical perspective

abstract: The molecular self-assembly of various structures such as micelles and vesicles has been the subject of comprehensive studies. Recently, a new approach to design these structures, the frame-guided assembly, has been developed to progress towards fabrics of predefined shape and size, following an initially provided frame of guiding elements. Here we study frame-guided assembly into a two-dimensional membrane via computer simulations, based on a single-bead coarse grained surfactant model in continuous space. In agreement with the experiment the assembly process already starts for surfactant concentrations below the critical micelle concentration. Furthermore, upon decreasing temperature the formation process gets more localized. Additionally, we consider a lattice gas model of the membrane plane including guiding elements where the particle concentration is varied via a chemical potential. It behaves similar to the continuous model and additionally allows the formulation of analytical mean-field predictions which provide a fundamental understanding of frame-guided assembly.


title: Anomaly Detection in Particle Accelerators using Autoencoders

abstract: The application of machine learning techniques for anomaly detection in particle accelerators has gained popularity in recent years. These efforts have ranged from the analysis of quenches in radio frequency cavities and superconducting magnets to anomalous beam position monitors, and even losses in rings. Using machine learning for anomaly detection can be challenging owing to the inherent imbalance in the amount of data collected during normal operations as compared to during faults. Additionally, the data are not always labeled and therefore supervised learning is not possible. Autoencoders, neural networks that form a compressed representation and reconstruction of the input data, are a useful tool for such situations. Here we explore the use of autoencoder reconstruction analysis for the prediction of magnet faults in the Advanced Photon Source (APS) storage ring at Argonne National Laboratory.


title: Review of Factor Graphs for Robust GNSS Applications

abstract: Factor graphs have recently emerged as an alternative solution method for GNSS positioning. In this article, we review how factor graphs are implemented in GNSS, some of their advantages over Kalman Filters, and their importance in making positioning solutions more robust to degraded measurements. We also talk about how factor graphs can be an important tool for the field radio-navigation community.


title: Pullback of a quasiconformal map between arbitrary metric measure spaces

abstract: We prove that every (geometrically) quasiconformal homeomorphism between metric measure spaces induces an isomorphism between the cotangent modules constructed by Gigli. We obtain this by first showing that every continuous mapping $\varphi$ with bounded outer dilatation induces a pullback map $\varphi^*$ between the cotangent modules of Gigli, and then proving the functorial nature of the resulting pullback operator. Such pullback is consistent with the differential for metric-valued locally Sobolev maps introduced by Gigli-Pasqualetto-Soultanis. Using the consistency between Gigli's and Cheeger's cotangent modules for PI spaces, we prove that quasiconformal homeomorphisms between PI spaces preserve the dimension of Cheeger charts, thereby generalizing earlier work by Heinonen-Koskela-Shanmugalingam-Tyson. Finally, we show that if $\varphi$ is a given homeomorphism with bounded outer dilatation, then $\varphi^{-1}$ has bounded outer dilatation if and only if $\varphi^{*}$ is invertible and $\varphi^{-1}$ is Sobolev. In contrast to the setting of Euclidean spaces, Carnot groups, or more generally, Ahlfors regular PI spaces, the Sobolev regularity of $\varphi^{-1}$ needs to be assumed separately.


title: The Geometry of Decoupling Fields

abstract: We consider 4d field theories obtained by reducing the 6d (1,0) SCFT of $N$ M5-branes probing a $\mathbb C^2/\mathbb Z_k$ singularity on a Riemann surface with fluxes. We follow two different routes. On the one hand, we consider the integration of the anomaly polynomial of the parent 6d SCFT on the Riemann surface. On the other hand, we perform an anomaly inflow analysis directly from eleven dimensions, from a setup with M5-branes probing a resolved $\mathbb C^2/\mathbb Z_k$ singularity fibered over the Riemann surface. By comparing the 4d anomaly polynomials, we provide a characterization of a class of modes that decouple along the RG flow from six to four dimensions, for generic $N$, $k$, and genus. These modes are identified with the flip fields encountered in the Lagrangian descriptions of these 4d models, when they are available. We show that such fields couple to operators originating from M2-branes wrapping the resolution cycles. This provides a geometric origin of flip fields. They interpolate between the 6d theory in the UV, where the M2-brane operators are projected out, and the 4d theory in the IR, where these M2-brane operators are part of the spectrum.


title: Picard modular groups generated by complex reflections

abstract: In this short note we use the presentations found in \cite{MP} and \cite{Po} to show that the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ with $d=1,3,7$ (respectively the quaternion hyperbolic lattice ${\rm PSp}(2,1,\mathcal{H})$ with entries in the Hurwitz integer ring $\mathcal{H}$) are generated by complex (resp. quaternionic) reflections, and that the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ with $d=2,11$ have an index 4 subgroup generated by complex reflections.


title: Public key cryptography based on twisted dihedral group algebras

abstract: In this paper, we propose to use a twisted dihedral group algebra for public-key cryptography. For this, we introduce a new $2$-cocycle $\alpha_{\lambda}$ to twist the dihedral group algebra. Using the ambient space $\mathbb{F}^{\alpha_{\lambda}} D_{2n}$, we then introduce a key exchange protocol and present an analysis of its security. Moreover, we explore the properties of the resulting twisted algebra $\mathbb{F}^{\alpha_{\lambda}}D_{2n}$, exploiting them to enhance our key exchange protocol. We also introduce a probabilistic public-key scheme derived from our key-exchange protocol and obtain a key encapsulation mechanism (KEM) by applying a well-known generic transformation to our public-key scheme. Finally, we present a proof-of-concept implementation of the resulting key encapsulation mechanism.


title: Metallicity in Quasar Broad Line Regions at Redshift $\sim$ 6

abstract: Broad line regions (BLRs) in high-redshift quasars provide crucial information of chemical enrichment in the early universe. Here we present a study of BLR metallicities in 33 quasars at redshift $5.7<z<6.4$. Using the near-IR spectra of the quasars obtained from the Gemini telescope, we measure their rest-frame UV emission line flux and calculate flux ratios. We then estimate BLR metallicities with empirical calibrations based on photoionization models. The inferred median metallicity of our sample is a few times the solar value, indicating that the BLR gas had been highly metal-enriched at $z\sim6$. We compare our sample with a low-redshift quasar sample with similar luminosities and find no evidence of redshift evolution in quasar BLR metallicities. This is consistent with previous studies. The Fe II$/$Mg II flux ratio, a proxy for the Fe$/\alpha$ element abundance ratio, shows no redshift evolution as well, further supporting rapid nuclear star formation at $z\sim6$. We also find that the black hole mass-BLR metallicity relation at $z\sim6$ is consistent with the relation measured at $2<z<5$, suggesting that our results are not biased by a selection effect due to this relation.


title: The Magellan M2FS Spectroscopic Survey of High-$z$ Galaxies: Ly{\alpha} Emitters at $z\approx6.6$ and the Evolution of Ly{\alpha} Luminosity Function over $z\approx5.7-6.6$

abstract: We present a sample of Ly{\alpha} emitters (LAEs) at $z\approx6.6$ from our spectroscopic survey of high-redshift galaxies using the multi-object spectrograph M2FS on the Magellan Clay telescope. The sample consists of 36 LAEs selected by the narrow-band (NB921) technique over nearly 2 deg$^2$ in the sky. These galaxies generally have high Ly{\alpha} luminosities spanning a range of ${\sim}3\times10^{42}{-}7\times10^{43}$ erg s$^{-1}$, and include some of the most Ly{\alpha}-luminous galaxies known at this redshift. They show a positive correlation between the Ly{\alpha} line width and Ly{\alpha} luminosity, similar to the relation previously found in $z\approx5.7$ LAEs. Based on the spectroscopic sample, we calculate a sophisticated sample completeness correction and derive the Ly{\alpha} luminosity function (LF) at $z\approx6.6$. We detect a density bump at the bright end of the Ly{\alpha} LF that is significantly above the best-fit Schechter function, suggesting that very luminous galaxies tend to reside in overdense regions that have formed large ionized bubbles around them. By comparing with the $z\approx5.7$ Ly{\alpha} LF, we confirm that there is a rapid LF evolution at the faint end, but a lack of evolution at the bright end. The fraction of the neutral hydrogen in the intergalactic medium at $z\approx6.6$ estimated from such a rapid evolution is about $\sim0.3\pm0.1$, supporting a rapid and rather late process of cosmic reionization.


title: Quasar UV Luminosity Function at $3.5<z<5.0$ from SDSS Deep Imaging Data

abstract: We present a well-designed sample of more than 1000 type 1 quasars at $3.5<z<5$ and derive UV quasar luminosity functions (QLFs) in this redshift range. These quasars were selected using the Sloan Digital Sky Survey (SDSS) imaging data in SDSS Stripe 82 and overlap regions with repeat imaging observations. They are about one magnitude fainter than those found using the SDSS single-epoch data. The spectroscopic observations were conducted by the SDSS-III Baryon Oscillation Spectroscopic Survey (BOSS) as one of the BOSS ancillary programs. This quasar sample reaches $i\sim21.5$ mag and bridges previous samples from brighter surveys and deeper surveys. We use a $1/V_\mathrm{a}$ method to derive binned QLFs at $3.6<z<4.0$, $4.0<z<4.5$, and $4.5<z<4.9$, and use a double-power law model to parameterize the QLFs. We also combine our data with those in the literature to better constrain the QLFs in the context of a much wider luminosity baseline. We find that the faint-end and bright-end slopes of the QLFs in this redshift range are around $-1.7$ and $-3.7$, respectively, with uncertainties from 0.2$-$0.3 to $>0.5$. The evolution of the QLFs from $z\sim5$ to $3.5$ can be described by a pure density evolution model ($\propto10^{kz}$) and the parameter $k$ is similar to that at $5<z<7$, suggesting a nearly uniform evolution of the quasar density at $z=3.5-7$.


title: Reply to: Three papers regarding the origin of GN-z11-flash

abstract: In Jiang et al., we detected a bright flash (hereafter GN-z11-flash) that appeared as compact continuum emission during our Keck MOSFIRE observations of the galaxy GN-z11 at z ~ 11. We performed a comprehensive analysis of the origin of the flash using all available information and our current understanding of known man-made objects or moving objects in the solar system. We found that GN-z11-flash was likely a rest-frame UV flash associated with a long gamma-ray burst (GRB) from GN-z11. Recently, Steinhardt et al., Michalowski et al., and Nir et al. reported that GN-z11-flash was more likely from a satellite. While one cannot completely rule out the possibility of unknown satellites (or debris), we find that either the chance probabilities of being a satellite estimated by these authors have been largely overestimated or their identified satellites have been ruled out in our original analysis. Our new calculations show that the probability of GN-z11-flash being a satellite is still lower than that of it being a signal originated from GN-z11.


title: Lectures on Classical Mechanics -- A Didactical Approach to Higher Mathematics

abstract: The aim of this paper is twofold: First, we give a formal introduction to the basics of the mathematical framework of classical mechanics. Along the way, we prove a Hamiltonian and a Lagrangian version of Noether's Theorem, an important result concerning continuous symmetries of physical systems. At the end, we prove a new statement about orbit cylinders on homotopies of stable regular energy hypersurfaces. The main question we answer is what is the dynamical meaning of stability? The second aim is to provide a didactical framework for introducing advanced mathematics, which can also be of used in other topics. A broad range of established methods belonging to the realm of cognitive activation as well as formative assessment techniques are used.


title: Tackling the Generative Learning Trilemma with Denoising Diffusion GANs

abstract: A wide variety of deep generative models has been developed in the past decade. Yet, these models often struggle with simultaneously addressing three key requirements including: high sample quality, mode coverage, and fast sampling. We call the challenge imposed by these requirements the generative learning trilemma, as the existing models often trade some of them for others. Particularly, denoising diffusion models have shown impressive sample quality and diversity, but their expensive sampling does not yet allow them to be applied in many real-world applications. In this paper, we argue that slow sampling in these models is fundamentally attributed to the Gaussian assumption in the denoising step which is justified only for small step sizes. To enable denoising with large steps, and hence, to reduce the total number of denoising steps, we propose to model the denoising distribution using a complex multimodal distribution. We introduce denoising diffusion generative adversarial networks (denoising diffusion GANs) that model each denoising step using a multimodal conditional GAN. Through extensive evaluations, we show that denoising diffusion GANs obtain sample quality and diversity competitive with original diffusion models while being 2000$\times$ faster on the CIFAR-10 dataset. Compared to traditional GANs, our model exhibits better mode coverage and sample diversity. To the best of our knowledge, denoising diffusion GAN is the first model that reduces sampling cost in diffusion models to an extent that allows them to be applied to real-world applications inexpensively. Project page and code can be found at https://nvlabs.github.io/denoising-diffusion-gan


title: Network Graph Based Neural Architecture Search

abstract: Neural architecture search enables automation of architecture design. Despite its success, it is computationally costly and does not provide an insight on how to design a desirable architecture. Here we propose a new way of searching neural network where we search neural architecture by rewiring the corresponding graph and predict the architecture performance by graph properties. Because we do not perform machine learning over the entire graph space and use predicted architecture performance to search architecture, the searching process is remarkably efficient. We find graph based search can give a reasonably good prediction of desirable architecture. In addition, we find graph properties that are effective to predict architecture performance. Our work proposes a new way of searching neural architecture and provides insights on neural architecture design.


title: Representation Alignment in Neural Networks

abstract: It is now a standard for neural network representations to be trained on large, publicly available datasets, and used for new problems. The reasons for why neural network representations have been so successful for transfer, however, are still not fully understood. In this paper we show that, after training, neural network representations align their top singular vectors to the targets. We investigate this representation alignment phenomenon in a variety of neural network architectures and find that (a) alignment emerges across a variety of different architectures and optimizers, with more alignment arising from depth (b) alignment increases for layers closer to the output and (c) existing high-performance deep CNNs exhibit high levels of alignment. We then highlight why alignment between the top singular vectors and the targets can speed up learning and show in a classic synthetic transfer problem that representation alignment correlates with positive and negative transfer to similar and dissimilar tasks.


title: Testing spatial curvature and anisotropic expansion on top of the $\Lambda$CDM model

abstract: We explore the possible advantages of extending the $\Lambda$CDM model by more realistic backgrounds compared to its spatially flat RW spacetime assumption, while preserving the underpinning physics; in particular, by simultaneously allowing non-zero spatial curvature and anisotropic expansion on top of it, viz., the An-$o\Lambda$CDM model. This is to test whether the latest data support spatial flatness and/or isotropic expansion, and, if not, to explore the roles of spatial curvature and expansion anisotropy (due to its stiff fluid-like behavior) in addressing some of the cosmological tensions. We first present the theoretical background and explicit mathematical construction of An-$o\Lambda$CDM; combining the simplest anisotropic generalizations of the RW spacetime, viz., the Bianchi type I, V, and IX spacetimes. Then we constrain this model and its particular cases, viz., An-$\Lambda$CDM, $o\Lambda$CDM, and $\Lambda$CDM, by using the data sets from different probes, viz., Planck CMB(+Lens), BAO, SnIa Pantheon, and CC data, and discuss the results. Ultimately, we conclude that, within the setup under consideration, (i) the data confirm the spatial flatness and isotropic expansion, though a very small amount of present-day expansion anisotropy cannot be excluded, e.g., $\Omega_{\sigma0}\lesssim10^{-18}$ (95\% C.L.) for An-$\Lambda$CDM from CMB+Lens, (ii) the introduction of spatial curvature or anisotropic expansion, or both, on top $\Lambda$CDM does not offer a possible relaxation to the $H_0$ tension, and (iii) the introduction of anisotropic expansion neither affects the closed space prediction from CMB(+Lens) nor does it improve the drastically reduced value of $H_0$ led by the closed space. We discuss why it is important and indispensable to maintain the geometric generalization work program, especially in models that offer solutions to cosmological tensions. [abridged]


title: Huygens' principle for the spin-1/2 particle in spacetime of non-constant curvature

abstract: In this article we give sufficient and necessary conditions for the validity of the Huygens' principle for the Dirac operator in the non-constant curvature spacetime of the Friedmann-Lema\^itre-Robertson-Walker models of cosmology. The Huygens' principle discussed for the equation of a particle with mass $m=0$ as well as a massive spin-1/2 particle (field) undergoing a red shift of its wavelength as the universe expands.


title: On a General Method for Resolving Integrals of Multiple Spherical Bessel Functions Against Power Laws into Distributions

abstract: We here present a method of performing integrals of products of spherical Bessel functions (SBFs) weighted by a power-law. Our method, which begins with double-SBF integrals, exploits a differential operator $\hat{D}$ defined via Bessel's differential equation. Application of this operator raises the power-law in steps of two. We also here display a suitable base integral expression to which this operator can be applied for both even and odd cases. We test our method by showing that it reproduces previously-known solutions. Importantly, it also goes beyond them, offering solutions in terms of singular distributions, Heaviside functions, and Gauss's hypergeometric,$\;_2{\rm F}_1$ for $all$ double-SBF integrals with positive semi-definite integer power-law weight. We then show how our method for double-SBF integrals enables evaluating $arbitrary$ triple-SBF overlap integrals, going beyond the cases currently in the literature. This in turn enables reduction of arbitrary quadruple, quintuple, and sextuple-SBF integrals and beyond into tractable forms.


title: Counting and optimising maximum phylogenetic diversity sets

abstract: In conservation biology, phylogenetic diversity (PD) provides a way to quantify the impact of the current rapid extinction of species on the evolutionary `Tree of Life'. This approach recognises that extinction not only removes species but also the branches of the tree on which unique features shared by the extinct species arose. In this paper, we investigate three questions that are relevant to PD. The first asks how many sets of species of given size $k$ preserve the maximum possible amount of PD in a given tree. The number of such maximum PD sets can be very large, even for moderate-sized phylogenies. We provide a combinatorial characterisation of maximum PD sets, focusing on the setting where the branch lengths are ultrametric (e.g. proportional to time). This leads to a polynomial-time algorithm for calculating the number of maximum PD sets of size $k$ by applying a generating function; we also investigate the types of tree shapes that harbour the most (or fewest) maximum PD sets of size $k$. Our second question concerns optimising a linear function on the species (regarded as leaves of the phylogenetic tree) across all the maximum PD sets of a given size. Using the characterisation result from the first question, we show how this optimisation problem can be solved in polynomial time, even though the number of maximum PD sets can grow exponentially. Our third question considers a dual problem: If $k$ species were to become extinct, then what is the largest possible {\em loss} of PD in the resulting tree? For this question, we describe a polynomial-time solution based on dynamical programming.


title: Machine Learning Classification to Identify Catastrophic Outlier Photometric Redshift Estimates

abstract: We present results of using a basic binary classification neural network model to identify likely catastrophic outlier photometric redshift estimates of individual galaxies, based only on the galaxies' measured photometric band magnitude values. We find that a simple implementation of this classification can identify a significant fraction of galaxies with catastrophic outlier photometric redshift estimates while falsely categorizing only a much smaller fraction of non-outliers. These methods have the potential to reduce the errors introduced into science analyses by catastrophic outlier photometric redshift estimates.


title: Structure-Aware Image Segmentation with Homotopy Warping

abstract: Besides per-pixel accuracy, topological correctness is also crucial for the segmentation of images with fine-scale structures, e.g., satellite images and biomedical images. In this paper, by leveraging the theory of digital topology, we identify pixels in an image that are critical for topology. By focusing on these critical pixels, we propose a new homotopy warping loss to train deep image segmentation networks for better topological accuracy. To efficiently identify these topologically critical pixels, we propose a new algorithm exploiting the distance transform. The proposed algorithm, as well as the loss function, naturally generalize to different topological structures in both 2D and 3D settings. The proposed loss function helps deep nets achieve better performance in terms of topology-aware metrics, outperforming state-of-the-art structure/topology-aware segmentation methods.


title: Novel transport phenomena in graphene induced by strong spin-orbit interaction

abstract: Graphene is known to have small intrinsic spin-orbit Interaction (SOI). In this review, we demonstrate that SOIs in graphene can be strongly enhanced by proximity effect when graphene is deposited on the top of transition metal dichalcogenides. We discuss the symmetry of the induced SOIs and differences between TMD underlayers in the capacity of inducing strong SOIs in graphene. The strong SOIs contribute to bring novel phenomena to graphene, exemplified by robust supercurrents sustained even under tesla-range magnetic fields.


title: Analytical and numerical investigation on the tempered time-fractional operator with application to the Bloch equation and the two-layered problem

abstract: In the continuous time random walk model, the time-fractional operator usually expresses an infinite waiting time probability density. Different from that usual setting, this work considers the tempered time-fractional operator, which reflects a finite waiting time probability density. Firstly, we analyse the solution of a tempered benchmark problem, which shows a weak singularity near the initial time. The L1 scheme on graded mesh and the WSGL formula with correction terms are adapted to deal with the non-smooth solution, in which we compare these two methods systematically in terms of the convergence and consumed CPU time. Furthermore, a fast calculation for the time tempered Caputo fractional derivative is developed based on a sum-of-exponentials approximation, which significantly reduces the running time. Moreover, the tempered operator is applied to the Bloch equation in nuclear magnetic resonance and a two-layered problem with composite material exhibiting distinct memory effects, for which both the analytical (or semi-analytical) and numerical solutions are derived using transform techniques and finite difference methods. Data fitting results verify that the tempered time-fractional model is much effective to describe the MRI data. An important finding is that, compared with the fractional index, the tempered operator parameter could further accelerate the diffusion. The tempered model with two parameters $\alpha$ and $\rho$ are more flexible, which can avoid choosing a too small fractional index leading to low regularity and strong heterogeneity.


title: Contact feedback helps snake robots propel against uneven terrain using vertical bending

abstract: Snakes can bend their elongate bodies in various forms to traverse various environments. We understand how snakes use lateral bending to push against asperities on flat ground for propulsion, and snake robots can do so effectively. However, snakes can also use vertical bending to push against terrain of large height variation for propulsion, and they can adjust it to adapt to novel terrain presumably using mechano-sensing feedback control. Although some snake robots can traverse uneven terrain, few have used vertical bending for propulsion, and how to control it in novel environments is poorly understood. Here we systematically studied a snake robot with force sensors pushing against large bumps using vertical bending to understand the role of sensory feedback control. We compared a feedforward controller and four feedback controllers that use different senses and generate distinct bending patterns and body-terrain interaction. We challenged the robot with increasing backward load and novel terrain geometry that break its contact with the terrain. We further varied how much the feedback control modulated bending to conform to or push against the terrain to test their effects. Feedforward propagation of vertical bending generated large propulsion when the shape matched terrain geometry. However, when perturbations caused loss of contact, the robot easily lost propulsion or had motor overload. Contact feedback control resolved these by improving contact. Yet excessive conformation interrupted propagation and excessive pushing stalled motors. Unlike that using lateral bending, for propulsion generation using vertical bending, body weight can help maintain contact with the environment but may also overload motors. Our results will help snake robots better traverse terrain with large height variation and can inform how snakes use sensory feedback to control vertical bending for propulsion.


title: Square integrals of the logarithmic derivatives of Selberg's zeta functions in the critical strip

abstract: In our previous work (https://doi.org/10.1002/mana.202000268, Math. Nachr., 2021), we proposed an upper bound of the logarithmic derivative of Selberg's zeta function for the modular groups in the critical strip. The present paper studies the growth of its square integral for the modular group, co-compact arithmetic groups derived from indefinite quaternion algebras and their subgroups.


title: Simulating Large Eliminations in Cedille

abstract: Large eliminations provide an expressive mechanism for arity- and type-generic programming. However, as large eliminations are closely tied to a type theory's primitive notion of inductive type, this expressivity is not expected within polymorphic lambda calculi in which datatypes are encoded using impredicative quantification. We report progress on simulating large eliminations for datatype encodings in one such type theory, the calculus of dependent lambda eliminations (CDLE). Specifically, we show that the expected computation rules for large eliminations, expressed using a derived type of extensional equality of types, can be proven within CDLE. We present several case studies, demonstrating the adequacy of this simulation for a variety of generic programming tasks, and a generic formulation of the simulation allowing its use for any datatype. All results have been mechanically checked by Cedille, an implementation of CDLE.


title: Pseudolocality and uniqueness of Ricci flow on almost Euclidean noncompact manifolds

abstract: In this paper, we prove a pseudolocality-type theorem for $\mathcal L$-complete noncompact Ricci flow which may not have bounded sectional curvature; with the help of it we study the uniqueness of the Ricci flow on noncompact manifolds. In particular, we prove the strong uniqueness theorem for the $\mathcal L$-complete Ricci flow on the Euclidean space. This partially answers a question proposed by B-L.~Chen.


title: Weed Recognition using Deep Learning Techniques on Class-imbalanced Imagery

abstract: Most weed species can adversely impact agricultural productivity by competing for nutrients required by high-value crops. Manual weeding is not practical for large cropping areas. Many studies have been undertaken to develop automatic weed management systems for agricultural crops. In this process, one of the major tasks is to recognise the weeds from images. However, weed recognition is a challenging task. It is because weed and crop plants can be similar in colour, texture and shape which can be exacerbated further by the imaging conditions, geographic or weather conditions when the images are recorded. Advanced machine learning techniques can be used to recognise weeds from imagery. In this paper, we have investigated five state-of-the-art deep neural networks, namely VGG16, ResNet-50, Inception-V3, Inception-ResNet-v2 and MobileNetV2, and evaluated their performance for weed recognition. We have used several experimental settings and multiple dataset combinations. In particular, we constructed a large weed-crop dataset by combining several smaller datasets, mitigating class imbalance by data augmentation, and using this dataset in benchmarking the deep neural networks. We investigated the use of transfer learning techniques by preserving the pre-trained weights for extracting the features and fine-tuning them using the images of crop and weed datasets. We found that VGG16 performed better than others on small-scale datasets, while ResNet-50 performed better than other deep networks on the large combined dataset.


title: Value Retrieval with Arbitrary Queries for Form-like Documents

abstract: We propose value retrieval with arbitrary queries for form-like documents to reduce human effort of processing forms. Unlike previous methods that only address a fixed set of field items, our method predicts target value for an arbitrary query based on the understanding of the layout and semantics of a form. To further boost model performance, we propose a simple document language modeling (SimpleDLM) strategy to improve document understanding on large-scale model pre-training. Experimental results show that our method outperforms previous designs significantly and the SimpleDLM further improves our performance on value retrieval by around 17% F1 score compared with the state-of-the-art pre-training method. Code is available at https://github.com/salesforce/QVR-SimpleDLM.


title: The Stone's Representation Theorems and compactifications of a discrete space

abstract: This paper is meant to give a short exposition of the Stone's Representation Theorems. We provide three equivalent approaches to construct a Stone's space from a given Boolean algebra. Finally, we utilize the Stone's Representation Theorems to study the compactifications of a discrete space.


title: The Carnot-Carath\'eodory distance on $2$-step groups

abstract: Combining Varadhan's formula, Loewner's theorem with the method of stationary phase, we study the exact formula of the Carnot-Carath\'eodory distance on $2$-step groups. The method is also adapted to determine all normal geodesics from the identity element to any given point (up to a set of measure zero). As an application, we characterize the squared sub-Riemannian distance as well as the cut locus on generalized Heisenberg-type groups and on star graphs respectively. Furthermore, the long-standing open problem of Gaveau-Brockett is completely solved in the case of $N_{3, 2}$, the free Carnot group of step two and 3 generators.


title: Bayesian Graph Contrastive Learning

abstract: Contrastive learning has become a key component of self-supervised learning approaches for graph-structured data. Despite their success, existing graph contrastive learning methods are incapable of uncertainty quantification for node representations or their downstream tasks, limiting their application in high-stakes domains. In this paper, we propose a novel Bayesian perspective of graph contrastive learning methods showing random augmentations leads to stochastic encoders. As a result, our proposed method represents each node by a distribution in the latent space in contrast to existing techniques which embed each node to a deterministic vector. By learning distributional representations, we provide uncertainty estimates in downstream graph analytics tasks and increase the expressive power of the predictive model. In addition, we propose a Bayesian framework to infer the probability of perturbations in each view of the contrastive model, eliminating the need for a computationally expensive search for hyperparameter tuning. We empirically show a considerable improvement in performance compared to existing state-of-the-art methods on several benchmark datasets.


title: Analog/Mixed-Signal Circuit Synthesis Enabled by the Advancements of Circuit Architectures and Machine Learning Algorithms

abstract: Analog mixed-signal (AMS) circuit architecture has evolved towards more digital friendly due to technology scaling and demand for higher flexibility/reconfigurability. Meanwhile, the design complexity and cost of AMS circuits has substantially increased due to the necessity of optimizing the circuit sizing, layout, and verification of a complex AMS circuit. On the other hand, machine learning (ML) algorithms have been under exponential growth over the past decade and actively exploited by the electronic design automation (EDA) community. This paper will identify the opportunities and challenges brought about by this trend and overview several emerging AMS design methodologies that are enabled by the recent evolution of AMS circuit architectures and machine learning algorithms. Specifically, we will focus on using neural-network-based surrogate models to expedite the circuit design parameter search and layout iterations. Lastly, we will demonstrate the rapid synthesis of several AMS circuit examples from specification to silicon prototype, with significantly reduced human intervention.


title: TAFA: Design Automation of Analog Mixed-Signal FIR Filters Using Time Approximation Architecture

abstract: A digital finite impulse response (FIR) filter design is fully synthesizable, thanks to the mature CAD support of digital circuitry. On the contrary, analog mixed-signal (AMS) filter design is mostly a manual process, including architecture selection, schematic design, and layout. This work presents a systematic design methodology to automate AMS FIR filter design using a time approximation architecture without any tunable passive component, such as switched capacitor or resistor. It not only enhances the flexibility of the filter but also facilitates design automation with reduced analog complexity. The proposed design flow features a hybrid approximation scheme that automatically optimize the filter's impulse response in light of time quantization effects, which shows significant performance improvement with minimum designer's efforts in the loop. Additionally, a layout-aware regression model based on an artificial neural network (ANN), in combination with gradient-based search algorithm, is used to automate and expedite the filter design. With the proposed framework, we demonstrate rapid synthesis of AMS FIR filters in 65nm process from specification to layout.


title: Quantifying Cybersecurity Effectiveness of Dynamic Network Diversity

abstract: The deployment of monoculture software stacks can have devastating consequences because a single attack can compromise all of the vulnerable computers in cyberspace. This one-vulnerability-affects-all phenomenon will continue until after software stacks are diversified, which is well recognized by the research community. However, existing studies mainly focused on investigating the effectiveness of software diversity at the building-block level (e.g., whether two independent implementations indeed exhibit independent vulnerabilities); the effectiveness of enforcing network-wide software diversity is little understood, despite its importance in possibly helping justify investment in software diversification. As a first step towards ultimately tackling this problem, we propose a systematic framework for modeling and quantifying the cybersecurity effectiveness of network diversity, including a suite of cybersecurity metrics. We also present an agent-based simulation to empirically demonstrate the usefulness of the framework. We draw a number of insights, including the surprising result that proactive diversity is effective under very special circumstances, but reactive-adaptive diversity is much more effective in most cases.


title: $\rho$ photoproduction in ALICE

abstract: The $\rho^0$ is copiously photoproduced in ultra-peripheral heavy-ion collisions at the LHC. In this talk, I will present recent results on $\rho$ photoproduction with ALICE, including cross-section measurements from PbPb and XeXe collisions, including a discussion of the production of high-mass final states that decay to $\pi^+\pi^-$, and of neutron production that accompanies $\rho$ photoproduction. I will conclude by presenting some prospects for ALICE in Runs 3 and 4.


title: On Recursive State Estimation for Linear State-Space Models Having Quantized Output Data

abstract: In this paper, we study the problem of estimating the state of a dynamic state-space system where the output is subject to quantization. We compare some classical approaches and a new development in the literature to obtain the filtering and smoothing distributions of the state conditioned to quantized data. The classical approaches include the Extended Kalman filter/smoother in which we consider an approximation of the quantizer non-linearity based on the arctan function, the quantized Kalman filter/smoother, the Unscented Kalman filter/smoother, and the Sequential Monte Carlo sampling method also called particle filter/smoother. We consider a new approach based on the Gaussian sum filter/smoother where the probability mass function of the quantized data given the state is modeled as an integral equation and approximated using Gauss-Legendre quadrature. The Particle filter is addressed considering some resampling methods used to deal with the degeneracy problem. Also, the sample impoverishment caused by the resampling method is addressed by introducing diversity in the samples set using the Markov Chain Monte Carlo method. In this paper, we discuss the implementation of the aforementioned algorithms and the Particle filter/smoother implementation is studied by using different resampling methods combined with two Markov Chain algorithms. A numerical simulation is presented to analyze the accuracy of the estimation and the computational cost.


title: Epidemic spreading in populations of mobile agents with adaptive behavioral response

abstract: Despite the advanced stage of epidemic modeling, there is a major demand for methods to incorporate behavioral responses to the spread of a disease such as social distancing and adoption of prevention methods. Mobility plays an important role in epidemic dynamics and is also affected by behavioral changes, but there are many situations in which real mobility data is incomplete or inaccessible. We present a model for epidemic spreading in temporal networks of mobile agents that incorporates local behavioral responses. Susceptible agents are allowed to move towards the opposite direction of infected agents in their neighborhood. We show that this mechanism considerably decreases the stationary prevalence when the spatial density of agents is low. However, for higher densities, the mechanism causes an abrupt phase transition, where a new bistable phase appears. We develop a semi-analytic approach for the case when the mobility is fast compared to the disease dynamics, and use it to argue that the bistability is caused by the emergence of spatial clusters of susceptible agents. Finally, we characterize the temporal networks formed in the fast mobility regime, showing how the degree distributions and other metrics are affected by the behavioral mechanism. Our work incorporates results previously known from adaptive networks into the population of mobile agents, which can be further developed to be used in mobility-driven models.


title: Is Relational Quantum Mechanics about Facts? If So, Whose? A Reply to Di Biagio and Rovelli's Comment on Brukner and Pienaar

abstract: Brukner and Pienaar have critiqued the Relational Quantum Mechanics of Rovelli, and together with Di Biagio, the latter has replied. I point out a few places where, in my view, that reply needs clarification.


title: Optimal Slot Size under Various Bandwidth Distributions in the Flexible-grid Optical Networks

abstract: Flexible grid Optical Networks are efficient mechanism to provide flexibility in the optical spectrum utilization. For such networks, the slot width size as specified by the ITU-T G.694.1 is 12.5 GHz. However, one should question if it is the optimal grid size? In this paper, under different bandwidth distribution scenarios, we review which slot size give appropriate spectrum efficiency. Moreover, we present a study of the slot sizes with varying incoming traffic having some bandwidth requirement under different scenarios.


title: SPring-8 LEPS2 beamline: A facility to produce a multi-GeV photon beam via laser Compton scattering

abstract: We have constructed a new laser-Compton-scattering facility, called the LEPS2 beamline, at the 8-GeV electron storage ring, SPring-8. This facility provides a linearly polarized photon beam in a tagged energy range of 1.3--2.4 GeV. Thanks to a small divergence of the low-emittance storage-ring electrons, the tagged photon beam has a size (sigma) suppressed to about 4 mm even after it travels about 130 m to the experimental building that is independent of the storage ring building and contains large detector systems. This beamline is designed to achieve a photon beam intensity higher than that of the first laser-Compton-scattering beamline at SPring-8 by adopting the simultaneous injection of up to four high-power laser beams and increasing a transmittance for the long photon-beam path up to about 77%. The new beamline is under operation for hadron photoproduction experiments.


title: Reconfigurable Intelligent Surface-Empowered Self-Interference Cancellation for 6G Full-Duplex MIMO Communication Systems

abstract: Substantially increasing wireless traffic and extending serving coverage is required with the advent of sixth-generation (6G) wireless communication networks. Reconfigurable intelligent surface (RIS) is widely considered as a promising technique which is capable of improving the system sum rate and energy efficiency. Moreover, full-duplex (FD) multi-input-multi-output (MIMO) transmission provides simultaneous transmit and received signals, which theoretically provides twice of spectrum efficiency. However, the self-interference (SI) in FD system is a challenging task requiring high-overhead cancellation, which can be resolved by configuring appropriate phase shifts of RIS. This paper has proposed an RIS-empowered full-duplex interference cancellation (RFIC) scheme in order to alleviate the severe interference in an RIS-FD system. We consider the interference minimization of RIS-FD MIMO while guaranteeing quality-of-service (QoS) of whole system. The closed-form solution of RIS phase shifts is theoretically derived with the discussion of different numbers of RIS elements and receiving antennas. Simulation results reveal that the proposed RFIC scheme outperforms existing benchmarks with more than 50% of performance gain of sum rate.


title: Unsteady non-Newtonian fluid flows with boundary conditions of friction type: the case of shear thinning fluids

abstract: Following the previous part of our study on unsteady non-New\-to\-nian fluid flows with boundary conditions of friction type we consider in this paper the case of pseudo-plastic (shear thinning) fluids. The problem is described by a $p$-Laplacian non-stationary Stokes system with $p<2$ and we assume that the fluid is subjected to mixed boundary conditions, namely non-homogeneous Dirichlet boundary conditions on a part of the boundary and a slip fluid-solid interface law of friction type on another part of the boundary. Hence the fluid velocity should belong to a subspace of $L^p \bigl(0,T; (W^{1,p} (\Omega)^3) \bigr)$, where $\Omega$ is the flow domain and $T>0$, and satisfy a non-linear parabolic variational inequality. In order to solve this problem we introduce first a vanishing viscosity technique which allows us to consider an auxiliary problem formulated in $L^{p'} \bigl(0,T; (W^{1,p'} (\Omega)^3) \bigr)$ with $p' >2$ the conjugate number of $p$ and to use the existence results already established in \cite{BDP2}. Then we apply both compactness arguments and a fixed point method to prove the existence of a solution to our original fluid flow problem.


title: Mining Minority-class Examples With Uncertainty Estimates

abstract: In the real world, the frequency of occurrence of objects is naturally skewed forming long-tail class distributions, which results in poor performance on the statistically rare classes. A promising solution is to mine tail-class examples to balance the training dataset. However, mining tail-class examples is a very challenging task. For instance, most of the otherwise successful uncertainty-based mining approaches struggle due to distortion of class probabilities resulting from skewness in data. In this work, we propose an effective, yet simple, approach to overcome these challenges. Our framework enhances the subdued tail-class activations and, thereafter, uses a one-class data-centric approach to effectively identify tail-class examples. We carry out an exhaustive evaluation of our framework on three datasets spanning over two computer vision tasks. Substantial improvements in the minority-class mining and fine-tuned model's performance strongly corroborate the value of our proposed solution.


title: Communication-Efficient Distributed SGD with Compressed Sensing

abstract: We consider large scale distributed optimization over a set of edge devices connected to a central server, where the limited communication bandwidth between the server and edge devices imposes a significant bottleneck for the optimization procedure. Inspired by recent advances in federated learning, we propose a distributed stochastic gradient descent (SGD) type algorithm that exploits the sparsity of the gradient, when possible, to reduce communication burden. At the heart of the algorithm is to use compressed sensing techniques for the compression of the local stochastic gradients at the device side; and at the server side, a sparse approximation of the global stochastic gradient is recovered from the noisy aggregated compressed local gradients. We conduct theoretical analysis on the convergence of our algorithm in the presence of noise perturbation incurred by the communication channels, and also conduct numerical experiments to corroborate its effectiveness.


title: Central-Smoothing Hypergraph Neural Networks for Predicting Drug-Drug Interactions

abstract: Predicting drug-drug interactions (DDI) is the problem of predicting side effects (unwanted outcomes) of a pair of drugs using drug information and known side effects of many pairs. This problem can be formulated as predicting labels (i.e. side effects) for each pair of nodes in a DDI graph, of which nodes are drugs and edges are interacting drugs with known labels. State-of-the-art methods for this problem are graph neural networks (GNNs), which leverage neighborhood information in the graph to learn node representations. For DDI, however, there are many labels with complicated relationships due to the nature of side effects. Usual GNNs often fix labels as one-hot vectors that do not reflect label relationships and potentially do not obtain the highest performance in the difficult cases of infrequent labels. In this paper, we formulate DDI as a hypergraph where each hyperedge is a triple: two nodes for drugs and one node for a label. We then present CentSmoothie, a hypergraph neural network that learns representations of nodes and labels altogether with a novel central-smoothing formulation. We empirically demonstrate the performance advantages of CentSmoothie in simulations as well as real datasets.


title: Intrinsic signal optoretinography of dark adaptation kinetics

abstract: Delayed dark adaptation due to impaired rod photoreceptor homeostasis has been reported as the earliest symptom of eye diseases such as age-related macular degeneration, diabetic retinopathy, and retinitis pigmentosa. Objective measurement of dark adaptation can facilitate early diagnosis to enable prompt intervention to prevent vision losses. However, there is a lack of noninvasive methods capable of spatiotemporal monitoring of photoreceptor changes during dark adaptation. Here we demonstrate functional optical coherence tomography (OCT) for in vivo intrinsic signal optoretinography (ORG) of dark adaptation kinetics in the C57BL/6J mouse retina. Functional OCT revealed a shortening of the outer retina, a morphological change in the cone and rod photoreceptor interdigitation zone, and a reduction in intrinsic signal amplitude at the photoreceptor inner segment ellipsoid. A strong positive correlation between morphophysiological activities was also confirmed. Functional OCT of dark adaptation kinetics promises a method for rapid ORG assessment of physiological integrity of retinal photoreceptors.


title: LoSAC: An Efficient Local Stochastic Average Control Method for Federated Optimization

abstract: Federated optimization (FedOpt), which targets at collaboratively training a learning model across a large number of distributed clients, is vital for federated learning. The primary concerns in FedOpt can be attributed to the model divergence and communication efficiency, which significantly affect the performance. In this paper, we propose a new method, i.e., LoSAC, to learn from heterogeneous distributed data more efficiently. Its key algorithmic insight is to locally update the estimate for the global full gradient after {each} regular local model update. Thus, LoSAC can keep clients' information refreshed in a more compact way. In particular, we have studied the convergence result for LoSAC. Besides, the bonus of LoSAC is the ability to defend the information leakage from the recent technique Deep Leakage Gradients (DLG). Finally, experiments have verified the superiority of LoSAC comparing with state-of-the-art FedOpt algorithms. Specifically, LoSAC significantly improves communication efficiency by more than $100\%$ on average, mitigates the model divergence problem and equips with the defense ability against DLG.


title: A Predictive Online Transient Stability Assessment with Hierarchical Generative Adversarial Networks

abstract: Online transient stability assessment (TSA) is essential for secure and stable power system operations. The growing number of Phasor Measurement Units (PMUs) brings about massive sources of data that can enhance online TSA. However, conventional data-driven methods require large amounts of transient data to correctly assess the transient stability state of a system. In this paper, a new data-driven TSA approach is developed for TSA with fewer data compared to the conventional methods. The data reduction is enabled by learning the dynamic behaviors of the historical transient data using generative and adversarial networks (GAN). This knowledge is used online to predict the voltage time series data after a transient event. A classifier embedded in the generative network deploys the predicted post-contingency data to determine the stability of the system following a fault. The developed GAN-based TSA approach preserves the spatial and temporal correlations that exist in multivariate PMU time series data. Hence, in comparison with the state-of-the-art TSA methods, it achieves a higher assessment accuracy using only one sample of the measured data and a shorter response time. Case studies conducted on the IEEE 118-bus system demonstrate the superior performance of the GAN-based method compared to the conventional data-driven techniques.


title: Zero-field superconducting diode effect in small-twist-angle trilayer graphene

abstract: The critical current of a superconductor can be different for opposite directions of current flow when both time-reversal and inversion symmetry are broken. %When time-reversal and inversion symmetry are simultaneously broken, the critical current of a 2D superconductor is expected to depend on the directions of current flow. Such nonreciprocal behavior in superconducting transport, which creates a superconducting diode, has recently been demonstrated experimentally by breaking these symmetries with an applied magnetic field \cite{Ando2020diodes} or by construction of a magnetic tunnel junction \cite{Diez2021magnetic}. Here we report an intrinsic superconducting diode effect which is present at zero external magnetic field in mirror symmetric twisted trilayer graphene (tTLG). Such nonreciprocal behavior, with sign that can be reversed through training with an out-of-plane magnetic field, provides direct evidence of the microscopic coexistence between superconductivity and time-reversal symmetry breaking. In addition to the magnetic-field trainability, we show that the zero-field diode effect can be controlled by varying carrier density or twist angle. In accordance with these experimental controls, a natural interpretation for the origin of the intrinsic diode effect is an imbalance in valley occupation of the underlying Fermi surface, which likely leads to finite-momentum Cooper pairing and nematicity in the superconducting phase.


title: The Disk Veiling Effect of the Black Hole Low-Mass X-ray Binary A0620-00

abstract: The optical light curves of quiescent black hole low-mass X-ray binaries often exhibit significant non-ellipsoidal variabilities, showing the photospheric radiation of the companion star is veiled by other source of optical emission. Assessing this "veiling" effect is critical to the black hole mass measurement. Here in this work, we carry out a strictly simultaneous spectroscopic and photometric campaign on the prototype of black hole low-mass X-ray binary A0620-00. We find that for each observation epoch, the extra optical flux beyond a pure ellipsoidal modulation is positively correlated with the fraction of veiling emission, indicating the accretion disk contributes most of the non-ellipsoidal variations. Meanwhile, we also obtain a K2V spectral classification of the companion, as well as the measurements of the companion's rotational velocity $v \sin i = 83.8\pm1.9$ km s$^{-1}$ and the mass ratio between the companion and the black hole $q=0.063\pm0.004$.


title: Constraining mapping class group homomorphisms using finite subgroups

abstract: We classify homomorphisms from mapping class groups by using finite subgroups. First, we give a new proof of a result of Aramayona--Souto that homomorphisms between mapping class groups of closed surfaces are trivial for a range of genera. Second, we show that only finitely many mapping class groups of closed surfaces have non-trivial homomorphisms into $\text{Homeo}(\mathbb{S}^n)$ for any $n$. We also prove that every homomorphism from $\text{Mod}(S_g)$ to $\text{Homeo}(\mathbb{S}^2)$ or $\text{Homeo}(\mathbb{S}^3)$ is trivial if $g\ge 3$, extending a result of Franks--Handel.


title: Fix your Models by Fixing your Datasets

abstract: The quality of underlying training data is very crucial for building performant machine learning models with wider generalizabilty. However, current machine learning (ML) tools lack streamlined processes for improving the data quality. So, getting data quality insights and iteratively pruning the errors to obtain a dataset which is most representative of downstream use cases is still an ad-hoc manual process. Our work addresses this data tooling gap, required to build improved ML workflows purely through data-centric techniques. More specifically, we introduce a systematic framework for (1) finding noisy or mislabelled samples in the dataset and, (2) identifying the most informative samples, which when included in training would provide maximal model performance lift. We demonstrate the efficacy of our framework on public as well as private enterprise datasets of two Fortune 500 companies, and are confident this work will form the basis for ML teams to perform more intelligent data discovery and pruning.


title: Valley-driven Zitterbewegung in Kekul\'e-distorted graphene

abstract: Graphene deposited on top of a Copper(111) substrate may develop a Y-shaped Kekul\'e bond texture (Kekul\'e-Y), locking the momentum of its Dirac fermions with its valley degree of freedom. As a consequence, the valley degeneracy of its band structure is broken, generating an energy dispersion with two nested Dirac cones with different Fermi velocities. In this work, we investigate the dynamics of electronic wave packets in the Kekul\'e-Y superlattice. We show that, as a result of the valley-momentum coupling, a valley-driven oscillatory motion of the wave packets ({\it Zitterbewegung}) could appear, but with a smaller frequency than the {\it Zitterbewegung} effect found pristine graphene. This makes Kekul\'e-Y graphene a compelling candidate for experimental observation of {\it Zitterbewegung} phenomenon in a two-dimensional system.


title: Probabilistic Logic Gate in Asynchronous Game of Life with Critical Property

abstract: Metaheuristic and self-organizing criticality (SOC) could contribute to robust computation under perturbed environments. Implementing a logic gate in a computing system in a critical state is one of the intriguing ways to study the role of metaheuristics and SOCs. Here, we study the behavior of cellular automaton, game of life (GL), in asynchronous updating and implement probabilistic logic gates by using asynchronous GL. We find that asynchronous GL shows a phase transition, that the density of the state of 1 decays with the power law at the critical point, and that systems at the critical point have the most computability in asynchronous GL. We implement AND and OR gates in asynchronous GL with criticality, which shows good performance. Since tuning perturbations play an essential role in operating logic gates, our study reveals the interference between manipulation and perturbation in probabilistic logic gates.


title: Unexpected correlations in outstanding subpopulations of the gravitational wave transient catalogue data

abstract: With the third observing run the number of gravitational wave emitting events has increased significantly. The data of the recorded events is inspected to search for overall properties on the population. The properties of subpopulations are determined and compared to predictions from simulations. It appears that the most outstanding systems follow linear relations in the parameter space of the total binary and the chirp mass. Those relations are too tight to have a stochastic origin and are supported by at least five independent events each. The origin of the correlations is still open to be confirmed, while possible sources, ranging from instrumental artefacts to unknown physics, are discussed and partly excluded. Depending on the relation's source the two events (GW190814 and GW200210_092254) having a smaller mass component between 2.5 and 2.9 Msun may reveal in a very different light.


title: Thixotropy, non-monotonic stress relaxation, and the second law of thermodynamics

abstract: Many thixo-viscoelastic materials have been reported to undergo enhancement in elastic modulus with time and decrease in the same under application of deformation field. Incorporation of this feature in a viscoelastic structural kinetic model has an apparent possibility of violating the second law of thermodynamics. Furthermore, in a related experimental observation, stress has been reported to undergo a non-monotonic change as a function of time under the application of constant strain. We analyze both these scenarios through a structural kinetic model that shows viscoelastic aging but undergoes rejuvenation only due to the viscous rate of strain. We observe that such formalism does not violate the second law. Interestingly, the proposed simple formalism predicts the experimental observation of the non-monotonic stress relaxation very well.


title: Mesoscopic Transport of Quantum Anomalous Hall Effect in Sub-Micron Size Regime

abstract: The quantum anomalous Hall (QAH) effect has been demonstrated in two-dimensional topological insulator systems incorporated with ferromagnetism. However, a comprehensive understanding of mesoscopic transport in sub-micron QAH devices has yet been established. Here we fabricated miniaturized QAH devices with channel widths down to 600 nm, where the QAH features are still preserved. A back-scattering channel is formed in narrow QAH devices through percolative hopping between 2D compressible puddles. Large resistance fluctuations are observed in narrow devices near the coercive field, which is associated with collective interference between intersecting paths along domain walls when the device geometry is smaller than the phase coherence length $L_\phi$. Through measurement of size-dependent breakdown current, we confirmed that the chiral edge states are confined at the physical boundary with its width on the order of Fermi wavelength.


title: HyObscure: Hybrid Obscuring for Privacy-Preserving Data Publishing

abstract: Minimizing privacy leakage while ensuring data utility is a critical problem to data holders in a privacy-preserving data publishing task. Most prior research concerns only with one type of data and resorts to a single obscuring method, \eg, obfuscation or generalization, to achieve a privacy-utility tradeoff, which is inadequate for protecting real-life heterogeneous data and is hard to defend ever-growing machine learning based inference attacks. This work takes a pilot study on privacy-preserving data publishing when both generalization and obfuscation operations are employed for heterogeneous data protection. To this end, we first propose novel measures for privacy and utility quantification and formulate the hybrid privacy-preserving data obscuring problem to account for the joint effect of generalization and obfuscation. We then design a novel hybrid protection mechanism called HyObscure, to cross-iteratively optimize the generalization and obfuscation operations for maximum privacy protection under a certain utility guarantee. The convergence of the iterative process and the privacy leakage bound of HyObscure are also provided in theory. Extensive experiments demonstrate that HyObscure significantly outperforms a variety of state-of-the-art baseline methods when facing various inference attacks under different scenarios. HyObscure also scales linearly to the data size and behaves robustly with varying key parameters.


title: Orthogonal trigonometric polynomials from Riemann-Hilbert view

abstract: In this work, some theorems are established for orthogonal trigonometric polynomials (OTP) including Favard, Baxter, Geronimus, Rakhmanov, Szeg\"o and the strong Szeg\"o theorems which are important in the theory of orthogonal polynomials on the unit circle (OPUC). All these results are based on the mutual representation theorem of OPUC and OTP which deduced by a Riemann-Hilbert problem simultaneously characterizing them. In addition, Szeg\"o recursions, four-term recurrences and some new identities for OPUC and OTP are also obtained by using their Riemann-Hilbert characterizations respectively.


title: On cusps of caustics by reflection: a billiard variation on Jacobi's Last Geometric Statement

abstract: A point source of light is placed inside an oval. The $n$-th caustic by reflection is the envelope of the light rays emanating from the light source after $n$ reflections off the curve. We show that each of these caustics, for a generic point light source, has at least 4 cusps. This is a billiard variation on Jacobi's Last Geometric Statement, concerning the number of cusps of the conjugate locus of a point on a convex surface. We present various proofs, using different ideas, including the curve shortening flow and Legendrian knot theory.


title: Magnetic transitions induced by pressure and magnetic field in a two-orbital $5f$-electron model in cubic and tetragonal lattices

abstract: We investigate the onset and evolution of under the simultaneous application of pressure and magnetic field of distinct itinerant N\'eel states using the underscreened Anderson Lattice Model (UALM) which has been proposed to describe $5f$-electron systems. The model is composed by two narrow $f$-bands (of either $\alpha$ or $\beta$ character) that hybridize with a wide $d$-band and local $5f$-electron interactions. We consider both cubic and tetragonal lattices. The N\'eel order parameters $\phi^{\beta}$ and $\phi^{\alpha}$ are assumed to be fixed by an Ising anisotropy. The applied magnetic field $h_z$ is parallel to the anisotropy axis. It has been assumed that the variation of the band width $W$ is sensitive to pressure. In the absence of a magnetic field, the increase of $W$ takes the system from the phase AF$_1$ to another phase AF$_2$. The phase AF$_1$ occurs when $\phi^{\beta}>\phi^{\alpha}>0$ while in the AF$_2$ phase the gaps satisfy $\phi^{\alpha}>\phi^{\beta}>0$. In the presence of a magnetic field $h_z$, the phase AF$_2$ is quickly suppressed and reappears again at intermediate values of the magnetic field while it is predominant at higher magnetic fields. The analysis of the partial density of states close to the phase transition between the phases AF$_1$ and AF$_2$, allows a better understanding the mechanism responsible whereby the transition is induced by an increase in the magnetic field. As a important general result, we found that the magnetic field $h_z$ favours the phase AF$_2$ while the phase AF$_1$ is suppressed. For the tetragonal lattice, the phase AF$_2$ is even more favored when $h_z$ and $c/a$ increases concomitantly, where $c$ and $a$ are the lattice parameters.


title: A terrain treadmill to study animal locomotion through large obstacles

abstract: A major challenge to understanding locomotion in complex 3-D terrain with large obstacles is to create tools for controlled, systematic lab experiments. Existing terrain arenas only allow observations at small spatiotemporal scales (~10 body length, ~10 stride cycles). Here, we create a terrain treadmill to enable high-resolution observations of animal locomotion through large obstacles over large spatiotemporal scales. An animal moves through modular obstacles on an inner sphere, while a rigidly-attached, concentric, transparent outer sphere rotated with the opposite velocity via closed-loop feedback to keep the animal on top. During sustained locomotion, a discoid cockroach moved through pillar obstacles for 25 minutes ($\approx$2500 strides) over 67 m ($\approx$1500 body lengths), and was contained within a radius of 4 cm (0.9 body length) for 83% of the duration, even at speeds of up to 10 body length/s. The treadmill enabled observation of diverse locomotor behaviors and quantification of animal-obstacle interaction.


title: A simplified M{\o}lmer-S{\o}rensen gate for the trapped ion quantum computer

abstract: We discuss how to simplify the Molmer-Sorensen (MS) gate which is used for the trapped ion quantum computer. The original MS gate is implemented by illuminating two ions with bichromatic coherent light fields separately at the same time. In this paper, we propose a method for transforming a separable state of two ions into one of the Bell states by illuminating the two ions with monochromatic coherent light fields individually and this point is the advantage of our scheme over the original MS gate. The length of the execution time of our proposed gate is comparable to that of the original MS gate, however, numerical calculations show that our proposed gate is weakly sensitive to thermal fluctuations of the phonons. By giving another example of a simple two-ion gate that can generate entanglement but is strongly vulnerable to thermal fluctuations, we show that our simplified MS gate is more marked than usual.