title: Two-scale analysis and design of spaceframes with complex additive manufactured nodes

abstract: The advancements in additive manufacturing (AM) technology have allowed for the production of geometrically complex parts with customizable designs. This versatility benefits large-scale space-frame structures, as the individual design of each structural node can be tailored to meet specific mechanical and other functional requirements. To this end, however, the design and analysis of such space-frames with distinct structural nodes needs to be highly automated. A critical aspect in this context is automated integration of the local 3D features into the 1D large-scale models. In the present work, a two-scale modeling approach is developed to improve the design and linear-elastic analysis of space frames with complex additively manufactured nodes. The mechanical characteristics of the 3D nodes are numerically reduced through an automated dimensional reduction process based on the Finite Cell Method (FCM) and substructuring. The reduced stiffness quantities are assembled in the large-scale 1D model which, in turn, enables efficient structural analysis. The response of the 1D model is passed on to the local model, enabling fully resolved 3D linear-elastic analysis. The proposed approach is numerically verified on a simplified beam example. Furthermore, the workflow is demonstrated on a tree canopy structure with additively manufactured nodes with bolted connections. The form of the large-scale structure is found based on the Combinatorial Equilibrium Modeling framework, and the different designs of the local structural nodes are based on generative exploration of the design space. It is demonstrated that the proposed methodology effectively automates the design and analysis of space-frame structures with complex, distinct structural nodes.


title: Toroidal hollow-core microcavities produced by self-rolling of strained polymer bilayer films

abstract: Hollow-core toroidal micro-cavities are obtained by self-rolling of double-layer (polyvinyl pyridine/polystyrole) polymer films. Rolling of the bilayer is due to preferential swelling of the polyvinyl pyridine in water solution of dodecyl benzene sulfonic acid. The tube formation proceeds from a circular opening in the film made by photolithography or by mechanical scratching. The toroid equilibrium dimensions are determined by the balance of the elastic energy relaxation via the film scrolling and the work of the in-plane stretching that is due to increasing radius of the toroid. The principal features of the micro-toroid formation process are captured by a simple analytical model. The inner walls of the cavities can be made metal coated. To this aim, the polymer bilayer can be metallized by vacuum sputtering prior to lithographic patterning and rolling of the bilayer. The toroids with metallic inner surface are promising for the future research as IR-frequency range resonators.


title: Explainable Data Poison Attacks on Human Emotion Evaluation Systems based on EEG Signals

abstract: The major aim of this paper is to explain the data poisoning attacks using label-flipping during the training stage of the electroencephalogram (EEG) signal-based human emotion evaluation systems deploying Machine Learning models from the attackers' perspective. Human emotion evaluation using EEG signals has consistently attracted a lot of research attention. The identification of human emotional states based on EEG signals is effective to detect potential internal threats caused by insider individuals. Nevertheless, EEG signal-based human emotion evaluation systems have shown several vulnerabilities to data poison attacks. The findings of the experiments demonstrate that the suggested data poison assaults are model-independently successful, although various models exhibit varying levels of resilience to the attacks. In addition, the data poison attacks on the EEG signal-based human emotion evaluation systems are explained with several Explainable Artificial Intelligence (XAI) methods, including Shapley Additive Explanation (SHAP) values, Local Interpretable Model-agnostic Explanations (LIME), and Generated Decision Trees. And the codes of this paper are publicly available on GitHub.


title: Something new about radial wave functions of fermions in the repulsive Coulomb field

abstract: An impermeable barrier at $r=r_{cl}$ in the effective potential of the relativistic Schr\"odinger-type equation leads to exclusion of the range $0 \leq r < r_{cl}$ from the wave function domain. Based on duality of the Schr\"odinger-type equation and the Dirac equation, a similar exclusion should be made in the wave functions domain of the Dirac equation. As a result, we obtain new solutions to the Dirac equation in the Coulomb repulsive field. Calculations show that depending on working parameters, at distances of several fractions or units of the Compton wavelength of the fermion from $r=r_{cl}$ new solutions almost coincide with the standard Coulomb functions of the continuous spectrum. Practically, matrix elements with new solutions will coincide to a good accuracy with standard matrix elements with the Coulomb functions of the continuous spectrum. Our consideration is methodological and helpful for discussing further development of quantum theory.


title: Chemical treatments of Monolayer Transition Metal Dichalcogenides and Their Prospect in Optoelectronic Applications

abstract: The interest in obtaining high-quality monolayer transition metal dichalcogenides (TMDs) for optoelectronic device applications has been growing dramatically. However, the prevalence of defects and unwanted doping in these materials remains a challenge, as they both limit optical properties and device performance. Surface chemical treatments of monolayer TMDs have been effective in improving their photoluminescence yield and charge transport properties. In this scenario, a systematic understanding of the underlying mechanism of chemical treatments will lead to a rational design of passivation strategies in future research, ultimately taking a step toward practical optoelectronic applications. We will therefore describe in this review the strategies, progress, mechanisms, and prospects of chemical treatments to passivate and improve the optoelectronic properties of TMDs.


title: Memory-Augmented Theory of Mind Network

abstract: Social reasoning necessitates the capacity of theory of mind (ToM), the ability to contextualise and attribute mental states to others without having access to their internal cognitive structure. Recent machine learning approaches to ToM have demonstrated that we can train the observer to read the past and present behaviours of other agents and infer their beliefs (including false beliefs about things that no longer exist), goals, intentions and future actions. The challenges arise when the behavioural space is complex, demanding skilful space navigation for rapidly changing contexts for an extended period. We tackle the challenges by equipping the observer with novel neural memory mechanisms to encode, and hierarchical attention to selectively retrieve information about others. The memories allow rapid, selective querying of distal related past behaviours of others to deliberatively reason about their current mental state, beliefs and future behaviours. This results in ToMMY, a theory of mind model that learns to reason while making little assumptions about the underlying mental processes. We also construct a new suite of experiments to demonstrate that memories facilitate the learning process and achieve better theory of mind performance, especially for high-demand false-belief tasks that require inferring through multiple steps of changes.


title: Glycine amino acid transformation under impacts by small solar system bodies, simulated via high-pressure torsion method

abstract: Impacts by small solar system bodies (meteoroids, asteroids, comets and transitional objects) are characterized by a combination of energy dynamics and chemical modification on both terrestrial and small solar system bodies. In this context, the discovery of glycine amino acid in meteorites and comets has led to a hypothesis that impacts by astronomical bodies could contribute to delivery and polymerization of amino acids in the early Earth to generate proteins as essential molecules for life. Besides the possibility of abiotic polymerization of glycine, its decomposition by impacts could generate reactive groups to form other essential organic biomolecules. In this study, the high-pressure torsion (HPT) method, as a new platform for simulation of impacts by small solar system bodies, was applied to glycine. In comparison with high-pressure shock experiments, the HPT method simultaneously introduces high pressure and deformation strain. It was found that glycine was not polymerized in the experimental condition assayed, but partially decomposed to ethanol under pressures of 1 and 6 GPa and shear strains of <120 m/m. The detection of ethanol implies the inherent availability of remaining nitrogen-containing groups, which can incorporate to the formation of other organic molecules at the impact site. In addition, this finding highlights a possibility of the origin of ethanol previously detected in comets.

categories: astro-ph.EP cond-mat.mtrl-sci physics.chem-ph physics.geo-ph


title: Towards Estimating Transferability using Hard Subsets

abstract: As transfer learning techniques are increasingly used to transfer knowledge from the source model to the target task, it becomes important to quantify which source models are suitable for a given target task without performing computationally expensive fine tuning. In this work, we propose HASTE (HArd Subset TransfErability), a new strategy to estimate the transferability of a source model to a particular target task using only a harder subset of target data. By leveraging the internal and output representations of model, we introduce two techniques, one class agnostic and another class specific, to identify harder subsets and show that HASTE can be used with any existing transferability metric to improve their reliability. We further analyze the relation between HASTE and the optimal average log likelihood as well as negative conditional entropy and empirically validate our theoretical bounds. Our experimental results across multiple source model architectures, target datasets, and transfer learning tasks show that HASTE modified metrics are consistently better or on par with the state of the art transferability metrics.


title: A conditioned local limit theorem for non-negative random matrices

abstract: Let $(S_n)_n$ be the random process on $\mathbb R$ driven by the product of i.i.d. non-negative random matrices and $\tau$ its exit time from $]0, +\infty[$. By using the adapted strategy initiated by D. Denisov and V. Wachtel, we obtain an asymptotic estimate and bounds of the probability that the process $(S_k)_k$ remains non negative up to time $n$ and simultaneously belongs to some compact set $[b, b+\ell ]\subset \mathbb R^{*+}$ at time $n$.


title: Mean field regret in discrete time games

abstract: In this paper, we use mean field games (MFGs) to investigate approximations of $N$-player games with uniformly symmetrically continuous heterogeneous closed-loop actions. To incorporate agents' risk aversion (beyond the classical expected total costs), we use an abstract evaluation functional for their performance criteria. Centered around the notion of regret, we conduct non-asymptotic analysis on the approximation capability of MFGs from the perspective of state-action distribution without requiring the uniqueness of equilibria. Under suitable assumptions, we first show that scenarios in the $N$-player games with large $N$ and small average regrets can be well approximated by approximate solutions of MFGs with relatively small regrets. We then show that $\delta$-mean field equilibria can be used to construct $\varepsilon$-equilibria in $N$-player games. Furthermore, in this general setting, we prove the existence of mean field equilibria.


title: Isomorphisms of groups of periodic infinite matrices

abstract: We describe isomorphisms of groups of several periodic infinite matrices and isomorphisms of groups of invertible elements of unital locally matrix algebras.


title: The survival probability of a weakly subcritical multitype branching process in iid random environment

abstract: We study the asymptotic behavior of the probability of non extinction of a weakly subcritical multitype branching process in iid random environments. Under suitable assumptions, the survival probability is of order of $\rho^n n ^{-3/2}$ for some $\rho \in (0, 1)$ to specify.


title: Splittings of Tangles and Spatial Graphs

abstract: Menasco proved the surprising result that if $G$ is a reduced, alternating, connected projection of a link $L$ and $G$ is prime then $L$ is prime. This result has been generalized to other classes of links, tangles, and spatial graphs. We draw attention to some issues with previous splitting results about tangles and spatial graphs, and obtain new more general results for tangles and spatial graphs.


title: Bessel functions on GL(n), I

abstract: In the context of the Kuznetsov trace formula, we outline the theory of the Bessel functions on $GL(n)$ as a series of conjectures designed as a blueprint for the construction of Kuznetsov-type formulas with given ramification at infinity. We are able to prove one of the conjectures at full generality on $GL(n)$ and most of the conjectures in the particular case of the long Weyl element; as with previous papers, we give some unconditional results on Archimedean Whittaker functions, now on $GL(n)$ with arbitrary weight. We expect the heuristics here to apply at the level of real reductive groups. In an appendix, we make good progress toward series and integral representations of $GL(4)$ Bessel functions by proving several of the conjectures for $GL(4)$.


title: On Echoes in Magnetohydrodynamics with Magnetic Dissipation

abstract: We study the long time asymptotic behavior of the inviscid magnetohydrodynamic equations with magnetic dissipation near a combination of Couette flow and a constant magnetic field. Here we show that there exist nearby explicit global in time low frequency solutions, which we call waves. Moreover, the linearized problem around these waves exhibits resonances under high frequency perturbations, called echoes, which result in norm inflation Gevrey regularity and infinite time blow-up in Sobolev regularity.


title: The use of Octree in point cloud analysis with application to cultural heritage

abstract: In this article we present the effects of our work on the subject of the technical approach to the 3D point cloud data analysis through the use of the Octree method to compress, analyse and compute the initial data.


title: Improving Human-AI Collaboration With Descriptions of AI Behavior

abstract: People work with AI systems to improve their decision making, but often under- or over-rely on AI predictions and perform worse than they would have unassisted. To help people appropriately rely on AI aids, we propose showing them behavior descriptions, details of how AI systems perform on subgroups of instances. We tested the efficacy of behavior descriptions through user studies with 225 participants in three distinct domains: fake review detection, satellite image classification, and bird classification. We found that behavior descriptions can increase human-AI accuracy through two mechanisms: helping people identify AI failures and increasing people's reliance on the AI when it is more accurate. These findings highlight the importance of people's mental models in human-AI collaboration and show that informing people of high-level AI behaviors can significantly improve AI-assisted decision making.


title: The Universal Trust Machine: A survey on the Web3 path towards enabling long term digital cooperation through decentralised trust

abstract: Since the dawn of human civilization, trust has been the core challenge of social organization. Trust functions to reduce the effort spent in constantly monitoring others' actions in order to verify their assertions, thus facilitating cooperation by allowing groups to function with reduced complexity. To date, in modern societies, large scale trust is almost exclusively provided by large centralized institutions. Specifically in the case of the Internet, Big Tech companies maintain the largest Internet platforms where users can interact, transact and share information. Thus, they control who can interact and conduct transactions through their monopoly of online trust. However, as recent events have shown, allowing for-profit corporations to act as gatekeepers to the online world comes with a litany of problems. While so far ecosystems of trust on the Internet could only be feasibly created by large institutions, Web3 proponents have a vision of the Internet where trust is generated without centralised actors. They attempt to do so by creating an ecosystem of trust constructed using decentralised technology. This survey explores this elusive goal of Web3 to create a "Universal Trust Machine", which in a true decentralised paradigm would be owned by both nobody and everybody. In order to do so, we first motivate the decades-old problem of generating trust without an intermediary by discussing Robert Axelrod's research on the evolution of cooperation. Next, we present the challenges that would have to be overcome in order to enable long term cooperation. We proceed to present various reputation systems, all of which present promising techniques for encouraging trustworthy behaviour. Then, we discuss Distributed Ledger technologies whose secure transaction facilitating and privacy preserving techniques promise to be a good complement to the current limitations of vanilla reputation systems.


title: Critical avalanches of Susceptible-Infected-Susceptible dynamics in finite networks

abstract: We investigate the avalanche temporal statistics of the Susceptible-Infected-Susceptible (SIS) model when the dynamics is critical and takes place on finite random networks. By considering numerical simulations on annealed topologies we show that the survival probability always exhibits three distinct dynamical regimes. Size-dependent crossover timescales separating them scale differently for homogeneous and for heterogeneous networks. The phenomenology can be qualitatively understood based on known features of the SIS dynamics on networks. A fully quantitative approach based on Langevin theory is shown to perfectly reproduce the results for homogeneous networks, while failing in the heterogeneous case. The analysis is extended to quenched random networks, which behave in agreement with the annealed case for strongly homogeneous and strongly heterogeneous networks.


title: Accessing Compton Form Factors at the Electron Ion Collider in China: An Impact study on $\textbf{Im} {\mathcal E}$

abstract: We estimate the impact of asymmetry measurements of Deeply Virtual Compton Scattering (DVCS) with transversely polarized proton beam taken at a future Electron Ion Collider in China (EicC) on the extraction of Compton Form Factors (CFFs). The CFFs extracted from an analysis based on artificial neural-network approach are reweighted by means of pseudo-data generated in the expected kinematic region of EicC. We find a remarkable improvement in the extraction of CFF $\textbf{Im} {\mathcal E}$, especially at the range of parton momentum fraction $x \sim$ 0.01, thus hinting for a future experimental probe of the parton orbital angular momentum. This work casts a glance at a practical implementation of Bayesian reweighting method on CFFs' impact study.


title: Cell decision-making through the lens of Bayesian learning

abstract: Cell decision-making refers to the process by which cells gather information from their local microenvironment and regulate their internal states to create appropriate responses. Microenvironmental cell sensing plays a key role in this process. Our hypothesis is that cell decision-making regulation is dictated by Bayesian learning. In this article, we explore the implications of this hypothesis for internal state temporal evolution. By using a timescale separation between internal and external variables on the mesoscopic scale, we derive a hierarchical Fokker-Planck equation for cell-microenvironment dynamics. By combining this with the Bayesian learning hypothesis, we find that changes in microenvironmental entropy dominate cell state probability distribution. Finally, we use these ideas to understand how cell sensing impacts cell decision-making. Notably, our formalism allows us to understand cell state dynamics even without exact biochemical information about cell sensing processes by considering a few key parameters.


title: Tri-bimaximal-Cabibbo Mixing: Flavour violations in the charged lepton sector

abstract: The well understood structure of $U_{pmns}$ matrix mandates a Cabibbo mixing matrix in the first two generations of the charged lepton sector if we assume Tri-bimaximal mixing in the neutrino sector. This ansatz, called Tri-bimaximal-Cabibbo mixing, is ruled out immediately by the experiments searching for charged lepton flavour violating currents. In this article, we aim to show that the resurrection of the theoretically well motivated Tri-bimaximal mixing scenario comes naturally within Minimal Flavour Violation hypothesis in the lepton sector. We analyse the flavour violating currents $\mu\rightarrow e e e$, $\mu Ti \to e Ti$, $\mu \rightarrow e \gamma$, $\pi^0\rightarrow e^+ \mu^{-}$ and $K_L \rightarrow \mu^+ e^-$ in this scenario and show that the New Physics that generates mixing among the charged lepton could lie within the reach of hadron colliders. In the minimal field content scenario, though the most stringent constrain on New Physics is $\gtrsim \mathcal{O}(10$ TeV) for maximal coupling, considering more natural couplings relaxes it to $\gtrsim \mathcal{O}(4$ TeV). On the other hand, New Physics with the extended field content is even more strongly constrained to $\gtrsim \mathcal{O}(75$ TeV) for maximal coupling, while it gets relaxed to $\gtrsim \mathcal{O}(31$ TeV) for natural scenario.


title: Self-supervised Domain Adaptation for Breaking the Limits of Low-quality Fundus Image Quality Enhancement

abstract: Retinal fundus images have been applied for the diagnosis and screening of eye diseases, such as Diabetic Retinopathy (DR) or Diabetic Macular Edema (DME). However, both low-quality fundus images and style inconsistency potentially increase uncertainty in the diagnosis of fundus disease and even lead to misdiagnosis by ophthalmologists. Most of the existing image enhancement methods mainly focus on improving the image quality by leveraging the guidance of high-quality images, which is difficult to be collected in medical applications. In this paper, we tackle image quality enhancement in a fully unsupervised setting, i.e., neither paired images nor high-quality images. To this end, we explore the potential of the self-supervised task for improving the quality of fundus images without the requirement of high-quality reference images. Specifically, we construct multiple patch-wise domains via an auxiliary pre-trained quality assessment network and a style clustering. To achieve robust low-quality image enhancement and address style inconsistency, we formulate two self-supervised domain adaptation tasks to disentangle the features of image content, low-quality factor and style information by exploring intrinsic supervision signals within the low-quality images. Extensive experiments are conducted on EyeQ and Messidor datasets, and results show that our DASQE method achieves new state-of-the-art performance when only low-quality images are available.


title: DR-WLC: Dimensionality Reduction cognition for object detection and pose estimation by Watching, Learning and Checking

abstract: Object detection and pose estimation are difficult tasks in robotics and autonomous driving. Existing object detection and pose estimation methods mostly adopt the same-dimensional data for training. For example, 2D object detection usually requires a large amount of 2D annotation data with high cost. Using high-dimensional information to supervise lower-dimensional tasks is a feasible way to reduce datasets size. In this work, the DR-WLC, a dimensionality reduction cognitive model, which can perform both object detection and pose estimation tasks at the same time is proposed. The model only requires 3D model of objects and unlabeled environment images (with or without objects) to finish the training. In addition, a bounding boxes generation strategy is also proposed to build the relationship between 3D model and 2D object detection task. Experiments show that our method can qualify the work without any manual annotations and it is easy to deploy for practical applications. Source code is at https://github.com/IN2-ViAUn/DR-WLC.


title: Carbon Neutrality Approaches for IoT-Enabled Applications -- A Review

abstract: Unlike others, IoT-enabled technology has expanded its base in various sectors, including finance, healthcare, agriculture, energy, and so forth. Tens of thousands of applications and products have evolved in recent years, leading to a constant threat to global climate sustainability due to the underlying carbon emissions. Researchers have developed standalone methods/approaches that aimed to tackle carbon emission problems. However, an article that expresses a list of carbon-neutral solutions and their associated technological challenges is not available. This article explores the carbon emission problems of IoT-enabled applications; and, it categorizes the carbon neutrality methods. The exploratory analysis of different carbon-neutral approaches, presented in this article, can present novel ideas and answers to questions that hover over any carbon-conscious IoT-enabled application developers.


title: New results about the revolutionary bolometer assembly of BINGO

abstract: Searching for neutrinoless double-beta decay (0$\nu$2$\beta$) is one of the main experimental challenges of modern physics. One experimental technique is given by cryogenic detectors named bolometers that are really promising for this purpose. The current generation tonne-scale experiment CUORE using this technology is putting the best limit on $^{130}$Te 0$\nu$2$\beta$ half-life with TeO$_2$ crystals but its sensitivity is limited by its background. Therefore, it will be followed by the next generation experiment CUPID (CUORE Upgrade with Particle IDentification) that will study $^{100}$Mo embedded inside Li$_2$MoO$_4$ crystals in order to reduce the $\gamma$ background. It will also read the scintillation light produced by Li$_2$MoO$_4$ by adding another Ge bolometer acting as a light detector next to the main absorber to reject the $\alpha$ background. Thanks to that, CUPID will reach a sensitivity 2 orders of magnitude higher than CUORE. However, in the case where this is not enough to detect 0$\nu$2$\beta$, BINGO (Bi-Isotope Next Generation 0$\nu$2$\beta$ Observatory) is preparing the next-next generation of bolometric experiments. To improve the 0$\nu$2$\beta$ discovery sensitivity, the goal is to reduce drastically the number of background events in the region of interest and to combine the use of the two previously cited isotopes: $^{130}$Te and $^{100}$Mo. To achieve this goal, BINGO is proposing to implement an active cryogenic veto to suppress the external $\gamma$ background, to use Neganov-Trofimov-Luke effect to increase light detector sensitivity and to use a revolutionary detector assembly to reduce the total surface radioactivity contribution. In this article, we will focus on the latter and present the latest results obtained with two 45$\times$45$\times$45 mm$^{3}$ Li$_2$MoO$_4$ crystals.


title: Constraining minimally extended varying speed of light by cosmological chronometers

abstract: At least one dimensionless physical constant (i.e., a physically observable) must change for the cosmic time to make the varying speed of light (VSL) models phenomenologically feasible. Various physical constants and quantities also should be functions of cosmic time to satisfy all known local laws of physics, including special relativity, thermodynamics, and electromagnetism. Adiabatic condition is another necessary condition to keep the homogeneity and isotropy of three-dimensional space. To be a self-consistent theory, one should consider cosmic evolutions of physical constants and quantities when one derives Einstein's field equations and their solutions. All these conditions are well satisfied in the so-called minimally extended varying speed of light (meVSL) model. Unlike other VSL models, we show that the redshift-drift formula of the meVSL model is the same as a standard model. Therefore, we cannot use this as an experimental tool to verify the meVSL. Instead, one can still use the cosmological chronometers (CC) as a model-independent test of the meVSL. The current CC data cannot distinguish meVSL from the standard model (SM) when we adopt the best-fit values (or Gaussian prior) of the present values of $H_0$ and of $\Omega_{m0}$ from the Planck mission. However, the CC data prefer the meVSL when we choose Pantheon 22 data.


title: Super-Resolution Harmonic Retrieval of Non-Circular Signals

abstract: This paper proposes a super-resolution harmonic retrieval method for uncorrelated strictly non-circular signals, whose covariance and pseudo-covariance present Toeplitz and Hankel structures, respectively. Accordingly, the augmented covariance matrix constructed by the covariance and pseudo-covariance matrices is not only low rank but also jointly Toeplitz-Hankel structured. To efficiently exploit such a desired structure for high estimation accuracy, we develop a low-rank Toeplitz-Hankel covariance reconstruction (LRTHCR) solution employed over the augmented covariance matrix. Further, we design a fitting error constraint to flexibly implement the LRTHCR algorithm without knowing the noise statistics. In addition, performance analysis is provided for the proposed LRTHCR in practical settings. Simulation results reveal that the LRTHCR outperforms the benchmark methods in terms of lower estimation errors.


title: Categorical cyclic homology and filtered $\mathcal{D}$-modules on stacks: Koszul duality

abstract: Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant ind-coherent sheaves on its formal loop space $\widehat{\mathcal{L}} X$, exchanging compact $\mathcal{D}$-modules with coherent sheaves, and coherent $\mathcal{D}$-modules with continuous ind-coherent sheaves. The equivalence yields a sheaf of categories over $\mathbb{A}^1/\mathbb{G}_m$ whose special fiber is a category of coherent sheaves on stacks appearing in categorical traces, and whose generic fiber is a category of equivariant constructible sheaves.


title: Spiral Arms in Broad-line Regions of Active Galactic Nuclei. II. Loosely Wound Cases: Reverberation Properties

abstract: There has recently been growing evidence that broad-line regions (BLRs) in active galactic nuclei have regular substructures, such as spiral arms, which are supported by the fact that the radii of BLRs measured by RM observations are generally consistent with the self-gravitating regions of accretion disks. We have shown in Paper I that the spiral arms excited by the gravitational instabilities in these regions may exist in some disk-like BLRs. As the second paper of the series, we investigate the loosely wound spiral arms excited by gravitational instabilities in disk-like BLRs and present their observational characteristics. Following the treatments of Adams et al. (1989), we solve the governing integro-differential equation by a matrix scheme. The emission-line profiles, velocity-delay maps, and velocity-resolved lags of the BLR spiral arms are calculated. We find that the spiral arms can explain some phenomena in observations: (1) the emission-line profiles in the mean and rms spectra have different asymmetries, (2) some velocity-delay maps, e.g., NGC 5548, have complex sub-features (incomplete ellipse), (3) the timescales of the asymmetry changes in emission-line profiles (rms spectra) are short. These features are attractive for modeling the observed line profiles and the properties of reverberation, and for revealing the details of the BLR geometry and kinematics.


title: On a Finite Population Variation of the Fisher-KPP Equation

abstract: In this paper, we formulate a finite population variation of the Fisher-KPP equation using the fact that the reaction term can be generated from the replicator dynamic using a two-player two-strategy skew-symmetric game. We use prior results from Ablowitz and Zeppetella to show that the resulting system of partial differential equations admits a travelling wave solution, and that there are closed form solutions for this travelling wave. Interestingly, the closed form solution is constructed from a sign-reversal of the known closed form solution of the classic Fisher equation. We also construct a closed form solution approximation for the corresponding equilibrium problem on a finite interval with Dirichlet and Neumann boundary conditions. Two conjectures on these corresponding equilibrium problems are presented and analysed numerically.


title: On the duals of smooth projective complex hypersurfaces

abstract: We show first that a generic hypersurface $V$ of degree $d\geq 3$ in the complex projective space $ \mathbb{P}^n$ of dimension $n \geq 3$ has at least one hyperplane section $V \cap H$ containing exactly $n$ ordinary double points, alias $A_1$ singularities, in general position, and no other singularities. Equivalently, the dual hypersurface $V^{\vee}$ has at least one normal crossing singularity of multiplicity $n$. Using this result, we show that the dual of any smooth hypersurface with $n,d \geq 3$ has at least a very singular point $q$, in particular a point $q$ of multiplicity $\geq n$.


title: A new framework for understanding the evolution of early-type galaxies

abstract: We have recently suggested that the combination of the scalar virial theorem ($M_s \sim R_e \sigma^2$) and the $L=L'_0 \sigma^\beta(t)$ law, with L'_0 and $\beta$ changing from galaxy to galaxy (and with time), can provide a new set of equations valid for investigating the evolution of early-type galaxies (ETGs) (Donofrio & Chiosi, 2022). These equations are able to account for the tilt of the Fundamental Plane (FP) and to explain the observed distributions of ETGs in all its projections. In this paper we analyze the advantages offered by those equations, derive the $\beta$ and $L'_0$ parameters for real and simulated galaxies, and demonstrate that, according to the value of $\beta$, galaxies can move only along some permitted directions in the FP projections. Then, we show that simple galaxy models that grow in mass by infall of gas and form stars with a star formation rate depending on the stellar velocity dispersion nicely reproduce the observed distributions of ETGs in the FP projections and yield $\beta$s that agree with the measured ones. We derive the mutual relationships among the stellar mass, effective radius, velocity dispersion, and luminosity of ETGs as a function of $\beta$ and calculate the coefficients of the FP. Then, using the simple infall models, we show that the star formation history of ETGs is compatible with the $\sigma$-dependent star formation rate, and that both positive and negative values of $\beta$ are possible in a standard theory of galaxy evolution. The parameter $\beta(t)$ offers a new view of the evolution of ETGs. In brief, i) it gives a coherent interpretation of the FP and of the motions of galaxies in its projections; ii) it is the fingerprint of their evolution; iii) it measures the degree of virialization of ETGs; iv) and finally it allows us to infer their evolution in the near past.


title: On distance graphs in rational spaces

abstract: For any positive definite rational quadratic form $q$ of $n$ variables let $G(\mathbb{Q}^n, q)$ denote the graph with vertices $\mathbb{Q}^n$ and $x, y \in \mathbb{Q}^n$ connected iff $q(x - y) = 1$. This notion generalises standard Euclidean distance graphs. In this article we study these graphs and show how to find the exact value of clique number of the $G(\mathbb{Q}^n, q)$. We also prove rational analogue of the Beckman--Quarles theorem that any unit-preserving mapping of $\mathbb{Q}^n$ is an isometry.


title: Asymptotic behavior of minimizing $p$-harmonic maps when $p \nearrow 2$ in dimension 2

abstract: We study $p$--harmonic maps with Dirichlet boundary conditions from a planar domain into a general compact Riemannian manifold. We show that as $p$ approaches $2$ from below, they converge up to a subsequence to a minimizing singular renormalizable harmonic map. The singularities are imposed by topological obstructions to the existence of harmonic mappings; the location of the singularities being governed by a renormalized energy. Our analysis is based on lower bounds on growing balls and also yields some uniform weak-$L^p$ bounds (also known as Marcinkiewicz or Lorentz $L^{p,\infty}$).


title: Expected Gradients of Maxout Networks and Consequences to Parameter Initialization

abstract: We study the gradients of a maxout network with respect to inputs and parameters and obtain bounds for the moments depending on the architecture and the parameter distribution. We observe that the distribution of the input-output Jacobian depends on the input, which complicates a stable parameter initialization. Based on the moments of the gradients, we formulate parameter initialization strategies that avoid vanishing and exploding gradients in wide networks. Experiments with deep fully-connected and convolutional networks show that this strategy improves SGD and Adam training of deep maxout networks. In addition, we obtain refined bounds on the expected number of linear regions, results on the expected curve length distortion, and results on the NTK.


title: FewSOME: One-Class Few Shot Anomaly Detection with Siamese Networks

abstract: Recent Anomaly Detection techniques have progressed the field considerably but at the cost of increasingly complex training pipelines. Such techniques require large amounts of training data, resulting in computationally expensive algorithms that are unsuitable for settings where only a small amount of normal samples are available for training. We propose 'Few Shot anOMaly detection' (FewSOME), a deep One-Class Anomaly Detection algorithm with the ability to accurately detect anomalies having trained on 'few' examples of the normal class and no examples of the anomalous class. We describe FewSOME to be of low complexity given its low data requirement and short training time. FewSOME is aided by pretrained weights with an architecture based on Siamese Networks. By means of an ablation study, we demonstrate how our proposed loss, 'Stop Loss', improves the robustness of FewSOME. Our experiments demonstrate that FewSOME performs at state-of-the-art level on benchmark datasets MNIST, CIFAR-10, F-MNIST and MVTec AD while training on only 30 normal samples, a minute fraction of the data that existing methods are trained on. Moreover, our experiments show FewSOME to be robust to contaminated datasets. We also report F1 score and balanced accuracy in addition to AUC as a benchmark for future techniques to be compared against. Code available; https://github.com/niamhbelton/FewSOME.


title: RILS: Masked Visual Reconstruction in Language Semantic Space

abstract: Both masked image modeling (MIM) and natural language supervision have facilitated the progress of transferable visual pre-training. In this work, we seek the synergy between two paradigms and study the emerging properties when MIM meets natural language supervision. To this end, we present a novel masked visual Reconstruction In Language semantic Space (RILS) pre-training framework, in which sentence representations, encoded by the text encoder, serve as prototypes to transform the vision-only signals into patch-sentence probabilities as semantically meaningful MIM reconstruction targets. The vision models can therefore capture useful components with structured information by predicting proper semantic of masked tokens. Better visual representations could, in turn, improve the text encoder via the image-text alignment objective, which is essential for the effective MIM target transformation. Extensive experimental results demonstrate that our method not only enjoys the best of previous MIM and CLIP but also achieves further improvements on various tasks due to their mutual benefits. RILS exhibits advanced transferability on downstream classification, detection, and segmentation, especially for low-shot regimes. Code will be made available at https://github.com/hustvl/RILS.


title: SECOMlint: A linter for Security Commit Messages

abstract: Transparent and efficient vulnerability and patch disclosure are still a challenge in the security community, essentially because of the poor-quality documentation stemming from the lack of standards. SECOM is a recently-proposed standard convention for security commit messages that enables the writing of well-structured and complete commit messages for security patches. The convention prescribes different bits of security-related information essential for a better understanding of vulnerabilities by humans and tools. SECOMlint is an automated and configurable solution to help security and maintenance teams infer compliance against the SECOM standard when submitting patches to security vulnerabilities in their source version control systems. The tool leverages the natural language processing technique Named-Entity Recognition (NER) to extract security-related information from commit messages and uses it to match the compliance standards designed. We demonstrate SECOMlint at https://youtu.be/-1hzpMN_uFI; and documentation and its source code at https://tqrg.github.io/secomlint/.


title: Slowly rotating Tolman VII solution

abstract: We present a model of a slowly rotating Tolman VII (T-VII) fluid sphere, at second order in the angular velocity. The structure of this configuration is obtained by integrating the Hartle-Thorne equations for slowly rotating relativistic masses. We model a sequence in adiabatic and quasi-stationary contraction, by varying the tenuity parameter $R/R_{\mathrm{S}}$, where $R$ is the radius of the configuration and $R_{\mathrm{S}}$ is its Schwarzschild radius. We determined the moment of inertia $I$, mass quadrupole moment $Q$, and the ellipticity $\varepsilon$, for various configurations. Similar to previous results for Maclaurin and polytropic spheroids, in slow rotation, we found a change in the behaviour of the ellipticity when the tenuity reaches a certain critical value. We compared our results of $I$ and $Q$ for the T-VII model with those predicted by the universal fittings proposed for realistic neutron stars. For the relevant range of compactness, we found that relative errors are within $10\%$, thus suggesting the T-VII solution as a very good approximation for the description of the interior of neutron stars.


title: Composite Deep Network with Feature Weighting for Improved Delineation of COVID Infection in Lung CT

abstract: An early effective screening and grading of COVID-19 has become imperative towards optimizing the limited available resources of the medical facilities. An automated segmentation of the infected volumes in lung CT is expected to significantly aid in the diagnosis and care of patients. However, an accurate demarcation of lesions remains problematic due to their irregular structure and location(s) within the lung. A novel deep learning architecture, Composite Deep network with Feature Weighting (CDNetFW), is proposed for efficient delineation of infected regions from lung CT images. Initially a coarser-segmentation is performed directly at shallower levels, thereby facilitating discovery of robust and discriminatory characteristics in the hidden layers. The novel feature weighting module helps prioritise relevant feature maps to be probed, along with those regions containing crucial information within these maps. This is followed by estimating the severity of the disease.The deep network CDNetFW has been shown to outperform several state-of-the-art architectures in the COVID-19 lesion segmentation task, as measured by experimental results on CT slices from publicly available datasets, especially when it comes to defining structures involving complex geometries.


title: Long Range Pooling for 3D Large-Scale Scene Understanding

abstract: Inspired by the success of recent vision transformers and large kernel design in convolutional neural networks (CNNs), in this paper, we analyze and explore essential reasons for their success. We claim two factors that are critical for 3D large-scale scene understanding: a larger receptive field and operations with greater non-linearity. The former is responsible for providing long range contexts and the latter can enhance the capacity of the network. To achieve the above properties, we propose a simple yet effective long range pooling (LRP) module using dilation max pooling, which provides a network with a large adaptive receptive field. LRP has few parameters, and can be readily added to current CNNs. Also, based on LRP, we present an entire network architecture, LRPNet, for 3D understanding. Ablation studies are presented to support our claims, and show that the LRP module achieves better results than large kernel convolution yet with reduced computation, due to its nonlinearity. We also demonstrate the superiority of LRPNet on various benchmarks: LRPNet performs the best on ScanNet and surpasses other CNN-based methods on S3DIS and Matterport3D. Code will be made publicly available.


title: Effects of particle size and background rotation on the settling of particle clouds

abstract: We experimentally investigate the behaviour of instantaneous localised releases of heavy particles falling as turbulent clouds in quiescent water, both with and without background rotation. We present the results of 514 systematic experiments for no rotation and for three rotation rates $\Omega = 5,10,20$rpm, and for the size of particles in the range $5\mu m$ to $1mm$, exploring four decades of the Rouse number $\mathcal{R} \in [6\times 10^{-4},4]$ which quantifies the inertia of particles. In the canonical framework of turbulent thermals described by Morton \textit{et al.}, [Proc. R. Soc. A: Math. Phys. Sci. \textbf{234}, 1 (1956)], we compare particle clouds with salt-water thermals to highlight specificities due to the particulate nature of the turbulence forcing. In the absence of rotation, particle clouds initially behave as salty thermals with a modulation of their entrainment capacity, which is optimally enhanced for a finite inertia $\mathcal{R}\simeq 0.3$ due to particulate effects. However this regime of turbulence is limited in time due to the inertial decoupling between turbulent eddies and particles. For the three values of $\Omega$ explored here, the particulate enhancement of entrainment is inhibited. Moreover the cloud's expansion is interrupted when the Coriolis force overcomes its inertia, forcing the cloud to transform into vortical columnar flows which considerably increase the residence time of particles.


title: Quantified Canine: Inferring Dog Personality From Wearables

abstract: Being able to assess dog personality can be used to, for example, match shelter dogs with future owners, and personalize dog activities. Such an assessment typically relies on experts or psychological scales administered to dog owners, both of which are costly. To tackle that challenge, we built a device called "Patchkeeper" that can be strapped on the pet's chest and measures activity through an accelerometer and a gyroscope. In an in-the-wild deployment involving 12 healthy dogs, we collected 1300 hours of sensor activity data and dog personality test results from two validated questionnaires. By matching these two datasets, we trained ten machine-learning classifiers that predicted dog personality from activity data, achieving AUCs in [0.63-0.90], suggesting the value of tracking the psychological signals of pets using wearable technologies.


title: The nebula around the binary post-AGB star 89 Herculis

abstract: There is a class of binary post-asymptotic giant branch (post-AGB) stars that exhibit remarkable near-infrared (NIR) excess. These stars are surrounded by disks with Keplerian or quasi-Keplerian dynamics and outflows composed of gas escaping from the rotating disk. Depending on the dominance of these components, there are two subclasses of binary post-AGB stars: disk-dominated and outflow-dominated. We aim to properly study the hourglass-like structure that surrounds the Keplerian disk around 89 Her. We present total-power on-the-fly maps of $^{12}$CO and $^{13}$CO $J$=2-1 emission lines in 89 Her. Previous studies are known to suffer from flux losses in the most extended components. We merge these total-power maps with previous NOEMA maps. The resulting combined maps are expected to detect the whole nebula extent of the source. Our new combined maps contain the entirety of the detectable flux of the source and at the same time are of high spatial resolution thanks to the interferometric observations. We find that the hourglass-like extended outflow around the rotating disk is larger and more massive than suggested by previous works. The total nebular mass of this very extended nebula is 1.8E-2 solar masses, of which 65% comes from the outflow. The observational data and model results lead us to classify the envelope around 89 Her as an outflow-dominated nebula, together with R Sct and IRAS 19125+0343 (and very probably AI CMi, IRAS 20056+1834, and IRAS 18123+0511). The updated statistics on the masses of the two post-AGB main components reveal that there are two distinct subclasses of nebulae around binary post-AGB stars depending on which component is the dominant one. We speculate that the absence of an intermediate subclass of sources is due to the different initial conditions of the stellar system and not because both subclasses are in different stages of the post-AGB evolution.


title: Thermoelectric response enhanced by surface/edge states in physical nanogaps

abstract: We propose here a feasible and effective design of new thermoelectric systems based on physical gaps in nanoscale junctions. We show that, depending on the type of features, i.e. the character of surface/edge states, on both sides of the gap, it is possible to achieve rather high figures of merit. In particular, we show that for configurations that have localized states at the surfaces/edges, which translate into sharp resonances in the transmission, it is possible to achieve large Seebeck coefficients and figures of merit by carefully tuning their energy and their coupling to other states. We calculate the thermoelectric coefficients as a function of different parameters and find non-obvious behaviours, like the existence of a certain coupling between the localized and bulk states for which these quantities have a maximum. The highest Seebeck coefficients and figures of merit are achieved for symmetric junctions, which have the same coupling between the localized state and the bulk states on both sides of the gap. The features and trends of the thermoelectric properties and their change with various parameters that we find here cannot only be applied to systems with nanogaps, but also to many other nanoscale junctions, such as e.g. those that have surface states or states localized near the contacts between the nanoscale object and the electrodes. The model presented here can therefore be used to characterize and predict the thermoelectric properties of many different nanoscale junctions and can also serve as a guide for studying other systems. These results pave then the way for the design and fabrication of stable next-generation thermoelectric devices with robust features and improved performances.


title: Binary Mechanisms under Privacy-Preserving Noise

abstract: We study mechanism design for public-good provision under a noisy privacy-preserving transformation of individual agents' reported preferences. The setting is a standard binary model with transfers and quasi-linear utility. Agents report their preferences for the public good, which are randomly ``flipped,'' so that any individual report may be explained away as the outcome of noise. We study the tradeoffs between preserving the public decisions made in the presence of noise (noise sensitivity), pursuing efficiency, and mitigating the effect of noise on revenue.


title: Engineering Fully Dynamic $\Delta$-Orientation Algorithms

abstract: A (fully) dynamic graph algorithm is a data structure that supports edge insertions, edge deletions, and answers certain queries that are specific to the problem under consideration. There has been a lot of research on dynamic algorithms for graph problems that are solvable in polynomial time by a static algorithm. However, while there is a large body of theoretical work on efficient dynamic graph algorithms, a lot of these algorithms were never implemented and empirically evaluated. In this work, we consider the fully dynamic edge orientation problem, also called fully dynamic $\Delta$-orientation problem, which is to maintain an orientation of the edges of an undirected graph such that the out-degree is low. If edges are inserted or deleted, one may have to flip the orientation of some edges in order to avoid vertices having a large out-degree. While there has been theoretical work on dynamic versions of this problem, currently there is no experimental evaluation available. In this work, we close this gap and engineer a range of new dynamic edge orientation algorithms as well as algorithms from the current literature. Moreover, we evaluate these algorithms on real-world dynamic graphs. The best algorithm considered in this paper in terms of quality, based on a simple breadth-first search, computes the optimum result on more than 90% of the instances and is on average only 2.4% worse than the optimum solution.


title: Probing Velocity Structures of Protostellar Envelopes: Infalling and Rotating Envelopes within Turbulent Dense Cores

abstract: We have observed the three low-mass protostars, IRAS 15398$-$3359, L1527 IRS and TMC-1A, with the ALMA 12-m array, the ACA 7-m array, and the IRAM-30m and APEX telescopes in the C$^{18}$O $J=2$-1 emission. Overall, the C$^{18}$O emission shows clear velocity gradients at radii of $\sim$100-1000 au, which likely originate from rotation of envelopes, while velocity gradients are less clear and velocity structures are more perturbed on scales of $\sim$1000-10,000 au. IRAS 15398$-$3359 and L1527 IRS show a break at radii of $\sim$1200 and $\sim$1700 au in the radial profile of the peak velocity, respectively. The peak velocity is proportional to $r^{-1.38}$ or $r^{-1.7}$ within the break radius, which can be interpreted as indicating a rotational motion of the envelope with a degree of contamination of gas motions on larger spatial scales. The peak velocity follows $v_\mathrm{peak} \propto r^{0.68}$ or $v_\mathrm{peak} \propto r^{0.46}$ outside the break radius, which is similar to the $J/M$-$R$ relation of dense cores. TMC-1A exhibits the radial profile of the peak velocity not consistent with the rotational motion of the envelope nor the $J/M$-$R$ relation. The origin of the relation of $v_\mathrm{peak} \propto r^{0.46\operatorname{-}0.68}$ is investigated by examining correlations of the velocity deviation ($\delta v$) and the spatial scale ($\tau$) in the two sources. Obtained spatial correlations, $\delta v \propto \tau^{\sim0.6}$, are consistent with the scaling law predicted by turbulence models, which may suggest the large-scale velocity structures originate from turbulence.


title: Binary Cubic Forms and Rational Cube Sum Problem

abstract: In this note, we use integral binary cubic forms to study the rational cube sum problem. We prove (unconditionally) that for any positive integer $d$, infinitely many primes in each of the residue classes $ 1 \pmod {9d}$ as well as $ -1 \pmod {9d}$, are sums of two rational cubes. Among other results, we prove that every non-zero residue class $a \pmod {q}$, for any prime $q$, contains infinitely many primes which are sums of two rational cubes. Further, for an arbitrary integer $N$, we show there are infinitely many primes $p$ in each of the residue classes $ 8 \pmod 9$ and $1 \pmod 9$, such that $Np$ is a sum of two rational cubes.


title: The Breakthrough Listen Search for Intelligent Life: A Laser Search Pipeline for the Automated Planet Finder

abstract: The Search for Extraterrestrial Intelligence (SETI) has traditionally been conducted at radio wavelengths, but optical searches are well-motivated and increasingly feasible due to the growing availability of high-resolution spectroscopy. We present a data analysis pipeline to search Automated Planet Finder (APF) spectroscopic observations from the Levy Spectrometer for intense, persistent, narrow bandwidth optical lasers. We describe the processing of the spectra, the laser search algorithm, and the results of our laser search on 1983 spectra of 388 stars as part of the Breakthrough Listen search for technosignatures. We utilize an empirical spectra-matching algorithm called SpecMatch-Emp to produce residuals between each target spectrum and a set of best-matching catalog spectra, which provides the basis for a more sensitive search than previously possible. We verify that SpecMatch-Emp performs well on APF-Levy spectra by calibrating the stellar properties derived by the algorithm against the SpecMatch-Emp library and against Gaia catalog values. We leverage our unique observing strategy, which produces multiple spectra of each target per night of observing, to increase our detection sensitivity by programmatically rejecting events which do not persist between observations. With our laser search algorithm we achieve a sensitivity equivalent to the ability to detect an 84 kW laser at the median distance of a star in our dataset (78.5 ly). We present the methodology and vetting of our laser search, finding no convincing candidates consistent with potential laser emission in our target sample.


title: Singular behavior of the dark universe under the effect of thermal radiation in curved spacetime

abstract: We consider the late-time accelerated universe in the Friedmann-Robertson-Walker (FRW) spacetime with a nonzero curvature, and investigate cosmological models when the cosmic fluid is taken to be inhomogeneous and viscous (bulk viscous), coupled to dark matter. We consider the influence from thermal effects caused by Hawking radiation on the formation of singularities of various classified types, within a finite time. It is shown that under the influence of Hawking radiation the time of formulation of a singularity, and the nature of the singularity itself, can change. It is also shown that by jointly taking into account radiation, viscosity, and space curvature, one can obtain a singularity-free universe. The symmetry properties of this kind of theory lie in the assumption about spatial isotropy. The spatial isotropy is also reflected in our use of a bulk, instead of a shear, viscosity.


title: Almost sure behavior of the critical points of random polynomials

abstract: Let $(Z_k)_{k\geq 1}$ be a sequence of independent and identically distributed complex random variables with common distribution $\mu$ and let $P_n(X):=\prod_{k=1}^n (X-Z_k)$ the associated random polynomial in $\mathbb C[X]$. In [Kab15], the author established the conjecture stated by Pemantle and Rivin in [PR13] that the empirical measure $\nu_n$ associated with the critical points of $P_n$ converges weakly in probability to the base measure $\mu$. In this note, we establish that the convergence in fact holds in the almost sure sense. Our result positively answers a question raised by Z. Kabluchko and formalized as a conjecture in the recent paper [MV22].


title: Towards Improving the Explainability of Text-based Information Retrieval with Knowledge Graphs

abstract: Thanks to recent advancements in machine learning, vector-based methods have been adopted in many modern information retrieval (IR) systems. While showing promising retrieval performance, these approaches typically fail to explain why a particular document is retrieved as a query result to address explainable information retrieval(XIR). Knowledge graphs record structured information about entities and inherently explainable relationships. Most of existing XIR approaches focus exclusively on the retrieval model with little consideration on using existing knowledge graphs for providing an explanation. In this paper, we propose a general architecture to incorporate knowledge graphs for XIR in various steps of the retrieval process. Furthermore, we create two instances of the architecture for different types of explanation. We evaluate our approaches on well-known IR benchmarks using standard metrics and compare them with vector-based methods as baselines.


title: Vision Based Machine Learning Algorithms for Out-of-Distribution Generalisation

abstract: There are many computer vision applications including object segmentation, classification, object detection, and reconstruction for which machine learning (ML) shows state-of-the-art performance. Nowadays, we can build ML tools for such applications with real-world accuracy. However, each tool works well within the domain in which it has been trained and developed. Often, when we train a model on a dataset in one specific domain and test on another unseen domain known as an out of distribution (OOD) dataset, models or ML tools show a decrease in performance. For instance, when we train a simple classifier on real-world images and apply that model on the same classes but with a different domain like cartoons, paintings or sketches then the performance of ML tools disappoints. This presents serious challenges of domain generalisation (DG), domain adaptation (DA), and domain shifting. To enhance the power of ML tools, we can rebuild and retrain models from scratch or we can perform transfer learning. In this paper, we present a comparison study between vision-based technologies for domain-specific and domain-generalised methods. In this research we highlight that simple convolutional neural network (CNN) based deep learning methods perform poorly when they have to tackle domain shifting. Experiments are conducted on two popular vision-based benchmarks, PACS and Office-Home. We introduce an implementation pipeline for domain generalisation methods and conventional deep learning models. The outcome confirms that CNN-based deep learning models show poor generalisation compare to other extensive methods.


title: Spinor fields, CPTM symmetry and smallness of cosmological constant in framework of extended manifold

abstract: A model of an extended manifold for the Dirac spinor field is considered. Two Lagrangians related by CPTM (charge-parity-time-mass) symmetry are constructed for a pair of the Dirac spinor fields with each spinor field defined in a separate manifold. An interaction between the matter fields in the manifolds is introduced through gravity. A fermionic effective action of the general system is constructed and a tadpole one-loop spinor diagram and part of the one-loop vacuum diagrams with two external gravitational off-shell fields which contribute to the effective action are calculated. It is demonstrated that among different versions of the second spinor Lagrangian there is a special one for which a cancellation of the mentioned diagrams in the total effective action takes place. As a result, the diagrams do not contribute to the cosmological constant, as well there is a zero contribution of the zero point energies of the spinor fields to the action. The non-zero leading order value of the cosmological constant for each manifold in the framework is proportional to the matter density of each separated manifold or difference of the densities, depending on the chosen model of interaction of gravitational fields with fermions. An appearance of the dark matter in the model is shortly discussed as well as further applications of the approach.


title: Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations

abstract: The Weighted-Mean Subsequence Reduced (W-MSR) algorithm, the state-of-the-art method for Byzantine-resilient design of decentralized multi-robot systems, is based on discarding outliers received over Linear Consensus Protocol (LCP). Although W-MSR provides well-understood theoretical guarantees relating robust network connectivity to the convergence of the underlying consensus, the method comes with several limitations preventing its use at scale: (1) the number of Byzantine robots, F, to tolerate should be known a priori, (2) the requirement that each robot maintains 2F+1 neighbors is impractical for large F, (3) information propagation is hindered by the requirement that F+1 robots independently make local measurements of the consensus property in order for the swarm's decision to change, and (4) W-MSR is specific to LCP and does not generalize to applications not implemented over LCP. In this work, we propose a Decentralized Blocklist Protocol (DBP) based on inter-robot accusations. Accusations are made on the basis of locally-made observations of misbehavior, and once shared by cooperative robots across the network are used as input to a graph matching algorithm that computes a blocklist. DBP generalizes to applications not implemented via LCP, is adaptive to the number of Byzantine robots, and allows for fast information propagation through the multi-robot system while simultaneously reducing the required network connectivity relative to W-MSR. On LCP-type applications, DBP reduces the worst-case connectivity requirement of W-MSR from (2F+1)-connected to (F+1)-connected and the number of cooperative observers required to propagate new information from F+1 to just 1 observer. We demonstrate empirically that our approach to Byzantine resilience scales to hundreds of robots on cooperative target tracking, time synchronization, and localization case studies.


title: Solving various NP-Hard problems using exponentially fewer qubits on a Quantum Computer

abstract: NP-hard problems are not believed to be exactly solvable through general polynomial time algorithms. Hybrid quantum-classical algorithms to address such combinatorial problems have been of great interest in the past few years. Such algorithms are heuristic in nature and aim to obtain an approximate solution. Significant improvements in computational time and/or the ability to treat large problems are some of the principal promises of quantum computing in this regard. The hardware, however, is still in its infancy and the current Noisy Intermediate Scale Quantum (NISQ) computers are not able to optimize industrially relevant problems. Moreover, the storage of qubits and introduction of entanglement require extreme physical conditions. An issue with quantum optimization algorithms such as QAOA is that they scale linearly with problem size. In this paper, we build upon a proprietary methodology which scales logarithmically with problem size - opening an avenue for treating optimization problems of unprecedented scale on gate-based quantum computers. In order to test the performance of the algorithm, we first find a way to apply it to a handful of NP-hard problems: Maximum Cut, Minimum Partition, Maximum Clique, Maximum Weighted Independent Set. Subsequently, these algorithms are tested on a quantum simulator with graph sizes of over a hundred nodes and on a real quantum computer up to graph sizes of 256. To our knowledge, these constitute the largest realistic combinatorial optimization problems ever run on a NISQ device, overcoming previous problem sizes by almost tenfold.


title: A rotational-cavity optomechanical system with two revolving cavity mirrors: optical response and fast-slow light mechanism

abstract: We investigate the optical behavior of a single Laguerre-Gaussian cavity optomechanical system consisting of two mechanically rotating mirrors. We explore the effects of various physical parameters on the double optomechanically induced transparency (OMIT) of the system and provide a detailed explanation of the underlying physical mechanism. We show that the momentum is not the cause of the current double-OMIT phenomena; rather, it results from the orbital angular momentum between the optical field and the rotating mirrors. Additionally, the double-OMIT is simply produced using a single Laguerre-Gaussian cavity optomechanical system rather than by integrating many subsystems or adding the atomic medium as in earlier studies. We also investigate the impact of fast and slow light in this system. Finally, we show that the switching between ultrafast and ultraslow light can be realized by adjusting the angular momentum, which is a new source of regulating fast-slow light.


title: Quasidiagonals in Strata of Translation Surfaces

abstract: We classify $\text{GL}(2,\mathbb{R})$ orbit closures in the product of strata of translation surfaces. Applications exist to joinings of certain Masur-Veech measures.


title: How multiple weak species jeopardise biodiversity in spatial rock-paper-scissors models

abstract: We study generalised rock-paper-scissors models with an arbitrary odd number N \geq 5 of species, among which n are weak, with 2 \leq n \leq (N-1)/2. Because of the species' weakness, the probability of individuals conquering territory in the cyclic spatial game is low. Running stochastic simulations, we study the role of unevenness in the rock-paper-scissors game in spatial patterns and population dynamics, considering diverse models where the weak species are in different positions in the cyclic game order. Studying systems with five and seven species, we discover that the individuals' spatial organisation arising from the pattern formation process determines the stability of the cyclic game with multiple weak species. Our outcomes show that the presence of species unbalances the spatial distribution of organisms of the same species bringing consequences on territorial dominance, with the predominant species being determined by the position in the cyclic game order. Our simulations elucidate that, in general, the further apart the regions inhabited by different weak species are, the less the coexistence between the species is jeopardised. We show that if multiple weak species occupy adjacent spatial domains, the unevenness in the cyclic game is reinforced, maximising the chances of biodiversity loss. Our discoveries may also be helpful to biologists in comprehending systems where weak species unbalance biodiversity stability.

categories: q-bio.PE math.DS nlin.AO nlin.PS physics.bio-ph


title: Research of radon diffusion behavior in liquid scintillator

abstract: The background caused by radon and its daughters is an important background in the low background liquid scintillator (LS) detectors. The study of the diffusion behaviour of radon in the LS contributes to the analysis of the related background caused by radon. Methodologies and devices for measuring the diffusion coefficient and solubility of radon in materials are developed and described. The radon diffusion coefficient of the LS was measured for the first time and in addition the solubility coefficient was also obtained. In addition, the radon diffusion coefficient of the polyolefine film which is consistent with data in the literature was measured to verify the reliability of the diffusion device.


title: Suppression of sawtooth oscillations when using a finite-difference scheme for mass transfer simulation via the lubrication approximation in a droplet evaporated on a substrate

abstract: Evaporating droplets and films are used in applications from different fields. Various methods of evaporative self-assembly are of particular interest. The paper describes a mathematical model of mass transfer in a droplet drying on a substrate based on the lubrication approximation. The model takes into account the transfer of a dissolved or suspended substance by a capillary flow, the diffusion of this substance, the evaporation of liquid, the formation of solid deposit, the dependence of the viscosity and the vapor flux density on the admixture concentration. The case with pinning of the three-phase boundary is considered here. Explicit and implicit finite-difference schemes have been developed for the model equations. A modification of the numerical method is proposed, in which splitting by physical processes, the iterative method of explicit relaxation and Thomas algorithm are combined. A practical recipe for suppressing sawtooth oscillations is described using the example of a specific problem. A software module in C++ has been developed, which can be used for evaporative lithography problems in the future. With the help of this module, numerical calculations were carried out, the results of which were compared with the results obtained in the Maple package. Numerical simulation predicted the case in which the direction of the capillary flow changes to the opposite over time due to a change in the sign of the gradient of the vapor flux density. This can lead to a slowdown in the transfer of the substance to the periphery, which as a result will contribute to the formation of a more or less uniform precipitation over the entire contact area of the droplet with the substrate. This observation is useful for improving methods of annular deposit suppression associated with the coffee-ring effect and undesirable for some applications, such as inkjet printing or coating.


title: High-Performance and Scalable Agent-Based Simulation with BioDynaMo

abstract: Agent-based modeling plays an essential role in gaining insights into biology, sociology, economics, and other fields. However, many existing agent-based simulation platforms are not suitable for large-scale studies due to the low performance of the underlying simulation engines. To overcome this limitation, we present a novel high-performance simulation engine. We identify three key challenges for which we present the following solutions. First, to maximize parallelization, we present an optimized grid to search for neighbors and parallelize the merging of thread-local results. Second, we reduce the memory access latency with a NUMA-aware agent iterator, agent sorting with a space-filling curve, and a custom heap memory allocator. Third, we present a mechanism to omit the collision force calculation under certain conditions. Our evaluation shows an order of magnitude improvement over Biocellion, three orders of magnitude speedup over Cortex3D and NetLogo, and the ability to simulate 1.72 billion agents on a single server. Supplementary Materials, including instructions to reproduce the results, are available at: https://doi.org/10.5281/zenodo.6463816


title: Statistical analysis of word flow among five Indo-European languages

abstract: A recent increase in data availability has allowed the possibility to perform different statistical linguistic studies. Here we use the Google Books Ngram dataset to analyze word flow among English, French, German, Italian, and Spanish. We study what we define as ``migrant words'', a type of loanwords that do not change their spelling. We quantify migrant words from one language to another for different decades, and notice that most migrant words can be aggregated in semantic fields and associated to historic events. We also study the statistical properties of accumulated migrant words and their rank dynamics. We propose a measure of use of migrant words that could be used as a proxy of cultural influence. Our methodology is not exempt of caveats, but our results are encouraging to promote further studies in this direction.


title: Structural Analysis by Modified Signature Matrix for Integro-differential-algebraic Equations

abstract: Integro-differential-algebraic equations (IDAE)s are widely used in applications of engineering and analysis. When there are hidden constraints in an IDAE, structural analysis is necessary. But if derivatives of dependent variables appear in their integrals, the existing definition of the signature matrix for an IDAE cannot be satisfied. Moreover, if an IDAE has a singular Jacobian matrix after structural analysis by the Sigma-method, improved structural analysis methods are proposed to regularize it. However, the optimal value of an IDAE may be negative which can not ensure the termination of the regularization. Furthermore, overestimation of the signature matrix may also lead to failure of its structural analysis. In this paper, firstly, we redefine the signature matrix and introduce a definition of the degree of freedom for IDAEs. Thus, the termination of improved structural analysis methods can be guaranteed. Secondly, the detection method by points is proposed to deal with the problem of overestimation of signature matrix. Thirdly, the embedding method has proved to suitable for structural unamenable IDAEs, including those types that arise from symbolic cancellation and numerical degeneration. Finally, the global numerical method is applied to an example of two-stage drive system which can help to find all solutions for IDAEs by witness points. Hopefully, through the example of pendulum curtain, the approach for IDAEs proposed in this paper can be applied to integro-partial-differential-algebraic equations (IPDAE)s.


title: The SwaNNFlight System: On-the-Fly Sim-to-Real Adaptation via Anchored Learning

abstract: Reinforcement Learning (RL) agents trained in simulated environments and then deployed in the real world are often sensitive to the differences in dynamics presented, commonly termed the sim-to-real gap. With the goal of minimizing this gap on resource-constrained embedded systems, we train and live-adapt agents on quadrotors built from off-the-shelf hardware. In achieving this we developed three novel contributions. (i) SwaNNFlight, an open-source firmware enabling wireless data capture and transfer of agents' observations. Fine-tuning agents with new data, and receiving and swapping onboard NN controllers -- all while in flight. We also design SwaNNFlight System (SwaNNFS) allowing new research in training and live-adapting learning agents on similar systems. (ii) Multiplicative value composition, a technique for preserving the importance of each policy optimization criterion, improving training performance and variability in learnt behavior. And (iii) anchor critics to help stabilize the fine-tuning of agents during sim-to-real transfer, online learning from real data while retaining behavior optimized in simulation. We train consistently flight-worthy control policies in simulation and deploy them on real quadrotors. We then achieve live controller adaptation via over-the-air updates of the onboard control policy from a ground station. Our results indicate that live adaptation unlocks a near-50\% reduction in power consumption, attributed to the sim-to-real gap. Finally, we tackle the issues of catastrophic forgetting and controller instability, showing the effectiveness of our novel methods. Project Website: https://github.com/BU-Cyber-Physical-Systems-Lab/SwaNNFS


title: Dynamics of two air bubbles rising in a shear-thinning fluid

abstract: In this paper, we have studied the three-dimensional dynamics of two equally sized air bubbles rising in a shear-thinning fluid. We have used the combined level set and volume of fluid (CLSVOF) method to track interface, maintain mass balance and estimate the interface curvature. Additionally, we have incorporated a Sharp Surface Force Method (SSF) for surface tension forces. This method significantly suppressed the spurious velocities commonly observed with the conventional volume of fluid method and the Continuum Surface Force (CSF). The algorithm is implemented in an in-house code called CUFLOW and runs on multiple GPUs platform. We have explored the effects of fluid rheology on the three-dimensional dynamics of two in-line bubbles. Two power-law indices (0.5 and 1) are investigated to highlight differences in shear-thinning and Newtonian fluids. For a range of parameters examined here, bubbles motion in a shear-thinning fluid is seen to be unsteady with significant shape oscillations. Further, we have examined the rise velocity, droplets rise path, transient shapes and found that modification of viscosity by the motion of the leading bubble changes the dynamics of the trailing bubble.


title: Negative Flux Aggregation to Estimate Feature Attributions

abstract: There are increasing demands for understanding deep neural networks' (DNNs) behavior spurred by growing security and/or transparency concerns. Due to multi-layer nonlinearity of the deep neural network architectures, explaining DNN predictions still remains as an open problem, preventing us from gaining a deeper understanding of the mechanisms. To enhance the explainability of DNNs, we estimate the input feature's attributions to the prediction task using divergence and flux. Inspired by the divergence theorem in vector analysis, we develop a novel Negative Flux Aggregation (NeFLAG) formulation and an efficient approximation algorithm to estimate attribution map. Unlike the previous techniques, ours doesn't rely on fitting a surrogate model nor need any path integration of gradients. Both qualitative and quantitative experiments demonstrate a superior performance of NeFLAG in generating more faithful attribution maps than the competing methods. Our code is available at \url{https://github.com/xinli0928/NeFLAG}


title: Revisiting $B\to K^{(\ast)} \nu \bar{\nu}$ decays in the Standard Model and beyond

abstract: In this letter we revisit the Standard Model predictions for $\mathcal{B}(B\to K^{(\ast)}\nu\bar{\nu})$ and discuss the opportunities that open up when combining its partial decay rate with that of $B\to K^{(\ast)}\ell\ell$. In the Standard Model a suitable ratio of these two modes can be used to extract $C_9^\mathrm{eff}$, which is essential for a reliable phenomenological analysis of the $B\to K^{(\ast)}\ell\ell$ angular observables. The same ratio also proves to be more sensitive to the presence of New Physics in many plausible extensions of the Standard Model. We also suggest that the separate measurement of $\mathcal{B}(B\to K\nu\bar{\nu})$ for high and for low $q^2$'s can be helpful for testing the assumed shape of the vector form factor, because the lattice QCD data are obtained at high $q^2$'s, whereas the low $q^2$ region is obtained through an extrapolation.


title: Metamobility: Connecting Future Mobility with Metaverse

abstract: A Metaverse is a perpetual, immersive, and shared digital universe that is linked to but beyond the physical reality, and this emerging technology is attracting enormous attention from different industries. In this article, we define the first holistic realization of the metaverse in the mobility domain, coined as ``metamobility". We present our vision of what metamobility will be and describe its basic architecture. We also propose two use cases, tactile live maps and meta-empowered advanced driver-assistance systems (ADAS), to demonstrate how the metamobility will benefit and reshape future mobility systems. Each use case is discussed from the perspective of the technology evolution, future vision, and critical research challenges, respectively. Finally, we identify multiple concrete open research issues for the development and deployment of the metamobility.


title: Finite-rank approximation of affine processes on positive Hilbert-Schmidt operators

abstract: In this article, we present a method for approximating affine processes on the cone of positive Hilbert-Schmidt operators using matrix-valued affine processes. By leveraging results from the theory on affine processes with values in the cone of symmetric and positive semi-definite matrices, we construct sequences of finite-rank operator-valued affine processes that converge weakly to the target processes and provide convergence rates for their Laplace transforms using Galerkin approximations of the associated operator-valued generalized Riccati equations. This article not only offers a practical approximation scheme for operator-valued affine processes with error bounds that hold uniformly in time, but also provides a novel existence proof for this class of affine processes with c\`adl\`ag paths, including affine pure-jump processes with infinite variation and state-dependent jump intensities. In addition to the theoretical significance, the results of this paper provide useful tools for analyzing and approximating infinite-dimensional affine stochastic covariance models that were recently introduced in mathematical finance.


title: Your Day in Your Pocket: Complex Activity Recognition from Smartphone Accelerometers

abstract: Human Activity Recognition (HAR) enables context-aware user experiences where mobile apps can alter content and interactions depending on user activities. Hence, smartphones have become valuable for HAR as they allow large, and diversified data collection. Although previous work in HAR managed to detect simple activities (i.e., sitting, walking, running) with good accuracy using inertial sensors (i.e., accelerometer), the recognition of complex daily activities remains an open problem, specially in remote work/study settings when people are more sedentary. Moreover, understanding the everyday activities of a person can support the creation of applications that aim to support their well-being. This paper investigates the recognition of complex activities exclusively using smartphone accelerometer data. We used a large smartphone sensing dataset collected from over 600 users in five countries during the pandemic and showed that deep learning-based, binary classification of eight complex activities (sleeping, eating, watching videos, online communication, attending a lecture, sports, shopping, studying) can be achieved with AUROC scores up to 0.76 with partially personalized models. This shows encouraging signs toward assessing complex activities only using phone accelerometer data in the post-pandemic world.


title: Complements of discriminants of real singularities of type $X_{10}$

abstract: A conjecturally complete list of components of complements of discriminant varieties of singularities $X_{10}^3$ and $X_{10}^1$ of smooth real functions is given


title: From Risk Prediction to Risk Factors Interpretation. Comparison of Neural Networks and Classical Statistics for Dementia Prediction

abstract: It is proposed to investigate the onset of a disease D, based on several risk factors., with a specific interest in Alzheimer occurrence. For that purpose, two classes of techniques are available, whose properties are quite different in terms of interpretation, which is the focus of this paper: classical statistics based on probabilistic models and artificial intelligence (mainly neural networks) based on optimization algorithms. Both methods are good at prediction, with a preference for neural networks when the dimension of the potential predictors is high. But the advantage of the classical statistics is cognitive : the role of each factor is generally summarized in the value of a coefficient which is highly positive for a harmful factor, close to 0 for an irrelevant one, and highly negative for a beneficial one.


title: A Geometric Approach to the Yang-Mills Mass Gap

abstract: I provide a new idea based on geometric analysis to obtain a positive mass gap in pure non-abelian renormalizable Yang-Mills theory. The orbit space, that is the space of connections of Yang-Mills theory modulo gauge transformations, is equipped with a Riemannian metric that naturally arises from the kinetic part of reduced classical action and admits a positive definite sectional curvature. The corresponding regularized \textit{Bakry-\'Emery} Ricci curvature (if positive) is shown to produce a mass gap for $2+1$ and $3+1$ dimensional Yang-Mills theory assuming the existence of a quantized Yang-Mills theory on $(\mathbb{R}^{1+2},\eta)$ and $(\mathbb{R}^{1+3},\eta)$, respectively. My result on the gap calculation, described at least as a heuristic one, applies to non-abelian Yang-Mills theory with any compact semi-simple Lie group in the aforementioned dimensions. In $2+1$ dimensions, the square of the Yang-Mils coupling constant $g^{2}_{YM}$ has the dimension of mass, and therefore the spectral gap of the Hamiltonian is essentially proportional to $g^{2}_{YM}$ with proportionality constant being purely numerical as expected. Due to the dimensional restriction on $3+1$ dimensional Yang-Mills theory, it seems one ought to introduce a length scale to obtain an energy scale. It turns out that a certain `trace' operation on the infinite-dimensional geometry naturally introduces a length scale that has to be fixed by measuring the energy of the lowest glu-ball state. However, this remains to be understood in a rigorous way.


title: A characterisation of linear repetitivity for cut and project sets with general polytopal windows

abstract: The cut and project method is a central construction in the theory of Aperiodic Order for generating quasicrystals with pure point diffraction. Linear repetitivity ({\bf LR}) is a form of ideal regularity of aperiodic patterns. Recently, Koivusalo and the present author characterised {\bf LR} for cut and project sets with convex polytopal windows whose supporting hyperplanes are commensurate with the lattice, the weak homogeneity property. For such cut and project sets, we show that {\bf LR} is equivalent to two properties. One is a low complexity condition, which may be determined from the cut and project data by calculating the ranks of the intersections of the projection of the lattice to the internal space with the subspaces parallel to the supporting hyperplanes of the window. The second condition is that the projection of the lattice to the internal space is Diophantine (or `badly approximable'), which loosely speaking means that the lattice points in the total space stay far from the physical space, relative to their norm. We review then extend these results to non-convex and disconnected polytopal windows, as well as windows with polytopal partitions producing cut and project sets of labelled points. Moreover, we obtain a complete characterisation of {\bf LR} in the fully general case, where weak homogeneity is not assumed. Here, the Diophantine property must be replaced with an inhomogeneous analogue. We show that cut and project schemes with internal space isomorphic to \(\mathbb{R}^n \oplus G \oplus \mathbb{Z}^r\), for \(G\) finite Abelian, can, up to MLD equivalence, be reduced to ones with internal space \(\mathbb{R}^n\), so our results also cover cut and project sets of this form, such as the (generalised) Penrose tilings.


title: Evaluation of an Open-Source Pipeline to Create Patient-Specific Left Atrial Models: A Reproducibility Study

abstract: We present an open-source software pipeline to create patient-specific left atrial (LA) models with fibre orientations and a fibrosis map, suitable for electrophysiology simulations. The semi-automatic pipeline takes as input a contrast enhanced magnetic resonance angiogram, and a late gadolinium enhanced (LGE) contrast magnetic resonance (CMR). Five operators were allocated 20 cases each from a set of 50 CMR datasets to create a total of 100 models to evaluate inter/intra-operator variability. Each output model consisted of (1) a labelled surface mesh open at the pulmonary veins (PV) and mitral valve (MV), (2) fibre orientations mapped from a diffusion tensor MRI human atlas, (3) fibrosis map from the LGE-CMR scan, and (4) simulation of local activation time (LAT) and phase singularity (PS) mapping. We evaluated reproducibility in our pipeline by comparing agreement in shape of the output meshes, fibrosis distribution in the LA body, and fibre orientations; simulations outputs were evaluated comparing total activation times of LAT maps, mean conduction velocity (CV), and structural similarity index measure (SSIM) of PS maps. Our workflow allows a single model to be created in 16.72 +/- 12.25 minutes. Results in this abstract are reported as inter/intra. Shape only differed noticeably with users' selection of the MV and the length of the PV from the ostia to the distal end; fibrosis agreement (0.91/0.99 ICC) and fibre orientation agreement (60.63/71.77 %) were high. LAT maps showed good agreement, the median of the absolute difference of the total activation times was 2.02ms/1.37ms. The average of the mean CV difference was -4.04mm/s / 2.1mm/s. PS maps showed a moderately good agreement with SSIM of 0.648/0.608. Although we found notable differences in the models due to user input, our tests show that operator variability was comparable to that of image resolution or fibre estimation.


title: Quasinormal Modes from Penrose Limits

abstract: We use Penrose limits to approximate quasinormal modes with large real frequencies. The Penrose limit associates a plane wave to a region of spacetime near a null geodesic. This plane wave can be argued to geometrically realize the geometrical optics approximation. Therefore, when applied to the bound null orbits around black holes, the Penrose limit can be used to study quasinormal modes. For instance, this Penrose limit point of view makes manifest the symmetry that emerges in the geometrical optics approximation of quasinormal modes in terms of isometries of the resulting plane wave spacetime. We apply the procedure to warped $\rm{AdS}_3$, Schwarzschild black holes and Kerr black holes. In the former we show explicitly how the symmetry algebra contracts to that of the limiting plane wave while in the latter we find the expected agreement with numerically computed quasinormal modes for large (real) frequencies.


title: Pinwheel solutions to Schr\"odinger systems

abstract: We establish the existence of positive segregated solutions for competitive nonlinear Schr\"odinger systems in the presence of an external trapping potential, which have the property that each component is obtained from the previous one by a rotation, and we study their behavior as the forces of interaction become very small or very large. As a consequence, we obtain optimal partitions for the Schr\"odinger equation by sets that are linearly isometric to each other.


title: Sparse curve singularities, singular loci of resultants, and Vandermonde matrices

abstract: We compute the $\delta$-invariant of a curve singularity parameterized by generic sparse polynomials. We apply this to describe topological types of generic singularities of sparse resultants and ``algebraic knot diagrams'' (i.e. generic algebraic spatial curve projections). Our approach is based on some new results on zero loci of Schur polynomials, on transversality properties of maps defined by sparse polynomials, and on a new refinement of the notion of tropicalization of a curve (ultratropicalization), which may be of independent interest.


title: Opti-CAM: Optimizing saliency maps for interpretability

abstract: Methods based on class activation maps (CAM) provide a simple mechanism to interpret predictions of convolutional neural networks by using linear combinations of feature maps as saliency maps. By contrast, masking-based methods optimize a saliency map directly in the image space or learn it by training another network on additional data. In this work we introduce Opti-CAM, combining ideas from CAM-based and masking-based approaches. Our saliency map is a linear combination of feature maps, where weights are optimized per image such that the logit of the masked image for a given class is maximized. We also fix a fundamental flaw in two of the most common evaluation metrics of attribution methods. On several datasets, Opti-CAM largely outperforms other CAM-based approaches according to the most relevant classification metrics. We provide empirical evidence supporting that localization and classifier interpretability are not necessarily aligned.


title: Hitting time expressions for quantum channels: beyond the irreducible case and applications to unitary walks

abstract: In this work we make use of generalized inverses associated with quantum channels acting on finite-dimensional Hilbert spaces, so that one may calculate the mean hitting time for a particle to reach a chosen goal subspace. The questions studied in this work are motivated by recent results on quantum dynamics on graphs, most particularly quantum Markov chains. We focus on describing how generalized inverses and hitting times can be obtained, with the main novelties of this work with respect to previous ones being that a) we are able to weaken the notion of irreducibility, so that reducible examples can be considered as well, and b) one may consider arbitrary arrival subspaces for general positive, trace preserving maps. Natural examples of reducible maps are given by unitary quantum walks. We also take the opportunity to explain how a more specific inverse, namely the group inverse, appears in our context, in connection with matrix algebraic constructions which may be of independent interest.


title: Weighted and Branching Bisimilarities from Generalized Open Maps

abstract: In the open map approach to bisimilarity, the paths and their runs in a given state-based system are the first-class citizens, and bisimilarity becomes a derived notion. While open maps were successfully used to model bisimilarity in non-deterministic systems, the approach fails to describe quantitative system equivalences such as probabilistic bisimilarity. In the present work, we see that this is indeed impossible and we thus generalize the notion of open maps to also accommodate weighted and probabilistic bisimilarity. Also, extending the notions of strong path and path bisimulations into this new framework, we show that branching bisimilarity can be captured by this extended theory and that it can be viewed as the history preserving restriction of weak bisimilarity.