title: Set Based Stochastic Subsampling

abstract: Deep models are designed to operate on huge volumes of high dimensional data such as images. In order to reduce the volume of data these models must process, we propose a set-based two-stage end-to-end neural subsampling model that is jointly optimized with an \textit{arbitrary} downstream task network (e.g. classifier). In the first stage, we efficiently subsample \textit{candidate elements} using conditionally independent Bernoulli random variables by capturing coarse grained global information using set encoding functions, followed by conditionally dependent autoregressive subsampling of the candidate elements using Categorical random variables by modeling pair-wise interactions using set attention networks in the second stage. We apply our method to feature and instance selection and show that it outperforms the relevant baselines under low subsampling rates on a variety of tasks including image classification, image reconstruction, function reconstruction and few-shot classification. Additionally, for nonparametric models such as Neural Processes that require to leverage the whole training data at inference time, we show that our method enhances the scalability of these models.


title: Neural Machine Translation For Paraphrase Generation

abstract: Training a spoken language understanding system, as the one in Alexa, typically requires a large human-annotated corpus of data. Manual annotations are expensive and time consuming. In Alexa Skill Kit (ASK) user experience with the skill greatly depends on the amount of data provided by skill developer. In this work, we present an automatic natural language generation system, capable of generating both human-like interactions and annotations by the means of paraphrasing. Our approach consists of machine translation (MT) inspired encoder-decoder deep recurrent neural network. We evaluate our model on the impact it has on ASK skill, intent, named entity classification accuracy and sentence level coverage, all of which demonstrate significant improvements for unseen skills on natural language understanding (NLU) models, trained on the data augmented with paraphrases.


title: Propagation for KPP bulk-surface systems in a general cylindrical domain

abstract: In this paper, we investigate propagation phenomena for KPP bulk-surface systems in a cylindrical domain with general section and heterogeneous coefficients. As for the scalar KPP equation, we show that the asymptotic spreading speed of solutions can be computed in terms of the principal eigenvalues of a family of self-adjoint elliptic operators. Using this characterization, we analyze the dependence of the spreading speed on various parameters, including diffusion rates and the size and shape of the section of the domain. In particular, we provide new theoretical results on several asymptotic regimes like small and high diffusion rates and sections with small and large sizes. These results generalize earlier ones which were available in the radial homogeneous case. Finally, we numerically investigate the issue of shape optimization of the spreading speed. By computing its shape derivative, we observe, in the case of homogeneous coefficients, that a disk either maximizes or minimizes the speed, depending on the parameters of the problem, both with or without constraints. We also show the results of numerical shape optimization with non homogeneous coefficients, when the disk is no longer an optimizer.


title: Implementing the Independent Reaction Time method in Geant4 for radiation chemistry simulations

abstract: The Independent Reaction Time method is a computationally efficient Monte-Carlo based approach to simulate the evolution of initially heterogeneously distributed reaction-diffusion systems that has seen wide-scale implementation in the field of radiation chemistry modeling. The method gains its efficiency by preventing multiple calculations steps before a reaction can take place. In this work we outline the development and implementation of this method in the Geant4 toolkit to model ionizing radiation induced chemical species in liquid water. The accuracy and validity of these developed chemical models in Geant4 is verified against analytical solutions of well stirred bimolecular systems confined in a fully reflective box.


title: Deconvolution with unknown noise distribution is possible for multivariate signals

abstract: This paper considers the deconvolution problem in the case where the target signal is multidimensional and no information is known about the noise distribution. More precisely, no assumption is made on the noise distribution and no samples are available to estimate it: the deconvolution problem is solved based only on the corrupted signal observations. We establish the identifiability of the model up to translation when the signal has a Laplace transform with an exponential growth smaller than $2$ and when it can be decomposed into two dependent components. Then, we propose an estimator of the probability density function of the signal without any assumption on the noise distribution. As this estimator depends of the lightness of the tail of the signal distribution which is usually unknown, a model selection procedure is proposed to obtain an adaptive estimator in this parameter with the same rate of convergence as the estimator with a known tail parameter. Finally, we establish a lower bound on the minimax rate of convergence that matches the upper bound.


title: Particle-like, dyx-coaxial and trix-coaxial Lie algebra structures for a multi-dimensional continuous Toda type system

abstract: We prove that with a $(2+1)$-dimensional Toda type system are associated algebraic skeletons which are (compatible assemblings) of particle-like Lie algebras of dyons and triadons type. We obtain trix-coaxial and dyx-coaxial Lie algebra structures for the system from algebraic skeletons of some particular choice for compatible associated absolute parallelisms. In particular, by a first choice of the absolute parallelism, we associate with the $(2+1)$-dimensional Toda type system a trix-coaxial Lie algebra structure made of two (compatible) base triadons constituting a $2$-catena. Furthermore, by a second choice of the absolute parallelism, we associate a dyx-coaxial Lie algebra structure made of two (compatible) base dyons, as well as particle-like Lie algebra structures made of single $3$-dyons. Some explicit examples of applications such as conservation laws related to special solutions, and an inverse spectral problem are worked out.


title: Primitive point packing

abstract: A point in the $d$-dimensional integer lattice $\mathbb{Z}^d$ is primitive when its coordinates are relatively prime. Two primitive points are multiples of one another when they are opposite, and for this reason, we consider half of the primitive points within the lattice, the ones whose first non-zero coordinate is positive. We solve the packing problem that asks for the largest possible number of such points whose absolute values of any given coordinate sum to at most a fixed integer $k$. We present several consequences of this result at the intersection of geometry, number theory, and combinatorics. In particular, we obtain an explicit expression for the largest possible diameter of a lattice zonotope contained in the hypercube $[0,k]^d$ and, conjecturally of any lattice polytope in that hypercube.


title: Coherent and Purcell-enhanced emission from erbium dopants in a cryogenic high-Q resonator

abstract: The stability and outstanding coherence of dopants and other atom-like defects in tailored host crystals make them a leading platform for the implementation of distributed quantum information processing and sensing in quantum networks. Albeit the required efficient light-matter coupling can be achieved via the integration into nanoscale resonators, in this approach the proximity of interfaces is detrimental to the coherence of even the least-sensitive emitters. Here, we establish an alternative: By integrating a 19 micrometer thin erbium-doped crystal into a cryogenic Fabry-Perot resonator with a quality factor of nine million, we can demonstrate 59(6)-fold enhancement of the emission rate, corresponding to a two-level Purcell factor of 530(50), while preserving lifetime-limited optical coherence up to 0.54(1) ms. With its emission at the minimal-loss wavelength of optical fibers and its outcoupling efficiency of 46(8) %, our system enables coherent and efficient nodes for long-distance quantum networks.


title: A theorem of Montanucci and Zini for generalized Artin-Mumford curves and its application to Galois points

abstract: An elementary proof of a theorem of Montanucci and Zini on the automorphism group of generalized Aritn-Schreier-Mumford curves is presented, with the argument of Korchmaros and Montanucci for Artin-Schreier-Mumford curves being improved. Although the characteristic of a ground field is assumed to be odd in the article of Montanucci and Zini, the proof in the present article is applicable to the case of characteristic two also. As an application of the theorem of Montanucci and Zini, the arrangement of Galois points or Galois lines for the generalized Artin-Schreier-Mumford curve is determined.


title: A framework of blockchain-based secure and privacy-preserving E-government system

abstract: Electronic government (e-government) uses information and communication technologies to deliver public services to individuals and organisations effectively, efficiently and transparently. E-government is one of the most complex systems which needs to be distributed, secured and privacy-preserved, and the failure of these can be very costly both economically and socially. Most of the existing e-government systems such as websites and electronic identity management systems (eIDs) are centralized at duplicated servers and databases. A centralized management and validation system may suffer from a single point of failure and make the system a target to cyber attacks such as malware, denial of service attacks (DoS), and distributed denial of service attacks (DDoS). The blockchain technology enables the implementation of highly secure and privacy-preserving decentralized systems where transactions are not under the control of any third party organizations. Using the blockchain technology, exiting data and new data are stored in a sealed compartment of blocks (i.e., ledger) distributed across the network in a verifiable and immutable way. Information security and privacy are enhanced by the blockchain technology in which data are encrypted and distributed across the entire network. This paper proposes a framework of a decentralized e-government peer-to-peer (p2p) system using the blockchain technology, which can ensure both information security and privacy while simultaneously increasing the trust of the public sectors. In addition, a prototype of the proposed system is presented, with the support of a theoretical and qualitative analysis of the security and privacy implications of such system.


title: Density of Binary Disc Packings: Playing with Stoichiometry

abstract: We consider hard-disc mixtures with disc sizes within ratio $\sqrt{2}-1$, that is, the small disc exactly fits in the hole between four large discs. For each prescribed stoichiometry of large and small discs, the densest packings are rigorously determined via a computer-assisted proof. The density is maximal for the 1:1 stoichiometry: the large discs then form a square grid in each interstitial site of which a small disc nests. When there is an excess of large discs, the densest packings are made of a single phase which mixes the two types of discs in a chaotic way (it can be described by square-triangle tilings). When there is an excess of small discs, on the contrary, a phenomenon of phase separation appears: the large discs are involved in the densest 1:1 stoichiometry phases while the excess of small discs form compact hexagonal phases.


title: Green Machine Learning via Augmented Gaussian Processes and Multi-Information Source Optimization

abstract: Searching for accurate Machine and Deep Learning models is a computationally expensive and awfully energivorous process. A strategy which has been gaining recently importance to drastically reduce computational time and energy consumed is to exploit the availability of different information sources, with different computational costs and different "fidelity", typically smaller portions of a large dataset. The multi-source optimization strategy fits into the scheme of Gaussian Process based Bayesian Optimization. An Augmented Gaussian Process method exploiting multiple information sources (namely, AGP-MISO) is proposed. The Augmented Gaussian Process is trained using only "reliable" information among available sources. A novel acquisition function is defined according to the Augmented Gaussian Process. Computational results are reported related to the optimization of the hyperparameters of a Support Vector Machine (SVM) classifier using two sources: a large dataset - the most expensive one - and a smaller portion of it. A comparison with a traditional Bayesian Optimization approach to optimize the hyperparameters of the SVM classifier on the large dataset only is reported.


title: Consortium Blockchain for Security and Privacy-Preserving in E-government Systems

abstract: Since its inception as a solution for secure cryptocurrencies sharing in 2008, the blockchain technology has now become one of the core technologies for secure data sharing and storage over trustless and decentralised peer-to-peer systems. E-government is amongst the systems that stores sensitive information about citizens, businesses and other affiliates, and therefore becomes the target of cyber attackers. The existing e-government systems are centralised and thus subject to single point of failure. This paper proposes a secure and decentralised e-government system based on the consortium blockchain technology, which is a semi-public and decentralised blockchain system consisting of a group of pre-selected entities or organisations in charge of consensus and decisions making for the benefit of the whole network of peers. In addition, a number of e-government nodes are pre-selected to perform the tasks of user and transaction validation before being added to the blockchain network. Accordingly, e-government users of the consortium blockchain network are given the rights to create, submit, access, and review transactions. Performance evaluation on single transaction time and transactions processed per second demonstrate the practicability of the proposed consortium blockchain-based e-government system for secure information sharing amongst all stakeholders.


title: Confidential Computing for Privacy-Preserving Contact Tracing

abstract: Contact tracing is paramount to fighting the pandemic but it comes with legitimate privacy concerns. This paper proposes a system enabling both, contact tracing and data privacy. We propose the use of the Intel SGX trusted execution environment to build a privacy-preserving contact tracing backend. While the concept of a confidential computing backend proposed in this paper can be combined with any existing contact tracing smartphone application, we describe a full contact tracing system for demonstration purposes. A prototype of a privacy-preserving contact tracing system based on SGX has been implemented by the authors in a hackathon.


title: Stability and instability in scalar balance laws: fronts and periodic waves

abstract: We complete a full classification of non-degenerate traveling waves of scalar balance laws from the point of view of spectral and nonlinear stability/instability under (piecewise) smooth perturbations. A striking feature of our analysis is the elucidation of the prominent role of characteristic points in the determination of both the spectra of the linearized operators and the phase dynamics involved in the nonlinear large-time evolution. For a generic class of equations an upshot of our analysis is a dramatic reduction from a tremendously wide variety of entropic traveling waves to a relatively small range of stable entropic traveling waves.


title: TauREx3 PhaseCurve: A 1.5D model for phase curve description

abstract: In the recent years, retrieval analysis of exoplanet atmospheres have been very successful, providing deep insights on the composition and the temperature structure of these worlds via the transit and eclipse methods. Analysis of spectral phase curve observations, which in theory provides even more information, are still limited to a few planets. In the next decade, new facilities such as NASA-JWST and ESA-Ariel will revolutionise the field of exoplanet atmospheres and we expect that a significant time will be spent on spectral phase curve observations. Most current models are still limited in their analysis of phase curve data as they do not consider the planet atmosphere as a whole or they require large computational resources. In this paper we present a semi-analytical model that will allow to compute exoplanet emission spectra at different phase angles. Our model provides a way to simulate a large number of observations while being only about 4 times slower than the traditional forward model for plane parallel primary eclipse. This model, which is based on the newly developed TauREx3 framework (Al-Refaie 2020), will be further developed to allow for phase curve atmospheric retrievals.


title: Introduction to quantum radar

abstract: After a brief introduction to the notion of quantum entanglement and quantum correlations, several schemes for a quantum radar based upon the quantum illumination and others protocols are discussed. We review different concepts that have been introduced to overcome several of the inherent difficulties in the implementation of quantum generation and/or detection quantum sensing protocols for RADAR applications. Our review is an up-to date critical presentation of the state of the art, with emphasis in the case by case assessment of the feasibility of the different concepts. We also aim that the review is accessible to non-experts in the field. Hence several appendixes and a technical glossary are included.


title: Fine granularity access in interactive compression of 360-degree images based on rate-adaptive channel codes

abstract: In this paper, we propose a new interactive compression scheme for omnidirectional images. This requires two characteristics: efficient compression of data, to lower the storage cost, and random access ability to extract part of the compressed stream requested by the user (for reducing the transmission rate). For efficient compression, data needs to be predicted by a series of references that have been pre-defined and compressed. This contrasts with the spirit of random accessibility. We propose a solution for this problem based on incremental codes implemented by rate-adaptive channel codes. This scheme encodes the image while adapting to any user request and leads to an efficient coding that is flexible in extracting data depending on the available information at the decoder. Therefore, only the information that is needed to be displayed at the user's side is transmitted during the user's request, as if the request was already known at the encoder. The experimental results demonstrate that our coder obtains a better transmission rate than the state-of-the-art tile-based methods at a small cost in storage. Moreover, the transmission rate grows gradually with the size of the request and avoids a staircase effect, which shows the perfect suitability of our coder for interactive transmission.


title: Local well-posedness for Fr\'emond's model of complete damage in elastic solids

abstract: We consider a model for the evolution of damage in elastic materials originally proposed by Michel Fr\'emond. For the corresponding PDE system we prove existence and uniqueness of a local in time strong solution. The main novelty of our result stands in the fact that, differently from previous contributions, we assume no occurrence of any type of regularizing terms.


title: Generation of weakly nonlinear turbulence of internal gravity waves in the Coriolis facility

abstract: We investigate experimentally stratified turbulence forced by waves. Stratified turbulence is present in oceans and it is expected to be dominated by nonlinear interaction of internal gravity waves as described by the Garrett & Munk spectrum. In order to reach turbulent regimes dominated by stratification we use the Coriolis facility in Grenoble (France) which large size enables us to reach regimes with both low Froude number and large Reynolds number. Stratification is obtained by using vertically linearly varying salt concentration and we force large scale waves in a $6\times6\times 1$ m$^3$ domain. We perform time-resolved PIV to probe the space-time structure of the velocity field. We observe a wide band spectrum which is made of waves. Discrete modes are observed due to the square shape of the flow container as well as a continuum part which appears consistent with an axisymmetric superposition of random weakly nonlinear waves. Our observations support the interpretation of turbulence of a strongly stratified fluid as wave turbulence of internal waves although our spectrum is quite different from the Garrett & Munk spectrum. Weak turbulence proceeds down to a small cutoff length scale (the buoyancy wavelength) at which a transition to more strongly nonlinear turbulence is expected.


title: Dynamics of reversed shear Alfv\'en eigenmode and energetic particles during current ramp-up

abstract: Hybrid MHD-gyrokinetic code simulations are used to investigate the dynamics of frequency sweeping reversed shear Alfv\'en eigenmode (RSAE) strongly driven by energetic particles (EPs) during plasma current ramp-up in a conventional tokamak configuration. A series of weakly reversed shear equilibria representing time slices of long timescale MHD equilibrium evolution is considered, where the self-consistent RSAE-EP resonant interactions on the short timescale are analyzed in detail. Both linear and nonlinear RSAE dynamics are shown to be subject to the non-perturbative effect of EPs by maximizing wave-EP power transfer. In linear stage, EPs induce evident mode structure and frequency shifts; meanwhile, RSAE saturates by radial decoupling with resonant EPs due to weak magnetic shear, and gives rise to global EP convective transport and non-adiabatic frequency chirping. The spatiotemporal scales of phase space wave-EP interactions are characterized by the perpendicular wavelength and wave-particle trapping time. The simulations provide insights into general as well as specific features of RSAE spectra and EP transport from experimental observations, and illustrate the fundamental physics of wave-EP resonant interaction with the interplay of magnetic geometry, plasma non-uniformity and non-perturbative EPs.


title: Matching Multidimensional Types: Theory and Application

abstract: Becker (1973) presents a bilateral matching model in which scalar types describe agents. For this framework, he establishes the conditions under which positive sorting between agents' attributes is the unique market outcome. Becker's celebrated sorting result has been applied to address many economic questions. However, recent empirical studies in the fields of health, household, and labor economics suggest that agents have multiple outcome-relevant attributes. In this paper, I study a matching model with multidimensional types. I offer multidimensional generalizations of concordance and supermodularity to construct three multidimensional sorting patterns and two classes of multidimensional complementarities. For each of these sorting patterns, I identify the sufficient conditions which guarantee its optimality. In practice, we observe sorting patterns between observed attributes that are aggregated over unobserved characteristics. To reconcile theory with practice, I establish the link between production complementarities and the aggregated sorting patterns. Finally, I examine the relationship between agents' health status and their spouses' education levels among U.S. households within the framework for multidimensional matching markets. Preliminary analysis reveals a weak positive association between agents' health status and their spouses' education levels. This weak positive association is estimated to be a product of three factors: (a) an attraction between better-educated individuals, (b) an attraction between healthier individuals, and (c) a weak positive association between agents' health status and their education levels. The attraction channel suggests that the insurance risk associated with a two-person family plan is higher than the aggregate risk associated with two individual policies.


title: On the Replicability and Reproducibility of Deep Learning in Software Engineering

abstract: Deep learning (DL) techniques have gained significant popularity among software engineering (SE) researchers in recent years. This is because they can often solve many SE challenges without enormous manual feature engineering effort and complex domain knowledge. Although many DL studies have reported substantial advantages over other state-of-the-art models on effectiveness, they often ignore two factors: (1) replicability - whether the reported experimental result can be approximately reproduced in high probability with the same DL model and the same data; and (2) reproducibility - whether one reported experimental findings can be reproduced by new experiments with the same experimental protocol and DL model, but different sampled real-world data. Unlike traditional machine learning (ML) models, DL studies commonly overlook these two factors and declare them as minor threats or leave them for future work. This is mainly due to high model complexity with many manually set parameters and the time-consuming optimization process. In this study, we conducted a literature review on 93 DL studies recently published in twenty SE journals or conferences. Our statistics show the urgency of investigating these two factors in SE. Moreover, we re-ran four representative DL models in SE. Experimental results show the importance of replicability and reproducibility, where the reported performance of a DL model could not be replicated for an unstable optimization process. Reproducibility could be substantially compromised if the model training is not convergent, or if performance is sensitive to the size of vocabulary and testing data. It is therefore urgent for the SE community to provide a long-lasting link to a replication package, enhance DL-based solution stability and convergence, and avoid performance sensitivity on different sampled data.


title: Usability, Accessibility and Web Security Assessment of E-government Websites in Tanzania

abstract: In spite of the fact that e-government agency (ega) in Tanzania emphasize on the use of ICT within public institutions in Tanzania, accessibility, usability and web security vulnerabilities are still not considered by the majority of web developers. The main objective of this study is to assess the usability, accessibility and web security vulnerabilities of selected Tanzania e-government websites. Using several automatic diagnostic (evaluation) tools such as pingdom, google speed insight, wave, w3c checker and acunetix, this study assess the usability, accessibility and web security vulnerabilities of 79 selected e-government websites in Tanzania. The results reveal several issues on usability, accessibility and security of Tanzania e-government websites. There is high number of usability problems where 100% of websites were found to have broken links and 52 out of 79 websites have loading time of more than five (5) seconds for their main page. The accessibility results show that all 79 selected websites have accessibility errors and violate w3c Web Content Accessibility Guidelines (WCAG) 1.0. The results on web security vulnerabilities indicate that 40 out of 79 (50.6%) assessed websites have one or more high-severity vulnerability (SQL injection or cross site scripting-XSS) while 51 out of 79 (64.5%) have one or more medium-severity vulnerabilities (Cross site request forgery or Denial of Service). Based on these results, this study provides some recommendations for improving the usability, accessibility and web security vulnerabilities of public institutions in Tanzania.


title: Nanopore and nanoparticle formation with lipids, undergoing polymorphic phase transitions

abstract: We describe several unexpected phenomena, caused by a solid-solid phase transition (gel-to-crystal) typical for all main classes of lipid substances - phospholipids, triglycerides, diglycerides, alkanes, etc. We discovered that this transition leads to spontaneous formation of a network of nanopores, spreading across the entire lipid structure. These nanopores are spontaneously impregnated (flooded) by water when appropriate surfactants are present, thus fracturing the lipid structure at a nano-scale. As a result, spontaneous disintegration of the lipid into nanoparticles or formation of double emulsions is observed, just by cooling and heating of an initial coarse lipid-in-water dispersion around the lipid melting temperature. The process of nanoparticle formation is effective even after incorporation of medical drugs of high load, up to 50 % in the lipid phase. The role of the main governing factors is clarified, the procedure is optimized, and the possibility for its scaling-up to industrially relevant amounts is demonstrated.


title: A quantum reference frame size-accuracy trade-off for quantum channels

abstract: The imposition of symmetry upon the nature and structure of quantum observables has recently been extensively studied, with quantum reference frames playing a crucial role. In this paper, we extend this work to quantum transformations, giving quantitative results showing, in direct analogy to the case of observables, that a "large" reference frame is required for non-covariant channels to be well approximated by covariant ones. We apply our findings to the concrete setting of SU(2) symmetry.


title: Background Knowledge Injection for Interpretable Sequence Classification

abstract: Sequence classification is the supervised learning task of building models that predict class labels of unseen sequences of symbols. Although accuracy is paramount, in certain scenarios interpretability is a must. Unfortunately, such trade-off is often hard to achieve since we lack human-independent interpretability metrics. We introduce a novel sequence learning algorithm, that combines (i) linear classifiers - which are known to strike a good balance between predictive power and interpretability, and (ii) background knowledge embeddings. We extend the classic subsequence feature space with groups of symbols which are generated by background knowledge injected via word or graph embeddings, and use this new feature space to learn a linear classifier. We also present a new measure to evaluate the interpretability of a set of symbolic features based on the symbol embeddings. Experiments on human activity recognition from wearables and amino acid sequence classification show that our classification approach preserves predictive power, while delivering more interpretable models.


title: Intervention scenarios to enhance knowledge transfer in a network of firm

abstract: We investigate a multi-agent model of firms in an R\&D network. Each firm is characterized by its knowledge stock $x_{i}(t)$, which follows a non-linear dynamics. It can grow with the input from other firms, i.e., by knowledge transfer, and decays otherwise. Maintaining interactions is costly. Firms can leave the network if their expected knowledge growth is not realized, which may cause other firms to also leave the network. The paper discusses two bottom-up intervention scenarios to prevent, reduce, or delay cascades of firms leaving. The first one is based on the formalism of network controllability, in which driver nodes are identified and subsequently incentivized, by reducing their costs. The second one combines node interventions and network interventions. It proposes the controlled removal of a single firm and the random replacement of firms leaving. This allows to generate small cascades, which prevents the occurrence of large cascades. We find that both approaches successfully mitigate cascades and thus improve the resilience of the R\&D network.


title: Monte-Carlo simulations of fast Newtonian and mildly relativistic shock breakout from a stellar wind

abstract: Strong explosion of a compact star surrounded by a thick stellar wind drives a fast ($>0.1c$) radiation mediated shock (RMS) that propagates in the wind, and ultimately breaks out gradually once photons start escaping from the shock transition layer. In exceptionally strong or aspherical explosions the shock velocity may even be relativistic. The properties of the breakout signal depend on the dynamics and structure of the shock during the breakout phase. Here we present, for the first time, spectra and lightcurves of the breakout emission of fast Newtonian and mildly relativistic shocks, that were calculated using self-consistent Monte-Carlo simulations of finite RMS with radiative losses. We find a strong dependence of the $\nu F_\nu$ peak on shock velocity, ranging from $\sim 1$ keV for $v_s/c=0.1$ to $\sim 100$ keV for $v_s/c=0.5$, with a shift to lower energies as losses increase. For all cases studied the spectrum below the peak exhibits a nearly flat component ($F_\nu \sim \nu^0$) that extends down to the break frequency below which absorption becomes important. This implies much bright optical/UV emission than hitherto expected. The computed lightcurves show a gradual rise over tens to hundreds of seconds for representative conditions. The application to SN 2008D/XRT 080109 and the detectability limits are also discussed. We predict a detection rate of about one per year with eROSITA.


title: Local Well-Posedness of a Quasi-Incompressible Two-Phase Flow

abstract: We show well-posedness of a diffuse interface model for a two-phase flow of two viscous incompressible fluids with different densities locally in time. The model leads to an inhomogeneous Navier-Stokes/Cahn-Hilliard system with a solenoidal velocity field for the mixture, but a variable density of the fluid mixture in the Navier-Stokes type equation. We prove existence of strong solutions locally in time with the aid of a suitable linearization and a contraction mapping argument. To this end we show maximal $L^2$-regularity for the Stokes part of the linearized system and use maximal $L^p$-regularity for the linearized Cahn-Hilliard system.


title: Relaxation time approximation with pair production and annihilation processes

abstract: We extend the Boltzmann equation in the relaxation time approximation to explicitly include transitions between particles forming an interacting mixture. Using the detailed balance condition as well as conditions of energy-momentum and current conservation, we show that only two independent relaxation time scales are allowed in such an interacting system. Dissipative hydrodynamic equations and the form of transport coefficients is subsequently derived for this case. We find that the shear and bulk viscosity coefficients, as well as the baryon charge conductivity are independent of the transition time scale. However, the bulk viscosity and conductivity coefficients that can be attributed to the individual components of the mixture depend on the transition time.


title: Fast and stable MAP-Elites in noisy domains using deep grids

abstract: Quality-Diversity optimisation algorithms enable the evolution of collections of both high-performing and diverse solutions. These collections offer the possibility to quickly adapt and switch from one solution to another in case it is not working as expected. It therefore finds many applications in real-world domain problems such as robotic control. However, QD algorithms, like most optimisation algorithms, are very sensitive to uncertainty on the fitness function, but also on the behavioural descriptors. Yet, such uncertainties are frequent in real-world applications. Few works have explored this issue in the specific case of QD algorithms, and inspired by the literature in Evolutionary Computation, mainly focus on using sampling to approximate the "true" value of the performances of a solution. However, sampling approaches require a high number of evaluations, which in many applications such as robotics, can quickly become impractical. In this work, we propose Deep-Grid MAP-Elites, a variant of the MAP-Elites algorithm that uses an archive of similar previously encountered solutions to approximate the performance of a solution. We compare our approach to previously explored ones on three noisy tasks: a standard optimisation task, the control of a redundant arm and a simulated Hexapod robot. The experimental results show that this simple approach is significantly more resilient to noise on the behavioural descriptors, while achieving competitive performances in terms of fitness optimisation, and being more sample-efficient than other existing approaches.


title: A sorting algorithm for complex eigenvalues

abstract: We present SPEC-RE, a new algorithm to sort complex eigenvalues, generated as the solutions to algebraic equations, whose coefficients are analytic functions of one or many, possibly complex parameters. The fact that the eigenvalues are analytic functions of the parameters, with atmost algebraic singularities, is used in formulating the algorithm. Several examples are presented to demonstrate the efficacy of the method; simple examples where other methods fail are also presented. The algorithm is likely to be useful in several problems of physics and engineering that require identification and sorting of eigenmodes.


title: SS-CAM: Smoothed Score-CAM for Sharper Visual Feature Localization

abstract: Interpretation of the underlying mechanisms of Deep Convolutional Neural Networks has become an important aspect of research in the field of deep learning due to their applications in high-risk environments. To explain these black-box architectures there have been many methods applied so the internal decisions can be analyzed and understood. In this paper, built on the top of Score-CAM, we introduce an enhanced visual explanation in terms of visual sharpness called SS-CAM, which produces centralized localization of object features within an image through a smooth operation. We evaluate our method on the ILSVRC 2012 Validation dataset, which outperforms Score-CAM on both faithfulness and localization tasks.


title: Arnold: an eFPGA-Augmented RISC-V SoC for Flexible and Low-Power IoT End-Nodes

abstract: A wide range of Internet of Things (IoT) applications require powerful, energy-efficient and flexible end-nodes to acquire data from multiple sources, process and distill the sensed data through near-sensor data analytics algorithms, and transmit it wirelessly. This work presents Arnold: a 0.5 V to 0.8 V, 46.83 uW/MHz, 600 MOPS fully programmable RISC-V Microcontroller unit (MCU) fabricated in 22 nm Globalfoundries GF22FDX (GF22FDX) technology, coupled with a stateof-the-art (SoA) microcontroller to an embedded Field Programmable Gate Array (FPGA). We demonstrate the flexibility of the System-OnChip (SoC) to tackle the challenges of many emerging IoT applications, such as (i) interfacing sensors and accelerators with non-standard interfaces, (ii) performing on-the-fly pre-processing tasks on data streamed from peripherals, and (iii) accelerating near-sensor analytics, encryption, and machine learning tasks. A unique feature of the proposed SoC is the exploitation of body-biasing to reduce leakage power of the embedded FPGA (eFPGA) fabric by up to 18x at 0.5 V, achieving SoA state bitstream-retentive sleep power for the eFPGA fabric, as low as 20.5 uW. The proposed SoC provides 3.4x better performance and 2.9x better energy efficiency than other fabricated heterogeneous re-configurable SoCs of the same class.


title: Magnon-exciton proximity coupling at a van der Waals heterointerface

abstract: Spin and photonic systems are at the heart of modern information devices and emerging quantum technologies. An interplay between electron-hole pairs (excitons) in semiconductors and collective spin excitations (magnons) in magnetic crystals would bridge these heterogeneous systems, leveraging their individual assets in novel interconnected devices. Here, we report the magnon-exciton coupling at the interface between a magnetic thin film and an atomically-thin semiconductor. Our approach allies the long-lived magnons hosted in a film of yttrium iron garnet (YIG) to strongly-bound excitons in a flake of a transition metal dichalcogenide, MoSe$_2$. The magnons induce on the excitons a dynamical valley Zeeman effect ruled by interfacial exchange interactions. This nascent class of hybrid system suggests new opportunities for information transduction between microwave and optical regions.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.optics quant-ph


title: Painleve-Gullstrand form of the Lense-Thirring spacetime

abstract: The standard Lense-Thirring metric is a century-old slow-rotation large-distance approximation to the gravitational field outside a rotating massive body, depending only on the total mass and angular momentum of the source. Although it is not an exact solution to the vacuum Einstein equations, asymptotically the Lense-Thirring metric approaches the Kerr metric at large distances. Herein we shall discuss a specific variant of the standard Lense-Thirring metric, carefully chosen for simplicity, clarity, and various forms of "improved" behaviour, (to be more carefully defined in the body of the article). In particular we shall construct an explicit unit-lapse Painleve-Gullstrand variant of the Lense-Thirring spacetime, that has flat spatial slices, a very simple and physically intuitive tetrad, and extremely simple curvature tensors. We shall verify that this variant of the Lense-Thirring spacetime is Petrov type I, (so it is not algebraically special), but nevertheless possesses some very straightforward timelike geodesics, (the "rain" geodesics). We shall also discuss on-axis and equatorial geodesics, ISCOs and circular photon orbits. Finally, we wrap up by discussing some astrophysically relevant estimates, and analyze what happens if we extrapolate down to small values of r.


title: Space Kinematics and Projective Differential Geometry Over the Ring of Dual Numbers

abstract: We study an isomorphism between the group of rigid body displacements and the group of dual quaternions modulo the dual number multiplicative group from the viewpoint of differential geometry in a projective space over the dual numbers. Some seemingly weird phenomena in this space have lucid kinematic interpretations. An example is the existence of non-straight curves with a continuum of osculating tangents which correspond to motions in a cylinder group with osculating vertical Darboux motions. We also suggest geometrically meaningful ways to select osculating conics of a curve in this projective space and illustrate their corresponding motions. Furthermore, we investigate factorizability of these special motions and use the obtained results for the construction of overconstrained linkages.


title: Global weak solutions for a two-component Novikov system

abstract: In this paper, we mainly consider about the existence and uniqueness of global weak solutions for the two-component Novikov system. We first recall some results and definitions of strong solutions and weak solutions for the system, then by using the method of approximation of smooth solutions, we prove the existence and uniqueness of global weak solutions of the system.


title: Improved access to the fine-structure constant with the simplest atomic systems

abstract: A means to extract the fine-structure constant $\alpha$ from precision spectroscopic data on one-electron ions is presented. We show that in an appropriately weighted difference of the bound-electron $g$ factor and the ground state energy, nuclear structural effects can be effectively suppressed. This method is anticipated to deliver an independent value of $\alpha$ via existing or near-future combined Penning trap and x-ray spectroscopic technology, and enables decreasing the uncertainty of $\alpha$ by orders of magnitude.


title: SACT: Self-Aware Multi-Space Feature Composition Transformer for Multinomial Attention for Video Captioning

abstract: Video captioning works on the two fundamental concepts, feature detection and feature composition. While modern day transformers are beneficial in composing features, they lack the fundamental problems of selecting and understanding of the contents. As the feature length increases, it becomes increasingly important to include provisions for improved capturing of the pertinent contents. In this work, we have introduced a new concept of Self-Aware Composition Transformer (SACT) that is capable of generating Multinomial Attention (MultAtt) which is a way of generating distributions of various combinations of frames. Also, multi-head attention transformer works on the principle of combining all possible contents for attention, which is good for natural language classification, but has limitations for video captioning. Video contents have repetitions and require parsing of important contents for better content composition. In this work, we have introduced SACT for more selective attention and combined them for different attention heads for better capturing of the usable contents for any applications. To address the problem of diversification and encourage selective utilization, we propose the Self-Aware Composition Transformer model for dense video captioning and apply the technique on two benchmark datasets like ActivityNet and YouCookII.


title: Target Consistency for Domain Adaptation: when Robustness meets Transferability

abstract: Learning Invariant Representations has been successfully applied for reconciling a source and a target domain for Unsupervised Domain Adaptation. By investigating the robustness of such methods under the prism of the cluster assumption, we bring new evidence that invariance with a low source risk does not guarantee a well-performing target classifier. More precisely, we show that the cluster assumption is violated in the target domain despite being maintained in the source domain, indicating a lack of robustness of the target classifier. To address this problem, we demonstrate the importance of enforcing the cluster assumption in the target domain, named Target Consistency (TC), especially when paired with Class-Level InVariance (CLIV). Our new approach results in a significant improvement, on both image classification and segmentation benchmarks, over state-of-the-art methods based on invariant representations. Importantly, our method is flexible and easy to implement, making it a complementary technique to existing approaches for improving transferability of representations.


title: Self-Segregating and Coordinated-Segregating Transformer for Focused Deep Multi-Modular Network for Visual Question Answering

abstract: Attention mechanism has gained huge popularity due to its effectiveness in achieving high accuracy in different domains. But attention is opportunistic and is not justified by the content or usability of the content. Transformer like structure creates all/any possible attention(s). We define segregating strategies that can prioritize the contents for the applications for enhancement of performance. We defined two strategies: Self-Segregating Transformer (SST) and Coordinated-Segregating Transformer (CST) and used it to solve visual question answering application. Self-segregation strategy for attention contributes in better understanding and filtering the information that can be most helpful for answering the question and create diversity of visual-reasoning for attention. This work can easily be used in many other applications that involve repetition and multiple frames of features and would reduce the commonality of the attentions to a great extent. Visual Question Answering (VQA) requires understanding and coordination of both images and textual interpretations. Experiments demonstrate that segregation strategies for cascaded multi-head transformer attention outperforms many previous works and achieved considerable improvement for VQA-v2 dataset benchmark.


title: Empirical Analysis of Overfitting and Mode Drop in GAN Training

abstract: We examine two key questions in GAN training, namely overfitting and mode drop, from an empirical perspective. We show that when stochasticity is removed from the training procedure, GANs can overfit and exhibit almost no mode drop. Our results shed light on important characteristics of the GAN training procedure. They also provide evidence against prevailing intuitions that GANs do not memorize the training set, and that mode dropping is mainly due to properties of the GAN objective rather than how it is optimized during training.


title: Intrinsic Gaussian Processes on Manifolds and Their Accelerations by Symmetry

abstract: Amidst the growing interest in nonparametric regression, we address a significant challenge in Gaussian processes(GP) applied to manifold-based predictors. Existing methods primarily focus on low dimensional constrained domains for heat kernel estimation, limiting their effectiveness in higher-dimensional manifolds. Our research proposes an intrinsic approach for constructing GP on general manifolds such as orthogonal groups, unitary groups, Stiefel manifolds and Grassmannian manifolds. Our methodology estimates the heat kernel by simulating Brownian motion sample paths using the exponential map, ensuring independence from the manifold's embedding. The introduction of our strip algorithm, tailored for manifolds with extra symmetries, and the ball algorithm, designed for arbitrary manifolds, constitutes our significant contribution. Both algorithms are rigorously substantiated through theoretical proofs and numerical testing, with the strip algorithm showcasing remarkable efficiency gains over traditional methods. This intrinsic approach delivers several key advantages, including applicability to high dimensional manifolds, eliminating the requirement for global parametrization or embedding. We demonstrate its practicality through regression case studies (torus knots and eight dimensional projective spaces) and by developing binary classifiers for real world datasets (gorilla skulls planar images and diffusion tensor images). These classifiers outperform traditional methods, particularly in limited data scenarios.


title: Large-Scale Fading Precoding for Spatially Correlated Rician Fading with Phase Shifts

abstract: We consider large-scale fading precoding (LSFP), which is a two-layer precoding scheme in the downlink of multi-cell massive MIMO (multiple-input multiple-output) systems to suppress inter-cell interference. We obtain the closed-form spectral efficiency (SE) with LSFP at the central network controller and maximum ratio precoding at the base stations (BSs) using the linear minimum mean-squared error or least squares channel estimators. The LSFP weights are designed based on the long-term channel statistics and two important performance metrics are optimized under the per-BS transmit power constraints. These metrics are sum SE and proportional fairness, where the resulting optimization problems are non-convex. Two efficient algorithms are developed to solve these problems by using the weighted minimum mean-squared error and the alternating direction method of multipliers methods. Moreover, two partial LSFP schemes are proposed to reduce the fronthaul signaling requirements. Simulations quantify the performance improvement of LSFP over standard single-layer precoding schemes and identify the specific advantage of each optimization problem.


title: Perpendicular magnetic anisotropy and Dzyaloshinskii-Moriya interaction at an oxide/ferromagnetic metal interface

abstract: We report on the study of both perpendicular magnetic anisotropy (PMA) and Dzyaloshinskii-Moriya interaction (DMI) at an oxide/ferromagnetic metal (FM) interface, i.e. BaTiO3 (BTO)/CoFeB. Thanks to the functional properties of the BTO film and the capability to precisely control its growth, we are able to distinguish the dominant role of the oxide termination (TiO2 vs BaO), from the moderate effect of ferroelectric polarization in the BTO film, on the PMA and DMI at the oxide/FM interface. We find that the interfacial magnetic anisotropy energy of the BaO-BTO/CoFeB structure is two times larger than that of the TiO2-BTO/CoFeB, while the DMI of the TiO2-BTO/CoFeB interface is larger. We explain the observed phenomena by first-principles calculations, which ascribe them to the different electronic states around the Fermi level at the oxide/ferromagnetic metal interfaces and the different spin-flip processes. This study paves the way for further investigation of the PMA and DMI at various oxide/FM structures and thus their applications in the promising field of energy-efficient devices.


title: Synchrony and Anti-synchrony in Weighted Networks

abstract: We consider weighted coupled cell networks, that is networks where the interactions between any two cells have an associated weight that is a real valued number. Weighted networks are ubiquitous in real-world applications. We consider a dynamical systems perspective by associating to each network a set of continuous dynamical systems, the ones that respect the graph structure of the network. For weighted networks it is natural for the admissible coupled cell systems to have an additive input structure. We present a characterization of the synchrony subspaces and the anti-synchrony subspaces for a weighted network depending on the restrictions that are imposed to their admissible input-additive coupled cell systems. These subspaces are flow-invariant by those systems and are generalized polydiagonal subspaces, that is, are characterized by conditions on the cell coordinates of the types $x_i = x_j$ and/or $x_k = -x_l$ and/or $x_m=0$. The existence and identification of the synchrony and anti-synchony subspaces for a weighted network are deeply relevant from the applications and dynamics point of view. Our characterization of the synchrony and anti-synchrony subspaces of a weighted network follows from our results where we give necessary and sufficient conditions for a generalized polydiagonal to be left invariant by the adjacency matrix and/or the Laplacian matrix of the network.


title: Ultra-Low-Power FDSOI Neural Circuits for Extreme-Edge Neuromorphic Intelligence

abstract: Recent years have seen an increasing interest in the development of artificial intelligence circuits and systems for edge computing applications. In-memory computing mixed-signal neuromorphic architectures provide promising ultra-low-power solutions for edge-computing sensory-processing applications, thanks to their ability to emulate spiking neural networks in real-time. The fine-grain parallelism offered by this approach allows such neural circuits to process the sensory data efficiently by adapting their dynamics to the ones of the sensed signals, without having to resort to the time-multiplexed computing paradigm of von Neumann architectures. To reduce power consumption even further, we present a set of mixed-signal analog/digital circuits that exploit the features of advanced Fully-Depleted Silicon on Insulator (FDSOI) integration processes. Specifically, we explore the options of advanced FDSOI technologies to address analog design issues and optimize the design of the synapse integrator and of the adaptive neuron circuits accordingly. We present circuit simulation results and demonstrate the circuit's ability to produce biologically plausible neural dynamics with compact designs, optimized for the realization of large-scale spiking neural networks in neuromorphic processors.


title: The Holonomy Groupoids of Singularly Foliated Bundles

abstract: We define a notion of connection in a fibre bundle that is compatible with a singular foliation of the base. Fibre bundles equipped with such connections are in plentiful supply, arising naturally for any Lie groupoid-equivariant bundle, and simultaneously generalising regularly foliated bundles in the sense of Kamber-Tondeur and singular foliations. We define hierarchies of diffeological holonomy groupoids associated to such bundles, which arise from the parallel transport of jet/germinal conservation laws. We show that the groupoids associated in this manner to trivial singularly foliated bundles are quotients of Androulidakis-Skandalis holonomy groupoids, which coincide with Androulidakis-Skandalis holonomy groupoids in the regular case. Finally we prove functoriality of all our constructions under appropriate morphisms.


title: A decomposition of general premium principles into risk and deviation

abstract: We provide an axiomatic approach to general premium principles in a probability-free setting that allows for Knightian uncertainty. Every premium principle is the sum of a risk measure, as a generalization of the expected value, and a deviation measure, as a generalization of the variance. One can uniquely identify a maximal risk measure and a minimal deviation measure in such decompositions. We show how previous axiomatizations of premium principles can be embedded into our more general framework. We discuss dual representations of convex premium principles, and study the consistency of premium principles with a financial market in which insurance contracts are traded.


title: Discussion of 'Detecting possibly frequent change-points: Wild Binary Segmentation 2 and steepest-drop model selection'

abstract: We discuss the theoretical guarantee provided by the WBS2.SDLL proposed in Fryzlewicz (2020) and explore an alternative, MOSUM-based candidate generation method for the SDLL.


title: How faculae and network relate to sunspots, and the implications for solar and stellar brightness variations

abstract: How global faculae and network coverage relates to that of sunspots is relevant to the brightness variations of the Sun and Sun-like stars. We extend earlier studies that found the facular-to-sunspot-area ratio diminishes with total sunspot coverage. Chromospheric indices and the total magnetic flux enclosed in network and faculae, referred to here as 'facular indices', are modulated by the amount of facular and network present. We probed the relationship between various facular and sunspot indices through an empirical model that takes into account how active regions evolve. This model was incorporated into a total solar irradiance (TSI) model. The model presented here replicates most of the observed variability in the facular indices, and is better at doing so than earlier models. Contrary to recent studies, we found the relationship between the facular and sunspot indices to be stable over the past four decades. The model indicates that, like the facular-to-sunspot-area ratio, the ratio of the variation in chromospheric emission and total network and facular magnetic flux to sunspot area decreases with the latter. The TSI model indicates the ratio of the TSI excess from faculae and network to the deficit from sunspots also declines with sunspot area, with the consequence being that TSI rises with sunspot area more slowly than if the two quantities were linearly proportional to one another. The extrapolation of the TSI model to higher activity levels indicates that in the activity range where Sun-like stars are observed to switch from growing brighter with increasing activity to becoming dimmer instead, the activity-dependence of TSI exhibits a similar transition as sunspot darkening starts to rise more rapidly with activity than facular brightening. This bolsters the interpretation of this behavior of Sun-like stars as the transition from a faculae-dominated to a spot-dominated regime.


title: Overlaid species forests

abstract: Introgression is an evolutionary process in which genes or other types of genetic material are introduced into a genome. It is an important evolutionary process that can, for example, play a fundamental role in speciation. Recently the concept of an overlaid species forest was introduced to represent introgression histories. Basically this approach takes a putative gene history in the form of a phylogenetic gene tree and tries to overlay this onto a forest which usually consists of a collection of lineage trees for the species of interest. The result is a network called an overlaid species forest in which genes jump or introgress between lineages. In this paper we study properties of overlaid species forests, showing that they have various connections with models for lateral gene transfer, maximum parsimony, and unfolding of phylogenetic networks. In particular, we show that a certain algorithm called OSF-B UILDER for constructing overlaid species forests is guaranteed to a produce a special type of overlaid species forest with a minimum number introgressions, as well as providing some characterizations for networks that can arise from overlaid species forests. We expect that these results will be useful in developing new methods for representing introgression histories, a growing area of interest in phylogenetics.


title: Combining Ensemble Kalman Filter and Reservoir Computing to predict spatio-temporal chaotic systems from imperfect observations and models

abstract: Prediction of spatio-temporal chaotic systems is important in various fields, such as Numerical Weather Prediction (NWP). While data assimilation methods have been applied in NWP, machine learning techniques, such as Reservoir Computing (RC), are recently recognized as promising tools to predict spatio-temporal chaotic systems. However, the sensitivity of the skill of the machine learning based prediction to the imperfectness of observations is unclear. In this study, we evaluate the skill of RC with noisy and sparsely distributed observations. We intensively compare the performances of RC and Local Ensemble Transform Kalman Filter (LETKF) by applying them to the prediction of the Lorenz 96 system. Although RC can successfully predict the Lorenz 96 system if the system is perfectly observed, we find that RC is vulnerable to observation sparsity compared with LETKF. To overcome this limitation of RC, we propose to combine LETKF and RC. In our proposed method, the system is predicted by RC that learned the analysis time series estimated by LETKF. Our proposed method can successfully predict the Lorenz 96 system using noisy and sparsely distributed observations. Most importantly, our method can predict better than LETKF when the process-based model is imperfect.


title: Stability Results on Synchronized Queues in Discrete-Time for Arbitrary Dimension

abstract: In a batch of synchronized queues, customers can only be serviced all at once or not at all, implying that service remains idle if at least one queue is empty. We propose that a batch of $n$ synchronized queues in a discrete-time setting is quasi-stable for $n \in \{2,3\}$ and unstable for $n \geq 4$. A correspondence between such systems and a random-walk-like discrete-time Markov chain (DTMC), which operates on a quotient space of the original state-space, is derived. Using this relation, we prove the proposition by showing that the DTMC is transient for $n \geq 4$ and null-recurrent (hence quasi-stability) for $n \in \{2,3\}$ via evaluating infinite power sums over skewed binomial coefficients. Ignoring the special structure of the quotient space, the proposition can be interpreted as a result of P\'olya's theorem on random walks, since the dimension of said space is $d-1$.


title: Graph Structural-topic Neural Network

abstract: Graph Convolutional Networks (GCNs) achieved tremendous success by effectively gathering local features for nodes. However, commonly do GCNs focus more on node features but less on graph structures within the neighborhood, especially higher-order structural patterns. However, such local structural patterns are shown to be indicative of node properties in numerous fields. In addition, it is not just single patterns, but the distribution over all these patterns matter, because networks are complex and the neighborhood of each node consists of a mixture of various nodes and structural patterns. Correspondingly, in this paper, we propose Graph Structural-topic Neural Network, abbreviated GraphSTONE, a GCN model that utilizes topic models of graphs, such that the structural topics capture indicative graph structures broadly from a probabilistic aspect rather than merely a few structures. Specifically, we build topic models upon graphs using anonymous walks and Graph Anchor LDA, an LDA variant that selects significant structural patterns first, so as to alleviate the complexity and generate structural topics efficiently. In addition, we design multi-view GCNs to unify node features and structural topic features and utilize structural topics to guide the aggregation. We evaluate our model through both quantitative and qualitative experiments, where our model exhibits promising performance, high efficiency, and clear interpretability.


title: Mood-based On-Car Music Recommendations

abstract: Driving and music listening are two inseparable everyday activities for millions of people today in the world. Considering the high correlation between music, mood and driving comfort and safety, it makes sense to use appropriate and intelligent music recommendations based on the mood of drivers and songs in the context of car driving. The objective of this paper is to present the project of a contextual mood-based music recommender system capable of regulating the driver's mood and trying to have a positive influence on her driving behaviour. Here we present the proof of concept of the system and describe the techniques and technologies that are part of it. Further possible future improvements on each of the building blocks are also presented.


title: Influence of Mg doping on In adsorption and In incorporation in (In,Ga)N superlattices

abstract: We present a detailed investigation of the mechanisms at play for the incorporation of In and Mg on the GaN(0001) surface during plasma-assisted molecular beam epitaxy (PAMBE). First, we have studied the kinetics of In desorption in the presence of Mg either without or with N supply from the plasma cell by quadrupole mass spectrometry (QMS) in the line of sight. Second, we have explored the effect of Mg doping at a different time along the cycle of (InN/GaN) supply repeated 10 times to form (In,Ga)N/GaN superlattices (SLs). By the complementary ex-situ investigation of these SLs by X-ray diffraction (XRD) and secondary ion mass spectrometry (SIMS), we found that in monolayer-thick (In,Ga)N layer, the In content was maximized when Mg was not supplied simultaneously to In, but it drastically decreased otherwise. In contrast, the Mg concentration strongly increased in the (In,Ga)N monolayers compared to the GaN barriers. We attribute this finding to the surfactant effect of In for Mg, which decreases the binding energy of Mg in GaN in presence of N.


title: Optimal Trajectory Planning for Flexible Robots with Large Deformation

abstract: Robot arms with lighter weight can reduce unnecessary energy consumption which is desirable in robotic industry. However, lightweight arms undergo undesirable elastic deformation. In this paper, the planar motion of a lightweight flexible arm is investigated. In order to obtain a precise mathematical model, the axial displacement and nonlinear curvature of flexible arm arising from large bending deformation is taken into consideration. An in-extensional condition, the axial displacement is related to transverse displacement of the flexible beam, is applied. This leads to a robotic model with three rigid modes and one elastic mode. The elastic mode depends on time and position. An Assume Mode Method is used to remove the spatial dependence. The governing equations is derived using Lagrange Method. The effects of nonlinear terms due to the large deformation, gravity, and tip-mass are considered. Control inputs include forces and moment exerted at the joint between slider and arm (see Fig. 1). The conventional computed torque control laws cannot stabilize the system, since there are not as many control inputs as states of the system. A Particle Swarm Optimization (PSO) technique is then used to obtain a suitable trajectory with the aim of minimizing excitations of the elastic mode. Two methods are considered for generating a trajectory function, either to use a three-layer Artificial Neural Network (ANN) or to use spline interpolation. A sliding mode control strategy is proposed in which the sliding surfaces include elastic mode in order to guarantee robustness. The simulations show that the three-layer ANN technique provides arbitrary small settling time, and also the optimization algorithm converges faster and generates smooth trajectories unlike spline function technique.


title: Dialogue Enhancement in Object-based Audio -- Evaluating the Benefit on People above 65

abstract: Due to age-related hearing loss, elderly people often struggle with following the language on TV. Because they form an increasing part of the audience, this problem will become even more important in the future and needs to be addressed by research and development. Object-based audio is a promising approach to solve this issue as it offers the possibility of customizable dialogue enhancement (DE). For this thesis an Adjustment / Satisfaction Test (A/ST) was conducted to evaluate the preferred loudness difference (LD) between speech and background in people above 65. Two different types of DE were tested: DE with separately available audio components (speech and background) and DE with components created by blind source separation (BSS). The preferred LDs compared to the original, differences of the preferred LDs between the two DE methods and the listener satisfaction were tested. It was observed that the preferred LDs were larger than the original LDs, that customizable DE increases listener satisfaction and that the two DE methods performed comparably well in terms of preferred LD and listener satisfaction. Based on the results, it can be assumed that elderly viewers above 65 will benefit equally from user-adjustable DE by available components and by dialogue separation.


title: Approximations to Weighted Sums of Random Variables

abstract: In this paper, we obtain error bound for binomial and negative binomial approximations to weighted sums of locally dependent random variables, using Stein's method. We also discuss approximation results for weighted sums of independent random variables. We demonstrate our results through some applications in finance and runs in statistics.


title: Fast, Accurate, and Simple Models for Tabular Data via Augmented Distillation

abstract: Automated machine learning (AutoML) can produce complex model ensembles by stacking, bagging, and boosting many individual models like trees, deep networks, and nearest neighbor estimators. While highly accurate, the resulting predictors are large, slow, and opaque as compared to their constituents. To improve the deployment of AutoML on tabular data, we propose FAST-DAD to distill arbitrarily complex ensemble predictors into individual models like boosted trees, random forests, and deep networks. At the heart of our approach is a data augmentation strategy based on Gibbs sampling from a self-attention pseudolikelihood estimator. Across 30 datasets spanning regression and binary/multiclass classification tasks, FAST-DAD distillation produces significantly better individual models than one obtains through standard training on the original data. Our individual distilled models are over 10x faster and more accurate than ensemble predictors produced by AutoML tools like H2O/AutoSklearn.


title: Mobile smartphone tracing can detect almost all SARS-CoV-2 infections

abstract: Currently, many countries are considering the introduction of tracing software on mobile smartphones with the main purpose to inform and alarm the mobile app user. Here, we demonstrate that, in addition to alarming and informing, mobile tracing can detect nearly all users that are infected by SARS-CoV-2. Our algorithm BETIS (Bayesian Estimation for Tracing Infection States) makes use of self-reports of the user's health status. Then, BETIS guarantees that almost all SARS-CoV-2 infections of the group of users can be detected. Furthermore, BETIS estimates the virus prevalence in the whole population, consisting of users and non-users. BETIS is based on a hidden Markov epidemic model and recursive Bayesian filtering. The potential that mobile tracing apps, in addition to medical testing and quarantining, can eradicate COVID-19 may persuade citizens to trade-off privacy against public health.


title: Implicitly Maximizing Margins with the Hinge Loss

abstract: A new loss function is proposed for neural networks on classification tasks which extends the hinge loss by assigning gradients to its critical points. We will show that for a linear classifier on linearly separable data with fixed step size, the margin of this modified hinge loss converges to the $\ell_2$ max-margin at the rate of $\mathcal{O}( 1/t )$. This rate is fast when compared with the $\mathcal{O}(1/\log t)$ rate of exponential losses such as the logistic loss. Furthermore, empirical results suggest that this increased convergence speed carries over to ReLU networks.


title: An explicit construction of simple-minded systems over self-injective Nakayama algebras

abstract: Recently, we obtained in [7] a new characterization for an orthogonal system to be a simple-minded system in the stable module category of any representation-finite self-injective algebra. In this paper, we apply this result to give an explicit construction of simple-minded systems over self-injective Nakayama algebras.


title: Model-free bounds for multi-asset options using option-implied information and their exact computation

abstract: We consider derivatives written on multiple underlyings in a one-period financial market, and we are interested in the computation of model-free upper and lower bounds for their arbitrage-free prices. We work in a completely realistic setting, in that we only assume the knowledge of traded prices for other single- and multi-asset derivatives, and even allow for the presence of bid-ask spread in these prices. We provide a fundamental theorem of asset pricing for this market model, as well as a superhedging duality result, that allows to transform the abstract maximization problem over probability measures into a more tractable minimization problem over vectors, subject to certain constraints. Then, we recast this problem into a linear semi-infinite optimization problem, and provide two algorithms for its solution. These algorithms provide upper and lower bounds for the prices that are $\varepsilon$-optimal, as well as a characterization of the optimal pricing measures. These algorithms are efficient and allow the computation of bounds in high-dimensional scenarios (e.g. when $d=60$). Moreover, these algorithms can be used to detect arbitrage opportunities and identify the corresponding arbitrage strategies. Numerical experiments using both synthetic and real market data showcase the efficiency of these algorithms, while they also allow to understand the reduction of model risk by including additional information, in the form of known derivative prices.

categories: math.OC math.PR q-fin.CP q-fin.MF q-fin.PR


title: On simple-minded systems over representation-finite self-injective algebras

abstract: Let $A$ be a representation-finite self-injective algebra over an algebraically closed field $k$. We give a new characterization for an orthogonal system in the stable module category $A$-$\stmod$ to be a simple-minded system. As a by-product, we show that every Nakayama-stable orthogonal system in $A$-$\stmod$ extends to a simple-minded system.


title: Preparing Ginkgo for AMD GPUs -- A Testimonial on Porting CUDA Code to HIP

abstract: With AMD reinforcing their ambition in the scientific high performance computing ecosystem, we extend the hardware scope of the Ginkgo linear algebra package to feature a HIP backend for AMD GPUs. In this paper, we report and discuss the porting effort from CUDA, the extension of the HIP framework to add missing features such as cooperative groups, the performance price of compiling HIP code for AMD architectures, and the design of a library providing native backends for NVIDIA and AMD GPUs while minimizing code duplication by using a shared code base.


title: Survey on Visual Analysis of Event Sequence Data

abstract: Event sequence data record series of discrete events in the time order of occurrence. They are commonly observed in a variety of applications ranging from electronic health records to network logs, with the characteristics of large-scale, high-dimensional, and heterogeneous. This high complexity of event sequence data makes it difficult for analysts to manually explore and find patterns, resulting in ever-increasing needs for computational and perceptual aids from visual analytics techniques to extract and communicate insights from event sequence datasets. In this paper, we review the state-of-the-art visual analytics approaches, characterize them with our proposed design space, and categorize them based on analytical tasks and applications. From our review of relevant literature, we have also identified several remaining research challenges and future research opportunities.


title: Some properties of the eigenstates in the many-electron problem

abstract: A general hamiltonian $H$ of electrons in finite concentration, interacting via any two-body coupling inside a crystal of arbitrary dimension, is considered. For simplicity and without loss of generality, a one-band model is used to account for the electron-crystal interaction. The electron motion is described in the Hilbert space $S_\phi$, spanned by a basis of Slater determinants of one-electron Bloch wave-functions. Electron pairs of total momentum $K$ and projected spin $\zeta=0,\pm1$ are considered in this work. The hamiltonian then reads $H=H_D+\sum_{K,\zeta}H_{K,\zeta}$, where $H_D$ consists of the diagonal part of $H$ in the Slater determinant basis. $H_{K,\zeta}$ describes the off-diagonal part of the two-electron scattering process which conserves $K$ and $\zeta$. This hamiltonian operates in a subspace of $S_\phi$, where the Slater determinants consist of pairs characterised by the same $K$ and $\zeta$. It is shown that the whole set of eigensolutions $\psi, \epsilon$ of the time-independent Schr\"{o}dinger equation $(H-\epsilon)\psi=0$ divides in two classes, $\psi_1,\epsilon_1$ and $\psi_2,\epsilon_2$. The eigensolutions of class 1 are characterised by the property that for each solution $\psi_1,\epsilon_1$ there is a single $K$ and $\zeta$ such that $(H_D+H_{K,\zeta}-\epsilon_1)\psi_{K,\zeta}=0$ where in general $\psi_1 \ne \psi_{K,\zeta}$, whereas each solution $\psi_2,\epsilon_2$ of class 2 fulfils $(H_D-\epsilon_2)\psi_2=0$. We prove also that the eigenvectors of class 1 have off-diagonal long-range order whereas those of class 2 do not. Finally our result shows that off-diagonal long-range order is not a sufficient condition for superconductivity.


title: Neural Decomposition: Functional ANOVA with Variational Autoencoders

abstract: Variational Autoencoders (VAEs) have become a popular approach for dimensionality reduction. However, despite their ability to identify latent low-dimensional structures embedded within high-dimensional data, these latent representations are typically hard to interpret on their own. Due to the black-box nature of VAEs, their utility for healthcare and genomics applications has been limited. In this paper, we focus on characterising the sources of variation in Conditional VAEs. Our goal is to provide a feature-level variance decomposition, i.e. to decompose variation in the data by separating out the marginal additive effects of latent variables z and fixed inputs c from their non-linear interactions. We propose to achieve this through what we call Neural Decomposition - an adaptation of the well-known concept of functional ANOVA variance decomposition from classical statistics to deep learning models. We show how identifiability can be achieved by training models subject to constraints on the marginal properties of the decoder networks. We demonstrate the utility of our Neural Decomposition on a series of synthetic examples as well as high-dimensional genomics data.


title: A lattice investigation of exotic tetraquark channels

abstract: We perform an $n_f=2+1$ lattice study of a number of channels where past claims exist in the literature for the existence of strong-interaction-stable light-heavy tetraquarks. We find no evidence for any such deeply-bound states, beyond the $J^P=1^+$, $I=0$ $ud\bar{b}\bar{b}$ and $I=1/2$ $ls\bar{b}\bar{b}$ states already identified in earlier lattice studies. We also describe a number of systematic improvements to our previous lattice studies, including working with larger $m_\pi L$ to better suppress possible finite volume effects, employing extended sinks to better control excited-state contamination, and expanding the number of operators used in the GEVP analyses. Our results also allow us to rule out several phenomenological models which predict significant tetraquark binding in channels where no such binding is found.


title: Structural Identifiability and Observability of Compartmental Models of the COVID-19 Pandemic

abstract: The recent coronavirus disease (COVID-19) outbreak has dramatically increased the public awareness and appreciation of the utility of dynamic models. At the same time, the dissemination of contradictory model predictions has highlighted their limitations. If some parameters and/or state variables of a model cannot be determined from output measurements, its ability to yield correct insights -- as well as the possibility of controlling the system -- may be compromised. Epidemic dynamics are commonly analysed using compartmental models, and many variations of such models have been used for analysing and predicting the evolution of the COVID-19 pandemic. In this paper we survey the different models proposed in the literature, assembling a list of 36 model structures and assessing their ability to provide reliable information. We address the problem using the control theoretic concepts of structural identifiability and observability. Since some parameters can vary during the course of an epidemic, we consider both the constant and time-varying parameter assumptions. We analyse the structural identifiability and observability of all of the models, considering all plausible choices of outputs and time-varying parameters, which leads us to analyse 255 different model versions. We classify the models according to their structural identifiability and observability under the different assumptions and discuss the implications of the results. We also illustrate with an example several alternative ways of remedying the lack of observability of a model. Our analyses provide guidelines for choosing the most informative model for each purpose, taking into account the available knowledge and measurements.


title: Fano resonances in optical spectra of semiconductor quantum wells driven by an oscillating field

abstract: Optical spectra of semiconductor quantum wells driven by an off-resonant oscillating field are studied theoretically. Due to the dynamical stabilization effect, the field induces the quasi-stationary electron states confined at repulsive scatterers and immersed into the continuum of states of conduction electrons. As a result, the Fano resonances in the spectra of interband optical transitions appear near the energies of the quasi-stationary states.


title: Dynamic User Pairing for Non-Orthogonal Multiple Access in Downlink Networks

abstract: This paper considers a downlink (DL) system where non-orthogonal multiple access (NOMA) beamforming and dynamic user pairing are jointly optimized to maximize the minimum throughput of all DL users. The resulting problem belongs to a class of mixed-integer non-convex optimization. To solve the problem, we first relax the binary variables to continuous ones, and then devise an iterative algorithm based on the inner approximation method which provides at least a local optimal solution. Numerical results verify that the proposed algorithm outperforms other ones, such as conventional beamforming, NOMA with random-pairing and heuristic-search strategies.


title: An Efficient, Practical Algorithm and Implementation for Computing Multiplicatively Weighted Voronoi Diagrams

abstract: We present a simple wavefront-like approach for computing multiplicatively weighted Voronoi diagrams of points and straight-line segments in the Euclidean plane. If the input sites may be assumed to be randomly weighted points then the use of a so-called overlay arrangement [Har-Peled&Raichel, Discrete Comput. Geom. 53:547-568, 2015] allows to achieve an expected runtime complexity of $O(n\log^4 n)$, while still maintaining the simplicity of our approach. We implemented the full algorithm for weighted points as input sites, based on CGAL. The results of an experimental evaluation of our implementation suggest $O(n\log^2 n)$ as a practical bound on the runtime. Our algorithm can be extended to handle also additive weights in addition to multiplicative weights, and it yields a truly simple $O(n\log n)$ solution for solving the one-dimensional version of this problem.


title: Voltage drop across Josephson junctions for L\'evy noise detection

abstract: We propose to characterize L\'evy-distributed stochastic fluctuations through the measurement of the average voltage drop across a current-biased Josephson junction. We show that the noise induced switching process in the Josephson washboard potential can be exploited to reveal and characterize L\'evy fluctuations, also if embedded in a thermal noisy background. The measurement of the average voltage drop as a function of the noise intensity allows to infer the value of the stability index that characterizes L\'evy-distributed fluctuations. An analytical estimate of the average velocity in the case of a L\'evy-driven escape process from a metastable state well agrees with the numerical calculation of the average voltage drop across the junction. The best performances are reached at small bias currents and low temperatures, \emph{i.e.}, when both thermally activated and quantum tunneling switching processes can be neglected. The effects discussed in this work pave the way toward an effective and reliable method to characterize L\'evy components eventually present in an unknown noisy signal.


title: Poisson Approximation to the Convolution of Power Series Distributions

abstract: In this article, we obtain, for the total variance distance, the error bounds between Poisson and convolution of power series distributions via Stein's method. This provides a unified approach to many known discrete distributions. Several Poisson limit theorems follow as corollaries from our bounds. As applications, we compare the Poisson approximation results with the negative binomial approximation results, for the sums of Bernoulli, geometric, and logarithmic series random variables.


title: Systematic parameter space study for the UHECR origin from GRBs in models with multiple internal shocks

abstract: We scrutinize the paradigm that conventional long-duration Gamma-Ray Bursts (GRBs) are the dominant source of the ultra-high energy cosmic rays (UHECRs) within the internal shock scenario by describing UHECR spectrum and composition and by studying the predicted (source and cosmogenic) neutrino fluxes. Since it has been demonstrated that the stacking searches for astrophysical GRB neutrinos strongly constrain the parameter space in single-zone models, we focus on the dynamics of multiple collisions for which different messengers are expected to come from different regions of the same object. We propose a model which can describe both stochastic and deterministic engines, which we study in a systematic way. We find that GRBs can indeed describe the UHECRs for a wide range of different model assumptions with comparable quality albeit with the previously known problematic energy requirements; the heavy mass fraction at injection is found to be larger than 70% (95% CL). We demonstrate that the post-dicted (from UHECR data) neutrino fluxes from sources and UHECR propagation are indeed below the current sensitivities but will be reached by the next generation of experiments. We finally critically review the required source energetics with the specific examples found in this study.


title: Database of 2D hybrid perovskite materials: open-access collection of crystal structures, band gaps and atomic partial charges predicted by machine learning

abstract: We describe a first open-access database of experimentally investigated hybrid organic-inorganic materials with two-dimensional (2D) perovskite-like crystal structure. The database includes 515 compounds, containing 180 different organic cations, 10 metals (Pb, Sn, Bi, Cd, Cu, Fe, Ge, Mn, Pd, Sb) and 3 halogens (I, Br, Cl) known so far and will be regularly updated. The database contains a geometrical and crystal chemical analysis of the structures, which are useful to reveal quantitative structure-property relationships for this class of compounds. We show that the penetration depth of spacer organic cation into the inorganic layer and M-X-M bond angles increase in the number of inorganic layers (n). The machine learning model is developed and trained on the database, for the prediction of a band gap with accuracy within 0.1 eV. Another machine learning model is trained for the prediction of atomic partial charges with accuracy within 0.01 e. We show that the predicted values of band gaps decrease with an increase of the n and with an increase of M-X-M angles for single-layered perovskites. In general, the proposed database and machine learning models are shown to be useful tools for the rational design of new 2D hybrid perovskite materials.


title: Anytime Proximity Moving Horizon Estimation: Stability and Regret

abstract: In this paper, we address the efficient implementation of moving horizon state estimation of constrained discrete-time linear systems. We propose a novel iteration scheme which employs a proximity-based formulation of the underlying optimization algorithm and reduces computational effort by performing only a limited number of optimization iterations each time a new measurement is received. We outline conditions under which global exponential stability of the underlying estimation errors is ensured. Performance guarantees of the iteration scheme in terms of regret upper bounds are also established. A combined result shows that both exponential stability and a sublinear regret which can be rendered smaller by increasing the number of optimization iterations can be guaranteed. The stability and regret results of the proposed estimator are showcased through numerical simulations.


title: Unsupervised deep learning identifies semantic disentanglement in single inferotemporal neurons

abstract: Deep supervised neural networks trained to classify objects have emerged as popular models of computation in the primate ventral stream. These models represent information with a high-dimensional distributed population code, implying that inferotemporal (IT) responses are also too complex to interpret at the single-neuron level. We challenge this view by modelling neural responses to faces in the macaque IT with a deep unsupervised generative model, beta-VAE. Unlike deep classifiers, beta-VAE "disentangles" sensory data into interpretable latent factors, such as gender or hair length. We found a remarkable correspondence between the generative factors discovered by the model and those coded by single IT neurons. Moreover, we were able to reconstruct face images using the signals from just a handful of cells. This suggests that the ventral visual stream may be optimising the disentangling objective, producing a neural code that is low-dimensional and semantically interpretable at the single-unit level.


title: Removing Astrophysics in 21 cm maps with Neural Networks

abstract: Measuring temperature fluctuations in the 21 cm signal from the Epoch of Reionization and the Cosmic Dawn is one of the most promising ways to study the Universe at high redshifts. Unfortunately, the 21 cm signal is affected by both cosmology and astrophysics processes in a non-trivial manner. We run a suite of 1,000 numerical simulations with different values of the main astrophysical parameters. From these simulations we produce tens of thousands of 21 cm maps at redshifts $10\leq z\leq 20$. We train a convolutional neural network to remove the effects of astrophysics from the 21 cm maps, and output maps of the underlying matter field. We show that our model is able to generate 2D matter fields that not only resemble the true ones visually, but whose statistical properties agree with the true ones within a few percent down to pretty small scales. We demonstrate that our neural network retains astrophysical information, that can be used to constrain the value of the astrophysical parameters. Finally, we use saliency maps to try to understand which features of the 21 cm maps is the network using in order to determine the value of the astrophysical parameters.


title: Structural results on harmonic rings and lessened rings

abstract: In this paper, a combination of algebraic and topological methods are applied to obtain new and structural results on harmonic rings. Especially, it is shown that if a Gelfand ring $A$ modulo its Jacobson radical is a zero dimensional ring, then $A$ is a clean ring. It is also proved that, for a given Gelfand ring $A$, then the retraction map Spec$(A)\rightarrow{\rm Max}(A)$ is flat continuous if and only if $A$ modulo its Jacobson radical is a zero dimensional ring. Dually, it is proved that for a given mp-ring $A$, then the retraction map Spec$(A)\rightarrow{\rm Min}(A)$ is Zariski continuous if and only if ${\rm Min}(A)$ is Zariski compact. New criteria for zero dimensional rings, mp-rings and Gelfand rings are given. The new notion of lessened ring is introduced and studied which generalizes "reduced ring" notion. Specially, a technical result is obtained which states that the product of a family of rings is a lessened ring if and only if each factor is a lessened ring. As another result in this spirit, the structure of locally lessened mp-rings is also characterized. Finally, it is characterized that a given ring when is a finite product of fields, integral domains, local rings, and lessened quasi-prime rings.


title: Reduced-form setting under model uncertainty with non-linear affine processes

abstract: In this paper we extend the reduced-form setting under model uncertainty introduced in [5] to include intensities following an affine process under parameter uncertainty, as defined in [15]. This framework allows to introduce a longevity bond under model uncertainty in a consistent way with the classical case under one prior, and to compute its valuation numerically. Moreover, we are able to price a contingent claim with the sublinear conditional operator such that the extended market is still arbitrage-free in the sense of "No Arbitrage of the first kind" as in [6].


title: PropagationNet: Propagate Points to Curve to Learn Structure Information

abstract: Deep learning technique has dramatically boosted the performance of face alignment algorithms. However, due to large variability and lack of samples, the alignment problem in unconstrained situations, \emph{e.g}\onedot large head poses, exaggerated expression, and uneven illumination, is still largely unsolved. In this paper, we explore the instincts and reasons behind our two proposals, \emph{i.e}\onedot Propagation Module and Focal Wing Loss, to tackle the problem. Concretely, we present a novel structure-infused face alignment algorithm based on heatmap regression via propagating landmark heatmaps to boundary heatmaps, which provide structure information for further attention map generation. Moreover, we propose a Focal Wing Loss for mining and emphasizing the difficult samples under in-the-wild condition. In addition, we adopt methods like CoordConv and Anti-aliased CNN from other fields that address the shift-variance problem of CNN for face alignment. When implementing extensive experiments on different benchmarks, \emph{i.e}\onedot WFLW, 300W, and COFW, our method outperforms state-of-the-arts by a significant margin. Our proposed approach achieves 4.05\% mean error on WFLW, 2.93\% mean error on 300W full-set, and 3.71\% mean error on COFW.


title: Reconfiguration of Spanning Trees with Many or Few Leaves

abstract: Let $G$ be a graph and $T_1,T_2$ be two spanning trees of $G$. We say that $T_1$ can be transformed into $T_2$ via an edge flip if there exist two edges $e \in T_1$ and $f$ in $T_2$ such that $T_2= (T_1 \setminus e) \cup f$. Since spanning trees form a matroid, one can indeed transform a spanning tree into any other via a sequence of edge flips, as observed by Ito et al. We investigate the problem of determining, given two spanning trees $T_1,T_2$ with an additional property $\Pi$, if there exists an edge flip transformation from $T_1$ to $T_2$ keeping property $\Pi$ all along. First we show that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at most $k$ (for any fixed $k \ge 3$) leaves is PSPACE-complete. We then prove that determining if there exists a transformation from $T_1$ to $T_2$ such that all the trees of the sequence have at least $k$ leaves (where $k$ is part of the input) is PSPACE-complete even restricted to split, bipartite or planar graphs. We complete this result by showing that the problem becomes polynomial for cographs, interval graphs and when $k=n-2$.