title: Observing Nearby Nuclei on Paramagnetic Trityls and MOFs via DNP and Electron Decoupling

abstract: Dynamic nuclear polarization (DNP) is an NMR sensitivity enhancement technique that mediates polarization transfer from unpaired electrons to NMR-active nuclei. Despite its success in elucidating important structural information on biological and inorganic materials, the detailed polarization-transfer pathway-from the electrons to the nearby and then the bulk solvent nuclei, and finally to the molecules of interest-remains unclear. In particular, the nuclei in the paramagnetic polarizing agent play significant roles in relaying the enhanced NMR polarizations to more remote nuclei. Despite their importance, the direct NMR observation of these nuclei is challenging because of poor sensitivity. Here, we show that a combined DNP and electron decoupling approach can facilitate direct NMR detection of these nuclei. We achieved an ~80 % improvement in NMR intensity via electron decoupling at 0.35 T and 80 K on trityl radicals. Moreover, we recorded a DNP enhancement factor of $\epsilon$ ~ 90 and ~11 % higher NMR intensity using electron decoupling on a paramagnetic metal-organic framework, magnesium hexaoxytriphenylene (MgHOTP MOF).


title: Mixed Anhydrides at the Intersection Between Peptide and RNA Autocatalytic Sets: Evolution of Biological Coding

abstract: We present a scenario for the origin of biological coding. In this context, coding is a semiotic relationship between chemical information stored in one location that links to chemical information stored in a separate location. Coding originated by the cooperative interaction of two, originally separate collectively autocatalytic sets, one for nucleic acids and one for peptides. When these two sets interacted, a series of RNA-folding-directed processes led to their joint cooperativity. The amino acyl adenylate, today amino acid-AMP, was the first covalent association made by these two collectively autocatalytic sets and solidified their interdependence. This molecule is a palimpsest of this era, and is a relic of the original semiotic, and thus coding, relationship between RNA and proteins. More defined coding was driven by selection pressure to eliminate waste in the collective autocatalytic sets. Eventually a 1:1 relationship between single amino acids and short RNA pieces (e.g., three nucleotides) was established, leading to what is today known as the genetic code. Transfer RNA aminoacylating enzymes, or aaRSs, arose concomitantly with the advent of specific coding. The two classes of aaRS enzymes are remnants of the duality of complementary information in two nucleic acid strands, as originally postulated by Rodin and Ohno. Every stage in the evolution of coding was driven by the downward selection on the components of a system to satisfy the Kantian whole. Coding was ultimately forced because there were at least two chemically distinct classes of polymers needed for open-ended evolution; systems with only one polymer cannot exhibit this characteristic. Coding is thus synonymous with life as we know it, and can be thought of as a phase transition in the history of the universe.


title: Impact of the turnover in the high-z galaxy luminosity function on the 21-cm signal during Cosmic Dawn and Epoch of Reionization

abstract: The shape of the faint-end of the high-z galaxy luminosity function (LF) informs early star formation and reionization physics during the Cosmic Dawn and Epoch of Reionization. Until recently, based on the strong gravitational lensing cluster deep surveys, the Hubble Frontier Fields (HFF) has found a potential turnover in the ultraviolet (UV) LF at z$\sim$6. In this paper, we analyze the contribution of extremely faint galaxies with the magnitude larger than the turnover magnitude in LF to cosmic reionization. We apply the measurement from HFF to our suppressed star formation efficiency model, including three free parameters: halo mass threshold $M_t$, curvature parameter $\beta$ and a UV conversion factor $l_{\rm UV}$. According to our fit of 68\% confidence level, the high-redshift star formation in haloes smaller than $ M_t=1.82^{+2.86}_{-1.08}\times10^{10} \rm M_{\odot}$ is found to be dampened. The turnover magnitude $\rm \gtrsim -13.99-2.45$, correspondingly the halo mass $\lesssim(4.57+20.03)\times10^{9} \rm M_{\odot}$. We find that the absorption trough in the global 21-cm signal is sensitive to our SFE model parameters. Together with ($\beta$, $l_{\rm UV}$) = ($2.17^{+2.42}_{-1.72}$, $9.33^{+0.43}_{-0.42} \rm ~erg~yr ~s^{-1}M_{\odot}^{-1})$, the trough locates at $\sim$ $134^{+10}_{-17}$ $\rm MHz$ with an amplitude of $\sim$ $-237^{-6}_{+7}$ $\rm mK$, compared to (106\rm MHz, -212\rm mK) in the absence of turnover. Besides, we find that the star formation of faint galaxies has also an impact on the 21-cm power spectra. The best fitting peak power decreases by $\sim4\%$ and shifts towards smaller scales from $0.88 h \rm Mpc^{-1}$ to $0.91 h \rm Mpc^{-1}$. According to our calculation, such impact is distinguishable with the forthcoming Square Kilometre Array.


title: RankAxis: Towards a Systematic Combination of Projection and Ranking in Multi-Attribute Data Exploration

abstract: Projection and ranking are frequently used analysis techniques in multi-attribute data exploration. Both families of techniques help analysts with tasks such as identifying similarities between observations and determining ordered subgroups, and have shown good performances in multi-attribute data exploration. However, they often exhibit problems such as distorted projection layouts, obscure semantic interpretations, and non-intuitive effects produced by selecting a subset of (weighted) attributes. Moreover, few studies have attempted to combine projection and ranking into the same exploration space to complement each other's strengths and weaknesses. For this reason, we propose RankAxis, a visual analytics system that systematically combines projection and ranking to facilitate the mutual interpretation of these two techniques and jointly support multi-attribute data exploration. A real-world case study, expert feedback, and a user study demonstrate the efficacy of RankAxis.


title: Poisson-FOCuS: An efficient online method for detecting count bursts with application to gamma ray burst detection

abstract: Gamma-ray bursts are flashes of light from distant exploding stars. Cube satellites that monitor photons across different energy bands are used to detect these bursts. There is a need for computationally efficient algorithms, able to run using the limited computational resource onboard a cube satellite, that can detect when gamma-ray bursts occur. Current algorithms are based on monitoring photon counts across a grid of different sizes of time window. We propose a new algorithm, which extends the recently developed FOCuS algorithm for online change detection to Poisson data. Our algorithm is mathematically equivalent to searching over all possible window sizes, but at half the computational cost of the current grid-based methods. We demonstrate the additional power of our approach using simulations and data drawn from the Fermi gamma-ray burst catalogue.


title: Torus actions on affine varieties over characteristic zero fields

abstract: Using Galois descent tools, we extend the Altmann-Hausen presentation of normal affine algebraic varieties endowed with an effective torus action over an algebraically closed field of characteristic zero to the case where the ground field is an arbitrary field of characteristic zero. In this context, the acting torus may have non-trivial torsors and we need additional data to encode such varieties. Finally, we focus on affine varieties endowed with a two-dimensional torus action and we provide a method for determining when a torsor is trivial, in which case the Altmann-Hausen presentation simplifies.


title: A survey of support theories for Lie superalgebras and finite supergroup schemes

abstract: We survey the current state of various support variety theories for Lie superalgebras and finite supergroup schemes. We pay particular attention to the theory in characteristic zero developed by Boe, Kujawa, and Nakano using relative Lie superalgebra cohomology, and to the theory developed in positive characteristic in our previous work.


title: Using Software Product Lines to Create Blockchain Products: Application to Supply Chain Traceability

abstract: In recent years, blockchain has been growing rapidly from a niche technology to a promising solution for many sectors, due to its unique properties that empower the design of innovative applications. Nevertheless, the development of blockchain applications is still a challenge. Due to the technological novelty, only a few developers are familiar with blockchain technologies and smart contracts. Others might face a steep learning curve or difficulties to reuse existing code to build blockchain applications. This study proposes a novel approach to tackle these issues, through software product line engineering. To support the approach, a web platform to configure and generate a blockchain application for on-chain traceability is introduced. First, a feature model has been designed to model core features of the chosen domain, based on the existing literature. Then, a configurator has been implemented to support the feature selection phase. Finally, a generator is able to ingest such configurations to generate on-the-shelf blockchain products. The generalizability of the contribution is validated by reproducing on-chain traceability applications proposed in the literature by using the platform. This work provides the first evidence that the implementation of blockchain applications using software product lines enhances the quality of produced applications and reduces the time to market.


title: Simulating quantum circuits using efficient tensor network contraction algorithms with subexponential upper bound

abstract: We derive a rigorous upper bound on the classical computation time of finite-ranged tensor network contractions in $d \geq 2$ dimensions. Consequently, we show that quantum circuits of single-qubit and finite-ranged two-qubit gates can be classically simulated in subexponential time in the number of gates. Moreover, we present and implement an algorithm guaranteed to meet our bound and which finds contraction orders with vastly lower computational times in practice. In many practically relevant cases this beats standard simulation schemes and, for certain quantum circuits, also a state-of-the-art method. Specifically, our algorithm leads to speedups of several orders of magnitude over naive contraction schemes for two-dimensional quantum circuits on as little as an $8 \times 8$ lattice. We obtain similarly efficient contraction schemes for Google's Sycamore-type quantum circuits, instantaneous quantum polynomial-time circuits, and non-homogeneous (2+1)-dimensional random quantum circuits.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Observation of electronic nematicity driven by three-dimensional charge density wave in kagome lattice KV$_3$Sb$_5$

abstract: Kagome superconductors AV$_3$Sb$_5$ (A = K, Rb, Cs) provide a fertile playground for studying intriguing phenomena, including non-trivial band topology, superconductivity, giant anomalous Hall effect and charge density wave (CDW). Recently, a $C_2$ symmetric nematic phase prior to the superconducting state in AV$_3$Sb$_5$ drew enormous attention due to its potential inheritance of the symmetry of the unusual superconductivity. However, direct evidence on the rotation symmetry breaking of the electronic structure in the CDW state from the reciprocal space is still rare, and the underlying mechanism remains ambiguous. The observation shows unconventional unidirectionality, indicative of rotation symmetry breaking from six-fold to two-fold. The interlayer coupling between adjacent planes with $\pi$-phase offset in the 2$\times$2$\times$2 CDW phase leads to the preferred two-fold symmetric electronic structure. These rarely observed unidirectional back-folded bands in KV$_3$Sb$_5$ may provide important insights into its peculiar charge order and superconductivity.


title: S66x8 Noncovalent Interactions Revisited: New Benchmark and Performance of Composite Localized Coupled-Cluster Methods

abstract: The S66x8 noncovalent interactions benchmark has been re-evaluated at the "sterling silver" level, using explicitly correlated MP2-F12 near the complete basis set limit, CCSD(F12*)/aug-cc-pVTZ-F12, and a (T) correction from conventional CCSD(T)/sano-V{D,T}Z+ calculations. The revised reference value disagrees by 0.1 kcal/mol RMS with the original Hobza benchmark and its revision by Brauer et al, but by only 0.04 kcal/mol variety from the "bronze" level data in Kesharwani et al., Aust. J. Chem. 71, 238-248 (2018). We then used these to assess the performance of localized-orbital coupled cluster approaches with and without counterpoise corrections, such as PNO-LCCSD(T) as implemented in MOLPRO, DLPNO-CCSD (T1) as implemented in ORCA, and LNO-CCSD(T) as implemented in MRCC, for their respective "Normal", "Tight", and "very Tight" settings. We also considered composite approaches combining different basis sets and cutoffs. Furthermore, in order to isolate basis set convergence from domain truncation error, for the aug-cc-pVTZ basis set we compared PNO, DLPNO, and LNO approaches with canonical CCSD(T). We conclude that LNO-CCSD(T) with veryTight criteria performs very well for "raw" (CP-uncorrected), but struggles to reproduce counterpoise-corrected numbers even for veryVeryTight criteria: this means that accurate results can be obtained using either extrapolation from basis sets large enough to quench basis set superposition error (BSSE) such as aug-cc-pV{Q,5}Z, or using a composite scheme such as Tight{T,Q}+1.11[vvTight(T) - Tight(T)]. In contrast, PNO-LCCSD(T) works best with counterpoise, while performance with and without counterpoise is comparable for DLPNO-CCSD(T1). Among more economical methods, the highest accuracies are seen for dRPA75-D3BJ, {\omega}B97M-V, {\omega}B97M(2), revDSD-PBEP86-D4, and DFT(SAPT) with a TDEXX or ATDEXX kernel.


title: The effects of point defect type, location, and density on the Schottky barrier height of Au/MoS2 hetero-junction: A first-principles study

abstract: Using DFT calculations, we investigate the effects of the type, location, and density of point defects in monolayer MoS2 on electronic structures and Schottky barrier heights (SBH) of Au/MoS2 heterojunction. Three types of point defects in monolayer MoS2, that is, S monovacancy, S divacancy and MoS (Mo substitution at S site) antisite defects, are considered. The following findings are revealed: (1) The SBH for the monolayer MoS2 with defects is universally higher than that for its defect-free counterpart. (2) S divacancy and MoS antisite defects increase the SBH to a larger extent than S monovacancy. (3) A defect located in the inner sublayer of MoS2, which is adjacent to Au substrate, increases the SBH to a larger extent than that in the outer sublayer of MoS2. (4) An increase in defect density increases the SBH. These findings indicate a large variation of SBH with the defect type, location, and concentration. We also compare our results with previously experimentally measured SBH for Au/MoS2 contact and postulate possible reasons for the large differences among existing experimental measurements and between experimental measurements and theoretical predictions. The findings and insights revealed here may provide practice guidelines for modulation and optimization of SBH in Au/MoS2 and similar heterojunctions via defect engineering.


title: A Multi-body Tracking Framework - From Rigid Objects to Kinematic Structures

abstract: Kinematic structures are very common in the real world. They range from simple articulated objects to complex mechanical systems. However, despite their relevance, most model-based 3D tracking methods only consider rigid objects. To overcome this limitation, we propose a flexible framework that allows the extension of existing 6DoF algorithms to kinematic structures. Our approach focuses on methods that employ Newton-like optimization techniques, which are widely used in object tracking. The framework considers both tree-like and closed kinematic structures and allows a flexible configuration of joints and constraints. To project equations from individual rigid bodies to a multi-body system, Jacobians are used. For closed kinematic chains, a novel formulation that features Lagrange multipliers is developed. In a detailed mathematical proof, we show that our constraint formulation leads to an exact kinematic solution and converges in a single iteration. Based on the proposed framework, we extend ICG, which is a state-of-the-art rigid object tracking algorithm, to multi-body tracking. For the evaluation, we create a highly-realistic synthetic dataset that features a large number of sequences and various robots. Based on this dataset, we conduct a wide variety of experiments that demonstrate the excellent performance of the developed framework and our multi-body tracker.


title: The gauge-invariant I-method for Yang-Mills

abstract: We prove global well-posedness of the $ 3d $ Yang-Mills equation in the temporal gauge in $ H^{\sigma} $ for $ \sigma > \frac{5}{6} $. Unlike related equations, Yang-Mills is not directly amenable to the method of almost conservation laws (I-method) in its Fourier and global version. We propose a modified energy which: 1) Is gauge-invariant and easy to localize 2) Provides local gauges which give control of local Sobolev norms (through an Uhlenbeck-type lemma for fractional regularities) 3) Is slightly smoother in time compared to the classical I-method energy for related systems. The spatial smoothing is realized via the Yang-Mills heat flow instead of the multiplier $I$. Due to the temporal condition and its finite speed of propagation, the local gauge selection is compatible with recent initial data extension results. Therefore, smoothened energy differences can be partitioned into local pieces whose (appropriately extended) bounds can be square summed. After revealing the null structure within the trilinear integrals, these can be estimated using known methods. In an appendix we show how an invariant modified energy for Maxwell-Klein-Gordon can extend previous results to regularities $ \sigma > \frac{5}{6} $.


title: Hydrodynamic analysis of the water landing phase of aircraft fuselages at constant speed and fixed attitude

abstract: In this paper the hydrodynamics of fuselage models representing the main body of three different types of aircraft, moving in water at constant speed and fixed attitude is investigated using the Unsteady Reynolds-Averaged Navier-Stokes (URANS) level-set flow solver $\chi$navis. The objective of the CFD study is to give insight into the water landing phase of the aircraft emergency ditching. The pressure variations over the wetted surface and the features of the free surface are analysed in detail, showing a marked difference among the three shapes in terms of the configuration of the thin spray generated at the front. Such a difference is a consequence of the different transverse curvature of the fuselage bodies. Furthermore, it is observed that at the rear, where a change of longitudinal curvature occurs, a region of negative pressure (i.e. below the atmospheric value) develops. This generates a suction (downward) force of pure hydrodynamic origin. In order to better understand the role played by the longitudinal curvature change on the loads, a fourth fuselage shape truncated at the rear is also considered in the study. The forces acting on the fuselage models are considered as composed of three terms: the viscous, the hydrodynamic and the buoyancy contributions. For validation purposes the forces derived from the numerical simulations are compared with experimental data.


title: Terrace solutions for non-Lipschitz multistable nonlinearities

abstract: Traveling wave solutions of reaction-diffusion equations are well-studied for Lipschitz continuous monostable and bistable reaction functions. These special solutions play a key role in mathematical biology and in particular in the study of ecological invasions. However, if there are more than two stable steady states, the invasion phenomenon may become more intricate and involve intermediate steps, which leads one to consider not a single but a collection of traveling waves with ordered speeds. In this paper we show that, if the reaction function is discontinuous at the stable steady states, then such a collection of traveling waves exists and even provides a special solution which we call a terrace solution. More precisely, we will address both the existence and uniqueness of the terrace solution.


title: Notes on derived algebraic geometry

abstract: These are notes on derived algebraic geometry in the context of animated rings. More precisely, we recall the proof of To\"en-Vaqui\'e that the derived stack of perfect complexes is locally geometric in the language of $\infty$-categories. Along the way, we recall the necessary notions in derived commutative algebra and derived algebraic geometry. We also analyze the deformation theory and quasi-coherent modules over derived stacks.


title: Upper tail bounds for stationary KPZ models

abstract: We present a proof of an upper tail bound of the correct order (up to a constant factor in the exponent) in two classes of stationary models in the KPZ universality class. The proof is based on an exponential identity due to Rains in the case of Last Passage Percolation with exponential weights, and recently re-derived by Emrah-Jianjigian-Sepp\"ail\"ainen (EJS). Our proof follows very similar lines for the two classes of models we consider, using only general monotonocity and convexity properties, and can thus be expected to apply to many other stationary models.


title: COMET: Coverage-guided Model Generation For Deep Learning Library Testing

abstract: Recent deep learning (DL) applications are mostly built on top of DL libraries. The quality assurance of these libraries is critical to the dependable deployment of DL applications. Techniques have been proposed to generate various DL models and apply them to test these libraries. However, their test effectiveness is constrained by the diversity of layer API calls in their generated DL models. Our study reveals that these techniques can cover at most 34.1% layer inputs, 25.9% layer parameter values, and 15.6% layer sequences. As a result, we find that many bugs arising from specific layer API calls (i.e., specific layer inputs, parameter values, or layer sequences) can be missed by existing techniques. Because of this limitation, we propose COMET to effectively generate DL models with diverse layer API calls for DL library testing. COMET: (1) designs a set of mutation operators and a coverage-based search algorithm to diversify layer inputs, layer parameter values, and layer sequences in DL models. (2) proposes a model synthesis method to boost the test efficiency without compromising the layer API call diversity. Our evaluation result shows that COMET outperforms baselines by covering twice as many layer inputs (69.7% vs. 34.1%), layer parameter values (50.2% vs. 25.9%), and layer sequences (39.0% vs. 15.6%) as those by the state-of-the-art. Moreover, COMET covers 3.4% more library branches than those by existing techniques. Finally, COMET detects 32 new bugs in the latest version of eight popular DL libraries, including TensorFlow and MXNet, with 21 of them confirmed by DL library developers and 7 of those confirmed bugs have been fixed by developers.


title: Characterizing Vaccination Movements on YouTube in the United States and Brazil

abstract: In the context of COVID-19 pandemic, social networks such as Twitter and YouTube stand out as important sources of information. YouTube, as the largest and most engaging online media consumption platform, has a large influence in the spread of information and misinformation, which makes it important to study how it deals with the problems that arise from disinformation, as well as how its users interact with different types of content. Considering that United States (USA) and Brazil (BR) are two countries with the highest COVID-19 death tolls, we asked the following question: What are the nuances of vaccination campaigns in the two countries? With that in mind, we engage in a comparative analysis of pro and anti-vaccine movements on YouTube. We also investigate the role of YouTube in countering online vaccine misinformation in USA and BR. For this means, we monitored the removal of vaccine related content on the platform and also applied various techniques to analyze the differences in discourse and engagement in pro and anti-vaccine "comment sections". We found that American anti-vaccine content tend to lead to considerably more toxic and negative discussion than their pro-vaccine counterparts while also leading to 18% higher user-user engagement, while Brazilian anti-vaccine content was significantly less engaging. We also found that pro-vaccine and anti-vaccine discourses are considerably different as the former is associated with conspiracy theories (e.g. ccp), misinformation and alternative medicine (e.g. hydroxychloroquine), while the latter is associated with protective measures. Finally, it was observed that YouTube content removals are still insufficient, with only approximately 16% of the anti-vaccine content being removed by the end of the studied period, with the USA registering the highest percentage of removed anti-vaccine content(34%) and BR registering the lowest(9.8%).


title: s-LIME: Reconciling Locality and Fidelity in Linear Explanations

abstract: The benefit of locality is one of the major premises of LIME, one of the most prominent methods to explain black-box machine learning models. This emphasis relies on the postulate that the more locally we look at the vicinity of an instance, the simpler the black-box model becomes, and the more accurately we can mimic it with a linear surrogate. As logical as this seems, our findings suggest that, with the current design of LIME, the surrogate model may degenerate when the explanation is too local, namely, when the bandwidth parameter $\sigma$ tends to zero. Based on this observation, the contribution of this paper is twofold. Firstly, we study the impact of both the bandwidth and the training vicinity on the fidelity and semantics of LIME explanations. Secondly, and based on our findings, we propose \slime, an extension of LIME that reconciles fidelity and locality.


title: Unimodal Mono-Partite Matching in a Bandit Setting

abstract: We tackle a new emerging problem, which is finding an optimal monopartite matching in a weighted graph. The semi-bandit version, where a full matching is sampled at each iteration, has been addressed by \cite{ADMA}, creating an algorithm with an expected regret matching $O(\frac{L\log(L)}{\Delta}\log(T))$ with $2L$ players, $T$ iterations and a minimum reward gap $\Delta$. We reduce this bound in two steps. First, as in \cite{GRAB} and \cite{UniRank} we use the unimodality property of the expected reward on the appropriate graph to design an algorithm with a regret in $O(L\frac{1}{\Delta}\log(T))$. Secondly, we show that by moving the focus towards the main question `\emph{Is user $i$ better than user $j$?}' this regret becomes $O(L\frac{\Delta}{\tilde{\Delta}^2}\log(T))$, where $\Tilde{\Delta} > \Delta$ derives from a better way of comparing users. Some experimental results finally show these theoretical results are corroborated in practice.


title: Human Aspect of Threat Analysis: A Replication

abstract: Background: Organizations are experiencing an increasing demand for security-by-design activities (e.g., STRIDE analyses) which require a high manual effort. This situation is worsened by the current lack of diverse (and sufficient) security workforce and inconclusive results from past studies. To date, the deciding human factors (e.g., diversity dimensions) that play a role in threat analysis have not been sufficiently explored. Objective: To address this issue, we plan to conduct a series of exploratory controlled experiments. The main objective is to empirically measure the human-aspects that play a role in threat analysis alongside the more well-known measures of analysis performance. Method: We design the experiments as a differentiated replication of past experiments with STRIDE. The replication design is aimed at capturing some similar measures (e.g., of outcome quality) and additional measures (e.g., diversity dimensions). We plan to conduct the experiments in an academic setting. Limitations: Obtaining a balanced population (e.g., wrt gender) in advanced computer science courses is not realistic. The experiments we plan to conduct with MSc level students will certainly suffer this limitation.


title: Detection of poloidal magnetic flux emission from a plasma focus

abstract: Direct experimental evidence for the existence of axial magnetic field both in the radial implosion phase and the pinch phase of a plasma focus has raised many questions of fundamental importance. The most fundamental of these is the fact of its existence, which is incomprehensible in terms of a conventional view of plasma physics. The plasma is known to have an axis of symmetry in the radial implosion phase. The axial magnetic field has a defined polarity with respect to the axis. Since the equations of magnetohydrodynamics are unchanged by flipping the sign of the axial coordinate, the polarity of the axial magnetic field must arise from the initial conditions. Exactly how the initial conditions determine the polarity of the axial magnetic field is not clear. More data are needed to guide theoretical developments of this question. There are several technical problems with the conventional techniques of axial magnetic field measurement such as magnetic probes and Faraday rotation measurement. The combined effect of theoretical and experimental difficulties is that researchers avoid research related to the axial magnetic field in axisymmetric plasmas in favour of more result-oriented projects, with the unfortunate consequence that questions related to the presence of axial magnetic field in axially symmetric plasmas remain unresolved. In order to promote research related to the questions related to the axial magnetic field in the plasma focus and other plasmas with an axial symmetry, this paper introduces a new technique that skirts the technical difficulties of measurement by redefining the objectives and scope of measurement. The paper is written in a tutorial format for the benefit of young researchers just beginning their research career and hence will not be published in regular journals. Peer scientists and young researchers are encouraged to contact the author directly.


title: MBSE analysis for energy sustainability improvement in manufacturing industry

abstract: With the ever increasing complexity of Industry 4.0 systems, plant energy management systems developed to improve energy sustainability become equally complex. Based on a Model-Based Systems Engineering analysis, this paper aims to provide a general approach to perform holistic development of an autonomous energy management system for manufacturing industries. This Energy Management System (EMS) will be capable of continuously improving its ability to assess, predict, and act, in order to improve by monitoring and controlling the energy sustainability of manufacturing systems. The approach was implemented with the System Modeling Language (SysML).


title: UniRank: Unimodal Bandit Algorithm for Online Ranking


title: Large Deviations Principle for the tagged empirical field of a general interacting gas

abstract: This paper deals with rare events in a general {interacting gas} at high temperature, by means of Large Deviations Principles. The main result is an LDP for the tagged empirical field, which features the competition of an energy term and an entropy term. The approach to proving this Large Deviations Principle is to first deduce one for the tagged empirical field of non-interacting particles at high temperature, and upgrade that result to interacting particle systems.


title: Derived $F$-zips

abstract: We define derived versions of $F$-zips and associate a derived $F$-zip to any proper, smooth morphism of schemes in positive characteristic. We analyze the stack of derived $F$-zips and certain substacks. We make a connection to the classical theory and look at problems that arise when trying to generalize the theory to derived $G$-zips and derived $F$-zips associated to lci morphisms. As an application, we look at Enriques-surfaces and analyze the geometry of the moduli stack of Enriques-surfaces via the associated derived $F$-zips. As there are Enriques-surfaces in characteristic $2$ with non-degenerate Hodge-de Rham spectral sequence, this gives a new approach, which could previously not be obtained by the classical theory of $F$-zips.


title: Reduced-order modeling for parameterized large-eddy simulations of atmospheric pollutant dispersion

abstract: Mapping near-field pollutant concentration is essential to track accidental toxic plume dispersion in urban areas. By solving a large part of the turbulence spectrum, large-eddy simulations (LES) have the potential to accurately represent pollutant concentration spatial variability. Finding a way to synthesize this large amount of information to improve the accuracy of lower-fidelity operational models (e.g. providing better turbulence closure terms) is particularly appealing. This is a challenge in multi-query contexts, where LES become prohibitively costly to deploy to understand how plume flow and tracer dispersion change with various atmospheric and source parameters. To overcome this issue, we propose a non-intrusive reduced-order model combining proper orthogonal decomposition (POD) and Gaussian process regression (GPR) to predict LES field statistics of interest associated with tracer concentrations. GPR hyperpararameters are optimized component-by-component through a maximum a posteriori (MAP) procedure informed by POD. We provide a detailed analysis of the reducedorder model performance on a two-dimensional case study corresponding to a turbulent atmospheric boundary-layer flow over a surface-mounted obstacle. We show that near-source concentration heterogeneities upstream of the obstacle require a large number of POD modes to be well captured. We also show that the component-by-component optimization allows to capture the range of spatial scales in the POD modes, especially the shorter concentration patterns in the high-order modes. The reduced-order model predictions remain acceptable if the learning database is made of at least fifty to hundred LES snapshot providing a first estimation of the required budget to move towards more realistic atmospheric dispersion applications.


title: Metric Dimension of a Diagonal Family of Generalized Hamming Graphs

abstract: Classical Hamming graphs are Cartesian products of complete graphs, and two vertices are adjacent if they differ in exactly one coordinate. Motivated by connections to unitary Cayley graphs, we consider a generalization where two vertices are adjacent if they have no coordinate in common. Metric dimension of classical Hamming graphs is known asymptotically, but, even in the case of hypercubes, few exact values have been found. In contrast, we determine the metric dimension for the entire diagonal family of $3$-dimensional generalized Hamming graphs. Our approach is constructive and made possible by first characterizing resolving sets in terms of forbidden subgraphs of an auxiliary edge-colored hypergraph.


title: On the Expressiveness of a Logic of Separated Relations

abstract: We compare the model-theoretic expressiveness of the existential fragment of Separation Logic over unrestricted relational signatures (SLR) -- with only separating conjunction as logical connective and higher-order inductive definitions, traditionally known as the symbolic heap fragment -- with the expressiveness of (Monadic) Second Order Logic ((M)SO). While SLR and MSO are incomparable on structures of unbounded treewidth, it turns out that SLR can be embedded in SO, in general, and that MSO becomes a strict subset of SLR, when the treewidth of the models is bounded by a parameter given as input. We also discuss the problem of defining a fragment of SLR that is equivalent to MSO over models of bounded treewidth. Such a fragment would then become the most general Separation Logic with a decidable entailment problem, a key ingredient of practical verification methods for self-adapting (reconfigurable) component-based and distributed systems.


title: DSR -- A dual subspace re-projection network for surface anomaly detection

abstract: The state-of-the-art in discriminative unsupervised surface anomaly detection relies on external datasets for synthesizing anomaly-augmented training images. Such approaches are prone to failure on near-in-distribution anomalies since these are difficult to be synthesized realistically due to their similarity to anomaly-free regions. We propose an architecture based on quantized feature space representation with dual decoders, DSR, that avoids the image-level anomaly synthesis requirement. Without making any assumptions about the visual properties of anomalies, DSR generates the anomalies at the feature level by sampling the learned quantized feature space, which allows a controlled generation of near-in-distribution anomalies. DSR achieves state-of-the-art results on the KSDD2 and MVTec anomaly detection datasets. The experiments on the challenging real-world KSDD2 dataset show that DSR significantly outperforms other unsupervised surface anomaly detection methods, improving the previous top-performing methods by 10% AP in anomaly detection and 35% AP in anomaly localization.


title: MT-SNN: Spiking Neural Network that Enables Single-Tasking of Multiple Tasks

abstract: In this paper we explore capabilities of spiking neural networks in solving multi-task classification problems using the approach of single-tasking of multiple tasks. We designed and implemented a multi-task spiking neural network (MT-SNN) that can learn two or more classification tasks while performing one task at a time. The task to perform is selected by modulating the firing threshold of leaky integrate and fire neurons used in this work. The network is implemented using Intel's Lava platform for the Loihi2 neuromorphic chip. Tests are performed on dynamic multitask classification for NMNIST data. The results show that MT-SNN effectively learns multiple tasks by modifying its dynamics, namely, the spiking neurons' firing threshold.


title: Transient Structure in the Non-linear Superradiance Regime of Widely Doppler Broadened Media

abstract: We investigate transient radiation processes in the non-linear superradiance (SR) regime of the Doppler broadened Maxwell-Bloch equations when the velocity distribution is of total bandwidth greatly exceeding that of the transient process itself. We demonstrate the formation of global polarisation phase correlation and the quenching of temporal structure if a smooth distribution is inverted above the critical threshold required to enter the non-linear SR regime. We propose candidate stochastic velocity distributions capable of sustaining finite temporal structure in the non-linear emission process. We develop a novel algorithm for simulating the Doppler broadened Maxwell-Bloch equations which is $O(n)$ complex in the number of velocity channels $n$ whenever the emerging polarisation correlation is of moderate bandwidth, and we apply it to a stochastic velocity distribution in order to demonstrate sustained delay and duration of peak intensity in the widely Doppler broadened limit. We discuss the transverse inversion process and recognise an autoregulation mechanism on the number of molecules cooperatively participating in SR emission. This mechanism has the effect of limiting the temporal duration of the intensity pulse to a lower bound proportional to the length of the sample, which we confirm through simulation.


title: A replication of a controlled experiment with two STRIDE variants

abstract: To avoid costly security patching after software deployment, security-by-design techniques (e.g., STRIDE threat analysis) are adopted in organizations to root out security issues before the system is ever implemented. Despite the global gap in cybersecurity workforce and the high manual effort required for performing threat analysis, organizations are ramping up threat analysis activities. However, past experimental results were inconclusive regarding some performance indicators of threat analysis techniques thus practitioners have little evidence for choosing the technique to adopt. To address this issue, we replicated a controlled experiment with STRIDE. Our study was aimed at measuring and comparing the performance indicators (productivity and precision) of two STRIDE variants (element and interaction). We conclude the paper by comparing our results to the original study.


title: Multitension strings in high-resolution U(1)$\times$U(1) simulations

abstract: Topological defects are a fossil relic of early Universe phase transitions, with cosmic strings being the best motivated example. While in most cases one studies Nambu-Goto or Abelian-Higgs strings, one also expects that cosmologically realistic strings should have additional degrees of freedom in their worldsheets, one specific example being superstrings from Type IIB superstring theory. Here we continue the scientific exploitation of our recently developed multi-GPU field theory cosmic strings code to study the evolution of U(1)$\times$U(1) multitension networks, which are a numerically convenient proxy: these contain two lowest-tension strings networks able to interact and form bound states, providing a convenient first approximation to the behaviour expected from cosmic superstrings. (...) We rely on the largest field theory simulations of this model so far, specifically $4096^3$, $\Delta x = 0.5$ boxes. We present robust evidence of scaling for the lightest strings, measured through a complete and self-consistent set of correlation length and velocity diagnostics. We also find a linearly growing average length of the bound state segments, consistent with a scaling behaviour. (In previously reported lower-resolution simulations, such behaviour had only been identified with carefully engineered initial conditions, rich in those segments.) Finally, while we see no evidence of a large population of bound states forming at early stages of the network evolution, we do present tentative evidence for an asymptotic constant value of the fraction of bound states, with this value being different in the radiation and the matter eras. Our work demonstrates that our GPU-accelerated field theory code can by successfully extended beyond the simple Abelian-Higgs approximation, and enables future detailed studies of realistic string networks and of their observational signatures.

categories: astro-ph.CO gr-qc hep-ph physics.comp-ph


title: Multigrid reduction-in-time convergence for advection problems: A Fourier analysis perspective

abstract: A long-standing issue in the parallel-in-time community is the poor convergence of standard iterative parallel-in-time methods for hyperbolic partial differential equations (PDEs), and for advection-dominated PDEs more broadly. Here, a local Fourier analysis (LFA) convergence theory is derived for the two-level variant of the iterative parallel-in-time method of multigrid reduction-in-time (MGRIT). This closed-form theory allows for new insights into the poor convergence of MGRIT for advection-dominated PDEs when using the standard approach of rediscretizing the fine-grid problem on the coarse grid. Specifically, we show that this poor convergence arises, at least in part, from inadequate coarse-grid correction of certain smooth Fourier modes known as characteristic components, which was previously identified as causing poor convergence of classical spatial multigrid on steady-state advection-dominated PDEs. We apply this convergence theory to show that, for certain semi-Lagrangian discretizations of advection problems, MGRIT convergence using rediscretized coarse-grid operators cannot be robust with respect to CFL number or coarsening factor. A consequence of this analysis is that techniques developed for improving convergence in the spatial multigrid context can be re-purposed in the MGRIT context to develop more robust parallel-in-time solvers. This strategy has been used in recent work to great effect; here, we provide further theoretical evidence supporting the effectiveness of this approach.


title: Opportunities with ultra-soft photons: Bremsstrahlung from stopping

abstract: We compute the spectra of bremsstrahlung photons for different stopping scenarios which give rise to different initial charge-rapidity distributions. In the light of novel experimental opportunities that may arise with a new heavy-ion detector ALICE-3 at the CERN LHC, we discuss how to discriminate between these stopping scenarios and how to disentangle bremsstrahlung photons from other photon sources.


title: Dynamic density functional theory for drying colloidal suspensions: Comparison of hard-sphere free-energy functionals

abstract: Dynamic density functional theory (DDFT) is a promising approach for predicting the structural evolution of a drying suspension containing one or more types of colloidal particles. The assumed free-energy functional is a key component of DDFT that dictates the thermodynamics of the model and, in turn, the density flux due to a concentration gradient. In this work, we compare several commonly used free-energy functionals for drying hard-sphere suspensions including local-density approximations based on the ideal-gas, virial, and Boubl\'{i}k-Mansoori-Carnahan-Starling-Leland (BMCSL) equations of state as well as a weighted-density approximation based on fundamental measure theory (FMT). To determine the accuracy of each functional, we model one- and two-component hard-sphere suspensions in a drying film with varied initial heights and compositions, and we compare the DDFT-predicted volume-fraction profiles to particle-based Brownian dynamics (BD) simulations. FMT accurately predicts the structure of the one-component suspensions even at high concentrations and when significant density gradients develop, but the virial and BMCSL equations of state provide reasonable approximations for smaller concentrations at a reduced computational cost. In the two-component suspensions, FMT and BMCSL are similar to each other but modestly overpredict the extent of stratification by size compared to BD simulations. This work provides helpful guidance for selecting thermodynamic models for soft materials in nonequilibrium processes such as solvent drying, solvent freezing, and sedimentation.


title: CIPCaD-Bench: Continuous Industrial Process datasets for benchmarking Causal Discovery methods

abstract: Causal relationships are commonly examined in manufacturing processes to support faults investigations, perform interventions, and make strategic decisions. Industry 4.0 has made available an increasing amount of data that enable data-driven Causal Discovery (CD). Considering the growing number of recently proposed CD methods, it is necessary to introduce strict benchmarking procedures on publicly available datasets since they represent the foundation for a fair comparison and validation of different methods. This work introduces two novel public datasets for CD in continuous manufacturing processes. The first dataset employs the well-known Tennessee Eastman simulator for fault detection and process control. The second dataset is extracted from an ultra-processed food manufacturing plant, and it includes a description of the plant, as well as multiple ground truths. These datasets are used to propose a benchmarking procedure based on different metrics and evaluated on a wide selection of CD algorithms. This work allows testing CD methods in realistic conditions enabling the selection of the most suitable method for specific target applications. The datasets are available at the following link: https://github.com/giovanniMen


title: Dirac sigma models from gauging the nonlinear sigma models and its BV action

abstract: We present the construction of the Dirac sigma models by gauging the 2-dimensional nonlinear sigma models, but also including the possibility of nonminimal coupling to the metric sector. We show that for a large variety of possible cases, the minimal coupling to the metric sector is the only nontrivial possibility. In addition, we present the construction of the classical Batalin-Vilkovisky action for the Dirac sigma models. We follow a direct approach in its construction, by requiring it to be a solution of the classical master equation.


title: Picard-Fuchs equations of the generalized Dwork family

abstract: We determine the Picard-Fuchs equations of the generalized Dwork families by Katz. As an application, we compute the Frobenius matrix on the rigid cohomology of the family. This was originally done by Kloosterman, while we give an alternative computation with use of the Picard-Fuchs equations.


title: Comparing Hermitian and Non-Hermitian Quantum Electrodynamics

abstract: In recent years, non-Hermitian quantum physics has gained a lot in popularity in the quantum optics and condensed matter communities in order to model quantum systems with varying symmetries. In this paper, we identify a non-standard inner product that implies bosonic commutator relations for local electric and magnetic field observables and leads to a natural local biorthogonal description of the quantised electromagnetic field. When comparing this description with an alternative local Hermitian description, in which the states of local photonic particles - i.e. of so-called bosons localised in position (blips) - are orthogonal under the conventional Hermitian inner product, we find that there is an equivalence between the two approaches. Careful consideration needs to be given to the physical interpretation of the different descriptions. Whether a Hermitian or a non-Hermitian approach is more suitable depends on the circumstances that we want to model.


title: The CubeSpec space mission: Asteroseismology of massive stars from time-series optical spectroscopy

abstract: The ESA/KU Leuven CubeSpec mission is specifically designed to provide low-cost space-based high-resolution optical spectroscopy. Here we highlight the science requirements and capabilities of CubeSpec. The primary science goal is to perform pulsation mode identification from spectroscopic line profile variability and empower asteroseismology of massive stars.


title: Towards Psychologically-Grounded Dynamic Preference Models

abstract: Designing recommendation systems that serve content aligned with time varying preferences requires proper accounting of the feedback effects of recommendations on human behavior and psychological condition. We argue that modeling the influence of recommendations on people's preferences must be grounded in psychologically plausible models. We contribute a methodology for developing grounded dynamic preference models. We demonstrate this method with models that capture three classic effects from the psychology literature: Mere-Exposure, Operant Conditioning, and Hedonic Adaptation. We conduct simulation-based studies to show that the psychological models manifest distinct behaviors that can inform system design. Our study has two direct implications for dynamic user modeling in recommendation systems. First, the methodology we outline is broadly applicable for psychologically grounding dynamic preference models. It allows us to critique recent contributions based on their limited discussion of psychological foundation and their implausible predictions. Second, we discuss implications of dynamic preference models for recommendation systems evaluation and design. In an example, we show that engagement and diversity metrics may be unable to capture desirable recommendation system performance.


title: A scalar product for computing fundamental quantities in matter

abstract: We introduce a systematic way to obtain expressions for computing the amount of fundamental quantities such as helicity and angular momentum contained in static matter, given its charge and magnetization densities. The method is based on a scalar product that we put forward, which is invariant under the ten-parameter conformal group in three-dimensional Euclidean space. Such group is obtained as the static restriction (frequency $\omega=0$) of the symmetry group of Maxwell equations: The fifteen-parameter conformal group in 3+1 Minkowski spacetime. In an exemplary application, we compute the helicity and angular momentum squared stored in a magnetic Hopfion.


title: Free resolutions and Lefschetz properties of some Artin Gorenstein rings of codimension four

abstract: In 1978, Stanley constructed an example of an Artinian Gorenstein (AG) ring $A$ with non-unimodal $H$-vector $(1,13,12,13,1)$. Migliore-Zanello later showed that for regularity $r=4$, Stanley's example has the smallest possible codimension $c$ for an AG ring with non-unimodal $H$-vector. The weak Lefschetz property (WLP) has been much studied for AG rings; it is easy to show that an AG ring with non-unimodal $H$-vector fails to have WLP. In codimension $c=3$ it is conjectured that all AG rings have WLP. For $c=4$, Gondim showed that WLP always holds for $r \le 4$ and gives a family where WLP fails for any $r \ge 7$, building on an earlier example of Ikeda of failure of WLP for $r=5$. In this note we study the minimal free resolution of $A$ and relation to Lefschetz properties (both weak and strong) and Jordan type for $c=4$ and $r \le 6$.


title: Optimal Friendly Jamming and Transmit Power Allocation in RIS-assisted Secure Communication

abstract: This paper analyzes the secrecy performance of a reconfigurable intelligent surface (RIS) assisted wireless communication system with a friendly jammer in the presence of an eavesdropper. The friendly jammer enhances the secrecy by introducing artificial noise towards the eavesdropper without degrading the reception at the destination. Approximate secrecy outage probability (SOP) is derived in closed form. We also provide a simpler approximate closed-form expression for the SOP in order to understand the effect of system parameters on the performance and to find the optimal power allocation for the transmitter and jammer. The optimal transmit and jamming power allocation factor is derived by minimizing the SOP assuming a total power constraint. It is shown that the SOP performance is significantly improved by the introduction of the jammer and a gain of approximately $3$ dB is achieved at an SOP of $10^{-4}$ by optimally allocating power compared to the case of equal power allocation.


title: The Impact of Retail Investors Sentiment on Conditional Volatility of Stocks and Bonds

abstract: We measure bond and stock conditional return volatility as a function of changes in sentiment, proxied by six indicators from the Tel Aviv Stock Exchange. We find that changes in sentiment affect conditional volatilities at different magnitudes and often in an opposite manner in the two markets, subject to market states. We are the first to measure bonds conditional volatility of retail investors sentiment thanks to a unique dataset of corporate bond returns from a limit-order-book with highly active retail traders. This market structure differs from the prevalent OTC platforms, where institutional investors are active yet less prone to sentiment.


title: Meissner effect in Fock space

abstract: By periodically driving a single bosonic Josephson junction (BJJ) with an impurity, a synthetic gauge field is generated in the Fock space of the system. At a critical synthetic gauge flux the ground state undergoes a quantum phase transition which is analogous to the Meissner-Abrikosov-vortex transition found in type-II superconductors with an applied magnetic field. A second quantum phase transition involving attractive interactions between the bosons of the BJJ is shown to enhance the sensitivity of the system to the Meissner-Abrikosov-vortex transition.


title: Wideband Mid Infrared Absorber using surface Doped Black Silicon

abstract: Black silicon (BSi) is a synthetic nanomaterial with high aspect ratio nano protrusions inducing several interesting properties such as a very large absorptivity of incident radiation. We have recently shown that heavily doping the BSi in volume enables to significantly enhance its mid infrared absorptivity and tune its spectral range of interest up to 20 micrometer. In the present letter, we explore the effect of surface doping on BSi radiative properties and it absorptance, in particular since surface doping enables reaching even larger dopant concentrations than volume doping but at more limited penetration depths. We considered 12 different wafers of BSi, fabricated with cryogenic plasma etching on n and p-type silicon wafers and doped using ion-implantation with different dopant types, dosages and ion beam energies leading to different dopant concentrations and profiles. The different wafers radiative properties, reflectance, transmittance and absorptance, are measured using Fourier transform infrared spectroscopy. We show that doping an n-type BSi wafer with Phosphorous with a dose of 10^17 atm/cm2 and an energy of 100 keV increases its absorptivity up to of 98% in the spectral range of 1-5 micrometer. We propose a simple phenomenological explanation of the observed results based on the dopant concentration profiles and the corresponding incident radiation penetration depth. Obtained results provide simple design rules and pave the way for using ion-implanted BSi for various applications such as solar energy harvesting, thermo-photovoltaics and infrared radiation sensing where both high absorptance and variable dopant concentration profiles are required.


title: Regularly abstract convex functions with respect to the set of Lipschitz continuous concave functions

abstract: The goal of the paper is to study the particular class of regularly ${\mathcal{H}}$-convex functions, when ${\mathcal{H}}$ is the set ${\mathcal{L}\widehat{C}}(X,{\mathbb{R}})$ of real-valued Lipschitz continuous classically concave functions defined on a real normed space $X$. For an extended-real-valued function $f:X \mapsto \overline{\mathbb{R}}$ to be ${\mathcal{L}\widehat{C}}$-convex it is necessary and sufficient that $f$ be lower semicontinuous and bounded from below by a Lipschitz continuous function; moreover, each ${\mathcal{L}\widehat{C}}$-convex function is regularly ${\mathcal{L}\widehat{C}}$-convex as well. We focus on ${\mathcal{L}\widehat{C}}$-subdifferentiability of functions at a given point. We prove that the set of points at which an ${\mathcal{L}\widehat{C}}$-convex function is ${\mathcal{L}\widehat{C}}$-subdifferentiable is dense in its effective domain. Using the subset ${\mathcal{L}\widehat{C}}_\theta$ of the set ${\mathcal{L}\widehat{C}}$ consisting of such Lipschitz continuous concave functions that vanish at the origin we introduce the notions of ${\mathcal{L}\widehat{C}}_\theta$-subgradient and ${\mathcal{L}\widehat{C}}_\theta$-subdifferential of a function at a point which generalize the corresponding notions of the classical convex analysis. Symmetric notions of abstract ${\mathcal{L}\widecheck{C}}$-concavity and ${\mathcal{L}\widecheck{C}}$-superdifferentiability of functions where ${\mathcal{L}\widecheck{C}}:= {\mathcal{L}\widecheck{C}}(X,{\mathbb{R}})$ is the set of Lipschitz continuous convex functions are also considered. Some properties and simple calculus rules for ${\mathcal{L}\widehat{C}}_\theta$-subdifferentials as well as ${\mathcal{L}\widehat{C}}_\theta$-subdifferential conditions for global extremum points are established.


title: Dodecahedral L-spaces and hyperbolic 4-manifolds

abstract: We prove that exactly 6 out of the 29 rational homology 3-spheres tessellated by four or less right-angled hyperbolic dodecahedra are L-spaces. The algorithm used is based on the L-space census provided by Dunfield in arXiv:1904.04628, and relies on a result by Rasmussen-Rasmussen arXiv:1508.05900. We use the existence of these manifolds together with a result of Martelli arXiv:1510.06325 to construct explicit examples of hyperbolic 4-manifolds containing separating L-spaces, and therefore having vanishing Seiberg-Witten invariants. This answers a question asked by Agol and Lin in arXiv:1812.06536.


title: Improved all-sky search method for continuous gravitational waves from unknown neutron stars in binary systems

abstract: Continuous gravitational waves from spinning deformed neutron stars have not been detected yet, and are one of the most promising signals for future detection. All-sky searches for continuous gravitational waves from unknown neutron stars in binary systems are the most computationally challenging search type. Consequently, very few search algorithms and implementations exist for these sources, and only a handful of such searches have been performed so far. In this paper, we present a new all-sky binary search method, BinarySkyHou$\mathcal{F}$, which extends and improves upon the earlier BinarySkyHough method, and which was the basis for a recent search (Covas et al. [1]). We compare the sensitivity and computational cost to previous methods, showing that it is both more sensitive and computationally efficient, which allows for broader and more sensitive searches.


title: Model-scale experiments of passive pitch control for tidal turbines

abstract: Tidal currents are renewable and predictable energy sources that could prove fundamental to decrease dependency from fossil fuels. Tidal currents, however, are highly unsteady and non uniform, resulting in undesirable load fluctuations on the blades and the drive train of turbines. A passive morphing blade concept capable to reduce the load fluctuations without affecting the mean loads has recently been formulated and demonstrated with numerical simulations (Pisetta et al., 2022). In this paper, we present the first demonstration of this morphing blade concept, through experimental tests on a 1.2 m diameter turbine. We show that fluctuations in the root-bending moment, thrust and torque are consistently reduced over a broad range of tip-speed ratios. This work also highlights some critical design aspects of morphing blades. For instance, it is showed that the friction resistance can substantially decrease the effectiveness of the system and thus must be minimised by design. Overall this paper demonstrates for the first time the effectiveness of morphing blades for tidal turbines, paving the way to the future development of this technology.


title: The Curse of Low Task Diversity: On the Failure of Transfer Learning to Outperform MAML and Their Empirical Equivalence

abstract: Recently, it has been observed that a transfer learning solution might be all we need to solve many few-shot learning benchmarks -- thus raising important questions about when and how meta-learning algorithms should be deployed. In this paper, we seek to clarify these questions by 1. proposing a novel metric -- the diversity coefficient -- to measure the diversity of tasks in a few-shot learning benchmark and 2. by comparing Model-Agnostic Meta-Learning (MAML) and transfer learning under fair conditions (same architecture, same optimizer, and all models trained to convergence). Using the diversity coefficient, we show that the popular MiniImageNet and CIFAR-FS few-shot learning benchmarks have low diversity. This novel insight contextualizes claims that transfer learning solutions are better than meta-learned solutions in the regime of low diversity under a fair comparison. Specifically, we empirically find that a low diversity coefficient correlates with a high similarity between transfer learning and MAML learned solutions in terms of accuracy at meta-test time and classification layer similarity (using feature based distance metrics like SVCCA, PWCCA, CKA, and OPD). To further support our claim, we find this meta-test accuracy holds even as the model size changes. Therefore, we conclude that in the low diversity regime, MAML and transfer learning have equivalent meta-test performance when both are compared fairly. We also hope our work inspires more thoughtful constructions and quantitative evaluations of meta-learning benchmarks in the future.


title: Dynamic charge Kondo effect and a slave fermion approach to the Mott transition

abstract: Mott transition plays a key role in strongly correlated physics but its nature is not yet fully understood. Motivated by recent development of Schwinger boson approach for the Kondo lattice, we propose in this work a novel slave fermion algorithm to study the Mott transition. Upon local approximation, our method yields a phase diagram with a zero-temperature continuous (Mott) metal-insulator transition at finite Coulomb interaction $U$ for the half-filled one-band Hubbard model on a square lattice, and the resistivity exhibits a critical scaling around the quantum Widom line. We argue that the Mott transition may be associated with a dynamic charge Kondo effect of local degenerate doublon and holon states, causing sharp resonances on the doublon/holon and electron spectra. The transition is pushed to $U=0$ once intersite antiferromagnetic correlations are included, in agreement with exact numerical calculations. Our approach captures some essential features of the Mott transition and offers an alternative angle to view this important problem. It can be extended to study other correlated electron models with more complicated local interactions.


title: Safe Supervisory Control of Soft Robot Actuators

abstract: Although soft robots show safer interactions with their environment than traditional robots, soft mechanisms and actuators still have significant potential for damage or degradation particularly during unmodeled contact. This article introduces a feedback strategy for safe soft actuator operation during control of a soft robot. To do so, a supervisory controller monitors actuator state and dynamically saturates control inputs to avoid conditions that could lead to physical damage. We prove that, under certain conditions, the supervisory controller is stable and verifiably safe. We then demonstrate completely onboard operation of the supervisory controller using a soft thermally-actuated robot limb with embedded shape memory alloy (SMA) actuators and sensing. Tests performed with the supervisor verify its theoretical properties and show stabilization of the robot limb's pose in free space. Finally, experiments show that our approach prevents overheating during contact (including environmental constraints and human contact) or when infeasible motions are commanded. This supervisory controller, and its ability to be executed with completely onboard sensing, has the potential to make soft robot actuators reliable enough for practical use.


title: A Turning Point for Verified Spectre Sandboxing

abstract: Spectre attacks enable an attacker to access restricted data in an application's memory. Both the academic community and industry veterans have developed several mitigations to block Spectre attacks, but to date, very few have been formally vetted; most are "best effort" strategies. Formal guarantees are particularly crucial for protecting isolated environments like sandboxing against Spectre attacks. In such environments, a subtle flaw in the mitigation would allow untrusted code to break out of the sandbox and access trusted memory regions. In our work, we develop principled foundations to build isolated environments resistant against Spectre attacks. We propose a formal framework for reasoning about sandbox execution and Spectre attacks. We formalize properties that sound mitigation strategies must fulfill and we show how various existing mitigations satisfy (or fail to satisfy!) these properties.


title: Investigation of robustness and numerical stability of multiple regression and PCA in modeling world development data

abstract: Popular methods for modeling data both labelled and unlabeled, multiple regression and PCA has been used in research for a vast number of datasets. In this investigation, we attempt to push the limits of these two methods by running a fit on world development data, a set notorious for its complexity and high dimensionality. We assess the robustness and numerical stability of both methods using their matrix condition number and ability to capture variance in the dataset. The result indicates poor performance from both methods from a numerical standpoint, yet certain qualitative insights can still be captured.


title: Fluctuating Fractionalized Spins in Quasi Two-dimensional Magnetic V0.85PS3

abstract: Quantum spin liquid (QSL), a state characterized by exotic low energy fractionalized excitations and statistics is still elusive experimentally and may be gauged via indirect experimental signatures. Remnant of QSL phase may reflect in the spin dynamics as well as quanta of lattice vibrations, i.e., phonons, via the strong coupling of phonons with the underlying fractionalized excitations i.e., Majorana fermions. Inelastic light scattering (Raman) studies on V1-xPS3 single crystals evidences the spin fractionalization into Majorana fermions deep into the paramagnetic phase reflected in the emergence of a low frequency quasielastic response along with a broad magnetic continuum marked by a crossover temperature T* ~ 200 K from a pure paramagnetic state to fractionalized spins regime qualitatively gauged via dynamic Raman susceptibility. We further evidenced anomalies in the phonons self-energy parameters in particular phonon line broadening and line asymmetry evolution at this crossover temperature, attributed to the decaying of phonons into itinerant Majorana fermions. This anomalous scattering response is thus indicative of fluctuating fractionalized spins suggesting a phase proximate to the quantum spin liquid state in this quasi two-dimensional (2D) magnetic system.


title: Research on work zone vehicle queuing behavior based on cellular automata

abstract: A model is proposed to estimate the work zone queue length, and the cellular automata based on empirical data is used for model validation. This estimation model can be applied to work zone organization and management to improve work zone capacity and security. Relationship between the average queue length and the warning zone length can be found, and the appropriate warning zone length can be determined according to design flow. Moreover, the appropriate work zone lane-changing strategies under different design flows are found through the estimation model.


title: A Cryogenically-Cooled High-Sensitivity Nuclear Quadrupole Resonance Spectrometer

abstract: The paper describes a radio frequency (RF) spectrometer for 14N nuclear quadrupole resonance (NQR) spectroscopy that uses a detector coil cooled to 77 K to maximize measurement sensitivity. The design uses a minimally-intrusive network of active duplexers and mechanical contact switches to realize a digitally reconfigurable series/parallel coil tuning network that allows transmit- and receive-mode performance to be independently optimized. The design is battery-powered and includes a mixed-signal embedded system to monitor and control secondary processes, thus enabling autonomous operation. Tests on an acetaminophen sample show that cooling both the detector and sample increases the signal-to-noise ratio (SNR) per scan by a factor of approximately 88 (in power units), in good agreement with theoretical predictions.


title: On Chaotic Behavior of ASH Attractors

abstract: The asymptotic sectional hyperbolicity is a weak notion of hyperbolicity that extends properly the sectional-hyperbolicity and includes the Rovella attractor as a archetypal example. The main feature of this definition is the existence of arbitrarily large hyperbolic times for points outside the stable manifolds of the singularities. In this paper we will prove that any attractor associated to a $C^1$ vector field $X$ on a three-dimensional manifold satisfying this kind of hyperbolicity is rescaling-expansive and presents sensitiveness respect to initial conditions.


title: QCD anatomy of photon isolation

abstract: To separate the energetic photons produced in hard scattering processes from those from other sources, measurements impose isolation requirements which restrict the hadronic radiation inside a cone around the photon. In this paper, we perform a detailed factorization analysis of the QCD effects associated with photon isolation. We show that for small cone radius $R$, photon isolation effects can be captured by a fragmentation function describing the decay of a parton into a photon accompanied by hadronic radiation. We compute this fragmentation function for different isolation criteria and solve the associated renormalization group equations to resum logarithms of $R$. For small isolation energy, the cone fragmentation function factorizes further, into collinear functions describing energetic quarks and gluons near the cone boundary and functions encoding their soft radiation emitted into the cone. Based on this factorization we also resum the non-global logarithms of the ratio of the photon energy and the isolation energy, so that we control all logarithmically enhanced terms in the cross section. Finally, we provide a simple formula to convert NNLO cross section results from smooth-cone isolation to fixed-cone isolation.


title: Low-complexity CNNs for Acoustic Scene Classification

abstract: This technical report describes the SurreyAudioTeam22s submission for DCASE 2022 ASC Task 1, Low-Complexity Acoustic Scene Classification (ASC). The task has two rules, (a) the ASC framework should have maximum 128K parameters, and (b) there should be a maximum of 30 millions multiply-accumulate operations (MACs) per inference. In this report, we present low-complexity systems for ASC that follow the rules intended for the task.


title: Super-Wideband Massive MIMO

abstract: We present a unified model for connected antenna arrays with a large number of tightly integrated (i.e., coupled) antennas in a compact space within the context of massive multiple-input multiple-output (MIMO) communication. We refer to this system as tightly-coupled massive MIMO. From an information-theoretic perspective, scaling the design of tightly-coupled massive MIMO systems in terms of the number of antennas, the operational bandwidth, and form factor was not addressed in prior art. We investigate this open research problem using a physically consistent modeling approach for far-field (FF) MIMO communication based on multi-port circuit theory. In doing so, we turn mutual coupling (MC) from a foe to a friend of MIMO systems design, thereby challenging a basic percept in antenna systems engineering that promotes MC mitigation/compensation. We show that tight MC widens the operational bandwidth of antenna arrays thereby unleashing a missing MIMO gain that we coin "bandwidth gain". Furthermore, we derive analytically the asymptotically optimum spacing-to-antenna-size ratio by establishing a condition for tight coupling in the limit of large-size antenna arrays with quasi-continuous apertures. We also optimize the antenna array size while maximizing the achievable rate under fixed transmit power and inter-element spacing. Then, we study the impact of MC on the achievable rate of MIMO systems under line-of-sight (LoS) and Rayleigh fading channels. These results reveal new insights into the design of tightly-coupled massive antenna arrays as opposed to the widely-adopted "disconnected" designs that disregard MC by putting faith in the half-wavelength spacing rule.


title: Nets in $\mathbb P^2$ and Alexander Duality

abstract: A net in $\mathbb{P}^2$ is a configuration of lines $\mathcal A$ and points $X$ satisfying certain incidence properties. Nets appear in a variety of settings, ranging from quasigroups to combinatorial design to classification of Kac-Moody algebras to cohomology jump loci of hyperplane arrangements. For a matroid $M$ and rank $r$, we associate a monomial ideal (a monomial variant of the Orlik-Solomon ideal) to the set of flats of $M$ of rank $\le r$. In the context of line arrangements in $\mathbb{P}^2$, applying Alexander duality to the resulting ideal yields insight into the combinatorial structure of nets.


title: Modeling kilonova afterglows: Effects of the thermal electron population and interaction with GRB outflows

abstract: Given an increasing number of gamma-ray bursts accompanied by potential kilonovae there is a growing importance to advance modelling of kilonova afterglows. In this work, we investigate how the presence of two electron populations that follow a Maxwellian (thermal) and a power-law (non-thermal) distributions affect kilonova afterglow light curves. We employ semi-analytic afterglow model, $\texttt{PyBlastAfterglow}$. We consider kilonova ejecta profiles from ab-initio numerical relativity binary neutron star merger simulations, targeted to GW170817. We do not perform model selection. We find that the emission from thermal electrons dominates at early times. If the interstellar medium density is high (${\simeq}0.1\,\ccm$) it adds an early time peak to the light curve. As ejecta decelerates the spectral and temporal indexes change in a characteristic way that, if observed, can be used to reconstruct the ejecta velocity distribution. For the low interstellar medium density, inferred for GRB 170817A, the emission from the non-thermal electron population generally dominates. We also assess how kilonova afterglow light curves change if the interstellar medium has been partially removed and pre-accelerated by laterally expanding gamma-ray burst ejecta. We find that the main effect is the emission suppression at early time ${\lesssim}10^{3}\,$days, and at its maximum it reaches ${\sim}40\%$ when the fast tail of the kilonova ejecta moves subsonically through the wake of laterally spreading gamma-ray burst ejecta. The subsequent rebrightening, when these ejecta break through and shocks form, is very mild (${\lesssim}10\%$), and may not be observable.


title: The design and optimization of synchronization sequence for Ultraviolet communication

abstract: In the ultraviolet (UV) scattering communication, the received signals exhibit the characteristics of discrete photoelectrons due to path loss. The synchronization is based on maximum Pulse Number-Sequence correlation problem. First of all, the accuracy of synchronization is vital to channel estimation and decoding. This article focuses on improving synchronization accuracy by designing and optimizing synchronization sequences. As for the maximum Pulse Number-Sequence correlation problem, it is assumed that the correlation values satisfy the Gaussian distribution and their mathematical expectation, variance and covariance are derived to express the upper bound of synchronization offset. The synchronization sequence we designed has two equilong RANDOM parts (Symbols meet Bernoulli distribution with equal probability.) and a $\{1,0,1,0,1,0,...,1,0,1,0\}$ part between them with $ \alpha $ as its proportion of entire sequence. On the premise of ensuring the synchronization reliability, the synchronization deviation can be reduced by optimizing $ \alpha $. There are simulation experiments to verify correctness of the derivation, reasonableness of the hypothesis and reliability of optimization. Compared with equilong random sequence, the synchronization accuracy of the optimized synchronization sequence is significantly improved.


title: Hilbert polynomials for finitary matroids

abstract: We consider a tuple $\Phi = (\phi_1,\ldots,\phi_m)$ of commuting maps on a finitary matroid $X$. We show that if $\Phi$ satisfies certain conditions, then for any finite set $A\subseteq X$, the rank of $\{\phi_1^{r_1}\cdots\phi_m^{r_m}(a):a \in A\text{ and }r_1+\cdots+r_m = t\}$ is eventually a polynomial in $t$ (we also give a multivariate version of the polynomial). This allows us easily recover Khovanskii's theorem on the growth of sumsets, the existence of the classical Hilbert polynomial, and the existence of the Kolchin polynomial. We also prove some new Kolchin polynomial results for differential exponential fields and derivations on o-minimal fields, as well as a new result on the growth of Betti numbers in simplicial complexes.


title: Lost in Space Marking

abstract: We look at a decision taken early in training a subword tokenizer, namely whether it should be the word-initial token that carries a special mark, or the word-final one. Based on surface-level considerations of efficiency and cohesion, as well as morphological coverage, we find that a Unigram LM tokenizer trained on pre-tokenized English text is better off marking the word-initial token, while one trained on raw text benefits from marking word ends. Our findings generalize across domains.


title: An Online Sparse Streaming Feature Selection Algorithm

abstract: Online streaming feature selection (OSFS), which conducts feature selection in an online manner, plays an important role in dealing with high-dimensional data. In many real applications such as intelligent healthcare platform, streaming feature always has some missing data, which raises a crucial challenge in conducting OSFS, i.e., how to establish the uncertain relationship between sparse streaming features and labels. Unfortunately, existing OSFS algorithms never consider such uncertain relationship. To fill this gap, we in this paper propose an online sparse streaming feature selection with uncertainty (OS2FSU) algorithm. OS2FSU consists of two main parts: 1) latent factor analysis is utilized to pre-estimate the missing data in sparse streaming features before con-ducting feature selection, and 2) fuzzy logic and neighborhood rough set are employed to alleviate the uncertainty between estimated streaming features and labels during conducting feature selection. In the experiments, OS2FSU is compared with five state-of-the-art OSFS algorithms on six real datasets. The results demonstrate that OS2FSU outperforms its competitors when missing data are encountered in OSFS.


title: Deepening the (Parameterized) Complexity Analysis of Incremental Stable Matching Problems

abstract: When computing stable matchings, it is usually assumed that the preferences of the agents in the matching market are fixed. However, in many realistic scenarios, preferences change over time. Consequently, an initially stable matching may become unstable. Then, a natural goal is to find a matching which is stable with respect to the modified preferences and as close as possible to the initial one. For Stable Marriage/Roommates, this problem was formally defined as Incremental Stable Marriage/Roommates by Bredereck et al. [AAAI '20]. As they showed that Incremental Stable Roommates and Incremental Stable Marriage with Ties are NP-hard, we focus on the parameterized complexity of these problems. We answer two open questions of Bredereck et al. [AAAI '20]: We show that Incremental Stable Roommates is W[1]-hard parameterized by the number of changes in the preferences, yet admits an intricate XP-algorithm, and we show that Incremental Stable Marriage with Ties is W[1]-hard parameterized by the number of ties. Furthermore, we analyze the influence of the degree of "similarity" between the agents' preference lists, identifying several polynomial-time solvable and fixed-parameter tractable cases, but also proving that Incremental Stable Roommates and Incremental Stable Marriage with Ties parameterized by the number of different preference lists are W[1]-hard.


title: Cluster Polylogarithms I: Quadrangular Polylogarithms

abstract: We suggest a definition of cluster polylogarithms on an arbitrary cluster variety and classify them in type $A$. We find functional equations for multiple polylogarithms which generalize equations discovered by Abel, Kummer, and Goncharov to an arbitrary weight. As an application, we prove a part of the Goncharov depth conjecture in weight six.


title: Approximate Bayesian Neural Operators: Uncertainty Quantification for Parametric PDEs

abstract: Neural operators are a type of deep architecture that learns to solve (i.e. learns the nonlinear solution operator of) partial differential equations (PDEs). The current state of the art for these models does not provide explicit uncertainty quantification. This is arguably even more of a problem for this kind of tasks than elsewhere in machine learning, because the dynamical systems typically described by PDEs often exhibit subtle, multiscale structure that makes errors hard to spot by humans. In this work, we first provide a mathematically detailed Bayesian formulation of the ''shallow'' (linear) version of neural operators in the formalism of Gaussian processes. We then extend this analytic treatment to general deep neural operators using approximate methods from Bayesian deep learning. We extend previous results on neural operators by providing them with uncertainty quantification. As a result, our approach is able to identify cases, and provide structured uncertainty estimates, where the neural operator fails to predict well.


title: Simplified approach to the magnetic blue shift of Mott gaps

abstract: The antiferromagnetic ordering in Mott insulators upon lowering the temperature is accompanied by a transfer of the single-particle spectral weight to lower energies and a shift of the Mott gap to higher energies (magnetic blue shift, MBS). The MBS is governed by the double exchange and the exchange mechanisms. Both mechanisms enhance the MBS upon increasing the number of orbitals. By performing a polynomial fit to numerical dynamical mean-field theory data we provide an expansion for the MBS in terms of hopping and exchange coupling of a prototype Hubbard-Kondo-Heisenberg model and discuss how the results can be generalized for application to realistic Mott or charge-transfer insulator materials. This allows estimating the MBS of the charge gap in real materials in an extremely simple way avoiding extensive theoretical calculations. The approach is exemplarily applied to $\alpha$-MnTe, NiO, and BiFeO$_3$ and an MBS of about $130$ meV, $360$ meV, and $157$ meV is found, respectively. The values are compared with the previous theoretical calculations and the available experimental data. Our ready-to-use formula for the MBS simplifies the future studies searching for materials with a strong coupling between the antiferromagnetic ordering and the charge excitations, which is paramount to realize a coupled spin-charge coherent dynamics at a femtosecond time scale.


title: Existence and nonexistence of positive radial solutions of a quasilinear Dirichlet problem with diffusion

abstract: In this paper existence and nonexistence results of positive radial solutions of a Dirichlet $m$-Laplacian problem with different weights and a diffusion term inside the divergence of the form $\big(a(|x|)+g(u)\big)^{-\gamma}$, with $\gamma>0$ and $a$, $g$ positive functions satisfying natural growth conditions, are proved. Precisely, we obtain a new critical exponent $m^*_{\alpha,\beta,\gamma}$, which extends the one relative to case with no diffusion and it divides existence from nonexistence of positive radial solutions. The results are obtained via several tools such as a suitable modification of the celebrated blow up technique, Liouville type theorems, a fixed point theorem and a Poho\v zaev-Pucci-Serrin type identity.


title: Hypothesis tests for multiple responses regression models in R: The htmcglm Package

abstract: This article describes the R package htmcglm implemented for performing hypothesis tests on regression and dispersion parameters of multivariate covariance generalized linear models (McGLMs). McGLMs provide a general statistical modeling framework for normal and non-normal multivariate data analysis along with a wide range of correlation structures. The proposed package considers the Wald statistics to perform general hypothesis tests and build tailored ANOVAs, MANOVAs and multiple comparison tests. The goal of the package is to provide tools to improve the interpretation of regression and dispersion parameters. We assess the effects of the covariates on the response variables by testing the regression coefficients. Similarly, we perform tests on the dispersion coefficients in order to assess the correlation between study units. It could be of interest in situations where the data observations are correlated with each other, such as in longitudinal, times series, spatial and repeated measures studies. The htmcglm package provides a user friendly interface to perform MANOVA like tests as well as multivariate hypothesis tests for models of the mcglm class. We describe the package implementation and illustrate it through the analysis of two data sets. The first deals with an experiment on soybean yield; the problem has three response variables of different types (continuous, counting and binomial) and three explanatory variables (amount of water, fertilization and block). The second dataset addresses a problem where responses are longitudinal bivariate counts of hunting animals; the explanatory variables used are the hunting method and sex of the animal. With these examples we were able to illustrate several tests in which the proposal proves to be useful for the evaluation of regression and dispersion parameters both in problems with dependent or independent observations.


title: Generalised Lotka-Volterra model with hierarchical interactions

abstract: In the analysis of complex ecosystems it is common to use random interaction coefficients, often assumed to be such that all species are statistically equivalent. In this work we relax this assumption by choosing interactions according to the cascade model, which we incorporate into a generalised Lotka-Volterra dynamical system. These interactions impose a hierarchy in the community. Species benefit more, on average, from interactions with species further below them in the hierarchy than from interactions with those above. Using dynamic mean-field theory, we demonstrate that a strong hierarchical structure is stabilising, but that it reduces the number of species in the surviving community, as well as their abundances. Additionally, we show that increased heterogeneity in the variances of the interaction coefficients across positions in the hierarchy is destabilising. We also comment on the structure of the surviving community and demonstrate that the abundance and probability of survival of a species is dependent on its position in the hierarchy.


title: Enhancing the Coherence of Superconducting Quantum Bits with Electric Fields

abstract: In the endeavour to make quantum computers a reality, integrated superconducting circuits have become a promising architecture. A major challenge of this approach is decoherence originating from spurious atomic tunneling defects at the interfaces of qubit electrodes, which may resonantly absorb energy from the qubit's oscillating electric field and reduce the qubit's energy relaxation time $T_1$. Here, we show that qubit coherence can be improved by tuning dominating defects away from the qubit resonance using an applied DC-electric field. We demonstrate a method that optimizes the applied field bias and enhances the 30-minute averaged qubit $T_1$ time by 23\%. We also discuss how local gate electrodes can be implemented in superconducting quantum processors to enable simultaneous in-situ coherence optimization of individual qubits.


title: Tensor network approach to 2d Lorentzian quantum Regge calculus

abstract: We demonstrate a tensor renormalization group (TRG) calculation for a two-dimensional Lorentzian model of quantum Regge calculus (QRC). This model is expressed in terms of a tensor network by discretizing the continuous edge lengths of simplicial manifolds and identifying them as tensor indices. The expectation value of space-time area, which is obtained through the higher-order TRG method, nicely reproduces the exact value. The Lorentzian model does not have the spike configuration that was an obstacle in the Euclidean QRC, but it still has a length-divergent configuration called a pinched geometry. We find a possibility that the pinched geometry is suppressed by checking the average edge length squared in the limit where the number of simplices is large. This implies that the Lorentzian model may describe smooth geometries, although the investigation of the higher moments is required to make the statement more conclusive. Our results also indicate that TRG is a promising approach to numerical study of simplicial quantum gravity.


title: The boundary phase transitions of the 2+1D $\mathbb{Z}_N$ topological order via topological Wick rotation

abstract: In this work, we show that a critical point of a 1d self-dual boundary phase transition between two gapped boundaries of the $\mathbb{Z}_N$ topological order can be described by a mathematical structure called an enriched fusion category. The critical point of a boundary phase transition can be viewed as a gappable non-chiral gapless boundary of the $\mathbb{Z}_N$ topological order. A mathematical theory of the gapless boundaries of 2d topological orders developed by Kong and Zheng (arXiv:1905.04924 and arXiv:1912.01760) tells us that all macroscopic observables on the gapless boundary form an enriched unitary fusion category, which can be obtained by a holographic principle called the ``topological Wick rotation." Using this method, we obtain the enriched fusion category that describes a critical point of the phase transition between the $\mathbf{e}$-condensed boundary and the $\mathbf{m}$-condensed boundary of the $\mathbb{Z}_N$ topological order. To verify this idea, we also construct a lattice model to realize the critical point and recover the mathematical data of this enriched fusion category. The construction further shows that the categorical symmetry of the boundary is determined by the topological defects in the bulk, which indicates the holographic principle indirectly. This work shows, as a concrete example, that the mathematical theory of the gapless boundaries of 2+1D topological orders is a powerful tool to study general phase transitions.


title: Stochastic Deep Networks with Linear Competing Units for Model-Agnostic Meta-Learning

abstract: This work addresses meta-learning (ML) by considering deep networks with stochastic local winner-takes-all (LWTA) activations. This type of network units results in sparse representations from each model layer, as the units are organized into blocks where only one unit generates a non-zero output. The main operating principle of the introduced units rely on stochastic principles, as the network performs posterior sampling over competing units to select the winner. Therefore, the proposed networks are explicitly designed to extract input data representations of sparse stochastic nature, as opposed to the currently standard deterministic representation paradigm. Our approach produces state-of-the-art predictive accuracy on few-shot image classification and regression experiments, as well as reduced predictive error on an active learning setting; these improvements come with an immensely reduced computational cost.


title: Cohomogeneity-One Lagrangian Mean Curvature Flow

abstract: We study mean curvature flow of Lagrangians in $\mathbb{C}^n$ that are cohomogeneity-one with respect to a compact Lie group $G \leq \mathrm{SU}(n)$ acting linearly on $\mathbb{C}^n$. Each such Lagrangian necessarily lies in a level set $\mu^{-1}(\xi)$ of the standard moment map $\mu \colon \mathbb{C}^n \to \mathfrak{g}^*$, and mean curvature flow preserves this containment. We classify all cohomogeneity-one self-similarly shrinking, expanding and translating solutions to the flow, as well as cohomogeneity-one smooth special Lagrangians lying in $\mu^{-1}(0)$. Restricting to the case of almost-calibrated flows in the zero level set $\mu^{-1}(0)$, we classify finite-time singularities, explicitly describing the Type I and Type II blowup models. Finally, given any cohomogeneity-one special Lagrangian in $\mu^{-1}(0)$, we show it occurs as the Type II blowup model of a Lagrangian MCF singularity. Throughout, we give explicit examples of suitable group actions, including a complete list in the case of $G$ simple. This yields infinitely many new examples of shrinking and expanding solitons for Lagrangian MCF, as well as infinitely many new singularity models.


title: ferret: a Framework for Benchmarking Explainers on Transformers

abstract: As Transformers are increasingly relied upon to solve complex NLP problems, there is an increased need for their decisions to be humanly interpretable. While several explainable AI (XAI) techniques for interpreting the outputs of transformer-based models have been proposed, there is still a lack of easy access to using and comparing them. We introduce ferret, a Python library to simplify the use and comparisons of XAI methods on transformer-based classifiers. With ferret, users can visualize and compare transformers-based models output explanations using state-of-the-art XAI methods on any free-text or existing XAI corpora. Moreover, users can also evaluate ad-hoc XAI metrics to select the most faithful and plausible explanations. To align with the recently consolidated process of sharing and using transformers-based models from Hugging Face, ferret interfaces directly with its Python library. In this paper, we showcase ferret to benchmark XAI methods used on transformers for sentiment analysis and hate speech detection. We show how specific methods provide consistently better explanations and are preferable in the context of transformer models.