title: Thermodynamic evidence of a second skyrmion lattice phase and tilted conical phase in Cu$_2$0SeO$_3$

abstract: Precision measurements of the magnetization and ac susceptibility of Cu$_2$0SeO$_3$ are reported for magnetic fields along different crystallographic directions, focussing on the border between the conical and the field-polarized state for a magnetic field along the $\langle 100 \rangle$ axis, complemented by selected specific heat data. Clear signatures of the emergence of a second skyrmion phase and a tilted conical phase are observed, as recently identified by means of small-angle neutron scattering. The low-temperature skyrmion phase displays strongly hysteretic phase boundaries, but no dissipative effects. In contrast, the tilted conical phase is accompanied by strong dissipation and higher-harmonic contributions, while the transition fields are essentially nonhysteretic. The formation of the second skyrmion phase and tilted conical phase are found to be insensitive to a vanishing demagnetization factor. A quantitative estimate of the temperature dependence of the magnetocrystalline anisotropy may be consistently inferred from the magnetization and the upper critical field and agrees well with a stabilization of the low-temperature skyrmion phase and tilted conical state by conventional cubic magnetic anisotropies.


title: Algebraic Properties of Toeplitz operators on the symmetrized polydisk

abstract: This paper introduces the classically successful theory of Toeplitz operators on the Hardy space over the unit disk to a new domain in $\mathbb C^d$ -- the symmetrized polydisk.


title: IFDS Taint Analysis with Access Paths

abstract: Over the years, static taint analysis emerged as the analysis of choice to detect some of the most common web application vulnerabilities, such as SQL injection (SQLi) and cross-site scripting (XSS)~\cite{OWASP}. Furthermore, from an implementation perspective, the IFDS dataflow framework stood out as one of the most successful vehicles to implement static taint analysis for real-world Java applications. While existing approaches scale reasonably to medium-size applications (e.g. up to one hour analysis time for less than 100K lines of code), our experience suggests that no existing solution can scale to very large industrial code bases (e.g. more than 1M lines of code). In this paper, we present our novel IFDS-based solution to perform fast and precise static taint analysis of very large industrial Java web applications. Similar to state-of-the-art approaches to taint analysis, our IFDS-based taint analysis uses \textit{access paths} to abstract objects and fields in a program. However, contrary to existing approaches, our analysis is demand-driven, which restricts the amount of code to be analyzed, and does not rely on a computationally expensive alias analysis, thereby significantly improving scalability.


title: Improving robustness against common corruptions with frequency biased models

abstract: CNNs perform remarkably well when the training and test distributions are i.i.d, but unseen image corruptions can cause a surprisingly large drop in performance. In various real scenarios, unexpected distortions, such as random noise, compression artefacts, or weather distortions are common phenomena. Improving performance on corrupted images must not result in degraded i.i.d performance - a challenge faced by many state-of-the-art robust approaches. Image corruption types have different characteristics in the frequency spectrum and would benefit from a targeted type of data augmentation, which, however, is often unknown during training. In this paper, we introduce a mixture of two expert models specializing in high and low-frequency robustness, respectively. Moreover, we propose a new regularization scheme that minimizes the total variation (TV) of convolution feature-maps to increase high-frequency robustness. The approach improves on corrupted images without degrading in-distribution performance. We demonstrate this on ImageNet-C and also for real-world corruptions on an automotive dataset, both for object classification and object detection.


title: Mesosiderite formation on asteroid 4 Vesta by a hit-and-run collision

abstract: Collision and disruption processes of proto-planetary bodies in the early solar system are key to understanding the genesis of diverse types of main-belt asteroids. Mesosiderites are stony-iron meteorites that formed by mixing of howardite-eucrite-diogenite-like crust and molten core materials and provide unique insights into the catastrophic break-up of differentiated asteroids. However, the enigmatic formation process and the poorly constrained timing of metal-silicate mixing complicate the assignment to potential parent bodies. Here we report high-precision uranium-lead dating of mesosiderite zircons by isotope dilution thermal ionization mass spectrometry, revealing initial crust formation 4,558.5 +/- 2.1 million years ago and metal-silicate mixing at 4,525.39 +/- 0.85 million years. The two distinct ages coincide with the timing of crust formation and a large-scale reheating event on the eucrite parent body, likely the asteroid Vesta. This chronological coincidence corroborates that Vesta is the parent body of mesosiderite silicates. Mesosiderite formation on Vesta can be explained by a hit-and-run collision 4,525.4 million years ago that caused the thick crust observed by NASA's Dawn mission and explains the missing olivine in mesosiderites, howardite-eucrite-diogenite meteorites, and vestoids.


title: Monomer Fluctuations and the Distribution of Residual Bond Orientations in Polymer Networks

abstract: In the present work, four series of simulations are analyzed: entangled model networks of a) mono-disperse or b) poly-disperse weight distribution between the crosslinks, c) non-entangled phantom model networks and d) non-entangled model networks with excluded volume interactions. Previous work on the average residual bond orientations (RBO) of model networks [1] is extended to describe the distribution of RBOs for the entangled networks of the present study. The phantom model can be used to describe the monomer fluctuations, average RBOs, and the distribution of RBOs in networks without entanglements and without excluded volume. Monomer fluctuations in networks with excluded volume but without entanglements can be described if the phantom model is corrected by the effect of the incompletely screened excluded volume. It is shown that parameters of the tube model can be determined from monomer fluctuations in polymer networks and from the RBO. A scaling of the RBO $\propto N^{-1/2}$ is observed in both mono-disperse and poly-disperse entangled networks, while for all networks without entanglements an RBO $\propto N^{-1}$ is found. The distribution of the RBO of entangled samples can be described by assuming a normal distribution of tube lengths that is broadened by local fluctuations in tube curvature. Both observables, monomer fluctuations and RBO, are in agreement with slip link or slip tube models [2] for networks and disagree with network models that do not allow a sliding motion of the monomers along a confining tube.


title: An Improved and Extended Bayesian Synthetic Control

abstract: An improved and extended Bayesian synthetic control model is presented, expanding upon the latent factor model in Tuomaala 2019. The changes we make include 1) standardization of the data prior to model fit - which improves efficiency and generalization across different data sets; 2) adding time varying covariates; 3) adding the ability to have multiple treated units; 4) fitting the latent factors within the Bayesian model; and, 5) a sparsity inducing prior to automatically tune the number of latent factors. We demonstrate the similarity of estimates to two traditional synthetic control studies in Abadie, Diamond, and Hainmueller 2010 and Abadie, Diamond, and Hainmueller 2015 and extend to multiple target series with a new example of estimating digital website visitation from changes in data collection due to digital privacy laws.


title: Linear time DBSCAN for sorted 1D data and laser range scan segmentation

abstract: This paper introduces new algorithm for line extraction from laser range data including methodology for efficient computation. The task is cast to series of one dimensional problems in various spaces. A fast and simple specialization of DBSCAN algorithm is proposed to solve one dimensional subproblems. Experiments suggest that the method is suitable for real-time applications, handles noise well and may be useful in practice.


title: Floating photovoltaic systems: photovoltaic cable submersion and impacts analysis

abstract: Floating photovoltaics (FPV) is an emerging technology that is gaining attention worldwide. However, little information is still available on its possible impacts in the aquatic ecosystems, as well as on the durability of its components. Therefore, this work intends to provide a contribution to this field, analysing possible obstacles that can compromise the performance of this technology, adding to an increase of its reliability and assessing possible impacts. The problem under study is related to the potential submersion of photovoltaic cables, that can lead to a degradation of its electrical insulation capabilities and, consequently, higher energy production losses and water contamination. In the present study, the submersion of photovoltaic cables (with two different insulation materials) in freshwater and artificial seawater was tested, in order to replicate real life conditions, when FPV systems are located in reservoirs or in the marine environment. Electrical insulation tests were carried out weekly to assess possible cable degradation, the physical-chemical characteristics of the water were also periodically monitored, complemented by analysis to detect traces of copper and microplastics in the water. The results showed that the submersion of photovoltaic cables with rubber sheath in saltwater can lead to a cable accelerated degradation, with reduction of its electrical insulation and, consequently, copper release into the aquatic environment.


title: Shower Identification in Calorimeter using Deep Learning

abstract: Pions constitute nearly $70\%$ of final state particles in ultra high energy collisions. They act as a probe to understand the statistical properties of Quantum Chromodynamics (QCD) matter i.e. Quark Gluon Plasma (QGP) created in such relativistic heavy ion collisions (HIC). Apart from this, direct photons are the most versatile tools to study relativistic HIC. They are produced, by various mechanisms, during the entire space-time history of the strongly interacting system. Direct photons provide measure of jet-quenching when compared with other quark or gluon jets. The $\pi^{0}$ decay into two photons make the identification of non-correlated gamma coming from another process cumbersome in the Electromagnetic Calorimeter. We investigate the use of deep learning architecture for reconstruction and identification of single as well as multi particles showers produced in calorimeter by particles created in high energy collisions. We utilize the data of electromagnetic shower at calorimeter cell-level to train the network and show improvements for identification and characterization. These networks are fast and computationally inexpensive for particle shower identification and reconstruction for current and future experiments at particle colliders.


title: Loop decay in Abelian-Higgs string networks

abstract: We study the decay of cosmic string loops in the Abelian-Higgs model. We confirm earlier results that loops formed by intersections of infinite strings formed from random-field initial conditions disappear quickly, with lifetime proportional to their initial rest-frame length $\ell_\text{init}$. We study a population with $\ell_\text{init}$ up to $6000$ inverse mass units, and measure the proportionality constant to be $0.14\pm0.04$, independently of the initial lengths. We propose a new method to construct oscillating non-self intersecting loops from initially stationary strings, and show that by contrast these loops have lifetimes scaling approximately as $\ell_\text{init}^2$, in line with previous works on artificially created string configurations. We show that the oscillating strings have mean-square velocity $\bar{v}^2 \simeq 0.500 \pm 0.004$, consistent with the Nambu-Goto value of $1/2$, while the network loops have $\bar{v}^2 \simeq 0.40 \pm 0.04$. We argue that whatever the mechanism behind the network loop decay is, it is non-linear, can only be suppressed by careful tuning of initial conditions, and is much stronger than gravitational radiation. An implication is that one cannot use the Nambu-Goto model to derive robust constraints on the tension of field theory strings. We advocate parametrising the uncertainty as the fraction $f_\text{NG}$ of Nambu-Goto-like loops surviving to radiate gravitationally. None of the 31 large network loops created survived longer than 0.25 of their initial length, so one can estimate that $f_\text{NG}<0.1$ at $95$% confidence level. If the recently reported NANOgrav signal is due to cosmic strings, $f_\text{NG}$ must be greater than $10^{-3}$ in order not to violate bounds from the Cosmic Microwave Background.


title: CutFEM and ghost stabilization techniques for higher order space-time discretizations of the Navier-Stokes equations

abstract: We propose and analyze computationally a new fictitious domain method, based on higher order space-time finite element discretizations, for the simulation of the nonstationary, incompressible Navier-Stokes equations on evolving domains. The physical domain is embedded into a fixed computational mesh such that arbitrary intersections of the moving domain's boundaries with the background mesh occur. The potential of such cut finite element techniques for higher order space-time finite element methods has rarely been studied in the literature so far and deserves further elucidation. The key ingredients of the approach are the weak formulation of Dirichlet boundary conditions by Nitsche's method, the flexible and efficient integration over all types of intersections of cells by moving boundaries and the spatial extension of the discrete physical quantities to the entire computational background mesh including fictitious (ghost) subdomains of fluid flow. Thereby, an expensive remeshing and adaptation of the sparse matrix data structure are avoided and the computations are accelerated. To prevent spurious oscillations caused by irregular intersections of mesh cells, a penalization, defining also implicitly the extension to ghost domains, is added. These techniques are embedded in an arbitrary order, discontinuous Galerkin discretization of the time variable and an inf-sup stable discretization of the spatial variables. The parallel implementation of the matrix assembly is described. The optimal order convergence properties of the algorithm are illustrated in a numerical experiment for an evolving domain. The well-known 2d benchmark of flow around a cylinder as well as flow around moving obstacles with arising cut cells and fictitious domains are considered further.


title: The Breakthrough Listen Search for Intelligent Life: MeerKAT Target Selection

abstract: New radio telescope arrays offer unique opportunities for large-scale commensal SETI surveys. Ethernet-based architectures are allowing multiple users to access telescope data simultaneously by means of multicast Ethernet subscriptions. Breakthrough Listen will take advantage of this by conducting a commensal SETI survey on the MeerKAT radio telescope in South Africa. By subscribing to raw voltage data streams, Breakthrough Listen will be able to beamform commensally anywhere within the field of view during primary science observations. The survey will be conducted with unprecedented speed by forming and processing 64 coherent beams simultaneously, allowing the observation of several million objects within a few years. Both coherent and incoherent observing modes are planned. We present the list of desired sources for observation and explain how these sources were selected from the Gaia DR2 catalog. Given observations planned by MeerKAT's primary telescope users, we discuss their effects on the commensal survey and propose a commensal observing strategy in response. Finally, we outline our proposed approach towards observing one million nearby stars and analyse expected observing progress in the coming years.


title: The randomized local computation complexity of the Lov\'asz local lemma

abstract: The Local Computation Algorithm (LCA) model is a popular model in the field of sublinear-time algorithms that measures the complexity of an algorithm by the number of probes the algorithm makes in the neighborhood of one node to determine that node's output. In this paper we show that the randomized LCA complexity of the Lov\'asz Local Lemma (LLL) on constant degree graphs is $\Theta(\log n)$. The lower bound follows by proving an $\Omega(\log n)$ lower bound for the Sinkless Orientation problem introduced in [Brandt et al. STOC 2016]. This answers a question of [Rosenbaum, Suomela PODC 2020]. Additionally, we show that every randomized LCA algorithm for a locally checkable problem with a probe complexity of $o(\sqrt{\log{n}})$ can be turned into a deterministic LCA algorithm with a probe complexity of $O(\log^* n)$. This improves exponentially upon the currently best known speed-up result from $o(\log \log n)$ to $O(\log^* n)$ implied by the result of [Chang, Pettie FOCS 2017] in the LOCAL model. Finally, we show that for every fixed constant $c \geq 2$, the deterministic VOLUME complexity of $c$-coloring a bounded degree tree is $\Theta(n)$, where the VOLUME model is a close relative of the LCA model that was recently introduced by [Rosenbaum, Suomela PODC 2020].


title: Landmarking 2.0: Bridging the gap between joint models and landmarking

abstract: The problem of dynamic prediction with time-dependent covariates, given by biomarkers, repeatedly measured over time, has received much attention over the last decades. Two contrasting approaches have become in widespread use. The first is joint modelling, which attempts to jointly model the longitudinal markers and the event time. The second is landmarking, a more pragmatic approach that avoids modelling the marker process. Landmarking has been shown to be less efficient than correctly specified joint models in simulation studies, when data are generated from the joint model. When the mean model is misspecified, however, simulation has shown that joint models may be inferior to landmarking. The objective of this paper is to develop methods that improve the predictive accuracy of landmarking, while retaining its relative simplicity and robustness. We start by fitting a working longitudinal model for the biomarker, including a temporal correlation structure. Based on that model, we derive a predictable time-dependent process representing the expected value of the biomarker after the landmark time, and we fit a time-dependent Cox model based on the predictable time-dependent covariate. Dynamic predictions based on this approach for new patients can be obtained by first deriving the expected values of the biomarker, given the measured values before the landmark time point, and then calculating the predicted probabilities based on the time-dependent Cox model. We illustrate the approach in predicting overall survival in liver cirrhosis patients based on prothrombin index.


title: Stochastic proximal subgradient descent oscillates in the vicinity of its accumulation set

abstract: We analyze the stochastic proximal subgradient descent in the case where the objective functions are path differentiable and verify a Sard-type condition. While the accumulation set may not be reduced to unique point, we show that the time spent by the iterates to move from one accumulation point to another goes to infinity. An oscillation-type behavior of the drift is established. These results show a strong stability property of the proximal subgradient descent. Using the theory of closed measures, Bolte, Pauwels and R\'ios-Zertuche established this type of behavior for the deterministic subgradient descent. Our technique of proof relies on the classical works on stochastic approximation of differential inclusions, which allows us to extend results in the deterministic case to a stochastic and proximal setting, as well as to treat these different cases in a unified manner.


title: Resolving the Complex Evolution of a Supermassive Black Hole Triplet in a Cosmological Simulation

abstract: We present here a self-consistent cosmological zoom-in simulation of a triple supermassive black hole (SMBH) system forming in a complex multiple galaxy merger. The simulation is run with an updated version of our code KETJU, which is able to follow the motion of SMBHs down to separations of tens of Schwarzschild radii while simultaneously modeling the large-scale astrophysical processes in the surrounding galaxies, such as gas cooling, star formation, and stellar and AGN feedback. Our simulation produces initially a SMBH binary system for which the hardening process is interrupted by the late arrival of a third SMBH. The KETJU code is able to accurately model the complex behavior occurring in such a triple SMBH system, including the ejection of one SMBH to a kiloparsec-scale orbit in the galaxy due to strong three-body interactions as well as Lidov-Kozai oscillations suppressed by relativistic precession when the SMBHs are in a hierarchical configuration. One pair of SMBHs merges $\sim 3\,\mathrm{Gyr}$ after the initial galaxy merger, while the remaining binary is at a parsec-scale separation when the simulation ends at redshift $z=0$. We also show that KETJU can capture the effects of the SMBH binaries and triplets on the surrounding stellar population, which can affect the binary merger timescales as the stellar density in the system evolves. Our results demonstrate the importance of dynamically resolving the complex behavior of multiple SMBHs in galactic mergers, as such systems cannot be readily modeled using simple orbit-averaged semi-analytic models.


title: Towards Understanding Adversarial Robustness of Optical Flow Networks

abstract: Recent work demonstrated the lack of robustness of optical flow networks to physical patch-based adversarial attacks. The possibility to physically attack a basic component of automotive systems is a reason for serious concerns. In this paper, we analyze the cause of the problem and show that the lack of robustness is rooted in the classical aperture problem of optical flow estimation in combination with bad choices in the details of the network architecture. We show how these mistakes can be rectified in order to make optical flow networks robust to physical patch-based attacks. Additionally, we take a look at global white-box attacks in the scope of optical flow. We find that targeted white-box attacks can be crafted to bias flow estimation models towards any desired output, but this requires access to the input images and model weights. However, in the case of universal attacks, we find that optical flow networks are robust. Code is available at https://github.com/lmb-freiburg/understanding_flow_robustness.


title: Radio-frequency characterization of a supercurrent transistor made from a carbon nanotube

abstract: A supercurrent transistor is a superconductor-semiconductor hybrid device in which the Josephson supercurrent is switched on and off using a gate voltage. While such devices have been studied using DC transport, radio-frequency measurements allow for more sensitive and faster experiments. Here a supercurrent transistor made from a carbon nanotube is measured simultaneously via DC conductance and radio-frequency reflectometry. The radio-frequency measurement resolves all the main features of the conductance data across a wide range of bias and gate voltage, and many of these features are seen more clearly. These results are promising for measuring other kinds of hybrid superconducting devices, in particular for detecting the reactive component of the impedance, which a DC measurement can never detect.


title: Model-Contrastive Federated Learning

abstract: Federated learning enables multiple parties to collaboratively train a machine learning model without communicating their local data. A key challenge in federated learning is to handle the heterogeneity of local data distribution across parties. Although many studies have been proposed to address this challenge, we find that they fail to achieve high performance in image datasets with deep learning models. In this paper, we propose MOON: model-contrastive federated learning. MOON is a simple and effective federated learning framework. The key idea of MOON is to utilize the similarity between model representations to correct the local training of individual parties, i.e., conducting contrastive learning in model-level. Our extensive experiments show that MOON significantly outperforms the other state-of-the-art federated learning algorithms on various image classification tasks.


title: Exact Internal Controllability for a Problem with Imperfect Interface

abstract: In this paper we study the internal exact controllability for a second order linear evolution equation defined in a two-component domain. On the interface we prescribe a jump of the solution proportional to the conormal derivatives, meanwhile a homogeneous Dirichlet condition is imposed on the exterior boundary. Due to the geometry of the domain, we apply controls through two regions which are neighborhoods of a part of the external boundary and of the whole interface, respectively. Our approach to internal exact controllability consists in proving an observability inequality by using the Lagrange multipliers method. Eventually we apply the Hilbert Uniqueness Method, introduced by J.-L. Lions, which leads to the construction of the exact control through the solution of an adjoint problem. Finally we find a lower bound for the control time depending not only on the geometry of our domain and on the matrix of coefficients of our problem but also on the coefficient of proportionality of the jump with respect to the conormal derivatives.


title: On the Structure of Star-Polymer Networks

abstract: Using the bond fluctuation model we study polymer networks obtained by endlinking of symmetric 4-arm star polymers. We consider two types of systems. Solutions of one type (A) of star polymers and solution of two types (A,B) of star polymer where A-type polymers can only crosslink with B-type polymers. We find that network defects in $A$ networks are dominated by short dangling loops close to overlap concentration $c^{*}$. $AB$ networks develop a more perfect network structure, since loop sizes involving an odd number of stars are impossible, and thus, the most frequent dangling loop with largest impact on the phantom modulus is absent. The analysis of the pair-correlation and scattering function reveals that there is an amorphous packing of $A$ and $B$ type stars with a homogenization of $A$ and $B$ concentrations upon cross-linking at intermediate length scales in contrast to the previously suggested crystalline like order of $A$ and $B$ components at $c^{*}$. This result is corroborated by the coincidence of the probabilities of the shortest loop structures (which is impossible upon the previously suggested packing of stars) in both types of networks. Furthermore, we derive the vector order parameters associated with the most frequent network structures based on the phantom model. In particular, for $AB$ networks we can show that there is a dominating cyclic defect with a clearly separated order parameter that could be used to analyze cyclic network defects.


title: On the minimal number of translated points in contact lens spaces

abstract: In this article, we prove that every contactomorphism of any standard contact lens space of dimension $2n-1$ that is contact-isotopic to identity has at least $2n$ translated points. This sharp lower bound refines a result of Granja-Karshon-Pabiniak-Sandon and answers a conjecture of Sandon positively.


title: Existence results in large-strain magnetoelasticity

abstract: We investigate variational problems in large-strain magnetoelasticity, both in the static and in the quasistatic setting. The model contemplates a mixed Eulerian-Lagrangian formulation: while deformations are defined on the reference configuration, magnetizations are defined on the deformed set in the actual space. In the static setting, we establish the existence of minimizers. In particular, we provide a compactness result for sequences of admissible states with equi-bounded energies which gives the convergence of the composition of magnetizations with deformations. In the quasistatic setting, we consider a notion of dissipation which is frame-indifferent and we show that the incremental minimization problem is solvable. Then, we propose a regularization of the model in the spirit of gradient polyconvexity and we prove the existence of energetic solutions for the regularized model.


title: Is Image-to-Image Translation the Panacea for Multimodal Image Registration? A Comparative Study

abstract: Despite current advancement in the field of biomedical image processing, propelled by the deep learning revolution, multimodal image registration, due to its several challenges, is still often performed manually by specialists. The recent success of image-to-image (I2I) translation in computer vision applications and its growing use in biomedical areas provide a tempting possibility of transforming the multimodal registration problem into a, potentially easier, monomodal one. We conduct an empirical study of the applicability of modern I2I translation methods for the task of rigid registration of multimodal biomedical and medical 2D and 3D images. We compare the performance of four Generative Adversarial Network (GAN)-based I2I translation methods and one contrastive representation learning method, subsequently combined with two representative monomodal registration methods, to judge the effectiveness of modality translation for multimodal image registration. We evaluate these method combinations on four publicly available multimodal (2D and 3D) datasets and compare them with the performance of registration achieved by several well-known approaches acting directly on multimodal image data. Our results suggest that, although I2I translation may be helpful when the modalities to register are clearly correlated, registration of modalities which express distinctly different properties of the sample is not well handled by the I2I translation approach. The evaluated representation learning method, which aims to find abstract image-like representations of the information shared between the modalities, manages better, and so does the Mutual Information maximisation approach, acting directly on the original multimodal images. We share our complete experimental setup as open-source (https://github.com/MIDA-group/MultiRegEval).


title: Stability, bifurcation and control of a predator-prey ecosystem with prey herd behaviour against generalist predator with gestation delay

abstract: In this paper, we proposed a population model depicting the dynamics of a prey species showing group defence against a generalist predator. The group defence characteristic is represented by a non-monotonic functional response. We have established the local stability of the model around the co-existent equilibrium solution using a local Lyapunov function. Condition for existence Hopf bifurcation is obtained along with its normal form. Numerical simulations have been done to confirm the obtained analytical results as well as to validate the proposed model. Sensitivity analysis of the parameters is performed using Latin hypercube sampling(LHS)/partial rank correlation coefficient(PRCC). Blow-up in the population is controlled using the Z-type dynamic method.


title: On Capital Allocation for a Risk Measure Derived from Ruin Theory

abstract: This paper addresses allocation methodologies for a risk measure inherited from ruin theory. Specifically, we consider a dynamic value-at-risk (VaR) measure defined as the smallest initial capital needed to ensure that the ultimate ruin probability is less than a given threshold. We introduce an intuitively appealing, novel allocation method, with a focus on its application to capital reserves which are determined through the dynamic value-at-risk (VaR) measure. Various desirable properties of the presented approach are derived including a limit result when considering a large time horizon and the comparison with the frequently used gradient allocation method. In passing, we introduce a second allocation method and discuss its relation to the other allocation approaches. A number of examples illustrate the applicability and performance of the allocation approaches.


title: Is segmentation uncertainty useful?

abstract: Probabilistic image segmentation encodes varying prediction confidence and inherent ambiguity in the segmentation problem. While different probabilistic segmentation models are designed to capture different aspects of segmentation uncertainty and ambiguity, these modelling differences are rarely discussed in the context of applications of uncertainty. We consider two common use cases of segmentation uncertainty, namely assessment of segmentation quality and active learning. We consider four established strategies for probabilistic segmentation, discuss their modelling capabilities, and investigate their performance in these two tasks. We find that for all models and both tasks, returned uncertainty correlates positively with segmentation error, but does not prove to be useful for active learning.


title: Normal operators in real and quaternionic Hilbert spaces

abstract: A new approach to normal operators in real Hilbert spaces is discussed, and spectral decompositions are obtained, via unique associated real spectral measures on complex subsets, having a more classical flavor. The results are then applied to quaternionic normal operators, which are regarded as special classes of real normal operators.


title: High-Dimensional Bayesian Optimization with Multi-Task Learning for RocksDB

abstract: RocksDB is a general-purpose embedded key-value store used in multiple different settings. Its versatility comes at the cost of complex tuning configurations. This paper investigates maximizing the throughput of RocksDB IO operations by auto-tuning ten parameters of varying ranges. Off-the-shelf optimizers struggle with high-dimensional problem spaces and require a large number of training samples. We propose two techniques to tackle this problem: multi-task modeling and dimensionality reduction through a manual grouping of parameters. By incorporating adjacent optimization in the model, the model converged faster and found complicated settings that other tuners could not find. This approach had an additional computational complexity overhead, which we mitigated by manually assigning parameters to each sub-goal through our knowledge of RocksDB. The model is then incorporated in a standard Bayesian Optimization loop to find parameters that maximize RocksDB's IO throughput. Our method achieved x1.3 improvement when benchmarked against a simulation of Facebook's social graph traffic, and converged in ten optimization steps compared to other state-of-the-art methods that required fifty steps.


title: Short Cyclic Structures in Polymer Model Networks: A Test of Mean Field Approximation by Monte Carlo Simulations

abstract: A mean field rate theory description of the homo- and co-polymerization of $f$-functional molecules is developed, which contains the formation of short cyclic structures inside the network. The predictions of this model are compared with Monte-Carlo simulations of cross-linking of star polymers in solution. We find that homo-polymerizations are well captured by mean-field models at concentrations larger than one quarter of the geometrical overlap concentration. All simulation data can be fit using a single geometric parameter for cyclization. The simulation data reveal that within the range of parameters of the present study correlations among multiply connected molecules can be neglected. Thus, mean-field treatments of homopolymerizations are reasonable approximations, if short cycles are properly addressed. Co-polymerization is considered in the case of strict A-B reactions, where all reactive groups of individual molecules are either of type A or B. For these systems we find a clear influence of the local intermixing of A and B groups for all concentrations investigated. In consequence, mean-field models are less appropriate to describe the simulation data. The lack of ring structures containing an odd number of molecules as compared to homopolymerizations at the same extent of reaction allows for the formation of stable AB networks at concentrations one order of magnitude below the geometrical overlap concentration.


title: Target Speaker Verification with Selective Auditory Attention for Single and Multi-talker Speech

abstract: Speaker verification has been studied mostly under the single-talker condition. It is adversely affected in the presence of interference speakers. Inspired by the study on target speaker extraction, e.g., SpEx, we propose a unified speaker verification framework for both single- and multi-talker speech, that is able to pay selective auditory attention to the target speaker. This target speaker verification (tSV) framework jointly optimizes a speaker attention module and a speaker representation module via multi-task learning. We study four different target speaker embedding schemes under the tSV framework. The experimental results show that all four target speaker embedding schemes significantly outperform other competitive solutions for multi-talker speech. Notably, the best tSV speaker embedding scheme achieves 76.0% and 55.3% relative improvements over the baseline system on the WSJ0-2mix-extr and Libri2Mix corpora in terms of equal-error-rate for 2-talker speech, while the performance of tSV for single-talker speech is on par with that of traditional speaker verification system, that is trained and evaluated under the same single-talker condition.


title: Thermodynamic phase structure of complex Sachdev-Ye-Kitaev model and charged black hole in deformed JT gravity

abstract: The van der Waals-Maxwell phase transition theory is among the oldest and the most simplest theories describing thermodynamic phase transitions in physics. Studying the complex Sachdev-Ye-Kitaev (cSYK) model numerically and deriving a new black hole solution in Jackiw-Telteiboim (JT)gravity analytically, we investigate how these models behave like the van der Waals-Maxwell liquid-gas model. The cSYK model exhibits first order phase transition terminating at the critical point, while the charged black hole in JT gravity shows a clear van der Waals-Maxwell like phase structure. In the absence of charge, the corresponding neutral black hole still has the Hawking-Page phase transition. The black hole solution also provides the first example in JT gravity yielding the van der Waals-Maxwell like phase structure.


title: Oxide spin-orbitronics: spin-charge interconversion and topological spin textures

abstract: Quantum oxide materials possess a vast range of properties stemming from the interplay between the lattice, charge, spin and orbital degrees of freedom, in which electron correlations often play an important role. Historically, the spin-orbit coupling was rarely a dominant energy scale in oxides. It however recently came to the forefront, unleashing various exotic phenomena connected with real and reciprocal-space topology that may be harnessed in spintronics. In this article, we review the recent advances in the new field of oxide spin-orbitronics with a special focus on spin-charge interconversion from the direct and inverse spin Hall and Edelstein effects, and on the generation and observation of topological spin textures such as skyrmions. We highlight the control of spin-orbit-driven effects by ferroelectricity and give perspectives for the field.


title: Finite Horizon Robust Impulse Control in a Non-Markovian Framework and Related Systems of Reflected BSDEs

abstract: We consider a robust impulse control problem in finite horizon where the underlying uncertainty stems from an impulsively and continuously controlled functional stochastic differential equation (FSDE) driven by Brownian motion. We assume that the controller acts upon the system by impulses while the adversary player (nature) acts through continuous controls. We look for a weak solution which leads us to consider a system of sequentially interconnected, obliquely reflected backward stochastic differential equations (RBSDEs) with stochastic Lipschitz coefficients. We show existence of solutions to our system of RBSDEs by applying a Picard iteration approach. Uniqueness then follows by relating the limit to an auxiliary impulse control problem.


title: Multi-modal Trajectory Prediction for Autonomous Driving with Semantic Map and Dynamic Graph Attention Network

abstract: Predicting future trajectories of surrounding obstacles is a crucial task for autonomous driving cars to achieve a high degree of road safety. There are several challenges in trajectory prediction in real-world traffic scenarios, including obeying traffic rules, dealing with social interactions, handling traffic of multi-class movement, and predicting multi-modal trajectories with probability. Inspired by people's natural habit of navigating traffic with attention to their goals and surroundings, this paper presents a unique dynamic graph attention network to solve all those challenges. The network is designed to model the dynamic social interactions among agents and conform to traffic rules with a semantic map. By extending the anchor-based method to multiple types of agents, the proposed method can predict multi-modal trajectories with probabilities for multi-class movements using a single model. We validate our approach on the proprietary autonomous driving dataset for the logistic delivery scenario and two publicly available datasets. The results show that our method outperforms state-of-the-art techniques and demonstrates the potential for trajectory prediction in real-world traffic.


title: The Swelling of Olympic Gels

abstract: The swelling equilibrium of Olympic gels, which are composed of entangled cyclic polymers, is studied by Monte Carlo Simulations. In contrast to chemically crosslinked polymer networks, we observe that Olympic gels made of chains with a \emph{larger} degree of polymerization, $N$, exhibit a \emph{smaller} equilibrium swelling degree, $Q\propto N^{-0.28}\phi_{0}^{-0.72}$, at the same polymer volume fraction $\phi_{0}$ at network preparation. This observation is explained by a desinterspersion process of overlapping non-concatenated rings upon swelling.


title: Efficient verification of entangled continuous-variable quantum states with local measurements

abstract: Continuous-variable quantum states are of particular importance in various quantum information processing tasks including quantum communication and quantum sensing. However, a bottleneck has emerged with the fast increasing in size of the quantum systems which severely hinders their efficient characterization. In this work, we establish a systematic framework for verifying entangled continuous-variable quantum states by employing local measurements only. Our protocol is able to achieve the unconditionally high verification efficiency which is quadratically better than quantum tomography as well as other nontomographic methods. Specifically, we demonstrate the power of our protocol by showing the efficient verification of entangled two-mode and multimode coherent states with local measurements.


title: Industry 4.0 in Finland: Towards Twin Transition

abstract: This submission has been removed by arXiv administrators as the submitter did not have the right to agree to the license at the time of submission.


title: Conditional Meta-Learning of Linear Representations

abstract: Standard meta-learning for representation learning aims to find a common representation to be shared across multiple tasks. The effectiveness of these methods is often limited when the nuances of the tasks' distribution cannot be captured by a single representation. In this work we overcome this issue by inferring a conditioning function, mapping the tasks' side information (such as the tasks' training dataset itself) into a representation tailored to the task at hand. We study environments in which our conditional strategy outperforms standard meta-learning, such as those in which tasks can be organized in separate clusters according to the representation they share. We then propose a meta-algorithm capable of leveraging this advantage in practice. In the unconditional setting, our method yields a new estimator enjoying faster learning rates and requiring less hyper-parameters to tune than current state-of-the-art methods. Our results are supported by preliminary experiments.


title: Quantum dots as parafermion detectors

abstract: Parafermionic zero modes, $\mathbb{Z}_n$-symmetric generalizations of the well-known $\mathbb{Z}_2$ Majorana zero modes, can emerge as edge states in topologically nontrivial strongly correlated systems displaying fractionalized excitations. In this paper, we investigate how signatures of parafermionic zero modes can be detected by its effects on the properties of a quantum dot tunnel-coupled to a system hosting such states. Concretely, we consider a strongly-correlated 1D fermionic model supporting $\mathbb{Z}_4$ parafermionic zero modes coupled to an interacting quantum dot at one of its ends. By using a combination of density matrix renormalization group calculations and analytical approaches, we show that the dot's zero-energy spectral function and average occupation numbers can be used to distinguish between trivial, $\mathbb{Z}_4$ and $2\times \mathbb{Z}_2$ phases of the system. The present work opens the prospect of using quantum dots as detection tools to probe non-trivial topological phases in strongly correlated systems.


title: Collaborative Innovation, Collaborative Capabilities and Value Co-creation in an Industry 4.0 Context: An Empirical Evidence


title: A Dynamic Battery State-of-Health Forecasting Model for Electric Trucks: Li-Ion Batteries Case-Study

abstract: It is of extreme importance to monitor and manage the battery health to enhance the performance and decrease the maintenance cost of operating electric vehicles. This paper concerns the machine-learning-enabled state-of-health (SoH) prognosis for Li-ion batteries in electric trucks, where they are used as energy sources. The paper proposes methods to calculate SoH and cycle life for the battery packs. We propose autoregressive integrated modeling average (ARIMA) and supervised learning (bagging with decision tree as the base estimator; BAG) for forecasting the battery SoH in order to maximize the battery availability for forklift operations. As the use of data-driven methods for battery prognostics is increasing, we demonstrate the capabilities of ARIMA and under circumstances when there is little prior information available about the batteries. For this work, we had a unique data set of 31 lithium-ion battery packs from forklifts in commercial operations. On the one hand, results indicate that the developed ARIMA model provided relevant tools to analyze the data from several batteries. On the other hand, BAG model results suggest that the developed supervised learning model using decision trees as base estimator yields better forecast accuracy in the presence of large variation in data for one battery.


title: Stakeholders interdependencies and their role in sustainable business model innovation

abstract: Sustainable innovation requires in-time development, diversification and transformation of business models from one to another. Business model innovation, development and transformation for sustainability incorporates economic, environmental and social value by advancing the management of the stakeholders into the business model. Except a little research on business model inter-dependencies, scant research has been done on stakeholders inter-dependencies in order to understand their nature and relationship while developing or transforming a business model and creating an impact on environment, society and economy. Therefore, current research uses actor dependency model to analyze four different kind of inter-dependencies, namely, goal-dependency, task-dependency, resource-dependency and soft-goal dependency. The ecology of business model experimentation map is used as a tool for practical understanding of sustainable business modelling with a multi-actor approach in a workshop setting. The findings will help to understand how stakeholders depend on each other while developing a business model for sustainability and innovation.


title: High-Tc superconductivity in clathrate calcium hydride CaH6

abstract: Recent discovery of superconductive rare earth/actinide superhydrides has ushered in a new era of superconductivity research at high pressures. This distinct type of clathrate metal hydrides was first proposed for alkaline-earth-metal hydride CaH6 that, however, has long eluded experimental synthesis, impeding an understanding of pertinent physics. Here, we report successful synthesis of CaH6 and its measured superconducting critical temperature Tc of 215 K at 172 GPa, which is evidenced by a sharp drop of resistivity to zero and a characteristic decrease of Tc under a magnetic field up to 9 T.An estimate based on the Werthamer-Helfand-Hohenberg model gives a giant zero-temperature upper critical magnetic field of 203 T. These remarkable benchmark superconducting properties place CaH6 among the most outstanding high-Tc superhydrides, marking it as the hitherto only clathrate metal hydride outside the family of rare earth/actinide hydrides. This exceptional case raises great prospects of expanding the extraordinary class of high-Tc superhydrides to a broader variety of compounds that possess more diverse material features and physics characteristics.


title: Symbol-Level Precoding Through the Lens of Zero Forcing and Vector Perturbation

abstract: Symbol-level precoding (SLP) has recently emerged as a new paradigm for physical-layer transmit precoding in multiuser multi-input-multi-output (MIMO) channels. It exploits the underlying symbol constellation structure, which the conventional paradigm of linear precoding does not, to enhance symbol-level performance such as symbol error probability (SEP). It also allows the precoder to take a more general form than linear precoding. This paper aims to better understand the relationships between SLP and linear precoding, subsequent design implications, and further connections beyond the existing SLP scope. Focused on the quadrature amplitude modulation (QAM) constellations, our study is built on a basic signal observation, namely, that SLP can be equivalently represented by a zero-forcing (ZF) linear precoding scheme augmented with some appropriately chosen symbol-dependent perturbation terms, and that some extended form of SLP is equivalent to a vector perturbation (VP) nonlinear precoding scheme augmented with the above-noted perturbation terms. We examine how insights arising from this perturbed ZF and VP interpretations can be leveraged to i) substantially simplify the optimization of certain SLP design criteria, namely, total or peak power minimization subject to SEP quality guarantees; and ii) draw connections with some existing SLP designs. We also touch on the analysis side by showing that, under the total power minimization criterion, the basic ZF scheme is a near-optimal SLP scheme when the QAM order is very high -- which gives a vital implication that SLP is more useful for lower-order QAM cases. Numerical results further indicate the merits and limitations of the different SLP designs derived from the perturbed ZF and VP interpretations.


title: Locate then Segment: A Strong Pipeline for Referring Image Segmentation

abstract: Referring image segmentation aims to segment the objects referred by a natural language expression. Previous methods usually focus on designing an implicit and recurrent feature interaction mechanism to fuse the visual-linguistic features to directly generate the final segmentation mask without explicitly modeling the localization information of the referent instances. To tackle these problems, we view this task from another perspective by decoupling it into a "Locate-Then-Segment" (LTS) scheme. Given a language expression, people generally first perform attention to the corresponding target image regions, then generate a fine segmentation mask about the object based on its context. The LTS first extracts and fuses both visual and textual features to get a cross-modal representation, then applies a cross-model interaction on the visual-textual features to locate the referred object with position prior, and finally generates the segmentation result with a light-weight segmentation network. Our LTS is simple but surprisingly effective. On three popular benchmark datasets, the LTS outperforms all the previous state-of-the-art methods by a large margin (e.g., +3.2% on RefCOCO+ and +3.4% on RefCOCOg). In addition, our model is more interpretable with explicitly locating the object, which is also proved by visualization experiments. We believe this framework is promising to serve as a strong baseline for referring image segmentation.


title: Single Test Image-Based Automated Machine Learning System for Distinguishing between Trait and Diseased Blood Samples

abstract: We introduce a machine learning-based method for fully automated diagnosis of sickle cell disease of poor-quality unstained images of a mobile microscope. Our method is capable of distinguishing between diseased, trait (carrier), and normal samples unlike the previous methods that are limited to distinguishing the normal from the abnormal samples only. The novelty of this method comes from distinguishing the trait and the diseased samples from challenging images that have been captured directly in the field. The proposed approach contains two parts, the segmentation part followed by the classification part. We use a random forest algorithm to segment such challenging images acquitted through a mobile phone-based microscope. Then, we train two classifiers based on a random forest (RF) and a support vector machine (SVM) for classification. The results show superior performances of both of the classifiers not only for images which have been captured in the lab, but also for the ones which have been acquired in the field itself.


title: Detecting the birth and death of finite-time coherent sets

abstract: Finite-time coherent sets (FTCSs) are distinguished regions of phase space that resist mixing with the surrounding space for some finite period of time; physical manifestations include eddies and vortices in the ocean and atmosphere, respectively. The boundaries of finite-time coherent sets are examples of Lagrangian coherent structures (LCSs). The selection of the time duration over which FTCS and LCS computations are made in practice is crucial to their success. If this time is longer than the lifetime of coherence of individual objects then existing methods will fail to detect the shorter-lived coherence. It is of clear practical interest to determine the full lifetime of coherent objects, but in complicated practical situations, for example a field of ocean eddies with varying lifetimes, this is impossible with existing approaches. Moreover, determining the timing of emergence and destruction of coherent sets is of significant scientific interest. In this work we introduce new constructions to address these issues. The key components are an inflated dynamic Laplace operator and the concept of semi-material FTCSs. We make strong mathematical connections between the inflated dynamic Laplacian and the standard dynamic Laplacian [Froyland 2015], showing that the latter arises as a limit of the former. The spectrum and eigenfunctions of the inflated dynamic Laplacian directly provide information on the number, lifetimes, and evolution of coherent~sets.


title: Perfect absorption in GaAs metasurfaces by degenerate critical coupling

abstract: Enhancing absorption in optically thin semiconductors is the key in the development of high-performance optical and optoelectronic devices. In this paper, we resort to the concept of degenerate critical coupling and design an ultra-thin semiconductor absorber composed of free-standing GaAs nanocylinder metasurfaces in the near infrared. The numerical results show that perfect absorption can be achieved through overlapping two Mie modes with opposite symmetry, with each mode contributing a theoretical maximum of 50% in their respective critical coupling state. The absorption also shows the polarization-independent and angle-insensitive robustness. This work, together with the design concept, opens up great opportunities for the realization of high-efficiency metasurface devices, including optical emitters, modulators, detectors, and sensors.


title: Directly measuring mode purity of single component in superposed optical vortices

abstract: Mode purity is an important reference for the quality of the optical vortex. In this work, we propose a self-interference method to directly measure single component in superposed optical vortices based on phase-shifting technology. This method has excellent flexibility and robustness, which can be applied to a variety of occasions and harsh conditions. Careful alignment and optimized error analysis allow us to generate and measure single component with mode purity as high as 99.997%.


title: Grounding Dialogue Systems via Knowledge Graph Aware Decoding with Pre-trained Transformers

abstract: Generating knowledge grounded responses in both goal and non-goal oriented dialogue systems is an important research challenge. Knowledge Graphs (KG) can be viewed as an abstraction of the real world, which can potentially facilitate a dialogue system to produce knowledge grounded responses. However, integrating KGs into the dialogue generation process in an end-to-end manner is a non-trivial task. This paper proposes a novel architecture for integrating KGs into the response generation process by training a BERT model that learns to answer using the elements of the KG (entities and relations) in a multi-task, end-to-end setting. The k-hop subgraph of the KG is incorporated into the model during training and inference using Graph Laplacian. Empirical evaluation suggests that the model achieves better knowledge groundedness (measured via Entity F1 score) compared to other state-of-the-art models for both goal and non-goal oriented dialogues.


title: BKP tau-functions as square roots of KP tau-functions

abstract: It is well-known that a BKP tau-function is the square root of a certain KP tau-function, provided one puts the even KP times equal to zero. In this paper we compute for all polynomial BKP tau-function its corresponding KP "square". We also give, in the polynomial case, a representation theoretical proof of a recent result by Alexandov, viz. that a KdV tau-function becomes a BKP tau-function when one divides all KdV times by 2.


title: Leveraging Self-Supervision for Cross-Domain Crowd Counting

abstract: State-of-the-art methods for counting people in crowded scenes rely on deep networks to estimate crowd density. While effective, these data-driven approaches rely on large amount of data annotation to achieve good performance, which stops these models from being deployed in emergencies during which data annotation is either too costly or cannot be obtained fast enough. One popular solution is to use synthetic data for training. Unfortunately, due to domain shift, the resulting models generalize poorly on real imagery. We remedy this shortcoming by training with both synthetic images, along with their associated labels, and unlabeled real images. To this end, we force our network to learn perspective-aware features by training it to recognize upside-down real images from regular ones and incorporate into it the ability to predict its own uncertainty so that it can generate useful pseudo labels for fine-tuning purposes. This yields an algorithm that consistently outperforms state-of-the-art cross-domain crowd counting ones without any extra computation at inference time.


title: Data-driven modelling of scalable spinodoid structures for energy absorption

abstract: The project aims to explore a novel way to design and produce cellular materials with good energy absorption and recoverability properties. Spinodoid structures offer an alternative to engineering structures such as honeycombs and foam with scalability ensuring microscale benefits are reaped on a larger scale. Various materials and topologies have been utilised for numerical modeling and prototyping through additive manufacturing. Each design was evaluated using finite element modelling. Initial results from numerical models show anisotropic structures achieving high energy absorption efficiency. Through data-driven optimisation, results show a peak energy absorption value of 5.34 $MJ/m^{3}$ for anisotropic columnar structure. A physics-informed biased grid-search optimisation is faster due to parameters being explored in parallel. To validate the numerical model, compressive tests on various prototypes were conducted.


title: Large-Dimensional Random Matrix Theory and Its Applications in Deep Learning and Wireless Communications

abstract: Large-dimensional random matrix theory, RMT for short, which originates from the research field of quantum physics, has shown tremendous capability in providing deep insights into large dimensional systems. With the fact that we have entered an unprecedented era full of massive amounts of data and large complex systems, RMT is expected to play more important roles in the analysis and design of modern systems. In this paper, we review the key results of RMT and its applications in two emerging fields: wireless communications and deep learning. In wireless communications, we show that RMT can be exploited to design the spectrum sensing algorithms for cognitive radio systems and to perform the design and asymptotic analysis for large communication systems. In deep learning, RMT can be utilized to analyze the Hessian, input-output Jacobian and data covariance matrix of the deep neural networks, thereby to understand and improve the convergence and the learning speed of the neural networks. Finally, we highlight some challenges and opportunities in applying RMT to the practical large dimensional systems.


title: On the relative power of algebraic approximations of graph isomorphism

abstract: We compare the capabilities of two approaches to approximating graph isomorphism using linear algebraic methods: the \emph{invertible map tests} (introduced by Dawar and Holm) and proof systems with algebraic rules, namely \emph{polynomial calculus}, \emph{monomial calculus} and \emph{Nullstellensatz calculus}. In the case of fields of characteristic zero, these variants are all essentially equivalent to the the Weisfeiler-Leman algorithms. In positive characteristic we show that the invertible map method can simulate the monomial calculus and identify a potential way to extend this to the monomial calculus.


title: Exploring Edge TPU for Network Intrusion Detection in IoT

abstract: This paper explores Google's Edge TPU for implementing a practical network intrusion detection system (NIDS) at the edge of IoT, based on a deep learning approach. While there are a significant number of related works that explore machine learning based NIDS for the IoT edge, they generally do not consider the issue of the required computational and energy resources. The focus of this paper is the exploration of deep learning-based NIDS at the edge of IoT, and in particular the computational and energy efficiency. In particular, the paper studies Google's Edge TPU as a hardware platform, and considers the following three key metrics: computation (inference) time, energy efficiency and the traffic classification performance. Various scaled model sizes of two major deep neural network architectures are used to investigate these three metrics. The performance of the Edge TPU-based implementation is compared with that of an energy efficient embedded CPU (ARM Cortex A53). Our experimental evaluation shows some unexpected results, such as the fact that the CPU significantly outperforms the Edge TPU for small model sizes.


title: Soft X-ray absorption spectroscopy and magnetic circular dichroism under pulsed high magnetic field of Ni-Co-Mn-In metamagnetic shape memory alloy

abstract: In this study, X-ray absorption spectroscopy (XAS) experiments for Ni45Co5Mn36.7In13.3 metamagnetic shape memory alloy were performed under high magnetic fields up to 12 T using a pulsed magnet. Field-induced reverse transformation to austenite phase caused considerable changes in the magnetic circular dichroism (MCD) signals and the magnetic moments of the ferromagnetic coupling between Mn, Ni, and Co were determined. The spin magnetic moment, Mspin, and orbital magnetic moment, Morb, of Mn atom in the induced austenite ferromagnetic phase, estimated based on the magneto-optical sum rule, were 3.2 and 0.13 {\mu}B, respectively, resulting in an Morb / Mspin ratio of 0.04. In the element-specific magnetization curves recorded at 150 K, metamagnetic behavior associated with the field-induced reverse transformation is clearly observed and reverse transformation finishing magnetic field and martensitic transformation starting magnetic field are detected. There was almost no difference in the magnetically averaged XAS spectrum for Mn-L2,3 edges between in the martensite and in the magnetic field-induced austenite phases, however, it was visible for Ni, indicating that Ni 3d-electrons mainly contribute to martensitic transformation.


title: Data-driven femtosecond optical soliton excitations and parameters discovery of the high-order NLSE using the PINN

abstract: We use the physics-informed neural network to solve a variety of femtosecond optical soliton solutions of the high order nonlinear Schr\"odinger equation, including one-soliton solution, two-soliton solution, rogue wave solution, W-soliton solution and M-soliton solution. The prediction error for one-soliton, W-soliton and M-soliton is smaller. As the prediction distance increases, the prediction error will gradually increase. The unknown physical parameters of the high order nonlinear Schr\"odinger equation are studied by using rogue wave solutions as data sets. The neural network is optimized from three aspects including the number of layers of the neural network, the number of neurons, and the sampling points. Compared with previous research, our error is greatly reduced. This is not a replacement for the traditional numerical method, but hopefully to open up new ideas.


title: Techno-economic analysis of PV-battery systems in Switzerland

abstract: This paper presents a techno-economic optimization model to analyze the economic viability of a PV-battery system for different customer groups in Switzerland clustered based on their annual electricity consumption, rooftop size, annual irradiation and location. The simulations for a static investment model are carried out for years 2020-2050 and a comprehensive sensitivity analysis is conducted to investigate the impacts of individual parameters such as costs, load profiles, electricity prices and tariffs, etc. Results show that while combining PV with batteries already results in better net present values than PV alone for some customer groups today, the payback periods fluctuate between 2020 and 2035 due to the mixed effects of policy changes, costs and electricity price developments. The optimal PV and battery sizes increase over time and in 2050 the PV investment is mostly limited by the rooftop size. The economic viability of PV-battery system investments varies between different customer groups and the most attractive investment (i.e., that has the shortest payback period) is mostly accessible to customer groups with higher annual irradiation and electricity demand. In addition, investment decisions are highly sensitive to payback periods, future costs, electricity prices and tariff developments. Lastly, the grid impact of the PV-battery system deployments are investigated by analyzing the residual Swiss system load profiles. The dynamics of residual load profiles caused by the seasonal, daily and hourly patterns of the solar generation emphasizes the need for flexible resources with fast ramping capabilities.


title: Generalized $b$-symbol weights of Linear Codes and $b$-symbol MDS Codes

abstract: Generalized pair weights of linear codes are generalizations of minimum symbol-pair weights, which were introduced by Liu and Pan \cite{LP} recently. Generalized pair weights can be used to characterize the ability of protecting information in the symbol-pair read wire-tap channels of type II. In this paper, we introduce the notion of generalized $b$-symbol weights of linear codes over finite fields, which is a generalization of generalized Hamming weights and generalized pair weights. We obtain some basic properties and bounds of generalized $b$-symbol weights which are called Singleton-like bounds for generalized $b$-symbol weights. As examples, we calculate generalized weight matrices for simplex codes and Hamming codes. We provide a necessary and sufficient condition for a linear code to be a $b$-symbol MDS code by using the generator matrix and the parity check matrix of this linear code. Finally, a necessary and sufficient condition of a linear isomorphism preserving $b$-symbol weights between two linear codes is obtained. As a corollary, we get the classical MacWilliams extension theorem when $b=1$.


title: Nonlinear Algebra and Applications

abstract: We showcase applications of nonlinear algebra in the sciences and engineering. Our review is organized into eight themes: polynomial optimization, partial differential equations, algebraic statistics, integrable systems, configuration spaces of frameworks, biochemical reaction networks, algebraic vision, and tensor decompositions. Conversely, developments on these topics inspire new questions and algorithms for algebraic geometry.


title: Closed geodesics with prescribed intersection numbers

abstract: Let $(\Sigma, g)$ be a closed, oriented, negatively curved surface, and fix pairwise disjoint simple closed geodesics $\gamma_{\star,1}, \dots \gamma_{\star, r}$. We give an asymptotic growth as $L \to +\infty$ of the number of primitive closed geodesic of length less than $L$ intersecting $\gamma_{\star,j}$ exactly $n_j$ times, where $n_1, \dots, n_r$ are fixed nonnegative integers. This is done by introducing a dynamical scattering operator associated to the surface with boundary obtained by cutting $\Sigma$ along $\gamma_{\star,1}, \dots, \gamma_{\star, r}$ and by using the theory of Pollicott-Ruelle resonances for open systems.


title: Rethinking Spatial Dimensions of Vision Transformers

abstract: Vision Transformer (ViT) extends the application range of transformers from language processing to computer vision tasks as being an alternative architecture against the existing convolutional neural networks (CNN). Since the transformer-based architecture has been innovative for computer vision modeling, the design convention towards an effective architecture has been less studied yet. From the successful design principles of CNN, we investigate the role of spatial dimension conversion and its effectiveness on transformer-based architecture. We particularly attend to the dimension reduction principle of CNNs; as the depth increases, a conventional CNN increases channel dimension and decreases spatial dimensions. We empirically show that such a spatial dimension reduction is beneficial to a transformer architecture as well, and propose a novel Pooling-based Vision Transformer (PiT) upon the original ViT model. We show that PiT achieves the improved model capability and generalization performance against ViT. Throughout the extensive experiments, we further show PiT outperforms the baseline on several tasks such as image classification, object detection, and robustness evaluation. Source codes and ImageNet models are available at https://github.com/naver-ai/pit


title: From the distributions of times of interactions to preys and predators dynamical systems

abstract: We consider a stochastic individual based model where each predator searches during a random time and then manipulates its prey or rests. The time distributions may be non-exponential. An age structure allows to describe these interactions and get a Markovian setting. The process is characterized by a measure-valued stochastic differential equation. We prove averaging results in this infinite dimensional setting and get the convergence of the slow-fast macroscopic prey predator process to a two dimensional dynamical system. We recover classical functional responses. We also get new forms arising in particular when births and deaths of predators are affected by the lack of food.


title: A computational fluid dynamics model for the small-scale dynamics of wave, ice floe and interstitial grease ice interaction

abstract: The marginal ice zone is a highly dynamical region where sea ice and ocean waves interact. Large-scale sea ice models only compute domain-averaged responses. As the majority of the marginal ice zone consists of mobile ice floes surrounded by grease ice, finer-scale modelling is needed to resolve variations of its mechanical properties, wave-induced pressure gradients and drag forces acting on the ice floes. A novel computational fluid dynamics approach is presented, that considers the heterogeneous sea ice material composition and accounts for the wave-ice interaction dynamics. Results show, after comparing three realistic sea ice layouts with similar concentration and floe diameter, that the discrepancy between the domain-averaged temporal stress and strain rate evolutions increases for decreasing wave period. Furthermore, strain rate and viscosity are mostly affected by the variability of ice floe shape and diameter.


title: Well-posedness of the Stokes-transport system in bounded domains and in the infinite strip

abstract: We consider the Stokes-transport system, a model for the evolution of an incompressible viscous fluid with inhomogeneous density. This equation was already known to be globally well-posed for any $L^1\cap L^\infty$ initial density with finite first moment in $\mathbb{R}^3$. We show that similar results hold on different domain types. We prove that the system is globally well-posed for $L^\infty$ initial data in bounded domains of $\mathbb{R}^2$ and $\mathbb{R}^3$ as well as in the infinite strip $\mathbb{R}\times(0,1)$. These results contrast with the ill-posedness of a similar problem, the incompressible porous medium equation, for which uniqueness is known to fail for such a density regularity.


title: Respondent Driven Sampling on sparse Erd\"os-R\'enyi graphs

abstract: We study the exploration of an Erd\"os-R\'enyi random graph by a respondent-driven sampling method, where discovered vertices reveal their neighbours. Some of them receive coupons to reveal in their turn their own neighbourhood. This leads to the study of a Markov chain on the random graph that we study. For sparse Erd\"os-R\'enyi graphs of large sizes, this process correctly renormalized converges to the solution of a deterministic curve, solution of a system of ODEs absorbed on the abscissa axis. The associated fluctuation process is also studied, providing a functional central limit theorem, with a Gaussian limiting process. Simulations and numerical computation illustrate the study.


title: Right-covariant differential calculus on ${\cal F}({\mathbb C}_q^{2|1})$

abstract: We define a new ${\mathbb Z}_2$-graded quantum (2+1)-space and show that the extended ${\mathbb Z}_2$-graded algebra of polynomials on this ${\mathbb Z}_2$-graded quantum space, denoted by ${\cal F}({\mathbb C}_q^{2\vert1})$, is a ${\mathbb Z}_2$-graded Hopf algebra. We construct a right-covariant differential calculus on ${\cal F}({\mathbb C}_q^{2\vert1})$ and define a ${\mathbb Z}_2$-graded quantum Weyl algebra and mention a few algebraic properties of this algebra. Finally, we explicitly construct the dual ${\mathbb Z}_2$-graded Hopf algebra of ${\cal F}({\mathbb C}_q^{2\vert1})$.


title: Generation of a single ion large oscillator

abstract: We demonstrate the generation of a trapped ion oscillator having large oscillation amplitude of $16.9~{\rm \mu m}$. Applying an offset voltage to the ion trap electrode helped achieve a displacement of the trap center within the time scale of 5 ns. The fluorescence dynamics of the ion were analyzed after the displacement to estimate the oscillation amplitude. The realized trap displacement is one order magnitude larger than that achieved in the previous work. Thus, this result is an important step toward the realization of a gyroscope using a single trapped ion.


title: Cluster Algebras and Scattering Diagrams, Part II. Cluster Patterns and Scattering Diagrams

abstract: We review some important results by Gross, Hacking, Keel, and Kontsevich on cluster algebra theory, namely, the column sign-coherence of $C$-matrices and the Laurent positivity, both of which were conjectured by Fomin and Zelevinsky. We digest and reconstruct the proofs of these conjectures by Gross et al. still based on their scattering diagram method, however, without relying on toric geometry. At the same time, we also give a detailed account of the correspondence between the notions of cluster patterns and scattering diagrams. Most of the results in this text are found in or translated from the known results in the literature. However, the approach, the construction of logic and proofs, and the overall presentation are new. Also, as an application of the results and the techniques in the text, we show that there is a one-to-one correspondence between $g$-vectors and cluster variables in cluster patterns with arbitrary coefficients.


title: To aggregate or not to aggregate: Forecasting of finite autocorrelated demand

abstract: Temporal aggregation is an intuitively appealing approach to deal with demand uncertainty. There are two types of temporal aggregation: non-overlapping and overlapping. Most of the supply chain forecasting literature has focused so far on the former and there is no research that analyses the latter for auto-correlated demands. In addition, most of the analytical research to-date assumes infinite demand series' lengths whereas, in practice, forecasting is based on finite demand histories. The length of the demand history is an important determinant of the comparative performance of the two approaches but has not been given sufficient attention in the literature. In this paper we examine the effectiveness of temporal aggregation for forecasting finite auto-correlated demand. We do so by means of an analytical study of the forecast accuracy of aggregation and non-aggregation approaches based on mean squared error. We complement this with a numerical analysis to explore the impact of demand parameters and the length of the series on (comparative) performance. We also conduct an empirical evaluation to validate the analytical results using monthly time series of the M4-competition dataset. We find the degree of auto-correlation, the forecast horizon and the length of the series to be important determinants of forecast accuracy. We discuss the merits of each approach and highlight their implications for real world practices.


title: Modular $S_4\times SU(5)$ GUT

abstract: Modular symmetry offers the possibility to provide an origin of discrete flavour symmetry and to break it along particular symmetry preserving directions without introducing flavons or driving fields. It is also possible to use a weighton field to account for charged fermion mass hierarchies rather than a Froggatt-Nielsen mechanism. Such an approach can be applied to flavoured Grand Unified Theories (GUTs) which can be greatly simplified using modular forms. As an example, we consider a modular version of a previously proposed $S_4\times SU(5)$ GUT, with Gatto-Sartori-Tonin and Georgi-Jarlskog relations, in which all flavons and driving fields are removed, with their effect replaced by modular forms with moduli assumed to be at various fixed points, rendering the theory much simpler. In the neutrino sector there are two right-handed neutrinos constituting a Littlest Seesaw model satisfying Constrained Sequential Dominance (CSD) where the two columns of the Dirac neutrino mass matrix are proportional to $(0,1, -1)$ and $(1, n, 2-n)$ respectively, and $n=1+\sqrt{6}\approx 3.45$ is prescribed by the modular symmetry, with predictions subject to charged lepton mixing corrections. We perform a numerical analysis, showing quark and lepton mass and mixing correlations around the best fit points.


title: FastCTF: A Robust Solver for Conduction Transfer Function Coefficients and Thermal Response Factors

abstract: Conduction transfer functions (CTF) are commonly used in the building services to quickly estimate hourly conduction heat loads through multilayered walls without resorting to expensive, time-consuming solutions of the heat equation. It is essential for any software developed for this purpose to be able to simulate walls of varying weight with a high degree of accuracy. A robust algorithm for computing CTF coefficients and thermal response factors based on power series expansions of solutions of the governing equations in the complex s-domain is presented and validated. These series expansions are used to to construct Pad\'e approximants of the system's transfer functions, which greatly simplifies the inversion of the solution from the complex domain to the time domain, and allows for an easy recovery of a time series representation via the Z-transform. The algorithm is also implemented in an open-source C++ code. Its performance is validated with respect to exact theoretical frequency characteristics and its results are compared with data generated by previously established methods for computing CTF coefficients / response factors.


title: Nonlinear optical response of resonantly driven polaron-polaritons

abstract: Exciton polaritons in two-dimensional semiconductors inside microcavities are powerful platforms to explore hybrid light-matter quantum systems. Here, we study a macroscopic coherent population of the lowest energy state of polaron-polaritons, which are quasiparticles formed by the dressing of exciton polaritons by particle-hole excitations in a surrounding electron gas. Using a non-perturbative many-body theory to describe exciton-electron correlations combined with a non-equilibrium theory for the macroscopically populated state, we show that the electrons strongly affect the collective properties of the polaron-polaritons. This stems from the dependence of the polaron-polariton energy and the interaction between them on the electron density, which leads to strong nonlinearities. We identify stable and unstable regimes of the polaron-polaritons by calculating its excitation spectrum, and show that they result in prominent hysteresis effects when the electron density is varied. Our results should be readily observable using present experimental technology.


title: Maximal connected k-subgroups of maximal rank in connected reductive algebraic k-groups

abstract: Let $k$ be any field and let $G$ be a connected reductive algebraic $k$-group. Associated to $G$ is an invariant first studied by Satake and Tits that is called the index of $G$ (a Dynkin diagram along with some additional combinatorial information). Tits showed that the $k$-isogeny class of $G$ is uniquely determined by its index and the $k$-isogeny class of its anisotropic kernel $G_a$. For the cases where $G$ is absolutely simple, Satake and Tits classified all possibilities for the index of $G$. Let $H$ be a connected reductive $k$-subgroup of maximal rank in $G$. We introduce an invariant of the $G(k)$-conjugacy class of $H$ in $G$ called the embedding of indices of $H$ in $G$. This consists of the index of $H$ and the index of $G$ along with an embedding map that satisfies certain compatibility conditions. We introduce an equivalence relation called index-conjugacy on the set of $k$-subgroups of $G$, and observe that the $G(k)$-conjugacy class of $H$ in $G$ is determined by its index-conjugacy class and the $G(k)$-conjugacy class of $H_a$ in $G$. We show that the index-conjugacy class of $H$ in $G$ is uniquely determined by its embedding of indices. For the cases where $G$ is absolutely simple of exceptional type and $H$ is maximal connected in $G$, we classify all possibilities for the embedding of indices of $H$ in $G$. Finally, we establish some existence results. In particular, we consider which embeddings of indices exist when $k$ has cohomological dimension $1$ (resp. $k=R$, $k$ is $p$-adic).


title: The influence of surface $CO_{\mathrm{2}}$ condensation on the evolution of warm and cold rocky planets orbiting Sun-like stars

abstract: The habitable zone is the region around a star where standing bodies of liquid water can be stable on a planetary surface. Its width is often assumed to be dictated by the efficiency of the carbonate-silicate cycle, which has maintained habitable surface conditions on our planet for billions of years. This cycle may be inhibited by surface condensation of significant amounts of $CO_{\mathrm{2}}$ ice, which is likely to occur on distant planets containing high enough levels of atmospheric $CO_{\mathrm{2}}$. Such a process could permanently trap $CO_{\mathrm{2}}$ ice within the planet, threatening its long-term habitability. Recent work has modeled this scenario for initially cold and icy planetary bodies orbiting the Sun. Here, we use an advanced energy balance model to consider both initially warm and cold rapidly-rotating planets orbiting F - K stars. We show that the range of orbital distances where significant surface $CO_{\mathrm{2}}$ ice condensation occurs is significantly reduced for warm start planets. Star type does not affect this conclusion, although surface $CO_{\mathrm{2}}$ ice condenses over a larger fraction of the habitable zone around hotter stars. The warm start simulations are thus consistent with 1-D model predictions, suggesting that the classical habitable zone limits in those earlier models are still valid. We also find that the cold start simulations exhibit trends that are consistent with those of previous work for the Sun although we now extend the analysis to other star types.


title: Leveraging a Joint of Phenotypic and Genetic Features on Cancer Patient Subgrouping

abstract: Cancer is responsible for millions of deaths worldwide every year. Although significant progress has been achieved in cancer medicine, many issues remain to be addressed for improving cancer therapy. Appropriate cancer patient stratification is the prerequisite for selecting appropriate treatment plan, as cancer patients are of known heterogeneous genetic make-ups and phenotypic differences. In this study, built upon deep phenotypic characterizations extractable from Mayo Clinic electronic health records (EHRs) and genetic test reports for a collection of cancer patients, we developed a system leveraging a joint of phenotypic and genetic features for cancer patient subgrouping. The workflow is roughly divided into three parts: feature preprocessing, cancer patient classification, and cancer patient clustering based. In feature preprocessing step, we performed filtering, retaining the most relevant features. In cancer patient classification, we utilized joint categorical features to build a patient-feature matrix and applied nine different machine learning models, Random Forests (RF), Decision Tree (DT), Support Vector Machine (SVM), Naive Bayes (NB), Logistic Regression (LR), Multilayer Perceptron (MLP), Gradient Boosting (GB), Convolutional Neural Network (CNN), and Feedforward Neural Network (FNN), for classification purposes. Finally, in the cancer patient clustering step, we leveraged joint embeddings features and patient-feature associations to build an undirected feature graph and then trained the cancer feature node embeddings.


title: Deep Regression on Manifolds: A 3D Rotation Case Study

abstract: Many machine learning problems involve regressing variables on a non-Euclidean manifold -- e.g. a discrete probability distribution, or the 6D pose of an object. One way to tackle these problems through gradient-based learning is to use a differentiable function that maps arbitrary inputs of a Euclidean space onto the manifold. In this paper, we establish a set of desirable properties for such mapping, and in particular highlight the importance of pre-images connectivity/convexity. We illustrate these properties with a case study regarding 3D rotations. Through theoretical considerations and methodological experiments on a variety of tasks, we review various differentiable mappings on the 3D rotation space, and conjecture about the importance of their local linearity. We show that a mapping based on Procrustes orthonormalization generally performs best among the mappings considered, but that a rotation vector representation might also be suitable when restricted to small angles.


title: Planet-induced radio emission from the coronae of M dwarfs: the case of Prox Cen and AU Mic

abstract: There have recently been detections of radio emission from low-mass stars, some of which are indicative of star-planet interactions. Motivated by these exciting new results, in this paper we present Alfv\'en wave-driven stellar wind models of the two active planet-hosting M dwarfs Prox Cen and AU Mic. Our models incorporate large-scale photospheric magnetic field maps reconstructed using the Zeeman-Doppler Imaging method. We obtain a mass-loss rate of $0.25~\dot{M}_{\odot}$ for the wind of Prox Cen. For the young dwarf AU Mic, we explore two cases: a low and high mass-loss rate. Depending on the properties of the Alfv\'en waves which heat the corona in our wind models, we obtain mass-loss rates of $27$ and $590~\dot{M}_{\odot}$ for AU Mic. We use our stellar wind models to assess the generation of electron cyclotron maser instability emission in both systems, through a mechanism analogous to the sub-Alfv\'enic Jupiter-Io interaction. For Prox Cen we do not find any feasible scenario where the planet can induce radio emission in the star's corona, as the planet orbits too far from the star in the super-Alfv\'enic regime. However, in the case that AU Mic has a stellar wind mass-loss rate of $27~\dot{M}_{\odot}$, we find that both planets b and c in the system can induce radio emission from $\sim10$ MHz to 3 GHz in the corona of the host star for the majority of their orbits, with peak flux densities of $\sim10$ mJy. Detection of such radio emission would allow us to place an upper limit on the mass-loss rate of the star.


title: 3+1 decomposition in modified gravities within the Palatini formalism and some applications

abstract: In the present paper, the 3+1 decomposition of the spacetime onto hypersurface(s) is analysed and established for theories within the Palatini formalism by considering a general function of the Ricci scalar in the gravitational action. The corresponding Gauss-Codazzi relations are obtained and the boundary term that has to be subtracted in the gravitational action is easily deduced. Then, these relations are applied to the so-called ADM decomposition to describe the foliation of the spacetime onto hypersurfaces of constant time within these theories. Finally, the junction conditions are also obtained by using a decomposition in Gaussian normal coordinates, which coincide with the conditions deduced previously through different approaches.


title: Linear Collider Signals of $Z'$ Bosons in GUT Inspired Gauge-Higgs Unification

abstract: In gauge-Higgs unification (GHU), the 4D Higgs boson appears as a part of the fifth dimensional component of 5D gauge field. Recently, an $SO(11)$ GUT inspired $SO(5)\times U(1)\times SU(3)$ GHU model has been proposed. In the GHU, Kaluza-Klein (KK) excited states of neutral vector bosons, photon, $Z$ boson and $Z_R$ boson, appear as neutral massive vector bosons $Z'$s. The $Z'$ bosons in the GHU couple to quarks and leptons with large parity violation, which leads to distinctive polarization dependence in, e.g., cross sections and forward-backward asymmetries in $e^-e^+\to\mu^-\mu^+,q\bar{q}$ processes. In the talk, we discuss fermion pair production in $e^-e^+$ linear collider experiments with polarized $e^-$ and $e^+$ beams in the GUT inspired GHU. Deviations from the SM are shown in the early stage of planned international linear collider (ILC) with 250 GeV experiments. The deviations can be tested for the KK mass scale up to about 15 TeV. This talk is mainly based on Phys.Rev.D102(2020)015029.


title: On the Hilbert scheme of linearly normal curves in $\mathbb{P}^r$ with small index of speciality

abstract: We study the Hilbert scheme $\mathcal{H}^\mathcal{L}_{d,g,r}$ parametrizing smooth, irreducible, non-degenerate and linearly normal curves of degree $d$ and genus $g$ in $\mathbb{P}^r$ whose complete and very ample hyperplane linear series $\mathcal{D}$ have relatively small index of speciality $i(\mathcal{D})=g-d+r$. In particular we show the existence (and non-existence as well in some sporadic cases) of every Hilbert scheme of linearly normal curves with $i(\mathcal{D})=4$. We also determine the irreducibility of $\mathcal{H}^\mathcal{L}_{2r+4,r+8,r}$ for $3\le r\le 8$, which are rather peculiar families in a certain sense.


title: Exact thermal properties of free-fermionic spin chains

abstract: An exact description of integrable spin chains at finite temperature is provided using an elementary algebraic approach in the complete Hilbert space of the system. We focus on spin chain models that admit a description in terms of free fermions, including paradigmatic examples such as the one-dimensional transverse-field quantum Ising and XY models. The exact partition function is derived and compared with the ubiquitous approximation in which only the positive parity sector of the energy spectrum is considered. Errors stemming from this approximation are identified in the neighborhood of the critical point at low temperatures. We further provide the full counting statistics of a wide class of observables at thermal equilibrium and characterize in detail the thermal distribution of the kink number and transverse magnetization in the transverse-field quantum Ising chain.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Thermal Neural Networks: Lumped-Parameter Thermal Modeling With State-Space Machine Learning

abstract: With electric power systems becoming more compact and increasingly powerful, the relevance of thermal stress especially during overload operation is expected to increase ceaselessly. Whenever critical temperatures cannot be measured economically on a sensor base, a thermal model lends itself to estimate those unknown quantities. Thermal models for electric power systems are usually required to be both, real-time capable and of high estimation accuracy. Moreover, ease of implementation and time to production play an increasingly important role. In this work, the thermal neural network (TNN) is introduced, which unifies both, consolidated knowledge in the form of heat-transfer-based lumped-parameter models, and data-driven nonlinear function approximation with supervised machine learning. A quasi-linear parameter-varying system is identified solely from empirical data, where relationships between scheduling variables and system matrices are inferred statistically and automatically. At the same time, a TNN has physically interpretable states through its state-space representation, is end-to-end trainable -- similar to deep learning models -- with automatic differentiation, and requires no material, geometry, nor expert knowledge for its design. Experiments on an electric motor data set show that a TNN achieves higher temperature estimation accuracies than previous white-/grey- or black-box models with a mean squared error of $3.18~\text{K}^2$ and a worst-case error of $5.84~\text{K}$ at 64 model parameters.


title: Automated Cleanup of the ImageNet Dataset by Model Consensus, Explainability and Confident Learning

abstract: The convolutional neural networks (CNNs) trained on ILSVRC12 ImageNet were the backbone of various applications as a generic classifier, a feature extractor or a base model for transfer learning. This paper describes automated heuristics based on model consensus, explainability and confident learning to correct labeling mistakes and remove ambiguous images from this dataset. After making these changes on the training and validation sets, the ImageNet-Clean improves the model performance by 2-2.4 % for SqueezeNet and EfficientNet-B0 models. The results support the importance of larger image corpora and semi-supervised learning, but the original datasets must be fixed to avoid transmitting their mistakes and biases to the student learner. Further contributions describe the training impacts of widescreen input resolutions in portrait and landscape orientations. The trained models and scripts are published on Github (https://github.com/kecsap/imagenet-clean) to clean up ImageNet and ImageNetV2 datasets for reproducible research.


title: Systematic Mapping Protocol: Reasoning Algorithms on Feature Model

abstract: Context: The importance of the feature modeling for the software product lines considering the modeling and management of the variability. Objective: Define a protocol to conduct a systematic mapping study to summarize and synthesize the evidence on reasoning algorithms for feature modeling. Method: Application the protocol to conduct a systematic mapping study according the guidelines of K. Petersen. Results: A validated protocol to conduct a systematic mapping study. Conclusions: Initial findings show that a more detailed review for the different reasoning algorithms for feature modeling is needed.