title: H2NF-Net for Brain Tumor Segmentation using Multimodal MR Imaging: 2nd Place Solution to BraTS Challenge 2020 Segmentation Task

abstract: In this paper, we propose a Hybrid High-resolution and Non-local Feature Network (H2NF-Net) to segment brain tumor in multimodal MR images. Our H2NF-Net uses the single and cascaded HNF-Nets to segment different brain tumor sub-regions and combines the predictions together as the final segmentation. We trained and evaluated our model on the Multimodal Brain Tumor Segmentation Challenge (BraTS) 2020 dataset. The results on the test set show that the combination of the single and cascaded models achieved average Dice scores of 0.78751, 0.91290, and 0.85461, as well as Hausdorff distances ($95\%$) of 26.57525, 4.18426, and 4.97162 for the enhancing tumor, whole tumor, and tumor core, respectively. Our method won the second place in the BraTS 2020 challenge segmentation task out of nearly 80 participants.


title: Vanishing of Dirichlet L-functions at the central point over function fields

abstract: We give a geometric criterion for Dirichlet $L$-functions associated to cyclic characters over the rational function field $\mathbb{F}_q(t)$ to vanish at the central point $s=1/2$. The idea is based on the observation that vanishing at the central point can be interpreted as the existence of a map from the projective curve associated to the character to some abelian variety over $\mathbb{F}_q$. Using this geometric criterion, we obtain a lower bound on the number of cubic characters over $\mathbb{F}_q(t)$ whose $L$-functions vanish at the central point where $q=p^{4n}$ for any rational prime $p \equiv 2 \bmod 3$. We also use recent results about the existence of supersingular superelliptic curves to deduce consequences for the $L$-functions of Dirichlet characters of other orders.


title: Multi-Period Travelling Politician Problem: A Hybrid Metaheuristic Solution Method

abstract: This paper studies the Multi-period Travelling Politician Problem whose objective is to maximise the net benefit accrued by a party leader during a fixed campaign period. The problem is also characterised by flexible depots since the daily tours realised by the party leader may not start and end at the same city. A hybrid multi-start Iterated Local Search method complemented with a Variable Neighbourhood Descent is developed to solve the problem heuristically. Two constructive procedures are devised to generate initial feasible solutions. The proposed method is tested on 45 problem instances involving 81 cities and 12 towns in Turkey. Computational results show that the hybrid metaheuristic approach outperforms a recently proposed two-phase matheuristic by producing 7 optimal solutions and 17 new best solutions. In addition, interesting practical insights are provided using scenario analysis that could assist campaign planners in their strategic decisions.


title: Leveraging User Access Patterns and Advanced Cyberinfrastructure to Accelerate Data Delivery from Shared-use Scientific Observatories

abstract: With the growing number and increasing availability of shared-use instruments and observatories, observational data is becoming an essential part of application workflows and contributor to scientific discoveries in a range of disciplines. However, the corresponding growth in the number of users accessing these facilities coupled with the expansion in the scale and variety of the data, is making it challenging for these facilities to ensure their data can be accessed, integrated, and analyzed in a timely manner, and is resulting significant demands on their cyberinfrastructure (CI). In this paper, we present the design of a push-based data delivery framework that leverages emerging in-network capabilities, along with data pre-fetching techniques based on a hybrid data management model. Specifically, we analyze data access traces for two large-scale observatories, Ocean Observatories Initiative (OOI) and Geodetic Facility for the Advancement of Geoscience (GAGE), to identify typical user access patterns and to develop a model that can be used for data pre-fetching. Furthermore, we evaluate our data pre-fetching model and the proposed framework using a simulation of the Virtual Data Collaboratory (VDC) platform that provides in-network data staging and processing capabilities. The results demonstrate that the ability of the framework to significantly improve data delivery performance and reduce network traffic at the observatories' facilities.


title: Homology bounds for hyperbolic orbifolds

abstract: We will provide bounds on both the Betti numbers and the torsion part of the homology of hyperbolic orbifolds. These bounds are linear in the volume and are a direct consequence of an efficient simplicial model of the thick part, which we will construct as well. The homology statements complement previous work of Bader, Gelander and Sauer (torsion homology of manifolds), Samet (Betti numbers of orbifolds) and a classical theorem of Gromov (Betti numbers of manifolds). For arithmetic, non-compact hyperbolic orbifolds -- i.e. in the case of arithmetic, non-uniform lattices in $\operatorname{Isom}(\mathbb{H}^n)$ -- the strongest results will be obtained.


title: Dirac node engineering and flat bands in doped Dirac materials

abstract: We suggest the tried approach of impurity band engineering to produce flat bands and additional nodes in Dirac materials. We show that surface impurities give rise to nearly flat impurity bands close to the Dirac point. The hybridization of the Dirac nodal state induces the splitting of the surface Dirac nodes and the appearance of new nodes at high-symmetry points of the Brillouin zone. The results are robust and not model dependent: the tight-binding calculations are supported by a low-energy effective model of a topological insulator surface state hybridized with an impurity band. Finally, we address the effects of electron-electron interactions between localized electrons on the impurity site. We confirm that the correlation effects, while producing band hybridization and Kondo effect, keep the hybridized band flat. Our findings open up prospects for impurity band engineering of nodal structures and flat-band correlated phases in doped Dirac materials.


title: First-order conditions for the optimal control of the obstacle problem with state constraints

abstract: We consider an optimal control problem in which the state is governed by an unilateral obstacle problem (with obstacle from below) and restricted by a pointwise state constraint (from above). In the presence of control constraints, we prove, via regularization of the state constraints, that a system of C-stationarity is necessary for optimality. In the absence of control constraints, we show that local minimizers are even strongly stationary by a careful discussion of the primal first-order conditions of B-stationary type.


title: Elastoplasticity of gradient-polyconvex materials

abstract: We propose a model for rate-independent evolution in elastoplastic materials under external loading, which allows large strains. In the setting of strain-gradient plasticity with multiplicative decomposition of the deformation gradient, we prove the existence of the so-called energetic solution. The stored energy density function is assumed to depend on gradients of minors of the deformation gradient which makes our results applicable to shape-memory materials, for instance.


title: Galaxy number counts at second order in perturbation theory: a leading-order term comparison

abstract: The galaxy number density is a key quantity to compare theoretical predictions to the observational data from current and future Large Scale Structure surveys. The precision demanded by these Stage IV surveys requires the use of second order cosmological perturbation theory. Based on the independent calculation published previously, we present the result of the comparison with the results of three other groups at leading order. Overall we find that the differences between the different approaches lie mostly on the definition of certain quantities, where the ambiguity of signs results in the addition of extra terms at second order in perturbation theory.


title: Time-domain investigation of a cylindrical acoustic external cloak

abstract: Space folding techniques based on non-monotonic transforms lead to a new class of cylindrical isotropic acoustic cloaks with a constant negative density and a spatially varying negative bulk modulus. We consider an external cloak consisting of a core with a positive definite density matrix and a positive compressibility, and a shell with simultaneously negative density and compressibility. Such a core-shell resonant system creates a virtual folded region outside the shell. To handle such negative physical parameters in the time-domain, a two-step strategy is used: (i) assuming resonant (Drude-type) effective parameters in the frequency-domain; (ii) returning to the time-domain by applying the formalism of the auxiliary fields. We numerically show that, at the designed central frequency, scattering of a cylindrical pressure wave incident upon a finite set of small rigid obstacles is drastically reduced after a lapse of time, when they are placed in the close neighborhood of the external cloak. However, at short times, the external cloak behaves rather like a superscatterer: the cloak itself scatters more than the set of scatterers.

categories: physics.comp-ph cond-mat.mtrl-sci cs.NA math.NA


title: Direct measurement of key exciton properties: energy, dynamics and spatial distribution of the wave function

abstract: Excitons, Coulomb-bound electron-hole pairs, are the fundamental excitations governing the optoelectronic properties of semiconductors. While optical signatures of excitons have been studied extensively, experimental access to the excitonic wave function itself has been elusive. Using multidimensional photoemission spectroscopy, we present a momentum-, energy- and time-resolved perspective on excitons in the layered semiconductor WSe$_2$. By tuning the excitation wavelength, we determine the energy-momentum signature of bright exciton formation and its difference from conventional single-particle excited states. The multidimensional data allows to retrieve fundamental exciton properties like the binding energy and the exciton-lattice coupling and to reconstruct the real-space excitonic distribution function via Fourier transform. All quantities are in excellent agreement with microscopic calculations. Our approach provides a full characterization of the exciton properties and is applicable to bright and dark excitons in semiconducting materials, heterostructures and devices.


title: Generating Landmark Navigation Instructions from Maps as a Graph-to-Text Problem

abstract: Car-focused navigation services are based on turns and distances of named streets, whereas navigation instructions naturally used by humans are centered around physical objects called landmarks. We present a neural model that takes OpenStreetMap representations as input and learns to generate navigation instructions that contain visible and salient landmarks from human natural language instructions. Routes on the map are encoded in a location- and rotation-invariant graph representation that is decoded into natural language instructions. Our work is based on a novel dataset of 7,672 crowd-sourced instances that have been verified by human navigation in Street View. Our evaluation shows that the navigation instructions generated by our system have similar properties as human-generated instructions, and lead to successful human navigation in Street View.


title: Sequential Deep Learning for Credit Risk Monitoring with Tabular Financial Data

abstract: Machine learning plays an essential role in preventing financial losses in the banking industry. Perhaps the most pertinent prediction task that can result in billions of dollars in losses each year is the assessment of credit risk (i.e., the risk of default on debt). Today, much of the gains from machine learning to predict credit risk are driven by gradient boosted decision tree models. However, these gains begin to plateau without the addition of expensive new data sources or highly engineered features. In this paper, we present our attempts to create a novel approach to assessing credit risk using deep learning that does not rely on new model inputs. We propose a new credit card transaction sampling technique to use with deep recurrent and causal convolution-based neural networks that exploits long historical sequences of financial data without costly resource requirements. We show that our sequential deep learning approach using a temporal convolutional network outperformed the benchmark non-sequential tree-based model, achieving significant financial savings and earlier detection of credit risk. We also demonstrate the potential for our approach to be used in a production environment, where our sampling technique allows for sequences to be stored efficiently in memory and used for fast online learning and inference.


title: Quantum nonlocality in extended theories of gravity

abstract: We investigate how pure-state Einstein-Podolsky-Rosen correlations in the internal degrees of freedom of massive particles are affected by a curved spacetime background described by extended theories of gravity. We consider models for which the corrections to the Einstein-Hilbert action are quadratic in the curvature invariants and we focus on the weak-field limit. We quantify nonlocal quantum correlations by means of the violation of the Clauser-Horne-Shimony-Holt inequality, and show how a curved background suppresses the violation by a leading term due to general relativity and a further contribution due to the corrections to Einstein gravity. Our results can be generalized to massless particles such as photon pairs and can thus be suitably exploited to devise precise experimental tests of extended models of gravity.


title: Corrected CBOW Performs as well as Skip-gram

abstract: Mikolov et al. (2013a) observed that continuous bag-of-words (CBOW) word embeddings tend to underperform Skip-gram (SG) embeddings, and this finding has been reported in subsequent works. We find that these observations are driven not by fundamental differences in their training objectives, but more likely on faulty negative sampling CBOW implementations in popular libraries such as the official implementation, word2vec.c, and Gensim. We show that after correcting a bug in the CBOW gradient update, one can learn CBOW word embeddings that are fully competitive with SG on various intrinsic and extrinsic tasks, while being many times faster to train.


title: Woods-Saxon-type of mean-field potentials with effective mass derived from the D1S Gogny force

abstract: Analytic average mean-field potentials of the Fermi-function (Woods-Saxon) type for the whole nuclear chart with space-dependent effective mass are deduced from the D1S Gogny force. Those ready-for-use potentials are advertised as an alternative to other existing phenomenological mean-field potentials.


title: Prime representations in the Hernandez-Leclerc category: classical decompositions

abstract: We use the dual functional realization of loop algebras to study the prime irreducible objects in the Hernandez-Leclerc category for the quantum affine algebra associated to $\mathfrak{sl}_{n+1}$. When the HL category is realized as a monoidal categorification of a cluster algebra \cite{HL10,HL13}, these representations correspond precisely to the cluster variables and the frozen variables are minimal affinizations. For any height function, we determine the classical decomposition of these representations with respect to the Hopf subalgebra $\mathbf{U}_q(\mathfrak{sl}_{n+1})$ and describe the graded multiplicities of their graded limits in terms of lattice points of convex polytopes. Combined with \cite{BCMo15} we obtain the graded decomposition of stable prime Demazure modules in level two integrable highest weight representations of the corresponding affine Lie algebra.


title: Polar In-Plane Surface Orientation of a Ferroelectric Nematic Liquid Crystal: Polar Monodomains and Twisted State Electro-Optics

abstract: We show that surface interactions can vectorially structure the three-dimensional polariza-tion field of a ferroelectric fluid. The contact between a ferroelectric nematic liquid crystal and a surface with in-plane polarity generates a preferred in-plane orientation of the polarization field at that interface. This is a route to the formation of fluid or glassy monodomains of high polarization without the need for electric field poling. For example, unidirectional buffing of polyimide films on planar surfaces to give quadrupolar in-plane anisotropy also induces mac-roscopic in-plane polar order at the surfaces, enabling the formation of a variety of azimuthal polar director structures in the cell interior, including uniform and twisted states. In a {\pi}-twist cell, obtained with antiparallel, unidirectional buffing on opposing surfaces, we demonstrate three distinct modes of ferroelectric nematic electro-optic response: intrinsic, viscosity-limited, field-induced molecular reorientation; field-induced motion of domain walls separating twist-ed states of opposite chirality; and propagation of polarization reorientation solitons from the cell plates to the cell center upon field reversal. Chirally doped ferroelectric nematics in anti-parallel-rubbed cells produce Grandjean textures of helical twist that can be unwound via field-induced polar surface reorientation transitions. Fields required are in the 3 V/mm range, indicating an in-plane polar anchoring energy of wP ~ 3x10-3 J/m2.


title: The Li-F-H Ternary System at High Pressures

abstract: Evolutionary crystal structure prediction searches have been employed to explore the ternary Li-F-H system at 300 GPa. Metastable phases were uncovered within the static lattice approximation, with LiF$_3$H$_2$, LiF$_2$H, Li$_3$F$_4$H, LiF$_4$H$_4$, Li$_2$F$_3$H and LiF$_3$H lying within 50 meV/atom of the 0 K convex hull. All of these phases contain H$_n$F$_{n+1}^-$ ($n$ = 1; 2) anions, and Li$^+$ cations. Other structural motifs such as LiF slabs, H$_3^+$ molecules, and F$^{\delta -}$ ions are present in some of the low enthalpy Li-F-H structures. The bonding within the H$_n$F$_{n+1}^-$ molecules, which may be bent or linear, symmetric or asymmetric, is analyzed. The five phases closest to the hull are insulators, while LiF$_3$H is metallic and predicted to have a vanishingly small superconducting critical temperature. This study lays the foundation for future investigations of the role of temperature and anharmonicity on the stability and properties of compounds and alloys in the Li-F-H ternary system.


title: True Dynamical and Gauge Structures of the QCD Ground State and the Singular Gluon Fileds

abstract: We convincingly argue that the true dynamical and gauge structure of the QCD ground state is much more complicated than its Lagrangian exact gauge symmetry supposes to be. The dynamical source of these complications has been identified with the tadpole/seagull term, which renormalized version called, the mass gap. Its true dynamical role is hidden in the QCD ground state, but it is explicitly present in the full gluon self-energy. To disclose it the splintering between the transverse conditions for the full gluon self-energy and its subtracted counterpart has been derived. The equation of motion for the full gluon propagator on account of the mass gap was given, which allows to fix the dynamical and gauge structures by a newly-introduced generalized gauge. A novel non-perturbative analytical method, the mass gap approach was developed for QCD and its groud state as well. We have discovered a general, non-perturbative singular solution for the full gluon propagator valid in the whole gluon momentum range, while dominating at large distances over all the other possible solutions. It accommodates all the severe infrared singularities, which may appear in the QCD ground state due to the self-interaction of massless gluon modes. A corresponding non-pertubative multiplicative infrared renormalization program has been formulated. The resulting full gluon propagator prevents gluons to appear at large distances as physical states (confinement of color gluons). Our approach also explains the scale violation in the asymptotic freedom regime, and why the rising potential between heavy quarks is only linear one.


title: On the differentiability of solutions to singularly perturbed SPDEs

abstract: We consider semilinear stochastic evolution equations on Hilbert spaces with multiplicative Wiener noise and linear drift term of the type $A + \varepsilon G$, with $A$ and $G$ maximal monotone operators and $\varepsilon$ a "small" parameter, and study the differentiability of mild solutions with respect to $\varepsilon$. The operator $G$ can be a singular perturbation of $A$, in the sense that its domain can be strictly contained in the domain of $A$.


title: Fast covariance parameter estimation of spatial Gaussian process models using neural networks

abstract: Gaussian processes (GPs) are a popular model for spatially referenced data and allow descriptive statements, predictions at new locations, and simulation of new fields. Often a few parameters are sufficient to parameterize the covariance function, and maximum likelihood (ML) methods can be used to estimate these parameters from data. ML methods, however, are computationally demanding. For example, in the case of local likelihood estimation, even fitting covariance models on modest size windows can overwhelm typical computational resources for data analysis. This limitation motivates the idea of using neural network (NN) methods to approximate ML estimates. We train NNs to take moderate size spatial fields or variograms as input and return the range and noise-to-signal covariance parameters. Once trained, the NNs provide estimates with a similar accuracy compared to ML estimation and at a speedup by a factor of 100 or more. Although we focus on a specific covariance estimation problem motivated by a climate science application, this work can be easily extended to other, more complex, spatial problems and provides a proof-of-concept for this use of machine learning in computational statistics.


title: Deep Learning Blazar Classification based on Multi-frequency Spectral Energy Distribution Data

abstract: Blazars are among the most studied sources in high-energy astrophysics as they form the largest fraction of extragalactic gamma-ray sources and are considered prime candidates for being the counterparts of high-energy astrophysical neutrinos. Their reliable identification amid the many faint radio sources is a crucial step for multi-messenger counterpart associations. As the astronomical community prepares for the coming of a number of new facilities able to survey the non-thermal sky at unprecedented depths, from radio to gamma-rays, machine learning techniques for fast and reliable source identification are ever more relevant. The purpose of this work was to develop a deep learning architecture to identify blazar within a population of AGN based solely on non-contemporaneous spectral energy distribution information, collected from publicly available multi-frequency catalogues. This study uses an unprecedented amount of data, with SEDs for $\approx 14,000$ sources collected with the Open Universe VOU-Blazars tool. It uses a convolutional long-short term memory neural network purposefully built for the problem of SED classification, which we describe in detail and validate. The network was able to distinguish blazars from other types of AGNs to a satisfying degree (achieving a ROC area under curve of $0.98$), even when trained on a reduced subset of the whole sample. This initial study does not attempt to classify blazars among their different sub-classes, or quantify the likelihood of any multi-frequency or multi-messenger association, but is presented as a step towards these more practically-oriented applications.


title: Connecting complex networks to nonadditive entropies

abstract: Boltzmann-Gibbs statistical mechanics applies satisfactorily to a plethora of systems. It fails however for complex systems generically involving strong space-time entanglement. Its generalization based on nonadditive $q$-entropies adequately handles a wide class of such systems. We show here that scale-invariant networks belong to this class. We numerically study a $d$-dimensional geographically located network with weighted links and exhibit its 'energy' distribution per site at its quasi-stationary state. Our results strongly suggest a correspondence between the random geometric problem and a class of thermal problems within the generalised thermostatistics. The Boltzmann-Gibbs exponential factor is generically substituted by its $q$-generalisation, and is recovered in the $q=1$ limit when the nonlocal effects fade away. The present connection should cross-fertilise experiments in both research areas.


title: ConfigFix: Interactive Configuration Conflict Resolution for the Linux Kernel

abstract: Highly configurable systems are highly complex systems, with the Linux kernel arguably being one of the most well-known ones. Since 2007, it has been a frequent target of the research community, conducting empirical studies and building dedicated methods and tools for analyzing, configuring, testing, optimizing, and maintaining the kernel in the light of its vast configuration space. However, despite a large body of work, mainly bug fixes that were the result of such research made it back into the kernel's source tree. Unfortunately, Linux users still struggle with kernel configuration and resolving configuration conflicts, since the kernel largely lacks automated support. Additionally, there are technical and community requirements for supporting automated conflict resolution in the kernel, such as, for example, using a pure C-based solution that uses only compatible third-party libraries (if any). With the aim of contributing back to the Linux community, we present CONFIGFIX, a tooling that we integrated with the kernel configurator, that is purely implemented in C, and that is finally a working solution able to produce fixes for configuration conflicts. In this experience report, we describe our experiences ranging over a decade of building upon the large body of work from research on the Linux kernel configuration mechanisms as well as how we designed and realized CONFIGFIX while adhering to the Linux kernel's community requirements and standards. While CONFIGFIX helps Linux kernel users obtaining their desired configuration, the sound semantic abstraction we implement provides the basis for many of the above techniques supporting kernel configuration, helping researchers and kernel developers.


title: Active Annotation of Informative Overlapping Frames in Video Mosaicking Applications

abstract: Video mosaicking requires the registration of overlapping frames located at distant timepoints in the sequence to ensure global consistency of the reconstructed scene. However, fully automated registration of such long-range pairs is (i) challenging when the registration of images itself is difficult; and (ii) computationally expensive for long sequences due to the large number of candidate pairs for registration. In this paper, we introduce an efficient framework for the active annotation of long-range pairwise correspondences in a sequence. Our framework suggests pairs of images that are sought to be informative to an oracle agent (e.g., a human user, or a reliable matching algorithm) who provides visual correspondences on each suggested pair. Informative pairs are retrieved according to an iterative strategy based on a principled annotation reward coupled with two complementary and online adaptable models of frame overlap. In addition to the efficient construction of a mosaic, our framework provides, as a by-product, ground truth landmark correspondences which can be used for evaluation or learning purposes. We evaluate our approach in both automated and interactive scenarios via experiments on synthetic sequences, on a publicly available dataset for aerial imaging and on a clinical dataset for placenta mosaicking during fetal surgery.


title: Instability of double-periodic waves in the nonlinear Schrodinger equation

abstract: It is shown how to compute the instability rates for the double-periodic solutions to the cubic NLS (nonlinear Schrodinger) equation by using the Lax linear equations. The wave function modulus of the double-periodic solutions is periodic both in space and time coordinates; such solutions generalize the standing waves which have the time-independent and space-periodic wave function modulus. Similar to other waves in the NLS equation, the double-periodic solutions are spectrally unstable and this instability is related to the bands of the Lax spectrum outside the imaginary axis. A simple numerical method is used to compute the unstable spectrum and to compare the instability rates of the double-periodic solutions with those of the standing periodic waves.

categories: nlin.SI math-ph math.AP math.DS math.MP nlin.PS


title: Local spin ice order induced planar Hall effect in Nd-Sn artificial honeycomb lattice

abstract: Geometrically frustrated materials, such as spin ice or kagome lattice, are known to exhibit exotic Hall effect phenomena due to spin chirality. We explore Hall effect mechanism in an artificial honeycomb spin ice of Nd--Sn element using Hall probe and polarized neutron reflectivity measurements. In an interesting observation, a strong enhancement in Hall signal at relatively higher temperature of $T$ $\sim$ 20 K is detected. The effect is attributed to the planar Hall effect due to magnetic moment configuration in spin ice state in low field application. In the antiferromagnetic state of neodymium at low temperature, applied field induced coupling between atomic Nd moments and conduction electrons in underlying lattice causes distinct increment in Hall resistivity at very modest field of $H$ $\sim$ 0.015 T. The experimental findings suggest the development of a new research vista to study the planar and the field induced Hall effects in artificial spin ice.


title: On the stability of topological order in tensor network states

abstract: We construct a tensor network representation of the 3d toric code ground state that is stable to a generating set of uniform local tensor perturbations, including those that do not map to local operators on the physical Hilbert space. The stability is established by mapping the phase diagram of the perturbed tensor network to that of the 3d Ising gauge theory, which has a non-zero finite temperature transition. More generally, we find that the stability of a topological tensor network state is determined by the form of its virtual symmetries and the topological excitations created by virtual operators that break those symmetries. In particular, a dual representation of the 3d toric code ground state, as well as representations of the X-cube and cubic code ground states, for which point-like excitations are created by such operators, are found to be unstable.


title: Satisfiability problems on sums of Kripke frames

abstract: We consider the operation of sum on Kripke frames, where a family of frames-summands is indexed by elements of another frame. In many cases, the modal logic of sums inherits the finite model property and decidability from the modal logic of summands. In this paper we show that, under a general condition, the satisfiability problem on sums is polynomial space Turing reducible to the satisfiability problem on summands. In particular, for many modal logics decidability in PSPACE is an immediate corollary from the semantic characterization of the logic.


title: Temperature dependent moir\'e trapping of interlayer excitons in MoSe2-WSe2 heterostructures

abstract: MoSe2-WSe2 heterostructures host strongly bound interlayer excitons (IXs) which exhibit bright photoluminescence (PL) when the twist-angle is near 0{\deg} or 60{\deg}. Over the past several years, there have been numerous reports on the optical response of these heterostructures but no unifying model to understand the dynamics of IXs and their temperature dependence. Here, we perform a comprehensive study of the temperature, excitation power, and time-dependent PL of IXs. We observe a significant decrease in PL intensity above a transition temperature that we attribute to a transition from localized to delocalized IXs. Astoundingly, we find a simple inverse relationship between the IX PL energy and the transition temperature, which exhibits opposite power dependent behaviors for near 0{\deg} and 60{\deg} samples. We conclude that this temperature dependence is a result of IX-IX exchange interactions, whose effect is suppressed by the moir\'e potential trapping IXs at low temperature.


title: DynaSent: A Dynamic Benchmark for Sentiment Analysis

abstract: We introduce DynaSent ('Dynamic Sentiment'), a new English-language benchmark task for ternary (positive/negative/neutral) sentiment analysis. DynaSent combines naturally occurring sentences with sentences created using the open-source Dynabench Platform, which facilities human-and-model-in-the-loop dataset creation. DynaSent has a total of 121,634 sentences, each validated by five crowdworkers, and its development and test splits are designed to produce chance performance for even the best models we have been able to develop; when future models solve this task, we will use them to create DynaSent version 2, continuing the dynamic evolution of this benchmark. Here, we report on the dataset creation effort, focusing on the steps we took to increase quality and reduce artifacts. We also present evidence that DynaSent's Neutral category is more coherent than the comparable category in other benchmarks, and we motivate training models from scratch for each round over successive fine-tuning.


title: High Current Density in Monolayer MoS$_2$ Doped by AlO$_x$

abstract: Semiconductors require stable doping for applications in transistors, optoelectronics, and thermoelectrics. However, this has been challenging for two-dimensional (2D) materials, where existing approaches are either incompatible with conventional semiconductor processing or introduce time-dependent, hysteretic behavior. Here we show that low temperature (< 200$^\circ$ C) sub-stoichiometric AlO$_x$ provides a stable n-doping layer for monolayer MoS$_2$, compatible with circuit integration. This approach achieves carrier densities > 2x10$^{13}$ 1/cm$^2$, sheet resistance as low as ~7 kOhm/sq, and good contact resistance ~480 Ohm.um in transistors from monolayer MoS$_2$ grown by chemical vapor deposition. We also reach record current density of nearly 700 uA/um (>110 MA/cm$^2$) in this three-atom-thick semiconductor while preserving transistor on/off current ratio > $10^6$. The maximum current is ultimately limited by self-heating and could exceed 1 mA/um with better device heat sinking. With their 0.1 nA/um off-current, such doped MoS$_2$ devices approach several low-power transistor metrics required by the international technology roadmap


title: A Decentralized Dynamic PKI based on Blockchain

abstract: The central role of the certificate authority (CA) in traditional public key infrastructure (PKI) makes it fragile and prone to compromises and operational failures. Maintaining CAs and revocation lists is demanding especially in loosely-connected and large systems. Log-based PKIs have been proposed as a remedy but they do not solve the problem effectively. We provide a general model and a solution for decentralized and dynamic PKI based on a blockchain and web of trust model where the traditional CA and digital certificates are removed and instead, everything is registered on the blockchain. Registration, revocation, and update of public keys are based on a consensus mechanism between a certain number of entities that are already part of the system. Any node which is part of the system can be an auditor and initiate the revocation procedure once it finds out malicious activities. Revocation lists are no longer required as any node can efficiently verify the public keys through witnesses.


title: 4d higgsed network calculus and elliptic DIM algebra

abstract: Supersymmetric gauge theories of certain class possess a large hidden nonperturbative symmetry described by the Ding-Iohara-Miki (DIM) algebra which can be used to compute their partition functions and correlators very efficiently. We lift the DIM-algebraic approach developed to study holomorphic blocks of 3d linear quiver gauge theories one dimension higher. We employ an algebraic construction in which the underlying trigonometric DIM algebra is elliptically deformed, and an alternative geometric approach motivated by topological string theory. We demonstrate the equivalence of these two methods, and motivated by this, prove that elliptic DIM algebra is isomorphic to the direct sum of a trigonometric DIM algebra and an additional Heisenberg algebra.


title: Deriving Contextualised Semantic Features from BERT (and Other Transformer Model) Embeddings

abstract: Models based on the transformer architecture, such as BERT, have marked a crucial step forward in the field of Natural Language Processing. Importantly, they allow the creation of word embeddings that capture important semantic information about words in context. However, as single entities, these embeddings are difficult to interpret and the models used to create them have been described as opaque. Binder and colleagues proposed an intuitive embedding space where each dimension is based on one of 65 core semantic features. Unfortunately, the space only exists for a small dataset of 535 words, limiting its uses. Previous work (Utsumi, 2018, 2020, Turton, Vinson & Smith, 2020) has shown that Binder features can be derived from static embeddings and successfully extrapolated to a large new vocabulary. Taking the next step, this paper demonstrates that Binder features can be derived from the BERT embedding space. This provides contextualised Binder embeddings, which can aid in understanding semantic differences between words in context. It additionally provides insights into how semantic features are represented across the different layers of the BERT model.


title: Testing Models of Periodically Modulated FRB Activity

abstract: The activity of the repeating FRB 20180916B is periodically modulated with a period of 16.3 days, and FRB 121102 may be similarly modulated with a period of about 160 days. In some models of this modulation the period derivative is insensitive to the uncertain parameters; these models can be tested by measurement of or bounds on the derivative. In other models values of the uncertain parameters can be constrained. Periodic modulation of aperiodic bursting activity may result from emission by a narrow beam wandering within a cone or funnel along the axis of a precessing disc, such as the accretion discs in X-ray binaries. The production of FRB 200428 by a neutron star that is neither accreting nor in a binary then shows universality: coherent emission may occur in a wide range of environments.


title: Optimizing Deeper Transformers on Small Datasets

abstract: It is a common belief that training deep transformers from scratch requires large datasets. Consequently, for small datasets, people usually use shallow and simple additional layers on top of pre-trained models during fine-tuning. This work shows that this does not always need to be the case: with proper initialization and optimization, the benefits of very deep transformers can carry over to challenging tasks with small datasets, including Text-to-SQL semantic parsing and logical reading comprehension. In particular, we successfully train $48$ layers of transformers, comprising $24$ fine-tuned layers from pre-trained RoBERTa and $24$ relation-aware layers trained from scratch. With fewer training steps and no task-specific pre-training, we obtain the state-of-the-art performance on the challenging cross-domain Text-to-SQL parsing benchmark Spider. We achieve this by deriving a novel Data-dependent Transformer Fixed-update initialization scheme (DT-Fixup), inspired by the prior T-Fixup work. Further error analysis shows that increasing depth can help improve generalization on small datasets for hard cases that require reasoning and structural understanding.


title: The maximum sum of sizes of cross-intersecting families of subsets of a set

abstract: A set of sets is called a family. Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-intersecting if each member of $\mathcal{A}$ intersects each member of $\mathcal{B}$. For any two integers $n$ and $k$ with $1 \leq k \leq n$, let ${[n] \choose \leq k}$ denote the family of subsets of $[n] = \{1, \dots, n\}$ that have at most $k$ elements. We show that if $\mathcal{A}$ is a non-empty subfamily of ${[n] \choose \leq r}$, $\mathcal{B}$ is a non-empty subfamily of ${[n] \choose \leq s}$, $r \leq s$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting, then \[|\mathcal{A}| + |\mathcal{B}| \leq 1 + \sum_{i=1}^s \left({n \choose i} - {n-r \choose i} \right),\] and equality holds if $\mathcal{A} = \{[r]\}$ and $\mathcal{B}$ is the family of sets in ${[n] \choose \leq s}$ that intersect $[r]$.


title: $r$-fat linearized polynomials over finite fields

abstract: In this paper we prove that the property of being scattered for a $\mathbb{F}_q$-linearized polynomial of small $q$-degree over a finite field $\mathbb{F}_{q^n}$ is unstable, in the sense that, whenever the corresponding linear set has at least one point of weight larger than one, the polynomial is far from being scattered. To this aim, we define and investigate $r$-fat polynomials, a natural generalization of scattered polynomials. An $r$-fat $\mathbb{F}_q$-linearized polynomial defines a linear set of rank $n$ in the projective line of order $q^n$ with $r$ points of weight larger than one. When $r$ equals $1$, the corresponding linear sets are called clubs, and they are related with a number of remarkable mathematical objects like KM-arcs, group divisible designs and rank metric codes. Using techniques on algebraic curves and global function fields, we obtain numerical bounds for $r$ and the non-existence of exceptional $r$-fat polynomials with $r>0$. In the case $n\leq 4$, we completely determine the spectrum of values of $r$ for which an $r$-fat polynomial exists. In the case $n=5$, we provide a new family of $1$-fat polynomials. Furthermore, we determine the values of $r$ for which the so-called LP-polynomials are $r$-fat.


title: A Review into Data Science and Its Approaches in Mechanical Engineering

abstract: Nowadays it is inevitable to use intelligent systems to improve the performance and optimization of different components of devices or factories. Furthermore, it's so essential to have appropriate predictions to make better decisions in businesses, medical studies, and engineering studies, etc. One of the newest and most widely used of these methods is a field called Data Science that all of the scientists, engineers, and factories need to learn and use in their careers. This article briefly introduced data science and reviewed its methods, especially it's usages in mechanical engineering and challenges and ways of developing data science in mechanical engineering. In the introduction, different definitions of data science and its background in technology reviewed. In the following, data science methodology which is the process that a data scientist needs to do in its works been discussed. Further, some researches in the mechanical engineering area that used data science methods in their studies, are reviewed. Eventually, it has been discussed according to the subjects that have been reviewed in the article, why it is necessary to use data science in mechanical engineering researches and projects.


title: Knowledge Distillation with Adaptive Asymmetric Label Sharpening for Semi-supervised Fracture Detection in Chest X-rays

abstract: Exploiting available medical records to train high performance computer-aided diagnosis (CAD) models via the semi-supervised learning (SSL) setting is emerging to tackle the prohibitively high labor costs involved in large-scale medical image annotations. Despite the extensive attentions received on SSL, previous methods failed to 1) account for the low disease prevalence in medical records and 2) utilize the image-level diagnosis indicated from the medical records. Both issues are unique to SSL for CAD models. In this work, we propose a new knowledge distillation method that effectively exploits large-scale image-level labels extracted from the medical records, augmented with limited expert annotated region-level labels, to train a rib and clavicle fracture CAD model for chest X-ray (CXR). Our method leverages the teacher-student model paradigm and features a novel adaptive asymmetric label sharpening (AALS) algorithm to address the label imbalance problem that specially exists in medical domain. Our approach is extensively evaluated on all CXR (N = 65,845) from the trauma registry of anonymous hospital over a period of 9 years (2008-2016), on the most common rib and clavicle fractures. The experiment results demonstrate that our method achieves the state-of-the-art fracture detection performance, i.e., an area under receiver operating characteristic curve (AUROC) of 0.9318 and a free-response receiver operating characteristic (FROC) score of 0.8914 on the rib fractures, significantly outperforming previous approaches by an AUROC gap of 1.63% and an FROC improvement by 3.74%. Consistent performance gains are also observed for clavicle fracture detection.


title: Exceptional points and scattering of discrete mechanical metamaterials

abstract: Exceptional points (EPs) are complex singularities of parametric linear operators where two or more eigenvalues and eigenvectors coalesce. EPs are attracting increasing interest in mechanical metamaterials due to their strong potentials for wave filtering, cloaking, and sensing applications. This work studies the band topology and scattering behaviors near EPs, using discrete models of metamaterial (MM) systems. The questions of existence of EPs and their physical manifestations will be addressed with particular focus on symmetry considerations and scattering behavior. Discrete mass-spring models with adjustable parameters are used here to elucidate the EP-related phenomena in a fundamental form. The transfer and scattering matrices are analyzed to provide practical insights on the restrictions associated with reciprocity and fundamental symmetries. By including complex stiffness in frequency domain as a representation of non-conservative mechanical loss or gain, the MM arrays can be tuned to achieve bi-directional transparency or one-way reflection when operating at the EPs. This analytical study will contribute to the understandings of EPs in mechanical context and the design of micro-structured media for novel applications.


title: Frank-Wolfe Methods with an Unbounded Feasible Region and Applications to Structured Learning

abstract: The Frank-Wolfe (FW) method is a popular algorithm for solving large-scale convex optimization problems appearing in structured statistical learning. However, the traditional Frank-Wolfe method can only be applied when the feasible region is bounded, which limits its applicability in practice. Motivated by two applications in statistical learning, the $\ell_1$ trend filtering problem and matrix optimization problems with generalized nuclear norm constraints, we study a family of convex optimization problems where the unbounded feasible region is the direct sum of an unbounded linear subspace and a bounded constraint set. We propose two new Frank-Wolfe methods: unbounded Frank-Wolfe method (uFW) and unbounded Away-Step Frank-Wolfe method (uAFW), for solving a family of convex optimization problems with this class of unbounded feasible regions. We show that under proper regularity conditions, the unbounded Frank-Wolfe method has a $O(1/k)$ sublinear convergence rate, and unbounded Away-Step Frank-Wolfe method has a linear convergence rate, matching the best-known results for the Frank-Wolfe method when the feasible region is bounded. Furthermore, computational experiments indicate that our proposed methods appear to outperform alternative solvers.


title: Two-stage SQUID amplifier with bias current re-use

abstract: We have designed and fabricated an integrated two-stage SQUID amplifier, requiring only one bias line and one flux setpoint line. From the biasing viewpoint the two stages are connected in series while from the signal propagation viewpoint the stages are cascaded. A proof-of principle demonstration at T = 4.2 K is presented.


title: Plasma physics in strong-field regimes: theories and simulations

abstract: In strong electromagnetic fields, unique plasma phenomena and applications emerge, whose description requires recently developed theories and simulations [Y. Shi, Ph.D. thesis, Princeton University (2018)]. In the classical regime, to quantify effects of strong magnetic fields on three-wave interactions, a convenient formula is derived by solving the fluid model to the second order in general geometry. As an application, magnetic resonances are exploited to mediate laser pulse compression, using which higher intensity pulses can be produced in wider frequency ranges, as confirmed by particle-in-cell simulations. In even stronger fields, relativistic-quantum effects become important, and a plasma model based on scalar quantum electrodynamics (QED) is developed, which unveils observable corrections to Faraday rotation and cyclotron absorption in strongly magnetized plasmas. Beyond the perturbative regime, lattice QED is extended as a numerical tool for plasma physics, using which the transition from wakefield acceleration to electron-positron pair production is captured when laser intensity exceeds the Schwinger threshold.


title: Lifting spectral triples to noncommutative principal bundles

abstract: Given a free action of a compact Lie group $G$ on a unital C*-algebra $\mathcal{A}$ and a spectral triple on the corresponding fixed point algebra $\mathcal{A}^G$, we present a systematic and in-depth construction of a spectral triple on $\mathcal{A}$ that is build upon the geometry of $\mathcal{A}^G$ and $G$. We compare our construction with a selection of established examples.


title: Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking

abstract: We present a case study on using program verification tools, specifically model-checkers for C programs, to solve simple interactive fiction games from around 1980. Off-the-shelf model-checking tools are unable to handle the games in their original form. In order to work around this, we apply a series of program transformations that do not change the behaviour of the program. An interesting aspect of these games is that they use a simple, interpreted language to script in-game events. This turns out to be the most difficult part of the program for verification tools to handle; we tackle this using partial evaluation. Our case study thus provides some insights that are applicable more generally to verification and analysis of programs that interpret scripting languages. To the best of our knowledge, this is the first example of a commercially released game being solved by application of a program model-checker to the game's code.


title: Skein recursion for holomorphic curves and invariants of the unknot

abstract: We determine the skein-valued Gromov-Witten partition function for a single toric Lagrangian brane in $\mathbb{C}^3$ or the resolved conifold. We first show geometrically they must satisfy a certain skein-theoretic recursion, and then solve this equation. The recursion is a skein-valued quantization of the equation of the mirror curve. The solution is the expected hook-content formula.


title: Assessing the Sensitivity of Synthetic Control Treatment Effect Estimates to Misspecification Error

abstract: We propose a sensitivity analysis for Synthetic Control (SC) treatment effect estimates to interrogate the assumption that the SC method is well-specified, namely that choosing weights to minimize pre-treatment prediction error yields accurate predictions of counterfactual post-treatment outcomes. Our data-driven procedure recovers the set of treatment effects consistent with the assumption that the misspecification error incurred by the SC method is at most the observable misspecification error incurred when using the SC estimator to predict the outcomes of some control unit. We show that under one definition of misspecification error, our procedure provides a simple, geometric motivation for comparing the estimated treatment effect to the distribution of placebo residuals to assess estimate credibility. When we apply our procedure to several canonical studies that report SC estimates, we broadly confirm the conclusions drawn by the source papers.


title: More crime in cities? On the scaling laws of crime and the inadequacy of per capita rankings -- a cross-country study

abstract: Crime rates per capita are used virtually everywhere to rank and compare cities. However, their usage relies on a strong linear assumption that crime increases at the same pace as the number of people in a region. In this paper, we demonstrate that using per capita rates to rank cities can produce substantially different rankings from rankings adjusted for population size. We analyze the population-crime relationship in cities across 12 countries and assess the impact of per capita measurements on crime analyses, depending on the type of offense. In most countries, we find that theft increases superlinearly with population size, whereas burglary increases linearly. Our results reveal that per capita rankings can differ from population-adjusted rankings such that they disagree in approximately half of the top 10 most dangerous cities in the data analysed here. Hence, we advise caution when using crime rates per capita to rank cities and recommend evaluating the linear plausibility before doing so.


title: The ambient classifying space of a classical knot group

abstract: For a prime knot group, the classifying space for the family of the subgroups generated by the meridians can be seen as an abstract analogue of the ambient manifold in which the knot lives. An explicit model of this ambient classifying space is constructed as a branched covering space of the 3-sphere branched over the knot; more general branched covering spaces, obtained quotienting the ambient classifying space by finite-index normal subgroups, are studied. Various homological properties of said spaces are established, some of which have parallels in algebraic number theory. In particular, prime knot groups are shown to be Bieri-Eckmann, but not Poincar\'e, duality groups for Bredon cohomology with respect to the family of the meridians.


title: OSTeC: One-Shot Texture Completion

abstract: The last few years have witnessed the great success of non-linear generative models in synthesizing high-quality photorealistic face images. Many recent 3D facial texture reconstruction and pose manipulation from a single image approaches still rely on large and clean face datasets to train image-to-image Generative Adversarial Networks (GANs). Yet the collection of such a large scale high-resolution 3D texture dataset is still very costly and difficult to maintain age/ethnicity balance. Moreover, regression-based approaches suffer from generalization to the in-the-wild conditions and are unable to fine-tune to a target-image. In this work, we propose an unsupervised approach for one-shot 3D facial texture completion that does not require large-scale texture datasets, but rather harnesses the knowledge stored in 2D face generators. The proposed approach rotates an input image in 3D and fill-in the unseen regions by reconstructing the rotated image in a 2D face generator, based on the visible parts. Finally, we stitch the most visible textures at different angles in the UV image-plane. Further, we frontalize the target image by projecting the completed texture into the generator. The qualitative and quantitative experiments demonstrate that the completed UV textures and frontalized images are of high quality, resembles the original identity, can be used to train a texture GAN model for 3DMM fitting and improve pose-invariant face recognition.


title: The Economics of Variable Renewables and Electricity Storage

abstract: The transformation of the electricity sector is a main element of the transition to a decarbonized economy. Conventional generators powered by fossil fuels have to be replaced by variable renewable energy (VRE) sources in combination with electricity storage and other options for providing temporal flexibility. We discuss the market dynamics of increasing VRE penetration and their integration in the electricity system. We describe the merit-order effect (decline of wholesale electricity prices as VRE penetration increases) and the cannibalization effect (decline of VRE value as their penetration increases). We further review the role of electricity storage and other flexibility options for integrating variable renewables, and how storage can contribute to mitigating the two mentioned effects. We also use a stylized open-source model to provide some graphical intuition on this. While relatively high shares of VRE are achievable with moderate amounts of electricity storage, the role of long-term storage increases as the VRE share approaches 100%.


title: $G$-index, topological dynamics and marker property

abstract: Given an action of a finite group $G$, we can define its index. The $G$-index roughly measures a size of the given $G$-space. We explore connections between the $G$-index theory and topological dynamics. For a fixed-point free dynamical system, we study the $\mathbb{Z}_p$-index of the set of $p$-periodic points. We find that its growth is at most linear in $p$. As an application, we construct a free dynamical system which does not have the marker property. This solves a problem which has been open for several years.


title: Model-Based Visual Planning with Self-Supervised Functional Distances

abstract: A generalist robot must be able to complete a variety of tasks in its environment. One appealing way to specify each task is in terms of a goal observation. However, learning goal-reaching policies with reinforcement learning remains a challenging problem, particularly when hand-engineered reward functions are not available. Learned dynamics models are a promising approach for learning about the environment without rewards or task-directed data, but planning to reach goals with such a model requires a notion of functional similarity between observations and goal states. We present a self-supervised method for model-based visual goal reaching, which uses both a visual dynamics model as well as a dynamical distance function learned using model-free reinforcement learning. Our approach learns entirely using offline, unlabeled data, making it practical to scale to large and diverse datasets. In our experiments, we find that our method can successfully learn models that perform a variety of tasks at test-time, moving objects amid distractors with a simulated robotic arm and even learning to open and close a drawer using a real-world robot. In comparisons, we find that this approach substantially outperforms both model-free and model-based prior methods. Videos and visualizations are available here: http://sites.google.com/berkeley.edu/mbold.


title: Laser-induced electron diffraction of the ultrafast umbrella motion in ammonia

abstract: Visualizing molecular transformations in real-time requires a structural retrieval method with {\AA}ngstr\"om spatial and femtosecond temporal atomic resolution. Imaging of hydrogen-containing molecules additionally requires an imaging method that is sensitive to the atomic positions of hydrogen nuclei, with most methods possessing relatively low sensitivity to hydrogen scattering. Laser-induced electron diffraction (LIED) is a table top technique that can image ultrafast structural changes of gas-phase polyatomic molecules with sub-{\AA}ngstr\"om and femtosecond spatiotemporal resolution together with relatively high sensitivity to hydrogen scattering. Here, we image the umbrella motion of an isolated ammonia molecule (NH$_3$) following its strong field ionization. Upon ionization of a neutral ammonia molecule, the ammonia cation (NH$_3^+$) undergoes an ultrafast geometrical transformation from a pyramidal ($\Phi_{HNH} = 107 ^\circ$) to planar ($\Phi_{HNH}=120^\circ$) structure in approximately 8 femtoseconds. Using LIED, we retrieve a near-planar ($\Phi_{HNH}=117 \pm 5^\circ$) field-dressed NH$_3^+$ molecular structure $7.8-9.8$ femtoseconds after ionization. Our measured field-dressed NH$_3^+$ structure is in excellent agreement with our calculated equilibrium field dressed structure using quantum chemical ab initio calculations.


title: Refine and Imitate: Reducing Repetition and Inconsistency in Persuasion Dialogues via Reinforcement Learning and Human Demonstration

abstract: Persuasion dialogue systems reflect the machine's ability to make strategic moves beyond verbal communication, and therefore differentiate themselves from task-oriented or open-domain dialogue systems and have their own unique values. However, the repetition and inconsistency problems still persist in dialogue response generation and could substantially impact user experience and impede the persuasion outcome. Besides, although reinforcement learning (RL) approaches have achieved big success in strategic tasks such as games, they require a sophisticated user simulator to provide real-time feedback to the dialogue system, which limits the application of RL on persuasion dialogues. To address these issues towards a better persuasion dialogue system, we apply RL to refine a language model baseline without user simulators, and distill sentence-level information about repetition, inconsistency, and task relevance through rewards. Moreover, to better accomplish the persuasion task, the model learns from human demonstration to imitate human persuasion behavior and selects the most persuasive responses. Experiments show that our model outperforms previous state-of-the-art dialogue models on both automatic metrics and human evaluation results on a donation persuasion task, and generates more diverse, consistent and persuasive conversations according to the user feedback.


title: Provident Vehicle Detection at Night: The PVDN Dataset

abstract: For advanced driver assistance systems, it is crucial to have information about oncoming vehicles as early as possible. At night, this task is especially difficult due to poor lighting conditions. For that, during nighttime, every vehicle uses headlamps to improve sight and therefore ensure safe driving. As humans, we intuitively assume oncoming vehicles before the vehicles are actually physically visible by detecting light reflections caused by their headlamps. In this paper, we present a novel dataset containing 59746 annotated grayscale images out of 346 different scenes in a rural environment at night. In these images, all oncoming vehicles, their corresponding light objects (e.g., headlamps), and their respective light reflections (e.g., light reflections on guardrails) are labeled. This is accompanied by an in-depth analysis of the dataset characteristics. With that, we are providing the first open-source dataset with comprehensive ground truth data to enable research into new methods of detecting oncoming vehicles based on the light reflections they cause, long before they are directly visible. We consider this as an essential step to further close the performance gap between current advanced driver assistance systems and human behavior.


title: Model Free Reinforcement Learning Algorithm for Stationary Mean field Equilibrium for Multiple Types of Agents

abstract: We consider a multi-agent Markov strategic interaction over an infinite horizon where agents can be of multiple types. We model the strategic interaction as a mean-field game in the asymptotic limit when the number of agents of each type becomes infinite. Each agent has a private state; the state evolves depending on the distribution of the state of the agents of different types and the action of the agent. Each agent wants to maximize the discounted sum of rewards over the infinite horizon which depends on the state of the agent and the distribution of the state of the leaders and followers. We seek to characterize and compute a stationary multi-type Mean field equilibrium (MMFE) in the above game. We characterize the conditions under which a stationary MMFE exists. Finally, we propose Reinforcement learning (RL) based algorithm using policy gradient approach to find the stationary MMFE when the agents are unaware of the dynamics. We, numerically, evaluate how such kind of interaction can model the cyber attacks among defenders and adversaries, and show how RL based algorithm can converge to an equilibrium.


title: 3D Human motion anticipation and classification

abstract: Human motion prediction and understanding is a challenging problem. Due to the complex dynamic of human motion and the non-deterministic aspect of future prediction. We propose a novel sequence-to-sequence model for human motion prediction and feature learning, trained with a modified version of generative adversarial network, with a custom loss function that takes inspiration from human motion animation and can control the variation between multiple predicted motion from the same input poses. Our model learns to predict multiple future sequences of human poses from the same input sequence. We show that the discriminator learns general presentation of human motion by using the learned feature in action recognition task. Furthermore, to quantify the quality of the non-deterministic predictions, we simultaneously train a motion-quality-assessment network that learns the probability that a given sequence of poses is a real human motion or not. We test our model on two of the largest human pose datasets: NTURGB-D and Human3.6M. We train on both single and multiple action types. Its predictive power for motion estimation is demonstrated by generating multiple plausible futures from the same input and show the effect of each of the loss functions. Furthermore, we show that it takes less than half the number of epochs to train an activity recognition network by using the feature learned from the discriminator.


title: The CALYPSO IRAM-PdBI survey of jets from Class 0 protostars. Are jets ubiquitous in young stars ?

abstract: As a part of the CALYPSO large programme, we constrain the properties of protostellar jets and outflows in a sample of 21 Class 0 protostars with internal luminosities, Lint, from 0.035 to 47 Lsun. We analyse high angular resolution (~0.5"-1") IRAM PdBI observations in CO (2-1), SO ($5_6-4_5$), and SiO (5-4). CO (2-1), which probes outflowing gas, is detected in all the sources (for the first time in SerpS-MM22 and SerpS-MM18b). Collimated high-velocity jets in SiO (5-4) are detected in 67% of the sources (for the first time in IRAS4B2, IRAS4B1, L1448-NB, SerpS-MM18a), and 77% of these also show jet/outflow emission in SO ($5_6-4_5$). In 5 sources (24% of the sample) SO ($5_6-4_5$) probes the inner envelope and/or the disk. The CALYPSO survey shows that the outflow phenomenon is ubiquitous and that the detection rate of high-velocity jets increases with protostellar accretion, with at least 80% of the sources with Lint>1 Lsun driving a jet. The protostellar flows exhibit an onion-like structure, where the SiO jet (opening angle ~10$^o$) is nested into a wider angle SO (~15$^o$) and CO (~25$^o$) outflow. On scales >300 au the SiO jets are less collimated than atomic jets from Class II sources (~3$^o$). Velocity asymmetry between the two jet lobes are detected in one third of the sources, similarly to Class II atomic jets, suggesting that the same launching mechanism is at work. Most of the jets are SiO rich (SiO/H2 from >2.4e-7 to >5e-6), which indicates efficient release of >1%-10% of silicon in gas phase likely in dust-free winds, launched from inside the dust sublimation radius. The mass-loss rates (from ~7e-8 to ~3e-6 Msun/yr) are larger than what was measured for Class II jets. Similarly to Class II sources, the mass-loss rates are ~1%-50% of the mass accretion rates suggesting that the correlation between ejection and accretion in young stars holds from 1e4 yr up to a few Myr.


title: Self-interacting Dark Matter with Scalar Dilepton Mediator

abstract: The cold dark matter (CDM) candidate with weakly interacting massive particles can successfully explain the observed dark matter relic density in cosmic scale and the large-scale structure of the Universe. However, a number of observations at the satellite galaxy scale seem to be inconsistent with CDM simulation. This is known as the small-scale problem of CDM. In recent years, it has been demonstrated that self-interacting dark matter (SIDM) with a light mediator offers a reasonable explanation for the small-scale problem. We adopt a simple model with SIDM and focus on the effects of Sommerfeld enhancement. In this model, the dark matter candidate is a leptonic scalar particle with a light mediator. We have found several regions of the parameter space with proper masses and coupling strength generating a relic density that is consistent with the observed CDM relic density. Furthermore, this model satisfies the constraints of recent direct searches and indirect detection for dark matter as well as the effective number of neutrinos and the observed small-scale structure of the Universe. In addition, this model with the favored parameters can resolve the discrepancies between astrophysical observations and $N$-body simulations.


title: Faster Distance-Based Representative Skyline and $k$-Center Along Pareto Front in the Plane

abstract: We consider the problem of computing the \emph{distance-based representative skyline} in the plane, a problem introduced by Tao, Ding, Lin and Pei [Proc. 25th IEEE International Conference on Data Engineering (ICDE), 2009] and independently considered by Dupin, Nielsen and Talbi [Optimization and Learning - Third International Conference, OLA 2020] in the context of multi-objective optimization. Given a set $P$ of $n$ points in the plane and a parameter $k$, the task is to select $k$ points of the skyline defined by $P$ (also known as Pareto front for $P$) to minimize the maximum distance from the points of the skyline to the selected points. We show that the problem can be solved in $O(n\log h)$ time, where $h$ is the number of points in the skyline of $P$. We also show that the decision problem can be solved in $O(n\log k)$ time and the optimization problem can be solved in $O(n \log k + n \operatorname{loglog} n)$ time. This improves previous algorithms and is optimal for a large range of values of $k$.


title: Managed Information: A New Abstraction Mechanism for Handling Information in Software-as-a-Service

abstract: Management of information is an important aspect of every application. This includes, for example, protecting user data against breaches (like the one reported in the news about 50 million Facebook profiles being harvested for Cambridge Analytica), complying with data protection laws and regulations (like EU's new General Data Protection Regulation), coping with large databases, and retaining user data across software versions. Today, every application needs to cope with such concerns by itself and on its own. In this paper we introduce Managed Information (MI), an abstraction mechanism for managing extra-functional data related concerns, similar to how managed memory today abstracts away many memory related concerns. MI limits the access applications have to user data, which, in return, relieves them from responsibility over it. This is achieved by hosting them on a Managed Information Platform (MIP), and implementing their logic in a language that supports MI. As evidence for the feasibility of MI we describe the design and implementation of such a platform. For demonstration of MI, we describe a simple social network application built with it. The implementation is open source.


title: Soft magnon contributions to dielectric constant in spiral magnets with domain walls

abstract: Competing magnetic exchange interactions often result in non-collinear magnetic states, such as spin spirals, which break the inversion symmetry and induce ferroelectric polarization. The resulting strong interactions between magnetic and dielectric degrees of freedom lead to a technologically important possibility to control magnetic order by electric fields and to electromagnons, magnetic excitations that can be excited by an electric dipole of the electromagnetic field. Here we study the effects of chiral domain walls on magnetoelectric properties of spiral magnets. We use a quasi-1D model Hamiltonian with competing Heisenberg exchange interactions, leading to a spin spiral, and Dzyaloshinskii-Moriya interactions, that couple spins and electric dipoles and mix magnon and phonon excitations. The results suggest that low frequency dielectric anomalies in spiral magnets, such as TbMnO3 and MnWO4, may originate from hybrid magnon - polar phonon excitations associated with domain walls.


title: Groupoids, Geometric Induction and Gelfand Models

abstract: In this paper we introduce an intrinsic version of the classical induction of representations for a subgroup $H$ of a (finite) group $G$, called here {\em geometric induction}, which associates to any, not necessarily transitive, $G$-set $X$ and any representation of the action groupoid $A(G,X)$ associated to $G$ and $X$, a representation of the group $G$. We show that geometric induction, applied to one dimensional characters of the action groupoid of a suitable $G$-set $X$ affords a Gelfand Model for $G$ in the case where $G$ is either the symmetric group or the projective general linear group of rank $2$.


title: Approximation of general 3-variable Jensen $\rho$-functional inequalities in complex Banach spaces

abstract: In this paper, we introduce and investigate general 3-variable Jensen $\rho$-functional equation, and prove the Hyers-Ulam stability of the Jensen functional equations associated with the general 3-variable Jensen $\rho$-functional inequalities in complex Banach spaces.


title: Beating Attackers At Their Own Games: Adversarial Example Detection Using Adversarial Gradient Directions

abstract: Adversarial examples are input examples that are specifically crafted to deceive machine learning classifiers. State-of-the-art adversarial example detection methods characterize an input example as adversarial either by quantifying the magnitude of feature variations under multiple perturbations or by measuring its distance from estimated benign example distribution. Instead of using such metrics, the proposed method is based on the observation that the directions of adversarial gradients when crafting (new) adversarial examples play a key role in characterizing the adversarial space. Compared to detection methods that use multiple perturbations, the proposed method is efficient as it only applies a single random perturbation on the input example. Experiments conducted on two different databases, CIFAR-10 and ImageNet, show that the proposed detection method achieves, respectively, 97.9% and 98.6% AUC-ROC (on average) on five different adversarial attacks, and outperforms multiple state-of-the-art detection methods. Results demonstrate the effectiveness of using adversarial gradient directions for adversarial example detection.


title: Indoor Air Quality Improvement

abstract: Poor indoor air quality can contribute to the development of various chronic respiratory diseases such as asthma, heart disease, and lung cancer. Since air quality is extremely difficult for humans to detect though sensory processing, there is a need for efficient ventilation systems that can provide a healthier environment. In this paper, we have designed an energy efficient ventilation system that predicts sensor occupancy patterns based on historical data to improve indoor air quality.


title: Theory of homotopes in application to mutually unbiased bases, harmonic analysis on graphs and perverse sheaves

abstract: The paper is the survey of the modern results and applications of the theory of homotopes. The notion of a well-tempered element in an associative algebra is introduced and it is proven that the category of representations of the homotope constructed by a well-tempered element is the heart of a suitably glued t-structure. Hochschild and global dimensions of the homotopes are calculated. The homotopes constructed by generalized Lapalce operators in Poincare groupoids of graphs are studied. It is shown that they are quotients of Temperley-Lieb algebras of general graphs. The perverse sheaves on a punctured disc and on a 2 dimensional sphere with a double point are identified with representations of suitable homotopes. Relations of the theory to orthogonal decompositions of sl(n, C) into the sum of Cartan subalgebras, to classifications of configurations of lines, to mutually unbiased bases, to quantum protocols, to generalized Hadamard matrices are discussed.


title: Disruption Avoidance via RF Current Condensation in Magnetic Islands Produced by Off-Normal Events

abstract: As tokamaks are designed and built with increasing levels of stored energy in the plasma, disruptions become increasingly dangerous. It has been reported that 95% of the disruptions in the Joint European Torus (JET) tokamak with the ITER-like wall are preceded by the growth of large locked islands, and these large islands are mostly produced by off-normal events other than neoclassical tearing modes. This paper discusses the use of RF current drive to stabilize large islands, focusing on nonlinear effects that appear when relatively high powers are used to stabilize large islands. An RF current condensation effect can concentrate the RF driven current near the center of the island, increasing the efficiency of the stabilization. A nonlinear shadowing effect can hinder the stabilization of islands if the aiming of the ray trajectories does not properly consider the nonlinear effects.


title: Temperature in Solar Sources of 3He-rich Solar Energetic Particles and Relation to Ion Abundances

abstract: 3He-rich solar energetic particles (SEPs) are believed to be accelerated in solar flares or jets by a mechanism that depends on the ion charge-to-mass (Q/M) ratio. It implies that the flare plasma characteristics (e.g., temperature) may be effective in determining the elemental abundances of 3He-rich SEPs. This study examines the relation between the suprathermal (<0.2 MeV/nuc) abundances of the He-Fe ions measured on the Advanced Composition Explorer and temperature in the solar sources for 24 3He-rich SEP events in the period 2010-2015. The differential emission measure technique is applied to derive the temperature of the source regions from the extreme ultraviolet imaging observations on the Solar Dynamics Observatory. The obtained temperature distribution peaks at 2.0-2.5 MK that is surprisingly consistent with earlier findings based on in-situ elemental abundance or charge state measurements. We have found a significant anti-correlation between 3He/4He ratio and solar source temperature with a coefficient -0.6. It is most likely caused by non-charge-stripping processes, as both isotopes would be fully ionized in the inferred temperature range. This study shows that the elemental ratios 4He/O, N/O, Ne/O, Si/O, S/O, Ca/O, Fe/O generally behave with temperature as expected from abundance enhancement calculations at ionization equilibrium. The C and Mg, the two species with small changes in the Q/M ratio in the obtained temperature range, show no such behavior with temperature and could be influenced by similar processes as for the 3He/4He ratio.


title: Generalized Operating Procedure for Deep Learning: an Unconstrained Optimal Design Perspective

abstract: Deep learning (DL) has brought about remarkable breakthrough in processing images, video and speech due to its efficacy in extracting highly abstract representation and learning very complex functions. However, there is seldom operating procedure reported on how to make it for real use cases. In this paper, we intend to address this problem by presenting a generalized operating procedure for DL from the perspective of unconstrained optimal design, which is motivated by a simple intension to remove the barrier of using DL, especially for those scientists or engineers who are new but eager to use it. Our proposed procedure contains seven steps, which are project/problem statement, data collection, architecture design, initialization of parameters, defining loss function, computing optimal parameters, and inference, respectively. Following this procedure, we build a multi-stream end-to-end speaker verification system, in which the input speech utterance is processed by multiple parallel streams within different frequency range, so that the acoustic modeling can be more robust resulting from the diversity of features. Trained with VoxCeleb dataset, our experimental results verify the effectiveness of our proposed operating procedure, and also show that our multi-stream framework outperforms single-stream baseline with 20 % relative reduction in minimum decision cost function (minDCF).


title: A hospital demand and capacity intervention approach for COVID-19 in the UK

abstract: The mathematical interpretation of interventions for the mitigation of epidemics and pandemics in the literature often involves finding the optimal time to initiate an intervention and/or the use of infections to manage impact. Whilst these methods may work in theory, in order to implement they may require information which is likely not available whilst one is in the midst of an epidemic, or they may require impeccable data about infection levels in the community. In practice, testing and cases data is only as good as the policy of implementation and the compliance of the individuals, which means that understanding the levels of infections becomes difficult or complicated from the data that is provided. In this paper, we aim to develop a different approach to the mathematical modelling of interventions, not based on optimality, but based on demand and capacity of local authorities who have to deal with the epidemic on a day to day basis. In particular, we use data-driven modelling to calibrate an Susceptible Exposed Infectious Recovered-Died (SEIR-D) model to infer parameters that depict the dynamics of the epidemic in a region of the UK. We use the calibrated parameters for forecasting scenarios and understand, given a maximum capacity of hospital healthcare services, how the timing of interventions, severity of interventions, and conditions for the releasing of interventions affect the overall epidemic-picture.


title: Convergence of hydrodynamic modes: insights from kinetic theory and holography

abstract: We study the mechanisms setting the radius of convergence of hydrodynamic dispersion relations in kinetic theory in the relaxation time approximation. This introduces a qualitatively new feature with respect to holography: a nonhydrodynamic sector represented by a branch cut in the retarded Green's function. In contrast with existing holographic examples, we find that the radius of convergence in the shear channel is set by a collision of the hydrodynamic pole with a branch point. In the sound channel it is set by a pole-pole collision on a non-principal sheet of the Green's function. More generally, we examine the consequences of the Implicit Function Theorem in hydrodynamics and give a prescription to determine a set of points that necessarily includes all complex singularities of the dispersion relation. This may be used as a practical tool to assist in determining the radius of convergence of hydrodynamic dispersion relations.


title: Results and Prospects of Radiative and Electroweak Penguin Decays at Belle II

abstract: Radiative and electroweak penguin mediated decays of $B$ mesons are a great probe for physics beyond the Standard Model of particle physics. Furthermore, recently anomalies on exclusive $b \rightarrow s \ell^{+} \ell^{-}$ processes, which may imply lepton flavor universality violation, have been observed. Belle II experiment sheds light on the anomalies with the measurement of an inclusive analysis in this mode. Thanks to smaller hadronic uncertainties compared with exclusive modes, complementary information can be provided. Belle II is also a unique experiment to search for processes involving neutrinos such as $B \rightarrow K^{(*)} \nu \overline{\nu}$. We report the results and prospects of an inclusive $B \rightarrow X_s \ell^{+} \ell^{-}$ analysis and a search for $B \to K^{(*)} \nu \overline{\nu}$.


title: Relation between finite topological spaces and finitely presentable groups

abstract: In this paper it is shown how to construct a finite topological space $X$ for a given finitely presentable group $G$ such that $\pi_1(X)\cong G$. Our construction is not optimal in the sense that the cardinality of the space $X$ might not be the smallest possible. Our main result applies to a large class of interesting groups, including all finite groups.


title: Pole-skipping and hydrodynamic analysis in Lifshitz, AdS$_2$ and Rindler geometries

abstract: The "pole-skipping" phenomenon reflects that the retarded Green's function is not unique at a pole-skipping point in momentum space $(\omega,k)$. We explore the universality of the pole-skipping in different geometries. In holography, near horizon analysis of the bulk equation of motion is a simpler way to derive a pole-skipping point and we use this method in Lifshitz, AdS$_2$ and Rindler geometries. We also study the complex hydrodynamic analyses and find that the dispersion relations in terms of dimensionless variables $\frac{\omega}{2\pi T}$ and $\frac{\vert k\vert}{2\pi T}$ pass through pole-skipping points $(\frac{\omega_n}{2\pi T}, \frac{\vert k_n\vert}{2\pi T}$) at small $\omega$ and $k$ in Lifshitz background. We verify that the position of the pole-skipping points does not depend on the standard quantization or alternative quantization in the boundary theory in AdS$_2\times\mathbb{R}^{d-1}$ geometry. In Rindler geometry, we cannot find the corresponding Green's function to calculate pole-skipping points because it is difficult to impose the boundary condition. However we can obtain "special points" near horizon where bulk equations of motion have two incoming solutions. These "special points" correspond to nonunique of the Green's function in physical meaning from the perspective of holography.


title: FREA-Unet: Frequency-aware U-net for Modality Transfer

abstract: While Positron emission tomography (PET) imaging has been widely used in diagnosis of number of diseases, it has costly acquisition process which involves radiation exposure to patients. However, magnetic resonance imaging (MRI) is a safer imaging modality that does not involve patient's exposure to radiation. Therefore, a need exists for an efficient and automated PET image generation from MRI data. In this paper, we propose a new frequency-aware attention U-net for generating synthetic PET images. Specifically, we incorporate attention mechanism into different U-net layers responsible for estimating low/high frequency scales of the image. Our frequency-aware attention Unet computes the attention scores for feature maps in low/high frequency layers and use it to help the model focus more on the most important regions, leading to more realistic output images. Experimental results on 30 subjects from Alzheimers Disease Neuroimaging Initiative (ADNI) dataset demonstrate good performance of the proposed model in PET image synthesis that achieved superior performance, both qualitative and quantitative, over current state-of-the-arts.


title: Two New Approaches to Optical IRSs: Schemes and Comparative Analysis

abstract: Oriented to the point-to-multipoint free space optical communication (FSO) scenarios, this paper analyzes the micro-mirror array and phased array-type optical intelligent reflecting surface (OIRS) in terms of control mode, power efficiency, and beam splitting. We build the physical models of the two types of OIRSs. Based on the models, the closed form solution of OIRSs' output power density distribution and power efficiency, along with their control algorithms have been derived. Then we propose the algorithms of beam splitting and multi-beam power allocation for two types of OIRSs. The channel fading in FSO system and the comparison of two types of OIRSs in actual systems are discussed according to the analytical results. Experiments and simulations are both presented to verify the feasibility of models and algorithms.


title: Local time of random walks on graphs

abstract: We investigate the local (or occupation) time of a discrete-time random walk on a generic graph, and present a general method for calculating sample-path averages of local time functionals in terms of the resolvent of the transition matrix.


title: Nonlinear Einstein paradigm of Brownian motion and localization property of solutions

abstract: We employ a generalization of Einstein's random walk paradigm for diffusion to derive a class of multidimensional degenerate nonlinear parabolic equations in non-divergence form. Specifically, in these equations, the diffusion coefficient can depend on both the dependent variable and its gradient, and it vanishes when either one of the latter does. It is known that solutions of such degenerate equations can exhibit finite speed of propagation (so-called localization property of solutions). We give a proof of this property using a De Giorgi--Ladyzhenskaya iteration procedure for non-divergence-from equations. A mapping theorem is then established to a divergence-form version of the governing equation for the case of one spatial dimension. Numerical results via a finite-difference scheme are used to illustrate the main mathematical results for this special case. For completeness, we also provide an explicit construction of the one-dimensional self-similar solution with finite speed of propagation function, in the sense of Kompaneets--Zel'dovich--Barenblatt. We thus show how the finite speed of propagation quantitatively depends on the model's parameters.


title: On some conjectures of exponential Diophantine equations

abstract: In this paper, we consider the exponential Diophantine equation $a^{x}+b^{y}=c^{z},$ where $a, b, c$ be relatively prime positive integers such that $a^{2}+b^{2}=c^{r}, r\in Z^{+}, 2\mid r$ with $b$ even. That is $$a=\mid Re(m+n\sqrt{-1})^{r}\mid, b=\mid Im(m+n\sqrt{-1})^{r}\mid, c=m^{2}+n^{2},$$ where $m, n$ are positive integers with $m>n, m-n\equiv1(mod 2),$ gcd$(m, n)=1.$ $(x, y, z)= (2, 2, r)$ is called the trivial solution of the equation. In this paper we prove that the equation has no nontrivial solutions in positive integers $x, y, z$ when $$r\equiv 2(mod 4), m\equiv 3(mod 4), m>\max\{n^{10.4\times10^{11}\log(5.2\times10^{11}\log n)}, 3e^{r}, 70.2nr\}.$$ Especially the equation has no nontrivial solutions in positive integers $x, y, z$ when $$r=2, m\equiv 3(mod 4), m>n^{10.4\times10^{11}\log(5.2\times10^{11}\log n)}.$$


title: Friedel oscillations and helium bubble ordering in molybdenum

abstract: Helium ions implanted into metals can evolve into ordered bubbles isomorphic to the host lattice. Long-range elastic interaction is generally believed to drive the formation of bubble superlattice, but little is known about the thermodynamics at the very initial stage. Our first-principles calculations demonstrate that in molybdenum, Friedel oscillations induced by individual helium generate both potential barriers and wells for helium clustering at short He-He distances. Such repulsion and attraction at high concentration provide a thermodynamic diving force to assist lining up randomly distributed He atoms into ordered bubbles. Friedel oscillations might have general impact on solute-solute interactions in alloys.


title: Between Shor and Steane: A unifying construction for measuring error syndromes

abstract: Fault-tolerant quantum error correction requires the measurement of error syndromes in a way that minimizes correlated errors on the quantum data. Steane and Shor ancilla are two well-known methods for fault-tolerant syndrome extraction. In this paper, we find a unifying construction that generates a family of ancilla blocks that interpolate between Shor and Steane. This family increases the complexity of ancilla construction in exchange for reducing the rounds of measurement required to fault-tolerantly measure the error. We then apply this construction to the toric code of size $L\times L$ and find that blocks of size $m\times m$ can be used to decode errors in $O(L/m)$ rounds of measurements. Our method can be applied to any Calderbank-Shor-Steane codes and presents a new direction for optimizing fault-tolerant quantum computation.


title: Unified Mandarin TTS Front-end Based on Distilled BERT Model

abstract: The front-end module in a typical Mandarin text-to-speech system (TTS) is composed of a long pipeline of text processing components, which requires extensive efforts to build and is prone to large accumulative model size and cascade errors. In this paper, a pre-trained language model (PLM) based model is proposed to simultaneously tackle the two most important tasks in TTS front-end, i.e., prosodic structure prediction (PSP) and grapheme-to-phoneme (G2P) conversion. We use a pre-trained Chinese BERT[1] as the text encoder and employ multi-task learning technique to adapt it to the two TTS front-end tasks. Then, the BERT encoder is distilled into a smaller model by employing a knowledge distillation technique called TinyBERT[2], making the whole model size 25% of that of benchmark pipeline models while maintaining competitive performance on both tasks. With the proposed the methods, we are able to run the whole TTS front-end module in a light and unified manner, which is more friendly to deployment on mobile devices.


title: From Semantic Communication to Semantic-aware Networking: Model, Architecture, and Open Problems

abstract: Existing communication systems are mainly built based on Shannon's information theory which deliberately ignores the semantic aspects of communication. The recent iteration of wireless technology, the so-called 5G and beyond, promises to support a plethora of services enabled by carefully tailored network capabilities based on the contents, requirements, as well as semantics. This sparkled significant interest in the semantic communication, a novel paradigm that involves the meaning of message into the communication. In this article, we first review the classic semantic communication framework and then summarize key challenges that hinder its popularity. We observe that some semantic communication processes such as semantic detection, knowledge modeling, and coordination, can be resource-consuming and inefficient, especially for the communication between a single source and a destination. We therefore propose a novel architecture based on federated edge intelligence for supporting resource-efficient semantic-aware networking. Our architecture allows each user to offload the computationally intensive semantic encoding and decoding tasks to the edge servers and protect its proprietary model-related information by coordinating via intermediate results. Our simulation result shows that the proposed architecture can reduce the resource consumption and significantly improve the communication efficiency.


title: The Missing Cool Corona in the Flat Magnetic Field around Solar Active Regions

abstract: SDO/AIA images the full solar disk in several EUV bands that are each sensitive to coronal plasma emissions of one or more specific temperatures. We observe that when isolated active regions (ARs) are on the disk, full-disk images in some of the coronal EUV channels show the outskirts of the AR as a dark moat surrounding the AR. Here we present seven specific examples, selected from time periods when there was only a single AR present on the disk. Visually, we observe the moat to be most prominent in the AIA 171 Angstrom band, which has the most sensitivity to emission from plasma at log10 T = 5.8. By examining the 1D line-of-sight emission measure temperature distribution found from six AIA EUV channels, we find the intensity of the moat to be most depressed over the temperature range log10 T ~ 5.7 - 6.2 for most of the cases. We argue that the dark moat exists because the pressure from the strong magnetic field that splays out from the AR presses down on underlying magnetic loops, flattening those loops -- along with the lowest of the AR's own loops over the moat -- to a low altitude. Those loops, which would normally emit the bulk of the 171 Angstrom emission, are restricted to heights above the surface that are too low to have 171 Angstrom-emitting plasmas sustained in them, according to Antiochos & Noci (1986), while hotter EUV-emitting plasmas are sustained in the overlying higher-altitude long AR-rooted coronal loops. This potentially explains the low-coronal-temperature dark moats surrounding the ARs.