title: The d-critical structure on the Quot scheme of points of a Calabi-Yau 3-fold

abstract: The Artin stack $\mathcal M_n$ of $0$-dimensional sheaves of length $n$ on $\mathbb A^3$ carries two natural d-critical structures in the sense of Joyce. One comes from its description as a quotient stack $[\textrm{crit}(f_n)/\textrm{GL}_n]$, another comes from derived deformation theory of sheaves. We show that these d-critical structures agree. We use this result to prove the analogous statement for the Quot scheme of points $\textrm{Quot}_{\mathbb A^3}(\mathscr O^{\oplus r},n) = \textrm{crit}(f_{r,n})$, which is a global critical locus for every $r>0$, and also carries a derived-in-flavour d-critical structure besides the one induced by the potential $f_{r,n}$. Again, we show these two d-critical structures agree. Moreover, we prove that they locally model the d-critical structure on $\textrm{Quot}_X(F,n)$, where $F$ is a locally free sheaf of rank $r$ on a projective Calabi-Yau $3$-fold $X$. Finally, we prove that the perfect obstruction theory on $\textrm{Hilb}^n\mathbb A^3=\textrm{crit}(f_{1,n})$ induced by the Atiyah class of the universal ideal agrees with the critical obstruction theory induced by the Hessian of the potential $f_{1,n}$.


title: Stochastic forcing in hydrodynamic models with non-local interactions

abstract: The hydrodynamical model of the collective behavior of animals consists of the Euler equation with additional non-local forcing terms representing the repulsive and attractive forces among individuals. This paper deals with the system endowed with an additional white-noise forcing and an artificial viscous term. We provide a proof of the existence of a dissipative martingale solution -- a cornerstone for a subsequent analysis of the system with stochastic forcing.


title: Scanning-probe and information-concealing machine learning intermediate hexatic phase and critical scaling of solid-hexatic phase transition in deformable particles

abstract: We investigate the two-dimensional melting of deformable polymeric particles with multi-body interactions described by the Voronoi model. We report machine learning evidence for the existence of the intermediate hexatic phase in this system, and extract the critical exponent $\nu\approx0.65$ for the divergence of the correlation length of the associated solid-hexatic phase transition. Moreover, we clarify the discontinuous nature of the hexatic-liquid phase transition in this system. These findings are achieved by directly analyzing system's spatial configurations with two generic machine learning approaches developed in this work, dubbed "scanning-probe" via which the possible existence of intermediate phases can be efficiently detected, and "information-concealing" via which the critical scaling of the correlation length in the vicinity of generic continuous phase transition can be extracted. Our work provides new physical insights into the fundamental nature of the two-dimensional melting of deformable particles, and establishes a new type of generic toolbox to investigate fundamental properties of phase transitions in various complex systems.


title: Weakly Supervised Temporal Adjacent Network for Language Grounding

abstract: Temporal language grounding (TLG) is a fundamental and challenging problem for vision and language understanding. Existing methods mainly focus on fully supervised setting with temporal boundary labels for training, which, however, suffers expensive cost of annotation. In this work, we are dedicated to weakly supervised TLG, where multiple description sentences are given to an untrimmed video without temporal boundary labels. In this task, it is critical to learn a strong cross-modal semantic alignment between sentence semantics and visual content. To this end, we introduce a novel weakly supervised temporal adjacent network (WSTAN) for temporal language grounding. Specifically, WSTAN learns cross-modal semantic alignment by exploiting temporal adjacent network in a multiple instance learning (MIL) paradigm, with a whole description paragraph as input. Moreover, we integrate a complementary branch into the framework, which explicitly refines the predictions with pseudo supervision from the MIL stage. An additional self-discriminating loss is devised on both the MIL branch and the complementary branch, aiming to enhance semantic discrimination by self-supervising. Extensive experiments are conducted on three widely used benchmark datasets, \emph{i.e.}, ActivityNet-Captions, Charades-STA, and DiDeMo, and the results demonstrate the effectiveness of our approach.


title: Plasma Upflows Induced by Magnetic Reconnection Above an Eruptive Flux Rope

abstract: One of the major discoveries of Hinode's Extreme-ultraviolet Imaging Spectrometer (EIS) is the presence of upflows at the edges of active regions. As active regions are magnetically connected to the large-scale field of the corona, these upflows are a likely contributor to the global mass cycle in the corona. Here we examine the driving mechanism(s) of the very strong upflows with velocities in excess of 70 km/s, known as blue-wing asymmetries, observed during the eruption of a flux rope in AR 10977 (eruptive flare SOL2007-12-07T04:50). We use Hinode/EIS spectroscopic observations combined with magnetic-field modeling to investigate the possible link between the magnetic topology of the active region and the strong upflows. A Potential Field Source Surface (PFSS) extrapolation of the large-scale field shows a quadrupolar configuration with a separator lying above the flux rope. Field lines formed by induced reconnection along the separator before and during the flux-rope eruption are spatially linked to the strongest blue-wing asymmetries in the upflow regions. The flows are driven by the pressure gradient created when the dense and hot arcade loops of the active region reconnect with the extended and tenuous loops overlying it. In view of the fact that separator reconnection is a specific form of the more general quasi-separatrix (QSL) reconnection, we conclude that the mechanism driving the strongest upflows is, in fact, the same as the one driving the persistent upflows of approx. 10 - 20 km/s observed in all active regions.


title: XLM-E: Cross-lingual Language Model Pre-training via ELECTRA

abstract: In this paper, we introduce ELECTRA-style tasks to cross-lingual language model pre-training. Specifically, we present two pre-training tasks, namely multilingual replaced token detection, and translation replaced token detection. Besides, we pretrain the model, named as XLM-E, on both multilingual and parallel corpora. Our model outperforms the baseline models on various cross-lingual understanding tasks with much less computation cost. Moreover, analysis shows that XLM-E tends to obtain better cross-lingual transferability.


title: Deep Convolutional Neural Networks for Onychomycosis Detection

abstract: The diagnosis of superficial fungal infections in dermatology is still mostly based on manual direct microscopic examination with Potassium Hydroxide (KOH) solution. However, this method can be time consuming and its diagnostic accuracy rates vary widely depending on the clinician's experience. With the increase of neural network applications in the field of clinical microscopy, it is now possible to automate such manual processes increasing both efficiency and accuracy. This study presents a deep neural network structure that enables the rapid solutions for these problems and can perform automatic fungi detection in grayscale images without dyes. 160 microscopic field photographs containing the fungal element, obtained from patients with onychomycosis, and 297 microscopic field photographs containing dissolved keratin obtained from normal nails were collected. Smaller patches containing 4234 fungi and 4981 keratin were extracted from these images. In order to detect fungus and keratin, VGG16 and InceptionV3 models were developed. The VGG16 model had 95.98% accuracy, and the area under the curve (AUC) value of 0.9930, while the InceptionV3 model had 95.90% accuracy and the AUC value of 0.9917. However, average accuracy and AUC value of clinicians is 72.8% and 0.87, respectively. This deep learning model allows the development of an automated system that can detect fungi within microscopic images.


title: Revisiting Time, Clocks, and Synchronization

abstract: Sub-nanosecond precision clock synchronization over the packet network has been achieved by the White Rabbit protocol for a decade. However, few computer systems utilize such a technique. We try to attract more interest in the clock synchronization problem. We first introduce the basics of clock and synchronization in the time and frequency discipline. Then we revisit several related works, such as Google's Spanner, Huygens, FARMv2, DTP, and Sundial, explain why these works could be improved. Finally, we briefly discuss an independent time network approach towards low-cost and high-precision synchronization.


title: Leafwise flat forms on Inoue-Bombieri surfaces

abstract: We prove that every Gauduchon metric on an Inoue-Bombieri surface admits a strongly leafwise flat form in its $\partial\overline\partial$-class. Using this result, we deduce uniform convergence of the normalized Chern-Ricci flow starting at any Gauduchon metric on all Inoue-Bombieri surfaces. We also show that the convergence is smooth with bounded curvature for initial metrics in the $\partial\overline\partial$-class of the Tricerri/Vaisman metric.


title: Template Lattices for a Cross-Correlation Search for Gravitational Waves from Scorpius X-1

abstract: We describe the application of the lattice covering problem to the placement of templates in a search for continuous gravitational waves from the low-mass X-Ray binary Scorpius X-1. Efficient placement of templates to cover the parameter space at a given maximum mismatch is an application of the sphere covering problem, for which an implementation is available in the LatticeTiling software library. In the case of Sco X-1, potential correlations, in both the prior uncertainty and the mismatch metric, between the orbital period and orbital phase, lead to complications in the efficient construction of the lattice. We define a shearing coordinate transformation which simultaneously minimizes both of these sources of correlation, and allows us to take advantage of the small prior orbital period uncertainty. The resulting lattices have a factor of about 3 fewer templates than the corresponding parameter space grids constructed by the prior straightforward method, allowing a more sensitive search at the same computing cost and maximum mismatch.


title: People Counting using Radio Irregularity in Wireless Sensor Networks -- An Experimental Study

abstract: The Internet has grown into a large cyber-physical system centered that connects not just computer systems but a plethora of systems, devices, and objects, collectively referred to as "Things", giving rise to the term "Internet of Things" (IoT). It encompasses technologies for identification and tracking, sensing and actuation, both wired and wireless communications, and also, intelligence and cognition. Wireless communications, which is an integral part of IoT, suffers from radio irregularity -- a phenomenon referring to radio waves being selectively absorbed, reflected or scattered by objects in their paths, e.g., human bodies that comprises liquid, bone and flesh. Radio irregularity is often regarded as a problem in wireless communications but, with the envisioned pervasiveness of IoT, we aim to exploit radio irregularity as a means to detect and estimate the number of people. We demonstrate how radio signal fluctuations arising from radio irregularity, combined with discriminant analysis, can be used to provide a simple low-cost alternative to dedicated sensing systems for indoor people counting.


title: Non-orthogonal HARQ for URLLC Design and Analysis

abstract: The fifth-generation (5G) of mobile standards is expected to provide ultra-reliability and low-latency communications (URLLC) for various applications and services, such as online gaming, wireless industrial control, augmented reality, and self driving cars. Meeting the contradictory requirements of URLLC, i.e., ultra-reliability and low-latency, is considered to be very challenging, especially in bandwidth-limited scenarios. Most communication strategies rely on hybrid automatic repeat request (HARQ) to improve reliability at the expense of increased packet latency due to the retransmission of failing packets. To guarantee high-reliability and very low latency simultaneously, we enhance HARQ retransmission mechanism to achieve reliability with guaranteed packet level latency and in-time delivery. The proposed non-orthogonal HARQ (N-HARQ) utilizes non-orthogonal sharing of time slots for conducting retransmission. The reliability and delay analysis of the proposed N-HARQ in the finite block length (FBL) regime shows very high performance gain in packet delivery delay over conventional HARQ in both additive white Gaussian noise (AWGN) and Rayleigh fading channels. We also propose an optimization framework to further enhance the performance of N-HARQ for single and multiple retransmission cases.


title: Probability in many-worlds theories

abstract: We consider how to define a natural probability distribution over worlds within a simple class of deterministic many-worlds theories. This can help us understand the typical properties of worlds within such states, and hence explain the empirical success of quantum theory within a many-worlds framework. We give three reasonable axioms which lead to the Born rule in the case of quantum theory, and also yield natural results in other cases, including a many-worlds variant of classical stochastic dynamics.


title: 6G V2X Technologies and Orchestrated Sensing for Autonomous Driving

abstract: 6G technology targets to revolutionize the mobility industry by revamping the role of wireless connections. In this article, we draw out our vision on an intelligent, cooperative, and sustainable mobility environment of the future, discussing how 6G will positively impact mobility services and applications. The scenario in focus is a densely populated area by smart connected entities that are mutually connected over a 6G virtual bus, which enables access to an extensive and always up-to-date set of context-sensitive information. The augmented dataset is functional to let vehicles engage in adaptive and cooperative learning mechanisms, enabling fully automated functionalities with higher communication integrity and reduced risk of accidents while being a sentient and collaborative processing node of the same ecosystem. Smart sensing and communication technologies are discussed herein, and their convergence is devised by the pervasiveness of artificial intelligence in centralized or distributed and federated network architectures.


title: Nearly-Tight and Oblivious Algorithms for Explainable Clustering

abstract: We study the problem of explainable clustering in the setting first formalized by Dasgupta, Frost, Moshkovitz, and Rashtchian (ICML 2020). A $k$-clustering is said to be explainable if it is given by a decision tree where each internal node splits data points with a threshold cut in a single dimension (feature), and each of the $k$ leaves corresponds to a cluster. We give an algorithm that outputs an explainable clustering that loses at most a factor of $O(\log^2 k)$ compared to an optimal (not necessarily explainable) clustering for the $k$-medians objective, and a factor of $O(k \log^2 k)$ for the $k$-means objective. This improves over the previous best upper bounds of $O(k)$ and $O(k^2)$, respectively, and nearly matches the previous $\Omega(\log k)$ lower bound for $k$-medians and our new $\Omega(k)$ lower bound for $k$-means. The algorithm is remarkably simple. In particular, given an initial not necessarily explainable clustering in $\mathbb{R}^d$, it is oblivious to the data points and runs in time $O(dk \log^2 k)$, independent of the number of data points $n$. Our upper and lower bounds also generalize to objectives given by higher $\ell_p$-norms.


title: High-order interpolatory Serendipity Virtual Element Method for semilinear parabolic problems

abstract: We propose an efficient method for the numerical approximation of a general class of two dimensional semilinear parabolic problems on polygonal meshes. The proposed approach takes advantage of the properties of the serendipity version of the Virtual Element Method, which not only reduces the number of degrees of freedom compared to the original Virtual Element Method, but also allows the introduction of an approximation of the nonlinear term that is computable from the degrees of freedom of the discrete solution with a low computational cost, thus significantly improving the efficiency of the method. An error analysis for the semi-discrete formulation is carried out, and an optimal estimate for the error in the $L_2$-norm is obtained. The accuracy and efficiency of the proposed method when combined with a second order Strang operator splitting time discretization is illustrated in our numerical experiments, with approximations up to order $6$.


title: When Frictions are Fractional: Rough Noise in High-Frequency Data

abstract: The analysis of high-frequency financial data is often impeded by the presence of noise. This article is motivated by intraday transactions data in which market microstructure noise appears to be rough, that is, best captured by a continuous-time stochastic process that locally behaves as fractional Brownian motion. Assuming that the underlying efficient price process follows a continuous It\^o semimartingale, we derive consistent estimators and asymptotic confidence intervals for the roughness parameter of the noise and the integrated price and noise volatilities, in all cases where these quantities are identifiable. In addition to desirable features such as serial dependence of increments, compatibility between different sampling frequencies and diurnal effects, the rough noise model can further explain divergence rates in volatility signature plots that vary considerably over time and between assets.

categories: math.ST math.PR q-fin.ST stat.ME stat.TH


title: Trace Anomaly, Perelman's Functionals and the Cosmological Constant

abstract: The trace anomaly and the cosmological constant problem are two typical breakdowns when applying the quantum principle to a general covariant or gravitational system. A quantum theory of spacetime reference frame is proposed and reviewed. We study the theory by functional method, and show that the trace anomaly of the theory is closely related to some of the Perelman's functionals. The functionals may provide us possible links between the trace anomaly and the cosmological constant. We find that to cancel the trace anomaly at the lab's scale up to very high energy, a cosmological constant is required which is consistent with observations. In the framework, an effective theory of gravity and possible observational effect are also discussed.


title: Merger of a Neutron Star with a Black Hole: one-family vs. two-families scenario

abstract: A kilonova signal is generally expected after a Black Hole - Neutron Star merger. The strength of the signal is related to the equation of state of neutron star matter and it increases with the stiffness of the latter. The recent results obtained by NICER from the analyses of PSR J0740+6620 suggest a rather stiff equation of state and the expected kilonova signal is therefore strong, at least if the mass of the Black Hole does not exceed $\sim 10 \mathrm{\,M}_\odot$ and if the adimensional spin parameter is not too small and the orbit is prograde. We compare the predictions obtained by considering equations of state of neutron star matter satisfying the most recent observations and assuming that only one family of compact stars exists with the results predicted in the two-families scenario. In the latter a soft hadronic equation of state produces very compact stellar objects while a rather stiff quark matter equation of state produces massive strange quark stars, satisfying NICER results. The expected kilonova signal in the two-families scenario is very weak: in particular the Hadronic Star - Black Hole merger produces a much weaker signal than in the one-family scenario because the hadronic equation of state is very soft. Moreover, according to the only existing simulation, the Strange Quark Star - Black Hole merger does not produce a kilonova signal because the amount of mass ejected is negligible. These predictions will be easily tested with the new generation of detectors if Black Holes with an adimensional spin parameter $\chi_\mathrm{BH}\gtrsim 0.2$ or a mass $\mathrm M_\mathrm{BH} \lesssim 4 \mathrm M_\odot$ can be present in the merger.


title: Machine Learning S-Wave Scattering Phase Shifts Bypassing the Radial Schr\"odinger Equation

abstract: We present a proof of concept machine learning model resting on a convolutional neural network capable to yield accurate scattering s-wave phase shifts caused by different three-dimensional spherically symmetric potentials at fixed collision energy thereby bypassing the radial Schr\"{o}dinger equation. In out work, we discuss how the Hamiltonian can serve as a guiding principle in the construction of a physically-motivated descriptor. The good performance, even in presence of bound states in the data sets, exhibited by our model that accordingly is trained on the Hamiltonian through each scattering potential, demonstrates the feasibility of this proof of principle.


title: Multi-Modal Chorus Recognition for Improving Song Search

abstract: We discuss a novel task, Chorus Recognition, which could potentially benefit downstream tasks such as song search and music summarization. Different from the existing tasks such as music summarization or lyrics summarization relying on single-modal information, this paper models chorus recognition as a multi-modal one by utilizing both the lyrics and the tune information of songs. We propose a multi-modal Chorus Recognition model that considers diverse features. Besides, we also create and publish the first Chorus Recognition dataset containing 627 songs for public use. Our empirical study performed on the dataset demonstrates that our approach outperforms several baselines in chorus recognition. In addition, our approach also helps to improve the accuracy of its downstream task - song search by more than 10.6%.


title: Ultra-Sharp Nanowire Arrays Natively Permeate, Record, and Stimulate Intracellular Activity in Neuronal and Cardiac Networks

abstract: Intracellular access with high spatiotemporal resolution can enhance our understanding of how neurons or cardiomyocytes regulate and orchestrate network activity, and how this activity can be affected with pharmacology or other interventional modalities. Nanoscale devices often employ electroporation to transiently permeate the cell membrane and record intracellular potentials, which tend to decrease rapidly to extracellular potential amplitudes with time. Here, we report innovative scalable, vertical, ultra-sharp nanowire arrays that are individually addressable to enable long-term, native recordings of intracellular potentials. We report large action potential amplitudes that are indicative of intracellular access from 3D tissue-like networks of neurons and cardiomyocytes across recording days and that do not decrease to extracellular amplitudes for the duration of the recording of several minutes. Our findings are validated with cross-sectional microscopy, pharmacology, and electrical interventions. Our experiments and simulations demonstrate that individual electrical addressability of nanowires is necessary for high-fidelity intracellular electrophysiological recordings. This study advances our understanding of and control over high-quality multi-channel intracellular recordings, and paves the way toward predictive, high-throughput, and low-cost electrophysiological drug screening platforms.

categories: cond-mat.mtrl-sci physics.bio-ph physics.med-ph q-bio.CB q-bio.NC


title: Resonant scattering of a single atom with gain: a wavefunction-diagrammatic approach

abstract: We characterize the optical response of a three-level atom subjected to an incoherent pump and continuously illuminated with a weak, quasi-resonant probe field. To this end, we apply a wavefunction approach based on QED Hamiltonian perturbation theory which allows for a reduction of the atomic dynamics to that of an effective two-level atom, and for an implementation of the incoherent effects that respects unitarity. Using a diagrammatic representation, we identify and classify all the radiative processes. This allows us to compute the scattered power, the spontaneous emission, and the stimulated emission, as well as the total cross sections of extinction, absorption and scattering. We find that, beside a general enhancement of the linewidth and an attenuation of the spectral amplitudes, the pump reduces the nonradiative losses and provides gains in the form of stimulated emission and incoherent radiation. For sufficiently strong pump, gains and losses compensate, resulting in the vanishing of extinction. In particular, for negligible nonradiative losses, extinction vanishes for a pumping rate of $(1+\sqrt{5})/2$ times that of the natural decay.


title: A semi-finite proof of Jacobi's triple product identity

abstract: Jacobi's triple product identity is proved from one of Euler's $q$-exponential functions in an elementary way.


title: The energy revolution: cyber physical advances and opportunities for smart local energy systems

abstract: We have designed a two-stage, 10-step process to give organisations a method to analyse small local energy systems (SLES) projects based on their Cyber Physical System components in order to develop future-proof energy systems. SLES are often developed for a specific range of use cases and functions, and these match the specific requirements and needs of the community, location or site under consideration. During the design and commissioning, new and specific cyber physical architectures are developed. These are the control and data systems that are needed to bridge the gap between the physical assets, the captured data and the control signals. Often, the cyber physical architecture and infrastructure is focused on functionality and the delivery of the specific applications. But we find that technologies and approaches have arisen from other fields that, if used within SLES, could support the flexibility, scalability and reusability vital to their success. As these can improve the operational data systems then they can also be used to enhance predictive functions If used and deployed effectively, these new approaches can offer longer term improvements in the use and effectiveness of SLES, while allowing the concepts and designs to be capitalised upon through wider roll-out and the offering of commercial services or products.


title: Jack The Rippler: Arbitrage on the Decentralized Exchange of the XRP Ledger

abstract: The XRP Ledger (XRPL) is a peer-to-peer cryptographic ledger. It features a decentralized exchange (DEX) where network participants can issue and trade user-defined digital assets and currencies. We present Jack the Rippler, a bot that identifies and exploits arbitrage opportunities on the XRPL DEX. We describe Jack's arbitrage process and discuss risks associated with using arbitrage bots.


title: On the effect of perturbations in first-order optimization methods with inertia and Hessian driven damping

abstract: Second-order continuous-time dissipative dynamical systems with viscous and Hessian driven damping have inspired effective first-order algorithms for solving convex optimization problems. While preserving the fast convergence properties of the Nesterov-type acceleration, the Hessian driven damping makes it possible to significantly attenuate the oscillations. To study the stability of these algorithms with respect to perturbations, we analyze the behaviour of the corresponding continuous systems when the gradient computation is subject to exogenous additive errors. We provide a quantitative analysis of the asymptotic behaviour of two types of systems, those with implicit and explicit Hessian driven damping. We consider convex, strongly convex, and non-smooth objective functions defined on a real Hilbert space and show that, depending on the formulation, different integrability conditions on the perturbations are sufficient to maintain the convergence rates of the systems. We highlight the differences between the implicit and explicit Hessian damping, and in particular point out that the assumptions on the objective and perturbations needed in the implicit case are more stringent than in the explicit case.


title: Validation: Conceptual versus Activity Diagram Approaches

abstract: A conceptual model is used to support development and design within the area of systems and software modeling. The notion of validation refers to representing a domain in a model accurately and generating results using an executable model. In UML specifications, validation verifies the correctness of UML diagrams against any constraints and rules defined within the model. Currently, significant research has been conducted on generating test sets to validate that UML diagrams conform to requirements. UML activity diagrams are a specific focus of such efforts. An activity diagram is a flexible instrument for describing a system s behaviors and the internal logic of complex operations. This paper focuses on the notion of validation using activity diagrams and contrasts that process with a proposed method that involves an informal validation procedure. Accordingly, this informal validation involves comparing requirements to specifications expressed by a diagram of a modeling language called thinging machine (TM) modeling. The informal validation is a type of model checking that requires the model to be small enough for the verification to be done in a limited space or time period. In the proposed method, the model diagram is divided into subdiagrams to achieve this purpose. We claim the TM behavioral model comes with a particular dispositional structure that allows a designer to carve a model into smaller components for informal validation, which is shown through two case studies.


title: Fine and hyperfine splitting of the low-lying states of $^9$Be

abstract: We perform accurate calculations of energy levels as well as fine and hyperfine splittings of the lowest $^{1,3}\!P_J$, $^{3}\!S_1$, $^{3}\!P^e_J$, and $^{1,3}\!D_J$ excited states of the $^9$Be atom using explicitly correlated Gaussian functions and report on the breakdown of the standard hyperfine structure theory. Because of the strong hyperfine mixing, which prevents the use of common hyperfine constants, we formulate a description of the fine and hyperfine structure that is valid for an arbitrary coupling strength and may have wide applications in many other atomic systems.


title: Learning More for Free - A Multi Task Learning Approach for Improved Pathology Classification in Capsule Endoscopy

abstract: The progress in Computer Aided Diagnosis (CADx) of Wireless Capsule Endoscopy (WCE) is thwarted by the lack of data. The inadequacy in richly representative healthy and abnormal conditions results in isolated analyses of pathologies, that can not handle realistic multi-pathology scenarios. In this work, we explore how to learn more for free, from limited data through solving a WCE multicentric, multi-pathology classification problem. Learning more implies to learning more than full supervision would allow with the same data. This is done by combining self supervision with full supervision, under multi task learning. Additionally, we draw inspiration from the Human Visual System (HVS) in designing self supervision tasks and investigate if seemingly ineffectual signals within the data itself can be exploited to gain performance, if so, which signals would be better than others. Further, we present our analysis of the high level features as a stepping stone towards more robust multi-pathology CADx in WCE.


title: The MultiBERTs: BERT Reproductions for Robustness Analysis

abstract: Experiments with pre-trained models such as BERT are often based on a single checkpoint. While the conclusions drawn apply to the artifact tested in the experiment (i.e., the particular instance of the model), it is not always clear whether they hold for the more general procedure which includes the architecture, training data, initialization scheme, and loss function. Recent work has shown that repeating the pre-training process can lead to substantially different performance, suggesting that an alternate strategy is needed to make principled statements about procedures. To enable researchers to draw more robust conclusions, we introduce the MultiBERTs, a set of 25 BERT-Base checkpoints, trained with similar hyper-parameters as the original BERT model but differing in random weight initialization and shuffling of training data. We also define the Multi-Bootstrap, a non-parametric bootstrap method for statistical inference designed for settings where there are multiple pre-trained models and limited test data. To illustrate our approach, we present a case study of gender bias in coreference resolution, in which the Multi-Bootstrap lets us measure effects that may not be detected with a single checkpoint. We release our models and statistical library along with an additional set of 140 intermediate checkpoints captured during pre-training to facilitate research on learning dynamics.


title: Global Strichartz estimates for an inhomogeneous Maxwell system

abstract: We show global-in-time Strichartz estimates for the isotropic Maxwell system with divergence free data. On the scalar permittivity and permeability we impose decay assumptions as $|x|\to\infty$ and a non-trapping condition. The proof is based on smoothing estimates in weighted $L^2$ spaces which follow from corresponding resolvent estimates for the underlying Helmholtz problem.


title: Arithmetic derivatives through geometry of numbers

abstract: We define certain arithmetic derivatives on $\mathbb{Z}$ that respect the Leibniz rule, are additive for a chosen equation $a+b=c$, and satisfy a suitable non-degeneracy condition. Using Geometry of Numbers, we unconditionally show their existence with controlled size. We prove that any power-saving improvement on our size bounds would give a version of the $abc$ Conjecture. In fact, we show that the existence of sufficiently small arithmetic derivatives in our sense is equivalent to the $abc$ Conjecture. Our results give an explicit manifestation of an analogy suggested by Vojta in the eighties, relating Geometry of Numbers in arithmetic to derivatives in function fields and Nevanlinna theory. In addition, our construction formalizes the widespread intuition that the $abc$ Conjecture should be related to arithmetic derivatives of some sort.


title: A Critical Analysis of Recursive Model Indexes

abstract: The recursive model index (RMI) has recently been introduced as a machine-learned replacement for traditional indexes over sorted data, achieving remarkably fast lookups. Follow-up work focused on explaining RMI's performance and automatically configuring RMIs through enumeration. Unfortunately, configuring RMIs involves setting several hyperparameters, the enumeration of which is often too time-consuming in practice. Therefore, in this work, we conduct the first inventor-independent broad analysis of RMIs with the goal of understanding the impact of each hyperparameter on performance. In particular, we show that in addition to model types and layer size, error bounds and search algorithms must be considered to achieve the best possible performance. Based on our findings, we develop a simple-to-follow guideline for configuring RMIs. We evaluate our guideline by comparing the resulting RMIs with a number of state-of-the-art indexes, both learned and traditional. We show that our simple guideline is sufficient to achieve competitive performance with other learned indexes and RMIs whose configuration was determined using an expensive enumeration procedure. In addition, while carefully reimplementing RMIs, we are able to improve the build time by 2.5x to 6.3x.


title: Reply to Comment on "Faceting and flattening of emulsion droplets: a mechanical model" by Haas et al

abstract: In their Comment [arXiv:2102.03842], Haas et al. advance two hypotheses on the nature of the shape transformations observed in surfactant-stabilized emulsion droplets, as the theoretical models that us [Phys. Rev. Lett. 126, 038001 (2021)] and others [P. A. Haas et al. Phys. Rev. Lett. 118, 088001 (2017), Phys. Rev. Research 1, 023017 (2019)] have introduced to account for these observations. (1) Because of the different surfactants used in experimental studies, the physical mechanisms underpinning the shape transformations may, in fact, differ in spite of the extraordinary resemblance in the output. (2) The theoretical models are mathematically equivalent by virtue of the small magnitude of the stretching and gravitational energies. In this Reply, we argue that neither of these hypotheses is well justified.


title: ALICE ITS upgrade for LHC Run 3: commissioning in the laboratory

abstract: ALICE is the CERN LHC experiment optimised for the study of the strongly interacting matter produced in heavy-ion collisions and devoted to the characterisation of the quark-gluon plasma. To achieve the physics program for LHC Run 3, a major upgrade of the experimental apparatus is ongoing. A key element of the upgrade is the substitution of the Inner Tracking System (ITS) with a completely new silicon-based detector whose features will allow the reconstruction of rare physics channels, not accessible with the previous layout. The enabling technology for such a performance boost is the adoption of custom-designed CMOS MAPS as detecting elements. The installation of the detector in the ALICE cavern is completed and few months of commissioning will allow the final integration into the central systems. In this talk, an overview of the adopted technologies as well as the status of the detector commissioning will be given.


title: Vortex Criteria can be Objectivized by Unsteadiness Minimization

abstract: Reference frame optimization is a generic framework to calculate a spatially-varying observer field that views an unsteady fluid flow in a reference frame that is as-steady-as-possible. In this paper, we show that the optimized vector field is objective, i.e., it is independent of the initial Euclidean transformation of the observer. To check objectivity, the optimized velocity vectors and the coordinates in which they are defined must both be connected by an Euclidean transformation. In this paper we show that a recent publication [1] applied this definition incorrectly, falsely concluding that reference frame optimizations are not objective. Further, we prove the objectivity of the variational formulation of the reference frame optimization proposed in [1], and discuss how the variational formulation relates to recent local and global optimization approaches to unsteadiness minimization.


title: Quantum simulation of operator spreading in the chaotic Ising model

abstract: There is great interest in using near-term quantum computers to simulate and study foundational problems in quantum mechanics and quantum information science, such as the scrambling measured by an out-of-time-ordered correlator (OTOC). Here we use an IBM Q processor, quantum error mitigation, and weaved Trotter simulation to study high-resolution operator spreading in a 4-spin Ising model as a function of space, time, and integrability. Reaching 4 spins while retaining high circuit fidelity is made possible by the use of a physically motivated fixed-node variant of the OTOC, allowing scrambling to be estimated without overhead. We find clear signatures of ballistic operator spreading in a chaotic regime, as well as operator localization in an integrable regime. The techniques developed and demonstrated here open up the possibility of using cloud-based quantum computers to study and visualize scrambling phenomena, as well as quantum information dynamics more generally.


title: Revisiting the Primacy of English in Zero-shot Cross-lingual Transfer

abstract: Despite their success, large pre-trained multilingual models have not completely alleviated the need for labeled data, which is cumbersome to collect for all target languages. Zero-shot cross-lingual transfer is emerging as a practical solution: pre-trained models later fine-tuned on one transfer language exhibit surprising performance when tested on many target languages. English is the dominant source language for transfer, as reinforced by popular zero-shot benchmarks. However, this default choice has not been systematically vetted. In our study, we compare English against other transfer languages for fine-tuning, on two pre-trained multilingual models (mBERT and mT5) and multiple classification and question answering tasks. We find that other high-resource languages such as German and Russian often transfer more effectively, especially when the set of target languages is diverse or unknown a priori. Unexpectedly, this can be true even when the training sets were automatically translated from English. This finding can have immediate impact on multilingual zero-shot systems, and should inform future benchmark designs.


title: Backgammon is Hard

abstract: We study the computational complexity of the popular board game backgammon. We show that deciding whether a player can win from a given board configuration is NP-Hard, PSPACE-Hard, and EXPTIME-Hard under different settings of known and unknown opponents' strategies and dice rolls. Our work answers an open question posed by Erik Demaine in 2001. In particular, for the real life setting where the opponent's strategy and dice rolls are unknown, we prove that determining whether a player can win is EXPTIME-Hard. Interestingly, it is not clear what complexity class strictly contains each problem we consider because backgammon games can theoretically continue indefinitely as a result of the capture rule.


title: String Comparison on a Quantum Computer Using Hamming Distance

abstract: The Hamming distance is ubiquitous in computing. Its computation gets expensive when one needs to compare a string against many strings. Quantum computers (QCs) may speed up the comparison. In this paper, we extend an existing algorithm for computing the Hamming distance. The extension can compare strings with symbols drawn from an arbitrary-long alphabet (which the original algorithm could not). We implement our extended algorithm using the QisKit framework to be executed by a programmer without the knowledge of a QC (the code is publicly available). We then provide four pedagogical examples: two from the field of bioinformatics and two from the field of software engineering. We finish by discussing resource requirements and the time horizon of the QCs becoming practical for string comparison.


title: Hierarchical Phenotyping and Graph Modeling of Spatial Architecture in Lymphoid Neoplasms

abstract: The cells and their spatial patterns in the tumor microenvironment (TME) play a key role in tumor evolution, and yet the latter remains an understudied topic in computational pathology. This study, to the best of our knowledge, is among the first to hybridize local and global graph methods to profile orchestration and interaction of cellular components. To address the challenge in hematolymphoid cancers, where the cell classes in TME may be unclear, we first implemented cell-level unsupervised learning and identified two new cell subtypes. Local cell graphs or supercells were built for each image by considering the individual cell's geospatial location and classes. Then, we applied supercell level clustering and identified two new cell communities. In the end, we built global graphs to abstract spatial interaction patterns and extract features for disease diagnosis. We evaluate the proposed algorithm on H&E slides of 60 hematolymphoid neoplasms and further compared it with three cell level graph-based algorithms, including the global cell graph, cluster cell graph, and FLocK. The proposed algorithm achieved a mean diagnosis accuracy of 0.703 with the repeated 5-fold cross-validation scheme. In conclusion, our algorithm shows superior performance over the existing methods and can be potentially applied to other cancer types.


title: Early Risk Detection of Pathological Gambling, Self-Harm and Depression Using BERT

abstract: Early risk detection of mental illnesses has a massive positive impact upon the well-being of people. The eRisk workshop has been at the forefront of enabling interdisciplinary research in developing computational methods to automatically estimate early risk factors for mental issues such as depression, self-harm, anorexia and pathological gambling. In this paper, we present the contributions of the BLUE team in the 2021 edition of the workshop, in which we tackle the problems of early detection of gambling addiction, self-harm and estimating depression severity from social media posts. We employ pre-trained BERT transformers and data crawled automatically from mental health subreddits and obtain reasonable results on all three tasks.


title: Integrated Vehicle Routing and Monte Carlo Scheduling Approach for the Home Service Assignment, Routing, and Scheduling Problem

abstract: We formulate and solve the H-SARA Problem, a Vehicle Routing and Appointment Scheduling Problem motivated by home services management. We assume that travel times, service durations, and customer cancellations are stochastic. We use a two-stage process that first generates teams and routes using a VRP Solver with optional extensions and then uses an MC Scheduler that determines expected arrival times by teams at customers. We further introduce two different models of cancellation and their associated impacts on routing and scheduling. Finally, we introduce the Route Fracture Metaheuristic that iteratively improves an H-SARA solution by replacing the worst-performing teams. We present insights into the problem and a series of numerical experiments that illustrate properties of the optimal routing, scheduling, and the impact of the Route Fracture Metaheuristic for both models of cancellation.


title: "Stabilizer" or "catalyst"? How green technology innovation affects the risk of stock price crashes: an analysis based on the quantity and quality of patents

abstract: To explore the relationship between corporate green technological innovation and the risk of stock price crashes, we first analyzed the data of listed companies in China from 2008 to 2018 and constructed indicators for the quantity and quality of corporate green technology innovation. The study found that the quantity of green technology innovation is not related to the risk of stock price crashes, while the quality of green technology innovation is negatively related to the risk of stock price crashes. Second, we studied the impact of corporate ownership on the relationship between the quality of green technological innovation and the risk of stock price crashes and found that in nonstate-owned enterprises, the quality of green technological innovation is negatively correlated with the risk of a stock price collapse, while in state-owned enterprises, the quality of green technological innovation and the risk of a stock price collapse are positive and not significant. Furthermore, we studied the mediating effect of the number of negative news reports in the media of listed companies on the relationship between the quality of corporate green technology innovation and the stock price crash and found that the quality of green technology innovation is positively correlated with the number of negative news reports in the media of listed companies, while the number of negative news reports in the media of listed companies is positively correlated with the risk of a stock price collapse. Finally, we conducted a DID regression by using the impact of exogenous policy shocks on the quality of green technology innovation, and the main results passed the robustness test.


title: Three Families of Lie Algebras of Exponential Growth from Vertex Operator Algebras

abstract: We study three families of infinite-dimensional Lie algebras defined from Vertex Operator Algebras and their properties. For $N=0$ VOAs, we review the construction of the Fock space $V_L$ from an even lattice $L$ and provide an algebraic description of the Lie algebra $g_{II_{25,1}}$ from the perspective of $24$ different Niemeier lattices $N$ via the decomposition $II_{25,1} = N \oplus II_{1,1}$ using the no-ghost theorem. For $N=1$ SVOAs we review the construction of the Fock space $V_{NS}$ and provide an explicit basis for the spectrum-generating algebra of the Lie algebra $g_{NS}$. For $N=2$ SVOAs, we describe the structure of $g^{(2)}_{NS}$ explicitly as a $\mathbb{Q}$-graded Lie algebra and we lift a left and right $SL(2,\mathbb{Z})$ action on $II_{2,2}$ to $g^{(2)}_{NS}$.


title: A convolutional neural network for defect classification in Bragg coherent X-ray diffraction

abstract: Coherent diffraction imaging enables the imaging of individual defects, such as dislocations or stacking faults, in materials.These defects and their surrounding elastic strain fields have a critical influence on the macroscopic properties and functionality of materials. However, their identification in Bragg coherent diffraction imaging remains a challenge and requires significant data mining. The ability to identify defects from the diffraction pattern alone would be a significant advantage when targeting specific defect types and accelerates experiment design and execution. Here, we exploit a computational tool based on a three-dimensional (3D) parametric atomistic model and a convolutional neural network to predict dislocations in a crystal from its 3D coherent diffraction pattern. Simulated diffraction patterns from several thousands of relaxed atomistic configurations of nanocrystals are used to train the neural network and to predict the presence or absence of dislocations as well as their type(screw or edge). Our study paves the way for defect recognition in 3D coherent diffraction patterns for material science


title: Grid Recognition: Classical and Parameterized Computational Perspectives

abstract: Grid graphs, and, more generally, $k\times r$ grid graphs, form one of the most basic classes of geometric graphs. Over the past few decades, a large body of works studied the (in)tractability of various computational problems on grid graphs, which often yield substantially faster algorithms than general graphs. Unfortunately, the recognition of a grid graph is particularly hard -- it was shown to be NP-hard even on trees of pathwidth 3 already in 1987. Yet, in this paper, we provide several positive results in this regard in the framework of parameterized complexity (additionally, we present new and complementary hardness results). Specifically, our contribution is threefold. First, we show that the problem is fixed-parameter tractable (FPT) parameterized by $k+\mathsf {mcc}$ where $\mathsf{mcc}$ is the maximum size of a connected component of $G$. This also implies that the problem is FPT parameterized by $\mathtt{td}+k$ where $\mathtt{td}$ is the treedepth of $G$ (to be compared with the hardness for pathwidth 2 where $k=3$). Further, we derive as a corollary that strip packing is FPT with respect to the height of the strip plus the maximum of the dimensions of the packed rectangles, which was previously only known to be in XP. Second, we present a new parameterization, denoted $a_G$, relating graph distance to geometric distance, which may be of independent interest. We show that the problem is para-NP-hard parameterized by $a_G$, but FPT parameterized by $a_G$ on trees, as well as FPT parameterized by $k+a_G$. Third, we show that the recognition of $k\times r$ grid graphs is NP-hard on graphs of pathwidth 2 where $k=3$. Moreover, when $k$ and $r$ are unrestricted, we show that the problem is NP-hard on trees of pathwidth 2, but trivially solvable in polynomial time on graphs of pathwidth 1.


title: Magnetic resonance measurement and reconstruction of the diffusion propagator

abstract: We demonstrate the experimental determination of the diffusion propagator using magnetic resonance (MR) techniques. To this end, a recently introduced method was implemented on a benchtop MR scanner and incorporated into profiling and imaging sequences. Diffusion encoding was obtained by three gradient pulse pairs, each applied around a respective 180$^\circ$ radiofrequency pulse. The data involving two independent wavenumbers were transformed from the measurement domain to the spatial domain, yielding an apparent diffusion propagator. For free diffusion, this apparent propagator converges to the true one when two of the pulse pairs are replaced with pulses of infinitesimal duration.


title: A Generalised Self-Duality for the Yang-Mills-Higgs System

abstract: Self-duality is a very important concept in the study and applications of topological solitons in many areas of Physics. The rich mathematical structures underlying it lead, in many cases, to the development of exact and non-perturbative methods. We present a generalization of the Yang-Mills-Higgs system by the introduction of scalar fields assembled in a symmetric and invertible matrix h of the same dimension as the gauge group. The coupling of such new fields to the gauge and Higgs fields is made by replacing the Killing form, in the contraction of the group indices, by the matrix h in the kinetic term for the gauge fields, and by its inverse in the Higgs field kinetic term. The theory is conformally invariant in the three dimensional space R^3. An important aspect of the model is that for practically all configurations of the gauge and Higgs fields the new scalar fields adjust themselves to solve the modified self-duality equations. We construct solutions using a spherically symmetric ans\"atz and show that the 't Hooft-Polyakov monopole becomes a self-dual solution of such modified Yang-Mills-Higgs system. We use an ans\"atz based on the conformal symmetry to construct vacuum solutions presenting non-trivial toroidal magnetic fields.


title: On the supercritical Schr\"{o}dinger equation on the exterior of a ball

abstract: We consider the mixed problem on the exterior of the unit ball in $\mathbb{R}^{n}$, $n\ge2$, for a defocusing Schr\"{o}dinger equation with a power nonlinearity $|u|^{p-1}u$, with zero boundary data. Assuming that the initial data are non radial, sufficiently small perturbations of \emph{large} radial initial data, we prove that for all powers $p>n+6$ the solution exists for all times, its Sobolev norms do not inflate, and the solution is unique in the energy class.


title: Investigation of neutron transfer in $^{7}$Li+$^{124}$Sn reaction

abstract: The relative importance of neutron transfer and breakup process in reaction around Coulomb barrier energies have been studied for the $^{7}$Li+$^{124}$Sn system. Coupled channel calculations have been performed to understand the one neutron stripping and pickup cross sections along with the breakup in the $^{7}$Li+$^{124}$Sn system. The systematics of one and two neutron striping and pickup cross sections with $^7$Li projectile on several targets show an approximate universal behaviour that have been explained by a simple model. Complete reaction mechanism have been studied by comparing the reaction cross sections with cumulative cross sections of total fusion and one neutron transfer.


title: Rees algebras of filtrations of covering polyhedra and integral closure of powers of monomial ideals

abstract: The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant and the ic-resurgence of the filtration associated to a covering polyhedron and show how to compute these constants using linear programming. Then we show a lower bound for the ic-resurgence of the ideal of covers of a graph and prove that the lower bound is attained when the graph is perfect. We also show lower bounds for the ic-resurgence of the edge ideal of a graph and give an algorithm to compute the asymptotic resurgence of squarefree monomial ideals. A classification of when Newton's polyhedron is the irreducible polyhedron is presented using integral closure.


title: Tetrahedral symmetry of 6j-symbols in fusion categories

abstract: We establish tetrahedral symmetries of 6j-symbols for arbitrary fusion categories under minimal assumptions. As a convenient tool for our calculations we introduce the notion of a veined fusion category, which is generated by a finite set of simple objects but is larger than its skeleton. Every fusion category C contains veined fusion subcategories that are monoidally equivalent to C and which suffice to compute many categorical properties for C. The notion of a veined fusion category does not assume the presence of a pivotal structure, and thus in particular does not assume unitarity. We also exhibit the geometric origin of the algebraic statements for the 6j-symbols.


title: Reinforcement Learning based Disease Progression Model for Alzheimer's Disease

abstract: We model Alzheimer's disease (AD) progression by combining differential equations (DEs) and reinforcement learning (RL) with domain knowledge. DEs provide relationships between some, but not all, factors relevant to AD. We assume that the missing relationships must satisfy general criteria about the working of the brain, for e.g., maximizing cognition while minimizing the cost of supporting cognition. This allows us to extract the missing relationships by using RL to optimize an objective (reward) function that captures the above criteria. We use our model consisting of DEs (as a simulator) and the trained RL agent to predict individualized 10-year AD progression using baseline (year 0) features on synthetic and real data. The model was comparable or better at predicting 10-year cognition trajectories than state-of-the-art learning-based models. Our interpretable model demonstrated, and provided insights into, "recovery/compensatory" processes that mitigate the effect of AD, even though those processes were not explicitly encoded in the model. Our framework combines DEs with RL for modelling AD progression and has broad applicability for understanding other neurological disorders.


title: Improving Factual Consistency of Abstractive Summarization on Customer Feedback

abstract: E-commerce stores collect customer feedback to let sellers learn about customer concerns and enhance customer order experience. Because customer feedback often contains redundant information, a concise summary of the feedback can be generated to help sellers better understand the issues causing customer dissatisfaction. Previous state-of-the-art abstractive text summarization models make two major types of factual errors when producing summaries from customer feedback, which are wrong entity detection (WED) and incorrect product-defect description (IPD). In this work, we introduce a set of methods to enhance the factual consistency of abstractive summarization on customer feedback. We augment the training data with artificially corrupted summaries, and use them as counterparts of the target summaries. We add a contrastive loss term into the training objective so that the model learns to avoid certain factual errors. Evaluation results show that a large portion of WED and IPD errors are alleviated for BART and T5. Furthermore, our approaches do not depend on the structure of the summarization model and thus are generalizable to any abstractive summarization systems.


title: Eulerian polynomials, Stirling permutations and increasing trees

abstract: We study two generalizations of the gamma-expansion of Eulerian polynomials from the viewpoint of the decompositions of statistics. We first present an expansion formula of the trivariate Eulerian polynomials, which are the enumerators for the joint distribution of descents, big ascents and successions of permutations. And then, inspired by the work of Chen and Fu on the trivariate second-order Eulerian polynomials, we show the e-positivity of the multivariate k-th order Eulerian polynomials, which are the enumerators for the joint distribution of ascents, descents and j-plateaux of k-Stirling permutations. We provide combinatorial interpretations for the coefficients of these two expansions in terms of increasing trees.


title: A Domain-Theoretic Approach to Statistical Programming Languages

abstract: We give a domain-theoretic semantics to a statistical programming language, using the plain old category of dcpos, in contrast to some more sophisticated recent proposals. Remarkably, our monad of minimal valuations is commutative, which allows for program transformations that permute the order of independent random draws, as one would expect. A similar property is not known for Jones and Plotkin' s monad of continuous valuations. Instead of working with true real numbers, we work with exact real arithmetic, providing a bridge towards possible implementations. (Implementations by themselves are not addressed here.) Rather remarkably, we show that restricting ourselves to minimal valuations does not restrict us much: all measures on the real line can be modeled by minimal valuations on the domain $\mathbf{I}\mathbb{R}_\bot$ of exact real arithmetic. We give three operational semantics for our language, and we show that they are all adequate with respect to the denotational semantics. We also explore quite a few examples in order to demonstrate that our semantics computes exactly as one would expect, and in order to debunk the myth that a semantics based on continuous maps would not be expressive enough to encode measures with non-compact support using only measures with compact support, or to encode measures via non-continuous density functions, for instance. Our examples also include some useful, non-trivial cases of distributions on higher-order objects.


title: Mass and Charge of the Quantum Vortex in the $(2+1)$-d $O(2)$ Scalar Field Theory

abstract: Using numerical simulations, a vortex is studied in the broken phase of the $(2+1)$-d $O(2)$-symmetric scalar field theory in the vicinity of the Wilson-Fisher fixed point. The vortex is an infraparticle that is surrounded by a cloud of Goldstone bosons. The $L$-dependence of the vortex mass in a finite $C$-periodic volume $L^2$ leads to the determination of the renormalized vortex charge.


title: Statistics of drops generated from ensembles of randomly corrugated ligaments

abstract: The size of drops generated by the capillary-driven disintegration of liquid ligaments plays a fundamental role in several important natural phenomena, ranging from heat and mass transfer at the ocean-atmosphere interface to pathogen transmission. The inherent non-linearity of the equations governing the ligament destabilization leads to significant differences in the resulting drop sizes, owing to small fluctuations in the myriad initial conditions. Previous experiments and simulations reveal a variety of drop size distributions, corresponding to competing underlying physical interpretations. Here, we perform numerical simulations of individual ligaments, the deterministic breakup of which is triggered by random initial surface corrugations. The simulations are grouped in a large ensemble, each corresponding to a random initial configuration. The resulting probability distributions reveal three stable drop sizes, generated via a sequence of two distinct stages of breakup. Four different distributions are tested, volume-based Poisson, Gaussian, Gamma and Log-Normal. Depending on the time, range of droplet sizes and criteria for success, each distribution has successes and failures. However the Log-Normal distribution roughly describes the data when fitting both the primary peak and the tail of the distribution while the number of droplets generated is the highest, while the Gamma and Log-Normal distributions perform equally well when fitting the tail. The study demonstrates a precisely controllable and reproducible framework, which can be employed to investigate the mechanisms responsible for the polydispersity of drop sizes found in complex fluid fragmentation scenarios.


title: On a sinc-type MBE model

abstract: We introduce a new sinc-type molecular beam epitaxy model which is derived from a cosine-type energy functional. The landscape of the new functional is remarkably similar to the classical MBE model with double well potential but has the additional advantage that all its derivatives are uniformly bounded. We consider first order IMEX and second order BDF2 discretization schemes. For both cases we quantify explicit time step constraints for the energy dissipation which is in good accord with the practical numerical simulations. Furthermore we introduce a new theoretical framework and prove unconditional uniform energy boundedness with no size restrictions on the time step. This is the first unconditional (i.e. independent of the time step size) result for semi-implicit methods applied to the phase field models without introducing any artificial stabilization terms or fictitious variables.


title: Decentralized Beamforming for Cell-Free Massive MIMO with Unsupervised Learning

abstract: Cell-free massive MIMO (CF-mMIMO) systems represent a promising approach to increase the spectral efficiency of wireless communication systems. However, near-optimal beamforming solutions require a large amount of signaling exchange between access points (APs) and the network controller (NC). In this letter, we propose two unsupervised deep neural networks (DNN) architectures, fully and partially distributed, that can perform decentralized coordinated beamforming with zero or limited communication overhead between APs and NC, for both fully digital and hybrid precoding. The proposed DNNs achieve near-optimal sum-rate while also reducing computational complexity by 10-24x compared to conventional near-optimal solutions.


title: On the periodic non-orientable 4-genus of a knot

abstract: We show that the equivariant and non-equivariant non-orientable 4-genus of p-periodic knots may differ, for any choice of p>1. Similar results have previously been obtained for the smooth 4-genus and non-orientable 3-genus of a periodic knot. These stand in contrast to Edmods' acclaimed result by which the equivariant and non-equivariant Seifert genus of a periodic knot agree.


title: An Analysis of the Recent Visibility of the SigDial Conference

abstract: Automated speech and text interfaces are continuing to improve, resulting in increased research in the area of dialogue systems. Moreover, conferences and workshops from various fields are focusing more on language through speech and text mediums as candidates for interaction with applications such as search interfaces and robots. In this paper, we explore how visible the SigDial conference is to outside conferences by analysing papers from top Natural Langauge Processing conferences since 2015 to determine the popularity of certain SigDial-related topics, as well as analysing what SigDial papers are being cited by others outside of SigDial. We find that despite a dramatic increase in dialogue-related research, SigDial visibility has not increased. We conclude by offering some suggestions.


title: Improved constructions for succinct affine automata

abstract: Affine finite automata (AfA) can be more succinct than probabilistic and quantum finite automata when recognizing some regular languages with bounded-error. In this paper, we improve previously known constructions given for the succinctness of AfAs in three ways. First, we replace some of fixed error bounds with arbitrarily small error bounds. Second, we present new constructions by using less states than the previous constructions. Third, we show that any language recognized by a nondeterministic finite automaton (NFA) is also recognized by bounded-error AfAs having one more state, and so, AfAs inherit all succinct results by NFAs. As a special case, we also show that any language recognized by a NFA is recognized by AfAs with zero error if the number of accepting path(s) for each member is exactly the same number.


title: Adversarial examples within the training distribution: A widespread challenge

abstract: Despite a plethora of proposed theories, understanding why deep neural networks are susceptible to adversarial attacks remains an open question. A promising recent strand of research investigates adversarial attacks within the training data distribution, providing a more stringent and worrisome definition for these attacks. These theories posit that the key issue is that in high dimensional datasets, most data points are close to the ground-truth class boundaries. This has been shown in theory for some simple data distributions, but it is unclear if this theory is relevant in practice. Here, we demonstrate the existence of in-distribution adversarial examples for object recognition. This result provides evidence supporting theories attributing adversarial examples to the proximity of data to ground-truth class boundaries, and calls into question other theories which do not account for this more stringent definition of adversarial attacks. These experiments are enabled by our novel gradient-free, evolutionary strategies (ES) based approach for finding in-distribution adversarial examples in 3D rendered objects, which we call CMA-Search.


title: Verifix: Verified Repair of Programming Assignments

abstract: Automated feedback generation for introductory programming assignments is useful for programming education. Most works try to generate feedback to correct a student program by comparing its behavior with an instructor's reference program on selected tests. In this work, our aim is to generate verifiably correct program repairs as student feedback. The student assignment is aligned and composed with a reference solution in terms of control flow, and differences in data variables are automatically summarized via predicates to relate the variable names. Failed verification attempts for the equivalence of the two programs are exploited to obtain a collection of maxSMT queries, whose solutions point to repairs of the student assignment. We have conducted experiments on student assignments curated from a widely deployed intelligent tutoring system. Our results indicate that we can generate verified feedback in up to 58% of the assignments. More importantly, our system indicates when it is able to generate a verified feedback, which is then usable by novice students with high confidence.


title: Revisiting the Effects of Stochasticity for Hamiltonian Samplers

abstract: We revisit the theoretical properties of Hamiltonian stochastic differential equations (SDES) for Bayesian posterior sampling, and we study the two types of errors that arise from numerical SDE simulation: the discretization error and the error due to noisy gradient estimates in the context of data subsampling. Our main result is a novel analysis for the effect of mini-batches through the lens of differential operator splitting, revising previous literature results. The stochastic component of a Hamiltonian SDE is decoupled from the gradient noise, for which we make no normality assumptions. This leads to the identification of a convergence bottleneck: when considering mini-batches, the best achievable error rate is $\mathcal{O}(\eta^2)$, with $\eta$ being the integrator step size. Our theoretical results are supported by an empirical study on a variety of regression and classification tasks for Bayesian neural networks.


title: Evolving genealogies for branching populations under selection and competition

abstract: For a continuous state branching process with two types of individuals which are subject to selection and density dependent competition, we characterize the joint evolution of population size, type configurations and genealogies as the unique strong solution of a system of SDE's. Our construction is achieved in the lookdown framework and provides a synthesis as well as a generalization of cases considered separately in two seminal papers by Donnelly and Kurtz (1999), namely fluctuating population sizes under neutrality, and selection with constant population size. As a conceptual core in our approach we introduce the selective lookdown space which is obtained from its neutral counterpart through a state-dependent thinning of ``potential'' selection/competition events whose rates interact with the evolution of the type densities. The updates of the genealogical distance matrix at the ``active'' selection/competition events are obtained through an appropriate sampling from the selective lookdown space. The solution of the above mentioned system of SDE's is then mapped into the joint evolution of population size and symmetrized type configurations and genealogies, i.e. marked distance matrix distributions. By means of Kurtz' Markov mapping theorem, we characterize the latter process as the unique solution of a martingale problem. For the sake of transparency we restrict the main part of our presentation to a prototypical example with two types, which contains the essential features. In the final section we outline an extension to processes with multiple types including mutation.


title: Operator-free sparse domination

abstract: We obtain a sparse domination principle for an arbitrary family of functions $f(x,Q)$, where $x\in {\mathbb R}^n$ and $Q$ is a cube in ${\mathbb R}^n$. When applied to operators, this result recovers our recent works. On the other hand, our sparse domination principle can be also applied to non-operator objects. In particular, we show applications to generalized Poincar\'e-Sobolev inequalities, tent spaces, and general dyadic sums. Moreover, the flexibility of our result allows us to treat operators that are not localizable in the sense of our previous works, as we will demonstrate in an application to vector-valued square functions.


title: The feasible region of induced graphs

abstract: The feasible region $\Omega_{{\rm ind}}(F)$ of a graph $F$ is the collection of points $(x,y)$ in the unit square such that there exists a sequence of graphs whose edge densities approach $x$ and whose induced $F$-densities approach $y$. A complete description of $\Omega_{{\rm ind}}(F)$ is not known for any $F$ with at least four vertices that is not a clique or an independent set. The feasible region provides a lot of combinatorial information about $F$. For example, the supremum of $y$ over all $(x,y)\in \Omega_{{\rm ind}}(F)$ is the inducibility of $F$ and $\Omega_{{\rm ind}}(K_r)$ yields the Kruskal-Katona and clique density theorems. We begin a systematic study of $\Omega_{{\rm ind}}(F)$ by proving some general statements about the shape of $\Omega_{{\rm ind}}(F)$ and giving results for some specific graphs $F$. Many of our theorems apply to the more general setting of quantum graphs. For example, we prove a bound for quantum graphs that generalizes an old result of Bollob\'as for the number of cliques in a graph with given edge density. We also consider the problems of determining $\Omega_{{\rm ind}}(F)$ when $F=K_r^-$, $F$ is a star, or $F$ is a complete bipartite graph. In the case of $K_r^-$ our results sharpen those predicted by the edge-statistics conjecture of Alon et. al. while also extending a theorem of Hirst for $K_4^-$ that was proved using computer aided techniques and flag algebras. The case of the 4-cycle seems particularly interesting and we conjecture that $\Omega_{{\rm ind}}(C_4)$ is determined by the solution to the triangle density problem, which has been solved by Razborov.


title: Combinatorial generation via permutation languages. IV. Elimination trees

abstract: An elimination tree for a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $x$ and recursing on the connected components of $G-x$ to produce the subtrees of $x$. Elimination trees appear in many guises in computer science and discrete mathematics, and they encode many interesting combinatorial objects, such as bitstrings, permutations and binary trees. We apply the recent Hartung-Hoang-M\"utze-Williams combinatorial generation framework to elimination trees, and prove that all elimination trees for a chordal graph $G$ can be generated by tree rotations using a simple greedy algorithm. This yields a short proof for the existence of Hamilton paths on graph associahedra of chordal graphs. Graph associahedra are a general class of high-dimensional polytopes introduced by Carr, Devadoss, and Postnikov, whose vertices correspond to elimination trees and whose edges correspond to tree rotations. As special cases of our results, we recover several classical Gray codes for bitstrings, permutations and binary trees, and we obtain a new Gray code for partial permutations. Our algorithm for generating all elimination trees for a chordal graph $G$ can be implemented in time $\mathcal{O}(\sigma)$ on average per generated elimination tree, where $\sigma=\sigma(G)$ denotes the maximum number of edges of an induced star in $G$. If $G$ is a tree, we improve this to a loopless algorithm running in time $\mathcal{O}(1)$ per generated elimination tree. We also prove that our algorithm produces a Hamilton cycle on the graph associahedron of $G$, rather than just Hamilton path, if the graph $G$ is chordal and 2-connected. Moreover, our algorithm characterizes chordality, i.e., it computes a Hamilton path on the graph associahedron of $G$ if and only if $G$ is chordal.


title: Infrared propagators of Yang-Mills-Chern-Simons theories in linear covariant gauges

abstract: Recent works have explored non-perturbative effects due to the existence of (infinitesimal) Gribov copies in Yang-Mills-Chern-Simons theories in three Euclidean dimensions. In particular, the removal of such copies modify the gauge field propagator by a self-consistent dynamically generated mass parameter, the Gribov parameter. Due to the interplay with the topological mass introduced by the Chern-Simons term, the propagator features a non-trivial set of phases with poles of different nature, leading to the possible interpretation of a confinfing to deconfining phase transition. Inhere, we restore the BRST symmetry which is softly broken by the elimination of gauge copies and provide a BRST-invariant discussion of such a transition. In order to make clear all physical statements, we deal with linear covariant gauges which contain a gauge parameter and therefore allow for an explicit check of gauge parameter independence of physical results. We also discuss the generation of condensates due to the infrared relevance of infinitesimal Gribov copies.


title: Modeling dynamic surface tension on surfactant-enhanced polydimethylsiloxane (PDMS)

abstract: Hypothesis: Surfactants are often added to aqueous solutions to induce spreading on otherwise unwettable hydrophobic surfaces. Alternatively, they can be introduced directly into solid hydrophobic materials-such as the soft elastomer, polydimethylsiloxane-to induce autonomous spreading without requiring additional surface or liquid modifications. Given the similarity between mechanisms of these two approaches, models that describe wetting by aqueous surfactant solutions should also characterize wetting on surfactant-solid systems. Experiments: Multiple surfactants of varying size and chemical composition were added to pre-polymerized PDMS samples. After cross-linking, water droplets were placed on the surfaces at set time points, and their contact angles were recorded to track the temporal evolution of the interfacial tension. Multiple nonlinear models were fitted to this data, their parameters analyzed, and each goodness of fit compared. Findings: An empirical model of dynamic surface tension was found to describe the wetting process better than the single established model found in the literature. The proposed model adapted better to the longer timescales induced by slow molecular diffusivity in PDMS. Siloxane ethoxylate surfactants induced faster and more complete wetting of PDMS by water than oxyoctylphenol ethoxylates did. The generalizability of this model for characterizing surfactants of a wide range of physiochemical properties was demonstrated.


title: When the Echo Chamber Shatters: Examining the Use of Community-Specific Language Post-Subreddit Ban

abstract: Community-level bans are a common tool against groups that enable online harassment and harmful speech. Unfortunately, the efficacy of community bans has only been partially studied and with mixed results. Here, we provide a flexible unsupervised methodology to identify in-group language and track user activity on Reddit both before and after the ban of a community (subreddit). We use a simple word frequency divergence to identify uncommon words overrepresented in a given community, not as a proxy for harmful speech but as a linguistic signature of the community. We apply our method to 15 banned subreddits, and find that community response is heterogeneous between subreddits and between users of a subreddit. Top users were more likely to become less active overall, while random users often reduced use of in-group language without decreasing activity. Finally, we find some evidence that the effectiveness of bans aligns with the content of a community. Users of dark humor communities were largely unaffected by bans while users of communities organized around white supremacy and fascism were the most affected. Altogether, our results show that bans do not affect all groups or users equally, and pave the way to understanding the effect of bans across communities.


title: The near-UV transit of HD 189733b with the XMM-Newton Optical Monitor

abstract: We present analysis of XMM-Newton Optical Monitor observations in the near-ultraviolet of HD 189733, covering twenty primary transits of its hot Jupiter planet. The transit is clearly detected with both the UVW2 and UVM2 filters, and our fits to the data reveal transit depths in agreement with that observed optically. The measured depths correspond to radii of $1.059^{+0.046}_{-0.050}$ and $0.94^{+0.15}_{-0.17}$ times the optically-measured radius (1.187 R$_{\rm J}$ at 4950 \r{A}) in the UVW2 and UVM2 bandpasses, respectively. We also find no statistically significant variation in the transit depth across the 8 year baseline of the observations. We rule out extended broadband absorption towards or beyond the Roche lobe at the wavelengths investigated, although observations with higher spectral resolution are required to determine if absorption out to those distances from the planet is present in individual near-UV lines.


title: A data-centric approach for improving ambiguous labels with combined semi-supervised classification and clustering

abstract: Consistently high data quality is essential for the development of novel loss functions and architectures in the field of deep learning. The existence of such data and labels is usually presumed, while acquiring high-quality datasets is still a major issue in many cases. In real-world datasets we often encounter ambiguous labels due to subjective annotations by annotators. In our data-centric approach, we propose a method to relabel such ambiguous labels instead of implementing the handling of this issue in a neural network. A hard classification is by definition not enough to capture the real-world ambiguity of the data. Therefore, we propose our method "Data-Centric Classification & Clustering (DC3)" which combines semi-supervised classification and clustering. It automatically estimates the ambiguity of an image and performs a classification or clustering depending on that ambiguity. DC3 is general in nature so that it can be used in addition to many Semi-Supervised Learning (SSL) algorithms. On average, this results in a 7.6% better F1-Score for classifications and 7.9% lower inner distance of clusters across multiple evaluated SSL algorithms and datasets. Most importantly, we give a proof-of-concept that the classifications and clusterings from DC3 are beneficial as proposals for the manual refinement of such ambiguous labels. Overall, a combination of SSL with our method DC3 can lead to better handling of ambiguous labels during the annotation process.


title: Measurement of inclusive charged-current $\nu_\mu$ cross sections as a function of muon kinematics at $<E_\nu>\sim6~GeV$ on hydrocarbon

abstract: MINERvA presents a new analysis of inclusive charged-current neutrino interactions on a hydrocarbon target. We report single and double-differential cross sections in muon transverse and longitudinal momentum. These measurements are compared to neutrino interaction generator predictions from GENIE, NuWro, GiBUU, and NEUT. In addition, comparisons against models with different treatments of multi-nucleon correlations, nuclear effects, resonant pion production, and deep inelastic scattering are presented. The data recorded corresponds to $10.61\times10^{20}$ protons on target with a peak neutrino energy of approximately 6 GeV. The higher energy and larger statistics of these data extend the kinematic range for model testing beyond previous MINERvA inclusive charged-current measurements. The results are not well modeled by several generator predictions using a variety of input models.


title: An ALMA study of outflow parameters of protoclusters: outflow feedback to maintain the turbulence

abstract: With the aim of understanding the role of outflows in star formation, we performed a statistical study of the physical parameters of outflows in eleven massive protoclusters associated with ultra-compact HII regions. A total of 106 outflow lobes are identified in these protoclusters using the ALMA CO (3-2), HCN (4-3) and HCO+ (4-3) line observations. Although the position angles of outflow lobes do not differ in these three tracers, HCN and HCO+ tend to detect lower terminal velocity of the identified outflows compared to CO. The majority of the outflows in our targets are young with typical dynamical time-scales of 10^2-10^4 years, and are mostly composed of low-mass outflows along with at least one high-mass outflow in each target. An anti-correlation of outflow rate with dynamical time-scale indicates that the outflow rate possibly decreases with time. Also, a rising trend of dynamical time-scale with the mass of the associated core hints that the massive cores might have longer accretion histories than the low mass cores. Estimation of different energies in these protoclusters shows that outflows studied here cannot account for the generation of the observed turbulence, but can sustain the turbulence at the current epoch as the energy injection rate from the outflows is similar to the estimated dissipation rate.


title: Strain-induced topological phase transition in two-dimensional platinum ditelluride

abstract: Topological phase transition is a hot topic in condensed matter physics and computational material science. Here, we investigate the electronic structure and phonon dispersion of the two-dimensional (2D) platinum ditelluride ($PtTe_2$) using the density functional theory. It is found that the $PtTe_2$ monolayer is a trivial insulator with an indirect band gap of 0.347eV. Based on parity analysis, the biaxial tensile strain can drive the topological phase transition. As the strain reaches 19.3%, $PtTe_2$ undergoes a topological phase transition, which changes from a trivial band insulator to a topological insulator with $Z_2=1$. Unlike conventional honeycomb 2D materials with topological phase transition, which gap closes at K points, the strained $PtTe_2$ monolayer becomes gapless at M points under critical biaxial strain. The band inversion leads the switch of the parities near the Fermi level, which gives rise to the topological phase transition. The novel monolayer $PtTe_2$ has a potential application in the field of micro-electronics.


title: Saturated Transformers are Constant-Depth Threshold Circuits

abstract: Transformers have become a standard neural network architecture for many NLP problems, motivating theoretical analysis of their power in terms of formal languages. Recent work has shown that transformers with hard attention are quite limited in power (Hahn, 2020), as they can be simulated by constant-depth AND/OR circuits (Hao et al. 2021). However, hard attention is a strong assumption, which may complicate the relevance of these results in practice. In this work, we analyze the circuit complexity of transformers with saturated attention: a generalization of hard attention that more closely captures the attention patterns learnable in practical transformers. We first show that saturated transformers transcend the known limitations of hard-attention transformers. We then prove saturated transformers with floating-point values can be simulated by constant-depth threshold circuits, giving the class $\mathsf{TC}^0$ as an upper bound on the formal languages they recognize.


title: Spin-dependent dark matter-electron interactions

abstract: Detectors with low thresholds for electron recoil open a new window to direct searches of sub-GeV dark matter (DM) candidates. In the past decade, many strong limits on DM-electron interactions have been set, but most on the one which is spin-independent (SI) of both dark matter and electron spins. In this work, we study DM-atom scattering through a spin-dependent (SD) interaction at leading order (LO), using well-benchmarked, state-of-the-art atomic many-body calculations. Exclusion limits on the SD DM-electron cross section are derived with data taken from experiments with xenon and germanium detectors at leading sensitivities. In the DM mass range of 0.1 - 10 GeV, the best limits set by the XENON1T experiment: $\sigma_e^{\textrm{(SD)}}<10^{-41}-10^{-40}\,\textrm{cm}^2$ are comparable to the ones drawn on DM-neutron and DM-proton at slightly bigger DM masses. The detector's responses to the LO SD and SI interactions are analyzed. In nonrelativistic limit, a constant ratio between them leads to an indistinguishability of the SD and SI recoil energy spectra. Relativistic calculations however show the scaling starts to break down at a few hundreds of eV, where spin-orbit effects become sizable. We discuss the prospects of disentangling the SI and SD components in DM-electron interactions via spectral shape measurements, as well as having spin-sensitive experimental signatures without SI background.


title: Algorithm For 3D-Chemotaxis Using Spiking Neural Network

abstract: In this work, we aim to devise an end-to-end spiking implementation for contour tracking in 3D media inspired by chemotaxis, where the worm reaches the region which has the given set concentration. For a planer medium, efficient contour tracking algorithms have already been devised, but a new degree of freedom has quite a few challenges. Here we devise an algorithm based on klinokinesis - where the motion of the worm is in response to the stimuli but not proportional to it. Thus the path followed is not the shortest, but we can track the set concentration successfully. We are using simple LIF neurons for the neural network implementation, considering the feasibility of its implementation in the neuromorphic computing hardware.


title: Absolutely entangled sets of pure states for bipartitions and multipartitions

abstract: A set of quantum states is said to be absolutely entangled, when at least one state in the set remains entangled for any definition of subsystems, i.e. for any choice of the global reference frame. In this work we investigate the properties of absolutey entangled sets (AES) of pure quantum states. For the case of a two-qubit system, we present a sufficient condition to detect an AES, and use it to construct families of $N$ states such that $N-3$ (the maximal possible number) remain entangled for any definition of subsystems. For a general bipartition $d=d_1d_2$, we prove that sets of $N>\left\lfloor{(d_{1}+1)(d_{2}+1)/2}\right \rfloor$ states are AES with Haar measure 1. Then, we define AES for multipartitions. We derive a general lower bound on the number of states in an AES for a given multipartition, and also construct explicit examples. In particular, we exhibit an AES with respect to any possible multi-partitioning of the total system.


title: A variational proof of a disentanglement theorem for multilinear norm inequalities

abstract: The basic disentanglement theorem established by the present authors states that estimates on a weighted geometric mean over (convex) families of functions can be disentangled into quantitatively linked estimates on each family separately. On the one hand, the theorem gives a uniform approach to classical results including Maurey's factorisation theorem and Lozanovski\u{\i}'s factorisation theorem, and, on the other hand, it underpins the duality theory for multilinear norm inequalities developed in our previous two papers. In this paper we give a simple proof of this basic disentanglement theorem. Whereas the approach of our previous paper was rather involved - it relied on the use of minimax theory together with weak*-compactness arguments in the space of finitely additive measures, and an application of the Yosida-Hewitt theory of such measures - the alternate approach of this paper is rather straightforward: it instead depends upon elementary perturbation and compactness arguments.


title: Logarithmic Weisfeiler-Leman Identifies All Planar Graphs

abstract: The Weisfeiler-Leman (WL) algorithm is a well-known combinatorial procedure for detecting symmetries in graphs and it is widely used in graph-isomorphism tests. It proceeds by iteratively refining a colouring of vertex tuples. The number of iterations needed to obtain the final output is crucial for the parallelisability of the algorithm. We show that there is a constant k such that every planar graph can be identified (that is, distinguished from every non-isomorphic graph) by the k-dimensional WL algorithm within a logarithmic number of iterations. This generalises a result due to Verbitsky (STACS 2007), who proved the same for 3-connected planar graphs. The number of iterations needed by the k-dimensional WL algorithm to identify a graph corresponds to the quantifier depth of a sentence that defines the graph in the (k+1)-variable fragment C^{k+1} of first-order logic with counting quantifiers. Thus, our result implies that every planar graph is definable with a C^{k+1}-sentence of logarithmic quantifier depth.


title: Do grid codes afford generalization and flexible decision-making?

abstract: Behavioral flexibility is learning from previous experiences and planning appropriate actions in a changing or novel environment. Successful behavioral adaptation depends on internal models the brain builds to represent the relational structure of an abstract task. Emerging evidence suggests that the well-known roles of the hippocampus and entorhinal cortex (HC-EC) in integrating spatial relationships into cognitive maps can be extended to map the transition structure between states in non-spatial abstract tasks. However, what the EC grid-codes actually compute to afford generalization remains elusive. We introduce two non-exclusive ideas regarding what grid-codes may represent to afford higher-level cognition. One idea is that grid-codes are eigenvectors of the successor representation (SR) learned online during a task. This view assumes that the grid codes serve as an efficient basis function for learning and representing experienced relationships between entities. Subsequently, the grid codes facilitate generalization in novel contexts such as when the goal changes. The second idea is that the grid-codes reflect the inferred global task structure. This view assumes that the grid-code represents a structural code that is factorized from specific sensory content, enabling structural information to be transferred across tasks. Subsequently, the brain could afford one-shot inferences without requiring experience. The ability to generalize experiences and make appropriate decisions in novel situations is critical for both animals and machines. Here we review proposed computations of the grid-code in the brain, which is potentially critical to behavioral flexibility.


title: A Differentiable Neural-Network Force Field for Ionic Liquids

abstract: We present NeuralIL, a model for the potential energy of an ionic liquid that accurately reproduces first-principles results with orders-of-magnitude savings in computational cost. Based on a multilayer perceptron and spherical Bessel descriptors of the atomic environments, NeuralIL is implemented in such a way as to be fully automatically differentiable. It can thus be trained on ab-initio forces instead of just energies, to make the most out of the available data, and can efficiently predict arbitrary derivatives of the potential energy. Using ethylammonium nitrate as the test system, we obtain out-of-sample accuracies better than 2 meV/atom (<0.05 kcal/mol) in the energies and 70 meV/{\AA} in the forces. We show that encoding the element specific density in the spherical Bessel descriptors is key to achieving this. Harnessing the information provided by the forces drastically reduces the amount of atomic configurations required to train a neural network force field based on atom-centered descriptors. We choose the Swish-1 activation function and discuss the role of this choice in keeping the neural network differentiable. Furthermore, the possibility of training on small data sets allows for an ensemble-learning approach to the detection of extrapolation. Finally, we find that a separate treatment of long-range interactions is not required to achieve a high-quality representation of the potential energy surface of these dense ionic systems.