title: Synergistic information supports modality integration and flexible learning in neural networks solving multiple tasks

abstract: Striking progress has recently been made in understanding human cognition by analyzing how its neuronal underpinnings are engaged in different modes of information processing. Specifically, neural information can be decomposed into synergistic, redundant, and unique features, with synergistic components being particularly aligned with complex cognition. However, two fundamental questions remain unanswered: (a) precisely how and why a cognitive system can become highly synergistic; and (b) how these informational states map onto artificial neural networks in various learning modes. To address these questions, here we employ an information-decomposition framework to investigate the information processing strategies adopted by simple artificial neural networks performing a variety of cognitive tasks in both supervised and reinforcement learning settings. Our results show that synergy increases as neural networks learn multiple diverse tasks. Furthermore, performance in tasks requiring integration of multiple information sources critically relies on synergistic neurons. Finally, randomly turning off neurons during training through dropout increases network redundancy, corresponding to an increase in robustness. Overall, our results suggest that while redundant information is required for robustness to perturbations in the learning process, synergistic information is used to combine information from multiple modalities -- and more generally for flexible and efficient learning. These findings open the door to new ways of investigating how and why learning systems employ specific information-processing strategies, and support the principle that the capacity for general-purpose learning critically relies in the system's information dynamics.


title: Expander Graph Propagation

abstract: Deploying graph neural networks (GNNs) on whole-graph classification or regression tasks is known to be challenging: it often requires computing node features that are mindful of both local interactions in their neighbourhood and the global context of the graph structure. GNN architectures that navigate this space need to avoid pathological behaviours, such as bottlenecks and oversquashing, while ideally having linear time and space complexity requirements. In this work, we propose an elegant approach based on propagating information over expander graphs. We leverage an efficient method for constructing expander graphs of a given size, and use this insight to propose the EGP model. We show that EGP is able to address all of the above concerns, while requiring minimal effort to set up, and provide evidence of its empirical utility on relevant graph classification datasets and baselines in the Open Graph Benchmark. Importantly, using expander graphs as a template for message passing necessarily gives rise to negative curvature. While this appears to be counterintuitive in light of recent related work on oversquashing, we theoretically demonstrate that negatively curved edges are likely to be required to obtain scalable message passing without bottlenecks. To the best of our knowledge, this is a previously unstudied result in the context of graph representation learning, and we believe our analysis paves the way to a novel class of scalable methods to counter oversquashing in GNNs.


title: ThoraX-PriorNet: A Novel Attention-Based Architecture Using Anatomical Prior Probability Maps for Thoracic Disease Classification

abstract: Objective: Computer-aided disease diagnosis and prognosis based on medical images is a rapidly emerging field. Many Convolutional Neural Network (CNN) architectures have been developed by researchers for disease classification and localization from chest X-ray images. It is known that different thoracic disease lesions are more likely to occur in specific anatomical regions compared to others. This article aims to incorporate this disease and region-dependent prior probability distribution within a deep learning framework. Methods: We present the ThoraX-PriorNet, a novel attention-based CNN model for thoracic disease classification. We first estimate a disease-dependent spatial probability, i.e., an anatomical prior, that indicates the probability of occurrence of a disease in a specific region in a chest X-ray image. Next, we develop a novel attention-based classification model that combines information from the estimated anatomical prior and automatically extracted chest region of interest (ROI) masks to provide attention to the feature maps generated from a deep convolution network. Unlike previous works that utilize various self-attention mechanisms, the proposed method leverages the extracted chest ROI masks along with the probabilistic anatomical prior information, which selects the region of interest for different diseases to provide attention. Results: The proposed method shows superior performance in disease classification on the NIH ChestX-ray14 dataset compared to existing state-of-the-art methods while reaching an area under the ROC curve (%AUC) of 84.67. Regarding disease localization, the anatomy prior attention method shows competitive performance compared to state-of-the-art methods, achieving an accuracy of 0.80, 0.63, 0.49, 0.33, 0.28, 0.21, and 0.04 with an Intersection over Union (IoU) threshold of 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, and 0.7, respectively.


title: NLTS Hamiltonians from classical LTCs

abstract: We provide a completely self-contained construction of a family of NLTS Hamiltonians [Freedman and Hastings, 2014] based on ideas from [Anshu, Breuckmann, and Nirkhe, 2022], [Cross, He, Natarajan, Szegedy, and Zhu, 2022] and [Eldar and Harrow, 2017]. Crucially, it does not require optimal-parameter quantum LDPC codes and can be built from simple classical LTCs such as the repetition code on an expander graph. Furthermore, it removes the constant-rate requirement from the construction of Anshu, Breuckmann, and Nirkhe.


title: On isometric immersions of almost $k$-product manifolds

abstract: A Riemannian manifold endowed with $k\ge2$ complementary pairwise orthogonal distributions is called a Riemannian almost $k$-product manifold. In the article, for the first time, we study the following problem: find a relationship between intrinsic and extrinsic invariants of a Riemannian almost $k$-product manifold isometrically immersed in another Riemannian manifold. For such immersions, we establish an optimal inequality that includes the mixed scalar curvature and the square of the mean curvature. Although Riemannian curvature tensor belongs to intrinsic geometry, a special part called the mixed curvature is also related to the extrinsic geometry of a Riemannian almost $k$-product manifold. Our inequality also contains mixed scalar curvature type invariants related to B.-Y Chen's $\delta$-invariants. Applications are given for isometric immersions of multiply twisted and warped products (we improve some known optimal inequalities by replacing the sectional curvature with our invariant) and to problems of non-immersion and non-existence of compact leaves of foliated submanifolds.


title: Local continuous extension of proper holomorphic maps: low-regularity and infinite-type boundaries

abstract: We prove a couple of results on local continuous extension of proper holomorphic maps $F:D \rightarrow \Omega$, $D, \Omega \varsubsetneq \mathbb{C}^n$, making local assumptions on $\partial{D}$ and $\partial{\Omega}$. The first result allows us to have much lower regularity, for the patches of $\partial{D}, \partial{\Omega}$ that are relevant, than in earlier results. The second result (and a result closely related to it) is in the spirit of a result by Forstneric--Rosay. However, our assumptions allow $\partial{\Omega}$ to contain boundary points of infinite type.


title: Practitioner Trajectories of Engagement with Ethics-Focused Method Creation

abstract: Design and technology practitioners are increasingly aware of the ethical impact of their work practices, desiring tools to support their ethical awareness across a range of contexts. In this paper, we report on findings from a series of co-design workshops with technology and design practitioners that supported their creation of a bespoke ethics-focused action plan. Using a qualitative content analysis and thematic analysis approach, we identified a range of roles and process moves that practitioners employed and illustrate the interplay of these elements of practitioners' instrumental judgment through a series of three cases, which includes evolution of the action plan itself, the ethical dilemmas or areas of support the action plan was intended to support, and how the action plan represents resonance for the practitioner that created it. We conclude with implications for supporting ethics in socio-technical practice and opportunities for the further development of ethics-focused methods that are resonant with the realities of practice.


title: MIXCODE: Enhancing Code Classification by Mixup-Based Data Augmentation

abstract: Inspired by the great success of Deep Neural Networks (DNNs) in natural language processing (NLP), DNNs have been increasingly applied in source code analysis and attracted significant attention from the software engineering community. Due to its data-driven nature, a DNN model requires massive and high-quality labeled training data to achieve expert-level performance. Collecting such data is often not hard, but the labeling process is notoriously laborious. The task of DNN-based code analysis even worsens the situation because source code labeling also demands sophisticated expertise. Data augmentation has been a popular approach to supplement training data in domains such as computer vision and NLP. However, existing data augmentation approaches in code analysis adopt simple methods, such as data transformation and adversarial example generation, thus bringing limited performance superiority. In this paper, we propose a data augmentation approach MIXCODE that aims to effectively supplement valid training data, inspired by the recent advance named Mixup in computer vision. Specifically, we first utilize multiple code refactoring methods to generate transformed code that holds consistent labels with the original data. Then, we adapt the Mixup technique to mix the original code with the transformed code to augment the training data. We evaluate MIXCODE on two programming languages (Java and Python), two code tasks (problem classification and bug detection), four benchmark datasets (JAVA250, Python800, CodRep1, and Refactory), and seven model architectures (including two pre-trained models CodeBERT and GraphCodeBERT). Experimental results demonstrate that MIXCODE outperforms the baseline data augmentation approach by up to 6.24% in accuracy and 26.06% in robustness.


title: Probability computation for high-dimensional semilinear SDEs driven by isotropic $\alpha-$stable processes via mild Kolmogorov equations

abstract: Semilinear, $N-$dimensional stochastic differential equations (SDEs) driven by additive L\'evy noise are investigated. Specifically, given $\alpha\in\left(\frac{1}{2},1\right)$, the interest is on SDEs driven by $2\alpha-$stable, rotation-invariant processes obtained by subordination of a Brownian motion. An original connection between the time-dependent Markov transition semigroup associated with their solutions and Kolmogorov backward equations in mild integral form is established via regularization-by-noise techniques. Such a link is the starting point for an iterative method which allows to approximate probabilities related to the SDEs with a single batch of Monte Carlo simulations as several parameters change, bringing a compelling computational advantage over the standard Monte Carlo approach. This method also pertains to the numerical computation of solutions to high-dimensional integro-differential Kolmogorov backward equations. The scheme, and in particular the first order approximation it provides, is then applied for two nonlinear vector fields and shown to offer satisfactory results in dimension $N=100$.


title: To Softmax, or not to Softmax: that is the question when applying Active Learning for Transformer Models

abstract: Despite achieving state-of-the-art results in nearly all Natural Language Processing applications, fine-tuning Transformer-based language models still requires a significant amount of labeled data to work. A well known technique to reduce the amount of human effort in acquiring a labeled dataset is \textit{Active Learning} (AL): an iterative process in which only the minimal amount of samples is labeled. AL strategies require access to a quantified confidence measure of the model predictions. A common choice is the softmax activation function for the final layer. As the softmax function provides misleading probabilities, this paper compares eight alternatives on seven datasets. Our almost paradoxical finding is that most of the methods are too good at identifying the true most uncertain samples (outliers), and that labeling therefore exclusively outliers results in worse performance. As a heuristic we propose to systematically ignore samples, which results in improvements of various methods compared to the softmax function.


title: Random Max-CSPs Inherit Algorithmic Hardness from Spin Glasses

abstract: We study random constraint satisfaction problems (CSPs) in the unsatisfiable regime. We relate the structure of near-optimal solutions for any Max-CSP to that for an associated spin glass on the hypercube, using the Guerra-Toninelli interpolation from statistical physics. The noise stability polynomial of the CSP's predicate is, up to a constant, the mixture polynomial of the associated spin glass. We prove two main consequences: 1) We relate the maximum fraction of constraints that can be satisfied in a random Max-CSP to the ground state energy density of the corresponding spin glass. Since the latter value can be computed with the Parisi formula, we provide numerical values for some popular CSPs. 2) We prove that a Max-CSP possesses generalized versions of the overlap gap property if and only if the same holds for the corresponding spin glass. We transfer results from Huang et al. [arXiv:2110.07847, 2021] to obstruct algorithms with overlap concentration on a large class of Max-CSPs. This immediately includes local classical and local quantum algorithms.


title: XDGAN: Multi-Modal 3D Shape Generation in 2D Space

abstract: Generative models for 2D images has recently seen tremendous progress in quality, resolution and speed as a result of the efficiency of 2D convolutional architectures. However it is difficult to extend this progress into the 3D domain since most current 3D representations rely on custom network components. This paper addresses a central question: Is it possible to directly leverage 2D image generative models to generate 3D shapes instead? To answer this, we propose XDGAN, an effective and fast method for applying 2D image GAN architectures to the generation of 3D object geometry combined with additional surface attributes, like color textures and normals. Specifically, we propose a novel method to convert 3D shapes into compact 1-channel geometry images and leverage StyleGAN3 and image-to-image translation networks to generate 3D objects in 2D space. The generated geometry images are quick to convert to 3D meshes, enabling real-time 3D object synthesis, visualization and interactive editing. Moreover, the use of standard 2D architectures can help bring more 2D advances into the 3D realm. We show both quantitatively and qualitatively that our method is highly effective at various tasks such as 3D shape generation, single view reconstruction and shape manipulation, while being significantly faster and more flexible compared to recent 3D generative models.


title: Residual-based error correction for neural operator accelerated infinite-dimensional Bayesian inverse problems

abstract: We explore using neural operators, or neural network representations of nonlinear maps between function spaces, to accelerate infinite-dimensional Bayesian inverse problems (BIPs) with models governed by nonlinear parametric partial differential equations (PDEs). Neural operators have gained significant attention in recent years for their ability to approximate the parameter-to-solution maps defined by PDEs using as training data solutions of PDEs at a limited number of parameter samples. The computational cost of BIPs can be drastically reduced if the large number of PDE solves required for posterior characterization are replaced with evaluations of trained neural operators. However, reducing error in the resulting BIP solutions via reducing the approximation error of the neural operators in training can be challenging and unreliable. We provide an a priori error bound result that implies certain BIPs can be ill-conditioned to the approximation error of neural operators, thus leading to inaccessible accuracy requirements in training. To reliably deploy neural operators in BIPs, we consider a strategy for enhancing the performance of neural operators, which is to correct the prediction of a trained neural operator by solving a linear variational problem based on the PDE residual. We show that a trained neural operator with error correction can achieve a quadratic reduction of its approximation error, all while retaining substantial computational speedups of posterior sampling when models are governed by highly nonlinear PDEs. The strategy is applied to two numerical examples of BIPs based on a nonlinear reaction--diffusion problem and deformation of hyperelastic materials. We demonstrate that posterior representations of the two BIPs produced using trained neural operators are greatly and consistently enhanced by error correction.


title: Perturbative BV-BFV formalism with homotopic renormalization: a case study

abstract: We report a rigorous quantization of topological quantum mechanics on $\mathbb{R}_{\geqslant 0}$ and $\mathbf{I}= [0, 1]$ in perturbative BV-BFV formalism. Costello's homotopic renormalization is extended, and incorporated in our construction. Moreover, BV quantization of the same model studied in our previous work is derived from the BV-BFV quantization, leading to a comparison between different interpretations of ''state'' in these two frameworks.


title: Optical appearance of a thin-shell wormhole with a Hayward profile

abstract: The optical properties of a thin-shell wormhole (TSW) with a Hayward profile is investigated. Adopting the ray-tracing method, we demonstrate that the TSW's contralateral spacetime is capable of reflecting a significant portion of light back to the observer spacetime. We analyze the effective potential, light deflection, and azimuthal angle of the TSW and find that these quantities are affected by the mass ratio of the black holes (BHs). Specifically, if the mass of the contralateral spacetime BH is greater than that of the original spacetime BH, and the impact parameter satisfies the condition $Hb_{\rm c2}<b_{1}<b_{\rm c1}$, the trajectory of the photon exhibits round-trip characteristics. Assuming the presence of a thin accretion disk surrounding the observing spacetime BH, our results indicate that the image formed by the TSW exhibits additional photon rings and a lensing band compared to an image produced by a BH alone.


title: Uncovering the Structural Fairness in Graph Contrastive Learning

abstract: Recent studies show that graph convolutional network (GCN) often performs worse for low-degree nodes, exhibiting the so-called structural unfairness for graphs with long-tailed degree distributions prevalent in the real world. Graph contrastive learning (GCL), which marries the power of GCN and contrastive learning, has emerged as a promising self-supervised approach for learning node representations. How does GCL behave in terms of structural fairness? Surprisingly, we find that representations obtained by GCL methods are already fairer to degree bias than those learned by GCN. We theoretically show that this fairness stems from intra-community concentration and inter-community scatter properties of GCL, resulting in a much clear community structure to drive low-degree nodes away from the community boundary. Based on our theoretical analysis, we further devise a novel graph augmentation method, called GRAph contrastive learning for DEgree bias (GRADE), which applies different strategies to low- and high-degree nodes. Extensive experiments on various benchmarks and evaluation protocols validate the effectiveness of the proposed method.


title: Fast and robust parameter estimation with uncertainty quantification for the cardiac function

abstract: Parameter estimation and uncertainty quantification are crucial in computational cardiology, as they enable the construction of digital twins that faithfully replicate the behavior of physical patients. Robust and efficient mathematical methods must be designed to fit many model parameters starting from a few, possibly non-invasive, noisy observations. Moreover, the effective clinical translation requires short execution times and a small amount of computational resources. In the framework of Bayesian statistics, we combine Maximum a Posteriori estimation and Hamiltonian Monte Carlo to find an approximation of model parameters and their posterior distributions. To reduce the computational effort, we employ an accurate Artificial Neural Network surrogate of 3D cardiac electromechanics model coupled with a 0D cardiocirculatory model. Fast simulations and minimal memory requirements are achieved by using matrix-free methods, automatic differentiation and automatic vectorization. Furthermore, we account for the surrogate modeling error and measurement error. We perform three different in silico test cases, ranging from the ventricular function to the entire cardiovascular system, involving whole-heart mechanics, arterial and venous circulation. The proposed method is robust when high levels of signal-to-noise ratio are present in the quantities of interest in combination with a random initialization of the model parameters in suitable intervals. As a matter of fact, by employing a single central processing unit on a standard laptop and a few hours of computations, we attain small relative errors for all model parameters and we estimate posterior distributions that contain the true values inside the 90% credibility regions. With these benefits, our approach meets the requirements for clinical exploitation, while being compliant with Green Computing practices.


title: On Quantum Sobolev Inequalities

abstract: We investigate the quantum analogue of the classical Sobolev inequalities in the phase space, with the quantum Sobolev norms defined in terms of Schatten norms of commutators. These inequalities provide an uncertainty principle for the Wigner-Yanase skew information, and also lead to new bounds on the Schatten norms of the Weyl quantization in terms of its symbol. As an intermediate tool, we obtain the analogue of Hardy-Littlewood-Sobolev's inequalities for a semiclassical analogue of the convolution, and introduce quantum Besov spaces. Explicit estimates are obtained on the optimal constants.

categories: math-ph math.AP math.FA math.MP quant-ph


title: EvilScreen Attack: Smart TV Hijacking via Multi-channel Remote Control Mimicry

abstract: Modern smart TVs often communicate with their remote controls (including those smart phone simulated ones) using multiple wireless channels (e.g., Infrared, Bluetooth, and Wi-Fi). However, this multi-channel remote control communication introduces a new attack surface. An inherent security flaw is that remote controls of most smart TVs are designed to work in a benign environment rather than an adversarial one, and thus wireless communications between a smart TV and its remote controls are not strongly protected. Attackers could leverage such flaw to abuse the remote control communication and compromise smart TV systems. In this paper, we propose EvilScreen, a novel attack that exploits ill-protected remote control communications to access protected resources of a smart TV or even control the screen. EvilScreen exploits a multi-channel remote control mimicry vulnerability present in today smart TVs. Unlike other attacks, which compromise the TV system by exploiting code vulnerabilities or malicious third-party apps, EvilScreen directly reuses commands of different remote controls, combines them together to circumvent deployed authentication and isolation policies, and finally accesses or controls TV resources remotely. We evaluated eight mainstream smart TVs and found that they are all vulnerable to EvilScreen attacks, including a Samsung product adopting the ISO/IEC security specification.


title: Kerr-Newman black holes from $\mathcal{N}=1^*$

abstract: The microstate counting of charged rotating AdS$_5$ supersymmetric black holes has been reformulated in terms of an extremization problem, obtained from the superconformal index of the 4d dual SCFT. On the gravitational side this problem corresponds to the attractor mechanism of the theory KK reduced on AdS$_4$. Such procedure has indeed been successfully applied to some consistent truncations with a known field theory dual description. In this paper we study the case of the Leigh-Strassler fixed point along these lines, finding an agreement between the field theory and the gravitational results.


title: "A Special Operation": A Quantitative Approach to Dissecting and Comparing Different Media Ecosystems' Coverage of the Russo-Ukrainian War

abstract: The coverage of the Russian invasion of Ukraine has varied widely between Western, Russian, and Chinese media ecosystems with propaganda, disinformation, and narrative spins present in all three. By utilizing the normalized pointwise mutual information metric, differential sentiment analysis, word2vec models, and partially labeled Dirichlet allocation, we present a quantitative analysis of the differences in coverage amongst these three news ecosystems. We find that while the Western press outlets have focused on the military and humanitarian aspects of the war, Russian media have focused on the purported justifications for the "special military operation" such as the presence in Ukraine of "bio-weapons" and "neo-nazis", and Chinese news media have concentrated on the conflict's diplomatic and economic consequences. Detecting the presence of several Russian disinformation narratives in the articles of several Chinese outlets, we finally measure the degree to which Russian media has influenced Chinese coverage across Chinese outlets' news articles, Weibo accounts, and Twitter accounts. Our analysis indicates that since the Russian invasion of Ukraine, Chinese state media outlets have increasingly cited Russian outlets as news sources and spread Russian disinformation narratives.


title: Mixed Effects Spectral Vector Autoregressive Model: With Application to Brain Connectivity

abstract: The primary goal of this paper is to develop a method that quantifies how activity in one brain region can explain future activity in another region. Here, we propose the mixed effects spectral vector-autoregressive (ME-SpecVar) model to investigate differences in dynamics of dependence in a brain network between healthy children and those who are diagnosed with ADHD. Specifically, ME-SpecVar model will be used to formally test for significant connectivity structure obtained using filtered EEG signals in delta, theta, alpha, beta, and gamma frequency bands. The suggested model allows one-stage procedure for deriving Granger causality in common group structure and variation of subject specific random effects in different frequency oscillations. The model revealed novel results and showed more significant connections in all frequency bands and especially in slow waves in control group. In contrast, children with ADHD shared a pattern of diminished connectivity and variability of random effects. The results are consistent with previous findings about decreased anterior-posterior connectivity in children with ADHD. Moreover, the novel finding is that the most diverse subject specific effective connectivity parameters in healthy children belong to parietal-occipital region that is associated with conscious visual attention.


title: Measuring Fine-Grained Semantic Equivalence with Abstract Meaning Representation

abstract: Identifying semantically equivalent sentences is important for many cross-lingual and mono-lingual NLP tasks. Current approaches to semantic equivalence take a loose, sentence-level approach to "equivalence," despite previous evidence that fine-grained differences and implicit content have an effect on human understanding (Roth and Anthonio, 2021) and system performance (Briakou and Carpuat, 2021). In this work, we introduce a novel, more sensitive method of characterizing semantic equivalence that leverages Abstract Meaning Representation graph structures. We develop an approach, which can be used with either gold or automatic AMR annotations, and demonstrate that our solution is in fact finer-grained than existing corpus filtering methods and more accurate at predicting strictly equivalent sentences than existing semantic similarity metrics. We suggest that our finer-grained measure of semantic equivalence could limit the workload in the task of human post-edited machine translation and in human evaluation of sentence similarity.


title: Comparative Analysis and Calibration of Low Cost Resistive and Capacitive Soil Moisture Sensor

abstract: Soil moisture is an essential parameter in agriculture. It determines several environmental and agricultural activities such as climate change, drought prediction, irrigation, etc. Smart irrigation management requires continuous soil moisture monitoring to reduce unnecessary water usage. In recent times, the use of low-cost sensors is becoming popular among farmers for soil moisture monitoring. In this paper, a comparison of low-cost resistive and capacitive soil moisture sensors is demonstrated in two ways. One way is the calibration of the sensors in gravimetric and volumetric water content, and the other is the sensors' response analysis when different quantities of water are added to the same amount of soil. The analysis shown in this work is essential before choosing cost-effective sensors for any soil moisture monitoring platform.


title: Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols

abstract: Even if the verification of authentication protocols can be achieved by means of formal analysis, the modelling of such an activity is an error-prone task due to the lack of automated and integrated processes. This paper proposes a comprehensive approach, based on the Unified Modeling Language (UML) profiling technique and on model-transformation, to enable automatic analysis of authentication protocols starting from high-level models. In particular, a UML-based approach is able to generate an annotated model of communication protocols from which formal notations (e.g., AnBx, Tamarin) can be generated. Such models in lower-level languages can be analysed with existing solvers and/or with traditional testing techniques by means of test case generation approaches. The industrial impact of the research is high due to the growing need of security and the necessity to connect industrial processes and equipment to virtualised computing infrastructures. The research is conducted on two case studies: railway signalling systems and blockchain based applications.


title: Explanations as Programs in Probabilistic Logic Programming

abstract: The generation of comprehensible explanations is an essential feature of modern artificial intelligence systems. In this work, we consider probabilistic logic programming, an extension of logic programming which can be useful to model domains with relational structure and uncertainty. Essentially, a program specifies a probability distribution over possible worlds (i.e., sets of facts). The notion of explanation is typically associated with that of a world, so that one often looks for the most probable world as well as for the worlds where the query is true. Unfortunately, such explanations exhibit no causal structure. In particular, the chain of inferences required for a specific prediction (represented by a query) is not shown. In this paper, we propose a novel approach where explanations are represented as programs that are generated from a given query by a number of unfolding-like transformations. Here, the chain of inferences that proves a given query is made explicit. Furthermore, the generated explanations are minimal (i.e., contain no irrelevant information) and can be parameterized w.r.t. a specification of visible predicates, so that the user may hide uninteresting details from explanations.


title: Stateful active facilitator: Coordination and Environmental Heterogeneity in Cooperative Multi-Agent Reinforcement Learning

abstract: In cooperative multi-agent reinforcement learning, a team of agents works together to achieve a common goal. Different environments or tasks may require varying degrees of coordination among agents in order to achieve the goal in an optimal way. The nature of coordination will depend on the properties of the environment -- its spatial layout, distribution of obstacles, dynamics, etc. We term this variation of properties within an environment as heterogeneity. Existing literature has not sufficiently addressed the fact that different environments may have different levels of heterogeneity. We formalize the notions of coordination level and heterogeneity level of an environment and present HECOGrid, a suite of multi-agent RL environments that facilitates empirical evaluation of different MARL approaches across different levels of coordination and environmental heterogeneity by providing a quantitative control over coordination and heterogeneity levels of the environment. Further, we propose a Centralized Training Decentralized Execution learning approach called Stateful Active Facilitator (SAF) that enables agents to work efficiently in high-coordination and high-heterogeneity environments through a differentiable and shared knowledge source used during training and dynamic selection from a shared pool of policies. We evaluate SAF and compare its performance against baselines IPPO and MAPPO on HECOGrid. Our results show that SAF consistently outperforms the baselines across different tasks and different heterogeneity and coordination levels. We release the code for HECOGrid as well as all our experiments.


title: Two-dimensional electronic spectroscopy of an ultracold gas

abstract: Femtosecond coherent multidimensional spectroscopy is demonstrated for an ultracold gas. For this, a setup for phase modulation spectroscopy is used to probe the $3^2\mathrm{S}_{1/2} - 2^2\mathrm{P}_{1/2, 3/2}$ transition in an 800 $\mu$K-cold sample of $^7$Li atoms confined in a magneto-optical trap. The observation of a double quantum coherence response, a signature of interparticle interactions, paves the way for detailed investigations of few- and many-body effects in ultracold atomic and molecular gases using this technique. The experiment combines a frequency resolution of 3 GHz with a potential time resolution of 200 fs, which allows for high-resolution studies of ultracold atoms and molecules both in the frequency and in the time domain.


title: Homogeneous Electron Liquid in Arbitrary Dimensions: Exchange and Correlation Using the Singwi-Tosi-Land-Sj\"olander Approach

abstract: The ground states of the homogeneous electron gas and the homogeneous electron liquid are cornerstones in quantum physics and chemistry. They are archetypal systems in the regime of slowly varying densities in which the exchange-correlation energy can be estimated with a myriad of methods. For high densities, the behavior of the energy is well-known for 1, 2, and 3 dimensions. Here, we extend this model to arbitrary integer dimensions, and compute its correlation energy beyond the random phase approximation (RPA), using the celebrated approach developed by Singwi, Tosi, Land, and Sj\"olander (STLS), which is known to be remarkably accurate in the description of the full electronic density response for $2D$ and $3D$, both in the paramagnetic and ferromagnetic ground states. For higher dimensions, we compare the results obtained for the correlation energy using the STLS method with the values previously obtained using RPA. We found that at high dimensions STLS tends to be more physical in the sense that the infamous sum rules are better satisfied by the theory. We furthermore illustrate the importance of the plasmon contribution to STLS theory.


title: Information scrambling of the dilute Bose gas at low temperature

abstract: We calculate the quantum Lyapunov exponent $\lambda_L$ and butterfly velocity $v_B$ in the dilute Bose gas at temperature $T$ deep in the Bose-Einstein condensation phase. The generalized Boltzmann equation approach is used for calculating out-of-time ordered correlators, from which $\lambda_L$ and $v_B$ are extracted. At very low temperature where elementary excitations are phonon-like, we find $\lambda_L\propto T^5$ and $v_B\sim c$, the sound velocity. At relatively high temperature, we have $\lambda_L\propto T$ and $v_B\sim c(T/T_*)^{0.23}$. We find $\lambda_L$ is always comparable to the damping rate of a quasiparticle, whose energy depends suitably on $T$. The chaos diffusion constant $D_L=v_B^2/\lambda_L$, on the other hand, differs from the energy diffusion constant $D_E$. We find $D_E\ll D_L$ at very low temperature and $D_E\gg D_L$ otherwise.


title: Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives

abstract: Message-passing concurrency is a popular computation model that underlies several programming languages like, e.g., Erlang, Akka, and (to some extent) Go and Rust. In particular, we consider a message-passing concurrent language with dynamic process spawning and selective receives, i.e., where messages can only be consumed by the target process when they match a specific constraint (e.g., the case of Erlang). In this work, we introduce a notion of trace that can be seen as an abstraction of a class of causally equivalent executions (i.e., which produce the same outcome). We then show that execution traces can be used to identify message races. We provide constructive definitions to compute message races as well as to produce so-called race variants, which can then be used to drive new executions which are not causally equivalent to the previous ones. This is an essential ingredient of state-space exploration techniques for program verification.


title: AnimeTAB: A new guitar tablature dataset of anime and game music

abstract: While guitar tablature has become a popular topic in MIR research, there exists no such a guitar tablature dataset that focuses on the soundtracks of anime and video games, which have a surprisingly broad and growing audience among the youths. In this paper, we present AnimeTAB, a fingerstyle guitar tablature dataset in MusicXML format, which provides more high-quality guitar tablature for both researchers and guitar players. AnimeTAB contains 412 full tracks and 547 clips, the latter are annotated with musical structures (intro, verse, chorus, and bridge). An accompanying analysis toolkit, TABprocessor, is included to further facilitate its use. This includes functions for melody and bassline extraction, key detection, and chord labeling, which are implemented using rule-based algorithms. We evaluated each of these functions against a manually annotated ground truth. Finally, as an example, we performed a music and technique analysis of AnimeTAB using TABprocessor. Our data and code have been made publicly available for composers, performers, and music information retrieval (MIR) researchers alike.


title: Detecting Narrative Elements in Informational Text

abstract: Automatic extraction of narrative elements from text, combining narrative theories with computational models, has been receiving increasing attention over the last few years. Previous works have utilized the oral narrative theory by Labov and Waletzky to identify various narrative elements in personal stories texts. Instead, we direct our focus to informational texts, specifically news stories. We introduce NEAT (Narrative Elements AnnoTation) - a novel NLP task for detecting narrative elements in raw text. For this purpose, we designed a new multi-label narrative annotation scheme, better suited for informational text (e.g. news media), by adapting elements from the narrative theory of Labov and Waletzky (Complication and Resolution) and adding a new narrative element of our own (Success). We then used this scheme to annotate a new dataset of 2,209 sentences, compiled from 46 news articles from various category domains. We trained a number of supervised models in several different setups over the annotated dataset to identify the different narrative elements, achieving an average F1 score of up to 0.77. The results demonstrate the holistic nature of our annotation scheme as well as its robustness to domain category.


title: Efficiently Enhancing Zero-Shot Performance of Instruction Following Model via Retrieval of Soft Prompt

abstract: Enhancing the zero-shot performance of instruction-following models requires heavy computation, either by scaling the total number of training datasets or the model size. In this work, we explore how retrieval of soft prompts obtained through prompt tuning can efficiently assist hard prompts in zero-shot task generalization. Specifically, we train soft prompt embeddings for each prompt through prompt tuning, store the samples of the training instances mapped with the prompt embeddings, and retrieve the corresponding prompt embedding of the training instance closest to the query instance during inference. While only adding 0.007% additional parameters, retrieval of soft prompt enhances the performance of T0 on unseen tasks by outperforming it on 10 out of 11 datasets as well as improving the mean accuracy of T0 on BIG-bench benchmark by 2.39% points. Also, we report an interesting finding that retrieving source embeddings trained on similar answer choice formats is more important than those on similar task types.


title: Learning many-body Hamiltonians with Heisenberg-limited scaling

abstract: Learning a many-body Hamiltonian from its dynamics is a fundamental problem in physics. In this work, we propose the first algorithm to achieve the Heisenberg limit for learning an interacting $N$-qubit local Hamiltonian. After a total evolution time of $\mathcal{O}(\epsilon^{-1})$, the proposed algorithm can efficiently estimate any parameter in the $N$-qubit Hamiltonian to $\epsilon$-error with high probability. The proposed algorithm is robust against state preparation and measurement error, does not require eigenstates or thermal states, and only uses $\mathrm{polylog}(\epsilon^{-1})$ experiments. In contrast, the best previous algorithms, such as recent works using gradient-based optimization or polynomial interpolation, require a total evolution time of $\mathcal{O}(\epsilon^{-2})$ and $\mathcal{O}(\epsilon^{-2})$ experiments. Our algorithm uses ideas from quantum simulation to decouple the unknown $N$-qubit Hamiltonian $H$ into noninteracting patches, and learns $H$ using a quantum-enhanced divide-and-conquer approach. We prove a matching lower bound to establish the asymptotic optimality of our algorithm.

categories: quant-ph cs.IT cs.LG cs.NA math.IT math.NA


title: Microscopic nucleus-nucleus optical potentials from nuclear matter with uncertainty analysis from chiral forces

abstract: Nucleus-nucleus optical potentials are constructed from an energy density functional approach first outlined by Brueckner et al. The interaction term of the energy density functional comes from the complex nucleon self-energy computed in nuclear matter with two- and three-body chiral nuclear forces. Nuclear density distributions are calculated from Skyrme functionals constrained to the equations of state calculated from the same chiral forces used for the self-energy. Predictions for elastic scattering cross sections and fusion cross sections are compared to experimental data. Very good agreement is found with experiment for elastic scattering of heavier nucleus-nucleus systems at energies in the range of $20 < E < 90$ MeV/N, while accurate descriptions of lighter and lower-energy systems may require the inclusion of collective excitations.


title: Symplectically Flat Connections and Their Functionals

abstract: We continue our study of symplectically flat bundles. We broaden the notion of symplectically flat connections on symplectic manifolds to $\zeta$-flat connections on smooth manifolds. These connections on principal bundles can be represented by maps from an extension of the base's fundamental group to the structure group. We introduce functionals with zeroes being symplectically flat connections and study their critical points. Such functionals lead to novel geometric flows. We also describe some characteristic classes of the $\zeta$-flat bundles.


title: $JetCurry$ I. Reconstructing Three-Dimensional Jet Geometry from Two-Dimensional Images

abstract: We present a three-dimensional (3-D) visualization of jet geometry using numerical methods based on a Markov Chain Monte Carlo (MCMC) and limited memory Broyden-Fletcher-Goldfarb-Shanno (BFGS) optimized algorithm. Our aim is to visualize the 3-D geometry of an active galactic nucleus (AGN) jet using observations, which are inherently two-dimensional (2-D) images. Many AGN jets display complex structures that include hotspots and bends. The structure of these bends in the jet's frame may appear quite different than what we see in the sky frame, where it is transformed by our particular viewing geometry. The knowledge of the intrinsic structure will be helpful in understanding the appearance of the magnetic field and hence emission and particle acceleration processes over the length of the jet. We present the $JetCurry$ algorithm to visualize the jet's 3-D geometry from its 2-D image. We discuss the underlying geometrical framework and outline the method used to decompose the 2-D image. We report the results of our 3-D visualization of the jet of M87, using the test case of the knot D region. Our 3-D visualization is broadly consistent with the expected double helical magnetic field structure of the knot D region of the jet. We also discuss the next steps in the development of the $JetCurry$ algorithm.


title: Generic properties of topological groups

abstract: We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed groups and the word problem. I. Goldbring, S. E. Kunnawalkam and Y. Lodha proved that every isomorphism class is meager among countably infinite (discrete) groups. In contrast, we show that there is a comeager isomorphism class among countably infinite (discrete) abelian groups. Then we turn to compact metrizable abelian groups. We use Pontryagin duality to show that there is a comeager isomorphism class among compact metrizable abelian groups. We discuss its connections to the countably infinite (discrete) case. Finally, we study compact metrizable groups. We prove that the generic compact metrizable group is neither connected nor totally disconnected; also it is neither torsion-free nor a torsion group.


title: Quadratic enrichment of the logarithmic derivative of the zeta function

abstract: We define an enrichment of the logarithmic derivative of the zeta function of a variety over a finite field to a power series with coefficients in the Grothendieck--Witt group. We show that this enrichment is related to the topology of the real points of a lift. For cellular schemes over a field, we prove a rationality result for this enriched logarithmic derivative of the zeta function as an analogue of part of the Weil conjectures. We also compute several examples, including toric varieties, and show that the enrichment is a motivic measure.


title: Tangle contact homology

abstract: Knot contact homology is an ambient isotopy invariant of knots and links in $\mathbb R^3$. The purpose of this paper is to extend this definition to an ambient isotopy invariant of tangles and prove that gluing of tangles gives a gluing formula for knot contact homology. As a consequence of the gluing formula we obtain that the tangle contact homology detects triviality of tangles.


title: Conversational Semantic Role Labeling with Predicate-Oriented Latent Graph

abstract: Conversational semantic role labeling (CSRL) is a newly proposed task that uncovers the shallow semantic structures in a dialogue text. Unfortunately several important characteristics of the CSRL task have been overlooked by the existing works, such as the structural information integration, near-neighbor influence. In this work, we investigate the integration of a latent graph for CSRL. We propose to automatically induce a predicate-oriented latent graph (POLar) with a predicate-centered Gaussian mechanism, by which the nearer and informative words to the predicate will be allocated with more attention. The POLar structure is then dynamically pruned and refined so as to best fit the task need. We additionally introduce an effective dialogue-level pre-trained language model, CoDiaBERT, for better supporting multiple utterance sentences and handling the speaker coreference issue in CSRL. Our system outperforms best-performing baselines on three benchmark CSRL datasets with big margins, especially achieving over 4% F1 score improvements on the cross-utterance argument detection. Further analyses are presented to better understand the effectiveness of our proposed methods.


title: Coupled Fredkin and Motzkin chains from quantum six- and nineteen-vertex models

abstract: We generalize the area-law violating models of Fredkin and Motzkin spin chains into two dimensions by building quantum six- and nineteen-vertex models with correlated interactions. The Hamiltonian is frustration free, and its projectors generate ergodic dynamics within the subspace of height configuration that are non negative. The ground state is a volume- and color-weighted superposition of classical bi-color vertex configurations with non-negative heights in the bulk and zero height on the boundary. The entanglement entropy between subsystems has a phase transition as the $q$-deformation parameter is tuned, which is shown to be robust in the presence of an external field acting on the color degree of freedom. The ground state undergoes a quantum phase transition between area- and volume-law entanglement phases with a critical point where entanglement entropy scales as a function $L\log L$ of the linear system size $L$. Intermediate power law scalings between $L\log L$ and $L^2$ can be achieved with an inhomogeneous deformation parameter that approaches 1 at different rates in the thermodynamic limit. For the $q>1$ phase, we construct a variational wave function that establishes an upper bound on the spectral gap that scales as $q^{-L^3/8}$.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-lat math-ph math.MP


title: Submultiplicative norms and filtrations on section rings

abstract: We show that submultiplicative norms on section rings of polarised projective manifolds are asymptotically equivalent to sup-norms associated with metrics on the polarisation. As an application, we establish that over canonically polarised manifolds, convex hull of Narasimhan-Simha pseudonorm over pluricanonical sections is asymptotically equivalent to the sup-norm associated with the supercanonical metric of Tsuji, refining a result of Berman-Demailly. As another application, we deduce that the jumping measures associated with bounded submultiplicative filtrations on section rings converge to the spectral measures of their Bergman geodesic rays, generalizing previous results of Witt Nystr\"om and Hisamoto. We show also that the latter measures can be described using pluripotential theory. More precisely, we establish that Bergman geodesic rays are maximal, i.e. they can be constructed through plurisubharmonic envelopes. As a final application, for non-continuous metrics on ample line bundles over projective manifolds, we prove that a weak version of semiclassical holomorphic extension theorem holds for generic submanifolds. This means that up to a negligible portion, the totality of holomorphic sections over generic submanifolds extends in an effective way to the ambient manifold. As an unexpected byproduct, we show that injective and projective tensor norms on symmetric algebras of finitely dimensional complex normed vector spaces are asymptotically equivalent.


title: Rolling Shutter Inversion: Bring Rolling Shutter Images to High Framerate Global Shutter Video

abstract: A single rolling-shutter (RS) image may be viewed as a row-wise combination of a sequence of global-shutter (GS) images captured by a (virtual) moving GS camera within the exposure duration. Although RS cameras are widely used, the RS effect causes obvious image distortion especially in the presence of fast camera motion, hindering downstream computer vision tasks. In this paper, we propose to invert the RS image capture mechanism, i.e., recovering a continuous high framerate GS video from two time-consecutive RS frames. We call this task the RS temporal super-resolution (RSSR) problem. The RSSR is a very challenging task, and to our knowledge, no practical solution exists to date. This paper presents a novel deep-learning based solution. By leveraging the multi-view geometry relationship of the RS imaging process, our learning-based framework successfully achieves high framerate GS generation. Specifically, three novel contributions can be identified: (i) novel formulations for bidirectional RS undistortion flows under constant velocity as well as constant acceleration motion model. (ii) a simple linear scaling operation, which bridges the RS undistortion flow and regular optical flow. (iii) a new mutual conversion scheme between varying RS undistortion flows that correspond to different scanlines. Our method also exploits the underlying spatial-temporal geometric relationships within a deep learning framework, where no additional supervision is required beyond the necessary middle-scanline GS image. Building upon these contributions, we represent the very first rolling-shutter temporal super-resolution deep-network that is able to recover high framerate GS videos from just two RS frames. Extensive experimental results on both synthetic and real data show that our proposed method can produce high-quality GS image sequences with rich details, outperforming the state-of-the-art methods.


title: Matrix Spherical Functions for $(\mathrm{SU}(n+m),\mathrm{S}(\mathrm{U}(n)\times \mathrm{U}(m)))$: Two Specific Classes

abstract: We consider the matrix spherical function related to the compact symmetric pair $(G,K)=(\mathrm{SU}(n+m),\mathrm{S}(\mathrm{U}(n)\times\mathrm{U}(m)))$. The irreducible $K$ representations $(\pi,V)$ in the ${\rm U}(n)$ part are considered and the induced representation $\mathrm{Ind}_K^G\pi$ splits multiplicity free. In this case, the irreducible $K$ representations in the ${\rm U}(n)$ part are studied. The corresponding spherical functions can be approximated in terms of the simpler matrix-valued functions. We can determine the explicit spherical functions using the action of a differential operator. We consider several cases of irreducible $K$ representations and the orthogonality relations are also described.


title: Perception of Personality Traits in Crowds of Virtual Humans

abstract: This paper proposes a perceptual visual analysis regarding the personality of virtual humans. Many studies have presented findings regarding the way human beings perceive virtual humans with respect to their faces, body animation, motion in the virtual environment and etc. We are interested in investigating the way people perceive visual manifestations of virtual humans' personality traits when they are interactive and organized in groups. Many applications in games and movies can benefit from the findings regarding the perceptual analysis with the main goal to provide more realistic characters and improve the users' experience. We provide experiments with subjects and obtained results indicate that, although is very subtle, people perceive more the extraversion (the personality trait that we measured), into the crowds of virtual humans, when interacting with virtual humans behaviors, than when just observing as a spectator camera.


title: Feature-Realistic Neural Fusion for Real-Time, Open Set Scene Understanding

abstract: General scene understanding for robotics requires flexible semantic representation, so that novel objects and structures which may not have been known at training time can be identified, segmented and grouped. We present an algorithm which fuses general learned features from a standard pre-trained network into a highly efficient 3D geometric neural field representation during real-time SLAM. The fused 3D feature maps inherit the coherence of the neural field's geometry representation. This means that tiny amounts of human labelling interacting at runtime enable objects or even parts of objects to be robustly and accurately segmented in an open set manner.


title: Unmasking the Lottery Ticket Hypothesis: What's Encoded in a Winning Ticket's Mask?

abstract: Modern deep learning involves training costly, highly overparameterized networks, thus motivating the search for sparser networks that can still be trained to the same accuracy as the full network (i.e. matching). Iterative magnitude pruning (IMP) is a state of the art algorithm that can find such highly sparse matching subnetworks, known as winning tickets. IMP operates by iterative cycles of training, masking smallest magnitude weights, rewinding back to an early training point, and repeating. Despite its simplicity, the underlying principles for when and how IMP finds winning tickets remain elusive. In particular, what useful information does an IMP mask found at the end of training convey to a rewound network near the beginning of training? How does SGD allow the network to extract this information? And why is iterative pruning needed? We develop answers in terms of the geometry of the error landscape. First, we find that$\unicode{x2014}$at higher sparsities$\unicode{x2014}$pairs of pruned networks at successive pruning iterations are connected by a linear path with zero error barrier if and only if they are matching. This indicates that masks found at the end of training convey the identity of an axial subspace that intersects a desired linearly connected mode of a matching sublevel set. Second, we show SGD can exploit this information due to a strong form of robustness: it can return to this mode despite strong perturbations early in training. Third, we show how the flatness of the error landscape at the end of training determines a limit on the fraction of weights that can be pruned at each iteration of IMP. Finally, we show that the role of retraining in IMP is to find a network with new small weights to prune. Overall, these results make progress toward demystifying the existence of winning tickets by revealing the fundamental role of error landscape geometry.


title: A neural network approach to high-dimensional optimal switching problems with jumps in energy markets

abstract: We develop a backward-in-time machine learning algorithm that uses a sequence of neural networks to solve optimal switching problems in energy production, where electricity and fossil fuel prices are subject to stochastic jumps. We then apply this algorithm to a variety of energy scheduling problems, including novel high-dimensional energy production problems. Our experimental results demonstrate that the algorithm performs with accuracy and experiences linear to sub-linear slowdowns as dimension increases, demonstrating the value of the algorithm for solving high-dimensional switching problems.


title: Stable Black Hole with Yang-Mills Hair

abstract: We present stable solution of static spherically symmetric Einstein-Yang-Mills equations with the SU(2) gauge group. This solution is asymptotically flat and regular at r = 0 and with nontrivial Yang-Mills(YM) connection. With quantized values of the Arnowitt-Deser-Misner (ADM) mass, the solutions asymptotically approach the Schwarzschild solution and have zero global YM charges. Numerical evidences suggest that this solution is both linearly and nonlinearly stable and has a ring of generic curvature singularities along the horizon. An effective counterexample to the no-hair conjecture is provided by this stable solution. Moreover, the stable black hole solution suggests that the coupling of gauge field to gravity in early Universe will generate a new type of black holes. Their stability means that these might be a possible new source of primordial black holes left over from the early Universe and serves as a possible new candidate for dark matter.


title: Conditional Feature Importance for Mixed Data

abstract: Despite the popularity of feature importance (FI) measures in interpretable machine learning, the statistical adequacy of these methods is rarely discussed. From a statistical perspective, a major distinction is between analyzing a variable's importance before and after adjusting for covariates - i.e., between $\textit{marginal}$ and $\textit{conditional}$ measures. Our work draws attention to this rarely acknowledged, yet crucial distinction and showcases its implications. Further, we reveal that for testing conditional FI, only few methods are available and practitioners have hitherto been severely restricted in method application due to mismatching data requirements. Most real-world data exhibits complex feature dependencies and incorporates both continuous and categorical data (mixed data). Both properties are oftentimes neglected by conditional FI measures. To fill this gap, we propose to combine the conditional predictive impact (CPI) framework with sequential knockoff sampling. The CPI enables conditional FI measurement that controls for any feature dependencies by sampling valid knockoffs - hence, generating synthetic data with similar statistical properties - for the data to be analyzed. Sequential knockoffs were deliberately designed to handle mixed data and thus allow us to extend the CPI approach to such datasets. We demonstrate through numerous simulations and a real-world example that our proposed workflow controls type I error, achieves high power and is in line with results given by other conditional FI measures, whereas marginal FI metrics result in misleading interpretations. Our findings highlight the necessity of developing statistically adequate, specialized methods for mixed data.


title: Scalable Experimental Bounds for Dicke and GHZ States Fidelities

abstract: Estimating the state preparation fidelity of highly entangled states on noisy intermediate-scale quantum (NISQ) devices is an important task for benchmarking and application considerations. Unfortunately, exact fidelity measurements quickly become prohibitively expensive, as they scale exponentially as $O(3^N)$ for $N$-qubit states, using full state tomography with measurements in all Pauli bases combinations. However, Somma and others [PhysRevA.74.052302] established that the complexity could be drastically reduced when looking at fidelity lower bounds for states that exhibit symmetries, such as Dicke States and GHZ States. For larger states, these bounds still need to be tight enough to provide reasonable estimations on NISQ devices. For the first time and more than 15 years after the theoretical introduction, we report meaningful lower bounds for the state preparation fidelity of all Dicke States up to $N=10$, and all GHZ states up to $N=20$ on Quantinuum H1 ion-trap systems using efficient implementations of recently proposed scalable circuits for these states. Our achieved lower bounds match or exceed previously reported exact fidelities on superconducting systems for much smaller states. This work provides a path forward to benchmarking entanglement as NISQ devices improve in size and quality.


title: Physical Characterization of Near-Earth Asteroid (52768) 1998 OR2: Evidence of Shock 1 Darkening/Impact Melt

abstract: We conducted photometric and spectroscopic characterization of near-Earth asteroid (52768) 1998 OR2 during a close approach to the Earth in April of 2020. Our photometric measurements confirm the rotation period of the asteroid to be 4.126 +/- 0.179 hours, consistent with the previously published value of 4.112 +/- 0.001 hours. By combining our visible spectroscopic measurements (0.45 - 0.93 microns) with archival MITHNEOS near infrared spectra (0.78 - 2.49 microns), we classify the asteroid as an Xn-type in the Bus-DeMeo taxonomy. The combined spectrum shows two weak absorption bands: Band I at 0.926 +/- 0.003 microns and Band II at 2.07 +/- 0.02 microns with band depths of 4.5 +/- 0.15% and 4.0 +/- 0.21%, respectively. The band area ratio is 1.13 +/- 0.05. These spectral band parameters plot at the tip of the S(IV) region of the Gaffey S-asteroid subtypes plot suggesting an affinity to ordinary chondrite meteorites. We calculated the chemistry of the olivine and pyroxene using the Band I center to be 20.1 +/- 2.3 mol% fayalite and 18.2 +/- 1.5 mol% ferrosilite, consistent with H chondrites. Principal component analysis of 1998 OR2's combined visible-NIR spectrum fall on the C/X-complex side of the alpha-line, near the end of the shock darkening trend, consistent with its weak absorption bands (band depth < 5%). We use an aerial mixing model with lab measurements of the shock darkened H5 chondrite, Chergach, to constrain the amount of shock darkened material on the asteroid's surface at ~63% dark lithology and ~37% light lithology.


title: State-of-the-art generalisation research in NLP: A taxonomy and review

abstract: The ability to generalise well is one of the primary desiderata of natural language processing (NLP). Yet, what 'good generalisation' entails and how it should be evaluated is not well understood, nor are there any evaluation standards for generalisation. In this paper, we lay the groundwork to address both of these issues. We present a taxonomy for characterising and understanding generalisation research in NLP. Our taxonomy is based on an extensive literature review of generalisation research, and contains five axes along which studies can differ: their main motivation, the type of generalisation they investigate, the type of data shift they consider, the source of this data shift, and the locus of the shift within the modelling pipeline. We use our taxonomy to classify over 400 papers that test generalisation, for a total of more than 600 individual experiments. Considering the results of this review, we present an in-depth analysis that maps out the current state of generalisation research in NLP, and we make recommendations for which areas might deserve attention in the future. Along with this paper, we release a webpage where the results of our review can be dynamically explored, and which we intend to update as new NLP generalisation studies are published. With this work, we aim to take steps towards making state-of-the-art generalisation testing the new status quo in NLP.


title: Benchmarking the Ising Universality Class in $3 \le d < 4$ dimensions

abstract: The Ising critical exponents $\eta$, $\nu$ and $\omega$ are determined up to one-per-thousand relative error in the whole range of dimensions $3 \le d < 4$, using numerical conformal-bootstrap techniques. A detailed comparison is made with results by the resummed epsilon-expansion in varying dimension, the analytic bootstrap, Monte Carlo and non-perturbative renormalization-group methods, finding very good overall agreement. Precise conformal field theory data of scaling dimensions and structure constants are obtained as functions of dimension, improving on earlier findings, and providing benchmarks in $3 \le d < 4$.


title: ByteTransformer: A High-Performance Transformer Boosted for Variable-Length Inputs

abstract: Transformers have become keystone models in natural language processing over the past decade. They have achieved great popularity in deep learning applications, but the increasing sizes of the parameter spaces required by transformer models generate a commensurate need to accelerate performance. Natural language processing problems are also routinely faced with variable-length sequences, as word counts commonly vary among sentences. Existing deep learning frameworks pad variable-length sequences to a maximal length, which adds significant memory and computational overhead. In this paper, we present ByteTransformer, a high-performance transformer boosted for variable-length inputs. We propose a padding-free algorithm that liberates the entire transformer from redundant computations on zero padded tokens. In addition to algorithmic-level optimization, we provide architecture-aware optimizations for transformer functional modules, especially the performance-critical algorithm Multi-Head Attention (MHA). Experimental results on an NVIDIA A100 GPU with variable-length sequence inputs validate that our fused MHA outperforms PyTorch by 6.13x. The end-to-end performance of ByteTransformer for a forward BERT transformer surpasses state-of-the-art transformer frameworks, such as PyTorch JIT, TensorFlow XLA, Tencent TurboTransformer, Microsoft DeepSpeed-Inference and NVIDIA FasterTransformer, by 87\%, 131\%, 138\%, 74\% and 55\%, respectively. We also demonstrate the general applicability of our optimization methods to other BERT-like models, including ALBERT, DistilBERT, and DeBERTa.


title: Reinforcement Learning with Large Action Spaces for Neural Machine Translation

abstract: Applying Reinforcement learning (RL) following maximum likelihood estimation (MLE) pre-training is a versatile method for enhancing neural machine translation (NMT) performance. However, recent work has argued that the gains produced by RL for NMT are mostly due to promoting tokens that have already received a fairly high probability in pre-training. We hypothesize that the large action space is a main obstacle to RL's effectiveness in MT, and conduct two sets of experiments that lend support to our hypothesis. First, we find that reducing the size of the vocabulary improves RL's effectiveness. Second, we find that effectively reducing the dimension of the action space without changing the vocabulary also yields notable improvement as evaluated by BLEU, semantic similarity, and human evaluation. Indeed, by initializing the network's final fully connected layer (that maps the network's internal dimension to the vocabulary dimension), with a layer that generalizes over similar actions, we obtain a substantial improvement in RL performance: 1.5 BLEU points on average.


title: Equilibrium and dynamics of a three-state opinion model

abstract: We introduce a three-state model to study the effects of a neutral party on opinion spreading, in which the tendency of agents to agree with their neighbors can be tuned to favor either the neutral party or two oppositely polarized parties, and can be disrupted by social agitation mimicked as temperature. We study the equilibrium phase diagram and the non-equilibrium stochastic dynamics of the model with various analytical approaches and with Monte Carlo simulations on different substrates: the fully-connected (FC) graph, the one-dimensional (1D) chain, and Erd\"os-R\'enyi (ER) random graphs. We show that, in the mean-field approximation, the phase boundary between the disordered and polarized phases is characterized by a tricritical point. On the FC graph, in the absence of social agitation, kinetic barriers prevent the system from reaching optimal consensus. On the 1D chain, the main result is that the dynamics is governed by the growth of opinion clusters. Finally, for the ER ensemble a phase transition analogous to that of the FC graph takes place, but now the system is able to reach optimal consensus at low temperatures, except when the average connectivity is low, in which case dynamical traps arise from local frozen configurations.


title: Inducing Lattices in Non-Lattice-Linear Problems

abstract: Lattice-linearity was introduced as modelling problems using predicates that induce a lattice among the global states (Garg, SPAA 2020). Such modelling enables permitting asynchronous execution in multiprocessor systems. A key property of \textit{the predicate} representing such problems is that it induces \textit{one} lattice in the state space. Such representation guarantees the execution to be correct even if nodes execute asynchronously. However, many interesting problems do not exhibit lattice-linearity. This issue was alleviated with the introduction of eventually lattice-linear algorithms (Gupta and Kulkarni, SSS 2021). They induce \textit{single or multiple} lattices in a subset of the state space even when the problem cannot be defined by a predicate under which the states form a lattice. In this paper, we focus on analyzing and differentiating between lattice-linear problems and algorithms. We introduce a new class of algorithms called \textit{fully lattice-linear algorithms}. These algorithms partition the \textit{entire} reachable state space into \textit{one or more lattices}. For illustration, we present lattice-linear self-stabilizing algorithms for minimal dominating set (MDS) and graph colouring (GC) problems, and a parallel processing lattice-linear 2-approximation algorithm for vertex cover (VC). The algorithms for MDS and GC converge in {\boldmath $n$} moves and {\boldmath $n+2m$} moves respectively. These algorithms preserve this time complexity while allowing the nodes to execute asynchronously, where these nodes may execute based on old or inconsistent information about their neighbours. The algorithm for VC is the first lattice-linear approximation algorithm for an NP-Hard problem; it converges in {\boldmath $n$} moves.


title: Lava World: Exoplanet Surfaces

abstract: The recent first measurements of the reflection of the surface of a lava world provides an unprecedented opportunity to investigate different stages of rocky planet evolution. The spectral features of the surfaces of rocky lava world exoplanets give insights into their evolution, mantle composition and inner workings. However, no database exists yet that contains spectral reflectivity and emission of a wide range of potential exoplanet surface materials. Here we first synthesized 16 potential exoplanet surfaces, spanning a wide range of chemical compositions based on potential mantle material guided by the metallicity of different host stars. Then we measured their infrared reflection spectrum (2.5 - 28 {\mu}m, 350 - 4000 cm^{-1}), from which we can obtain their emission spectra and establish the link between the composition and a strong spectral feature at 8 {\mu}m, the Christiansen feature (CF). Our analysis suggests a new multi-component composition relationship with the CF, as well as a correlation with the silica content of the exoplanet mantle. We also report the mineralogies of our materials as possibilities for that of lava worlds. This database is a tool to aid in the interpretation of future spectra of lava worlds that will be collected by the James Webb Space Telescope and future missions


title: Language Models are Multilingual Chain-of-Thought Reasoners

abstract: We evaluate the reasoning abilities of large language models in multilingual settings. We introduce the Multilingual Grade School Math (MGSM) benchmark, by manually translating 250 grade-school math problems from the GSM8K dataset (Cobbe et al., 2021) into ten typologically diverse languages. We find that the ability to solve MGSM problems via chain-of-thought prompting emerges with increasing model scale, and that models have strikingly strong multilingual reasoning abilities, even in underrepresented languages such as Bengali and Swahili. Finally, we show that the multilingual reasoning abilities of language models extend to other tasks such as commonsense reasoning and word-in-context semantic judgment. The MGSM benchmark is publicly available at https://github.com/google-research/url-nlp.


title: VC-Dimension and Distance Chains in $\mathbb{F}_q^d$

abstract: Given a domain $X$ and a collection $\mathcal{H}$ of functions $h:X\to \{0,1\}$, the Vapnik-Chervonenkis (VC) dimension of $\mathcal{H}$ measures its complexity in an appropriate sense. In particular, the fundamental theorem of statistical learning says that a hypothesis class with finite VC-dimension is PAC learnable. Recent work by Fitzpatrick, Wyman, the fourth and seventh named authors studied the VC-dimension of a natural family of functions $\mathcal{H}_t^{'2}(E): \mathbb{F}_q^2\to \{0,1\}$, corresponding to indicator functions of circles centered at points in a subset $E\subseteq \mathbb{F}_q^2$. They showed that when $|E|$ is large enough, the VC-dimension of $\mathcal{H}_t^{'2}(E)$ is the same as in the case that $E = \mathbb F_q^2$. We study a related hypothesis class, $\mathcal{H}_t^d(E)$, corresponding to intersections of spheres in $\mathbb{F}_q^d$, and ask how large $E\subseteq \mathbb{F}_q^d$ needs to be to ensure the maximum possible VC-dimension. We resolve this problem in all dimensions, proving that whenever $|E|\geq C_dq^{d-1/(d-1)}$ for $d\geq 3$, the VC-dimension of $\mathcal{H}_t^d(E)$ is as large as possible. We get a slightly stronger result if $d=3$: this result holds as long as $|E|\geq C_3 q^{7/3}$. Furthermore, when $d=2$ the result holds when $|E|\geq C_2 q^{7/4}$.


title: Magnetic excitations in the helical Rashba superconductor

abstract: We investigate the magnetic excitation spectrum in the helical state of a noncentrosymmetric superconductor with inversion symmetry breaking and strong Rashba spin-orbit coupling. For this purpose, we derive the general expressions of the dynamical spin response functions under the presence of strong Rashba splitting of conduction bands, superconducting gap, and external field which lead to stabilization of Cooper pairs with finite overall momentum in a helical state. The latter is characterized by momentum space regions of paired and unpaired states with different quasiparticle dispersions. The magnetic response is determined by i) excitations within and between both paired and unpaired regions ii) anomalous coherence factors and iii) additional spin matrix elements due to helical Rashba spin texture of bands. We show that as a consequence typical correlated real space and spin space anisotropies appear in the dynamical susceptibility which would be observable as a characteristic fingerprint for a helical superconducting state in inelastic neutron scattering investigations.


title: LODUS: A Multi-Level Framework for Simulating Environment and Population -- A Contagion Experiment on a Pandemic World

abstract: Nowadays we are experiencing a way of life that never existed before. The pandemic has sharply changed our habits, customs, and behavior. In addition, a lot of work was suddenly requested for city managers challenging them to develop strategies to try stopping the pandemic progression. Urban environments must be dynamic and managers need fast decisions when working on crisis situations. In this paper we present LODUS, a framework able to simulate urban environments on a multi-level approach, combining macro and micro simulation information in order to provide accurate information about population dynamics. Furthermore, the framework LODUS is a powerful tool when performing an urban viability study, since the simulation results are able to highlight and predict attention points prior to an urban environment to be built.


title: Structure Representation Network and Uncertainty Feedback Learning for Dense Non-Uniform Fog Removal

abstract: Few existing image defogging or dehazing methods consider dense and non-uniform particle distributions, which usually happen in smoke, dust and fog. Dealing with these dense and/or non-uniform distributions can be intractable, since fog's attenuation and airlight (or veiling effect) significantly weaken the background scene information in the input image. To address this problem, we introduce a structure-representation network with uncertainty feedback learning. Specifically, we extract the feature representations from a pre-trained Vision Transformer (DINO-ViT) module to recover the background information. To guide our network to focus on non-uniform fog areas, and then remove the fog accordingly, we introduce the uncertainty feedback learning, which produces the uncertainty maps, that have higher uncertainty in denser fog regions, and can be regarded as an attention map that represents fog's density and uneven distribution. Based on the uncertainty map, our feedback network refines our defogged output iteratively. Moreover, to handle the intractability of estimating the atmospheric light colors, we exploit the grayscale version of our input image, since it is less affected by varying light colors that are possibly present in the input image. The experimental results demonstrate the effectiveness of our method both quantitatively and qualitatively compared to the state-of-the-art methods in handling dense and non-uniform fog or smoke.


title: Studying chirality imbalance with quantum algorithms

abstract: To describe the chiral magnetic effect, the chiral chemical potential $\mu_5$ is introduced to imitate the impact of topological charge changing transitions in the quark-gluon plasma under the influence of an external magnetic field. We employ the (1+1) dimensional Nambu-Jona-Lasinio (NJL) model to study the chiral phase structure and chirality charge density of strongly interacting matter with finite chiral chemical potential $\mu_5$ in a quantum simulator. By performing the Quantum imaginary time evolution (QITE) algorithm, we simulate the (1+1) dimensional NJL model on the lattice at various temperature $T$ and chemical potentials $\mu$, $\mu_5$ and find that the quantum simulations are in good agreement with analytical calculations as well as exact diagonalization of the lattice Hamiltonian.


title: Stability of smooth periodic traveling waves in the Degasperis-Procesi equation

abstract: We derive a precise energy stability criterion for smooth periodic waves in the Degasperis--Procesi (DP) equation. Compared to the Camassa-Holm (CH) equation, the number of negative eigenvalues of an associated Hessian operator changes in the existence region of smooth perodic waves. We utilize properties of the period function with respect to two parameters in order to obtain a smooth existence curve for the family of smooth periodic waves of a fixed period. The energy stability condition is derived on parts of this existence curve which correspond to either one or two negative eigenvalues of the Hessian operator. We show numerically that the energy stability condition is satisfied on either part of the curve and prove analytically that it holds in a neighborhood of the boundary of the existence region of smooth periodic waves.

categories: math.AP math-ph math.DS math.MP nlin.PS nlin.SI


title: A Toolkit for Robust Thresholds

abstract: Consider a host hypergraph $G$ which contains a spanning structure due to minimum degree considerations. We collect three results proving that if the edges of $G$ are sampled at the appropriate rate then the spanning structure still appears with high probability in the sampled hypergraph. We prove such results for perfect matchings in hypergraphs above Dirac thresholds, for $K_r$-factors in graphs satisfying the Hajnal--Szemer\'edi minimum degree condition, and for bounded-degree spanning trees. In each case our proof is based on constructing a spread measure and then applying recent results on the (fractional) Kahn--Kalai conjecture connecting the existence of such measures with probabilistic thresholds. For our second result we give a shorter and more general proof of a recent theorem of Allen, B\"ottcher, Corsten, Davies, Jenssen, Morris, Roberts, and Skokan which handles the $r=3$ case with different techniques. In particular, we answer a question of theirs with regards to the number of $K_r$-factors in graphs satisfying the Hajnal--Szemer\'edi minimum degree condition.


title: MOCAS: A Multimodal Dataset for Objective Cognitive Workload Assessment on Simultaneous Tasks

abstract: This paper presents MOCAS, a multimodal dataset dedicated for human cognitive workload (CWL) assessment. In contrast to existing datasets based on virtual game stimuli, the data in MOCAS was collected from realistic closed-circuit television (CCTV) monitoring tasks, increasing its applicability for real-world scenarios. To build MOCAS, two off-the-shelf wearable sensors and one webcam were utilized to collect physiological signals and behavioral features from 21 human subjects. After each task, participants reported their CWL by completing the NASA-Task Load Index (NASA-TLX) and Instantaneous Self-Assessment (ISA). Personal background (e.g., personality and prior experience) was surveyed using demographic and Big Five Factor personality questionnaires, and two domains of subjective emotion information (i.e., arousal and valence) were obtained from the Self-Assessment Manikin (SAM), which could serve as potential indicators for improving CWL recognition performance. Technical validation was conducted to demonstrate that target CWL levels were elicited during simultaneous CCTV monitoring tasks; its results support the high quality of the collected multimodal signals.


title: MagNet: machine learning enhanced three-dimensional magnetic reconstruction

abstract: Three-dimensional (3D) magnetic reconstruction is vital to the study of novel magnetic materials for 3D spintronics. Vector field electron tomography (VFET) is a major in house tool to achieve that. However, conventional VFET reconstruction exhibits significant artefacts due to the unavoidable presence of missing wedges. In this article, we propose a deep-learning enhanced VFET method to address this issue. A magnetic textures library is built by micromagnetic simulations. MagNet, an U-shaped convolutional neural network, is trained and tested with dataset generated from the library. We demonstrate that MagNet outperforms conventional VFET under missing wedge. Quality of reconstructed magnetic induction fields is significantly improved.


title: Few-Shot Calibration of Set Predictors via Meta-Learned Cross-Validation-Based Conformal Prediction

abstract: Conventional frequentist learning is known to yield poorly calibrated models that fail to reliably quantify the uncertainty of their decisions. Bayesian learning can improve calibration, but formal guarantees apply only under restrictive assumptions about correct model specification. Conformal prediction (CP) offers a general framework for the design of set predictors with calibration guarantees that hold regardless of the underlying data generation mechanism. However, when training data are limited, CP tends to produce large, and hence uninformative, predicted sets. This paper introduces a novel meta-learning solution that aims at reducing the set prediction size. Unlike prior work, the proposed meta-learning scheme, referred to as meta-XB, (i) builds on cross-validation-based CP, rather than the less efficient validation-based CP; and (ii) preserves formal per-task calibration guarantees, rather than less stringent task-marginal guarantees. Finally, meta-XB is extended to adaptive non-conformal scores, which are shown empirically to further enhance marginal per-input calibration.


title: InferES : A Natural Language Inference Corpus for Spanish Featuring Negation-Based Contrastive and Adversarial Examples

abstract: In this paper, we present InferES - an original corpus for Natural Language Inference (NLI) in European Spanish. We propose, implement, and analyze a variety of corpus-creating strategies utilizing expert linguists and crowd workers. The objectives behind InferES are to provide high-quality data, and, at the same time to facilitate the systematic evaluation of automated systems. Specifically, we focus on measuring and improving the performance of machine learning systems on negation-based adversarial examples and their ability to generalize across out-of-distribution topics. We train two transformer models on InferES (8,055 gold examples) in a variety of scenarios. Our best model obtains 72.8% accuracy, leaving a lot of room for improvement. The "hypothesis-only" baseline performs only 2%-5% higher than majority, indicating much fewer annotation artifacts than prior work. We find that models trained on InferES generalize very well across topics (both in- and out-of-distribution) and perform moderately well on negation-based adversarial examples.


title: PathProx: A Proximal Gradient Algorithm for Weight Decay Regularized Deep Neural Networks

abstract: Weight decay is one of the most widely used forms of regularization in deep learning, and has been shown to improve generalization and robustness. The optimization objective driving weight decay is a sum of losses plus a term proportional to the sum of squared weights. This paper argues that stochastic gradient descent (SGD) may be an inefficient algorithm for this objective. For neural networks with ReLU activations, solutions to the weight decay objective are equivalent to those of a different objective in which the regularization term is instead a sum of products of $\ell_2$ (not squared) norms of the input and output weights associated with each ReLU neuron. This alternative (and effectively equivalent) regularization suggests a novel proximal gradient algorithm for network training. Theory and experiments support the new training approach, showing that it can converge much faster to the sparse solutions it shares with standard weight decay training.


title: Toxicity in Multilingual Machine Translation at Scale

abstract: Machine Translation systems can produce different types of errors, some of which are characterized as critical or catastrophic due to the specific negative impact that they can have on users. In this paper we focus on one type of critical error: added toxicity. We evaluate and analyze added toxicity when translating a large evaluation dataset (HOLISTICBIAS, over 472k sentences, covering 13 demographic axes) from English into 164 languages. An automatic toxicity evaluation shows that added toxicity across languages varies from 0% to 5%. The output languages with the most added toxicity tend to be low-resource ones, and the demographic axes with the most added toxicity include sexual orientation, gender and sex, and ability. We also perform human evaluation on a subset of 8 translation directions, confirming the prevalence of true added toxicity. We use a measurement of the amount of source contribution to the translation, where a low source contribution implies hallucination, to interpret what causes toxicity. Making use of the input attributions allows us to explain toxicity, because the source contributions significantly correlate with toxicity for 84% of languages studied. Given our findings, our recommendations to reduce added toxicity are to curate training data to avoid mistranslations, mitigate hallucination and check unstable translations.


title: Non-Archimedean Quantum Mechanics via Quantum Groups

abstract: We present a new non-Archimedean realization of the Fock representation of the q-oscillator algebras where the creation and annihilation operators act on complex-valued functions, which are defined on a non-Archimedean local field of arbitrary characteristic, for instance, the field of p-adic numbers. This new realization implies that a large number of quantum models constructed using q-oscillator algebras are non-Archimedean models, in particular, p-adic quantum models. In this framework, we select a q-deformation of the Heisenberg uncertainty relation, and construct the corresponding q-deformed Schr\"odinger equations. In this way we construct a p-adic quantum mechanics which is a p-deformed quantum mechanics. We also solve the time-independent Schr\"odinger equations for the free particle, and a particle in a non-Archimedean box. In the last case we show the existence of a discrete sequence of energy levels. We determine the eigenvalues of Schr\"odinger operator for a general radial potential. By choosing the potential in a suitable form we recover the energy levels of the q-hydrogen atom.


abstract: This paper describes the experimental framework and results of the IJCB 2022 Mobile Behavioral Biometrics Competition (MobileB2C). The aim of MobileB2C is benchmarking mobile user authentication systems based on behavioral biometric traits transparently acquired by mobile devices during ordinary Human-Computer Interaction (HCI), using a novel public database, BehavePassDB, and a standard experimental protocol. The competition is divided into four tasks corresponding to typical user activities: keystroke, text reading, gallery swiping, and tapping. The data are composed of touchscreen data and several background sensor data simultaneously acquired. "Random" (different users with different devices) and "skilled" (different user on the same device attempting to imitate the legitimate one) impostor scenarios are considered. The results achieved by the participants show the feasibility of user authentication through behavioral biometrics, although this proves to be a non-trivial challenge. MobileB2C will be established as an on-going competition.


title: Moving Virtual Agents Forward in Space and Time

abstract: This article proposes an adaptation from the model of Bianco for fast-forwarding agents in crowd simulation, which enables us to accurately fast forward agents in time. Besides being able to jump from one position to another, agents are able to stay inside their track, it means, the new position is calculated taking into account the original global path the agent would follow, if not being fast-forwarded. Obstacles and other agents around are also taken into account when calculating the new position. In addition, we included a personality aspect on agents, which affect their behaviors and, also, be taken into account when jumping to a future time and space. We conducted some experiments to validate our model, which shows that it was able to indeed fast forward agents from a position to another, in a coherent time, sticking to a given global path while avoiding collisions. Finally, we present a use case, showing that our method can fit inside a "Fog of War" system.


title: Ferroelectric switching at symmetry-broken interfaces by local control of dislocation networks

abstract: Semiconducting ferroelectric materials with low energy polarisation switching offer a platform for next-generation electronics such as ferroelectric field-effect transistors. Ferroelectric domains at symmetry-broken interfaces of transition metal dichalcogenide films provide an opportunity to combine the potential of semiconducting ferroelectrics with the design flexibility of two-dimensional material devices. Here, local control of ferroelectric domains in a marginally twisted WS2 bilayer is demonstrated with a scanning tunneling microscope at room temperature, and their observed reversible evolution understood using a string-like model of the domain wall network. We identify two characteristic regimes of domain evolution: (i) elastic bending of partial screw dislocations separating smaller domains with twin stacking and (ii) formation of perfect screw dislocations by merging pairs of primary domain walls. We also show that the latter act as the seeds for the reversible restoration of the inverted polarisation. These results open the possibility to achieve full control over atomically thin semiconducting ferroelectric domains using local electric fields, which is a critical step towards their technological use.


title: TF08 Snowmass Report: BSM Model Building

abstract: We summarize the state of Beyond the Standard Model (BSM) model building in particle physics for Snowmass 2021, focusing mainly on several whitepaper contributions to BSM model building (TF08) and closely related areas.


title: Estimation of the diffusion coefficient of Heavy Quarks in light of Gribov-Zwanziger action

abstract: The heavy quark momentum diffusion coefficient ($\kappa$) is one of the most essential ingredients for the Langevin description of heavy quark dynamics. In the temperature regime relevant to the heavy ion collision phenomenology, a substantial difference exists between the lattice estimations of $\kappa$ and the corresponding leading order (LO) result from the hard thermal loop (HTL) perturbation theory. Moreover, the indication of poor convergence in the next-to-leading order (NLO) perturbative analysis has motivated the development of several approaches to incorporate the non-perturbative effects in the heavy quark phenomenology. In this work, we estimate the heavy quark diffusion coefficient based on the Gribov-Zwanziger prescription. In this framework, the gluon propagator depends on the temperature-dependent Gribov mass parameter, which has been obtained self-consistently from the one-loop gap equation. Incorporating this modified gluon propagator in the analysis, we find a reasonable agreement with the existing lattice estimations of $\kappa$ within the model uncertainties.