title: Current density in solar fuel technologies

abstract: Solar-to-fuel direct conversion devices are a key component to realize a full transition to a renewable-energy based chemistry and energy, but their limits and possibilities are still under large debate. In this review article, we focus on the current density as a fundamental figure of merit to analyse these aspects and to compare different device configurations and types of solar fuels produced from small molecules such as H$_2$O, CO$_2$ and N$_2$. Devices with physical separation of the anodic and cathodic zones, photoelectrochemical-type (PEC) or with a photovoltaic element integrated in an electrochemical cell (PV/EC), are analysed. The physico-chemical mechanisms involved in device operation that affect the current density and relations with device architecture are first discussed. Aspects relevant to device design in relation to practical use are also commented on. Then discussion is moved towards the relevance of these aspects to compare the behaviour in the state-of-the-art of the conversion of these small molecules, with focus on solar fuels from H$_2$O, CO$_2$ and N$_2$ conversion, highligthing the gaps and perspectives of such technologies. The still significant lack of crucial data, notwithstanding the extensive literature on the topic, has to be remarked on, particularly in terms of the need to operate these cells in conjunction with sun concentration (in the 50-100 sun range) which emerges as the necessary direction from this analysis, with consequent aspects in terms of cell and materials design to operate in these conditions. The work provides a guide for the optimisation of the investigated technology and the fixing of their practical limits for large-scale applications.


title: An Exploration of X-ray Supernova Remnants in the Milky Way and Nearby Galaxies

abstract: We probe the environmental properties of X-ray supernova remnants (SNRs) at various points along their evolutionary journey, especially the S-T phase, and their conformance with theoretically derived models of SNR evolution. The remnant size is used as a proxy for the age of the remnant. Our data set includes 34 Milky Way, 59 Large Magellanic Cloud (LMC), and 5 Small Magellanic Cloud (SMC) SNRs. We select remnants that have been definitively typed as either core-collapse (CC) or Type Ia supernovae, with well-defined size estimates, and a thermal X-ray flux measured over the entire remnant. A catalog of SNR size and X-ray luminosity is presented and plotted, with ambient density and age estimates from the literature. Model remnants with a given density, in the Sedov-Taylor (S-T) phase, are overplotted on the diameter-vs-luminosity plot, allowing the evolutionary state and physical properties of SNRs to be compared to each other, and to theoretical models. We find that small, young remnants are predominantly Type Ia remnants or high luminosity CCs, suggesting that many CC SNRs are not detected until after they have emerged from the progenitor's wind-blown bubble. An examination of the distribution of SNR diameters in the Milky Way and LMC reveals that LMC SNRs must be evolving in an ambient medium which is 30% as dense as that in the Milky Way. This is consistent with ambient density estimates for the Galaxy and LMC.


title: Precision boson-jet azimuthal decorrelation at hadron colliders

abstract: The azimuthal angular decorrelation of a vector boson and jet is sensitive to QCD radiation, and can be used to probe the quark-gluon plasma in heavy-ion collisions. By using a recoil-free jet definition, the sensitivity to contamination from soft radiation on the measurement is reduced, and the complication of non-global logarithms is eliminated from our theoretical calculation. Specifically we will consider the $p_T^n$ recombination scheme, as well as the $n\to \infty$ limit, known as the winner-take-all scheme. These jet definitions also significantly simplify the calculation for a track-based measurement, which is preferred due to its superior angular resolution. We present a detailed discussion of the factorization in Soft-Collinear Effective Theory, revealing why the transverse momentum $\vec q_T$ is more complicated than the azimuthal angle. We show that potential glauber contributions do not spoil our factorization formalism, at least up to and including order $\alpha_s^3$. The resummation is carried out using the renormalization group, and all necessary ingredients are collected or calculated. We conclude with a detailed phenomenological study, finding an enhanced matching correction for high jet $p_T$ due to the electroweak collinear enhancement of a boson emission off di-jets. We also compare with the Pythia event generator, finding that our observable is very robust to hadronization and the underlying event.


title: Isotope purification induced reduction of spin relaxation and spin coherence times in semiconductors

abstract: Paramagnetic defects and nuclear spins are often the major sources of decoherence and spin relaxation in solid-state qubits realized by optically addressable point defect spins in semiconductors. It is commonly accepted that a high degree of depletion of nuclear spins can enhance the coherence time by reducing magnetic noise. Here we show that the isotope purification beyond a certain optimal level becomes contra-productive, when both electron and nuclear spins are present in the vicinity of the qubits. Using state-of-the-art numerical tools and considering the silicon vacancy qubit in various spin environments, we demonstrate that the coupling to spin-1/2 point defects in the lattice can be significantly enhanced by isotope purification. The enhanced coupling shortens the spin relaxation time that in turn may limit the the coherence time of spin qubits. Our results can be straightforwardly generalized to triplet point defect qubits, such as the NV center in diamond and the divacancy in SiC.


title: Hyperbolic Matter in Electrical Circuits with Tunable Complex Phases

abstract: Curved spaces play a fundamental role in many areas of modern physics, from cosmological length scales to subatomic structures related to quantum information and quantum gravity. In tabletop experiments, negatively curved spaces can be simulated with hyperbolic lattices. Here we introduce and experimentally realize hyperbolic matter as a paradigm for topological states through topolectrical circuit networks relying on a complex-phase circuit element. The experiment is based on hyperbolic band theory that we confirm here in an unprecedented numerical survey of finite hyperbolic lattices. We implement hyperbolic graphene as an example of topologically nontrivial hyperbolic matter. Our work sets the stage to realize more complex forms of hyperbolic matter to challenge our established theories of physics in curved space, while the tunable complex-phase element developed here can be a key ingredient for future experimental simulation of various Hamiltonians with topological ground states.


title: A fully noncommutative analog of the Painlev\'e IV equation and a structure of its solutions

abstract: We study a fully noncommutative generalisation of the commutative fourth Painlev\'e equation that possesses solutions in terms of an infinite Toda system over an associative unital division ring equipped by a derivation.


title: Nodal vacancy bound states and resonances in three-dimensional Weyl semimetals

abstract: The electronic structure of a cubic $\mathcal{T}$-symmetric Weyl semimetal is analysed in the presence of atomic-sized vacancy defects. Isolated vacancies are shown to generate nodal bound states with $r^{{\scriptscriptstyle -2}}$ asymptotic tails, even when immersed in a weakly disordered environment. These states show up as a significantly enhanced nodal density of states which, as the concentration of defects is increased, reshapes into a nodal peak that is broadened by inter-vacancy hybridisation into a comb of satellite resonances at finite energies. Our results establish point defects as a crucial source of elastic scattering that leads to nontrivial modifications in the electronic structure of Weyl semimetals.


title: Data-driven Tensor Train Gradient Cross Approximation for Hamilton-Jacobi-Bellman Equations

abstract: A gradient-enhanced functional tensor train cross approximation method for the resolution of the Hamilton-Jacobi-Bellman (HJB) equations associated to optimal feedback control of nonlinear dynamics is presented. The procedure uses samples of both the solution of the HJB equation and its gradient to obtain a tensor train approximation of the value function. The collection of the data for the algorithm is based on two possible techniques: Pontryagin Maximum Principle and State Dependent Riccati Equations. Several numerical tests are presented in low and high dimension showing the effectiveness of the proposed method and its robustness with respect to inexact data evaluations, provided by the gradient information. The resulting tensor train approximation paves the way towards fast synthesis of the control signal in real-time applications.


title: Absolutely $k$-Incoherent Quantum States and Spectral Inequalities for Factor Width of a Matrix

abstract: We investigate the set of quantum states that can be shown to be $k$-incoherent based only on their eigenvalues (equivalently, we explore which Hermitian matrices can be shown to have small factor width based only on their eigenvalues). In analogy with the absolute separability problem in quantum resource theory, we call these states "absolutely $k$-incoherent", and we derive several necessary and sufficient conditions for membership in this set. We obtain many of our results by making use of recent results concerning hyperbolicity cones associated with elementary symmetric polynomials.


title: Frozen spatial coherence

abstract: Inspired by the concept of coherent frozen waves, this paper introduces one possible theoretical framework of its partially coherent version, a frozen spatial coherence, in which a desired two-point correlation structure of an optical field is created on the propagation axis by superposing partially coherent zero-order Bessel beams. It is shown that the cross-spectral density can be given a description in terms of a two-dimensional Fourier series, analogous to the one-dimensional approach of coherent frozen waves. The formalism is applied to the design of a partially coherent field which is highly coherent only if the pair of points in the propagation axis belong to a predetermined and finite range and highly incoherent outside that range.


title: Gamma Rhythm Analysis and Simulation Using Neuron Models

abstract: Neural oscillations are electrical activities of the brain measurable at different frequencies. This paper studies the interaction between the fast and slow processes in the brain. We recorded signals intracranially from the simple Wistar rats, performed the signal processing, and computed the correlation between envelopes of the high-frequency gamma rhythm and a low-frequency ECoG signal. The analysis shows that the low-frequency signal (delta rhythm) modulates the gamma rhythm with a small time delay. Further, we used simple excitable neuron models, namely FitzHugh-Nagumo and Hindmarsh-Rose, to simulate the gamma rhythm. The low-frequency signal delta rhythm can be used as the input to affect the threshold and simulate gamma rhythm using these neuron models.


title: An Efficient Calculation of Quaternion Correlation of Signals and Color Images

abstract: Over the past century, a correlation has been an essential mathematical technique utilized in engineering sciences, including practically every signal/image processing field. This paper describes an effective method of calculating the correlation function of signals and color images in quaternion algebra. We propose using the quaternions with a commutative multiplication operation and defining the corresponding correlation function in this arithmetic. The correlation between quaternion signals and images can be calculated by multiplying two quaternion DFTs of signals and images. The complexity of the correlation of color images is three times higher than in complex algebra.


title: Vibration-Based Bridge Health Monitoring using Telecommunication Cables

abstract: Bridge Health Monitoring (BHM) enables early damage detection of bridges and is thus critical for avoiding more severe damages that might result in major financial and human losses. However, conventional BHM systems require dedicated sensors on bridges, which is costly to install and maintain and hard to scale up. To overcome this challenge, we introduce a new system that uses existing telecommunication cables for Distributed Acoustic Sensing (DAS) to collect bridge dynamic strain responses. In addition, we develop a two-module physics-guided system identification method to extract bridge damage-sensitive information (e.g., natural frequencies and mode shapes) from noisy DAS data by constraining strain and displacement mode shapes by bridge dynamics. This approach does not require installation and maintenance of dedicated sensors on bridges. We evaluate our system with field experiments on a concrete bridge with fiber cable running in a conduit under the deck. Our system successfully identified modal frequencies and reconstructed meter-scale mode shapes.


title: First High-speed Video Camera Observations of a Lightning Flash Associated with a Downward Terrestrial Gamma-ray Flash

abstract: In this paper, we present the first high-speed video observation of a cloud-to-ground lightning flash and its associated downward-directed Terrestrial Gamma-ray Flash (TGF). The optical emission of the event was observed by a high-speed video camera running at 40,000 frames per second in conjunction with the Telescope Array Surface Detector, Lightning Mapping Array, interferometer, electric-field fast antenna, and the National Lightning Detection Network. The cloud-to-ground flash associated with the observed TGF was formed by a fast downward leader followed by a very intense return stroke peak current of -154 kA. The TGF occurred while the downward leader was below cloud base, and even when it was halfway in its propagation to ground. The suite of gamma-ray and lightning instruments, timing resolution, and source proximity offer us detailed information and therefore a unique look at the TGF phenomena.


title: Using Thermal Ratchet Mechanism to Achieve Net Motility in Magnetic Microswimmers

abstract: Thermal ratchets can extract useful work from random fluctuations. This is common in the molecular scale, such as motor proteins, and has also been used to achieve directional transport in microfluidic devices. In this work, we use the ratchet principle to induce net motility in an externally powered magnetic colloid, which otherwise shows reciprocal (back and forth) motion. The experimental system is based on ferromagnetic micro helices driven by oscillating magnetic fields, where the reciprocal symmetry is broken through asymmetric actuation timescales. The swimmers show net motility with an enhanced diffusivity, in agreement with the numerical calculations. This new class of microscale, magnetically powered, active colloids can provide a promising experimental platform to simulate diverse active matter phenomena in the natural world.


title: A $C_{4}$-decomposition of the $\lambda$-fold line graph of $K_{m,n}$

abstract: The small cycle decompositions of line graph ($\lambda$-fold line graph) of complete graphs and complete bipartite graphs are studied by many papers. In particular, Colby and Rodger obtained necessary and sufficient conditions for the existence of a $C_{4}$-decomposition of the $\lambda$-fold line graph of $K_{n}$, and Ganesamurthy and Paulraja completely determined the values of $n$ and $\lambda$ for which the $\lambda$-fold line graph of $K_{n}$ has a $C_{5}$-decomposition. In this paper, we obtain the necessary and sufficient condition for the existence of a $C_{4}$-decomposition of the $\lambda$-fold line graph of $K_{m,n}$.


title: On the intersection density of the Kneser Graph $K(n,3)$

abstract: A set $\mathcal{F} \subset \operatorname{Sym}(V)$ is \textsl{intersecting} if any two of its elements agree on some element of $V$. Given a finite transitive permutation group $G\leq \operatorname{Sym}(V)$, the \textsl{intersection density} $\rho(G)$ is the maximum ratio $\frac{|\mathcal{F}||V|}{|G|}$ where $\mathcal{F}$ runs through all intersecting sets of $G$. The \textsl{intersection density} $\rho(X)$ of a vertex-transitive graph $X = (V,E)$ is equal to $\max \left\{ \rho(G) : G \leq \operatorname{Aut}(X), \mbox{ $G$ transitive} \right\}$. In this paper, we study the intersection density of the Kneser graph $K(n,3)$, for $n\geq 7$. The intersection density of $K(n,3)$ is determined whenever its automorphism group contains $\operatorname{PSL}_{2}(q)$, with some exceptional cases depending on the congruence of $q$. We also briefly consider the intersection density of $K(n,2)$ for values of $n$ where $\operatorname{PSL}_{2}(q)$ is a subgroup of its automorphism group.


title: Robust Data-Driven Output Feedback Control via Bootstrapped Multiplicative Noise

abstract: We propose a robust data-driven output feedback control algorithm that explicitly incorporates inherent finite-sample model estimate uncertainties into the control design. The algorithm has three components: (1) a subspace identification nominal model estimator; (2) a bootstrap resampling method that quantifies non-asymptotic variance of the nominal model estimate; and (3) a non-conventional robust control design method comprising a coupled optimal dynamic output feedback filter and controller with multiplicative noise. A key advantage of the proposed approach is that the system identification and robust control design procedures both use stochastic uncertainty representations, so that the actual inherent statistical estimation uncertainty directly aligns with the uncertainty the robust controller is being designed against. Moreover, the control design method accommodates a highly structured uncertainty representation that can capture uncertainty shape more effectively than existing approaches. We show through numerical experiments that the proposed robust data-driven output feedback controller can significantly outperform a certainty equivalent controller on various measures of sample complexity and stability robustness.


title: Constraints on anomalous Higgs boson couplings to vector bosons and fermions from the production of Higgs bosons using the $\tau\tau$ final state

abstract: A study of anomalous couplings of the Higgs boson to vector bosons and fermions is presented. The data were recorded by the CMS experiment at a center-of-mass energy of pp collisions at the LHC of 13 TeV and correspond to an integrated luminosity of 138 fb$^{-1}$. The study uses Higgs boson candidates produced mainly in gluon fusion or electroweak vector boson fusion at the LHC that subsequently decay to a pair of $\tau$ leptons. Matrix-element and machine-learning techniques were employed in a search for anomalous interactions. The results are combined with those from the four-lepton and two-photon decay channels to yield the most stringent constraints on anomalous Higgs boson couplings to date. The pure $CP$-odd scenario of the Higgs boson coupling to gluons is excluded at 2.4 standard deviations. The results are consistent with the standard model predictions.


title: Detecting Phishing sites Without Visiting them

abstract: Now-a-days, cyberattacks are increasing at an unprecedented rate. Phishing is a social engineering attack which has a massive global impact, destroying the financial and economic value of corporations, government sectors and individuals. In phishing, attackers steal users personal information such as username, passwords, debit card information and so on. In order to detect zero-hour attacks and protect end-users from these attacks, various anti-phishing techniques are developed, but the end-users have to visit the websites to know whether they are safe or not, which may lead to infecting their system. In this paper, we propose a method where end-users can detect the genuineness of the sites without visiting them. The proposed method collects legitimate and phishing URLs and extract features from them. The extracted features are given as input to six different classifiers for training and constructing the model. The classifiers used are Naive-Bayes, Logistic Regression, Random Forest,CatBoost, XGBoost and Multilayer perceptron. The method is tested by developing into an extension so that the end-users can use it when browsing. In the browser extension when the user takes the cursor over any link, a pop-up appears showing the nature of the website i.e., safe site or deceptive site and then a confirm box shows up asking the user whether they want to visit or not. The performance of the approach is tested using a dataset consisting of 2000 phishing and legitimate website URLs and the method is able to detect the sites correctly in very little time. Random-Forest is chosen for constructing the model as it gives the highest accuracy of 95%.


title: Multichannel Optimal Tree-Decodable Codes are Not Always Optimal Prefix Codes

abstract: The theory of multichannel prefix codes aims to generalize the classical theory of prefix codes. Although single- and two-channel prefix codes always have decoding trees, the same cannot be said when there are more than two channels. One question is of theoretical interest: Do there exist optimal tree-decodable codes that are not optimal prefix codes? Existing literature, which focused on generalizing single-channel results, covered little about non-tree-decodable prefix codes since they have no single-channel counterparts. In this work, we study the fundamental reason behind the non-tree-decodability of prefix codes. By investigating the simplest non-tree-decodable structure, we obtain a general sufficient condition on the channel alphabets for the existence of optimal tree-decodable codes that are not optimal prefix codes.


title: Deep fusion of gray level co-occurrence matrices for lung nodule classification

abstract: Lung cancer is a severe menace to human health, due to which millions of people die because of late diagnoses of cancer; thus, it is vital to detect the disease as early as possible. The Computerized chest analysis Tomography of scan is assumed to be one of the efficient solutions for detecting and classifying lung nodules. The necessity of high accuracy of analyzing C.T. scan images of the lung is considered as one of the crucial challenges in detecting and classifying lung cancer. A new long-short-term-memory (LSTM) based deep fusion structure, is introduced, where, the texture features computed from lung nodules through new volumetric grey-level-co-occurrence-matrices (GLCM) computations are applied to classify the nodules into: benign, malignant and ambiguous. An improved Otsu segmentation method combined with the water strider optimization algorithm (WSA) is proposed to detect the lung nodules. Otsu-WSA thresholding can overcome the restrictions present in previous thresholding methods. Extended experiments are run to assess this fusion structure by considering 2D-GLCM computations based 2D-slices fusion, and an approximation of this 3D-GLCM with volumetric 2.5D-GLCM computations-based LSTM fusion structure. The proposed methods are trained and assessed through the LIDC-IDRI dataset, where 94.4%, 91.6%, and 95.8% Accuracy, sensitivity, and specificity are obtained, respectively for 2D-GLCM fusion and 97.33%, 96%, and 98%, accuracy, sensitivity, and specificity, respectively, for 2.5D-GLCM fusion. The yield of the same are 98.7%, 98%, and 99%, for the 3D-GLCM fusion. The obtained results and analysis indicate that the WSA-Otsu method requires less execution time and yields a more accurate thresholding process. It is found that 3D-GLCM based LSTM outperforms its counterparts.


title: Extracting Latent Steering Vectors from Pretrained Language Models

abstract: Prior work on controllable text generation has focused on learning how to control language models through trainable decoding, smart-prompt design, or fine-tuning based on a desired objective. We hypothesize that the information needed to steer the model to generate a target sentence is already encoded within the model. Accordingly, we explore a different approach altogether: extracting latent vectors directly from pretrained language model decoders without fine-tuning. Experiments show that there exist steering vectors, which, when added to the hidden states of the language model, generate a target sentence nearly perfectly (> 99 BLEU) for English sentences from a variety of domains. We show that vector arithmetic can be used for unsupervised sentiment transfer on the Yelp sentiment benchmark, with performance comparable to models tailored to this task. We find that distances between steering vectors reflect sentence similarity when evaluated on a textual similarity benchmark (STS-B), outperforming pooled hidden states of models. Finally, we present an analysis of the intrinsic properties of the steering vectors. Taken together, our results suggest that frozen LMs can be effectively controlled through their latent steering space.


title: Cluster scattering diagrams of acyclic affine type

abstract: We give an explicit construction of the cluster scattering diagram for any acyclic exchange matrix of affine type. We show that the corresponding cluster scattering fan coincides both with the mutation fan and with a fan constructed in the almost-positive roots model.


title: A Meta-Analysis of the Utility of Explainable Artificial Intelligence in Human-AI Decision-Making

abstract: Research in artificial intelligence (AI)-assisted decision-making is experiencing tremendous growth with a constantly rising number of studies evaluating the effect of AI with and without techniques from the field of explainable AI (XAI) on human decision-making performance. However, as tasks and experimental setups vary due to different objectives, some studies report improved user decision-making performance through XAI, while others report only negligible effects. Therefore, in this article, we present an initial synthesis of existing research on XAI studies using a statistical meta-analysis to derive implications across existing research. We observe a statistically positive impact of XAI on users' performance. Additionally, the first results indicate that human-AI decision-making tends to yield better task performance on text data. However, we find no effect of explanations on users' performance compared to sole AI predictions. Our initial synthesis gives rise to future research investigating the underlying causes and contributes to further developing algorithms that effectively benefit human decision-makers by providing meaningful explanations.


title: Complex hyperbolic Kleinian groups of large critical exponents

abstract: In this article, we show that there exist discrete isometry groups of the $2$- and $3$-dimensional complex hyperbolic spaces with critical exponents arbitrarily close to but strictly smaller than the maximum possible value. This result shows no gap in the values of critical exponents for complex hyperbolic Kleinian groups.


title: Human Language Modeling

abstract: Natural language is generated by people, yet traditional language modeling views words or documents as if generated independently. Here, we propose human language modeling (HuLM), a hierarchical extension to the language modeling problem whereby a human-level exists to connect sequences of documents (e.g. social media messages) and capture the notion that human language is moderated by changing human states. We introduce, HaRT, a large-scale transformer model for the HuLM task, pre-trained on approximately 100,000 social media users, and demonstrate its effectiveness in terms of both language modeling (perplexity) for social media and fine-tuning for 4 downstream tasks spanning document- and user-levels: stance detection, sentiment classification, age estimation, and personality assessment. Results on all tasks meet or surpass the current state-of-the-art.


title: Elaborating the Ultimate Fate of Fast Collective Neutrino Flavor Oscillations

abstract: Dense clouds of neutrinos and antineutrinos can exhibit fast collective flavor oscillations. Previously, in Phys. Rev. Lett. 126 (2021) 061302, we proposed that such flavor oscillations lead to depolarization, i.e., an irreversible mixing of the flavors, whose extent depends on the initial momentum distributions of the different flavors. In this paper, we elaborate and extend this proposal, and compare it with related results in the literature. We present an accurate analytical estimate for the lower resting point of the fast flavor pendulum and underline the relaxation mechanisms, i.e., transverse relaxation, multipole cascade, and mixing of flavor-waves, that cause it to settle down. We estimate the extent of depolarization, its dependence on momentum and net lepton asymmetry, and its generalization to three flavors. Finally, we prescribe approximate analytical recipes for the depolarized distributions and fluxes that can be used in supernova/nucleosynthesis simulations and supernova neutrino phenomenology.

categories: hep-ph astro-ph.CO astro-ph.GA astro-ph.HE astro-ph.SR


title: Single-ion properties of the transverse-field Ising model material CoNb$_2$O$_6$

abstract: CoNb$_2$O$_6$ is one of the few materials that is known to approximate the one-dimensional transverse-field Ising model (1D-TFIM) near its quantum critical point. It has been inferred that Co$^{2+}$ acts as a pseudo-spin 1/2 with anisotropic exchange interactions that are largely Ising-like, enabling the realization of the TFIM. However, the behavior of CoNb$_2$O$_6$ is known to diverge from the ideal TFIM under transverse magnetic fields that are far from the quantum critical point, requiring the consideration of additional anisotropic, bond-dependent (Kitaev-like) terms in the microscopic pseudo-spin 1/2 Hamiltonian. These terms are expected to be controlled in part by single-ion physics, namely the wavefunction for the pseudo-spin 1/2 angular momentum doublet. Here, we present the results of both inelastic neutron scattering measurements and electron paramagnetic resonance spectroscopy on CoNb$_2$O$_6$, which elucidate the single-ion physics of Co$^{2+}$ in CoNb$_2$O$_6$ for the first time. We find that the system is well-described by an intermediate spin-orbit coupled Hamiltonian, and the ground state is a well-isolated Kramers doublet with an anisotropic $g$-tensor. We provide the approximate wavefunctions for this doublet, which we expect will be useful in theoretical investigations of the anisotropic exchange interactions.


title: UL2: Unifying Language Learning Paradigms

abstract: Existing pre-trained models are generally geared towards a particular class of problems. To date, there seems to be still no consensus on what the right architecture and pre-training setup should be. This paper presents a unified framework for pre-training models that are universally effective across datasets and setups. We begin by disentangling architectural archetypes with pre-training objectives -- two concepts that are commonly conflated. Next, we present a generalized & unified perspective for self-supervision in NLP and show how different pre-training objectives can be cast as one another and how interpolating between different objectives can be effective. We then propose Mixture-of-Denoisers (MoD), a pre-training objective that combines diverse pre-training paradigms together. We furthermore introduce a notion of mode switching, wherein downstream fine-tuning is associated with specific pre-training schemes. We conduct extensive ablative experiments to compare multiple pre-training objectives and find that our method pushes the Pareto-frontier by outperforming T5 & GPT-like models across multiple diverse setups. By scaling our model up to 20B parameters, we achieve SOTA performance on 50 well-established supervised finetuning based NLP tasks. Our model also achieve strong results at in-context learning, outperforming 175B GPT-3 on zero-shot SuperGLUE and tripling the performance of T5-XXL on one-shot summarization. On 0-shot MMLU, UL2 20B outperforms T0 and T5 models. UL2 20B also works well with chain-of-thought prompting and reasoning, making it an appealing choice for research into reasoning at a small to medium scale of 20B parameters. Finally, we apply FLAN instruction tuning to the UL2 20B model, achieving MMLU and Big-Bench scores competitive to FLAN-PaLM 62B. We release Flax-based T5X checkpoints for the UL2 20B & Flan-UL2 20B.


title: Black-hole ringdown as a probe of higher-curvature gravity theories

abstract: Detecting gravitational waves from coalescing compact binaries allows us to explore the dynamical, nonlinear regime of general relativity and constrain modifications to it. Some of the gravitational-wave events observed by the LIGO-Virgo Collaboration have sufficiently high signal-to-noise ratio in the merger, allowing us to probe the relaxation of the remnant black hole to its final, stationary state - the so-called black-hole ringdown, which is characterized by a set of quasinormal modes. Can we use the ringdown to constrain deviations from general relativity, as predicted by several of its contenders? Here, we address this question by using an inspiral-merger-ringdown waveform model in the effective-one-body formalism, augmented with a parametrization of the ringdown based on an expansion in the final black hole's spin. We give a prescription on how to include in this waveform model, the quasinormal mode frequencies calculated on a theory-by-theory basis. In particular, we focus on theories that modify general relativity by higher-order curvature corrections, namely, Einstein-dilaton-Gauss-Bonnet (EdGB), dynamical Chern-Simons (dCS) theories, and cubic- and quartic-order effective-field-theories (EFT) of general relativity. We use this parametrized waveform model to measure the ringdown properties of the two loudest ringdown signals observed so far, GW150914 and GW200129. We find that while EdGB theory cannot be constrained with these events, we can place upper bounds on the fundamental lengthscale of cubic- ($\ell_{\rm cEFT} \leqslant 38.2$ km) and quartic-order ($\ell_{\rm qEFT} \leqslant 51.3$ km) EFTs of general relativity, and of dCS gravity ($\ell_{\rm dCS} \leqslant 38.7$ km). The latter result is a concrete example of a theory presently unconstrained by inspiral-only analyses which, however, can be constrained by merger-ringdown studies with current gravitational-wave data.


title: Convergence of the financial value of weak information for a sequence of discrete-time markets

abstract: We examine weak anticipations in discrete-time and continuous-time financial markets consisting of one risk-free asset and multiple risky assets, defining a minimal probability measure associated with the anticipation that does not depend on the choice of a utility function. We then define the financial value of weak information in the discrete-time economies and show that these values converge to the financial value of weak information in the continuous-time economy in the case of a complete market.


title: Discriminating between Lorentz violation and non-standard interactions using core-passing atmospheric neutrinos at INO-ICAL

abstract: Precision measurements of neutrino oscillation parameters have provided a tremendous boost to the search for sub-leading effects due to several beyond the Standard Model scenarios in neutrino oscillation experiments. Among these, two of the well-studied scenarios are Lorentz violation (LV) and non-standard interactions (NSI), both of which can affect neutrino oscillations significantly. We point out that, at a long-baseline experiment where the neutrino oscillation probabilities can be well-approximated by using the line-averaged constant matter density, the effects of these two scenarios can mimic each other. This would allow the limits obtained at such an experiment on one of the above scenarios to be directly translated to the limits on the other scenario. However, for the same reason, it would be difficult to distinguish between LV and NSI at a long-baseline experiment. We show that the observations of atmospheric neutrinos, which travel a wide range of baselines and may encounter sharp density changes at the core-mantle boundary, can break this degeneracy. We observe that identifying neutrinos and antineutrinos separately, as can be done at INO-ICAL, can enhance the capability of atmospheric neutrino experiments to discriminate between these two new-physics scenarios.


title: Regression-based projection for learning Mori-Zwanzig operators

abstract: We propose to adopt statistical regression as the projection operator to enable data-driven learning of the operators in the Mori--Zwanzig formalism. We present a principled method to extract the Markov and memory operators for any regression models. We show that the choice of linear regression results in a recently proposed data-driven learning algorithm based on Mori's projection operator, which is a higher-order approximate Koopman learning method. We show that more expressive nonlinear regression models naturally fill in the gap between the highly idealized and computationally efficient Mori's projection operator and the most optimal yet computationally infeasible Zwanzig's projection operator. We performed numerical experiments and extracted the operators for an array of regression-based projections, including linear, polynomial, spline, and neural-network-based regressions, showing a progressive improvement as the complexity of the regression model increased. Our proposition provides a general framework to extract memory-dependent corrections and can be readily applied to an array of data-driven learning methods for stationary dynamical systems in the literature.


title: A matrix-free high-order solver for the numerical solution of cardiac electrophysiology

abstract: We propose a matrix-free solver for the numerical solution of the cardiac electrophysiology model consisting of the monodomain nonlinear reaction-diffusion equation coupled with a system of ordinary differential equations for the ionic species. Our numerical approximation is based on the high-order Spectral Element Method (SEM) to achieve accurate numerical discretization while employing a much smaller number of Degrees of Freedom than first-order Finite Elements. We combine vectorization with sum-factorization, thus allowing for a very efficient use of high-order polynomials in a high performance computing framework. We validate the effectiveness of our matrix-free solver in a variety of applications and perform different electrophysiological simulations ranging from a simple slab of cardiac tissue to a realistic four-chamber heart geometry. We compare SEM to SEM with Numerical Integration (SEM-NI), showing that they provide comparable results in terms of accuracy and efficiency. In both cases, increasing the local polynomial degree $p$ leads to better numerical results and smaller computational times than reducing the mesh size $h$. We also implement a matrix-free Geometric Multigrid preconditioner that results in a comparable number of linear solver iterations with respect to a state-of-the-art matrix-based Algebraic Multigrid preconditioner. As a matter of fact, the matrix-free solver proposed here yields up to 45$\times$ speed-up with respect to a conventional matrix-based solver.


title: Sibylvariant Transformations for Robust Text Classification

abstract: The vast majority of text transformation techniques in NLP are inherently limited in their ability to expand input space coverage due to an implicit constraint to preserve the original class label. In this work, we propose the notion of sibylvariance (SIB) to describe the broader set of transforms that relax the label-preserving constraint, knowably vary the expected class, and lead to significantly more diverse input distributions. We offer a unified framework to organize all data transformations, including two types of SIB: (1) Transmutations convert one discrete kind into another, (2) Mixture Mutations blend two or more classes together. To explore the role of sibylvariance within NLP, we implemented 41 text transformations, including several novel techniques like Concept2Sentence and SentMix. Sibylvariance also enables a unique form of adaptive training that generates new input mixtures for the most confused class pairs, challenging the learner to differentiate with greater nuance. Our experiments on six benchmark datasets strongly support the efficacy of sibylvariance for generalization performance, defect detection, and adversarial robustness.


title: Efficient Risk-Averse Reinforcement Learning

abstract: In risk-averse reinforcement learning (RL), the goal is to optimize some risk measure of the returns. A risk measure often focuses on the worst returns out of the agent's experience. As a result, standard methods for risk-averse RL often ignore high-return strategies. We prove that under certain conditions this inevitably leads to a local-optimum barrier, and propose a soft risk mechanism to bypass it. We also devise a novel Cross Entropy module for risk sampling, which (1) preserves risk aversion despite the soft risk; (2) independently improves sample efficiency. By separating the risk aversion of the sampler and the optimizer, we can sample episodes with poor conditions, yet optimize with respect to successful strategies. We combine these two concepts in CeSoR - Cross-entropy Soft-Risk optimization algorithm - which can be applied on top of any risk-averse policy gradient (PG) method. We demonstrate improved risk aversion in maze navigation, autonomous driving, and resource allocation benchmarks, including in scenarios where standard risk-averse PG completely fails.


title: Dimers, webs, and local systems

abstract: For a planar bipartite graph $\mathcal G$ equipped with a $\mathrm{SL}_n$-local system, we show that the determinant of the associated Kasteleyn matrix counts "$n$-multiwebs" (generalizations of $n$-webs) in $\mathcal G$, weighted by their web-traces. We use this fact to study random $n$-multiwebs in graphs on some simple surfaces.


title: RotorTM: A Flexible Simulator for Aerial Transportation and Manipulation

abstract: Low-cost autonomous Micro Aerial Vehicles (MAVs) have the potential to help humans by simplifying and speeding up complex tasks that require their interaction with the environment, such as construction, package delivery, and search and rescue. These systems, composed of single or multiple vehicles, can be endowed with passive connection mechanisms such as rigid links or cables to perform transportation and manipulation tasks. However, they are inherently complex since they are often underactuated and evolve in nonlinear manifold configuration spaces. In addition, the complexity of systems with cable-suspended load is further increased by the hybrid dynamics depending on the cables' varying tension conditions. This paper presents the first aerial transportation and manipulation simulator incorporating different payloads and passive connection mechanisms with full system dynamics, planning, and control algorithms. Furthermore, it includes a novel general model accounting for the transient hybrid dynamics for aerial systems with cable-suspended load to closely mimic real-world systems. The availability of a flexible and intuitive interface further contributes to its usability and versatility. Comparisons between simulations and real-world experiments with different vehicles' configurations show the fidelity of the simulator results with respect to real-world settings. The experiments also show the simulator's benefit for the rapid prototyping and transitioning of aerial transportation and manipulation systems to real-world deployment.


title: A fast algorithm for simulating light curves of stars at extreme magnification affected by microlensing

abstract: We present a fast algorithm to produce light curves of distant stars undergoing microlensing near critical curves. The need of these type of algorithms is motivated by recent observations of microlensing events of distant stars at high redshift and at extreme magnification factors. The algorithm relies on a low-resolution computation of the deflection field due to an ensemble of microlenses near critical curves, and takes advantage of the slowly varying nature of the deflection field to infer the magnification of the unresolved images.


title: Resonant Cavity Modification of Ground State Chemical Kinetics

abstract: Recent experiments have suggested that ground state chemical kinetics can be suppressed or enhanced by coupling the vibrational degrees of freedom of a molecular system with a radiation mode inside an optical cavity. Experiments show that the chemical rate is strongly modified when the photon frequency is close to characteristic vibrational frequencies. The origin of this remarkable effect remains unknown. In this work, we develop an analytical rate theory for cavity-modified ground state chemical kinetics based on the Pollak-Grabert-H\"anggi rate theory. Unlike previous work, our theory covers the complete range of solvent friction values, from the energy-diffusion limited to the spatial-diffusion limited regimes. We show that the chemical reaction rate can either be enhanced or suppressed depending on the bath friction; when bath friction is weak chemical kinetics is enhanced as opposed to the case of strong bath friction, where chemical kinetics is suppressed. Further, we show that the photon frequency at which maximum modification of chemical rate is achieved is close to the reactant well, and hence resonant rate modification occurs. In the strong friction limit the {\it resonant} photon frequency is instead close to the barrier frequency, as obtained using the Grote-Hynes rate theory. Finally, we observe that the rate changes (as a function of photon frequency) are much sharper and more sizable in the weak friction limit than in the strong friction limit, and become increasingly sharp with decreasing well frequency.


title: Coronavirus RNA Sensor Using Single-Stranded DNA Bonded to Sub-Percolated Gold Films on Monolayer Graphene Field-Effect Transistors

abstract: Electrical detection of messenger ribonucleic acid (mRNA) is a promising approach to enhancing transcriptomics and disease diagnostics because of its sensitivity, rapidity, and modularity. Reported here is a fast SARS-CoV-2 mRNA biosensor (<1 minute) with a limit of detection of 1 aM, and dynamic range of 4 orders of magnitude and a linear sensitivity of 22 mV per molar decade. These figures of merit were obtained on photoresistlessly patterned monolayer graphene field-effect transistors (FETs) derived from commercial four-inch graphene on 90 nm of silicon dioxide on p-type silicon. Then, to facilitate mRNA hybridization, graphene sensing mesa were coated with an ultrathin sub-percolation threshold gold film for bonding 3'-thiolated single-stranded deoxyribonucleic acid (ssDNA) probes complementary to SARS-CoV-2 nucleocapsid phosphoprotein (N) gene. Sub-percolated gold was used to minimize the distance between the graphene material and surface hybridization events. The liquid-transfer characteristics of the graphene FETs repeatedly shows correlation between the Dirac voltage and the copy number of polynucleotide. Ultrathin percolated gold films on graphene FETs facilitate two-dimensional electron gas (2DEG) mRNA biosensors for transcriptomic profiling.


title: Limited-memory BFGS Optimisation of Phase-Only Computer-Generated Hologram for Fraunhofer Diffraction

abstract: We implement a novel limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS) optimisation algorithm with cross entropy (CE) loss function, to produce phase-only computer-generated hologram (CGH) for holographic displays, with validation on a binary-phase modulation holographic projector.


title: Convergence of the nucleation rate for first-order phase transitions

abstract: This paper investigates the importance of radiative corrections for first-order phase transitions, with particular focus on the bubble-nucleation rate. All calculations are done with a strict power-counting, and observables are consistently calculated at every order. This ensures that physical quantities are gauge and renormalization-scale invariant. Furthermore, to avoid large logarithms at high-temperatures, an effective three-dimensional theory is used. This effective theory automatically incorporates higher-order thermal masses. The results of this paper indicate that sub-leading corrections to the rate can be large. This is partly because radiative corrections are enhanced for large bubbles. To illustrate the calculations, three models are considered: a real-scalar model, a radiative-barrier model, and a model with an effective dimension $6$ operator. Relevant observables are calculated for each model, and the reliability of perturbation theory is discussed.


title: Improved modeling of dynamic quantum systems using exact Lindblad master equations

abstract: The theoretical description of the interplay between coherent evolution and chemical exchange, originally developed for magnetic resonance and later applied to other spectroscopic regimes, was derived under incorrect statistical assumptions. Correcting these assumptions provides access to the exact form of the exchange interaction, which we derive within the Lindblad master equation formalism for generality. The exact form of the interaction is only different from the traditional equation by a scalar correction factor derived from higher-order interactions and regularly improves the radius of convergence of the solution (hence increasing the allowable step size in calculations) by up to an order of magnitude for no additional computational cost.


title: Ionization and Star Formation in the Giant HII Region SMC-N66

abstract: The NGC 346 young stellar system and associated N66 giant HII region in the Small Magellanic Cloud are the nearest example of a massive star forming event in a low metallicity ($Z\approx0.2Z_{\odot}$) galaxy. With an age of $\lesssim$3Myr this system provides a unique opportunity to study relationships between massive stars and their associated HII region. Using archival data, we derive a total H$\alpha$ luminosity of L(H$\alpha$)=4.1$\times$10$^{38}$ergs$^{-1}$ corresponding to an H-photoionization rate of 3$\times$10$^{50}$s$^{-1}$. A comparison with a predicted stellar ionization rate derived from the more than 50 known O-stars in NGC 346, including massive stars recently classified from HST FUV spectra, indicates an approximate ionization balance. Spectra obtained with SALT suggest the ionization structure of N66 could be consistent with some leakage of ionizing photons. Due to the low metallicity, the far ultraviolet luminosity from NGC 346 is not confined to the interstellar cloud associated with N66. Ionization extends through much of the spatial extent of the N66 cloud complex, and most of the cloud mass is not ionized. The stellar mass estimated from nebular L(H$\alpha$) appears to be lower than masses derived from the census of resolved stars which may indicate a disconnect between the formation of high and low mass stars in this region. We briefly discuss implications of the properties of N66 for studies of star formation and stellar feedback in low metallicity environments.


title: Transfer theorems for finitely subdirectly irreducible algebras

abstract: We show that under certain conditions, well-studied algebraic properties transfer from the class $\mathcal{Q}_{_\text{RFSI}}$ of the relatively finitely subdirectly irreducible members of a quasivariety $\mathcal{Q}$ to the whole quasivariety, and, in certain cases, back again. First, we prove that if $\mathcal{Q}$ is relatively congruence-distributive, then it has the $\mathcal{Q}$-congruence extension property if and only if $\mathcal{Q}_{_\text{RFSI}}$ has this property. We then prove that if $\mathcal{Q}$ has the $\mathcal{Q}$-congruence extension property and $\mathcal{Q}_{_\text{RFSI}}$ is closed under subalgebras, then $\mathcal{Q}$ has a one-sided amalgamation property (equivalently, for $\mathcal{Q}$, the amalgamation property) if and only if $\mathcal{Q}_{_\text{RFSI}}$ has this property. We also establish similar results for the transferable injections property and strong amalgamation property. For each property considered, we specialize our results to the case where $\mathcal{Q}$ is a variety -- so that $\mathcal{Q}_{_\text{RFSI}}$ is the class of finitely subdirectly irreducible members of $\mathcal{Q}$ and the $\mathcal{Q}$-congruence extension property is the usual congruence extension property -- and prove that when $\mathcal{Q}$ is finitely generated and congruence-distributive, and $\mathcal{Q}_{_\text{RFSI}}$ is closed under subalgebras, possession of the property is decidable. Finally, as a case study, we provide a complete description of the subvarieties of a notable variety of BL-algebras that have the amalgamation property.


title: Analog models for gravity in linear magnetoelectrics

abstract: Formal analogies between gravitational and optical phenomena have been subject of study for over a century, leading to interesting scenarios for testing kinematic aspects of general relativity in terrestrial laboratories. Here, some aspects about analog models for gravity obtained from the analysis of light propagation in linear magnetoeletric media are examined. In particular, it is shown that this effect produces mixed time-space terms in the effective metric that depend only on the antisymmetric part of the generally non-symmetric magnetoelectric coefficient. Furthermore, it is shown that solutions presenting analog event horizons can be proposed in this scenario, provided that certain consistency conditions are satisfied. A short discussion comparing different ways of constructing analog models is also presented.


title: Bounds on the Coupling Strengths of Communication Channels and Their Information Capacities

abstract: The concept of optimal communication channels shapes our understanding of wave-based communication. Its analysis, however, always pertains to specific communication-domain geometries, without a general theory of scaling laws or fundamental limits. In this article, we derive shape-independent bounds on the coupling strengths and information capacities of optimal communication channels for any two domains that can be separated by a spherical surface. Previous computational experiments have always observed rapid, exponential decay of coupling strengths, but our bounds predict a much slower, sub-exponential optimal decay, and specific source/receiver distributions that can achieve such performance. Our bounds show that domain sizes and configurations, and not domain shapes, are the keys to maximizing the number of non-trivial communication channels and total information capacities. Applicable to general wireless and optical communication systems, our bounds reveal fundamental limits to what is possible through engineering the communication domains of electromagnetic waves.


title: On the Distribution function of area and perimeter for planar poisson line process

abstract: The challenges of examining random partitions of space are a significant class of problems in the theory of geometric transformations. Richard Miles calculated moments of areas and perimeters of any order (including expectation) of the random division of space in 1972. In the paper we calculate whole distribution function of random divisions of plane by poisson line process. The idea is to interpret a random polygon as the evolution of a segment along a moving straight line. In the plane example, the issue connected with an infinite number of parameters is overcome by considering a secant line. We shall take into account the following tasks: {\textbf 1.} On the plane, a random set of straight lines is provided, all shifts are equally likely, and the distribution law is of the form $F(\varphi).$ What is the area distribution of the partition's components? {\textbf 2.} On the plane, a random set of points is marked. Each point $A$ has an associated area of attraction, which is the collection of points in the plane to which the point $A$ is the nearest of the designated ones. In the first problem, the density of moved sections adjacent to the line allows for the expression of the balancing ratio in kinetic form. Similarly, you can write the perimeters kinetic equations. We will demonstrate how to reduce these equations to the Riccati equation using the Laplace transformation in this paper.


title: Sparsity Based Non-Contact Vital Signs Monitoring of Multiple People Via FMCW Radar

abstract: Non-contact technology for monitoring multiple people's vital signs, such as respiration and heartbeat, has been investigated in recent years due to the rising cardiopulmonary morbidity, the risk of transmitting diseases, and the heavy burden on the medical staff. Frequency modulated continuous wave (FMCW) radars have shown great promise in meeting these needs. However, contemporary techniques for non-contact vital signs monitoring (NCVSM) via FMCW radars, are based on simplistic models, and present difficulties coping with noisy environments containing multiple objects. In this work, we develop an extended model of FMCW radar signals in a noisy setting containing multiple people and clutter. By utilizing the sparse nature of the modeled signals in conjunction with human-typical cardiopulmonary features, we can accurately localize humans and reliably monitor their vital signs, using only a single channel and a single-input-single-output setup. To this end, we first show that spatial sparsity allows for both accurate detection of multiple people and computationally efficient extraction of their Doppler samples, using a joint sparse recovery approach. Given the extracted samples, we develop a method named Vital Signs based Dictionary Recovery (VSDR), which uses a dictionary-based approach to search for the desired rates of respiration and heartbeat over high-resolution grids corresponding to normal cardiopulmonary activity. The advantages of the proposed method are illustrated through examples that combine the proposed model with real data of $30$ monitored individuals. We demonstrate accurate human localization in a clutter-rich scenario that includes both static and vibrating objects, and show that our VSDR approach outperforms existing techniques, based on several statistical metrics. The findings support the widespread use of FMCW radars with the proposed algorithms in healthcare.


title: Controlled boundary explosions: dynamics after blow-up for some semilinear problems with global controls

abstract: The main goal of this paper is to show that the blow up phenomenon (the explosion of the $ \rL^{\infty }$-norm) of the solutions of several classes of evolution problems can be controlled by means of suitable global controls $\alpha (t)$ ($i.e.$ only dependent on time) in such a way that the corresponding solution be well defined (as element of $\rL_{loc}^{1}(0,+\infty :\rX)$, for some functional space $\rX$) after the explosion time. We start by considering the case of an ordinary differential equation with a superlinear term and show that the controlled explosion property holds by using a delayed control (built through the solution of the problem and by generalizing the {\em nonlinear variation of constants formula}, due to V.M. Alekseev in 1961, to the case of {\em neutral delayed equations} (since the control is only in the space $\rW_{loc}^{-1,q\prime }(0,+\infty :\RR )$, for some $q>1$)$.$ We apply those arguments to the case of an evolution semilinear problem in which the differential equation is a semilinear elliptic equation with a superlinear absorption and the boundary condition is dynamic and involves the forcing superlinear term giving rise to the blow up phenomenon. We prove that, under a suitable balance between the forcing and the absorption terms, the blow up takes place only on the boundary of the spatial domain which here is assumed to be a ball $\rB_{\rR}$ and for a constant as initial datum.


title: One-dimensional complex potentials for quarkonia in a quark-gluon plasma

abstract: Master equations of the Lindblad type have recently been derived to describe the dynamics of quarkonium states in the quark-gluon plasma. Because their full resolution in three dimensions is very challenging, the equations are often reduced to one dimension. The main ingredient of these equations is the complex potential that describes the binding of the heavy quark-antiquark pairs and their interactions with the medium. In this work, we propose a one-dimensional complex potential parameterized to reproduce at best two key properties -- the temperature-dependent masses of the eigenstates and their decay widths -- of a three-dimensional lattice QCD inspired potential. Their spectral decompositions are calculated to check their compatibility with the positivity of the master equations.


title: Few-Shot Image Classification Benchmarks are Too Far From Reality: Build Back Better with Semantic Task Sampling

abstract: Every day, a new method is published to tackle Few-Shot Image Classification, showing better and better performances on academic benchmarks. Nevertheless, we observe that these current benchmarks do not accurately represent the real industrial use cases that we encountered. In this work, through both qualitative and quantitative studies, we expose that the widely used benchmark tieredImageNet is strongly biased towards tasks composed of very semantically dissimilar classes e.g. bathtub, cabbage, pizza, schipperke, and cardoon. This makes tieredImageNet (and similar benchmarks) irrelevant to evaluate the ability of a model to solve real-life use cases usually involving more fine-grained classification. We mitigate this bias using semantic information about the classes of tieredImageNet and generate an improved, balanced benchmark. Going further, we also introduce a new benchmark for Few-Shot Image Classification using the Danish Fungi 2020 dataset. This benchmark proposes a wide variety of evaluation tasks with various fine-graininess. Moreover, this benchmark includes many-way tasks (e.g. composed of 100 classes), which is a challenging setting yet very common in industrial applications. Our experiments bring out the correlation between the difficulty of a task and the semantic similarity between its classes, as well as a heavy performance drop of state-of-the-art methods on many-way few-shot classification, raising questions about the scaling abilities of these methods. We hope that our work will encourage the community to further question the quality of standard evaluation processes and their relevance to real-life applications.


title: Probing Red Supergiant dynamics through photo-center displacements measured by Gaia

abstract: Red supergiant (RSGs) are cool massive stars in a late phase of their evolution when the stellar envelope becomes fully convective. They are the brightest stars in the universe at infrared light and can be detected in galaxies far beyond the Local Group, allowing for accurate determination of chemical composition of galaxies. The study of their physical properties is extremely important for various phenomena including the final fate of massive stars as type II supernovae and gravitational wave progenitors. We explore the well-studied nearby young stellar cluster chi Per. Using Gaia EDR3 data, we find the distance of the cluster (d = 2.260+-0.020 kpc). We then investigate the variability of the convection-related surface structure as a source for parallax measurement uncertainty. We use state-of-the-art 3D radiative hydrodynamics simulations with CO5BOLD and the post-processing radiative transfer code OPTIM3D to compute intensity maps in the Gaia G photometric system. We calculate the variabiltiy, as a function of time, of the intensity-weighted mean from the synthetic maps. We then select the RSG stars in the cluster and compare their uncertainty on parallaxes to the predictions of photocentre displacements. The synthetic maps of RSG show extremely irregular and temporal variable surfaces due to convection-related dynamics. Consequentially, the position of the photo-center varies during Gaia measurements between 0.033 and 0.130 AU (up to 5% of the corresponding simulation stellar radius). We argue that the variability of the convection-related surface structures accounts for a substantial part of the Gaia EDR3 parallax error of the RSG sample. We suggest that the variation of the uncertainty on Gaia parallax could be exploited quantitatively using appropriate 3D simulations to extract, in a unique way, important information about the stellar dynamics and parameters of RSG stars.


title: PyEOC: a Python Code for Determining Electro-Optic Coefficients of Thin-Film Materials

abstract: PyEOC is an open-source Python code for determining electro-optic (EO) coefficients of thin-film materials from the static and dynamic reflectivity measurements. It uses the experimental results, the transfer-matrix method and implements a robust fitting procedure to precisely calculate the EO coefficients. The developed code is applied to a Pt/SBN/Pt/MgO structure and can be easily adapted to any multilayer planar structure. The values of the EO coefficients determined using PyEOC are in excellent agreement with those obtained in the literature and this code will make it possible to explore EO properties of other thin-film materials, in particular III-V and III-N semiconductors. PyEOC is released under the permissive open-source MIT license. It is made available at https://github.com/sidihamady/PyEOC and depends only on standard Python packages (NumPy, SciPy and Matplotlib).


title: Frequency-domain digital predistortion for Massive MU-MIMO-OFDM Downlink

abstract: Digital predistortion (DPD) is a method commonly used to compensate for the nonlinear effects of power amplifiers (PAs). However, the computational complexity of most DPD algorithms becomes an issue in the downlink of massive multi-user (MU) multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM), where potentially up to several hundreds of PAs in the base station (BS) require linearization. In this paper, we propose a convolutional neural network (CNN)-based DPD in the frequency domain, taking place before the precoding, where the dimensionality of the signal space depends on the number of users, instead of the number of BS antennas. Simulation results on generalized memory polynomial (GMP)-based PAs show that the proposed CNN-based DPD can lead to very large complexity savings as the number of BS antenna increases at the expense of a small increase in power to achieve the same symbol error rate (SER).


title: Holography, Application, and String Theory's Changing Nature

abstract: Based on string theory's framework, the gauge/gravity duality, also known as holography, has the ability to solve practical problems in low energy physical systems like metals and fluids. Holographic applications open a path for conversation and collaboration between the theory-driven, high energy culture of string theory and fields like nuclear and condensed matter physics, which in contrast place great emphasis on the empirical evidence that experiment provides. This paper takes a look at holography's history, from its roots in string theory to its present-day applications that are challenging the cultural identity of the field. I will focus on two of these applications: holographic QCD and holographic superconductivity, highlighting some of the (often incompatible) historical influences, motives, and epistemic values at play, as well as the subcultural shifts that help the collaborations work. The extent to which holographic research -- arguably string theory's most successful and prolific area -- must change its subcultural identity in order to function in fields outside of string theory reflects its changing nature and the field's uncertain future. Does string theory lose its identity in the low-energy applications that holography provides? Does holography still belong under string theory's umbrella, or is it destined to form new subcultures with each of its fields of application? I find that the answers to these questions are dynamic, interconnected, and highly dependent on string theory's relationship with its field of application. In some cases, holography can maintain the goals and values it inherited from string theory. In others, it instead adopts the goals and values of the field in which it is applied. These examples highlight a need for the STS community to expand its treatment of string theory beyond its relationship with empiricism and role as a theory of quantum gravity.


title: Improved long time accuracy for projection methods for Navier-Stokes equations using EMAC formulation

abstract: We consider a pressure correction temporal discretization for the incompressible Navier-Stokes equations in EMAC form. We prove stability and error estimates for the case of mixed finite element spatial discretization, and in particular that the Gronwall constant's exponential dependence on the Reynolds number is removed (for sufficiently smooth true solutions) or at least significantly reduced compared to the commonly used skew-symmetric formulation. We also show the method preserves momentum and angular momentum, and while it does not preserve energy it does admit an energy inequality. Several numerical tests show the advantages EMAC can have over other commonly used formulations of the nonlinearity. Additionally, we discuss extensions of the results to the usual Crank-Nicolson temporal discretization.


title: Numerical Solution of the Savage-Hutter Equations for Granular Avalanche Flow using the Discontinuous Galerkin Method

abstract: The Savage-Hutter (SH) equations are a hyperbolic system of nonlinear partial differential equations describing the temporal evolution of the depth and depth averaged velocity for modelling the avalanche of a shallow layer of granular materials on an inclined surface. These equations admit the occurrence of shock waves and vacuum fronts as in the shallow-water equations while possessing the special reposing state of granular material. In this paper, we develop a third-order Runge-Kutta discontinuous Galerkin (RKDG) method for the numerical solution of the one-dimensional SH equations. We adopt a TVD slope limiter to suppress numerical oscillations near discontinuities. And we give numerical treatments for the avalanche front and for the bed friction to achieve the well-balanced reposing property of granular materials. Numerical results of the avalanche of cohesionless dry granular materials down an inclined and smoothly transitioned to horizontal plane under various internal and bed friction angles and slope angles are given to show the performance of the present numerical scheme.


title: Simplifying the axiomatization for the order affine geometry

abstract: Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which the axiom I.7 is about the convergence of three lines (ignoring their directions). In this paper, we indicate that the axiom I.7 includes much redundancy, and demonstrate that the complicated axiom I.7 can be replaced with a simpler and more intuitive new axiom (called ODO) which describes the properties of oppositely and equally directed lines. We also investigate a possibility to replace the axiom I.6 with ODO.


title: Enzyme Similarity Networks

abstract: There is a crescent use of enzymes in multiple industries and sciences, ranging from materials and fuel synthesis to pharmaceutical and food production. Their applicability in this variety of fields depends not only on their biochemical function but also on their physicochemical properties. In the present work, we describe how the coincidence methodology can be employed to construct similarity networks of seventy well-studied enzymes of the Glycoside Hydrolase Family 13 and to identify communities of physicochemically related enzymes. More specifically, each of the selected enzymes is mapped into a network node, while the links between pairs of enzymes are determined by the coincidence similarity between selected physicochemical features of interest. The obtained networks have modularity and number of isolated nodes optimized respectively to two parameters involved in the coincidence methodology, resulting in highly modular networks. In order to investigate the effect of the considered physicochemical features on the enzymes relationships, the coincidence-based method also is applied to create a meta-network, in which the enzymes similarity networks obtained by the combination of every possible feature becomes nodes of a feature combination network, and the coincidence similarity between those networks defines the respective links. The obtained feature combination network systematically and comprehensively indicates the impact of the selected physicochemical features on enzyme similarity. Several interesting results are reported and discussed, including the identification of subgroups of enzymes with similar physicochemical features within catalytical classes, providing important information for the selection and design of enzymes for targeted biotechnological applications.


title: C*-module operators which satisfy in the generalized Cauchy--Schwarz type inequality

abstract: Let $\mathcal{L}(\mathscr{H})$ denote the $C^*$-algebra of adjointable operators on a Hilbert $C^*$-module $\mathscr{H}$. We introduce the generalized Cauchy-Schwarz inequality for operators in $\mathcal{L}(\mathscr{H})$ and investigate various properties of operators which satisfy the generalized Cauchy--Schwarz inequality. In particular, we prove that if an operator $A\in\mathcal{L}(\mathscr{H})$ satisfies the generalized Cauchy-Schwarz inequality such that $A$ has the polar decomposition, then $A$ is paranormal. In addition, we show that if for $A$ the equality holds in the generalized Cauchy-Schwarz inequality, then $A$ is cohyponormal. Among other things, when $A$ has the polar decomposition, we prove that $A$ is semi-hyponormal if and only if $\big\|\langle Ax, y\rangle\big\| \leq \big\|{|A|}^{1/2}x\big\|\big\|{|A|}^{1/2}y\big\|$ for all $x, y \in\mathscr{H}$.


title: Data Reduction in Deterministic Neutron Transport Calculations Using Machine Learning

abstract: Neutron cross section matrices for fission and scattering data are required for each material, temperature, and enrichment level to calculate the neutron transport equation accurately. This information can be a limiting factor when using the multigroup discrete ordinates (SN) method when the number of energy groups is large. Machine Learning (ML) can be used to replace the need for the cross section matrices by reproducing the function that maps the scalar flux to the scattering and fission sources. Through the use of autoencoders and Deep Jointly-Informed Neural Networks (DJINN), the data storage requirements are reduced by 94% of the original data for a 618 group problem. This is accomplished while preserving the scalar flux, maintaining generality, and decreasing wall clock times.


title: Soft Robotic Mannequin: Design and Algorithm for Deformation Control

abstract: This paper presents a novel soft robotic system for a deformable mannequin that can be employed to physically realize the 3D geometry of different human bodies. The soft membrane on a mannequin is deformed by inflating several curved chambers using pneumatic actuation. Controlling the freeform surface of a soft membrane by adjusting the pneumatic actuation in different chambers is challenging as the membrane's shape is commonly determined by the interaction between all chambers. Using vision feedback provided by a structured-light based 3D scanner, we developed an efficient algorithm to compute the optimized actuation of all chambers which could drive the soft membrane to deform into the best approximation of different target shapes. Our algorithm converges quickly by including pose estimation in the loop of optimization. The time-consuming step of evaluating derivatives on the deformable membrane is avoided by using the Broyden update when possible. The effectiveness of our soft robotic mannequin with controlled deformation has been verified in experiments.


title: Robustness of Humans and Machines on Object Recognition with Extreme Image Transformations

abstract: Recent neural network architectures have claimed to explain data from the human visual cortex. Their demonstrated performance is however still limited by the dependence on exploiting low-level features for solving visual tasks. This strategy limits their performance in case of out-of-distribution/adversarial data. Humans, meanwhile learn abstract concepts and are mostly unaffected by even extreme image distortions. Humans and networks employ strikingly different strategies to solve visual tasks. To probe this, we introduce a novel set of image transforms and evaluate humans and networks on an object recognition task. We found performance for a few common networks quickly decreases while humans are able to recognize objects with a high accuracy.


title: Deep Graph Clustering via Mutual Information Maximization and Mixture Model

abstract: Attributed graph clustering or community detection which learns to cluster the nodes of a graph is a challenging task in graph analysis. In this paper, we introduce a contrastive learning framework for learning clustering-friendly node embedding. Although graph contrastive learning has shown outstanding performance in self-supervised graph learning, using it for graph clustering is not well explored. We propose Gaussian mixture information maximization (GMIM) which utilizes a mutual information maximization approach for node embedding. Meanwhile, it assumes that the representation space follows a Mixture of Gaussians (MoG) distribution. The clustering part of our objective tries to fit a Gaussian distribution to each community. The node embedding is jointly optimized with the parameters of MoG in a unified framework. Experiments on real-world datasets demonstrate the effectiveness of our method in community detection.


title: Regularity for parabolic equations with singular non-zero divergence vector fields

abstract: We establish two-sided Gaussian bounds on the heat kernel of divergence-form parabolic equation with singular time-inhomogeneous vector field satisfying some minimal assumptions.


title: Crossover in extended Newtonian gravity emerging from thermodynamics

abstract: In a recent paper (V\'an, P.; Abe, S. Physica A 2022, 588, 126505), it has been discovered that a scalar field coupled to a fluid and allowed to be a thermodynamic variable in consistency with the second law of thermodynamics is only gravitational and accordingly emergence of extended Newtonian gravity has been predicted. The resulting field equation for the potential of this emergent force is nonlinear and admits the logarithmic potential as a singular solution, suggesting its relevance to the dark matter conundrum. Here, a general analysis of the nonlinear field equation is performed. It is found that the emergent force field exhibits the unsharp crossover between the 1/r and 1/r^2 forces outside the fluid, depending on a spatial scale characteristic of the present theory to be observationally tested in the context of the dark matter conundrum. Then, the action functional is constructed for the potential of the emergent field and the field energy is shown to be free from an infrared divergence. A comment is also made on the difference of the present theory from MOND (modified Newtonian dynamics).

categories: astro-ph.GA cond-mat.stat-mech gr-qc physics.class-ph


title: Interplays between classical and quantum entanglement-assisted communication scenarios

abstract: Prepare-and-measure scenarios, in their many forms, can be seen as the basic building blocks of communication tasks. As such, they can be used to analyze a diversity of classical and quantum protocols -- of which dense coding and random access codes are key examples -- in a unified manner. In particular, the use of entanglement as a resource in prepare-and-measure scenarios have only recently started to be systematically investigated, and many crucial questions remain open. In this work, we explore such scenarios and provide answers to some seminal questions. More specifically, we show that, in scenarios where entanglement is a free resource, quantum messages are equivalent to classical ones with twice the capacity. We also prove that, in such scenarios, it is always advantageous for the parties to share entangled states of dimension greater than the transmitted message. Finally, we show that unsteerable states cannot provide advantages in classical communication tasks, thus proving that not all entangled states are useful resources in these scenarios.


title: Keldysh space control of charge dynamics in a strongly driven Mott insulator

abstract: The fate of a Mott insulator under strong low frequency optical driving conditions is a fundamental problem in quantum many-body dynamics. Using ultrafast broadband optical spectroscopy, we measured the transient electronic structure and charge dynamics of an off-resonantly pumped Mott insulator Ca$_2$RuO$_4$. We observe coherent bandwidth renormalization and nonlinear doublon-holon pair production occurring in rapid succession within a sub-100 femtosecond pump pulse duration. By sweeping the electric field amplitude, we demonstrate continuous bandwidth tuning and a Keldysh cross-over from a multi-photon absorption to quantum tunneling dominated pair production regime. Our results provide a procedure to control coherent and nonlinear heating processes in Mott insulators, facilitating the discovery of novel out-of-equilibrium phenomena in strongly correlated systems.


title: Self-Supervised Anomaly Detection in Computer Vision and Beyond: A Survey and Outlook

abstract: Anomaly detection (AD) plays a crucial role in various domains, including cybersecurity, finance, and healthcare, by identifying patterns or events that deviate from normal behaviour. In recent years, significant progress has been made in this field due to the remarkable growth of deep learning models. Notably, the advent of self-supervised learning has sparked the development of novel AD algorithms that outperform the existing state-of-the-art approaches by a considerable margin. This paper aims to provide a comprehensive review of the current methodologies in self-supervised anomaly detection. We present technical details of the standard methods and discuss their strengths and drawbacks. We also compare the performance of these models against each other and other state-of-the-art anomaly detection models. Finally, the paper concludes with a discussion of future directions for self-supervised anomaly detection, including the development of more effective and efficient algorithms and the integration of these techniques with other related fields, such as multi-modal learning.


title: Mathematical Modeling and Investigation on the Role of Demography and Contact Patterns in Social Distancing Measures Effectiveness in COVID-19 Dissemination

abstract: In this article, we investigate the importance of demographic and contact patterns in determining the spread of COVID-19 and to the effectiveness of social distancing policies. We investigate these questions proposing an augmented epidemiological model with an age-structured model, with the population divided into susceptible (S), exposed (E), infected and asymptomatic (A), hospitalized (H), infected and symptomatic (I), and recovered individuals (R), to simulate COVID-19 dissemination. The simulations were carried out using six combinations of four types of isolation policies (work restrictions, isolation of the elderly, community distancing and school closures) and four representative fictitious countries generated over alternative demographic transition stage patterns (aged developed, developed, developing and least developed countries). We concluded that the basic reproduction number depends on the age profile and the contact patterns. The aged developed country had the lowest basic reproduction number ($R0=1.74$) due to the low contact rate among individuals, followed by the least developed country ($R0=2.00$), the developing country ($R0=2.43$) and the developed country ($R0=2.64$). Because of these differences in the basic reproduction numbers, the same intervention policies had higher efficiencies in the aged and least developed countries. Of all intervention policies, the reduction in work contacts and community distancing were the ones which produced the highest decrease in the $R0$ value, prevalence, maximum hospitalization demand and fatality rate. The isolation of the elderly was more effective in the developed and aged developed countries. The school closure was the less effective intervention policy, though its effects were not negligible in the least developed and developing countries.


title: Accelerating Real-Time Coupled Cluster Methods with Single-Precision Arithmetic and Adaptive Numerical Integration

abstract: We explore the framework of a real-time coupled cluster method with a focus on improving its computational efficiency. Propagation of the wave function via the time-dependent Schr\"odinger equation places high demands on computing resources, particularly for high level theories such as coupled cluster with polynomial scaling. Similar to earlier investigations of coupled cluster properties, we demonstrate that the use of single-precision arithmetic reduces both the storage and multiplicative costs of the real-time simulation by approximately a factor of two with no significant impact on the resulting UV/vis absorption spectrum computed via the Fourier transform of the time-dependent dipole moment. Additional speedups of up to a factor of 14 in test simulations of water clusters are obtained via a straightforward GPU-based implementation as compared to conventional CPU calculations. We also find that further performance optimization is accessible through sagacious selection of numerical integration algorithms, and the adaptive methods, such as the Cash-Karp integrator provide an effective balance between computing costs and numerical stability. Finally, we demonstrate that a simple mixed-step integrator based on the conventional fourth-order Runge-Kutta approach is capable of stable propagations even for strong external fields, provided the time step is appropriately adapted to the duration of the laser pulse with only minimal computational overhead.


title: Tracial States and $\mathbb{G}$-Invariant States of Discrete Quantum Groups

abstract: We investigate the tracial states and $\mathbb{G}$-invariant states on the reduced $C^*$-algebra of a discrete quantum group $\mathbb{G}$, where we denote its dual compact quantum group by $\hat{\mathbb{G}}$. Certain key results in this work include that $C_r(\hat{\mathbb{G}})$ admits a tracial state if and only if it admits a $\mathbb{G}$-invariant state, and that the quantum subgroup associated with the Furstenberg boundary of $\mathbb{G}$, denoted $\hat{\mathbb{G}}_F$, is a quantum subgroup of every quantum subgroup of $\hat{\mathbb{G}}$ of Kac type that has a coamenable quotient. The latter result establishes that $\hat{\mathbb{G}}_F$ is the "coamenable coradical" of $\hat{\mathbb{G}}$ whenever its quotient is coamenable and $\hat{\mathbb{G}}$ is of Kac type. The existence of such an object was asked for by Kalantar, Kasprzak, Skalski, and Vergnioux. With these results, given the assumption that $\hat{\mathbb{G}}/\hat{\mathbb{G}}_F$ is coamenable, we prove that $C_r(\hat{\mathbb{G}})$ admits a tracial state if and only if $\hat{\mathbb{G}}_F$ is of Kac type, and a characterization of uniqueness of trace in terms of whether or not $\hat{\mathbb{G}}_F$ is equal to the canonical Kac quotient of $C_r(\hat{\mathbb{G}})$. We also obtain that $C_r(\hat{\mathbb{G}})$ is nuclear and has a tracial state if and only if $\mathbb{G}$ is amenable, which resolves an open problem due to C.-K Ng and Viselter, and Crann, in the discrete case.


title: ConfLab: A Data Collection Concept, Dataset, and Benchmark for Machine Analysis of Free-Standing Social Interactions in the Wild

abstract: Recording the dynamics of unscripted human interactions in the wild is challenging due to the delicate trade-offs between several factors: participant privacy, ecological validity, data fidelity, and logistical overheads. To address these, following a 'datasets for the community by the community' ethos, we propose the Conference Living Lab (ConfLab): a new concept for multimodal multisensor data collection of in-the-wild free-standing social conversations. For the first instantiation of ConfLab described here, we organized a real-life professional networking event at a major international conference. Involving 48 conference attendees, the dataset captures a diverse mix of status, acquaintance, and networking motivations. Our capture setup improves upon the data fidelity of prior in-the-wild datasets while retaining privacy sensitivity: 8 videos (1920x1080, 60 fps) from a non-invasive overhead view, and custom wearable sensors with onboard recording of body motion (full 9-axis IMU), privacy-preserving low-frequency audio (1250 Hz), and Bluetooth-based proximity. Additionally, we developed custom solutions for distributed hardware synchronization at acquisition and time-efficient continuous annotation of body keypoints and actions at high sampling rates. Our benchmarks showcase some of the open research tasks related to in-the-wild privacy-preserving social data analysis: keypoints detection from overhead camera views, skeleton-based no-audio speaker detection, and F-formation detection.


title: Magnitude and Topological Entropy of Digraphs

abstract: Magnitude and (co)weightings are quite general constructions in enriched categories, yet they have been developed almost exclusively in the context of Lawvere metric spaces. We construct a meaningful notion of magnitude for flow graphs based on the observation that topological entropy provides a suitable map into the max-plus semiring, and we outline its utility. Subsequently, we identify a separate point of contact between magnitude and topological entropy in digraphs that yields an analogue of volume entropy for geodesic flows. Finally, we sketch the utility of this construction for feature engineering in downstream applications with generic digraphs.


title: Topological manifolds are locally-flat Euclidean neighbourhood retracts

abstract: We show that every topological n-manifold M admits a locally flat closed embedding $\iota\colon M \hookrightarrow \mathbb{R}^{2n+1}$ and is a retract of some neighbourhood $U \subseteq \mathbb{R}^{2n+1}$


title: Massively Digitized Power Grid: Opportunities and Challenges of Use-inspired AI

abstract: This article presents a use-inspired perspective of the opportunities and challenges in a massively digitized power grid. It argues that the intricate interplay of data availability, computing capability, and artificial intelligence (AI) algorithm development are the three key factors driving the adoption of digitized solutions in the power grid. The impact of these three factors on critical functions of power system operation and planning practices are reviewed and illustrated with industrial practice case studies. Open challenges and research opportunities for data, computing, and AI algorithms are articulated within the context of the power industry's tremendous decarbonization efforts.


title: The Move Borrow Checker

abstract: The Move language provides abstractions for programming with digital assets via a mix of value semantics and reference semantics. Ensuring memory safety in programs with references that access a shared, mutable global ledger is difficult, yet essential for the use-cases targeted by Move. The language meets this challenge with a novel memory model and a modular, intraprocedural static reference safety analysis that leverages key properties of the memory. The analysis ensures the absence of memory safety violations in all Move programs (including ones that link against untrusted code) by running as part of a load-time bytecode verification pass similar to the JVM [12] and CLR [15]. We formalize the static analysis and prove that it enjoys three desirable properties: absence of dangling references, referential transparency for immutable references, and absence of memory leaks.


title: A G\"odel Calculus for Linear Temporal Logic

abstract: We consider G\"odel temporal logic ($\sf GTL$), a variant of linear temporal logic based on G\"odel--Dummett propositional logic. In recent work, we have shown this logic to enjoy natural semantics both as a fuzzy logic and as a superintuitionistic logic. Using semantical methods, the logic was shown to be {\sc pspace}-complete. In this paper we provide a deductive calculus for $\sf GTL$, and show this calculus to be sound and complete for the above-mentioned semantics.


title: All-to-All Encode in Synchronous Systems

abstract: We define all-to-all encode, a collective communication operation serving as a primitive in decentralized computation and storage systems. Consider a scenario where every processor initially has a data packet and requires a linear combination of all data packets; the linear combinations are distinct from one processor to another, and are specified by a generator matrix of an error correcting code. We use a linear network model, in which processors transmit linear combinations of their data and previously received packets, and adopt a standard synchronous system setting to analyze its communication cost. We provide a universal algorithm which computes any matrix in this model by only varying intermediate coefficients, and prove its optimality. When the generator matrix is of the Vandermonde or Lagrange type, we further optimize the communication efficiency of the proposed algorithm.


title: Equivariant K-theory of the space of partial flags

abstract: We use Drinfeld style generators and relations to define an algebra $\mathfrak{U}_n$ which is a "$q=0$" version of the affine quantum group of $\mathfrak{gl}_n.$ We then use the convolution product on the equivariant $K$-theory of spaces of pairs of partial flags in a $d$-dimensional vector space $V$ to define affine zero-Schur algebras ${\mathbb S}_0^{\operatorname{aff}}(n,d)$ and to prove that for every $d$ there exists a surjective homomorphism from $\mathfrak{U}_n$ to ${\mathbb S}_0^{\operatorname{aff}}(n,d).$


title: Do active nematic self-mixing dynamics help growing bacterial colonies to maintain local genetic diversity?

abstract: Recent studies have shown that packings of cells, both eukaryotic cellular tissues and growing or swarming bacterial colonies, can often be understood as active nematic fluids. A key property of volume-conserving active nematic model systems is chaotic self-mixing characterized by motile topological defects. However, for active nematics driven by growth rather than motility, less is understood about mixing and defect motion. Mixing could affect evolutionary outcomes in bacterial colonies by counteracting the tendency to spatially segregate into monoclonal sectors, which reduces the local genetic diversity and confines competition between subpopulations to the boundaries between neighboring sectors. To examine whether growth-driven active nematic physics could influence this genetic demixing process, we conduct agent-based simulations of growing, dividing, and sterically repelling rod-like bacteria of various aspect ratios, and we analyze colony morphology using tools from both soft matter physics and population genetics. We find that despite measurable defect self-propulsion in growth-driven active nematics, the radial expansion flow prevents chaotic mixing. Even so, at biologically relevant cell aspect ratios, self-mixing is more effective in growing active nematics of rod-like cells compared to growing isotropic colonies of round cells. This suggests potential evolutionary consequences associated with active nematic dynamics.


title: Diameter and displacement of sphere involutions

abstract: We show that spheres in all dimensions $\geq3$ can be deformed to have diameter larger than the distance between any pair of antipodal points. This answers a question of Yurii Nikonorov.


title: Multifidelity data fusion in convolutional encoder/decoder networks

abstract: We analyze the regression accuracy of convolutional neural networks assembled from encoders, decoders and skip connections and trained with multifidelity data. Besides requiring significantly less trainable parameters than equivalent fully connected networks, encoder, decoder, encoder-decoder or decoder-encoder architectures can learn the mapping between inputs to outputs of arbitrary dimensionality. We demonstrate their accuracy when trained on a few high-fidelity and many low-fidelity data generated from models ranging from one-dimensional functions to Poisson equation solvers in two-dimensions. We finally discuss a number of implementation choices that improve the reliability of the uncertainty estimates generated by Monte Carlo DropBlocks, and compare uncertainty estimates among low-, high- and multifidelity approaches.