title: An Active Galactic Nucleus Recognition Model based on Deep Neural Network

abstract: To understand the cosmic accretion history of supermassive black holes, separating the radiation from active galactic nuclei (AGNs) and star-forming galaxies (SFGs) is critical. However, a reliable solution on photometrically recognising AGNs still remains unsolved. In this work, we present a novel AGN recognition method based on Deep Neural Network (Neural Net; NN). The main goals of this work are (i) to test if the AGN recognition problem in the North Ecliptic Pole Wide (NEPW) field could be solved by NN; (ii) to shows that NN exhibits an improvement in the performance compared with the traditional, standard spectral energy distribution (SED) fitting method in our testing samples; and (iii) to publicly release a reliable AGN/SFG catalogue to the astronomical community using the best available NEPW data, and propose a better method that helps future researchers plan an advanced NEPW database. Finally, according to our experimental result, the NN recognition accuracy is around 80.29% - 85.15%, with AGN completeness around 85.42% - 88.53% and SFG completeness around 81.17% - 85.09%.


title: Heralded generation of vectorially structured photons with high purity

abstract: Engineering vector spatial modes of photons is an important approach for manipulating high-dimension photonic states in various quantum optical experiments. In this work, we demonstrate generation of heralded single photons with well-defined vector spatial modes by using a self-locking polarizing interferometer comprising a spatial light modulator. Specifically, it is shown that, by carefully tailoring and compensating spatial and temporal amplitudes of manipulated photons, one can exactly convert ultrafast single photons into desired spin-orbit states with extremely high purity. This compact and robust device provides a versatile way for not only generation, but also manipulation and characterization of arbitrary photonic spin-orbit states.


title: Deep Generative Models of Gravitational Waveforms via Conditional Autoencoder

abstract: We construct few deep generative models of gravitational waveforms based on the semi-supervising scheme of conditional autoencoders and their variational extensions. Once the training is done, we find that our best waveform model can generate the inspiral-merger waveforms of binary black hole coalescence with more than $97\%$ average overlap matched filtering accuracy for the mass ratio between $1$ and $10$. Besides, the generation time of a single waveform takes about one millisecond, which is about $10$ to $100$ times faster than the EOBNR algorithm running on the same computing facility. Moreover, these models can also help to explore the space of waveforms. That is, with mainly the low-mass-ratio training set, the resultant trained model is capable of generating large amount of accurate high-mass-ratio waveforms. This result implies that our generative model can speed up the waveform generation for the low latency search of gravitational wave events. With the improvement of the accuracy in future work, the generative waveform model may also help to speed up the parameter estimation and can assist the numerical relativity in generating the waveforms of higher mass ratio by progressively self-training.


title: KCP: Kernel Cluster Pruning for Dense Labeling Neural Networks

abstract: Pruning has become a promising technique used to compress and accelerate neural networks. Existing methods are mainly evaluated on spare labeling applications. However, dense labeling applications are those closer to real world problems that require real-time processing on resource-constrained mobile devices. Pruning for dense labeling applications is still a largely unexplored field. The prevailing filter channel pruning method removes the entire filter channel. Accordingly, the interaction between each kernel in one filter channel is ignored. In this study, we proposed kernel cluster pruning (KCP) to prune dense labeling networks. We developed a clustering technique to identify the least representational kernels in each layer. By iteratively removing those kernels, the parameter that can better represent the entire network is preserved; thus, we achieve better accuracy with a decent model size and computation reduction. When evaluated on stereo matching and semantic segmentation neural networks, our method can reduce more than 70% of FLOPs with less than 1% of accuracy drop. Moreover, for ResNet-50 on ILSVRC-2012, our KCP can reduce more than 50% of FLOPs reduction with 0.13% Top-1 accuracy gain. Therefore, KCP achieves state-of-the-art pruning results.


title: Photochromism and influence of point defect charge states on optical absorption in aluminum nitride (AlN)

abstract: In this work, we study the absorption properties of AlN in the range of 1.5 - 5.5 eV, as well as the meta-stable change in absorption induced by ultraviolet (UV) irradiation (photochromism), and the restoration of the initial state under the action of irradiation of 2 - 4 eV or elevated temperatures. UV irradiation results in a decrease of the absorption coefficient from 110 cm$^{-1}$ to 55 cm$^{-1}$ at 4.7 eV while in the visible range the absorption coefficient increases from values below 5 cm$^{-1}$ to ~35 cm$^{-1}$. Measurements with two linear polarizations, parallel and perpendicular to the optical axis, provide determination of several different absorption bands at 2.6, 2.8, 3.4, 4.0, 4.5, and 4.8 eV. The bands at 2.6 eV and 3.4 eV identify the defect levels near to the valence band, while the band peaking at 2.8 eV is related to the conduction band. The photochromism allows controlling the absorption of light in two related spectral ranges because the decrease of UV absorption and increase of the visible absorption are related to switching the charge state of the same defects.


title: Studying the $\bar{D}_1K$ molecule in the Bethe-Salpeter equation approach

abstract: We interpret the $X_1(2900)$ as an $S$-wave $\bar{D}_1K$ molecular state in the Bethe-Salpeter equation approach with the ladder and instantaneous approximations for the kernel. By solving the Bethe-Salpeter equation numerically with the kernel containing one-particle-exchange diagrams and introducing three different form factors (monopole, dipole, and exponential form factors) in the verties, we find the bound state exists. We also study the decay width of the decay $X_1(2900)$ to $D^-K^+$.


title: Hamiltonicity of graphs perturbed by a random regular graph

abstract: We study Hamiltonicity and pancyclicity in the graph obtained as the union of a deterministic $n$-vertex graph $H$ with $\delta(H)\geq\alpha n$ and a random $d$-regular graph $G$, for $d\in\{1,2\}$. When $G$ is a random $2$-regular graph, we prove that a.a.s. $H\cup G$ is pancyclic for all $\alpha\in(0,1]$, and also extend our result to a range of sublinear degrees. When $G$ is a random $1$-regular graph, we prove that a.a.s. $H\cup G$ is pancyclic for all $\alpha\in(\sqrt{2}-1,1]$, and this result is best possible. Furthermore, we show that this bound on $\delta(H)$ is only needed when $H$ is `far' from containing a perfect matching, as otherwise we can show results analogous to those of random $2$-regular graphs. Our proofs provide polynomial-time algorithms to find cycles of any length.


title: A Two-Population Mortality Model to Assess Longevity Basis Risk

abstract: Index-based hedging solutions are used to transfer the longevity risk to the capital markets. However, mismatches between the liability of the hedger and the hedging instrument cause longevity basis risk. Therefore, an appropriate two-population model to measure and assess the longevity basis risk is required. In this paper, we aim to construct a two-population mortality model to provide an effective hedge against the longevity basis risk. The reference population is modelled by using the Lee-Carter model with the renewal process and exponential jumps proposed by \"Ozen and \c{S}ahin (2020) and the dynamics of the book population are specified. The analysis based on the UK mortality data indicates that the proposed model for the reference population and the common age effect model for the book population provide a better fit compared to the other models considered in the paper. Different two-population models are used to investigate the impact of the sampling risk on the index-based hedge as well as to analyse the risk reduction regarding hedge effectiveness. The results show that the proposed model provides a significant risk reduction when mortality jumps and the sampling risk are taken into account.


title: Stability of Boolean function classes with respect to clones of linear functions

abstract: We consider classes of Boolean functions stable under compositions both from the right and from the left with clones. Motivated by the question how many properties of Boolean functions can be defined by means of linear equations, we focus on stability under compositions with the clone of linear idempotent functions. It follows from a result by Sparks that there are countably many such linearly definable classes of Boolean functions. In this paper, we refine this result by completely describing these classes. This work is tightly related with the theory of function minors, stable classes, clonoids, and hereditary classes, topics that have been widely investigated in recent years by several authors including Maurice Pouzet and his coauthors.


title: Metallization of Shock-Compressed Liquid Ammonia

abstract: Ammonia is predicted to be one of the major components in the depths of the ice giant planets Uranus and Neptune. Their dynamics, evolution, and interior structure are insufficiently understood and models rely imperatively on data for equation of state and transport properties. Despite its great significance, the experimentally accessed region of the ammonia phase diagram today is still very limited in pressure and temperature. Here we push the probed regime to unprecedented conditions, up to $\sim$350 GPa and $\sim$40000 K. Along the Hugoniot, the temperature measured as a function of pressure shows a subtle change in slope at $\sim$7000 K and $\sim$90 GPa, in agreement with ab initio simulations we have performed. This feature coincides with the gradual transition from a molecular liquid to a plasma state. Additionally, we performed reflectivity measurements, providing the first experimental evidence of electronic conduction in high-pressure ammonia. Shock reflectance continuously rises with pressure above 50 GPa and reaches saturation values above 120 GPa. Corresponding electrical conductivity values are up to 1 order of magnitude higher than in water in the 100 GPa regime, with possible significant contributions of the predicted ammonia-rich layers to the generation of magnetic dynamos in ice giant interiors.


title: Perfect teleportation with a partially entangled quantum channel

abstract: Quantum teleportation provides a way to transfer unknown quantum states from one system to another via an entangled state as a quantum channel without physical transmission of the object itself. The entangled channel, measurement performed by the sender (Alice), and classical information sent to the receiver (Bob) are three key ingredients in the procedure, which need to cooperate with each other. To study the relationship among the three parts, we propose a scheme for perfect teleportation of a qubit through a high-dimensional quantum channel in a pure state with two equal largest Schmidt coefficients. The scheme requires less entanglement of Alice's measurement but more classical bits than the original scheme via a Bell state. The two quantities increase with the entanglement of the quantum channel when its dimension is fixed and thereby can be regard as Alice's necessary capabilities to use the quantum channel. And the two capabilities appear complementary to each other.


title: On the combinatorial value of Hex positions

abstract: We develop a theory of combinatorial games that is appropriate for describing positions in Hex and other monotone set coloring games. We consider two natural conditions on such games: a game is monotone if all moves available to both players are good, and passable if in each position, at least one player has at least one good move available. The latter condition is equivalent to saying that if passing were permitted, no player would benefit from passing. Clearly every monotone game is passable, and we prove that the converse holds up to equivalence of games. We give some examples of how this theory can be applied to the analysis of Hex positions.


title: On the codescent of \'etale wild kernels in $p$-adic Lie extensions

abstract: Let $F$ be a number field and $p$ an odd prime. We estimate the kernels and cokernels of the codescent maps of the \'etale wild kernels over various $p$-adic Lie extensions. For this, we propose a novel approach of viewing the \'etale wild kernel as an appropriate fine Selmer group in the sense of Coates-Sujatha. This viewpoint reduces the problem to a control theorem of the said fine Selmer groups, which in turn allows us to employ the strategies developed by Mazur and Greenberg. As applications of our estimates on the kernels and cokernels of the codescent maps, we establish asymptotic growth formulas for the \'etale wild kernels in the various said $p$-adic Lie extensions. We then relate these growth formulas to the Greenberg's conjecture (and its noncommutative analogue). Finally, we shall give some examples to illustrate our results.


title: On uniqueness and reconstruction of a nonlinear diffusion term in a parabolic equation

abstract: The problem of recovering coefficients in a diffusion equation is one of the basic inverse problems. Perhaps the most important term is the one that couples the length and time scales and is often referred to as {\it the\/} diffusion coefficient $a$ in $u_t - \nabla(a\nabla u) = f$. In this paper we seek the unknown $a$ assuming that $a=a(u)$ depends only on the value of the solution at a given point. Such diffusion models are the basic of a wide range of physical phenomena such as nonlinear heat conduction, chemical mixing and population dynamics. We shall look at two types of overposed data in order to effect recovery of $a(u)$: the value of a time trace $u(x_0,t)$ for some fixed point $x_0$ on the boundary of the region $\Omega$; or the value of $u$ on an interior curve $\Sigma$ lying within $\Omega$. As examples, these might represent a temperature measurement on the boundary or a census of the population in some subset of $\Omega$ taken at a fixed time $T>0$. In the latter case we shall show a uniqueness result that leads to a constructive method for recovery of $a$. Indeed, for both types of measured data we shall show reconstructions based on the iterative algorithms developed in the paper.


title: Superfluid Density in Conventional Superconductors: From Clean to Strongly Disordered

abstract: The highly convergent form of superfluid density in disordered conventional superconductors available in the literature and independently obtained by us following the approach of an earlier paper [Phys. Rev. B $\bm{102}$, 024514 (2020)] has been reformulated to separate out the generally used so-called `dirty-limit' term and an additional term. We use this new expression for making an extensive comparison with previously published experimental data and show that the former, generally used, term is {\em not} sufficient for analyzing these results. We point out that consequently, there is a large regime (disordered superconductors with moderate to no disorder) where theoretical predictions need to be confronted with experiment.


title: Asymptotic spreading of KPP reactive fronts in heterogeneous shifting environments

abstract: We study the asymptotic spreading of Kolmogorov-Petrovsky-Piskunov (KPP) fronts in heterogeneous shifting habitats, with any number of shifting speeds, by further developing the method based on the theory of viscosity solutions of Hamilton-Jacobi equations. Our framework addresses both reaction-diffusion equation and integro-differential equations with a distributed time-delay. The latter leads to a class of limiting equations of Hamilton-Jacobi-type depending on the variable $x/t$ and in which the time and space derivatives are coupled together. We will first establish uniqueness results for these Hamilton-Jacobi equations using elementary arguments, and then characterize the spreading speed in terms of a reduced equation on a one-dimensional domain in the variable $s=x/t$. In terms of the standard Fisher-KPP equation, our results leads to a new class of "asymptotically homogeneous" environments which share the same spreading speed with the corresponding homogeneous environments.


title: Efficiently Fusing Pretrained Acoustic and Linguistic Encoders for Low-resource Speech Recognition

abstract: End-to-end models have achieved impressive results on the task of automatic speech recognition (ASR). For low-resource ASR tasks, however, labeled data can hardly satisfy the demand of end-to-end models. Self-supervised acoustic pre-training has already shown its amazing ASR performance, while the transcription is still inadequate for language modeling in end-to-end models. In this work, we fuse a pre-trained acoustic encoder (wav2vec2.0) and a pre-trained linguistic encoder (BERT) into an end-to-end ASR model. The fused model only needs to learn the transfer from speech to language during fine-tuning on limited labeled data. The length of the two modalities is matched by a monotonic attention mechanism without additional parameters. Besides, a fully connected layer is introduced for the hidden mapping between modalities. We further propose a scheduled fine-tuning strategy to preserve and utilize the text context modeling ability of the pre-trained linguistic encoder. Experiments show our effective utilizing of pre-trained modules. Our model achieves better recognition performance on CALLHOME corpus (15 hours) than other end-to-end models.


title: Symmetry operators for the conformal wave equation in rotating black hole spacetimes

abstract: We present covariant symmetry operators for the conformal wave equation in the (off-shell) Kerr-NUT-AdS spacetimes. These operators, that are constructed from the principal Killing-Yano tensor, its `symmetry descendants', and the curvature tensor, guarantee separability of the conformal wave equation in these spacetimes. We next discuss how these operators give rise to a full set of conformally invariant mutually commuting operators for the conformally rescaled spacetimes and underlie the $R$-separability of the conformal wave equation therein. Finally, by employing the WKB approximation we derive the associated Hamilton-Jacobi equation with a scalar curvature potential term and show its separability in the Kerr-NUT-AdS spacetimes.


title: Coherent manipulation of an Andreev spin qubit

abstract: Two promising architectures for solid-state quantum information processing are electron spins in semiconductor quantum dots and the collective electromagnetic modes of superconducting circuits. In some aspects, these two platforms are dual to one another: superconducting qubits are more easily coupled but are relatively large among quantum devices $(\sim\mathrm{mm})$, while electrostatically-confined electron spins are spatially compact ($\sim \mathrm{\mu m}$) but more complex to link. Here we combine beneficial aspects of both platforms in the Andreev spin qubit: the spin degree of freedom of an electronic quasiparticle trapped in the supercurrent-carrying Andreev levels of a Josephson semiconductor nanowire. We demonstrate coherent spin manipulation by combining single-shot circuit-QED readout and spin-flipping Raman transitions, finding a spin-flip time $T_S = 17~\mathrm{\mu s}$ and a spin coherence time $T_{2E}=52~\mathrm{ns}$. These results herald a new spin qubit with supercurrent-based circuit-QED integration and further our understanding and control of Andreev levels -- the parent states of Majorana zero modes -- in semiconductor-superconductor heterostructures.


title: Deep Learning based Virtual Point Tracking for Real-Time Target-less Dynamic Displacement Measurement in Railway Applications

abstract: In the application of computer-vision based displacement measurement, an optical target is usually required to prove the reference. In the case that the optical target cannot be attached to the measuring objective, edge detection, feature matching and template matching are the most common approaches in target-less photogrammetry. However, their performance significantly relies on parameter settings. This becomes problematic in dynamic scenes where complicated background texture exists and varies over time. To tackle this issue, we propose virtual point tracking for real-time target-less dynamic displacement measurement, incorporating deep learning techniques and domain knowledge. Our approach consists of three steps: 1) automatic calibration for detection of region of interest; 2) virtual point detection for each video frame using deep convolutional neural network; 3) domain-knowledge based rule engine for point tracking in adjacent frames. The proposed approach can be executed on an edge computer in a real-time manner (i.e. over 30 frames per second). We demonstrate our approach for a railway application, where the lateral displacement of the wheel on the rail is measured during operation. We also implement an algorithm using template matching and line detection as the baseline for comparison. The numerical experiments have been performed to evaluate the performance and the latency of our approach in the harsh railway environment with noisy and varying backgrounds.


title: Thermally-Driven Charge-Density-Wave Transitions in 1T-TaS2 Thin-Film Devices: Prospects for GHz Switching Speed

abstract: We report on the room-temperature switching of 1T-TaS2 thin-film charge-density-wave devices, using nanosecond-duration electrical pulsing to construct their time-resolved current-voltage characteristics. The switching action is based upon the nearly-commensurate to incommensurate charge-density-wave phase transition in this material, which has a characteristic temperature of 350 K at thermal equilibrium. For sufficiently short pulses, with rise times in the nanosecond range, self-heating of the devices is suppressed, and their current-voltage characteristics are weakly non-linear and free of hysteresis. This changes as the pulse duration is increased to 200 ns, where the current develops pronounced hysteresis that evolves non-monotonically with the pulse duration. By combining the results of our experiments with a numerical analysis of transient heat diffusion in these devices, we clearly reveal the thermal origins of their switching. In spite of this thermal character, our modeling suggests that suitable reduction of the size of these devices should allow their operation at GHz frequencies.


title: Adversarial Interaction Attack: Fooling AI to Misinterpret Human Intentions

abstract: Understanding the actions of both humans and artificial intelligence (AI) agents is important before modern AI systems can be fully integrated into our daily life. In this paper, we show that, despite their current huge success, deep learning based AI systems can be easily fooled by subtle adversarial noise to misinterpret the intention of an action in interaction scenarios. Based on a case study of skeleton-based human interactions, we propose a novel adversarial attack on interactions, and demonstrate how DNN-based interaction models can be tricked to predict the participants' reactions in unexpected ways. From a broader perspective, the scope of our proposed attack method is not confined to problems related to skeleton data but can also be extended to any type of problems involving sequential regressions. Our study highlights potential risks in the interaction loop with AI and humans, which need to be carefully addressed when deploying AI systems in safety-critical applications.


title: Low-lying zeros of symmetric power $L$-functions weighted by symmetric square $L$-values

abstract: For a totally real number field $F$ and its ad\`ele ring $\mathbb{A}_F$, let $\pi$ vary in the set of irreducible cuspidal automorphic representations of ${\rm PGL}_2(\mathbb{A}_F)$ corresponding to primitive Hilbert modular forms of a fixed weight. Then, we determine the symmetry type of the one-level density of low-lying zeros of the symmetric power $L$-functions $L(s,{\rm Sym}^r(\pi))$ weighted by special values of symmetric square $L$-functions $L(\frac{z+1}{2},{\rm Sym}^2(\pi))$ at $z \in [0, 1]$ in the level aspect. If $0 < z \le 1$, our weighted density in the level aspect has the same symmetry type as Ricotta and Royer's density of low-lying zeros of symmetric power $L$-functions for $F=\mathbb{Q}$ with harmonic weight. Hence our result is regarded as a $z$-interpolation of Ricotta and Royer's result. If $z=0$, density of low-lying zeros weighted by central values is a different type only when $r=2$, and it does not appear in random matrix theory as Katz and Sarnak predicted. Moreover, we propose a conjecture on weighted density of low-lying zeros of $L$-functions by special $L$-values. In the latter part, Appendices A, B and C are dedicated to the comparison among several generalizations of Zagier's parameterized trace formula. We prove that the explicit Jacquet-Zagier type trace formula (the ST trace formula) by Tsuzuki and the author recovers all of Zagier's, Takase's and Mizumoto's formulas by specializing several data. Such comparison is not so straightforward and includes non-trivial analytic evaluations.


title: The fate of particles in a volumetrically heated convective fluid at high Prandtl number

abstract: The dynamics of suspensions plays a crucial role on the evolution of geophysical systems such as lava lakes, magma chambers and magma oceans. During their cooling and solidification, these magmatic bodies involve convective viscous fluids and dispersed solid crystals that can form either a cumulate or a floating lid by sedimentation. We study such systems based on internal heating convection experiments in high Prandtl fluids bearing plastic beads. We aim to determine the conditions required to produce a floating lid or a sedimented deposit. We show that although the sign of particles buoyancy is the key parameter, it is not sufficient to predict the particles fate. To complement the model we introduce the Shields formalism and couple it with scaling laws describing convection. We propose a generalised Shields number that enables a self-consistent description of the fate of particles in the system, especially the possibility to segregate from the convective bulk. We provide a quantification of the partition of the mass of particles in the different potential reservoirs (bulk suspension, floating lid, settled cumulate) through reconciling the suspension stability framework with the Shields formalism. We illustrate the geophysical implications of the model by revisiting the problem of the stability of flotation crusts on solidifying rocky bodies.


title: Fourier, Gabor, Morlet or Wigner: Comparison of Time-Frequency Transforms

abstract: In digital signal processing time-frequency transforms are used to analyze time-varying signals with respect to their spectral contents over time. Apart from the commonly used short-time Fourier transform, other methods exist in literature, such as the Wavelet, Stockwell or Wigner-Ville transform. Consequently, engineers working on digital signal processing tasks are often faced with the question which transform is appropriate for a specific application. To address this question, this paper first briefly introduces the different transforms. Then it compares them with respect to the achievable resolution in time and frequency and possible artifacts. Finally, the paper contains a gallery of time-frequency representations of numerous signals from different fields of applications to allow for visual comparison.


title: Heights of polynomials over lemniscates

abstract: We consider a family of heights defined by the $L_p$ norms of polynomials with respect to the equilibrium measure of a lemniscate for $0 \le p \le \infty$, where $p=0$ corresponds to the geometric mean (the generalized Mahler measure) and $p=\infty$ corresponds to the standard supremum norm. This special choice of the measure allows to find an explicit form for the geometric mean of a polynomial, and estimate it via certain resultant. For lemniscates satisfying appropriate hypotheses, we establish explicit polynomials of lowest height, and also show their uniqueness. We discuss relations between the standard results on the Mahler measure and their analogues for lemniscates that include generalizations of Kronecker's theorem on algebraic integers in the unit disk, as well as of Lehmer's conjecture.


title: Human Activity Recognition Using Multichannel Convolutional Neural Network

abstract: Human Activity Recognition (HAR) simply refers to the capacity of a machine to perceive human actions. HAR is a prominent application of advanced Machine Learning and Artificial Intelligence techniques that utilize computer vision to understand the semantic meanings of heterogeneous human actions. This paper describes a supervised learning method that can distinguish human actions based on data collected from practical human movements. The primary challenge while working with HAR is to overcome the difficulties that come with the cyclostationary nature of the activity signals. This study proposes a HAR classification model based on a two-channel Convolutional Neural Network (CNN) that makes use of the frequency and power features of the collected human action signals. The model was tested on the UCI HAR dataset, which resulted in a 95.25% classification accuracy. This approach will help to conduct further researches on the recognition of human activities based on their biomedical signals.


title: House of algebraic integers symmetric about the unit circle

abstract: We give a Schinzel-Zassenhaus-type lower bound for the maximum modulus of roots of a monic integer polynomial with all roots symmetric with respect to the unit circle. Our results extend a recent work of Dimitrov, who proved the general Schinzel-Zassenhaus conjecture by using the P\'olya rationality theorem for a power series with integer coefficients, and some estimates for logarithmic capacity (transfinite diameter) of sets. We use an enhancement of P\'olya's result obtained by Robinson, which involves Laurent-type rational functions with small supremum norms, thereby replacing the logarithmic capacity with a smaller quantity. This smaller quantity is expressed via a weighted Chebyshev constant for the set associated with Dimitrov's function used in Robinson's rationality theorem. Our lower bound for the house confirms a conjecture of Boyd.


title: Generalized Leibniz rules and Lipschitzian stability for expected-integral mappings

abstract: This paper is devoted to the study of the expected-integral multifunctions given in the form \begin{equation*} \operatorname{E}_\Phi(x):=\int_T\Phi_t(x)d\mu, \end{equation*} where $\Phi\colon T\times\mathbb{R}^n \rightrightarrows \mathbb{R}^m$ is a set-valued mapping on a measure space $(T,\mathcal{A},\mu)$. Such multifunctions appear in applications to stochastic programming, which require developing efficient calculus rules of generalized differentiation. Major calculus rules are developed in this paper for coderivatives of multifunctions $\operatorname{E}_\Phi$ and second-order subdifferentials of the corresponding expected-integral functionals with applications to constraint systems arising in stochastic programming. The paper is self-contained with presenting in the preliminaries some needed results on sequential first-order subdifferential calculus of expected-integral functionals taken from the first paper of this series.


title: Equatorial Ba\~nados-Silk-West effect in Kerr-Newman-Taub-NUT spacetime revisited

abstract: In this paper, we revisit the possibilities of Ba\~nados-Silk-West (BSW) effect in Kerr-Newman-Taub-NUT (KNTN) spacetime for two neutral particles moving over the equatorial plane and constant $\theta$ in Boyer-Lindquist coordinate. Contrary to a previous study on this topic, we found that BSW effect for two particles confined to move over the equatorial plane is not possible. Numerical calculations shows that BSW effect in constant $\theta$ geodesics is possible under certain circumstances.


title: On the inversion of Riordan arrays

abstract: Many Riordan arrays play a significant role in algebraic combinatorics. We explore the inversion of Riordan arrays in this context. We give a general construct for the inversion of a Riordan array, and study this in the case of various subgroups of the Riordan group. For instance, we show that the inversion of an ordinary Bell matrix is an exponential Riordan array in the associated subgroup. Examples from combinatorics and algebraic combinatorics illustrate the usefulness of such inversions. We end with a brief look at the inversion of exponential Riordan arrays. A final example places Airey's convergent factor in the context of a simple exponential Riordan array.


title: A Theoretical Framework for the Mass Distribution of Gas Giant Planets forming through the Core Accretion Paradigm

abstract: This paper constructs a theoretical framework for calculating the distribution of masses for gas giant planets forming via the core accretion paradigm. Starting with known properties of circumstellar disks, we present models for the planetary mass distribution over the range $0.1M_J < M_{\rm p} < 10M_J$. If the circumstellar disk lifetime is solely responsible for the end of planetary mass accretion, the observed (nearly) exponential distribution of disk lifetime would imprint an exponential fall-off in the planetary mass function. This result is in apparent conflict with observations, which suggest that the mass distribution has a (nearly) power-law form $dF/dM_{\rm p}\sim M_{\rm p}^{-p}$, with index $p\approx1.3$, over the relevant planetary mass range (and for stellar masses $\sim0.5-2M_\odot$). The mass accretion rate onto the planet depends on the fraction of the (circumstellar) disk accretion flow that enters the Hill sphere, and on the efficiency with which the planet captures the incoming material. Models for the planetary mass function that include distributions for these efficiencies, with uninformed priors, can produce nearly power-law behavior, consistent with current observations. The disk lifetimes, accretion rates, and other input parameters depend on the mass of the host star. We show how these variations lead to different forms for the planetary mass function for different stellar masses. Compared to stars with masses $M_\ast$ = $0.5-2M_\odot$, stars with smaller masses are predicted to have a steeper planetary mass function (fewer large planets).


title: Heterogeneous Hand Guise Classification Based on Surface Electromyographic Signals Using Multichannel Convolutional Neural Network

abstract: Electromyography (EMG) is a way of measuring the bioelectric activities that take place inside the muscles. EMG is usually performed to detect abnormalities within the nerves or muscles of a target area. The recent developments in the field of Machine Learning allow us to use EMG signals to teach machines the complex properties of human movements. Modern machines are capable of detecting numerous human activities and distinguishing among them solely based on the EMG signals produced by those activities. However, success in accomplishing this task mostly depends on the learning technique used by the machine to analyze EMG signals; and even the latest algorithms do not result in flawless classification. In this study, a novel classification method has been described employing a multichannel Convolutional Neural Network (CNN) that interprets surface EMG signals by the properties they exhibit in the power domain. The proposed method was tested on a well-established EMG dataset, and the result yields very high classification accuracy. This learning model will help researchers to develop prosthetic arms capable of detecting various hand gestures to mimic them afterwards.


title: Coherent seeding of the dynamics of a spinor Bose-Einstein condensate: from quantum to classical behavior

abstract: We present experiments revealing the competing effect of quantum fluctuations and of a coherent seed in the dynamics of a spin-1 Bose-Einstein condensate, and discuss the relevance of a mean-field description of our system. We first explore a near-equilibrium situation, where the mean-field equations can be linearized around a fixed point corresponding to all atoms in the same Zeeman state $m=0$. Preparing the system at this classical fixed point, we observe a reversible dynamics triggered by quantum fluctuations, which cannot be understood within a classical framework. We demonstrate that the classical description becomes accurate provided a coherent seed of a few atoms only is present in the other Zeeman states $m= \pm 1$. In a second regime characterized by a strong non-linearity of the mean-field equations, we observe a collapse dynamics driven by quantum fluctuations. This behavior cannot be accounted for by a classical description and persists for a large range of initial states. We show that all our experimental results can be explained with a semi-classical description (truncated Wigner approximation), using stochastic classical variables to model the quantum noise.


title: Post-processing numerical weather prediction ensembles for probabilistic solar irradiance forecasting

abstract: In order to enable the transition towards renewable energy sources, probabilistic energy forecasting is of critical importance for incorporating volatile power sources such as solar energy into the electrical grid. Solar energy forecasting methods often aim to provide probabilistic predictions of solar irradiance. In particular, many hybrid approaches combine physical information from numerical weather prediction models with statistical methods. Even though the physical models can provide useful information at intra-day and day-ahead forecast horizons, ensemble weather forecasts from multiple model runs are often not calibrated and show systematic biases. We propose a post-processing model for ensemble weather predictions of solar irradiance at temporal resolutions between 30 minutes and 6 hours. The proposed models provide probabilistic forecasts in the form of a censored logistic probability distribution for lead times up to 5 days and are evaluated in two case studies covering distinct physical models, geographical regions, temporal resolutions, and types of solar irradiance. We find that post-processing consistently and significantly improves the forecast performance of the ensemble predictions for lead times up to at least 48 hours and is well able to correct the systematic lack of calibration.


title: On the Design of Structured Stabilizers for LTI Systems

abstract: Designing a static state-feedback controller subject to structural constraint achieving asymptotic stability is a relevant problem with many applications, including network decentralized control, coordinated control, and sparse feedback design. Leveraging on the Projection Lemma, this work presents a new solution to a class of state-feedback control problems, in which the controller is constrained to belong to a given linear space. We show through extensive discussion and numerical examples that our approach leads to several advantages with respect to existing methods: first, it is computationally efficient; second, it is less conservative than previous methods, since it relaxes the requirement of restricting the Lyapunov matrix to a block-diagonal form.


title: Observer Design for Systems of Conservation Laws with Lipschitz Nonlinear Boundary Dynamics

abstract: The problem of state estimation for a system of coupled hyperbolic PDEs and ODEs with Lipschitz nonlinearities with boundary measurements is considered. An infinite dimensional observer with a linear boundary injection term is used to solve the state estimation problem. The interconnection of the observer and the system is written in estimation error coordinates and analyzed as an abstract dynamical system. The observer is designed to achieve global exponential stability of estimation error with respect to a suitable norm. Sufficient conditions in the form of matrix inequalities are proposed to design the observer. Numerical simulations support and corroborate the theoretical results.


title: Deep Multi-Task Learning for Joint Localization, Perception, and Prediction

abstract: Over the last few years, we have witnessed tremendous progress on many subtasks of autonomous driving, including perception, motion forecasting, and motion planning. However, these systems often assume that the car is accurately localized against a high-definition map. In this paper we question this assumption, and investigate the issues that arise in state-of-the-art autonomy stacks under localization error. Based on our observations, we design a system that jointly performs perception, prediction, and localization. Our architecture is able to reuse computation between both tasks, and is thus able to correct localization errors efficiently. We show experiments on a large-scale autonomy dataset, demonstrating the efficiency and accuracy of our proposed approach.


title: Journey to the Bound States

abstract: Guided by the observed properties of hadrons I formulate a perturbative bound state method for QED and QCD. The expansion starts with valence Fock states ($e^+e^-,\ q\bar q,\ qqq,\ gg$) bound by the instantaneous interaction of temporal gauge ($A^0=0$). The method is tested on Positronium atoms at rest and in motion, including hyperfine splitting at $O(\alpha^4)$, electromagnetic form factors and deep inelastic scattering. Relativistic binding is studied for QED in $D=1+1$ dimensions, demonstrating the frame independence of the DIS electron distribution and its sea for $x_{bj} \to 0$. In QCD a homogeneous solution of Gauss' constraint in $D=3+1$ implies $O(\alpha_s^0)$ confining potentials for $q\bar q,\ q\bar qg,\ qqq$ and $gg$ states, whereas $q\bar q\,q\bar q$ is unconfined. Meson states lie on linear Regge trajectories and have the required frame dependence. A scalar bound state with vanishing four-momentum causes spontaneous chiral symmetry breaking when mixed with the vacuum. These lecture notes assume knowledge of field theory methods, but not of bound states. Brief reviews of existing bound state methods and Dirac electron states are included. Solutions to the exercises are given in the Appendix.


title: Almost Optimal Construction of Functional Batch Codes Using Hadamard Codes

abstract: A \textit{functional $k$-batch} code of dimension $s$ consists of $n$ servers storing linear combinations of $s$ linearly independent information bits. Any multiset request of size $k$ of linear combinations (or requests) of the information bits can be recovered by $k$ disjoint subsets of the servers. The goal under this paradigm is to find the minimum number of servers for given values of $s$ and $k$. A recent conjecture states that for any $k=2^{s-1}$ requests the optimal solution requires $2^s-1$ servers. This conjecture is verified for $s\leq 5$ but previous work could only show that codes with $n=2^s-1$ servers can support a solution for $k=2^{s-2} + 2^{s-4} + \left\lfloor \frac{ 2^{s/2}}{\sqrt{24}} \right\rfloor$ requests. This paper reduces this gap and shows the existence of codes for $k=\lfloor \frac{5}{6}2^{s-1} \rfloor - s$ requests with the same number of servers. Another construction in the paper provides a code with $n=2^{s+1}-2$ servers and $k=2^{s}$ requests, which is an optimal result.These constructions are mainly based on Hadamard codes and equivalently provide constructions for \textit{parallel Random I/O (RIO)} codes.


title: Whistler wave occurrence and the interaction with strahl electrons during the first encounter of Parker Solar Probe

abstract: We studied the properties and occurrence of narrow band whistler waves and their interaction with strahl electrons observed between 0.17 and 0.26 au during the first encounter of Parker Solar Probe. We observe that occurrence of whistler waves is low, nearly 1.5% and less than 0.5% in the analyzed peak and average BPF data respectively. Whistlers occur highly intermittently and 80% of the whistlers appear continuously for less than 3 s. Occurrence rate of whistler waves was found to be anti-correlated with the solar wind bulk velocity. The study of the duration of the whistler intervals revealed an anti-correlation between the duration and the solar wind velocity, as well as between the duration and the normalized amplitude of magnetic field variations. The pitch-angle widths (PAWs) of the field-aligned electron population referred to as the strahl are broader by at least 12 degrees during the presence of large amplitude narrow band whistler waves. This observation points towards a EM wave electron interaction, resulting in pitch-angle scattering. PAW of strahl electrons corresponding to the short duration whistlers are higher compared to the long duration whistlers. Parallel cuts through the strahl electron velocity distribution function (VDF) observed during the whistler intervals appear to depart from the Maxwellian shape typically found in the near-Sun strahl VDFs (Bercic et al. 2020). The relative decrease of parallel electron temperature and the increase of PAW for the electrons in strahl energy range suggests that the interaction with whistler waves results in a transfer of electron momentum from the parallel to the perpendicular direction.


title: Unravelling the Spin Dynamics of Molecular Nanomagnets with Four-Dimensional Inelastic Neutron Scattering

abstract: Molecular Nanomagnets have attracted the attention of the scientific community since the rich physics behind their magnetic behaviour make them ideal test-beds for fundamental concepts in quantum mechanics. Sophisticated experiments and targeted research activities have also unveiled their potential for several technological applications. Inelastic neutron scattering is a powerful and widely used technique to investigate the properties of these systems. The new generation of spectrometers, equipped with arrays of position-sensitive detectors, enable to efficiently measure the neutron cross-sections as a function of energy and of the three component of the momentum transfer vector Q, in vast portions of the reciprocal space. Exploiting these capabilities together with the availability of sufficiently large single-crystal samples of MNMs, it is now possible to obtain an unprecedented insight into the coherent spin dynamics of these molecular clusters. This is witnessed by several recent results, that we present in this review. By using the benchmark system Cr$_8$, it has been demonstrated that the richness of the four-dimensional inelastic neutrons scattering technique enables to extract dynamical correlation functions directly from the data. This technique has been also applied to the archetypical single-molecule magnet Mn$_{12}$ to unambiguously characterise its Spin Hamiltonian as well as to portray the entanglement between molecular qubits in (Cr$_7$Ni)$_2$.


title: Fuglede-Putnam type commutativity theorems for $ EP $ operators

abstract: Fuglede-Putnam theorem is not true in general for $ EP $ operators on Hilbert spaces. We prove that under some conditions the theorem holds good. If the adjoint operation is replaced by Moore-Penrose inverse in the theorem, we get Fuglede-Putnam type theorem for $ EP $ operators -- however proofs are totally different. Finally, interesting results on $ EP $ operators have been proved using several versions of Fuglede-Putnam type theorems for $ EP $ operators on Hilbert spaces.


title: A construction for bipatite Tur\'an numbers

abstract: We consider in detail the well-known family of graphs $G(q,t)$ that establish an asymptotic lower bound for Tur\'an numbers $\mathrm{ex}(n,K_{2,t+1})$. We prove that $G(q,t)$ for some specific $q$ and $t$ also gives an asymptotic bound for $K_{3,3}$ and for some higher complete bipartite graphs as well. The asymptotic bounds we prove are the same as provided by the well-known Norm-graphs.


title: Variance of real zeros of random orthogonal polynomials

abstract: We determine the asymptotics for the variance of the number of zeros of random linear combinations of orthogonal polynomials of degree $\leq n$ in subintervals $\left [ a,b\right ] $ of the support of the underlying orthogonality measure $\mu $. We show that, as $n\rightarrow \infty $, this variance is asymptotic to $cn$, for some explicit constant $c>0$.


title: On the detection and identification of edge disconnections in a multi-agent consensus network

abstract: In this paper we investigate the problem of the sudden disconnection of an edge in a discrete-time multi-agent consensus network. If the graph remains strongly connected, the multi-agent system still achieves consensus, but in general, unless the information exchange between each pair of agents is symmetric, the agents' states converge to a drifted value of the original consensus value. Consequently the edge disconnection can go unnoticed. In this paper the problems of detecting an edge disconnection and of identifying in a finite number of steps the exact edge that got disconnected are investigated. Necessary and sufficient conditions for both problems to be solvable are presented, both in case all the agents' states are available and in case only a subset of the agents' states is measured. Finally, an example of a network of 7 agents is provided, to illustrate some of the theoretical results derived in the paper.


title: A tissue-fraction estimation-based segmentation method for quantitative dopamine transporter SPECT

abstract: Quantitative measures of dopamine transporter (DaT) uptake in caudate, putamen, and globus pallidus (GP) have potential as biomarkers for measuring the severity of Parkinson disease. Reliable quantification of this uptake requires accurate segmentation of the considered regions. However, segmentation of these regions from DaT-SPECT images is challenging, a major reason being partial-volume effects (PVEs), which arise from the limited system resolution and reconstruction of images over finite-sized voxel grids. The latter leads to tissue-fraction effects (TFEs). Thus, there is an important need for methods that can account for the PVEs, including the TFEs, and accurately segment DaT-SPECT images. The purpose of this study is to design and objectively evaluate a fully automated tissue-fraction estimation-based segmentation method that segments the caudate, putamen, and GP from DaT-SPECT images. The proposed method estimates the posterior mean of the fractional volumes occupied by the caudate, putamen, and GP within each voxel of a 3-D DaT-SPECT image. The estimate is obtained by minimizing a cost function based on the binary cross-entropy loss between the true and estimated fractional volumes over a population of SPECT images. Evaluations using clinically guided highly realistic simulation studies show that the proposed method accurately segmented the caudate, putamen, and GP with high mean Dice similarity coefficients ~ 0.80 and significantly outperformed (p < 0.01) all other considered segmentation methods. Further, objective evaluation of the proposed method on the task of quantifying regional uptake shows that the method yielded reliable quantification with low ensemble normalized root mean square error (NRMSE) < 20% for all the considered regions. The results motivate further evaluation of the method with physical-phantom and patient studies.


title: A magnetotelluric instrument for probing the interiors of Europa and other worlds

abstract: One objective of a lander mission to Jupiter's icy moon Europa is to detect liquid water within 30 km as well as characterizing the subsurface ocean. In order to satisfy this objective, water within the ice shell must also be identified. Inductive electromagnetic (EM) methods are optimal for water detection on Europa because even a small fraction of dissolved salts will make water orders of magnitude more electrically conductive than the ice shell. Compared to induction studies by the Galileo spacecraft, measurements of higher-frequency ambient EM fields are necessary to resolve the shallower depths of intrashell water. Although these fields have been mostly characterized by prior missions, their unknown source structures and plasma properties do not allow EM sounding using a single surface magnetometer or the orbit-to-surface magnetic transfer function, respectively. Instead, broadband EM sounding can be accomplished from a single surface station using the magnetotelluric (MT) method, which measures horizontal electric fields as well as the three-component magnetic field. We have developed a prototype Europa Magnetotelluric Sounder (EMS) to meet the measurement requirements in the relevant thermal, vacuum, and radiation environment. EMS comprises central electronics, a fluxgate magnetometer on a mast, and three ballistically deployed electrodes to measure differences in surface electric potential. In this paper, we describe EMS development and testing as well as providing supporting information on the concept of operations and calculations on water detectability. EMS can uniquely determine the occurrence of intrashell water on Europa, providing important constraints on habitability.


title: Level correlations of the CMB temperature angular power spectrum

abstract: If the principle of statistical isotropy is valid, then the angular power spectrum (APS) of cosmic microwave background (CMB) radiation is uncorrelated between different multipoles. We propose a novel technique to analyse any possible correlations of the foreground cleaned CMB temperature angular power spectrum (APS) measures ($C_{\ell}$ and $\mathcal{D}_\ell=\frac{\ell(\ell+1)}{2\pi}C_\ell$). This is motivated by the behaviour of level spacings between random matrix eigenvalues. The method helps distinguish uncorrelated statistically isotropic CMB APS from correlated APS, where the latter can arise due to breakdown of isotropy or presence of some residual systematics in the foreground cleaned CMB maps. Spacings of statistically isotropic CMB $C_\ell$'s and $\mathcal{D}_\ell$'s are seen to closely obey Poisson statistics and introduction of correlations changes the distribution to appropriate Wigner-Dyson statistics. For foreground cleaned CMB, we employ the average spacing of consecutive multipole APS for multipoles $\in [2,31]$. This estimator is sensitive to departures from the null hypothesis of zero correlations between the APS measures of statistically isotropic CMB. We study full sky WMAP 9 year ILC and 2018 Planck foreground cleaned maps (Commander, NILC and SMICA). Sans parity distinctions, average spacings are in good agreement with theoretical expectation. With parity distinctions, even multipoles indicate unusually low average spacings for both $C_\ell$'s (at $\geq 98.86\%$ C.L.) and $\mathcal{D}_\ell$'s (at $\geq 95.07\%$ C.L.). We use an inpainting method based on constrained Gaussian realisations and show that for the Planck $U73$ and WMAP $KQ75$ masks, all the foreground cleaned inpainted CMB maps robustly confirm the existence of such unusually low average spacings of even multipole APS. In addition, this signal is independent of the non-Gaussian cold spot.


title: On the Erd\H{o}s-P\'osa property for immersions and topological minors in tournaments

abstract: We consider the Erd\H{o}s-P\'osa property for immersions and topological minors in tournaments. We prove that for every simple digraph $H$, $k\in \mathbb{N}$, and tournament $T$, the following statements hold: (i) If in $T$ one cannot find $k$ arc-disjoint immersion copies of $H$, then there exists a set of $\mathcal{O}_H(k^3)$ arcs that intersects all immersion copies of $H$ in $T$. (ii) If in $T$ one cannot find $k$ vertex-disjoint topological minor copies of $H$, then there exists a set of $\mathcal{O}_H(k\log k)$ vertices that intersects all topological minor copies of $H$ in $T$. This improves the results of Raymond [DMTCS '18], who proved similar statements under the assumption that $H$ is strongly connected.


title: Profiling Software Developers with Process Mining and N-Gram Language Models

abstract: Context: Profiling developers is challenging since many factors, such as their skills, experience, development environment and behaviors, may influence a detailed analysis and the delivery of coherent interpretations. Objective: We aim at profiling software developers by mining their software development process. To do so, we performed a controlled experiment where, in the realm of a Python programming contest, a group of developers had the same well-defined set of requirements specifications and a well-defined sprint schedule. Events were collected from the PyCharm IDE, and from the Mooshak automatic jury where subjects checked-in their code. Method: We used n-gram language models and text mining to characterize developers' profiles, and process mining algorithms to discover their overall workflows and extract the correspondent metrics for further evaluation. Results: Findings show that we can clearly characterize with a coherent rationale most developers, and distinguish the top performers from the ones with more challenging behaviors. This approach may lead ultimately to the creation of a catalog of software development process smells. Conclusions: The profile of a developer provides a software project manager a clue for the selection of appropriate tasks he/she should be assigned. With the increasing usage of low and no-code platforms, where coding is automatically generated from an upper abstraction layer, mining developer's actions in the development platforms is a promising approach to early detect not only behaviors but also assess project complexity and model effort.


title: Discrete Double Fibrations

abstract: Presheaves on a small category are well-known to correspond via a category of elements construction to ordinary discrete fibrations over that same small category. Work of R. Par\'e proposes that presheaves on a small double category are certain lax functors valued in the double category of sets with spans. This paper isolates the discrete fibration concept corresponding to this presheaf notion and shows that the category of elements construction introduced by Par\'e leads to an equivalence of virtual double categories.


title: CP violation with GeV-scale Majorana neutrino in $\Lambda_b\to(\Lambda_c^+, p^+)\pi^+\mu^-\mu^-$ decays

abstract: We explore the possibility of CP violation in baryonic $\Lambda_b\to(\Lambda_c^+, p^+)\pi^+\mu^-\mu^-$ decays which are mediated by two Majorana sterile neutrino and are $|\Delta L|=2$ lepton number violating processes. Appreciable CP asymmetry can be obtained if there are two on-shell Majorana neutrinos that are quasi-degenerate in mass with the mass difference of the order of average decay widths. We find that given the present constraints on the heavy to light mixing element $|V_{\mu N}|$, the $\Lambda_b\to p^+\pi^+\mu^-\mu^-$ and $\Lambda_b\to \Lambda_c^+\pi^+\mu^-\mu^-$ decay rates are suppressed but could be within the experimental reach at the LHC. If searches of the modes are performed, then experimental limits on the rates can be translated to constraints on the Majorana neutrino mass $m_N$ and heavy to light mixing element squared $|V_{\mu N}|^2$. We show that the constraints on the $(m_N, |V_{\mu N}|^2)$ parameter space coming from the $|\Delta L| = 2$ baryonic decays are complementary to the bounds coming from other processes.


title: The BIVEE Project: an overview of methodology and tools

abstract: EU needs an effective exit strategy from the crisis, with a special attention to SMEs that represent the 99% of the enterprises active in the European production system. To this end, innovation appears to be a key factor to relaunch the EU industrial system. The BIVEE project proceeded for almost 4 years to develop a rich framework, i.e., a methodology and a cloud-based software environment, that includes business principles, models, and best practices, plus a number of advanced software services, to support and promote production improvement and business innovation in virtual enterprise environments (essentially, enterprise networks.)


title: Ten Simple Rules for Success with HPC, i.e. Responsibly BASHing that Linux Cluster

abstract: High-performance computing (HPC) clusters are widely used in-house at scientific and academic research institutions. For some users, the transition from running their analyses on a single workstation to running them on a complex, multi-tenanted cluster, usually employing some degree of parallelism, can be challenging, if not bewildering, especially for users whose role is not predominantly computational in nature. On the other hand, there are more experienced users, who can benefit from pointers on how to get the best from their use of HPC. This Ten Simple Rules guide is aimed at helping you identify ways to improve your utilisation of HPC, avoiding common pitfalls that can negatively impact other users and will also help ease the load (pun intended) on your HPC sysadmin. It is intended to provide technical advice common to the use of HPC platforms such as LSF, Slurm, PBS/Torque, SGE, LoadLeveler and YARN, the scheduler used with Hadoop/Spark platform.


title: Bohm potential is real and its effects are measurable

abstract: We analyze Bohm's potential effects both in the realms of Quantum Mechanics and Optics, as well as in the study of other physical phenomena described in terms of classical and quantum wave equations. We approach this subject by using theoretical arguments as well as experimental evidence. We find that the effects produced by Bohm's potential are both theoretically responsible for the early success of Quantum Mechanics correctly describing atomic and nuclear phenomena and, more recently, by confirming surprising accelerating behavior of free waves and particles experimentally, for instance.


title: Discontinuous quantum and classical magnetic response of the pentakis dodecahedron

abstract: The pentakis dodecahedron, the dual of the truncated icosahedron, consists of 60 edge-sharing triangles. It has 20 six- and 12 five-fold coordinated vertices, with the former forming a dodecahedron, and each of the latter connected to the vertices of one of the 12 pentagons of the dodecahedron. When spins mounted on the vertices of the pentakis dodecahedron interact according to the nearest-neighbor antiferromagnetic Heisenberg model, the two different vertex types necessitate the introduction of two exchange constants. As the relative strength of the two constants is varied the molecule interpolates between the dodecahedron and a molecule consisting only of quadrangles. The competition between the two exchange constants, frustration, and an external magnetic field results in a multitude of ground-state magnetization and susceptibility discontinuities. At the classical level the maximum is ten magnetization and one susceptibility discontinuities when the 12 five-fold vertices interact with the dodecahedron spins with approximately one-half the strength of their interaction. When the two interactions are approximately equal in strength the number of discontinuities is also maximized, with three of the magnetization and eight of the susceptibility. At the full quantum limit, where the magnitude of the spins equals 1/2, there can be up to three ground-state magnetization jumps that have the total z spin component changing by \Delta S^z=2, even though quantum fluctuations rarely allow discontinuities of the magnetization. The full quantum case also supports a \Delta S^z=3 discontinuity. Frustration also results in nonmagnetic states inside the singlet-triplet gap. These results make the pentakis dodecahedron the molecule with the most discontinuous magnetic response from the quantum to the classical level.


title: Hodge theory on Alexander invariants -- a survey

abstract: We survey recent developments in the study of Hodge theoretic aspects of Alexander-type invariants associated with smooth complex algebraic varieties.


title: Energy-based Dropout in Restricted Boltzmann Machines: Why not go random

abstract: Deep learning architectures have been widely fostered throughout the last years, being used in a wide range of applications, such as object recognition, image reconstruction, and signal processing. Nevertheless, such models suffer from a common problem known as overfitting, which limits the network from predicting unseen data effectively. Regularization approaches arise in an attempt to address such a shortcoming. Among them, one can refer to the well-known Dropout, which tackles the problem by randomly shutting down a set of neurons and their connections according to a certain probability. Therefore, this approach does not consider any additional knowledge to decide which units should be disconnected. In this paper, we propose an energy-based Dropout (E-Dropout) that makes conscious decisions whether a neuron should be dropped or not. Specifically, we design this regularization method by correlating neurons and the model's energy as an importance level for further applying it to energy-based models, such as Restricted Boltzmann Machines (RBMs). The experimental results over several benchmark datasets revealed the proposed approach's suitability compared to the traditional Dropout and the standard RBMs.


title: Deep Parametric Continuous Convolutional Neural Networks

abstract: Standard convolutional neural networks assume a grid structured input is available and exploit discrete convolutions as their fundamental building blocks. This limits their applicability to many real-world applications. In this paper we propose Parametric Continuous Convolution, a new learnable operator that operates over non-grid structured data. The key idea is to exploit parameterized kernel functions that span the full continuous vector space. This generalization allows us to learn over arbitrary data structures as long as their support relationship is computable. Our experiments show significant improvement over the state-of-the-art in point cloud segmentation of indoor and outdoor scenes, and lidar motion estimation of driving scenes.


title: Extremal Numbers of Hypergraph Suspensions of Even Cycles

abstract: For fixed $k\ge 2$, determining the order of magnitude of the number of edges in an $n$-vertex bipartite graph not containing $C_{2k}$, the cycle of length $2k$, is a long-standing open problem. We consider an extension of this problem to triple systems. In particular, we prove that the maximum number of triples in an $n$-vertex triple system which does not contain a $C_6$ in the link of any vertex, has order of magnitude $n^{7/3}$. Additionally, we construct new families of dense $C_6$-free bipartite graphs with $n$ vertices and $n^{4/3}$ edges in order of magnitude.


title: On Unimodality of Independence Polynomials of Trees

abstract: An independent set in a graph is a set of pairwise non-adjacent vertices. The independence number $\alpha{(G)}$ is the size of a maximum independent set in the graph $G$. The independence polynomial of a graph is the generating function for the sequence of numbers of independent sets of each size. In other words, the $k$-th coefficient of the independence polynomial equals the number of independent sets comprised of $k$ vertices. For instance, the degree of the independence polynomial of the graph $G$ is equal to $\alpha{(G)}$. In 1987, Alavi, Malde, Schwenk, and Erd{\"o}s conjectured that the independence polynomial of a tree is unimodal. In what follows, we provide support to this assertion considering trees with up to $20$ vertices. Moreover, we show that the corresponding independence polynomials are log-concave and, consequently, unimodal. The algorithm computing the independence polynomial of a given tree makes use of a database of non-isomorphic unlabeled trees to prevent repeated computations.


title: Frequency-weighted H2-optimal model order reduction via oblique projection

abstract: In projection-based model order reduction, a reduced-order approximation of the original full-order system is obtained by projecting it onto a reduced subspace that contains its dominant characteristics. The problem of frequency-weighted H2-optimal model order reduction is to construct a local optimum in terms of the H2-norm of the weighted error transfer function. In this paper, a projection-based model order reduction algorithm is proposed that constructs reduced-order models that nearly satisfy the first-order optimality conditions for the frequency-weighted H2-optimal model order reduction problem. It is shown that as the order of the reduced model is increased, the deviation in the satisfaction of the optimality conditions reduces further. Numerical methods are also discussed that improve the computational efficiency of the proposed algorithm. Three numerical examples are presented to demonstrate the efficacy of the proposed algorithm.


title: Gravitational waves physics using Fermi coordinates: a new teaching perspective

abstract: The detection of gravitational waves is possible thanks to a multidisciplinary approach, involving different disciplines such as astrophysics, physics, engineering and quantum optics. Consequently, it is important today for teachers to introduce the basic features of gravitational waves science in the undergraduate curriculum. The usual approach to gravitational wave physics is based on the use of traceless and transverse coordinates, which do not have a direct physical meaning and, in a teaching perspective, may cause misconceptions. In this paper, using Fermi coordinates, which are simply related to observable quantities, we show that it is possible to introduce a gravitoelectromagnetic analogy that describes the action of gravitational waves on test masses in terms of electric-like and magnetic-like forces. We suggest that this approach could be more suitable when introducing the basic principles of gravitational waves physics to students.


title: Intestinal Parasites Classification Using Deep Belief Networks

abstract: Currently, approximately $4$ billion people are infected by intestinal parasites worldwide. Diseases caused by such infections constitute a public health problem in most tropical countries, leading to physical and mental disorders, and even death to children and immunodeficient individuals. Although subjected to high error rates, human visual inspection is still in charge of the vast majority of clinical diagnoses. In the past years, some works addressed intelligent computer-aided intestinal parasites classification, but they usually suffer from misclassification due to similarities between parasites and fecal impurities. In this paper, we introduce Deep Belief Networks to the context of automatic intestinal parasites classification. Experiments conducted over three datasets composed of eggs, larvae, and protozoa provided promising results, even considering unbalanced classes and also fecal impurities.


title: A double critical mass phenomenon in a no-flux-Dirichlet Keller-Segel system

abstract: Derived from a biophysical model for the motion of a crawling cell, the system \[(*)~\begin{cases}u_t=\Delta u-\nabla\cdot(u\nabla v)\\0=\Delta v-kv+u\end{cases}\] is investigated in a finite domain $\Omega\subset\mathbb{R}^n$, $n\geq2$, with $k\geq0$. While a comprehensive literature is available for cases with $(*)$ describing chemotaxis systems and hence being accompanied by homogeneous Neumann-type boundary conditions, the presently considered modeling context, besides yet requiring the flux $\partial_\nu u-u\partial_\nu v$ to vanish on $\partial\Omega$, inherently involves homogeneous Dirichlet conditions for the attractant $v$, which in the current setting corresponds to the cell's cytoskeleton being free of pressure at the boundary. This modification in the boundary setting is shown to go along with a substantial change with respect to the potential to support the emergence of singular structures: It is, inter alia, revealed that in contexts of radial solutions in balls there exist two critical mass levels, distinct from each other whenever $k>0$ or $n\geq3$, that separate ranges within which (i) all solutions are global in time and remain bounded, (ii) both global bounded and exploding solutions exist, or (iii) all nontrivial solutions blow up in finite time. While critical mass phenomena distinguishing between regimes of type (i) and (ii) belong to the well-understood characteristics of $(*)$ when posed under classical no-flux boundary conditions in planar domains, the discovery of a distinct secondary critical mass level related to the occurrence of (iii) seems to have no nearby precedent. In the planar case with the domain being a disk, the analytical results are supplemented with some numerical illustrations, and it is discussed how the findings can be interpreted biophysically for the situation of a cell on a flat substrate.


title: A Layer-Wise Information Reinforcement Approach to Improve Learning in Deep Belief Networks

abstract: With the advent of deep learning, the number of works proposing new methods or improving existent ones has grown exponentially in the last years. In this scenario, "very deep" models were emerging, once they were expected to extract more intrinsic and abstract features while supporting a better performance. However, such models suffer from the gradient vanishing problem, i.e., backpropagation values become too close to zero in their shallower layers, ultimately causing learning to stagnate. Such an issue was overcome in the context of convolution neural networks by creating "shortcut connections" between layers, in a so-called deep residual learning framework. Nonetheless, a very popular deep learning technique called Deep Belief Network still suffers from gradient vanishing when dealing with discriminative tasks. Therefore, this paper proposes the Residual Deep Belief Network, which considers the information reinforcement layer-by-layer to improve the feature extraction and knowledge retaining, that support better discriminative performance. Experiments conducted over three public datasets demonstrate its robustness concerning the task of binary image classification.


title: Effect of low-level jet height on wind farm performance

abstract: Low-level jets (LLJs) are the wind maxima in the lowest 50 to 1000 m of atmospheric boundary layers. Due to their significant influence on the power production of wind farms it is crucial to understand the interaction between LLJs and wind farms. In the presence of an LLJ, there are positive and negative shear regions in the velocity profile. The positive shear regions of LLJs are continuously turbulent, while the negative shear regions have limited turbulence. We present large-eddy simulations of wind farms in which the LLJ is above, below, or in the middle of the turbine rotor swept area. We find that the wakes recover relatively fast when the LLJ is above the turbines. This is due to the high turbulence below the LLJ and the downward vertical entrainment created by the momentum deficit due to the wind farm power production. This harvests the jet's energy and aids wake recovery. However, when the LLJ is below the turbine rotor swept area, the wake recovery is very slow due to the low atmospheric turbulence above the LLJ. The energy budget analysis reveals that the entrainment fluxes are maximum and minimum when the LLJ is above and in the middle of the turbine rotor swept area, respectively. Surprisingly, we find that the negative shear creates a significant entrainment flux upward when the LLJ is below the turbine rotor swept area. This facilitates energy extraction from the jet, which is beneficial for the performance of downwind turbines.


title: The KM3NeT Open Science System

abstract: The KM3NeT neutrino detectors are currently under construction at two locations in the Mediterranean Sea, aiming to detect the Cherenkov light generated by high-energy relativistic charged particles in sea water. The KM3NeT collaboration will produce scientific data valuable both for the astrophysics and neutrino physics communities as well as for the Earth and Sea science community. An Open Science Portal and infrastructure are under development to provide public access to open KM3NeT data, software and services. In this contribution, the current architecture, interfaces and usage examples are presented.


title: Pseudo-Goldstone Excitations in a Striped Bose-Einstein Condensate

abstract: Significant experimental progress has been made recently for observing long-sought supersolid-like states in Bose-Einstein condensates, where spatial translational symmetry is spontaneously broken by anisotropic interactions to form a stripe order. Meanwhile, the superfluid stripe ground state was also observed by applying a weak optical lattice that forces the symmetry breaking. Despite of the similarity of the ground states, here we show that these two symmetry breaking mechanisms can be distinguished by their collective excitation spectra. In contrast to gapless Goldstone modes of the \textit{spontaneous} stripe state, we propose that the excitation spectra of the \textit{forced} stripe phase can provide direct experimental evidence for the long-sought gapped pseudo-Goldstone modes. We characterize the pseudo-Goldstone mode of such lattice-induced stripe phase through its excitation spectrum and static structure factor. Our work may pave the way for exploring spontaneous and forced/approximate symmetry breaking mechanisms in different physical systems.


title: The generating function of lozenge tilings for a "quarter" of a hexagon, obtained with non--intersecting lattice paths

abstract: In a recent preprint, Lai and Rohatgi compute the generating functions of lozenge tilings of "quartered hexagons with dents" by applying the method of "graphical condensation". The purpose of this note is to exhibit how (a generalization of) Theorems 2.1 and 2.2 in Lai and Rohatgi's preprint can be achieved by the Lindstr\"om--Gessel--Viennot method of non--intersecting lattice paths and a certain determinant evaluation.


title: Dynamics of self-accelerating electron beams in a homogeneous magnetic field

abstract: We examine the dynamics of electron beams that, in free space, are self-accelerating, in the presence of an additional magnetic field. We focus our attention in the case of Airy beams that follow parabolic trajectories and in generalized classes of beams associated with power-law trajectories. We study the interplay between beam self-acceleration and the circular motion caused by the magnetic field. In the case of Airy beams, using an integral representation, we find closed-form solutions for the electron wavefunction. We also derive asymptotic formulas for the beam trajectories both for Airy beams and for self-accelerating power-law beams. A ray optics description is rather useful for the interpretation of the beam dynamics. Our results are in excellent comparison with direct numerical simulations.


title: Do Most Students Need In-Person Lectures? A Study of a Large Statistics Class

abstract: Over 1100 students over four semesters were given the option of taking an introductory undergraduate statistics class either by in-person attendance in lectures or by taking exactly the same class (same instructor, recorded lectures, homework, blind grading, website, etc.) without the in-person lectures. Roughly equal numbers of students chose each option. The online lectures were available to all. Attendance by online students was rare. The online students did slightly better on computer-graded exams. The causal effect of choosing only online lectures was estimated by adjusting for measured confounders, of which the incoming ACT math scores turned out to be most important, using four standard methods. The four nearly identical point estimates remained positive but were small and not statistically significant at the 95% confidence level. Sensitivity analysis indicated that unmeasured confounding was unlikely to be large but might plausibly reduce the point estimate to zero. No statistically significant differences were found in preliminary comparisons of effects on females/males, U.S./non-U.S. citizens, freshmen/non-freshman, and lower-scoring/higher-scoring math ACT groups.


title: A Novel Modeling and Simulation Approach for the Hindered Mobility of Charged Particles in Biological Hydrogels

abstract: This article presents a novel computational model to study the selective filtering of biological hydrogels due to the surface charge and size of diffusing particles. It is the first model that includes the random 3D fiber orientation and connectivity of the biopolymer network and that accounts for elastic deformations of the fibers by means of beam theory. As a key component of the model, novel formulations are proposed both for the electrostatic and repulsive steric interactions between a spherical particle and a beam. In addition to providing a thorough validation of the model, the presented computational studies yield new insights into the underlying mechanisms of hindered particle mobility, especially regarding the influence of the aforementioned aspects that are unique to this model. It is found that the precise distribution of fiber and thus charge agglomerations in the network have a crucial influence on the mobility of oppositely charged particles and gives rise to distinct motion patterns. Considering the high practical significance for instance with respect to targeted drug release or infection defense, the provided proof of concept motivates further advances of the model toward a truly predictive computational tool that allows a case- and patient-specific assessment for real (biological) systems.


title: Higher Order Automatic Differentiation of Higher Order Functions

abstract: We present semantic correctness proofs of automatic differentiation (AD). We consider a forward-mode AD method on a higher order language with algebraic data types, and we characterise it as the unique structure preserving macro given a choice of derivatives for basic operations. We describe a rich semantics for differentiable programming, based on diffeological spaces. We show that it interprets our language, and we phrase what it means for the AD method to be correct with respect to this semantics. We show that our characterisation of AD gives rise to an elegant semantic proof of its correctness based on a gluing construction on diffeological spaces. We explain how this is, in essence, a logical relations argument. Throughout, we show how the analysis extends to AD methods for computing higher order derivatives using a Taylor approximation.


title: Data stream fusion for accurate quantile tracking and analysis

abstract: UDDSKETCH is a recent algorithm for accurate tracking of quantiles in data streams, derived from the DDSKETCH algorithm. UDDSKETCH provides accuracy guarantees covering the full range of quantiles independently of the input distribution and greatly improves the accuracy with regard to DDSKETCH. In this paper we show how to compress and fuse data streams (or datasets) by using UDDSKETCH data summaries that are fused into a new summary related to the union of the streams (or datasets) processed by the input summaries whilst preserving both the error and size guarantees provided by UDDSKETCH. This property of sketches, known as mergeability, enables parallel and distributed processing. We prove that UDDSKETCH is fully mergeable and introduce a parallel version of UDDSKETCH suitable for message-passing based architectures. We formally prove its correctness and compare it to a parallel version of DDSKETCH, showing through extensive experimental results that our parallel algorithm almost always outperforms the parallel DDSKETCH algorithm with regard to the overall accuracy in determining the quantiles.


title: Proceedings of the 2020 Scheme and Functional Programming Workshop

abstract: This report aggregates the papers presented at the twenty-first annual Scheme and Functional Programming Workshop, hosted on August 28th, 2020, online and co-located with the twenty-fifth International Conference on Functional Programming. The Scheme and Functional Programming Workshop is held every year to provide an opportunity for researchers and practitioners using Scheme and related functional programming languages like Racket, Clojure, and Lisp, to share research findings and discuss the future of the Scheme programming language.


title: Inflaton Effective Potential from Photons for General $\epsilon$

abstract: We accurately approximate the contribution that photons make to the effective potential of a charged inflaton for inflationary geometries with an arbitrary first slow roll parameter $\epsilon$. We find a small, nonlocal contribution and a numerically larger, local part. The local part involves first and second derivatives of $\epsilon$, coming exclusively from the constrained part of the electromagnetic field which carries the long range interaction. This causes the effective potential induced by electromagnetism to respond more strongly to geometrical evolution than for either scalars, which have no derivatives, or spin one half particles, which have only one derivative. For $\epsilon = 0$ our final result agrees with that of Allen on de Sitter background, while the flat space limit agrees with the classic result of Coleman and Weinberg.


title: A System for Efficiently Hunting for Cyber Threats in Computer Systems Using Threat Intelligence

abstract: Log-based cyber threat hunting has emerged as an important solution to counter sophisticated cyber attacks. However, existing approaches require non-trivial efforts of manual query construction and have overlooked the rich external knowledge about threat behaviors provided by open-source Cyber Threat Intelligence (OSCTI). To bridge the gap, we build ThreatRaptor, a system that facilitates cyber threat hunting in computer systems using OSCTI. Built upon mature system auditing frameworks, ThreatRaptor provides (1) an unsupervised, light-weight, and accurate NLP pipeline that extracts structured threat behaviors from unstructured OSCTI text, (2) a concise and expressive domain-specific query language, TBQL, to hunt for malicious system activities, (3) a query synthesis mechanism that automatically synthesizes a TBQL query from the extracted threat behaviors, and (4) an efficient query execution engine to search the big system audit logging data.


title: Observational Study of Working from Home during the COVID-19 Pandemic Using Social Media Data

abstract: Since March 2020, companies nationwide have started work from home (WFH) due to the rapid increase of confirmed COVID-19 cases in an attempt to help prevent the coronavirus from spreading and rescue the economy from the pandemic. Many organizations have conducted surveys to understand people's opinions towards WFH. However, the findings are limited due to small sample size and the dynamic topics over time. This study aims to understand the U.S. public opinions on working from home during the COVID-19 pandemic. We conduct a large-scale social media study using Twitter data to portrait different groups who have positive/negative opinions about WFH. We perform an ordinary least squares regression to investigate the relationship between the sentiment about WFH and user characteristics including gender, age, ethnicity, median household income, and population density. To better understand public opinion, we use latent Dirichlet allocation to extract topics and discover how tweet contents relate to people's attitudes. These findings provide evidence that sentiment about WFH varies across user characteristics. Furthermore, the content analysis sheds light on the nuanced differences in sentiment and reveals disparities relate to WFH.


title: Multi-view Data Visualisation via Manifold Learning

abstract: Non-linear dimensionality reduction can be performed by \textit{manifold learning} approaches, such as Stochastic Neighbour Embedding (SNE), Locally Linear Embedding (LLE) and Isometric Feature Mapping (ISOMAP). These methods aim to produce two or three latent embeddings, primarily to visualise the data in intelligible representations. This manuscript proposes extensions of Student's t-distributed SNE (t-SNE), LLE and ISOMAP, for dimensionality reduction and visualisation of multi-view data. Multi-view data refers to multiple types of data generated from the same samples. The proposed multi-view approaches provide more comprehensible projections of the samples compared to the ones obtained by visualising each data-view separately. Commonly visualisation is used for identifying underlying patterns within the samples. By incorporating the obtained low-dimensional embeddings from the multi-view manifold approaches into the K-means clustering algorithm, it is shown that clusters of the samples are accurately identified. Through the analysis of real and synthetic data the proposed multi-SNE approach is found to have the best performance. We further illustrate the applicability of the multi-SNE approach for the analysis of multi-omics single-cell data, where the aim is to visualise and identify cell heterogeneity and cell types in biological tissues relevant to health and disease.


title: A decomposition theorem for singular K\"ahler spaces with trivial first Chern class of dimension at most four

abstract: Let $X$ be a compact K\"ahler fourfold with klt singularities and vanishing first Chern class, smooth in codimension two. We show that $X$ admits a Beauville-Bogomolov decomposition: a finite quasi-\'etale cover of $X$ splits as a product of a complex torus and singular Calabi-Yau and irreducible holomorphic symplectic varieties. We also prove that $X$ has small projective deformations and the fundamental group of $X$ is projective. To obtain these results, we propose and study a new version of the Lipman-Zariski conjecture.


title: 3D-to-2D Transition of Anion Mobility in CsPbBr$_{3}$ under Pressure

abstract: We study the effects of hydrostatic pressure in the range 0.0--2.0 GPa on anion mobility in the orthorhombic $Pnma$ phase of CsPbBr$_{3}$. Using density functional theory and the climbing nudged elastic band method, we calculate the transition states and activation energies for anions to migrate both within and between neighbouring PbBr$_{3}$ octahedra. The results of those calculations are used as input to a kinetic model for anion migration, which we solve in the steady state to determine the anion mobility tensor as a function of applied pressure. We find that the response of the mobility tensor to increasing pressure is highly anisotropic, being strongly enhanced in the $(010)$ lattice plane and strongly reduced in the direction normal to it at elevated pressure. These results demonstrate the potentially significant influence of pressure and strain on the magnitude and direction of anion migration in lead--halide perovskites.


title: On the mean value of the force operator for 1D particles in the step potential

abstract: In the one-dimensional Klein-Fock-Gordon theory, the probability density is a discontinuous function at the point where the step potential is discontinuous. Thus, the mean value of the external classical force operator cannot be calculated from the corresponding formula of the mean value. To resolve this issue, we obtain this quantity directly from the Klein-Fock-Gordon equation in Hamiltonian form, or the Feshbach-Villars wave equation. Not without surprise, the result obtained is not proportional to the average of the discontinuity of the probability density but to the size of the discontinuity. In contrast, in the one-dimensional Schr\"odinger and Dirac theories this quantity is proportional to the value that the respective probability density takes at the point where the step potential is discontinuous. We examine these issues in detail in this paper. The presentation is suitable for the advanced undergraduate level.


title: The heterotic $\rm{G}_2$ system on contact Calabi--Yau $7$-manifolds

abstract: We obtain non-trivial solutions to the heterotic $\rm{G}_2$ system, which are defined on the total spaces of non-trivial circle bundles over Calabi--Yau $3$-orbifolds. By adjusting the $S^1$ fibres in proportion to a power of the string constant $\alpha'$, we obtain a cocalibrated $\rm{G}_2$-structure the torsion of which realises an arbitrary constant (trivial) dilaton field and an $H$-flux with nontrivial Chern--Simons defect. We find examples of connections on the tangent bundle and a non-flat $\rm{G}_2$-instanton induced from the horizontal Calabi--Yau metric which satisfy together the anomaly-free condition, also known as the heterotic Bianchi identity. The connections on the tangent bundle are $\rm{G}_2$-instantons up to higher order corrections in $\alpha'$.


title: Spatial Network Decomposition for Fast and Scalable AC-OPF Learning

abstract: This paper proposes a novel machine-learning approach for predicting AC-OPF solutions that features a fast and scalable training. It is motivated by the two critical considerations: (1) the fact that topology optimization and the stochasticity induced by renewable energy sources may lead to fundamentally different AC-OPF instances; and (2) the significant training time needed by existing machine-learning approaches for predicting AC-OPF. The proposed approach is a 2-stage methodology that exploits a spatial decomposition of the power network that is viewed as a set of regions. The first stage learns to predict the flows and voltages on the buses and lines coupling the regions, and the second stage trains, in parallel, the machine-learning models for each region. Experimental results on the French transmission system (up to 6,700 buses and 9,000 lines) demonstrate the potential of the approach. Within a short training time, the approach predicts AC-OPF solutions with very high fidelity and minor constraint violations, producing significant improvements over the state-of-the-art. The results also show that the predictions can seed a load flow optimization to return a feasible solution within 0.03% of the AC-OPF objective, while reducing running times significantly.


title: Lattice Boltzmann solver for multi-phase flows: Application to high Weber and Reynolds numbers

abstract: The lattice Boltzmann method, now widely used for a variety of applications, has also been extended to model multi-phase flows through different formulations. While already applied to many different configurations in the low Weber and Reynolds number regimes, applications to higher Weber/Reynolds numbers or larger density/viscosity ratios are still the topic of active research. In this study, through a combination of the decoupled phase-field formulation -- conservative Allen-Cahn equation -- and a cumulants-based collision operator for a low-Mach pressure-based flow solver, we present an algorithm that can be used for higher Reynolds/Weber numbers. The algorithm is validated through a variety of test-cases, starting with the Rayleigh-Taylor instability both in 2-D and 3-D, followed by the impact of a droplet on a liquid sheet. In all simulations, the solver is shown to correctly capture the dynamics of the flow and match reference results very well. As the final test-case, the solver is used to model droplet splashing on a thin liquid sheet in 3-D with a density ratio of 1000 and kinematic viscosity ratio of 15 -- matching the water/air system -- at We=8000 and Re=1000. The results show that the solver correctly captures the fingering instabilities at the crown rim and their subsequent breakup, in agreement with experimental and numerical observations reported in the literature.


title: Improving Apparel Detection with Category Grouping and Multi-grained Branches

abstract: Training an accurate object detector is expensive and time-consuming. One main reason lies in the laborious labeling process, i.e., annotating category and bounding box information for all instances in every image. In this paper, we examine ways to improve performance of deep object detectors without extra labeling. We first explore to group existing categories of high visual and semantic similarities together as one super category (or, a superclass). Then, we study how this knowledge of hierarchical categories can be exploited to better detect object using multi-grained RCNN top branches. Experimental results on DeepFashion2 and OpenImagesV4-Clothing reveal that the proposed detection heads with multi-grained branches can boost the overall performance by 2.3 mAP for DeepFashion2 and 2.5 mAP for OpenImagesV4-Clothing with no additional time-consuming annotations. More importantly, classes that have fewer training samples tend to benefit more from the proposed multi-grained heads with superclass grouping. In particular, we improve the mAP for last 30% categories (in terms of training sample number) by 2.6 and 4.6 for DeepFashion2 and OpenImagesV4-Clothing, respectively.


title: Temporal Spatial-Adaptive Interpolation with Deformable Refinement for Electron Microscopic Images

abstract: Recently, flow-based methods have achieved promising success in video frame interpolation. However, electron microscopic (EM) images suffer from unstable image quality, low PSNR, and disorderly deformation. Existing flow-based interpolation methods cannot precisely compute optical flow for EM images since only predicting each position's unique offset. To overcome these problems, we propose a novel interpolation framework for EM images that progressively synthesizes interpolated features in a coarse-to-fine manner. First, we extract missing intermediate features by the proposed temporal spatial-adaptive (TSA) interpolation module. The TSA interpolation module aggregates temporal contexts and then adaptively samples the spatial-related features with the proposed residual spatial adaptive block. Second, we introduce a stacked deformable refinement block (SDRB) further enhance the reconstruction quality, which is aware of the matching positions and relevant features from input frames with the feedback mechanism. Experimental results demonstrate the superior performance of our approach compared to previous works, both quantitatively and qualitatively.