title: Weak gravity on a $\Lambda$CDM background

abstract: We consider Horndeski modified gravity models obeying stability, velocity of gravitational waves $c_T$ equals $c$ and quasistatic approximation (QSA) on subhorizon scales. We assume further a $\Lambda$CDM background expansion and a monotonic evolution on the cosmic background of the $\alpha$ functions as $\alpha_i= \alpha_{i0}~a^s$ where $i=M,B$, $a$ is the scale factor and $\alpha_{i0}$ ($\alpha_{M0}, \alpha_{B0}$), $s$ are arbitrary parameters. We show that the growth and lensing reduced (dimensionless) gravitational couplings $\mu\equiv G_{\rm growth}/G$, $\Sigma\equiv G_{\rm lensing}/G$ exhibit the following generic properties today: $\Sigma_0 < 1$ for all viable parameters, $\mu_0<1$ (weak gravity today) is favored for small $s$ while $\mu_0>1$ is favored for large $s$. We establish also the relation $\mu\geq \Sigma$ at all times. Taking into account the $f\sigma_8$ and $E_G$ data constrains the parameter $s$ to satisfy $s\lesssim 2$. Hence these data select essentially the weak gravity regime today ($\mu_0<1$) when $s<2$, while $\mu_0>1$ subsists only marginally for $s\approx 2$. At least the interval $0.5\lesssim s \lesssim 2$ would be ruled out in the absence of screening. We consider further the growth index $\gamma(z)$ and identify the $(\alpha_{M0},\alpha_{B0},s)$ parameter region that corresponds to specific signs of the differences $\gamma_0-\gamma_0^{\Lambda CDM}$, and $\gamma_1-\gamma_1^{\Lambda CDM}$, where $\gamma_0\equiv \gamma\bigl|_{z=0}$ and $\gamma_1\equiv \frac{{\rm d}\gamma}{\rm d z}\bigl|_{z=0}$. In this way important information is gained on the past evolution of $\mu$. We obtain in particular the signature $\gamma_0>\gamma_0^{\Lambda CDM}$ for $s<2$ in the selected weak gravity region.


title: ShaneRun System Description to VoxCeleb Speaker Recognition Challenge 2020

abstract: In this report, we describe the submission of ShaneRun's team to the VoxCeleb Speaker Recognition Challenge (VoxSRC) 2020. We use ResNet-34 as encoder to extract the speaker embeddings, which is referenced from the open-source voxceleb-trainer. We also provide a simple method to implement optimum fusion using t-SNE normalized distance of testing utterance pairs instead of original negative Euclidean distance from the encoder. The final submitted system got 0.3098 minDCF and 5.076 % ERR for Fixed data track, which outperformed the baseline by 1.3 % minDCF and 2.2 % ERR respectively.


title: SelfPose: 3D Egocentric Pose Estimation from a Headset Mounted Camera

abstract: We present a solution to egocentric 3D body pose estimation from monocular images captured from downward looking fish-eye cameras installed on the rim of a head mounted VR device. This unusual viewpoint leads to images with unique visual appearance, with severe self-occlusions and perspective distortions that result in drastic differences in resolution between lower and upper body. We propose an encoder-decoder architecture with a novel multi-branch decoder designed to account for the varying uncertainty in 2D predictions. The quantitative evaluation, on synthetic and real-world datasets, shows that our strategy leads to substantial improvements in accuracy over state of the art egocentric approaches. To tackle the lack of labelled data we also introduced a large photo-realistic synthetic dataset. xR-EgoPose offers high quality renderings of people with diverse skintones, body shapes and clothing, performing a range of actions. Our experiments show that the high variability in our new synthetic training corpus leads to good generalization to real world footage and to state of theart results on real world datasets with ground truth. Moreover, an evaluation on the Human3.6M benchmark shows that the performance of our method is on par with top performing approaches on the more classic problem of 3D human pose from a third person viewpoint.


title: Time regularization as a solution to mitigate quantization induced performance degradation

abstract: Reset control is known to be able to outperform PID and the like linear controllers. However, in motion control systems, quantization can cause severe performance degradation. This paper shows the application of time regularization to mitigate this practical issue in reset control systems. Numerical simulations have been conducted in order to analyze the cause of the quantization induced performance degradation and the effectiveness of time regularization to mitigate this degradation; with tuning guidelines for the time regularization parameter also provided. Moreover, a robustness analysis is performed. The solution is also tested experimentally on a high precision motion system for validation. It is estimated by numerical simulations that time regularization can reduce quantization induced performance degradation by almost 10 dB. Experiments have similarly shown a reduction of several dB for the high precision motion stage.


title: The fractional p-Laplacian evolution equation in $\mathbb{R}^N$ in the sublinear case

abstract: We consider the natural time-dependent fractional $p$-Laplacian equation posed in the whole Euclidean space, with parameter $1<p<2$ and fractional exponent $s\in (0,1)$. Rather standard theory shows that the Cauchy Problem for data in the Lebesgue $L^q$ spaces is well posed, and the solutions form a family of non-expansive semigroups with regularity and other interesting properties. The superlinear case $p>2$ has been dealt with in a recent paper. We study here the "fast" regime $1<p<2$ which is more complex. As main results, we construct the self-similar fundamental solution for every mass value $M$ and any $p$ in the subrange $p_c=2N/(N+s)<p<2$, and we show that this is the precise range where they can exist. We also prove that general finite-mass solutions converge towards the fundamental solution having the same mass, and convergence holds in all $L^q$ spaces. Fine bounds in the form of global Harnack inequalities are obtained. Another main topic of the paper is the study of solutions having strong singularities. We find a type of singular solution called Very Singular Solution that exists for $p_c<p<p_1$, where $p_1$ is a new critical number that we introduce, $p_1\in (p_c,2)$. We extend this type of singular solutions to the "very fast range" $1<p<p_c$. They represent examples of weak solutions having finite-time extinction in that lower $p$ range. We briefly examine the situation in the limit case $p=p_c$. Finally, very singular solutions are related to fractional elliptic problems of nonlinear eigenvalue form.in the limit case $p=p_c$. Finally, very singular solutions are related to fractional elliptic problems of nonlinear eigenvalue form.


title: Higher-Order Moment-Based Anomaly Detection

abstract: The identification of anomalies is a critical component of operating complex, and possibly large-scale and geo-graphically distributed cyber-physical systems. While designing anomaly detectors, it is common to assume Gaussian noise models to maintain tractability; however, this assumption can lead to the actual false alarm rate being significantly higher than expected. Here we design a distributionally robust threshold of detection using finite and fixed higher-order moments of the detection measure data such that it guarantees the actual false alarm rate to be upper bounded by the desired one. Further, we bound the states reachable through the action of a stealthy attack and identify the trade-off between this impact of attacks that cannot be detected and the worst-case false alarm rate. Through numerical experiments, we illustrate how knowledge of higher-order moments results in a tightened threshold, thereby restricting an attacker's potential impact.


title: Model of Trust Management for Digital Industry Services. Towards E-Commerce 4.0

abstract: The progressive digitalization is changing the way businesses work and interact. Concepts like Internet of Things, Cloud Computing, Industry 4.0, Service 4.0, Smart Production or Smart Cities are based on systems that are linked to the Internet. The online access to the provided data creates potential to optimize processes and cost reductions, but also exposes it to a risk for an inappropriate use. Trust management systems are necessary in terms of data security, but also to assure the trustworthiness of data that is distributed. Fake news in social media is an example for problems with online data that is not trustable. Security and trustworthiness of data are major concerns today. The speed in digitalization makes it even a greater challenge for future research. This article introduces therefore a model of online trust content usable to compute the trust of an online service advertisement. It contributes to standardize business service descriptions necessary to realize visions of E-commerce 4.0, because it is the basis for the development of AI systems that are able to match an service request to a service advertisement. It is necessary for building trust enhancing architectures in B2B e-commerce. To do so, we conducted case studies, analysed websites, developed a prototype system and verified it by conducting expert interviews.


title: Shadowing for families of endomorphisms of generalized group shifts

abstract: Let $G$ be a countable monoid and let $A$ be an Artinian group (resp. an Artinian module). Let $\Sigma \subset A^G$ be a closed subshift which is also a subgroup (resp. a submodule) of $A^G$. Suppose that $\Gamma$ is a finitely generated monoid consisting of pairwise commuting cellular automata $\Sigma \to \Sigma$ that are also homomorphisms of groups (resp. homomorphisms of modules) with monoid binary operation given by composition of maps. We show that the valuation action of $\Gamma$ on $\Sigma$ satisfies a natural intrinsic shadowing property. Generalizations are also established for families of endomorphisms of admissible group subshifts.


title: A third order BDF energy stable linear scheme for the no-slope-selection thin film model

abstract: In this paper we propose and analyze a (temporally) third order accurate backward differentiation formula (BDF) numerical scheme for the no-slope-selection (NSS) equation of the epitaxial thin film growth model, with Fourier pseudo-spectral discretization in space. The surface diffusion term is treated implicitly, while the nonlinear chemical potential is approximated by a third order explicit extrapolation formula for the sake of solvability. In addition, a third order accurate Douglas-Dupont regularization term, in the form of $-A \Delta t^2 \Delta_N^2 ( u^{n+1} - u^n)$, is added in the numerical scheme. A careful energy stability estimate, combined with Fourier eigenvalue analysis, results in the energy stability in a modified version, and a theoretical justification of the coefficient $A$ becomes available. As a result of this energy stability analysis, a uniform in time bound of the numerical energy is obtained. And also, the optimal rate convergence analysis and error estimate are derived in details, in the $\ell^\infty (0,T; \ell^2) \cap \ell^2 (0,T; H_h^2)$ norm, with the help of a linearized estimate for the nonlinear error terms. %This convergence estimate is the first such result for a third order accurate scheme for a gradient flow. Some numerical simulation results are presented to demonstrate the efficiency of the numerical scheme and the third order convergence. The long time simulation results for $\varepsilon=0.02$ (up to $T=3 \times 10^5$) have indicated a logarithm law for the energy decay, as well as the power laws for growth of the surface roughness and the mound width. In particular, the power index for the surface roughness and the mound width growth, created by the third order numerical scheme, is more accurate than those produced by certain second order energy stable schemes in the existing literature.


title: Jet quenching with $T$-dependent running coupling

abstract: We perform an analysis of jet quenching in heavy ion collisions at RHIC and LHC energies with the temperature dependent running QCD coupling. Our results show that the $T$-dependent QCD coupling largely eliminates the difference between the optimal values of $\alpha_s$ for the RHIC and LHC energies. It may be viewed as direct evidence of the increase of the thermal suppression of $\alpha_s$ with rising temperature.


title: On proportionally modular numerical semigroups that are generated by arithmetic progressions

abstract: A numerical semigroup is a submonoid of ${\mathbb Z}_{\ge 0}$ whose complement in ${\mathbb Z}_{\ge 0}$ is finite. For any set of positive integers $a,b,c$, the numerical semigroup $S(a,b,c)$ formed by the set of solutions of the inequality $ax \bmod{b} \le cx$ is said to be proportionally modular. For any interval $[\alpha,\beta]$, $S\big([\alpha,\beta]\big)$ is the submonoid of ${\mathbb Z}_{\ge 0}$ obtained by intersecting the submonoid of ${\mathbb Q}_{\ge 0}$ generated by $[\alpha,\beta]$ with ${\mathbb Z}_{\ge 0}$. For the numerical semigroup $S$ generated by a given arithmetic progression, we characterize $a,b,c$ and $\alpha,\beta$ such that both $S(a,b,c)$ and $S\big([\alpha,\beta]\big)$ equal $S$.


title: On the first bifurcation point for a free boundary problem modeling small arterial plaque

abstract: Atherosclerosis occurs when plaque clogs the arteries. It is a leading cause of death in the United States and worldwide. In this paper, we study the bifurcation for a highly nonlinear and highly coupled PDE model of plaque formation in the early stage of atherosclerosis. The model involves LDL and HDL cholesterols, macrophage cells as well as foam cells, with the interface separating the plaque and blood flow region being a free boundary. We establish the first bifurcation point for the system corresponding to $n=1$ mode. The symmetry-breaking stationary solution studied in this paper might be helpful in understanding why there exists arterial plaque that is often accumulated more on one side of the artery than the other.


title: A high order discontinuous Galerkin method for the symmetric form of the anisotropic viscoelastic wave equation

abstract: Wave propagation in real media is affected by various non-trivial physical phenomena, e.g., anisotropy, an-elasticity and dissipation. Assumptions on the stress-strain relationship are an integral part of seismic modeling and determine the deformation and relaxation of the medium. Stress-strain relationships based on simplified rheologies will incorrectly predict seismic amplitudes, which are used for quantitative reservoir characterization. Constitutive equations for the rheological model include the generalized Hooke's law and Boltzmann's superposition principal with dissipation models based on standard linear solids or a Zener approximation. In this work, we introduce a high-order discontinuous Galerkin finite element method for wave equation in inhomogeneous and anisotropic dissipative medium. This method is based on a new symmetric treatment of the anisotropic viscoelastic terms, as well as an appropriate memory variable treatment of the stress-strain convolution terms. Together, these result in a symmetric system of first order linear hyperbolic partial differential equations. The accuracy of the proposed numerical scheme is proven and verified using convergence studies against analytical plane wave solutions and analytical solutions of viscoelastic wave equation. Computational experiments are shown for various combinations of homogeneous and heterogeneous viscoelastic media in two and three dimensions.


title: A note on the existence of stabilizing switching signals for switched linear systems

abstract: This paper deals with stability of discrete-time switched linear systems whose all subsystems are unstable. We present sufficient conditions on the subsystems matrices such that a switched system is globally exponentially stable under a set of purely time-dependent switching signals that are allowed to activate all subsystems. The main apparatuses for our analysis are (matrix) commutation relations between certain products of the subsystems matrices and graph-theoretic arguments. We present a numerical experiment to demonstrate our results.


title: Dynamics and control of entangled electron-photon states in nanophotonic systems with time-variable parameters

abstract: We study the dynamics of strongly coupled nanophotonic systems with time-variable parameters. The approximate analytic solutions are obtained for a broad class of open quantum systems including a two-level fermion emitter strongly coupled to a multimode quantized electromagnetic field in a cavity with time-varying cavity resonances or the electron transition energy. The coupling of the fermion and photon subsystems to their dissipative reservoirs is included within the stochastic equation of evolution approach, which is equivalent to the Lindblad approximation in the master equation formalism. The analytic solutions for the quantum states and the observables are obtained under the approximation that the rate of parameter modulation and the amplitude of the frequency modulation are much smaller than the optical transition frequencies. At the same time, they can be arbitrary with respect to the generalized Rabi oscillations frequency which determines the coherent dynamics. Therefore, our analytic theory can be applied to an arbitrary modulation of the parameters, both slower and faster than the Rabi frequency, for complete control of the quantum state. In particular, we demonstrate protocols for switching on and off the entanglement between the fermionic and photonic degrees of freedom, swapping between the quantum states, and the decoupling of the fermionic qubit from the cavity field due to modulation-induced transparency.


title: A puzzle for the field ontologists

abstract: It has been widely thought that the wave function describes a real, physical field in a realist interpretation of quantum mechanics. In this paper, I present a new analysis of the field ontology for the wave function. First, I argue that the non-existence of self-interactions for a quantum system such as an electron poses a puzzle for the field ontologists. If the wave function represents a physical field, then it seems odd that there are (electromagnetic and gravitational) interactions between the fields of two electrons but no interactions between two parts of the field of an electron. Next, I argue that the three solutions a field ontologist may provide are not fully satisfactory. Finally, I propose a solution of this puzzle that leads to a particle ontological interpretation of the wave function.


title: Joint Energy Harvest and Information Transfer for Energy Beamforming in Backscatter Multiuser Networks

abstract: Wirelessly powered backscatter communication (WPBC) has been identified as a promising technology for low-power communication systems, which can reap the benefits of energy beamforming to improve energy transfer efficiency. However, existing studies on energy beamforming fail to simultaneously take energy supply and information transfer in WPBC into account. This paper takes the first step to fill this gap, by considering the restrictive relationship between the energy harvesting rate and achievable rate with estimated backscatter channel state information (BS-CSI). To ensure reliable communication and user fairness, we formulate the energy beamforming design as a max-min optimization problem by maximizing the minimum achievable rate for all backscatter tags subject to the energy constraint. We derive the closed-form expression of the energy harvesting rate, as well as the lower bound of the achievable rate for maximum-ratio combining (MRC) and zero-forcing (ZF) receivers. Our numerical results indicate that our scheme significantly outperforms state-of-the-art energy beamforming schemes. Additionally, the achievable rate of our scheme approaches more than $90\%$ of the rate limit achieved via beamforming with perfect CSI for both receivers.


title: Multiplier systems for Hermitian modular groups

abstract: Let $\Gamma_{F,n}$ be the Hermitian modular group of degree $n>1$ in sense of Hel Braun with respect to an imaginary quadratic field $F$. Let $r$ be a natural number. There exists a multiplier system of weight $1/r$ (equivalently a Hermitian modular form of weight $k+1/r$, $k$ integral) on some congruence group if and only if $r=1$ or $2$. This follows from a much more general construction of Deligne [De] combining it with results of Hill [Hi], Prasad [P] and Prasad-Rapinchuk [PR]. As far as we know, the systems of weight $1/2$ have not yet been described explicitly. Remarkably Haowu Wang [Wa] gave an example of a modular form of half integral weight. Actually he constructs a Borcherds product of weight $23/2$ for a group of type $O(2,4)$. This group is isogenous to the group $U(2,2)$ that contains the Hermitian modular groups of degree two. In this paper we want to study such multiplier systems. If one restricts them to the unimodular group one obtains a usual character. Our main result states that the kernel of this character is a non-congruence subgroup. For sufficiently small $\Gamma$ it coincides with the group described by Kubota in the case $n=2$ and by Bass Milnor Serre in the case $n>2$.


title: 3D-LaneNet+: Anchor Free Lane Detection using a Semi-Local Representation

abstract: 3D-LaneNet+ is a camera-based DNN method for anchor free 3D lane detection which is able to detect 3d lanes of any arbitrary topology such as splits, merges, as well as short and perpendicular lanes. We follow recently proposed 3D-LaneNet, and extend it to enable the detection of these previously unsupported lane topologies. Our output representation is an anchor free, semi-local tile representation that breaks down lanes into simple lane segments whose parameters can be learnt. In addition we learn, per lane instance, feature embedding that reasons for the global connectivity of locally detected segments to form full 3d lanes. This combination allows 3D-LaneNet+ to avoid using lane anchors, non-maximum suppression, and lane model fitting as in the original 3D-LaneNet. We demonstrate the efficacy of 3D-LaneNet+ using both synthetic and real world data. Results show significant improvement relative to the original 3D-LaneNet that can be attributed to better generalization to complex lane topologies, curvatures and surface geometries.


title: TransQuest: Translation Quality Estimation with Cross-lingual Transformers

abstract: Recent years have seen big advances in the field of sentence-level quality estimation (QE), largely as a result of using neural-based architectures. However, the majority of these methods work only on the language pair they are trained on and need retraining for new language pairs. This process can prove difficult from a technical point of view and is usually computationally expensive. In this paper we propose a simple QE framework based on cross-lingual transformers, and we use it to implement and evaluate two different neural architectures. Our evaluation shows that the proposed methods achieve state-of-the-art results outperforming current open-source quality estimation frameworks when trained on datasets from WMT. In addition, the framework proves very useful in transfer learning settings, especially when dealing with low-resourced languages, allowing us to obtain very competitive results.


title: Local Relay Selection in Presence of Dynamic Obstacles in Millimeter Wave D2D Communication

abstract: Blockage due to obstacles in millimeter wave (mmWave) device to device (D2D) communication is a prominent problem due to their severe penetration losses. Potential user equipments (UEs) in vicinity of the source UE must be explored in order to select a new relay when the current link gets blocked. However, dynamic obstacles are not known in advance and thus may cause unpredictable fluctuations to D2D channel quality causing newly selected relay link also to be susceptible to blockage. This might cause frequent relay switching leading to call drops and high energy consumption. We have proposed the idea of reducing frequency in relay exploration and switching and thus average end-to-end delay (in seconds) at the expense of additional exploration time units (few milliseconds) during beam alignment. We seek to learn the uncertainty in D2D link qualities by modeling the problem as finite horizon partially observable Markov decision process (POMDP) framework locally at each UE. We have derived an optimal threshold policy which maps the state to set of actions. We then give a simplified and easy to implement stationary threshold policy which counts the number of successive acknowledgment successes/failures for making decisions of selecting or not selecting a given relay locally. Through extensive simulation, we validate our theoretical findings and demonstrate that our approach captures the trade-off between average exploration time and average end-to-end (E2E) delay in presence of dynamic obstacles.


title: Penetrating RF Fingerprinting-based Authentication with a Generative Adversarial Attack

abstract: Physical layer authentication relies on detecting unique imperfections in signals transmitted by radio devices to isolate their fingerprint. Recently, deep learning-based authenticators have increasingly been proposed to classify devices using these fingerprints, as they achieve higher accuracies compared to traditional approaches. However, it has been shown in other domains that adding carefully crafted perturbations to legitimate inputs can fool such classifiers. This can undermine the security provided by the authenticator. Unlike adversarial attacks applied in other domains, an adversary has no control over the propagation environment. Therefore, to investigate the severity of this type of attack in wireless communications, we consider an unauthorized transmitter attempting to have its signals classified as authorized by a deep learning-based authenticator. We demonstrate a reinforcement learning-based attack where the impersonator--using only the authenticator's binary authentication decision--distorts its signals in order to penetrate the system. Extensive simulations and experiments on a software-defined radio testbed indicate that at appropriate channel conditions and bounded by a maximum distortion level, it is possible to fool the authenticator reliably at more than 90% success rate.


title: Recent Advances in Understanding Adversarial Robustness of Deep Neural Networks

abstract: Adversarial examples are inevitable on the road of pervasive applications of deep neural networks (DNN). Imperceptible perturbations applied on natural samples can lead DNN-based classifiers to output wrong prediction with fair confidence score. It is increasingly important to obtain models with high robustness that are resistant to adversarial examples. In this paper, we survey recent advances in how to understand such intriguing property, i.e. adversarial robustness, from different perspectives. We give preliminary definitions on what adversarial attacks and robustness are. After that, we study frequently-used benchmarks and mention theoretically-proved bounds for adversarial robustness. We then provide an overview on analyzing correlations among adversarial robustness and other critical indicators of DNN models. Lastly, we introduce recent arguments on potential costs of adversarial training which have attracted wide attention from the research community.


title: Energy preserving reduced-order modelling of thermal shallow water equation

abstract: In this paper, Hamiltonian and energy preserving reduced-order models are developed for the rotating thermal shallow water equation (RTSWE) in the non-canonical Hamiltonian form with the state-dependent Poisson matrix. The high fidelity full solutions are obtained by discretizing the RTSWE in space with skew-symmetric finite-differences, that preserve the Hamiltonian structure. The resulting skew-gradient system is integrated in time with the energy preserving average vector field (AVF) method. The reduced-order model (ROM) is constructed in the same way as the full order model (FOM), preserving the reduced skew-symmetric structure and integrating in time with the AVF method. Relying on structure-preserving discretizations in space and time and applying proper orthogonal decomposition (POD) with the Galerkin projection, an energy preserving reduced order model (ROM) is constructed. The nonlinearities in the ROM are computed by applying the discrete empirical interpolation (DEIM) method to reduce the computational cost. The computation of the reduced-order solutions is accelerated further by the use of tensor techniques. The overall procedure yields a clear separation of the offline and online computational cost of the reduced solutions. The accuracy and computational efficiency of the ROMs are demonstrated for a numerical test problem. Preservation of the energy (Hamiltonian), and other conserved quantities, i.e. mass, buoyancy, and total vorticity show that the reduced-order solutions ensure the long-term stability of the solutions while exhibiting several orders of magnitude computational speedup over the FOM.


title: Misalignment instability in magic-angle twisted bilayer graphene on hexagonal boron nitride

abstract: We study the stability and electronic structure of magic-angle twisted bilayer graphene on the hexagonal boron nitride (TBG/BN). Full relaxation has been performed for commensurate supercells of the heterostructures with different twist angles ($\theta'$) and stackings between TBG and BN. We find that the slightly misaligned configuration with $\theta' = 0.54^\circ$ and the AA/AA stacking has the globally lowest total energy due to the constructive interference of the moir\'{e} interlayer potentials and thus the greatly enhanced relaxation in its $1 \times 1$ commensurate supercell. Gaps are opened at the Fermi level ($E_F$) for small supercells with the stackings that enable strong breaking of the $C_2$ symmetry in the atomic structure of TBG. For large supercells with $\theta'$ close to those of the $1 \times 1$ supercells, the broadened flat bands can still be resolved from the spectral functions. The $\theta' = 0.54^\circ$ is also identified as a critical angle for the evolution of the electronic structure with $\theta'$, at which the energy range of the mini-bands around $E_F$ begins to become narrower with increasing $\theta'$ and their gaps from the dispersive bands become wider. The discovered stablest TBG/BN with a finite $\theta'$ of about $0.54^\circ$ and its gapped flat bands agree with recent experimental observations.


title: Multi-Fidelity Multi-Objective Bayesian Optimization: An Output Space Entropy Search Approach

abstract: We study the novel problem of blackbox optimization of multiple objectives via multi-fidelity function evaluations that vary in the amount of resources consumed and their accuracy. The overall goal is to approximate the true Pareto set of solutions by minimizing the resources consumed for function evaluations. For example, in power system design optimization, we need to find designs that trade-off cost, size, efficiency, and thermal tolerance using multi-fidelity simulators for design evaluations. In this paper, we propose a novel approach referred as Multi-Fidelity Output Space Entropy Search for Multi-objective Optimization (MF-OSEMO) to solve this problem. The key idea is to select the sequence of candidate input and fidelity-vector pairs that maximize the information gained about the true Pareto front per unit resource cost. Our experiments on several synthetic and real-world benchmark problems show that MF-OSEMO, with both approximations, significantly improves over the state-of-the-art single-fidelity algorithms for multi-objective optimization.


title: Asymptotic $P_N$ Approximation in Radiative Transfer Problems

abstract: We study the validity of the time-dependent asymptotic $P_N$ approximation in radiative transfer of photons. The time-dependent asymptotic $P_N$ is an approximation which uses the standard $P_N$ equations with a closure that is based on the asymptotic solution of the exact Boltzmann equation for a homogeneous problem, in space and time. The asymptotic $P_N$ approximation for radiative transfer requires careful treatment regarding the closure equation. Specifically, the mean number of particles that are emitted per collision ($\omega_{\mathrm{eff}}$) can be larger than one due to inner or outer radiation sources and the coefficients of the closure must be extended for these cases. Our approximation is tested against a well-known radiative transfer benchmark. It yields excellent results, with almost correct particle velocity that controls the radiative heat-wave fronts.


title: Post-Hartree-Fock method in Quantum Chemistry for Quantum Computer

abstract: Quantum computational chemistry is a potential application of quantum computers that is expected to effectively solve several quantum-chemistry problems, particularly the electronic structure problem. Quantum computational chemistry can be compared to the conventional computational devices. This review comprehensively investigates the applications and overview of quantum computational chemistry, including a review of the Hartree-Fock method for quantum information scientists. Quantum algorithms, quantum phase estimation, and variational quantum eigensolver, have been applied to the post-Hartree-Fock method.


title: Weak solutions to the time-fractional g-B\'enard equations

abstract: In this paper, we introduce the g-B\'enard equations with time-fractional derivative of order $\alpha \in (0, 1)$ in domains of $\mathbb R^2$. This equations model, the memory-dependent heat conduction of liquids in fractal media considered in g-framework. We aim to study the existence and uniqueness of weak solutions by means of standard techniques from Navier-Stokes equations theory and fractional calculus theory.


title: Actions of symplectic homeomorphisms/diffeomorphisms on foliations by curves in dimension 2

abstract: The two main results of this paper concern the regularity of the invariant foliation of a C0-integrable symplectic twist diffeomorphisms of the 2-dimensional annulus, namely that $\bullet$ the generating function of such a foliation is C1 ; $\bullet$ the foliation is H{\"o}lder with exponent 1/2. We also characterize foliations by graphs that are straightenable via a symplectic homeomorphism and prove that every symplectic homeomorphism that leaves invariant all the leaves of a straightenable foliation has Arnol'd-Liouville coordinates, in which the Dynamics restricted to the leaves is conjugated to a rotation. We deduce that every Lipschitz integrable symplectic twist diffeomorphisms of the 2-dimensional annulus has Arnol'd-Liouville coordinates and then provide examples of 'strange' Lipschitz foliations in smooth curves that cannot be straightened by a symplectic homeomorphism and cannot be invariant by a symplectic twist diffeomorphism.This article is a part of another preprint of the authors, entitled On the transversal dependence of weak K.A.M. solutions for symplectic twist maps, after rewriting ant adding of the H{\"o}lder part.


title: The assembly of a pointfree bispace and its two variations

abstract: The duality of finitary biframes as pointfree bitopological spaces is explored. In particular, for a finitary biframe $\mathcal{L}$ the ordered collection of all its pointfree bisubspaces (i.e. its biquotients) is studied. It is shown that this collection is bitopological in three meaningful ways. In particular it is shown that, apart from the assembly $\mathsf{A}(\mathcal{L})$ of a finitary biframe $\mathcal{L}$, there are two other structures $\mathsf{A}_{cf}(\mathcal{L})$ and $\mathsf{A}_{\pm}(\mathcal{L})$, which both have the same main component as $\mathsf{A}(\mathcal{L})$. The main component of both $\mathsf{A}_{cf}(\mathcal{L})$ and $\mathsf{A}_{\pm}(\mathcal{L})$ is the ordered collection of all biquotients of $\mathcal{L}$. The structure $\mathsf{A}_{cf}(\mathcal{L})$ being a biframe shows that the collection of all biquotients is generated by the frame of the patch-closed biquotients together with that of the patch-fitted ones. The structure $\mathsf{A}_{\pm}(\mathcal{L})$ being a biframe shows the collection of all biquotients is generated by the frame of the positive biquotients together with that of the negative ones. Notions of fitness and subfitness for finitary biframes are introduced, and it is shown that the analogues of both characterization theorems for these axioms appearing in Picado and Pultr (2011) hold. A spatial, bitopological version of these theorems is proven, in which finitary biframes whose spectrum is pairwise $T_1$ are characterized, among other things in terms of the spectrum of $\mathsf{A}_{cf}(\mathcal{L})$.


title: Antibiotic treatment, duration of infectiousness, and disease transmission

abstract: Humans, domestic animals, orchard crops, and ornamental plants are commonly treated with antibiotics in response to bacterial infection. By curing infectious individuals, antibiotic therapy might limit the spread of contagious disease among hosts. But an antibiotic`s suppression of within-host pathogen density might also reduce the probability that the host is otherwise removed from infectious status prior to therapeutic recovery. When rates of both recovery via treatment and other removal events (e.g., isolation or mortality) depend directly on within-host pathogen density, antibiotic treatment can relax the overall removal rate sufficiently to increase between-host disease transmission. To explore this dependence, a deterministic within-host dynamics drives the infectious host's time-dependent probability of disease transmission, as well as the probabilistic duration of the infectious period. At the within-host scale, the model varies (1) inoculum size, (2) bacterial self-regulation, (3) the time between infection and initiation of therapy, and (4) antibiotic efficacy. At the between-host scale the model varies (5) the size/susceptibility of groups randomly encountered by an infectious host. Results identify conditions where antibiotic treatment can increase duration of a host`s infectiousness, and consequently increase the expected number of new infections. At lower antibiotic efficacy, treatment might convert a rare, serious bacterial disease into a common, but treatable infection.


title: DAGA: Data Augmentation with a Generation Approach for Low-resource Tagging Tasks

abstract: Data augmentation techniques have been widely used to improve machine learning performance as they enhance the generalization capability of models. In this work, to generate high quality synthetic data for low-resource tagging tasks, we propose a novel augmentation method with language models trained on the linearized labeled sentences. Our method is applicable to both supervised and semi-supervised settings. For the supervised settings, we conduct extensive experiments on named entity recognition (NER), part of speech (POS) tagging and end-to-end target based sentiment analysis (E2E-TBSA) tasks. For the semi-supervised settings, we evaluate our method on the NER task under the conditions of given unlabeled data only and unlabeled data plus a knowledge base. The results show that our method can consistently outperform the baselines, particularly when the given gold training data are less.


title: Wrinkling transition in quenched disordered membranes at two loops

abstract: One investigates the flat phase of quenched disordered polymerized membranes by means of a two-loop, weak-coupling computation performed near their upper critical dimension $D_{uc} = 4$, generalizing the one-loop computation of Morse, Lubensky and Grest [Phys. Rev. A 45, R2151 (1992), Phys. Rev. A 46, 1751 (1992)]. Our work confirms the existence of the finite-temperature, finite-disorder, wrinkling transition, which has been recently identified by Coquand et al. [Phys. Rev E 97, 030102 (2018)] using a nonperturbative renormalization group approach. One also points out ambiguities in the two-loop computation that prevent the exact identification of the properties of the novel fixed point associated with the wrinkling transition, which very likely requires a three-loop order approach.


title: Cosmological consequences of intrinsic alignments super-sample covariance

abstract: We examine cosmological constraints from high precision weak lensing surveys including super-sample covariance (SSC) due to the finite survey volume. Specifically, we focus on the contribution of {\it beat coupling} in the intrinsic alignments as a part of full cosmic shear signal under flat sky approximation. The SSC-effect grows by going to lower redshift bin and indicates considerable footprint on the intermediate and high multipoles for cumulative signal to noise ratio (SNR). The SNR is reduced by $\approx 10\%$ as a consequence of including the intrinsic alignments super-sample covariance, for the full cosmic shear signal, depending on the amplitude of intrinsic alignments, the ellipticity dispersion and the survey redshift ranges, while the contribution of photometric redshift error can be ignored in the cumulative signal to noise ratio. Using the Fisher-matrix formalism, we find that the impact of large modes beyond the volume of the surveys on the small modes alters the intrinsic alignments. However, corresponding impact on the cosmological parameters estimation is marginal compared to that of for gravitational weak lensing, particularly, when all available redshift bins are considered. Our results also demonstrate that, including SSC-effect on the intrinsic alignments in the analytical covariance matrix of full cosmic shear leads to increase marginally the confidence interval for $\sigma_8$ by $\approx 10\%$ for a sample with almost high intrinsic alignments amplitude.

categories: astro-ph.CO astro-ph.GA astro-ph.IM physics.comp-ph


title: Efficient Sampling of Transition Constraints for Motion Planning under Sliding Contacts

abstract: Contact-based motion planning for manipulation, object exploration or balancing often requires finding sequences of fixed and sliding contacts and planning the transition from one contact in the environment to another. However, most existing algorithms concentrate on the control and learning aspect of sliding contacts, but do not embed the problem into a principled framework to provide guarantees on completeness or optimality. To address this problem, we propose a method to extend constraint-based planning using contact transitions for sliding contacts. Such transitions are elementary operations required for whole contact sequences. To model sliding contacts, we define a sliding contact constraint that permits the robot to slide on the surface of a mesh-based object. To exploit transitions between sliding contacts, we develop a contact transition sampler, which uses three constraint modes: contact with a start surface, no contact and contact with a goal surface. We sample these transition modes uniformly which makes them usable with sampling-based planning algorithms. Our method is evaluated by testing it on manipulator arms of two, three and seven internal degrees of freedom with different objects and various sampling-based planning algorithms. This demonstrates that sliding contact constraints could be used as an elementary method for planning long-horizon contact sequences for high-dimensional robotic systems.


title: $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is reduced

abstract: Let $k$ be a field of characteristic zero. Fix a smooth algebraic curve $X$ and a split reductive group $G$ over $k$. We show that the Beilinson--Drinfeld affine Grassmannian $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ is the presheaf colimit of the reduced ind-schemes $(\mathrm{Gr}_{G, X^I})^{\mathrm{red}}$ for finite sets $I$. This implies that every map from an affine $k$-scheme to $\mathrm{Gr}_{G, \mathrm{Ran}(X)}$ factors through a reduced quasi-projective $k$-scheme. In the course of the proof, we generalize the notion of 'reduction of a scheme' to apply to any presheaf, and we show that this notion is well-behaved on any pseudo-ind-scheme which admits a colimit presentation whose indexing category satisfies the amalgamation property.


title: Delta-Davidson method for interior eigenproblem in many-spin systems

abstract: Many numerical methods, such as tensor network approaches including density matrix renormalization group calculations, have been developed to calculate the extreme/ground states of quantum many-body systems. However, little attention has been paid to the central states, which are exponentially close to each other in terms of system size. We propose a Delta-Davidson (DELDAV) method to effciently find such interior (including the central) states in many-spin systems. The DELDAV method utilizes Delta filter in Chebyshev polynomial expansion combined with subspace diagonalization to overcome the nearly degenerate problem. Numerical experiments on Ising spin chain and spin glass shards show the correctness, effciency, and robustness of the proposed method in finding the interior states as well as the ground states. The sought interior states may be employed to identify many-body localization phase, quantum chaos, and extremely long-time dynamical structure.


title: Formation of the Hub-Filament System G33.92+0.11: Local Interplay between Gravity, Velocity, and Magnetic Field

abstract: The formation of filaments in molecular clouds is an important process in star formation. Hub-filament systems (HFSs) are a transition stage connecting parsec-scale filaments and proto-clusters. Understanding the origin of HFSs is crucial to reveal how star formation proceeds from clouds to cores. Here, we report JCMT POL-2 850 $\mu$m polarization and IRAM 30-m C$^{18}$O (2-1) line observations toward the massive HFS G33.92+0.11. The 850 $\mu$m continuum map reveals four major filaments converging to the center of G33.92+0.11 with numerous short filaments connecting to the major filaments at local intensity peaks. We estimate the local orientations of filaments, magnetic field, gravity, and velocity gradients from observations, and we examine their correlations based on their local properties. In the high-density areas, our analysis shows that the filaments tend to align with the magnetic field and local gravity. In the low-density areas, we find that the local velocity gradients tend to be perpendicular to both the magnetic field and local gravity, although the filaments still tend to align with local gravity. A global virial analysis suggests that the gravitational energy overall dominates the magnetic and kinematic energy. Combining local and global aspects, we conclude that the formation of G33.92+0.11 is predominantly driven by gravity, dragging and aligning the major filaments and magnetic field on the way to the inner dense center. Traced by local velocity gradients in the outer diffuse areas, ambient gas might be accreted onto the major filaments directly or via the short filaments.


title: Numerical verification method for positive solutions of elliptic problems

abstract: The purpose of this paper is to propose methods for verifying the positivity of a weak solution $ u $ of an elliptic problem assuming $ H^1_0 $-error estimation $ \left\|u-\hat{u}\right\|_{H_{0}^{1}} \leq \rho $ given some numerical approximation $ \hat{u} $ and an explicit error bound $ \rho $. We provide a sufficient condition for the solution to be positive and analyze the range of application of our method for elliptic problems with polynomial nonlinearities. We present numerical examples where our method is applied to some important problems.


title: StyleMelGAN: An Efficient High-Fidelity Adversarial Vocoder with Temporal Adaptive Normalization

abstract: In recent years, neural vocoders have surpassed classical speech generation approaches in naturalness and perceptual quality of the synthesized speech. Computationally heavy models like WaveNet and WaveGlow achieve best results, while lightweight GAN models, e.g. MelGAN and Parallel WaveGAN, remain inferior in terms of perceptual quality. We therefore propose StyleMelGAN, a lightweight neural vocoder allowing synthesis of high-fidelity speech with low computational complexity. StyleMelGAN employs temporal adaptive normalization to style a low-dimensional noise vector with the acoustic features of the target speech. For efficient training, multiple random-window discriminators adversarially evaluate the speech signal analyzed by a filter bank, with regularization provided by a multi-scale spectral reconstruction loss. The highly parallelizable speech generation is several times faster than real-time on CPUs and GPUs. MUSHRA and P.800 listening tests show that StyleMelGAN outperforms prior neural vocoders in copy-synthesis and Text-to-Speech scenarios.


title: Enhanced RSS-based UAV Localization via Trajectory and Multi-base Stations

abstract: To improve the localization precision of unmanned aerial vehicle (UAV), a novel framework is established by jointly utilizing multiple measurements of received signal strength (RSS) from multiple base stations (BSs) and multiple points on trajectory. First, a joint maximum likelihood (ML) of exploiting both trajectory information and multi-BSs is proposed. To reduce its high complexity, two low-complexity localization methods are designed. The first method is from BS to trajectory (BST), called LCSL-BST. First, fixing the nth BS, by exploiting multiple measurements along trajectory, the position of UAV is computed by ML rule. Finally, all computed positions of UAV for different BSs are combined to form the resulting position. The second method reverses the order, called LCSL-TBS. We also derive the Cramer-Rao lower boundary (CRLB) of the joint ML method. From simulation results, we can see that the proposed joint ML and separate LCSL-BST methods have made a significant improvement over conventional ML method without use of trajectory knowledge in terms of location performance. The former achieves the joint CRLB and the latter is of low-complexity.


title: Secretary Matching with General Arrivals

abstract: We provide online algorithms for secretary matching in general weighted graphs, under the well-studied models of vertex and edge arrivals. In both models, edges are associated with arbitrary weights that are unknown from the outset, and are revealed online. Under vertex arrival, vertices arrive online in a uniformly random order; upon the arrival of a vertex $v$, the weights of edges from $v$ to all previously arriving vertices are revealed, and the algorithm decides which of these edges, if any, to include in the matching. Under edge arrival, edges arrive online in a uniformly random order; upon the arrival of an edge $e$, its weight is revealed, and the algorithm decides whether to include it in the matching or not. We provide a $5/12$-competitive algorithm for vertex arrival, and show it is tight. For edge arrival, we provide a $1/4$-competitive algorithm. Both results improve upon state of the art bounds for the corresponding settings. Interestingly, for vertex arrival, secretary matching in general graphs outperforms secretary matching in bipartite graphs with 1-sided arrival, where $1/e$ is the best possible guarantee.


title: Irregular finite order solutions of complex LDE's in unit disc

abstract: It is shown that the order and the lower order of growth are equal for all non-trivial solutions of $f^{(k)}+A f=0$ if and only if the coefficient $A$ is analytic in the unit disc and $\log^+ M(r,A)/\log(1-r)$ tends to a finite limit as $r\to 1^-$. A family of concrete examples is constructed, where the order of solutions remain the same while the lower order may vary on a certain interval depending on the irregular growth of the coefficient. These coefficients emerge as the logarithm of their modulus approximates smooth radial subharmonic functions of prescribed irregular growth on a sufficiently large subset of the unit disc. A result describing the phenomenon behind these highly non-trivial examples is also established. En route to results of general nature, a new sharp logarithmic derivative estimate involving the lower order of growth is discovered. In addition to these estimates, arguments used are based, in particular, on the Wiman-Valiron theory adapted for the lower order, and on a good understanding of the right-derivative of the logarithm of the maximum modulus.


title: Two Heads Are Better Than One: A Two-Stage Approach for Monaural Noise Reduction in the Complex Domain

abstract: In low signal-to-noise ratio conditions, it is difficult to effectively recover the magnitude and phase information simultaneously. To address this problem, this paper proposes a two-stage algorithm to decouple the joint optimization problem w.r.t. magnitude and phase into two sub-tasks. In the first stage, only magnitude is optimized, which incorporates noisy phase to obtain a coarse complex clean speech spectrum estimation. In the second stage, both the magnitude and phase components are refined. The experiments are conducted on the WSJ0-SI84 corpus, and the results show that the proposed approach significantly outperforms previous baselines in terms of PESQ, ESTOI, and SDR.


title: Individual-driven versus interaction-driven burstiness in human dynamics: The case of Wikipedia edit history

abstract: The origin of non-Poissonian or bursty temporal patterns observed in various datasets for human social dynamics has been extensively studied, yet its understanding still remains incomplete. Considering the fact that humans are social beings, a fundamental question arises: Is the bursty human dynamics dominated by individual characteristics or by interaction between individuals? In this paper we address this question by analyzing the Wikipedia edit history to see how spontaneous individual editors are in initiating bursty periods of editing, i.e., individual-driven burstiness, and to what extent such editors' behaviors are driven by interaction with other editors in those periods, i.e., interaction-driven burstiness. We quantify the degree of initiative (DoI) of an editor of interest in each Wikipedia article by using the statistics of bursty periods containing the editor's edits. The integrated value of the DoI over all relevant timescales reveals which is dominant between individual-driven and interaction-driven burstiness. We empirically find that this value tends to be larger for weaker temporal correlations in the editor's editing behavior and/or stronger editorial correlations. These empirical findings are successfully confirmed by deriving an analytic form of the DoI from a model capturing the essential features of the edit sequence. Thus our approach provides a deeper insight into the origin and underlying mechanisms of bursts in human social dynamics.


title: CooGAN: A Memory-Efficient Framework for High-Resolution Facial Attribute Editing

abstract: In contrast to great success of memory-consuming face editing methods at a low resolution, to manipulate high-resolution (HR) facial images, i.e., typically larger than 7682 pixels, with very limited memory is still challenging. This is due to the reasons of 1) intractable huge demand of memory; 2) inefficient multi-scale features fusion. To address these issues, we propose a NOVEL pixel translation framework called Cooperative GAN(CooGAN) for HR facial image editing. This framework features a local path for fine-grained local facial patch generation (i.e., patch-level HR, LOW memory) and a global path for global lowresolution (LR) facial structure monitoring (i.e., image-level LR, LOW memory), which largely reduce memory requirements. Both paths work in a cooperative manner under a local-to-global consistency objective (i.e., for smooth stitching). In addition, we propose a lighter selective transfer unit for more efficient multi-scale features fusion, yielding higher fidelity facial attributes manipulation. Extensive experiments on CelebAHQ well demonstrate the memory efficiency as well as the high image generation quality of the proposed framework.


title: Fast Computation of Strong Control Dependencies

abstract: We introduce new algorithms for computing non-termination sensitive control dependence (NTSCD) and decisive order dependence (DOD). These relations on control flow graph vertices have many applications including program slicing and compiler optimizations. Our algorithms are asymptotically faster than the current algorithms. We also show that the original algorithms for computing NTSCD and DOD may produce incorrect results. We implemented the new as well as fixed versions of the original algorithms for the computation of NTSCD and DOD and we experimentally compare their performance and outcome. Our algorithms dramatically outperform the original ones.


title: Cross-Media Keyphrase Prediction: A Unified Framework with Multi-Modality Multi-Head Attention and Image Wordings

abstract: Social media produces large amounts of contents every day. To help users quickly capture what they need, keyphrase prediction is receiving a growing attention. Nevertheless, most prior efforts focus on text modeling, largely ignoring the rich features embedded in the matching images. In this work, we explore the joint effects of texts and images in predicting the keyphrases for a multimedia post. To better align social media style texts and images, we propose: (1) a novel Multi-Modality Multi-Head Attention (M3H-Att) to capture the intricate cross-media interactions; (2) image wordings, in forms of optical characters and image attributes, to bridge the two modalities. Moreover, we design a unified framework to leverage the outputs of keyphrase classification and generation and couple their advantages. Extensive experiments on a large-scale dataset newly collected from Twitter show that our model significantly outperforms the previous state of the art based on traditional attention networks. Further analyses show that our multi-head attention is able to attend information from various aspects and boost classification or generation in diverse scenarios.


title: Twisted bi-symplectic structure on Koszul twisted Calabi-Yau algebras

abstract: For a Koszul Artin-Schelter regular algebra (also called twisted Calabi-Yau algebra), we show that it has a "twisted" bi-symplectic structure, which may be viewed as a noncommutative and twisted analogue of the shifted symplectic structure introduced by Pantev, To\"en, Vaqui\'e and Vezzosi. This structure gives a quasi-isomorphism between the tangent complex and the twisted cotangent complex of the algebra, and may be viewed as a DG enhancement of Van den Bergh's noncommutative Poincar\'e duality; it also induces a twisted symplectic structure on its derived representation schemes.


title: Bayesian spline-based hidden Markov models with applications to actimetry data and sleep analysis

abstract: B-spline-based hidden Markov models employ B-splines to specify the emission distributions, offering a more flexible modelling approach to data than conventional parametric HMMs. We introduce a Bayesian framework for inference, enabling the simultaneous estimation of all unknown model parameters including the number of states. A parsimonious knot configuration of the B-splines is identified by the use of a trans-dimensional Markov chain sampling algorithm, while model selection regarding the number of states can be performed based on the marginal likelihood within a parallel sampling framework. Using extensive simulation studies, we demonstrate the superiority of our methodology over alternative approaches as well as its robustness and scalability. We illustrate the explorative use of our methods for data on activity in animals, i.e. whitetip-sharks. The flexibility of our Bayesian approach also facilitates the incorporation of more realistic assumptions and we demonstrate this by developing a novel hierarchical conditional HMM to analyse human activity for circadian and sleep modelling.


title: Episodic Linear Quadratic Regulators with Low-rank Transitions

abstract: Linear Quadratic Regulators (LQR) achieve enormous successful real-world applications. Very recently, people have been focusing on efficient learning algorithms for LQRs when their dynamics are unknown. Existing results effectively learn to control the unknown system using number of episodes depending polynomially on the system parameters, including the ambient dimension of the states. These traditional approaches, however, become inefficient in common scenarios, e.g., when the states are high-resolution images. In this paper, we propose an algorithm that utilizes the intrinsic system low-rank structure for efficient learning. For problems of rank-$m$, our algorithm achieves a $K$-episode regret bound of order $\widetilde{O}(m^{3/2} K^{1/2})$. Consequently, the sample complexity of our algorithm only depends on the rank, $m$, rather than the ambient dimension, $d$, which can be orders-of-magnitude larger.


title: Switchable domains in point contacts based on transition metal tellurides

abstract: We report resistive switching in voltage biased point contacts (PCs) based on series of van der Waals transition metals tellurides (TMTs) such as MeTe2 (Me=Mo, W) and TaMeTe4 (Me= Ru, Rh, Ir). The switching occurs between a low resistive "metallic-type" state, which is the ground state, and a high resistive "semiconducting-type" state by applying certain bias voltage (<1V), while reverse switching takes place by applying voltage of opposite polarity. The origin of the effect can be formation of domain in PC core by applying a bias voltage, when a strong electric field (about 10kV/cm) modifies the crystal structure and controls its polarization. In addition to the discovery of the switching effect in PCs, we also suggest a simple method of material testing before functionalizing them, which offers a great advantage in finding suitable novel substances. The new functionality of studied TMTs arising from switchable domains in submicron hetero-structures that are promising, e.g., for non-volatile resistive random access memory (RRAM) engineering.


title: Dynamic latency speech recognition with asynchronous revision

abstract: In this work we propose an inference technique, asynchronous revision, to unify streaming and non-streaming speech recognition models. Specifically, we achieve dynamic latency with only one model by using arbitrary right context during inference. The model is composed of a stack of convolutional layers for audio encoding. In inference stage, the history states of encoder and decoder can be asynchronously revised to trade off between the latency and the accuracy of the model. To alleviate training and inference mismatch, we propose a training technique, segment cropping, which randomly splits input utterances into several segments with forward connections. This allows us to have dynamic latency speech recognition results with large improvements in accuracy. Experiments show that our dynamic latency model with asynchronous revision gives 8\%-14\% relative improvements over the streaming models.


title: Nodal deficiency of random spherical harmonics in presence of boundary

abstract: We consider a random Gaussian model of Laplace eigenfunctions on the hemisphere satisfying the Dirichlet boundary conditions along the equator. For this model we find a precise asymptotic law for the corresponding zero density functions, in both short range (around the boundary) and long range (far away from the boundary) regimes. As a corollary, we were able to find a logarithmic negative bias for the total nodal length of this ensemble relatively to the rotation invariant model of random spherical harmonics. Jean Bourgain's research, and his enthusiastic approach to the nodal geometry of Laplace eigenfunctions, has made a crucial impact in the field and the current trends within. His works on the spectral correlations (Theorem 2.2 in Krishnapur, Kurlberg and Wigman (2013)) and joint with Bombieri (Bourgain and Bombieri (2015)) have opened a door for an active ongoing research on the nodal length of functions defined on surfaces of arithmetic flavour, like the torus or the square. Further, Bourgain's work on toral Laplace eigenfunctions (Bourgain (2014)), also appealing to spectral correlations, allowed for inferring deterministic results from their random Gaussian counterparts.


title: The alternating presentation of $U_q(\widehat{gl_2})$ from Freidel-Maillet algebras

abstract: An infinite dimensional algebra denoted $\bar{\cal A}_q$ that is isomorphic to a central extension of $U_q^+$ - the positive part of $U_q(\widehat{sl_2})$ - has been recently proposed by Paul Terwilliger. It provides an `alternating' Poincar\'e-Birkhoff-Witt (PBW) basis besides the known Damiani's PBW basis built from positive root vectors. In this paper, a presentation of $\bar{\cal A}_q$ in terms of a Freidel-Maillet type algebra is obtained. Using this presentation: (a) finite dimensional tensor product representations for $\bar{\cal A}_q$ are constructed; (b) explicit isomorphisms from $\bar{\cal A}_q$ to certain Drinfeld type `alternating' subalgebras of $U_q(\widehat{gl_2})$ are obtained; (c) the image in $U_q^+$ of all the generators of $\bar{\cal A}_q$ in terms of Damiani's root vectors is obtained. A new tensor product decomposition for $U_q(\widehat{sl_2})$ in terms of Drinfeld type `alternating' subalgebras follows. The specialization $q\rightarrow 1$ of $\bar{\cal A}_q$ is also introduced and studied in details. In this case, a presentation is given as a non-standard Yang-Baxter algebra. This paper is dedicated to Paul Terwilliger for his 65th birthday.


title: A Laser-based Dual-arm System for Precise Control of Collaborative Robots

abstract: Collaborative robots offer increased interaction capabilities at relatively low cost but in contrast to their industrial counterparts they inevitably lack precision. Moreover, in addition to the robots' own imperfect models, day-to-day operations entail various sources of errors that despite being small rapidly accumulate. This happens as tasks change and robots are re-programmed, often requiring time-consuming calibrations. These aspects strongly limit the application of collaborative robots in tasks demanding high precision (e.g. watch-making). We address this problem by relying on a dual-arm system with laser-based sensing to measure relative poses between objects of interest and compensate for pose errors coming from robot proprioception. Our approach leverages previous knowledge of object 3D models in combination with point cloud registration to efficiently extract relevant poses and compute corrective trajectories. This results in high-precision assembly behaviors. The approach is validated in a needle threading experiment, with a 150{\mu}m thread and a 300{\mu}m hole, and a USB insertion task using two 7-axis Panda robots.


title: Spectroscopic and photometric time series of the bright RRc star T Sex

abstract: We present spectroscopic time series observations on one of the brightest northern RRc star, T Sex. Additionally, we also analysed extended photometric data sets, particularly the recent observations of the TESS space telescope. The main findings of our studies are as follows: T Sex, unlike all RRc stars whose space photometry has been analysed, shows only the $0.5f_x$ frequency as an additional pulsation frequency. With this, T Sex may be the first represent of such rare RRc stars found from space photometry. The spectroscopic data show a periodic distortion of the H$\alpha$ line with the pulsation phase. This phenomenon has not been reported for any RR Lyrae stars. The characteristic line distortion is probably caused by the turbulent convection, which resulted in higher macroturbulent velocity for T Sex than for typical RRab stars. Line doubling of the Na D line was observed between the 0.37 and 0.80 pulsation phases. The explanation of this phenomenon is that the two absorption components originate from different sources. The redder component comes from the pulsating atmosphere of the star, while the bluer one from the interstellar space. At phase 0.438, we detected emission on the Na D line, which may indicate a weak shock wave.


title: AraWEAT: Multidimensional Analysis of Biases in Arabic Word Embeddings

abstract: Recent work has shown that distributional word vector spaces often encode human biases like sexism or racism. In this work, we conduct an extensive analysis of biases in Arabic word embeddings by applying a range of recently introduced bias tests on a variety of embedding spaces induced from corpora in Arabic. We measure the presence of biases across several dimensions, namely: embedding models (Skip-Gram, CBOW, and FastText) and vector sizes, types of text (encyclopedic text, and news vs. user-generated content), dialects (Egyptian Arabic vs. Modern Standard Arabic), and time (diachronic analyses over corpora from different time periods). Our analysis yields several interesting findings, e.g., that implicit gender bias in embeddings trained on Arabic news corpora steadily increases over time (between 2007 and 2017). We make the Arabic bias specifications (AraWEAT) publicly available.


title: Improving RNN transducer with normalized jointer network

abstract: Recurrent neural transducer (RNN-T) is a promising end-to-end (E2E) model in automatic speech recognition (ASR). It has shown superior performance compared to traditional hybrid ASR systems. However, training RNN-T from scratch is still challenging. We observe a huge gradient variance during RNN-T training and suspect it hurts the performance. In this work, we analyze the cause of the huge gradient variance in RNN-T training and proposed a new \textit{normalized jointer network} to overcome it. We also propose to enhance the RNN-T network with a modified conformer encoder network and transformer-XL predictor networks to achieve the best performance. Experiments are conducted on the open 170-hour AISHELL-1 and industrial-level 30000-hour mandarin speech dataset. On the AISHELL-1 dataset, our RNN-T system gets state-of-the-art results on AISHELL-1's streaming and non-streaming benchmark with CER 6.15\% and 5.37\% respectively. We further compare our RNN-T system with our well trained commercial hybrid system on 30000-hour-industry audio data and get 9\% relative improvement without pre-training or external language model.


title: Some identities involving derangement polynomials and numbers

abstract: The problem of counting derangements was initiated by Pierre Remonde de Motmort in 1708. A derangement is a permutation that has no fixed points and the derangement number Dn is the number of fixed point free permutations on an n element set. Furthermore, the derangement polynomials are natural extensions of the derangement numbers. In this paper, we study the derangement polynomials and numbers, their connections with cosine-derangement polynomials and sine-derangement polynomials and their applications to moments of some variants of gamma random variables.


title: Risk-Averse Planning via CVaR Barrier Functions: Application to Bipedal Robot Locomotion

abstract: Enforcing safety in the presence of stochastic uncertainty is a challenging problem. Traditionally, researchers have proposed safety in the statistical mean as a safety measure in this case. However, ensuring safety in the statistical mean is only reasonable if system's safe behavior in the large number of runs is of interest, which precludes the use of mean safety in practical scenarios. In this paper, we propose a risk sensitive notion of safety called conditional-value-at-risk (CVaR) safety, which is concerned with safe performance in the worst case realizations. We introduce CVaR barrier functions as a tool to enforce CVaR-safety and propose conditions for their Boolean compositions. Given a legacy controller, we show that we can design a minimally interfering CVaR-safe controller via solving difference convex programs. We elucidate the proposed method by applying it to a bipedal robot locomotion case study.


title: Fake News Detection through Graph Comment Advanced Learning

abstract: Disinformation has long been regarded as a severe social problem, where fake news is one of the most representative issues. What is worse, today's highly developed social media makes fake news widely spread at incredible speed, bringing in substantial harm to various aspects of human life. Yet, the popularity of social media also provides opportunities to better detect fake news. Unlike conventional means which merely focus on either content or user comments, effective collaboration of heterogeneous social media information, including content and context factors of news, users' comments and the engagement of social media with users, will hopefully give rise to better detection of fake news. Motivated by the above observations, a novel detection framework, namely graph comment-user advanced learning framework (GCAL) is proposed in this paper. User-comment information is crucial but not well studied in fake news detection. Thus, we model user-comment context through network representation learning based on heterogeneous graph neural network. We conduct experiments on two real-world datasets, which demonstrate that the proposed joint model outperforms 8 state-of-the-art baseline methods for fake news detection (at least 4% in Accuracy, 7% in Recall and 5% in F1). Moreover, the proposed method is also explainable.


title: CMT in TREC-COVID Round 2: Mitigating the Generalization Gaps from Web to Special Domain Search

abstract: Neural rankers based on deep pretrained language models (LMs) have been shown to improve many information retrieval benchmarks. However, these methods are affected by their the correlation between pretraining domain and target domain and rely on massive fine-tuning relevance labels. Directly applying pretraining methods to specific domains may result in suboptimal search quality because specific domains may have domain adaption problems, such as the COVID domain. This paper presents a search system to alleviate the special domain adaption problem. The system utilizes the domain-adaptive pretraining and few-shot learning technologies to help neural rankers mitigate the domain discrepancy and label scarcity problems. Besides, we also integrate dense retrieval to alleviate traditional sparse retrieval's vocabulary mismatch obstacle. Our system performs the best among the non-manual runs in Round 2 of the TREC-COVID task, which aims to retrieve useful information from scientific literature related to COVID-19. Our code is publicly available at https://github.com/thunlp/OpenMatch.


title: Silicon and hydrogen chemistry under laboratory conditions mimicking the atmosphere of evolved stars

abstract: Silicon is present in interstellar dust grains, meteorites and asteroids, and to date thirteen silicon-bearing molecules have been detected in the gas-phase towards late-type stars or molecular clouds, including silane and silane derivatives. In this work, we have experimentally studied the interaction between atomic silicon and hydrogen under physical conditions mimicking those at the atmosphere of evolved stars. We have found that the chemistry of Si, H and H$_2$ efficiently produces silane (SiH$_4$), disilane (Si$_2$H$_6$) and amorphous hydrogenated silicon (a-Si:H) grains. Silane has been definitely detected towards the carbon-rich star IRC\,+10216, while disilane has not been detected in space yet. Thus, based on our results, we propose that gas-phase reactions of atomic Si with H and H$_2$ are a plausible source of silane in C-rich AGBs, although its contribution to the total SiH$_4$ abundance may be low in comparison with the suggested formation route by catalytic reactions on the surface of dust grains. In addition, the produced a-Si:H dust analogs decompose into SiH$_4$ and Si$_2$H$_6$ at temperatures above 500 K, suggesting an additional mechanism of formation of these species in envelopes around evolved stars. We have also found that the exposure of these dust analogs to water vapor leads to the incorporation of oxygen into Si-O-Si and Si-OH groups at the expense of SiH moieties, which implies that, if this type of grains are present in the interstellar medium, they will be probably processed into silicates through the interaction with water ices covering the surface of dust grains.


title: Trajectory Generation with Fast Lidar-based 3D Collision Avoidance for Agile MAVs

abstract: Micro aerial vehicles (MAVs), are frequently used for exploration, examination, and surveillance during search and rescue missions. Manually piloting these robots under stressful conditions provokes pilot errors and can result in crashes with disastrous consequences. Also, during fully autonomous flight, planned high-level trajectories can be erroneous and steer the robot into obstacles. In this work, we propose an approach to efficiently compute smooth, time-optimal trajectories MAVs that avoid obstacles. Our method first computes a trajectory from the start to an arbitrary target state, including position, velocity, and acceleration. It respects input- and state-constraints and is thus dynamically feasible. Afterward, we efficiently check the trajectory for collisions in the 3D-point cloud, recorded with the onboard lidar. We exploit the piecewise polynomial formulation of our trajectories to analytically compute axis-aligned bounding boxes (AABB) to speed up the collision checking process. If collisions occur, we generate a set of alternative trajectories in real-time. Alternative trajectories bring the MAV in a safe state, while still pursuing the original goal. Subsequently, we choose and execute the best collision-free alternative trajectory based on a distance metric. The evaluation in simulation and during a real firefighting exercise shows the capability of our method.


title: Symmetry breaking induced magnon-magnon coupling in synthetic antiferromagnets

abstract: We propose a general theory of microwave absorption spectroscopy for symmetry-breaking synthetic antiferromagnets (SAFs). Generally, inhomogeneity or different thickness of the two ferromagnetic sublayers of a SAF results in the intrinsic symmetry breaking, while out-of-plane components of dc magnetic fields lead to the extrinsic one. The broken symmetry of SAFs excludes the original symmetry-protected crossing between pure in-phase and out-of-phase resonance modes with opposite parity. Alternatively, new frequency branches become hybridization of original bare modes in terms of symmetry-breaking-induced magnon-magnon coupling, which results in an indirect gap in ferromagnetic resonance frequencies. Also, the dependence of gap width on the degree of symmetry breaking for several typical cases are presented and compared with existing experiments. Our theory provides a simple but physical understanding on the rich structure of ferromagnetic resonance spectra for asymmetric SAFs.


title: Estimating decision tree learnability with polylogarithmic sample complexity

abstract: We show that top-down decision tree learning heuristics are amenable to highly efficient learnability estimation: for monotone target functions, the error of the decision tree hypothesis constructed by these heuristics can be estimated with polylogarithmically many labeled examples, exponentially smaller than the number necessary to run these heuristics, and indeed, exponentially smaller than information-theoretic minimum required to learn a good decision tree. This adds to a small but growing list of fundamental learning algorithms that have been shown to be amenable to learnability estimation. En route to this result, we design and analyze sample-efficient minibatch versions of top-down decision tree learning heuristics and show that they achieve the same provable guarantees as the full-batch versions. We further give "active local" versions of these heuristics: given a test point $x^\star$, we show how the label $T(x^\star)$ of the decision tree hypothesis $T$ can be computed with polylogarithmically many labeled examples, exponentially smaller than the number necessary to learn $T$.


title: On the robustness of the hybrid qubit computational gates through simulated randomized benchmarking protocols

abstract: One of the main challenges in building a quantum processor is to characterize the environmental noise. Noise characterization can be achieved by exploiting different techniques, such as randomization where several sequences of random quantum gates are applied to the qubit under test to derive statistical characteristics about the affecting noises. A scalable and robust algorithm able to benchmark the full set of Clifford gates using randomization techniques is called randomized benchmarking. In this study, we simulated randomized benchmarking protocols in a semiconducting all-electrical three-electron double-quantum dot qubit, i.e. hybrid qubit, under different error models, that include quasi-static Gaussian and the more realistic 1/f noise model, for the input controls. The average error of specific quantum computational gates is extracted through interleaved randomized benchmarking obtained including Clifford gates between the gate of interest. It provides an estimate of the fidelity as well as theoretical bounds for the average error of the gate under test.


title: Analysis on trees with nondoubling flow measures

abstract: We consider trees with root at infinity endowed with flow measures, which are nondoubling measures of at least exponential growth and which do not satisfy the isoperimetric inequality. In this setting, we develop a Calderon-Zygmund theory and we define BMO and Hardy spaces, proving a number of desired results extending the corresponding theory as known in more classical settings.


title: The Coulomb and Higgs Branches of $\mathcal{N}=1$ Theories of Class $\mathcal{S}_k$

abstract: Even though for generic $\mathcal{N}=1$ theories it is not possible to separate distinct branches of supersymmetric vacua, in this paper we study a special class of $\mathcal{N}=1$ SCFTs, these of Class $\mathcal{S}_k$ for which it is possible to define Coulomb and Higgs branches precisely as for the $\mathcal{N}=2$ theories of Class $\mathcal{S}$ from which they descend. We study the BPS operators that parameterise these branches of vacua using the different limits of the superconformal index as well as the Coulomb and Higgs branch Hilbert Series. Finally, with the tools we have developed, we provide a check that six dimensional $(1,1)$ Little String theory can be deconstructed from a toroidal quiver in class $\mathcal{S}_k$


title: Canonical models for torus canards in elliptic bursters

abstract: We revisit elliptic bursting dynamics from the viewpoint of torus canard solutions. We show that at the transition to and from elliptic burstings, classical or mixed-type torus canards can appear, the difference between the two being the fast subsystem bifurcation that they approach, saddle-node of cycles for the former and subcritical Hopf for the latter. We first showcase such dynamics in a Wilson-Cowan type elliptic bursting model, then we consider minimal models for elliptic bursters in view of finding transitions to and from bursting solutions via both kinds of torus canards. We first consider the canonical model proposed by Izhikevich (ref. [22] in the manuscript) and adapted to elliptic bursting by Ju, Neiman, Shilnikov (ref. [24] in the manuscript), and we show that it does not produce mixed-type torus canards due to a nongeneric transition at one end of the bursting regime. We therefore introduce a perturbative term in the slow equation, which extends this canonical form to a new one that we call Leidenator and which supports the right transitions to and from elliptic bursting via classical and mixed-type torus canards, respectively. Throughout the study, we use singular flows ($\varepsilon=0$) to predict the full system's dynamics ($\varepsilon>0$ small enough). We consider three singular flows: slow, fast and average slow, so as to appropriately construct singular orbits corresponding to all relevant dynamics pertaining to elliptic bursting and torus canards.


title: Creating a Domain-diverse Corpus for Theory-based Argument Quality Assessment

abstract: Computational models of argument quality (AQ) have focused primarily on assessing the overall quality or just one specific characteristic of an argument, such as its convincingness or its clarity. However, previous work has claimed that assessment based on theoretical dimensions of argumentation could benefit writers, but developing such models has been limited by the lack of annotated data. In this work, we describe GAQCorpus, the first large, domain-diverse annotated corpus of theory-based AQ. We discuss how we designed the annotation task to reliably collect a large number of judgments with crowdsourcing, formulating theory-based guidelines that helped make subjective judgments of AQ more objective. We demonstrate how to identify arguments and adapt the annotation task for three diverse domains. Our work will inform research on theory-based argumentation annotation and enable the creation of more diverse corpora to support computational AQ assessment.


title: Turning Software Engineers into AI Engineers

abstract: In industry as well as education as well as academics we see a growing need for knowledge on how to apply machine learning in software applications. With the educational programme ICT & AI at Fontys UAS we had to find an answer to the question: "How should we educate software engineers to become AI engineers?" This paper describes our educational programme, the open source tools we use, and the literature it is based on. After three years of experience, we present our lessons learned for both educational institutions and software engineers in practice.


title: Support estimation in high-dimensional heteroscedastic mean regression

abstract: A current strand of research in high-dimensional statistics deals with robustifying the available methodology with respect to deviations from the pervasive light-tail assumptions. In this paper we consider a linear mean regression model with random design and potentially heteroscedastic, heavy-tailed errors, and investigate support estimation in this framework. We use a strictly convex, smooth variant of the Huber loss function with tuning parameter depending on the parameters of the problem, as well as the adaptive LASSO penalty for computational efficiency. For the resulting estimator we show sign-consistency and optimal rates of convergence in the $\ell_\infty$ norm as in the homoscedastic, light-tailed setting. In our analysis, we have to deal with the issue that the support of the target parameter in the linear mean regression model and its robustified version may differ substantially even for small values of the tuning parameter of the Huber loss function. Simulations illustrate the favorable numerical performance of the proposed methodology.


title: The Erd\H{o}s-Gy\'{a}rf\'{a}s function with respect to Gallai-colorings

abstract: For fixed $p$ and $q$, an edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ distinct colors. The function $f(n, p, q)$ is the minimum number of colors needed for $K_n$ to have a $(p, q)$-coloring. This function was introduced about 45 years ago, but was studied systematically by Erd\H{o}s and Gy\'{a}rf\'{a}s in 1997, and is now known as the Erd\H{o}s-Gy\'{a}rf\'{a}s function. In this paper, we study $f(n, p, q)$ with respect to Gallai-colorings, where a Gallai-coloring is an edge-coloring of $K_n$ without rainbow triangles. Combining the two concepts, we consider the function $g(n, p, q)$ that is the minimum number of colors needed for a Gallai-$(p, q)$-coloring of $K_n$. Using the anti-Ramsey number for $K_3$, we have that $g(n, p, q)$ is nontrivial only for $2\leq q\leq p-1$. We give a general lower bound for this function and we study how this function falls off from being equal to $n-1$ when $q=p-1$ and $p\geq 4$ to being $\Theta(\log n)$ when $q = 2$. In particular, for appropriate $p$ and $n$, we prove that $g=n-c$ when $q=p-c$ and $c\in \{1,2\}$, $g$ is at most a fractional power of $n$ when $q=\lfloor\sqrt{p-1}\rfloor$, and $g$ is logarithmic in $n$ when $2\leq q\leq \lfloor\log_2 (p-1)\rfloor+1$.


title: Discovery of a Fast Iron Low-ionization Outflow in the Early Evolution of the Nearby Tidal Disruption Event AT2019qiz

abstract: We report the results of ultraviolet (UV) and optical photometric and spectroscopic analysis of the tidal disruption event (TDE) AT2019qiz. Our follow-up observations started $<$10 days after the source began to brighten in the optical and lasted for a period of six months. Our late-time host-dominated spectrum indicates that the host galaxy likely harbors a weak active galactic nucleus. The initial {\it Hubble Space Telescope (HST)} spectrum of AT2019qiz exhibits an iron and low-ionization broad absorption line (FeLoBAL) system that is seen for the first time in a TDE. This spectrum also bears a striking resemblance to that of Gaia16apd, a superluminous supernova. Our observations provide insights into the outflow properties in TDEs and show evidence for a connection between TDEs and engine-powered supernovae at early phase, as originally suggested in Metzger & Stone (2016). In a time frame of 50 days, the UV spectra of AT2019qiz started to resemble previous TDEs with only high-ionization BALs. The change in UV spectral signatures is accompanied by a decrease in the outflow velocity, which began at $15,000$ km s$^{-1}$ and decelerated to $\sim10,000$ km s$^{-1}$. A similar evolution in the H$\alpha$ emission line width further supports the speculation that the broad Balmer emission lines are formed in TDE outflows. In addition, we detect narrow absorption features on top of the FeLoBAL signatures in the early HST UV spectrum of AT2019qiz. The measured HI column density corresponds to a Lyman-limit system whereas the metal absorption lines, such as NV, CIV, FeII, and MgII, are likely probing the circumnuclear gas and interstellar medium in the host galaxy.


title: Strongly correlated bistable sublattice and temperature hysteresis of elastic and thermal crystal properties

abstract: It is shown that in crystal lattices with a basis the cooperative behavior of a certain type of atoms performing optical long-wavelength vibrations in a double-well potential of the field of the matrix lattice may lead to the formation of a bistable sublattice. As a result of the interaction of the metastable states of such a sublattice with the vibrational states of the matrix lattice, the elastic and thermal properties of the crystal acquire anomalous, hysteresis-like, temperature curves. The concepts developed in the paper make it possible to obtain a qualitative interpretation, which agrees with the experimental data, of the hysteresis-like temperature dependence of the speed and absorption of ultrasonic waves, the specific heat, and the thermal conductivity in superconducting yttrium and bismuth cuprates.


title: First-Principles Design of Halide-Reduced Electrides: Magnetism and Topological Phases

abstract: We propose a design scheme for potential electrides derived from conventional materials. Starting with rare-earth-based ternary halides, we exclude halogens and perform global structure optimization to obtain thermodynamically stable or metastable phases but having an excess of electrons confined inside interstitial cavities. Then, spin-polarized interstitial states are induced by chemical substitution with magnetic lanthanides. To demonstrate the capability of our approach, we test with 11 ternary halides and successfully predict 30 stable and metastable phases of nonmagnetic electrides subject to 3 different stoichiometric categories, and successively 28 magnetic electrides via chemical substitution with Gd. 56 out of these 58 designed electrides are discovered for the first time. Two electride systems, the monoclinic $A$C ($A=$ La, Gd) and the orthorhombic $A_2$Ge ($A=$ Y, Gd), are thoroughly studied to exemplify the set of predicted crystals. Interestingly, both systems turn out to be topological nodal line electrides (TNLE) in the absence of spin-orbit coupling and manifest spin-polarized interstitial states in the case of $A=$ Gd. Our work establishes a novel computational approach of functional electrides design and highlights the magnetism and topological phases embedded in electrides.


title: Transforming Gaussian Processes With Normalizing Flows

abstract: Gaussian Processes (GPs) can be used as flexible, non-parametric function priors. Inspired by the growing body of work on Normalizing Flows, we enlarge this class of priors through a parametric invertible transformation that can be made input-dependent. Doing so also allows us to encode interpretable prior knowledge (e.g., boundedness constraints). We derive a variational approximation to the resulting Bayesian inference problem, which is as fast as stochastic variational GP regression (Hensman et al., 2013; Dezfouli and Bonilla,2015). This makes the model a computationally efficient alternative to other hierarchical extensions of GP priors (Lazaro-Gredilla,2012; Damianou and Lawrence, 2013). The resulting algorithm's computational and inferential performance is excellent, and we demonstrate this on a range of data sets. For example, even with only 5 inducing points and an input-dependent flow, our method is consistently competitive with a standard sparse GP fitted using 100 inducing points.


title: Thermal transport properties and some hydrodynamic-like behavior in 3D topological semimetal ZrTe5

abstract: Hydrodynamic fluidity in condensed matter physics has been experimentally demonstrated only in a limited number of compounds due to the stringent conditions that must be met. Herein, we performed thermal and electrical transport experiments in three-dimensional topological semimetal ZrTe5. By measuring the thermal properties in a wide temperature range, two representative experimental evidences of the hydrodynamics are observed in temperature window between the ballistic and diffusive regimes: a faster evolution of the thermal conductivity than in the ballistic regime and the non-monotonic temperature-dependent effective quasiparticle mean-free-path. In addition, magneto-thermal conductivity results indicate that charged quasiparticles, as well as phonons, may also play an important role in this hydrodynamic-like flow in ZrTe5.


title: On the growth of cuspidal cohomology of ${\rm GL}_4$

abstract: In this article, we establish an asymptotic estimate on the number of cuspidal automorphic representations of ${\rm GL}_4(\mathbb A_{\mathbb Q})$ which contribute to the cuspidal cohomology of ${\rm GL}_4$ and are obtained from symmetric cube transfer of automorphic representations of ${\rm GL}_2(\mathbb A_{\mathbb Q})$ of a given weight and with varying level structure. This generalises the recent work of C. Ambi [2020] about the similar problem for ${\rm GL}_3$.


title: Experiencers, Stimuli, or Targets: Which Semantic Roles Enable Machine Learning to Infer the Emotions?

abstract: Emotion recognition is predominantly formulated as text classification in which textual units are assigned to an emotion from a predefined inventory (e.g., fear, joy, anger, disgust, sadness, surprise, trust, anticipation). More recently, semantic role labeling approaches have been developed to extract structures from the text to answer questions like: "who is described to feel the emotion?" (experiencer), "what causes this emotion?" (stimulus), and at which entity is it directed?" (target). Though it has been shown that jointly modeling stimulus and emotion category prediction is beneficial for both subtasks, it remains unclear which of these semantic roles enables a classifier to infer the emotion. Is it the experiencer, because the identity of a person is biased towards a particular emotion (X is always happy)? Is it a particular target (everybody loves X) or a stimulus (doing X makes everybody sad)? We answer these questions by training emotion classification models on five available datasets annotated with at least one semantic role by masking the fillers of these roles in the text in a controlled manner and find that across multiple corpora, stimuli and targets carry emotion information, while the experiencer might be considered a confounder. Further, we analyze if informing the model about the position of the role improves the classification decision. Particularly on literature corpora we find that the role information improves the emotion classification.


title: Nonexistence of perfect permutation codes under the Kendall \tau-metric

abstract: In the rank modulation scheme for flash memories, permutation codes have been studied. In this paper, we study perfect permutation codes in $S_n$, the set of all permutations on $n$ elements, under the Kendall \tau-Metric. We answer one open problem proposed by Buzaglo and Etzion. That is, proving the nonexistence of perfect codes in $S_n$, under the Kendall \tau-metric, for more values of $n$. Specifically, we present the recursive formulas for the size of a ball with radius $r$ in $S_n$ under the Kendall \tau-metric. Further, We prove that there are no perfect $t$-error-correcting codes in $S_n$ under the Kendall $\tau$-metric for some $n$ and $t$=2,3,4,or 5.