title: Efficient $\ell^0$ gradient-based Super Resolution for simplified image segmentation

abstract: We consider a variational model for single-image super-resolution based on the assumption that the gradient of the target image is sparse. We enforce this assumption by considering both an isotropic and an anisotropic $\ell^0$ regularisation on the image gradient combined with a quadratic data fidelity, similarly as studied in [1] for general signal recovery problems. For the numerical realisation of the model, we propose a novel efficient ADMM splitting algorithm whose substeps solutions are computed efficiently by means of hard-thresholding and standard conjugate-gradient solvers. We test our model on highly-degraded synthetic and real-world data and quantitatively compare our results with several variational approaches as well as with state-of-the-art deep-learning techniques. Our experiments show that $\ell^0$ gradient-regularised super-resolved images can be effectively used to improve the accuracy of standard segmentation algorithms when applied to QR and cell detection, and landcover classification problems, in comparison to the results achieved by other approaches.


title: Topological dynamics beyond Polish groups

abstract: When $G$ is a Polish group, metrizability of the universal minimal flow has been shown to be a robust dividing line in the complexity of the topological dynamics of $G$. We introduce a class of groups, the CAP groups, which provides a neat generalization of this dividing line to all topological groups. We prove a number of characterizations of this class, having very different flavors, and use these to prove that the class of CAP groups enjoys a number of nice closure properties. As a concrete application, we compute the universal minimal flow of the homeomorphism groups of several scattered topological spaces, building on recent work of Gheysens.


title: Analytic Modelling of a Planar Goubau Line with Circular Conductor

abstract: This paper analyses the surface wave mode propagating along a simplified planar Goubau line consisting of a perfectly conducting circular wire on top of a dielectric substrate of finite thickness but infinite width. An approximate equation for the propagation constant is derived and solved through numerical integration. The dependence of the propagation constant on various system parameters is calculated and the results agree well with full numerical simulations. In addition, the spatial distribution of the longitudinal electric field is reported and excellent agreement with the numerical simulation and previous studies is found. Moreover, validation against experimental phase velocity measurements is also reported. Finally, insights gained from the model are considered for a Goubau line with a rectangular conductor. These results present the first step towards an analytic model of the planar Goubau line.


title: Cross-Domain Identification for Thermal-to-Visible Face Recognition

abstract: Recent advances in domain adaptation, especially those applied to heterogeneous facial recognition, typically rely upon restrictive Euclidean loss functions (e.g., $L_2$ norm) which perform best when images from two different domains (e.g., visible and thermal) are co-registered and temporally synchronized. This paper proposes a novel domain adaptation framework that combines a new feature mapping sub-network with existing deep feature models, which are based on modified network architectures (e.g., VGG16 or Resnet50). This framework is optimized by introducing new cross-domain identity and domain invariance loss functions for thermal-to-visible face recognition, which alleviates the requirement for precisely co-registered and synchronized imagery. We provide extensive analysis of both features and loss functions used, and compare the proposed domain adaptation framework with state-of-the-art feature based domain adaptation models on a difficult dataset containing facial imagery collected at varying ranges, poses, and expressions. Moreover, we analyze the viability of the proposed framework for more challenging tasks, such as non-frontal thermal-to-visible face recognition.


title: Human Body Model Fitting by Learned Gradient Descent

abstract: We propose a novel algorithm for the fitting of 3D human shape to images. Combining the accuracy and refinement capabilities of iterative gradient-based optimization techniques with the robustness of deep neural networks, we propose a gradient descent algorithm that leverages a neural network to predict the parameter update rule for each iteration. This per-parameter and state-aware update guides the optimizer towards a good solution in very few steps, converging in typically few steps. During training our approach only requires MoCap data of human poses, parametrized via SMPL. From this data the network learns a subspace of valid poses and shapes in which optimization is performed much more efficiently. The approach does not require any hard to acquire image-to-3D correspondences. At test time we only optimize the 2D joint re-projection error without the need for any further priors or regularization terms. We show empirically that this algorithm is fast (avg. 120ms convergence), robust to initialization and dataset, and achieves state-of-the-art results on public evaluation datasets including the challenging 3DPW in-the-wild benchmark (improvement over SMPLify 45%) and also approaches using image-to-3D correspondences


title: Characterising the optical response of ultra-low-noise far-infrared 60-110 $\mu$m transition edge sensors

abstract: Far-infrared Transition Edge Sensors (TESs) are being developed for the SAFARI grating spectrometer on the cooled-aperture space telescope SPICA. In support of this work, we have devised a cryogenic (90 mK) test facility for carrying out precision optical measurements on ultra-low-noise TESs. Although our facility is suitable for the whole of the SAFARI wavelength range, 34-230 $\mu$m, we focus on a representative set of measurements at 60-110 $\mu$m using a device having a Noise Equivalent Power (NEP) of 0.32 $\mathrm{aW/\sqrt{Hz}}$. The system is able to perform a range of measurements: (i) Dark electrical characterisation. (ii) Optical efficiency with respect to a partially coherent beam having a modal composition identical to that of an ideal imaging telescope. (iii) Optical saturation and dynamic range. (iv) Fast optical transient response to a modulated thermal source. (v) Optical transient response in the presence of high-level background loading. We describe dark measurements to determine the operating characteristics of a TES, and then compare predicted optical behaviour with measured optical behaviour. By comparing electrical and optical transient response, we were able to observe thermalisation in the device. We comment on the challenge of eliminating stray light.


title: NASCaps: A Framework for Neural Architecture Search to Optimize the Accuracy and Hardware Efficiency of Convolutional Capsule Networks

abstract: Deep Neural Networks (DNNs) have made significant improvements to reach the desired accuracy to be employed in a wide variety of Machine Learning (ML) applications. Recently the Google Brain's team demonstrated the ability of Capsule Networks (CapsNets) to encode and learn spatial correlations between different input features, thereby obtaining superior learning capabilities compared to traditional (i.e., non-capsule based) DNNs. However, designing CapsNets using conventional methods is a tedious job and incurs significant training effort. Recent studies have shown that powerful methods to automatically select the best/optimal DNN model configuration for a given set of applications and a training dataset are based on the Neural Architecture Search (NAS) algorithms. Moreover, due to their extreme computational and memory requirements, DNNs are employed using the specialized hardware accelerators in IoT-Edge/CPS devices. In this paper, we propose NASCaps, an automated framework for the hardware-aware NAS of different types of DNNs, covering both traditional convolutional DNNs and CapsNets. We study the efficacy of deploying a multi-objective Genetic Algorithm (e.g., based on the NSGA-II algorithm). The proposed framework can jointly optimize the network accuracy and the corresponding hardware efficiency, expressed in terms of energy, memory, and latency of a given hardware accelerator executing the DNN inference. Besides supporting the traditional DNN layers, our framework is the first to model and supports the specialized capsule layers and dynamic routing in the NAS-flow. We evaluate our framework on different datasets, generating different network configurations, and demonstrate the tradeoffs between the different output metrics. We will open-source the complete framework and configurations of the Pareto-optimal architectures at https://github.com/ehw-fit/nascaps.


title: On Quantum Obstruction Spaces and Higher Codimension Gauge Theories

abstract: Using the quantum construction of the BV-BFV method for perturbative gauge theories, we show that the obstruction for quantizing a codimension 1 theory is given by the second cohomology group with respect to the boundary BRST charge. Moreover, we give an idea for the algebraic construction of codimension $k$ quantizations in terms of $\mathbb{E}_k$-algebras and higher shifted Poisson structures by formulating a higher version of the quantum master equation.


title: Evaluating the Performance of NVIDIA's A100 Ampere GPU for Sparse Linear Algebra Computations

abstract: GPU accelerators have become an important backbone for scientific high performance computing, and the performance advances obtained from adopting new GPU hardware are significant. In this paper we take a first look at NVIDIA's newest server line GPU, the A100 architecture part of the Ampere generation. Specifically, we assess its performance for sparse linear algebra operations that form the backbone of many scientific applications and assess the performance improvements over its predecessor.


title: Simple Counting and Sampling Algorithms for Graphs with Bounded Pathwidth

abstract: In this paper, we consider the problem of counting and sampling structures in graphs. We define a class of "edge universal labeling problems"---which include proper $k$-colorings, independent sets, and downsets---and describe simple algorithms for counting and uniformly sampling valid labelings of graphs, assuming a path decomposition is given. Thus, we show that several well-studied counting and sampling problems are fixed parameter tractable (FPT) when parameterized by the pathwidth of the input graph. We discuss connections to counting and sampling problems for distributive lattices and, in particular, we give a new FPT algorithm for exactly counting and uniformly sampling stable matchings.


title: Stable Matchings with Restricted Preferences: Structure and Complexity

abstract: It is well known that every stable matching instance $I$ has a rotation poset $R(I)$ that can be computed efficiently and the downsets of $R(I)$ are in one-to-one correspondence with the stable matchings of $I$. Furthermore, for every poset $P$, an instance $I(P)$ can be constructed efficiently so that the rotation poset of $I(P)$ is isomorphic to $P$. In this case, we say that $I(P)$ realizes $P$. Many researchers exploit the rotation poset of an instance to develop fast algorithms or to establish the hardness of stable matching problems. In order to gain a parameterized understanding of the complexity of sampling stable matchings, Bhatnagar et al. [SODA 2008] introduced stable matching instances whose preference lists are restricted but nevertheless model situations that arise in practice. In this paper, we study four such parameterized restrictions; our goal is to characterize the rotation posets that arise from these models: $k$-bounded, $k$-attribute, $(k_1, k_2)$-list, $k$-range. We prove that there is a constant $k$ so that every rotation poset is realized by some instance in the first three models for some fixed constant $k$. We describe efficient algorithms for constructing such instances given the Hasse diagram of a poset. As a consequence, the fundamental problem of counting stable matchings remains $\#$BIS-complete even for these restricted instances. For $k$-range preferences, we show that a poset $P$ is realizable if and only if the Hasse diagram of $P$ has pathwidth bounded by functions of $k$. Using this characterization, we show that the following problems are fixed parameter tractable when parametrized by the range of the instance: exactly counting and uniformly sampling stable matchings, finding median, sex-equal, and balanced stable matchings.


title: Bayesian Joint Synchronization and Localization Based on Asymmetric Time-stamp Exchange

abstract: In this work, we study the joint synchronization and localization (sync&loc) of Mobile Nodes (MNs) in ultra dense networks. In particular, we deploy an asymmetric timestamp exchange mechanism between MNs and Access Nodes (ANs), that, traditionally, provides us with information about the MNs' clock offset and skew. However, information about the distance between an AN and a MN is also intrinsic to the propagation delay experienced by exchanged time-stamps. In addition, we utilize Angle of Arrival (AoA) estimation to determine the incoming direction of time-stamp exchange packets, which gives further information about the MNs' location. Finally, we employ Bayesian Recursive Filtering (BRF) to combine the aforementioned pieces of information and jointly estimate the position and clock parameters of MNs. The simulation results indicate that the Root Mean Square Errors (RMSEs) of position and clock offset estimation are kept below 1 meter and 1 ns, respectively.


title: Data-Driven Solvers for Strongly Nonlinear Material Response

abstract: This work presents a data-driven magnetostatic finite-element solver that is specifically well-suited to cope with strongly nonlinear material responses. The data-driven computing framework is essentially a multiobjective optimization procedure matching the material operation points as closely as possible to given material data while obeying Maxwell's equations. Here, the framework is extended with heterogeneous (local) weighting factors - one per finite element - equilibrating the goal function locally according to the material behavior. This modification allows the data-driven solver to cope with unbalanced measurement data sets, i.e. data sets suffering from unbalanced space filling. This occurs particularly in the case of strongly nonlinear materials, which constitute problematic cases that hinder the efficiency and accuracy of standard data-driven solvers with a homogeneous (global) weighting factor. The local weighting factors are embedded in the distance-minimizing data-driven algorithm used for noiseless data, likewise for the maximum entropy data-driven algorithm used for noisy data. Numerical experiments based on a quadrupole magnet model with a soft magnetic material show that the proposed modification results in major improvements in terms of solution accuracy and solver efficiency. For the case of noiseless data, local weighting factors improve the convergence of the data-driven solver by orders of magnitude. When noisy data are considered, the convergence rate of the data-driven solver is doubled.


title: A Neural Network Inspired Formulation of Chemical Kinetics

abstract: A method which casts the chemical source term computation into an artificial neural network (ANN)-inspired form is presented. This approach is well-suited for use on emerging supercomputing platforms that rely on graphical processing units (GPUs). The resulting equations allow for a GPU-friendly matrix-multiplication based source term estimation where the leading dimension (batch size) can be interpreted as the number of chemically reacting cells in the domain; as such, the approach can be readily adapted in high-fidelity solvers for which an MPI rank offloads the source term computation task for a given number of cells to the GPU. Though the exact ANN-inspired recasting shown here is optimal for GPU environments as-is, this interpretation allows the user to replace portions of the exact routine with trained, so-called approximate ANNs, where the goal of these approximate ANNs is to increase computational efficiency over the exact routine counterparts. Note that the main objective of this paper is not to use machine learning for developing models, but rather to represent chemical kinetics using the ANN framework. The end result is that little-to-no training is needed, and the GPU-friendly structure of the ANN formulation during the source term computation is preserved. The method is demonstrated using chemical mechanisms of varying complexity on both 0-D auto-ignition and 1-D channel detonation problems, and the details of performance on GPUs are explored.


title: Lorentz and CPT tests with charge-to-mass ratio comparisons in Penning traps

abstract: Applications of the general theory of quantum electrodynamics with Lorentz- and CPT-violating operators of mass dimensions up to six are presented to Penning-trap experiments comparing charge-to-mass ratios between particles and antiparticles. Perturbation theory is used to derive Lorentz- and CPT-violating contributions to the energy levels and cyclotron frequencies of confined particles and antiparticles. We show that whether the experimental {\it interpreted} quantity $(|q|/m)_{\overline{w}}/(|q|/m)_{w} - 1$ is a clean measure of a CPT test depends on the context of the relevant theory. Existing experimental results of charge-to-mass ratio comparisons are used to obtain first-time constraints on 69 coefficients for Lorentz and CPT violation.


title: Ponderomotive Injection in Plasma Wakefield Accelerators

abstract: A new electron injection scheme is proposed in sub-relativistic plasma wakefield accelerators. A transverse laser ionizes a dopant gas and ponderomotively accelerates the released electrons in the direction of wake propagation. This process enables electron trapping in the wakefield even for a wakefield potential below the trapping threshold. We study the scheme theoretically and by means of particle-in-cell simulations to demonstrate high-quality beam formation and acceleration with sub-micrometer normalized emittances and sub-percent uncorrelated energy spreads.


title: Cannibalism hinders growth: Cannibal Dark Matter and the $S_8$ tension

abstract: Many models of dark matter have been proposed in attempt to ease the $S_8$ tension between weak lensing and CMB experiments. One such exciting possibility is cannibalistic dark matter (CanDM), which has exothermal number-changing interactions allowing it to stay warm far into its non-relativistic regime. Here we investigate the cosmological implications of CanDM and how it impacts CMB anisotropies and the matter power spectrum, by implementing the model within a linear Einstein-Boltzmann solver. We show that CanDM suppresses the small scale matter power spectrum in a way very similar to light Warm Dark Matter or Hot Dark Matter. However, unlike in those models, the suppression may happen while the CanDM model still remains compatible with CMB constraints. We put strong constraints on the interaction strength of CanDM as a function of its abundance for both constant and temperature-dependent thermally-averaged cross sections. We find that the CanDM model can easily solve the $S_8$ tension (but has no impact on the Hubble tension). Indeed, it can accommodate values of $S_8$ of the order of 0.76 while being compatible with CMB+BAO data. However, as long as the $S_8$ tension remains moderate, the overall $\chi^2$ improvement is relatively small given the number of extra free parameters, and the CanDM model is not significantly preferred.


title: MgII Absorbers in High Resolution Quasar Spectra. I. Voigt Profile Models

abstract: We present the Voigt profile (VP) models, column densities, Doppler b parameters, kinematics, and distribution of components for 422 MgII absorbers found in a survey of 249 HIRES and UVES quasar spectra. The equivalent width range of the sample is 0.006 < W_r(2796) < 6.23 angstroms (A) and the redshift range is 0.19 < z < 2.55, with a mean of <z> = 1.18. Based on historical precedent, we classified 180 absorbers as weak systems (W_r(2796) < 0.3 A) and 242 as strong systems (W_r(2796) >= 0.3 A). Assuming a minimum number of significant components per system, the VP fitting, yielded a total of 2,989 components, with an average of 2.7 and 10.3 components found for the weak and strong MgII subsamples, respectively. The VP component line density for the full sample is 8.62 +/- 0.23 clouds/A. The distribution of VP component column density over the range 12.4 < log[N(MgII)] < 17.0 [ions cm^-2] is well modeled with a power-law slope of -1.45 +/- 0.01. The median Doppler b parameters are 4.5 +/- 3.5 km/s, 6.0 +/- 4.5 km/s and 5.7 +/- 4.4 km/s for the weak, strong, and full samples. We modeled the probability of component velocity splitting (the two-point velocity correlation function, TPCF) of our full sample using a three-component composite Gaussian function. Our resulting velocity dispersions are 25.4, 68.7, and 207.1 km/s, respectively. These data provide an excellent database for studying the cosmic evolution of MgII absorber kinematic evolution.


title: On Multifractal Spectra and Renyi Dimensions in 14.5A GeV/c $^{28}$Si-nucleus Collisions

abstract: A systematic analysis of the data on 14.5A GeV/c $^{28}$Si-nucleus collisions is carried out to investigate the behaviours of Renyi dimensions, Dq and Multifractal Spectral Function, $f(\alpha_q)$. The Renyi dimensions, $D_q$, are observed to decrease with increasing order of the moments, $q$. However, the Multifractal Spectra are concave downwards with their maxima occurring around $\alpha_q = 1.21 \pm 0.01$. A continuous curve representing Multifractal Spectral Function, $f(\alpha_q)$, characterizes manifestation of fluctuations in the rapidity space.


title: Mathematics of magic angles in a model of twisted bilayer graphene

abstract: We provide a mathematical account of the recent Physical Reviews Letter by Tarnopolsky--Kruchkov--Vishwanath. The new contributions are a spectral characterization of magic angles, its accurate numerical implementation and an exponential estimate on the squeezing of all bands as the angle decreases. Pseudospectral phenomena due to the non-hermitian nature of operators appearing in the model play a crucial role in our analysis.

categories: math-ph cond-mat.mtrl-sci cond-mat.supr-con math.MP math.SP quant-ph


title: Modification of the composition and density of Mercury from late accretion

abstract: Late accretion is a process that strongly modulated surface geomorphic and geochemical features of Mercury. Yet, the fate of the impactors and their effects on Mercury's surface through the bombardment epoch are not clear. Using Monte-Carlo and analytical approaches of cratering impacts, we investigate the physical and thermodynamical outcomes of late accretion on Mercury. Considering the uncertainties in late accretion, we develop scaling laws for the following parameters as a function of impact velocity and total mass of late accretion: (1) depth of crustal erosion, (2) the degree of resurfacing, and (3) mass accreted from impactor material. Existing dynamical models indicate that Mercury experienced an intense impact bombardment (a total mass of $\sim 8 \times 10^{18} - 8 \times 10^{20}$ kg with a typical impact velocity of $30-40$ km s$^{-1}$) after $4.5$ Ga. With this, we find that late accretion could remove 50 m to 10 km of the early crust of Mercury, but the change to its core-to-mantle ratio is negligible. Alternatively, the mantles of putative differentiated planetesimals in the early solar system could be more easily removed and their respective core fraction increased, if Mercury ultimately accreted from such objects. Although the cratering is notable for erasing the older geological surface records on Mercury, we show that $\sim 40-50$ wt% of the impactor's exogenic materials, including the volatile-bearing materials, can be heterogeneously implanted on Mercury's surface as a late veneer ($>3\times 10^{18}-1.6 \times 10^{19}$ kg in total). About half of the accreted impactor's materials are vaporized, and the rest is completely melted upon the impact. We expect that the further interplay between our theoretical results and forthcoming surface observations of Mercury, including the BepiColombo mission, will lead us to a better understanding of Mercury's origin and evolution.


title: Characterization of $M$-compact sets via statistically convergent sequences

abstract: In this paper, we study stability of $M$-compactness for $l^p$ sum of Banach spaces for $1\leq p<\infty$. We also obtain a characterization of $M$-compact sets in terms of statistically maximizing sequence, a notion which is weaker than a maximizing sequence. Moreover, we introduce the notion of $\mathcal{I}$-$M$-compactness of a bounded subset $M$ of a normed linear space $X$ with respect to an ideal $\mathcal{I}$ and show that it is equivalent to $M$-compactness for non-trivial admissible ideals.


title: Polymer coated cerium oxide nanoparticles as oxidoreductase-like catalysts

abstract: Cerium oxide nanoparticles have been shown to mimic oxidoreductase enzymes by catalyzing the decomposition of organic substrates and reactive oxygen species. This mimicry can be found in superoxide radicals and hydrogen peroxides, harmful molecules produced in oxidative stress asso-ciated diseases. Despite the fact that nanoparticle functionalization is mandatory in the context of nanomedicine, the influence of polymer coatings on their enzyme-like catalytic activity is poorly understood. In this work, six polymer coated cerium oxide nanoparticles are prepared by associa-tion of 7.8 nm cerium oxide cores with two poly(sodium acrylate) and four poly(ethylene glycol) (PEG) grafted copolymers with different terminal or anchoring end groups, such as phosphonic acids. The superoxide dismutase-, catalase-, peroxidase- and oxidase-like catalytic activities of the coated nanoparticles were systematically studied. It is shown that the polymer coatings do not af-fect the superoxide dismutase-like, impair the catalase-like and oxidase-like and surprisingly im-proves peroxidase-like catalytic activities of cerium oxide nanoparticles. It is also demonstrated that the particles coated with the PEG-grafted copolymers perform better than the poly(acrylic acid) coated ones as oxidoreductase-like enzymes, a result that confirms the benefit of having phosphon-ic acids as anchoring groups at the particle surface.


title: A Finite Volume Method for Continuum Limit Equations of Nonlocally Interacting Active Chiral Particles

abstract: The continuum description of active particle systems is an efficient instrument to analyze a finite size particle dynamics in the limit of a large number of particles. However, it is often the case that such equations appear as nonlinear integro-differential equations and purely analytical treatment becomes quite limited. We propose a general framework of finite volume methods (FVMs) to numerically solve partial differential equations (PDEs) of the continuum limit of nonlocally interacting chiral active particle systems confined to two dimensions. We demonstrate the performance of the method on spatially homogeneous problems, where the comparison to analytical results is available, and on general spatially inhomogeneous equations, where pattern formation is predicted by kinetic theory. We numerically investigate phase transitions of particular problems in both spatially homogeneous and inhomogeneous regimes and report the existence of different first and second order transitions.


title: Oblivious points on translation surfaces

abstract: An oblivious point on a translation surface is a point with no closed geodesic passing through it. Nguyen, Pan, and Su (2017) showed that there are at most finitely many oblivious points on any given translation surface and constructed a family of surfaces with exactly one oblivious point. We construct new families of translation surfaces with arbitrarily many oblivious points and prove that there is a translation surface in every genus $\ge3$ with an oblivious point.


title: Beyond special relativity and the notion of spacetime

abstract: In this Ph.D. thesis several topics in doubly special relativity are explored. The starting point of this theory is very different from other perspectives: it is not a fundamental theory, but it is considered a low energy limit of a quantum gravity theory that tries to study its possible residual elements. In particular, in doubly special relativity the Einstenian relativity principle is generalized, adding to the speed of light $c$ another relativistic invariant, the Planck length $l_p$. This idea can really have possible experimental observations, giving place to what is known as quantum gravity phenomenology. On the other hand, doubly special relativity implies the existence of deformed composition laws for energy and momentum, which leads to a spacetime with nonlocal ingredients, an element that also appears in other approaches of quantum gravity. In particular in this thesis we consider: the role that the changes of momentum variables play in a deformed relativistic kinematics; a novel connection between the $\kappa$-Poincar\'e model and a curved momentum space; a new spacetime, which turns out to be noncommutative, making the interactions local; the possible time delay in the flight of photons as a consequence of a deformed kinematics, depending on whether observables are defined on a commutative or on a noncommutative spacetime; some computations in quantum field theory with a simple ansatz for the modified Feynman rules corresponding to a particle process; the generalization of the geometrical approach for a curved spacetime.


title: Correcting Data Imbalance for Semi-Supervised Covid-19 Detection Using X-ray Chest Images

abstract: The Corona Virus (COVID-19) is an internationalpandemic that has quickly propagated throughout the world. The application of deep learning for image classification of chest X-ray images of Covid-19 patients, could become a novel pre-diagnostic detection methodology. However, deep learning architectures require large labelled datasets. This is often a limitation when the subject of research is relatively new as in the case of the virus outbreak, where dealing with small labelled datasets is a challenge. Moreover, in the context of a new highly infectious disease, the datasets are also highly imbalanced,with few observations from positive cases of the new disease. In this work we evaluate the performance of the semi-supervised deep learning architecture known as MixMatch using a very limited number of labelled observations and highly imbalanced labelled dataset. We propose a simple approach for correcting data imbalance, re-weight each observationin the loss function, giving a higher weight to the observationscorresponding to the under-represented class. For unlabelled observations, we propose the usage of the pseudo and augmentedlabels calculated by MixMatch to choose the appropriate weight. The MixMatch method combined with the proposed pseudo-label based balance correction improved classification accuracy by up to 10%, with respect to the non balanced MixMatch algorithm, with statistical significance. We tested our proposed approach with several available datasets using 10, 15 and 20 labelledobservations. Additionally, a new dataset is included among thetested datasets, composed of chest X-ray images of Costa Rican adult patients


title: On indefinite Kirchhoff-type equations under the combined effect of linear and superlinear terms

abstract: We investigate a class of Kirchhoff type equations involving a combination of linear and superlinear terms as follows: \begin{equation*} -\left( a\int_{\mathbb{R}^{N}}|\nabla u|^{2}dx+1\right) \Delta u+\mu V(x)u=\lambda f(x)u+g(x)|u|^{p-2}u\quad \text{ in }\mathbb{R}^{N}, \end{equation*}% where $N\geq 3,2<p<2^{\ast }:=\frac{2N}{N-2}$, $V\in C(\mathbb{R}^{N})$ is a potential well with the bottom $\Omega :=int\{x\in \mathbb{R}^{N}\ |\ V(x)=0\}$. When $N=3$ and $4<p<6$, for each $a>0$ and $\mu $ sufficiently large, we obtain that at least one positive solution exists for $% 0<\lambda\leq\lambda _{1}(f_{\Omega}) $ while at least two positive solutions exist for $\lambda _{1}(f_{\Omega })< \lambda<\lambda _{1}(f_{\Omega})+\delta_{a}$ without any assumption on the integral $% \int_{\Omega }g(x)\phi _{1}^{p}dx$, where $\lambda _{1}(f_{\Omega })>0$ is the principal eigenvalue of $-\Delta $ in $H_{0}^{1}(\Omega )$ with weight function $f_{\Omega }:=f|_{\Omega }$, and $\phi _{1}>0$ is the corresponding principal eigenfunction. When $N\geq 3$ and $2<p<\min \{4,2^{\ast }\}$, for $% \mu $ sufficiently large, we conclude that $(i)$ at least two positive solutions exist for $a>0$ small and $0<\lambda <\lambda _{1}(f_{\Omega })$; $% (ii)$ under the classical assumption $\int_{\Omega }g(x)\phi _{1}^{p}dx<0$, at least three positive solutions exist for $a>0$ small and $\lambda _{1}(f_{\Omega })\leq \lambda<\lambda _{1}(f_{\Omega})+\overline{\delta }% _{a} $; $(iii)$ under the assumption $\int_{\Omega }g(x)\phi _{1}^{p}dx>0$, at least two positive solutions exist for $a>a_{0}(p)$ and $\lambda^{+}_{a}< \lambda<\lambda _{1}(f_{\Omega})$ for some $a_{0}(p)>0$ and $\lambda^{+}_{a}\geq0$.


title: On the evolution of slow dispersal in multi-species communities

abstract: For any $N \geq 2$, we show that there are choices of diffusion rates $\{d_i\}_{i=1}^N$ such that for $N$ competing species which are ecologically identical and having distinct diffusion rates, the slowest disperser is able to competitive exclude the remainder of the species. In fact, the choices of such diffusion rates is open in the Hausdorff topology. Our result provides some evidence in the affirmative direction regarding the conjecture by Dockery et al. in 1998. The main tools include Morse decomposition of the semiflow, as well as the theory of normalized principal Floquet bundle for linear parabolic equations. A critical step in the proof is to establish the smooth dependence of the Floquet bundle on diffusion rate and other coefficients, which may be of independent interest.


title: Fractional hypergraph isomorphism and fractional invariants

abstract: Fractional graph isomorphism is the linear relaxation of an integer programming formulation of graph isomorphism. It preserves some invariants of graphs, like degree sequences and equitable partitions, but it does not preserve others like connectivity, clique and independence numbers, chromatic number, vertex and edge cover numbers, matching number, domination and total domination numbers. In this work, we extend the concept of fractional graph isomorphism to hypergraphs, and give an alternative characterization, analogous to one of those that are known for graphs. With this new concept we prove that the fractional packing, covering, matching and transversal numbers on hypergraphs are invariant under fractional hypergraph isomorphism. As a consequence, fractional matching, vertex and edge cover, independence, domination and total domination numbers are invariant under fractional graph isomorphism. This is not the case of fractional chromatic, clique, and clique cover numbers. In this way, most of the classical fractional parameters are classified with respect to their invariance under fractional graph isomorphism.


title: Scaling properties of jet-momentum profiles with multiplicity

abstract: We study the structure of jets in proton-proton collisions at LHC energies using \textsc{Pythia} 8 Monte Carlo simulations. We demonstrate that the radial jet profiles exhibit scaling properties with charged-hadron event multiplicity over a broad transverse-momentum range. We also provide parametrizations of the jet profiles based on different statistically-motivated analytical distributions. Based on this we propose that the scaling behavior stems from fundamental statistical properties of jet fragmentation.


title: Reinforcement Learning for Low-Thrust Trajectory Design of Interplanetary Missions

abstract: This paper investigates the use of Reinforcement Learning for the robust design of low-thrust interplanetary trajectories in presence of severe disturbances, modeled alternatively as Gaussian additive process noise, observation noise, control actuation errors on thrust magnitude and direction, and possibly multiple missed thrust events. The optimal control problem is recast as a time-discrete Markov Decision Process to comply with the standard formulation of reinforcement learning. An open-source implementation of the state-of-the-art algorithm Proximal Policy Optimization is adopted to carry out the training process of a deep neural network, used to map the spacecraft (observed) states to the optimal control policy. The resulting Guidance and Control Network provides both a robust nominal trajectory and the associated closed-loop guidance law. Numerical results are presented for a typical Earth-Mars mission. First, in order to validate the proposed approach, the solution found in a (deterministic) unperturbed scenario is compared with the optimal one provided by an indirect technique. Then, the robustness and optimality of the obtained closed-loop guidance laws is assessed by means of Monte Carlo campaigns performed in the considered uncertain scenarios. These preliminary results open up new horizons for the use of reinforcement learning in the robust design of interplanetary missions.


title: Learning Trailer Moments in Full-Length Movies

abstract: A movie's key moments stand out of the screenplay to grab an audience's attention and make movie browsing efficient. But a lack of annotations makes the existing approaches not applicable to movie key moment detection. To get rid of human annotations, we leverage the officially-released trailers as the weak supervision to learn a model that can detect the key moments from full-length movies. We introduce a novel ranking network that utilizes the Co-Attention between movies and trailers as guidance to generate the training pairs, where the moments highly corrected with trailers are expected to be scored higher than the uncorrelated moments. Additionally, we propose a Contrastive Attention module to enhance the feature representations such that the comparative contrast between features of the key and non-key moments are maximized. We construct the first movie-trailer dataset, and the proposed Co-Attention assisted ranking network shows superior performance even over the supervised approach. The effectiveness of our Contrastive Attention module is also demonstrated by the performance improvement over the state-of-the-art on the public benchmarks.


title: The Erd\H{o}s-Ko-Rado theorem for $2$-intersecting families of perfect matchings

abstract: A perfect matching in the complete graph on $2k$ vertices is a set of edges such that no two edges have a vertex in common and every vertex is covered exactly once. Two perfect matchings are said to be $t$-intersecting if they have at least $t$ edges in common. The main result in this paper is an extension of the famous Erd\H{o}s-Ko-Rado (EKR) theorem \cite{EKR} to 2-intersecting families of perfect matchings for all values of $k$. Specifically, for $k\geq 3$ a set of 2-intersecting perfect matchings in $K_{2k}$ of maximum size has $(2k-5)(2k-7)\cdots (1)$ perfect matchings.


title: Minimal volume entropy of free-by-cyclic groups and 2-dimensional right-angled Artin groups

abstract: Let $G$ be a free-by-cyclic group or a 2-dimensional right-angled Artin group. We provide an algebraic and a geometric characterization for when each aspherical simplicial complex with fundamental group isomorphic to $G$ has minimal volume entropy equal to 0. In the nonvanishing case, we provide a positive lower bound to the minimal volume entropy of an aspherical simplicial complex of minimal dimension for these two classes of groups. Our results rely upon a criterion for the vanishing of the minimal volume entropy for 2-dimensional groups with uniform uniform exponential growth. This criterion is shown by analyzing the fiber $\pi_1$-growth collapse and non-collapsing assumptions of Babenko-Sabourau.


title: Selective laser ablation of metal thin films using ultrashort pulses

abstract: Selective thin-film removal is needed in many microfabrication processes such as 3-D patterning of optoelectronic devices and localized repairing of integrated circuits. Various wet or dry etching methods are available, but laser machining is a tool of green manufacturing as it can remove thin films by ablation without use of toxic chemicals. However, laser ablation causes thermal damage on neighboring patterns and underneath substrates, hindering its extensive use with high precision and integrity. Here, using ultrashort laser pulses of sub-picosecond duration, we demonstrate an ultrafast mechanism of laser ablation that leads to selective removal of a thin metal film with minimal damage on the substrate. The ultrafast laser ablation is accomplished with the insertion of a transition metal interlayer that offers high electron-phonon coupling to trigger vaporization in a picosecond timescale. This contained form of heat transfer permits lifting off the metal thin-film layer while blocking heat conduction to the substrate. Our ultrafast scheme of selective thin film removal is analytically validated using a two-temperature model of heat transfer between electrons and phonons in material. Further, experimental verification is made using 0.2 ps laser pulses by micropatterning metal films for various applications.


title: Novel Results on the Number of Runs of the Burrows-Wheeler-Transform

abstract: The Burrows-Wheeler-Transform (BWT), a reversible string transformation, is one of the fundamental components of many current data structures in string processing. It is central in data compression, as well as in efficient query algorithms for sequence data, such as webpages, genomic and other biological sequences, or indeed any textual data. The BWT lends itself well to compression because its number of equal-letter-runs (usually referred to as $r$) is often considerably lower than that of the original string; in particular, it is well suited for strings with many repeated factors. In fact, much attention has been paid to the $r$ parameter as measure of repetitiveness, especially to evaluate the performance in terms of both space and time of compressed indexing data structures. In this paper, we investigate $\rho(v)$, the ratio of $r$ and of the number of runs of the BWT of the reverse of $v$. Kempa and Kociumaka [FOCS 2020] gave the first non-trivial upper bound as $\rho(v) = O(\log^2(n))$, for any string $v$ of length $n$. However, nothing is known about the tightness of this upper bound. We present infinite families of binary strings for which $\rho(v) = \Theta(\log n)$ holds, thus giving the first non-trivial lower bound on $\rho(n)$, the maximum over all strings of length $n$. Our results suggest that $r$ is not an ideal measure of the repetitiveness of the string, since the number of repeated factors is invariant between the string and its reverse. We believe that there is a more intricate relationship between the number of runs of the BWT and the string's combinatorial properties.


title: Identification of N\'eel vector orientation in antiferromagnetic domains switched by currents in NiO/Pt thin films

abstract: Understanding the electrical manipulation of antiferromagnetic order is a crucial aspect to enable the design of antiferromagnetic devices working at THz frequency. Focusing on collinear insulating antiferromagnetic NiO/Pt thin films as a materials platform, we identify the crystallographic orientation of the domains that can be switched by currents and quantify the N\'eel vector direction changes. We demonstrate electrical switching between different T-domains by current pulses, finding that the N\'eel vector orientation in these domains is along $[\pm5\ \pm5\ 19]$, different compared to the bulk $<11\bar{2}>$ directions. The final state of the N\'eel vector $\textbf{n}$ switching after current pulses $\textbf{j}$ along the $[1\ \pm1\ 0]$ directions is $\textbf{n}\parallel \textbf{j}$. By comparing the observed N\'eel vector orientation and the strain in the thin films, assuming that this variation arises solely from magnetoelastic effects, we quantify the order of magnitude of the magnetoelastic coupling coefficient as $b_{0}+2b_{1}=3*10^7 J\ m^{-3}$ . This information is key for the understanding of current-induced switching in antiferromagnets and for the design and use of such devices as active elements in spintronic devices.


title: Quality tetrahedral mesh generation with HXT

abstract: We proposed, in a recent paper (10.1002/nme.5987), a fast 3D parallel Delaunay kernel for tetrahedral mesh generation. This kernel was however incomplete in the sense that it lacked the necessary mesh improvement tools. The present paper builds on that previous work and proposes a fast parallel mesh improvement stage that delivers high-quality tetrahedral meshes compared to alternative open-source mesh generators. Our mesh improvement toolkit includes edge removal and improved Laplacian smoothing as well as a brand new operator called the Growing SPR Cavity, which can be regarded as the mother of all flips. The paper describes the workflow of the new mesh improvement schedule, as well as the details of the implementation. The result of this research is a series of open-source scalable software components, called HXT, whose overall efficiency is demonstrated on practical examples by means of a detailed comparative benchmark with two open-source mesh generators: Gmsh and TetGen.


title: FIRM: An Intelligent Fine-Grained Resource Management Framework for SLO-Oriented Microservices

abstract: Modern user-facing latency-sensitive web services include numerous distributed, intercommunicating microservices that promise to simplify software development and operation. However, multiplexing of compute resources across microservices is still challenging in production because contention for shared resources can cause latency spikes that violate the service-level objectives (SLOs) of user requests. This paper presents FIRM, an intelligent fine-grained resource management framework for predictable sharing of resources across microservices to drive up overall utilization. FIRM leverages online telemetry data and machine-learning methods to adaptively (a) detect/localize microservices that cause SLO violations, (b) identify low-level resources in contention, and (c) take actions to mitigate SLO violations via dynamic reprovisioning. Experiments across four microservice benchmarks demonstrate that FIRM reduces SLO violations by up to 16x while reducing the overall requested CPU limit by up to 62%. Moreover, FIRM improves performance predictability by reducing tail latencies by up to 11x.


title: Invariant states of hydrodynamic limits of randomized load balancing networks

abstract: Randomized load-balancing algorithms play an important role in improving performance in large-scale networks at relatively low computational cost. A common model of such a system is a network of $N$ parallel queues in which incoming jobs with independent and identically distributed service times are routed on arrival using the join-the-shortest-of-$d$-queues routing algorithm. Under fairly general conditions, it was shown by Aghajani and Ramanan that as $N\rightarrow\infty$, the state dynamics converges to the unique solution of a countable system of coupled deterministic measure-valued equations called the hydrodynamic equations. In this article, a characterization of invariant states of these hydrodynamic equations is obtained and, when $d=2$, used to construct a numerical algorithm to compute the queue length distribution and mean virtual waiting time in the invariant state. Additionally, it is also shown that under a suitable tail condition on the service distribution, the queue length distribution of the invariant state exhibits a doubly exponential tail decay, thus demonstrating a vast improvement in performance over the case $d=1$, which corresponds to random routing, when the tail decay could even be polynomial. Furthermore, numerical evidence is provided to support the conjecture that the invariant state is the limit of the steady-state distributions of the $N$-server models. The proof methodology, which entails analysis of a coupled system of measure-valued equations, can potentially be applied to other many-server systems with general service distributions, where measure-valued representations are useful.


title: Are temporary value-added tax reductions passed on to consumers? Evidence from Germany's stimulus

abstract: This paper provides the first estimates of the pass-through rate of the ongoing temporary value-added tax (VAT) reduction, which is part of the German fiscal response to COVID-19. Using a unique dataset containing the universe of price changes at fuel stations in Germany and France in June and July 2020, we employ a difference-in-differences strategy and find that pass-through is fast and substantial but remains incomplete for all fuel types. Furthermore, we find a high degree of heterogeneity between the pass-through estimates for different fuel types. Our results are consistent with the interpretation that pass-through rates are higher for customer groups who are more likely to exert competitive pressure by shopping for lower prices. Our results have important implications for the effectiveness of the stimulus measure and the cost-effective design of unconventional fiscal policy.


title: A pulsed ion microscope to probe quantum gases

abstract: The advent of the quantum gas microscope allowed for the in situ probing of ultracold gaseous matter on an unprecedented level of spatial resolution. The study of phenomena on ever smaller length scales as well as the probing of three-dimensional systems is, however, fundamentally limited by the wavelength of the imaging light, for all techniques based on linear optics. Here we report on a high-resolution ion microscope as a versatile and powerful experimental tool to investigate quantum gases. The instrument clearly resolves atoms in an optical lattice with a spacing of $532\,\text{nm}$ over a field of view of 50 sites and offers an extremely large depth of field on the order of at least $70\,\mu\text{m}$. With a simple model, we extract an upper limit for the achievable resolution of approximately $200\,\text{nm}$ from our data. We demonstrate a pulsed operation mode which in the future will enable 3D imaging and allow for the study of ionic impurities and Rydberg physics.


title: Covid-19 infodemic reveals new tipping point epidemiology and a revised $R$ formula

abstract: Many governments have managed to control their COVID-19 outbreak with a simple message: keep the effective '$R$ number' $R<1$ to prevent widespread contagion and flatten the curve. This raises the question whether a similar policy could control dangerous online 'infodemics' of information, misinformation and disinformation. Here we show, using multi-platform data from the COVID-19 infodemic, that its online spreading instead encompasses a different dynamical regime where communities and users within and across independent platforms, sporadically form temporary active links on similar timescales to the viral spreading. This allows material that might have died out, to evolve and even mutate. This has enabled niche networks that were already successfully spreading hate and anti-vaccination material, to rapidly become global super-spreaders of narratives featuring fake COVID-19 treatments, anti-Asian sentiment and conspiracy theories. We derive new tools that incorporate these coupled social-viral dynamics, including an online $R$, to help prevent infodemic spreading at all scales: from spreading across platforms (e.g. Facebook, 4Chan) to spreading within a given subpopulation, or community, or topic. By accounting for similar social and viral timescales, the same mathematical theory also offers a quantitative description of other unconventional infection profiles such as rumors spreading in financial markets and colds spreading in schools.


title: The Master Ward Identity for scalar QED

abstract: It is emphasized that for interactions with derivative couplings, the Ward Identity (WI) securing the preservation of a global U(1) symmetry should be modified. Scalar QED is taken as an explicit example. More precisely, it is rigorously shown in scalar QED that the naive WI and the improved Ward Identity ("Master Ward Identity", MWI) are related to each other by a finite renormalization of the time-ordered product ("T-product") for the derivative fields; and we point out that the MWI has advantages over the naive WI - in particular with regard to the proof of the MWI. We show that the MWI can be fulfilled in all orders of perturbation theory by an appropriate renormalization of the T-product, without conflict with other standard renormalization conditions. Relations with other recent formulations of the MWI are established.


title: Hybrid quantum-classical chaotic NEMS

abstract: We present an exactly solvable model of a hybrid quantum-classical system of a Nitrogen-Vacancy (NV) center spin (quantum spin) coupled to a nanocantilever (classical) and analyze the enforcement of the regular or chaotic classical dynamics onto the quantum spin dynamics. The main problem we focus in this paper is whether the classical dynamical chaos may induce chaotic effects in the quantum spin dynamics or not. We explore several characteristic criteria of the quantum chaos, such as quantum Poincar\'{e} recurrences, generation of coherence and energy level distribution and observe interesting chaotic effects in the spin dynamics. Dynamical chaos imposed in the cantilever dynamics through the kicking pulses induces the stochastic dynamics on the quantum subsystem. We consider a quantum system of two and three levels and show that in a two-level case, type of stochasticity is not conforming all the characteristic features of the quantum chaos and is distinct from it. We also explore the effect of quantum feedback on dynamics of the cantilever and the entire system.


title: Automated Machine Learning -- a brief review at the end of the early years

abstract: Automated machine learning (AutoML) is the sub-field of machine learning that aims at automating, to some extend, all stages of the design of a machine learning system. In the context of supervised learning, AutoML is concerned with feature extraction, pre processing, model design and post processing. Major contributions and achievements in AutoML have been taking place during the recent decade. We are therefore in perfect timing to look back and realize what we have learned. This chapter aims to summarize the main findings in the early years of AutoML. More specifically, in this chapter an introduction to AutoML for supervised learning is provided and an historical review of progress in this field is presented. Likewise, the main paradigms of AutoML are described and research opportunities are outlined.


title: Competing Persuaders in Zero-Sum Games

abstract: We study Bayesian Persuasion with multiple senders who have access to conditionally independent experiments (and possibly others). Senders have zero-sum preferences over information revealed. We characterize when any set of states can be pooled in equilibrium and when all equilibria are fully revealing. The state is fully revealed in every equilibrium if and only if sender utility functions are `globally nonlinear'. With two states, this is equivalent to some sender having nontrivial preferences. The upshot is that `most' zero-sum sender preferences result in full revelation. We explore what conditions are important for competition to result in such stark information revelation.


title: GOODS-ALMA: Optically dark ALMA galaxies shed light on a cluster in formation at z = 3.5

abstract: In this paper we study the properties of the six optically dark galaxies detected in the 69 arcmin^2 GOODS-ALMA 1.1mm continuum survey. While none of them are listed in the deepest H-band based CANDELS catalog in the GOODS-South field down to H=28.16AB, we were able to de-blend two of them from their bright neighbor and measure an $H$-band flux for them. We note that AGS4 and AGS15 have H=25.23, 27.11AB respectively. Their extreme proximity (0.50", 0.27") to a bright optical source and their extreme faintness prevented them from being included in the H-band catalog. We present the spectroscopic scan follow-up of five of the six sources with ALMA band 4. All are detected in the 2mm continuum with signal-to-noise ratios higher than eight. One emission line is detected in AGS4 (\nu_{obs} =151.44GHz with a S/N=8.58) and AGS17 (\nu_{obs} =154.78GHz with a S/N=10.23), which we interpret in both cases as being due to the CO(6-5) line at z^{AGS4}_{spec}=3.556 and z^{AGS4}_{spec}=3.467, respectively. These redshifts match both the probability distribution of the photometric redshifts derived from the UV to near-infrared spectral energy distributions (SEDs) and the far-infrared SEDs for typical dust temperatures of galaxies at these redshifts. We present evidence that nearly 70% (4/6 of galaxies) of the optically dark galaxies belong to the same overdensity of galaxies at z~3.5. overdensity The most massive one, AGS24 (M_{\star} = 10^{11.32^{+0.02}_{-0.19}} M_{\odot}), is the most massive galaxy without an active galactic nucleus (AGN) at $z$\,>\,3 in the GOODS-ALMA field. It falls in the very center of the peak of the galaxy surface density, which suggests that the surrounding overdensity is a proto-cluster in the process of virialization and that AGS24 is the candidate progenitor of the future brightest cluster galaxy (BCG).


title: Building Halo Merger Trees from the Q Continuum Simulation

abstract: Cosmological N-body simulations rank among the most computationally intensive efforts today. A key challenge is the analysis of structure, substructure, and the merger history for many billions of compact particle clusters, called halos. Effectively representing the merging history of halos is essential for many galaxy formation models used to generate synthetic sky catalogs, an important application of modern cosmological simulations. Generating realistic mock catalogs requires computing the halo formation history from simulations with large volumes and billions of halos over many time steps, taking hundreds of terabytes of analysis data. We present fast parallel algorithms for producing halo merger trees and tracking halo substructure from a single-level, density-based clustering algorithm. Merger trees are created from analyzing the halo-particle membership function in adjacent snapshots, and substructure is identified by tracking the "cores" of merging halos -- sets of particles near the halo center. Core tracking is performed after creating merger trees and uses the relationships found during tree construction to associate substructures with hosts. The algorithms are implemented with MPI and evaluated on a Cray XK7 supercomputer using up to 16,384 processes on data from HACC, a modern cosmological simulation framework. We present results for creating merger trees from 101 analysis snapshots taken from the Q Continuum, a large volume, high mass resolution, cosmological simulation evolving half a trillion particles.


title: Endoscopic decompositions and the Hausel-Thaddeus conjecture

abstract: We construct natural operators connecting the cohomology of the moduli spaces of stable Higgs bundles with different ranks and genera which, after numerical specialization, recover the topological mirror symmetry conjecture of Hausel-Thaddeus concerning $\mathrm{SL}_n$- and $\mathrm{PGL}_n$-Higgs bundles. This provides a complete description of the cohomology of the moduli space of stable $\mathrm{SL}_n$-Higgs bundles in terms of the tautological classes, and gives a new proof of the Hausel-Thaddeus conjecture, proven recently by Gr\"ochenig-Wyss-Ziegler via p-adic integration. Our method is to relate the decomposition theorem for the Hitchin fibration, using vanishing cycle functors, to the decomposition theorem for the twisted Hitchin fibration whose supports are simpler.


title: Thermodynamic uncertainty relation for energy transport in transient regime -- Model study

abstract: We investigate transient version of the recently discovered thermodynamic uncertainty relation (TUR) which provides a precision-cost trade-off relation for certain out-of-equilibrium thermodynamic observables in terms of net entropy production. We explore this relation in the context of energy transport in a bipartite setting for three exactly solvable toy model systems (two coupled harmonic oscillators, two coupled qubits and a hybrid coupled oscillator-qubit system) and analyze the role played by the underlying statistics of the transport carriers in TUR. Interestingly, for all these models, depending on the statistics, the TUR ratio can be expressed as a sum or a difference of an universal term which is always greater or equal to 2 and a corresponding entropy production term. We find that the generalized version of the TUR, originating from the universal fluctuation symmetry is always satisfied. However, interestingly, the specialized TUR, a tighter bound, is always satisfied for the coupled harmonic oscillator system obeying Bose-Einstein statistics. Whereas, for both the coupled qubit, obeying Fermi-like statistics and the hybrid qubit-oscillator system with mixed Fermi-Bose statistics, violation of tighter bound is observed in certain parameter regimes. We have provided conditions for such violations. We also provide a rigorous proof following the non-equilibrium Green's function approach that the tighter bound is always satisfied in the weak-coupling regime for generic bipartite systems.


title: Demand Forecasting using Long Short-Term Memory Neural Networks

abstract: In this paper we investigate to what extent long short-term memory neural networks (LSTMs) are suitable for demand forecasting in the e-grocery retail sector. For this purpose, univariate as well as multivariate LSTM-based models were developed and tested for 100 fast-moving consumer goods in the context of a master's thesis. On average, the developed models showed better results for food products than the comparative models from both statistical and machine learning families. Solely in the area of beverages random forest and linear regression achieved slightly better results. This outcome suggests that LSTMs can be used for demand forecasting at product level. The performance of the models presented here goes beyond the current state of research, as can be seen from the evaluations based on a data set that unfortunately has not been publicly available to date.


title: Scene Text Detection with Selected Anchor

abstract: Object proposal technique with dense anchoring scheme for scene text detection were applied frequently to achieve high recall. It results in the significant improvement in accuracy but waste of computational searching, regression and classification. In this paper, we propose an anchor selection-based region proposal network (AS-RPN) using effective selected anchors instead of dense anchors to extract text proposals. The center, scales, aspect ratios and orientations of anchors are learnable instead of fixing, which leads to high recall and greatly reduced numbers of anchors. By replacing the anchor-based RPN in Faster RCNN, the AS-RPN-based Faster RCNN can achieve comparable performance with previous state-of-the-art text detecting approaches on standard benchmarks, including COCO-Text, ICDAR2013, ICDAR2015 and MSRA-TD500 when using single-scale and single model (ResNet50) testing only.


title: Tractable Inference in Credal Sentential Decision Diagrams

abstract: Probabilistic sentential decision diagrams are logic circuits where the inputs of disjunctive gates are annotated by probability values. They allow for a compact representation of joint probability mass functions defined over sets of Boolean variables, that are also consistent with the logical constraints defined by the circuit. The probabilities in such a model are usually learned from a set of observations. This leads to overconfident and prior-dependent inferences when data are scarce, unreliable or conflicting. In this work, we develop the credal sentential decision diagrams, a generalisation of their probabilistic counterpart that allows for replacing the local probabilities with (so-called credal) sets of mass functions. These models induce a joint credal set over the set of Boolean variables, that sharply assigns probability zero to states inconsistent with the logical constraints. Three inference algorithms are derived for these models, these allow to compute: (i) the lower and upper probabilities of an observation for an arbitrary number of variables; (ii) the lower and upper conditional probabilities for the state of a single variable given an observation; (iii) whether or not all the probabilistic sentential decision diagrams compatible with the credal specification have the same most probable explanation of a given set of variables given an observation of the other variables. These inferences are tractable, as all the three algorithms, based on bottom-up traversal with local linear programming tasks on the disjunctive gates, can be solved in polynomial time with respect to the circuit size. For a first empirical validation, we consider a simple application based on noisy seven-segment display images. The credal models are observed to properly distinguish between easy and hard-to-detect instances and outperform other generative models not able to cope with logical constraints.


title: "Name that manufacturer". Relating image acquisition bias with task complexity when training deep learning models: experiments on head CT

abstract: As interest in applying machine learning techniques for medical images continues to grow at a rapid pace, models are starting to be developed and deployed for clinical applications. In the clinical AI model development lifecycle (described by Lu et al. [1]), a crucial phase for machine learning scientists and clinicians is the proper design and collection of the data cohort. The ability to recognize various forms of biases and distribution shifts in the dataset is critical at this step. While it remains difficult to account for all potential sources of bias, techniques can be developed to identify specific types of bias in order to mitigate their impact. In this work we analyze how the distribution of scanner manufacturers in a dataset can contribute to the overall bias of deep learning models. We evaluate convolutional neural networks (CNN) for both classification and segmentation tasks, specifically two state-of-the-art models: ResNet [2] for classification and U-Net [3] for segmentation. We demonstrate that CNNs can learn to distinguish the imaging scanner manufacturer and that this bias can substantially impact model performance for both classification and segmentation tasks. By creating an original synthesis dataset of brain data mimicking the presence of more or less subtle lesions we also show that this bias is related to the difficulty of the task. Recognition of such bias is critical to develop robust, generalizable models that will be crucial for clinical applications in real-world data distributions.


title: Blur-Attention: A boosting mechanism for non-uniform blurred image restoration

abstract: Dynamic scene deblurring is a challenging problem in computer vision. It is difficult to accurately estimate the spatially varying blur kernel by traditional methods. Data-driven-based methods usually employ kernel-free end-to-end mapping schemes, which are apt to overlook the kernel estimation. To address this issue, we propose a blur-attention module to dynamically capture the spatially varying features of non-uniform blurred images. The module consists of a DenseBlock unit and a spatial attention unit with multi-pooling feature fusion, which can effectively extract complex spatially varying blur features. We design a multi-level residual connection structure to connect multiple blur-attention modules to form a blur-attention network. By introducing the blur-attention network into a conditional generation adversarial framework, we propose an end-to-end blind motion deblurring method, namely Blur-Attention-GAN (BAG), for a single image. Our method can adaptively select the weights of the extracted features according to the spatially varying blur features, and dynamically restore the images. Experimental results show that the deblurring capability of our method achieved outstanding objective performance in terms of PSNR, SSIM, and subjective visual quality. Furthermore, by visualizing the features extracted by the blur-attention module, comprehensive discussions are provided on its effectiveness.


title: The GRAVITY young stellar object survey III. The dusty disk of RY Lup

abstract: We use PIONIER data from the ESO archive and GRAVITY data that were obtained in June 2017 with the four 8m telescopes. We use a parametric disk model and the 3D radiative transfer code MCFOST to reproduce the Spectral Energy Distribution and match the interferometric observations. To match the SED , our model requires a stellar luminosity of 2.5 Lsun, higher than any previously determined values. Such a high value is needed to accommodate the circumstellar extinction caused by the highly inclined disk, which has been neglected in previous studies. While using an effective temperature of 4800 K determined through high-resolution spectroscopy, we derive a stellar radius of 2.29 Rsun. These revised fundamental parameters, when combined with the mass estimates available , lead to an age of 0.5-2.0 Ma for RY Lup, in better agreement with the age of the Lupus association than previous determinations. Our disk model nicely reproduces the interferometric GRAVITY data and is in good agreement with the PIONIER ones. We derive an inner rim location at 0.12~au from the central star. This model corresponds to an inclination of the inner disk of 50deg, which is in mild tension with previous determinations of a more inclined outer disk from SPHERE (70 deg in NIR) and ALMA(67 $\pm$5 deg) images, but consistent with the inclination determination from the ALMA CO spectra (55$\pm$5deg). Increasing the inclination of the inner disk to 70 deg leads to a higher line-of-sight extinction and therefore requires a higher stellar luminosity of 4.65 Lsun to match the observed flux levels. This luminosity would translate to a stellar radius of 3.13~Rsun, leading to an age of 2-3~Ma, and a stellar mass of about 2 Msun, in disagreement with the observed dynamical mass estimate of 1.3-1.5 Msun. Critically, this high-inclination inner disk model also fails to reproduce the visibilities observed with GRAVITY.


title: Black Re-ID: A Head-shoulder Descriptor for the Challenging Problem of Person Re-Identification

abstract: Person re-identification (Re-ID) aims at retrieving an input person image from a set of images captured by multiple cameras. Although recent Re-ID methods have made great success, most of them extract features in terms of the attributes of clothing (e.g., color, texture). However, it is common for people to wear black clothes or be captured by surveillance systems in low light illumination, in which cases the attributes of the clothing are severely missing. We call this problem the Black Re-ID problem. To solve this problem, rather than relying on the clothing information, we propose to exploit head-shoulder features to assist person Re-ID. The head-shoulder adaptive attention network (HAA) is proposed to learn the head-shoulder feature and an innovative ensemble method is designed to enhance the generalization of our model. Given the input person image, the ensemble method would focus on the head-shoulder feature by assigning a larger weight if the individual insides the image is in black clothing. Due to the lack of a suitable benchmark dataset for studying the Black Re-ID problem, we also contribute the first Black-reID dataset, which contains 1274 identities in training set. Extensive evaluations on the Black-reID, Market1501 and DukeMTMC-reID datasets show that our model achieves the best result compared with the state-of-the-art Re-ID methods on both Black and conventional Re-ID problems. Furthermore, our method is also proved to be effective in dealing with person Re-ID in similar clothing. Our code and dataset are avaliable on https://github.com/xbq1994/.


title: Non-commutative Geometry Indomitable

abstract: This paper is a very brief and gentle introduction to non-commutative geometry geared primarily towards physicists and geometers. It starts with a brief historical description of the motivation for non-commutative geometry and then goes on to motivate the subject from the point of view of the the understanding of local symmetries affordee by the theory of groupoids. The paper ends with a very rapid survey of recent developments and applications such as non-commutative toric geometry, the standard model for particle physics and the study of the Riemann Hypothesis.


title: The Transpension Type: Technical Report

abstract: The purpose of these notes is to give a categorical semantics for the transpension type (Nuyts and Devriese, Transpension: The Right Adjoint to the Pi-type, Accepted at LMCS, 2024), which is right adjoint to a potentially substructural dependent function type. In section 2 we discuss some prerequisites. In section 3, we define multipliers and discuss their properties. In section 4, we study how multipliers lift from base categories to presheaf categories. In section 5, we explain how typical presheaf modalities can be used in the presence of the transpension type. In section 6, we study commutation properties of prior modalities, substitution modalities and multiplier modalities.


title: Neutron capture cross sections of radioactive nuclei

abstract: Alternative methods to calculate neutron capture cross sections on radioactive nuclei are reported using the theory of Inclusive Non-Elastic Breakup (INEB) developed by Hussein and McVoy [1]. The statistical coupled-channels theory proposed in Ref. [2] is further extended in the realm of random matrices. The case of reactions with the projectile and the target being two-cluster nuclei is also analyzed and applications are made for scattering from a deuteron target [3]. An extension of the theory to a three-cluster projectile incident on a two-cluster target is also discussed. The theoretical developments described here should open new possibilities to obtain information on the neutron capture cross sections of radioactive nuclei using indirect methods.


title: Prediction of low-Z collinear and noncollinear antiferromagnetic compounds having momentum-dependent spin splitting even without spin-orbit coupling

abstract: Recent study (Yuan et. al., Phys. Rev. B 102, 014422 (2020)) revealed a SOC-independent spin splitting and spin polarization effect induced by antiferromagnetic ordering which do not necessarily require breaking of inversion symmetry or the presence of SOC, hence can exist even in centrosymmetric, low-Z light element compounds, considerably broadening the material base for spin polarization. In the present work we develop the magnetic symmetry conditions enabling such effect, dividing the 1651 magnetic space groups into 7 different spin splitting prototypes (SST-1 to SST-7). We use the 'Inverse Design' approach of first formulating the target property (here, spin splitting in low-Z compounds not restricted to low symmetry structures), then derive the enabling physical design principles to search realizable compounds that satisfy these a priori design principles. This process uncovers 422 magnetic space groups (160 centrosymmetric and 262 non-centrosymmetric) that could hold AFM-induced, SOC-independent spin splitting and spin polarization. We then search for stable compounds following such enabling symmetries. We investigate the electronic and spin structures of some selected prototype compounds by density functional theory (DFT) and find spin textures that are different than the traditional Rashba-Dresselhaus patterns. We provide the DFT results for all antiferromagnetic spin splitting prototypes (SST-1 to SST-4) and concentrate on revealing of the AFM-induced spin splitting prototype (SST-4). The symmetry design principles along with their transformation into an Inverse Design material search approach and DFT verification could open the way to their experimental examination.M). The symmetry design principles along with their transformation into an Inverse Design material search approach and DFT verification could open the way to their experimental examination.


title: Transpension: The Right Adjoint to the Pi-type

abstract: Presheaf models of dependent type theory have been successfully applied to model HoTT, parametricity, and directed, guarded and nominal type theory. There has been considerable interest in internalizing aspects of these presheaf models, either to make the resulting language more expressive, or in order to carry out further reasoning internally, allowing greater abstraction and sometimes automated verification. While the constructions of presheaf models largely follow a common pattern, approaches towards internalization do not. Throughout the literature, various internal presheaf operators ($\surd$, $\Phi/\mathsf{extent}$, $\Psi/\mathsf{Gel}$, $\mathsf{Glue}$, $\mathsf{Weld}$, $\mathsf{mill}$, the strictness axiom and locally fresh names) can be found and little is known about their relative expressivenes. Moreover, some of these require that variables whose type is a shape (representable presheaf, e.g. an interval) be used affinely. We propose a novel type former, the transpension type, which is right adjoint to universal quantification over a shape. Its structure resembles a dependent version of the suspension type in HoTT. We give general typing rules and a presheaf semantics in terms of base category functors dubbed multipliers. Structural rules for shape variables and certain aspects of the transpension type depend on characteristics of the multiplier. We demonstrate how the transpension type and the strictness axiom can be combined to implement all and improve some of the aforementioned internalization operators (without formal claim in the case of locally fresh names).


title: Arbitrary amplitude nucleus-acoustic solitary waves in thermally degenerate plasma systems

abstract: A rigorous theoretical investigation is made of arbitrary amplitude nucleus acoustic solitary waves (SWs) in a fully ionized multi-nucleus plasma system (consisting of thermally degenerate electron species and non-degenerate warm light as well as heavy nucleus species). The pseudo-potential approach, which is valid for the arbitrary amplitude SWs, is employed. The subsonic and supersonic nucleus-acoustic SWs (which are found to be compressive) along with their basic features are identified. The basic properties of these subsonic and supersonic nucleus-acoustic SWs are found to be significantly modified by the effects of non and ultra-relativistically degenerate electron species, dynamics of heavy nucleus species, number densities as well as adiabatic temperatures of light and heavy nucleus species, etc. It shown that the presence of heavy nucleus species with non-degenerate (isothermal) electron species supports the existence of subsonic nucleus-acoustic SWs, and that the effects of electron degeneracies and light and heavy nucleus temperatures reduce the possibility for the formation of these subsonic nucleus-acoustic SWs. The amplitude of the supersonic nucleus-acoustic SWs in the situation of non-relativistically degenerate electron species is much smaller than that of ultra-relativistically degenerate electron species, but is much larger than that of isothermal electron species. The rise of adiabatic temperature of light or heavy nucleus species causes to decrease (increase) the amplitude (width) of the subsonic and supersonic nucleus acoustic SWs. On the other hand, the increase in the number density of light or heavy nucleus species causes to increase (decrease) the amplitude (width) of the subsonic and supersonic nucleus acoustic SWs. The results of this investigation are found to be applicable in laboratory, space, and astrophysical plasma systems.


title: STAR: Sparse Trained Articulated Human Body Regressor

abstract: The SMPL body model is widely used for the estimation, synthesis, and analysis of 3D human pose and shape. While popular, we show that SMPL has several limitations and introduce STAR, which is quantitatively and qualitatively superior to SMPL. First, SMPL has a huge number of parameters resulting from its use of global blend shapes. These dense pose-corrective offsets relate every vertex on the mesh to all the joints in the kinematic tree, capturing spurious long-range correlations. To address this, we define per-joint pose correctives and learn the subset of mesh vertices that are influenced by each joint movement. This sparse formulation results in more realistic deformations and significantly reduces the number of model parameters to 20% of SMPL. When trained on the same data as SMPL, STAR generalizes better despite having many fewer parameters. Second, SMPL factors pose-dependent deformations from body shape while, in reality, people with different shapes deform differently. Consequently, we learn shape-dependent pose-corrective blend shapes that depend on both body pose and BMI. Third, we show that the shape space of SMPL is not rich enough to capture the variation in the human population. We address this by training STAR with an additional 10,000 scans of male and female subjects, and show that this results in better model generalization. STAR is compact, generalizes better to new bodies and is a drop-in replacement for SMPL. STAR is publicly available for research purposes at http://star.is.tue.mpg.de.


title: A Unified Evaluation of Two-Candidate Ballot-Polling Election Auditing Methods

abstract: Counting votes is complex and error-prone. Several statistical methods have been developed to assess election accuracy by manually inspecting randomly selected physical ballots. Two 'principled' methods are risk-limiting audits (RLAs) and Bayesian audits (BAs). RLAs use frequentist statistical inference while BAs are based on Bayesian inference. Until recently, the two have been thought of as fundamentally different. We present results that unify and shed light upon 'ballot-polling' RLAs and BAs (which only require the ability to sample uniformly at random from all cast ballot cards) for two-candidate plurality contests, which are building blocks for auditing more complex social choice functions, including some preferential voting systems. We highlight the connections between the methods and explore their performance. First, building on a previous demonstration of the mathematical equivalence of classical and Bayesian approaches, we show that BAs, suitably calibrated, are risk-limiting. Second, we compare the efficiency of the methods across a wide range of contest sizes and margins, focusing on the distribution of sample sizes required to attain a given risk limit. Third, we outline several ways to improve performance and show how the mathematical equivalence explains the improvements.


title: Fluctuations of time averages around closed geodesics in non-positive curvature

abstract: We consider the geodesic flow for a rank one non-positive curvature closed manifold. We prove an asymptotic version of the Central Limit Theorem for families of measures constructed from regular closed geodesics converging to the Bowen-Margulis-Knieper measure of maximal entropy. The technique expands on ideas of Denker, Senti and Zhang, who proved this type of asymptotic Lindeberg Central Limit Theorem on periodic orbits for expansive maps with the specification property. We extend these techniques from the uniform to the non-uniform setting, and from discrete-time to continuous-time. We consider H\"older observables subject only to the Lindeberg condition and a weak positive variance condition. If we assume a natural strengthened positive variance condition, the Lindeberg condition is always satisfied. Our results extend to dynamical arrays of H\"older observables, and to weighted periodic orbit measures which converge to a unique equilibrium state.


title: Understanding the Frauchiger-Renner Argument

abstract: In 2018, Daniela Frauchiger and Renato Renner published an article in Nature Communications entitled `Quantum theory cannot consistently describe the use of itself.' I clarify the significance of the result and point out a common and persistent misunderstanding of the argument, which has been attacked as flawed from a variety of interpretational perspectives.


title: The fractal structure of elliptical polynomial spirals

abstract: We investigate fractal aspects of elliptical polynomial spirals; that is, planar spirals with differing polynomial rates of decay in the two axis directions. We give a full dimensional analysis of these spirals, computing explicitly their intermediate, box-counting and Assouad-type dimensions. An exciting feature is that these spirals exhibit two phase transitions within the Assouad spectrum, the first natural class of fractals known to have this property. We go on to use this dimensional information to obtain bounds for the H\"older regularity of maps that can deform one spiral into another, generalising the 'winding problem' of when spirals are bi-Lipschitz equivalent to a line segment. A novel feature is the use of fractional Brownian motion and dimension profiles to bound the H\"older exponents.


title: The Weyl law of transmission eigenvalues and the completeness of generalized transmission eigenfunctions

abstract: The transmission problem is a system of two second-order elliptic equations of two unknowns equipped with the Cauchy data on the boundary. After four decades of research motivated by scattering theory, the spectral properties of this problem are now known to depend on a type of contrast between coefficients near the boundary. Previously, we established the discreteness of eigenvalues for a large class of anisotropic coefficients which is related to the celebrated complementing conditions due to Agmon, Douglis, and Nirenberg. In this work, we establish the Weyl law for the eigenvalues and the completeness of the generalized eigenfunctions for this class of coefficients under an additional mild assumption on the continuity of the coefficients. The analysis is new and based on the $L^p$ regularity theory for the transmission problem established here. It also involves a subtle application of the spectral theory for the Hilbert Schmidt operators. Our work extends largely known results in the literature which are mainly devoted to the isotropic case with $C^\infty$-coefficients.


title: A characterization of always solvable trees in Lights Out game using the activation numbers of vertices

abstract: Lights out is a game that can be played on any simple graph $G$. A configuration assigns one of the two states \emph{on} or \emph{off} to each vertex. For a given configuration, the aim of the game is to turn all vertices \emph{off} by applying a push pattern on vertices, where each push switches the state of the vertex and its neighbors. If every configuration of vertices is solvable, then we say that the graph is always solvable. We introduce a concept which we call the activation numbers of vertices and we prove several characterization results of graphs by using this concept. We show that for every always solvable graph there exists a chain of always solvable subgraphs where each subgraph differs from the preceding one by a vertex. We also characterize always solvable trees by showing that all always solvable trees can be constructed from always solvable subtrees by some special types of connections. We call the dimension of the space of null-patterns, which leave configurations unchanged, the nullity of the graph $G$. We show that the nullity of a tree can be characterized by the cardinality of its minimal partition into always solvable subtrees.


title: Effects of Solar Activity on Taylor Scale and Correlation Scale in Solar Wind Magnetic Fluctuations

abstract: The correlation scale and the Taylor scale are evaluated for interplanetary magnetic field fluctuations from two-point, single time correlation function using the Advanced Composition Explorer (ACE), Wind, and Cluster spacecraft data during the time period from 2001 to 2017, which covers over an entire solar cycle. The correlation scale and the Taylor scale are respectively compared with the sunspot number to investigate the effects of solar activity on the structure of the plasma turbulence. Our studies show that the Taylor scale increases with the increasing sunspot number, which indicates that the Taylor scale is positively correlated with the energy cascade rate, and the correlation coefficient between the sunspot number and the Taylor scale is 0.92. However, these results are not consistent with the traditional knowledge in hydrodynamic dissipation theories. One possible explanation is that in the solar wind, the fluid approximation fails at the spatial scales near the dissipation ranges. Therefore, the traditional hydrodynamic turbulence theory is incomplete for describing the physical nature of the solar wind turbulence, especially at the spatial scales near the kinetic dissipation scales.

categories: physics.space-ph astro-ph.SR physics.data-an physics.flu-dyn physics.plasm-ph


title: Optical spectra in condensed phases: how the medium polarizability affects charge-transfer dyes

abstract: When designing molecular functional materials, the properties of the active specie, the dye, must be optimized fully accounting for environmental effects. Here we present an effective model to account for the spectroscopic effects of the medium electronic polarizability on the properties of charge-transfer dyes. Different classes of molecules are considered and the proposed antiadiabatic approach to solvation is contrasted with the adiabatic approach, currently adopted in all quantum chemical approaches to solvation. Transition frequencies and band-shapes are addressed, and the role of the medium polarizability on symmetry-breaking phenomena is also discussed.


title: Twistorial Cohomotopy implies Green-Schwarz anomaly cancellation

abstract: We characterize the integral cohomology and the rational homotopy type of the maximal Borel-equivariantization of the combined Hopf/twistor fibration, and find that subtle relations satisfied by the cohomology generators are just those that govern Horava-Witten's proposal for the extension of the Green-Schwarz mechanism from heterotic string theory to heterotic M-theory. We discuss how this squares with the Hypothesis H that the elusive mathematical foundation of M-theory is based on charge quantization in J-twisted Cohomotopy theory.

categories: hep-th math-ph math.AT math.DG math.GT math.MP


title: Sudden death of entanglement in fermionic systems under collective decoherence

abstract: We analyze the dynamics of entanglement due to decoherence in a system of two identical fermions with spin $3/2$ interacting with a global bosonic environment. We resort to an appropriate measure of the so-called fermionic entanglement to quantify the fermionic correlations, and compare its dynamics with that of a pair of distinguishable qubits immersed in the same environment. According to the system's initial state, three types of qualitatively different dynamics are identified: i) \textit{invariant regime}, corresponding to initial states that belong to a decoherence free subspace (DFS), which maintain invariant their entanglement and coherence throughout the evolution; ii) \textit{exponential decay}, corresponding to initial states orthogonal to the DFS, and evolve towards states whose entanglement and coherence decrease exponentially; iii) \textit{entanglement sudden death}, corresponding to initial states that have some overlap with the DFS and exhibit a richer dynamics leading, in particular, to the sudden death of the fermionic entanglement, while the coherence decays exponentially. Our analysis offers insights into the dynamics of entanglement in open systems of identical particles, into its comparison with the distinguishable-party case, and into the existence of decoherence free subspaces and entanglement sudden death in indistinguishable-fermion systems.


title: Control System on Boolean Networks through Semi Tensor Product Approach and Boolean Calculus

abstract: We have considered a Boolean control network where the state evolution equations depend on past states, controls and first derivatives of a function with respect to controls. Total approach has been the efficient use of matrix semi tensor product and logical operators and logical equations. We have obtained a absolutely new result in considering the derivative terms to play a role to influence the states. We have discussed about controllability with an example and also optimal control and its significance in control theory.


title: UoB at SemEval-2020 Task 12: Boosting BERT with Corpus Level Information

abstract: Pre-trained language model word representation, such as BERT, have been extremely successful in several Natural Language Processing tasks significantly improving on the state-of-the-art. This can largely be attributed to their ability to better capture semantic information contained within a sentence. Several tasks, however, can benefit from information available at a corpus level, such as Term Frequency-Inverse Document Frequency (TF-IDF). In this work we test the effectiveness of integrating this information with BERT on the task of identifying abuse on social media and show that integrating this information with BERT does indeed significantly improve performance. We participate in Sub-Task A (abuse detection) wherein we achieve a score within two points of the top performing team and in Sub-Task B (target detection) wherein we are ranked 4 of the 44 participating teams.


title: A Survey of Knowledge-based Sequential Decision Making under Uncertainty

abstract: Reasoning with declarative knowledge (RDK) and sequential decision-making (SDM) are two key research areas in artificial intelligence. RDK methods reason with declarative domain knowledge, including commonsense knowledge, that is either provided a priori or acquired over time, while SDM methods (probabilistic planning and reinforcement learning) seek to compute action policies that maximize the expected cumulative utility over a time horizon; both classes of methods reason in the presence of uncertainty. Despite the rich literature in these two areas, researchers have not fully explored their complementary strengths. In this paper, we survey algorithms that leverage RDK methods while making sequential decisions under uncertainty. We discuss significant developments, open problems, and directions for future work.


title: Stochastic Baryogenesis

abstract: Using a multi-field stochastic approach, we investigate the vacuum expectation value (VEV) during inflation of a scalar field charged under a mildly broken global $U(1)$ symmetry that can play the role of baryon or lepton number, or possibly a dark baryon number or a combination of the three. Even for a CP invariant Lagrangian, the stochastic distribution of inflationary VEVs in general breaks CP spontaneously, allowing for successful baryogenesis via the Affleck-Dine mechanism. For the Hubble scale during inflation $H_\ast$ as high as $10^{13}$ GeV, we show that the post-inflationary relaxation of the charged scalar with stochastic initial conditions can explain the observed baryon asymmetry, and that a charged scalar mass at the order of $H_\ast$ is favored by the isocurvature constraints.


title: On the radiation gauge for spin-1 perturbations in Kerr-Newman spacetime

abstract: We extend previous work [arXiv:1908.09095] to the case of Maxwell's equations with a source. Our work shows how to construct a retarded vector potential for the Maxwell field on the Kerr-Newman background in a radiation gauge. As in our previous work, the vector potential has a "reconstructed" term obtained from a Hertz potential solving Teukolsky's equation with a source, and a "correction" term which is obtainable by a simple integration along outgoing principal null rays. The singularity structure of our vector potential is discussed in the case of a point particle source.


title: Popularity Bias in Recommendation: A Multi-stakeholder Perspective

abstract: Traditionally, especially in academic research in recommender systems, the focus has been solely on the satisfaction of the end-user. While user satisfaction has, indeed, been associated with the success of the business, it is not the only factor. In many recommendation domains, there are other stakeholders whose needs should be taken into account in the recommendation generation and evaluation. In this dissertation, I describe the notion of multi-stakeholder recommendation. In particular, I study one of the most important challenges in recommendation research, popularity bias, from a multi-stakeholder perspective since, as I show later in this dissertation, it impacts different stakeholders in a recommender system. Popularity bias is a well-known phenomenon in recommender systems where popular items are recommended even more frequently than their popularity would warrant, amplifying long-tail effects already present in many recommendation domains. Prior research has examined various approaches for mitigating popularity bias and enhancing the recommendation of long-tail items overall. The effectiveness of these approaches, however, has not been assessed in multi-stakeholder environments. In this dissertation, I study the impact of popularity bias in recommender systems from a multi-stakeholder perspective. In addition, I propose several algorithms each approaching the popularity bias mitigation from a different angle and compare their performances using several metrics with some other state-of-the-art approaches in the literature. I show that, often, the standard evaluation measures of popularity bias mitigation in the literature do not reflect the real picture of an algorithm's performance when it is evaluated from a multi-stakeholder point of view.