title: Mixing for generic rough shear flows

abstract: We study mixing and diffusion properties of passive scalars driven by $generic$ rough shear flows. Genericity is here understood in the sense of prevalence and (ir)regularity is measured in the Besov-Nikolskii scale $B^{\alpha}_{1, \infty}$, $\alpha \in (0, 1)$. We provide upper and lower bounds, showing that in general inviscid mixing in $H^{1/2}$ holds sharply with rate $r(t) \sim t^{1/(2 \alpha)}$, while enhanced dissipation holds with rate $r(\nu) \sim \nu^{\alpha / (\alpha+2)}$. Our results in the inviscid mixing case rely on the concept of $\rho$-irregularity, first introduced by Catellier and Gubinelli (Stoc. Proc. Appl. 126, 2016) and provide some new insights compared to the behavior predicted by Colombo, Coti Zelati and Widmayer (arXiv:2009.12268, 2020).


title: Gr\"obner deformation and $F$-singularities

abstract: For polynomial ideals in positive charachteristic, defining $F$-split rings and admitting a squarefree monomial initial ideal are different notions. In this note we show that, however, there are strong interactions in both directions. Moreover we provide an overview on which $F$-singularities are Gr\"obner deforming. Also, we prove the following characteristic-free statement: if $\mathfrak{p}$ is a height $h$ prime ideal such that $\textrm{in}(\mathfrak{p}^{(h)})$ contains at least one squarefree monomial, then $\textrm{in}(\mathfrak{p})$ is a squarefree monomial ideal.


title: Eigenvalue Problems in $\mathrm{L}^\infty$: Optimality Conditions, Duality, and Relations with Optimal Transport

abstract: In this article we characterize the $\mathrm{L}^\infty$ eigenvalue problem associated to the Rayleigh quotient $\left.{\|\nabla u\|_{\mathrm{L}^\infty}}\middle/{\|u\|_\infty}\right.$ and relate it to a divergence-form PDE, similarly to what is known for $\mathrm{L}^p$ eigenvalue problems and the $p$-Laplacian for $p<\infty$. Contrary to existing methods, which study $\mathrm{L}^\infty$-problems as limits of $\mathrm{L}^p$-problems for $p\to\infty$, we develop a novel framework for analyzing the limiting problem directly using convex analysis and geometric measure theory. For this, we derive a novel fine characterization of the subdifferential of the Lipschitz-constant-functional $u\mapsto\|\nabla u\|_{\mathrm{L}^\infty}$. We show that the eigenvalue problem takes the form $\lambda \nu u =-\operatorname{div}(\tau\nabla_\tau u)$, where $\nu$ and $\tau$ are non-negative measures concentrated where $|u|$ respectively $|\nabla u|$ are maximal, and $\nabla_\tau u$ is the tangential gradient of $u$ with respect to $\tau$. Lastly, we investigate a dual Rayleigh quotient whose minimizers solve an optimal transport problem associated to a generalized Kantorovich--Rubinstein norm. Our results apply to all stationary points of the Rayleigh quotient, including infinity ground states, infinity harmonic potentials, distance functions, etc., and generalize known results in the literature.


title: Reconstruction of photon number conditioned states using phase randomized homodyne measurements

abstract: We experimentally demonstrate the reconstruction of a photon number conditioned state without using a photon number discriminating detector. By using only phase randomized homodyne measurements, we reconstruct up to the three photon subtracted squeezed vacuum state. The reconstructed Wigner functions of these states show regions of pronounced negativity, signifying the non-classical nature of the reconstructed states. The techniques presented allow for complete characterization of the role of a conditional measurement on an ensemble of states, and might prove useful in systems where photon counting still proves technically challenging.


title: Very Weak Space-Time Variational Formulation for the Wave Equation: Analysis and Efficient Numerical Solution

abstract: We introduce a very weak space-time variational formulation for the wave equation, prove its well-posedness (even in the case of minimal regularity) and optimal inf-sup stability. Then, we introduce a tensor product-style space-time Petrov-Galerkin discretization with optimal discrete inf-sup stability, obtained by a non-standard definition of the trial space. As a consequence, the numerical approximation error is equal to the residual, which is particularly useful for a posteriori error estimation. For the arising {discrete linear systems} in space and time, we introduce efficient numerical solvers that appropriately exploit the equation structure, either at the preconditioning level or in the approximation phase by using a tailored Galerkin projection. This Galerkin method shows competitive behavior concerning {wall-clock} time, accuracy and memory as compared with a standard time-stepping method in particular in low regularity cases. Numerical experiments with a 3D (in space) wave equation illustrate our findings.


title: Hybrid high-energy/collinear factorization in a heavy-light dijets system reaction

abstract: We propose the inclusive hadroproduction of a heavy-light dijet system, as a new channel for the investigation of high energy QCD. We build up a hybrid factorization that incorporates a partial next-to-leading BFKL resummation inside the standard collinear description of observables. We present a detailed analysis of different observables: cross-section summed over azimuthal angles and differential in rapidity and azimuthal distribution. The stability that these distributions show under higher-order corrections motivates our interest in future studies, doable at new generation colliding machines.


title: On some symmetries of the base $ n $ expansion of $ 1/m $ : Comments on Artin's Primitive root conjecture

abstract: Suppose $ m,n\geq 2 $ are co prime integers. We prove certain new symmetries of the base $ n $ representation of $ 1/m $, and in particular characterize the subgroup generated by $ n $ inside $ (\mathbb{Z}/m\mathbb{Z})^\times $. As an application we give a sufficient condition for a prime $ p $ such that a non square number $ n $ is a primitive root modulo $ p $.


title: A Steepest Descent Method for Set Optimization Problems with Set-Valued Mappings of Finite Cardinality

abstract: In this paper, we study a first order solution method for a particular class of set optimization problems where the solution concept is given by the set approach. We consider the case in which the set-valued objective mapping is identified by a finite number of continuously differentiable selections. The corresponding set optimization problem is then equivalent to find optimistic solutions to vector optimization problems under uncertainty with a finite uncertainty set. We develop optimality conditions for these types of problems, and introduce two concepts of critical points. Furthermore, we propose a descent method and provide a convergence result to points satisfying the optimality conditions previously derived. Some numerical examples illustrating the performance of the method are also discussed. This paper is a modified and polished version of Chapter 5 in the PhD thesis by Quintana (On set optimization with set relations: a scalarization approach to optimality conditions and algorithms, Martin-Luther-Universit\"at Halle-Wittenberg, 2020).


title: On some symmetries of the base $ n $ expansion of $ 1/m $ : The Class Number connection

abstract: Suppose that $ m\equiv 1\mod 4 $ is a prime and that $ n\equiv 3\mod 4 $ is a primitive root modulo $ m $. In this paper we obtain a relation between the class number of the imaginary quadratic field $ \Q(\sqrt{-nm}) $ and the digits of the base $ n $ expansion of $ 1/m $. Secondly, if $ m\equiv 3\mod 4 $, we study some convoluted sums involving the base $ n $ digits of $ 1/m $ and arrive at certain congruence relations involving the class number of $ \Q(\sqrt{-m}) $ modulo certain primes $ p $ which properly divide $ n+1 $.


title: Affinity maturation for an optimal balance between long-term immune coverage and short-term resource constraints

abstract: In order to target threatening pathogens, the adaptive immune system performs a continuous reorganization of its lymphocyte repertoire. Following an immune challenge, the B cell repertoire can evolve cells of increased specificity for the encountered strain. This process of affinity maturation generates a memory pool whose diversity and size remain difficult to predict. We assume that the immune system follows a strategy that maximizes the long-term immune coverage and minimizes the short-term metabolic costs associated with affinity maturation. This strategy is defined as an optimal decision process on a finite dimensional phenotypic space, where a pre-existing population of naive cells is sequentially challenged with a neutrally evolving strain. We unveil a trade-off between immune protection against future strains and the necessary reorganization of the repertoire. This plasticity of the repertoire drives the emergence of distinct regimes for the size and diversity of the memory pool, depending on the density of naive cells and on the mutation rate of the strain. The model predicts power-law distributions of clonotype sizes observed in data, and rationalizes antigenic imprinting as a strategy to minimize metabolic costs while keeping good immune protection against future strains.


title: Turbulence in the intragroup and circumgalactic medium

abstract: In massive objects, such as galaxy clusters, the turbulent velocity dispersion, $\sigma_\mathrm{turb}$, is tightly correlated to both the object mass, $M$, and the thermal energy. Here, we investigate whether these scaling laws extend to lower-mass objects in dark-matter filaments. We perform a cosmological zoom-in simulation of a filament using an adaptive filtering technique for the resolved velocity component and a subgrid-scale model to account for the unresolved component. We then compute the mean turbulent and thermal energies for all halos in the zoom-in region and compare different definitions of halo averages. Averaging constrained by density and temperature thresholds is favored over averages solely based on virial spheres. We find no clear trend for the turbulent velocity dispersion versus halo mass, but significant correlation and a scaling law with exponent $\alpha\sim 0.5$ between the turbulent velocity dispersion and thermal energy that agrees with a nearly constant turbulent Mach number, similar to more massive objects. We conclude that the self-similar energetics proposed for galaxy clusters extends down to the CGM of individual galaxies.


title: Circular $(4-\epsilon)$-coloring of some classes of signed graphs

abstract: A circular $r$-coloring of a signed graph $(G, \sigma)$ is an assignment $\phi$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, \sigma)$ such that for each positive edge $uv$ of $(G, \sigma)$ the distance of $\phi(v)$ and $\phi(v)$ is at least 1 and for each negative edge $uv$ the distance of $\phi(u)$ from the antipodal of $\phi(v)$ is at least 1. The circular chromatic number of $(G, \sigma)$, denoted $\chi_c(G, \sigma)$, is the infimum of $r$ such that $(G, \sigma)$ admits a circular $r$-coloring. This notion is recently defined by Naserasr, Wang, and Zhu who, among other results, proved that for any signed $d$-degenerate simple graph $\hat{G}$ we have $\chi_c(\hat{G})\leq 2d$. For $d\geq 3$, examples of signed $d$-degenerate simple graphs of circular chromatic number $2d$ are provided. But for $d=2$ only examples of signed 2-degenerate simple graphs of circular chromatic number close enough to $4$ are given, noting that these examples are also signed bipartite planar graphs. In this work we first observe the following restatement of the 4-color theorem: If $(G,\sigma)$ is a signed bipartite planar simple graph where vertices of one part are all of degree 2, then $\chi_c(G,\sigma)\leq \frac{16}{5}$. Motivated by this observation, we provide an improved upper bound of $ 4-\dfrac{2}{\lfloor \frac{n+1}{2} \rfloor}$ for the circular chromatic number of a signed 2-degenerate simple graph on $n$ vertices and an improved upper bound of $ 4-\dfrac{4}{\lfloor \frac{n+2}{2} \rfloor}$ for the circular chromatic number of a signed bipartite planar simple graph on $n$ vertices. We then show that each of the bounds is tight for any value of $n\geq 4$.


title: Operator spectrum of nonrelativistic CFTs at large charge

abstract: We extend and clarify the large-charge expansion of the conformal dimension $\Delta_Q$ of the lowest operator of charge $Q$ in nonrelativistic CFTs using the state-operator correspondence. The latter requires coupling the theory to an external harmonic trap that confines the particles to a spherical cloud, at the edge of which the effective theory breaks down and leads to divergences. Only recently has this issue been overcome by constructing appropriate counterterms at the edge of the cloud in arXiv:2010.07967. In this note, we extend these results by systematically analyzing the degree of divergence of operators in the effective action and show that there always exist appropriate edge counterterms that make the final contributions to $\Delta_Q$ finite. On the other side of the correspondence, this also provides new corrections to the Thomas-Fermi approximation of the unitary Fermi gas, and we comment on their relevance for ultracold atom physics.


title: Enhanced trion emission in monolayer MoSe2 by constructing a type-I van der Waals heterostructure

abstract: Trions, quasi-particles consisting of two electrons combined with one hole or of two holes with one electron, have recently been observed in transition metal dichalcogenides (TMDCs) and drawn increasing attention due to potential applications of these materials in light-emitting diodes, valleytronic devices as well as for being a testbed for understanding many-body phenomena. Therefore, it is important to enhance the trion emission and its stability. In this study, we construct a MoSe2/FePS3 van der Waals heterostructure (vdWH) with type-I band alignment, which allows for carriers injection from FePS3 to MoSe2. At low temperatures, the neutral exciton (X0) emission in this vdWH is almost completely suppressed. The ITrion/Ix0 intensity ratio increases from 0.44 in a single MoSe2 monolayer to 20 in this heterostructure with the trion charging state changing from negative in the monolayer to positive in the heterostructure. The optical pumping with circularly polarized light shows a 14% polarization for the trion emission in MoSe2/FePS3. Moreover, forming such type-I vdWH also gives rise to a 20-fold enhancement of the room temperature photoluminescence from monolayer MoSe2. Our results demonstrate a novel approach to convert excitons to trions in monolayer 2D TMDCs via interlayer doping effect using type-I band alignment in vdWH.


title: How water wets and self-hydrophilizes nanopatterns of physisorbed hydrocarbons

abstract: Weakly bound, physisorbed hydrocarbons could in principle provide a similar water-repellency as obtained by chemisorption of strongly bound hydrophobic molecules at surfaces. Here we present experiments and computer simulations on the wetting behavior of water on molecularly thin, self-assembled alkane carpets of dotriacontane (n-C32H66 or C32) physisorbed on the hydrophilic native oxide layer of silicon surfaces during dip-coating from a binary alkane solution. By changing the dip-coating velocity we control the initial C32 surface coverage and achieve distinct film morphologies, encompassing homogeneous coatings with self-organised nanopatterns that range from dendritic nano-islands to stripes. These patterns exhibit a good water wettability even though the carpets are initially prepared with a high coverage of hydrophobic alkane molecules. Using in-liquid atomic force microscopy, along with molecular dynamics simulations, we trace this to a rearrangement of the alkane layers upon contact with water. This restructuring is correlated to the morphology of the C32 coatings, i.e. their fractal dimension. Water molecules displace to a large extent the first adsorbed alkane monolayer and thereby reduce the hydrophobic C32 surface coverage. Thus, our experiments evidence that water molecules can very effectively hydrophilize initially hydrophobic surfaces that consist of weakly bound hydrocarbon carpets.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.chem-ph


title: Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption

abstract: Probabilistic sentential decision diagrams are a class of structured-decomposable probabilistic circuits especially designed to embed logical constraints. To adapt the classical LearnSPN scheme to learn the structure of these models, we propose a new scheme based on a partial closed-world assumption: data implicitly provide the logical base of the circuit. Sum nodes are thus learned by recursively clustering batches in the initial data base, while the partitioning of the variables obeys a given input vtree. Preliminary experiments show that the proposed approach might properly fit training data, and generalize well to test data, provided that these remain consistent with the underlying logical base, that is a relaxation of the training data base.


title: The GoogLeNet-assisted phase transition detectors

abstract: In the presence of the phase fluctuations in superconducting nanowires array, the electrical resistance of the superconducting nanowires is always non-zero unless the system undergoes Berezinskii-Kosterlitz-Thouless (BKT) transition where the superconducting vortices and anti-vortices form pairs. The two-dimensional XY model can mimic the superconducting transition temperature Tc and the BKT transition at a lower critical temperature TBKT by observing the heat capacity anomalies upon cooling. If the Josephson coupling across the nanowires is strong, the heat capacity anomalies almost overlap with each other so that it is difficult to distinguish between the Tc and the TBKT. To solve this issue, we apply an artificial-intelligence technique to split the nearly overlapped heat capacity anomalies. After the GoogLeNet-assisted phase transition detector is built, the GoogLeNet model can learn from the features of the phase transitions and then interpret the Tc and TBKT in the unseen system precisely. Our work opens a path for the GoogLeNet model to enter the world of magnetism and superconductivity.


title: Tripping and laminar--turbulent transition: Implementation in RANS--EVM

abstract: Fundamental fluid--mechanics studies and many engineering developments are based on tripped cases. Therefore, it is essential for CFD simulations to replicate the same forced transition in spite of the availability of advanced transition modelling. In the last decade, both direct and large--eddy simulations (DNS and LES) include tripping methods in an effort to avoid the need for modeling the complex mechanisms associated with the natural transition process, which we would like to bring over to Reynolds--averaged Navier--Stokes (RANS) turbulence models. This paper investigates the necessity and applications of numerical tripping, despite of the developments in numerical modeling of natural transition. The second goal of this paper is to assess a technique to implement tripping in eddy-viscosity models (EVM) for RANS. A recent approach of turbulence generation, denoted as turbulence-injection method (kI), is evaluated and investigated through different test cases ranging from a turbulent boundary layer on a flat plate to the three dimensional(3D) flow over a wing section. The desired tripping is achieved at the target location and the simulation results compare favorably with the reference results (DNS, LES and measured data). With the application of the model, the challenging transition region can be minimized in a simulation, and consequently more reliable results are obtained.


title: Complete One-loop Matching of the Type-I Seesaw Model onto the Standard Model Effective Field Theory

abstract: In this paper, we accomplish the complete one-loop matching of the type-I seesaw model onto the Standard Model Effective Field Theory (SMEFT), by integrating out three heavy Majorana neutrinos with the functional approach. It turns out that only 31 dimension-six operators (barring flavor structures and Hermitian conjugates) in the Warsaw basis of the SMEFT can be obtained, and most of them appear at the one-loop level. The Wilson coefficients of these 31 dimension-six operators are computed up to $\mathcal{O}\left( M^{-2}\right)$ with $M$ being the mass scale of heavy Majorana neutrinos. As the effects of heavy Majorana neutrinos are encoded in the Wilson coefficients of these higher-dimensional operators, a complete one-loop matching is useful to explore the low-energy phenomenological consequences of the type-I seesaw model. In addition, the threshold corrections to the couplings in the Standard Model and to the coefficient of the dimension-five operator are also discussed.


title: Every Flare, Everywhere: An All-Sky Untriggered Search for Astrophysical Neutrino Transients Using IceCube Data

abstract: Recent results from IceCube regarding TXS 0506+056 suggest the presence of neutrino flares that are not temporally coincident with a significant corresponding gamma ray flare. Such flares are particularly difficult to identify, as their presence must be inferred from the temporal distribution of neutrino data alone. Here we present the results of using a novel method to search for all such flares across the entire neutrino sky in 10 years of IceCube data, using both Gaussian and box-shaped flare hypotheses. Unlike for past searches, that looked for only the most significant neutrino flare in the data at a given direction, here we implement an algorithm to combine information from multiple flares associated with a single source candidate. This represents the most detailed description of the neutrino sky to date, providing the location and intensity of all neutrino cluster candidates in both space and time. These results can be used to further constrain potential populations of transient neutrino sources, serving as a complement to existing time-integrated and time-dependent methods.


title: Fine-Grained Emotion Prediction by Modeling Emotion Definitions

abstract: In this paper, we propose a new framework for fine-grained emotion prediction in the text through emotion definition modeling. Our approach involves a multi-task learning framework that models definitions of emotions as an auxiliary task while being trained on the primary task of emotion prediction. We model definitions using masked language modeling and class definition prediction tasks. Our models outperform existing state-of-the-art for fine-grained emotion dataset GoEmotions. We further show that this trained model can be used for transfer learning on other benchmark datasets in emotion prediction with varying emotion label sets, domains, and sizes. The proposed models outperform the baselines on transfer learning experiments demonstrating the generalization capability of the models.


title: The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources Part I. System structure for Complex Systems and Design Principles

abstract: This is part I of the follow-up lecture notes of the lectures given by the authors at the Three \CO" (Composability, Comprehensibility, Correctness) Winter School held in Ko\v{s}ice, Slovakia, in January 2018, and Summer School held in Budapest, Hungary, in June 2019. In this part we explain the role of functional programming paradigm in the management of complex software systems, and how the functional programming concepts play important role in the designing such systems. Key prerequisite for implementing functional programming concepts is properly designed system structure following well defined design principles and rules. That is the main goal of this lecture to introduce students with proper system modeling. Furthermore, we also explain how new emerging technologies are designed in such a way that they enforce the development of systems that comply to the design rules inspired by the functional programming. This is extremely important in view of the current network evolution and virtualization concepts, which will require many functional programming concepts in the network services and functions, as will be discussed in part II of these lecture notes. These notes provide an introduction to the subject, with the goal of explaining the problems and the principles, methods and techniques used for their solution. The worked examples and exercises serve students as the teaching material, from which they can learn how to use design principles to model effective system structures. Here we focus on students understanding of importance of effective system structures for coordination of development and management processes that are driven by business goals and further evolution.


title: AA3DNet: Attention Augmented Real Time 3D Object Detection

abstract: In this work, we address the problem of 3D object detection from point cloud data in real time. For autonomous vehicles to work, it is very important for the perception component to detect the real world objects with both high accuracy and fast inference. We propose a novel neural network architecture along with the training and optimization details for detecting 3D objects using point cloud data. We present anchor design along with custom loss functions used in this work. A combination of spatial and channel wise attention module is used in this work. We use the Kitti 3D Birds Eye View dataset for benchmarking and validating our results. Our method surpasses previous state of the art in this domain both in terms of average precision and speed running at > 30 FPS. Finally, we present the ablation study to demonstrate that the performance of our network is generalizable. This makes it a feasible option to be deployed in real time applications like self driving cars.


title: Higher systolic inequalities for 3-dimensional contact manifolds

abstract: A contact form is called Besse when the associated Reeb flow is periodic. We prove that Besse contact forms on closed connected 3-manifolds are the local maximizers of suitable higher systolic ratios. Our result extends earlier ones for Zoll contact forms, that is, contact forms whose Reeb flow defines a free circle action.


title: Opinions and dark energy: A mechanism of long-range repulsion in a toy opinion particle model

abstract: The concept of opinion particles can be introduced by studying time-continuous versions of Bayesian-inspired opinion dynamics methods. Here, we use opinion particles to further explore how information and Bayesian methods can contribute new ideas to physical problems. Continuous-time limits are shown to correspond to the case with little trust between the original agents, and a synchronous version of the model is studied. The interaction between two particles is defined as attractive. However, space and distances are not well represented in the model. We define a local measure of distances based on the parameters. That allows distant particles to be repelled in the natural coordinates of any central particle, similar to the observed cosmological effects identified as dark energy. Keywords: Opinion dynamics, Opinion particles, Dark energy, Bayesian methods, CODA


title: Sparse formulae for the distance modulus in cosmology

abstract: We review the distance modulus in twelve different cosmologies: the $\Lambda$CDM model, the wCDM model, the Cardassian model, the flat case, the $\phi$CDM cosmology, the Einstein--De Sitter model, the modified Einstein--De Sitter model, the simple~GR model, the flat expanding model, the Milne model, the plasma model and the modified tired light model. The above distance moduli are processed for three different compilations of supernovae and a supernovae + GRBs compilation: Union 2.1, JLA, the Pantheon and Union 2.1 + 59 GRBs. For each of the 48 analysed cases we report the relative cosmological parameters, the chi-square, the reduced chi-square, the AIC and the $Q$ parameter. The angular distance as function of the redshift for five cosmologies is reported in the framework of the minimax approximation.


title: Non-minimal coupling inspires the Dirac cosmological model

abstract: In the framework of the generalized Rastall theory (GRT), we study the ability of a non-minimal coupling between geometry and matter fields in order to provide a setting which allows for a variable G during the cosmic evolution. In this regard, the compatibility of this theory with Dirac hypothesis on the variations of G is investigated, and additionally, the possibility of obtaining the current accelerated universe is also addressed. In summary, our study indicates that, in GRT, having in hand the G profile, one may find the corresponding non-minimal coupling between the energy source and geometry and vise versa, in a compatible way with the current accelerated universe.


title: Quantification of parametric uncertainties induced by irregular soil loading in orchard tower sprayer nonlinear dynamics

abstract: This paper deals with the nonlinear stochastic dynamics of an orchard tower sprayer subjected to random excitations due to soil irregularities. A consistent stochastic model of uncertainties is constructed to describe random loadings and to predict variabilities in mechanical system response. The dynamics is addressed in time and frequency domains. Monte Carlo method is employed to compute the propagation of uncertainties through the stochastic model. Numerical simulations reveals a very rich dynamics, which is able to produce chaos. This numerical study also indicates that lateral vibrations follow a direct energy cascade law. A probabilistic analysis reveals the possibility of large lateral vibrations during the equipment operation.


title: Perceptually Validated Precise Local Editing for Facial Action Units with StyleGAN

abstract: The ability to edit facial expressions has a wide range of applications in computer graphics. The ideal facial expression editing algorithm needs to satisfy two important criteria. First, it should allow precise and targeted editing of individual facial actions. Second, it should generate high fidelity outputs without artifacts. We build a solution based on StyleGAN, which has been used extensively for semantic manipulation of faces. As we do so, we add to our understanding of how various semantic attributes are encoded in StyleGAN. In particular, we show that a naive strategy to perform editing in the latent space results in undesired coupling between certain action units, even if they are conceptually distinct. For example, although brow lowerer and lip tightener are distinct action units, they appear correlated in the training data. Hence, StyleGAN has difficulty in disentangling them. We allow disentangled editing of such action units by computing detached regions of influence for each action unit, and restrict editing to these regions. We validate the effectiveness of our local editing method through perception experiments conducted with 23 subjects. The results show that our method provides higher control over local editing and produces images with superior fidelity compared to the state-of-the-art methods.


title: Quantum Information Effects

abstract: We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is fully expressive for irreversible quantum computing, including measurement. We provide universal categorical constructions that semantically interpret this arrow metalanguage with choice, starting with any rig groupoid interpreting the reversible base language. Several properties of quantum measurement follow in general, and we translate (noniterative) quantum flow charts into our language. The semantic constructions turn the category of unitaries between Hilbert spaces into the category of completely positive trace-preserving maps, and they turn the category of bijections between finite sets into the category of functions with chosen garbage. Thus they capture the fundamental theorems of classical and quantum reversible computing of Toffoli and Stinespring.


title: Macroscopic modeling of strain-rate dependent energy dissipation of superelastic SMAs considering destabilization of martensitic lattice

abstract: Superelastic shape-memory alloys (SMAs) are unique smart materials with a considerable energy dissipation potential for dynamic loadings with varying strain-rates. The energy dissipation depends on the latent heat generated by the austenitic-martensitic transformation and the convection of that heat. Due to the thermomechanical coupling, the martensitic nucleation stress level and thus the propagation of martensitic phase fronts strongly depends on the material temperature. High strain-rate interferes with the release of the latent heat to the environment and determines quantity, position and propagation of martensitic transformation bands. Lastly, high strain-rate reduces the hysteresis surface. The propagation velocity and quantity of martensitic bands have an impact on martensitic phase stability. The degree of atomic disorder and accordingly the change in entropy influences the reverse phase transformation from martensite to austenite. In other words, the stability of the martensitic state affects the stress level of the reverse transformation. However, in phenomenological superelastic SMA models, which are used to simulate energy dissipation behavior, the effects of the rate-dependent entropy change are not considered in particular. To incorporate the rate-dependent entropy change, we improved a one-dimensional numerical model by introducing an additional control variable in the free energy formulation for solid-solid phase transformation of superelastic SMAs. In this model, the observed effects of the strain-rate on the reverse transformation are taken into account by calculating the rate-dependent entropy change. A comparison of the numerical results with the experimental data shows that the model calculates the dynamic superelastic hysteresis of SMAs more accurately.


title: Physics-informed graph neural Galerkin networks: A unified framework for solving PDE-governed forward and inverse problems

abstract: Despite the great promise of the physics-informed neural networks (PINNs) in solving forward and inverse problems, several technical challenges are present as roadblocks for more complex and realistic applications. First, most existing PINNs are based on point-wise formulation with fully-connected networks to learn continuous functions, which suffer from poor scalability and hard boundary enforcement. Second, the infinite search space over-complicates the non-convex optimization for network training. Third, although the convolutional neural network (CNN)-based discrete learning can significantly improve training efficiency, CNNs struggle to handle irregular geometries with unstructured meshes. To properly address these challenges, we present a novel discrete PINN framework based on graph convolutional network (GCN) and variational structure of PDE to solve forward and inverse partial differential equations (PDEs) in a unified manner. The use of a piecewise polynomial basis can reduce the dimension of search space and facilitate training and convergence. Without the need of tuning penalty parameters in classic PINNs, the proposed method can strictly impose boundary conditions and assimilate sparse data in both forward and inverse settings. The flexibility of GCNs is leveraged for irregular geometries with unstructured meshes. The effectiveness and merit of the proposed method are demonstrated over a variety of forward and inverse computational mechanics problems governed by both linear and nonlinear PDEs.


title: Federated Action Recognition on Heterogeneous Embedded Devices

abstract: Federated learning allows a large number of devices to jointly learn a model without sharing data. In this work, we enable clients with limited computing power to perform action recognition, a computationally heavy task. We first perform model compression at the central server through knowledge distillation on a large dataset. This allows the model to learn complex features and serves as an initialization for model fine-tuning. The fine-tuning is required because the limited data present in smaller datasets is not adequate for action recognition models to learn complex spatio-temporal features. Because the clients present are often heterogeneous in their computing resources, we use an asynchronous federated optimization and we further show a convergence bound. We compare our approach to two baseline approaches: fine-tuning at the central server (no clients) and fine-tuning using (heterogeneous) clients using synchronous federated averaging. We empirically show on a testbed of heterogeneous embedded devices that we can perform action recognition with comparable accuracy to the two baselines above, while our asynchronous learning strategy reduces the training time by 40%, relative to synchronous learning.


title: Increasing FPS for single board computers and embedded computers in 2021 (Jetson nano and YOVOv4-tiny). Practice and review

abstract: This manuscript provides a review of methods for increasing the frame per second of single-board computers. The main emphasis is on the Jetson family of single-board computers from Nvidia Company, due to the possibility of using a graphical interface for calculations. But taking into account the popular low-cost segment of single-board computers as RaspberryPI family, BananaPI, OrangePI, etc., we also provided an overview of methods for increasing the frame per second without using a Graphics Processing Unit. We considered frameworks, software development kit, and various libraries that can be used in the process of increasing the frame per second in single-board computers. Finally, we tested the presented methods for the YOLOv4-tiny model with a custom dataset on the Jetson nano and presented the results in the table.


title: Exploring Two-Dimensional Empty Space

abstract: Research on graphene is proving to have more lives than a cat, repeatedly coming back in new incarnations including graphene's recent alter ego, two-dimensional emptiness.


title: Cosine and Computation

abstract: We are interested in solving decision problem $\exists? t \in \mathbb{N}, \cos t \theta = c$ where $\cos \theta$ and $c$ are algebraic numbers. We call this the $\cos t \theta$ problem. This is an exploration of Diophantine equations with analytic functions. Polynomial, exponential with real base and cosine function are closely related to this decision problem: $ \exists ? t \in \mathbb{N}, u^T M^t v = 0$ where $u, v \in \mathbb{Q}^n, M \in \mathbb{Q}^{n\times n}$. This problem is also known as "Skolem problem" and is useful in verification of linear systems. Its decidability remains unknown. Single variable Diophantine equations with exponential function with real algebraic base and $\cos t \theta$ function with $\theta$ a rational multiple of $\pi$ is decidable. This idea is central in proving the decidability of Skolem problem when the eigenvalues of $M$ are roots of real numbers. The main difficulty with the cases when eigenvalues are not roots of reals is that even for small order cases decidability requires application of trancendental number theory which does not scale for higher order cases. We provide a first attempt to overcome that by providing a $PTIME$ algorithm for $\cos t \theta$ when $\theta$ is not a rational multiple of $\pi$. We do so without using techniques from transcendental number theory. \par One of the main difficulty in Diophantine equations is being unable to use tools from calculus to solve this equation as the domain of variable is $\mathbb{N}$. We also provide an attempt to overcome that by providing reduction of Skolem problem to solving a one variable equation (which involves polynomials, exponentials with real bases and $\cos t \theta$ function with $t$ ranging over reals and $\theta \in [0, \pi]$) over reals.


title: Experimental study on the gradual fracture of layers in multi-layer laminated glass plates under low-velocity impact

abstract: Through pendulum impact testing on suspended samples, we demonstrate the effect of the multi-layer layout on the low-velocity impact response of laminated glass plates consisting of three or four glass layers and PVB interlayers. Non-destructive tests proved the repeatability and the consistency of performed experiments. Destructive tests revealed significant differences in impact energies and breakage forces leading to glass fracture for individual specimens under impacts of increasing height. Nevertheless, the fracture consistently initiated in outer glass layers around the impact point and vibrations of partially fractured samples exhibited similar first natural frequencies. Partially fractured samples also withstood in many cases higher contact forces than those leading to the fracture of the previous glass layer, and PVB interlayers provided a stiff shear connection between glass layers for all impact heights. Altogether, our experimental results provide comprehensive information on the pre-fracture, fracture, and post-fracture response of laminated glass, suitable particularly for validating computational models for multi-layer glass samples under low-velocity impact.


title: Self-propulsion dynamics of small droplets on general surfaces with curvature gradient

abstract: We study theoretically the self-propulsion dynamics of a small droplet on general curved surfaces by a variational approach. A new reduced model is derived based on careful computations for the capillary energy and the viscous dissipation in the system. The model describes quantitatively the spontaneous motion of a liquid droplet on general surfaces. In particular, it recovers previous models for droplet motion on the outside surface of a cone. In this case, we derive a scaling law of the displacement $s\sim t^{1/3}$ of a droplet with respect to time $t$ by asymptotic analysis. Theoretical results are in good agreement with experiments in previous literature without adjusting the friction coefficient in the model.


title: Gravitation in Theory of Space-Time Film and Galactic Soliton

abstract: The scalar field of extremal space-time film is considered as unified fundamental field. Metrical interaction between solitons-particles as gravitational interaction is considered here in approximation of a weak fundamental field. It is shown that the signature of metrics $\{-,+,+,+\}$ in the model formulation provides the observable gravitational attraction to a region with bigger energy density of the fundamental field. The induced gravitational interaction in the space-time film theory is applied to stars in a galaxy. The conception of galaxy soliton of space-time film is introduced. A weak field asymptotic solution for a galaxy soliton is proposed. It is shown that the effective metrics for this solution can provide the observable velocity curves for galaxies and explains their spiral structure. Thus a solution for so-called dark matter problem in the framework of space-time film theory is proposed.


title: Two-component breather solution of the nonlinear Klein-Gordon equation

abstract: The generalized perturbative reduction method is used to find the two-component vector breather solution of the nonlinear Klein-Gordon equation. It is shown that the nonlinear pulse oscillates with the sum and difference of frequencies and wave numbers in the region of the carrier wave frequency and wave number. Explicit analytical expressions for the profile and parameters of the nonlinear pulse are obtained. In the particular case, the vector breather coincides with the vector $0\pi$ pulse of self-induced transparency.


title: On Transforming Functions of a Certain Dot-Product Gradient Operator

abstract: In this paper it is shown that a function of the constant dot product of the gradient operator acting on an arbitrary function can be transformed to a double three-dimensional integral. The inner one of them is a Fourier transform of the operator function. The result converted to one-dimensional problems is also useful in transforming complex differential expressions.


title: Brain Inspired Computing Approach for the Optimization of the Thin Film Thickness of Polystyrene on the Glass Substrates

abstract: Advent in machine learning is leaving a deep impact on various sectors including the material science domain. The present paper highlights the application of various supervised machine learning regression algorithms such as polynomial regression, decision tree regression algorithm, random forest algorithm, support vector regression algorithm, and artificial neural network algorithm to determine the thin film thickness of Polystyrene on the glass substrates. The results showed that the polynomial regression machine learning algorithm outperforms all other machine learning models by yielding the coefficient of determination of 0.96 approximately and mean square error of 0.04 respectively.


title: Maximum Likelihood Spectrum Decomposition for Isotope Identification and Quantification

abstract: A spectral decomposition method has been implemented to identify and quantify isotopic source terms in high-resolution gamma-ray spectroscopy in static geometry and shielding scenarios. Monte-Carlo simulations were used to build the response matrix of a shielded high purity germanium detector monitoring an effluent stream with a Marinelli configuration. The decomposition technique was applied to a series of calibration spectra taken with the detector using a multi-nuclide standard. These results are compared to decay corrected values from the calibration certificate. For most nuclei in the standard ($^{241}$Am, $^{109}$Cd, $^{137}$Cs, and $^{60}$Co) the deviations from the certificate values were generally no more than $6$\% with a few outliers as high as $10$\%. For $^{57}$Co, the radionuclide with the lowest activity, the deviations from the standard reached as high as $25$\%, driven by the meager statistics in the calibration spectra. Additionally, a complete treatment of error propagation for the technique is presented.


title: Time-Crystal Particles and Classical Spin 4-vector

abstract: Time crystals are exotic phases of matter characterized by a broken time-translational symmetry, such that the ground state of the system evolves in time in a periodic fashion. Even though the time-crystal concept was introduced relatively recently, a related proposal can be traced back to Louis de Broglie. In his thesis, de Broglie conjectured that elementary particles may have some sort of internal clock that rules their behavior in the microscopic world. Here, I revisit de Broglie's idea and demonstrate that a special extreme case of classical mechanics yields in a natural way time-crystal type dynamics. Remarkably, it is found that time-crystal particles are characterized by a spin 4-vector that has a purely kinematic origin and is determined by the binormal of the velocity trajectory in the Bloch sphere. The dynamics of time-crystal particles is ruled by a generalized least action principle, such that the particle dynamically probes the nearby space and moves on average towards the direction that minimizes the action. I apply the theory to the case of charged particles and find that it predicts spin precession and that it provides a simple and intuitive picture for the origin of the anomalous magnetic moment of the electron. The classical formalism is recovered as an "effective theory" valid on a coarse time scale.


title: Enhanced Meta-Displays Using Advanced Phase-Change Materials

abstract: Structural colors generated due to light scattering from static all-dielectric metasurfaces have successfully enabled high-resolution, high-saturation, and wide-gamut color printing applications. Despite recent advances, most demonstrations of these structure-dependent colors lack post-fabrication tunability. This hinders their applicability for front-end dynamic display technologies. Phase-change materials (PCMs), with significant contrast of their optical properties between their amorphous and crystalline states, have demonstrated promising potentials in reconfigurable nanophotonics. Herein, we leverage tunable all-dielectric reflective metasurfaces made of newly emerged classes of low-loss optical PCMs, i.e., antimony trisulphide (Sb$_2$S$_3$) and antimony triselenide (Sb$_2$Se$_3$), with superb characteristics to realize switchable, high-saturation, high-efficiency and high-resolution dynamic meta-pixels. Exploiting polarization-sensitive building blocks, the presented meta-pixel can generate two different colors when illuminated by either one of two orthogonally polarized incident beams. Such degrees of freedom (i.e., material phase and polarization state) enable a single reconfigurable metasurface with fixed geometrical parameters to generate four distinct wide-gamut colors. We experimentally demonstrate, for the first time, an electrically-driven micro-scale display through the integration of phase-change metasurfaces with an on-chip heater formed by transparent conductive oxide. Our experimental findings enable a versatile platform suitable for a wide range of applications, including tunable full-color printing, enhanced dynamic displays, information encryption, and anti-counterfeiting.


title: Spectroscopic factors in dripline nuclei

abstract: Single-nucleon knockout reaction studies of the proton-dripline nuclei $^9$C and $^{13}$O suggest an appreciable suppression of spectroscopic factors. In this work, we calculate the one-neutron and one-proton spectroscopic factors for the mirror pair $^9$C-$^9$Li and $^{13}$O using two variants of the continuum shell model: the complex-energy Gamow Shell Model and the real-energy Shell Model Embedded in the Continuum. Our results indicate that the continuum effects strongly suppress the spectroscopic factors of well-bound orbits in the dripline systems, but have less impact on the spectroscopic factors of weakly-bound states.


title: Mimetic Tensor-Vector-Scalar Cosmology: Incorporating Dark Matter, Dark Energy and Stiff Matter

abstract: Phenomenological implications of the Mimetic Tensor-Vector-Scalar theory (MiTeVeS) are studied. The theory is an extension of the vector field model of mimetic dark matter, where a scalar field is also incorporated, and it is known to be free from ghost instability. In the absence of interactions between the scalar field and the vector field, the obtained cosmological solution corresponds to the General theory of Relativity (GR) with a minimally-coupled scalar field. However, including an interaction term between the scalar field and the vector field yields interesting dynamics. There is a shift symmetry for the scalar field with a flat potential, and the conserved Noether current, which is associated with the symmetry, behaves as a dark matter component. Consequently, the solution contains a cosmological constant, dark matter and a stiff matter fluid. Breaking the shift symmetry with a non-flat potential gives a natural interaction between dark energy and dark matter.


title: E-Bayesian Estimation For Some Characteristics Of Weibull Generalized Exponential Progressive Type-II Censored Samples

abstract: Estimation of reliability and hazard rate is one of the most important problems raised in many applications especially in engineering studies as well as human lifetime. In this regard, different methods of estimation have been used. Each method exploits various tools and suffers from problems such as complexity of computations, low precision, and so forth. This study is employed the E-Bayesian method, for estimating the parameter and survival functions of the Weibull Generalized Exponential distribution. The estimators are obtained under squared error and LINEX loss functions under progressive type-II censored samples. E-Bayesian estimations are derived based on three priors of hyperparameters to investigate the influence of different priors on estimations. The asymptotic behaviours of E-Bayesian estimations have been investigated as well as relationships among them. Finally, a comparison among the maximum likelihood, Bayes, and E-Bayesian estimations are made, using real data and Monte Carlo simulation. Results show that the new method is more efficient than previous methods.


title: Gravity Effects on Hawking Radiation from Charged Black Strings in Rastall Theory

abstract: The Rastall theory of gravity is the generalized form of the Einstein theory which describes the conservation law of energy and momentum tensor. In our work, we compute the charged black strings solution in the background of Rastall theory by applying the Newman-Janis approach. After computing the charged black strings solution in the background of Rastall theory, we study the thermodynamical property (i.e., Hawking temperature) for the charged black strings. Furthermore, we investigate the graphical representation of Hawking temperature via event horizon to check the stability conditions of charged black strings under the influence of Rastall theory. Moreover, we examine the modified Hawking temperature for charged black strings in Rastall theory by taking into account the quantum gravity effects. We also discuss the physical state of charged black strings under the effects of quantum gravity and spin parameter (appears due to Rastall theory in charged black strings solution).


title: BMS Goldstone modes near the horizon of a Kerr black hole are thermal

abstract: Near horizon Bondi-Metzner-Sachs (BMS) like symmetry is spontaneously broken by the black hole background itself and hence gives rise to Goldstone mode. The associated Goldstone mode for the near horizon BMS like symmetry of a Schwarzschild black hole was found to behave like inverted harmonic oscillators, which has been further shown to lead to thermodynamic temperature in the semi-classical regime. Here we investigate the generalization of this previous findings for the Kerr black hole. The analysis is being performed for two different situations. Firstly, we analyze Goldstone mode dynamics considering {\it slowly rotating} Kerr. In other case the problem is solved in the frame of {\it zero angular momentum observer} (ZAMO) with arbitrary value of rotation. In both analysis the effective semi-classical temperature of Goldstone modes turn out to be proportional to that of Hawking temperature. Due to such similarity and generality we feel that these Goldstone modes may play important role to understand the underlying microscopic description of horizon thermalization.


title: Utilizing synchronization to partition power networks into microgrids

abstract: The problem of partitioning a power grid into a set of microgrids, or islands, is of interest for both the design of future smart grids, and as a last resort to restore power dispatchment in sections of a grid affected by an extreme failure. In the literature this problem is usually solved by turning it into a combinatorial optimization problem, often solved through generic heruristic methods such as Genetic Algorithms or Tabu Search. In this paper, we take a different route and obtain the grid partition by exploiting the synchronization dynamics of a cyberlayer of Kuramoto oscillators, each parameterized as a rough approximation of the dynamics of the grid's node it corresponds to. We present first a centralised algorithm and then a decentralised strategy. In the former, nodes are aggregated based on their internode synchronization times while in the latter they exploit synchronization of the oscillators in the cyber layer to selforganise into islands. Our preliminary results show that the heuristic synchronization based algorithms do converge towards partitions that are comparable to those obtained via other more cumbersome and computationally expensive optimization-based methods.


title: On the Photon Motion Near a Five-Dimensional Schwarzschild Black Hole

abstract: In this report, we discuss the dynamics of photons in a five-dimensional Schwarzschild black hole. We find that the corresponding Eddington-Finkelstein-like coordinate admits two time-coordinate singularities for a particular condition. This condition is due to the existence of a non-zero angular momentum related to the extra spatial dimension. By introducing a new Regge-Wheeler tortoise coordinate, both singularities can be removed from the Eddington-Finkelstein-like coordinate. It is identified that the additional singularity is related to the photon sphere in a hyperplane, and we analyze it using a dynamical system approach. Simulation results of photon motion based on numerical calculation are presented. It is suggested that the related bending motion characteristic can probably be considered as a signature for probing the existence of the extra spatial dimension.


title: Multimodal Fusion Using Deep Learning Applied to Driver's Referencing of Outside-Vehicle Objects

abstract: There is a growing interest in more intelligent natural user interaction with the car. Hand gestures and speech are already being applied for driver-car interaction. Moreover, multimodal approaches are also showing promise in the automotive industry. In this paper, we utilize deep learning for a multimodal fusion network for referencing objects outside the vehicle. We use features from gaze, head pose and finger pointing simultaneously to precisely predict the referenced objects in different car poses. We demonstrate the practical limitations of each modality when used for a natural form of referencing, specifically inside the car. As evident from our results, we overcome the modality specific limitations, to a large extent, by the addition of other modalities. This work highlights the importance of multimodal sensing, especially when moving towards natural user interaction. Furthermore, our user based analysis shows noteworthy differences in recognition of user behavior depending upon the vehicle pose.


title: Exploiting Language Model for Efficient Linguistic Steganalysis

abstract: Recent advances in linguistic steganalysis have successively applied CNN, RNN, GNN and other efficient deep models for detecting secret information in generative texts. These methods tend to seek stronger feature extractors to achieve higher steganalysis effects. However, we have found through experiments that there actually exists significant difference between automatically generated stego texts and carrier texts in terms of the conditional probability distribution of individual words. Such kind of difference can be naturally captured by the language model used for generating stego texts. Through further experiments, we conclude that this ability can be transplanted to a text classifier by pre-training and fine-tuning to improve the detection performance. Motivated by this insight, we propose two methods for efficient linguistic steganalysis. One is to pre-train a language model based on RNN, and the other is to pre-train a sequence autoencoder. The results indicate that the two methods have different degrees of performance gain compared to the randomly initialized RNN, and the convergence speed is significantly accelerated. Moreover, our methods achieved the best performance compared to related works, while providing a solution for real-world scenario where there are more cover texts than stego texts.


title: Two-way quantum communication using four-qubit cluster state: mutual exchange of quantum information

abstract: In the present study, we have proposed a scheme for two-way quantum communication in which the two legitimate participants mutually exchange their quantum information to each other by using a four-qubit cluster state as the quantum channel. Recently, by utilizing a four-qubit cluster state as the quantum channel, Kazemikhah et al. [Int. J. Theor. Phys., 60 (2021) 378] tried to design a scheme for the mutual exchange of quantum information between two legitimate participants. However, in the present study, it has been shown that in their scheme the transmission of quantum information cannot be realized because the two participants are not entangled to each other due to a trivial conceptual mistake made by Kazemikhah et al. in the description of the quantum channel. Here, we have shown that two legitimate participants can teleport quantum information states to each other by using a four-qubit cluster state as the quantum channel, provided they co-operate with each other and perform non-local controlled phase gate operation. If both participants do not co-operate with each other, then no one can reconstruct the information sent to them, and therefore the exchange of information is possible only when both participants are honest to each other.


title: Micromechanical bolometers for sub-Terahertz detection at room temperature

abstract: Fast, room temperature imaging at THz and sub-THz frequencies is an interesting feature which could unleash the full potential of plenty applications in security, healthcare and industrial production. In this Letter we introduce micromechanical bolometers based on silicon nitride trampoline membranes as broad-range detectors, down to the sub-THz frequencies. They show, at the largest wavelengths, room-temperature noise-equivalent-powers comparable to state-of-the-art commercial devices (~100 pW Hz-1/2); adding the good operation speed and the easy, large-scale fabrication process, the trampoline membrane could be the next candidate for cheap, room temperature THz imaging and related applications.


title: Aut-invariant quasimorphisms on graph products of abelian groups

abstract: The present paper constructs unbounded quasimorphisms that are invariant under all automorphisms on free products of more than two factors and on graph products of finitely generated abelian groups. This includes many classes of right angled Artin and right angled Coxeter groups. We discuss various geometrically arising families of graphs as examples and deduce the non-triviality of an invariant analogue of stable commutator length recently introduced by Kawasaki and Kimura for these groups.


title: Studying the anonymity trilemma with a discrete-event mix network simulator

abstract: In this work, we present a discrete event mix network simulator, which allows analysing how anonymity, latency, and bandwidth overhead are affected by various scenarios of deployment and design choices. These design choices include network topology, mixing technique, volume of traffic, latency requirements, packet size or use of cover traffic. To the best of our knowledge, this is the first such simulator as work on it began in 2017 to analyze the Loopix mix network, and the code of our simulator is available under an open-source license. To demonstrate the capabilities of our simulator, we perform an empirical analysis of the impact of core design choices on anonymity, scalability and latency in Elixxir, HOPR and Nym, currently deployed mix network infrastructures that make a variety of different choices in their design.


title: Membership Inference Attack and Defense for Wireless Signal Classifiers with Deep Learning

abstract: An over-the-air membership inference attack (MIA) is presented to leak private information from a wireless signal classifier. Machine learning (ML) provides powerful means to classify wireless signals, e.g., for PHY-layer authentication. As an adversarial machine learning attack, the MIA infers whether a signal of interest has been used in the training data of a target classifier. This private information incorporates waveform, channel, and device characteristics, and if leaked, can be exploited by an adversary to identify vulnerabilities of the underlying ML model (e.g., to infiltrate the PHY-layer authentication). One challenge for the over-the-air MIA is that the received signals and consequently the RF fingerprints at the adversary and the intended receiver differ due to the discrepancy in channel conditions. Therefore, the adversary first builds a surrogate classifier by observing the spectrum and then launches the black-box MIA on this classifier. The MIA results show that the adversary can reliably infer signals (and potentially the radio and channel information) used to build the target classifier. Therefore, a proactive defense is developed against the MIA by building a shadow MIA model and fooling the adversary. This defense can successfully reduce the MIA accuracy and prevent information leakage from the wireless signal classifier.


title: Quantitative Homogenization for Combustion in Random Media

abstract: We obtain the first quantitative stochastic homogenization result for reaction-diffusion equations, for ignition reactions in dimensions $d\le 3$ that either have finite ranges of dependence or are close enough to such reactions, and for solutions with initial data that approximate characteristic functions of general convex sets. We show algebraic rate of convergence of these solutions to their homogenized limits, which are (discontinuous) viscosity solutions of certain related Hamilton-Jacobi equations.


title: The regularized free fall II -- Homology computation via heat flow

abstract: In [BOV20] Barutello, Ortega, and Verzini introduced a non-local functional which regularizes the free fall. This functional has a critical point at infinity and therefore does not satisfy the Palais-Smale condition. In this article we study the $L^2$ gradient flow which gives rise to a non-local heat flow. We construct a rich cascade Morse complex which has one generator in each degree $k\ge 1$. Calculation reveals a rather poor Morse homology having just one generator. In particular, there must be a wealth of solutions of the heat flow equation. These can be interpreted as solutions of the Schr\"odinger equation after a Wick rotation.


title: Neutrino Education, Outreach, and Communications Activities: Captivating Examples from IceCube

abstract: The IceCube Neutrino Observatory at the South Pole has tremendous emotional appeal -- the extreme Antarctic environment coupled with the aura of a pioneering experiment that explores the universe in a new way. However, as with most cutting-edge experiments, it is still challenging to translate the exotic, demanding science into accessible language. We present three examples of recent successful education, outreach, and communication activities that demonstrate how we leverage efforts and sustain connections to produce engaging results. First we describe our participation in the PolarTREC program, which pairs researchers with educators to provide deployments in the Antarctic, and how we have sustained relationships with these educators to produce high-quality experiences to reach target audiences even during a pandemic. We then focus on three activities from the past year: a summer enrichment program for high school students that was also modified for a 10-week IceCube after school program, a virtual visit to the South Pole for the ScienceWriters 2020 conference, and a series of short videos in English and Spanish suitable for all ages that explain traveling, living, and working at the South Pole.


title: Regularity of the Radon-Nikodym Derivative of a Convolution of Orbital Measures on Noncompact Symmetric Spaces

abstract: Let $G/K$ be a Riemannian symmetric space of noncompact type, and let $\nu_{a_j}$, $j=1,...,r$ be some orbital measures on $G$ (see the definition below). The aim of this paper is to study the $L^{2}$-regularity (resp. $C^k$-smoothness) of the Radon-Nikodym derivative of the convolution $\nu_{a_{1}}\ast...\ast\nu_{a_{r}}$ with respect to a fixed left Haar measure $\mu_G$ on $G$. As a consequence of a result of Ragozin, \cite{ragozin}, we prove that if $r \geq \, \max_{1\leq i \leq s}\dim {G_i}/K_i$, then $\nu_{a_{1}}\ast...\ast\nu_{a_{r}}$ is absolutely continuous with respect to $\mu_G$, i.e., $d\big(\nu_{a_{1}}\ast...\ast\nu_{a_{r}}\big)/d\mu_G$ is in $L^1(G)$, where $G_i/K_i$, $i=1,...,s$, are the irreducible components in the de Rham decomposition of $G/K$. The aim of this paper is to prove that $d\big(\nu_{a_{1}}\ast...\ast\nu_{a_{r}}\big)/d\mu_G$ is in $L^2(G)$ (resp. $C^k\left(G \right) $) for $r \geq \max_{1\leq i \leq s}\dim \left( {G_i}/{K_i}\right) + 1$\, (resp. $r \geq \max_{1\leq i \leq s} \dim\left( {G_i}/{K_i}\right) +k+1$). The case of a compact symmetric space of rank one was considered in \cite{AGP} and \cite{AG}, and the case of a complex Grassmannian was considered in \cite{AA}.


title: Novel Span Measure, Spanning Sets and Applications

abstract: Rough Set based Spanning Sets were recently proposed to deal with uncertainties arising in the problem in domain of natural language processing problems. This paper presents a novel span measure using upper approximations. The key contribution of this paper is to propose another uncertainty measure of span and spanning sets. Firstly, this paper proposes a new definition of computing span which use upper approximation instead of boundary regions. This is useful in situations where computing upper approximations are much more convenient that computing boundary region. Secondly, properties of novel span and relation with earlier span measure are discussed. Thirdly, the paper presents application areas where the proposed span measure can be utilized.


title: Towards Equitable, Diverse, and Inclusive Science Collaborations: The Multimessenger Diversity Network

abstract: The Multimessenger Diversity Network (MDN), formed in 2018, extends the basic principle of multimessenger astronomy -- that working collaboratively with different approaches enhances understanding and enables previously impossible discoveries -- to equity, diversity, and inclusion (EDI) in science research collaborations. With support from the National Science Foundation INCLUDES program, the MDN focuses on increasing EDI by sharing knowledge, experiences, training, and resources among representatives from multimessenger science collaborations. Representatives to the MDN become engagement leads in their collaboration, extending the reach of the community of practice. An overview of the MDN structure, lessons learned, and how to join are presented.


title: Optimal control of epidemic spreading in presence of social heterogeneity

abstract: The spread of COVID-19 has been thwarted in most countries through non-pharmaceutical interventions. In particular, the most effective measures in this direction have been the stay-at-home and closure strategies of businesses and schools. However, population-wide lockdowns are far from being optimal carrying heavy economic consequences. Therefore, there is nowadays a strong interest in designing more efficient restrictions. In this work, starting from a recent kinetic-type model which takes into account the heterogeneity described by the social contact of individuals, we analyze the effects of introducing an optimal control strategy into the system, to limit selectively the mean number of contacts and reduce consequently the number of infected cases. Thanks to a data-driven approach, we show that this new mathematical model permits to assess the effects of the social limitations. Finally, using the model introduced here and starting from the available data, we show the effectivity of the proposed selective measures to dampen the epidemic trends.


title: Formation and Characteristics of Filament Threads in Double-Dipped Magnetic Flux Tubes

abstract: As one of the main formation mechanisms of solar filament formation, the chromospheric evaporation-coronal condensation model has been confirmed by numerical simulations to explain the formation of filament threads very well in flux tubes with single dips. However, coronal magnetic extrapolations indicated that some magnetic field lines might possess more than one dip. It is expected that the formation process would be significantly different in this case compared to a single-dipped magnetic flux tube. In this paper, based on the evaporation-condensation model, we study filament thread formation in double-dipped magnetic flux tubes by numerical simulations. We find that only with particular combinations of magnetic configuration and heating, e.g., concentrated localized heating and a long magnetic flux tube with deep dips, can two threads form and persist in a double-dipped magnetic flux tube. Comparing our parametric survey with observations, we conclude that such magnetically connected threads due to multiple dips are more likely to exist in quiescent filaments than in active-region filaments. Moreover, we find that these threads are usually shorter than independently trapped threads, which might be one of the reasons why quiescent filaments have short threads. These characteristics of magnetically connected threads could also explain barbs and vertical threads in quiescent filaments.


title: A Predictive Multiphase Model of Silica Aerogels for Building Envelope Insulations

abstract: This work develops a multiphase thermomechanical model of porous silica aerogel and implements an uncertainty analysis framework consisting of the Sobol methods for global sensitivity analyses and Bayesian inference using a set of experimental data of silica aerogel. A notable feature of this work is implementing a new noise model within the Bayesian inversion to account for data uncertainty and modeling error. The hyper-parameters in the likelihood balance data misfit and prior contribution to the parameter posteriors and prevent their biased estimation. The results indicate that the uncertainty in solid conductivity and elasticity are the most influential parameters affecting the model output variance. Also, the Bayesian inference shows that despite the microstructural randomness in the thermal measurements, the model captures the data with 2% error. However, the model is inadequate in simulating the stress-strain measurements resulting in significant uncertainty in the computational prediction of a building insulation component.


title: A Simple Approach to Automated Spectral Clustering

abstract: The performance of spectral clustering heavily relies on the quality of affinity matrix. A variety of affinity-matrix-construction (AMC) methods have been proposed but they have hyperparameters to determine beforehand, which requires strong experience and leads to difficulty in real applications, especially when the inter-cluster similarity is high and/or the dataset is large. In addition, we often need to choose different AMC methods for different datasets, which still depends on experience. To solve these two challenging problems, in this paper, we present a simple yet effective method for automated spectral clustering. First, we propose to find the most reliable affinity matrix via grid search or Bayesian optimization among a set of candidates given by different AMC methods with different hyperparameters, where the reliability is quantified by the \textit{relative-eigen-gap} of graph Laplacian introduced in this paper. Second, we propose a fast and accurate AMC method based on least squares representation and thresholding and prove its effectiveness theoretically. Finally, we provide a large-scale extension for the automated spectral clustering method, of which the time complexity is linear with the number of data points. Extensive experiments of natural image clustering show that our method is more versatile, accurate, and efficient than baseline methods.


title: Development and validation of an optimal GATE model for proton pencil-beam scanning delivery

abstract: Objective: To develop and validate an independent Monet Carlo dose calculation engine to support for software verification of treatment planning systems and quality assurance workflow. Method: GATE Monte Carlo toolkit was employed to simulate a fixed horizontal active scan-based proton beam delivery. Within the nozzle, two primary and secondary dose monitors have been designed allowing to compare the accuracy of dose estimation from MC simulation with respect to physical quality assurance measurements. The developed beam model was validated against a series of commissioning measurements using pinpoint chambers and 2D array ionization chambers in terms of lateral profiles and depth dose distributions. Furthermore, beam delivery module and treatment planning has been validated against the literature deploying various clinical test cases of AAPM TG-119 and a prostate patient. Result: MC simulation showed an excellent agreement with measurements in the lateral depth-dose parameters and SOBP characteristics within maximum relative error of 0.95% in range, 3.4% in entrance to peak ratio, 2.3% in mean point to point, and 0.852% in peak location. Mean relative absolute difference between MC simulation and the measurement in terms of absorbed dose in SOBP region was $0.93\% \pm 0.88\%$. Clinical phantom study showed a good agreement compared to a commercial treatment planning system (relative error for TG-119 PTV-D${}{95}$ $\mathrm{\sim}$ 1.8%; and for prostate PTV-D$_{95}$ $\mathrm{\sim}$ -0.6%). Conclusion: The results confirm the capability of GATE simulation as a reliable surrogate for verifying TPS dose maps prior to patient treatment.


title: Dosimetric Comparison of Passive Scattering and Active Scanning Proton Therapy Techniques Using GATE Simulation

abstract: In this study, two proton beam delivery designs, passive scattering proton therapy (PSPT) and pencil beam scanning (PBS), were quantitatively compared in terms of dosimetric indices. The GATE Monte Carlo code was used to simulate the proton beam system; and the developed simulation engines were benchmarked with respect to the experimental measurements. A water phantom was used to simulate system energy parameters using a set of depth-dose data in the energy range of 120-235 MeV. To compare the performance of PSPT against PBS, multiple dosimetric parameters including FWHM, peak position, range, peak-to-entrance dose ratio, and dose volume histogram have been analyzed under the same conditions. Furthermore, the clinical test cases introduced by AAPM TG-119 were simulated in both beam delivery modes to compare the relevant clinical values obtained from DVH analysis. The parametric comparison in the water phantom between the two techniques revealed that the value of peak-to-entrance dose ratio in PSPT is considerably higher than that from PBS by a factor of 8%. In addition, the FWHM of the lateral beam profile in PSPT was increased by a factor of 7% compared to the corresponding value obtained from PBS model. TG-119 phantom simulations showed that the difference of PTV mean dose between PBS and PSPT techniques are up to 2.9% while the difference of max dose to organ at risks (OARs) exceeds 33%. The results demonstrated that the PBS proton therapy systems was superior in adapting to the target volume, better dose painting, and lower out-of-field dose compared to PSPT design.


title: Camera Calibration for the IceCube Upgrade and Gen2

abstract: An upgrade to the IceCube Neutrino Telescope is currently under construction. For this IceCube Upgrade, seven new strings will be deployed in the central region of the 86 string IceCube detector to enhance the capability to detect neutrinos in the GeV range. One of the main science objectives of the IceCube Upgrade is an improved calibration of the IceCube detector to reduce systematic uncertainties related to the optical properties of the ice. We have developed a novel optical camera and illumination system that will be part of 700 newly developed optical modules to be deployed with the IceCube Upgrade. A combination of transmission and reflection photographic measurements will be used to measure the optical properties of bulk ice between strings and refrozen ice in the drill hole, to determine module positions, and to survey the local ice environments surrounding the sensor module. In this contribution we present the production design, acceptance testing, and plan for post-deployment calibration measurements with the camera system.


title: Reconstruction of Neutrino Events in IceCube using Graph Neural Networks

abstract: The IceCube Neutrino Observatory is a cubic-kilometer scale neutrino detector embedded in the Antarctic ice of the South Pole. In the near future, the detector will be augmented by extensions, such as the IceCube Upgrade and the planned Gen2 detector. The sparseness of observed light in the detector for low-energy events, and the irregular detector geometry, have always been a challenge to the reconstruction of the detected neutrinos' parameters of interest. This challenge remains with the IceCube Upgrade, currently under construction, which introduces seven new detector strings with novel detector modules. The Upgrade modules will increase the detection rate of low-energy events and allow us to further constrain neutrino oscillation physics. However, the geometry of these modules render existing traditional reconstruction algorithms more difficult to use. We introduce a new reconstruction algorithm based on Graph Neural Networks, which we use to reconstruct neutrino events at much faster processing times than the traditional algorithms, while providing comparable resolution. We show that our algorithm is applicable not only to reconstructing data of the current IceCube detector, but also simulated events for next-generation extensions, such as the IceCube Upgrade.


title: An integrated whispering-gallery-mode resonator for solid-state coherent quantum photonics

abstract: Tailored photonic cavities allow enhancing light-matter interaction ultimately to create a fully coherent quantum interface. Here, we report on an integrated microdisk cavity containing self-assembled quantum dots to coherently route photons between different access waveguides. We measure a Purcell factor of $F_{exp}=6.9\pm0.9$ for a cavity quality factor of about 10,000, allowing us to observe clear signatures of coherent scattering of photons by the quantum dots. We show how this integrated system can coherently re-route photons between the drop and bus ports, and how this routing is controlled by detuning the quantum dot and resonator, or through the strength of the excitation beam, where a critical photon number less than one photon per lifetime is required. We discuss the strengths and limitations of this approach, focusing on how the coherent scattering and single-photon nonlinearity can be used to increase the efficiency of quantum devices such as routers or Bell-state analyzers.


title: An Efficient Insect Pest Classification Using Multiple Convolutional Neural Network Based Models

abstract: Accurate insect pest recognition is significant to protect the crop or take the early treatment on the infected yield, and it helps reduce the loss for the agriculture economy. Design an automatic pest recognition system is necessary because manual recognition is slow, time-consuming, and expensive. The Image-based pest classifier using the traditional computer vision method is not efficient due to the complexity. Insect pest classification is a difficult task because of various kinds, scales, shapes, complex backgrounds in the field, and high appearance similarity among insect species. With the rapid development of deep learning technology, the CNN-based method is the best way to develop a fast and accurate insect pest classifier. We present different convolutional neural network-based models in this work, including attention, feature pyramid, and fine-grained models. We evaluate our methods on two public datasets: the large-scale insect pest dataset, the IP102 benchmark dataset, and a smaller dataset, namely D0 in terms of the macro-average precision (MPre), the macro-average recall (MRec), the macro-average F1- score (MF1), the accuracy (Acc), and the geometric mean (GM). The experimental results show that combining these convolutional neural network-based models can better perform than the state-of-the-art methods on these two datasets. For instance, the highest accuracy we obtained on IP102 and D0 is $74.13\%$ and $99.78\%$, respectively, bypassing the corresponding state-of-the-art accuracy: $67.1\%$ (IP102) and $98.8\%$ (D0). We also publish our codes for contributing to the current research related to the insect pest classification problem.


title: Systematic Literature Review of Validation Methods for AI Systems

abstract: Context: Artificial intelligence (AI) has made its way into everyday activities, particularly through new techniques such as machine learning (ML). These techniques are implementable with little domain knowledge. This, combined with the difficulty of testing AI systems with traditional methods, has made system trustworthiness a pressing issue. Objective: This paper studies the methods used to validate practical AI systems reported in the literature. Our goal is to classify and describe the methods that are used in realistic settings to ensure the dependability of AI systems. Method: A systematic literature review resulted in 90 papers. Systems presented in the papers were analysed based on their domain, task, complexity, and applied validation methods. Results: The validation methods were synthesized into a taxonomy consisting of trial, simulation, model-centred validation, and expert opinion. Failure monitors, safety channels, redundancy, voting, and input and output restrictions are methods used to continuously validate the systems after deployment. Conclusions: Our results clarify existing strategies applied to validation. They form a basis for the synthesization, assessment, and refinement of AI system validation in research and guidelines for validating individual systems in practice. While various validation strategies have all been relatively widely applied, only few studies report on continuous validation. Keywords: artificial intelligence, machine learning, validation, testing, V&V, systematic literature review.


title: Non-trivial Lyapunov spectrum from fractal quantum cellular automata

abstract: A generalized set of Clifford cellular automata, which includes all Clifford cellular automata, result from the quantization of a lattice system where on each site of the lattice one has a $2k$-dimensional torus phase space. The dynamics is a linear map in the torus variables and it is also local: the evolution depends only on variables in some region around the original lattice site. Moreover it preserves the symplectic structure. These are classified by $2k\times 2k$ matrices with entries in Laurent polynomials with integer coefficients in a set of additional formal variables. These can lead to fractal behavior in the evolution of the generators of the quantum algebra. Fractal behavior leads to non-trivial Lyapunov exponents of the original linear dynamical system. The proof uses Fourier analysis on the characteristic polynomial of these matrices.

categories: cond-mat.stat-mech hep-th nlin.CG quant-ph


title: Accelerating Video Object Segmentation with Compressed Video

abstract: We propose an efficient plug-and-play acceleration framework for semi-supervised video object segmentation by exploiting the temporal redundancies in videos presented by the compressed bitstream. Specifically, we propose a motion vector-based warping method for propagating segmentation masks from keyframes to other frames in a bi-directional and multi-hop manner. Additionally, we introduce a residual-based correction module that can fix wrongly propagated segmentation masks from noisy or erroneous motion vectors. Our approach is flexible and can be added on top of several existing video object segmentation algorithms. We achieved highly competitive results on DAVIS17 and YouTube-VOS on various base models with substantial speed-ups of up to 3.5X with minor drops in accuracy.


title: An Efficient Internet Traffic Classification System Using Deep Learning for IoT

abstract: Internet of Things (IoT) defines a network of devices connected to the internet and sharing a massive amount of data between each other and a central location. These IoT devices are connected to a network therefore prone to attacks. Various management tasks and network operations such as security, intrusion detection, Quality-of-Service provisioning, performance monitoring, resource provisioning, and traffic engineering require traffic classification. Due to the ineffectiveness of traditional classification schemes, such as port-based and payload-based methods, researchers proposed machine learning-based traffic classification systems based on shallow neural networks. Furthermore, machine learning-based models incline to misclassify internet traffic due to improper feature selection. In this research, an efficient multilayer deep learning based classification system is presented to overcome these challenges that can classify internet traffic. To examine the performance of the proposed technique, Moore-dataset is used for training the classifier. The proposed scheme takes the pre-processed data and extracts the flow features using a deep neural network (DNN). In particular, the maximum entropy classifier is used to classify the internet traffic. The experimental results show that the proposed hybrid deep learning algorithm is effective and achieved high accuracy for internet traffic classification, i.e., 99.23%. Furthermore, the proposed algorithm achieved the highest accuracy compared to the support vector machine (SVM) based classification technique and k-nearest neighbours (KNNs) based classification technique.


title: Symbiotic solitons in a quasi-one- and quasi-two-dimensional spin-1 condensates

abstract: We study the formation of spin-1 symbiotic spinor solitons in a quasi-one- (quasi-1D) and quasi-two-dimensional (quasi-2D) hyper-fine spin $F=1$ ferromagnetic Bose-Einstein condensate (BEC). The symbiotic solitons necessarily have a repulsive intraspecies interaction and are bound due to an attractive interspecies interaction. Due to a collapse instability in higher dimensions, an additional spin-orbit coupling is necessary to stabilize a quasi-2D symbiotic spinor soliton. Although a quasi-1D symbiotic soliton has a simple Gaussian-type density distribution, novel spatial periodic structure in density is found in quasi-2D symbiotic SO-coupled spinor solitons. For a weak SO coupling, the quasi-2D solitons are of the $(-1, 0, +1)$ or $(+1, 0, -1)$ type with intrinsic vorticity and multi-ring structure, for Rashba or Dresselhaus SO coupling, respectively, where the numbers in the parentheses are angular momenta projections in spin components $F_z = +1, 0, -1$, respectively. For a strong SO coupling, stripe and superlattice solitons, respectively, with a stripe and square-lattice modulation in density, are found in addition to the multi-ring solitons. The stationary states were obtained by imaginary-time propagation of a mean-field model; dynamical stability of the solitons was established by real-time propagation over a long period of time. The possibility of the creation of such a soliton by removing the trap of a confined spin-1 BEC in a laboratory is also demonstrated.


title: Exponential stability of linear systems under a class of Desch-Schappacher perturbations

abstract: In this paper we investigate the uniform exponential stability of the system $\frac{dx(t)}{dt}=Ax(t)-\rho Bx(t), \; (\rho >0), $ where the unbounded operator $A$ is the infinitesimal generator of a linear $C_0-$semigroup of contractions $S(t)$ in a Hilbert space $X$ and $B$ is a Desch-Schappacher operator. Then we give sufficient conditions for exponential stability of the above system. The obtained stability result is then applied to show the uniform exponential stabilization of bilinear partial differential equations.


title: Non-commutative resolutions for the discriminant of the complex reflection group $G(m,p,2)$

abstract: We show that for the family of complex reflection groups $G=G(m,p,2)$ appearing in the Shephard--Todd classification, the endomorphism ring of the reduced hyperplane arrangement $A(G)$ is a non-commutative resolution for the coordinate ring of the discriminant $\Delta$ of $G$. This furthers the work of Buchweitz, Faber and Ingalls who showed that this result holds for any true reflection group. In particular, we construct a matrix factorization for $\Delta$ from $A(G)$ and decompose it using data from the irreducible representations of $G$. For $G(m,p,2)$ we give a full decomposition of this matrix factorization, including for each irreducible representation a corresponding a maximal Cohen--Macaulay module. The decomposition concludes that the endomorphism ring of the reduced hyperplane arrangement $A(G)$ will be a non-commutative resolution.


title: Coexistence of isospin I = 0 and I = 1 pairings in asymmetric nuclear matter

abstract: The coexistence of neutron-neutron (n-n), proton-proton (p-p), and neutron-proton (n-p) pairings is investigated by adopting an effective density-dependent contact pairing potential. These three types of pairings can coexist only if the n-p pairing is stronger than the n-n and p-p pairings for isospin asymmetric nuclear matter. In addition, the existence of n-n and p-p pairs might enhance n-p pairings in asymmetric nuclear matter when the n-p pairing strength is significantly stronger than the n-n and p-p ones. Conversely, the n-p pairing is reduced by the n-n and p-p pairs when the n-p pairing interaction approaches n-n and p-p pairings.


title: Computational graphs for matrix functions

abstract: Many numerical methods for evaluating matrix functions can be naturally viewed as computational graphs. Rephrasing these methods as directed acyclic graphs (DAGs) is a particularly effective approach to study existing techniques, improve them, and eventually derive new ones. The accuracy of these matrix techniques can be characterized by the accuracy of their scalar counterparts, thus designing algorithms for matrix functions can be regarded as a scalar-valued optimization problem. The derivatives needed during the optimization can be calculated automatically by exploiting the structure of the DAG, in a fashion analogous to backpropagation. This paper describes GraphMatFun.jl, a Julia package that offers the means to generate and manipulate computational graphs, optimize their coefficients, and generate Julia, MATLAB, and C code to evaluate them efficiently at a matrix argument. The software also provides tools to estimate the accuracy of a graph-based algorithm and thus obtain numerically reliable methods. For the exponential, for example, using a particular form (degree-optimal) of polynomials produces implementations that in many cases are cheaper, in terms of computational cost, than the Pad\'e-based techniques typically used in mathematical software. The optimized graphs and the corresponding generated code are available online.


title: Anisotropy of localized states in an anisotropic disordered medium

abstract: We study Anderson localization of a scalar wave in an ensemble of resonant point scatterers embedded in an anisotropic background medium. For uniaxial anisotropy of moderate strength, the mobility edges and the critical exponent of the localization transition are found to be unaffected by the anisotropy provided that the determinant of the anisotropy tensor is kept equal to one upon introducing the anisotropy. Localized modes have anisotropic spatial shapes although their anisotropy is weaker than the one expected from purely geometric considerations. The modes with the longest lifetimes are found to be the most anisotropic and their anisotropy increases with the size of the disordered medium.


title: Entanglement entropy of inhomogeneous XX spin chains with algebraic interactions

abstract: We introduce a family of inhomogeneous XX spin chains whose squared couplings are a polynomial of degree at most four in the site index. We show how to obtain an asymptotic approximation for the R\'enyi entanglement entropy of all such chains in a constant magnetic field at half filling by exploiting their connection with the conformal field theory of a massless Dirac fermion in a suitably curved static background. We study the above approximation for three particular chains in the family, two of them related to well-known quasi-exactly solvable quantum models on the line and the third one to classical Krawtchouk polynomials, finding an excellent agreement with the exact value obtained numerically when the R\'enyi parameter $\alpha$ is less than one. When $\alpha\ge1$ we find parity oscillations, as expected from the homogeneous case, and show that they are very accurately reproduced by a modification of the Fagotti-Calabrese formula. We have also analyzed the asymptotic behavior of the R\'enyi entanglement entropy in the non-standard situation of arbitrary filling and/or inhomogeneous magnetic field. Our numerical results show that in this case a block of spins at each end of the chain becomes disentangled from the rest. Moreover, the asymptotic approximation for the case of half filling and constant magnetic field, when suitably rescaled to the region of non-vanishing entropy, provides a rough approximation to the entanglement entropy also in this general case.


title: AdS (super)projectors in three dimensions and partial masslessness

abstract: We derive the transverse projection operators for fields with arbitrary integer and half-integer spin on three-dimensional anti-de Sitter space, AdS$_3$. The projectors are constructed in terms of the quadratic Casimir operators of the isometry group $\mathsf{SO}(2,2)$ of AdS$_3$. Their poles are demonstrated to correspond to (partially) massless fields. As an application, we make use of the projectors to recast the conformal and topologically massive higher-spin actions in AdS$_3$ into a manifestly gauge-invariant and factorised form. We also propose operators which isolate the component of a field that is transverse and carries a definite helicity. Such fields correspond to an irreducible representation of $\mathsf{SO}(2,2)$. Our results are then extended to the case of $\mathcal{N}=1$ AdS$_3$ supersymmetry.