title: Diffeomorphic Registration using Sinkhorn Divergences

abstract: The diffeomorphic registration framework enables to define an optimal matching function between two probability measures with respect to a data-fidelity loss function. The non convexity of the optimization problem renders the choice of this loss function crucial to avoid poor local minima. Recent work showed experimentally the efficiency of entropy-regularized optimal transportation costs, as they are computationally fast and differentiable while having few minima. Following this approach, we provide in this paper a new framework based on Sinkhorn divergences, unbiased entropic optimal transportation costs, and prove the statistical consistency with rate of the empirical optimal deformations.


title: $\lambda$-quiddit\'e sur certains sous-groupes monog\`enes de $\mathbb{C}$

abstract: During the study of the Coxeter friezes, M. Cuntz defined the concept of $\lambda$-quiddity and gave the problem of studying them on some subsets of $\mathbb{C}$. The objective of this text is to carry out this study in the case of some cyclic subgroups of ($\mathbb{C},+$). In particular we will study the case of the cyclic subgroups generated by $\sqrt{k}$ and $i\sqrt{k}$, with $k \in \mathbb{N}$.


title: Unifying S\o rensen-M\o lmer gate and Milburn gate with an optomechanical example

abstract: S\o rensen-M\o lmer gate and Milburn gate are two geometric phase gates, generating nonlinear self-interaction of a target mode via its interaction with an auxiliary mechanical mode, in the continuous and pulsed interaction regime, respectively. In this paper, we aim at unifying the two gates by demonstrating that S\o rensen-M\o lmer gate is the continuous limit of Milburn gate, emphasising the geometrical interpretation in the mechanical phase space. We explicitly consider imperfect gate parameters, focusing on relative errors in time for S\o rensen-M\o lmer gate and in phase angle increment for Milburn gate. We find that, although the purities of the final states increase for the two gates upon reducing the interaction strength together with traversing the mechanical phase space multiple times, the fidelities behave differently. We point out that, the difference exists because the interaction strength depends on the relative error when taking the continuous limit from the pulsed regime, thereby unifying the mathematical framework of the two gates. We demonstrate this unification in the example of an optomechanical system, where mechanical dissipation is also considered. We highlight that, the unified framework facilitates the new method of deriving the dynamics of the continuous interaction regime without solving differential equations.


title: Robustifying Vision Transformer without Retraining from Scratch by Test-Time Class-Conditional Feature Alignment

abstract: Vision Transformer (ViT) is becoming more popular in image processing. Specifically, we investigate the effectiveness of test-time adaptation (TTA) on ViT, a technique that has emerged to correct its prediction during test-time by itself. First, we benchmark various test-time adaptation approaches on ViT-B16 and ViT-L16. It is shown that the TTA is effective on ViT and the prior-convention (sensibly selecting modulation parameters) is not necessary when using proper loss function. Based on the observation, we propose a new test-time adaptation method called class-conditional feature alignment (CFA), which minimizes both the class-conditional distribution differences and the whole distribution differences of the hidden representation between the source and target in an online manner. Experiments of image classification tasks on common corruption (CIFAR-10-C, CIFAR-100-C, and ImageNet-C) and domain adaptation (digits datasets and ImageNet-Sketch) show that CFA stably outperforms the existing baselines on various datasets. We also verify that CFA is model agnostic by experimenting on ResNet, MLP-Mixer, and several ViT variants (ViT-AugReg, DeiT, and BeiT). Using BeiT backbone, CFA achieves 19.8% top-1 error rate on ImageNet-C, outperforming the existing test-time adaptation baseline 44.0%. This is a state-of-the-art result among TTA methods that do not need to alter training phase.


title: Probing the QCD phase diagram with HBT femtoscopy

abstract: Intensity interferometry originates from the field of radio astronomy on the trace of Robert Hanbury Brown and Richard Quincy Twiss. In high energy physics, the phenomena was discovered by Goldhaber, Goldhaber, Lee and Pais. In radio astronomy the method is exceeded by more modern approaches but in high energy physics, the measurements of Hanbury Brown-Twiss (HBT) or Goldhaber-Goldhaber-Lee-Pais (GGLP) type of correlations are important tools to access the spatio-temporal properties of the matter under extreme conditions on subatomic scales. In this paper, I review recent experimental results from energies of the Relativistic Heavy Ion Collider (RHIC) to the Large Hadron Collider (LHC) and discuss their possible implication on the equation of state of the QCD matter.


title: RAW-GNN: RAndom Walk Aggregation based Graph Neural Network

abstract: Graph-Convolution-based methods have been successfully applied to representation learning on homophily graphs where nodes with the same label or similar attributes tend to connect with one another. Due to the homophily assumption of Graph Convolutional Networks (GCNs) that these methods use, they are not suitable for heterophily graphs where nodes with different labels or dissimilar attributes tend to be adjacent. Several methods have attempted to address this heterophily problem, but they do not change the fundamental aggregation mechanism of GCNs because they rely on summation operators to aggregate information from neighboring nodes, which is implicitly subject to the homophily assumption. Here, we introduce a novel aggregation mechanism and develop a RAndom Walk Aggregation-based Graph Neural Network (called RAW-GNN) method. The proposed approach integrates the random walk strategy with graph neural networks. The new method utilizes breadth-first random walk search to capture homophily information and depth-first search to collect heterophily information. It replaces the conventional neighborhoods with path-based neighborhoods and introduces a new path-based aggregator based on Recurrent Neural Networks. These designs make RAW-GNN suitable for both homophily and heterophily graphs. Extensive experimental results showed that the new method achieved state-of-the-art performance on a variety of homophily and heterophily graphs.


title: Modal Simulation Framework for the Design and Verification of Future Few-Mode Far-Infrared Spectrometers

abstract: Future far-infrared space missions require highly-sensitive spectroscopy as a primary diagnostics tool. However, these systems are sensitive to straylight, due to the ultra-sensitive few-mode detectors used, which affects the measurement and calibration of the spectrum, as revealed by the Herschel mission. To ensure that the science goals of future missions are met, the complex modal behaviour has to be understood, and appropriate verification and calibration strategies must be developed. We propose a modal framework to addresses these issues, using Herschel-SPIRE as a case study, and demonstrate how the technique can be used for the design and verification of spectrometers in future far-infrared missions.


title: Spectral mapping theorems for essential spectra and regularized functional calculi

abstract: Gramsch and Lay [10] gave spectral mapping theorems for the Dunford-Taylor calculus of a closed linear operator $T$, $$\widetilde{\sigma}_i(f(T)) = f(\widetilde{\sigma}_i(T)), $$ for several extended essential spectra $\widetilde{\sigma}_i$. In this work, we extend such theorems for the natural functional calculus introduced by Haase [12,13]. We use the model case of bisectorial operators. The proofs presented here are generic, and are valid for similar functional calculus.


title: Search for the lepton flavor violating decay $J/\psi\to e\mu$

abstract: We present a search for the lepton flavor violating decay $J/\psi\to e^{\pm}\mu^{\mp}$ using $8.998\times 10^{9} J/\psi$ events collected with the BESIII detector at the BEPCII $e^+e^-$ storage ring. No excess of signal above background is observed; we therefore set an upper limit on the branching fraction of $\mathcal{B}(J/\psi\to e^{\pm}\mu^{\mp})<4.5\times10^{-9}$ at the $90\%$ confidence level. Improving the previous best result by a factor of more than 30, this measurement places the most stringent limit to date on lepton flavor violation in the heavy quarkonium sector.


title: Engineering a pure Dirac regime in ZrTe$_5$

abstract: Real-world topological semimetals typically exhibit Dirac and Weyl nodes that coexist with trivial Fermi pockets. This tends to mask the physics of the relativistic quasiparticles. Using the example of ZrTe5, we show that strain provides a powerful tool for in-situ tuning of the band structure such that all trivial pockets are pushed far away from the Fermi energy, but only for a certain range of Van der Waals gaps. Our results naturally reconcile contradicting reports on the presence or absence of additional pockets in ZrTe$_5$, and provide a clear map of where to find a pure three-dimensional Dirac semimetallic phase in the structural parameter space of the material.


title: Elementary bounded generation for ${\rm SL}_n$ for global function fields and $n\geq 3$

abstract: This paper shows that the group ${\rm SL}_n(R)$ is boundedly elementary generated for $n\geq 3$ and $R$ the ring of algebraic integers in a global function field. Contrary to previous statements for number fields and earlier statements for global function fields, the bounds proven in this preprint for elementary bounded generation are independent of the underlying global function field and only depend on the integer $n.$ Combining our main result with earlier results, we further establish that elementary bounded generation always has bounds independent from the global field in question, only depending on $n.$


title: Comparing and extending the use of defeasible argumentation with quantitative data in real-world contexts

abstract: Dealing with uncertain, contradicting, and ambiguous information is still a central issue in Artificial Intelligence (AI). As a result, many formalisms have been proposed or adapted so as to consider non-monotonicity, with only a limited number of works and researchers performing any sort of comparison among them. A non-monotonic formalism is one that allows the retraction of previous conclusions or claims, from premises, in light of new evidence, offering some desirable flexibility when dealing with uncertainty. This research article focuses on evaluating the inferential capacity of defeasible argumentation, a formalism particularly envisioned for modelling non-monotonic reasoning. In addition to this, fuzzy reasoning and expert systems, extended for handling non-monotonicity of reasoning, are selected and employed as baselines, due to their vast and accepted use within the AI community. Computational trust was selected as the domain of application of such models. Trust is an ill-defined construct, hence, reasoning applied to the inference of trust can be seen as non-monotonic. Inference models were designed to assign trust scalars to editors of the Wikipedia project. In particular, argument-based models demonstrated more robustness than those built upon the baselines despite the knowledge bases or datasets employed. This study contributes to the body of knowledge through the exploitation of defeasible argumentation and its comparison to similar approaches. The practical use of such approaches coupled with a modular design that facilitates similar experiments was exemplified and their respective implementations made publicly available on GitHub [120, 121]. This work adds to previous works, empirically enhancing the generalisability of defeasible argumentation as a compelling approach to reason with quantitative data and uncertain knowledge.


title: Dynamic Memory for Interpretable Sequential Optimisation

abstract: Real-world applications of reinforcement learning for recommendation and experimentation faces a practical challenge: the relative reward of different bandit arms can evolve over the lifetime of the learning agent. To deal with these non-stationary cases, the agent must forget some historical knowledge, as it may no longer be relevant to minimise regret. We present a solution to handling non-stationarity that is suitable for deployment at scale, to provide business operators with automated adaptive optimisation. Our solution aims to provide interpretable learning that can be trusted by humans, whilst responding to non-stationarity to minimise regret. To this end, we develop an adaptive Bayesian learning agent that employs a novel form of dynamic memory. It enables interpretability through statistical hypothesis testing, by targeting a set point of statistical power when comparing rewards and adjusting its memory dynamically to achieve this power. By design, the agent is agnostic to different kinds of non-stationarity. Using numerical simulations, we compare its performance against an existing proposal and show that, under multiple non-stationary scenarios, our agent correctly adapts to real changes in the true rewards. In all bandit solutions, there is an explicit trade-off between learning and achieving maximal performance. Our solution sits on a different point on this trade-off when compared to another similarly robust approach: we prioritise interpretability, which relies on more learning, at the cost of some regret. We describe the architecture of a large-scale deployment of automatic optimisation-as-a-service where our agent achieves interpretability whilst adapting to changing circumstances.


title: Particles of negative and zero energy in black holes and cosmological models

abstract: Particles with negative energies are considered for three different cases: inside of horizon of Schwarzschild black hole, Milne's coordinates in flat Minkowski space-time (Milne's universe using nonsynchronous coordinates) and in cosmological G\"{o}del model of the rotating universe. It is shown that differently from the G\"{o}del model with nondiagonal term where it occurs that negative energies are impossible they are present in all other cases considered in the paper. Particles with zero energy are also possible in first two cases.


title: Multi-Prior Learning via Neural Architecture Search for Blind Face Restoration

abstract: Blind Face Restoration (BFR) aims to recover high-quality face images from low-quality ones and usually resorts to facial priors for improving restoration performance. However, current methods still suffer from two major difficulties: 1) how to derive a powerful network architecture without extensive hand tuning; 2) how to capture complementary information from multiple facial priors in one network to improve restoration performance. To this end, we propose a Face Restoration Searching Network (FRSNet) to adaptively search the suitable feature extraction architecture within our specified search space, which can directly contribute to the restoration quality. On the basis of FRSNet, we further design our Multiple Facial Prior Searching Network (MFPSNet) with a multi-prior learning scheme. MFPSNet optimally extracts information from diverse facial priors and fuses the information into image features, ensuring that both external guidance and internal features are reserved. In this way, MFPSNet takes full advantage of semantic-level (parsing maps), geometric-level (facial heatmaps), reference-level (facial dictionaries) and pixel-level (degraded images) information and thus generates faithful and realistic images. Quantitative and qualitative experiments show that MFPSNet performs favorably on both synthetic and real-world datasets against the state-of-the-art BFR methods. The codes are publicly available at: https://github.com/YYJ1anG/MFPSNet.


title: Primitive Graph Learning for Unified Vector Mapping

abstract: Large-scale vector mapping is important for transportation, city planning, and survey and census. We propose GraphMapper, a unified framework for end-to-end vector map extraction from satellite images. Our key idea is a novel unified representation of shapes of different topologies named "primitive graph", which is a set of shape primitives and their pairwise relationship matrix. Then, we convert vector shape prediction, regularization, and topology reconstruction into a unique primitive graph learning problem. Specifically, GraphMapper is a generic primitive graph learning network based on global shape context modelling through multi-head-attention. An embedding space sorting method is developed for accurate primitive relationship modelling. We empirically demonstrate the effectiveness of GraphMapper on two challenging mapping tasks, building footprint regularization and road network topology reconstruction. Our model outperforms state-of-the-art methods in both tasks on public benchmarks. All code will be publicly available.


title: Learning Gait Representation from Massive Unlabelled Walking Videos: A Benchmark

abstract: Gait depicts individuals' unique and distinguishing walking patterns and has become one of the most promising biometric features for human identification. As a fine-grained recognition task, gait recognition is easily affected by many factors and usually requires a large amount of completely annotated data that is costly and insatiable. This paper proposes a large-scale self-supervised benchmark for gait recognition with contrastive learning, aiming to learn the general gait representation from massive unlabelled walking videos for practical applications via offering informative walking priors and diverse real-world variations. Specifically, we collect a large-scale unlabelled gait dataset GaitLU-1M consisting of 1.02M walking sequences and propose a conceptually simple yet empirically powerful baseline model GaitSSB. Experimentally, we evaluate the pre-trained model on four widely-used gait benchmarks, CASIA-B, OU-MVLP, GREW and Gait3D with or without transfer learning. The unsupervised results are comparable to or even better than the early model-based and GEI-based methods. After transfer learning, our method outperforms existing methods by a large margin in most cases. Theoretically, we discuss the critical issues for gait-specific contrastive framework and present some insights for further study. As far as we know, GaitLU-1M is the first large-scale unlabelled gait dataset, and GaitSSB is the first method that achieves remarkable unsupervised results on the aforementioned benchmarks. The source code of GaitSSB will be integrated into OpenGait which is available at https://github.com/ShiqiYu/OpenGait.


title: Analysis of Individual Conversational Volatility in Tandem Telecollaboration for Second Language Learning

abstract: Second language learning can be enabled by tandem collaboration where students are grouped into video conference calls while learning the native language of other student(s) on the calls. This places students in an online environment where the more outgoing can actively contribute and engage in dialogue while those more shy and unsure of their second language skills can sit back and coast through the calls. We have built and deployed the L2L system which records timings of conversational utterances from all participants in a call. We generate visualisations including participation rates and timelines for each student in each call and present these on a dashboard. We have recently developed a measure called personal conversational volatility for how dynamic has been each student's contribution to the dialogue in each call. We present an analysis of conversational volatility measures for a sample of 19 individual English-speaking students from our University who are learning Frenchm, in each of 86 tandem telecollaboration calls over one teaching semester. Our analysis shows there is a need to look into the nature of the interactions and see if the choices of discussion topics assigned to them were too difficult for some students and that may have influenced their engagement in some way.


title: Dext-Gen: Dexterous Grasping in Sparse Reward Environments with Full Orientation Control

abstract: Reinforcement learning is a promising method for robotic grasping as it can learn effective reaching and grasping policies in difficult scenarios. However, achieving human-like manipulation capabilities with sophisticated robotic hands is challenging because of the problem's high dimensionality. Although remedies such as reward shaping or expert demonstrations can be employed to overcome this issue, they often lead to oversimplified and biased policies. We present Dext-Gen, a reinforcement learning framework for Dexterous Grasping in sparse reward ENvironments that is applicable to a variety of grippers and learns unbiased and intricate policies. Full orientation control of the gripper and object is achieved through smooth orientation representation. Our approach has reasonable training durations and provides the option to include desired prior knowledge. The effectiveness and adaptability of the framework to different scenarios is demonstrated in simulated experiments.


title: 1-planar graphs are odd 13-colorable

abstract: An odd coloring of a graph $G$ is a proper coloring such that any non-isolated vertex in $G$ has a coloring appears odd times on its neighbors. The odd chromatic number, denoted by $\chi_o(G)$, is the minimum number of colors that admits an odd coloring of $G$. Petru\v{s}evski and \v{S}krekovski in 2021 introduced this notion and proved that if $G$ is planar, then $\chi_o(G)\le9$ and conjectured that $\chi_o(G)\le5$. More recently, Petr and Portier improved $9$ to $8$. A graph is $1$-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. Cranston, Lafferty and Song showed that every $1$-planar graph is odd $23$-colorable. In this paper, we improved this result and showed that every $1$-planar graph is odd $13$-colorable.


title: Information Entropy Initialized Concrete Autoencoder for Optimal Sensor Placement and Reconstruction of Geophysical Fields

abstract: We propose a new approach to the optimal placement of sensors for the problem of reconstructing geophysical fields from sparse measurements. Our method consists of two stages. In the first stage, we estimate the variability of the physical field as a function of spatial coordinates by approximating its information entropy through the Conditional PixelCNN network. To calculate the entropy, a new ordering of a two-dimensional data array (spiral ordering) is proposed, which makes it possible to obtain the entropy of a physical field simultaneously for several spatial scales. In the second stage, the entropy of the physical field is used to initialize the distribution of optimal sensor locations. This distribution is further optimized with the Concrete Autoencoder architecture with the straight-through gradient estimator and adversarial loss to simultaneously minimize the number of sensors and maximize reconstruction accuracy. Our method scales linearly with data size, unlike commonly used Principal Component Analysis. We demonstrate our method on the two examples: (a) temperature and (b) salinity fields around the Barents Sea and the Svalbard group of islands. For these examples, we compute the reconstruction error of our method and a few baselines. We test our approach against two baselines (1) PCA with QR factorization and (2) climatology. We find out that the obtained optimal sensor locations have clear physical interpretation and correspond to the boundaries between sea currents.


title: MACSA: A Multimodal Aspect-Category Sentiment Analysis Dataset with Multimodal Fine-grained Aligned Annotations

abstract: Multimodal fine-grained sentiment analysis has recently attracted increasing attention due to its broad applications. However, the existing multimodal fine-grained sentiment datasets most focus on annotating the fine-grained elements in text but ignore those in images, which leads to the fine-grained elements in visual content not receiving the full attention they deserve. In this paper, we propose a new dataset, the Multimodal Aspect-Category Sentiment Analysis (MACSA) dataset, which contains more than 21K text-image pairs. The dataset provides fine-grained annotations for both textual and visual content and firstly uses the aspect category as the pivot to align the fine-grained elements between the two modalities. Based on our dataset, we propose the Multimodal ACSA task and a multimodal graph-based aligned model (MGAM), which adopts a fine-grained cross-modal fusion method. Experimental results show that our method can facilitate the baseline comparison for future research on this corpus. We will make the dataset and code publicly available.


title: RAPID: AppRoximAte Pipelined Soft Multipliers and Dividers for High-Throughput and Energy-Efficiency

abstract: The rapid updates in error-resilient applications along with their quest for high throughput have motivated designing fast approximate functional units for Field-Programmable Gate Arrays (FPGAs). Studies that proposed imprecise functional techniques are posed with three shortcomings: first, most inexact multipliers and dividers are specialized for Application-Specific Integrated Circuit (ASIC) platforms. Second, state-of-the-art (SoA) approximate units are substituted, mostly in a single kernel of a multi-kernel application. Moreover, the end-to-end assessment is adopted on the Quality of Results (QoR), but not on the overall gained performance. Finally, existing imprecise components are not designed to support a pipelined approach, which could boost the operating frequency/throughput of, e.g., division-included applications. In this paper, we propose RAPID, the first pipelined approximate multiplier and divider architecture, customized for FPGAs. The proposed units efficiently utilize 6-input Look-up Tables (6-LUTs) and fast carry chains to implement Mitchell's approximate algorithms. Our novel error-refinement scheme not only has negligible overhead over the baseline Mitchell's approach but also boosts its accuracy to 99.4% for arbitrary size of multiplication and division. Experimental results demonstrate the efficiency of the proposed pipelined and non-pipelined RAPID multipliers and dividers over accurate counterparts. Moreover, the end-to-end evaluations of RAPID, deployed in three multi-kernel applications in the domains of bio-signal processing, image processing, and moving object tracking for Unmanned Air Vehicles (UAV) indicate up to 45% improvements in area, latency, and Area-Delay-Product (ADP), respectively, over accurate kernels, with negligible loss in QoR.


title: Young, blue, and isolated stellar systems in the Virgo Cluster. I. 2-D Optical spectroscopy

abstract: We use panoramic optical spectroscopy obtained with MUSE@VLT to investigate the nature of five candidate extremely isolated low-mass star forming regions (Blue Candidates, BCs hereafter) toward the Virgo cluster of galaxies. Four of the five (BC1, BC3, BC4, BC5) are found to host several HII regions and to have radial velocities fully compatible with being part of the Virgo cluster. All the confirmed candidates have mean metallicity significantly in excess of that expected from their stellar mass, indicating that they originated from gas stripped from larger galaxies. In summary, these four candidates share the properties of the prototype system SECCO 1, suggesting the possible emergence of a new class of stellar systems, intimately linked to the complex duty cycle of gas within clusters of galaxies. A thorough discussion on the nature and evolution of these objects is presented in a companion paper, where the results obtained here from MUSE data are complemented with Hubble Space Telescope (optical) and Very Large Array (HI) observations.


title: Star Cluster Formation and Evolution in M101: An Investigation with the Legacy Extragalactic UV Survey

abstract: We present Hubble Space Telescope WFC3/UVIS (F275W, F336W) and ACS/WFC optical (F435W, F555W, and F814W) observations of the nearby grand-design spiral galaxy M101 as part of the Legacy Extragalactic UV Survey (LEGUS). Compact sources detected in at least four bands were classified by both human experts and the convolutional neural network StarcNet. Human experts classified the 2,351 brightest sources, retrieving $N_{c} = 965$ star clusters. StarcNet, trained on LEGUS data not including M101, classified all 4,725 sources detected in four bands, retrieving $N_{c} = 2,270$ star clusters. The combined catalog represents the most complete census to date of compact star clusters in M101. We find that for the 2,351 sources with both a visual- and ML-classification StarcNet is able to reproduce the human classifications at high levels of accuracy ($\sim 80-90\%$), which is equivalent to the level of agreement between human classifiers in LEGUS. The derived cluster age distribution implies a disruption rate of $dN/d\tau \propto \tau^{-0.45 \pm 0.14}$ over $10^{7} < \tau < 10^{8.5}$yr for cluster masses $\geq 10^{3.55} M_{\odot}$ for the central region of M101 and $dN/d\tau \propto \tau^{-0.02 \pm 0.15}$ for cluster masses $\geq 10^{3.38} M_{\odot}$ in the northwest region of the galaxy. The trends we recover are weaker than those of other nearby spirals (e.g. M51) and starbursts, consistent with the M101 environment having a lower-density interstellar medium, and providing evidence in favor of environmentally-dependent cluster disruption in the central, southeast, and northwest regions of M101.


title: Towards a Grounded Theory of Causation for Embodied AI

abstract: There exist well-developed frameworks for causal modelling, but these require rather a lot of human domain expertise to define causal variables and perform interventions. In order to enable autonomous agents to learn abstract causal models through interactive experience, the existing theoretical foundations need to be extended and clarified. Existing frameworks give no guidance regarding variable choice / representation, and more importantly, give no indication as to which behaviour policies or physical transformations of state space shall count as interventions. The framework sketched in this paper describes actions as transformations of state space, for instance induced by an agent running a policy. This makes it possible to describe in a uniform way both transformations of the micro-state space and abstract models thereof, and say when the latter is veridical / grounded / natural. We then introduce (causal) variables, define a mechanism as an invariant predictor, and say when an action can be viewed as a ``surgical intervention'', thus bringing the objective of causal representation \& intervention skill learning into clearer focus.


title: Joint Generator-Ranker Learning for Natural Language Generation

abstract: Generate-then-rank is a widely used mechanism for text generation, where a generator produces multiple text candidates and a ranker chooses the best one among the text candidates. However, existing methods usually train the generator and the ranker individually, neglecting the mutual feedback that could further enhance the generation quality. To tackle this limitation, we propose JGR, a novel joint training algorithm that integrates the generator and the ranker in a single framework. JGR optimizes the generator with a hybrid objective that combines data likelihood and ranker reward, and trains the ranker with a contrastive loss that compares the generator outputs. By iteratively updating the generator and the ranker, JGR can effectively harmonize their learning and enhance their quality jointly. We evaluate JGR on various text generation tasks and demonstrate that it surpasses existing methods on four public datasets across three common generation scenarios. Our code and models are publicly available at https://github.com/microsoft/ProphetNet/tree/master/JGR.


title: Toric degenerations of partial flag varieties and combinatorial mutations of matching field polytopes

abstract: We study toric degenerations arising from Gr\"obner degenerations or the tropicalization of partial flag varieties. We produce a new family of toric degenerations of partial flag varieties whose combinatorics are governed by matching fields and combinatorial mutations of polytopes. We provide an explicit description of the polytopes associated with the resulting toric varieties in terms of matching field polytopes. These polytopes encode the combinatorial data of monomial degenerations of Pl\"ucker forms for the Grassmannians. We give a description of matching field polytopes of flag varieties as Minkowski sums and show that all such polytopes are normal. The polytopes we obtain are examples of Newton-Okounkov bodies for particular full-rank valuations for flag varieties. Furthermore, we study a certain explicitly-defined large family of matching field polytopes and prove that all polytopes in this family are connected by combinatorial mutations. Finally, we apply our methods to explicitly compute toric degenerations of small Grassmannians and flag varieties and obtain new families of toric degenerations.


title: Many-Body Contributions in Water Nano-Clusters

abstract: Many-body interactions in water are known to be important but difficult to treat in atomistic models and often are included only as a correction. Polarizable models treat them explicitly, with long-range many-body potentials, within their classical approximation. However, their calculation is computationally expensive. Here, we evaluate how relevant the contributions to the many-body interaction associated with different coordination shells are. We calculate the global energy minimum, and the corresponding configuration, for nano-clusters of up to 20 water molecules. We find that including the first coordination shell, i.e., the five-body term of the central molecule, is enough to approximate within 5% the global energy minimum and its structure. We show that this result is valid for three different polarizable models, the Dang-Chang, the MB-pol, and the Kozack-Jordan potentials. This result suggests a strategy to develop many-body potentials for water that are reliable and, at the same time, computationally efficient.


title: Some characterizations of the complex projective space via Ehrhart polynomials

abstract: Let $P_{\lambda\Sigma_n}$ be the Ehrhart polynomial associated to an intergal multiple $\lambda$ of the standard symplex $\Sigma_n \subset \mathbb{R}^n$. In this paper we prove that if $(M, L)$ is an $n$-dimensional polarized toric manifold with associated Delzant polytope $\Delta$ and Ehrhart polynomial $P_\Delta$ such that $P_{\Delta}=P_{\lambda\Sigma_n}$, for some $\lambda \in \mathbb{Z}^+$, then $(M, L)\cong (\mathbb{C} P^n, O(\lambda))$ (where $O(1)$ is the hyperplane bundle on $\mathbb{C} P^n$) in the following three cases: 1. arbitrary $n$ and $\lambda=1$, 2. $n=2$ and $\lambda =3$, 3. $\lambda =n+1$ under the assumption that the polarization $L$ is asymptotically Chow semistable.


title: Nonlinear Schr\"odinger equation on the half-line without a conserved number of solitons

abstract: We explore the phenomena of absorption/emission of solitons by an integrable boundary for the nonlinear Schr\"odinger equation on the half-line. This is based on the investigation of time-dependent reflection matrices which satisfy the boundary zero curvature equation. In particular, this leads to absorption/emission processes at the boundary that can take place for solitons and higher-order solitons. As a consequence, the usual charges on the half-line are no longer conserved but we show explicitly how to restore an infinite set of conserved quantities by taking the boundary into account. The Hamiltonian description and Poisson structure of the model are presented, which allows us to derive for the first time a classical version of the boundary algebra used originally in the context of the quantum nonlinear Schr\"odinger equation.


title: Attack Agnostic Dataset: Towards Generalization and Stabilization of Audio DeepFake Detection

abstract: Audio DeepFakes allow the creation of high-quality, convincing utterances and therefore pose a threat due to its potential applications such as impersonation or fake news. Methods for detecting these manipulations should be characterized by good generalization and stability leading to robustness against attacks conducted with techniques that are not explicitly included in the training. In this work, we introduce Attack Agnostic Dataset - a combination of two audio DeepFakes and one anti-spoofing datasets that, thanks to the disjoint use of attacks, can lead to better generalization of detection methods. We present a thorough analysis of current DeepFake detection methods and consider different audio features (front-ends). In addition, we propose a model based on LCNN with LFCC and mel-spectrogram front-end, which not only is characterized by a good generalization and stability results but also shows improvement over LFCC-based mode - we decrease standard deviation on all folds and EER in two folds by up to 5%.


title: Label-enhanced Prototypical Network with Contrastive Learning for Multi-label Few-shot Aspect Category Detection

abstract: Multi-label aspect category detection allows a given review sentence to contain multiple aspect categories, which is shown to be more practical in sentiment analysis and attracting increasing attention. As annotating large amounts of data is time-consuming and labor-intensive, data scarcity occurs frequently in real-world scenarios, which motivates multi-label few-shot aspect category detection. However, research on this problem is still in infancy and few methods are available. In this paper, we propose a novel label-enhanced prototypical network (LPN) for multi-label few-shot aspect category detection. The highlights of LPN can be summarized as follows. First, it leverages label description as auxiliary knowledge to learn more discriminative prototypes, which can retain aspect-relevant information while eliminating the harmful effect caused by irrelevant aspects. Second, it integrates with contrastive learning, which encourages that the sentences with the same aspect label are pulled together in embedding space while simultaneously pushing apart the sentences with different aspect labels. In addition, it introduces an adaptive multi-label inference module to predict the aspect count in the sentence, which is simple yet effective. Extensive experimental results on three datasets demonstrate that our proposed model LPN can consistently achieve state-of-the-art performance.


title: Hybrid Ensemble for Fake News Detection: An attempt

abstract: Fake News Detection has been a challenging problem in the field of Machine Learning. Researchers have approached it via several techniques using old Statistical Classification models and modern Deep Learning. Today, with the growing amount of data, developments in the field of NLP and ML, and an increase in the computation power at disposal, there are infinite permutations and combinations to approach this problem from a different perspective. In this paper, we try different methods to tackle Fake News, and try to build, and propose the possibilities of a Hybrid Ensemble combining the classical Machine Learning techniques with the modern Deep Learning Approaches


title: A Proposed Bi-LSTM Method to Fake News Detection

abstract: Recent years have seen an explosion in social media usage, allowing people to connect with others. Since the appearance of platforms such as Facebook and Twitter, such platforms influence how we speak, think, and behave. This problem negatively undermines confidence in content because of the existence of fake news. For instance, false news was a determining factor in influencing the outcome of the U.S. presidential election and other sites. Because this information is so harmful, it is essential to make sure we have the necessary tools to detect and resist it. We applied Bidirectional Long Short-Term Memory (Bi-LSTM) to determine if the news is false or real in order to showcase this study. A number of foreign websites and newspapers were used for data collection. After creating & running the model, the work achieved 84% model accuracy and 62.0 F1-macro scores with training data.


title: BAGEL: A Benchmark for Assessing Graph Neural Network Explanations

abstract: The problem of interpreting the decisions of machine learning is a well-researched and important. We are interested in a specific type of machine learning model that deals with graph data called graph neural networks. Evaluating interpretability approaches for graph neural networks (GNN) specifically are known to be challenging due to the lack of a commonly accepted benchmark. Given a GNN model, several interpretability approaches exist to explain GNN models with diverse (sometimes conflicting) evaluation methodologies. In this paper, we propose a benchmark for evaluating the explainability approaches for GNNs called Bagel. In Bagel, we firstly propose four diverse GNN explanation evaluation regimes -- 1) faithfulness, 2) sparsity, 3) correctness. and 4) plausibility. We reconcile multiple evaluation metrics in the existing literature and cover diverse notions for a holistic evaluation. Our graph datasets range from citation networks, document graphs, to graphs from molecules and proteins. We conduct an extensive empirical study on four GNN models and nine post-hoc explanation approaches for node and graph classification tasks. We open both the benchmarks and reference implementations and make them available at https://github.com/Mandeep-Rathee/Bagel-benchmark.


title: Fundamental Limits of Communication Efficiency for Model Aggregation in Distributed Learning: A Rate-Distortion Approach

abstract: One of the main focuses in distributed learning is communication efficiency, since model aggregation at each round of training can consist of millions to billions of parameters. Several model compression methods, such as gradient quantization and sparsification, have been proposed to improve the communication efficiency of model aggregation. However, the information-theoretic minimum communication cost for a given distortion of gradient estimators is still unknown. In this paper, we study the fundamental limit of communication cost of model aggregation in distributed learning from a rate-distortion perspective. By formulating the model aggregation as a vector Gaussian CEO problem, we derive the rate region bound and sum-rate-distortion function for the model aggregation problem, which reveals the minimum communication rate at a particular gradient distortion upper bound. We also analyze the communication cost at each iteration and total communication cost based on the sum-rate-distortion function with the gradient statistics of real-world datasets. It is found that the communication gain by exploiting the correlation between worker nodes is significant for SignSGD, and a high distortion of gradient estimator can achieve low total communication cost in gradient compression.


title: Semi-classical theory of quantum stochastic resistors

abstract: We devise a semi-classical model to describe the transport properties of low-dimensional fermionic lattices under the influence of external quantum stochastic noise. These systems behave as quantum stochastic resistors, where the bulk particle transport is diffusive and obeys the Ohm/Fick's law. Here, we extend previous exact studies beyond the one-dimensional limit to ladder geometries and explore different dephasing mechanisms that are relevant to different physical systems, from solid-state to cold atoms. We find a non-trivial dependence of the conductance of these systems on the chemical potential of the reservoirs. We then introduce a semi-classical approach that is in good agreement with the exact numerical solution and provides an intuitive and simpler interpretation of transport in quantum stochastic resistors. Moreover, we find that the conductance of quantum ladders is insensitive to the coherence of the dephasing process along the direction transverse to transport, despite the fact that the system reaches different stationary states. We conclude by discussing the case of dissipative leads affected by dephasing, deriving the conditions for which they effectively behave as Markovian injectors of particles in the system.


title: Hyperon productions from Au+Au collisions at $\sqrt{s_{NN}}$=200 GeV

abstract: We evaluate centrality dependence of hyperon, $\Lambda, \Xi, \Omega$ and $K$ meson yields from Au+Au collisions at $\sqrt{s_{NN}}$=200 GeV using rate equation and compare with experimental observations. An increase in the yield per participating nucleon is observed with centrality. Higher rate of multistrange productions compared to single-strange are also observed in case of central collisions. Using rate equation or momentum integrated Boltzmann equation we discuss the yield microscopically which are then normalised with thermal pions to get the yield ratio,($H_s+\bar{H_s}$)/($\pi^++\pi^-$) at various centralities. We have also evaluated the relative yield of anti hyperons per participant at various centralities and compared with observations made at RHIC. Increase in the rate of $\Xi$ yield compared to $\Lambda$ is realised in most central collisions. We find multi strange $\Xi,\Omega$ freeze-out at a temperature very close to $T_c$ and $\Lambda, K$ do little later.


title: Superuid density in overdoped cuprates: thin films versus bulk samples

abstract: Recent study of overdoped La$_{2-x}$Sr$_x$CuO$_4$ cuprate superconductor thin films by Bo\v{z}ovi\'{c} {\it et al.} has revealed several unexpected findings, most notably the violation of the BCS description which was believed to adequately describe overdoped cuprates. In particular, it was found that the superfluid density in La$_{2-x}$Sr$_x$CuO$_4$ films decreases on the overdoped side as a linear function of critical temperature T$_c$, which was taken as evidence for the violation of the Homes' law. We show explicitly that the law is indeed violated, and as the main reason for violation we find that the superfluid density in Bo\v{z}ovi\'{c}'s films is suppressed more strongly than in bulk samples. Based on the existing literature data, we show that the superfluid density in bulk cuprate samples does not decrease with doping, but instead tends to saturate on the overdoped side. The result is also supported by our recent measurement of a heavily overdoped bulk La$_{2-x}$Sr$_x$CuO$_4$ sample. Moreover, this saturation of superfluid density might not be limited to cuprates, as we find evidence for similar behavior in two pnictide superconductor families. We argue that quantum phase fluctuations play an important role in suppressing the superfluid density in thin films.


title: Planar diagrams for lattice gauge theory on finite tori

abstract: An $N=\infty$ equivalence among quenched $U(N)$ models on finite lattice tori of $V$ sites is proven to all orders in planar perturbation theory by putting circulant lattice momenta together with group indices on 't Hooft's double lines. Known estimates for the number of order $N^2$ diagrams, $N\gg V$, and the simultaneous presence of UV and IR cutoffs, suggest a positive radius of convergence for the planar perturbative expansion before the limit $N=\infty$ is taken.


title: On the Dales-Zelazko conjecture for Beurling algebras on discrete groups

abstract: Let $G$ be a group which is either virtually soluble or virtually free, and let $\omega$ be a weight on $G$. We prove that, if $G$ is infinite, then there is some maximal left ideal of finite codimension in the Beurling algebra $\ell^1(G, \omega)$ which fails to be (algebraically) finitely generated. This implies that a conjecture of Dales and Zelazko holds for these Banach algebras. We then go on to give examples of weighted groups for which this property fails in a strong way. For instance we describe a Beurling algebra on an infinite group in which every left ideal of finite codimension is finitely generated, and which has many such ideals in the sense of being residually finite dimensional. These examples seem to be hard cases for proving Dales and Zelazko's conjecture.


title: Critical analysis of radical scavenging properties of atorvastatin in methanol recently estimated via density functional theory

abstract: In this communication we draw attention on serious flaws that plague recently reported antioxidant properties of atorvastatin (ATV) in methanol. First and foremost, we emphasize that the O-H bond dissociation energies (BDE) of about 400\,kcal/mol previously reported are completely wrong. Further, we present results refuting the previous claim that the proton affinity (PA) of ATV is smaller than that of the ascorbic acid. That unfounded claim relies on incorrect data for PA's ascorbic acid (which we correct here) circulated in the literature. Further, we correct the values of the chemical reactivity indices (e.g., chemical hardness, electrophilicity index, electroaccepting and electrodonating powers), which were inadequately estimated previously via Kohn-Sham HOMO and LUMO energies. Finally, our updated values for \ce{O-H} bond dissociation enthalpy (BDE = 91.4\,kcal/mol) and electron transfer enthalpy (ETE = 105.7\,kcal/mol) tentatively suggest that direct H-atom transfer (HAT) and sequential proton loss electron transfer (SPLET) may coexist.

categories: physics.chem-ph physics.bio-ph physics.med-ph q-bio.BM q-bio.QM


title: Increasing Confidence in Adversarial Robustness Evaluations

abstract: Hundreds of defenses have been proposed to make deep neural networks robust against minimal (adversarial) input perturbations. However, only a handful of these defenses held up their claims because correctly evaluating robustness is extremely challenging: Weak attacks often fail to find adversarial examples even if they unknowingly exist, thereby making a vulnerable network look robust. In this paper, we propose a test to identify weak attacks, and thus weak defense evaluations. Our test slightly modifies a neural network to guarantee the existence of an adversarial example for every sample. Consequentially, any correct attack must succeed in breaking this modified network. For eleven out of thirteen previously-published defenses, the original evaluation of the defense fails our test, while stronger attacks that break these defenses pass it. We hope that attack unit tests - such as ours - will be a major component in future robustness evaluations and increase confidence in an empirical field that is currently riddled with skepticism.


title: Dynamical information flow within the magnetosphere-ionosphere system during magnetic storms

abstract: The direct role of successive intense magnetospheric substorms in injecting/energizing particles into the storm-time ring current is still debated and controversial. Whereas in the recent past it has been observed the absence of a net information flow between magnetic storms and substorms, previous in-situ satellite observations have evidenced that ionospheric-origin ions dominate the population of the ring current during the main phase of geomagnetic storms. As a matter of fact, the controversy arises mainly by the use of sophisticated data-driven techniques somewhat contradicting in-situ measurements. In this framework, the main aim of this work is to attempt an adaption of the powerful information-theoretic approach, i.e., the transfer entropy, in a consistent way with physics modeling and observations and to explore the possible motivations behind the underlying contradictions that emerge when these techniques are used. Our idea is to characterize the dynamics of the information flow within the magnetosphere-ionosphere system using a database of geomagnetic storms instead of considering a long time series of geomagnetic indices. This allows us to consider local non-stationary features of the information flow and, most importantly, to follow the transition from quiet to disturbed periods and vice-versa.


title: A topological splitting of the space of meromorphic germs in several variables and continuous evaluators

abstract: We prove a topological decomposition of the space of meromorphic germs at zero in several variables with prescribed linear poles as a sum of spaces of holomorphic and polar germs. Evaluating the resulting holomorphic projection at zero gives rise to a continuous evaluator (at zero) on the space of meromorphic germs in several variables. Our constructions are carried out in the framework of Silva spaces and use an inner product on the underlying space of variables. They generalise to several variables, the topological direct decomposition of meromorphic germs at zero as sums of holomorphic and polar germs previously derived by the first and third author and provide a topological refinement of a known algebraic decomposition of such spaces previously derived by the second author and collaborators.


title: Instantons: thick-wall approximation

abstract: We develop a new method for estimating the decay probability of the false vacuum via regularized instantons. Namely, we consider the case where the potential is either unbounded from below or the second minimum corresponding to the true vacuum has a depth exceeding the height of the potential barrier. In this case, the materialized bubbles dominating the vacuum decay naturally have a thick wall and the thin-wall approximation is not applicable. We prove that in such a case the main contribution to the action determining the decay probability comes from the part of the solution for which the potential term in the equation for instantons can be neglected compared to the friction term. We show that the developed approximation exactly reproduces the leading order results for the few known exactly solvable potentials. The proposed method is applied to generic scalar field potentials in an arbitrary number of dimensions.

categories: hep-th gr-qc hep-ph math-ph math.MP quant-ph


title: New MDS Entanglement-Assisted Quantum Codes from MDS Hermitian Self-Orthogonal Codes

abstract: The intersection ${\bf C}\bigcap {\bf C}^{\perp_H}$ of a linear code ${\bf C} \subset {\bf F}_{q^2}$ and its Hermitian dual ${\bf C}^{\perp_H}$ is called the Hermitian hull of this code. A linear code ${\bf C} \subset {\bf F}_{q^2}$ satisfying ${\bf C} \subset {\bf C}^{\perp_H}$ is called Hermitian self-orthogonal. Many Hermitian self-orthogonal codes were given for the construction of MDS quantum error correction codes (QECCs). In this paper we prove that for a nonnegative integer $h$ satisfying $0 \leq h \leq k$, a linear Hermitian self-orthogonal $[n, k]_{q^2}$ code is equivalent to a linear $h$-dimension Hermitian hull code. Therefore a lot of new MDS entanglement-assisted quantum error correction (EAQEC) codes can be constructed from previous known Hermitian self-orthogonal codes. Actually our method shows that previous constructed quantum MDS codes from Hermitian self-orthogonal codes can be transformed to MDS entanglement-assisted quantum codes with nonzero consumption parameter $c$ directly. We prove that MDS EAQEC $[[n, k, d, c]]_q$ codes with nonzero $c$ parameters and $d\leq \frac{n+2}{2}$ exist for arbitrary length $n \leq q^2+1$. Moreover any QECC constructed from $k$-dimensional Hermitian self-orthogonal codes can be transformed to $k$ different EAQEC codes.


title: Detecting tiny objects in aerial images: A normalized Wasserstein distance and a new benchmark

abstract: Tiny object detection (TOD) in aerial images is challenging since a tiny object only contains a few pixels. State-of-the-art object detectors do not provide satisfactory results on tiny objects due to the lack of supervision from discriminative features. Our key observation is that the Intersection over Union (IoU) metric and its extensions are very sensitive to the location deviation of the tiny objects, which drastically deteriorates the quality of label assignment when used in anchor-based detectors. To tackle this problem, we propose a new evaluation metric dubbed Normalized Wasserstein Distance (NWD) and a new RanKing-based Assigning (RKA) strategy for tiny object detection. The proposed NWD-RKA strategy can be easily embedded into all kinds of anchor-based detectors to replace the standard IoU threshold-based one, significantly improving label assignment and providing sufficient supervision information for network training. Tested on four datasets, NWD-RKA can consistently improve tiny object detection performance by a large margin. Besides, observing prominent noisy labels in the Tiny Object Detection in Aerial Images (AI-TOD) dataset, we are motivated to meticulously relabel it and release AI-TOD-v2 and its corresponding benchmark. In AI-TOD-v2, the missing annotation and location error problems are considerably mitigated, facilitating more reliable training and validation processes. Embedding NWD-RKA into DetectoRS, the detection performance achieves 4.3 AP points improvement over state-of-the-art competitors on AI-TOD-v2. Datasets, codes, and more visualizations are available at: https://chasel-tsui.github.io/AI-TOD-v2/


title: On the partial derivatives of Drinfeld modular forms of arbitrary rank

abstract: In this paper, we obtain an analogue of the Serre derivation acting on the product of spaces of Drinfeld modular forms which also generalizes the differential operator introduced by Gekeler in the rank two case. We further introduce a finitely generated algebra $\mathcal{M}_r$ containing all the Drinfeld modular forms for the full modular group and show its stability under the partial derivatives. Moreover, we obtain the transcendence of the non-zero values of the generators of $\mathcal{M}_r$ and certain Drinfeld modular forms at CM points over the rational function field.


title: Learning Symmetric Rules with SATNet

abstract: SATNet is a differentiable constraint solver with a custom backpropagation algorithm, which can be used as a layer in a deep-learning system. It is a promising proposal for bridging deep learning and logical reasoning. In fact, SATNet has been successfully applied to learn, among others, the rules of a complex logical puzzle, such as Sudoku, just from input and output pairs where inputs are given as images. In this paper, we show how to improve the learning of SATNet by exploiting symmetries in the target rules of a given but unknown logical puzzle or more generally a logical formula. We present SymSATNet, a variant of SATNet that translates the given symmetries of the target rules to a condition on the parameters of SATNet and requires that the parameters should have a particular parametric form that guarantees the condition. The requirement dramatically reduces the number of parameters to learn for the rules with enough symmetries, and makes the parameter learning of SymSATNet much easier than that of SATNet. We also describe a technique for automatically discovering symmetries of the target rules from examples. Our experiments with Sudoku and Rubik's cube show the substantial improvement of SymSATNet over the baseline SATNet.


title: Orthogonal Delay-Doppler Division Multiplexing Modulation

abstract: Inspired by the orthogonal time frequency space (OTFS) modulation, in this paper, we consider designing a multicarrier (MC) modulation on delay-Doppler (DD) plane, to couple the modulated signal with a doubly-selective channel having DD resolutions. A key challenge for the design of DD plane MC modulation is to investigate whether a realizable pulse orthogonal with respect to the DD plane's fine resolutions exists or not. To this end, we first indicate that a feasible DD plane MC modulation is essentially a type of staggered multitone modulation. Then, analogous to orthogonal frequency division multiplexing, we propose an orthogonal delay-Doppler division multiplexing (ODDM) modulation, and design the corresponding transmit pulse. Furthermore, we prove that the proposed transmit pulse is orthogonal with respect to the DD plane's resolutions and therefore a realizable DD plane orthogonal pulse does exist. The orthogonality of this particular pulse significantly eases the derivation of the ODDM's DD domain channel input-output relation, and yields a channel matrix with an elegant block-circulant-like structure. We demonstrate that the ODDM outperforms the OTFS in terms of out-of-band emission and bit error rate, by achieving perfect coupling between the modulated signal and the DD channel.


title: Link the World: Improving Open-domain Conversation with Dynamic Spatiotemporal-aware Knowledge

abstract: Making chatbots world aware in a conversation like a human is a crucial challenge, where the world may contain dynamic knowledge and spatiotemporal state. Several recent advances have tried to link the dialog system to a static knowledge base or search engine, but they do not contain all the world information needed for conversations. In contrast, we propose a new method to improve the dialogue system using spatiotemporal aware dynamic knowledge. We utilize service information as a way for the dialogue system to link the world. The system actively builds a request according to the dialog context and spatiotemporal state to get service information and then generates world aware responses. To implement this method, we collect DuSinc, an open-domain human-human dialogue dataset, where a participant can access the service to get the information needed for dialogue responses. Through automatic and human evaluations, we found that service information significantly improves the consistency, informativeness, factuality, and engagingness of the dialogue system, making it behave more like a human. Compared to the pre-trained models without spatiotemporal aware dynamic knowledge, the overall session-level score was improved by 60.87\%. The collection dataset and methods will be open-sourced.


title: Computing positroid cells in the Grassmannian of lines, their boundaries and their intersections

abstract: Positroids are families of matroids introduced by Postnikov in the study of non-negative Grassmannians. In particular, positroids enumerate a CW decomposition of the totally non-negative Grassmannian. Furthermore, Postnikov has identified several families of combinatorial objects in bijections with positroids. We will provide yet another characterization of positroids for Gr$_{\geq 0}(2,n)$, the Grassmannians of lines, in terms of certain graphs. We use this characterization to compute the dimension and the boundary of positroid cells. This also leads to a combinatorial description of the intersection of positroid cells, that is easily computable. Our techniques rely on determining different ways to enlarge a given collection of subsets of $\{1,\ldots,n\}$ to represent the dependent sets of a positroid, that is the dependencies among the columns of a matrix with non-negative maximal minors. Furthermore, we provide an algorithm to compute all the maximal positroids contained in a set.


title: Intrinsic volumes of ellipsoids

abstract: We deduce explicit formulae for the intrinsic volumes of an ellipsoid in $\mathbb R^d$, $d\ge 2$, in terms of elliptic integrals. Namely, for an ellipsoid ${\mathcal E}\subset \mathbb R^d$ with semiaxes $a_1,\ldots, a_d$ we show that \begin{align*} V_k({\mathcal E})=\kappa_k\sum_{i=1}^da_i^2s_{k-1}(a_1^2,\dots,a_{i-1}^2,a_{i+1}^2,\dots,a_d^2)\int_0^{\infty}{t^{k-1}\over(a_i^2t^2+1)\prod_{j=1}^d\sqrt{a_j^2t^2+1}}\,\rm{d}t \end{align*} for all $k=1,\ldots,d$, where $s_{k-1}$ is the $(k-1)$-th elementary symmetric polynomial and $\kappa_k$ is the volume of the $k$-dimensional unit ball. Some examples of the intrinsic volumes $V_k$ with low and high $k$ are given where our formulae look particularly simple. As an application we derive new formulae for the expected $k$-dimensional volume of random $k$-simplex in an ellipsoid and random Gaussian $k$-simplex.


title: The Cauchy problems for the 2D compressible Euler equations and ideal MHD system are ill-posed in $H^\frac{7}{4}(\mathbb{R}^2)$

abstract: In a fractional Sobolev space $H^\frac{7}{4}(\mathbb{R}^2)$, we prove the desired low-regularity ill-posedness results for the 2D compressible Euler equations and the 2D ideal compressible MHD system. For the Euler equations, it is sharp with respect to the regularity of the fluid velocity and density. The mechanism behind the obtained ill-posedness is the instantaneous shock formation.


title: On the amplification of security and privacy risks by post-hoc explanations in machine learning models

abstract: A variety of explanation methods have been proposed in recent years to help users gain insights into the results returned by neural networks, which are otherwise complex and opaque black-boxes. However, explanations give rise to potential side-channels that can be leveraged by an adversary for mounting attacks on the system. In particular, post-hoc explanation methods that highlight input dimensions according to their importance or relevance to the result also leak information that weakens security and privacy. In this work, we perform the first systematic characterization of the privacy and security risks arising from various popular explanation techniques. First, we propose novel explanation-guided black-box evasion attacks that lead to 10 times reduction in query count for the same success rate. We show that the adversarial advantage from explanations can be quantified as a reduction in the total variance of the estimated gradient. Second, we revisit the membership information leaked by common explanations. Contrary to observations in prior studies, via our modified attacks we show significant leakage of membership information (above 100% improvement over prior results), even in a much stricter black-box setting. Finally, we study explanation-guided model extraction attacks and demonstrate adversarial gains through a large reduction in query count.


title: Zero energy states of Dirac equation in $(2+1)$-dimensional curved spacetime

abstract: We consider Dirac equation in $(2+1)$ dimensional curved spacetime in the presence of a scalar potential. It is then shown that the zero energy states are degenerate and they can be obtained when the momentum $k_y$ in the $y$ direction satisfies certain constraints involving the mass parameter and the scalar potential coupling.


title: Gravitational-wave inference for eccentric binaries: the argument of periapsis

abstract: Gravitational waves from binary black hole mergers have allowed us to directly observe stellar-mass black hole binaries for the first time, and therefore explore their formation channels. One of the ways to infer how a binary system is assembled is by measuring the system's orbital eccentricity. Current methods of parameter estimation do not include all physical effects of eccentric systems such as spin-induced precession, higher-order modes, and the initial argument of periapsis: an angle describing the orientation of the orbital ellipse. We explore how varying the argument of periapsis changes gravitational waveforms and study its effect on the inference of astrophysical parameters. We use the eccentric spin-aligned waveforms TEOBResumS and SEOBNRE to measure the change in the waveforms as the argument of periapsis is changed. We find that the argument of periapsis could already be impacting analyses performed with TEOBResumS. However, it is likely to be well-resolvable in the foreseeable future only for the loudest events observed by LIGO--Virgo--KAGRA. The systematic error in previous, low-eccentricity analyses that have not considered the argument of periapsis is likely to be small.


title: The Importance of (Exponentially More) Computing Power

abstract: Denizens of Silicon Valley have called Moore's Law "the most important graph in human history," and economists have found that Moore's Law-powered I.T. revolution has been one of the most important sources of national productivity growth. But data substantiating these claims tend to either be abstracted - for example by examining spending on I.T., rather than I.T. itself - or anecdotal. In this paper, we assemble direct quantitative evidence of the impact that computing power has had on five domains: two computing bellwethers (Chess and Go), and three economically important applications (weather prediction, protein folding, and oil exploration). Computing power explains 49%-94% of the performance improvements in these domains. But whereas economic theory typically assumes a power-law relationship between inputs and outputs, we find that an exponential increase in computing power is needed to get linear improvements in these outcomes. This helps clarify why the exponential growth of computing power from Moore's Law has been so important for progress, and why performance improvements across many domains are becoming economically tenuous as Moore's Law breaks down.


title: Phase structure of electroweak vacuum in a strong magnetic field: the lattice results

abstract: Using first-principle lattice simulations, we demonstrate that in the background of a strong magnetic field (around $10^{20}$ T), the electroweak sector of the vacuum experiences two consecutive crossover transitions associated with dramatic changes in the zero-temperature dynamics of the vector $W$ bosons and the scalar Higgs particles, respectively. Above the first crossover, we observe the appearance of large, inhomogeneous structures consistent with a classical picture of the formation of $W$ and $Z$ condensates pierced by vortices. The presence of the $W$ and $Z$ condensates supports the emergence of the exotic superconducting and superfluid properties induced by a strong magnetic field in the vacuum. We find evidence that the vortices form a disordered solid or a liquid rather than a crystal. The second transition restores the electroweak symmetry. Such conditions can be realized in the near-horizon region of the magnetized black holes.


title: Show Me Your Face, And I'll Tell You How You Speak

abstract: When we speak, the prosody and content of the speech can be inferred from the movement of our lips. In this work, we explore the task of lip to speech synthesis, i.e., learning to generate speech given only the lip movements of a speaker where we focus on learning accurate lip to speech mappings for multiple speakers in unconstrained, large vocabulary settings. We capture the speaker's voice identity through their facial characteristics, i.e., age, gender, ethnicity and condition them along with the lip movements to generate speaker identity aware speech. To this end, we present a novel method "Lip2Speech", with key design choices to achieve accurate lip to speech synthesis in unconstrained scenarios. We also perform various experiments and extensive evaluation using quantitative, qualitative metrics and human evaluation.


title: Microscopic calculation of the $\beta^-$ decays of $^{151}$Sm, $^{171}$Tm, and $^{210}$Pb with implications to detection of the cosmic neutrino background

abstract: The electron spectral shapes corresponding to the low-$Q$ $\beta^-$-decay transitions $^{151}$Sm$(5/2^-_{\rm g.s.})\to\,^{151}\textrm{Eu}(5/2^+_{\rm g.s.})$, $^{151}$Sm$(5/2^-_{\rm g.s.})\to\,^{151}\textrm{Eu}(7/2^+_{1})$, $^{171}$Tm$(1/2^+_{\rm g.s.})\to\,^{171}\textrm{Yb}(1/2^-_{\rm g.s.})$, $^{171}$Tm$(1/2^+_{\rm g.s.})\to\,^{171}\textrm{Yb}(3/2^-_{1})$, $^{210}\textrm{Pb}(0^+_{\rm g.s.})\to\,^{210}\textrm{Bi}(1^-_{\rm g.s.})$, and $^{210}\textrm{Pb}(0^+_{\rm g.s.})\to\,^{210}\textrm{Bi}(0^-_{1})$ have been computed using beta-decay theory with several refinements for these first-forbidden nonunique (ff-nu) $\beta^-$ transitions. These ff-nu $\beta^-$ transitions have non-trivial electron spectral shapes with transition nuclear matrix elements (NMEs) computed by using the microscopic Interacting Boson-Fermion Model (IBFM-2) for the decays of $^{151}$Sm and $^{171}$Tm, and the nuclear shell model (NSM) for the decay of $^{210}$Pb. Within the respective $Q$ windows, the computed ff-nu electron spectral shapes deviate maximally at sub-percent level from the universal allowed shape, except for the transition $^{210}\textrm{Pb}(0^+_{\rm g.s.})\to\,^{210}\textrm{Bi}(1^-_{\rm g.s.})$, where the maximal deviation is some 2.7$\%$. This confirms that the so-called $\xi$ approximation is fairly good for most of these low-$Q$ $\beta^-$ transitions and thus the allowed shape is a rather good first approximation. Our computed spectral shapes could be of interest for experiments aiming to measure the cosmic neutrino background (C$\nu$B), like the PTOLEMY experiment. We have also derived C$\nu$B cross sections for the ground-state transitions of the considered nuclei at the $\beta$ endpoint. Our findings indicate that more work on the atomic mismatch correction is needed in the future in order to extract reliable and precise C$\nu$B cross sections for any nuclear target.


title: Taxonomy and evolution predicting using deep learning in images

abstract: Molecular and morphological characters, as important parts of biological taxonomy, are contradictory but need to be integrated. Organism's image recognition and bioinformatics are emerging and hot problems nowadays but with a gap between them. In this work, a multi-branching recognition framework mediated by genetic information bridges this barrier, which establishes the link between macro-morphology and micro-molecular information of mushrooms. The novel multi-perspective structure is proposed to fuse the feature images from three branching models, which significantly improves the accuracy of recognition by about 10% and up to more than 90%. Further, genetic information is implemented to the mushroom image recognition task by using genetic distance embeddings as the representation space for predicting image distance and species identification. Semantic overfitting of traditional classification tasks and the granularity of fine-grained image recognition are also discussed in depth for the first time. The generalizability of the model was investigated in fine-grained scenarios using zero-shot learning tasks, which could predict the taxonomic and evolutionary information of unseen samples. We presented the first method to map images to DNA, namely used an encoder mapping image to genetic distances, and then decoded DNA through a pre-trained decoder, where the total test accuracy on 37 species for DNA prediction is 87.45%. This study creates a novel recognition framework by systematically studying the mushroom image recognition problem, bridging the gap between macroscopic biological information and microscopic molecular information, which will provide a new reference for intelligent biometrics in the future.


title: $H^{\frac{11}{4}}(\mathbb{R}^2)$ ill-posedness for 2D Elastic Wave system

abstract: In this paper, we prove that for the 2D elastic wave equations, a physical system with multiple wave-speeds, its Cauchy problem fails to be locally well-posed in $H^{\frac{11}{4}}(\mathbb{R}^2)$. The ill-posedness here is driven by instantaneous shock formation. In 2D Smith-Tataru showed that the Cauchy problem for a single quasilinear wave equation is locally well-posed in $H^s$ with $s>\frac{11}{4}$. Hence our $H^{\frac{11}{4}}$ ill-posedness obtained here is a desired result. Our proof relies on combining a geometric method and an algebraic wave-decomposition approach, equipped with detailed analysis of the corresponding hyperbolic system.


title: Semiconductor-like Optical Properties Unveiled by Modeling of Short-Period Aluminum Oxide-Copper Multi-Layered Nanocomposites Deposited by Sputtering Atomic Layer Augmented Deposition (SALAD)

abstract: In our previous publication, we discussed the optical properties of multi-layered nanocomposite samples consisting of 300 pairs of an AlOx layer and a Cu layer produced from sputtering atomic layer augmented deposition (SALAD). These samples displayed unusual spectral reflectance that could not be well described via conventional means and could not be explained as an interpolation of the constituent materials. Computational models were then needed to both describe the results that were obtained and to predict the samples' other material properties. This process was approached by using the transfer-matrix method to describe the spectral reflectance based on the constituent materials, and then the dispersion method was used to find the composite index of refraction for the samples. The models successfully described pure Cu but encountered minor difficulties when it came to AlOx, as such, more research is needed to either properly model non-holomorphic materials like AlOx with the current algorithm or to find a better model that can adequately describe both Cu and AlOx. The dispersion model implemented predicts that the samples, composed of many thin film layers of metal and dielectric, would display semiconductor-like behavior. Therefore, this indicates that SALAD's combination of sputtering and ALD permits the generation of novel metal-dielectric based semiconductors.


title: Search for multi-messenger events during LIGO/Virgo era

abstract: Multi-messenger astronomy is a vast and expanding field as electromagnetic observations (EM) are no longer the only way of exploring the Universe. Due to the new messengers, astrophysical events with both gravitational waves (GWs) and EM emission are no longer a dream of the astronomical community. A breakthrough for GW multi-messenger astronomy came when the LIGO-Virgo network detected a GW signal of two low-mass compact objects consistent with a binary neutron star (BNS, GW170817) an event that generated a short gamma-ray burst (GRBs) and a kilonova. While GW170817 represents the testimony to BNS mergers being the progenitor of at least some GRBs, a wide range of highly energetic astrophysical phenomena is expected to be accompanied by the emission of GWs and photons. Here we present an unmodelled method to search for GWs having gamma and radio counterparts, using the LIGO-Virgo data and observations of partner telescopes. We also discuss the most recent results of the unmodelled coherent searches targeting astrophysical events during the first part of the LIGO-Virgo third observing run (O3a): 105 GRBs detected by the Fermi and Swift satellites.


title: Robust utility maximization with nonlinear continuous semimartingales

abstract: In this paper we study a robust utility maximization problem in continuous time under model uncertainty. The model uncertainty is governed by a continuous semimartingale with uncertain local characteristics. Here, the differential characteristics are prescribed by a set-valued function that depends on time and path. We show that the robust utility maximization problem is in duality with a conjugate problem, and we study the existence of optimal portfolios for logarithmic, exponential and power utilities.


title: The Case for RISP: A Reduced Instruction Spiking Processor

abstract: In this paper, we introduce RISP, a reduced instruction spiking processor. While most spiking neuroprocessors are based on the brain, or notions from the brain, we present the case for a spiking processor that simplifies rather than complicates. As such, it features discrete integration cycles, configurable leak, and little else. We present the computing model of RISP and highlight the benefits of its simplicity. We demonstrate how it aids in developing hand built neural networks for simple computational tasks, detail how it may be employed to simplify neural networks built with more complicated machine learning techniques, and demonstrate how it performs similarly to other spiking neurprocessors.


title: Proton: Probing Schema Linking Information from Pre-trained Language Models for Text-to-SQL Parsing

abstract: The importance of building text-to-SQL parsers which can be applied to new databases has long been acknowledged, and a critical step to achieve this goal is schema linking, i.e., properly recognizing mentions of unseen columns or tables when generating SQLs. In this work, we propose a novel framework to elicit relational structures from large-scale pre-trained language models (PLMs) via a probing procedure based on Poincar\'e distance metric, and use the induced relations to augment current graph-based parsers for better schema linking. Compared with commonly-used rule-based methods for schema linking, we found that probing relations can robustly capture semantic correspondences, even when surface forms of mentions and entities differ. Moreover, our probing procedure is entirely unsupervised and requires no additional parameters. Extensive experiments show that our framework sets new state-of-the-art performance on three benchmarks. We empirically verify that our probing procedure can indeed find desired relational structures through qualitative analysis. Our code can be found at https://github.com/AlibabaResearch/DAMO-ConvAI.


title: Investigating Lorentz Violation with the long baseline experiment P2O

abstract: One of the basic propositions of quantum field theory is Lorentz invariance. The spontaneous breaking of Lorentz symmetry at a high energy scale can be studied at low energy extensions like the Standard model in a model-independent way through effective field theory (EFT). The present and future Long-baseline neutrino experiments can give a scope to observe such a Planck-suppressed physics of Lorentz invariance violation (LIV). A proposed long baseline experiment, Protvino to ORCA (dubbed "P2O") with a baseline of 2595 km, is expected to provide good sensitivities to unresolved issues, especially neutrino mass ordering. P2O can offer good statistics even with a moderate beam power and runtime, owing to the very large ($\sim 6$ Mt) detector volume at KM3NeT/ ORCA. Here we discuss in detail, how the individual LIV parameters affect neutrino oscillations at P2O and DUNE baselines at the level of probability and derive analytical expressions to understand interesting degeneracies and other features. We estimate $\Delta \chi^{2}$ sensitivities to the LIV parameters, analyzing their correlations among each other, and also with the standard oscillation parameters. We calculate these results for P2O alone and also carry out a combined analysis of P2O with DUNE. We point out crucial features in the sensitivity contours and explain them qualitatively with the help of the relevant probability expressions derived here. Finally, we estimate constraints on the individual LIV parameters at $95\%$ confidence level (C.L.) intervals stemming from the combined analysis of P2O and DUNE datasets and highlight the improvement over the existing constraints. We also find out that the additional degeneracy induced by the LIV parameter $a_{ee}$ around $-22 \times 10^{-23}$ GeV is lifted by the combined analysis at $95\%$ C.L.


title: Filters and Ideal Independence

abstract: A family $\mathscr{I} \subseteq [\omega]^\omega$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal I$ and $A \in \mathscr{I} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i < n} X_i$ is infinite, is said to be ideal independent. An ideal independent family which is maximal under inclusion is said to be a maximal ideal independent family and the least cardinality of such family is denoted $\mathfrak{s}_{mm}$. We show that $\mathfrak{u}\leq\mathfrak{s}_{mm}$, which in particular establishes the independence of $\mathfrak{s}_{mm}$ and $\mathfrak{i}$. Given an arbitrary set $C$ of uncountable cardinals, we show how to simultaneously adjoin via forcing maximal ideal independent families of cardinality $\lambda$ for each $\lambda\in C$, thus establishing the consistency of $C\subseteq \hbox{spec}(\mathfrak{s}_{mm})$. Assuming $\mathsf{CH}$, we construct a maximal ideal independent family, which remains maximal after forcing with any proper, $^\omega\omega$-bounding, $p$-point preserving forcing notion and evaluate $\mathfrak{s}_{mm}$ in several well studied forcing extensions.


title: Rethinking Adversarial Examples for Location Privacy Protection

abstract: We have investigated a new application of adversarial examples, namely location privacy protection against landmark recognition systems. We introduce mask-guided multimodal projected gradient descent (MM-PGD), in which adversarial examples are trained on different deep models. Image contents are protected by analyzing the properties of regions to identify the ones most suitable for blending in adversarial examples. We investigated two region identification strategies: class activation map-based MM-PGD, in which the internal behaviors of trained deep models are targeted; and human-vision-based MM-PGD, in which regions that attract less human attention are targeted. Experiments on the Places365 dataset demonstrated that these strategies are potentially effective in defending against black-box landmark recognition systems without the need for much image manipulation.


title: Schwinger Type Pair Production in Non-SUSY AdS/CFT

abstract: We study pair production of particles in presence of an external electric field in a large N Non-supersymmetric Yang Mills theory using the holographic duality. We numerically calculate the inter-quark potential profile and the effective potential to study pair production and analytically find out the threshold electric field beyond which one gets catastrophic pair creation by studying rectangular Wilson loops using the holographic method. We also find out the pair production rate of particles in presence of an external electric field by evaluating circular Wilson loops using perturbative methods. We infer that the vacuum of the Non-SuSy gauge theory is unstable for a range of Non-supersymmetric parameter.


title: The PAU Survey: Narrow-band image photometry

abstract: PAUCam is an innovative optical narrow-band imager mounted at the William Herschel Telescope built for the Physics of the Accelerating Universe Survey (PAUS). Its set of 40 filters results in images that are complex to calibrate, with specific instrumental signatures that cannot be processed with traditional data reduction techniques. In this paper we present two pipelines developed by the PAUS data management team with the objective of producing science-ready catalogues from the uncalibrated raw images. The Nightly pipeline takes care of all image processing, with bespoke algorithms for photometric calibration and scatter-light correction. The Multi-Epoch and Multi-Band Analysis (MEMBA) pipeline performs forced photometry over a reference catalogue to optimize the photometric redshift performance. We verify against spectroscopic observations that the current approach delivers an inter-band photometric calibration of 0.8% across the 40 narrow-band set. The large volume of data produced every night and the rapid survey strategy feedback constraints require operating both pipelines in the Port d'Informaci\'o Cientifica data centre with intense parallelization. While alternative algorithms for further improvements in photo-z performance are under investigation, the image calibration and photometry presented in this work already enable state-of-the-art photometric redshifts down to iAB=23.0.


title: On Signed Multiplicities of Schur Expansions Surrounding Petrie Symmetric Functions

abstract: For $k\ge 1$, the homogeneous symmetric functions $G(k,m)$ of degree $m$ defined by $\sum_{m\ge 0} G(k,m) z^m=\prod_{i\ge 1} \big(1+x_iz+x^2_iz^2+\cdots+x^{k-1}_iz^{k-1}\big)$ are called \emph{Petrie symmetric functions}. As derived by Grinberg and Fu--Mei independently, the expansion of $G(k,m)$ in the basis of Schur functions $s_{\lambda}$ turns out to be signed multiplicity free, i.e., the coefficients are $-1$, $0$ and $1$. In this paper we give a combinatorial interpretation of the coefficient of $s_{\lambda}$ in terms of the $k$-core of $\lambda$ and a sequence of rim hooks of size $k$ removed from $\lambda$. We further study the product of $G(k,m)$ with a power sum symmetric function $p_n$. For all $n\ge 1$, we give necessary and sufficient conditions on the parameters $k$ and $m$ in order for the expansion of $G(k,m)\cdot p_n$ in the basis of Schur functions to be signed multiplicity free. This settles affirmatively a conjecture of Alexandersson as the special case $n=2$.


title: BOTAN: BOnd TArgeting Network for prediction of slow glassy dynamics by machine learning relative motion

abstract: Recent developments in machine learning have enabled accurate predictions of the dynamics of slow structural relaxation in glass-forming systems. However, existing machine-learning models for these tasks are mostly designed such that they learn a single dynamic quantity and relate it to the structural features of glassy liquids. In this study, we propose a graph neural network model, ``BOnd TArgeting Network (BOTAN)'', that learns relative motion between neighboring pairs of particles, in addition to the self-motion of particles. By relating the structural features to these two different dynamical variables, the model autonomously acquires the ability to discern how different dynamical processes, strain fluctuations and particle rearrangements, affect the self-motion of particles undergoing slow relaxation, and thus can predict with high precision how slow structural relaxation develops in space and time.


title: Trace Class Properties of Resolvents of Callias Operators

abstract: We present conditions for a family $\left(A\left(x\right)\right)_{x\in\mathbb{R}^{d}}$ of self-adjoint operators in $H^{r}=\mathbb{C}^{r}\otimes H$ for a separable complex Hilbert space $H$, such that the Callias operator $D=ic\nabla+A\left(X\right)$ satisfies that $\left(D^{\ast}D+1\right)^{-N}-\left(DD^{\ast}+1\right)^{-N}$ is trace class in $L^2\left(\mathbb{R}^{d},H^{r}\right)$. Here, $c\nabla$ is the Dirac operator associated to a Clifford multiplication $c$ of rank $r$ on $\mathbb{R}^{d}$, and $A\left(X\right)$ is fibre-wise multiplication with $A\left(x\right)$ in $L^2\left(\mathbb{R}^{d},H^{r}\right)$.


title: Atomic clocks highly sensitive to the variation of the fine structure constant based on Hf II, Hf IV, and W VI ions

abstract: We demonstrate that several metastable excited states in Hf$~$II, Hf$~$IV and W$~$VI ions may be good clock states since they are sufficiently long-living and are not sensitive to the perturbations. Cooling E1 transitions are available. Energy levels, Land\'{e} $g$-factors, transition amplitudes for electric dipole (E1), electric quadrupole (E2), and magnetic dipole (M1) transitions, lifetimes, and electric quadrupole moments for Hf$~$II, Hf$~$IV, and W$~$VI ions are investigated using a combination of several methods of relativistic many-body calculations including the configuration interaction (CI), linearized coupled-cluster single-doubles (SD) and many-body perturbation theory (CI+SD), and also the configuration interaction with perturbation theory (CIPT). Scalar polarizabilities of the ground states and the clock states have been calculated to determine the black body radiation (BBR) shifts. We have found that the relative BBR shifts for these transitions range between 10$^{-16}$ $-$ 10$^{-18}$. A linear combination of two clock transition frequencies allows one to further suppress BBR. Several $5d$ - $6s$ single-electron clock transitions ensure high sensitivity of the transition frequencies to the variation of the fine structure constant $\alpha$ and may be used to search for dark matter producing this variation of $\alpha$. The enhancement coefficient for $\alpha$ variation reaches $K=8.3$. Six stable isotopes of Hf and 5 stable isotopes in W allow one to make King plots and search for new interactions mediated by scalar particles or other mechanisms.


title: Remarks on Catalan's equation over function fields

abstract: Let $\ell$ be a prime number, $F$ be a global function field of characteristic $\ell$. Assume that there is a prime $P_\infty$ of degree $1$. Let $\mathcal{O}_F$ be the ring of functions in $F$ with no poles outside of $\{P_\infty\}$. We study solutions to Catalan's equation $X^m-Y^n=1$ over $\mathcal{O}_F$ and show that under certain additional conditions, there are no non-constant solutions which lie in $\mathcal{O}_F$, when $m,n>1$.


title: Fractons: gauging spin models and tensor gauge theory

abstract: The objective of the present work -- a literature review on both gapped and gapless fractonic theories -- is to pedagogically fill in the gaps between the research on fractons, and an undergraduate physics education (particularly quantum and statistical mechanics). Some familiarity with classical field theory is assumed. We will begin this work by reviewing the gauging of the Ising model to obtain the toric code. Then, following the chronological order of fracton research, we will establish the gauged spin model picture of gapped fracton theories. Next (after introducing lattice gauge theory) we will cover the developments on the tensor gauge theory front in describing gapless fracton theories. We then explain how conservation of dipole moment is key in the development of field-theoretic descriptions of fracton models, and conclude by providing future plans for work on gauging such field theories. Finally, we point out two more future plans: one being an established theoretical advance which in fact inspired this work, and the other being exciting experimental advances in ultracold atomic physics which could lead to the physical realization of fracton physics. Highlights of this work include: a derivation of the gauge field dynamics (field strength/curvature) term in the gauging of a spin system to obtain the toric code, a reduction of the 3 terms of the Kogut-Susskind lattice QED Hamiltonian to the 2 terms of the toric code, a proof of the correspondence between the invariance of a gauge field and a particular Gauss's law constraint in a tensor gauge theory context, a demonstration that conservation of dipole moment accounts for the same immobility/fractalization phenomenology that we also show from a gauged spin model perspective, and proof of the necessity for polynomial shift symmetries and higher-order spatial derivatives in a Lagrangian in order to have dipole moment conservation.


title: Scalable Simulation of Quantum Measurement Process with Quantum Computers

abstract: Recent development in quantum information sciences and technologies, especially building programmable quantum computers, provide us new opportunities to study fundamental aspects of quantum mechanics. We propose qubit models to emulate the quantum measurement process, in which the quantum information of a qubit is mapped to a collection of qubits acting as the measurement device. One model is motivated by single-photon detection and the other by spin measurement. Both models are scalable to generate Schr\"{o}dinger cat-like state, and their corresponding quantum circuits are shown explicitly. Large-scale simulations could be realized in near-term quantum computers, while classical computers cannot perform the same task efficiently. Due to the scalability of the models, such simulations can help explore the quantum-to-classical boundary, if exists, in the quantum measurement problem. Besides, our protocol to generate cat states may have important applications in quantum computing and metrology.


title: Dissipation anomaly in a turbulent quantum fluid

abstract: When the intensity of turbulence is increased (by increasing the Reynolds number, e.g. by reducing the viscosity of the fluid), the rate of the dissipation of kinetic energy decreases but does not tend asymptotically to zero: it levels off to a non-zero constant as smaller and smaller vortical flow structures are generated. This fundamental property, called the dissipation anomaly, is sometimes referred to as the zeroth law of turbulence. The question of what happens in the limit of vanishing viscosity (purely hypothetical in classical fluids) acquires a particular physical significance in the context of liquid helium, a quantum fluid which becomes effectively inviscid at low temperatures achievable in the laboratory. By performing numerical simulations and identifying the superfluid Reynolds number, here we show evidence for a superfluid analog to the classical dissipation anomaly. Our numerics indeed show that as the superfluid Reynolds number increases, smaller and smaller structures are generated on the quantized vortex lines on which the superfluid vorticity is confined, balancing the effect of weaker and weaker dissipation.


title: Quantitative blow-up estimates for spacelike singularities in gravitational-collapse cosmological spacetimes

abstract: Under spherical symmetry, with double-null coordinates $(u,v)$, we study the gravitational collapse of the Einstein--scalar field system with a positive cosmological constant. The spacetime singularities arise when area radius $r$ vanishes and they are spacelike. We derive new quantitative estimates, obtain polynomial blow-up rates $O(1/r^N)$ for various quantities, and extend the results in [5] by the first author and Zhang and the arguments in [3] by the first author and Gajic to the cosmological settings. In particular, we sharpen the estimates of $r\partial_u r$ and $r\partial_v r$ in [5] and prove that the spacelike singularities where $r(u,v)=0$ are $C^{1,1/3}$ in $(u,v)$ coordinates. As an application, these estimates also give quantitative blow-up upper bounds of fluid velocity and density for the hard-phase model of the Einstein-Euler system under irrotational assumption. Near the timelike infinity, we also generalize the theorems in [3] by linking the precise blow-up rates of the Kretschmann scalar to the exponential Price's law along the event horizon. In cosmological settings, this further reveals the mass-inflation phenomena along the spacelike singularities for the first time.


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

abstract: Let $a$, $b$, $c$ be fixed coprime positive integers with $\min\{ a,b,c \} >1$. Let $N(a,b,c)$ denote the number of positive integer solutions $(x,y,z)$ of the equation $a^x + b^y = c^z$. We show that if $(a,b,c)$ is a triple of distinct primes for which $N(a,b,c)>1$ and $(a,b,c)$ is not one of the six known such triples then, taking $a<b$, we must have $a=2$, $(b,c) \equiv (1,17)$, $(13,5)$, $(13, 17)$, or $(23, 17) \bmod 24$, and $(a,b,c)$ must satisfy further strong restrictions, including $c>10^{14}$. These results support a conjecture of the last two authors.


title: On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads

abstract: In this paper we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie's book on Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections made and exposition slightly altered.