title: Gotta catch 'em all: a Multistage Framework for honeypot fingerprinting

abstract: Honeypots are decoy systems that lure attackers by presenting them with a seemingly vulnerable system. They provide an early detection mechanism as well as a method for learning how adversaries work and think. However, over the last years, a number of researchers have shown methods for fingerprinting honeypots. This significantly decreases the value of a honeypot; if an attacker is able to recognize the existence of such a system, they can evade it. In this article, we revisit the honeypot identification field, by providing a holistic framework that includes state of the art and novel fingerprinting components. We decrease the probability of false positives by proposing a rigid multi-step approach for labeling a system as a honeypot. We perform extensive scans covering 2.9 billion addresses of the IPv4 space and identify a total of 21,855 honeypot instances. Moreover, we present a number of interesting side-findings such as the identification of more than 354,431 non-honeypot systems that represent potentially vulnerable servers (e.g. SSH servers with default password configurations and vulnerable versions). Lastly, we discuss countermeasures against honeypot fingerprinting techniques.


title: Adaptive Contrast Test for Dose-Response Studies and Modeling

abstract: We propose a powerful adaptive contrast test with ordinal constraint contrast coefficients determined by observed responses. The adaptive contrast test can perform using easily calculated contrast coefficients and existing statistical software. We provide the sample SAS program codes of analysis and calculation of power for the adaptive contrast test. After the adaptive contrast test shows the statistically significant dose-response, we consider to select the best dose-response model from multiple dose-response models. Based on the best model, we identify a recommended dose. We demonstrate the adaptive contrast test for sample data. In addition, we show the calculation of coefficient, test statistic, and recommended dose for the actual study. We perform the simulation study with eleven scenarios to evaluate the performance of the adaptive contrast test. We confirmed the statistically significant dose-response for the sample data and the actual study. In the simulation study, we confirmed that the adaptive contrast test has higher power in most scenarios compared to the conventional method. In addition, we confirmed that the type 1 error rate of the adaptive contrast test was maintained at a significance level when there was no difference between the treatment groups. We conclude that the adaptive contrast test can be applied unproblematically to the dose-response study.


title: The blocks with four irreducible characters

abstract: Suppose that $B$ is a Brauer $p$-block with defect group $D$. If $B$ exactly contains 4 irreducible characters, then we show that $D$ has order 4 or 5, assuming the Alperin--McKay conjecture.


title: The Birth Mass Function of Pop III Stars

abstract: Population III (Pop III) stars ended the cosmic Dark Ages and began early cosmological reionization and chemical enrichment. However, in spite of their importance to the evolution of the early Universe, their properties remain uncertain because of limitations to previous numerical simulations and the lack of any observational constraints. Here we investigate Pop III star formation in five primordial halos with 3D radiation-hydrodynamical cosmological simulations. We find that multiple stars form in each minihalo and that their numbers increase over time, with up to 23 stars forming in one of the halos. Radiative feedback from the stars generates strong outflows, deforms the surrounding protostellar disk, and delays star formation for a few thousand years. Star formation rates vary with halo and depend on mass accretion onto the disk, halo spin number, and the fraction of massive stars in the halo. Stellar masses in our models range from 0.1-37 $\rm M_{\odot}$, and of the 55 stars that form in our models twelve are $\rm > 10~ M_{\odot}$ and most of the others are 1-10 $\rm M_{\odot}$. Our simulations thus suggest that Pop III stars have characteristic masses of 1-10 $\rm M_{\odot}$ and a top-heavy IMF with dN/dM $\propto M_*^{-1.18}$. Up to 70\% of the stars are ejected from their disks by three-body interactions which, along with ionizing UV feedback, limits their final masses.


title: Vehicle Behavior Prediction and Generalization Using Imbalanced Learning Techniques

abstract: The use of learning-based methods for vehicle behavior prediction is a promising research topic. However, many publicly available data sets suffer from class distribution skews which limits learning performance if not addressed. This paper proposes an interaction-aware prediction model consisting of an LSTM autoencoder and SVM classifier. Additionally, an imbalanced learning technique, the multiclass balancing ensemble is proposed. Evaluations show that the method enhances model performance, resulting in improved classification accuracy. Good generalization properties of learned models are important and therefore a generalization study is done where models are evaluated on unseen traffic data with dissimilar traffic behavior stemming from different road configurations. This is realized by using two distinct highway traffic recordings, the publicly available NGSIM US-101 and I80 data sets. Moreover, methods for encoding structural and static features into the learning process for improved generalization are evaluated. The resulting methods show substantial improvements in classification as well as generalization performance.


title: Beamforming Design for IRS-Aided Decode-and-Forward Relay Wireless Network

abstract: As a low-cost and low-power-consumption passive reflector, intelligent reflecting surface (IRS) can make a significant rate improvement by building a programmable wireless environment. To improve the rate performance and coverage range of wireless networks, an IRS-aided decode-and-forward (DF) relay network is proposed with multiple antennas at relay station (RS). To achieve a high rate, an alternately iterative structure (AIS) of maximizing receive power (Max-RP) at RS is proposed to jointly optimize the beamforming vectors at RS and phase shifts at IRS. Considering its high-complexity, two low-complexity Max-RP schemes of null-space projection (NSP) plus maximum ratio combining (MRC) and IRS element selection (IRSES) plus MRC are presented to reduce this complexity, respectively. For the former, NSP is used to separate the reflected signal from IRS and the direct transmitted signal from source and MRC is adopted to combine the two signals at RS. For the latter, the basic concept of IRSES is as follows: IRS is partitioned into M subsets of elements and adjusting the phases of all elements per subset make all reflected signals and the direct signal from source phase alignment (PA) at the corresponding antenna of relay. Simulation results show that the proposed three methods perform much better than the existing network with single-antenna relay in terms of rate performance. In particular, a 85% rate gain over existing scheme is achieved in the high signal-to-noise ratio region. Moreover, it is verified that the positions of RS and IRS have a substantial impact on rate performance, and there exists an optimal positions of RS and IRS.


title: TACTIC: Joint Rate-Distortion-Accuracy Optimisation for Low Bitrate Compression

abstract: We present TACTIC: Task-Aware Compression Through Intelligent Coding. Our lossy compression model learns based on the rate-distortion-accuracy trade-off for a specific task. By considering what information is important for the follow-on problem, the system trades off visual fidelity for good task performance at a low bitrate. When compared against JPEG at the same bitrate, our approach is able to improve the accuracy of ImageNet subset classification by 4.5%. We also demonstrate the applicability of our approach to other problems, providing a 3.4% accuracy and 4.9% mean IoU improvements in performance over task-agnostic compression for semantic segmentation.


title: Improved variants of the Hutch++ algorithm for trace estimation

abstract: This paper is concerned with two improved variants of the Hutch++ algorithm for estimating the trace of a square matrix, implicitly given through matrix-vector products. Hutch++ combines randomized low-rank approximation in a first phase with stochastic trace estimation in a second phase. In turn, Hutch++ only requires $O\left(\varepsilon^{-1}\right)$ matrix-vector products to approximate the trace within a relative error $\varepsilon$ with high probability. This compares favorably with the $O\left(\varepsilon^{-2}\right)$ matrix-vector products needed when using stochastic trace estimation alone. In Hutch++, the number of matrix-vector products is fixed a priori and distributed in a prescribed fashion among the two phases. In this work, we derive an adaptive variant of Hutch++, which outputs an estimate of the trace that is within some prescribed error tolerance with a controllable failure probability, while splitting the matrix-vector products in a near-optimal way among the two phases. For the special case of symmetric positive semi-definite matrix, we present another variant of Hutch++, called Nystr\"om++, which utilizes the so called Nystr\"om approximation and requires only one pass over the matrix, as compared to two passes with Hutch++. We extend the analysis of Hutch++ to Nystr\"om++. Numerical experiments demonstrate the effectiveness of our two new algorithms.


title: VIA: Analyzing Device Interfaces of Protected Virtual Machines

abstract: Both AMD and Intel have presented technologies for confidential computing in cloud environments. The proposed solutions - AMD SEV (-ES, -SNP) and Intel TDX - protect Virtual Machines (VMs) against attacks from higher privileged layers through memory encryption and integrity protection. This model of computation draws a new trust boundary between virtual devices and the VM, which in so far lacks thorough examination. In this paper, we therefore present an analysis of the virtual device interface and discuss several attack vectors against a protected VM. Further, we develop and evaluate VIA, an automated analysis tool to detect cases of improper sanitization of input recieved via the virtual device interface. VIA improves upon existing approaches for the automated analysis of device interfaces in the following aspects: (i) support for virtualization relevant buses, (ii) efficient Direct Memory Access (DMA) support and (iii) performance. VIA builds upon the Linux Kernel Library and clang's libfuzzer to fuzz the communication between the driver and the device via MMIO, PIO, and DMA. An evaluation of VIA shows that it performs 570 executions per second on average and improves performance compared to existing approaches by an average factor of 2706. Using VIA, we analyzed 22 drivers in Linux 5.10.0-rc6, thereby uncovering 50 bugs and initiating multiple patches to the virtual device driver interface of Linux. To prove our findings criticality under the threat model of AMD SEV and Intel TDX, we showcase three exemplary attacks based on the bugs found. The attacks enable a malicious hypervisor to corrupt the memory and gain code execution in protected VMs with SEV-ES and are theoretically applicable to SEV-SNP and TDX.


title: Error bounds of fourth-order compact finite difference methods for the Dirac equation in the massless and nonrelativistic regime

abstract: We establish the error bounds of fourth-order compact finite difference (4cFD) methods for the Dirac equation in the massless and nonrelativistic regime, which involves a small dimensionless parameter $0 < \varepsilon \le 1$ inversely proportional to the speed of light. In this regime, the solution propagates waves with wavelength $O(\varepsilon)$ in time and $O(1)$ in space, as well as with the wave speed $O(1/\varepsilon)$ rapid outgoing waves. We adapt the conservative and semi-implicit 4cFD methods to discretize the Dirac equation and rigorously carry out their error bounds depending explicitly on the mesh size $h$, time step $\tau$ and the small parameter $\varepsilon$. Based on the error bounds, the $\varepsilon$-scalability of the 4cFD methods is $h = O(\varepsilon^{1/4})$ and $\tau = O(\varepsilon^{3/2})$, which not only improves the spatial resolution capacity but also has superior accuracy than classical second-order finite difference methods. Furthermore, physical observables including the total density and current density have the same conclusions. Numerical results are provided to validate the error bounds and the dynamics of the Dirac equation with different potentials in 2D is presented.


title: Evaluation of Dynamic Cointegration-Based Pairs Trading Strategy in the Cryptocurrency Market

abstract: This research aims to demonstrate a dynamic cointegration-based pairs trading strategy, including an optimal look-back window framework in the cryptocurrency market, and evaluate its return and risk by applying three different scenarios. We employ the Engle-Granger methodology, the Kapetanios-Snell-Shin (KSS) test, and the Johansen test as cointegration tests in different scenarios. We calibrate the mean-reversion speed of the Ornstein-Uhlenbeck process to obtain the half-life used for the asset selection phase and look-back window estimation. By considering the main limitations in the market microstructure, our strategy exceeds the naive buy-and-hold approach in the Bitmex exchange. Another significant finding is that we implement a numerous collection of cryptocurrency coins to formulate the model's spread, which improves the risk-adjusted profitability of the pairs trading strategy. Besides, the strategy's maximum drawdown level is reasonably low, which makes it useful to be deployed. The results also indicate that a class of coins has better potential arbitrage opportunities than others. This research has some noticeable advantages, making it stand out from similar studies in the cryptocurrency market. First is the accuracy of data in which minute-binned data create the signals in the formation period. Besides, to backtest the strategy during the trading period, we simulate the trading signals using best bid/ask quotes and market trades. We exclusively take the order execution into account when the asset size is already available at its quoted price (with one or more period gaps after signal generation). This action makes the backtesting much more realistic.


title: The Physical Relevance of the Fiducial Cell in Loop Quantum Cosmology

abstract: A common way to avoid divergent integrals in homogeneous spatially non-compact gravitational systems is to introduce a fiducial cell by cutting-off the spatial slice at a finite region $V_o$. This is usually considered as an auxiliary regulator to be removed after computations by sending $V_o\to\infty$. In this paper, we analyse the dependence of the classical and quantum theory of homogeneous, isotropic and spatially flat cosmology on $V_o$. We show that each fixed $V_o$ regularisation leads to a different canonically independent theory. At the classical level, the dynamics of observables is not affected by the regularisation on-shell. For the quantum theory, however, this leads to a family of regulator dependent quantum representations and the limit $V_o\to\infty$ becomes then more subtle. First, we construct a novel isomorphism between different $V_o$-regularisations, which allows us to identify states in the different $V_o$-labelled Hilbert spaces to ensure equivalent dynamics for any value of $V_o$. The $V_o\to\infty$ limit would then correspond to choosing a state for which the volume assigned to the fiducial cell becomes infinite as appropriate in the late-time regime. As second main result of our analysis, quantum fluctuations of observables smeared over subregions $V\subset V_o$, unlike those smeared over the full $V_o$, explicitly depend on the size of the fiducial cell through the ratio $V/V_o$ interpreted as the (inverse) number of subcells $V$ homogeneously patched together into $V_o$. Physically relevant fluctuations for a finite region, as e.g. in the early-time regime, which would be unreasonably suppressed in a na\"ive $V_o\to\infty$ limit, become appreciable at small volumes. Our results suggest that the fiducial cell is not playing the role of a mere regularisation but is physically relevant at the quantum level and complement previous statements in the literature.


title: A deep neural network for multi-species fish detection using multiple acoustic cameras

abstract: Underwater acoustic cameras are high potential devices for many applications in ecology, notably for fisheries management and monitoring. However how to extract such data into high value information without a time-consuming entire dataset reading by an operator is still a challenge. Moreover the analysis of acoustic imaging, due to its low signal-to-noise ratio, is a perfect training ground for experimenting with new approaches, especially concerning Deep Learning techniques. We present hereby a novel approach that takes advantage of both CNN (Convolutional Neural Network) and classical CV (Computer Vision) techniques, able to detect a generic class ''fish'' in acoustic video streams. The pipeline pre-treats the acoustic images to extract 2 features, in order to localise the signals and improve the detection performances. To ensure the performances from an ecological point of view, we propose also a two-step validation, one to validate the results of the trainings and one to test the method on a real-world scenario. The YOLOv3-based model was trained with data of fish from multiple species recorded by the two common acoustic cameras, DIDSON and ARIS, including species of high ecological interest, as Atlantic salmon or European eels. The model we developed provides satisfying results detecting almost 80% of fish and minimizing the false positive rate, however the model is much less efficient for eel detections on ARIS videos. The first CNN pipeline for fish monitoring exploiting video data from two models of acoustic cameras satisfies most of the required features. Many challenges are still present, such as the automation of fish species identification through a multiclass model. 1 However the results point a new solution for dealing with complex data, such as sonar data, which can also be reapplied in other cases where the signal-to-noise ratio is a challenge.


title: A Survey on Reinforcement Learning for Recommender Systems

abstract: Recommender systems have been widely applied in different real-life scenarios to help us find useful information. In particular, Reinforcement Learning (RL) based recommender systems have become an emerging research topic in recent years, owing to the interactive nature and autonomous learning ability. Empirical results show that RL-based recommendation methods often surpass most of supervised learning methods. Nevertheless, there are various challenges of applying RL in recommender systems. To understand the challenges and relevant solutions, there should be a reference for researchers and practitioners working on RL-based recommender systems. To this end, we firstly provide a thorough overview, comparisons, and summarization of RL approaches applied in four typical recommendation scenarios, including interactive recommendation, conversational recommendatin, sequential recommendation, and explainable recommendation. Furthermore, we systematically analyze the challenges and relevant solutions on the basis of existing literature. Finally, under discussion for open issues of RL and its limitations of recommender systems, we highlight some potential research directions in this field.


title: Optimal Control for Linear Networked Control Systems with Information Transmission Constraints

abstract: This paper addresses the problem of robust control of a linear discrete-time system subject to bounded disturbances and to measurement and control budget constraints. Using Q-parameterization and a polytope containment method, we prove that the co-design of an affine feedback controller, a measurement schedule and a control schedule can be exactly formulated as a mixed integer linear program with 2 binary variables per time step. As a consequence, this problem can be solved efficiently, even when an exhaustive search for measurement and control times would have been impossible in a reasonable amount of time.


title: Deep Learning Model for Demodulation Reference Signal based Channel Estimation

abstract: In this paper, we propose a deep learning model for Demodulation Reference Signal (DMRS) based channel estimation task. Specifically, a novel Denoise, Linear interpolation and Refine (DLR) pipeline is proposed to mitigate the noise propagation problem during channel information interpolation and to restore the nonlinear variation of wireless channel over time. At the same time, the Small-norm Sample Cost-sensitive (SSC) learning method is proposed to equalize the qualities of channel estimation under different kinds of wireless environments and improve the channel estimation reliability. The effectiveness of the propose DLR-SSC model is verified on WAIC Dataset. Compared with the well know ChannelNet channel estimation model, our DLR-SSC model reduced normalized mean square error (NMSE) by 27.2dB, 22.4dB and 16.8dB respectively at 0dB, 10dB, and 20dB SNR. The proposed model has won the second place in the 2nd Wireless Communication Artificial Intelligence Competition (WAIC). The code is about to open source.


title: Distributed optimal control problems for a class of elliptic hemivariational inequalities with a parameter and its asymptotic behavior

abstract: In this paper, we study optimal control problems on the internal energy for a system governed by a class of elliptic boundary hemivariational inequalities with a parameter. The system has been originated by a steady-state heat conduction problem with non-monotone multivalued subdifferential boundary condition on a portion of the boundary of the domain described by the Clarke generalized gradient of a locally Lipschitz function. We prove an existence result for the optimal controls and we show an asymptotic result for the optimal controls and the system states, when the parameter, like a heat transfer coefficient, tends to infinity on a portion of the boundary.


title: Polygons as maximizers of Dirichlet energy or first eigenvalue of Dirichlet-Laplacian among convex planar domains

abstract: In this paper we prove that solutions to several shape optimization problems in the plane, with a convexity constraint on the admissible domains, are polygons. The main terms of the shape functionals we consider are either E f ($\Omega$), the Dirichlet energy of the Laplacian in the domain $\Omega$, or $\lambda$ 1 ($\Omega$), the first eigenvalue of the Dirichlet-Laplacian. Usually, one considers minimization of such functionals (often with measure constraint), as for example for the famous Saint-Venant and Faber-Krahn inequalities. By adding the convexity constraint (and possibly other constraints to ensure existence of an optimal shape) one allows to consider the rather unusual and difficult question of maximizing these functionals. This paper follows a series of papers by the authors, where the leading idea is that a certain concavity property of the shape functional that is minimized leads optimal shapes to locally saturate the convexity constraint, which geometrically means that they are polygonal. In these previous papers, the leading term in the shape functional usually was the opposite of the perimeter, for which the aforementioned concavity property was rather easy to obtain through computations of its second order shape derivative. By carrying classical shape calculus, a similar concavity property can be observed for the opposite of E f or $\lambda$ 1 , for shapes that are smooth and convex. The main novelty in the present paper is indeed the proof of a weak convexity property of E f and $\lambda$ 1 when it is only known that the shape is planar and convex, which means we have to consider rather non-smooth shapes. This work involves new computations and estimates of the second order shape derivative of E f and $\lambda$ 1 that are interesting in themselves.


title: Machines as Programs: P $\neq$ NP

abstract: The Curry-Howard correspondence is often called the proofs-as-programs result. I offer a generalization of this result, something which may be called machines as programs. Utilizing this insight, I introduce two new Turing Machines called "Ceiling Machines." The formal ingredients of these two machines are nearly identical. But there are crucial differences, splitting the two into a "Higher Ceiling Machine" and a "Lower Ceiling Machine." A potential graph of state transitions of the Higher Ceiling Machine is then offered. This graph is termed the "canonically nondeterministic solution" or CNDS, whose accompanying problem is its own replication, i.e., the problem, "Replicate CNDS" (whose accompanying algorithm is cast in Martin-L\"of type theory). I then show that while this graph can be replicated (solved) in polynomial time by a nondeterministic machine -- of which the Higher Ceiling Machine is a canonical example -- it cannot be solved in polynomial time by a deterministic machine, of which the Lower Ceiling Machine is also canonical. It is consequently proven that P $\neq$ NP.


title: The mass of Beta Pictoris c from Beta Pictoris b orbital motion

abstract: We aim to demonstrate that the presence and mass of an exoplanet can now be effectively derived from the astrometry of another exoplanet. We combined previous astrometry of $\beta$ Pictoris b with a new set of observations from the GRAVITY interferometer. The orbital motion of $\beta$ Pictoris b is fit using Markov chain Monte Carlo simulations in Jacobi coordinates. The inner planet, $\beta$ Pictoris c, was also reobserved at a separation of 96\,mas, confirming the previous orbital estimations. From the astrometry of planet b only, we can (i) detect the presence of $\beta$ Pictoris c and (ii) constrain its mass to $10.04^{+4.53}_{-3.10}\,M_{\rm Jup}$. If one adds the astrometry of $\beta$ Pictoris c, the mass is narrowed down to $9.15^{+1.08}_{-1.06}\,M_{\rm Jup}$. The inclusion of radial velocity measurements does not affect the orbital parameters significantly, but it does slightly decrease the mass estimate to $8.89^{+0.75}_{-0.75}\,M_{\rm Jup}$. With a semimajor axis of $2.68\pm0.02$\,au, a period of $1221\pm15$ days, and an eccentricity of $0.32\pm0.02$, the orbital parameters of $\beta$ Pictoris c are now constrained as precisely as those of $\beta$ Pictoris b. The orbital configuration is compatible with a high-order mean-motion resonance (7:1). The impact of the resonance on the planets' dynamics would then be negligible with respect to the secular perturbations, which might have played an important role in the eccentricity excitation of the outer planet.


title: Decorrelation of internal quantum efficiency and lasing threshold in AlGaN-based separate confinement heterostructures for UV emission

abstract: In this paper, we study the internal quantum efficiency and lasing threshold of AlGaN/GaN separate confinement heterostructures designed for ultraviolet laser emission. We discuss the effect of carrier localization and carrier diffusion on the optical performance. The implementation of graded index separate confinement heterostructures results in an improved carrier collection at the multi-quantum well, which facilitates population inversion and reduces the lasing threshold. However, this improvement is not correlated with the internal quantum efficiency of the spontaneous emission. We show that carrier localization at alloy inhomogeneities results in an enhancement of the radiative efficiency but does not reduce the laser threshold, more sensitive to the carrier injection efficiency.


title: Mass measurements of 99-101In challenge ab initio nuclear theory of the nuclide 100Sn

abstract: 100Sn is of singular interest for nuclear structure. Its closed-shell proton and neutron configuration exhibit exceptional binding and 100Sn is the heaviest nucleus comprising protons and neutrons in equal number, a feature that enhances the contribution of the short-range, proton-neutron pairing interaction and strongly influences its decay via the weak interaction. Decays studies in the region of 100Sn have attempted to prove its doubly magic character but few have studied it from the ab initio theoretical perspective and none have addressed the odd-proton nuclear forces. Here we present, the first direct measurement of the exotic odd-proton nuclide 100In - the beta-decay daughter of 100Sn - and 99In, only one proton below 100Sn. The most advanced mass spectrometry techniques were used to measure 99In, produced at a rate of only a few ions per second, and to resolve the ground and isomeric states in 101In. The experimental results are confronted with new ab initio many-body approaches. The 100-fold improvement in precision of the 100In mass value exarcebates a striking discrepancy in the atomic mass values of 100Sn deduced from recent beta-decay results.


title: Self-Training Based Unsupervised Cross-Modality Domain Adaptation for Vestibular Schwannoma and Cochlea Segmentation

abstract: With the advances of deep learning, many medical image segmentation studies achieve human-level performance when in fully supervised condition. However, it is extremely expensive to acquire annotation on every data in medical fields, especially on magnetic resonance images (MRI) that comprise many different contrasts. Unsupervised methods can alleviate this problem; however, the performance drop is inevitable compared to fully supervised methods. In this work, we propose a self-training based unsupervised-learning framework that performs automatic segmentation of Vestibular Schwannoma (VS) and cochlea on high-resolution T2 scans. Our method consists of 4 main stages: 1) VS-preserving contrast conversion from contrast-enhanced T1 scan to high-resolution T2 scan, 2) training segmentation on generated T2 scans with annotations on T1 scans, and 3) Inferring pseudo-labels on non-annotated real T2 scans, and 4) boosting the generalizability of VS and cochlea segmentation by training with combined data (i.e., real T2 scans with pseudo-labels and generated T2 scans with true annotations). Our method showed mean Dice score and Average Symmetric Surface Distance (ASSD) of 0.8570 (0.0705) and 0.4970 (0.3391) for VS, 0.8446 (0.0211) and 0.1513 (0.0314) for Cochlea on CrossMoDA2021 challenge validation phase leaderboard, outperforming most other approaches.


title: Structural optimization of biohydrogen production: Impact of pretreatments on volatile fatty acids and biogas parameters

abstract: The present study aims to describe an innovative approach that enables the system to achieve high yielding for biohydrogen (bio-H$_2$) production using xylose as a by-product of lignocellulosic biomass processing. A hybrid optimization technique, structural modelling, desirability analysis, and genetic algorithm could determine the optimum input factors to maximize useful biogas parameters, especially bio-H$_2$ and CH$_4$. As found, the input factors (pretreatment, digestion time and biogas relative pressure) and volatile fatty acids (acetic acid, propionic acid and butyric acid) had indirectly and significantly impacted the bio-H$_2$ and desirability score. The pretreatment factor had the most effect on bio-H$_2$ and CH$_4$ production among the factors, and after that, were propionic acid and digestion time. The optimization method showed that the best pretreatment was acidic pretreatment, digestion time > 20 h, relative pressure in a range of 300-800 mbar, acetic acid in a range of 90-200 mg/L, propionic acid in a range of 20-150 mg/L, and butyric acid in a range of 250-420 mg/L. These values caused to produce H$_2$ > 10.2 mmol/L, CH$_4$ > 3.9 mmol/L, N$_2$ < 15.3 mmol/L, CO$_2$ < 19.5 mmol/L, total biogas > 0.31 L, produced biogas > 0.10 L, and accumulated biogas > 0.41 L.


title: Algorithms for Inference in SVARs Identified with Sign and Zero Restrictions

abstract: I develop algorithms to facilitate Bayesian inference in structural vector autoregressions that are set-identified with sign and zero restrictions by showing that the system of restrictions is equivalent to a system of sign restrictions in a lower-dimensional space. Consequently, algorithms applicable under sign restrictions can be extended to allow for zero restrictions. Specifically, I extend algorithms proposed in Amir-Ahmadi and Drautzburg (2021) to check whether the identified set is nonempty and to sample from the identified set without rejection sampling. I compare the new algorithms to alternatives by applying them to variations of the model considered by Arias et al. (2019), who estimate the effects of US monetary policy using sign and zero restrictions on the monetary policy reaction function. The new algorithms are particularly useful when a rich set of sign restrictions substantially truncates the identified set given the zero restrictions.


title: Active droploids

abstract: Active matter comprises self-driven units, such as bacteria and synthetic microswimmers, that can spontaneously form complex patterns and assemble into functional microdevices. These processes are possible thanks to the out-of-equilibrium nature of active-matter systems, fueled by a one-way free-energy flow from the environment into the system. Here, we take the next step in the evolution of active matter by realizing a two-way coupling between active particles and their environment, where active particles act back on the environment giving rise to the formation of superstructures. In experiments and simulations we observe that, under light-illumination, colloidal particles and their near-critical environment create mutually-coupled co-evolving structures. These structures unify in the form of active superstructures featuring a droplet shape and a colloidal engine inducing self-propulsion. We call them active droploids -- a portmanteau of droplet and colloids. Our results provide a pathway to create active superstructures through environmental feedback.


title: Natural Language Video Localization with Learnable Moment Proposals

abstract: Given an untrimmed video and a natural language query, Natural Language Video Localization (NLVL) aims to identify the video moment described by the query. To address this task, existing methods can be roughly grouped into two groups: 1) propose-and-rank models first define a set of hand-designed moment candidates and then find out the best-matching one. 2) proposal-free models directly predict two temporal boundaries of the referential moment from frames. Currently, almost all the propose-and-rank methods have inferior performance than proposal-free counterparts. In this paper, we argue that propose-and-rank approach is underestimated due to the predefined manners: 1) Hand-designed rules are hard to guarantee the complete coverage of targeted segments. 2) Densely sampled candidate moments cause redundant computation and degrade the performance of ranking process. To this end, we propose a novel model termed LPNet (Learnable Proposal Network for NLVL) with a fixed set of learnable moment proposals. The position and length of these proposals are dynamically adjusted during training process. Moreover, a boundary-aware loss has been proposed to leverage frame-level information and further improve the performance. Extensive ablations on two challenging NLVL benchmarks have demonstrated the effectiveness of LPNet over existing state-of-the-art methods.


title: Application of Video-to-Video Translation Networks to Computational Fluid Dynamics

abstract: In recent years, the evolution of artificial intelligence, especially deep learning, has been remarkable, and its application to various fields has been growing rapidly. In this paper, I report the results of the application of generative adversarial networks (GANs), specifically video-to-video translation networks, to computational fluid dynamics (CFD) simulations. The purpose of this research is to reduce the computational cost of CFD simulations with GANs. The architecture of GANs in this research is a combination of the image-to-image translation networks (the so-called "pix2pix") and Long Short-Term Memory (LSTM). It is shown that the results of high-cost and high-accuracy simulations (with high-resolution computational grids) can be estimated from those of low-cost and low-accuracy simulations (with low-resolution grids). In particular, the time evolution of density distributions in the cases of a high-resolution grid is reproduced from that in the cases of a low-resolution grid through GANs, and the density inhomogeneity estimated from the image generated by GANs recovers the ground truth with good accuracy. Qualitative and quantitative comparisons of the results of the proposed method with those of several super-resolution algorithms are also presented.


title: rSVDdpd: A Robust Scalable Video Surveillance Background Modelling Algorithm

abstract: A basic algorithmic task in automated video surveillance is to separate background and foreground objects. Camera tampering, noisy videos, low frame rate, etc., pose difficulties in solving the problem. A general approach that classifies the tampered frames, and performs subsequent analysis on the remaining frames after discarding the tampered ones, results in loss of information. Several robust methods based on robust principal component analysis (PCA) have been introduced to solve this problem. To date, considerable effort has been expended to develop robust PCA via Principal Component Pursuit (PCP) methods with reduced computational cost and visually appealing foreground detection. However, the convex optimizations used in these algorithms do not scale well to real-world large datasets due to large matrix inversion steps. Also, an integral component of these foreground detection algorithms is singular value decomposition which is nonrobust. In this paper, we present a new video surveillance background modelling algorithm based on a new robust singular value decomposition technique rSVDdpd which takes care of both these issues. We also demonstrate the superiority of our proposed algorithm on a benchmark dataset and a new real-life video surveillance dataset in the presence of camera tampering. Software codes and additional illustrations are made available at the accompanying website rSVDdpd Homepage (https://subroy13.github.io/rsvddpd-home/)


title: A Latent Restoring Force Approach to Nonlinear System Identification

abstract: Identification of nonlinear dynamic systems remains a significant challenge across engineering. This work suggests an approach based on Bayesian filtering to extract and identify the contribution of an unknown nonlinear term in the system which can be seen as an alternative viewpoint on restoring force surface type approaches. To achieve this identification, the contribution which is the nonlinear restoring force is modelled, initially, as a Gaussian process in time. That Gaussian process is converted into a state-space model and combined with the linear dynamic component of the system. Then, by inference of the filtering and smoothing distributions, the internal states of the system and the nonlinear restoring force can be extracted. In possession of these states a nonlinear model can be constructed. The approach is demonstrated to be effective in both a simulated case study and on an experimental benchmark dataset.


title: Non-Hermitian quantum walks and non-Markovianity: the coin-position interaction

abstract: A $\mathcal{PT}$-symmetric, non-Hermitian Hamiltonian in the $\mathcal{PT}$-unbroken regime can lead to unitary dynamics under the appropriate choice of the Hilbert space. The Hilbert space is determined by a Hamiltonian-compatible inner product map on the underlying vector space, facilitated by a ``metric operator". A more traditional method, however, involves treating the evolution as open system dynamics, and the state is constructed through normalization at each time step. In this work, we present a comparative study of the two methods of constructing the reduced dynamics of a system evolving under a $\mathcal{PT}$-symmetric Hamiltonian. Our system is a one-dimensional quantum walk with the spin and position degrees of freedom forming its two subsystems. We compare the information flow between the subsystems under the two methods. We find that under the metric formalism, a power law decay of the information backflow to the subsystem gives a clear indication of the transition from $\mathcal{PT}$-unbroken to the broken phase. This is unlike the information backflow under the normalized state method. We also note that even though non-Hermiticity models open system dynamics, pseudo-Hermiticity can increase entanglement between the subsystem in the metric Hilbert space, thus indicating that pseudo-Hermiticity cases can be seen as a resource in quantum mechanics.


title: Adaptive Neural Message Passing for Inductive Learning on Hypergraphs

abstract: Graphs are the most ubiquitous data structures for representing relational datasets and performing inferences in them. They model, however, only pairwise relations between nodes and are not designed for encoding the higher-order relations. This drawback is mitigated by hypergraphs, in which an edge can connect an arbitrary number of nodes. Most hypergraph learning approaches convert the hypergraph structure to that of a graph and then deploy existing geometric deep learning methods. This transformation leads to information loss, and sub-optimal exploitation of the hypergraph's expressive power. We present HyperMSG, a novel hypergraph learning framework that uses a modular two-level neural message passing strategy to accurately and efficiently propagate information within each hyperedge and across the hyperedges. HyperMSG adapts to the data and task by learning an attention weight associated with each node's degree centrality. Such a mechanism quantifies both local and global importance of a node, capturing the structural properties of a hypergraph. HyperMSG is inductive, allowing inference on previously unseen nodes. Further, it is robust and outperforms state-of-the-art hypergraph learning methods on a wide range of tasks and datasets. Finally, we demonstrate the effectiveness of HyperMSG in learning multimodal relations through detailed experimentation on a challenging multimedia dataset.


title: Haldane's asymptotics for Supercritical Branching Processes in an iid Random Environment

abstract: Branching processes in a random environment are natural generalisations of Galton-Watson processes. In this paper we analyse the asymptotic decay of the survival probability for a sequence of slightly supercritical branching processes in an iid random environment, where the offspring expectation converges from above to $1$. We prove that Haldane's asymptotics, known from classical Galton-Watson processes, turns up again in the random environment case, provided that one stays away from the critical/subcritical regime. A central building block is a connection to and a limit theorem for perpetuities with asymptotically vanishing interest rates.


title: State-space representation of Mat\'ern and Damped Simple Harmonic Oscillator Gaussian processes

abstract: Gaussian processes (GPs) are used widely in the analysis of astronomical time series. GPs with rational spectral densities have state-space representations which allow O(n) evaluation of the likelihood. We calculate analytic state space representations for the damped simple harmonic oscillator and the Mat\'ern 1/2, 3/2 and 5/2 processes.


title: Scale Efficiently: Insights from Pre-training and Fine-tuning Transformers

abstract: There remain many open questions pertaining to the scaling behaviour of Transformer architectures. These scaling decisions and findings can be critical, as training runs often come with an associated computational cost which have both financial and/or environmental impact. The goal of this paper is to present scaling insights from pretraining and finetuning Transformers. While Kaplan et al. presents a comprehensive study of the scaling behaviour of Transformer language models, the scope is only on the upstream (pretraining) loss. Therefore, it is still unclear if these set of findings transfer to downstream task within the context of the pretrain-finetune paradigm. The key findings of this paper are as follows: (1) we show that aside from only the model size, model shape matters for downstream fine-tuning, (2) scaling protocols operate differently at different compute regions, (3) widely adopted T5-base and T5-large sizes are Pareto-inefficient. To this end, we present improved scaling protocols whereby our redesigned models achieve similar downstream fine-tuning quality while having 50\% fewer parameters and training 40\% faster compared to the widely adopted T5-base model. We publicly release over 100 pretrained checkpoints of different T5 configurations to facilitate future research and analysis.


title: 102 PFLOPS Lattice QCD quark solver on Fugaku

abstract: We present results on the world's first over 100 PFLOPS single precision lattice QCD quark solver on the japanese new supercomputer Fugaku. We achieve a factor 38 time speedup from the supercomputer K on the same problem size, $192^4$, with 102 PFLOPS, 10% floating-point operation efficiency against single precision floating-point operation peak. The evaluation region is the single precision BiCGStab for a Clover-Wilson Dirac matrix with Schwarz Alternating Procedure domain decomposition preconditioning using Jacobi iteration for the local domain matrix inversion.


title: Finding Facial Forgery Artifacts with Parts-Based Detectors

abstract: Manipulated videos, especially those where the identity of an individual has been modified using deep neural networks, are becoming an increasingly relevant threat in the modern day. In this paper, we seek to develop a generalizable, explainable solution to detecting these manipulated videos. To achieve this, we design a series of forgery detection systems that each focus on one individual part of the face. These parts-based detection systems, which can be combined and used together in a single architecture, meet all of our desired criteria - they generalize effectively between datasets and give us valuable insights into what the network is looking at when making its decision. We thus use these detectors to perform detailed empirical analysis on the FaceForensics++, Celeb-DF, and Facebook Deepfake Detection Challenge datasets, examining not just what the detectors find but also collecting and analyzing useful related statistics on the datasets themselves.


title: Towards Cognitive Navigation: Design and Implementation of a Biologically Inspired Head Direction Cell Network

abstract: As a vital cognitive function of animals, the navigation skill is first built on the accurate perception of the directional heading in the environment. Head direction cells (HDCs), found in the limbic system of animals, are proven to play an important role in identifying the directional heading allocentrically in the horizontal plane, independent of the animal's location and the ambient conditions of the environment. However, practical HDC models that can be implemented in robotic applications are rarely investigated, especially those that are biologically plausible and yet applicable to the real world. In this paper, we propose a computational HDC network which is consistent with several neurophysiological findings concerning biological HDCs, and then implement it in robotic navigation tasks. The HDC network keeps a representation of the directional heading only relying on the angular velocity as an input. We examine the proposed HDC model in extensive simulations and real-world experiments and demonstrate its excellent performance in terms of accuracy and real-time capability.


title: Riesz representation theorems for positive algebra homomorphisms

abstract: Let $X$ be a locally compact Hausdorff space, let $\mathrm A$ be a partially ordered algebra, and let $T:\mathrm{C}_{\mathrm c}(X)\to \mathrm A$ be a positive algebra homomorphism. Under conditions on $\mathrm A$ that are satisfied in a good number of cases of practical interest, we show that $T$ is represented by a (unique regular) measure $\mu$ on the Borel $\sigma$-algebra of $X$ that takes it values in the positive cone of $\mathrm A$, and with the property that $\mu(A_1\cap A_2)=\mu(A_1)\mu(A_2)$ for Borel subsets $A_1,A_2$ of $X$. The positive algebra homomorphism $T$ can be extended from ${\mathrm C}_{\mathrm c}(X)$ to the accompanying $\mathcal L^1$-space of $\mu$. We show that, quite often, this $\mathcal L^1$-space is closed under multiplication, so that it is a Riesz algebra, and that the extended map $T:\mathcal L^1\to\mathrm A$ is not only an algebra homomorphism, but, even when $\mathrm A$ is not a Riesz space, also a vector lattice homomorphism in a sense that is explained in the paper. The latter property enables one to describe images of the extended map in terms of sequential up-downs and down-ups of the image of (the positive cone of ) ${\mathrm C}_{\mathrm c}(X)$ when $\mathrm A$ has the countable sup property. We apply the main results, which are obtained by purely order-theoretical methods, to positive algebra homomorphisms from ${\mathrm C}_0(X)$ into the order continuous operators on a Banach lattice, and to representations of ${\mathrm C}_0(X,\mathbb C)$ on Hilbert spaces. It is thus seen that, for representations on Banach lattices and on Hilbert spaces, although situated in rather different contexts, spectral theorems can be established that are both rooted in the same order-theoretical Riesz representation theorem for positive algebra homomorphisms from ${\mathrm C_\mathrm c}(X)$ into partially ordered algebras.


title: Query Evaluation in DatalogMTL -- Taming Infinite Query Results

abstract: In this paper, we investigate finite representations of DatalogMTL models. First, we discuss sufficient conditions for detecting programs that have finite models. Then, we study infinite models that eventually become constant and introduce sufficient criteria for programs that allow for such representation. We proceed by considering infinite models that are eventually periodic and show that such representation encompasses all DatalogMTL^FP programs, a widely discussed fragment. Finally, we provide a novel algorithm for reasoning over such finite representable programs.


title: Quark and gluon momentum fractions in the pion from $N_f=2+1+1$ lattice QCD

abstract: We perform the first full decomposition of the pion momentum into its gluon and quark contributions. We employ an ensemble generated by the Extended Twisted Mass Collaboration with $N_f=2 + 1 +1$ Wilson twisted mass clover fermions at maximal twist tuned to reproduce the physical pion mass. We present our results in the $\overline{\mathrm{MS}}$ scheme at $2\gev$. We find $\avgx_{u+d}=0.601(28)$, $\avgx_s=0.059(13)$, $\avgx_c=0.019(05)$, and $\avgx_g=0.52(11)$ for the separate contributions, respectively, whose sum saturates the momentum sum rule.


title: Energy correlation of bottom quarks from decays of top quarks in electron$-$positron annihilation

abstract: Joint energy distribution of the bottom quark and antiquark from decays of the top quark and antiquark produced in the reaction $e^+ e^- \to t \bar{t}$ is studied. Main emphasis is put on $CP$-violation effects in the interaction of the photon and $Z$ boson with the top quarks. Energy asymmetries of $b$ and $\bar{b}$ quarks, which give access to the $CP$-violating terms, are considered. To estimate the magnitude of these asymmetries, the $CP$-violating $\gamma t t $ and $Z t t$ couplings are calculated in one-loop model with exchange of the Higgs boson with the mass of $125$ GeV. Interaction of this boson with the top quarks is assumed to include scalar and pseudoscalar couplings. Values of these couplings are constrained from the recent CMS analysis. Energy dependence of the asymmetries of $b$ and $\bar{b}$ quarks is calculated up to $\sqrt{s}=1.2$ TeV and some interesting features of their behavior are observed. These observables can be of interest for future studies at electron$-$positron colliders CLIC and ILC.


title: Efficient Computation of Periodic Orbits of Forced Rayleigh Equation in the Framework of Novel Asymptotic Structures

abstract: Higher precision efficient computation of period 1 relaxation oscillations of strongly nonlinear and singularly perturbed Rayleigh equations with external periodic forcing is presented. The computations are performed in the context of conventional renormalization group method (RGM). We demonstrate that although a slight homotopically modified RGM could generate approximate periodic orbits that agree qualitatively with the exact orbits, the method, nevertheless, fails miserably to reduce the large quantitative disagreement between the theoretically computed results with that of exact numerical orbits. In the second part of the work we present a novel asymptotic analysis incorporating SL(2,R) invariant nonlinear deformation of slower time scales, $t_{n} =\varepsilon^{n}t, \ n\rightarrow\infty, \ \varepsilon<1$, for asymptotic late time $t$, to a nonlinear time $T_{n}=t_{n}\sigma(t_{n})$, where the deformation factor $\sigma(t_{n})>0$ respects some well defined SL(2,R) constraints. Motivations and detailed applications of such nonlinear asymptotic structures are explained in performing very high accuracy ($> 98\%$) computations of relaxation orbits. Existence of an interesting condensation and rarefaction phenomenon in connection with dynamically adjustable scales in the context of a slow-fast dynamical system is explained and verified numerically.


title: Differentiable Surface Triangulation

abstract: Triangle meshes remain the most popular data representation for surface geometry. This ubiquitous representation is essentially a hybrid one that decouples continuous vertex locations from the discrete topological triangulation. Unfortunately, the combinatorial nature of the triangulation prevents taking derivatives over the space of possible meshings of any given surface. As a result, to date, mesh processing and optimization techniques have been unable to truly take advantage of modular gradient descent components of modern optimization frameworks. In this work, we present a differentiable surface triangulation that enables optimization for any per-vertex or per-face differentiable objective function over the space of underlying surface triangulations. Our method builds on the result that any 2D triangulation can be achieved by a suitably perturbed weighted Delaunay triangulation. We translate this result into a computational algorithm by proposing a soft relaxation of the classical weighted Delaunay triangulation and optimizing over vertex weights and vertex locations. We extend the algorithm to 3D by decomposing shapes into developable sets and differentiably meshing each set with suitable boundary constraints. We demonstrate the efficacy of our method on various planar and surface meshes on a range of difficult-to-optimize objective functions. Our code can be found online: https://github.com/mrakotosaon/diff-surface-triangulation.


title: CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks

abstract: In safety-critical machine learning applications, it is crucial to defend models against adversarial attacks -- small modifications of the input that change the predictions. Besides rigorously studied $\ell_p$-bounded additive perturbations, recently proposed semantic perturbations (e.g. rotation, translation) raise a serious concern on deploying ML systems in real-world. Therefore, it is important to provide provable guarantees for deep learning models against semantically meaningful input transformations. In this paper, we propose a new universal probabilistic certification approach based on Chernoff-Cramer bounds that can be used in general attack settings. We estimate the probability of a model to fail if the attack is sampled from a certain distribution. Our theoretical findings are supported by experimental results on different datasets.


title: Towards Automatic Bias Detection in Knowledge Graphs

abstract: With the recent surge in social applications relying on knowledge graphs, the need for techniques to ensure fairness in KG based methods is becoming increasingly evident. Previous works have demonstrated that KGs are prone to various social biases, and have proposed multiple methods for debiasing them. However, in such studies, the focus has been on debiasing techniques, while the relations to be debiased are specified manually by the user. As manual specification is itself susceptible to human cognitive bias, there is a need for a system capable of quantifying and exposing biases, that can support more informed decisions on what to debias. To address this gap in the literature, we describe a framework for identifying biases present in knowledge graph embeddings, based on numerical bias metrics. We illustrate the framework with three different bias measures on the task of profession prediction, and it can be flexibly extended to further bias definitions and applications. The relations flagged as biased can then be handed to decision makers for judgement upon subsequent debiasing.


title: Complementing the Linear-Programming Learning Experience with the Design and Use of Computerized Games: The Formula 1 Championship Game

abstract: This document focuses on modeling a complex situations to achieve an advantage within a competitive context. Our goal is to devise the characteristics of games to teach and exercise non-easily quantifiable tasks crucial to the math-modeling process. A computerized game to exercise the math-modeling process and optimization problem formulation is introduced. The game is named The Formula 1 Championship, and models of the game were developed in the computerized simulation platform MoNet. It resembles some situations in which team managers must make crucial decisions to enhance their racing cars up to the feasible, most advantageous conditions. This paper describes the game's rules, limitations, and five Formula 1 circuit simulators used for the championship development. We present several formulations of this situation in the form of optimization problems. Administering the budget to reach the best car adjustment to a set of circuits to win the respective races can be an approach. Focusing on the best distribution of each Grand Prix's budget and then deciding how to use the assigned money to improve the car is also the right approach. In general, there may be a degree of conflict among these approaches because they are different aspects of the same multi-scale optimization problem. Therefore, we evaluate the impact of assigning the highest priority to an element, or another, when formulating the optimization problem. Studying the effectiveness of solving such optimization problems turns out to be an exciting way of evaluating the advantages of focusing on one scale or another. Another thread of this research directs to the meaning of the game in the teaching-learning process. We believe applying the Formula 1 Game is an effective way to discover opportunities in a complex-system situation and formulate them to finally extract and concrete the related benefit to the context described.


title: Particle tracking velocimetry in liquid gallium flow about a cylindrical obstacle

abstract: This paper demonstrates particle tracking velocimetry performed for a model system wherein particle-laden liquid metal flow about a cylindrical obstacle was studied. We present the image processing methodology developed for particle detection in images with disparate and often low signal- and contrast-to-noise ratios, and the application of our MHT-X tracing algorithm for particle trajectory reconstruction within and about the wake flow of the obstacle. Preliminary results indicate that the utilized methods enable consistent particle detection and recovery of long, representative particle trajectories with high confidence. However, we also underline the necessity of implementing a more advanced particle position extrapolation approach for increased tracking accuracy. We also show that the utilized particles exhibit the Stokes number range that suggests good flow tracking accuracy, and that the particle time scales extracted from reconstructed trajectories are consistent with expectations based a priori estimates.


title: Optimum Strategies for the Game Super Six

abstract: In the game "Super Six", after successfully getting rid of a stick by rolling with the die a number that is not occupied, the player has the choice to continue to roll the die or to stop and to hand over the die to their opponent. The probability to win depends on the situation and on the chosen strategy. In this paper, the optimum strategy to maximise the winning probability is derived. If there are 1 or 2 sticks on the lid, it is always best to continue to roll the die. If there are 5 sticks on the lid it is best to stop. If there are 4 sticks on the lid it is best to stop unless both players have one stick in their hands. If there are 3 sticks on the lid, the optimum strategy depends on the number of sticks in the hands of the two players.


title: Thermodynamical analysis and constitutive equations for a mixture of viscous Korteweg fluids

abstract: A complete thermodynamical analysis for a binary mixture of viscous Korteweg fluids with two velocities and two temperatures is developed. The constitutive functions are allowed to depend on the diffusion velocity and the specific internal energies of both constituents, together with their first gradients, on the symmetric part of the gradient of barycentric velocity, as well as on the mass density of the mixture and the concentration of one of the constituents, together with their first and second gradients. Compatibility with entropy principle is analyzed by applying the extended Liu procedure, and a complete solution of the set of thermodynamical restrictions is recovered in three space dimensions. Finally, the equilibrium configurations are investigated, and it is proved that no restrictions arise on the admissible phase boundaries. The theoretical results here provided may serve as a basis for experimental and/or numerical investigations, in particular for determining the surface levels of phase boundaries at equilibrium and making a comparison with experimental profiles.


title: A Quantitative Comparison of Epistemic Uncertainty Maps Applied to Multi-Class Segmentation

abstract: Uncertainty assessment has gained rapid interest in medical image analysis. A popular technique to compute epistemic uncertainty is the Monte-Carlo (MC) dropout technique. From a network with MC dropout and a single input, multiple outputs can be sampled. Various methods can be used to obtain epistemic uncertainty maps from those multiple outputs. In the case of multi-class segmentation, the number of methods is even larger as epistemic uncertainty can be computed voxelwise per class or voxelwise per image. This paper highlights a systematic approach to define and quantitatively compare those methods in two different contexts: class-specific epistemic uncertainty maps (one value per image, voxel and class) and combined epistemic uncertainty maps (one value per image and voxel). We applied this quantitative analysis to a multi-class segmentation of the carotid artery lumen and vessel wall, on a multi-center, multi-scanner, multi-sequence dataset of (MR) images. We validated our analysis over 144 sets of hyperparameters of a model. Our main analysis considers the relationship between the order of the voxels sorted according to their epistemic uncertainty values and the misclassification of the prediction. Under this consideration, the comparison of combined uncertainty maps reveals that the multi-class entropy and the multi-class mutual information statistically out-perform the other combined uncertainty maps under study. In a class-specific scenario, the one-versus-all entropy statistically out-performs the class-wise entropy, the class-wise variance and the one versus all mutual information. The class-wise entropy statistically out-performs the other class-specific uncertainty maps in terms of calibration. We made a python package available to reproduce our analysis on different data and tasks.


title: The Banking Transactions Dataset and its Comparative Analysis with Scale-free Networks

abstract: We construct a network of 1.6 million nodes from banking transactions of users of Rabobank. We assign two weights on each edge, which are the aggregate transferred amount and the total number of transactions between the users from the year 2010 to 2020. We present a detailed analysis of the unweighted and both weighted networks by examining their degree, strength, and weight distributions, as well as the topological assortativity and weighted assortativity, clustering, and weighted clustering, together with correlations between these quantities. We further study the meso-scale properties of the networks and compare them to a randomized reference system. We also analyze the characteristics of nodes and edges using centrality measures to understand their roles in the money transaction system. This will be the first publicly shared dataset of intra-bank transactions, and this work highlights the unique characteristics of banking transaction networks with other scale-free networks.


title: Proof of the $C^2$-stability conjecture for geodesic flows of closed surfaces

abstract: We prove that a $C^2$-generic Riemannian metric on a closed surface has either an elliptic closed geodesic or an Anosov geodesic flow. As a consequence, we prove the $C^2$-stability conjecture for Riemannian geodesic flows of closed surfaces: a $C^2$-structurally stable Riemannian geodesic flow of a closed surface is Anosov. In order to prove these statements, we establish a general result that may be of independent interest and provides sufficient conditions for a Reeb flow of a closed 3-manifold to be Anosov.


title: On Crossing-Families in Planar Point Sets

abstract: A $k$-crossing family in a point set $S$ in general position is a set of $k$ segments spanned by points of $S$ such that all $k$ segments mutually cross. In this short note we present two statements on crossing families which are based on sets of small cardinality: (1) Any set of at least 15 points contains a crossing family of size 4. (2) There are sets of $n$ points which do not contain a crossing family of size larger than $8\lceil \frac{n}{41} \rceil$. Both results improve the previously best known bounds.


title: Relationship between the Electronic Polarization and the Winding Number in Non-Hermitian Systems

abstract: We discuss an extension of the Resta's electronic polarization to non-Hermitian systems with periodic boundary conditions. We introduce the ``electronic polarization'' as an expectation value of the exponential of the position operator in terms of the biorthogonal basis. We found that there appears a finite region where the polarization is zero between two topologically distinguished regions, and there is one-to-one correspondence between the polarization and the winding number which takes half-odd integers as well as integers. We demonstrate this argument in the non-Hermitian Su-Schrieffer-Heeger model.


title: A computer scientist's reconstruction of quantum theory

abstract: The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the ground up, in order to better understand where the structure of quantum systems comes from. From a computer scientist's perspective we would like to study quantum theory in a way that allows interesting transformations and compositions of systems and that also includes infinite-dimensional datatypes. Here we present such a compositional reconstruction of quantum theory that includes infinite-dimensional systems. This reconstruction is noteworthy for three reasons: it is only one of a few that includes no restrictions on the dimension of a system; it allows for both classical, quantum, and mixed systems; and it makes no a priori reference to the structure of the real (or complex) numbers. This last point is possible because we frame our results in the language of category theory, specifically the categorical framework of effectus theory.


title: A Note on the Modeling Power of Different Graph Types

abstract: Graphs can have different properties that lead to several graph types and may allow for a varying representation of diverse information. In order to clarify the modeling power of graphs, we introduce a partial order on the most common graph types based on an expressivity relation. The expressivity relation quantifies how many properties a graph type can encode compared to another type. Additionally, we show that all attributed graph types are equally expressive and have the same modeling power.


title: Injective and tilting resolutions and a Kazhdan-Lusztig theory for the general linear and symplectic group

abstract: Let k be an algebraically closed field of characteristic p>0 and let G be a symplectic or general linear group over k. We consider induced modules for G under the assumption that p is bigger than the greatest hook length in the partitions involved. We give explicit constructions of left resolutions of induced modules by tilting modules. Furthermore, we give injective resolutions for induced modules in certain truncated categories. We show that the multiplicities of the indecomposable tilting and injective modules in these resolutions are the coefficients of certain Kazhdan-Lusztig polynomials. We also show that our truncated categories have a Kazhdan-Lusztig theory in the sense of Cline, Parshall and Scott. This builds further on work of Cox-De Visscher and Brundan-Stroppel.


title: Analytic Continuation of Stochastic Mechanics

abstract: We study a (relativistic) Wiener process on a complexified (pseudo-)Riemannian manifold. Using Nelson's stochastic quantization procedure, we derive three equivalent descriptions for this problem. If the process has a purely real quadratic variation, we obtain the one-sided Wiener process that is encountered in the theory of Brownian motion. In this case, the result coincides with the Feyman-Kac formula. On the other hand, for a purely imaginary quadratic variation, we obtain the two-sided Wiener process that is encountered in stochastic mechanics, which provides a stochastic description of a quantum particle on a curved spacetime.

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


title: The role of the Yarkovsky effect in the long-term dynamics of asteroid (469219) Kamo'oalewa

abstract: Near-Earth asteroid (469219) Kamo'oalewa (aka 2016 HO3) is an Earth co-orbital and a potential space mission target. Its short-term dynamics is characterized by a periodic switching between quasi-satellite and horseshoe configurations. Due to its small diameter of only about 36 meters, the Yarkovsky effect may play a significant role in the long-term dynamics. In this work, we addressed this issue by studying the changes in the long-term motion of Kamo'oalewa caused by the Yarkovsky effect. We used an estimation of the magnitude of the Yarkovsky effect assuming different surface compositions and introduced the semi-major axis drift by propagating orbits of test particles representing the clones of the nominal orbit. Our simulations showed that the Yarkovsky effect may cause Kamo'oalewa to exit from the Earth co-orbital region a bit faster when compared to a purely gravitational model. Nevertheless, it still could remain an Earth companion for at least 0.5 My in the future. Our results imply that Kamo'oalewa is the most stable Earth's co-orbital object known so far, not only from a short-term perspective but also on long time scales.


title: Superconducting gap symmetry from Bogoliubov quasiparticle interference analysis on {Sr}$_2${RuO}$_4$

abstract: The nature of the superconducting order parameter in {Sr}$_2${RuO}$_4$ has generated intense interest in recent years. Since the superconducting gap is very small, high resolution methods such as scanning tunneling spectroscopy might be the best chance to directly resolve the gap symmetry. Recently, a Bogoliubov quasiparticle interference imaging (BQPI) experiment has suggested that the $d_{x^2-y^2}$ gap symmetry is appropriate for {Sr}$_2${RuO}$_4$. In this work, we use a material-specific theoretical approach based on Wannier functions of the surface of {Sr}$_2${RuO}$_4$ to calculate the continuum density of states as detected in scanning tunneling microscopy experiments. We examine several different proposed gap order parameters, and calculate the expected BQPI pattern for each case. Comparing to the available experimental data, our results suggest that a $s'+id_{xy}$ gap order parameter is the most probable state, but the measured BQPI patterns still display features unaccounted for by the theory for any of the states currently under discussion.


title: Optical resonances in graded index spheres: A resonant-state expansion study and analytic approximations

abstract: Recent improvements in the resonant-state expansion (RSE), focusing on the static mode contribution, have made it possible to treat transverse-magnetic (TM) modes of a spherically symmetric system with the same efficiency as their transverse-electric (TE) counterparts. We demonstrate here that the efficient inclusion of static modes in the RSE results in its quick convergence to the exact solution regardless of the static mode set used. We then apply the RSE to spherically symmetric systems with continuous radial variations of the permittivity. We show that in TM polarization, the spectral transition from whispering gallery to Fabry-Perot modes is characterized by a peak in the mode losses and an additional mode as compared to TE polarization. Both features are explained quantitatively by the Brewster angle of the surface reflection which occurs in this frequency range. Eliminating the discontinuity at the sphere surface by using linear or quadratic profiles of the permittivity modifies this peak and increases the Fabry-Perot mode losses, in qualitative agreement with a reduced surface reflectivity. These profiles also provide a nearly parabolic confinement for the whispering gallery modes, for which an analytical approximation using the Morse potential is presented. Both profiles result in a reduced TE-TM splitting, which is shown to be further suppressed by choosing a profile radially extending the mode fields. Based on the concepts of ray optics, phase analysis of the secular equation, and effective quantum-mechanical potential for a wave equation, we have further developed a number of useful approximations which shed light on the physical phenomena observed in the spectra of graded-index systems.


title: Complex invariant Einstein metrics on $SO_{2(n_1+n_2+n_3)+1}/U_{n_1} \times U_{n_2} \times SO_{2n_3+1}$ and Ricci-flat manifolds

abstract: We prove that the number of complex invariant Einstein metrics on the flag manifold $M_{n_1,n_2,n_3}=SO_{2(n_1+n_2+n_3)+1}/U_{n_1} \times U_{n_2} \times SO_{2n_3+1}$ is equal to 132, except when the parameters $n_1, n_2, n_3$ satisfy one of some algebraic equations. Also the family of (real) non-flat Ricci-flat metrics on the Euclidean spaces will be constructed using the method of Inonu-Wigner contractions of Lie algebras.


title: Simulated Annealing for Emotional Dialogue Systems

abstract: Explicitly modeling emotions in dialogue generation has important applications, such as building empathetic personal companions. In this study, we consider the task of expressing a specific emotion for dialogue generation. Previous approaches take the emotion as an input signal, which may be ignored during inference. We instead propose a search-based emotional dialogue system by simulated annealing (SA). Specifically, we first define a scoring function that combines contextual coherence and emotional correctness. Then, SA iteratively edits a general response and searches for a sentence with a higher score, enforcing the presence of the desired emotion. We evaluate our system on the NLPCC2017 dataset. Our proposed method shows 12% improvements in emotion accuracy compared with the previous state-of-the-art method, without hurting the generation quality (measured by BLEU).


title: A formalisation of BPMN in Description Logics

abstract: In this paper we present a textual description, in terms of Description Logics, of the BPMN Ontology, which provides a clear semantic formalisation of the structural components of the Business Process Modelling Notation (BPMN), based on the latest stable BPMN specifications from OMG [BPMN Version 1.1 -- January 2008]. The development of the ontology was guided by the description of the complete set of BPMN Element Attributes and Types contained in Annex B of the BPMN specifications.


title: A generic fixed-point iteration-based hierarchical control design: Application to a cryogenic process

abstract: This paper presents an extension of a recently proposed hierarchical control framework applied to a cryogenic system. While in the previous work, each sub-system in the decomposition needed to show at least one component of the control input, in the present contribution, this condition is removed enabling a higher flexibility in the definition of the decomposition graph. The impact of this extended flexibility on the computation time is shown using the same cryogenic station where a decomposition in four sub-system is made possible (instead of two in the previous setting).


title: Input-Output History Feedback Controller for Encrypted Control with Leveled Fully Homomorphic Encryption

abstract: Protecting the parameters, states, and input/output signals of a dynamic controller is essential for securely outsourcing its computation to an untrusted third party. Although a fully homomorphic encryption scheme allows the evaluation of controller operations with encrypted data, an encrypted dynamic controller with the encryption scheme destabilizes a closed-loop system or degrades the control performance due to overflow. This paper presents a novel controller representation based on input-output history data to implement an encrypted dynamic controller that operates without destabilization and performance degradation. Implementation of this encrypted dynamic controller representation can be optimized via batching techniques to reduce the time and space complexities. Furthermore, this study analyzes the stability and performance degradation of a closed-loop system caused by the effects of controller encryption. A numerical simulation demonstrates the feasibility of the proposed encrypted control scheme, which inherits the control performance of the original controller at a sufficient level.


title: Autonomous Blimp Control using Deep Reinforcement Learning

abstract: Aerial robot solutions are becoming ubiquitous for an increasing number of tasks. Among the various types of aerial robots, blimps are very well suited to perform long-duration tasks while being energy efficient, relatively silent and safe. To address the blimp navigation and control task, in our recent work, we have developed a software-in-the-loop simulation and a PID-based controller for large blimps in the presence of wind disturbance. However, blimps have a deformable structure and their dynamics are inherently non-linear and time-delayed, often resulting in large trajectory tracking errors. Moreover, the buoyancy of a blimp is constantly changing due to changes in the ambient temperature and pressure. In the present paper, we explore a deep reinforcement learning (DRL) approach to address these issues. We train only in simulation, while keeping conditions as close as possible to the real-world scenario. We derive a compact state representation to reduce the training time and a discrete action space to enforce control smoothness. Our initial results in simulation show a significant potential of DRL in solving the blimp control task and robustness against moderate wind and parameter uncertainty. Extensive experiments are presented to study the robustness of our approach. We also openly provide the source code of our approach.


title: Using strong lensing to understand the microJy radio emission in two radio quiet quasars at redshift 1.7

abstract: The radio quasar luminosity function exhibits an upturn around $L_{6\rm\:GHz}=10^{23}$ W Hz$^{-1}$ that is well-modelled by a star-forming host galaxy population. This distribution leads some authors to cite star formation as the main radio emission mechanism in so-called radio-quiet quasars (RQQs). Understanding the origin of RQQ radio emission is crucial for our understanding of quasar feedback mechanisms -- responsible for the regulation of star-formation in the host galaxy -- and for understanding galaxy evolution as a whole. By observing RQQs that have been magnified by strong gravitational lensing, we have direct access to the RQQ population out to cosmic noon, where evidence for twin mini-jets has recently been found in a sub-\textmu Jy RQQ. Here we present radio observations of two lensed RQQs using the VLA at 5~GHz, the latest objects to be observed in a sample of quadruply-imaged RQQs above -30$^{\circ}$. In SDSS~J1004+4112 we find strong evidence for AGN-related radio emission in the variability of the source. In PG~1115+080 we find tentative evidence for AGN-related emission, determined by comparing the radio luminosity with modelled dust components. If confirmed in the case of PG~1115+080, which lies on the radio--FIR correlation, the result would reinforce the need for caution when applying the correlation to rule out jet activity and when assuming no AGN heating of FIR-emitting dust when calculating star formation rates. Our programme so far has shown that two of the faintest radio sources ever imaged show strong evidence for AGN-dominated radio emission.


title: Bernoulli property of subadditive equilibrium states

abstract: Under mild assumptions, we show that the unique subadditive equilibrium states for fiber-bunched cocycles are Bernoulli. We achieve this by showing these equilibrium states are absolutely continuous with respect to a product measure, and then using the Kolmogorov property of these measures.


title: Spin precession of binary neutron stars with magnetic dipole moments

abstract: Spin precession equations including the spin-orbit (SO), spin-spin (SS), quadrupole-monopole (QM) and magnetic dipole-magnetic dipole (DD) leading-order interactions are derived for compact binary systems in order to investigate the DD contribution in the orbit-averaged spin precession equations for binary neutron star systems neglecting the gravitational radiation-reaction effect. It is known that the magnitudes of spins are not conserved quantities due to the DD interaction. We give a simple analytical description for the pure DD interaction making the magnitudes of spins almost constant by neglecting the SO, SS and QM contributions. We also demonstrate the evolutions of the relative angles of spins and magnetic dipoles with the help of numeric simulations including all contributions (SO, SS, QM and DD) and introduce a dimensionless magnetic dipole parameter to characterize the strength of magnetic fields for some realistic neutron star binaries. We find that for realistic configurations the strong magnetic fields of neutron stars can modify the spin dynamics over long periods of time.


title: Chern character and obstructions to deforming cycles

abstract: Following Bloch-Esnault-Kerz and Green-Griffiths' recent works on deformation of algebraic cycle classes, we use Chern character from K-theory to negative cyclic homology to show how to eliminate obstructions to deforming cycles.


title: Low-Latency Incremental Text-to-Speech Synthesis with Distilled Context Prediction Network

abstract: Incremental text-to-speech (TTS) synthesis generates utterances in small linguistic units for the sake of real-time and low-latency applications. We previously proposed an incremental TTS method that leverages a large pre-trained language model to take unobserved future context into account without waiting for the subsequent segment. Although this method achieves comparable speech quality to that of a method that waits for the future context, it entails a huge amount of processing for sampling from the language model at each time step. In this paper, we propose an incremental TTS method that directly predicts the unobserved future context with a lightweight model, instead of sampling words from the large-scale language model. We perform knowledge distillation from a GPT2-based context prediction network into a simple recurrent model by minimizing a teacher-student loss defined between the context embedding vectors of those models. Experimental results show that the proposed method requires about ten times less inference time to achieve comparable synthetic speech quality to that of our previous method, and it can perform incremental synthesis much faster than the average speaking speed of human English speakers, demonstrating the availability of our method to real-time applications.


title: Phenomenological Gravitational Phase Transition: Early and Late Modifications

abstract: In this work we generalize the idea of a gravitational phase transition or GPT at late times to allow for a modified gravity scenario in the early universe as well. The original GPT was shown to simultaneously relax the $H_0$ and $\sigma_8$ tensions and {\it Planck} internal inconsistencies. However, the primary results from GPT predictions implied disagreement with the data from the baryonic acoustic oscillations (BAO). Here we investigate whether the generalized GPT scenario could address the Hubble tension in the presence of the BAO data as well. We find that, despite the vastly enlarged gravitational parameter space, the BAO data strongly prefer the $\Lambda$CDM paradigm with a low inferred Hubble constant, $68.03\pm 0.76 $ km/s/Mpc, in tension with the local $H_0$ measurements from Riess et al., $H_0=74.03\pm 1.42$ km/s/Mpc. This failure of the generalized GPT scenario to host the P18-BAO-R19 trio is of significance and noticeably shrinks the space of possible gravitational solutions to the Hubble tension.


title: Weak correlation between fluctuations in protein diffusion inside bacteria

abstract: A weak correlation between the diffusion-exponent fluctuations and the temperature fluctuations is discussed based on recent experimental observations for protein diffusion inside bacteria. Its existence is shown to be essential for describing the statistical properties of the fluctuations. It is also quantified how largely the fluctuations are modulated by the weak correlation.


title: Frisbee: automated testing of Cloud-native applications in Kubernetes

abstract: As more and more companies are migrating (or planning to migrate) from on-premise to Cloud, their focus is to find anomalies and deficits as early as possible in the development life cycle. We propose Frisbee, a declarative language and associated runtime components for testing cloud-native applications on top of Kubernetes. Given a template describing the system under test and a workflow describing the experiment, Frisbee automatically interfaces with Kubernetes to deploy the necessary software in containers, launch needed sidecars, execute the workflow steps, and perform automated checks for deviation from expected behavior. We evaluate Frisbee through a series of tests, to demonstrate its role in designing, and evaluating cloud-native applications; Frisbee helps in testing uncertainties at the level of application (e.g., dynamically changing request patterns), infrastructure (e.g., crashes, network partitions), and deployment (e.g., saturation points). Our findings have strong implications for the design, deployment, and evaluation of cloud applications. The most prominent is that: erroneous benchmark outputs can cause an apparent performance improvement, automated failover mechanisms may require interoperability with clients, and that a proper placement policy should also account for the clock frequency, not only the number of cores.


title: Superconductivity in PtPb$_{4}$ with Possible Nontrivial Band Topology

abstract: Superconductivity in topological quantum materials is much sought after as it represents the key avenue to searching for topological superconductors, which host a full pairing gap in the bulk but Majorana bound states at the surface. To date, however, the simultaneous realization of nontrivial band topology and superconductivity in the same material under ambient conditions remains rare. In this paper, we study both superconducting and topological properties of a binary compound PtPb$_{4}$ ($T_c$ $\sim$ 2.7 K) that was recently reported to exhibit large Rashba splitting, inherent to the heavy 5$d$ Pt and 6$p$ Pb. We show that in PtPb$_{4}$, the specific heat jump at $T_c$ reaches $\Delta C/\gamma T_{c}$$\sim$1.70$\pm0.04$, larger than 1.43 expected for the weak-coupling BCS superconductors. Moreover, the measurement of quantum oscillation suggests the possibility for a topological band structure, which is further studied by density functional theory calculations. Our study may stimulate future experimental and theoretical investigations in this intriguing material.


title: What does lie at the Milky Way centre? Insights from the S2 star orbit precession

abstract: It has been recently demonstrated that both, a classical Schwarzschild black hole (BH), and a dense concentration of self-gravitating fermionic dark matter (DM) placed at the Galaxy centre, can explain the precise astrometric data (positions and radial velocities) of the S-stars orbiting SgrA*. This result encompasses the 17 best resolved S-stars, and includes the test of general relativistic effects such as the gravitational redshift in the S2-star. In addition, the DM model features another remarkable result: the dense core of fermions is the central region of a continuous density distribution of DM whose diluted halo explains the Galactic rotation curve. In this Letter, we complement the above findings by analyzing in both models the relativistic periapsis precession of the S2-star orbit. While the Schwarzschild BH scenario predicts a unique prograde precession for S2, in the DM scenario it can be either retrograde or prograde, depending on the amount of DM mass enclosed within the S2 orbit, which in turn is a function of the DM fermion mass. We show that all the current and publicly available data of S2 can not discriminate between the two models, but upcoming S2 astrometry close to next apocentre passage could potentially establish if SgrA* is governed by a classical BH or by a quantum DM system.


title: Mira Ceti, atypical archetype

abstract: With the aim of unraveling the complexity of the morpho-kinematics of the circumstellar envelope (CSE) of Mira Ceti, we review, extend and in some cases revisit ALMA millimeter observations of the emission of the SiO(5-4) and CO(3-2) molecular lines. In addition, we present a detailed analysis of the optically thin $^{13}$CO(3-2) emission, which provides several important new results. In agreement with observations at infrared and visible wavelengths, we give evidence for confinement and probably rotation of a dense gas volume within $\sim$50 au from the star and for a large SiO line-width within $\sim$15 au. We show that the mass loss process is episodic and takes the form of clumps having a very low SiO/CO abundance ratio compared with similar oxygen-rich long period variables, probably a result of depletion on dust grains and photo-dissociation. We evaluate the mass loss rate associated with the main clumps and compare it with values obtained from single dish observations. We argue that the SiO emission observed in the south-western quadrant is not related to the mechanism of generation of the nascent wind but to a mass ejection that occurred eleven years before the observations. We remark that Mira Ceti is not a good archetype in terms of its wind: models aiming at describing the very complex gas-dust chemistry in action in the CSE of oxygen-rich AGB stars may find it difficult to account for its peculiar features, small variations in the parameters deciding when and where mass loss can proceed significantly.


title: Automatic Plane Adjustment of Orthopedic Intra-operative Flat Panel Detector CT-Volumes

abstract: Purpose 3D acquisitions are often acquired to assess the result in orthopedic trauma surgery. With a mobile C-Arm system, these acquisitions can be performed intra-operatively. That reduces the number of required revision surgeries. However, due to the operation room setup, the acquisitions typically cannot be performed such that the acquired volumes are aligned to the anatomical regions. Thus, the multiplanar reconstructed (MPR) planes need to be adjusted manually during the review of the volume. In this paper, we present a detailed study of multi-task learning (MTL) regression networks to estimate the parameters of the MPR planes. Approach First, various mathematical descriptions for rotation, including Euler angle, quaternion, and matrix representation, are revised. Then, three different MTL network architectures based on the PoseNet are compared with a single task learning network. Results Using a matrix description rather than the Euler angle description, the accuracy of the regressed normals improves from $7.7^{\circ}$ to $7.3^{\circ}$ in the mean value for single anatomies. The multi-head approach improves the regression of the plane position from $7.4mm$ to $6.1mm$, while the orientation does not benefit from this approach. Conclusions The results show that a multi-head approach can lead to slightly better results than the individual tasks networks. The most important benefit of the MTL approach is that it is a single network for standard plane regression for all body regions with a reduced number of stored parameters.


title: The Fractional Porous Medium Equation on noncompact Riemannian manifolds

abstract: We study nonnegative solutions to the Fractional Porous Medium Equation on a suitable class of connected, noncompact Riemannian manifolds. We provide existence and smoothing estimates for solutions, in an appropriate weak (dual) sense, for data belonging either to the usual $L^1$ space or to a considerably larger weighted space determined in terms of the fractional Green function. The class of manifolds for which the results hold include both the Euclidean and the hyperbolic spaces and even in the Euclidean situation involve a class of data which is larger than previously known one.


title: Animal inspired Application of a Variant of Mel Spectrogram for Seismic Data Processing

abstract: Predicting disaster events from seismic data is of paramount importance and can save thousands of lives, especially in earthquake-prone areas and habitations around volcanic craters. The drastic rise in the number of seismic monitoring stations in recent years has allowed the collection of a huge quantity of data, outpacing the capacity of seismologists. Due to the complex nature of the seismological data, it is often difficult for seismologists to detect subtle patterns with major implications. Machine learning algorithms have been demonstrated to be effective in classification and prediction tasks for seismic data. It has been widely known that some animals can sense disasters like earthquakes from seismic signals well before the disaster strikes. Mel spectrogram has been widely used for speech recognition as it scales the actual frequencies according to human hearing. In this paper, we propose a variant of the Mel spectrogram to scale the raw frequencies of seismic data to the hearing of such animals that can sense disasters from seismic signals. We are using a Computer vision algorithm along with clustering that allows for the classification of unlabelled seismic data.


title: Autocorrelation Functions, Cosmology and Investigating The CMB Cold Spot With EMU-ASKAP Radio Continuum Survey

abstract: Galaxy angular-power spectrum and autocorrelation functions (ACFs) provide information about the distribution of matter by using galaxy counts as a proxy. In this study, we are going to estimate autocorrelation angular power spectrum and angular autocorrelation function for EMU-ASKAP 5 sigma sources and then compare them with results from NVSS. We will also use SUMSS data to compare ACF results using Landy-Szalay estimator. EMU-ASKAP will provide excellent opportunity to observe universe with high sensitivity and is likely going to observe millions of high redshift sources which will help in studying the clustering of the large scale structures, constraining cosmological parameters and exploring mysteries like the existence of a cosmic cold spot or the CMB cold spot as observed by both Planck and WMAP probes. We will discuss some possible ways, the CMB cold spot puzzle can be explored further by using the galaxy clustering, integral source count and galaxy bias analysis with a highly sensitive survey like EMU-ASKAP.


title: Nonemptiness of Severi varieties on Enriques surfaces

abstract: Let $(S,L)$ be a general polarized Enriques surface, with $L$ not numerically 2-divisible. We prove the existence of regular components of all Severi varieties of irreducible $\delta$-nodal curves in the linear system $|L|$, with $0\leq \delta\leq p_a(L)-1$. This solves a classical open problem and gives a positive answer to a recent conjecture of Pandharipande--Schmitt, under the additional condition of non-2-divisibility.