title: Size properties of the largest fragments produced in the framework of the statistical multifragmentation model

abstract: We study the size properties of the largest intermediate mass fragments in each partition mode, produced in the prompt statistical breakup of a thermally equilibrated nuclear source, at different temperatures. We find that an appreciable amount of events have primary intermediate mass fragments of similar sizes. Our results suggest that, depending on the temperature of the fragmenting source, their production may be much larger than what would be expected from considerations based on purely combinatorial arrangements of the nucleons in the fragmenting system. We also find that the isospin composition of the largest fragments is sensitive to their rank size within the event. We suggest that experimental analyses, conceived to reconstruct the breakup configuration, should be employed to investigate the validity of our findings.


title: Runaway dynamics in the DT phase of ITER operations in the presence of massive material injection

abstract: A runaway avalanche can result in a conversion of the initial plasma current into a relativistic electron beam in high current tokamak disruptions. We investigate the effect of massive material injection of deuterium-noble gas mixtures on the coupled dynamics of runaway generation, resistive diffusion of the electric field, and temperature evolution during disruptions in the DT phase of ITER operations. We explore the dynamics over a wide range of injected concentrations and find substantial runaway currents, unless the current quench time is intolerably long. The reason is that the cooling associated with the injected material leads to high induced electric fields that, in combination with a significant recombination of hydrogen isotopes, leads to a large avalanche generation. Balancing Ohmic heating and radiation losses provides qualitative insights into the dynamics, however, an accurate modeling of the temperature evolution based on energy balance appears crucial for quantitative predictions.


title: Realistic classical binding energies in the $\omega$-Skyrme model

abstract: An omega-meson extension of the Skyrme model - without the Skyrme term but including the pion mass - first considered by Adkins and Nappi is studied in detail for baryon numbers 1 to 8. The static problem is reformulated as a constrained energy minimisation problem within a natural geometric framework and studied analytically on compact domains, and numerically on Euclidean space. Using a constrained second-order Newton flow algorithm, classical energy minimisers are constructed for various values of the omega-pion coupling. At high coupling, these Skyrmion solutions are qualitatively similar to the Skyrmions of the standard Skyrme model with massless pions. At sufficiently low coupling, they show similarities with those in the lightly bound Skyrme model: the Skyrmions of low baryon number dissociate into lightly bound clusters of distinct 1-Skyrmions, and the classical binding energies for baryon numbers 2 through 8 have realistic values.


title: Unconditional accumulation of nonclassicality in a single-atom mechanical oscillator

abstract: We report on the robust experimental accumulation of nonclassicallity of motion of a single trapped ion. The nonclassicality stems from deterministic incoherent modulation of thermal phonon number distribution implemented by a laser excitation of nonlinear coupling between the ion's internal - electronic levels and external - motional states. We demonstrate that the repetitive application of this nonlinear process monotonically accumulates the observable state nonclassicality. The output states converge to a phonon number distribution with high overlap with a particular Fock state and visible quantum non-Gaussian aspects including corresponding negative Wigner function. The resulting oscillator states prove deterministic transition in the hierarchy of quantum non-Gaussianity up to four phonons. This transition is very robust against experimental imperfections and produces increasing entanglement potential.


title: DeSePtion: Dual Sequence Prediction and Adversarial Examples for Improved Fact-Checking

abstract: The increased focus on misinformation has spurred development of data and systems for detecting the veracity of a claim as well as retrieving authoritative evidence. The Fact Extraction and VERification (FEVER) dataset provides such a resource for evaluating end-to-end fact-checking, requiring retrieval of evidence from Wikipedia to validate a veracity prediction. We show that current systems for FEVER are vulnerable to three categories of realistic challenges for fact-checking -- multiple propositions, temporal reasoning, and ambiguity and lexical variation -- and introduce a resource with these types of claims. Then we present a system designed to be resilient to these "attacks" using multiple pointer networks for document selection and jointly modeling a sequence of evidence sentences and veracity relation predictions. We find that in handling these attacks we obtain state-of-the-art results on FEVER, largely due to improved evidence retrieval.


title: Bridge-Depth Characterizes which Structural Parameterizations of Vertex Cover Admit a Polynomial Kernel

abstract: We study the kernelization complexity of structural parameterizations of the Vertex Cover problem. Here, the goal is to find a polynomial-time preprocessing algorithm that can reduce any instance $(G,k)$ of the Vertex Cover problem to an equivalent one, whose size is polynomial in the size of a pre-determined complexity parameter of $G$. A long line of previous research deals with parameterizations based on the number of vertex deletions needed to reduce $G$ to a member of a simple graph class $\mathcal{F}$, such as forests, graphs of bounded tree-depth, and graphs of maximum degree two. We set out to find the most general graph classes $\mathcal{F}$ for which Vertex Cover parameterized by the vertex-deletion distance of the input graph to $\mathcal{F}$, admits a polynomial kernelization. We give a complete characterization of the minor-closed graph families $\mathcal{F}$ for which such a kernelization exists. We introduce a new graph parameter called bridge-depth, and prove that a polynomial kernelization exists if and only if $\mathcal{F}$ has bounded bridge-depth. The proof is based on an interesting connection between bridge-depth and the size of minimal blocking sets in graphs, which are vertex sets whose removal decreases the independence number.


title: Intramolecular vibrational energy redistribution and the quantum ergodicity transition: a phase space perspective

abstract: Intramolecular vibrational energy redistribution (IVR) impacts the dynamics of reactions in a profound way. Theoretical and experimental studies are increasingly indicating that accounting for the finite rate of energy flow is critical for uncovering the correct reaction mechanisms and calculating accurate rates. This requires an explicit understanding of the influence and interplay of the various anharmonic (Fermi) resonances that lead to the coupling of the vibrational modes. In this regard, the local random matrix theory (LRMT) and the related Bose-statistics triangle rule (BSTR) model have emerged as a powerful and predictive quantum theories for IVR. In this Perspective we highlight the close correspondence between LRMT and the classical phase space perspective on IVR, primarily using model Hamiltonians with three degrees of freedom. Our purpose for this is threefold. First, this clearly brings out the extent to which IVR pathways are essentially classical, and hence crucial towards attempts to control IVR. Second, given that LRMT and BSTR are designed to be applicable for large molecules, the exquisite correspondence observed even for small molecules allows for insights into the quantum ergodicity transition. Third, we showcase the power of modern nonlinear dynamics methods in analysing high dimensional phase spaces, thereby extending the deep insights into IVR that were earlier gained for systems with effectively two degrees of freedom. We begin with a brief overview of recent examples where IVR plays an important role and conclude by mentioning the outstanding problems and the potential connections to issues of interest in other fields.


title: The Accuracy of Restricted Boltzmann Machine Models of Ising Systems

abstract: Restricted Boltzmann machine (RBM) provide a general framework for modeling physical systems, but their behavior is dependent on hyperparameters such as the learning rate, the number of hidden nodes and the form of the threshold function. This article accordingly examines in detail the influence of these parameters on Ising spin system calculations. A tradeoff is identified between the accuracy of statistical quantities such as the specific heat and that of the joint distribution of energy and magnetization. The optimal structure of the RBM therefore depends intrinsically on the physical problem to which it is applied.

categories: physics.comp-ph cond-mat.stat-mech cs.LG physics.app-ph


title: Timed games and deterministic separability

abstract: We study a generalisation of B\"uchi-Landweber games to the timed setting. The winning condition is specified by a non-deterministic timed automaton with epsilon transitions and only Player I can elapse time. We show that for fixed number of clocks and maximal numerical constant available to Player II, it is decidable whether she has a winning timed controller using these resources. More interestingly, we also show that the problem remains decidable even when the maximal numerical constant is not specified in advance, which is an important technical novelty not present in previous literature on timed games. We complement these two decidability result by showing undecidability when the number of clocks available to Player II is not fixed. As an application of timed games, and our main motivation to study them, we show that they can be used to solve the deterministic separability problem for nondeterministic timed automata with epsilon transitions. This is a novel decision problem about timed automata which has not been studied before. We show that separability is decidable when the number of clocks of the separating automaton is fixed and the maximal constant is not. The problem whether separability is decidable without bounding the number of clocks of the separator remains an interesting open problem.


title: Robustness of Nash Equilibria in Network Games

abstract: We analyze the robustness of (pure strategy) Nash equilibria for network games against perturbations of the players' utility functions. We first derive a simple characterization of the margin of robustness, defined as the minimum magnitude of a perturbation that makes a Nash equilibrium of the original game stop being so in the perturbed game. Then, we investigate what the maximally robust equilibria are in some standard network games such as the coordination and the anti-coordination game. Finally, as an application, we provide some sufficient conditions for the existence of Nash equilibria in network games with a mixture of coordinating and anticoordinating games.


title: Commutators of elementary subgroups: curiouser and curiouser

abstract: Let $R$ be any associative ring with $1$, $n\ge 3$, and let $A,B$ be two-sided ideals of $R$. In our previous joint works with Roozbeh Hazrat [17,15] we have found a generating set for the mixed commutator subgroup $[E(n,R,A),E(n,R,B)]$. Later in [29,34] we noticed that our previous results can be drastically improved and that $[E(n,R,A),E(n,R,B)]$ is generated by 1) the elementary conjugates $z_{ij}(ab,c)=t_{ij}(c)t_{ji}(ab)t_{ij}(-c)$ and $z_{ij}(ba,c)$, 2) the elementary commutators $[t_{ij}(a),t_{ji}(b)]$, where $1\le i\neq j\le n$, $a\in A$, $b\in B$, $c\in R$. Later in [33,35] we noticed that for the second type of generators, it even suffices to fix one pair of indices $(i,j)$. Here we improve the above result in yet another completely unexpected direction and prove that $[E(n,R,A),E(n,R,B)]$ is generated by the elementary commutators $[t_{ij}(a),t_{hk}(b)]$ alone, where $1\le i\neq j\le n$, $1\le h\neq k\le n$, $a\in A$, $b\in B$. This allows us to revise the technology of relative localisation, and, in particular, to give very short proofs for a number of recent results, such as the generation of partially relativised elementary groups $E(n,A)^{E(n,B)}$, %% normality of $E(n,AB+BA)$ inside $[E(n,R,A),E(n,R,B)]$, multiple commutator formulas, commutator width, and the like.


title: Gap between the largest and smallest parts of partitions and Berkovich and Uncu's conjectures

abstract: We prove three main conjectures of Berkovich and Uncu (Ann. Comb. 23 (2019) 263--284) on the inequalities between the numbers of partitions of $n$ with bounded gap between largest and smallest parts for sufficiently large $n$. Actually our theorems are stronger than their original conjectures. The analytic version of our results shows that the coefficients of some partition $q$-series are eventually positive.


title: Ions in the Thermosphere of Exoplanets: Observable Constraints Revealed by Innovative Laboratory Experiments

abstract: With the upcoming launch of space telescopes dedicated to the study of exoplanets, the \textit{Atmospheric Remote-Sensing Infrared Exoplanet Large-survey} (ARIEL) and the \textit{James Webb Space Telescope} (JWST), a new era is opening in the exoplanetary atmospheric explorations. However, especially in relatively cold planets around later-type stars, photochemical hazes and clouds may mask the composition of the lower part of the atmosphere, making it difficult to detect any chemical species in the troposphere or to understand whether there is a surface or not. This issue is particularly exacerbated if the goal is to study the habitability of said exoplanets and to search for biosignatures.\par This work combines innovative laboratory experiments, chemical modeling and simulated observations at ARIEL and JWST resolutions. We focus on the signatures of molecular ions that can be found in upper atmospheres above cloud decks. Our results suggest that H$_3^+$ along with H$_3$O$^+$ could be detected in the observational spectra of sub-Neptunes based on realistic mixing ratio assumption. This new parametric set may help to distinguish super-Earths with a thin atmosphere from H$_2$-dominated sub-Neptunes, to address the critical question whether a low-gravity planet around a low-mass active star is able to retain its volatile components. These ions may also constitute potential tracers to certain molecules of interest such as H$_2$O or O$_2$ to probe the habitability of exoplanets. Their detection will be an enthralling challenge for the future JWST and ARIEL telescopes.


title: Maximum Entropy Multi-Task Inverse RL

abstract: Multi-task IRL allows for the possibility that the expert could be switching between multiple ways of solving the same problem, or interleaving demonstrations of multiple tasks. The learner aims to learn the multiple reward functions that guide these ways of solving the problem. We present a new method for multi-task IRL that generalizes the well-known maximum entropy approach to IRL by combining it with the Dirichlet process based clustering of the observed input. This yields a single nonlinear optimization problem, called MaxEnt Multi-task IRL, which can be solved using the Lagrangian relaxation and gradient descent methods. We evaluate MaxEnt Multi-task IRL in simulation on the robotic task of sorting onions on a processing line where the expert utilizes multiple ways of detecting and removing blemished onions. The method is able to learn the underlying reward functions to a high level of accuracy and it improves on the previous approaches to multi-task IRL.


title: Extremal Kerr white holes as a source of ultra high energy particles

abstract: We consider a process where two identical massive particles fall inwards, starting from rest at infinity towards the extremal Kerr black hole, collide outside the event horizon in its vicinity and produce two massless particles. The center of mass energy of collision between the two particles diverges if one of the particle admits a specific critical value of the angular momentum and if the collision takes place at a location arbitrarily close to the event horizon. Assuming the isotropic emission of particles in the center of mass frame we show that one of the massless particles produced has divergent conserved energy comparable to the center of mass energy with probability slightly less than half. This particle enters the black hole event horizon which coincides with the Cauchy horizon, turns back, and emerges through the white hole event horizon into another asymptotic region in the maximal extension of Kerr spacetime. Since conserved energy is preserved in this process, it is perceived as a particle with divergent energy by the observer when it reaches infinity. Thus the extremal white hole appears to be a source of ultra high energy particles. Similar processes wherein collision takes place slightly inside the black hole event horizon or just outside or inside of white hole event horizon also produce high energy particles.


title: New Pieri Type Formulas for Jack Polynomials and their Applications to Interpolation Jack Polynomials

abstract: We present new Pieri type formulas for Jack polynomials. As an application, we give a new derivation of higher order difference equations for interpolation Jack polynomials originally found by Knop and Sahi. We also propose Pieri formulas for interpolation Jack polynomials and intertwining relations for a kernel function for Jack polynomials.


title: Are $N\bar\Omega$ bound states?

abstract: Inspired by the progress of the experimental search of the $N\Omega$ dibaryon by the STAR collaboration, we study $N\bar{\Omega}$ systems in the framework of quark delocalization color screening model. Our results show that the attraction between $N$ and $\bar{\Omega}$ is a little bit larger than that between $N$ and $\Omega$, which indicates that it is more possible for the $N\bar{\Omega}$ than the $N\Omega$ system to form bound states. The dynamic calculations state that both the $J^{P}=1^{+}$ and $2^{+}$ $N\bar{\Omega}$ systems are bound states. The binding energy of these two states are deeper than that of $N\Omega$ systems with $J^{P}=2^{+}$, and the $N\Omega$ system with $J^{P}=1^{+}$ is unbound. The calculation of the low-energy scattering phase shifts, scattering length and the effective range also supports the existence of the $N\bar{\Omega}$ bound states with $J^{P}=1^{+}$ and $2^{+}$. So the $N\bar{\Omega}$ states are better hexaquark states and stronger signals are expected in experiments.


title: Perturbative unitarity bounds for fermions composite models

abstract: Perturbative unitarity is a powerful tool for inferring the range of validity of a given effective field theory. Here, we study such a bound in the parameter space of dimension-5 and dimension-6 effective operators that arise in a scenario of fermion compositeness. These operators are routinely used in experimental searches at the LHC to constraint contact and gauge interactions between ordinary Standard Model fermions and excited states of mass $M$. We derive the unitarity bound for the production process of an excited neutrino, then we implement such bound and compare it with the recent experimental exclusion curves for Run 2, the High-Luminosity and High-Energy configurations of the LHC. The results also apply to the searches where a generic single excited state is produced via dimension-6 contact interactions. The unitarity bound, so far overlooked in these effective models, is quite compelling and can serve as a guide for exploring the parameter space ($M,\Lambda$) in addition to the standard request $M \le \Lambda$.


title: K-Stacker, an algorithm to hack the orbital parameters of planets hidden in high-contrast imaging. First applications to VLT SPHERE multi-epoch observations

abstract: Recent high-contrast imaging surveys, looking for planets in young, nearby systems showed evidence of a small number of giant planets at relatively large separation beyond typically 20 au where those surveys are the most sensitive. Access to smaller physical separations between 5 and 20 au is the next step for future planet imagers on 10 m telescopes and ELTs in order to bridge the gap with indirect techniques (radial velocity, transit, astrometry with Gaia). In that context, we recently proposed a new algorithm, Keplerian-Stacker, combining multiple observations acquired at different epochs and taking into account the orbital motion of a potential planet present in the images to boost the ultimate detection limit. We showed that this algorithm is able to find planets in time series of simulated images of SPHERE even when a planet remains undetected at one epoch. Here, we validate the K-Stacker algorithm performances on real SPHERE datasets, to demonstrate its resilience to instrumental speckles and the gain offered in terms of true detection. This will motivate future dedicated multi-epoch observation campaigns in high-contrast imaging to search for planets in emitted and reflected light. Results. We show that K-Stacker achieves high success rate when the SNR of the planet in the stacked image reaches 7. The improvement of the SNR ratio goes as the square root of the total exposure time. During the blind test and the redetection of HD 95086 b, and betaPic b, we highlight the ability of K-Stacker to find orbital solutions consistent with the ones derived by the state of the art MCMC orbital fitting techniques, confirming that in addition to the detection gain, K-Stacker offers the opportunity to characterize the most probable orbital solutions of the exoplanets recovered at low signal to noise.


title: Stability theory for some scalar finite difference schemes : Validity of the modified equations approach

abstract: In this paper, we discuss some limitations of the modified equations approach as a tool for stability analysis for a class of explicit linear schemes to scalar partial derivative equations. We show that the infinite series obtained by Fourier transform of the modified equation is not always convergent and that in the case of divergence, it becomes unrelated to the scheme. Based on these results, we explain when the stability analysis of a given truncation of a modified equation may yield a reasonable estimation of a stability condition for the associated scheme. We illustrate our analysis by some examples of schemes namely for the heat equation and the transport equation.


title: Improvement in Land Cover and Crop Classification based on Temporal Features Learning from Sentinel-2 Data Using Recurrent-Convolutional Neural Network (R-CNN)

abstract: The increasing spatial and temporal resolution of globally available satellite images, such as provided by Sentinel-2, creates new possibilities for researchers to use freely available multi-spectral optical images, with decametric spatial resolution and more frequent revisits for remote sensing applications such as land cover and crop classification (LC&CC), agricultural monitoring and management, environment monitoring. Existing solutions dedicated to cropland mapping can be categorized based on per-pixel based and object-based. However, it is still challenging when more classes of agricultural crops are considered at a massive scale. In this paper, a novel and optimal deep learning model for pixel-based LC&CC is developed and implemented based on Recurrent Neural Networks (RNN) in combination with Convolutional Neural Networks (CNN) using multi-temporal sentinel-2 imagery of central north part of Italy, which has diverse agricultural system dominated by economic crop types. The proposed methodology is capable of automated feature extraction by learning time correlation of multiple images, which reduces manual feature engineering and modeling crop phenological stages. Fifteen classes, including major agricultural crops, were considered in this study. We also tested other widely used traditional machine learning algorithms for comparison such as support vector machine SVM, random forest (RF), Kernal SVM, and gradient boosting machine, also called XGBoost. The overall accuracy achieved by our proposed Pixel R-CNN was 96.5%, which showed considerable improvements in comparison with existing mainstream methods. This study showed that Pixel R-CNN based model offers a highly accurate way to assess and employ time-series data for multi-temporal classification tasks.


title: The Streaming k-Mismatch Problem: Tradeoffs between Space and Total Time

abstract: We revisit the $k$-mismatch problem in the streaming model on a pattern of length $m$ and a streaming text of length $n$, both over a size-$\sigma$ alphabet. The current state-of-the-art algorithm for the streaming $k$-mismatch problem, by Clifford et al. [SODA 2019], uses $\tilde O(k)$ space and $\tilde O\big(\sqrt k\big)$ worst-case time per character. The space complexity is known to be (unconditionally) optimal, and the worst-case time per character matches a conditional lower bound. However, there is a gap between the total time cost of the algorithm, which is $\tilde O(n\sqrt k)$, and the fastest known offline algorithm, which costs $\tilde O\big(n + \min\big(\frac{nk}{\sqrt m},\sigma n\big)\big)$ time. Moreover, it is not known whether improvements over the $\tilde O(n\sqrt k)$ total time are possible when using more than $O(k)$ space. We address these gaps by designing a randomized streaming algorithm for the $k$-mismatch problem that, given an integer parameter $k\le s \le m$, uses $\tilde O(s)$ space and costs $\tilde O\big(n+\min\big(\frac {nk^2}m,\frac{nk}{\sqrt s},\frac{\sigma nm}s\big)\big)$ total time. For $s=m$, the total runtime becomes $\tilde O\big(n + \min\big(\frac{nk}{\sqrt m},\sigma n\big)\big)$, which matches the time cost of the fastest offline algorithm. Moreover, the worst-case time cost per character is still $\tilde O\big(\sqrt k\big)$.


title: The 'hidden' companion in LB-1 unveiled by spectral disentangling

abstract: The intriguing binary LS V +22 25 (LB-1) has drawn much attention following claims of it being a single-lined spectroscopic binary with a 79-day orbit comprising a B-type star and a ~70 Msun black hole. Recent analyses have implied that the visible primary star is a stripped He-rich star. However, the nature of the secondary, which was proposed to be a black hole, a neutron star, or a main sequence star, remains unknown. Based on 26 newly acquired spectroscopic observations, we perform an orbital analysis and spectral disentangling of LB-1 to elucidate the nature of the system. Our analysis reveals that LB-1 contains two components of comparable brightness in the optical. The narrow-lined primary, which we estimate to contribute ~55% in the optical, has spectral properties that suggest that it is a stripped star: it has a small spectroscopic mass (~1 Msun) for a B-type star and it is He- and N-rich. The "hidden" secondary, which contributes about 45% of the optical flux, is a rapidly rotating (vsini ~ 300 km/s) B3 V star with a decretion disk -- a Be star. Hence, LB-1 does not contain a compact object. Instead, it is a rare Be binary system consisting of a stripped star (the former mass donor) and a Be star rotating at near its critical velocity (the former mass accretor). This system is a clear example that binary interactions play a decisive role in the production of rapid stellar rotators and Be stars.


title: Entanglement dynamics in dissipative photonic Mott insulators

abstract: We theoretically investigate the entanglement dynamics in photonic Mott insulators in the presence of particle losses and dephasing. We explore two configurations where entanglement is generated following the injection or extraction of a photon in the central site of a chain of cavity resonators. We study the entanglement negativity of two-site reduced density matrices as a function of time and inter-site distance. Our findings show that in spite of particle losses the quantum entanglement propagation exhibits a ballistic character with propagation speeds related to the differerent quasiparticles that are involved in the dynamics, namely photonic doublons and holons respectively. Our analysis reveals that photon dissipation has a strikingly asymmetric behavior in the two configurations with a much more dramatic role on the holon entanglement propagation than for the doublon case.


title: Leakage Suppression for Holonomic Quantum Gates

abstract: Non-Abelian geometric phases acquired in cyclic quantum evolution can be utilized as natural resources for constructing robust holonomic gates for quantum information processing. Recently, an extensible holonomic quantum computation (HQC) was proposed and demonstrated in a recent superconducting experiment [T. Yan et al., Phys. Rev. Lett. 122, 080501 (2019)]. However, for the weakly anharmonic system, this HQC was given of low gate fidelity due to leakage to states outside of the computational subspace. Here, we propose a scheme that to construct nonadiabatic holonomic gates via dynamical invariant using resonant interaction of three-level superconducting quantum systems. Furthermore, the proposed scheme can be compatible with optimal control technology for maximizing the gate fidelity against leakage error. For benchmarking, we provide a thorough analysis on the performance of our scheme under experimental conditions, which shows that the gate error can be reduced by as much as 91.7\% compared with the conventional HQC. Moreover, the leakage rates can be reduced to $10^{-3}$ level by numerically choosing suitable control parameter. Therefore, our scheme provides a promising way towards fault-tolerant quantum computation in a weakly anharmonic solid-state system.


title: LIO*: Low Level Information Flow Control in F*

abstract: We present Labeled Input Output in F* (LIO*), a verified framework that enforces information flow control (IFC) policies developed in F* and automatically extracted to C. Inspired by LIO, we encapsulated IFC policies into effects, but using F* we derived efficient, low level, and provably correct code. Concretely, runtime checks are lifted to static proof obligations, the developed code is automatically extracted to C and proved non-interferent using metaprogramming. We benchmarked our framework on three clients and observed up to 54% speedup when IFC runtime checks are proved statically. Our framework is designed to aid development of embedded devices where both enforcement of security policies and low level efficient code is critical.


title: Control Design of Autonomous Drone Using Deep Learning Based Image Understanding Techniques

abstract: This paper presents a new framework to use images as the inputs for the controller to have autonomous flight, considering the noisy indoor environment and uncertainties. A new Proportional-Integral-Derivative-Accelerated (PIDA) control with a derivative filter is proposed to improves drone/quadcopter flight stability within a noisy environment and enables autonomous flight using object and depth detection techniques. The mathematical model is derived from an accurate model with a high level of fidelity by addressing the problems of non-linearity, uncertainties, and coupling. The proposed PIDA controller is tuned by Stochastic Dual Simplex Algorithm (SDSA) to support autonomous flight. The simulation results show that adapting the deep learning-based image understanding techniques (RetinaNet ant colony detection and PSMNet) to the proposed controller can enable the generation and tracking of the desired point in the presence of environmental disturbances.


title: High order numerical integrators for single integrand Stratonovich SDEs

abstract: We show that applying any deterministic B-series method of order $p_d$ with a random step size to single integrand SDEs gives a numerical method converging in the mean-square and weak sense with order $\lfloor p_d/2\rfloor$.As an application, we derive high order energy-preserving methods for stochastic Poisson systems as well as further geometric numerical schemes for this wide class of Stratonovich SDEs.


title: Four-wave mixing in Weyl semimetals

abstract: Weyl semimetals (WSMs) have unusual optical response originated from unique topological properties of their bulk and surface electron states. Their third-order optical nonlinearity is expected to be very strong, especially at long wavelengths, due to linear dispersion and high Fermi velocity of three-dimensional Weyl fermions. Here we derive the third-order nonlinear optical conductivity of WSMs in the long-wavelength limit and calculate the intensity of the nonlinear four-wave mixing signal as it is transmitted through the WSM film or propagates away from the surface of the material in the reflection geometry. All results are analytic and show the scaling of the signal intensity with variation of all relevant parameters. The nonlinear generation efficiency turns out to be surprisingly high for a lossy material, of the order of several mW per W$^3$ of the incident pump power. Optimal conditions for maximizing the nonlinear signal are realized in the vicinity of bulk plasma resonance. This indicates that ultrathin WSM films of the order of skin depth in thickness could find applications in compact optoelectronic devices.


title: Deployment Opportunities for DPS-QKD in the Co-Existence Regime of Lit GPON / NG-PON2 Access Networks

abstract: We demonstrate cost-effective QKD integration for GPON and NG-PON2. Operation at 5.1e-7 secure bits/pulse and a QBER of 3.28% is accomplished for a 13.5-km reach, 2:16-split PON, with 0.52% co-existence penalty for 19 classical channels.


title: New Extremal bounds for Reachability and Strong-Connectivity Preservers under failures

abstract: In this paper, we consider the question of computing sparse subgraphs for any input directed graph $G=(V,E)$ on $n$ vertices and $m$ edges, that preserves reachability and/or strong connectivity structures. We show $O(n+\min\{|{\cal P}|\sqrt{n},n\sqrt{|{\cal P}|}\})$ bound on a subgraph that is an $1$-fault-tolerant reachability preserver for a given vertex-pair set ${\cal P}\subseteq V\times V$, i.e., it preserves reachability between any pair of vertices in ${\cal P}$ under single edge (or vertex) failure. Our result is a significant improvement over the previous best $O(n |{\cal P}|)$ bound obtained as a corollary of single-source reachability preserver construction. We prove our upper bound by exploiting the special structure of single fault-tolerant reachability preserver for any pair, and then considering the interaction among such structures for different pairs. In the lower bound side, we show that a 2-fault-tolerant reachability preserver for a vertex-pair set ${\cal P}\subseteq V\times V$ of size $\Omega(n^\epsilon)$, for even any arbitrarily small $\epsilon$, requires at least $\Omega(n^{1+\epsilon/8})$ edges. This refutes the existence of linear-sized dual fault-tolerant preservers for reachability for any polynomial sized vertex-pair set. We also present the first sub-quadratic bound of at most $\tilde{O}(k 2^k n^{2-1/k})$ size, for strong-connectivity preservers of directed graphs under $k$ failures. To the best of our knowledge no non-trivial bound for this problem was known before, for a general $k$. We get our result by adopting the color-coding technique of Alon, Yuster, and Zwick [JACM'95].


title: The Benefit of Being Non-Lazy in Probabilistic {\lambda}-calculus

abstract: We consider the probabilistic applicative bisimilarity (PAB), a coinductive relation comparing the applicative behaviour of probabilistic untyped lambda terms according to a specific operational semantics. This notion has been studied with respect to the two standard parameter passing policies, call-by-value (cbv) and call-by-name (cbn), using a lazy reduction strategy not reducing within the body of a function. In particular, PAB has been proven to be fully abstract with respect to the contextual equivalence in cbv but not in lazy cbn. We overcome this issue of cbn by relaxing the laziness constraint: we prove that PAB is fully abstract with respect to the standard head reduction contextual equivalence. Our proof is based on the Leventis Separation Theorem, using probabilistic Nakajima trees as a tree-like representation of the contextual equivalence classes. Finally, we prove also that the inequality full abstraction fails, showing that the probabilistic applicative similarity is strictly contained in the contextual preorder.


title: Compact Differential Phase-Shift Quantum Receiver Assisted by a SOI / BiCMOS Micro-Ring Resonator

abstract: We demonstrate a phase-selective and colorless quantum receiver assisted by a silicon-on-insulator microring, enabling a low 1.3% QBER at 5.3kb/s secure-key rate. No penalty incurs compared to a delay interferometer. BiCMOS 3D-integration is proven feasible.


title: Testing Data Binnings

abstract: Motivated by the question of data quantization and "binning," we revisit the problem of identity testing of discrete probability distributions. Identity testing (a.k.a. one-sample testing), a fundamental and by now well-understood problem in distribution testing, asks, given a reference distribution (model) $\mathbf{q}$ and samples from an unknown distribution $\mathbf{p}$, both over $[n]=\{1,2,\dots,n\}$, whether $\mathbf{p}$ equals $\mathbf{q}$, or is significantly different from it. In this paper, we introduce the related question of 'identity up to binning,' where the reference distribution $\mathbf{q}$ is over $k \ll n$ elements: the question is then whether there exists a suitable binning of the domain $[n]$ into $k$ intervals such that, once "binned," $\mathbf{p}$ is equal to $\mathbf{q}$. We provide nearly tight upper and lower bounds on the sample complexity of this new question, showing both a quantitative and qualitative difference with the vanilla identity testing one, and answering an open question of Canonne (2019). Finally, we discuss several extensions and related research directions.


title: Intelligent Translation Memory Matching and Retrieval with Sentence Encoders

abstract: Matching and retrieving previously translated segments from a Translation Memory is the key functionality in Translation Memories systems. However this matching and retrieving process is still limited to algorithms based on edit distance which we have identified as a major drawback in Translation Memories systems. In this paper we introduce sentence encoders to improve the matching and retrieving process in Translation Memories systems - an effective and efficient solution to replace edit distance based algorithms.


title: Flexible Entanglement Distribution Overlay for Cloud/Edge DC Interconnect as Seed for IT-Secure Primitives

abstract: We leverage spectral assets of entanglement and spatial switching to realize a flexible distribution map for cloud-to-edge and edge-to-edge quantum pipes that seed IT-secure primitives. Dynamic bandwidth allocation and co-existence with classical control are demonstrated.


title: Tunable optical nonlinearity for TMD polaritons dressed by a Fermi sea

abstract: We study a system of a transition metal dichalcogenide (TMD) monolayer placed in an optical resonator, where strong light-matter coupling between excitons and photons is achieved. We present quantitative theory of the nonlinear optical response for exciton-polaritons for the case of doped TMD monolayer, and analyze in detail two sources of nonlinearity. The first nonlinear response contribution stems from the Coulomb exchange interaction between excitons. The second contribution comes from the reduction of Rabi splitting that originates from phase space filling at increased exciton concentration and the composite nature of excitons. We demonstrate that both nonlinear contributions are enhanced in the presence of free electrons. As free electron concentration can be routinely controlled by an externally applied gate voltage, this opens a way of electrical tuning of the nonlinear optical response.


title: Incomplete spontaneous decay in a waveguide caused by polarization selection

abstract: Spontaneous decay of an excited atom in a waveguide is essentially modified by the spatial structure of vacuum reservoir. This is particularly exciting in view of a range of applications for quantum information science. We found out that spontaneous decay can be incomplete, so the time dependence of the excited state population asymptotically approaches to a nonzero value, under the conditions when the atomic transition frequency is larger than the cutoff frequency of a waveguide and far from the vicinities of the cut-offs. Discovered effect is explained by the emergence of the dark state, which is non-decaying due to polarization selection rules. It was revealed for single-mode waveguide with rectangular cross section both in single-atom case and diatomic case when the long-range dipole-dipole interaction plays a significant role.


title: Multi-object operational tasks for convex quantum resource theories

abstract: The prevalent modus operandi within the framework of quantum resource theories has been to characterise and harness the resources within single objects, in what we can call \emph{single-object} quantum resource theories. One can wonder however, whether the resources contained within multiple different types of objects, now in a \emph{multi-object} quantum resource theory, can simultaneously be exploited for the benefit of an operational task. In this work, we introduce examples of such multi-object operational tasks in the form of subchannel discrimination and subchannel exclusion games, in which the player harnesses the resources contained within a state-measurement pair. We prove that for any state-measurement pair in which either of them is resourceful, there exist discrimination and exclusion games for which such a pair outperforms any possible free state-measurement pair. These results hold for arbitrary convex resources of states, and arbitrary convex resources of measurements for which classical post-processing is a free operation. Furthermore, we prove that the advantage in these multi-object operational tasks is determined, in a multiplicative manner, by the resource quantifiers of: \emph{generalised robustness of resource} of both state and measurement for discrimination games and \emph{weight of resource} of both state and measurement for exclusion games.


title: Proper motion measurements for stars up to $100$ kpc with Subaru HSC and SDSS Stripe 82

abstract: We present proper motion measurements for more than $0.55$ million main-sequence stars, by comparing astrometric positions of matched stars between the multi-band imaging datasets from the Hyper Suprime-Cam (HSC) Survey and the SDSS Stripe 82. In doing this we use $3$ million galaxies to recalibrate the astrometry and set up a common reference frame between the two catalogues. The exquisite depth and the nearly $12$ years of time baseline between HSC and SDSS enable high-precision measurements of statistical proper motions for stars down to $i\simeq 24$. A validation of our method is demonstrated by the agreement with the $Gaia$ proper motions, to the precision better than $0.1$ mas yr$^{-1}$. To retain the precision, we make a correction of the subtle effects due to the differential chromatic refraction in the SDSS images based on the comparison with the $Gaia$ proper motions against colour of stars, which is validated using the SDSS spectroscopic quasars. Combining with the photometric distance estimates for individual stars based on the precise HSC photometry, we show a significant detection of the net proper motions for stars in each bin of distance out to $100$ kpc. The two-component tangential velocities after subtracting the apparent motions due to our own motion display rich phase-space structures including a clear signature of the Sagittarius stream in the halo region of distance range $[10,\ 35]$ kpc. We also measure the tangential velocity dispersion in the distance range $5-20$ kpc and find that the data are consistent with a constant isotropic dispersion of $80\pm 10\ {\rm km/s}$. More distant stars appear to have random motions with respect to the Galactic centre on average.


title: On the effects of UV photons/X-rays on the chemistry of the Sgr B2 cloud

abstract: The lines of HOC$^+$, HCO and CO$^+$ are considered good tracers of photon-dominated regions (PDRs) and X-ray dominated regions. We study these tracers towards regions of the Sgr B2 cloud selected to be affected by different heating mechanisms. We find the lowest values of the column density ratios of HCO$^+$ versus HOC$^+$, HCO and CO$^+$ in dense HII gas, where UV photons dominate the heating and chemistry of gas. HOC$^+$, HCO and CO$^+$ abundances and the above ratios are compared with those of chemical modeling, finding that high temperature chemistry, a cosmic-ray ionization rate of 10$^{-16}$ s$^{-1}$ and timescales $>$10$^{5.0}$ years explain well the HOC$^+$ abundances in quiescent Sgr B2 regions, while shocks are also needed to explain the highest HCO abundances derived for these regions. CO$^+$ is mainly formed in PDRs since the highest CO$^+$ abundances of $\sim$(6-10)$\times$10$^{-10}$ are found in HII regions with electron densities $>$540 cm$^{-3}$ and that CO$^+$ emission is undetected in quiescent gas. Between the ratios, the HCO$^+$/HCO ratio is sensitive to the electron density as it shows different values in dense and diffuse HII regions. We compare SiO J=2-1 emission maps of Sgr B2 with X-ray maps from 2004 and 2012. One known spot shown on the 2012 X-ray map is likely associated with molecular gas at velocities of 15-25 km s$^{-1}$. We also derive the X-ray ionization rate of $\sim$10$^{-19}$ s$^{-1}$ for Sgr B2 regions pervaded by X-rays in 2004, which is quite low to affect the chemistry of the molecular gas.


title: Modeling Friendship Networks among Agents with Personality Traits

abstract: Using network analysis, psychologists have already found the nontrivial correlation between personality and social network structure. Despite the large amount of empirical studies, theoretical analysis and formal models behind such relationship are still lacking. To bridge this gap, we propose a generative model for friendship networks based on personality traits. To the best of our knowledge, this is the first work to explicitly introduce the concept of personality and friendship development into a social network model, with supporting insights from social and personality psychology. We use the model to investigate the effect of two personality traits, extraversion and agreeableness, on network structure. Analytical and simulation results both concur with recent empirical evidence that extraversion and agreeableness are positively correlated with degree. Using this model, we show that the effect of personality on friendship development can amount to the effect of personality on friendship network structure.


title: Coupled differentiation and division of embryonic stem cells inferred from clonal snapshots

abstract: The deluge of single-cell data obtained by sequencing, imaging and epigenetic markers has led to an increasingly detailed description of cell state. However, it remains challenging to identify how cells transition between different states, in part because data are typically limited to snapshots in time. A prerequisite for inferring cell state transitions from such snapshots is to distinguish whether transitions are coupled to cell divisions. To address this, we present two minimal branching process models of cell division and differentiation in a well-mixed population. These models describe dynamics where differentiation and division are coupled or uncoupled. For each model, we derive analytic expressions for each subpopulation's mean and variance and for the likelihood, allowing exact Bayesian parameter inference and model selection in the idealised case of fully observed trajectories of differentiation and division events. In the case of snapshots, we present a sample path algorithm and use this to predict optimal temporal spacing of measurements for experimental design. We then apply this methodology to an \textit{in vitro} dataset assaying the clonal growth of epiblast stem cells in culture conditions promoting self-renewal or differentiation. Here, the larger number of cell states necessitates approximate Bayesian computation. For both culture conditions, our inference supports the model where cell state transitions are coupled to division. For culture conditions promoting differentiation, our analysis indicates a possible shift in dynamics, with these processes becoming more coupled over time.


title: Exploring Nanoscale Ferroelectricity in Doped Hafnium Oxide by Interferometric Piezoresponse Force Microscopy

abstract: Hafnium oxide (HfO2)-based ferroelectrics offer remarkable promise for memory and logic devices in view of their compatibility with traditional silicon CMOS technology, high switchable polarization, good endurance and thickness scalability. These factors have led to steep rise in research on this class of materials over the past number of years. At the same time, only a few reports on the direct sensing of nanoscale ferroelectric properties exist, with many questions remaining regarding the emergence of ferroelectricity in these materials. While piezoresponse force microscopy (PFM) is ideally suited to probe piezo- and ferro-electricity on the nanoscale, it is known to suffer artifacts which complicate quantitative interpretation of results and can even lead to claims of ferroelectricity in materials which are not ferroelectric. In this paper we explore the possibility of using an improved PFM method based on interferometric displacement sensing (IDS) to study nanoscale ferroelectricity in bare Si doped HfO2. Our results indicate a clear difference in the local remnant state of various HfO2 crystallites with reported values for the piezoelectric coupling in range 0.6-1.5 pm/V. In addition, we report unusual ferroelectric polarization switching including possible contributions from electrostriction and Vegard effect, which may indicate oxygen vacancies or interfacial effects influence the emergence of nanoscale ferroelectricity in HfO2.


title: Seesaw neutrino dark matter by freeze-out

abstract: We investigate whether right-handed neutrinos can play the role of the dark matter of the Universe and be generated by the freeze-out production mechanism. In the standard picture, the requirement of a long lifetime of the right-handed neutrinos implies a small neutrino Yukawa coupling. As a consequence, they never reach thermal equilibrium, thus prohibiting production by freeze-out. We note that this limitation is alleviated if the neutrino Yukawa coupling is large enough in the early Universe to thermalize the sterile neutrinos, and then becomes tiny at a certain moment, which makes them drop out of equilibrium. As a concrete example realization of this framework, we consider a Froggatt-Nielsen model supplemented by an additional scalar field which obeys a global symmetry (not the flavour symmetry). Initially, the vacuum expectation value of the flavon is such, that the effective neutrino Yukawa coupling is large and unsuppressed, keeping them in thermal equilibrium. At some point the new scalar also gets a vacuum expectation value that breaks the symmetry. This may occur in such a way that the vev of the flavon is shifted to a new (smaller) value. In that case, the Yukawa coupling is reduced such that the sterile neutrinos are rendered stable on cosmological time scales. We show that this mechanism works for a wide range of sterile neutrino masses.


title: Knowledge Base Completion for Constructing Problem-Oriented Medical Records

abstract: Both electronic health records and personal health records are typically organized by data type, with medical problems, medications, procedures, and laboratory results chronologically sorted in separate areas of the chart. As a result, it can be difficult to find all of the relevant information for answering a clinical question about a given medical problem. A promising alternative is to instead organize by problems, with related medications, procedures, and other pertinent information all grouped together. A recent effort by Buchanan (2017) manually defined, through expert consensus, 11 medical problems and the relevant labs and medications for each. We show how to use machine learning on electronic health records to instead automatically construct these problem-based groupings of relevant medications, procedures, and laboratory tests. We formulate the learning task as one of knowledge base completion, and annotate a dataset that expands the set of problems from 11 to 32. We develop a model architecture that exploits both pre-trained concept embeddings and usage data relating the concepts contained in a longitudinal dataset from a large health system. We evaluate our algorithms' ability to suggest relevant medications, procedures, and lab tests, and find that the approach provides feasible suggestions even for problems that are hidden during training. The dataset, along with code to reproduce our results, is available at https://github.com/asappresearch/kbc-pomr.


title: Towards causal generative scene models via competition of experts

abstract: Learning how to model complex scenes in a modular way with recombinable components is a pre-requisite for higher-order reasoning and acting in the physical world. However, current generative models lack the ability to capture the inherently compositional and layered nature of visual scenes. While recent work has made progress towards unsupervised learning of object-based scene representations, most models still maintain a global representation space (i.e., objects are not explicitly separated), and cannot generate scenes with novel object arrangement and depth ordering. Here, we present an alternative approach which uses an inductive bias encouraging modularity by training an ensemble of generative models (experts). During training, experts compete for explaining parts of a scene, and thus specialise on different object classes, with objects being identified as parts that re-occur across multiple scenes. Our model allows for controllable sampling of individual objects and recombination of experts in physically plausible ways. In contrast to other methods, depth layering and occlusion are handled correctly, moving this approach closer to a causal generative scene model. Experiments on simple toy data qualitatively demonstrate the conceptual advantages of the proposed approach.


title: Photometric Limits on the High Resolution Imaging of Exoplanets Using the Solar Gravity Lens

abstract: We present an analysis of high-resolution imaging of an exoplanet by a meter-class telescope positioned at a real image of the exoplanet created by the solar gravity lens. We assume an exoplanet viewed in full phase and a simple deconvolution method to correct for the intrinsic blur caused by aberrations in the solar gravity lens, and account for the foreground light of the solar corona. We derive equations for the measurement times required for the telescope to produce such a high-resolution image, and find that due to shot noise considerations these times are large compared to human lifespans. We also discuss how measurement times could potentially be significantly shorter for exoplanets with special orbital and rotational parameters.

categories: astro-ph.IM astro-ph.EP astro-ph.SR gr-qc


title: A Simple Lifelong Learning Approach

abstract: In lifelong learning, data are used to improve performance not only on the present task, but also on past and future (unencountered) tasks. While typical transfer learning algorithms can improve performance on future tasks, their performance on prior tasks degrades upon learning new tasks (called forgetting). Many recent approaches for continual or lifelong learning have attempted to maintain performance on old tasks given new tasks. But striving to avoid forgetting sets the goal unnecessarily low. The goal of lifelong learning should be to use data to improve performance on both future tasks (forward transfer) and past tasks (backward transfer). In this paper, we show that a simple approach -- representation ensembling -- demonstrates both forward and backward transfer in a variety of simulated and benchmark data scenarios, including tabular, vision (CIFAR-100, 5-dataset, Split Mini-Imagenet, and Food1k), and speech (spoken digit), in contrast to various reference algorithms, which typically failed to transfer either forward or backward, or both. Moreover, our proposed approach can flexibly operate with or without a computational budget.


abstract: Solving the Goal-Conditioned Reward Sparse (GCRS) task is a challenging reinforcement learning problem due to the sparsity of reward signals. In this work, we propose a new formulation of GCRS tasks from the perspective of the drifted random walk on the state space, and design a novel method called Evolutionary Stochastic Policy Distillation (ESPD) to solve them based on the insight of reducing the First Hitting Time of the stochastic process. As a self-imitate approach, ESPD enables a target policy to learn from a series of its stochastic variants through the technique of policy distillation (PD). The learning mechanism of ESPD can be considered as an Evolution Strategy (ES) that applies perturbations upon policy directly on the action space, with a SELECT function to check the superiority of stochastic variants and then use PD to update the policy. The experiments based on the MuJoCo robotics control suite show the high learning efficiency of the proposed method.


title: Optimal Decisions of a Rational Agent in the Presence of Biased Information Providers

abstract: We consider information networks whereby multiple biased-information-providers (BIPs), e.g., media outlets/social network users/sensors, share reports of events with rational-information-consumers (RICs). Making the reasonable abstraction that an event can be reported as an answer to a logical statement, we model the input-output behavior of each BIP as a binary channel. For various reasons, some BIPs might share incorrect reports of the event. Moreover, each BIP is: 'biased' if it favors one of the two outcomes while reporting, or 'unbiased' if it favors neither outcome. Such biases occur in information/social networks due to differences in users' characteristics/worldviews. We study the impact of the BIPs' biases on an RIC's choices while deducing the true information. Our work reveals that a "graph-blind" RIC looking for $n$ BIPs among its neighbors, acts peculiarly in order to minimize its probability of making an error while deducing the true information. First, we establish the counter-intuitive fact that the RIC's expected error is minimized by choosing BIPs that are fully-biased against the a-priori likely event. Then, we study the gains that fully-biased BIPs provide over unbiased BIPs when the error rates of their binary channels are equalized, for fair comparison, at some $r>0$. Specifically, the unbiased-to-fully-biased ratio of the RIC's expected error probabilities grows exponentially with the exponent $\frac{n}{2}\ln\left(4\rho_0^2\left(\frac{1}{r}-1\right)\right)$, where $\rho_0$ is the event's prior probability of being $0$. This shows not only that fully-biased BIPs are preferable to unbiased or heterogeneously-biased BIPs, but also that the gains can be substantial for small $r$.


title: Numerical analysis of spin foam dynamics and the flatness problem

abstract: In this paper, we apply a recently proposed numerical algorithm for finding stationary phase points in spin foam amplitudes. We study a spin foam amplitude with three vertices and a bulk face in 4d BF theory. We fix the boundary coherent states to three possible triangulations, one with zero deficit angle on the bulk face and two with non-zero deficit angle. We compute the amplitude numerically and we find a stationary phase point already at low spins in all the three cases. We comment on how this result contrasts with the claims of flatness problem in spin foam theories. We point out where these arguments may be misleading and we propose further computations to definitively answer the question.


title: Cauchy distributions for the integrable standard map

abstract: We consider the integrable (zero perturbation) two--dimensional standard map, in light of current developments on ergodic sums of irrational rotations, and recent numerical evidence that it might possess non-trivial q-Gaussian statistics. Using both classical and recent results, we show that the phase average of the sum of centered positions of an orbit, for long times and after normalization, obeys the Cauchy distribution (a q-Gaussian with q=2), while for almost all individual orbits such a sum does not obey any distribution at all. We discuss the question of existence of distributions for KAM tori.


title: Plasmon Mediated Electron Beam Transport in Quantum Plasma

abstract: Starting from the quantum hydrodynamic model and transforming to the coupled driven pseudoforce system the plasmonic excitations of electron beam with arbitrary degree of degeneracy are studied. Using the conventional normal-mode analysis a dual-length-scale wavefunction theory for a monochromatic electron beam is developed. The beam plasmon excitations are shown to have both wave and particle character, de Broglie wavenumbers of which depend on various parameters such as average beam speed, the chemical potential, the charge screening and the background electrostatic energy. The deterministic single electron dynamics in the beam is investigated using the dual-wavelength electrostatic potential energy. It is shown that electrons can be either trapped or traveling along the beam direction depending on the ambient plasma parameter values. The problem of monochromatic beam transport through binary as well as ternary metallic configurations are investigated and some technological applications of these system are pointed out. The theory is extended to multistream phenomenon and electron beam transport through multimedia junction. We believe that current study can have major impact on understanding of the quantum beam-plasma interactions and instabilities and can further elucidate the mechanisms involving in the collective quantum wave-particle phenomena.


title: Energy flux and dissipation of inhomogeneous plane waves in hereditary viscoelasticity

abstract: Inhomogeneous small-amplitude plane waves of (complex) frequency $\omega$ are propagated through a linear dissipative material which displays hereditary viscoelasticity. The energy density, energy flux and dissipation are quadratic in the small quantities, namely, the displacement gradient, velocity and velocity gradient, each harmonic with frequency $\omega$, and so give rise to attenuated constant terms as well as to inhomogeneous plane waves of frequency $2\omega$. The quadratic terms are usually removed by time averaging but we retain them here as they are of comparable magnitude with the time-averaged quantities of frequency $\omega$. A new relationship is derived in hereditary viscoelasticity that connects the amplitudes of the terms of the energy density, energy flux and dissipation that have frequency $2\omega$. It is shown that the complex group velocity is related to the amplitudes of the terms with frequency $2\omega$ rather than to the attenuated constant terms as it is for homogeneous waves in conservative materials.


title: What is the Top Quark Mass?

abstract: In this review I give an overview on the conceptual issues involved in the question how to interpret so-called `direct top quark mass measurements', which are based on the kinematic reconstruction of top quark decay products at the Large Hadron Collider (LHC). These measurements quote the top mass parameter $m_t^{\rm MC}$ of Monte-Carlo event generators with current uncertainties of around $0.5$ GeV. At present time the problem of finding a rigorous relation between $m_t^{\rm MC}$ and top mass renormalization schemes defined in field theory is unresolved and touches perturbative as well as nonperturbative aspects and the limitations of state-of-the-art Monte-Carlo event generators. I review the status of LHC top mass measurements, illustrate how conceptual limitations enter and explain a controversy that has permeated the community in the context of the interpretation problem. Recent advances in acquiring first principle insights are summarized, and it is outlined what else has to be understood to fully resolve the issue. For the time being, I give a recommendation how to deal with the interpretation problem when making top mass dependent theoretical predictions.


title: Interactive Movement Primitives: Planning to Push Occluding Pieces for Fruit Picking

abstract: Robotic technology is increasingly considered the major mean for fruit picking. However, picking fruits in a dense cluster imposes a challenging research question in terms of motion/path planning as conventional planning approaches may not find collision-free movements for the robot to reach-and-pick a ripe fruit within a dense cluster. In such cases, the robot needs to safely push unripe fruits to reach a ripe one. Nonetheless, existing approaches to planning pushing movements in cluttered environments either are computationally expensive or only deal with 2-D cases and are not suitable for fruit picking, where it needs to compute 3-D pushing movements in a short time. In this work, we present a path planning algorithm for pushing occluding fruits to reach-and-pick a ripe one. Our proposed approach, called Interactive Probabilistic Movement Primitives (I-ProMP), is not computationally expensive (its computation time is in the order of 100 milliseconds) and is readily used for 3-D problems. We demonstrate the efficiency of our approach with pushing unripe strawberries in a simulated polytunnel. Our experimental results confirm I-ProMP successfully pushes table top grown strawberries and reaches a ripe one.


title: Learning Based Hybrid Beamforming for Millimeter Wave Multi-User MIMO Systems

abstract: Hybrid beamforming (HBF) design is a crucial stage in millimeter wave (mmWave) multi-user multi-input multi-output (MU-MIMO) systems. However, conventional HBF methods are still with high complexity and strongly rely on the quality of channel state information. We propose an extreme learning machine (ELM) framework to jointly optimize transmitting and receiving beamformers. Specifically, to provide accurate labels for training, we first propose an factional-programming and majorization-minimization based HBF method (FP-MM-HBF). Then, an ELM based HBF (ELM-HBF) framework is proposed to increase the robustness of beamformers. Both FP-MM-HBF and ELM-HBF can provide higher system sum-rate compared with existing methods. Moreover, ELM-HBF cannot only provide robust HBF performance, but also consume very short computation time.


title: The Adversarial Stackelberg Value in Quantitative Games

abstract: In this paper, we study the notion of adversarial Stackelberg value for two-player non-zero sum games played on bi-weighted graphs with the mean-payoff and the discounted sum functions. The adversarial Stackelberg value of Player 0 is the largest value that Player 0 can obtain when announcing her strategy to Player 1 which in turn responds with any of his best response. For the mean-payoff function, we show that the adversarial Stackelberg value is not always achievable but epsilon-optimal strategies exist. We show how to compute this value and prove that the associated threshold problem is in NP. For the discounted sum payoff function, we draw a link with the target discounted sum problem which explains why the problem is difficult to solve for this payoff function. We also provide solutions to related gap problems.


title: First return, then explore

abstract: The promise of reinforcement learning is to solve complex sequential decision problems autonomously by specifying a high-level reward function only. However, reinforcement learning algorithms struggle when, as is often the case, simple and intuitive rewards provide sparse and deceptive feedback. Avoiding these pitfalls requires thoroughly exploring the environment, but creating algorithms that can do so remains one of the central challenges of the field. We hypothesise that the main impediment to effective exploration originates from algorithms forgetting how to reach previously visited states ("detachment") and from failing to first return to a state before exploring from it ("derailment"). We introduce Go-Explore, a family of algorithms that addresses these two challenges directly through the simple principles of explicitly remembering promising states and first returning to such states before intentionally exploring. Go-Explore solves all heretofore unsolved Atari games and surpasses the state of the art on all hard-exploration games, with orders of magnitude improvements on the grand challenges Montezuma's Revenge and Pitfall. We also demonstrate the practical potential of Go-Explore on a sparse-reward pick-and-place robotics task. Additionally, we show that adding a goal-conditioned policy can further improve Go-Explore's exploration efficiency and enable it to handle stochasticity throughout training. The substantial performance gains from Go-Explore suggest that the simple principles of remembering states, returning to them, and exploring from them are a powerful and general approach to exploration, an insight that may prove critical to the creation of truly intelligent learning agents.


title: Flight Control of Sliding Arm Quadcopter with Dynamic Structural Parameters

abstract: The conceptual design and flight controller of a novel kind of quadcopter are presented. This design is capable of morphing the shape of the UAV during flight to achieve position and attitude control. We consider a dynamic center of gravity (CoG) which causes continuous variation in a moment of inertia (MoI) parameters of the UAV in this design. These dynamic structural parameters play a vital role in the stability and control of the system. The length of quadcopter arms is a variable parameter, and it is actuated using attitude feedback-based control law. The MoI parameters are computed in real-time and incorporated in the equations of motion of the system. The UAV utilizes the angular motion of propellers and variable quadcopter arm lengths for position and navigation control. The movement space of the CoG is a design parameter and it is bounded by actuator limitations and stability requirements of the system. A detailed information on equations of motion, flight controller design and possible applications of this system are provided. Further, the proposed shape-changing UAV system is evaluated by comparative numerical simulations for way point navigation mission and complex trajectory tracking.


title: Equivalence of Grandfather and Information Antinomy Under Intervention

abstract: Causal loops, e.g., in time travel, come with two main problems. Most prominently, the grandfather antinomy describes the potentiality to inconsistencies: a problem of logical nature. The other problem is called information antinomy and is lesser known. Yet, it describes a variant of the former: There are not too few consistent solutions -- namely none -- but too many. At a first glance, the information antinomy does not seem as problematic as the grandfather antinomy, because there is no apparent logical contradiction. In this work we show that, however, both problems are equivalent under interventions: If parties can intervene in such a way that the information antinomy arises, then they can also intervene to generate a contradiction, and vice versa.


title: Multiple sampling and interpolation in weighted Fock spaces of entire functions

abstract: We characterize sampling and interpolating sets with derivatives in weighted Fock spaces on the complex plane in terms of their weighted Beurling densities.


title: Improving Usability of User Centric Decision Making of Multi-Attribute Products on E-commerce Websites

abstract: The high number of products available makes it difficult for a user to find the most suitable products according to their needs. This problem is especially exacerbated when the user is trying to optimize multiple attributes during product selection, e.g. memory size and camera resolution requirements in case of smartphones. Previous studies have shown that such users search extensively to find a product that best meets their needs. In this paper, we propose an interface that will help users in selecting a multi-attribute product through a series of visualizations. This interface is especially targeted for users that desire to purchase the best possible product according to some criteria. The interface works by allowing the user to progressively shortlist products and ultimately select the most appropriate product from a very small consideration set. We evaluated our proposed interface by conducting a controlled experiment that empirically measures the efficiency, effectiveness and satisfaction of our visualization based interface and a typical e-commerce interface. The results showed that our proposed interface allowed the user to find a desired product quickly and correctly, moreover, the subjective opinion of the users also favored our proposed interface.


title: Unveiling pure-metal ejecta X-ray emission in supernova remnants through their radiative recombination continuum

abstract: Spectral analysis of X-ray emission from ejecta in supernova remnants (SNRs) is hampered by the low spectral resolution of CCD cameras, which creates a degeneracy between the best-fit values of abundances and emission measure. The combined contribution of shocked ambient medium and ejecta to the X-ray emission complicates the determination of the ejecta mass and chemical composition, leading to big uncertainties in mass estimates and it can introduce a bias in the comparison between the observed ejecta composition and the yields predicted by explosive nucleosynthesis. We explore the capabilities of present and future spectral instruments with the aim of identifying a spectral feature which may allow us to discriminate between metal-rich and pure-metal plasmas in X-ray spectra of SNRs. We studied the behavior of the most common X-ray emission processes of an optically thin plasma in the high-abundance regime. We investigated spectral features of bremsstrahlung, radiative recombination continua (RRC) and line emission, by exploring a wide range of chemical abundances, temperatures and ionization parameters. We synthesized X-ray spectra from a 3D hydrodynamic (HD) simulation of Cas A, by using the response matrix from the Chandra/ACIS-S CCD detector and that of the XRISM/Resolve X-ray calorimeter. We found that a bright RRC shows up when the plasma is made of pure-metal ejecta, and a high spectral resolution is needed to identify this ejecta signature. We verified the applicability of our novel diagnostic tool and we propose a promising target for the future detection of such spectral feature: the southeastern Fe-rich clump of Cas A. While there is no way to unambiguously reveal pure-metal ejecta emission with CCD detectors, X-ray calorimeters will be able to pinpoint the presence of pure-metal RRC and to recover correctly absolute mass and the chemical composition of the ejecta.


title: Rateless Codes for Private Distributed Matrix-Matrix Multiplication

abstract: We consider the problem of designing rateless coded private distributed matrix-matrix multiplication. A master server owns two private matrices $\mathbf{A}$ and $\mathbf{B}$ and wants to hire worker nodes to help compute the multiplication. The matrices should remain private from the workers, in an information-theoretic sense. This problem has been considered in the literature and codes with a predesigned threshold are constructed. More precisely, the master assigns tasks to the workers and waits for a predetermined number of workers to finish their assigned tasks. The size of the tasks assigned to the workers depends on the designed threshold. We are interested in settings where the size of the task must be small and independent of the designed threshold. We design a rateless private matrix-matrix multiplications scheme, called RPM3. Our scheme fixes the size of the tasks and allows the master to send multiple tasks to the workers. The master keeps receiving results until it can decode the multiplication. Two main applications require this property: i) leverage the possible heterogeneity in the system and assign more tasks to workers that are faster; and ii) assign tasks adaptively to account for a possibly time-varying system.


title: A New Age of Computing and the Brain

abstract: The history of computer science and brain sciences are intertwined. In his unfinished manuscript "The Computer and the Brain," von Neumann debates whether or not the brain can be thought of as a computing machine and identifies some of the similarities and differences between natural and artificial computation. Turing, in his 1950 article in Mind, argues that computing devices could ultimately emulate intelligence, leading to his proposed Turing test. Herbert Simon predicted in 1957 that most psychological theories would take the form of a computer program. In 1976, David Marr proposed that the function of the visual system could be abstracted and studied at computational and algorithmic levels that did not depend on the underlying physical substrate. In December 2014, a two-day workshop supported by the Computing Community Consortium (CCC) and the National Science Foundation's Computer and Information Science and Engineering Directorate (NSF CISE) was convened in Washington, DC, with the goal of bringing together computer scientists and brain researchers to explore these new opportunities and connections, and develop a new, modern dialogue between the two research communities. Specifically, our objectives were: 1. To articulate a conceptual framework for research at the interface of brain sciences and computing and to identify key problems in this interface, presented in a way that will attract both CISE and brain researchers into this space. 2. To inform and excite researchers within the CISE research community about brain research opportunities and to identify and explain strategic roles they can play in advancing this initiative. 3. To develop new connections, conversations and collaborations between brain sciences and CISE researchers that will lead to highly relevant and competitive proposals, high-impact research, and influential publications.


title: How to restart? An agent-based simulation model towards the definition of strategies for COVID-19 "second phase" in public buildings

abstract: Restarting public buildings activities in the "second phase" of COVID-19 emergency should be supported by operational measures to avoid a second virus spreading. Buildings hosting the continuous presence of the same users and significant overcrowd conditions over space/time (e.g. large offices, universities) are critical scenarios due to the prolonged contact with infectors. Beside individual's risk-mitigation strategies performed (facial masks), stakeholders should promote additional strategies, i.e. occupants' load limitation (towards "social distancing") and access control. Simulators could support the measures effectiveness evaluation. This work provides an Agent-Based Model to estimate the virus spreading in the closed built environment. The model adopts a probabilistic approach to jointly simulate occupants' movement and virus transmission according to proximity-based and exposure-time-based rules proposed by international health organizations. Scenarios can be defined in terms of building occupancy, mitigation strategies and virus-related aspects. The model is calibrated on experimental data ("Diamond Princess" cruise) and then applied to a relevant case-study (a part of a university campus). Results demonstrate the model capabilities. Concerning the case-study, adopting facial masks seems to be a paramount strategy to reduce virus spreading in each initial condition, by maintaining an acceptable infected people's number. The building capacity limitation could support such measure by potentially moving from FFPk masks to surgical masks use by occupants (thus improving users' comfort issues). A preliminary model to combine acceptable mask filters-occupants' density combination is proposed. The model could be modified to consider other recurring scenarios in other public buildings (e.g. tourist facilities, cultural buildings).

categories: physics.soc-ph cs.CY cs.MA physics.data-an


title: Continuous matrix product operator approach to finite temperature quantum states

abstract: We present an algorithm for studying quantum systems at finite temperature using continuous matrix product operator representation. The approach handles both short-range and long-range interactions in the thermodynamic limit without incurring any time discretization error. Moreover, the approach provides direct access to physical observables including the specific heat, local susceptibility, and local spectral functions. After verifying the method using the prototypical quantum XXZ chains, we apply it to quantum Ising models with power-law decaying interactions and on the infinite cylinder, respectively. The approach offers predictions that are relevant to experiments in quantum simulators and the nuclear magnetic resonance spin-lattice relaxation rate.


title: Data Engineering for Data Analytics: A Classification of the Issues, and Case Studies

abstract: Consider the situation where a data analyst wishes to carry out an analysis on a given dataset. It is widely recognized that most of the analyst's time will be taken up with \emph{data engineering} tasks such as acquiring, understanding, cleaning and preparing the data. In this paper we provide a description and classification of such tasks into high-levels groups, namely data organization, data quality and feature engineering. We also make available four datasets and example analyses that exhibit a wide variety of these problems, to help encourage the development of tools and techniques to help reduce this burden and push forward research towards the automation or semi-automation of the data engineering process.


title: Transition to a supersolid phase in a two-dimensional dilute gas of electron-hole pairs

abstract: Using coherent-state formalism (the Keldysh formalism), the article describes a transition from a homogeneous superfluid state to a supersolid state in a two-dimensional dilute gas of electron-hole pairs with spatially separated components. Such a transition is heralded by the appearance of a roton-type minimum in the collective excitation spectrum, which touches the abscissa axis as the distance between the layers or the pair density increases. This signals the instability of the system with respect to the appearance of a spatial modulation of the pair density. It has been found that a first-order transition to a hexagonal supersolid phase takes place a little earlier. A theory without phenomenological constants has been developed for an arbitrary relation between the effective masses of an electron and a hole. A phase diagram for the system has been plotted in the variables "the chemical potential of pairs - the distance between the layers". It has been shown that there is a jump in the average density of the condensate during the phase transition. It has been established that with an increase in the chemical potential, the inhomogeneous phase breaks up into high-density regions surrounded by lines at which the density becomes zero, with these lines forming a continuous network.


title: A local test for global extrema in the dispersion relation of a periodic graph

abstract: We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we show that any local extremum of a dispersion band is in fact its global extremum if the dimension of the periodicity group is three or less, or (in any dimension) if the critical point in question is a symmetry point of the Floquet--Bloch family with respect to complex conjugation. We demonstrate that our results are nearly optimal with a number of examples.


title: Spectral analysis of large reflexive generalized inverse and Moore-Penrose inverse matrices

abstract: A reflexive generalized inverse and the Moore-Penrose inverse are often confused in statistical literature but in fact they have completely different behaviour in case the population covariance matrix is not a multiple of identity. In this paper, we study the spectral properties of a reflexive generalized inverse and of the Moore-Penrose inverse of the sample covariance matrix. The obtained results are used to assess the difference in the asymptotic behaviour of their eigenvalues.


title: A note on symmetrical symplectic capacities

abstract: For a convex domain in the standard Euclidean symplectic space which is invariant under a linear anti-symplectic involution $\tau$ we show that its Ekeland-Hofer-Zehnder capacity is equal to the $\tau$-symmetrical symplectic capacity of it.


title: SCDE: Sentence Cloze Dataset with High Quality Distractors From Examinations

abstract: We introduce SCDE, a dataset to evaluate the performance of computational models through sentence prediction. SCDE is a human-created sentence cloze dataset, collected from public school English examinations. Our task requires a model to fill up multiple blanks in a passage from a shared candidate set with distractors designed by English teachers. Experimental results demonstrate that this task requires the use of non-local, discourse-level context beyond the immediate sentence neighborhood. The blanks require joint solving and significantly impair each other's context. Furthermore, through ablations, we show that the distractors are of high quality and make the task more challenging. Our experiments show that there is a significant performance gap between advanced models (72%) and humans (87%), encouraging future models to bridge this gap.


title: Natural language processing for achieving sustainable development: the case of neural labelling to enhance community profiling

abstract: In recent years, there has been an increasing interest in the application of Artificial Intelligence - and especially Machine Learning - to the field of Sustainable Development (SD). However, until now, NLP has not been applied in this context. In this research paper, we show the high potential of NLP applications to enhance the sustainability of projects. In particular, we focus on the case of community profiling in developing countries, where, in contrast to the developed world, a notable data gap exists. In this context, NLP could help to address the cost and time barrier of structuring qualitative data that prohibits its widespread use and associated benefits. We propose the new task of Automatic UPV classification, which is an extreme multi-class multi-label classification problem. We release Stories2Insights, an expert-annotated dataset, provide a detailed corpus analysis, and implement a number of strong neural baselines to address the task. Experimental results show that the problem is challenging, and leave plenty of room for future research at the intersection of NLP and SD.


title: Internet of Things Architectures: A Comparative Study

abstract: Over the past two decades, the Internet of Things (IoT) has become an underlying concept to a variety of solutions and technologies that it is now hardly possible to enumerate and describe all of them. The concept behind the Internet of Things is as powerful as it is complex, and for the components in the IoT solution tomesh together perfectly, they all have to be part of a well-thought-out structure. That is where understanding the IoT architecture becomes paramount. Because of the vast domain of IoT, there is no single consensus on IoT architecture. Different researchers and organizations proposed different architectures under a variety of classifications, mainly: conceptual, standard and, industrial or commercial adoption. It is indispensable to make a systematic analysis of IoT architecture to be able to compare the industrial proposals and identify their similarities and their differences. In this work, we summarize information about seven IoT industrial architectures in order to propose an approach that makes possible a comparative analysis between different IoT architectures. This work presents two main contributions: (i) an approach for analyzing and comparing IoTarchitectures using Layer-Model; (ii) a comparative study of seven industrial IoT architectures.


title: A model 2-category of enriched combinatorial premodel categories

abstract: In his book on model categories, Hovey asked whether the 2-category $\mathbf{Mod}$ of model categories admits a "model 2-category structure" whose weak equivalences are the Quillen equivalences. We show that $\mathbf{Mod}$ does not have pullbacks and so cannot form a model 2-category. This lack of pullbacks can be traced to the two-out-of-three axiom on the weak equivalences of a model category. Accordingly, we define a premodel category to be a complete and cocomplete category equipped with two nested weak factorization systems. Combinatorial premodel categories form a complete and cocomplete closed symmetric monoidal 2-category $\mathbf{CPM}$ whose tensor product represents Quillen bifunctors. For a monoidal combinatorial premodel category $V$, the 2-category $V\mathbf{CPM}$ of $V$-enriched combinatorial premodel categories is simply the category of modules over $V$ (viewed as a monoid object of $\mathbf{CPM}$), and therefore inherits the algebraic structure of $\mathbf{CPM}$. The homotopy theory of a model category depends in an essential way on the weak equivalences, so it does not extend directly to a general premodel category. We develop a substitute homotopy theory for premodel categories satisfying an additional property which holds automatically for model categories and also for premodel categories enriched in a monoidal model category. In particular, for a monoidal model category $V$, we obtain a notion of Quillen equivalence of $V$-premodel categories which extends the one for $V$-model categories. When $V$ is a tractable symmetric monoidal model category, we construct a model 2-category structure on $V\mathbf{CPM}$ with these Quillen equivalences as the weak equivalences, by adapting Szumi\l{}o's construction of a fibration category of cofibration categories.


title: Molecular globules in the Veil bubble of Orion. IRAM 30m 12CO, 13CO, and C18O 2-1 expanded maps of Orion A

abstract: Strong winds and ultraviolet (UV) radiation from O-type stars disrupt and ionize their molecular core birthplaces, sweeping up material into parsec-size shells. Owing to dissociation by starlight, the thinnest shells are expected to host low molecular abundances and therefore little star formation. Here, we expand previous maps taken with the IRAM 30m telescope and present square-degree 12CO and 13CO (J=2-1) maps of the wind-driven "Veil bubble'' that surrounds the Trapezium cluster and its natal Orion molecular core (OMC). Although widespread and extended CO emission is largely absent from the Veil, we show that several CO "globules'' exist and are embedded in the [CII]158um-bright shell that confines the bubble. This includes the first detection of quiescent CO at negative LSR velocities in Orion. Given the harsh UV irradiation conditions in this translucent material, the detection of CO globules is surprising. These globules are small (R=7,100 AU), not massive (M=0.3M_Sun), and are moderately dense: n_ H=4x10^4 cm^-3 (median values). They are confined by the external pressure of the shell, P_ext/k~10^7 cm^-3 K, and are likely magnetically supported. They are either transient objects formed by instabilities or have detached from pre-existing molecular structures, sculpted by the passing shock associated with the expanding shell and by UV radiation from the Trapezium. Some represent the first stages in the formation of small pillars, others of isolated small globules. Although their masses do not suggest they will form stars, one globule matches the position of a known YSO. The lack of extended CO in the "Veil shell'' demonstrates that feedback from massive stars expels, agitates, and reprocesses most of the disrupted molecular cloud gas, thereby limiting the star-formation rate in the region. The presence of globules is a result of this feedback.


abstract: Modern science, technology, and politics are all permeated by data that comes from people, measurements, or computational processes. While this data is often incomplete, corrupt, or lacking in sufficient accuracy and precision, explicit consideration of uncertainty is rarely part of the computational and decision making pipeline. The CCC Workshop on Quantification, Communication, and Interpretation of Uncertainty in Simulation and Data Science explored this problem, identifying significant shortcomings in the ways we currently process, present, and interpret uncertain data. Specific recommendations on a research agenda for the future were made in four areas: uncertainty quantification in large-scale computational simulations, uncertainty quantification in data science, software support for uncertainty computation, and better integration of uncertainty quantification and communication to stakeholders.


title: Hybrid Top-Down and Bottom-Up Approach for Investigating Residential Load Compositions and Load Percentages

abstract: Load points are one of the most vital parts of power systems. Due to the new load forms and programs introduced in the demand side, the load-serving entities (LSEs) no longer deal with lump loads, but rather with more dynamic, rational and price elastic loads. The high inter-temporal and behavioral variability of the load profile makes it almost impossible for utilities and system operators to expect the demand curve with the needed accuracy. A sound granularity of the load compositions and consumption percentages and patterns throughout the year is essential for avoiding energy losses, designing demand-side management programs, and ensuring proper adjustments of electricity rates. In this paper, a simplistic model that can be followed by system operators to initially understand the customers' consumption pattern and the household load structure is proposed. A top-down approach is combined and matched with a detailed bottom-up one, to extract load compositions and percentages. Real and local load profiles integrated with household statistical data such as device time of use (ToU), number of device units per house, and activities exercised in households are all included in the model. The main results of the paper show the load composition in residential demand and the percentage of such composition under seasonal-based scenarios.


title: Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs

abstract: We propose a graph-based extension of Boolean logic called Boolean Graph Logic (BGL). Construing formula trees as the cotrees of cographs, we may state semantic notions such as evaluation and entailment in purely graph-theoretic terms, whence we recover the definition of BGL. Naturally, it is conservative over usual Boolean logic. Our contributions are the following: (1) We give a natural semantics of BGL based on Boolean relations, i.e. it is a multivalued semantics, and show adequacy of this semantics for the corresponding notions of entailment. (2) We show that the complexity of evaluation is NP-complete for arbitrary graphs (as opposed to ALOGTIME-complete for formulas), while entailment is $\Pi^p_2$-complete (as opposed to coNP-complete for formulas). (3) We give a 'recursive' algorithm for evaluation by induction on the modular decomposition of graphs. (Though this is not polynomial-time, cf. point (2) above). (4) We characterise evaluation in a game-theoretic setting, in terms of both static and sequentical strategies, extending the classical notion of positional game forms beyond cographs. (5) We give an axiomatisation of BGL, inspired by deep-inference proof theory, and show soundness and completeness for the corresponding notions of entailment. One particular feature of the graph-theoretic setting is that it escapes certain no-go theorems such as a recent result of Das and Strassburger, that there is no linear axiomatisation of the linear fragment of Boolean logic (equivalently the multiplicative fragment of Japaridze's Computability Logic or Blass' game semantics for Mutliplicative Linear Logic).


title: Classical-Quantum Separations in Certain Classes of Boolean Functions-- Analysis using the Parity Decision Trees

abstract: In this paper we study the separation between the deterministic (classical) query complexity ($D$) and the exact quantum query complexity ($Q_E$) of several Boolean function classes using the parity decision tree method. We first define the Query Friendly (QF) functions on $n$ variables as the ones with minimum deterministic query complexity $(D(f))$. We observe that for each $n$, there exists a non-separable class of QF functions such that $D(f)=Q_E(f)$. Further, we show that for some values of $n$, all the QF functions are non-separable. Then we present QF functions for certain other values of $n$ where separation can be demonstrated, in particular, $Q_E(f)=D(f)-1$. In a related effort, we also study the Maiorana McFarland (M-M) type Bent functions. We show that while for any M-M Bent function $f$ on $n$ variables $D(f) = n$, separation can be achieved as $\frac{n}{2} \leq Q_E(f) \leq \lceil \frac{3n}{4} \rceil$. Our results highlight how different classes of Boolean functions can be analyzed for classical-quantum separation exploiting the parity decision tree method.