title: Partial Evaluations and the Compositional Structure of the Bar Construction

abstract: The algebraic expression $3 + 2 + 6$ can be evaluated to $11$, but it can also be partially evaluated to $5 + 6$. In categorical algebra, such partial evaluations can be defined in terms of the $1$-skeleton of the bar construction for algebras of a monad. We show that this partial evaluation relation can be seen as the relation internal to the category of algebras generated by relating a formal expression to its total evaluation. The relation is transitive for many monads which describe commonly encountered algebraic structures, and more generally for BC monads on $\mathsf{Set}$ (which are those monads for which the underlying functor and the multiplication are weakly cartesian). We find that this is not true for all monads: we describe a finitary monad on $\mathsf{Set}$ for which the partial evaluation relation on the terminal algebra is not transitive. With the perspective of higher algebraic rewriting in mind, we then investigate the compositional structure of the bar construction in all dimensions. We show that for algebras of BC monads, the bar construction has fillers for all directed acyclic configurations in $\Delta^n$, but generally not all inner horns.


title: Reconstructing the Position and Intensity of Multiple Gamma-Ray Point Sources with a Sparse Parametric Algorithm

abstract: We present an experimental demonstration of Additive Point Source Localization (APSL), a sparse parametric imaging algorithm that reconstructs the 3D positions and activities of multiple gamma-ray point sources. Using a handheld gamma-ray detector array and up to four $8$ ${\mu}$Ci $^{137}$Cs gamma-ray sources, we performed both source-search and source-separation experiments in an indoor laboratory environment. In the majority of the source-search measurements, APSL reconstructed the correct number of sources with position accuracies of ${\sim}20$ cm and activity accuracies (unsigned) of ${\sim}20\%$, given measurement times of two to three minutes and distances of closest approach (to any source) of ${\sim}20$ cm. In source-separation measurements where the detector could be moved freely about the environment, APSL was able to resolve two sources separated by $75$ cm or more given only ${\sim}60$ s of measurement time. In these source-separation measurements, APSL produced larger total activity errors of ${\sim}40\%$, but obtained source separation distances accurate to within $15$ cm. We also compare our APSL results against traditional Maximum Likelihood-Expectation Maximization (ML-EM) reconstructions, and demonstrate improved image accuracy and interpretability using APSL over ML-EM. These results indicate that APSL is capable of accurately reconstructing gamma-ray source positions and activities using measurements from existing detector hardware.


title: Importance of Nuclear Quantum Effects on the Hydration of Chloride Ion

abstract: Path-integral ab initio molecular dynamics (PI-AIMD) calculations have been employed to probe the nature of chloride ion solvation in aqueous solution. Nuclear quantum effects (NQEs) are shown to weaken hydrogen bonding between the chloride anion and the solvation shell of water molecules. As a consequence, the disruptive effect of the anion on the solvent water structure is significantly reduced compared to what is found in the absence of NQEs. The chloride hydration structure obtained from PI-AIMD agrees well with information extracted from neutron scattering data. Inparticular, the observed satellite peak in the hydrogen-chloride-hydrogen triple angular distribution serves as a clear signature of NQEs. The present results suggest that NQEs are likely to play acrucial role in determining the structure of saline solutions.


title: The general position number of the Cartesian product of two trees

abstract: The general position number of a connected graph is the cardinality of a largest set of vertices such that no three pairwise-distinct vertices from the set lie on a common shortest path. In this paper it is proved that the general position number is additive on the Cartesian product of two trees.


title: Sulphur and carbon isotopes towards Galactic centre clouds

abstract: Measuring isotopic ratios is a sensitive technique used to obtain information on stellar nucleosynthesis and chemical evolution. We present measurements of the carbon and sulphur abundances in the interstellar medium of the central region of our Galaxy. The selected targets are the +50km/s Cloud and several l.o.s. clouds towards Sgr B2(N). Towards the +50km/s Cloud, we observed the J=2-1 rotational transitions of CS, C34S, 13CS, C33S, and 13C34S, and the J=3-2 transitions of CS and C34S with the IRAM-30m telescope, as well as the J=6-5 transitions of C34S and 13CS with the APEX 12m telescope, all in emission. The J=2-1 rotational transitions of CS, C34S, 13CS, and 13C34S were observed with ALMA in the envelope of Sgr B2(N), with those of CS and C34S also observed in the l.o.s. clouds towards Sgr B2(N), all in absorption. In the +50km/s Cloud we derive a 12C13C isotopic ratio of ~22.1, that leads, with the measured 13CS/C34S line intensity ratio, to a 32S/34S ratio of 16.3+3.0-2.4. We also derive the 32S/34S isotopic ratio more directly from the two isotopologues 13CS and 13C34S, which leads to an independent 32S/34S estimation of 16.3+2.1-1.7 and 17.9+-5.0 for the +50km/s Cloud and Sgr B2(N), respectively. We also obtain a 34S/33S ratio of ~4.3 in the +50 km/s Cloud. Previous studies observed a decreasing trend in the 32S/34S isotopic ratios when approaching the Galactic centre. Our result indicates a termination of this tendency at least at a galactocentric distance of 130-30+60 pc. This is at variance with findings based on 12C/13C, 14N/15N and 18O/17O isotope ratios, where the above-mentioned trend is observed to continue right to the central molecular zone. This can indicate a drop in the production of massive stars at the Galactic centre, in the same line as recent metallicity gradient studies, and opens the work towards a comparison with Galactic and stellar evolution models.


title: The prolonged gamma ray enhancement and the short radiation burst events observed in thunderstorms at Tien Shan

abstract: We report the observation results of the hard radiation flashes which accompanied the lightning discharges above the mountains of Northern Tien Shan. Time series of the counting rate intensity, numerical estimations of absolute flux, and energy distribution of accelerated electrons and of (20-2000)keV gamma rays were obtained at the height of 3700m a.s.l., immediately within thunderclouds, and in closest vicinity ($<$100m) to discharge region. Two different kinds of radiation emission events are presented here: a relatively prolonged rise of gamma ray intensity with minute-scale duration (the thunderstorm ground enhancement, TGE) which has preceded a negative field variation, and a short sub-millisecond radiation burst, which accompanied a close lightning discharge in thundercloud. It was revealed also an indication to positron generation in thunderclouds at the time of gamma ray emission, as well as modulation of the neutron counting rate in Tien~Shan neutron monitor which was operating at a (1.5-2)km order distance from the region of lightning development.


title: Bearing-Only Navigation with Field of View Constraints

abstract: This paper addresses the problem of navigation using only relative direction measurements (i.e., relative distances are unknown) under field of view constraints. We present a novel navigation vector field for the bearing-based visual homing problem with respect to static visual landmarks in 2-D and 3-D environments. Our method employs two control fields that are tangent and normal to ellipsoids having landmarks as their foci. The tangent field steers the robot to a set of points where the average of observed bearings is parallel to the average of the desired bearings, and the normal field uses the angle between a pair of bearings as a proxy to adjust the robot's distance from landmarks and to satisfy the field of view constraints. Both fields are blended together to construct an almost globally stable control law. Our method is easy to implement, as it requires only comparisons between average bearings, and between angles of pairs of vectors. We provide simulations that demonstrate the performance of our approach for a double integrator system and unicycles.


title: Space-efficient binary optimization for variational computing

abstract: In the era of Noisy Intermediate-Scale Quantum (NISQ) computers it is crucial to design quantum algorithms which do not require many qubits or deep circuits. Unfortunately, the most well-known quantum algorithms are too demanding to be run on currently available quantum devices. Moreover, even the state-of-the-art algorithms developed for the NISQ era often suffer from high space complexity requirements for particular problem classes. In this paper, we show that it is possible to greatly reduce the number of qubits needed for the Traveling Salesman Problem (TSP), a paradigmatic optimization task, at the cost of having deeper variational circuits. While the focus is on this particular problem, we claim that the approach can be generalized for other problems where the standard bit-encoding is highly inefficient. Finally, we also propose encoding schemes which smoothly interpolate between the qubit-efficient and the circuit depth-efficient models. All the proposed encodings remain efficient to implement within the Quantum Approximate Optimization Algorithm framework.


title: Simultaneous Machine Translation with Visual Context

abstract: Simultaneous machine translation (SiMT) aims to translate a continuous input text stream into another language with the lowest latency and highest quality possible. The translation thus has to start with an incomplete source text, which is read progressively, creating the need for anticipation. In this paper, we seek to understand whether the addition of visual information can compensate for the missing source context. To this end, we analyse the impact of different multimodal approaches and visual features on state-of-the-art SiMT frameworks. Our results show that visual context is helpful and that visually-grounded models based on explicit object region information are much better than commonly used global features, reaching up to 3 BLEU points improvement under low latency scenarios. Our qualitative analysis illustrates cases where only the multimodal systems are able to translate correctly from English into gender-marked languages, as well as deal with differences in word order, such as adjective-noun placement between English and French.


title: Relaxed Locally Correctable Codes with Improved Parameters

abstract: Locally decodable codes (LDCs) are error-correcting codes $C : \Sigma^k \to \Sigma^n$ that admit a local decoding algorithm that recovers each individual bit of the message by querying only a few bits from a noisy codeword. An important question in this line of research is to understand the optimal trade-off between the query complexity of LDCs and their block length. Despite importance of these objects, the best known constructions of constant query LDCs have super-polynomial length, and there is a significant gap between the best constructions and the known lower bounds in terms of the block length. For many applications it suffices to consider the weaker notion of relaxed LDCs (RLDCs), which allows the local decoding algorithm to abort if by querying a few bits it detects that the input is not a codeword. This relaxation turned out to allow decoding algorithms with constant query complexity for codes with almost linear length. Specifically, [BGH+06] constructed an $O(q)$-query RLDC that encodes a message of length $k$ using a codeword of block length $n = O(k^{1+1/\sqrt{q}})$. In this work we improve the parameters of [BGH+06] by constructing an $O(q)$-query RLDC that encodes a message of length $k$ using a codeword of block length $O(k^{1+1/{q}})$. This construction matches (up to a multiplicative constant factor) the lower bounds of [KT00, Woo07] for constant query LDCs, thus making progress toward understanding the gap between LDCs and RLDCs in the constant query regime. In fact, our construction extends to the stronger notion of relaxed locally correctable codes (RLCCs), introduced in [GRR18], where given a noisy codeword the correcting algorithm either recovers each individual bit of the codeword by only reading a small part of the input, or aborts if the input is detected to be corrupt.


title: A Portmanteau-type test for detecting serial correlation in locally stationary functional time series

abstract: The Portmanteau test provides the vanilla method for detecting serial correlations in classical univariate time series analysis. The method is extended to the case of observations from a locally stationary functional time series. Asymptotic critical values are obtained by a suitable block multiplier bootstrap procedure. The test is shown to asymptotically hold its level and to be consistent against general alternatives.


title: On the R\'enyi entropy of Lifshitz and hyperscaling violating black holes

abstract: We study R\'enyi entropies for geometries with Lifshitz scaling and hyperscaling violation. We calculate them for specific values of the Lifshitz parameter, and analyze the dual spectrum of the ground state. In the large $d-\theta$ limit they show that the ground state is unique in specific parameter ranges. We also calculate the R\'enyi entropies perturbatively around $n=1$, and derive constraints using the R\'enyi entropy inequalities, which correspond to the thermodynamic stability of the black holes.


title: Quantum Optimization for the Graph Coloring Problem with Space-Efficient Embedding

abstract: Current quantum computing devices have different strengths and weaknesses depending on their architectures. This means that flexible approaches to circuit design are necessary. We address this task by introducing a novel space-efficient quantum optimization algorithm for the graph coloring problem. Our circuits are deeper than the ones of the standard approach. However, the number of required qubits is exponentially reduced in the number of colors. We present extensive numerical simulations demonstrating the performance of our approach. Furthermore, to explore currently available alternatives, we perform a study of random graph coloring on a quantum annealer to test the limiting factors of that approach, too.


title: Irradiation of Nanostrained Monolayer WSe$_2$ for Site-Controlled Single-Photon Emission up to 150 K

abstract: Quantum-dot-like WSe$_2$ single-photon emitters have become a promising platform for future on-chip scalable quantum light sources with unique advantages over existing technologies, notably the potential for site-specific engineering. However, the required cryogenic temperatures for the functionality of these sources have been an inhibitor of their full potential. Existing strain engineering methods face fundamental challenges in extending the working temperature while maintaining the emitter's fabrication yield and purity. In this work, we demonstrate a novel method of designing site-specific single-photon emitters in atomically thin WSe$_2$ with near-unity yield utilizing independent and simultaneous strain engineering via nanoscale stressors and defect engineering via electron-beam irradiation. Many of these emitters exhibit exciton-biexciton cascaded emission, purities above 95%, and working temperatures extending up to 150 K, which is the highest observed in van der Waals semiconductor single-photon emitters without Purcell enhancement. This methodology, coupled with possible plasmonic or optical micro-cavity integration, potentially furthers the realization of future scalable, room-temperature, and high-quality van der Waals quantum light sources.


title: Calibrating the BHB Star Distance Scale and the Halo Kinematic Distance to the Galactic Centre

abstract: We report the first determination of the distance to the Galactic centre based on the kinematics of halo objects. We apply the statistical-parallax technique to the sample of ~2500 Blue Horizontal Branch (BHB) stars compiled by Xue et al. (2011) to simultaneously constrain the correction factor to the photometric distances of BHB stars as reported by those authors and the distance to the Galactic centre to find R0=8.2+/-0.6 kpc. We also find that the average velocity of our BHB star sample in the direction of Galactic rotation, V0=-240+/-4 km/s, is greater by about 20 km/s in absolute value than the corresponding velocity for halo RR Lyrae type stars (V0=-222+/-4 km/s) in the Galactocentric distance interval from 6 to 18 kpc, whereas the total (sigma V) and radial (sigma r) velocity dispersion of the of the BHB sample are smaller by about 40-45 km/s than the corresponding parameters of the velocity dispersion ellipsoid of halo RR Lyrae type variables. The velocity dispersion tensor of halo BHB stars proved to be markedly less anisotropic than the corresponding tensor for RR Lyrae type variables: the corresponding anisotropy parameter values are equal to beta(BHB)=0.51+/-0.02 and beta(RR)=0.71+/-0.03, respectively.


title: Cascaded Models for Better Fine-Grained Named Entity Recognition

abstract: Named Entity Recognition (NER) is an essential precursor task for many natural language applications, such as relation extraction or event extraction. Much of the NER research has been done on datasets with few classes of entity types (e.g. PER, LOC, ORG, MISC), but many real world applications (disaster relief, complex event extraction, law enforcement) can benefit from a larger NER typeset. More recently, datasets were created that have hundreds to thousands of types of entities, sparking new lines of research (Sekine, 2008;Ling and Weld, 2012; Gillick et al., 2014; Choiet al., 2018). In this paper we present a cascaded approach to labeling fine-grained NER, applying to a newly released fine-grained NER dataset that was used in the TAC KBP 2019 evaluation (Ji et al., 2019), inspired by the fact that training data is available for some of the coarse labels. Using a combination of transformer networks, we show that performance can be improved by about 20 F1 absolute, as compared with the straightforward model built on the full fine-grained types, and show that, surprisingly, using course-labeled data in three languages leads to an improvement in the English data.


title: Gauss Hypergeometric Representations of the Ferrers Function of the Second Kind

abstract: We derive all eighteen Gauss hypergeometric representations for the Ferrers function of the second kind, each with a different argument. They are obtained from the eighteen hypergeometric representations of the associated Legendre function of the second kind by using a limit representation. For the 18 hypergeometric arguments which correspond to these representations, we give geometrical descriptions of the corresponding convergence regions in the complex plane. In addition, we consider a corresponding single sum Fourier expansion for the Ferrers function of the second kind. In four of the eighteen cases, the determination of the Ferrers function of the second kind requires the evaluation of the hypergeometric function separately above and below the branch cut at $[1,\infty)$. In order to complete these derivations, we use well-known results to derive expressions for the hypergeometric function above and below its branch cut. Finally we give a detailed review of the 1888 paper by Richard Olbricht who was the first to study hypergeometric representations of Legendre functions.


title: Asymptotics of Fundamental Solution of Cauchy Problem for Parabolic Equation with Small Parameter and Degeneration

abstract: In this paper, the method of constructing the asymptotics of the fundamental solution of the Cauchy problem for a degenerate linear parabolic equation with small diffusion is considered. Based on the results obtained in \cite{dn}, the study extends them over the case of a degenerate equation. As in \cite{dn}, the main technique that allows us to switch from pseudo-differential equations to partial differential equations is the non-oscillating WKB method. A distinctive feature of this work is a more detailed consideration on the characteristics of the Green's function in terms of symplectic geometry. The most significant intermediate result is presented as a theorem on the properties of the fundamental solution.


title: The Scott adjunction

abstract: We introduce and study the Scott adjunction, relating accessible categories with directed colimits to topoi. Our focus is twofold, we study both its applications to formal model theory and its geometric interpretation. From the geometric point of view, we introduce the categorified Isbell duality, relating bounded (possibly large) ionads to topoi. The categorified Isbell duality interacts with the Scott adjunction offering a categorification of the Scott topology over a poset (hence the name). We show that the categorified Isbell duality is idempotent, similarly to its uncategorified version. From the logical point of view, we use this machinery to provide candidate (geometric) axiomatizations of accessible categories with directed colimits. We discuss the connection between these adjunctions and the theory of classifying topoi. We relate our framework to the more classical theory of abstract elementary classes. From a more categorical perspective, we show that the 2-category of topoi is enriched over accessible categories with directed colimits and we relate this result to the Scott adjunction.


title: On high-order schemes for tempered fractional partial differential equations

abstract: In this paper, we propose third-order semi-discretized schemes in space based on the tempered weighted and shifted Gr\"unwald difference (tempered-WSGD) operators for the tempered fractional diffusion equation. We also show stability and convergence analysis for the fully discrete scheme based a Crank--Nicolson scheme in time. A third-order scheme for the tempered Black--Scholes equation is also proposed and tested numerically. Some numerical experiments are carried out to confirm accuracy and effectiveness of these proposed methods.


title: dg2pix: Pixel-Based Visual Analysis of Dynamic Graphs

abstract: Presenting long sequences of dynamic graphs remains challenging due to the underlying large-scale and high-dimensional data. We propose dg2pix, a novel pixel-based visualization technique, to visually explore temporal and structural properties in long sequences of large-scale graphs. The approach consists of three main steps: (1) the multiscale modeling of the temporal dimension; (2) unsupervised graph embeddings to learn low-dimensional representations of the dynamic graph data; and (3) an interactive pixel-based visualization to simultaneously explore the evolving data at different temporal aggregation scales. dg2pix provides a scalable overview of a dynamic graph, supports the exploration of long sequences of high-dimensional graph data, and enables the identification and comparison of similar temporal states. We show the applicability of the technique to synthetic and real-world datasets, demonstrating that temporal patterns in dynamic graphs can be identified and interpreted over time. dg2pix contributes a suitable intermediate representation between node-link diagrams at the high detail end and matrix representations on the low detail end.


title: How to unloop a self-adherent sheet

abstract: The mechanics of adherent sheets is central to applications ranging from patching a band aid, coating technology, to the breakthrough discovery of peeling graphene flakes using sticky tape. These processes are often hindered by the formation of blisters and loops, which are notoriously difficult to remove. Here we describe and explain a remarkable phenomenon that arises when one attempts to remove a loop in a self-adherent sheet that is formed by, e.g., folding two adhesive sides of a tape together. One would expect the loop to simply unloop when pulling on its free ends. Surprisingly, however, the loop does not immediately open up but shrinks in size, held together by a tenuous contact region that propagates along the tape. This adhesive contact region only ruptures once the loop is reduced to a critical size. We experimentally show that the loop-shrinkage results from an interaction between the peeling front and the loop, across the contact zone. This new type of interaction falls outside the realm of the classical elastica theory and is responsible for a highly nonlinear increase in the peeling force. Our results reveal and quantify the increased force required to remove loops in self-adherent media, which is of importance for blister removal and exfoliation of graphene sheets.


title: Electrolytes in regimes of strong confinements: surface charge modulations, osmotic equilibrium and electroneutrality

abstract: In the present work, we study an electrolyte solution confined between planar surfaces with nonopatterned charged domains, which has been connected to a bulk ionic reservoir. The system is investigated through an improved Monte Carlo (MC) simulation method, suitable for simulation of electrolytes in the presence of modulated surface charge distributions. We also employ a linear approach in the spirit of the classical Debye-H\"uckel approximation, which allows one to obtain explicit expressions for the averaged potentials, ionic profiles, effective surface interactions and the net ionic charge confined between the walls. Emphasis is placed in the limit of strongly confined electrolytes, in which case local electroneutrality in the inter-surface space might not be fulfilled. In order to access the effects of such lack of local charge neutrality on the ionic-induced interactions between surfaces with modulated charge domains, we consider two distinct model systems for the confined electrolyte: one in which a salt reservoir is explicitly taken into account {\it via} the osmotic equilibrium with an electrolyte of fixed bulk concentration, and a second one in which the equilibrium with a charge neutral ionic reservoir is implicitly considered. While in the former case the osmotic ionic exchange might lead to non-vanishing net charges, in the latter model charge neutrality is enforced through the appearance of an implicit Donnan potential across the charged interfaces. A strong dependence of the ionic-induced surface interactions in the employed model system is observed at all particle separations. These findings strongly suggest that due care is to be taken while choosing among different scenarios to describe the ionic exchanging in electrolytes confined between charged surfaces, even in cases when the monopole (non zero net charge) surface contributions are absent.


title: gIM: GPU Accelerated RIS-based Influence Maximization Algorithm

abstract: Given a social network modeled as a weighted graph $G$, the influence maximization problem seeks $k$ vertices to become initially influenced, to maximize the expected number of influenced nodes under a particular diffusion model. The influence maximization problem has been proven to be NP-hard, and most proposed solutions to the problem are approximate greedy algorithms, which can guarantee a tunable approximation ratio for their results with respect to the optimal solution. The state-of-the-art algorithms are based on Reverse Influence Sampling (RIS) technique, which can offer both computational efficiency and non-trivial $(1-\frac{1}{e}-\epsilon)$-approximation ratio guarantee for any $\epsilon >0$. RIS-based algorithms, despite their lower computational cost compared to other methods, still require long running times to solve the problem in large-scale graphs with low values of $\epsilon$. In this paper, we present a novel and efficient parallel implementation of a RIS-based algorithm, namely IMM, on GPU. The proposed GPU-accelerated influence maximization algorithm, named gIM, can significantly reduce the running time on large-scale graphs with low values of $\epsilon$. Furthermore, we show that gIM algorithm can solve other variations of the IM problem, only by applying minor modifications. Experimental results show that the proposed solution reduces the runtime by a factor up to $220 \times$. The source code of gIM is publicly available online.


title: Measurement of beam asymmetry for $\pi^-\Delta^{++}$ photoproduction on the proton at $E_\gamma$=8.5 GeV

abstract: We report a measurement of the $\pi^-$ photoproduction beam asymmetry for the reaction $\vec{\gamma} p \rightarrow \pi^- \Delta^{++}$ using data from the GlueX experiment in the photon beam energy range 8.2--8.8 GeV. The asymmetry $\Sigma$ is measured as a function of four-momentum transfer $t$ to the $\Delta^{++}$ and compared to phenomenological models. We find that $\Sigma$ varies as a function of $t$: negative at smaller values and positive at higher values of $|t|$. The reaction can be described theoretically by $t$-channel particle exchange requiring pseudoscalar, vector, and tensor intermediaries. In particular, this reaction requires charge exchange, allowing us to probe pion exchange and the significance of higher-order corrections to one-pion exchange at low momentum transfer. Constraining production mechanisms of conventional mesons may aid in the search for and study of unconventional mesons. This is the first measurement of the process at this energy.


title: Generative models with kernel distance in data space

abstract: Generative models dealing with modeling a~joint data distribution are generally either autoencoder or GAN based. Both have their pros and cons, generating blurry images or being unstable in training or prone to mode collapse phenomenon, respectively. The objective of this paper is to construct a~model situated between above architectures, one that does not inherit their main weaknesses. The proposed LCW generator (Latent Cramer-Wold generator) resembles a classical GAN in transforming Gaussian noise into data space. What is of utmost importance, instead of a~discriminator, LCW generator uses kernel distance. No adversarial training is utilized, hence the name generator. It is trained in two phases. First, an autoencoder based architecture, using kernel measures, is built to model a manifold of data. We propose a Latent Trick mapping a Gaussian to latent in order to get the final model. This results in very competitive FID values.


title: A semisimple mod $p$ Langlands correspondence in families for $GL_2(\mathbb{Q}_p)$

abstract: This is the sequel to arXiv:2007.01364v1. Let $F$ be any local field with residue characteristic $p>0$, and $\mathcal{H}^{(1)}_{\overline{\mathbb{F}}_p}$ be the mod $p$ pro-$p$-Iwahori Hecke algebra of $\mathbf{GL_2}(F)$. In arXiv:2007.01364v1 we have constructed a parametrization of the $\mathcal{H}^{(1)}_{\overline{\mathbb{F}}_p}$-modules by certain $\widehat{\mathbf{GL_2}}(\overline{\mathbb{F}}_p)$-Satake parameters, together with an antispherical family of $\mathcal{H}^{(1)}_{\overline{\mathbb{F}}_p}$-modules. Here we let $F=\mathbb{Q}_p$ (and $p\geq 5$) and construct a morphism from $\widehat{\mathbf{GL_2}}(\overline{\mathbb{F}}_p)$-Satake parameters to $\widehat{\mathbf{GL_2}}(\overline{\mathbb{F}}_p)$-Langlands parameters. As a result, we get a version in families of Breuil's semisimple mod $p$ Langlands correspondence for $\mathbf{GL_2}(\mathbb{Q}_p)$ and of Pa\v{s}k\={u}nas' parametrization of blocks of the category of mod $p$ locally admissible smooth representations of $\mathbf{GL_2}(\mathbb{Q}_p)$ having a central character. The formulation of these results is possible thanks to the Emerton-Gee moduli space of semisimple $\widehat{\mathbf{GL_2}}(\overline{\mathbb{F}}_p)$-representations of the Galois group ${\rm Gal}(\overline{\mathbb{Q}}_p/ \mathbb{Q}_p)$.


title: Realization of active metamaterials with odd micropolar elasticity

abstract: Materials made from active, living, or robotic components can display emergent properties arising from local sensing and computation. Here, we realize a freestanding active metabeam with piezoelectric elements and electronic feed-forward control that gives rise to an odd micropolar elasticity absent in energy-conserving media. The non-reciprocal odd modulus enables bending and shearing cycles that convert electrical energy into mechanical work, and vice versa. The sign of this elastic modulus is linked to a non-Hermitian topological index that determines the localization of vibrational modes to sample boundaries. At finite frequency, we can also tune the phase angle of the active modulus to produce a direction-dependent bending modulus and control non-Hermitian vibrational properties. Our continuum approach, built on symmetries and conservation laws, could be exploited to design others systems such as synthetic biofilaments and membranes with feed-forward control loops.


title: Training neural networks under physical constraints using a stochastic augmented Lagrangian approach

abstract: We investigate the physics-constrained training of an encoder-decoder neural network for approximating the Fokker-Planck-Landau collision operator in the 5-dimensional kinetic fusion simulation in XGC. To train this network, we propose a stochastic augmented Lagrangian approach that utilizes pyTorch's native stochastic gradient descent method to solve the inner unconstrained minimization subproblem, paired with a heuristic update for the penalty factor and Lagrange multipliers in the outer augmented Lagrangian loop. Our training results for a single ion species case, with self-collisions and collision against electrons, show that the proposed stochastic augmented Lagrangian approach can achieve higher model prediction accuracy than training with a fixed penalty method for our application problem, with the accuracy high enough for practical applications in kinetic simulations.

categories: physics.comp-ph cs.LG math.OC physics.plasm-ph stat.ML


title: Dimension and measure in pseudofinite H-structures

abstract: We study H-structures associated to SU-rank 1 measurable structures. We prove that the SU-rank of the expansion is continuous and that it is uniformly definable in terms of the parameters of the formulas. We also introduce notions of dimension and measure for definable sets in the expansion and prove they are uniformly definable in terms of the parameters of the formulas.


title: Analog vs. Digital Spatial Transforms: A Throughput, Power, and Area Comparison

abstract: Spatial linear transforms that process multiple parallel analog signals to simplify downstream signal processing find widespread use in multi-antenna communication systems, machine learning inference, data compression, audio and ultrasound applications, among many others. In the past, a wide range of mixed-signal as well as digital spatial transform circuits have been proposed---it is, however, a longstanding question whether analog or digital transforms are superior in terms of throughput, power, and area. In this paper, we focus on Hadamard transforms and perform a systematic comparison of state-of-the-art analog and digital circuits implementing spatial transforms in the same 65\,nm CMOS technology. We analyze the trade-offs between throughput, power, and area, and we identify regimes in which mixed-signal or digital Hadamard transforms are preferable. Our comparison reveals that (i) there is no clear winner and (ii) analog-to-digital conversion is often dominating area and energy efficiency---and not the spatial transform.


title: Widely Spaced Planes of Magnetic Dimers in the Ba6Y2Rh2Ti2O17-{\delta} Hexagonal Perovskite

abstract: We report the synthesis and initial characterization of Ba6Y2Rh2Ti2O17-{\delta}, a previously unreported material with a hexagonal symmetry structure. Face-sharing RhO6 octahedra form triangular planes of Rh2O9 dimers that are widely separated in the perpendicular direction. The material displays a small effective magnetic moment, due to the Rh ions present, and a negative Curie-Weiss temperature. The charge transport and optical band gaps are very similar, near 0.16 eV. A large upturn in the heat capacity at temperatures below 1 K, suppressed by applied magnetic fields larger than {{\mu}0H = 2 Tesla, is observed. A large T-linear term in the specific heat ({\gamma}=166 mJ/mol f.u-K2) is seen, although the material is insulating at low temperatures. These results suggest the possibility of a spin liquid ground state in this material.


title: Lattice N=4 super Yang-Mills at Strong Coupling

abstract: In this paper we present results from numerical simulations of N=4 super Yang-Mills for two color gauge theory over a wide range of 't Hooft coupling $0<\lambda\le 30$ using a supersymmetric lattice action \cite{Catterall:2009it}. Numerical study of this lattice theory has been stymied until recently by both sign problems and the occurrence of lattice artifact phases at strong coupling. We have recently developed a new action that appears capable of solving both problems. The resulting action possesses just $SU(2)$ rather than $U(2)$ gauge symmetry. By explicit computations of the fermion Pfaffian we present evidence that the theory possesses no sign problem and exists in a single phase out to arbitrarily strong coupling. Furthermore, preliminary work shows that the logarithm of the supersymmetric Wilson loop varies as the square root of the 't Hooft coupling $\lambda$ for large $\lambda$ in agreement with holographic predictions.


title: Video captioning with stacked attention and semantic hard pull

abstract: Video captioning, i.e. the task of generating captions from video sequences creates a bridge between the Natural Language Processing and Computer Vision domains of computer science. The task of generating a semantically accurate description of a video is quite complex. Considering the complexity, of the problem, the results obtained in recent research works are praiseworthy. However, there is plenty of scope for further investigation. This paper addresses this scope and proposes a novel solution. Most video captioning models comprise two sequential/recurrent layers - one as a video-to-context encoder and the other as a context-to-caption decoder. This paper proposes a novel architecture, namely Semantically Sensible Video Captioning (SSVC) which modifies the context generation mechanism by using two novel approaches - "stacked attention" and "spatial hard pull". As there are no exclusive metrics for evaluating video captioning models, we emphasize both quantitative and qualitative analysis of our model. Hence, we have used the BLEU scoring metric for quantitative analysis and have proposed a human evaluation metric for qualitative analysis, namely the Semantic Sensibility (SS) scoring metric. SS Score overcomes the shortcomings of common automated scoring metrics. This paper reports that the use of the aforementioned novelties improves the performance of state-of-the-art architectures.


title: On Sharifi's conjecture: exceptional case

abstract: In the present article, we study the conjecture of Sharifi on the surjectivity of the map $\varpi_{\theta}$. Here $\theta$ is a primitive even Dirichlet character of conductor $Np$, which is exceptional in the sense of Ohta. After localizing at the prime ideal $\mathfrak{p}$ of the Iwasawa algebra related to the trivial zero of the Kubota\textendash Leopoldt $p$-adic $L$-function $L_p(s,\theta^{-1}\omega^2)$, we compute the image of $\varpi_{\theta,\mathfrak{p}}$ in a local Galois cohomology group and prove that it is an isomorphism. Also, we prove that the residual Galois representations associated to the cohomology of modular curves are decomposable after taking the same localization.


title: An Analysis of Soft X-ray Structures at Kiloparsec Distances from the Active Nucleus of Centaurus A Galaxy

abstract: Here we re-analyze the archival {\it Chandra} data for the central parts of the Centaurus\,A radio galaxy, aiming for a systematic investigation of the X-ray emission associated with the inner radio lobes in the system, and their immediate surroundings. In particular, we focus on four distinct features characterized by the soft excess with respect to the adjacent fields. Those include the two regions located at kpc distances from the nucleus to the West and East, the extended bow-shock structure to the South, and a fragment of a thin arc North from the center. The selected North, West, and South features coincide with the edges of the radio lobes, while the East structure is seemingly displaced from the radio-emitting plasma. Our X-ray spectral analysis reveals (i) a power-law emission component with photon index $\Gamma \sim 2$ in the North, East, and South regions, and (ii) a dense (number density $\sim 0.3$\,cm$^{-3}$) and relatively cold (temperature $\sim 0.2$\,keV) gas in the East and West regions. The power-law emission is consistent with the synchrotron continuum generated at the edges of the radio structure, and implies that the efficiency of the electron acceleration at the terminal bow-shock does not vary dramatically over the inner lobes' extension. The presence of gaseous condensations, on the other hand, could possibly be understood in terms of a massive outflow from the central regions of the galaxy.


title: Comparison of Spatiotemporal Networks for Learning Video Related Tasks

abstract: Many methods for learning from video sequences involve temporally processing 2D CNN features from the individual frames or directly utilizing 3D convolutions within high-performing 2D CNN architectures. The focus typically remains on how to incorporate the temporal processing within an already stable spatial architecture. This work constructs an MNIST-based video dataset with parameters controlling relevant facets of common video-related tasks: classification, ordering, and speed estimation. Models trained on this dataset are shown to differ in key ways depending on the task and their use of 2D convolutions, 3D convolutions, or convolutional LSTMs. An empirical analysis indicates a complex, interdependent relationship between the spatial and temporal dimensions with design choices having a large impact on a network's ability to learn the appropriate spatiotemporal features.


title: Geometric property (T) for non-discrete spaces

abstract: Geometric property (T) was defined by Willett and Yu, first for sequences of graphs and later for more general discrete spaces. Increasing sequences of graphs with geometric property (T) are expanders, and they are examples of coarse spaces for which the maximal coarse Baum-Connes assembly map fails to be surjective. Here, we give a broader definition of bounded geometry for coarse spaces, which includes non-discrete spaces. We define a generalisation of geometric property (T) for this class of spaces and show that it is a coarse invariant. Additionally, we characterise it in terms of spectral properties of Laplacians. We investigate geometric property (T) for manifolds and warped systems.


title: A high-order semi-Lagrangian method for the consistent Monte-Carlo solution of stochastic Lagrangian drift-diffusion models coupled with Eulerian discontinuous spectral element method

abstract: The explicit semi-Lagrangian method method for solution of Lagrangian transport equations as developed in [Natarajan and Jacobs, Computer and Fluids, 2020] is adopted for the solution of stochastic differential equations that is consistent with Discontinuous Spectral Element Method (DSEM) approximations of Eulerian conservation laws. The method extends the favorable properties of DSEM that include its high-order accuracy, its local and boundary fitted properties and its high performance on parallel platforms for the concurrent Monte-Carlo, semi-Lagrangian and Eulerian solution of a class of time-dependent problems that can be described by coupled Eulerian-Lagrangian formulations. The semi-Lagrangian method seeds particles at Gauss quadrature collocation nodes within a spectral element. The particles are integrated explicitly in time according to a drift velocity and a Wiener increment forcing and form the nodal basis for an advected interpolant. This interpolant is mapped back in a semi-Lagrangian fashion to the Gauss quadrature points through a least squares fit using constraints for element boundary values. Stochastic Monte-Carlo samples are averaged element-wise on the quadrature nodes. The stable explicit time step Wiener increment is sufficiently small to prevent particles from leaving the element's bounds. The semi-Lagrangian method is hence local and parallel and does not have the grid complexity, and parallelization challenges of the commonly used Lagrangian particle solvers in particle-mesh methods for solution of Eulerian-Lagrangian formulations. Formal proof is presented that the semi-Lagrangian algorithm evolves the solution according to the Eulerian Fokker-Planck equation. Numerical tests in one and two dimensions for drift-diffusion problems show that the method converges exponentially for constant and non-constant advection and diffusion velocities.


title: Encompassing Tests for Value at Risk and Expected Shortfall Multi-Step Forecasts based on Inference on the Boundary

abstract: We propose forecast encompassing tests for the Expected Shortfall (ES) jointly with the Value at Risk (VaR) based on flexible link (or combination) functions. Our setup allows testing encompassing for convex forecast combinations and for link functions which preclude crossings of the combined VaR and ES forecasts. As the tests based on these link functions involve parameters which are on the boundary of the parameter space under the null hypothesis, we derive and base our tests on nonstandard asymptotic theory on the boundary. Our simulation study shows that the encompassing tests based on our new link functions outperform tests based on unrestricted linear link functions for one-step and multi-step forecasts. We further illustrate the potential of the proposed tests in a real data analysis for forecasting VaR and ES of the S&P 500 index.


title: Scatterplot Selection Applying a Graph Coloring Problem

abstract: Scatterplot selection is an effective approach to represent essential portions of multidimensional data in a limited display space. Various metrics for evaluation of scatterplots such as scagnostics have been presented and applied to scatterplot selection. This paper presents a new scatterplot selection technique that applies multiple metrics. The technique firstly calculates scores of scatterplots with multiple metrics and then constructs a graph by connecting similar scatterplots. The technique applies a graph coloring problem so that different colors are assigned to similar scatterplots. We can extract a set of various scatterplots by selecting them that the specific same color is assigned. This paper introduces visualization examples with a retail dataset containing multidimensional climate and sales values.


title: Trust-Aware Service Function Chain Embedding: A Path-Based Approach

abstract: With the emergence of network function virtualization (NFV), and software-defined networking (SDN), the realization and implementation of service function chains (SFCs) have become much easier. An SFC is an ordered set of interconnected virtual network functions (VNFs). NFV allows for decoupling the network functions from proprietary hardware realizing a software-based implementation of VNFs on commodity hardware and SDN decouples the network control from its forwarding logic allowing for a more flexible and programmable traffic routing among the VNFs. The SFC embedding problem (i.e. placement of SFCs on a shared substrate and establishing the corresponding traffic routes between the VNFs), has been extensively studied in the literature. In this paper, we extend a previous work on trust-aware service chain embedding with generalizing the role of trust by incorporating the trustworthiness of the service network links and substrate network paths into the SFC embedding decision process. We first introduce and formulate the path-based trust-aware service chain embedding problem as a mixed integer-linear program (MILP), and then provide an approximate model-based on selecting k-shortest candidate substrate paths for hosting each virtual link, to reduce the complexity of the model. We validate the performance of our methods through simulations and conduct a discussion on evaluating the methods and some operation trade-offs.


title: Cuspidal ribbon tableaux in affine type A

abstract: For any convex preorder on the set of positive roots of affine type A, we classify and construct all associated cuspidal and semicuspidal skew shapes. These combinatorial objects correspond to cuspidal and semicuspidal skew Specht modules for the Khovanov-Lauda-Rouquier algebra of affine type A. Cuspidal skew shapes are ribbons, and we show that every skew shape has a unique ordered tiling by cuspidal ribbons. This tiling data provides an upper bound, in the bilexicographic order on Kostant partitions, for labels of simple factors of Specht modules.


title: Identifying latent classes with ordered categorical indicators

abstract: A Monte Carlo simulation was used to determine which assumptions for ordered categorical data, continuity vs. discrete categories, most frequently identifies the underlying factor structure when a response variable has five ordered categories. The impact of infrequently endorsed response categories was also examined, a condition that has not been fully explored. The typical method for overcoming infrequently endorsed categories in applied research is to collapse response options with adjacent categories resulting in less response categories that are endorsed more frequently, but this approach may not necessarily provide useful information. Response category endorsement issues have been studied in Item Response Theory, but this issue has not been addressed in classification analyses nor has fit measure performance been examined under these conditions. We found that the performance of commonly used fit statistics to identify the true number of latent class depends on the whether continuity is assumed, sample size, and convergence. Fit statistics performed best when the five response options are assumed to be categorical. However, in situations with lower sample sizes and when convergence is an issue, assuming continuity and using the adjusted Lo-Mendell-Rubin likelihood ratio test may be useful.


title: Reinforcement Learning for Strategic Recommendations

abstract: Strategic recommendations (SR) refer to the problem where an intelligent agent observes the sequential behaviors and activities of users and decides when and how to interact with them to optimize some long-term objectives, both for the user and the business. These systems are in their infancy in the industry and in need of practical solutions to some fundamental research challenges. At Adobe research, we have been implementing such systems for various use-cases, including points of interest recommendations, tutorial recommendations, next step guidance in multi-media editing software, and ad recommendation for optimizing lifetime value. There are many research challenges when building these systems, such as modeling the sequential behavior of users, deciding when to intervene and offer recommendations without annoying the user, evaluating policies offline with high confidence, safe deployment, non-stationarity, building systems from passive data that do not contain past recommendations, resource constraint optimization in multi-user systems, scaling to large and dynamic actions spaces, and handling and incorporating human cognitive biases. In this paper we cover various use-cases and research challenges we solved to make these systems practical.


title: Ion-dependent DNA Configuration in Bacteriophage Capsids

abstract: Bacteriophages densely pack their long dsDNA genome inside a protein capsid. The conformation of the viral genome inside the capsid is consistent with a hexagonal liquid crystalline structure. Experiments have confirmed that the details of the hexagonal packing depend on the electrochemistry of the capsid and its environment. In this work, we propose a biophysical model that quantifies the relationship between DNA configurations inside bacteriophage capsids and the types and concentrations of ions present in a biological system. We introduce an expression for the free energy which combines the electrostatic energy with contributions from bending of individual segments of DNA and Lennard-Jones-type interactions between these segments. The equilibrium points of this energy solve a partial differential equation that defines the distributions of DNA and the ions inside the capsid. We develop a computational approach that allows us to simulate much larger systems than what is currently possible using the existing simulations, typically done at a molecular level. In particular, we are able to estimate bending and repulsion between DNA segments as well as the full electrochemistry of the solution, both inside and outside of the capsid. The numerical results show good agreement with existing experiments and molecular dynamics simulations for small capsids.


title: Searching for quicksand ideals in partially ordered sets

abstract: We consider a combinatorial question about searching for an unknown ideal $\mu$ within a known poset $\lambda$. Elements of $\lambda$ may be queried for membership in $\mu$, but at most $k$ positive query results are permitted. The goal is to find a search strategy which guarantees a solution in a minimal total number $m_k(\lambda)$ of queries. We provide tight bounds for $m_k(\lambda)$, and construct optimal search strategies for the case where $k=2$ and $\lambda$ is the product poset of totally ordered finite sets, one of which has cardinality not more than six.


title: Recurrent autoencoder with sequence-aware encoding

abstract: Recurrent Neural Networks (RNN) received a vast amount of attention last decade. Recently, the architectures of Recurrent AutoEncoders (RAE) found many applications in practice. RAE can extract the semantically valuable information, called context that represents a latent space useful for further processing. Nevertheless, recurrent autoencoders are hard to train, and the training process takes much time. In this paper, we propose an autoencoder architecture with sequence-aware encoding, which employs 1D convolutional layer to improve its performance in terms of model training time. We prove that the recurrent autoencoder with sequence-aware encoding outperforms a standard RAE in terms of training speed in most cases. The preliminary results show that the proposed solution dominates over the standard RAE, and the training process is order of magnitude faster.


title: G-rigid local systems are integral

abstract: Let $G$ be a reductive group, and let $X$ be a smooth quasi-projective complex variety. We prove that any $G$-irreducible, $G$-cohomologically rigid local system on $X$ with finite order abelianization and quasi-unipotent local monodromies is integral. This generalizes work of Esnault and Groechenig when $G= \mathrm{GL}_n$, and it answers positively a conjecture of Simpson for $G$-cohomologically rigid local systems. Along the way we show that the connected component of the Zariski-closure of the monodromy group of any such local system is semisimple.


title: Federated Dynamic GNN with Secure Aggregation

abstract: Given video data from multiple personal devices or street cameras, can we exploit the structural and dynamic information to learn dynamic representation of objects for applications such as distributed surveillance, without storing data at a central server that leads to a violation of user privacy? In this work, we introduce Federated Dynamic Graph Neural Network (Feddy), a distributed and secured framework to learn the object representations from multi-user graph sequences: i) It aggregates structural information from nearby objects in the current graph as well as dynamic information from those in the previous graph. It uses a self-supervised loss of predicting the trajectories of objects. ii) It is trained in a federated learning manner. The centrally located server sends the model to user devices. Local models on the respective user devices learn and periodically send their learning to the central server without ever exposing the user's data to server. iii) Studies showed that the aggregated parameters could be inspected though decrypted when broadcast to clients for model synchronizing, after the server performed a weighted average. We design an appropriate aggregation mechanism of secure aggregation primitives that can protect the security and privacy in federated learning with scalability. Experiments on four video camera datasets (in four different scenes) as well as simulation demonstrate that Feddy achieves great effectiveness and security.


title: Data-Driven Network Intrusion Detection: A Taxonomy of Challenges and Methods

abstract: Data-driven methods have been widely used in network intrusion detection (NID) systems. However, there are currently a number of challenges derived from how the datasets are being collected. Most attack classes in network intrusion datasets are considered the minority compared to normal traffic and many datasets are collected through virtual machines or other simulated environments rather than real-world networks. These challenges undermine the performance of intrusion detection machine learning models by fitting models such as random forests or support vector machines to unrepresentative "sandbox" datasets. This survey presents a carefully designed taxonomy highlighting eight main challenges and solutions and explores common datasets from 1999 to 2020. Trends are analyzed on the distribution of challenges addressed for the past decade and future directions are proposed on expanding NID into cloud-based environments, devising scalable models for larger amount of network intrusion data, and creating labeled datasets collected in real-world networks.


title: Gluck twist and unknotting of satellite $2$-knots

abstract: In this paper, we show that the Gluck twist of certain satellite $2$-knots in a $4$-manifold do not change the diffeomorphism type in three different ways: one is directly from the definition of the satellite $2$-knot, and the other two are by finding an equivalent description of the satellite $2$-knot. Furthermore, using the new description, we gave infinite number of new examples of $2$-knots which are unknotted by connected summing a single standard real projective plane.


title: Random-Sampling Monte-Carlo Tree Search Methods for Cost Approximation in Long-Horizon Optimal Control

abstract: In this paper, we develop Monte-Carlo based heuristic approaches to approximate the objective function in long horizon optimal control problems. In these approaches, to approximate the expectation operator in the objective function, we evolve the system state over multiple trajectories into the future while sampling the noise disturbances at each time-step, and find the average (or weighted average) of the costs along all the trajectories. We call these methods random sampling - multipath hypothesis propagation or RS-MHP. These methods (or variants) exist in the literature; however, the literature lacks results on how well these approximation strategies converge. This paper fills this knowledge gap to a certain extent. We derive convergence results for the cost approximation error from the RS-MHP methods and discuss their convergence (in probability) as the sample size increases. We consider two case studies to demonstrate the effectiveness of our methods - a) linear quadratic control problem; b) UAV path optimization problem.


title: Equigenerated ideals of analytic deviation one

abstract: The overall goal is to approach the Cohen--Macaulay property of the special fiber $\mathcal{F}(I)$ of an equigenerated homogeneous ideal $I$ in a standard graded ring over an infinite field. When the ground ring is assumed to be local, the subject has been extensively looked at. Here, with a focus on the graded situation, one introduces two technical conditions, called respectively, {\em analytical tightness} and {\em analytical adjustment}, in order to approach the Cohen--Macaulayness of $\mathcal{F}(I)$. A degree of success is obtained in the case where $I$ in addition has analytic deviation one, a situation looked at by several authors, being essentially the only interesting one in dimension three. Naturally, the paper has some applications in this case.


title: High-resolution Spatio-temporal Model for County-level COVID-19 Activity in the U.S

abstract: We present an interpretable high-resolution spatio-temporal model to estimate COVID-19 deaths together with confirmed cases one-week ahead of the current time, at the county-level and weekly aggregated, in the United States. A notable feature of our spatio-temporal model is that it considers the (a) temporal auto- and pairwise correlation of the two local time series (confirmed cases and death of the COVID-19), (b) dynamics between locations (propagation between counties), and (c) covariates such as local within-community mobility and social demographic factors. The within-community mobility and demographic factors, such as total population and the proportion of the elderly, are included as important predictors since they are hypothesized to be important in determining the dynamics of COVID-19. To reduce the model's high-dimensionality, we impose sparsity structures as constraints and emphasize the impact of the top ten metropolitan areas in the nation, which we refer (and treat within our models) as hubs in spreading the disease. Our retrospective out-of-sample county-level predictions were able to forecast the subsequently observed COVID-19 activity accurately. The proposed multi-variate predictive models were designed to be highly interpretable, with clear identification and quantification of the most important factors that determine the dynamics of COVID-19. Ongoing work involves incorporating more covariates, such as education and income, to improve prediction accuracy and model interpretability.


title: A novel early Dark Energy model

abstract: We present a theoretical study of an early dark energy (EDE) model. The equation of state $\omega(z)$ evolves during the thermal history in a framework of a Friedmann-Lemaitre-Robertson-Walker Universe, following an effective parametrization that is a function of redshift $z$. We explore the evolution of the system from the radiation domination era to the late times, allowing the EDE model to have a non-negligible contribution at high redshift (as opposed to the cosmological constant that only plays a role once the structure is formed) with a very little input to the Big Bang Nucleosynthesis, and to do so, the equation of state mimics the radiation behaviour, but being subdominant in terms of its energy density. At late times, the equation of state of the dark energy model asymptotically tends to the fiducial value of the De Sitter domination epoch, providing an explanation for the accelerated expansion of the Universe at late times, emulating the effect of the cosmological constant. The proposed model has three free parameters, that we constrain using SNIa luminosity distances, along with the CMB shift parameter and the deceleration parameter calculated at the time of dark energy - matter equality. With full knowledge of the best fit for our model, we calculate different observables and compare these predictions with the standard$\Lambda$CDM model. Besides the general consent of the community with the cosmological constant, there is no fundamental reason to choose that particular candidate as dark energy. Here, we open the opportunity to consider a more dynamical model, that also accounts for the late accelerated expansion of the Universe.


title: On the Dirac operator for a test electron in a Reissner--Weyl--Nordstr\"om black hole spacetime

abstract: The present paper studies the Dirac Hamiltonian of a test electron with a domain of bi-spinor wave functions supported on the static region inside the Cauchy horizon of the subextremal RWN black hole spacetime, respectively inside the event horizon of the extremal RWN black hole spacetime. It is found that this Dirac Hamiltonian is not essentially self-adjoint, yet has infinitely many self-adjoint extensions. Including a sufficiently large anomalous magnetic moment interaction in the Dirac Hamiltonian restores essential self-adjointness; the empirical value of the electron's anomalous magnetic moment is large enough. The spectrum of the subextremal self-adjoint Dirac operator with anomalous magnetic moment is purely absolutely continuous and consists of the whole real line; in particular, there are no eigenvalues. The same is true for the spectrum of any self-adjoint extension of the Dirac operator without anomalous magnetic moment interaction, in the subextremal black hole context. In the extremal black hole sector the point spectrum, if non-empty, consists of a single eigenvalue, which is identified.


title: What Have Google's Random Quantum Circuit Simulation Experiments Demonstrated about Quantum Supremacy?

abstract: Quantum computing is of high interest because it promises to perform at least some kinds of computations much faster than classical computers. Arute et al. 2019 (informally, "the Google Quantum Team") report the results of experiments that purport to demonstrate "quantum supremacy" -- the claim that the performance of some quantum computers is better than that of classical computers on some problems. Do these results close the debate over quantum supremacy? We argue that they do not. We provide an overview of the Google Quantum Team's experiments, then identify some open questions in the quest to demonstrate quantum supremacy.


title: Constrained Labeling for Weakly Supervised Learning

abstract: Curation of large fully supervised datasets has become one of the major roadblocks for machine learning. Weak supervision provides an alternative to supervised learning by training with cheap, noisy, and possibly correlated labeling functions from varying sources. The key challenge in weakly supervised learning is combining the different weak supervision signals while navigating misleading correlations in their errors. In this paper, we propose a simple data-free approach for combining weak supervision signals by defining a constrained space for the possible labels of the weak signals and training with a random labeling within this constrained space. Our method is efficient and stable, converging after a few iterations of gradient descent. We prove theoretical conditions under which the worst-case error of the randomized label decreases with the rank of the linear constraints. We show experimentally that our method outperforms other weak supervision methods on various text- and image-classification tasks.


title: Enabling and Enhancing Astrophysical Observations with Autonomous Systems

abstract: The impact of autonomous systems on astrophysics can be just as revolutionary as in our daily lives. This paper includes the following so that the astrophysics community can realize the benefits of autonomous systems: description of autonomous systems with examples; enabled and enhanced observations; Adoption gaps; suggested recommendations.


title: General DeepLCP model for disease prediction : Case of Lung Cancer

abstract: According to GHO (Global Health Observatory (GHO), the high prevalence of a large variety of diseases such as Ischaemic heart disease, stroke, lung cancer disease and lower respiratory infections have remained the top killers during the past decade. The growth in the number of mortalities caused by these disease is due to the very delayed symptoms'detection. Since in the early stages, the symptoms are insignificant and similar to those of benign diseases (e.g. the flu ), and we can only detect the disease at an advanced stage. In addition, The high frequency of improper practices that are harmful to health, the hereditary factors, and the stressful living conditions can increase the death rates. Many researches dealt with these fatal disease, and most of them applied advantage machine learning models to deal with image diagnosis. However the drawback is that imagery permit only to detect disease at a very delayed stage and then patient can hardly be saved. In this Paper we present our new approach "DeepLCP" to predict fatal diseases that threaten people's lives. It's mainly based on raw and heterogeneous data of the concerned (or under-tested) person. "DeepLCP" results of a combination combination of the Natural Language Processing (NLP) and the deep learning paradigm.The experimental results of the proposed model in the case of Lung cancer prediction have approved high accuracy and a low loss data rate during the validation of the disease prediction.


title: Advancing the Scientific Frontier with Increasingly Autonomous Systems

abstract: A close partnership between people and partially autonomous machines has enabled decades of space exploration. But to further expand our horizons, our systems must become more capable. Increasing the nature and degree of autonomy - allowing our systems to make and act on their own decisions as directed by mission teams - enables new science capabilities and enhances science return. The 2011 Planetary Science Decadal Survey (PSDS) and on-going pre-Decadal mission studies have identified increased autonomy as a core technology required for future missions. However, even as scientific discovery has necessitated the development of autonomous systems and past flight demonstrations have been successful, institutional barriers have limited its maturation and infusion on existing planetary missions. Consequently, the authors and endorsers of this paper recommend that new programmatic pathways be developed to infuse autonomy, infrastructure for support autonomous systems be invested in, new practices be adopted, and the cost-saving value of autonomy for operations be studied.


title: An information theoretic view on selecting linguistic probes

abstract: There is increasing interest in assessing the linguistic knowledge encoded in neural representations. A popular approach is to attach a diagnostic classifier -- or "probe" -- to perform supervised classification from internal representations. However, how to select a good probe is in debate. Hewitt and Liang (2019) showed that a high performance on diagnostic classification itself is insufficient, because it can be attributed to either "the representation being rich in knowledge", or "the probe learning the task", which Pimentel et al. (2020) challenged. We show this dichotomy is valid information-theoretically. In addition, we find that the methods to construct and select good probes proposed by the two papers, *control task* (Hewitt and Liang, 2019) and *control function* (Pimentel et al., 2020), are equivalent -- the errors of their approaches are identical (modulo irrelevant terms). Empirically, these two selection criteria lead to results that highly agree with each other.


title: Fast semantic parsing with well-typedness guarantees

abstract: AM dependency parsing is a linguistically principled method for neural semantic parsing with high accuracy across multiple graphbanks. It relies on a type system that models semantic valency but makes existing parsers slow. We describe an A* parser and a transition-based parser for AM dependency parsing which guarantee well-typedness and improve parsing speed by up to 3 orders of magnitude, while maintaining or improving accuracy.


title: Variation bounds for spherical averages

abstract: We consider $r$-variation operators for the family of spherical means, with special emphasis on $L^p\to L^q$ estimates.


title: Classifying the Equation of State from Rotating Core Collapse Gravitational Waves with Deep Learning

abstract: In this paper, we seek to answer the question "given a rotating core collapse gravitational wave signal, can we determine its nuclear equation of state?". To answer this question, we employ deep convolutional neural networks to learn visual and temporal patterns embedded within rotating core collapse gravitational wave (GW) signals in order to predict the nuclear equation of state (EOS). Using the 1824 rotating core collapse GW simulations by Richers et al. (2017), which has 18 different nuclear EOS, we consider this to be a classic multi-class image classification and sequence classification problem. We attain up to 72\% correct classifications in the test set, and if we consider the "top 5" most probable labels, this increases to up to 97\%, demonstrating that there is a moderate and measurable dependence of the rotating core collapse GW signal on the nuclear EOS.


title: Evaluating representations by the complexity of learning low-loss predictors

abstract: We consider the problem of evaluating representations of data for use in solving a downstream task. We propose to measure the quality of a representation by the complexity of learning a predictor on top of the representation that achieves low loss on a task of interest, and introduce two methods, surplus description length (SDL) and $\varepsilon$ sample complexity ($\varepsilon$SC). In contrast to prior methods, which measure the amount of information about the optimal predictor that is present in a specific amount of data, our methods measure the amount of information needed from the data to recover an approximation of the optimal predictor up to a specified tolerance. We present a framework to compare these methods based on plotting the validation loss versus evaluation dataset size (the "loss-data" curve). Existing measures, such as mutual information and minimum description length probes, correspond to slices and integrals along the data axis of the loss-data curve, while ours correspond to slices and integrals along the loss axis. We provide experiments on real data to compare the behavior of each of these methods over datasets of varying size along with a high performance open source library for representation evaluation at https://github.com/willwhitney/reprieve.


title: The contact Banach-Mazur distance and large scale geometry of overtwisted contact forms

abstract: In the symplectic realm, a distance between open starshaped domains in Liouville manifolds was recently defined. This is the symplectic Banach-Mazur distance. It was proposed by Ostrover and Polterovich and developed by Ostrover, Polterovich, Usher, Gutt, Zhang and Stojisavljevi\'c. The natural question is, can an analogous distance in the contact realm be defined? One idea is to define the distance on contact hypersurfaces of Liouville manifolds and another one on contact forms supporting isomorphic contact structures. Rosen and Zhang recently defined such a distance working with manifolds that are prequantizations of Liouville manifolds. They also considered a distance on contact forms supporting the same contact structure on a contact manifold $Y$. This allowed them to view the space of contact forms supporting isomorphic contact structures on a manifold $Y$ as a pseudometric space, study its properties, and derive interesting results. In this work, we do something similar, yet the distance we define is less restrictive. Moreover, viewing contact homology algebra as a persistence module, focusing purely on the overtwisted case and exploiting the fact that the contact homology of overtwisted contact structures vanishes, allows us to bi-Lipschitz embed part of the 2-dimensional Euclidean space into the space of overtwisted contact forms supporting a given contact structure on a smooth closed manifold $Y$.


title: Edelstein's Astonishing Affine Isometry

abstract: In 1964, Michael Edelstein presented an amazing affine isometry acting on the space of square-summable sequences. This operator has no fixed points, but a suborbit that converges to 0 while another escapes in norm to infinity! We revisit, extend and sharpen his construction. Moreover, we sketch a connection to modern optimization and monotone operator theory.


title: Parts and Composites of Quantum Systems

abstract: We consider three types of entities for quantum measurements. In order of generality, these types are: observables, instruments and measurement models. If $\alpha$ and $\beta$ are entities, we define what it means for $\alpha$ to be a part of $\beta$. This relationship is essentially equivalent to $\alpha$ being a function of $\beta$ and in this case $\beta$ can be employed to measure $\alpha$. We then use the concept to define coexistence of entities and study its properties. A crucial role is played by a map $\alphahat$ which takes an entity of a certain type to one of lower type. For example, if $\iscript$ is an instrument, then $\iscripthat$ is the unique observable measured by $\iscript$. Composite systems are discussed next. These are constructed by taking the tensor product of the Hilbert spaces of the systems being combined. Composites of the three types of measurements and their parts are studied. Reductions of types to their local components are discussed. We also consider sequential products of measurements. Specific examples of L\"uders, Kraus and trivial instruments are used to illustrate various concepts. We only consider finite-dimensional systems in this article.


title: Twist-and-store entanglement in bimodal and spin-1 Bose-Einstein condensates

abstract: A scheme for dynamical stabilization of entanglement quantified by the quantum Fisher information is analyzed numerically and analytically for bimodal and spin-1 Bose-Einstein condensates in the context of atomic interferometry. The scheme consists of twisting dynamics followed by a single rotation of a state which limits further evolution around stable center fixed points in the mean-field phase space. The resulting level of entanglement is of the order or larger than at the moment of rotation. It is demonstrated that the readout measurement of parity quantifies the level of entanglement during entire evolution.


title: Domain Knowledge Empowered Structured Neural Net for End-to-End Event Temporal Relation Extraction

abstract: Extracting event temporal relations is a critical task for information extraction and plays an important role in natural language understanding. Prior systems leverage deep learning and pre-trained language models to improve the performance of the task. However, these systems often suffer from two short-comings: 1) when performing maximum a posteriori (MAP) inference based on neural models, previous systems only used structured knowledge that are assumed to be absolutely correct, i.e., hard constraints; 2) biased predictions on dominant temporal relations when training with a limited amount of data. To address these issues, we propose a framework that enhances deep neural network with distributional constraints constructed by probabilistic domain knowledge. We solve the constrained inference problem via Lagrangian Relaxation and apply it on end-to-end event temporal relation extraction tasks. Experimental results show our framework is able to improve the baseline neural network models with strong statistical significance on two widely used datasets in news and clinical domains.


title: Degeneration of Topological String partition functions and Mirror curves of the Calabi-Yau threefolds $X_{N,M}$

abstract: In this paper we study certain degenerations of the mirror curves, associated with Calabi-Yau threefolds $X_{N,M}$, and the effect of these degenerations on the topological string partition function of $X_{N,M}$. We show that when the mirror curve degenerates and become the union of the lower genus curves the corresponding partition function factorizes into pieces corresponding to the components of the degenerate mirror curve. Moreoever we show that using degeneration of a generalised mirror curve it is possible to obtain the partition function corresponding to $X_{N,M-1}$ from $X_{N,M}$.


title: Digital Quantum Simulation of Non-Equilibrium Quantum Many-Body Systems

abstract: Digital quantum simulation uses the capabilities of quantum computers to determine the dynamics of quantum systems, which are beyond the computability of modern classical computers. A notoriously challenging task in this field is the description of non-equilibrium dynamics in quantum many-body systems. Here we use the IBM quantum computers to simulate the non-equilibrium dynamics of few spin and fermionic systems. Our results reveal, that with a combination of error mitigation, noise extrapolation and optimized initial state preparation, one can tackle the most important drawbacks of modern quantum devices. The systems we simulate demonstrate the potential for large scale quantum simulations of light-matter interactions in the near future.


title: Q-space quantitative diffusion MRI measures using a stretched-exponential representation

abstract: Diffusion magnetic resonance imaging (dMRI) is a relatively modern technique used to study tissue microstructure in a non-invasive way. Non-Gaussian diffusion representation is related to the restricted diffusion and can provide information about the underlying tissue properties. In this paper, we analytically derive $n$-th order statistics of the signal considering a stretched-exponential representation of the diffusion. Then, we retrieve the Q-space quantitative measures such as the Return-To-the-Origin Probability (RTOP), Q-space mean square displacement (QMSD), Q-space mean fourth-order displacement (QMFD). The stretched-exponential representation enables the handling of the diffusion contributions from a higher $b$-value regime under a non-Gaussian assumption, which can be useful in diagnosing or prognosis of neurodegenerative diseases in the early stages. Numerical implementation of the method is freely available at https://github.com/TPieciak/Stretched.


title: Numerically exact mimicking of quantum gas microscopy for interacting lattice fermions

abstract: A numerical method is presented for reproducing fermionic quantum gas microscope experiments in equilibrium. By employing nested componentwise direct sampling of fermion pseudo-density matrices, as they arise naturally in determinantal quantum Monte Carlo (QMC) simulations, a stream of pseudo-snapshots of occupation numbers on large systems can be produced. There is a sign problem even when the conventional determinantal QMC algorithm can be made sign-problem free, and every pseudo-snapshot comes with a sign and a reweighting factor. Nonetheless, this "sampling sign problem" turns out to be weak and manageable in a large, relevant parameter regime. The method allows to compute distribution functions of arbitrary quantities defined in occupation number space and, from a practical point of view, facilitates the computation of complicated conditional correlation functions. While the projective measurements in quantum gas microscope experiments achieve direct sampling of occupation number states from the density matrix, the presented numerical method requires a Markov chain as an intermediate step and thus achieves only indirect sampling, but the full distribution of pseudo-snapshots after (signed) reweighting is identical to the distribution of snapshots from projective measurements


title: BOP Challenge 2020 on 6D Object Localization

abstract: This paper presents the evaluation methodology, datasets, and results of the BOP Challenge 2020, the third in a series of public competitions organized with the goal to capture the status quo in the field of 6D object pose estimation from an RGB-D image. In 2020, to reduce the domain gap between synthetic training and real test RGB images, the participants were provided 350K photorealistic training images generated by BlenderProc4BOP, a new open-source and light-weight physically-based renderer (PBR) and procedural data generator. Methods based on deep neural networks have finally caught up with methods based on point pair features, which were dominating previous editions of the challenge. Although the top-performing methods rely on RGB-D image channels, strong results were achieved when only RGB channels were used at both training and test time - out of the 26 evaluated methods, the third method was trained on RGB channels of PBR and real images, while the fifth on RGB channels of PBR images only. Strong data augmentation was identified as a key component of the top-performing CosyPose method, and the photorealism of PBR images was demonstrated effective despite the augmentation. The online evaluation system stays open and is available on the project website: bop.felk.cvut.cz.


title: Imaging spinon density modulations in a 2D quantum spin liquid

abstract: Two-dimensional triangular-lattice antiferromagnets are predicted under some conditions to exhibit a quantum spin liquid ground state whose low-energy behavior is described by a spinon Fermi surface. Directly imaging the resulting spinons, however, is difficult due to their fractional, chargeless nature. Here we use scanning tunneling spectroscopy to image spinon density modulations arising from a spinon Fermi surface instability in single-layer 1T-TaSe$_2$, a two-dimensional Mott insulator. We first demonstrate the existence of localized spins arranged on a triangular lattice in single-layer 1T-TaSe$_2$ by contacting it to a metallic 1H-TaSe$_2$ layer and measuring the Kondo effect. Subsequent spectroscopic imaging of isolated, single-layer 1T-TaSe$_2$ reveals long-wavelength modulations at Hubbard band energies that reflect spinon density modulations. This allows direct experimental measurement of the spinon Fermi wavevector, in good agreement with theoretical predictions for a 2D quantum spin liquid. These results establish single-layer 1T-TaSe$_2$ as a new platform for studying novel two-dimensional quantum-spin-liquid phenomena.


title: Classification of the mechanisms of wave energy dissipation in the nonlinear oscillations of coated and uncoated bubbles

abstract: Acoustic waves are dissipated when they pass through bubbly media. Dissipation by bubbles takes place through thermal damping (Td), radiation damping (Rd) and damping due to the friction of the liquid (Ld) and friction of the coating (Cd). Knowledge of the contributions of the Td, Rd, Ld and Cd during nonlinear bubble oscillations will help in optimizing bubble and ultrasound exposure parameters for the relevant applications by maximizing a desirable parameter. In this work we investigate the mechanisms of dissipation in bubble oscillations and their contribution to the total damping (Wtotal) in various nonlinear regimes. By using bifurcation analysis, we have classified nonlinear dynamics of bubbles that are sonicated with their 3rd superharmonic (SuH) and 2nd SuH resonance frequency (fr), pressure dependent resonance frequency (PDfr), fr, subharmonic (SH) resonance (fsh=2fr), pressure dependent SH resonance (PDfsh) and 1/3 order SH resonance. The corresponding Td, Rd, Ld, Cd, Wtotal, scattering to dissipation ratio (STDR), maximum wall velocity and maximum back-scattered pressure from non-destructive oscillations of bubbles were calculated and analyzed using the bifurcation diagrams. We classified different regimes of dissipation and provided parameter regions in which a particular parameter of interest (e.g. Rd) can be enhanced. Afterwards enhanced bubble activity is linked to some relevant applications in ultrasound. This paper represents the first comprehensive analysis of the nonlinear oscillations regimes and the corresponding damping mechanisms.


title: Torus actions, Morse homology, and the Hilbert scheme of points on affine space

abstract: We formulate a conjecture on actions of the multiplicative group in motivic homotopy theory. In short, if the multiplicative group G_m acts on a quasi-projective scheme U such that U is attracted as t approaches 0 in G_m to a closed subset Y in U, then the inclusion from Y to U should be an A^1-homotopy equivalence. We prove several partial results. In particular, over the complex numbers, the inclusion is a homotopy equivalence on complex points. The proofs use an analog of Morse theory for singular varieties. Application: the Hilbert scheme of points on affine n-space is homotopy equivalent to the subspace consisting of schemes supported at the origin.


title: Multi-span Style Extraction for Generative Reading Comprehension

abstract: Generative machine reading comprehension (MRC) requires a model to generate well-formed answers. For this type of MRC, answer generation method is crucial to the model performance. However, generative models, which are supposed to be the right model for the task, in generally perform poorly. At the same time, single-span extraction models have been proven effective for extractive MRC, where the answer is constrained to a single span in the passage. Nevertheless, they generally suffer from generating incomplete answers or introducing redundant words when applied to the generative MRC. Thus, we extend the single-span extraction method to multi-span, proposing a new framework which enables generative MRC to be smoothly solved as multi-span extraction. Thorough experiments demonstrate that this novel approach can alleviate the dilemma between generative models and single-span models and produce answers with better-formed syntax and semantics.


title: Point and contact equivalence groupoids of two-dimensional quasilinear hyperbolic equations

abstract: We describe the point and contact equivalence groupoids of an important class of two-dimensional quasilinear hyperbolic equations. In particular, we prove that this class is normalized in the usual sense with respect to point transformations, and its contact equivalence groupoid is generated by the first-order prolongation of its point equivalence groupoid, the contact vertex group of the wave equation and a family of contact admissible transformations between trivially Darboux-integrable equations.


title: Finding and Certifying (Near-)Optimal Strategies in Black-Box Extensive-Form Games

abstract: Often -- for example in war games, strategy video games, and financial simulations -- the game is given to us only as a black-box simulator in which we can play it. In these settings, since the game may have unknown nature action distributions (from which we can only obtain samples) and/or be too large to expand fully, it can be difficult to compute strategies with guarantees on exploitability. Recent work \cite{Zhang20:Small} resulted in a notion of certificate for extensive-form games that allows exploitability guarantees while not expanding the full game tree. However, that work assumed that the black box could sample or expand arbitrary nodes of the game tree at any time, and that a series of exact game solves (via, for example, linear programming) can be conducted to compute the certificate. Each of those two assumptions severely restricts the practical applicability of that method. In this work, we relax both of the assumptions. We show that high-probability certificates can be obtained with a black box that can do nothing more than play through games, using only a regret minimizer as a subroutine. As a bonus, we obtain an equilibrium-finding algorithm with $\tilde O(1/\sqrt{T})$ convergence rate in the extensive-form game setting that does not rely on a sampling strategy with lower-bounded reach probabilities (which MCCFR assumes). We demonstrate experimentally that, in the black-box setting, our methods are able to provide nontrivial exploitability guarantees while expanding only a small fraction of the game tree.


title: Interpolating Log-Determinant and Trace of the Powers of Matrix $\mathbf{A} + t \mathbf{B}$

abstract: We develop heuristic interpolation methods for the functions $t \mapsto \log \det \left( \mathbf{A} + t \mathbf{B} \right)$ and $t \mapsto \operatorname{trace}\left( (\mathbf{A} + t \mathbf{B})^{p} \right)$ where the matrices $\mathbf{A}$ and $\mathbf{B}$ are Hermitian and positive (semi) definite and $p$ and $t$ are real variables. These functions are featured in many applications in statistics, machine learning, and computational physics. The presented interpolation functions are based on the modification of sharp bounds for these functions. We demonstrate the accuracy and performance of the proposed method with numerical examples, namely, the marginal maximum likelihood estimation for Gaussian process regression and the estimation of the regularization parameter of ridge regression with the generalized cross-validation method.


title: Creation and Validation of a Chest X-Ray Dataset with Eye-tracking and Report Dictation for AI Development

abstract: We developed a rich dataset of Chest X-Ray (CXR) images to assist investigators in artificial intelligence. The data were collected using an eye tracking system while a radiologist reviewed and reported on 1,083 CXR images. The dataset contains the following aligned data: CXR image, transcribed radiology report text, radiologist's dictation audio and eye gaze coordinates data. We hope this dataset can contribute to various areas of research particularly towards explainable and multimodal deep learning / machine learning methods. Furthermore, investigators in disease classification and localization, automated radiology report generation, and human-machine interaction can benefit from these data. We report deep learning experiments that utilize the attention maps produced by eye gaze dataset to show the potential utility of this data.


title: Functional sets with typed symbols : Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering

abstract: Verification and synthesis of Cyber-Physical Systems (CPS) are challenging and still raise numerous issues so far. In this paper, based on a new concept of mixed sets defined as function images of symbol type domains, a compositional approach combining eager and lazy evaluations is proposed. Syntax and semantics are explicitly distinguished. Both continuous (interval) and discrete (signed, boolean) symbol types are used to model dependencies through linear and polynomial functions, so leading to mixed zonotopic and polynotopic sets. Polynotopes extend sparse polynomial zonotopes with typed symbols. Polynotopes can both propagate a mixed encoding of intervals and describe the behavior of logic gates. A functional completeness result is given, as well as an inclusion method for elementary nonlinear and switching functions. A Polynotopic Kalman Filter (PKF) is then proposed as a hybrid nonlinear extension of Zonotopic Kalman Filters (ZKF). Bridges with a stochastic uncertainty paradigm are briefly outlined. Finally, several discrete, continuous and hybrid numerical examples including comparisons illustrate the effectiveness of the theoretical results.


title: Knowledge-based Radiation Treatment Planning: A Data-driven Method Survey

abstract: This paper surveys the data-driven dose prediction approaches introduced for knowledge-based planning (KBP) in the last decade. These methods were classified into two major categories according to their methods and techniques of utilizing previous knowledge: traditional KBP methods and deep-learning-based methods. Previous studies that required geometric or anatomical features to either find the best matched case(s) from repository of previously delivered treatment plans or build prediction models were included in traditional methods category, whereas deep-learning-based methods included studies that trained neural networks to make dose prediction. A comprehensive review of each category is presented, highlighting key parameters, methods, and their outlooks in terms of dose prediction over the years. We separated the cited works according to the framework and cancer site in each category. Finally, we briefly discuss the performance of both traditional KBP methods and deep-learning-based methods, and future trends of both data-driven KBP approaches.


title: On the threshold of 1/2 order subharmonic emissions in the oscillations of ultrasonically excited bubbles

abstract: The pressure threshold for 1/2 order subharmonic (SH) emissions and period doubling during the oscillations of ultrasonically excited bubbles is thought to be minimum when the bubble is sonicated with twice its resonance frequency (fr). This estimate is based on studies that simplified or neglected the effects of thermal damping. In this work, the nonlinear dynamics of ultrasonically excited bubbles is investigated accounting for the thermal dissipation. Results are visualized using bifurcation diagrams as a function of pressure. Here we show that, and depending on the gas, the pressure threshold for 1/2 order SHs can be minimum at a frequency between 0.5fr<f<0.6fr. In this frequency range, the generation of 1/2 order SHs are due to the occurrence of 5/2 order ultra-harmonic resonance. The stability of such oscillations are size dependent. For an air bubble immersed in water, only bubbles bigger than 1 microns in diameter are able to emit non-destructive SHs in these frequency ranges.


title: Hertz-linewidth semiconductor lasers using CMOS-ready ultra-high-$Q$ microresonators

abstract: Driven by narrow-linewidth bench-top lasers, coherent optical systems spanning optical communications, metrology and sensing provide unrivalled performance. To transfer these capabilities from the laboratory to the real world, a key missing ingredient is a mass-produced integrated laser with superior coherence. Here, we bridge conventional semiconductor lasers and coherent optical systems using CMOS-foundry-fabricated microresonators with record high $Q$ factor over 260 million and finesse over 42,000. Five orders-of-magnitude noise reduction in the pump laser is demonstrated, and for the first time, fundamental noise below 1 Hz$^2$ Hz$^{-1}$ is achieved in an electrically-pumped integrated laser. Moreover, the same configuration is shown to relieve dispersion requirements for microcomb generation that have handicapped certain nonlinear platforms. The simultaneous realization of record-high $Q$ factor, highly coherent lasers and frequency combs using foundry-based technologies paves the way for volume manufacturing of a wide range of coherent optical systems.