title: Actions You Can Handle: Dependent Types for AI Plans

abstract: Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents. They comprise a number of searching algorithms that, given a set of specified properties, find a sequence of actions that satisfy these properties. Although AI planners are mature tools from the algorithmic and engineering points of view, they have limitations as programming languages. Decidable and efficient automated search entails restrictions on the syntax of the language, prohibiting use of higher-order properties or recursion. This paper proposes a methodology for embedding plans produced by AI planners into dependently-typed language Agda, which enables users to reason about and verify more general and abstract properties of plans, and also provides a more holistic programming language infrastructure for modelling plan execution.


title: A Random Attention and Utility Model

abstract: We generalize the stochastic revealed preference methodology of McFadden and Richter (1990) for finite choice sets to settings with limited consideration. Our approach is nonparametric and requires partial choice set variation. We impose a monotonicity condition on attention first proposed by Cattaneo et al. (2020) and a stability condition on the marginal distribution of preferences. Our framework is amenable to statistical testing. These new restrictions extend widely known parametric models of consideration with heterogeneous preferences.


title: Neural Machine Translation with Monolingual Translation Memory

abstract: Prior work has proved that Translation memory (TM) can boost the performance of Neural Machine Translation (NMT). In contrast to existing work that uses bilingual corpus as TM and employs source-side similarity search for memory retrieval, we propose a new framework that uses monolingual memory and performs learnable memory retrieval in a cross-lingual manner. Our framework has unique advantages. First, the cross-lingual memory retriever allows abundant monolingual data to be TM. Second, the memory retriever and NMT model can be jointly optimized for the ultimate translation goal. Experiments show that the proposed method obtains substantial improvements. Remarkably, it even outperforms strong TM-augmented NMT baselines using bilingual TM. Owning to the ability to leverage monolingual data, our model also demonstrates effectiveness in low-resource and domain adaptation scenarios.


title: Quaternionic Klein-Gordon equation

abstract: We solve Klein-Gordon equation (KGE) in the framework of the real Hilbert space approach to quaternionic quantum mechanics ($\mathbbm H$QM). The presented solution is the simplest ever obtained for quaternionic quantum theories, and the closest to the complex solution. The scattering of a quaternionic charged scalar particle from an electric field is also obtained. A remarkable feature of quaternionic scalar particles is the existence of massive light cone particles.


title: Constructions of Binary Optimal Locally Repairable Codes via Intersection Subspaces

abstract: Locally repairable codes (LRCs), which can recover any symbol of a codeword by reading only a small number of other symbols, have been widely used in real-world distributed storage systems, such as Microsoft Azure Storage and Ceph Storage Cluster. Since binary linear LRCs can significantly reduce coding and decoding complexity, constructions of binary LRCs are of particular interest. The aim of this paper is to construct dimensional optimal binary locally repairable codes with disjoint local repair groups. We introduce how to connect intersection subspaces with binary locally repairable codes and construct dimensional optimal binary linear LRCs with locality $2^b$ ($b\geq 3$) and minimum distance $d\geq 6$ by employing intersection subspaces deduced from the direct sum. This method will sufficiently increase the number of possible repair groups of dimensional optimal LRCs, and thus efficiently expanding the range of the construction parameters while keeping the largest code rates compared with all known binary linear LRCs with minimum distance $d\geq 6$ and locality $2^b$ ($b\geq 3$).


title: A Practical Consideration on Convex Mutual Information

abstract: In this paper, we focus on the convex mutual information, which was found at the lowest level split in multilevel coding schemes with communications over the additive white Gaussian noise (AWGN) channel. Theoretical analysis shows that communication achievable rates (ARs) do not necessarily below mutual information in the convex region. In addition, simulation results are provided as an evidence.


title: Application of Opportunistic Bit to Multilevel Codes

abstract: In this paper, we propose a new signal organization method to work in the structure of the multi level coding (MLC). The transmit bits are divided into opportunistic bit (OB) and conventional bit (CB), which are mapped to the lower level- and higher level signal in parallel to the MLC, respectively. Because the OB's mapping does not require signal power explicitly, the energy of the CB modulated symbol can be doubled. As the result, the overall mutual information of the proposed method is found higher than that of the conventional BPSK in one dimensional case. Moreover, the extension of the method to the two-complex-dimension shows the better performance over the QPSK. The numerical results confirm this approach.


title: Arithmetic volumes of unitary Shimura varieties

abstract: The integral model of a GU(n-1,1) Shimura variety carries a universal abelian scheme over it, and the dual top exterior power of its Lie algebra carries a natural hermitian metric. We express the arithmetic volume of this metrized line bundle, defined as an iterated self-intersection in the Gillet-Soule arithmetic Chow ring, in terms of logarithmic derivatives of Dirichlet L-functions. We also determine the arithmetic volumes of Kudla-Rapoport divisors and relate them to coefficients of Eisenstein series.


title: Riesz transform and commutators in the Dunkl setting

abstract: In this paper we characterise the optimal pointwise size and regularity estimates for the Dunkl Riesz transform kernel involving both the Euclidean metric and the Dunkl metric, where these two metrics are not equivalent. We further establish a suitable version of the pointwise kernel lower bound of the Dunkl Riesz transform via the Euclidean metric only. Then we show that the lower bound of commutator of the Dunkl Riesz transform is with respect to the BMO space associated with the Euclidean metric, and that the upper bound is respect to the BMO space associated with the Dunkl metric. Moreover, the compactness and the two types of VMO are also addressed.


title: Assessing perceived organizational leadership styles through twitter text mining

abstract: We propose a text classification tool based on support vector machines for the assessment of organizational leadership styles, as appearing to Twitter users. We collected Twitter data over 51 days, related to the first 30 Italian organizations in the 2015 ranking of Forbes Global 2000-out of which we selected the five with the most relevant volumes of tweets. We analyzed the communication of the company leaders, together with the dialogue among the stakeholders of each company, to understand the association with perceived leadership styles and dimensions. To assess leadership profiles, we referred to the 10-factor model developed by Barchiesi and La Bella in 2007. We maintain the distinctiveness of the approach we propose, as it allows a rapid assessment of the perceived leadership capabilities of an enterprise, as they emerge from its social media interactions. It can also be used to show how companies respond and manage their communication when specific events take place, and to assess their stakeholder's reactions.


title: What is the State of the Art of Computer Vision-Assisted Cytology? A Systematic Literature Review

abstract: Cytology is a low-cost and non-invasive diagnostic procedure employed to support the diagnosis of a broad range of pathologies. Computer Vision technologies, by automatically generating quantitative and objective descriptions of examinations' contents, can help minimize the chances of misdiagnoses and shorten the time required for analysis. To identify the state-of-art of computer vision techniques currently applied to cytology, we conducted a Systematic Literature Review. We analyzed papers published in the last 5 years. The initial search was executed in September 2020 and resulted in 431 articles. After applying the inclusion/exclusion criteria, 157 papers remained, which we analyzed to build a picture of the tendencies and problems present in this research area, highlighting the computer vision methods, staining techniques, evaluation metrics, and the availability of the used datasets and computer code. As a result, we identified that the most used methods in the analyzed works are deep learning-based (70 papers), while fewer works employ classic computer vision only (101 papers). The most recurrent metric used for classification and object detection was the accuracy (33 papers and 5 papers), while for segmentation it was the Dice Similarity Coefficient (38 papers). Regarding staining techniques, Papanicolaou was the most employed one (130 papers), followed by H&E (20 papers) and Feulgen (5 papers). Twelve of the datasets used in the papers are publicly available, with the DTU/Herlev dataset being the most used one. We conclude that there still is a lack of high-quality datasets for many types of stains and most of the works are not mature enough to be applied in a daily clinical diagnostic routine. We also identified a growing tendency towards adopting deep learning-based approaches as the methods of choice.


title: On the Number of Arrows of Cluster Quivers

abstract: Let $\tilde{Q}$ (resp. $Q$) be an extended exchange (resp. exchange) cluster quiver of finite mutation type. We introduce the distribution set of the number of arrows for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$), give the maximum and minimum numbers of the distribution set and establish the existence of an extended complete walk (resp. a complete walk). As a consequence, we prove that the distribution set for $Mut[\tilde{Q}]$ (resp. $Mut[Q]$) is continuous except the exceptional cases. In case of cluster quivers $Q_{inf}$ of infinite mutation type, the number of arrows does not present a continuous distribution. Besides, we show that the maximal number of arrows of quivers in $Mut[Q_{inf}]$ is infinite if and only if the maximal number of arrows between any two vertices of a quiver in $Mut[Q_{inf}]$ is infinite.


title: Parameter estimation for space-based gravitational wave detectors with ringdown signals

abstract: Unlike ground-based gravitational wave detectors, space-based gravitational wave detectors can detect the ringdown signals from massive black hole mergers with large signal-to-noise ratios, help to localize sources and extract their parameters. To reduce the computation time in the Fisher information matrix analysis, we derive the analytical formulas of frequency-domain ringdown signals for both heliocentric and geocentric detectors by considering the effects of the harmonic phases, the rotation period of the geocentric detector, and the detector's arm length. We explore median errors of the parameter estimation and source localization with ringdown signals from binaries with different masses and different redshifts. Using a binary source with the total mass $M=10^7\ M_\odot$ at the redshift $z=1$, we analyze the dependence of these errors on the sky position. We find that the network of space-based gravitational wave detectors can significantly improve the source localization at the ringdown stage. The results of the Fisher matrix approximation are also checked by Bayesian inference method.


title: Mapping class groups with the Rokhlin property

abstract: We classify the connected orientable 2-manifolds whose mapping class groups have a dense conjugacy class. We also show that the mapping class group of a connected orientable 2-manifold has a comeager conjugacy class if and only if the mapping class group is trivial.


title: Mixed-symmetry continuous-spin fields in flat and AdS spaces

abstract: In the framework of light-cone gauge approach, bosonic and fermionic mixed-symmetry continuous-spin fields in AdS space and flat space are considered. For such fields, the light-cone gauge actions are found. Realization of relativistic symmetries of AdS and flat spaces on the continuous-spin fields is also presented. Simple realization of spin operators is found. With respect to vector variable entering the continuous-spin fields, the spin operators for the fields in flat space turn out to be first-order differential operators, while, for the the fields in AdS space, the spin operators are realized as the second-order differential operators. By product, we obtain also the simple description of triplectic mixed-symmetry continuous-spin fields.


title: Conjugacy classes of big mapping class groups

abstract: We describe the topological behavior of the conjugacy action of the mapping class group of an orientable infinite-type surface $\Sigma$ on itself. Our main results are: (1) All conjugacy classes of $MCG(\Sigma)$ are meager for every $\Sigma$, (2) $MCG(\Sigma)$ has a somewhere dense conjugacy class if and only if $\Sigma$ has at most two maximal ends and no non-displaceable finite-type subsurfaces, (3) $MCG(\Sigma)$ has a dense conjugacy class if and only if $\Sigma$ has a unique maximal end and no non-displaceable finite-type subsurfaces. Our techniques are based on model-theoretic methods developed by Kechris, Rosendal and Truss.


title: Coarse-to-Fine for Sim-to-Real: Sub-Millimetre Precision Across Wide Task Spaces

abstract: In this paper, we study the problem of zero-shot sim-to-real when the task requires both highly precise control with sub-millimetre error tolerance, and wide task space generalisation. Our framework involves a coarse-to-fine controller, where trajectories begin with classical motion planning using ICP-based pose estimation, and transition to a learned end-to-end controller which maps images to actions and is trained in simulation with domain randomisation. In this way, we achieve precise control whilst also generalising the controller across wide task spaces, and keeping the robustness of vision-based, end-to-end control. Real-world experiments on a range of different tasks show that, by exploiting the best of both worlds, our framework significantly outperforms purely motion planning methods, and purely learning-based methods. Furthermore, we answer a range of questions on best practices for precise sim-to-real transfer, such as how different image sensor modalities and image feature representations perform.


title: On a spectral version of Cartan's theorem

abstract: For a domain $\Omega$ in the complex plane, we consider the domain $S_n(\Omega)$ consisting of those $n\times n$ complex matrices whose spectrum is contained in $\Omega$. Given a holomorphic self-map $\Psi$ of $S_n(\Omega)$ such that $\Psi(A)=A$ and the derivative of $\Psi$ at $A$ is identity for some $A\in S_n(\Omega)$, we investigate when the map $\Psi$ would be spectrum-preserving. We prove that if the matrix $A$ is either diagonalizable or non-derogatory then for most domains $\Omega$, $\Psi$ is spectrum-preserving on $S_n(\Omega)$. Further, when $A$ is arbitrary, we prove that $\Psi$ is spectrum-preserving on a certain analytic subset of $S_n(\Omega)$.


title: Active control of a diode laser with injection locking

abstract: We present a simple and effective method to implement an active stabilization of a diode laser with injection locking, which requires minimal user intervenes. The injection locked state of the diode laser is probed by a photodetector, of which sensitivity is enhanced by a narrow laser-line filter. Taking advantage of the characteristic response of laser power to spectral modes from the narrow laser-line filter, we demonstrate that high spectral purity and low intensity noise of the diode can be simultaneously maintained by an active feedback to the injected laser. Our method is intrinsically cost-effective, and does not require bulky devices, such as Fabry-Perot interferometers or wavemeters, to actively stabilize the diode laser. Based on successful implementation of this method in our quantum gas experiments, it is conceivable that our active stabilization will greatly simplify potential applications of injection locking of diode lasers in modularized or integrated optical systems.


title: Experimental demonstration of robustness of Gaussian quantum coherence

abstract: Besides quantum entanglement and steering, quantum coherence has also been identified as a useful quantum resource in quantum information. It is important to investigate the evolution of quantum coherence in practical quantum channels. In this paper, we experimentally quantify the quantum coherence of a squeezed state and a Gaussian Einstein-Podolsky-Rosen (EPR) entangled state transmitted in Gaussian thermal noise channel, respectively. By reconstructing the covariance matrix of the transmitted states, quantum coherence of these Gaussian states is quantified by calculating the relative entropy. We show that quantum coherence of the squeezed state and the Gaussian EPR entangled state is robust against loss and noise in a quantum channel, which is different from the properties of squeezing and Gaussian entanglement. Our experimental results pave the way for application of Gaussian quantum coherence in lossy and noisy environments.


title: Global existence for the Jordan--Moore--Gibson--Thompson equation in Besov spaces

abstract: In this paper, we consider the Cauchy problem of a model in nonlinear acoustic, named the Jordan--Moore--Gibson--Thompson equation. This equation arises as an alternative model to the well-known Kuznetsov equation in acoustics. We prove global existence and optimal time decay of solutions in Besov spaces with a minimal regularity assumption on the initial data, lowering the regularity assumption required in \cite{Racke_Said_2019} for the proof of the global existence. Using a time-weighted energy method with the help of appropriate Lyapunov-type estimates, we also extend the decay rate in \cite{Racke_Said_2019} and show an optimal decay rate of the solution for initial data in the Besov space $\dot{{B}}_{2,\infty}^{-3/2}(\mathbb{R}^3)$, which is larger than the Lebesgue space $L^1(\R^3)$ due to the embedding $L^1(\mathbb{R}% ^3)\hookrightarrow \dot{{B}}_{2,\infty}^{-3/2}(\mathbb{R}^3)$. Hence we removed the $L^1$-assumption on the initial data required in \cite{Racke_Said_2019} in order to prove the decay estimates of the solution.


title: High-Pressure Na3(N2)4, Ca3(N2)4, Sr3(N2)4, and Ba(N2)3 Featuring Nitrogen Dimers with Non-Integer Charges and Anion-Driven Metallicity

abstract: Charged nitrogen dimers are ubiquitous in high-pressure binary metal-nitrogen systems. They are known to possess integer formal charges x varying from one through four. Here, we present the investigation of the binary alkali- and alkaline earth metal-nitrogen systems, Na-N, Ca-N, Sr-N, Ba-N to 70 GPa. We report on compounds-Na3(N2)4, Ca3(N2)4, Sr3(N2)4, and Ba(N2)3-featuring charged nitrogen dimers with paradigm-breaking non-integer charges, x = 0.67, 0.75 and 1.5. The metallic nature of all four compounds is deduced from ab initio calculations. The conduction electrons occupy the pi* antibonding orbitals of the charged nitrogen dimers that results in anion-driven metallicity. Delocalization of these electrons over the pi* antibonding states enables the non-integer electron count of the dinitrogen species. Anion-driven metallicity is expected to be found among a variety of compounds with homoatomic anions (e.g., polynitrides, carbides, and oxides), with the conduction electrons playing a decisive role in their properties.


title: The surroundings of the Milky Way globular cluster NGC 6809

abstract: We study the outer regions of the Milky Way globular cluster NGC6809 based on Dark Energy Camera (DECam) observations, which reach nearly 6 mag below the cluster main sequence (MS) turnoff. In order to unveil its fainter outermost structure, we built stellar density maps using cluster MS stars, once the contamination of field stars was removed from the cluster color-magnitude diagram. We found that only the resulting stellar density map for the lightest stars exhibits some excesses of stars at opposite sides from the cluster centre that diminish soon thereafter at ~ 0.32 deg. Studied globular clusters with apogalactic distances smaller than that of NGC6809 (5.5 kpc) do not have observed tidal tails. The lack of detection of tidal tails in the studied inner globular cluster sample could be due to the reduced diffusion time of tidal tails by the kinematically chaotic nature of the orbits of these globular clusters, thus shortening the time interval during which the tidal tails can be detected. Further investigations with an enlarged cluster sample are needed to confirm whether chaotic and non-chaotic orbits are responsible for the existence of globular clusters with tidal tails and those with extra-tidal features that are different from tidal tails or without any signatures of extended stellar density profiles.


title: The FVC scheme on unstructured meshes for the two-dimensional Shallow Water Equations

abstract: The fluid flow transport and hydrodynamic problems often take the form of hyperbolic systems of conservation laws. In this work we will present a new scheme of finite volume methods for solving these evolution equations. It is a family of finite volume Eulerian-Lagrangian methods for the solution of non-linear problems in two space dimensions on unstructured triangular meshes. The proposed approach belongs to the class of predictor-corrector procedures where the numerical fluxes are reconstructed using the method of characteristics, while an Eulerian method is used to discretize the conservation equation in a finite volume framework. The scheme is accurate, conservative and it combines advantages of the modified method of characteristics to accurately solve the non-linear conservation laws with a finite volume method to discretize the equations. The proposed Finite Volume Characteristics (FVC) scheme is also non-oscillatory and avoids the need to solve a Riemann problem. Several test examples will be presented for the shallow water equations. The results will be compared to those obtained with the Roe.


title: Global Strong and Weak Solutions to the Initial-boundary-value Problem of 2D Compressible MHD System with Large Initial Data and Vacuum

abstract: In this paper, we study the barotropic compressible magnetohydrodynamic equations with the shear viscosity being a positive constant and the bulk one being proportional to a power of the density in a general two-dimensional bounded simply connected domain. For initial density allowed to vanish, we prove that the initial-boundary-value problem of 2D compressible MHD system admits the global strong and weak solutions without any restrictions on the size of initial data provided the shear viscosity is a positive constant and bulk one is $\lambda=\rho^\beta$ with $\beta>4/3$. As we known, this is the first result concerning the global existence of strong solutions to the compressible MHD system in general two-dimensional bounded domains with large initial data and vacuum.


title: A Polynomial-time, Truthful, Individually Rational and Budget Balanced Ridesharing Mechanism

abstract: Ridesharing has great potential to improve transportation efficiency while reducing congestion and pollution. To realize this potential, mechanisms are needed that allocate vehicles optimally and provide the right incentives to riders. However, many existing approaches consider restricted settings (e.g., only one rider per vehicle or a common origin for all riders). Moreover, naive applications of standard approaches, such as the Vickrey-Clarke-Groves or greedy mechanisms, cannot achieve a polynomial-time, truthful, individually rational and budget balanced mechanism. To address this, we formulate a general ridesharing problem and apply mechanism design to develop a novel mechanism which satisfies all four properties and whose social cost is within 8.6% of the optimal on average.


title: WSSOD: A New Pipeline for Weakly- and Semi-Supervised Object Detection

abstract: The performance of object detection, to a great extent, depends on the availability of large annotated datasets. To alleviate the annotation cost, the research community has explored a number of ways to exploit unlabeled or weakly labeled data. However, such efforts have met with limited success so far. In this work, we revisit the problem with a pragmatic standpoint, trying to explore a new balance between detection performance and annotation cost by jointly exploiting fully and weakly annotated data. Specifically, we propose a weakly- and semi-supervised object detection framework (WSSOD), which involves a two-stage learning procedure. An agent detector is first trained on a joint dataset and then used to predict pseudo bounding boxes on weakly-annotated images. The underlying assumptions in the current as well as common semi-supervised pipelines are also carefully examined under a unified EM formulation. On top of this framework, weakly-supervised loss (WSL), label attention and random pseudo-label sampling (RPS) strategies are introduced to relax these assumptions, bringing additional improvement on the efficacy of the detection pipeline. The proposed framework demonstrates remarkable performance on PASCAL-VOC and MSCOCO benchmark, achieving a high performance comparable to those obtained in fully-supervised settings, with only one third of the annotations.


title: Introducing the Talk Markup Language (TalkML):Adding a little social intelligence to industrial speech interfaces

abstract: Virtual Personal Assistants like Siri have great potential but such developments hit the fundamental problem of how to make computational devices that understand human speech. Natural language understanding is one of the more disappointing failures of AI research and it seems there is something we computer scientists don't get about the nature of language. Of course philosophers and linguists think quite differently about language and this paper describes how we have taken ideas from other disciplines and implemented them. The background to the work is to take seriously the notion of language as action and look at what people actually do with language using the techniques of Conversation Analysis. The observation has been that human communication is (behind the scenes) about the management of social relations as well as the (foregrounded) passing of information. To claim this is one thing but to implement it requires a mechanism. The mechanism described here is based on the notion of language being intentional - we think intentionally, talk about them and recognise them in others - and cooperative in that we are compelled to help out. The way we are compelled points to a solution to the ever present problem of keeping the human on topic. The approach has led to a recent success in which we significantly improve user satisfaction independent of task completion. Talk Markup Language (TalkML) is a draft alternative to VoiceXML that, we propose, greatly simplifies the scripting of interaction by providing default behaviours for no input and not recognised speech events.


title: Non-commutative measure theory: Henkin and analytic functionals on $\mathrm{C}^*$-algebras

abstract: Henkin functionals on non-commutative $\mathrm{C}^*$-algebras have recently emerged as a pivotal link between operator theory and complex function theory in several variables. Our aim in this paper is characterize these functionals through a notion of absolute continuity, inspired by a seminal theorem of Cole and Range. To do this, we recast the problem as a question in non-commutative measure theory. We develop a Glicksberg--K\"onig--Seever decomposition of the dual space of a $\mathrm{C}^*$-algebra into an absolutely continuous part and a singular part, relative to a fixed convex subset of states. Leveraging this tool, we show that Henkin functionals are absolutely continuous with respect to the so-called analytic functionals if and only if a certain compatibility condition is satisfied by the ambient weak-$*$ topology. In contrast with the classical setting, the issue of stability under absolute continuity is not automatic in this non-commutative framework, and we illustrate its key role in sharpening our description of Henkin functionals. Our machinery yields new insight when specialized to the multiplier algebras of the Drury--Arveson space and of the Dirichlet space, and to Popescu's noncommutative disc algebra. As another application, we make a contribution to the theory of non-commutative peak and interpolation sets.


title: On the selection of prospective sources for ICRF extension

abstract: Despite continuous increasing of the number of ICRF sources, their sky coverage is still not satisfactory. The goal of this study is to discuss some new considerations for extending the ICRF source list. Statistical analysis of the ICRF catalog allows us to identify less populated sky regions where new ICRF sources or additional observations of the current ICRF sources are most desirable to improve both the uniformity of the source distribution and the uniformity of the distribution of the position errors. It is also desirable to include more sources with high redshift in the ICRF list. These sources may be of interest for astrophysics. To select prospective new ICRF sources, the OCARS catalog is used. The number of sources in OCARS is about three times greater than in the ICRF3, which gives us an opportunity to select new ICRF sources that have already be tested and detected in astrometric and geodetic VLBI experiments.


title: Capturing links in spatial complete graphs

abstract: We say that a set of pairs of disjoint cycles $\Lambda(G)$ of a graph $G$ is linked if for any spatial embedding $f$ of $G$ there exists an element $\lambda$ of $\Lambda(G)$ such that the $2$-component link $f(\lambda)$ is nonsplittable, and also say minimally linked if none of its proper subsets are linked. In this paper, (1) we show that the set of all pairs of disjoint cycles of $G$ is minimally linked if and only if $G$ is essentially same as a graph in the Petersen family, and (2) for any two integers $p,q\ge 3$, we exhibit a minimally linked set of Hamiltonian $(p,q)$-pairs of cycles of the complete graph $K_{p+q}$ with at most eighteen elements.


title: Dimensions of Kleinian orbital sets

abstract: Given a non-empty bounded subset of hyperbolic space and a Kleinian group acting on that space, the orbital set is the orbit of the given set under the action of the group. We may view orbital sets as bounded (often fractal) subsets of Euclidean space. We prove that the upper box dimension of an orbital set is given by the maximum of three quantities: the upper box dimension of the given set; the Poincar\'e exponent of the Kleinian group; and the upper box dimension of the limit set of the Kleinian group. Since we do not make any assumptions about the Kleinian group, none of the terms in the maximum can be removed in general. We show by constructing an explicit example that the (hyperbolic) boundedness assumption on $C$ cannot be removed in general.


title: Fixed-Dimensional and Permutation Invariant State Representation of Autonomous Driving

abstract: In this paper, we propose a new state representation method, called encoding sum and concatenation (ESC), for the state representation of decision-making in autonomous driving. Unlike existing state representation methods, ESC is applicable to a variable number of surrounding vehicles and eliminates the need for manually pre-designed sorting rules, leading to higher representation ability and generality. The proposed ESC method introduces a representation neural network (NN) to encode each surrounding vehicle into an encoding vector, and then adds these vectors to obtain the representation vector of the set of surrounding vehicles. By concatenating the set representation with other variables, such as indicators of the ego vehicle and road, we realize the fixed-dimensional and permutation invariant state representation. This paper has further proved that the proposed ESC method can realize the injective representation if the output dimension of the representation NN is greater than the number of variables of all surrounding vehicles. This means that by taking the ESC representation as policy inputs, we can find the nearly optimal representation NN and policy NN by simultaneously optimizing them using gradient-based updating. Experiments demonstrate that compared with the fixed-permutation representation method, the proposed method improves the representation ability of the surrounding vehicles, and the corresponding approximation error is reduced by 62.2%.


title: Magnetic excitations in infinite-layer nickelates

abstract: The discovery of superconductivity in infinite-layer nickelates brings us tantalizingly close to a new material class that mirrors the cuprate superconductors. Here, we report on magnetic excitations in these nickelates, measured using resonant inelastic x-ray scattering (RIXS) at the Ni L3-edge, to shed light on the material complexity and microscopic physics. Undoped NdNiO2 possesses a branch of dispersive excitations with a bandwidth of approximately 200 meV, reminiscent of strongly-coupled, antiferromagnetically aligned spins on a square lattice, despite a lack of evidence for long range magnetic order. The significant damping of these modes indicates the importance of coupling to rare-earth itinerant electrons. Upon doping, the spectral weight and energy decrease slightly, while the modes become overdamped. Our results highlight the role of Mottness in infinite-layer nickelates.


title: DaN+: Danish Nested Named Entities and Lexical Normalization

abstract: This paper introduces DaN+, a new multi-domain corpus and annotation guidelines for Danish nested named entities (NEs) and lexical normalization to support research on cross-lingual cross-domain learning for a less-resourced language. We empirically assess three strategies to model the two-layer Named Entity Recognition (NER) task. We compare transfer capabilities from German versus in-language annotation from scratch. We examine language-specific versus multilingual BERT, and study the effect of lexical normalization on NER. Our results show that 1) the most robust strategy is multi-task learning which is rivaled by multi-label decoding, 2) BERT-based NER models are sensitive to domain shifts, and 3) in-language BERT and lexical normalization are the most beneficial on the least canonical data. Our results also show that an out-of-domain setup remains challenging, while performance on news plateaus quickly. This highlights the importance of cross-domain evaluation of cross-lingual transfer.


title: Maximal violation of steering inequalities and the matrix cube

abstract: In this work, we characterize the amount of steerability present in quantum theory by connecting the maximal violation of a steering inequality to an inclusion problem of free spectrahedra. In particular, we show that the maximal violation of an arbitrary unbiased dichotomic steering inequality is given by the inclusion constants of the matrix cube, which is a well-studied object in convex optimization theory. This allows us to find new upper bounds on the maximal violation of steering inequalities and to show that previously obtained violations are optimal. In order to do this, we prove lower bounds on the inclusion constants of the complex matrix cube, which might be of independent interest. Finally, we show that the inclusion constants of the matrix cube and the matrix diamond are the same. This allows us to derive new bounds on the amount of incompatibility available in dichotomic quantum measurements in fixed dimension.


title: Challenges of Translating HPC codes to Workflows for Heterogeneous and Dynamic Environments

abstract: In this paper we would like to share our experience for transforming a parallel code for a Computational Fluid Dynamics (CFD) problem into a parallel version for the RedisDG workflow engine. This system is able to capture heterogeneous and highly dynamic environments, thanks to opportunistic scheduling strategies. We show how to move to the field of "HPC as a Service" in order to use heterogeneous platforms. We mainly explain, through the CFD use case, how to transform the parallel code and we exhibit challenges to 'unfold' the task graph dynamically in order to improve the overall performance (in a broad sense) of the workflow engine. We discuss in particular of the impact on the workflow engine of such dynamic feature. This paper states that new models for High Performance Computing are possible, under the condition we revisit our mind in the direction of the potential of new paradigms such as cloud, edge computing.


title: Fractional quantum Hall effect driven by multi-particle correlations in edge current

abstract: The fractional quantum Hall effect has been considered as a puzzling quantum many-body phenomenon that has yet to be fully explained. The plateau width and excitation energy gap are particularly problematic. We report here that those two are determined by degrees of multi-particle correlations among the skipping electrons forming the edge current flowing in incompressible strips (ISs). Consideration of the total angular momentum of correlated skipping electrons and their images, which are introduced to eliminate the confining potential within the IS, yields additional Zeeman energies that hierarchically split the Landau levels (LLs) by correlation order. This level splitting produces all the odd-denominator plateaus and explains the occurrence of fractional charges, while the split distances representing the correlation strengths determine both plateau widths and excitation energy gaps. With such a scheme, we explicitly reproduce an experimental Hall resistivity curve for the lowest LL and reveal the characteristics of the half-filling state.


title: Slow Relaxation of Photogenerated Charge Carriers Boosts Open-Circuit Voltage of Organic Solar Cells

abstract: Among the parameters determining the efficiency of an organic solar cell, the open-circuit voltage ($V_\text{OC}$) is the one with most room for improvement. Existing models for the description of $V_\text{OC}$ assume that photogenerated charge carriers are thermalized. Here, we demonstrate that quasi-equilibrium concepts cannot fully describe $V_\text{OC}$ of disordered organic devices. For two representative donor:acceptor blends it is shown that $V_\text{OC}$ is actually 0.1-0.2 V higher than it would be if the system was in thermodynamic equilibrium. Extensive numerical modeling reveals that the excess energy is mainly due to incomplete relaxation in the disorder-broadened density of states. These findings indicate that organic solar cells work as nonequilibrium devices, in which part of the photon excess energy is harvested in the form of an enhanced $V_\text{OC}$.


title: QCD analysis of pion fragmentation functions in the xFitter framework

abstract: We present the first open-source analysis of fragmentation functions (FFs) of charged pions (entitled IPM-xFitter) computed at next-to-leading order (NLO) and next-to-next-to-leading order (NNLO) accuracy in perturbative QCD using the xFitter framework. This study incorporates a comprehensive and up-to-date set of pion production data from single-inclusive annihilation (SIA) processes, as well as the most recent measurements of inclusive cross-sections of single pion by the BELLE collaboration. The determination of pion FFs along with their theoretical uncertainties is performed in the Zero-Mass Variable-Flavor Number Scheme (ZM-VFNS). We also present comparisons of our FFs set with recent fits from the literature. The resulting NLO and NNLO pion FFs provide valuable insights for applications in present and future high-energy analysis of pion final state processes.


title: LineCounter: Learning Handwritten Text Line Segmentation by Counting

abstract: Handwritten Text Line Segmentation (HTLS) is a low-level but important task for many higher-level document processing tasks like handwritten text recognition. It is often formulated in terms of semantic segmentation or object detection in deep learning. However, both formulations have serious shortcomings. The former requires heavy post-processing of splitting/merging adjacent segments, while the latter may fail on dense or curved texts. In this paper, we propose a novel Line Counting formulation for HTLS -- that involves counting the number of text lines from the top at every pixel location. This formulation helps learn an end-to-end HTLS solution that directly predicts per-pixel line number for a given document image. Furthermore, we propose a deep neural network (DNN) model LineCounter to perform HTLS through the Line Counting formulation. Our extensive experiments on the three public datasets (ICDAR2013-HSC, HIT-MW, and VML-AHTE) demonstrate that LineCounter outperforms state-of-the-art HTLS approaches. Source code is available at https://github.com/Leedeng/Line-Counter.


title: A General Theory for the Evolution of Application Models -- Full version

abstract: In this article we focus on evolving information systems. First a delimitation of the concept of evolution is provided, resulting in a first attempt to a general theory for such evolutions. The theory makes a distinction between the underlying information structure at the conceptual level, its evolution on the one hand, and the description and semantics of operations on the information structure and its population on the other hand. Main issues within this theory are object typing, type relatedness and identification of objects. In terms of these concepts, we propose some axioms on the well-formedness of evolution. In this general theory, the underlying data model is a parameter, making the theory applicable for a wide range of modelling techniques, including object-role modelling and object oriented techniques.


title: Efficiently Solving High-Order and Nonlinear ODEs with Rational Fraction Polynomial: the Ratio Net

abstract: Recent advances in solving ordinary differential equations (ODEs) with neural networks have been remarkable. Neural networks excel at serving as trial functions and approximating solutions within functional spaces, aided by gradient backpropagation algorithms. However, challenges remain in solving complex ODEs, including high-order and nonlinear cases, emphasizing the need for improved efficiency and effectiveness. Traditional methods have typically relied on established knowledge integration to improve problem-solving efficiency. In contrast, this study takes a different approach by introducing a new neural network architecture for constructing trial functions, known as ratio net. This architecture draws inspiration from rational fraction polynomial approximation functions, specifically the Pade approximant. Through empirical trials, it demonstrated that the proposed method exhibits higher efficiency compared to existing approaches, including polynomial-based and multilayer perceptron (MLP) neural network-based methods. The ratio net holds promise for advancing the efficiency and effectiveness of solving differential equations.


title: A non-perturbative study of bulk photovoltaic effect enhanced by an optically induced phase transition

abstract: Solid systems with strong correlations and interactions under light illumination have the potential for exhibiting interesting bulk photovoltaic behavior in the non-perturbative regime, which has remained largely unexplored in the past theoretical studies. We investigate the bulk photovoltaic response of a perovskite manganite with strongly coupled electron-spin-lattice dynamics, using real-time simulations performed with a tight-binding model. The transient changes in the band structure and the photoinduced phase transitions, emerging from spin and phonon dynamics, result in a nonlinear current versus intensity behavior beyond the perturbative limit. The current rises sharply across a photoinduced magnetic phase transition, which later saturates at higher light intensities due to excited phonon and spin modes. The predicted peak photoresponsivity is orders of magnitude higher than other known ferroelectric oxides such as BiFeO$_3$. We disentangle phonon-and spin-assisted components to the ballistic photocurrent, showing that they are comparable in magnitude. Our results illustrate a promising alternative way for controlling and optimizing the bulk photovoltaic response through the photoinduced phase transitions in strongly-correlated systems.


title: Revised Best Estimates for the Age and Mass of the Methuselah Star HD 140283 using MESA and Interferometry and Implications for 1D Convection

abstract: In light of recently revised observational measurements of the radius and spectroscopic parameters of the extremely old and metal-poor Gaia benchmark star HD 140283 -- also known as the Methuselah star due to prior suggestions that its age is in tension with the age of the Universe -- we present new, best estimates for the star's mass and age from stellar modeling. These are derived using 1D stellar evolutionary tracks computed with MESA and the most up-to-date measurements from CHARA interferometry. Excluding modeling variance from the uncertainties, we report a mass of $0.809 \pm 0.001 M_{\odot}$ and an age of $12.01 \pm 0.05$ Gyr ($1 \sigma$). When dominant sources of modeling uncertainty are taken into account, we report $0.81 \pm 0.05 M_{\odot}$ and $12 \pm 0.5$ Gyr, respectively. These results are consistent with recent literature, and the best-fitting age is not in conflict with the currently accepted age of the universe ($13.5$ Gyr; arXiv:1303.5089 [astro-ph.CO]).


title: Real-time Human Action Recognition Using Locally Aggregated Kinematic-Guided Skeletonlet and Supervised Hashing-by-Analysis Model

abstract: 3D action recognition is referred to as the classification of action sequences which consist of 3D skeleton joints. While many research work are devoted to 3D action recognition, it mainly suffers from three problems: highly complicated articulation, a great amount of noise, and a low implementation efficiency. To tackle all these problems, we propose a real-time 3D action recognition framework by integrating the locally aggregated kinematic-guided skeletonlet (LAKS) with a supervised hashing-by-analysis (SHA) model. We first define the skeletonlet as a few combinations of joint offsets grouped in terms of kinematic principle, and then represent an action sequence using LAKS, which consists of a denoising phase and a locally aggregating phase. The denoising phase detects the noisy action data and adjust it by replacing all the features within it with the features of the corresponding previous frame, while the locally aggregating phase sums the difference between an offset feature of the skeletonlet and its cluster center together over all the offset features of the sequence. Finally, the SHA model which combines sparse representation with a hashing model, aiming at promoting the recognition accuracy while maintaining a high efficiency. Experimental results on MSRAction3D, UTKinectAction3D and Florence3DAction datasets demonstrate that the proposed method outperforms state-of-the-art methods in both recognition accuracy and implementation efficiency.


title: Verification of Dissipativity and Evaluation of Storage Function in Economic Nonlinear MPC using Q-Learning

abstract: In the Economic Nonlinear Model Predictive (ENMPC) context, closed-loop stability relates to the existence of a storage function satisfying a dissipation inequality. Finding the storage function is in general -- for nonlinear dynamics and cost -- challenging, and has attracted attentions recently. Q-Learning is a well-known Reinforcement Learning (RL) techniques that attempts to capture action-value functions based on the state-input transitions and stage cost of the system. In this paper, we present the use of the Q-Learning approach to obtain the storage function and verify the dissipativity for discrete-time systems subject to state-input constraints. We show that undiscounted Q-learning is able to capture the storage function for dissipative problems when the parameterization is rich enough. The efficiency of the proposed method will be illustrated in the different case studies.


title: RobeCzech: Czech RoBERTa, a monolingual contextualized language representation model

abstract: We present RobeCzech, a monolingual RoBERTa language representation model trained on Czech data. RoBERTa is a robustly optimized Transformer-based pretraining approach. We show that RobeCzech considerably outperforms equally-sized multilingual and Czech-trained contextualized language representation models, surpasses current state of the art in all five evaluated NLP tasks and reaches state-of-the-art results in four of them. The RobeCzech model is released publicly at https://hdl.handle.net/11234/1-3691 and https://huggingface.co/ufal/robeczech-base.


title: Collider Prospects for Muon $g-2$ in General Two Higgs Doublet Model

abstract: Recent progress on muon $g-2$ measurement prompts one to take it even more seriously. In the general two Higgs doublet model that allows extra Yukawa couplings, we take a simplified approach of single enhanced coupling. We fix the charged lepton flavor violating coupling, $\rho_{\tau\mu} = \rho_{\mu\tau}$, via the one-loop mechanism, for illustrative masses of the heavy scalar $H$ and pseudoscalar $A$, where we assume $m_A = m_{H^+}$. Since extra top Yukawa couplings are plausibly the largest, we turn on $\rho_{tt}$ and find that LHC search for $gg \to H,\,A \to \tau\mu$ gives more stringent bound than from $\tau\to \mu\gamma$ with two-loop mechanism. Turning on a second extra top Yukawa coupling, $\rho_{tc}$, can loosen the bound on $\rho_{tt}$, but LHC constraints can again be more stringent than from $B \to D\mu\nu$ vs $De\nu$ universality. This means that evidence for $H,\,A \to \tau\mu$ may yet emerge with full LHC Run 2 data, while direct search for $\tau^\pm\mu^\mp bW^+$ or $t\bar cbW^+$ (plus conjugate) may also bear fruit.


title: Rankin-Cohen brackets of eigenforms and modular forms

abstract: We use Maeda's Conjecture to prove that the Rankin-Cohen bracket of an eigenform and any modular form is only an eigenform when forced to be because of the dimensions of the underlying spaces. We further determine when the Rankin-Cohen bracket of an eigenform and modular form is not forced to produce an eigenform and when it is determined by the injectivity of the operator itself. This can also be interpreted as using the Rankin-Cohen bracket operator of eigenforms to create evidence for Maeda's Conjecture.


title: On $(t,r)$ broadcast domination of directed graphs

abstract: A dominating set of a graph $G$ is a set of vertices that contains at least one endpoint of every edge on the graph. The domination number of $G$ is the order of a minimum dominating set of $G$. The $(t,r)$ broadcast domination is a generalization of domination in which a set of broadcasting vertices emits signals of strength $t$ that decrease by 1 as they traverse each edge, and we require that every vertex in the graph receives a cumulative signal of at least $r$ from its set of broadcasting neighbors. In this paper, we extend the study of $(t,r)$ broadcast domination to directed graphs. Our main result explores the interval of values obtained by considering the directed $(t,r)$ broadcast domination numbers of all orientations of a graph $G$. In particular, we prove that in the cases $r=1$ and $(t,r) = (2,2)$, for every integer value in this interval, there exists an orientation $\vec{G}$ of $G$ which has directed $(t,r)$ broadcast domination number equal to that value. We also investigate directed $(t,r)$ broadcast domination on the finite grid graph, the star graph, the infinite grid graph, and the infinite triangular lattice graph. We conclude with some directions for future study.


title: Constructing maximal cofinitary groups

abstract: Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $\textsf{ZF}$, that is, without using the Axiom of Choice) maximal cofinitary groups. Among the groups we construct, one is definable by a formula in second order arithmetic with only a few natural number quantifiers.


title: Machine learning approaches for feature engineering of the crystal structure: Application to the prediction of the formation energy of cubic compounds

abstract: In this study, we present a novel approach along with the needed computational strategies for efficient and scalable feature engineering of the crystal structure in compounds of different chemical compositions. This approach utilizes a versatile and extensible framework for the quantification of a three-dimensional (3-D) voxelized crystal structure in the form of 2-point spatial correlations of multiple atomic attributes and performs principal component analysis to extract the low-dimensional features that could be used to build surrogate models for material properties of interest. An application of the proposed feature engineering framework is demonstrated on a case study involving the prediction of the formation energies of crystalline compounds using two vastly different surrogate model building strategies - local Gaussian process regression and neural networks. Specifically, it is shown that the top 25 features (i.e., principal component scores) identified by the proposed framework serve as good regressors for the formation energy of the crystalline substance for both model building strategies.


title: SuMa++: Efficient LiDAR-based Semantic SLAM

abstract: Reliable and accurate localization and mapping are key components of most autonomous systems. Besides geometric information about the mapped environment, the semantics plays an important role to enable intelligent navigation behaviors. In most realistic environments, this task is particularly complicated due to dynamics caused by moving objects, which can corrupt the mapping step or derail localization. In this paper, we propose an extension of a recently published surfel-based mapping approach exploiting three-dimensional laser range scans by integrating semantic information to facilitate the mapping process. The semantic information is efficiently extracted by a fully convolutional neural network and rendered on a spherical projection of the laser range data. This computed semantic segmentation results in point-wise labels for the whole scan, allowing us to build a semantically-enriched map with labeled surfels. This semantic map enables us to reliably filter moving objects, but also improve the projective scan matching via semantic constraints. Our experimental evaluation on challenging highways sequences from KITTI dataset with very few static structures and a large amount of moving cars shows the advantage of our semantic SLAM approach in comparison to a purely geometric, state-of-the-art approach.


title: Neural Language Models for Nineteenth-Century English

abstract: We present four types of neural language models trained on a large historical dataset of books in English, published between 1760-1900 and comprised of ~5.1 billion tokens. The language model architectures include static (word2vec and fastText) and contextualized models (BERT and Flair). For each architecture, we trained a model instance using the whole dataset. Additionally, we trained separate instances on text published before 1850 for the two static models, and four instances considering different time slices for BERT. Our models have already been used in various downstream tasks where they consistently improved performance. In this paper, we describe how the models have been created and outline their reuse potential.


title: Quantum Annealing Continuous Optimisation in Renewable Energy

abstract: Renewable energy optimisation poses computationally-intensive challenges. Yet, often the continuous nature of the decision space precludes the use of many emerging, non-von-Neumann computing platforms such as quantum annealing, which are limited to discrete problems. We propose Quantum Annealing Continuous Optimisation (QuAnCO), a Trust Region (TR)-based algorithm, where the TR Newton sub-problem is transformed into Quadratic Unconstrained Binary Optimisation (QUBO), thereby allowing the use of Ising solvers such as D-Wave's quantum annealer. This transformation to QUBO is done by 1) using a hyper-rectangular shape for the TR, 2) discrete representation of each continuous dimension using an interval-bounded integer, and 3) binary encoding of the resulting bounded integers. We tackle a real-world challenge of optimising the biomass mix selection for Nature Energy, the largest biogas producer in Europe, thus providing evidence of feasibility and performance advantage in using QuAnCO in green energy production, and beyond.


title: Two-to-one mappings and involutions without fixed points over $\bF_{2^n}$

abstract: In this paper, two-to-one mappings and involutions without any fixed point on finite fields of even characteristic are investigated. First, we characterize a closed relationship between them by implicit functions and develop an AGW-like criterion for 2-to-1 mappings. Using this criterion, some new constructions of 2-to-1 mappings are proposed and eight classes of 2-to-1 mappings of the form $(x^{2^k}+x+\delta)^{s}+cx$ are obtained. Finally, a number of classes of involutions without any fixed point are derived from the known 2-to-1 mappings by the relation between them.


title: The Calder\'{o}n problem for the fractional wave equation: Uniqueness and optimal stability

abstract: We study an inverse problem for the fractional wave equation with a potential by the measurement taking on arbitrary subsets of the exterior in the space-time domain. We are interested in the issues of uniqueness and stability estimate in the determination of the potential by the exterior Dirichlet-to-Neumann map. The main tools are the qualitative and quantitative unique continuation properties for the fractional Laplacian. For the stability, we also prove that the log type stability estimate is optimal. The log type estimate shows the striking difference between the inverse problems for the fractional and classical wave equations in the stability issue. The results hold for any spatial dimension $n\in \N$.


title: Representation stability for homotopy automorphisms

abstract: We consider in parallel pointed homotopy automorphisms of iterated wedge sums of topological spaces and boundary relative homotopy automorphisms of iterated connected sums of manifolds minus a disk. Under certain conditions on the spaces and manifolds, we prove that the rational homotopy groups of these homotopy automorphisms form finitely generated FI-modules, and thus satisfy representation stability for symmetric groups, in the sense of Church and Farb.


title: Towards 3D-Printed Inverse-Designed Metaoptics

abstract: Optical metasurfaces have been heralded as the platform to integrate multiple functionalities in a compact form-factor, potentially replacing bulky components. A central stepping stone towards realizing this promise is the demonstration of multifunctionality under several constraints (e.g. at multiple incident wavelengths and/or angles) in a single device -- an achievement being hampered by design limitations inherent to single-layer planar geometries. Here, we propose a general framework for the inverse design of volumetric 3D metaoptics via topology optimization, showing that even few-wavelength thick devices can achieve high-efficiency multifunctionality. We embody our framework in multiple closely-spaced patterned layers of a low-index polymer. We experimentally demonstrate our approach with an inverse-designed 3d-printed light concentrator working at five different non-paraxial angles of incidence. Our framework paves the way towards realizing multifunctional ultra-compact 3D nanophotonic devices.


title: Enhancing Heat Transport in Multiphase Rayleigh-B\'enard Turbulence by Changing the Plate-Liquid Contact Angles

abstract: This numerical study presents a simple but extremely effective way to considerably enhance heat transport in turbulent multiphase flows, namely by using oleophilic walls. As a model system, we pick the Rayleigh-B\'enard setup, filled with an oil-water mixture. For oleophilic walls, e.g. using only $10\%$ volume fraction of oil in water, we observe a remarkable heat transport enhancement of more than $100\%$ as compared to the pure water case. In contrast, for oleophobic walls, the enhancement is then only about $20\%$ as compared to pure water. The physical explanation of the highly-efficient heat transport for oleophilic walls is that thermal plumes detach from the oil-rich boundary layer and are transported together with the oil phase. In the bulk, the oil-water interface prevents the plumes to mix with the turbulent water bulk. To confirm this physical picture, we show that the minimum amount of oil to achieve the maximum heat transport is set by the volume fraction of the thermal plumes. Our findings provide guidelines of how to optimize heat transport in thermal turbulence. Moreover, the physical insight of how coherent structures are coupled with one phase of a two-phase system has very general applicability for controlling transport properties in other turbulent multiphase flows.


title: Room Clearance with Feudal Hierarchical Reinforcement Learning

abstract: Reinforcement learning (RL) is a general framework that allows systems to learn autonomously through trial-and-error interaction with their environment. In recent years combining RL with expressive, high-capacity neural network models has led to impressive performance in a diverse range of domains. However, dealing with the large state and action spaces often required for problems in the real world still remains a significant challenge. In this paper we introduce a new simulation environment, "Gambit", designed as a tool to build scenarios that can drive RL research in a direction useful for military analysis. Using this environment we focus on an abstracted and simplified room clearance scenario, where a team of blue agents have to make their way through a building and ensure that all rooms are cleared of (and remain clear) of enemy red agents. We implement a multi-agent version of feudal hierarchical RL that introduces a command hierarchy where a commander at the higher level sends orders to multiple agents at the lower level who simply have to learn to follow these orders. We find that breaking the task down in this way allows us to solve a number of non-trivial floorplans that require the coordination of multiple agents much more efficiently than the standard baseline RL algorithms we compare with. We then go on to explore how qualitatively different behaviour can emerge depending on what we prioritise in the agent's reward function (e.g. clearing the building quickly vs. prioritising rescuing civilians).


title: Magneto-rotational instability in magnetically polarized discs

abstract: The magneto-rotational instability (MRI) is the most likely mechanism for transportation of angular momentum and dissipation of energy within hot, ionized accretion discs. This instability is produced through the interactions of a differentially rotating plasma with an embedded magnetic field. Like all substances in nature, the plasma in an accretion disc has the potential to become magnetically polarized when it interacts with the magnetic field. In this paper, we study the effect of this magnetic susceptibility, parameterized by $\chi_m$, on the MRI, specifically within the context of black hole accretion. We find from a linear analysis within the Newtonian limit that the minimum wavelength of the first unstable mode and the wavelength of the fastest growing mode are shorter in paramagnetic ($\chi_m>0$) than in diamagnetic ($\chi_m<0$) discs, all other parameters being equal. Furthermore, the magnetization parameter (ratio of gas to magnetic pressure) in the saturated state should be smaller when the magnetic susceptibility is positive than when it is negative. We confirm this latter prediction through a set of numerical simulations of magnetically polarized black hole accretion discs. We additionally find that the vertically integrated stress and mass accretion rate are somewhat larger when the disc is paramagnetic than when it is diamagnetic. If astrophysical discs are able to become magnetically polarized to any significant degree, then our results would be relevant to properly interpreting observations.


title: Optomechanical circulator with a polaritonic microcavity

abstract: We study theoretically optomechanical interactions in a semiconductor microcavity with embedded quantum well under the optical pumping by a Bessel beam, carrying a non-zero orbital momentum. Due to the transfer of orbital momentum from light to phonons, the microcavity can act as an acoustic circulator: it rotates the propagation direction of the incident phonon by a certain angle clockwise or anticlockwise. Due to the optomechanical heating and cooling effects, the circulator can also function as an acoustic laser emitting sound with nonzero angular momentum. Our calculations demonstrate the potential of semiconductor microcavities for compact integrable optomechanical devices.


title: Localizable locally determined measurable spaces with negligibles

abstract: We study measurable spaces equipped with a $\sigma$-ideal of negligible sets. We find conditions under which they admit a localizable locally determined version -- a kind of fiber space that describes locally their directions -- defined by a universal property in an appropriate category that we introduce. These methods allow to promote each measure space $(X, \mathcal{A},\mu)$ to a strictly localizable version $(\hat{X}, \hat{\mathcal{A}},\hat{\mu})$, so that the dual of $L_1(X, \mathcal{A}, \mu)$ is $L_\infty(\hat{X},\hat{\mathcal{A}},\hat{\mu})$. Corresponding to this duality is a generalized Radon-Nikod\'ym theorem. We also provide a characterization of the strictly localizable version in special cases that include integral geometric measures, when the negligibles are the purely unrectifiable sets in a given dimension.


title: Physical Layer Security for UAV Communications in 5G and Beyond Networks

abstract: Due to its high mobility and flexible deployment, unmanned aerial vehicle (UAV) is drawing unprecedented interest in both military and civil applications to enable agile wireless communications and provide ubiquitous connectivity. Mainly operating in an open environment, UAV communications can benefit from dominant line-of-sight links; however, it on the other hand renders the UAVs more vulnerable to malicious eavesdropping or jamming attacks. Recently, physical layer security (PLS), which exploits the inherent randomness of the wireless channels for secure communications, has been introduced to UAV systems as an important complement to the conventional cryptography-based approaches. In this paper, a comprehensive survey on the current achievements of the UAV-aided wireless communications is conducted from the PLS perspective. We first introduce the basic concepts of UAV communications including the typical static/mobile deployment scenarios, the unique characteristics of air-to-ground channels, as well as various roles that a UAV may act when PLS is concerned. Then, we introduce the widely used secrecy performance metrics and start by reviewing the secrecy performance analysis and enhancing techniques for statically deployed UAV systems, and extend the discussion to a more general scenario where the UAVs' mobility is further exploited. For both cases, respectively, we summarize the commonly adopted methodologies in the corresponding analysis and design, then describe important works in the literature in detail. Finally, potential research directions and challenges are discussed to provide an outlook for future works in the area of UAV-PLS in 5G and beyond networks.


title: Multi-modal Understanding and Generation for Medical Images and Text via Vision-Language Pre-Training

abstract: Recently a number of studies demonstrated impressive performance on diverse vision-language multi-modal tasks such as image captioning and visual question answering by extending the BERT architecture with multi-modal pre-training objectives. In this work we explore a broad set of multi-modal representation learning tasks in the medical domain, specifically using radiology images and the unstructured report. We propose Medical Vision Language Learner (MedViLL), which adopts a BERT-based architecture combined with a novel multi-modal attention masking scheme to maximize generalization performance for both vision-language understanding tasks (diagnosis classification, medical image-report retrieval, medical visual question answering) and vision-language generation task (radiology report generation). By statistically and rigorously evaluating the proposed model on four downstream tasks with three radiographic image-report datasets (MIMIC-CXR, Open-I, and VQA-RAD), we empirically demonstrate the superior downstream task performance of MedViLL against various baselines, including task-specific architectures. The source code is publicly available at: https://github.com/SuperSupermoon/MedViLL


title: The Dynamics involved in the 3N+1-problem

abstract: The 3N+1-problem, also known as The Collatz Conjecture, concerns the behaviour of natural numbers N when the following rule is used repeatedly: If N is odd then multiply N by three and add one (a type Odd operation/ iteration), if N is even divide N by two (a type Even operation/ iteration). The Collatz Conjecture states that for any N as start-value the iteration-series must eventually reach the known Loop -4-2-1-4-... In the present work is shown that all iteration-series reach a value lower than the start-value, N > 1, at some point in the iteration-series, which is equivalent to showing that all iteration-series also reaches the known Loop. This is done by analysing the behaviour of subsets of the natural numbers. The subsets are called classes: (AX-B), B < A, where the independent variable X is a positive integer, the modulo A is a positive integer and the constant B is a non-negative integer. It is shown that there exist a countable infinity of "reducing" classes e.g. all elements in the class (2X) = {2,4,6,8,10,...} are reduced in one type Even operation and all elements in the class (4X-3) = {1,5,9,13,17,...} are reduced in one type Odd operation followed by two type Even operations. A formula is deduced that for any number of type Odd operations, #O = s, delivers the exact number of type Even operations, #E = r, required to obtain a "reducing combination" of operations: r = ceiling(sZ), s > 0, Z = log3/log2 = 1,5849625007... Another formula is deduced that for any "reducing combination" (s,ceiling(sZ)), s > 1, delivers the exact number of "reducing" classes having modulo A = 2^ceiling(sZ). By the help of a graph in form of an infinite complete binary tree it is then shown that all natural numbers N must belong to exactly one "reducing" class, thus proving that The Collatz Conjecture is true.


title: Low-Rank Hankel Tensor Completion for Traffic Speed Estimation

abstract: This paper studies the traffic state estimation (TSE) problem using sparse observations from mobile sensors. Most existing TSE methods either rely on well-defined physical traffic flow models or require large amounts of simulation data as input to train machine learning models. Different from previous studies, we propose a purely data-driven and model-free solution in this paper. We consider the TSE as a spatiotemporal matrix completion/interpolation problem, and apply spatiotemporal delay embedding to transform the original incomplete matrix into a fourth-order Hankel structured tensor. By imposing a low-rank assumption on this tensor structure, we can approximate and characterize both global and local spatiotemporal patterns in a data-driven manner. We use the truncated nuclear norm of a balanced spatiotemporal unfolding -- in which each column represents the vectorization of a small patch in the original matrix -- to approximate the tensor rank. An efficient solution algorithm based on the Alternating Direction Method of Multipliers (ADMM) is developed for model learning. The proposed framework only involves two hyperparameters, spatial and temporal window lengths, which are easy to set given the degree of data sparsity. We conduct numerical experiments on real-world high-resolution trajectory data, and our results demonstrate the effectiveness and superiority of the proposed model in some challenging scenarios.


title: Quantum Kinetic Equation for the Wigner Equation and Reduction to the Boltzmann Transport Equation under Discrete Impurities

abstract: We drive a quantum kinetic equation under discrete impurities for the Wigner function from the quantum Liouville equation. To attain this goal, the electrostatic Coulomb potential is separated into the long- and short-range parts, and the self-consistent coupling with Poisson's equation is explicitly taken into account. It is shown that the collision integral associated with impurity scattering as well as the usual drift term is derived on an equal footing and that the conventional treatment of impurity scattering under the Wigner function scheme is inconsistent in the sense that the collision integral is introduced in an ad hoc way and, thus, the short-range part of the impurity potential is double-counted. The Boltzmann transport equation (BTE) is derived without imposing an assumption of random impurity configurations over the substrate. The derived BTE is able to describe the discrete nature of impurities such as potential fluctuations and, thus, appropriate to analyze electron transport under semiconductor nanostructures.


title: Laboratory blueprints for interstellar searches of aromatic chiral molecules: rotational signatures of styrene oxide

abstract: The tracking of symmetry-breaking events in space is a longlasting goal of astrochemists, aiming at an understanding of homochiral Earth chemistry. One current effort at this frontier aims at the detection of small chiral molecules in the interstellar medium. For that, high-resolution laboratory spectroscopy data is required, providing blueprints for the search and assignment of these molecules using radioastronomy. Here, we used chirped-pulse Fourier transform microwave and millimeter-wave spectroscopy and frequency modulation absorption spectroscopy to record and assign the rotational spectrum of the chiral aromatic molecule styrene oxide, $\mathrm{C_{6}H_{5}C_{2}H_{3}O}$, a relevant candidate for future radioastronomy searches. Using experimental data from the 2-12, 75-110, 170-220, and 260-330 GHz regions, we performed a global spectral analysis, complemented by quantum chemistry calculations. A global fit of the ground state rotational spectrum was obtained, including rotational transitions from all four frequency regions. Primary rotational constants as well as quartic and sextic centrifugal distortion constants were determined. We also investigated vibrationally excited states of styrene oxide, and for the three lowest vibrational states, we determined rotational constants including centrifugal distortion corrections up to the sextic order. In addition, spectroscopic parameters for the singly-substituted $^{13}$C and $^{18}$O isotopologues were retrieved from the spectrum in natural abundance and used to determine the effective ground state structure of styrene oxide in the gas phase. The spectroscopic parameters and line lists of rotational transitions obtained here will assist future astrochemical studies of this class of chiral organic molecules.


title: A Simple Proof of a New Set Disjointness with Applications to Data Streams

abstract: The multiplayer promise set disjointness is one of the most widely used problems from communication complexity in applications. In this problem there are $k$ players with subsets $S^1, \ldots, S^k$, each drawn from $\{1, 2, \ldots, n\}$, and we are promised that either the sets are (1) pairwise disjoint, or (2) there is a unique element $j$ occurring in all the sets, which are otherwise pairwise disjoint. The total communication of solving this problem with constant probability in the blackboard model is $\Omega(n/k)$. We observe for most applications, it instead suffices to look at what we call the ``mostly'' set disjointness problem, which changes case (2) to say there is a unique element $j$ occurring in at least half of the sets, and the sets are otherwise disjoint. This change gives us a much simpler proof of an $\Omega(n/k)$ randomized total communication lower bound, avoiding Hellinger distance and Poincare inequalities. Using this we show several new results for data streams: \begin{itemize} \item for $\ell_2$-Heavy Hitters, any $O(1)$-pass streaming algorithm in the insertion-only model for detecting if an $\eps$-$\ell_2$-heavy hitter exists requires $\min(\frac{1}{\eps^2}\log \frac{\eps^2n}{\delta}, \frac{1}{\eps}n^{1/2})$ bits of memory, which is optimal up to a $\log n$ factor. For deterministic algorithms and constant $\eps$, this gives an $\Omega(n^{1/2})$ lower bound, improving the prior $\Omega(\log n)$ lower bound. We also obtain lower bounds for Zipfian distributions. \item for $\ell_p$-Estimation, $p > 2$, we show an $O(1)$-pass $\Omega(n^{1-2/p} \log(1/\delta))$ bit lower bound for outputting an $O(1)$-approximation with probability $1-\delta$, in the insertion-only model. This is optimal, and the best previous lower bound was $\Omega(n^{1-2/p} + \log(1/\delta))$. \end{itemize}


title: Improved electronic structure prediction of chalcopyrite semiconductors from a semilocal density functional based on Pauli kinetic energy enhancement factor

abstract: The correct treatment of d electrons is of prime importance in order to predict the electronic properties of the prototype chalcopyrite semiconductors. The effect of d states is linked with the anion displacement parameter u, which in turn influences the bandgap of these systems. Semilocal exchange-correlation functionals which yield good structural properties of semiconductors and insulators often fail to predict reasonable u because of the underestimation of the bandgaps arising from the strong interplay between d electrons. In the present study, we show that the meta-generalized gradient approximation (meta-GGA) obtained from the cuspless hydrogen density (MGGAC) [Phys. Rev. B 100, 155140 (2019)] performs in an improved manner in apprehending the key features of the electronic properties of chalcopyrites, and its bandgaps are comparative to that obtained using state-of-art hybrid methods. Moreover, the present assessment also shows the importance of the Pauli kinetic energy enhancement factor, $\alpha=(\tau-\tau^W)/\tau^{unif}$ in describing the d electrons in chalcopyrites. The present study strongly suggests that the MGGAC functional within semilocal approximations can be a better and preferred choice to study the chalcopyrites and other solid-state systems due to its superior performance and significantly low computational cost.


title: Methanol and water maser observations separate disc and outflow sources in IRAS 19410+2336

abstract: We investigate the kinematics of high mass protostellar objects within the high mass star forming region IRAS 19410+2336. We performed high angular resolution observations of 6.7-GHz methanol and 22 GHz water masers using the MERLIN (Multi-Element Radio Linked Interferometer Network) and e-MERLIN interferometers. The 6.7-GHz methanol maser emission line was detected within the $\sim$ 16--27 km s$^{-1}$ velocity range with a peak flux density $\sim$50 Jy. The maser spots are spread over $\sim$1.3 arcsec on the sky, corresponding to $\sim$2800 au at a distance of 2.16 kpc. These are the first astrometric measurements at 6.7 GHz in IRAS 19410+2336. The 22-GHz water maser line was imaged in 2005 and 2019 (the latter with good astrometry). Its velocities range from 13 to $\sim$29 km s$^{-1}$. The peak flux density was found to be 18.7 Jy and 13.487 Jy in 2005, and 2019, respectively. The distribution of the water maser components is up to 165 mas, $\sim$350 au at 2.16 kpc. We find that the Eastern methanol masers most probably trace outflows from the region of millimetre source mm1. The water masers to the West lie in a disc (flared or interacting with outflow/infall) around another more evolved millimetre source (13-s). The maser distribution suggests that the disc lies at an angle of 60$^{\circ}$ or more to the plane of the sky and the observed line of sight velocities then suggest an enclosed mass between 44 M$_{\odot}$ and as little as 11 M$_{\odot}$ if the disc is edge-on. The Western methanol masers may be infalling.


title: Sampling error correction in ensemble Kalman inversion

abstract: Ensemble Kalman inversion is a parallelizable derivative-free method to solve inverse problems. The method uses an ensemble that follows the Kalman update formula iteratively to solve an optimization problem. The ensemble size is crucial to capture the correct statistical information in estimating the unknown variable of interest. Still, the ensemble is limited to a size smaller than the unknown variable's dimension for computational efficiency. This study proposes a strategy to correct the sampling error due to a small ensemble size, which improves the performance of the ensemble Kalman inversion. This study validates the efficiency and robustness of the proposed strategy through a suite of numerical tests, including compressive sensing, image deblurring, parameter estimation of a nonlinear dynamical system, and a PDE-constrained inverse problem.


title: Beach-level 24-hour forecasts of Florida red tide-induced respiratory irritation

abstract: An accurate forecast of the red tide respiratory irritation level would improve the lives of many people living in areas affected by algal blooms. Using a decades-long database of daily beach conditions, two conceptually different models to forecast the respiratory irritation risk level one day ahead of time are trained. One model is wind-based, using the current days' respiratory level and the predicted wind direction of the following day. The other model is a probabilistic self-exciting Hawkes process model. Both models are trained on beaches in Florida during 2011-2017 and applied to the red tide bloom during 2018-2019. For beaches where there is enough historical data to develop a model, the model which performs best depends on the beach. The wind-based model is the most accurate at half the beaches, correctly predicting the respiratory risk level on average about 84% of the time. The Hawkes model is the most accurate (81% accuracy) at nearly all of the remaining beaches.

categories: physics.data-an cond-mat.stat-mech math.DS physics.bio-ph physics.soc-ph


title: Classifying Math KCs via Task-Adaptive Pre-Trained BERT

abstract: Educational content labeled with proper knowledge components (KCs) are particularly useful to teachers or content organizers. However, manually labeling educational content is labor intensive and error-prone. To address this challenge, prior research proposed machine learning based solutions to auto-label educational content with limited success. In this work, we significantly improve prior research by (1) expanding the input types to include KC descriptions, instructional video titles, and problem descriptions (i.e., three types of prediction task), (2) doubling the granularity of the prediction from 198 to 385 KC labels (i.e., more practical setting but much harder multinomial classification problem), (3) improving the prediction accuracies by 0.5-2.3% using Task-adaptive Pre-trained BERT, outperforming six baselines, and (4) proposing a simple evaluation measure by which we can recover 56-73% of mispredicted KC labels. All codes and data sets in the experiments are available at:https://github.com/tbs17/TAPT-BERT


title: OverlapNet: Loop Closing for LiDAR-based SLAM

abstract: Simultaneous localization and mapping (SLAM) is a fundamental capability required by most autonomous systems. In this paper, we address the problem of loop closing for SLAM based on 3D laser scans recorded by autonomous cars. Our approach utilizes a deep neural network exploiting different cues generated from LiDAR data for finding loop closures. It estimates an image overlap generalized to range images and provides a relative yaw angle estimate between pairs of scans. Based on such predictions, we tackle loop closure detection and integrate our approach into an existing SLAM system to improve its mapping results. We evaluate our approach on sequences of the KITTI odometry benchmark and the Ford campus dataset. We show that our method can effectively detect loop closures surpassing the detection performance of state-of-the-art methods. To highlight the generalization capabilities of our approach, we evaluate our model on the Ford campus dataset while using only KITTI for training. The experiments show that the learned representation is able to provide reliable loop closure candidates, also in unseen environments.


title: Stellar Mass and Star Formation Rate within a Billion Light-Years

abstract: To develop galaxy-targeting approaches, the gravitational-wave community built a catalog of stellar mass in the local universe based on the 2MASS spectroscopic and photometric redshift surveys. By cleaning and supplementing this catalog, the present work aims to establish a near-infrared flux-limited sample to map both stellar mass and star formation rate (SFR) over the full sky. The 2MASS spectroscopic and photometric redshift surveys are cross-matched with the HyperLEDA database and the Local Volume sample at d < 11 Mpc, providing a flux-limited sample with revised distance estimates and corrections for incompleteness out to 350 Mpc. Scaling relations with stellar mass as a function of morphology are used to construct a SFR cosmography in the local universe. Stellar mass and SFR densities converge towards values compatible with deep-field observations beyond 100 Mpc. The 3D distribution of these two tracers is consistent with the distribution of matter deduced from cosmic flows. With spectroscopic redshifts available for about half of the ~400,000 galaxies within 350 Mpc and photometric distances with a 12% uncertainty available for the other half, the present sample may find applications in both cosmology and astroparticle physics. The present work provides in particular new bases for modeling the large- and intermediate-scale anisotropies observed at ultra-high energies. The distribution of magnetic fields at Mpc scales, which can be deduced from the 3D distribution of matter, is inferred to be crucial in shaping the ultra-high-energy sky.


title: Position-Sensing Graph Neural Networks: Proactively Learning Nodes Relative Positions

abstract: Most existing graph neural networks (GNNs) learn node embeddings using the framework of message passing and aggregation. Such GNNs are incapable of learning relative positions between graph nodes within a graph. To empower GNNs with the awareness of node positions, some nodes are set as anchors. Then, using the distances from a node to the anchors, GNNs can infer relative positions between nodes. However, P-GNNs arbitrarily select anchors, leading to compromising position-awareness and feature extraction. To eliminate this compromise, we demonstrate that selecting evenly distributed and asymmetric anchors is essential. On the other hand, we show that choosing anchors that can aggregate embeddings of all the nodes within a graph is NP-hard. Therefore, devising efficient optimal algorithms in a deterministic approach is practically not feasible. To ensure position-awareness and bypass NP-completeness, we propose Position-Sensing Graph Neural Networks (PSGNNs), learning how to choose anchors in a back-propagatable fashion. Experiments verify the effectiveness of PSGNNs against state-of-the-art GNNs, substantially improving performance on various synthetic and real-world graph datasets while enjoying stable scalability. Specifically, PSGNNs on average boost AUC more than 14% for pairwise node classification and 18% for link prediction over the existing state-of-the-art position-aware methods. Our source code is publicly available at: https://github.com/ZhenyueQin/PSGNN


title: IITP at AILA 2019: System Report for Artificial Intelligence for Legal Assistance Shared Task

abstract: In this article, we present a description of our systems as a part of our participation in the shared task namely Artificial Intelligence for Legal Assistance (AILA 2019). This is an integral event of Forum for Information Retrieval Evaluation-2019. The outcomes of this track would be helpful for the automation of the working process of the Indian Judiciary System. The manual working procedures and documentation at any level (from lower to higher court) of the judiciary system are very complex in nature. The systems produced as a part of this track would assist the law practitioners. It would be helpful for common men too. This kind of track also opens the path of research of Natural Language Processing (NLP) in the judicial domain. This track defined two problems such as Task 1: Identifying relevant prior cases for a given situation and Task 2: Identifying the most relevant statutes for a given situation. We tackled both of them. Our proposed approaches are based on BM25 and Doc2Vec. As per the results declared by the task organizers, we are in 3rd and a modest position in Task 1 and Task 2 respectively.


title: PROPm Allocations of Indivisible Goods to Multiple Agents

abstract: We study the classic problem of fairly allocating a set of indivisible goods among a group of agents, and focus on the notion of approximate proportionality known as PROPm. Prior work showed that there exists an allocation that satisfies this notion of fairness for instances involving up to five agents, but fell short of proving that this is true in general. We extend this result to show that a PROPm allocation is guaranteed to exist for all instances, independent of the number of agents or goods. Our proof is constructive, providing an algorithm that computes such an allocation and, unlike prior work, the running time of this algorithm is polynomial in both the number of agents and the number of goods.


title: Simultaneous determination of mass parameter and radial marker in Schwarzschild geometry

abstract: We show that mass parameter and radial coordinate values can be indirectly measured in thought experiments performed in Schwarzschild spacetime, without using the Newtonian limit of general relativity or approximations based on Euclidean geometry. Our approach involves different proper time quantifcations as well as solutions to systems of algebraic equations, and aims to strengthen the conceptual independence of general relativity from Newtonian gravity.


title: The construction of the Hilbert genus fields of real cyclic quartic fields

abstract: Let $p$ be a prime number such that $p=2$ or $p\equiv 1\pmod 4$. Let $\varepsilon_p$ denote the fundamental unit of $\mathbb{Q}(\sqrt{p})$ and let $a$ be a positive square-free integer. In the present paper, we construct the Hilbert genus field of the real cyclic quartic fields $\mathbb{Q}(\sqrt{a\varepsilon_p\sqrt{p}})$.


title: Effects of chiral MIT boundary conditions for a Dirac particle in a box

abstract: We investigate the effects of the chiral MIT boundary conditions for a Dirac particle in a 1D box. We show how the boundary condition affects the discrete momentum, energy level, transition frequency, and spin state in a box. The effects of the chiral MIT boundary conditions on the probability and scalar densities are also demonstrated. The results show that an asymmetric distribution appears in the box depending on the parameters of the spin orientation and chiral angle.


title: Reconstructing Small 3D Objects in front of a Textured Background

abstract: We present a technique for a complete 3D reconstruction of small objects moving in front of a textured background. It is a particular variation of multibody structure from motion, which specializes to two objects only. The scene is captured in several static configurations between which the relative pose of the two objects may change. We reconstruct every static configuration individually and segment the points locally by finding multiple poses of cameras that capture the scene's other configurations. Then, the local segmentation results are combined, and the reconstructions are merged into the resulting model of the scene. In experiments with real artifacts, we show that our approach has practical advantages when reconstructing 3D objects from all sides. In this setting, our method outperforms the state-of-the-art. We integrate our method into the state of the art 3D reconstruction pipeline COLMAP.


title: Change Point Detection in Nonstationary Sub-Hourly Wind Time Series

abstract: In this paper, we present a change point detection method for detecting change points in multivariate nonstationary wind speed time series. The change point method identifies changes in the covariance structure and decomposes the nonstationary multivariate time series into stationary segments. We also present parametric and nonparametric simulation techniques to simulate new wind time series within each stationary segment. The proposed simulation methods retain statistical properties of the original time series and therefore, can be employed for simulation-based analysis of power systems planning and operations problems. We demonstrate the capabilities of the change point detection method through computational experiments conducted on wind speed time series at five-minute resolution. We also conduct experiments on the economic dispatch problem to illustrate the impact of nonstationarity in wind generation on conventional generation and location marginal prices.


title: View Distillation with Unlabeled Data for Extracting Adverse Drug Effects from User-Generated Data

abstract: We present an algorithm based on multi-layer transformers for identifying Adverse Drug Reactions (ADR) in social media data. Our model relies on the properties of the problem and the characteristics of contextual word embeddings to extract two views from documents. Then a classifier is trained on each view to label a set of unlabeled documents to be used as an initializer for a new classifier in the other view. Finally, the initialized classifier in each view is further trained using the initial training examples. We evaluated our model in the largest publicly available ADR dataset. The experiments testify that our model significantly outperforms the transformer-based models pretrained on domain-specific data.


title: Scaled Oscillation and Level Sets

abstract: We study the size and regularity properties of level sets of continuous functions with bounded upper-scaled and lower-scaled oscillation.


title: Brain tumour segmentation using a triplanar ensemble of U-Nets

abstract: Gliomas appear with wide variation in their characteristics both in terms of their appearance and location on brain MR images, which makes robust tumour segmentation highly challenging, and leads to high inter-rater variability even in manual segmentations. In this work, we propose a triplanar ensemble network, with an independent tumour core prediction module, for accurate segmentation of these tumours and their sub-regions. On evaluating our method on the MICCAI Brain Tumor Segmentation (BraTS) challenge validation dataset, for tumour sub-regions, we achieved a Dice similarity coefficient of 0.77 for both enhancing tumour (ET) and tumour core (TC). In the case of the whole tumour (WT) region, we achieved a Dice value of 0.89, which is on par with the top-ranking methods from BraTS'17-19. Our method achieved an evaluation score that was the equal 5th highest value (with our method ranking in 10th place) in the BraTS'20 challenge, with mean Dice values of 0.81, 0.89 and 0.84 on ET, WT and TC regions respectively on the BraTS'20 unseen test dataset.


title: Entropy-based adaptive design for contour finding and estimating reliability

abstract: In reliability analysis, methods used to estimate failure probability are often limited by the costs associated with model evaluations. Many of these methods, such as multifidelity importance sampling (MFIS), rely upon a computationally efficient, surrogate model like a Gaussian process (GP) to quickly generate predictions. The quality of the GP fit, particularly in the vicinity of the failure region(s), is instrumental in supplying accurately predicted failures for such strategies. We introduce an entropy-based GP adaptive design that, when paired with MFIS, provides more accurate failure probability estimates and with higher confidence. We show that our greedy data acquisition strategy better identifies multiple failure regions compared to existing contour-finding schemes. We then extend the method to batch selection, without sacrificing accuracy. Illustrative examples are provided on benchmark data as well as an application to an impact damage simulator for National Aeronautics and Space Administration (NASA) spacesuits.