title: Possibility of Land Movement Prediction for Creep or before Earthquake Using Lidar Geodetic Data in a Machine Learning Scheme

abstract: Earthquake prediction is one of the most pursued problems in geoscience. Different geological and seismological approaches exist for the prediction of the earthquake and its subsequent land change. However, in many cases, they fail in their mission. In this paper, we address the well-established earthquake prediction problem by a novel approach. We use a four-dimensional location-time machine learning scheme to estimate the time of earthquake and its land change. We present a study for the Ridgecrest, California 2019 earthquake prediction. We show the accuracy of our method is around 14 centimeters for the land change, and around 2 days for the time of the earthquake, predicted from data more than 3 years before the earthquake.


title: Topological entropy of pseudo-Anosov maps from a typical Thurston's construction

abstract: In this paper, we develop a way to extract information about a random walk associated with a typical Thurston's construction. We first observe that a typical Thurston's construction entails a free group of rank 2. We also present a proof of the spectral theorem for random walks associated with Thurston's construction that have finite second moment with respect to the Teichm\"uller metric. Its general case was remarked by Dahmani and Horbez. Finally, under a hypothesis not involving moment conditions, we prove that random walks eventually become pseudo-Anosov. As an application, we first discuss a random analogy of Kojima and McShane's estimation of the hyperbolic volume of a mapping torus with pseudo-Anosov monodromy. As another application, we discuss non-probabilistic estimations of stretch factors from Thurston's construction and the powers for Salem numbers to become the stretch factors of pseudo-Anosovs from Thurston's construction.


title: Complex networks with tuneable dimensions as a universality playground

abstract: Universality is one of the key concepts in understanding critical phenomena. However, for interacting inhomogeneous systems described by complex networks a clear understanding of the relevant parameters for universality is still missing. Here we discuss the role of a fundamental network parameter for universality, the spectral dimension. For this purpose, we construct a complex network model where the probability of a bond between two nodes is proportional to a power law of the nodes' distances. By explicit computation we prove that the spectral dimension for this model can be tuned continuously from $1$ to infinity, and we discuss related network connectivity measures. We propose our model as a tool to probe universal behaviour on inhomogeneous structures and comment on the possibility that the universal behaviour of correlated models on such networks mimics the one of continuous field theories in fractional Euclidean dimensions.


title: Train Unit Shunting and Servicing: a Real-Life Application of Multi-Agent Path Finding

abstract: In between transportation services, trains are parked and maintained at shunting yards. The conflict-free routing of trains to and on these yards and the scheduling of service and maintenance tasks is known as the train unit shunting and service problem. Efficient use of the capacity of these yards is becoming increasingly important, because of increasing numbers of trains without proportional extensions of the yards. Efficiently scheduling maintenance activities is extremely challenging: currently only heuristics succeed in finding solutions to the integrated problem at all. Bounds are needed to determine the quality of these heuristics, and also to support investment decisions on increasing the yard capacity. For this, a complete algorithm for a possibly relaxed problem model is required. We analyze the potential of extending the model for multi-agent path finding to be used for such a relaxation.


title: Some useful approximations for calculation of directivities of multibeam power patterns of large planar arrays

abstract: In this paper, by adopting the superposition of terms with unequal coefficients, some useful closed-form formulas for the class of large planar arrays are presented for predicting the directivities of radiated beams. Despite the applied simplifying assumptions, the provided formulas may be used for designing a large multiple-beam planar array with a specified power pattern. Several illustrative examples are presented which are numerically demonstrate by the MATLAB software. The applicability of the proposed synthesis method verified by the achieved conformity between the simulations and theoretical predictions. Furthermore, the impact of quantization and array dimensions on the performance of power controlling as well as the limitations on the maximum scan angle are investigated. It is believed that the proposed straightforward approach for array synthesis provides a new opportunity for various applications such as multiple-target radar systems and beamforming array antenna.


title: An Investigation of the Weight Space to Monitor the Training Progress of Neural Networks

abstract: Safe use of Deep Neural Networks (DNNs) requires careful testing. However, deployed models are often trained further to improve in performance. As rigorous testing and evaluation is expensive, triggers are in need to determine the degree of change of a model. In this paper we investigate the weight space of DNN models for structure that can be exploited to that end. Our results show that DNN models evolve on unique, smooth trajectories in weight space which can be used to track DNN training progress. We hypothesize that curvature and smoothness of the trajectories as well as step length along it may contain information on the state of training as well as potential domain shifts. We show that the model trajectories can be separated and the order of checkpoints on the trajectories recovered, which may serve as a first step towards DNN model versioning.


title: Skew-symmetric endomorphisms in $\mathbb{M}^{1,3}$: A unified canonical form with applications to conformal geometry

abstract: We derive a canonical form for skew-symmetric endomorphisms $F$ in Lorentzian vector spaces of dimension three and four which covers all non-trivial cases at once. We analyze its invariance group, as well as the connection of this canonical form with duality rotations of two-forms. After reviewing the relation between these endomorphisms and the algebra of conformal Killing vectors of $\mathbb{S}^2$, $\mathrm{CKill}(\mathbb{S}^2)$, we are able to also give a canonical form for an arbitrary element $ \xi \in \mathrm{CKill}(\mathbb{S}^2)$ along with its invariance group. The construction allows us to obtain explicitly the change of basis that transforms any given $F$ into its canonical form. For any non-trivial $ \xi$ we construct, via its canonical form, adapted coordinates that allow us to study its properties in depth. Two applications are worked out: we determine explicitly for which metrics, among a natural class of spaces of constant curvature, a given $\xi$ is a Killing vector and solve all local TT (traceless and transverse) tensors that satisfy the Killing Initial Data equation for $\xi$. In addition to their own interest, the present results will be a basic ingredient for a subsequent generalization to arbitrary dimensions.


title: Heavy-Impact Vibrational Excitation and Dissociation Processes in CO$_2$

abstract: A heavy-impact vibrational excitation and dissociation model for CO$_2$ is presented. This state-to-state model is based on the Forced Harmonic Oscillator (FHO) theory which is more accurate than current state of the art kinetic models of CO$_2$ based on First Order Perturbation Theory. The first excited triplet state $^{3}$B$_{2}$ of CO$_2$, including its vibrational structure, is considered in our model, and a more consistent approach to CO$_2$ dissociation is also proposed. The model is benchmarked against a few academic 0D cases and compared to decomposition time measurements in a shock tube. Our model is shown to have reasonable predictive capabilities, and the CO$_2$ $+$ O $\leftrightarrow$ CO $+$ O$_2$ is found to have a key influence on the dissociation dynamics of CO$_2$ shocked flows, warranting further theoretical studies. We conclude this study with a discussion on the theoretical improvements that are still required for a more consistent analysis of the vibrational dynamics of CO$_2$, discussing the concept of vibrational chaos and its possible application to CO$_2$. The necessity for further experimental works to calibrate such state-to-state models is also discussed, with a proposed roadmap for novel experiments in shocked flows.


title: Distributed solution of Laplacian eigenvalue problems

abstract: The purpose of this article is to approximately compute the eigenvalues of the symmetric Dirichlet Laplacian within an interval $(0,\Lambda)$. A novel domain decomposition Ritz method, partition of unity condensed pole interpolation method, is proposed. This method can be used in distributed computing environments where communication is expensive, e.g., in clusters running on cloud computing services or networked workstations. The Ritz space is obtained from local subspaces consistent with a decomposition of the domain into subdomains. These local subspaces are constructed independently of each other, using data only related to the corresponding subdomain. Relative eigenvalue error is analysed. Numerical examples on a cluster of workstations validate the error analysis and the performance of the method.


title: Bayesian Changepoint Analysis

abstract: In my PhD thesis, we elaborate upon Bayesian changepoint analysis, whereby our focus is on three big topics: approximate sampling via MCMC, exact inference and uncertainty quantification. Besides, modeling matters are discussed in an ongoing fashion. Our findings are underpinned through several changepoint examples with a focus on a well-log drilling data.


title: Accurate Many-Body Repulsive Potentials for Density-Functional Tight-Binding from Deep Tensor Neural Networks

abstract: We combine density-functional tight-binding (DFTB) with deep tensor neural networks (DTNN) to maximize the strengths of both approaches in predicting structural, energetic, and vibrational molecular properties. The DTNN is used to learn a non-linear model for the localized many-body interatomic repulsive energy, which so far has been treated in an atom-pairwise manner in DFTB. Substantially improving upon standard DFTB and DTNN, the resulting DFTB-NN$_{\sf{rep}}$ model yields accurate predictions of atomization and isomerization energies, equilibrium geometries, vibrational frequencies and dihedral rotation profiles for a large variety of organic molecules compared to the hybrid DFT-PBE0 functional. Our results highlight the high potential of combining semi-empirical electronic-structure methods with physically-motivated machine learning approaches for predicting localized many-body interactions. We conclude by discussing future advancements of the DFTB-NN$_{\sf{rep}}$ approach that could enable chemically accurate electronic-structure calculations for systems with tens of thousands of atoms.


title: The turnpike property and the long-time behavior of the Hamilton-Jacobi-Bellman equation for finite-dimensional LQ control problems

abstract: We analyze the consequences that the so-called turnpike property has on the long-time behavior of the value function corresponding to a finite-dimensional linear-quadratic optimal control problem with general terminal cost and constrained controls. We prove that, when the time horizon $T$ tends to infinity, the value function asymptotically behaves as $W(x) + c\, T + \lambda$, and we provide a control interpretation of each of these three terms, making clear the link with the turnpike property. As a by-product, we obtain the long-time behavior of the solution to the associated Hamilton-Jacobi-Bellman equation in a case where the Hamiltonian is not coercive in the momentum variable. As a result of independent interest, we showed that linear-quadratic optimal control problems with constrained control enjoy a turnpike property, also particularly when the steady optimum may saturate the control constraints.


title: Thermo-mechanical transport in rotor chains

abstract: We study the macroscopic profiles of temperature and angular momentum in the stationary state of chains of rotors under a thermo-mechanical forcing applied at the boundaries. These profiles are solutions of a system of diffusive partial differential equations with boundary conditions determined by the thermo-mechanical forcing. Instead of expensive Monte Carlo simulations of the underlying microscopic dynamics, we perform extensive numerical computations based on a finite difference method for the system of partial differential equations describing the macroscopic steady state. We first present a formal derivation of these stationary equations based on a linear response argument and local equilibrium assumptions. We then study various properties of the solutions to these equations. This allows to characterize the regime of parameters leading to uphill energy diffusion -- a situation in which the energy flows in the direction of the gradient of temperature -- and to identify regions of parameters corresponding to a negative energy conductivity (i.e. a positive linear response of the energy current to a gradient of temperature). The macroscopic equations we derive are consistent with some previous results obtained by numerical simulation of the microscopic physical system, which confirms their validity.


title: Spin Wave Normalization Towards all Magnonic Circuits

abstract: The key enabling factor for Spin Wave (SW) technology utilization for building ultra low power circuits is the ability to energy efficiently cascade SW basic computation blocks. SW Majority gates, which constitute a universal gate set for this paradigm, operating on phase encoded data are not input output coherent in terms of SW amplitude, and as such, their cascading requires information representation conversion from SW to voltage and back, which is by no means energy effective. In this paper, a novel conversion free SW gate cascading scheme is proposed that achieves SW amplitude normalization by means of a directional coupler. After introducing the normalization concept, we utilize it in the implementation of three simple circuits and, to demonstrate its bigger scale potential, of a 2-bit inputs SW multiplier. The proposed structures are validated by means of the Object Oriented Micromagnetic Framework (OOMMF) and GPU-accelerated Micromagnetics (MuMax3). Furthermore, we assess the normalization induced energy overhead and demonstrate that the proposed approach consumes 20% to 33% less energy when compared with the transducers based conventional counterpart. Finally, we introduce a normalization based SW 2-bit inputs multiplier design and compare it with functionally equivalent SW transducer based and 16nm CMOS designs. Our evaluation indicate that the proposed approach provided 26% and 6.25x energy reductions when compared with the conventional approach and 16nm CMOS counterpart, respectively, which demonstrates that our proposal is energy effective and opens the road towards the full utilization of the SW paradigm potential and the development of SW only circuits.


title: Superconducting Quantum Computing: A Review

abstract: Over the last two decades, tremendous advances have been made for constructing large-scale quantum computers. In particular, the quantum processor architecture based on superconducting qubits has become the leading candidate for scalable quantum computing platform, and the milestone of demonstrating quantum supremacy was first achieved using 53 superconducting qubits in 2019. In this work, we provide a brief review on the experimental efforts towards building a large-scale superconducting quantum computer, including qubit design, quantum control, readout techniques, and the implementations of error correction and quantum algorithms. Besides the state of the art, we finally discuss future perspectives, and which we hope will motivate further research.


title: Effective elasticity of a medium with many parallel fractures

abstract: We consider an alternative way of obtaining the effective elastic properties of a cracked medium. Similarly, to the popular linear-slip model, we assume flat, parallel fractures, and long wavelengths. However, we do not treat fractures as weakness planes of displacement discontinuity. In contrast to the classical models, we represent fractures by a thin layer embedded in the background medium. In other words, we follow the Schoenberg-Douma matrix formalism for Backus averaging, but we relax their assumptions of infinite weakness and marginal thickness of a layer so that it does not correspond to the linear-slip plane. To represent the properties of a fracture, we need a fourth order elasticity tensor and a thickness parameter. The effective tensor becomes more complicated, but it may describe a higher concentration of parallel cracks more accurately. Apart from the derivations of the effective elasticity tensors, we perform numerical experiments in which we compare the performance of our approach with a linear-slip model in the context of highly fractured media. Our model becomes pertinent if filled-in cracks occupy more than one percent of the effective medium.


title: Large Surface Magnetization in Noncentrosymmetric Antiferromagnets

abstract: Thin-film antiferromagnets (AFs) with Rashba spin-orbit coupling are theoretically investigated. We demonstrate that the relativistic Dzyaloshinskii-Moriya interaction (DMI) produces a large surface magnetization and a boundary-driven twist state in the antiferromagnetic N\' eel vector. We predict a magnetization on the order of $2.3\cdot 10^4$~A/m, which is comparable to the magnetization of ferromagnetic semiconductors. Importantly, the magnetization is characterized by ultra-fast terahertz dynamics and provides new approaches for efficiently probing and controlling the spin dynamics of AFs as well as detecting the antiferromagnetic DMI. Notably, the magnetization does not lead to any stray magnetic fields except at corners where weak magnetic monopole fields appear.


title: Low-Rank Autoregressive Tensor Completion for Multivariate Time Series Forecasting

abstract: Time series prediction has been a long-standing research topic and an essential application in many domains. Modern time series collected from sensor networks (e.g., energy consumption and traffic flow) are often large-scale and incomplete with considerable corruption and missing values, making it difficult to perform accurate predictions. In this paper, we propose a low-rank autoregressive tensor completion (LATC) framework to model multivariate time series data. The key of LATC is to transform the original multivariate time series matrix (e.g., sensor$\times$time point) to a third-order tensor structure (e.g., sensor$\times$time of day$\times$day) by introducing an additional temporal dimension, which allows us to model the inherent rhythms and seasonality of time series as global patterns. With the tensor structure, we can transform the time series prediction and missing data imputation problems into a universal low-rank tensor completion problem. Besides minimizing tensor rank, we also integrate a novel autoregressive norm on the original matrix representation into the objective function. The two components serve different roles. The low-rank structure allows us to effectively capture the global consistency and trends across all the three dimensions (i.e., similarity among sensors, similarity of different days, and current time v.s. the same time of historical days). The autoregressive norm can better model the local temporal trends. Our numerical experiments on three real-world data sets demonstrate the superiority of the integration of global and local trends in LATC in both missing data imputation and rolling prediction tasks.


title: "EHLO WORLD" -- Checking If Your Conversational AI Knows Right from Wrong

abstract: In this paper we discuss approaches to evaluating and validating the ethical claims of a Conversational AI system. We outline considerations around both a top-down regulatory approach and bottom-up processes. We describe the ethical basis for each approach and propose a hybrid which we demonstrate by taking the case of a customer service chatbot as an example. We speculate on the kinds of top-down and bottom-up processes that would need to exist for a hybrid framework to successfully function as both an enabler as well as a shepherd among multiple use-cases and multiple competing AI solutions.


title: A pair of homotopy-theoretic version of TQFT's induced by a Brown functor

abstract: The purpose of this paper is to study some obstruction classes induced by a construction of a homotopy-theoretic version of projective TQFT (projective HTQFT for short). A projective HTQFT is given by a symmetric monoidal projective functor whose domain is the cospan category of pointed finite CW-spaces instead of a cobordism category. We construct a pair of projective HTQFT's starting from a $\mathsf{Hopf}^\mathsf{bc}_k$-valued Brown functor where $\mathsf{Hopf}^\mathsf{bc}_k$ is the category of bicommutative Hopf algebras over a field $k$ : the cospanical path-integral and the spanical path-integral of the Brown functor. They induce obstruction classes by an analogue of the second cohomology class associated with projective representations. In this paper, we derive some formulae of those obstruction classes. We apply the formulae to prove that the dimension reduction of the cospanical and spanical path-integrals are lifted to HTQFT's. In another application, we reproduce the Dijkgraaf-Witten TQFT and the Turaev-Viro TQFT from an ordinary $\mathsf{Hopf}^\mathsf{bc}_k$-valued homology theory.


title: Bi-Abduction for Shapes with Ordered Data

abstract: Shape analysis is of great importance for the verification of the correctness and memory-safety of heap-manipulating programs, yet such analyses have been shown to be highly difficult problems. The integration of separation logic into shape analyses has improved the effectiveness of the techniques, but the most significant advancement in this area is bi-abductive inference. Enabled by separation logic, bi-abduction - a combination of abductive inference and frame inference - is the key enabler for compositional reasoning, helping to scale up verification significantly. Indeed, the success of bi-abduction has led to the development of Infer, the tool used daily to verify Facebook's codebase of millions of lines of code. However, this success currently stays largely within the shape domain. To extend this impact towards the combination of shape and arithmetic domains, in this work, we present a novel one-stage bi-abductive procedure for a combination of data structures and ordering values. The procedure is designed in the spirit of the Unfold-and-Match paradigm where the inference is utilized to derive any mismatched portion. We have also implemented a prototype solver, based on the Cyclist library, and demonstrate its capabilities over a range of benchmarks from the SL-COMP competition. The experimental results show that our proposal shows promise for the specification inference in an automated verification of heap-manipulating programs.


title: Full energy spectra of interface state densities for n- and p-type MoS2 field-effect transistors

abstract: Two-dimensional (2D) layered materials are promising for replacing Si to overcome the scaling limit of recent ~5 nm-length metal-oxide-semiconductor field-effect transistors (MOSFETs). However, the insulator/2D channel interface severely degrades the performance of 2D-based MOSFETs, and the origin of the degradation remains largely unexplored. Here, we present the full energy spectra of the interface state densities (Dit) for both n- and p- MoS2 FETs, based on the comprehensive and systematic studies, i.e., thickness range from monolayer to bulk and various gate stack structures including 2D heterostructure with h-BN as well as typical high-k top-gate structure. For n-MoS2, Dit around the mid gap is drastically reduced to 5*10^11 cm-2eV-1 for the heterostructure FET with h-BN from 5*10^12 cm-2eV-1 for the high-k top-gate MoS2 FET. On the other hand, Dit remains high, ~10^13 cm-2eV-1, even for the heterostructure FET for p-MoS2. The systematic study elucidates that the strain induced externally through the substrate surface roughness and high-k deposition process is the origin for the interface degradation on the conduction band side, while sulfur-vacancy-induced defect-states dominate the interface degradation on the valance band side. The present understanding on the interface properties provides the key to further improving the performance of 2D FETs.


title: Purely in-plane ferroelectricity in monolayer SnS at room temperature

abstract: 2D van der Waals ferroelectric semiconductors have emerged as an attractive building block with immense potential to provide multifunctionality in nanoelectronics. Although several accomplishments have been reported in ferroelectric resistive switching for out-of-plane 2D ferroelectrics down to the monolayer, a purely in-plane ferroelectric has not been experimentally validated at the monolayer thickness. Herein, a micrometer-size monolayer SnS is grown on mica by physical vapor deposition, and in-plane ferroelectric switching is demonstrated with a two-terminal device at room temperature (RT). SnS has been commonly regarded to exhibit the odd-even effect, where the centrosymmetry breaks only in the odd-number layers to exhibit ferroelectricity. Remarkably, however, a robust RT ferroelectricity exists in SnS below a critical thickness of 15 layers with both an odd and even number of layers. The lack of the odd-even effect probably originates from the interaction with the mica substrate, suggesting the possibility of controlling the stacking sequence of multilayer SnS, going beyond the limit of ferroelectricity in the monolayer. This work will pave the way for nanoscale ferroelectric applications based on SnS as a new platform for in-plane ferroelectrics.


title: PS15cey and PS17cke: prospective candidates from the Pan-STARRS Search for Kilonovae

abstract: Time domain astronomy was revolutionised with the discovery of the first kilonova, AT2017gfo, in August 2017 which was associated with the gravitational wave signal GW170817. Since this event, numerous wide-field surveys have been optimising search strategies to maximise their efficiency of detecting these fast and faint transients. With the Panoramic Survey Telescope and Rapid Response System (Pan-STARRS), we have been conducting a volume limited survey for intrinsically faint and fast fading events to a distance of $D\simeq200$ Mpc. Two promising candidates have been identified from this archival search, with sparse data - PS15cey and PS17cke. Here we present more detailed analysis and discussion of their nature. We observe that PS15cey was a luminous, fast declining transient at 320 Mpc. Models of BH-NS mergers with a very stiff equation of state could possibly reproduce the luminosity and decline but the physical parameters are extreme. A more likely scenario is that this was a SN2018kzr-like merger event. PS17cke was a faint and fast declining event at 15 Mpc. We explore several explosion scenarios of this transient including models of it as a NS-NS and BH-NS merger, the outburst of a massive luminous star, and compare it against other known fast fading transients. Although there is uncertainty in the explosion scenario due to difficulty in measuring the explosion epoch, we find PS17cke to be a plausible kilonova candidate from the model comparisons.


title: Distributed Value Function Approximation for Collaborative Multi-Agent Reinforcement Learning

abstract: In this paper we propose several novel distributed gradient-based temporal difference algorithms for multi-agent off-policy learning of linear approximation of the value function in Markov decision processes with strict information structure constraints, limiting inter-agent communications to small neighborhoods. The algorithms are composed of: 1) local parameter updates based on single-agent off-policy gradient temporal difference learning algorithms, including eligibility traces with state dependent parameters, and 2) linear stochastic time varying consensus schemes, represented by directed graphs. The proposed algorithms differ by their form, definition of eligibility traces, selection of time scales and the way of incorporating consensus iterations. The main contribution of the paper is a convergence analysis based on the general properties of the underlying Feller-Markov processes and the stochastic time varying consensus model. We prove, under general assumptions, that the parameter estimates generated by all the proposed algorithms weakly converge to the corresponding ordinary differential equations (ODE) with precisely defined invariant sets. It is demonstrated how the adopted methodology can be applied to temporal-difference algorithms under weaker information structure constraints. The variance reduction effect of the proposed algorithms is demonstrated by formulating and analyzing an asymptotic stochastic differential equation. Specific guidelines for communication network design are provided. The algorithms' superior properties are illustrated by characteristic simulation results.


title: Parameterized Inapproximability of Independent Set in $H$-Free Graphs

abstract: We study the Independent Set (IS) problem in $H$-free graphs, i.e., graphs excluding some fixed graph $H$ as an induced subgraph. We prove several inapproximability results both for polynomial-time and parameterized algorithms. Halld\'orsson [SODA 1995] showed that for every $\delta>0$ IS has a polynomial-time $(\frac{d-1}{2}+\delta)$-approximation in $K_{1,d}$-free graphs. We extend this result by showing that $K_{a,b}$-free graphs admit a polynomial-time $O(\alpha(G)^{1-1/a})$-approximation, where $\alpha(G)$ is the size of a maximum independent set in $G$. Furthermore, we complement the result of Halld\'orsson by showing that for some $\gamma=\Theta(d/\log d),$ there is no polynomial-time $\gamma$-approximation for these graphs, unless NP = ZPP. Bonnet et al. [IPEC 2018] showed that IS parameterized by the size $k$ of the independent set is W[1]-hard on graphs which do not contain (1) a cycle of constant length at least $4$, (2) the star $K_{1,4}$, and (3) any tree with two vertices of degree at least $3$ at constant distance. We strengthen this result by proving three inapproximability results under different complexity assumptions for almost the same class of graphs (we weaken condition (2) that $G$ does not contain $K_{1,5}$). First, under the ETH, there is no $f(k)\cdot n^{o(k/\log k)}$ algorithm for any computable function $f$. Then, under the deterministic Gap-ETH, there is a constant $\delta>0$ such that no $\delta$-approximation can be computed in $f(k) \cdot n^{O(1)}$ time. Also, under the stronger randomized Gap-ETH there is no such approximation algorithm with runtime $f(k)\cdot n^{o(\sqrt{k})}$. Finally, we consider the parameterization by the excluded graph $H$, and show that under the ETH, IS has no $n^{o(\alpha(H))}$ algorithm in $H$-free graphs and under Gap-ETH there is no $d/k^{o(1)}$-approximation for $K_{1,d}$-free graphs with runtime $f(d,k) n^{O(1)}$.


title: A comparative study on magnetic order and field induced magnetic transition on two series of double perovskite iridates RE2BIrO6 (RE=Pr,Nd,Sm,Eu,Gd B=Zn,Mg)

abstract: We perform a comparative magnetic study on two series of rare-earth (RE) based double perovskite iridates RE2BIrO6 (RE=Pr,Nd,Sm-Gd;B=Zn,Mg), which show Mott insulating state with tunable charge energy gap from ~330 meV to ~560 meV by changing RE cations. For nonmagnetic RE=Eu cations, Eu2MgIrO6 shows antiferromagnetic (AFM) order and field-induced spin-flop transitions below N\'eel temperature (TN) in comparison with the ferromagnetic (FM)-like behaviors of Eu2ZnIrO6 at low temperatures. For magnetic-moment-containing RE ions, Gd2BIrO6 show contrasting magnetic behaviors with FM-like transition (B=Zn) and AFM order (B=Mg), respectively. While, for RE=Pr, Nd and Sm ions, all members show AFM ground state and field-induced spin-flop transitions below TN irrespective of B=Zn or Mg cations. Moreover, two successive field-induced metamagnetic transitions are observed for RE2ZnIrO6 (RE=Pr,Nd) in high field up to 56 T, the resultant field temperature (H-T) phase diagrams are constructed. The diverse magnetic behaviors in RE2BIrO6 reveal that the 4f-Ir exchange interactions between the RE and Ir sublattices can mediate their magnetism.


title: Characterizations of stabilizable sets for some parabolic equations in $\mathbb{R}^n$

abstract: We consider the parabolic type equation in $\mathbb{R}^n$: \begin{align}\label{equ-0} (\partial_t+H)y(t,x)=0,\,\,\, (t,x)\in (0,\infty)\times\mathbb{R}^n;\;\; \quad y(0,x)\in L^2(\mathbb{R}^n), \end{align} where $H$ can be one of the following operators: (i) a shifted fractional Laplacian; (ii) a shifted Hermite operator; (iii) the Schr\"{o}dinger operator with some general potentials. We call a subset $E\subset \mathbb{R}^n$ as a stabilizable set for the above equation, if there is a linear bounded operator $K$ on $L^2(\mathbb{R}^n)$ so that the semigroup $\{e^{-t(H-\chi_EK)}\}_{t\geq 0}$ is exponentially stable. (Here, $\chi_E$ denotes the characteristic function of $E$, which is treated as a linear operator on $L^2(\mathbb{R}^n)$.) This paper presents different geometric characterizations of the stabilizable sets for the above equation with different $H$. In particular, when $H$ is a shifted fractional Laplacian, $E\subset \mathbb{R}^n$ is a stabilizable set if and only if $E\subset \mathbb{R}^n$ is a thick set, while when $H$ is a shifted Hermite operator, $E\subset \mathbb{R}^n$ is a stabilizable set for if and only if $E\subset \mathbb{R}^n$ is a set of positive measure. Our results, together with the results on the observable sets for the above equation obtained in \cite{AB,Ko,Li,M09}, reveal such phenomena: for some $H$, the class of stabilizable sets contains strictly the class of observable sets, while for some other $H$, the classes of stabilizable sets and observable sets coincide. Besides, this paper gives some sufficient conditions on the stabilizable sets for the above equation where $H$ is the Schr\"{o}dinger operator with some general potentials.


title: MPGD-based photon detectors for the upgrade of COMPASS RICH-1 and beyond

abstract: COMPASS is a fixed target experiment at CERN SPS aimed to study hadron structure and spectroscopy. Hadron identification in the momentum range between $3$ and $55 GeV/c$ is provided by a large gaseous Ring Imaging Cherenkov Counter, RICH-1. To cope with the challenges imposed by the new physics program of COMPASS, RICH-1 has been upgraded by replacing four MWPC-based photon detectors with newly developed MPGD-based photon detectors. The architecture of the novel detectors is a hybrid combination of two layers of THGEMs and a Micromegas. The top of the first THGEM is coated with CsI acting as a reflective photo-cathode. The anode is segmented in pads capacitively coupled to the APV-25 based readout. The new hybrid detectors have been commissioned during the 2016 COMPASS data taking and stably operated during the 2017 run. In this paper design, construction, operation and performance aspects of the novel photon detectors for COMPASS RICH-1 are discussed.


title: Relativistic rotating vector model for X-ray millisecond pulsars

abstract: The X-ray radiation produced on the surface of accreting magnetised neutron stars is expected to be strongly polarised. A swing of the polarisation vector with the pulsar phase gives a direct measure of the source inclination and magnetic obliquity. In the case of rapidly rotating millisecond pulsars, the relativistic motion of the emission region causes additional rotation of the polarisation plane. Here, we develop a relativistic rotating vector model, where we derive analytical expression for the polarisation angle as a function of the pulsar phase accounting for relativistic aberration and gravitational light bending in the Schwarzschild metric. We show that in the case of fast pulsars the rotation of the polarisation plane can reach tens of degrees, strongly influencing the observed shape of the polarisation angle's phase dependence. The rotation angle grows nearly linearly with the spin rate but it is less sensitive to the neutron star radius. Overall, this angle is large even for large spots. Our results have implications with regard to the modelling of X-ray polarisation from accreting millisecond pulsars that are to be observed with the upcoming Imaging X-ray Polarimeter Explorer and the enhanced X-ray Timing and Polarimetry mission. The X-ray polarisation may improve constraints on the neutron star mass and radius coming from the pulse profile modelling.


title: The Compact Triply Eclipsing Triple Star TIC 209409435 Discovered with TESS

abstract: We report the discovery in $TESS$ Sectors 3 and 4 of a compact triply eclipsing triple star system. TIC 209409435 is a previously unknown eclipsing binary with a period of 5.717 days, and the presence of a third star in an outer eccentric orbit of 121.872 day period was found from two sets of third-body eclipses and from eclipse timing variations. The latter exhibit signatures of strong 3rd-body perturbations. After the discovery, we obtained follow-up ground-based photometric observations of several binary eclipses as well as another of the third-body eclipses. We carried out comprehensive analyses, including the simultaneous photodynamical modelling of $TESS$ and ground-based lightcurves (including both archival WASP data, and our own follow-up measurements), as well as eclipse timing variation curves. Also, we have included in the simultaneous fits multiple star spectral energy distribution data and theoretical PARSEC stellar isochrones. We find that the inner binary consists of near twin stars of mass 0.90 $M_\odot$ and radius 0.88 $R_\odot$. The third star is just 9% more massive and 18% larger in radius. The inner binary has a rather small eccentricity while the outer orbit has $e = 0.40$. The inner binary and outer orbit have inclination angles within 0.1$^\circ$ and 0.2$^\circ$ of 90$^\circ$, respectively. The mutual inclination angle is $\lesssim 1/4^\circ$. All of these results were obtained without radial velocity observations.


title: Galaxy Zoo Builder: Four Component Photometric decomposition of Spiral Galaxies Guided by Citizen Science

abstract: Multi-component modelling of galaxies is a valuable tool in the effort to quantitatively understand galaxy evolution, yet the use of the technique is plagued by issues of convergence, model selection and parameter degeneracies. These issues limit its application over large samples to the simplest models, with complex models being applied only to very small samples. We attempt to resolve this dilemma of "quantity or quality" by developing a novel framework, built inside the Zooniverse citizen science platform, to enable the crowdsourcing of model creation for Sloan Digitial Sky Survey galaxies. We have applied the method, including a final algorithmic optimisation step, on a test sample of 198 galaxies, and examine the robustness of this new method. We also compare it to automated fitting pipelines, demonstrating that it is possible to consistently recover accurate models that either show good agreement with, or improve on, prior work. We conclude that citizen science is a promising technique for modelling images of complex galaxies, and release our catalogue of models.


title: Learning High-Resolution Domain-Specific Representations with a GAN Generator

abstract: In recent years generative models of visual data have made a great progress, and now they are able to produce images of high quality and diversity. In this work we study representations learnt by a GAN generator. First, we show that these representations can be easily projected onto semantic segmentation map using a lightweight decoder. We find that such semantic projection can be learnt from just a few annotated images. Based on this finding, we propose LayerMatch scheme for approximating the representation of a GAN generator that can be used for unsupervised domain-specific pretraining. We consider the semi-supervised learning scenario when a small amount of labeled data is available along with a large unlabeled dataset from the same domain. We find that the use of LayerMatch-pretrained backbone leads to superior accuracy compared to standard supervised pretraining on ImageNet. Moreover, this simple approach also outperforms recent semi-supervised semantic segmentation methods that use both labeled and unlabeled data during training. Source code for reproducing our experiments will be available at the time of publication.


title: Complex Links and Hilbert-Samuel Multiplicities

abstract: We describe a framework for estimating Hilbert-Samuel multiplicities $e_XY$ for pairs of projective varieties $X \subset Y$ from finite point samples rather than defining equations. The first step involves proving that this multiplicity remains invariant under certain hyperplane sections which reduce $X$ to a point $p$ and $Y$ to a curve $C$. Next, we establish that $e_pC$ equals the Euler characteristic (and hence, the cardinality) of the complex link of $p$ in $C$. Finally, we provide explicit bounds on the number of uniform point samples needed (in an annular neighborhood of $p$ in $C$) to determine this Euler characteristic with high confidence.


title: Deep Multitask Learning for Pervasive BMI Estimation and Identity Recognition in Smart Beds

abstract: Smart devices in the Internet of Things (IoT) paradigm provide a variety of unobtrusive and pervasive means for continuous monitoring of bio-metrics and health information. Furthermore, automated personalization and authentication through such smart systems can enable better user experience and security. In this paper, simultaneous estimation and monitoring of body mass index (BMI) and user identity recognition through a unified machine learning framework using smart beds is explored. To this end, we utilize pressure data collected from textile-based sensor arrays integrated onto a mattress to estimate the BMI values of subjects and classify their identities in different positions by using a deep multitask neural network. First, we filter and extract 14 features from the data and subsequently employ deep neural networks for BMI estimation and subject identification on two different public datasets. Finally, we demonstrate that our proposed solution outperforms prior works and several machine learning benchmarks by a considerable margin, while also estimating users' BMI in a 10-fold cross-validation scheme.


title: Free-energy functional of instantaneous correlation field in liquids: field-theoretic derivation of the closures

abstract: This paper presents a unified method for formulating a field-theoretic perturbation theory that encompasses the conventional liquid state theory. First, the free-energy functional of instantaneous correlation field is obtained from the functional-integral representation of the grand potential. Next, we demonstrate that the instantaneous free-energy functional yields a closure relation between the correlation functions in the mean-field approximation. Notably, the obtained closure relation covers a variety of approximate closures introduced in the liquid state theory.


title: What Do Neural Networks Learn When Trained With Random Labels?

abstract: We study deep neural networks (DNNs) trained on natural image data with entirely random labels. Despite its popularity in the literature, where it is often used to study memorization, generalization, and other phenomena, little is known about what DNNs learn in this setting. In this paper, we show analytically for convolutional and fully connected networks that an alignment between the principal components of network parameters and data takes place when training with random labels. We study this alignment effect by investigating neural networks pre-trained on randomly labelled image data and subsequently fine-tuned on disjoint datasets with random or real labels. We show how this alignment produces a positive transfer: networks pre-trained with random labels train faster downstream compared to training from scratch even after accounting for simple effects, such as weight scaling. We analyze how competing effects, such as specialization at later layers, may hide the positive transfer. These effects are studied in several network architectures, including VGG16 and ResNet18, on CIFAR10 and ImageNet.


title: Palette Sparsification Beyond $(\Delta+1)$ Vertex Coloring

abstract: A recent palette sparsification theorem of Assadi, Chen, and Khanna [SODA'19] states that in every $n$-vertex graph $G$ with maximum degree $\Delta$, sampling $O(\log{n})$ colors per each vertex independently from $\Delta+1$ colors almost certainly allows for proper coloring of $G$ from the sampled colors. Besides being a combinatorial statement of its own independent interest, this theorem was shown to have various applications to design of algorithms for $(\Delta+1)$ coloring in different models of computation on massive graphs such as streaming or sublinear-time algorithms. In this paper, we further study palette sparsification problems: * We prove that for $(1+\varepsilon) \Delta$ coloring, sampling only $O_{\varepsilon}(\sqrt{\log{n}})$ colors per vertex is sufficient and necessary to obtain a proper coloring from the sampled colors. * A natural family of graphs with chromatic number much smaller than $(\Delta+1)$ are triangle-free graphs which are $O(\frac{\Delta}{\ln{\Delta}})$ colorable. We prove that sampling $O(\Delta^{\gamma} + \sqrt{\log{n}})$ colors per vertex is sufficient and necessary to obtain a proper $O_{\gamma}(\frac{\Delta}{\ln{\Delta}})$ coloring of triangle-free graphs. * We show that sampling $O_{\varepsilon}(\log{n})$ colors per vertex is sufficient for proper coloring of any graph with high probability whenever each vertex is sampling from a list of $(1+\varepsilon) \cdot deg(v)$ arbitrary colors, or even only $deg(v)+1$ colors when the lists are the sets $\{1,\ldots,deg(v)+1\}$. Similar to previous work, our new palette sparsification results naturally lead to a host of new and/or improved algorithms for vertex coloring in different models including streaming and sublinear-time algorithms.


title: Language Guided Networks for Cross-modal Moment Retrieval

abstract: We address the challenging task of cross-modal moment retrieval, which aims to localize a temporal segment from an untrimmed video described by a natural language query. It poses great challenges over the proper semantic alignment between vision and linguistic domains. Existing methods independently extract the features of videos and sentences and purely utilize the sentence embedding in the multi-modal fusion stage, which do not make full use of the potential of language. In this paper, we present Language Guided Networks (LGN), a new framework that leverages the sentence embedding to guide the whole process of moment retrieval. In the first feature extraction stage, we propose to jointly learn visual and language features to capture the powerful visual information which can cover the complex semantics in the sentence query. Specifically, the early modulation unit is designed to modulate the visual feature extractor's feature maps by a linguistic embedding. Then we adopt a multi-modal fusion module in the second fusion stage. Finally, to get a precise localizer, the sentence information is utilized to guide the process of predicting temporal positions. Specifically, the late guidance module is developed to linearly transform the output of localization networks via the channel attention mechanism. The experimental results on two popular datasets demonstrate the superior performance of our proposed method on moment retrieval (improving by 5.8\% in terms of Rank1@IoU0.5 on Charades-STA and 5.2\% on TACoS). The source code for the complete system will be publicly available.


title: Chaining of hard disks in nematic needles: particle-based simulation of colloidal interactions in liquid crystals

abstract: Colloidal particles suspended in liquid crystals can exhibit various effective anisotropic interactions that can be tuned and utilized in self-assembly processes. We simulate a two-dimensional system of hard disks suspended in a solution of dense hard needles as a model system for colloids suspended in a nematic lyotropic liquid crystal. The novel event-chain Monte Carlo technique enables us to directly measure colloidal interactions in a microscopic simulation with explicit liquid crystal particles in the dense nematic phase. We find a directional short-range attraction for disks along the director, which triggers chaining parallel to the director and seemingly contradicts the standard liquid crystal field theory result of a quadrupolar attraction with a preferred ${45^{\circ}}$ angle. Our results can be explained by a short-range density-dependent depletion interaction, which has been neglected so far. Directionality and strength of the depletion interaction are caused by the weak planar anchoring of hard rods. The depletion attraction robustly dominates over the quadrupolar elastic attraction if disks come close. Self-assembly of many disks proceeds via intermediate chaining, which demonstrates that in lyotropic liquid crystal colloids depletion interactions play an important role in structure formation processes.


title: Stochastic bandits with arm-dependent delays

abstract: Significant work has been recently dedicated to the stochastic delayed bandit setting because of its relevance in applications. The applicability of existing algorithms is however restricted by the fact that strong assumptions are often made on the delay distributions, such as full observability, restrictive shape constraints, or uniformity over arms. In this work, we weaken them significantly and only assume that there is a bound on the tail of the delay. In particular, we cover the important case where the delay distributions vary across arms, and the case where the delays are heavy-tailed. Addressing these difficulties, we propose a simple but efficient UCB-based algorithm called the PatientBandits. We provide both problems-dependent and problems-independent bounds on the regret as well as performance lower bounds.


title: Confident Off-Policy Evaluation and Selection through Self-Normalized Importance Weighting

abstract: We consider off-policy evaluation in the contextual bandit setting for the purpose of obtaining a robust off-policy selection strategy, where the selection strategy is evaluated based on the value of the chosen policy in a set of proposal (target) policies. We propose a new method to compute a lower bound on the value of an arbitrary target policy given some logged data in contextual bandits for a desired coverage. The lower bound is built around the so-called Self-normalized Importance Weighting (SN) estimator. It combines the use of a semi-empirical Efron-Stein tail inequality to control the concentration and a new multiplicative (rather than additive) control of the bias. The new approach is evaluated on a number of synthetic and real datasets and is found to be superior to its main competitors, both in terms of tightness of the confidence intervals and the quality of the policies chosen.


title: Auxiliary-task learning for geographic data with autoregressive embeddings

abstract: Machine learning is gaining popularity in a broad range of areas working with geographic data, such as ecology or atmospheric sciences. Here, data often exhibit spatial effects, which can be difficult to learn for neural networks. In this study, we propose SXL, a method for embedding information on the autoregressive nature of spatial data directly into the learning process using auxiliary tasks. We utilize the local Moran's I, a popular measure of local spatial autocorrelation, to "nudge" the model to learn the direction and magnitude of local spatial effects, complementing the learning of the primary task. We further introduce a novel expansion of Moran's I to multiple resolutions, thus capturing spatial interactions over longer and shorter distances simultaneously. The novel multi-resolution Moran's I can be constructed easily and as a multi-dimensional tensor offers seamless integration into existing machine learning frameworks. Throughout a range of experiments using real-world data, we highlight how our method consistently improves the training of neural networks in unsupervised and supervised learning tasks. In generative spatial modeling experiments, we propose a novel loss for auxiliary task GANs utilizing task uncertainty weights. Our proposed method outperforms domain-specific spatial interpolation benchmarks, highlighting its potential for downstream applications. This study bridges expertise from geographic information science and machine learning, showing how this integration of disciplines can help to address domain-specific challenges. The code for our experiments is available on Github: https://github.com/konstantinklemmer/sxl.


title: Quasinormal modes and Hawking radiation of black holes in cubic gravity

abstract: We consider quasinormal modes and Hawking radiation of four-dimensional asymptotically flat black holes in the most general up to-cubic-order-in-curvature dimension-independent Einsteinian theory of gravity that shares its graviton spectrum with the Einstein theory on constant curvature backgrounds. We show that damping rate and real oscillation frequencies of quasinormal modes for scalar, electromagnetic and Dirac fields are suppressed once the coupling with the cubic term is on. The intensity of Hawking radiation is suppressed as well, leading to, roughly, one order longer lifetime at a sufficiently large coupling constant.


title: Finite-Element Simulation of an Accelerator Magnet: an Exercise

abstract: This note describes an extended exercise on the finite-element (FE) simulation of an accelerator magnet. The students construct and simulate a magnet model using the FEMM freeware. They get the opportunity to exercise on the theory of FEs, including Maxwell equations, magnetoquasistatic formulation, weighted residual approach, choice of appropriate FE shape functions and algebraic system of equations, thereby guided by fill-in sheets. They are invited to implement the most crucial parts of a simple FE solver. Finally, the own software is used to simulate the magnet once more and to develop some problem-dedicated post-processing routines. The exercise educates students in accelerator physics and electrical engineering on the construction and simulation of accurate and manageable FE models, the algorithms behind a standard FE solver and some ideas to extend a FE solver for own purposes. All necessary files to carry out the exercise are freely available.


title: Pinning of Helimagnetic Phase Transitions in Zn-Substituted Skyrmion Host Cu$_2$OSeO$_3$

abstract: Magnetic skyrmions are nano-sized topological spin textures stabilized by a delicate balance of magnetic energy terms. The chemical substitution of the underlying crystal structure of skyrmion-hosting materials offers a route to manipulate these energy contributions, but also introduces additional effects such as disorder and pinning. While the effects of doping and disorder have been well studied in B20 metallic materials such as Fe$_{1-x}$Co$_x$Si and Mn$_{1-x}$Fe$_x$Si, the consequences of chemical substitution in the magnetoelectric insulator Cu$_2$OSeO$_3$ have not been fully explored. In this work, we utilize a combination of AC magnetometry and small angle neutron scattering to investigate the magnetic phase transition dynamics in pristine and Zn-substituted Cu$_2$OSeO$_3$. The results demonstrate that the first order helical-conical phase transition exhibits two thermally separated behavioural regimes: at high temperatures, the helimagnetic domains transform by large-scale, continuous rotations, while at low temperatures, the two phases coexist. Remarkably, the effects of pinning in the substituted sample are less prevalent at low temperatures, compared to high temperatures, despite the reduction of available thermal activation energy. We attribute this behaviour to the large, temperature-dependent, cubic anisotropy unique to Cu$_2$OSeO$_3$, which becomes strong enough to overcome the pinning energy at low temperatures. Consideration and further exploration of these effects will be crucial when engineering skyrmion materials towards future applications.


title: On the Positivity of Weak Solutions to a Class of Cross Diffusion Systems

abstract: We establish the positivity of weak (and very weak) solutions to a class of cross diffusion systems which is inspired by models in mathematical biology/ecology, in particular the Shigesada-Kawasaki-Teramoto (SKT) model in population biology. Examples and counterexamples will be provided to show that our contions are near optimal.


title: Numerical Investigation of Light Emission from Quantum Dots Embedded into On-Chip, Low Index Contrast Optical Waveguides

abstract: Single-photon emitters integrated into quantum optical circuits will enable new, miniaturized quantum optical devices. Here, we numerically investigate semiconductor quantum dots embedded to low refractive index contrast waveguides. We discuss a model to compute the coupling efficiency of the emitted light field to the fundamental propagation mode of the waveguide, and we optimize the waveguide dimensional parameters for maximum coupling efficiency. Further, we show that for a laterally cropped waveguide the interplay of Purcell-enhancement and optimized field profile can enhance the coupling efficiency by a factor of about two.


title: PI regulation control of a 1-D semilinear wave equation

abstract: This paper is concerned with the Proportional Integral (PI) regulation control of the left Neu-mann trace of a one-dimensional semilinear wave equation. The control input is selected as the right Neumann trace. The control design goes as follows. First, a preliminary (classical) velocity feedback is applied in order to shift all but a finite number of the eivenvalues of the underlying unbounded operator into the open left half-plane. We then leverage on the projection of the system trajectories into an adequate Riesz basis to obtain a truncated model of the system capturing the remaining unstable modes. Local stability of the resulting closed-loop infinite-dimensional system composed of the semilinear wave equation, the preliminary velocity feedback, and the PI controller, is obtained through the study of an adequate Lyapunov function. Finally, an estimate assessing the set point tracking performance of the left Neumann trace is derived.


title: Body Travel Performance Improvement of Space Vehicle Electromagnetic Suspension System using LQG and LQI Control Methods

abstract: Electromagnetic suspension system (EMS) is mostly used in the field of high-speed vehicle. In this paper, a space exploring vehicle quarter electromagnetic suspension system is modelled, designed and simulated using linear quadratic optimal control problem. Linear quadratic Gaussian and linear quadratic integral controllers are designed to improve the body travel of the vehicle using bump road profile. Comparison between the proposed controllers is done and a promising simulation result have been analyzed.


title: Drying Pathways of an Evaporating Soft Matter Droplet

abstract: Micro-droplets of soft matter solutions have different morphologies upon drying, and can finally become wrinkled, buckled or cavitated particles. We investigate the morphology evolution of a drying soft matter droplet in this work: at the early stage of drying, wrinkling or cavitation instability can occur in the droplet, depending on the comparison between the critical wrinkling and cavitation pressure; at a later stage of drying, no wrinkle will appear if cavitation happens first, while there can still be cavitation if wrinkling happens first. A three-dimensional phase diagram in the space of elastic length, gel layer thickness and weight loss is provided for illustrating these drying pathways of a soft matter droplet, which can guide future fabrications of micro-particles with desired morphologies.


title: Awakening of two $\gamma$-ray high redshift flat-spectrum radio quasars in the southern hemisphere

abstract: High-redshift blazars are valuable tools to study the early Universe. So far only a handful of $\gamma$-ray blazars have been found at redshifts above 3. $\gamma$-ray signals are detected in the direction of PMN J2219-2719 ($z=3.63$) and PMN J2321-0827 ($z=3.16$) by analyzing the 10-year $Fermi$-LAT Pass 8 data. PMN J2219-2719 is not distinguished from the background in the global analysis. During the 5-month epoch, the TS value is 47.8 and the flux is more than 10 times of the 10-year averaged flux. In addition, the angular distance between the $\gamma$-ray position and the radio position of PMN J2219-2719 is only ${0.04}^{\circ}$. Moreover, the $\gamma$-ray and infrared light curves of long time scale are very similar, which support the association between the $\gamma$-ray source and PMN J2219-2719. The global analysis of PMN J2321-0827 suggest a new $\gamma$-ray source, during the flare phase, the TS value is 61.4 and the $\gamma$-ray flux increased significantly. The association probability suggests that PMN J2321-0827 may be the counterpart of the new $\gamma$-ray source. In the future, the number of high-redshift $\gamma$-ray sources will increase by combining $Fermi$-LAT and the upcoming Large Synoptic Survey Telescope.


title: Molecular remnant of Nova 1670 (CK Vulpeculae): I. Properties and enigmatic origin of the gas

abstract: CK Vul erupted in 1670 and is considered a stellar-merger candidate. Its remnant contains a molecular component of surprisingly rich composition. We present interferometric line surveys with subarcsec resolution with ALMA and SMA. The observations provide interferometric maps of molecular line emission at frequencies between 88 and 243 GHz that allow imaging spectroscopy of more than 180 transitions of 26 species. We present, classify, and analyze the different morphologies of the emission regions displayed by the molecules. We also perform a non-LTE radiative-transfer analysis of emission of most of the observed species, deriving temperatures and column densities in five parts of the nebula. Non-LTE effects are clearly seen in complex species including methanol absorption against the CMB. The temperatures are 17 K in the inner remnant and 14 K in the extended lobes. We find total (hydrogen plus helium) densities in the range of $10^4-10^6$ cm$^{-3}$. The column densities provide relative abundance patterns in the remnant which currently are not understood. Attempts to derive elemental abundances within the assumption of a chemical equilibrium give only loose constraints on the CNO elements. That the formation of many of the observed molecules requires a major involvement of circumstellar shocks remains the preferred possibility. The molecular gas could have formed 350 yr ago or more recently. The molecules are well shielded from the interstellar radiation field by the circumstellar dust. Their presence alone indicates that the unobservable central star cannot be a hot object such as a white dwarf. This excludes some of the proposed scenarios on the nature of CK Vul. The general characteristics of the molecular environment of CK Vul derived in this study resemble quite well those of some pre-planetary nebulae and AGB stars, most notably that of OH231.8.


title: Long-range focusing of magnetic bound states in superconducting lanthanum

abstract: Quantum mechanical systems with long-range interactions between quasiparticles provide a promising platform for coherent quantum information technology. Superconductors are a natural choice for solid-state based quantum devices, while magnetic impurities inside superconductors give rise to quasiparticle excitations of broken Cooper pairs that provide characteristic information about the host superconductor. Here, we reveal that magnetic impurities embedded below a superconducting La(0001) surface interact via quasiparticles extending to very large distances, up to several tens of nanometers. Using low-temperature scanning probe techniques, we observe the corresponding anisotropic and giant oscillations in the local density of states. Theoretical calculations indicate that the quasi-two-dimensional surface states with their strongly anisotropic Fermi surface play a crucial role for the focusing and long-range extension of the magnetic bound states. The quasiparticle focusing mechanism should facilitate the design of versatile magnetic structures with tunable and directed magnetic interactions over large distances, thereby paving the way toward the design of low-dimensional magnet-superconductor hybrid systems exhibiting topologically non-trivial quantum states as possible elements of quantum computation schemes based on Majorana quasiparticles.


title: Determining the dynamics and magnetic fields in He I 10830 \r{A} during a solar filament eruption

abstract: We investigate the dynamics and magnetic properties of the plasma, such as line-of-sight velocity (LOS), optical depth, vertical and horizontal magnetic fields, belonging to an erupted solar filament. The filament eruption was observed with the GREGOR Infrared Spectrograph (GRIS) at the 1.5-meter GREGOR telescope on 2016 July 3. Three consecutive full-Stokes slit-spectropolarimetric scans in the He I 10830 \r{A} spectral range were acquired. The Stokes I profiles were classified using the machine learning k-means algorithm and then inverted with different initial conditions using the HAZEL code. The erupting-filament material presents the following physical conditions: (1) ubiquitous upward motions with peak LOS velocities of ~73 km/s; (2) predominant large horizontal components of the magnetic field, on average, in the range of 173-254 G, whereas the vertical components of the fields are much lower, on average between 39-58 G; (3) optical depths in the range of 0.7-1.1. The average azimuth orientation of the field lines between two consecutive raster scans (<2.5 minutes) remained constant. The analyzed filament eruption belonged to the fast rising phase, with total velocities of about 124 km/s. The orientation of the magnetic field lines does not change from one raster scan to the other, indicating that the untwisting phase has not started yet. The untwisting seems to start about 15 min after the beginning of the filament eruption.


title: Chiral plasmons with twisted atomic bilayers

abstract: Van der Waals heterostructures of atomically thin layers with rotational misalignments, such as twisted bilayer graphene, feature interesting structural moir\'e superlattices. Due to the quantum coupling between the twisted atomic layers, light-matter interaction is inherently chiral; as such, they provide a promising platform for chiral plasmons in the extreme nanoscale. However, while the interlayer quantum coupling can be significant, its influence on chiral plasmons still remains elusive. Here we present the general solutions from full Maxwell equations of chiral plasmons in twisted atomic bilayers, with the consideration of interlayer quantum coupling. We find twisted atomic bilayers have a direct correspondence to the chiral metasurface, which simultaneously possesses chiral and magnetic surface conductivities, besides the common electric surface conductivity. In other words, the interlayer quantum coupling in twisted van der Waals heterostructures may facilitate the construction of various (e.g., bi-anisotropic) atomically-thin metasurfaces. Moreover, the chiral surface conductivity, determined by the interlayer quantum coupling, determines the existence of chiral plasmons and leads to a unique phase relationship (i.e., +/-{\pi}/2 phase difference) between their TE and TM wave components. Importantly, such a unique phase relationship for chiral plasmons can be exploited to construct the missing longitudinal spin of plasmons, besides the common transverse spin of plasmons.


title: Design and Control of Steam Flow in Cement Production Process using Neural Network Based Controllers

abstract: In this paper a NARMA L2, model reference and neural network predictive controller is utilized in order to control the output flow rate of the steam in furnace by controlling the steam flow valve. The steam flow control system is basically a feedback control system which is mostly used in cement production industries. The design of the system with the proposed controllers is done with Matlab/Simulink toolbox. The system is designed for the actual steam flow output to track the desired steam that is given to the system as input for two desired steam input signals (step and sine wave). In order to analyze the performance of the system, comparison of the proposed controllers is done by simulating the system for the two reference signals for the system with and without sensor noise disturbance. Finally the comparison results prove the effectiveness of the presented process control system with model reference controller.


title: Entanglement, coherence and charging process of quantum batteries

abstract: Quantum devices are systems that can explore quantum phenomena, like entanglement or coherence, for example, to provide some enhancement performance concerning their classical counterparts. In particular, quantum batteries are devices that use entanglement as main element in its high performance in the charging powerful. In this paper, we explore the quantum battery performance and its relationship with the amount of entanglement that arises during the charging process. By using a general approach to a two and three-cell battery, our results suggest that entanglement is not the main resource to quantum batteries, where there is a non-trivial correlation-coherence trade-off as resource for the high efficiency of such quantum devices.


title: Analysis of a new multispecies tumor growth model coupling 3D phase-fields with a 1D vascular network

abstract: In this work, we present and analyze a mathematical model for tumor growth incorporating ECM erosion, interstitial flow, and the effect of vascular flow and nutrient transport. The model is of phase-field or diffused-interface type in which multiple phases of cell species and other constituents are separated by smooth evolving interfaces. The model involves a mesoscale version of Darcy's law to capture the flow mechanism in the tissue matrix. Modeling flow and transport processes in the vasculature supplying the healthy and cancerous tissue, one-dimensional (1D) equations are considered. Since the models governing the transport and flow processes are defined together with cell species models on a three-dimensional (3D) domain, we obtain a 3D-1D coupled model. We show some mathematical results on the existence of weak solutions. Furthermore, simulation results are presented illustrating the evolution of tumors and the effects of ECM erosion.


title: Shadow martingales -- a stochastic mass transport approach to the peacock problem

abstract: Given a family of real probability measures $(\mu_t)_{t\geq 0}$ increasing in convex order (a peacock) we describe a systematic method to create a martingale exactly fitting the marginals at any time. The key object for our approach is the obstructed shadow of a measure in a peacock, a generalization of the (obstructed) shadow introduced in \cite{BeJu16,NuStTa17}. As input data we take an increasing family of measures $(\nu^\alpha)_{\alpha \in [0,1]}$ with $\nu^\alpha(\mathbb{R})=\alpha$ that are submeasures of $\mu _0$, called a parametrization of $\mu_0$. Then, for any $\alpha$ we define an evolution $(\eta^\alpha_t)_{t\geq 0}$ of the measure $\nu^\alpha=\eta^\alpha_0$ across our peacock by setting $\eta^\alpha_t$ equal to the obstructed shadow of $\nu^\alpha$ in $(\mu _s)_{s \in [0,t]}$. We identify conditions on the parametrization $(\nu^\alpha)_{\alpha\in [0,1]}$ such that this construction leads to a unique martingale measure $\pi$, the shadow martingale, without any assumptions on the peacock. In the case of the left-curtain parametrization $(\nu_{\text{lc}}^\alpha)_{\alpha \in [0,1]}$ we identify the shadow martingale as the unique solution to a continuous-time version of the martingale optimal transport problem. Furthermore, our method enriches the knowledge on the Predictable Representation Property (PRP) since any shadow martingale comes with a canonical Choquet representation in extremal Markov martingales.


title: Reacceleration of charged dark matter

abstract: Charged particles scattering on moving inhomogenities of the magnetised interstellar medium can gain energy through the process of second-order Fermi acceleration. This energy gain depletes in turn the magnetic wave spectrum around the resonance wave-vector $k\sim 1/R_L$, where $R_L$ is the Larmor radius of the charged particle. This energy transfer can prohibit the cascading of magnetic turbulence to smaller scales, leading to a drop in the diffusion coefficient and allowing the efficient exchange of charged dark matter particles in the disk and the halo. As a result, terrestial limits from direct detection experiments apply to charged dark matter. Together with the no-observation of a drop in the diffusion coefficient, this excludes charged dark matter for $10^3 GeV\lesssim m/q \lesssim 10^{11} GeV$, even if the charged dark matter abundance is only a small part of the total relic abundance.


title: An Optimal Observable for Color Singlet Identification

abstract: We present a novel approach to construct a color tagger, i.e. an observable that is able to discriminate the decay of a color-singlet into two jets from a two-jet background in a different color configuration. We do this by explicitly taking the ratio of the corresponding leading-order matrix elements in the soft limit, thus obtaining an observable that is provably optimal within our approximation. We call this observable the "jet color ring" and we compare its performance to other color-sensitive observables such as jet pull and dipolarity. We also assess the performance of the jet color ring in simulations by applying it to the case of the hadronic decays of a boosted Higgs boson and of an electroweak boson.


title: Identification of Practices and Capabilities in API Management: A Systematic Literature Review

abstract: Traditional organizations are increasingly becoming software producing organizations. This software is enabling them to integrate business processes between different departments and with other organizations through Application Programming Interfaces (APIs). The main task of managing APIs is to ensure that the APIs are easy to use by third parties, such as providing helpful documentation, monitoring API performance, and even monetizing API usage. The knowledge on API management is scattered across academic literature. In this document, we describe a Systematic Literature Review (SLR) that has the goal of collecting API Management practices and capabilities related to API Management, as well as proposing a comprehensive definition of the topic. In the scope of this work, a practice is defined as any practice that has the express goal to improve, encourage and manage the usage of APIs. Capabilities are defined as the ability to achieve a certain goal related to API Management, through the execution of two or more interrelated practices. We follow a standard method for SLRs in software engineering. We managed to collect 24 unique definitions for the topic, 114 practices and 39 capabilities.


title: Molecular anchoring stabilizes low valence Ni(I)TPP on copper against thermally induced chemical changes

abstract: Many applications of molecular layers deposited on metal surfaces, ranging from single-atom catalysis to on-surface magnetochemistry and biosensing, rely on the use of thermal cycles to regenerate the pristine properties of the system. Thus, understanding the microscopic origin behind the thermal stability of organic/metal interfaces is fundamental for engineering reliable organic-based devices. Here, we study nickel porphyrin molecules on a copper surface as an archetypal system containing a metal center whose oxidation state can be controlled through the interaction with the metal substrate. We demonstrate that the strong molecule-surface interaction, followed by charge transfer at the interface, plays a fundamental role in the thermal stability of the layer by rigidly anchoring the porphyrin to the substrate. Upon thermal treatment, the molecules undergo an irreversible transition at 420 K, which is associated with an increase of the charge transfer from the substrate, mostly localized on the phenyl substituents, and a downward tilting of the latters without any chemical modification


title: Algorithmic Decision Making with Conditional Fairness

abstract: Nowadays fairness issues have raised great concerns in decision-making systems. Various fairness notions have been proposed to measure the degree to which an algorithm is unfair. In practice, there frequently exist a certain set of variables we term as fair variables, which are pre-decision covariates such as users' choices. The effects of fair variables are irrelevant in assessing the fairness of the decision support algorithm. We thus define conditional fairness as a more sound fairness metric by conditioning on the fairness variables. Given different prior knowledge of fair variables, we demonstrate that traditional fairness notations, such as demographic parity and equalized odds, are special cases of our conditional fairness notations. Moreover, we propose a Derivable Conditional Fairness Regularizer (DCFR), which can be integrated into any decision-making model, to track the trade-off between precision and fairness of algorithmic decision making. Specifically, an adversarial representation based conditional independence loss is proposed in our DCFR to measure the degree of unfairness. With extensive experiments on three real-world datasets, we demonstrate the advantages of our conditional fairness notation and DCFR.


title: Lithium and proton-capture elements in globular clusters: implications for multiple population scenarios

abstract: In the multiple population framework, a number of studies have been accomplished in order to explore the behaviour of lithium with proton-capture element abundances (e.g., Na, O, Al) in globular cluster stars. Lithium offers perhaps one of the most severe constraints on the stellar source of internal pollution in these complex systems. Given its vulnerability, we expect that material processed via the hot H-burning, re-cycled in the formation of the subsequent generation(s), is free of Li. However, Nature breaks our expectations. In this contribution, we will review the current status of this field, by examining the controversial, surprising results and implications.


title: Aging for the stationary Kardar-Parisi-Zhang equation and related models

abstract: We study the aging property for stationary models in the KPZ universality class. In particular, we show aging for the stationary KPZ fixed point, the Cole-Hopf solution to the stationary KPZ equation, the height function of the stationary TASEP, last-passage percolation with boundary conditions and stationary directed polymers in the intermediate disorder regime. All of these models are shown to display a universal aging behavior characterized by the rate of decay of their correlations. As a comparison, we show aging for models in the Edwards-Wilkinson universality class where a different decay exponent is obtained. A key ingredient to our proofs is a characteristic of space-time stationarity - covariance-to-variance reduction - which allows to deduce the asymptotic behavior of the correlations of two space-time points by the one of the variances at one point. We formulate several open problems.


title: Transitivity, lowness, and ranks in NSOP$_1$ theories

abstract: We develop the theory of Kim-independence in the context of NSOP$_{1}$ theories satsifying the existence axiom. We show that, in such theories, Kim-independence is transitive and that $\ind^{K}$-Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP$_{1}$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP$_{1}$ theories.


title: Fluid flow around NACA 0012 airfoil at low-Reynolds numbers with hybrid lattice Boltzmann method

abstract: We simulate the two-dimensional fluid flow around National Advisory Committee for Aeronautics (NACA) 0012 airfoil using a hybrid lattice Boltzmann method (HLBM), which combines the standard lattice Boltzmann method with an unstructured finite-volume formulation. The aim of the study is to assess the numerical performances and the robustness of the computational method. To this purpose, after providing a convergence study to estimate the overall accuracy of the method, we analyze the numerical solution for different values of the angle of attack at a Reynolds number equal to $10^3$. Subsequently, flow fields at Reynolds numbers up to $10^4$ are computed for a zero angle of attack configuration. A grid refinement scheme is applied to the uniformly spaced component of the overlapping grid system to further enhance the numerical efficiency of the model. The results demonstrate the capability of the HLBM to achieve high accuracy near solid curved walls, thus providing a viable alternative in the realm of off-lattice Boltzmann methods based on body-fitted mesh.


title: The effect of extended closure of red-light areas on COVID-19 transmission in India

abstract: The novel coronavirus disease (COVID-19) pandemic has resulted in over 200,000 cases in India. Thus far, India has implemented lockdown measures to curb disease transmission. However, commercial sex work in red-light areas (RLAs) has potential to lead to COVID-19 resurgence after lockdown. We developed a model of COVID-19 transmission in RLAs, evaluating the impact of extended RLA closure compared with RLA reopening on cases, hospitalizations, and mortality rates within the RLAs of five major Indian cities, within the cities, and across India. Closure lowered transmission at all scales. More than 90% of cumulative cases and deaths among RLA residents of Kolkata, Pune, and Nagpur could be averted by the time the epidemic would peak under a re-opening scenario. Across India, extended closure of RLAs would benefit the population at large, delaying the peak of COVID-19 cases by 8 to 23 days, and avert 32% to 60.2% of cumulative cases and 43% to 67.6% of cumulative deaths at the peak of the epidemic. Extended closure of RLAs until better prevention and treatment strategies are developed would benefit public health in India.


title: Photometric Data-driven Classification of Type Ia Supernovae in the Open Supernova Catalog

abstract: We propose a novel approach for a machine-learning-based detection of the type Ia supernovae using photometric information. Unlike other approaches, only real observation data is used during training. Despite being trained on a relatively small sample, the method shows good results on real data from the Open Supernovae Catalog. We also investigate model transfer from the PLAsTiCC simulations train dataset to real data application, and the reverse, and find the performance significantly decreases in both cases, highlighting the existing differences between simulated and real data.


title: Spreading of infections on random graphs: A percolation-type model for COVID-19

abstract: We introduce an epidemic spreading model on a network using concepts from percolation theory. The model is motivated by discussing the standard SIR model, with extensions to describe effects of lockdowns within a population. The underlying ideas and behavior of the lattice model, implemented using the same lockdown scheme as for the SIR scheme, are discussed in detail and illustrated with extensive simulations. A comparison between both models is presented for the case of COVID-19 data from the USA. Both fits to the empirical data are very good, but some differences emerge between the two approaches which indicate the usefulness of having an alternative approach to the widespread SIR model.


title: On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games

abstract: We study multiplayer turn-based timed games with reachability objectives. In particular, we are interested in the notion of subgame perfect equilibrium (SPE). We prove that deciding the constrained existence of an SPE in this setting is EXPTIME-complete.


title: Artificial polariton molecules

abstract: We show that geometrically coupled polariton condensates fabricated in semiconductor devices are versatile systems capable of simulating molecules with given characteristics. In particular, we consider oscillatory and stationary symmetric and asymmetric states in polariton dimers, trimers, and tetrads and their luminosity in real and Fourier space. The spectral weights of oscillatory states are associated with discrete spectral lines. Their number and separation can be controlled by changing the number and geometry of condensates, reflected by the coupling strengths. We also show that asymmetric stationary states combine discrete and continuous degrees of freedom in one system. The continuous degree of freedom is represented by the phase while the discrete degree of freedom is given by density asymmetry. Our work paves the way to engineer controllable artificial molecules with a range of properties manufactured on demand.


title: Adimensional weighted Sobolev inequalities in PI spaces

abstract: We provide a family of global weighted Sobolev inequalities and Hardy inequalities on PI spaces with possibly non-maximal volume growth. Our results apply notably to non-trivial Ahlfors regular spaces like Laakso spaces and Kleiner-Schioppa spaces.


title: The Only Undoable CRDTs are Counters

abstract: In comparing well-known CRDTs representing sets that can grow and shrink, we find caveats. In one, the removal of an element cannot be reliably undone. In another, undesirable states are attainable, such as when an element is present -1 times (and so must be added for the set to become empty). The first lacks a general-purpose undo, while the second acts less like a set and more like a tuple of counters, one per possible element. Using some group theory, we show that this trade-off is unavoidable: every undoable CRDT is a tuple of counters.


title: A Modified Epidemiological Model to Understand the Uneven Impact of COVID-19 on Vulnerable Individuals and the Approaches Required to Help them Emerge from Lockdown

abstract: COVID-19 has shown a relatively low mortality rate in young healthy individuals, with the majority of this group being asymptomatic or having mild symptoms, while the severity of the disease among individuals with underlying health conditions has caused signiffcant mortality rates worldwide. Understanding these differences in mortality amongst different sectors of society and modelling this will enable the different levels of risk and vulnerabilities to be determined to enable strategies exit the lockdown. However, epidemiological models do not account for the variability encountered in the severity of the SARS-CoV-2 disease across different population groups. To overcome this limitation, it is proposed that a modiffed SEIR model, namely SEIR-v, through which the population is separated into two groups regarding their vulnerability to SARS-CoV-2 is applied. This enables the analysis of the spread of the epidemic when different contention measures are applied to different groups in society regarding their vulnerability to the disease. A Monte Carlo simulation indicates a large number of deaths could be avoided by slightly decreasing the exposure of vulnerable groups to the disease. From this modelling a number of mechanisms can be proposed to limit the exposure of vulnerable individuals to the disease in order to reduce the mortality rate among this group. One option could be the provision of a wristband to vulnerable people and those without a contact-tracing app. By combining very dense contact tracing data from smartphone apps and wristband signals with information about infection status and symptoms, vulnerable people can be protected and kept safer. Widespread utilisation would extend the protection further beyond these high risk groups.


title: Elimination of the effect of internal activity in LaCl3:Ce scintillator

abstract: The Lanthanum Halide scintillator detectors have been widely used for nuclear spectroscopy experiments because of their excellent energy and time resolutions. Despite having these advantages, the intrinsic alpha and beta contaminations in these scintillators pose a severe limitation in their usage in rare-event detections. In the present work, pulse shape discrimination (PSD) with a fast digitizer has been shown to be an efficient method to separate the effect of alpha contamination from the spectrum. The shape of the beta spectrum has been generated with the help of Monte Carlo based simulation code, and its contribution has been eliminated from the spectrum. The reduction in the background events generated by both intrinsic beta and alpha activities has been demonstrated. The present study will encourage the application of these detectors in low cross-section measurement experiments relevant to nuclear astrophysics.


title: COSRE: Community Exposure Risk Estimator for the COVID-19 Pandemic

abstract: Due to the complexities of virus genotypes and the stochastic contacts in human society, it is a big challenge to estimate the potential risks of getting exposed to a widely spreading virus. To allow the public to be aware of the exposure risks in their daily activities, we proposed a birthday-paradox-based probability model and implement it into a web-based system named COSRE for estimating community exposure risks of public gathering during a pandemic. The exposure risk means the probability of people meeting potential COVID hosts in public places like grocery stores, gyms, libraries, restaurants, coffee shops, office suits, etc. The model has three inputs: the real-time potential active patients, the population in local communities, and the customer counts in the room. With COSRE, people can explore the possible impacts of the pandemic by doing spatiotemporal analysis, e.g., moving through time and testing a different number of people to see the changes of risks as the pandemic unfolds. The system has the potential to advance our ability to know the accurate exposure risks in various communities and allow us to make plans with improved preparedness and precise responses for the pandemic. We use spatial analysis tools and drew the county-level exposure risks of the United States from April 1 to May 15. The experiment shows that the estimation model is very promising to assist people to be more specifically precise about their safety control in daily routine and social lives and help businesses to dynamically adjust their COVID-19 policies to accelerate their recovery.


title: Neutralizing Self-Selection Bias in Sampling for Sortition

abstract: Sortition is a political system in which decisions are made by panels of randomly selected citizens. The process for selecting a sortition panel is traditionally thought of as uniform sampling without replacement, which has strong fairness properties. In practice, however, sampling without replacement is not possible since only a fraction of agents is willing to participate in a panel when invited, and different demographic groups participate at different rates. In order to still produce panels whose composition resembles that of the population, we develop a sampling algorithm that restores close-to-equal representation probabilities for all agents while satisfying meaningful demographic quotas. As part of its input, our algorithm requires probabilities indicating how likely each volunteer in the pool was to participate. Since these participation probabilities are not directly observable, we show how to learn them, and demonstrate our approach using data on a real sortition panel combined with information on the general population in the form of publicly available survey data.


title: Real-Time Monocular 4D Face Reconstruction using the LSFM models

abstract: 4D face reconstruction from a single camera is a challenging task, especially when it is required to be performed in real time. We demonstrate a system of our own implementation that solves this task accurately and runs in real time on a commodity laptop, using a webcam as the only input. Our system is interactive, allowing the user to freely move their head and show various expressions while standing in front of the camera. As a result, the put forward system both reconstructs and visualises the identity of the subject in the correct pose along with the acted facial expressions in real-time. The 4D reconstruction in our framework is based on the recently-released Large-Scale Facial Models (LSFM) \cite{LSFM1, LSFM2}, which are the largest-scale 3D Morphable Models of facial shapes ever constructed, based on a dataset of more than 10,000 facial identities from a wide range of gender, age and ethnicity combinations. This is the first real-time demo that gives users the opportunity to test in practice the capabilities of the recently-released Large-Scale Facial Models (LSFM)


title: ReenactNet: Real-time Full Head Reenactment

abstract: Video-to-video synthesis is a challenging problem aiming at learning a translation function between a sequence of semantic maps and a photo-realistic video depicting the characteristics of a driving video. We propose a head-to-head system of our own implementation capable of fully transferring the human head 3D pose, facial expressions and eye gaze from a source to a target actor, while preserving the identity of the target actor. Our system produces high-fidelity, temporally-smooth and photo-realistic synthetic videos faithfully transferring the human time-varying head attributes from the source to the target actor. Our proposed implementation: 1) works in real time ($\sim 20$ fps), 2) runs on a commodity laptop with a webcam as the only input, 3) is interactive, allowing the participant to drive a target person, e.g. a celebrity, politician, etc, instantly by varying their expressions, head pose, and eye gaze, and visualising the synthesised video concurrently.


title: The metric dimension of the annihilating-ideal graph of a finite commutative ring

abstract: We determine the metric dimension of the annihilating-ideal graph of a local finite commutative principal ring and a finite commutative principal ring with two maximal ideals. We also find the bounds for the metric dimension of the annihilating-ideal graph of an arbitrary finite commutative principal ring.


title: Distillation of neural network models for detection and description of key points of images

abstract: Image matching and classification methods, as well as synchronous location and mapping, are widely used on embedded and mobile devices. Their most resource-intensive part is the detection and description of the key points of the images. And if the classical methods of detecting and describing key points can be executed in real time on mobile devices, then for modern neural network methods with the best quality, such use is difficult. Thus, it is important to increase the speed of neural network models for the detection and description of key points. The subject of research is distillation as one of the methods for reducing neural network models. The aim of thestudy is to obtain a more compact model of detection and description of key points, as well as a description of the procedure for obtaining this model. A method for the distillation of neural networks for the task of detecting and describing key points was tested. The objective function and training parameters that provide the best results in the framework of the study are proposed. A new data set has been introduced for testing key point detection methods and a new quality indicator of the allocated key points and their corresponding local features. As a result of training in the described way, the new model, with the same number of parameters, showed greater accuracy in comparing key points than the original model. A new model with a significantly smaller number of parameters shows the accuracy of point matching close to the accuracy of the original model.


title: SE(3)-Transformers: 3D Roto-Translation Equivariant Attention Networks

abstract: We introduce the SE(3)-Transformer, a variant of the self-attention module for 3D point clouds and graphs, which is equivariant under continuous 3D roto-translations. Equivariance is important to ensure stable and predictable performance in the presence of nuisance transformations of the data input. A positive corollary of equivariance is increased weight-tying within the model. The SE(3)-Transformer leverages the benefits of self-attention to operate on large point clouds and graphs with varying number of points, while guaranteeing SE(3)-equivariance for robustness. We evaluate our model on a toy N-body particle simulation dataset, showcasing the robustness of the predictions under rotations of the input. We further achieve competitive performance on two real-world datasets, ScanObjectNN and QM9. In all cases, our model outperforms a strong, non-equivariant attention baseline and an equivariant model without attention.