title: Assessing the Impact of Attention and Self-Attention Mechanisms on the Classification of Skin Lesions

abstract: Attention mechanisms have raised significant interest in the research community, since they promise significant improvements in the performance of neural network architectures. However, in any specific problem, we still lack a principled way to choose specific mechanisms and hyper-parameters that lead to guaranteed improvements. More recently, self-attention has been proposed and widely used in transformer-like architectures, leading to significant breakthroughs in some applications. In this work we focus on two forms of attention mechanisms: attention modules and self-attention. Attention modules are used to reweight the features of each layer input tensor. Different modules have different ways to perform this reweighting in fully connected or convolutional layers. The attention models studied are completely modular and in this work they will be used with the popular ResNet architecture. Self-Attention, originally proposed in the area of Natural Language Processing makes it possible to relate all the items in an input sequence. Self-Attention is becoming increasingly popular in Computer Vision, where it is sometimes combined with convolutional layers, although some recent architectures do away entirely with convolutions. In this work, we study and perform an objective comparison of a number of different attention mechanisms in a specific computer vision task, the classification of samples in the widely used Skin Cancer MNIST dataset. The results show that attention modules do sometimes improve the performance of convolutional neural network architectures, but also that this improvement, although noticeable and statistically significant, is not consistent in different settings. The results obtained with self-attention mechanisms, on the other hand, show consistent and significant improvements, leading to the best results even in architectures with a reduced number of parameters.


title: Moment of Inertia and Dynamical Rotational Response of a Supersolid Dipolar Gas

abstract: We show that the knowledge of the time dependent response of a trapped gas, subject to a sudden rotation of a confining harmonic potential, allows for the determination of the moment of inertia of dipolar supersolid configurations. While in the presence of one-dimensional arrays of droplets the frequency of the resulting scissors oscillation provides accurate access to the value of the moment of inertia, two-dimensional like configurations are characterized by a multi-frequency structure in the rotating signal, reflecting the presence of significant rigid body components in the rotational motion. Using the formalism of response function theory and simulations based on the so-called extended time dependent Gross-Pitaevskii equation, we point out the crucial role played by the low frequency components in the determination of the moment of inertia and of its deviations from the irrotational value. We also propose a protocol based on the stationary rotation of the trap, followed by its sudden stop, which might provide a promising alternative to the experimental evaluation of the moment of inertia.


title: SLIP: Self-supervision meets Language-Image Pre-training

abstract: Recent work has shown that self-supervised pre-training leads to improvements over supervised learning on challenging visual recognition tasks. CLIP, an exciting new approach to learning with language supervision, demonstrates promising performance on a wide variety of benchmarks. In this work, we explore whether self-supervised learning can aid in the use of language supervision for visual representation learning. We introduce SLIP, a multi-task learning framework for combining self-supervised learning and CLIP pre-training. After pre-training with Vision Transformers, we thoroughly evaluate representation quality and compare performance to both CLIP and self-supervised learning under three distinct settings: zero-shot transfer, linear classification, and end-to-end finetuning. Across ImageNet and a battery of additional datasets, we find that SLIP improves accuracy by a large margin. We validate our results further with experiments on different model sizes, training schedules, and pre-training datasets. Our findings show that SLIP enjoys the best of both worlds: better performance than self-supervision (+8.1% linear accuracy) and language supervision (+5.2% zero-shot accuracy).


title: Long-time tails in the SYK chain from the effective field theory with a large number of derivatives

abstract: We study the nonlinear energy diffusion through the SYK chain in the framework of Schwinger-Keldysh effective field theory. We analytically construct the interacting effective Lagrangian up to $40^{th}$ order in the derivative expansion. According to this effective Lagrangian, we calculate the first order loop correction of the energy density response function, the pole of which is the dispersion relation of energy diffusion. As expected, we see that the standard derivative expansion of that dispersion relation, $\omega=-i D_{(1)} k^2- i D_{(2)} k^4+\mathcal{O}(k^6)$, breaks down due to the long-time tails. However, we find that the nonlinear contribution of order $n$ to the self-energy is proportional to $\left(k^{2}\right)^{n+1/2}$. This suggests to modify the dispersion relation by splitting it into two dispersion relations and double the number of transport coefficients at any order as $\omega=-i k^2\big( D_{(1,1)}\pm i D_{(1,2)} \left(k^2\right)^{1/2}\big)-i k^4\big( D_{(2,1)}\pm i D_{(2,2)} \left(k^2\right)^{1/2}\big)+\mathcal{O}(k^6)$. We find that the modified series, which include the effect of long-time tails, are convergent. The radius of convergence is proportional to the ratio of thermal conductivity to diffusion constant.


title: A Meshless Method to Compute Pressure Fields from Image Velocimetry

abstract: We propose a meshless method to compute pressure fields from image velocimetry data, regardless of whether this is available on a regular grid as in cross-correlation based velocimetry or on scattered points as in tracking velocimetry. The proposed approach is based on Radial Basis Functions (RBFs) regression and relies on the solution of two constrained least square problems. The first one is the regression of the measurements to create an analytic representation of the velocity field. This regression can be constrained to impose boundary conditions (e.g. no-slip velocity on a wall or inlet conditions) or differential constraints (e.g. the solenoidal condition for an incompressible flow). The second one is the meshless integration of the pressure Poisson equation, achieved by seeking a solution in the form of a RBF expansion and using constraints to impose boundary conditions. We first illustrate the derivation of the two least square problems and the numerical techniques implemented for their solution. Then, we showcase the method with three numerical test cases of growing complexity. These are a 2D Gaussian Vortex, a 2D flow past a cylinder from CFD and a 3D Stokes flow past a sphere. For each case, we consider randomly sampled vector fields simulating particle tracking measurements and analyze the sensitivity to noise and seeding density.


title: Spectral properties and energy transfer at kinetic scales in collisionless plasma turbulence

abstract: By means of a fully kinetic simulation of freely decaying plasma turbulence, we study the spectral properties and the energy exchanges characterizing the turbulent cascade in the kinetic range. We find that the magnetic field spectrum follows the ${k^{-\alpha}\,exp(-\lambda\, k)}$ law at kinetic scales with $\alpha\!\simeq\!2.73$ and $\lambda\!\simeq\!\rho_e$ (where ${\rho_e}$ is the electron gyroradius). The same law with $\alpha\!\simeq\!0.94$ and an exponential decay characterized by $\lambda\!\simeq\!0.87\rho_e$ is observed in the electron velocity spectrum but not in the ion velocity spectrum that drops like a steep power law $\sim k^{-3.25}$ before reaching electron scales. By analyzing the filtered energy conversion channels, we find that the electrons play a major role with respect to the ions in driving the magnetic field dynamics at kinetic scales. Our analysis reveals the presence of an indirect electron-driven mechanism that channels the e.m. energy from large to sub-ion scale more efficiently than the direct nonlinear scale-to-scale transfer of e.m. energy. This mechanism consists of three steps: in the first step the e.m. energy is converted into electron fluid flow energy at large scales; in the second step the electron fluid flow energy is nonlinearly transferred towards sub-ion scales; in the final step the electron fluid flow energy is converted back into e.m. energy at sub-ion scales. This electron-driven transfer drives the magnetic field cascade up to fully developed turbulence, after which dissipation becomes dominant and the electrons start to subtract energy from the magnetic field and dissipate it via the pressure-strain interaction at sub-ion scales.


title: Toward a New Science of Common Sense

abstract: Common sense has always been of interest in Artificial Intelligence, but has rarely taken center stage. Despite its mention in one of John McCarthy's earliest papers and years of work by dedicated researchers, arguably no AI system with a serious amount of general common sense has ever emerged. Why is that? What's missing? Examples of AI systems' failures of common sense abound, and they point to AI's frequent focus on expertise as the cause. Those attempting to break the resulting brittleness barrier, even in the context of modern deep learning, have tended to invest their energy in large numbers of small bits of commonsense knowledge. While important, all the commonsense knowledge fragments in the world don't add up to a system that actually demonstrates common sense in a human-like way. We advocate examining common sense from a broader perspective than in the past. Common sense should be considered in the context of a full cognitive system with history, goals, desires, and drives, not just in isolated circumscribed examples. A fresh look is needed: common sense is worthy of its own dedicated scientific exploration.


title: Lepton PDFs and Multipurpose Single Lepton Searches at the LHC

abstract: A final state consisting of one charged lepton, at least one jet, and little missing transverse energy can be a very promising signature of new physics at the LHC across a wide range of models. However, it has received only limited attention so far. In this work we discuss the potential sensitivity of this channel to various new physics scenarios. To demonstrate our point, we consider its application to lepton parton density functions (PDFs) at the LHC in the context of supersymmetry. These lepton PDFs can lead to resonant squark production (similar to leptoquarks) via lepton number violating couplings present in R-parity Violating Supersymmetry (RPV-SUSY). Unlike leptoquarks, in RPV-SUSY there are many possible decay modes leading to a wide range of signatures. We propose two generic search regions: (a) A single first or second generation charged lepton, exactly 1 jet and low missing transverse energy, and (b) A single first or second generation charged lepton, at least 3 jets, and low missing transverse energy. We demonstrate that together these cover a large range of RPV-SUSY signatures, and have the potential to perform better than existing low-energy bounds, while being general enough to extend to a wide range of possible models hitherto not explored at the LHC.


title: Two field-theoretic viewpoints on the Fukaya-Morse $A_\infty$ category

abstract: We study an enhanced version of the Morse degeneration of Fukaya $A_\infty$ category with higher compositions given by counts of gradient flow trees. The enhancement consists in allowing morphisms from an object to itself to be chains on the manifold. Higher compositions correspond to counting Morse trees passing through a given set of chains. We provide two viewpoints on the construction and on the proof of the $A_\infty$ relations for the composition maps. One viewpoint is via an effective action for the $BF$ theory computed in a special gauge. The other is via higher topological quantum mechanics.


title: Mapping between Morita equivalent string-net states with a constant depth quantum circuit

abstract: We construct a constant depth quantum circuit that maps between Morita equivalent string-net models. Due to its constant depth and unitarity, the circuit cannot alter the topological order, which demonstrates that Morita equivalent string-nets are in the same phase. The circuit is constructed from an invertible bimodule category connecting the two input fusion categories of the relevant string-net models, acting as a generalized Fourier transform for fusion categories. The circuit does not only act on the ground state subspace, but acts unitarily on the full Hilbert space when supplemented with ancillas.


title: A Manifesto for Applicable Formal Methods

abstract: Formal methods were frequently shown to be effective and, perhaps because of that, practitioners are interested in using them more often. Still, these methods are far less applied than expected, particularly, in critical domains where they are strongly recommended and where they have the greatest potential. Our hypothesis is that formal methods still seem not to be applicable enough or ready for their intended use. In critical software engineering, what do we mean when we speak of a formal method? And what does it mean for such a method to be applicable both from a scientific and practical viewpoint? Based on what the literature tells about the first question, with this manifesto, we lay out a set of principles that when followed by a formal method give rise to its mature applicability in a given scope. Rather than exercising criticism of past developments, this manifesto strives to foster an increased use of formal methods to the maximum benefit.


title: A class of reductions of the two-component KP hierarchy and the Hirota-Ohta system

abstract: We introduce a class of reductions of the two-component KP hierarchy, which includes the Hirota-Ohta system hierarchy. The description of the reduced hierarchies is based on the Hirota bilinear identity and an extra bilinear relation characterising the reduction. We derive the reduction conditions in terms of the Lax operator and higher linear operators of the hierarchy, as well as in terms of the basic two-component KP system of equations.


title: Arrival time for the fastest among $N$ switching stochastic particles

abstract: The first arrivals among $N$ Brownian particles is ubiquitous in the life sciences, as it often trigger cellular processes from the molecular level. We study here the case where stochastic particles, which represent molecules, proteins or molecules can switch between two states inside the non-negative real line. The switching process is modeled as a two-state Markov chain and particles can only escape in state 1. We estimate the fastest arrival time by solving asymptotically the Fokker-Planck equations for three different initial distributions: Dirac-delta, uniformly distributed and long-tail decay. The derived formulas reveal that the fastest particle avoid switching when the switching rates are much smaller than the diffusion time scale, but switches twice when the diffusion is state 2 is much faster than in state 1. The present results are compared to stochastic simulations revealing the range of validity of the derived formulas.


title: BANMo: Building Animatable 3D Neural Models from Many Casual Videos

abstract: Prior work for articulated 3D shape reconstruction often relies on specialized sensors (e.g., synchronized multi-camera systems), or pre-built 3D deformable models (e.g., SMAL or SMPL). Such methods are not able to scale to diverse sets of objects in the wild. We present BANMo, a method that requires neither a specialized sensor nor a pre-defined template shape. BANMo builds high-fidelity, articulated 3D models (including shape and animatable skinning weights) from many monocular casual videos in a differentiable rendering framework. While the use of many videos provides more coverage of camera views and object articulations, they introduce significant challenges in establishing correspondence across scenes with different backgrounds, illumination conditions, etc. Our key insight is to merge three schools of thought; (1) classic deformable shape models that make use of articulated bones and blend skinning, (2) volumetric neural radiance fields (NeRFs) that are amenable to gradient-based optimization, and (3) canonical embeddings that generate correspondences between pixels and an articulated model. We introduce neural blend skinning models that allow for differentiable and invertible articulated deformations. When combined with canonical embeddings, such models allow us to establish dense correspondences across videos that can be self-supervised with cycle consistency. On real and synthetic datasets, BANMo shows higher-fidelity 3D reconstructions than prior works for humans and animals, with the ability to render realistic images from novel viewpoints and poses. Project webpage: banmo-www.github.io .


title: Accessibility for dynamically coherent partially hyperbolic diffeomorphisms with 2D center

abstract: We show that for any integer $r \geq 2$, stable accessibility is $C^r$-dense among partially hyperbolic diffeomorphisms with two-dimensional center that satisfy some strong bunching and are stably dynamically coherent.


title: Microchannel cooling for the LHCb VELO Upgrade I

abstract: The LHCb VELO Upgrade I, currently being installed for the 2022 start of LHC Run 3, uses silicon microchannel coolers with internally circulating bi-phase \cotwo for thermal control of hybrid pixel modules operating in vacuum. This is the largest scale application of this technology to date. Production of the microchannel coolers was completed in July 2019 and the assembly into cooling structures was completed in September 2021. This paper describes the R\&D path supporting the microchannel production and assembly and the motivation for the design choices. The microchannel coolers have excellent thermal peformance, low and uniform mass, no thermal expansion mismatch with the ASICs and are radiation hard. The fluidic and thermal performance is presented.


title: Extremal stringy black holes in equilibrium at first order in $\alpha'$

abstract: We compute the first-order $\alpha'$ corrections to well-known families of heterotic multi-center black-hole solutions in five and four dimensions. The solutions can be either supersymmetric or non-supersymmetric, depending on the relative sign between two of the black-hole charges. For both cases, we find that the equilibrium of forces persists after including the $\alpha'$ corrections, as the existence of multi-center solutions free of unphysical singularities shows. We analyze the possibility of black-hole fragmentation.


title: Simulations of primary beam effects on the cosmic bispectrum phase observed with the Hydrogen Epoch of Reionization Array

abstract: The 21~cm transition from neutral Hydrogen promises to be the best observational probe of the Epoch of Reionisation. The main difficulty in measuring the 21 cm signal is the presence of bright foregrounds that require very accurate interferometric calibration. Closure quantities may circumvent the calibration requirements but may be, however, affected by direction dependent effects, particularly antenna primary beam responses. This work investigates the impact of antenna primary beams affected by mutual coupling on the closure phase and its power spectrum. Our simulations show that primary beams affected by mutual coupling lead to a leakage of foreground power into the EoR window, which can be up to $\sim4$ orders magnitude higher than the case where no mutual coupling is considered. This leakage is, however, essentially confined at $k < 0.3$~$h$~Mpc$^{-1}$ for triads that include 29~m baselines. The leakage magnitude is more pronounced when bright foregrounds appear in the antenna sidelobes, as expected. Finally, we find that triads that include mutual coupling beams different from each other have power spectra similar to triads that include the same type of mutual coupling beam, indicating that beam-to-beam variation within triads (or visibility pairs) is not the major source of foreground leakage in the EoR window.


title: Intra-Household Management of Joint Resources: Evidence from Malawi

abstract: In models of intra-household resource allocation, the earnings from joint work between two or more household members are often omitted. I test assumptions about complete pooling of resources within a household, by accounting for income earned jointly by multiple household members, in addition to income earned individually by men and women. Applied in the case of Malawi, I find that by explicitly including intra-household collaboration, I find evidence of partial income pooling and partial insurance within the household, specifically for expenditures on food. Importantly, including joint income reveals dynamics between household members, as well as opportunities and vulnerabilities which may previously be obfuscated in simpler, binary specifications. Contrasting with previous studies and empirical practice, my findings suggest that understanding detailed intra-household interactions and their outcomes on household behavior have important consequences for household resource allocation and decision making.


title: Baryon masses from full QCD+QED${}_\text{C}$ simulations

abstract: In these proceedings we present preliminary results for the masses of the proton, neutron and $\Omega^-$ baryons obtained from QCD+QED lattice simulations performed with four dynamical quarks using C$^*$ boundary conditions. These results are part of the ongoing effort of the RC${}^*$ collaboration discussed in the companion proceedings, and have been obtained on a single ensemble in which the renormalised electromagnetic coupling is $\alpha_{\text{em}}\sim 0.04$, the physical volume is $L\sim 1.7$ fm and the masses of the four dynamical quarks have been tuned at the $U$--spin symmetric point $m_d=m_s$. We demonstrate on this unphysical ensemble that baryon masses can be calculated with satisfactory precision when including QED without the need for gauge--fixing and perturbation theory. This makes us confident in the effectiveness of the strategy presented here also in the case of simulations closer to the physical point.


title: An Ontological Knowledge Representation for Smart Agriculture

abstract: In order to provide the agricultural industry with the infrastructure it needs to take advantage of advanced technology, such as big data, the cloud, and the internet of things (IoT); smart farming is a management concept that focuses on providing the infrastructure necessary to track, monitor, automate, and analyse operations. To represent the knowledge extracted from the primary data collected is of utmost importance. An agricultural ontology framework for smart agriculture systems is presented in this study. The knowledge graph is represented as a lattice to capture and perform reasoning on spatio-temporal agricultural data.


title: Joint Routing of Conventional and Range-Extended Electric Vehicles in a Large Metropolitan Network

abstract: Range-extended electric vehicles combine the higher efficiency and environmental benefits of battery-powered electric motors with the longer mileage and autonomy of conventional internal combustion engines. This combination is particularly advantageous for time-constrained delivery routing in dense urban areas, where battery recharging along routes can be too time-consuming to economically justify the use of all-electric vehicles. However, switching from electric to conventional fossil fuel modes also results in higher costs and emissions and lower efficiency. This paper analyzes this heterogeneous vehicle routing problem and describes two solution methods: an exact branch-price-and-cut algorithm and an iterated tabu search metaheuristic. From a methodological perspective, we find that the exact algorithm consistently obtains tight lower bounds that also serve to certify the metaheuristic solutions as near-optimal. From a policy standpoint, we examine a large-scale real-world case study concerning parcel deliveries in the Chicago metropolitan area and quantify various operational metrics including energy costs and vehicle miles traveled. We find that by deploying roughly 20% of range-extended vehicles with a modest all-electric range of 33 miles, parcel distributors can save energy costs by up to 17% while incurring less than 0.5% increase in vehicle miles traveled. Increasing the range to 60 miles further reduces costs by only 4%, which can alternatively be achieved by decreasing the average service time by 1 minute or increasing driver working time by 1 hour. Our study reveals several key areas of improvement on which vehicle manufacturers, distributors, and policy makers can focus their attention.


title: Optimal and instance-dependent guarantees for Markovian linear stochastic approximation

abstract: We study stochastic approximation procedures for approximately solving a $d$-dimensional linear fixed point equation based on observing a trajectory of length $n$ from an ergodic Markov chain. We first exhibit a non-asymptotic bound of the order $t_{\mathrm{mix}} \tfrac{d}{n}$ on the squared error of the last iterate of a standard scheme, where $t_{\mathrm{mix}}$ is a mixing time. We then prove a non-asymptotic instance-dependent bound on a suitably averaged sequence of iterates, with a leading term that matches the local asymptotic minimax limit, including sharp dependence on the parameters $(d, t_{\mathrm{mix}})$ in the higher order terms. We complement these upper bounds with a non-asymptotic minimax lower bound that establishes the instance-optimality of the averaged SA estimator. We derive corollaries of these results for policy evaluation with Markov noise -- covering the TD($\lambda$) family of algorithms for all $\lambda \in [0, 1)$ -- and linear autoregressive models. Our instance-dependent characterizations open the door to the design of fine-grained model selection procedures for hyperparameter tuning (e.g., choosing the value of $\lambda$ when running the TD($\lambda$) algorithm).

categories: math.OC cs.LG math.PR math.ST stat.ML stat.TH


title: Vector Boson Dark Matter From Trinification

abstract: We show how trinification models based on the gauge group $SU(3)_C \times SU(3)_L \times SU(3)_R$ realized near the TeV scale can provide naturally a variety of dark matter (DM) candidates. These models contain a discrete $T$ parity which may remain unbroken even after spontaneous symmetry breaking. The lightest $T$-odd particle, which could be a fermion, a scalar, or a gauge boson, can constitute the dark matter of the universe. This framework naturally admits a doublet-singlet fermionic DM, a singlet scalar DM, or a vector boson DM. Here we develop the vector boson DM scenario wherein the DM couples off-diagonally with the usual fermions and vector-like fermions present in the theory. We show consistency of this framework with dark matter relic abundance and direct detection limits as well as LHC constraints. We derive upper limits of 900 GeV on the vector gauge boson DM mass and 4.5 TeV on the vector-like quarks and lepton masses. We also show the consistency of spontaneous gauge symmetry breaking down to Standard Model times an extra $U(1)$ while preserving the $T$-parity.


title: Theory of Harmonic Hall Responses of Spin-Torque Driven Antiferromagnets

abstract: Harmonic analysis is a powerful tool to characterize and quantify current-induced torques acting on magnetic materials, but so far it remains an open question in studying antiferromagnets. Here we formulate a general theory of harmonic Hall responses of collinear antiferromagnets driven by current-induced torques including both field-like and damping-like components. By scanning a magnetic field of variable strength in three orthogonal planes, we are able to distinguish the contributions from field-like torque, damping-like torque, and concomitant thermal effects by analyzing the second harmonic signals in the Hall voltage. The analytical expressions of the first and second harmonics as functions of the magnetic field direction and strength are confirmed by numerical simulations with good agreement. We demonstrate our predictions in two prototype antiferromagnets, $\alpha-$Fe$_{2}$O$_{3}$ and NiO, providing direct and general guidance to current and future experiments.


title: Customising Ranking Models for Enterprise Search on Bilingual Click-Through Dataset

abstract: In this work, we provide the details about the process of establishing an end-to-end system for enterprise search on bilingual click-through dataset. The first part of the paper will be about the high-level workflow of the system. Then, in the second part we will elaborately mention about the ranking models to improve the search results in the vertical search of the technical documents in enterprise domain. Throughout the paper, we will mention the way which we combine the methods in IR literature. Finally, in the last part of the paper we will report our results using different ranking algorithms with $NDCG@k$ where k is the cut-off value.


title: Scalar field couplings to quadratic curvature and decay into gravitons

abstract: Any field, even if it lives in a completely hidden sector, interacts with the visible sector at least via the gravitational interaction. In this paper, we show that a scalar field in such a hidden sector generically couples to the quadratic curvature via dimension five operators, i.e., $\phi R^2$, $\phi R^{\mu\nu} R_{\mu\nu}$, $\phi R_{\mu\nu\rho\sigma} R^{\mu\nu\rho\sigma}$, $\phi R_{\mu\nu\rho\sigma} \tilde R^{\mu\nu\rho\sigma}$, because they can emerge if there exist particles heavier than it. We derive these scalar couplings to the quadratic curvature by integrating out heavy particles in a systematic manner. Such couplings are of phenomenological interest since some of them induce the scalar decay into the graviton pair. We point out that the decay of a scalar field can produce a substantial amount of the stochastic cosmic graviton background at high frequency since the suppression scale of these operators is given by the mass of heavy particles not by the Planck scale. The resultant graviton spectrum is computed in some concrete models.


title: Impact of the superconductors properties on the measurement sensitivity of resonant-based axion detectors

abstract: Axions, hypothetical particles theorized to solve the strong CP-problem, are presently being considered as strong candidates as cold dark matter constituents. The signal power of resonant-based axion detectors, known as haloscopes, is directly proportional to their quality factor $Q$. In this paper, the impact of the use of superconductors in the performances of the haloscopes is studied by evaluating the obtainable $Q$. In particular, the surface resistance $R_s$ of NbTi, Nb$_3$Sn, YBa$_2$Cu$_3$O$_{7-\delta}$ and FeSe$_{0.5}$Te$_{0.5}$ is computed in the frequency, magnetic field and temperature ranges of interest, starting from the measured vortex motion complex resistivity and screening lengths of these materials. From $R_s$ the quality factor $Q$ of a cylindrical haloscope with copper conical bases and superconductive lateral wall, operating with the TM$_{010}$ mode, is evaluated and used to perform a comparison of the performances of the different materials. Both YBa$_2$Cu$_3$O$_{7-\delta}$ and FeSe$_{0.5}$Te$_{0.5}$ are shown to improve the measurement sensitivity by almost an order of magnitude with respect to a whole Cu cavity, while NbTi is shown to be suitable only at lower frequencies (<10 GHz). Nb$_3$Sn can give an intermediate improvement in the whole spectrum of interest.

categories: physics.ins-det astro-ph.IM cond-mat.supr-con hep-ex


title: Trions in Twisted Bilayer Graphene

abstract: The strong coupling phase diagram of magic angle twisted bilayer graphene (TBG) predicts a series of exact one particle charge $\pm 1$ gapped excitations on top of the integer-filled ferromagnetic ground-states. Finite-size exact diagonalization studies showed that these are the lowest charge $\pm 1$ excitations in the system (for $10$nm screening length), with the exception of charge $+1$ at filling $-1$ in the chiral limit. In the current paper we show that this "trion bound state", a $3$-particle, charge $1$ excitation of the insulating ferromagnetic ground-state of the projected Hamiltonian of TBG is the lowest charge $+1$ overall excitation at $\nu=-1$, and also for some large ($\approx 20$nm) screening lengths at $\nu=-2$ in the chiral limit and with very small binding energy. At other fillings, we show that trion bound states do exist, but only for momentum ranges that do not cover the entire moir\'e Brillouin zone. The trion bound states (at different momenta) exist for finite parameter range $w_0/w_1$ but they all disappear in the continuum far below the realistic values of $w_0/w_1= 0.8$. We find the conditions for the existence of the trion bound state, a good variational wavefunction for it, and investigate its behavior for different screening lengths, at all integer fillings, on both the electron and hole sides.


title: Cross Modal Retrieval with Querybank Normalisation

abstract: Profiting from large-scale training datasets, advances in neural architecture design and efficient inference, joint embeddings have become the dominant approach for tackling cross-modal retrieval. In this work we first show that, despite their effectiveness, state-of-the-art joint embeddings suffer significantly from the longstanding "hubness problem" in which a small number of gallery embeddings form the nearest neighbours of many queries. Drawing inspiration from the NLP literature, we formulate a simple but effective framework called Querybank Normalisation (QB-Norm) that re-normalises query similarities to account for hubs in the embedding space. QB-Norm improves retrieval performance without requiring retraining. Differently from prior work, we show that QB-Norm works effectively without concurrent access to any test set queries. Within the QB-Norm framework, we also propose a novel similarity normalisation method, the Dynamic Inverted Softmax, that is significantly more robust than existing approaches. We showcase QB-Norm across a range of cross modal retrieval models and benchmarks where it consistently enhances strong baselines beyond the state of the art. Code is available at https://vladbogo.github.io/QB-Norm/.


title: Supercritical percolation on finite transitive graphs I: Uniqueness of the giant component

abstract: Let $(G_n)_{n \geq 1} = ((V_n,E_n))_{n \geq 1}$ be a sequence of finite, connected, vertex-transitive graphs with volume tending to infinity. We say that a sequence of parameters $(p_n)_{n \geq 1}$ in $[0,1]$ is supercritical with respect to Bernoulli bond percolation $\mathbb P_p^G$ if there exists $\varepsilon >0$ and $N<\infty$ such that \[ \mathbb P_{(1-\varepsilon)p_n}^{G_n} \left( \text{the largest cluster contains at least $\varepsilon |V_n|$ vertices}\right) \geq \varepsilon \] for every $n\geq N$ with $p_n <1$. We prove that if $(G_n)_{n \geq 1}$ is sparse, meaning that the degrees are sublinear in the number of vertices, then the supercritical giant cluster is unique with high probability in the sense that if $(p_n)_{n \geq 1}$ is supercritical then \[ \lim_{n\to\infty}\mathbb P_{p_n}^{G_n} \left( \text{the second largest cluster contains at least $c|V_n|$ vertices} \right) = 0 \] for every $c>0$. This result is new even under the stronger hypothesis that $(G_n)_{n \geq 1}$ has uniformly bounded vertex degrees, in which case it verifies a conjecture of Benjamini (2001). Previous work of many authors had established the same theorem for complete graphs, tori, hypercubes, and bounded degree expander graphs, each using methods that are highly specific to the examples they treated. We also give a complete solution to the problem of supercritical uniqueness for dense vertex-transitive graphs, establishing a simple necessary and sufficient isoperimetric condition for uniqueness to hold.


title: Neutrinoless double beta decay in the minimal type-I seesaw model: How the enhancement or cancellation happens?

abstract: We discuss the contribution of right-handed neutrinos (RHNs) to the effective neutrino mass of the neutrinoless double beta decay within the minimal type-I seesaw model using the intrinsic seesaw relation of neutrino mass and mixing parameters and the relative mass dependence of the nuclear matrix elements. In the viable parameter space, we find the possibilities of both the enhancement and cancellation to the effective neutrino mass from RHNs. The bounds on the parameter space of the RHNs can be determined with the effective neutrino mass extracted from neutrinoless double beta decay experiments.


title: The threshold for stacked triangulations

abstract: A \emph{stacked triangulation} of a $d$-simplex $\mathbf{o}=\{1,\ldots,d+1\}$ ($d\geq 2$) is a triangulation obtained by repeatedly subdividing a $d$-simplex into $d+1$ new ones via a new vertex (the case $d=2$ is known as an Appolonian network). We study the occurrence of such a triangulation in the Linial--Meshulam model, i.e., for which $p$ does the random simplicial complex $Y\sim \mathcal{Y}_d(n,p)$ contain the faces of a stacked triangulation of the $d$-simplex $\mathbf{o}$, with its internal vertices labeled in $[n]$. In the language of bootstrap percolation in hypergraphs, it pertains to the threshold for $K_{d+2}^{d+1}$, the $(d+1)$-uniform clique on $d+2$ vertices. Our main result identifies this threshold for every $d\geq 2$, showing it is asymptotically $(\alpha_d n)^{-1/d}$, where $\alpha_d$ is the growth rate of the Fuss--Catalan numbers of order $d$. The proof hinges on a second moment argument in the supercritical regime, and on Kalai's algebraic shifting in the subcritical regime.


title: Spacelike zero crossings and timelike phases in the electromagnetic form factors of vector mesons

abstract: Some form factors of ground-state hadrons with spin might show a zero crossing at spacelike momenta of electron-hadron scattering. In the timelike region of hadron-antihadron production by electron-positron collisions the form factors become complex. When the hadrons decay, the relative phases between form factors can be measured by the angular distributions of their decay products. Using analyticity and the QCD high-energy limits for constraint-free form factors and for helicity amplitudes, we show how a single zero crossing in the spacelike region is related to the high-energy limit of the phase in the timelike region. Theoretical predictions for such zero crossings can therefore be tested by experimental measurements, e.g. by Belle II, in the high-energy timelike region. In the present work, this line of reasoning is applied to vector mesons.


title: SeMask: Semantically Masked Transformers for Semantic Segmentation

abstract: Finetuning a pretrained backbone in the encoder part of an image transformer network has been the traditional approach for the semantic segmentation task. However, such an approach leaves out the semantic context that an image provides during the encoding stage. This paper argues that incorporating semantic information of the image into pretrained hierarchical transformer-based backbones while finetuning improves the performance considerably. To achieve this, we propose SeMask, a simple and effective framework that incorporates semantic information into the encoder with the help of a semantic attention operation. In addition, we use a lightweight semantic decoder during training to provide supervision to the intermediate semantic prior maps at every stage. Our experiments demonstrate that incorporating semantic priors enhances the performance of the established hierarchical encoders with a slight increase in the number of FLOPs. We provide empirical proof by integrating SeMask into Swin Transformer and Mix Transformer backbones as our encoder paired with different decoders. Our framework achieves a new state-of-the-art of 58.25% mIoU on the ADE20K dataset and improvements of over 3% in the mIoU metric on the Cityscapes dataset. The code and checkpoints are publicly available at https://github.com/Picsart-AI-Research/SeMask-Segmentation .


title: Quantum-critical resistivity of strange metals in a magnetic field

abstract: Resistivity in the quantum-critical fluctuation region of several metallic compounds such as the cuprates, the heavy-fermions, Fe-chalogenides and pnictides, twisted bi-layer graphene and WSe$_2$, is linear in temperature $T$ as well as in a magnetic field $H$. Scattering of fermions by the excitations of a time-reversal odd polar vector field ${\bf \Omega}$ characterizing loop-current fluctuations has been shown to give a linear in T resistivity and other anomalous properties in the cuprates. An extension of this theory to an applied magnetic field is presented. Magnetic field is shown to generate vortices in the field ${\bf \Omega}$ proportional to $H_z$, the component orthogonal to the conducting planes. The elastic scattering of fermions from the vortices gives a resistivity linear in $H_z$. The coefficient of the linear in $H_z$ resistivity is predicted to vary as the marginal fermi-liquid susceptibility $\propto \ln(\frac{\omega_c}{T})$ at criticality. Quantitative comparison with experiments is presented.


title: The Understanding of Intertwined Physics: Discovering Capillary Pressure and Permeability Co-Determination

abstract: Although capillary and permeability are the two most important physical properties controlling fluid distribution and flow in nature, the interconnectivity function between them was a pressing challenge. Because knowing permeability leads to determining capillary pressure. Geodynamics (e.g., subsurface water, CO2 sequestration) and organs (e.g., plants, blood vessels) depend on capillary pressure and permeability. The first determines how far the fluid can reach, while the second determines how fast the fluid can flow in porous media. They are also vital to designing synthetic materials and micro-objects like membranes and micro-robotics. Here, we reveal the capillary and permeability intertwined behavior function. And demonstrate the unique physical connectors: pore throat size and network, linking capillary pressure and permeability. Our discovery quantifies the inverse relationship between capillary pressure and permeability for the first time, which we analytically derived and experimentally proved.


title: NinjaDesc: Content-Concealing Visual Descriptors via Adversarial Learning

abstract: In the light of recent analyses on privacy-concerning scene revelation from visual descriptors, we develop descriptors that conceal the input image content. In particular, we propose an adversarial learning framework for training visual descriptors that prevent image reconstruction, while maintaining the matching accuracy. We let a feature encoding network and image reconstruction network compete with each other, such that the feature encoder tries to impede the image reconstruction with its generated descriptors, while the reconstructor tries to recover the input image from the descriptors. The experimental results demonstrate that the visual descriptors obtained with our method significantly deteriorate the image reconstruction quality with minimal impact on correspondence matching and camera localization performance.


title: ELSA: Enhanced Local Self-Attention for Vision Transformer

abstract: Self-attention is powerful in modeling long-range dependencies, but it is weak in local finer-level feature learning. The performance of local self-attention (LSA) is just on par with convolution and inferior to dynamic filters, which puzzles researchers on whether to use LSA or its counterparts, which one is better, and what makes LSA mediocre. To clarify these, we comprehensively investigate LSA and its counterparts from two sides: \emph{channel setting} and \emph{spatial processing}. We find that the devil lies in the generation and application of spatial attention, where relative position embeddings and the neighboring filter application are key factors. Based on these findings, we propose the enhanced local self-attention (ELSA) with Hadamard attention and the ghost head. Hadamard attention introduces the Hadamard product to efficiently generate attention in the neighboring case, while maintaining the high-order mapping. The ghost head combines attention maps with static matrices to increase channel capacity. Experiments demonstrate the effectiveness of ELSA. Without architecture / hyperparameter modification, drop-in replacing LSA with ELSA boosts Swin Transformer \cite{swin} by up to +1.4 on top-1 accuracy. ELSA also consistently benefits VOLO \cite{volo} from D1 to D5, where ELSA-VOLO-D5 achieves 87.2 on the ImageNet-1K without extra training images. In addition, we evaluate ELSA in downstream tasks. ELSA significantly improves the baseline by up to +1.9 box Ap / +1.3 mask Ap on the COCO, and by up to +1.9 mIoU on the ADE20K. Code is available at \url{https://github.com/damo-cv/ELSA}.


title: Compressibility and the Equation of State of an Optical Quantum Gas in a Box

abstract: The compressibility of a medium, quantifying its response to mechanical perturbations, is a fundamental property determined by the equation of state. For gases of material particles, studies of the mechanical response are well established, in fields from classical thermodynamics to cold atomic quantum gases. Here we demonstrate a measurement of the compressibility of a two-dimensional quantum gas of light in a box potential and obtain the equation of state for the optical medium. The experiment is carried out in a nanostructured dye-filled optical microcavity. We observe signatures of Bose-Einstein condensation at high phase-space densities in the finite-size system. Strikingly, upon entering the quantum degenerate regime, the measured density response to an external force sharply increases, hinting at the peculiar prediction of an infinite compressibility of the deeply degenerate Bose gas.


title: Topological pumping in a Floquet-Bloch band

abstract: Constructing new topological materials is of vital interest for the development of robust quantum applications. However, engineering such materials often causes technological overhead, such as large magnetic fields, specific lattice geometries, strong spin-orbit coupling, synthetic dimensions, or dynamical superlattice potentials. Simplifying the experimental requirements has been addressed on a conceptual level - by proposing to combine simple lattice structures with Floquet engineering - but there has been no experimental implementation. Here, we demonstrate topological pumping in a Floquet-Bloch band using a plain sinusoidal lattice potential and two-tone driving with frequencies $\omega$ and $2\omega$. We adiabatically prepare a near-insulating Floquet band of ultracold fermions via a frequency chirp, which avoids gap closings en route from trivial to topological bands. Subsequently, we induce topological pumping by slowly cycling the amplitude and the phase of the $2 \omega$ drive. Our system is well described by an effective Shockley model, establishing a novel paradigm to engineer topological matter from simple underlying lattice geometries. This approach could enable the application of quantised pumping in metrology, following recent experimental advances on two-frequency driving in real materials.

categories: cond-mat.quant-gas cond-mat.mes-hall physics.atom-ph physics.optics


title: Nonperturbative gravity corrections to bulk reconstruction

abstract: We introduce a new algebraic framework for understanding nonperturbative gravitational aspects of bulk reconstruction with a finite or infinite-dimensional boundary Hilbert space. We use relative entropy equivalence between bulk and boundary with an inclusion of nonperturbative gravitational errors, which give rise to approximate recovery. We utilize the privacy/correctability correspondence to prove that the reconstruction wedge, the intersection of all entanglement wedges in pure and mixed states, manifestly satisfies bulk reconstruction. We explicitly demonstrate that local operators in the reconstruction wedge of a given boundary region can be recovered in a state-independent way for arbitrarily large code subspaces, up to nonperturbative errors in $G_N$. We further discuss state-dependent recovery beyond the reconstruction wedge and the use of the twirled Petz map as a universal recovery channel. We discuss our setup in the context of quantum islands and the information paradox.


title: Out to Explore the Cybersecurity Planet

abstract: Security ceremonies still fail despite decades of efforts by researchers and practitioners. Attacks are often a cunning amalgam of exploits for technical systems and of forms of human behaviour. For example, this is the case with the recent news headline of a large-scale attack against Electrum Bitcoin wallets, which manages to spread a malicious update of the wallet app. I therefore set out to look at things through a different lens. I make the (metaphorical) hypothesis that human ancestors arrived on Earth along with security ceremonies from a very far planet, the Cybersecurity planet. My hypothesis continues, in that studying (by huge telescopes) the surface of Cybersecurity in combination with the logical projection on that surface of what happens on Earth is beneficial for us earthlings. I have spotted four cities so far on the remote planet. Democratic City features security ceremonies that allow inhabitants to follow personal paths of practice and, for example, make errors or be driven by emotions. By contrast, security ceremonies in Dictatorial City compel inhabitants to comply, thus behaving like programmed automata. Security ceremonies in Beautiful City are so beautiful that inhabitants just love to follow them precisely. Invisible City has security ceremonies that are not perceivable, hence inhabitants feel like they never encounter any. Incidentally, we use the words "democratic" and "dictatorial" without any political connotation. A key argument I shall develop is that all cities but Democratic City address the human factor, albeit in different ways. In the light of these findings, I will also discuss security ceremonies of our planet, such as WhatsApp web login and flight boarding, and explore room for improving them based upon the current understanding of Cybersecurity.


title: Analysis of animal-related electric outages using species distribution models and community science data

abstract: Animal-related outages (AROs) are a prevalent form of outages in electrical distribution systems. Animal-infrastructure interactions vary across focal species and regions, underlining the need to study the animal-outage relationship in more species and diverse systems. Animal activity has been used as an indicator of reliability in the electrical grid system and to describe temporal patterns in AROs. However, these ARO models have been limited by a lack of available estimates of species activity, instead approximating activity based on seasonal and weather patterns in animal-related outage records and characteristics of broad taxonomic groups, e.g., squirrels. We highlight publicly available resources to fill the ecological data gap that is limiting joint analyses between ecology and energy sectors. Species distribution models (SDMs), a common technique to model the distribution of a species across geographic space and time, paired with data sourced from eBird, a community science database for bird observations, provided us with species-specific estimates of activity to model spatio-temporal patterns of AROs. These flexible, species-specific estimates can allow future animal-indicators of grid reliability to be investigated in more diverse regions and ecological communities, providing a better understanding of the variation that exists in animal-outage relationship. AROs were best modeled by accounting for multiple outage-prone species activity patterns and their unique relationships with seasonality and habitat availability. Different species were important for modeling outages in different landscapes and seasons depending on their distribution and migration behavior. We recommend that future models of AROs include species-specific activity data that account for the diverse spectrum of spatio-temporal activity patterns that outage-prone animals exhibit.


title: Understanding and Measuring Robustness of Multimodal Learning

abstract: The modern digital world is increasingly becoming multimodal. Although multimodal learning has recently revolutionized the state-of-the-art performance in multimodal tasks, relatively little is known about the robustness of multimodal learning in an adversarial setting. In this paper, we introduce a comprehensive measurement of the adversarial robustness of multimodal learning by focusing on the fusion of input modalities in multimodal models, via a framework called MUROAN (MUltimodal RObustness ANalyzer). We first present a unified view of multimodal models in MUROAN and identify the fusion mechanism of multimodal models as a key vulnerability. We then introduce a new type of multimodal adversarial attacks called decoupling attack in MUROAN that aims to compromise multimodal models by decoupling their fused modalities. We leverage the decoupling attack of MUROAN to measure several state-of-the-art multimodal models and find that the multimodal fusion mechanism in all these models is vulnerable to decoupling attacks. We especially demonstrate that, in the worst case, the decoupling attack of MUROAN achieves an attack success rate of 100% by decoupling just 1.16% of the input space. Finally, we show that traditional adversarial training is insufficient to improve the robustness of multimodal models with respect to decoupling attacks. We hope our findings encourage researchers to pursue improving the robustness of multimodal learning.


title: A Multi-View Framework for BGP Anomaly Detection via Graph Attention Network

abstract: As the default protocol for exchanging routing reachability information on the Internet, the abnormal behavior in traffic of Border Gateway Protocols (BGP) is closely related to Internet anomaly events. The BGP anomalous detection model ensures stable routing services on the Internet through its real-time monitoring and alerting capabilities. Previous studies either focused on the feature selection problem or the memory characteristic in data, while ignoring the relationship between features and the precise time correlation in feature (whether it's long or short term dependence). In this paper, we propose a multi-view model for capturing anomalous behaviors from BGP update traffic, in which Seasonal and Trend decomposition using Loess (STL) method is used to reduce the noise in the original time-series data, and Graph Attention Network (GAT) is used to discover feature relationships and time correlations in feature, respectively. Our results outperform the state-of-the-art methods at the anomaly detection task, with the average F1 score up to 96.3% and 93.2% on the balanced and imbalanced datasets respectively. Meanwhile, our model can be extended to classify multiple anomalous and to detect unknown events.


title: Relativistic Hydrodynamics: A Singulant Perspective

abstract: There is growing evidence that the hydrodynamic gradient expansion is factorially divergent. We advocate for using Dingle's singulants as a way to gain analytic control over its large-order behaviour for nonlinear flows. Within our approach, singulants can be viewed as new emergent degrees of freedom which reorganise the large-order gradient expansion. We work out the physics of singulants for longitudinal flows, where they obey simple evolution equations which we compute in M\"uller-Israel-Stewart-like models, holography and kinetic theory. These equations determine the dynamics of the large-order behaviour of the hydrodynamic expansion, which we confirm with explicit numerical calculations. One of our key findings is a duality between singulant dynamics and a certain linear response theory problem. Finally, we discuss the role of singulants in optimal truncation of the hydrodynamic gradient expansion. A by-product of our analysis is a new M\"uller-Israel-Stewart-like model, where the qualitative behaviour of singulants shares more similarities with holography than models considered hitherto.


title: The Quantum Trellis: A classical algorithm for sampling the parton shower with interference effects

abstract: Simulations of high-energy particle collisions, such as those used at the Large Hadron Collider, are based on quantum field theory; however, many approximations are made in practice. For example, the simulation of the parton shower, which gives rise to objects called `jets', is based on a semi-classical approximation that neglects various interference effects. While there is a desire to incorporate interference effects, new computational techniques are needed to cope with the exponential growth in complexity associated to quantum processes. We present a classical algorithm called the quantum trellis to efficiently compute the un-normalized probability density over N-body phase space including all interference effects, and we pair this with an MCMC-based sampling strategy. This provides a potential path forward for classical computers and a strong baseline for approaches based on quantum computing.


title: Central star formation in double-peak gas rich radio galaxies

abstract: In a recent work, a large sample of double-peak (DP) emission line galaxies have been identified from the SDSS. While the two peaks could represent two kinematic components, they may be linked to the large bulges which their host galaxies tend to have. Star-forming DP galaxies display a central star formation enhancement and have been discussed to be compatible with a sequence of recent minor mergers. In order to probe merger induced star formation mechanisms, we conducted observations of the molecular gas content of 35 star-forming DP galaxies in the upper part of the main sequence (MS) of star formation with the IRAM 30m telescope. Including similar galaxies 0.3 dex above MS and with existing molecular gas observations from the literature, we finally obtain a sample of 52 such galaxies. We succeed in fitting the same kinematic parameters to the optical ionised and molecular gas emission lines for 10 (19%) galaxies. We find a central star formation enhancement resulting most likely from a galaxy merger or galaxy interaction, which is indicated by an excess of gas extinction found in the centre. This star formation is traced by radio continuum emissions at 150MHz, 1.4 and 3GHz, which are all three linearly correlated in log with the CO luminosity with the same slope. The 52 DP galaxies are found to have a significantly larger amount of molecular gas and larger depletion times, hence a lower star formation efficiency, than the expected values at their distance of the MS. This is consistent with a scenario of minor mergers increasing the mass of bulges and driving gas to the centre. We also exclude the inwards directed gas migration and central star formation enhancement to be the origin of a bar morphology. Hence, these 52 DP galaxies could be the results of recent minor mergers that funnelled molecular gas towards their centre, triggering star formation, but with a moderate efficiency.


title: Curvature control of the superconducting proximity effect in diffusive ferromagnetic nanowires

abstract: Coupling a conventional s-wave superconductor to a ferromagnet allows, via the proximity effect, to generate superconducting triplet correlations. This feature can be employed to achieve a superconducting triplet spin-valve effect in superconductor-ferromagnet (SF) hybrid structures, for example by switching the magnetizations of the ferromagnets between parallel and antiparallel configurations in F1SF2 and SF1F2 trilayers, or in SF bilayers with both Rashba and Dresselhaus SOC. It was recently reported that geometric curvature can control the generation of long ranged triplets. We use this property to show that the superconducting critical temperature of an SF hybrid nanowire can be tuned by varying the curvature of the ferromagnetic side alone, with no need of another ferromagnet or SOC. We show that the variation of the critical temperature as a function of the curvature can be exploited to obtain a robust, curvature-controlled, superconducting triplet spin-valve effect. Furthermore, we perform an analysis with the inclusion of spin-orbit coupling and explain how it modifies the spin-valve effect both quantitatively and qualitatively.


title: Shedding Flavor on Dark via Freeze-in: $U(1)_{B-3L_i}$ Gauged Extensions

abstract: We consider a singlet fermionic dark matter (DM) $\chi$ in a gauged $U(1)_{B-3L_i}$ extension of the Standard Model (SM), with $i\in e\,,\mu\,,\tau$, and derive bounds on the allowed parameter space, considering its production via freeze-in mechanism. The DM communicates with the SM only through flavorful vector-portal $Z_\text{B3L}$ due to its non-trivial charge $x$ under $U(1)_{B-3L_{i}}$, which also guarantees the stability of the DM over the age of the Universe for $x\neq\{\pm 3/2,\pm 3\}$. Considering $Z_\text{B3L}$ to lie within the mass range of a few MeV up to a few GeV, we obtain constraints on the gauge coupling $g_\text{B3L}$ from the requirement of producing right relic abundance. Taking limits from various (present and future) experimental facilities, e.g., NuCal, NA64, FASER, SHiP into account, we show that the relic density allowed parameter space for the frozen in DM can be probed with $g_\text{B3L}\gtrsim 10^{-8}$ for both $m_\chi<m_\text{ZB3L}/2$ and $m_\chi\gtrsim m_\text{ZB3L}$, while $g_\text{B3L}\lesssim 10^{-8}$ remains mostly unconstrained. We also briefly comment on the implications of neutrino mass generation via Type-I seesaw and anomalous $(g-2)_\mu$ in context with $B-3L_\mu$ gauged symmetry.


title: The differences between mass- and light-derived structural parameters over time for MaNGA Elliptical galaxies

abstract: We apply stellar population synthesis analysis to obtain spatially-resolved archaeological inferences for a large sample of "red and dead" Elliptical galaxies (Classical Ellipticals; CLEs) from the MaNGA/SDSS-IV DR15 survey. From their 2D stellar light and mass maps, we explore the differences between the radial mass and light distributions in the rest-frame bands $g,$ $r,$ and $i$ as functions of look-back time, $t_{\rm lb}$, or redshift, $z$. We characterize these differences through the ratios between the following mass- and light-derived global properties: sizes, concentrations, and effective surface densities. We find that the mass-to-light ratios of these properties change with $t_{\rm lb}$, more the more massive the galaxies are. The CLE galaxy archaeological progenitors are, on average, less compact, concentrated, and dense in light than in mass as $z$ decreases. However, at later times, when also the evolution of the progenitors becomes passive at all radii, there is an upturn in these trends and the differences between mass and light in compactness/concentration decrease towards $z\sim 0$. The trends in the ratios of mass to light sizes agree qualitatively with results from direct observations in galaxy surveys at different redshifts. We discuss the caveats and interpretations of our results, and speculate that the strong structural evolution found in some previous studies for early-type galaxies could be explained partially by photometric changes rather than by intrinsic structural changes.


title: The Three-Dimensional Collapse of a Rapidly Rotating 16 $M_{\odot}$ Star

abstract: We report on the three-dimensional (3D) hydrodynamic evolution to iron core-collapse of a rapidly rotating 16 $M_{\odot}$ star. For the first time, we follow the 3D evolution of the angular momentum (AM) distribution in the iron core and convective shell burning regions for the final 10 minutes up to and including gravitational instability and core-collapse. In 3D, we find that convective regions show efficient AM transport that leads to an AM profile that differs in shape and magnitude from $\texttt{MESA}$ within a few shell convective turnover timescales. For different progenitor models, such as those with tightly coupled Si/O convective shells, efficient AM transport in 3D simulations could lead to a significantly different AM distribution in the stellar interior affecting estimates of the natal neutron star or black hole spin. Our results suggest that 3D AM transport in convective and rotating shell burning regions are critical components in models of massive stars and could qualitatively alter the explosion outcome and inferred compact remnant properties.


title: Combinatorial Burnside groups

abstract: We study the structure of combinatorial Burnside groups, which receive equivariant birational invariants of actions of finite groups on algebraic varieties.


title: Biased or Not?: The Story of Two Search Engines

abstract: Search engines can be considered as a gate to the world of WEB, and they also decide what we see for a given search query. Since many people are exposed to information through search engines, it is fair to expect that search engines should be neutral; i.e. the returned results must cover all the elements or aspects of the search topic, and they should be impartial where the results are returned based on relevance. However, the search engine results are based on many features and sophisticated algorithms where search neutrality is not necessarily the focal point. In this work we performed an empirical study on two popular search engines and analysed the search engine result pages for controversial topics such as abortion, medical marijuana, and gay marriage. Our analysis is based on the sentiment in search results to identify their viewpoint as conservative or liberal. We also propose three sentiment-based metrics to show the existence of bias as well as to compare viewpoints of the two search engines. Extensive experiments performed on controversial topics show that both search engines are biased, moreover they have the same kind of bias towards a given controversial topic.


title: On a theorem by Browder and its application to nonlinear boundary value problems

abstract: In a paper from 1960, Felix Browder established a theorem concerning the continuation of the fixed points of a family of continuous functions $f_t:X\to X$ depending continuously on a parameter $t\in [0,1]$, where $X$ is a convex and compact subset of $\R^n$. Here, the result is presented for a compact mapping $f:A\times X\to X$ where $X$ is a convex, closed and bounded subset of an arbitrary normed space and $A$ is an arcwise connected topological space. Applications to nonlinear boundary value problems are given; specifically, we shall present new viewpoints of known results, introduce some novel results and exhibit some open problems.


title: Sensitivity of the Roman Coronagraph Instrument to Exozodiacal Dust

abstract: Exozodiacal dust, warm debris from comets and asteroids in and near the habitable zone of stellar systems, reveals the physical processes that shape planetary systems. Scattered light from this dust is also a source of background flux which must be overcome by future missions to image Earthlike planets. This study quantifies the sensitivity of the Nancy Grace Roman Space Telescope Coronagraph to light scattered by exozodi, the zodiacal dust around other stars. Using a sample of 149 nearby stars, previously selected for optimum detection of habitable exoplanets by space observatories, we find the maximum number of exozodiacal disks with observable \textit{inner} habitable zone boundaries is six and the number of observable outer habitable boundaries is 74. One zodi was defined as the visible-light surface brightness of 22 $m_{\rm V}\ $arcsec$^{-2}$ around a solar-mass star, approximating the scattered light brightness in visible light at the Earth-equivalent insolation. In the speckle limited case, where the signal-to-noise ratio is limited by speckle temporal stability rather than shot noise, the median $5\sigma$ sensitivity to habitable zone exozodi is 12 zodi per resolution element. This estimate is calculated at the inner-working angle of the coronagraph, for the current best estimate performance, neglecting margins on the uncertainty in instrument performance and including a post-processing speckle suppression factor. For an log-norm distribution of exozodi levels with a median exozodi of 3$\times$ the solar zodi, we find that the Roman Coronagraph would be able to make 5$\sigma$ detections of exozodiacal disks in scattered light from 13 systems with a 95\% confidence interval spanning 7-20 systems. This sensitivity allows Roman Coronagraph to complement ground-based measurements of exozodiacal thermal emission and constrain dust albedos.


title: Anisotropic Schr\"odinger black holes with hyperscaling-violation

abstract: We investigate novel exact solutions to an Einstein-Maxwell theory non-minimally coupled to a self-interacting dilaton-like scalar. Extending the results of arXiv: 2012.13412 and 2110.04445, we report three families of exact configurations over a non-relativistic Schr\"odinger background with both, arbitrary dynamical critical exponent $z$ and hyperscaling violating parameter $\theta$. Concretely, we provide field configurations with hyperscaling violation which are asymptotically Schr\"odinger spaces. Our solutions correspond to three kinds: a zero-temperature background, a naked singularity and, more interestingly, a family of black holes. To the later, we construct the corresponding Carter-Penrose diagram with a view to understand their causal structure given the non-standard background. We show that a non-trivial hyperscaling violation parameter $\theta$ is necessary in order to support a real non-constant dilaton field in the configuration. We explore how the relation between the hyperscaling violation parameter and the critical dynamical exponent determine, in combination with the spacetime dimension, the kinematic aspects of the fields. We provide a thorough study of the thermodynamics including the quasi-local computation of charges, the verification of the first law and arguments concerning the stability. Lastly, we explore the effects in the thermodynamics from varying the rich parameter space. We pay special attention in comparing the qualitative behavior of the thermodynamics scalar-free solutions and the ones with a nontrivial dialton.


title: Cucker-Smale model with finite speed of information propagation: well-posedness, flocking and mean-field limit

abstract: We study a variant of the Cucker-Smale model where information between agents propagates with a finite speed $\mathfrak{c}>0$. This leads to a system of functional differential equations with state-dependent delay. We prove that, if initially the agents travel slower than $c$, then the discrete model admits unique global solutions. Moreover, under a generic assumption on the influence function, we show that there exists a critical information propagation speed $\mathfrak{c}^\ast>0$ such that if $\mathfrak{c}\geq\mathfrak{c}^\ast$, the system exhibits asymptotic flocking in the sense of the classical definition of Cucker and Smale. For constant initial datum the value of $\mathfrak{c}^\ast$ is explicitly calculable. Finally, we derive a mean-field limit of the discrete system, which is formulated in terms of probability measures on the space of time-dependent trajectories. We show global well-posedness of the mean-field problem and argue that it does not admit a description in terms of the classical Fokker-Planck equation.


title: Analytical model on mass limit of strange stars

abstract: In this paper, we present a new kind of stellar model using the Nariai IV metric. This model can be used to study the strange/quark stars(which is our present interest, though it can also be applicable to neutron stars). We present a mass-radius region where all the regularity conditions, energy conditions, the TOV equation, and stability conditions are satisfied. According to our model, strange stars having mass up to $1.9165M_{\odot}(=2.81 km)$ is stable. A strange star having a mass greater than $1.9165M_{\odot}$ violates the stability conditions. This model can be very useful to predict the radius of strange stars of mass greater than $1 M_{\odot}$.


title: MISO hierarchical inference engine satisfying the law of importation with aggregation functions

abstract: Fuzzy inference engine, as one of the most important components of fuzzy systems, can obtain some meaningful outputs from fuzzy sets on input space and fuzzy rule base using fuzzy logic inference methods. In order to enhance the computational efficiency of fuzzy inference engine in multi-input-single-output(MISO) fuzzy systems,this paper aims mainly to investigate three MISO fuzzy hierarchial inference engines based on fuzzy implications satisfying the law of importation with aggregation functions (LIA). We firstly find some aggregation functions for well-known fuzzy implications such that they satisfy (LIA). For a given aggregation function, the fuzzy implication which satisfies (LIA) with this aggregation function is then characterized. Finally, we construct three fuzzy hierarchical inference engines in MISO fuzzy systems applying aforementioned theoretical developments.


title: Bi-Directional Recurrent Neural Ordinary Differential Equations for Social Media Text Classification

abstract: Classification of posts in social media such as Twitter is difficult due to the noisy and short nature of texts. Sequence classification models based on recurrent neural networks (RNN) are popular for classifying posts that are sequential in nature. RNNs assume the hidden representation dynamics to evolve in a discrete manner and do not consider the exact time of the posting. In this work, we propose to use recurrent neural ordinary differential equations (RNODE) for social media post classification which consider the time of posting and allow the computation of hidden representation to evolve in a time-sensitive continuous manner. In addition, we propose a novel model, Bi-directional RNODE (Bi-RNODE), which can consider the information flow in both the forward and backward directions of posting times to predict the post label. Our experiments demonstrate that RNODE and Bi-RNODE are effective for the problem of stance classification of rumours in social media.


title: Self-Attention Generative Adversarial Network for Iterative Reconstruction of CT Images

abstract: Computed tomography (CT) uses X-ray measurements taken from sensors around the body to generate tomographic images of the human body. Conventional reconstruction algorithms can be used if the X-ray data are adequately sampled and of high quality; however, concerns such as reducing dose to the patient, or geometric limitations on data acquisition, may result in low quality or incomplete data. Images reconstructed from these data using conventional methods are of poor quality, due to noise and other artifacts. The aim of this study is to train a single neural network to reconstruct high-quality CT images from noisy or incomplete CT scan data, including low-dose, sparse-view, and limited-angle scenarios. To accomplish this task, we train a generative adversarial network (GAN) as a signal prior, to be used in conjunction with the iterative simultaneous algebraic reconstruction technique (SART) for CT data. The network includes a self-attention block to model long-range dependencies in the data. We compare our Self-Attention GAN for CT image reconstruction with several state-of-the-art approaches, including denoising cycle GAN, CIRCLE GAN, and a total variation superiorized algorithm. Our approach is shown to have comparable overall performance to CIRCLE GAN, while outperforming the other two approaches.


title: The $Z_2 \times Z_2$-graded Lie superalgebras $pso(2n+1|2n)$ and $pso(\infty|\infty)$, and parastatistics Fock spaces

abstract: The parastatistics Fock spaces of order $p$ corresponding to an infinite number of parafermions and parabosons with relative paraboson relations are constructed. The Fock spaces are lowest weight representations of the $Z_2 \times Z_2$-graded Lie superalgebra $pso(\infty|\infty)$, with a basis consisting of row-stable Gelfand-Zetlin patterns.


title: MDN-VO: Estimating Visual Odometry with Confidence

abstract: Visual Odometry (VO) is used in many applications including robotics and autonomous systems. However, traditional approaches based on feature matching are computationally expensive and do not directly address failure cases, instead relying on heuristic methods to detect failure. In this work, we propose a deep learning-based VO model to efficiently estimate 6-DoF poses, as well as a confidence model for these estimates. We utilise a CNN - RNN hybrid model to learn feature representations from image sequences. We then employ a Mixture Density Network (MDN) which estimates camera motion as a mixture of Gaussians, based on the extracted spatio-temporal representations. Our model uses pose labels as a source of supervision, but derives uncertainties in an unsupervised manner. We evaluate the proposed model on the KITTI and nuScenes datasets and report extensive quantitative and qualitative results to analyse the performance of both pose and uncertainty estimation. Our experiments show that the proposed model exceeds state-of-the-art performance in addition to detecting failure cases using the predicted pose uncertainty.


title: Demonstration of magnetic and light-controlled actuation of a photomagnetically actuated deformable mirror for wavefront control

abstract: Deformable Mirrors (DMs) have wide applications ranging from astronomical imaging to laser communications and vision science. However, they often require bulky multi-channel cables for delivering high power to their drive actuators. A low powered DM which is driven in a contactless fashion could provide a possible alternative to this problem.Here, we present a photo-magnetically actuated deformable mirror (PMADM) concept which is actuated in a contactless fashion by a permanent magnet and low power laser heating source. This paper presents the laboratory demonstration of prototype optical surface quality, magnetic control of focus, and COMSOL simulations of its precise photo-control. The PMADM prototype is made of a magnetic composite (polydimethylsiloxane [PDMS] + ferromagnetic $\text{CrO}_\text{2}$) and an optical-quality substrate layer and is 30.48 mm $\times$ 30.48 mm $\times$ 175 $\mu$ m in dimension with an optical pupil diameter of 8 mm. It deforms to 5.76 $\mu$ m when subjected to a 0.12 T magnetic flux density and relaxes to 3.76 $\mu$ m when illuminated by a 50 mW laser. A maximum stroke of 8.78 $\mu$ m before failure is also estimated considering a 3x safety factor. This works also includes simulation of astigmatism generation with the PMADM, a first step in demonstrating control of higher order modes. A fully developed PMADM can have potential application for wavefront corrections in vacuum and space environments.


title: Tridiagonal Maximum-Entropy Sampling and Tridiagonal Masks

abstract: The NP-hard maximum-entropy sampling problem (MESP) seeks a maximum (log-)determinant principal submatrix, of a given order, from an input covariance matrix $C$. We give an efficient dynamic-programming algorithm for MESP when $C$ (or its inverse) is tridiagonal and generalize it to the situation where the support graph of $C$ (or its inverse) is a spider graph with a constant number of legs (and beyond). We give a class of arrowhead covariance matrices $C$ for which a natural greedy algorithm solves MESP. A \emph{mask} $M$ for MESP is a correlation matrix with which we pre-process $C$, by taking the Hadamard product $M\circ C$. Upper bounds on MESP with $M\circ C$ give upper bounds on MESP with $C$. Most upper-bounding methods are much faster to apply, when the input matrix is tridiagonal, so we consider tridiagonal masks $M$ (which yield tridiagonal $M\circ C$). We make a detailed analysis of such tridiagonal masks, and develop a combinatorial local-search based upper-bounding method that takes advantage of fast computations on tridiagonal matrices.


title: The Tate and Standard Conjectures for Certain Abelian Varieties

abstract: In two earlier articles, we proved that, if the Hodge conjecture is true for ALL CM abelian varieties over the complex numbers, then both the Tate conjecture and the standard conjectures are true for abelian varieties over finite fields. Here we rework the proofs so that they apply to a single abelian variety. As a consequence, we prove (unconditionally) that the Tate and standard conjectures are true for many abelian varieties over finite fields, including abelian varieties for which the algebra of Tate classes is not generated by divisor classes.


title: Cosmological viability of a double field unified model from warm inflation

abstract: In this paper, we investigate the cosmological viability of a double scalar field model motivated by warm inflation. To this end, we first set up the theoretical framework in which dark energy, dark matter and inflation are accounted for in a triple unification scheme. We then compute the overall dynamics of the model, analyzing the physical role of coupling parameters. Focussing on the late-time evolution, we test the model against current data. Specifically, using the low-redshift Pantheon Supernovae Ia and Hubble cosmic chronometers measurements, we perform a Bayesian analysis through the Monte Carlo Markov Chains method of integration on the free parameters of the model. We find that the mean values of the free parameters constrained by observations lie within suitable theoretical ranges, and the evolution of the scalar fields provides a good resemblance to the features of the dark sector of the universe. Such behaviour is confirmed by the outcomes of widely adopted selection criteria, suggesting a statistical evidence comparable to that of the standard $\Lambda$CDM cosmology. We finally discuss the presence of large uncertainties over the free parameters of the model and we debate about fine-tuning issues related to the coupling constants.


title: Neutrino magnetic and electric dipole moments: From measurements to parameter space

abstract: Searches for neutrino magnetic moments/transitions in low energy neutrino scattering experiments are sensitive to effective couplings which are an intricate function of the Hamiltonian parameters. We study the parameter space dependence of these couplings in the Majorana (transitions) and Dirac (moments) cases, as well as the impact of the current most stringent experimental upper limits on the fundamental parameters. In the Majorana case we find that for reactor, short-baseline and solar neutrinos, CP violation can be understood as a measurement of parameter space vectors misalignments. The presence of nonvanishing CP phases opens a blind spot region where -- regardless of how large the parameters are -- no signal can be observed in either reactor or short-baseline experiments. Identification of these regions requires a combination of different data sets and allows for the determination of those CP phases. We point out that stringent bounds not necessarily imply suppressed Hamiltonian couplings, thus allowing for regions where disparate upper limits can be simultaneously satisfied. In contrast, in the Dirac case stringent experimental upper limits necessarily translate into tight bounds on the fundamental couplings. In terms of parameter space vectors, we provide a straightforward mapping of experimental information into parameter space.


title: Multi-Camera Sensor Fusion for Visual Odometry using Deep Uncertainty Estimation

abstract: Visual Odometry (VO) estimation is an important source of information for vehicle state estimation and autonomous driving. Recently, deep learning based approaches have begun to appear in the literature. However, in the context of driving, single sensor based approaches are often prone to failure because of degraded image quality due to environmental factors, camera placement, etc. To address this issue, we propose a deep sensor fusion framework which estimates vehicle motion using both pose and uncertainty estimations from multiple on-board cameras. We extract spatio-temporal feature representations from a set of consecutive images using a hybrid CNN - RNN model. We then utilise a Mixture Density Network (MDN) to estimate the 6-DoF pose as a mixture of distributions and a fusion module to estimate the final pose using MDN outputs from multi-cameras. We evaluate our approach on the publicly available, large scale autonomous vehicle dataset, nuScenes. The results show that the proposed fusion approach surpasses the state-of-the-art, and provides robust estimates and accurate trajectories compared to individual camera-based estimations.


title: Graph Few-shot Class-incremental Learning

abstract: The ability to incrementally learn new classes is vital to all real-world artificial intelligence systems. A large portion of high-impact applications like social media, recommendation systems, E-commerce platforms, etc. can be represented by graph models. In this paper, we investigate the challenging yet practical problem, Graph Few-shot Class-incremental (Graph FCL) problem, where the graph model is tasked to classify both newly encountered classes and previously learned classes. Towards that purpose, we put forward a Graph Pseudo Incremental Learning paradigm by sampling tasks recurrently from the base classes, so as to produce an arbitrary number of training episodes for our model to practice the incremental learning skill. Furthermore, we design a Hierarchical-Attention-based Graph Meta-learning framework, HAG-Meta. We present a task-sensitive regularizer calculated from task-level attention and node class prototypes to mitigate overfitting onto either novel or base classes. To employ the topological knowledge, we add a node-level attention module to adjust the prototype representation. Our model not only achieves greater stability of old knowledge consolidation, but also acquires advantageous adaptability to new knowledge with very limited data samples. Extensive experiments on three real-world datasets, including Amazon-clothing, Reddit, and DBLP, show that our framework demonstrates remarkable advantages in comparison with the baseline and other related state-of-the-art methods.


title: Are there higher-order Betchov homogeneity constraints for incompressible isotropic turbulence?

abstract: Incompressible and statistically homogeneous flows obey exact kinematic relations. The Betchov homogeneity constraints (Betchov, J. Fluid Mech., vol. 1, 1956, pp. 497-504) for the average principal invariants of the velocity gradient are among the most well known and extensively employed homogeneity relations. These homogeneity relations have far-reaching implications for the coupled dynamics of strain and vorticity, as well as for the turbulent energy cascade. Whether the Betchov homogeneity constraints are the only possible ones or whether additional homogeneity relations exist has not been proven yet. Here we show that the Betchov homogeneity constraints are the only homogeneity constraints for incompressible and statistically isotropic velocity gradient fields. We also extend our results to derive homogeneity relations involving the velocity gradient and other dynamically relevant quantities, such as the pressure Hessian.


title: Observability of Forming Planets and their Circumplanetary Disks IV. -- with JWST & ELT

abstract: To understand the potential for observing forming planets and their circumplanetary disks (CPDs) with JWST and ELT, we created mock observations from 3D radiative hydrodynamic simulations and radiative transfer post-processing for planets with 10, 5, 1 Jupiter and 1 Saturn masses with orbital separation of 50 and 30 AU in 0$^{\circ}$, 30$^{\circ}$ and 60$^{\circ}$ inclinations. Instrumental effects were then simulated with Mirage for JWST/NIRCam and NIRISS, MIRISim for JWST/MIRI and SimCADO & SimMETIS for ELT/MICADO and METIS. We found that the longer wavelengths (mid-IR and beyond) are the best to detect CPDs. Longer is the wavelength, the smaller mass planet's CPD could be detected. MIRI on JWST and METIS on ELT offers the best possibility on these telescopes. Specifically, below 3 $\mu$m, only 10 $M_{\mathrm{Jup}}$ planets with their CPDs are detectable with NIRCam and MICADO. 5 $M_{\mathrm{Jup}}$ planets are only detectable if at 30 AU (i.e. closer) orbital separation. Planets above 5 $M_{\mathrm{Jup}}$ with their CPDs are detectable between 3-5 $\mu$m with NIRCam and METIS L/M band, or above 10 $\mu$m with MIRI and METIS N band. For $\leq$ 1 $M_{\mathrm{Jup}}$ planets > 15 $\mu$m are needed, where MIRI uniquely offers imaging capability. We present magnitudes and spectral energy distributions for separate components of the planet+CPD+CSD system, to differentiate the extinction rates of CPDs and CSDs and to provide predictions for observational proposals. Because the CPD turns out to be the main absorber of the planet's emission, especially <10 $\mu$m, this makes the detection of forming planets quite challenging.


title: Boundary control and homogenization: optimal climatization through smart double skin boundaries

abstract: We consider the homogenization of an optimal control problem in which the control is placed on a part of the boundary and the spatial domain contains a thin layer of "small particles", very close to the controlling boundary, and a Robin boundary condition is assumed on the boundary of those "small particles". This problem can be associated with the climatization modeling of Bioclimatic Double Skin Fa\c{c}ades which was developed in modern architecture as a tool for energy optimization. We assume that the size of the particles and the parameters involved in the Robin boundary condition are critical (and so they justify the occurrence of some "strange terms" in the homogenized problem). The cost functional is given by a weighted balance of the distance (in a H^1-type metric) to a prescribed target internal temperature u_{T} and the proper cost of the control (given by its L^2 norm). We prove the (weak) convergence of states u_{{\epsilon}} and of the controls v_{{\epsilon}} to some functions which are completely identified: u_0 satisfies an artificial boundary condition on the control boundary and v_0 is the optimal control associated to a limit cost functional J_0 in which the "boundary strange term" on the control boundary arises. This information on the limit problem makes much more manageable the study of the optimal climatization of such double skin structures.


title: A Rationale-Based Classification of MISRA C Guidelines

abstract: MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount importance. While MISRA C is currently encoded in 175 guidelines (coding rules and directives), it does not coincide with them: proper adoption of MISRA C requires embracing its preventive approach (as opposed to the "bug finding" approach) and a documented development process where justifiable non-compliances are authorized and recorded as deviations. MISRA C guidelines are classified along several axes in the official MISRA documents. In this paper, we add to these an orthogonal classification that associates guidelines with their main rationale. The advantages of this new classification are illustrated for different kinds of projects, including those not (yet) having MISRA compliance among their objectives.


title: Exact weak bosonic zero modes in a spin/fermion chain

abstract: We study an exactly solvable one-dimensional spin-$\frac{1}{2}$ model which can support weak zero modes in its ground state manifold. The spin chain has staggered XXZ-type and ZZ-type spin interaction on neighboring bonds and is thus dubbed the (XXZ,Z) chain. The model is equivalent to an interacting fermionic chain by Jordan-Wigner transformation. We study the phase diagram of the system and work out the conditions and properties of its weak zero modes. In the fermion chain representation, these weak zero modes are given by even-order polynomials of Majorana fermion operators and are thus bosonic. The fermionic chain Hamiltonian contains only fermion hopping and interaction terms and may have potential realization in experiments.


title: Anti-Poiseuille Flow: Increased Vortex Velocity at Superconductor Edges

abstract: Using the time-dependent Ginzburg Landau equations we study vortex motion driven by an applied current in two dimensional superconductors in the presence of a physical boundary. At smaller sourced currents the vortex lattice moves as a whole, with each vortex moving at the same velocity. At larger sourced current, vortex motion is organized into channels, with vortices in channels nearer to the sample edges moving faster than those farther away from sample edges, opposite to the Poiseuille flow of basic hydrodynamics where the velocity is lowest at the boundaries. At intermediate currents, a stick-slip motion of the vortex lattice occurs in which vortices in the channel at the boundary break free from the Abrikosov lattice, accelerate, move past their neighbors and then slow down and reattach to the vortex lattice at which point the stick-slip process starts over. These effects could be observed experimentally, e.g. using fast scanning microscopy techniques.


title: Stress-tailoring magnetic anisotropy of V$_2$O$_3$/Ni bilayers

abstract: We report on a temperature-driven reversible change of the in-plane magnetic anisotropy of V$_2$O$_3$/Ni bilayers. This is caused by the rhombohedral to monoclinic structural phase transition of V$_2$O$_3$ at $T_C$ = 160 K. The in-plane magnetic anisotropy is uniaxial above $T_C$, but as the bilayer is cooled through the structural phase transition, a secondary magnetic easy axis emerges. Ferromagnetic resonance measurements show that this change in magnetic anisotropy is reversible with temperature. We identify two structural properties of the V$_2$O$_3$/Ni bilayers affecting the in-plane magnetic anisotropy: (1) a growth-induced uniaxial magnetic anisotropy associated with step-like terraces in the bilayer microstructure and (2) a low-temperature strain-induced biaxial anisotropy associated with the V$_2$O$_3$ structural phase transition. Magnetoresistance measurements corroborate the change in magnetic anisotropy across the structural transition and suggest that the negative magnetostriction of Ni leads to the emergence of a strain-induced easy-axis. This shows that a temperature-dependent structural transition in V$_2$O$_3$ may be used to tune the magnetic anisotropy in an adjacent ferromagnetic thin film.


title: Quantum dynamics in 1D lattice models with synthetic horizons

abstract: We investigate the wave packet dynamics and eigenstate localization in recently proposed generalized lattice models whose low-energy dynamics mimics a quantum field theory in (1+1)D curved spacetime with the aim of creating systems analogous to black holes. We identify a critical slowdown of zero-energy wave packets in a family of 1D tight-binding models with power-law variation of the hopping parameter, indicating the presence of a horizon. Remarkably, wave packets with non-zero energies bounce back and reverse direction before reaching the horizon. We additionally observe a power-law localization of all eigenstates, each bordering a region of exponential suppression. These forbidden regions dictate the closest possible approach to the horizon of states with any given energy. These numerical findings are supported by a semiclassical description of the wave packet trajectories, which are shown to coincide with the geodesics expected for the effective metric emerging from the considered lattice models in the continuum limit.


title: Gravity and the Crossed Product

abstract: Recently Leutheusser and Liu [1,2] identified an emergent algebra of Type III$_1$ in the operator algebra of ${\mathcal N}=4$ super Yang-Mills theory for large $N$. Here we describe some $1/N$ corrections to this picture and show that the emergent Type III$_1$ algebra becomes an algebra of Type II$_\infty$. The Type II$_\infty$ algebra is the crossed product of the Type III$_1$ algebra by its modular automorphism group. In the context of the emergent Type II$_\infty$ algebra, the entropy of a black hole state is well-defined up to an additive constant, independent of the state. This is somewhat analogous to entropy in classical physics.


title: Regularity of the coefficients of multilinear forms on sequence spaces

abstract: The investigation of regularity/summability properties of the coefficients of bilinear forms in sequence spaces was initiated by Littlewood in $1930$. Nowadays, this topic has important connections with other fields of Pure and Applied Mathematics as Complex Analysis, Quantum Information Theory, Theoretical Computer Science and Combinatorial Games. In this paper we explore a regularity technique to obtain optimal parameters for several results in this framework, extending/generalizing theorems of Osikiewicz and Tonge ($2001$), Albuquerque \textit{et al.} ($2016$), Aron \textit{et al.} ($2017$), Albuquerque and Rezende ($2018$), Paulino ($2020$), among others.