title: RPT: Effective and Efficient Retrieval of Program Translations from Big Code

abstract: Program translation is a growing demand in software engineering. Manual program translation requires programming expertise in source and target language. One way to automate this process is to make use of the big data of programs, i.e., Big Code. In particular, one can search for program translations in Big Code. However, existing code retrieval techniques are not designed for cross-language code retrieval. Other data-driven approaches require human efforts in constructing cross-language parallel datasets to train translation models. In this paper, we present RPT, a novel code translation retrieval system. We propose a lightweight but informative program representation, which can be generalized to all imperative PLs. Furthermore, we present our index structure and hierarchical filtering mechanism for efficient code retrieval from a Big Code database.


title: Time-periodicities in holographic CFTs

abstract: Dynamics in AdS spacetimes is characterized by various time-periodicities. The most obvious of these is the time-periodic evolution of linearized fields, whose normal frequencies form integer-spaced ladders as a direct consequence of the structure of representations of the conformal group. There are also explicitly known time-periodic phenomena on much longer time scales inversely proportional to the coupling in the weakly nonlinear regime. We ask what would correspond to these long time periodicities in a holographic CFT, provided that such a CFT reproducing the AdS bulk dynamics in the large central charge limit has been found. The answer is a very large family of multiparticle operators whose conformal dimensions form simple ladders with spacing inversely proportional to the central charge. We give an explicit demonstration of these ideas in the context of a toy model holography involving a $\phi^4$ probe scalar field in AdS, but we expect the applicability of the underlying structure to be much more general.


title: Instanton solution for Schwinger production of 't Hooft-Polyakov monopoles

abstract: We present the results of an explicit numerical computation of a novel instanton in Georgi-Glashow SU(2) theory. The instanton is physically relevant as a mediator of Schwinger production of 't Hooft-Polyakov magnetic monopoles from strong magnetic fields. In weak fields, the pair production rate has previously been computed using the worldline approximation, which breaks down in strong fields due to the effects of finite monopole size. Using lattice field theory we have overcome this limit, including finite monopole size effects to all orders. We demonstrate that a full consideration of the internal monopole structure results in an enhancement to the pair production rate, and confirm earlier results that monopole production becomes classical at the Ambjorn-Olesen critical field strength.


title: Enhancement of concentration of XeV and GeV centers in nanocrystalline diamond through He+ irradiation

abstract: Atomic defect centers in diamond have been widely exploited in numerous quantum applications like quantum information, sensing, quantum photonics and so on. In this context, there is always a requirement to improve and optimize the preparation procedure to generate the defect centers in controlled fashion, and to explore new defect centers which can have the potential to overcome the current technological challenges. Through this letter we report enhancing the concentration of Ge and Xe vacancy centers in nanocrystalline diamond (NCD) by means of He+ irradiation. We have demonstrated controlled growth of NCD by chemical vapor deposition (CVD) and implantation of Ge and Xe ions into the CVD-grown samples. NCDs were irradiated with He+ ions and characterized through optical spectroscopy measurements. Recorded photoluminescence results revealed a clear signature of enhancement of the Xe-related and Ge vacancies in NCDs.

categories: cond-mat.mtrl-sci physics.app-ph physics.optics quant-ph


title: Variable Name Recovery in Decompiled Binary Code using Constrained Masked Language Modeling

abstract: Decompilation is the procedure of transforming binary programs into a high-level representation, such as source code, for human analysts to examine. While modern decompilers can reconstruct and recover much information that is discarded during compilation, inferring variable names is still extremely difficult. Inspired by recent advances in natural language processing, we propose a novel solution to infer variable names in decompiled code based on Masked Language Modeling, Byte-Pair Encoding, and neural architectures such as Transformers and BERT. Our solution takes \textit{raw} decompiler output, the less semantically meaningful code, as input, and enriches it using our proposed \textit{finetuning} technique, Constrained Masked Language Modeling. Using Constrained Masked Language Modeling introduces the challenge of predicting the number of masked tokens for the original variable name. We address this \textit{count of token prediction} challenge with our post-processing algorithm. Compared to the state-of-the-art approaches, our trained VarBERT model is simpler and of much better performance. We evaluated our model on an existing large-scale data set with 164,632 binaries and showed that it can predict variable names identical to the ones present in the original source code up to 84.15\% of the time.


title: Numerical Characterization of Support Recovery in Sparse Regression with Correlated Design

abstract: Sparse regression is frequently employed in diverse scientific settings as a feature selection method. A pervasive aspect of scientific data that hampers both feature selection and estimation is the presence of strong correlations between predictive features. These fundamental issues are often not appreciated by practitioners, and jeapordize conclusions drawn from estimated models. On the other hand, theoretical results on sparsity-inducing regularized regression such as the Lasso have largely addressed conditions for selection consistency via asymptotics, and disregard the problem of model selection, whereby regularization parameters are chosen. In this numerical study, we address these issues through exhaustive characterization of the performance of several regression estimators, coupled with a range of model selection strategies. These estimators and selection criteria were examined across correlated regression problems with varying degrees of signal to noise, distribution of the non-zero model coefficients, and model sparsity. Our results reveal a fundamental tradeoff between false positive and false negative control in all regression estimators and model selection criteria examined. Additionally, we are able to numerically explore a transition point modulated by the signal-to-noise ratio and spectral properties of the design covariance matrix at which the selection accuracy of all considered algorithms degrades. Overall, we find that SCAD coupled with BIC or empirical Bayes model selection performs the best feature selection across the regression problems considered.


title: JFB: Jacobian-Free Backpropagation for Implicit Networks

abstract: A promising trend in deep learning replaces traditional feedforward networks with implicit networks. Unlike traditional networks, implicit networks solve a fixed point equation to compute inferences. Solving for the fixed point varies in complexity, depending on provided data and an error tolerance. Importantly, implicit networks may be trained with fixed memory costs in stark contrast to feedforward networks, whose memory requirements scale linearly with depth. However, there is no free lunch -- backpropagation through implicit networks often requires solving a costly Jacobian-based equation arising from the implicit function theorem. We propose Jacobian-Free Backpropagation (JFB), a fixed-memory approach that circumvents the need to solve Jacobian-based equations. JFB makes implicit networks faster to train and significantly easier to implement, without sacrificing test accuracy. Our experiments show implicit networks trained with JFB are competitive with feedforward networks and prior implicit networks given the same number of parameters.


title: Conveying Value via Categories

abstract: A sender sells an object of unknown quality to a receiver who pays his expected value for it. Sender and receiver might hold different priors over quality. The sender commits to a monotonic categorization of quality. We characterize the sender's optimal monotonic categorization. Using our characterization, we study the optimality of full pooling or full separation, the alternation of pooling and separation, and make precise a sense in which pooling is dominant relative to separation. We discuss applications, extensions and generalizations, among them the design of a grading scheme by a profit-maximizing school which seeks to signal student qualities and simultaneously incentivize students to learn. Such incentive constraints force monotonicity, and can also be embedded as a distortion of the school's prior over student qualities, generating a categorization problem with distinct sender and receiver priors.


title: A twisted group algebra structure for an algebra obtained by the Cayley-Dickson process

abstract: Starting from some ideas given by Bales in [Ba; 09], in this paper we present an algorithm for computing the elements of the basis in an algebra obtained by the Cayley-Dickson process. As a consequence of this result, we prove that an algebra obtained by the Cayley-Dickson process is a twisted group algebra for the group G = Zn2 ; n = 2t, t 2 N, over a field K, with charK = 0. In the last section, we give some properties and applications of the quaternion nonassociative algebras.


title: FBMC Receiver Design and Analysis for Medium and Large Scale Antenna Systems

abstract: In this paper, we design receivers for filter bank multicarrier-based (FBMC-based) massive MIMO considering practical aspects such as channel estimation and equalization. In particular, we propose a spectrally efficient pilot structure and a channel estimation technique in the uplink to jointly estimate all the users' channel impulse responses. We mathematically analyze our proposed channel estimator and find the statistics of the channel estimation errors. These statistics are incorporated into our proposed equalizers to deal with the imperfect channel state information (CSI) effect. We revisit the channel equalization problem for FBMC-based massive MIMO, address the shortcomings of the existing equalizers in the literature, and make them more applicable to practical scenarios. The proposed receiver in this paper consists of two stages. In the first stage, a linear combining of the received signals at the base station (BS) antennas provides a coarse channel equalization and removes any multiuser interference. In the second stage, a per subcarrier fractionally spaced equalizer (FSE) takes care of any residual distortion of the channel for the user of interest. We propose an FSE design based on the equivalent channel at the linear combiner output. This enables the applicability of our proposed technique to small and/or distributed antenna setups such as cell-free massive MIMO. Finally, the efficacy of the proposed techniques is corroborated through numerical analysis.


title: Magnetic field-assisted spectral decomposition and imaging of charge states of NV centers in diamond

abstract: With the advent of quantum technology, nitrogen vacancy ($NV$) centers in diamond turn out to be a frontier which provides an efficient platform for quantum computation, communication and sensing applications. Due to the coupled spin-charge dynamics of the $NV$ system, knowledge about $NV$ charge state dynamics can help to formulate efficient spin control sequences strategically. Through this paper we report two spectroscopy-based deconvolution methods to create charge state mapping images of ensembles of $NV$ centers in diamond. First, relying on the fact that an off axis external magnetic field mixes the electronic spins and selectively modifies the photoluminescence (PL) of $NV^-$, we perform decomposition of the optical spectrum for an ensemble of $NV$s and extract the spectra for $NV^-$ and $NV^0$ states. Next, we introduce an optical filter based decomposition protocol and perform PL imaging for $NV^-$ and $NV^0$. Earlier obtained spectra for $NV^-$ and $NV^0$ states are used to calculate their transmissivities through a long pass optical filter. These results help us to determine the spatial distribution of the $NV$ charge states in a diamond sample.


title: Use of mathematical modelling to assess respiratory syncytial virus epidemiology and interventions: A literature review

abstract: Respiratory syncytial virus (RSV) is a leading cause of acute lower respiratory tract infection worldwide, resulting in approximately sixty thousand annual hospitalizations of <5-year-olds in the United States alone and three million annual hospitalizations globally. The development of over 40 vaccines and immunoprophylactic interventions targeting RSV has the potential to significantly reduce the disease burden from RSV infection in the near future. In the context of RSV, a highly contagious pathogen, dynamic transmission models (DTMs) are valuable tools in the evaluation and comparison of the effectiveness of different interventions. This review, the first of its kind for RSV DTMs, provides a valuable foundation for future modelling efforts and highlights important gaps in our understanding of RSV epidemics. Specifically, we have searched the literature using Web of Science, Scopus, Embase, and PubMed to identify all published manuscripts reporting the development of DTMs focused on the population transmission of RSV. We reviewed the resulting studies and summarized the structure, parameterization, and results of the models developed therein. We anticipate that future RSV DTMs, combined with cost-effectiveness evaluations, will play a significant role in shaping decision making in the development and implementation of intervention programs.


title: Multipath-based SLAM using Belief Propagation with Interacting Multiple Dynamic Models

abstract: In this paper, we present a Bayesian multipath-based simultaneous localization and mapping (SLAM) algorithm that continuously adapts interacting multiple models (IMM) parameters to describe the mobile agent state dynamics. The time-evolution of the IMM parameters is described by a Markov chain and the parameters are incorporated into the factor graph structure that represents the statistical structure of the SLAM problem. The proposed belief propagation (BP)-based algorithm adapts, in an online manner, to time-varying system models by jointly inferring the model parameters along with the agent and map feature states. The performance of the proposed algorithm is finally evaluating with a simulated scenario. Our numerical simulation results show that the proposed multipath-based SLAM algorithm is able to cope with strongly changing agent state dynamics.


title: Robot Learning of 6 DoF Grasping using Model-based Adaptive Primitives

abstract: Robot learning is often simplified to planar manipulation due to its data consumption. Then, a common approach is to use a fully-convolutional neural network to estimate the reward of grasp primitives. In this work, we extend this approach by parametrizing the two remaining, lateral Degrees of Freedom (DoFs) of the primitives. We apply this principle to the task of 6 DoF bin picking: We introduce a model-based controller to calculate angles that avoid collisions, maximize the grasp quality while keeping the uncertainty small. As the controller is integrated into the training, our hybrid approach is able to learn about and exploit the model-based controller. After real-world training of 27000 grasp attempts, the robot is able to grasp known objects with a success rate of over 92% in dense clutter. Grasp inference takes less than 50ms. In further real-world experiments, we evaluate grasp rates in a range of scenarios including its ability to generalize to unknown objects. We show that the system is able to avoid collisions, enabling grasps that would not be possible without primitive adaption.


title: Combinators: A Centennial View

abstract: We give a modern computational introduction to the S,K combinators invented by Moses Sch\"onfinkel in 1920, and present a variety of new results and ideas about combinators. We explore the spectrum of behavior obtained with small combinator expressions, showing a variety of approaches to analysis and visualization. We discuss the implications of evaluation strategies, and of multiway systems representing all possible strategies. We show how causal graphs introduced in recent models of fundamental physics can be applied to combinators, as well as describing how combinators introduce a new form of treelike separation. We give a variety of new results on minimal combinator expressions, as well as showing how empirical computation theory and computational complexity theory can be done with combinators. We also suggest that when viewed in terms of ongoing computation, the S combinator alone may be capable of universal computation.


title: The Current Chinese Global Supply Chain Monopoly and the Covid-19 Pandemic

abstract: Because of the ongoing Covid-19 crisis, supply chain management performance seems to be struggling. The purpose of this paper is to examine a variety of critical factors related to the application of contingency theory to determine its feasibility in preventing future supply chain bottlenecks. The study reviewed current online news reports, previous research on contingency theory, as well as strategic and structural contingency theories. This paper also systematically reviewed several global supply chain management and strategic decision-making studies in an effort to promote a new strategy. The findings indicated that the need for mass production of products within the United States, as well as within trading partners, is necessary to prevent additional Covid-19 related supply chain gaps. The paper noted that in many instances, the United States has become dependent on foreign products, where the prevention of future supply chain gaps requires the United States restore its manufacturing prowess.


title: Search for High-Energy Neutrino Emission from Radio-Bright AGN

abstract: We investigate the possibility that radio-bright active galactic nuclei (AGN) are responsible for the TeV--PeV neutrinos detected by IceCube. We use an unbinned maximum-likelihood-ratio method, 10 years of IceCube muon-track data, and 3388 radio-bright AGN selected from the Radio Fundamental Catalog. None of the AGN in the catalog have a large global significance. The two most significant sources have global significance of $\simeq$ 1.5$\sigma$ and 0.8$\sigma$, though 4.1$\sigma$ and 3.8$\sigma$ local significance. Our stacking analyses show no significant correlation between the whole catalog and IceCube neutrinos. We infer from the null search that this catalog can account for at most 30\% (95\% CL) of the diffuse astrophysical neutrino flux measured by IceCube. Moreover, our results disagree with recent work that claimed a 4.1$\sigma$ detection of neutrinos from the sources in this catalog, and we discuss the reasons of the difference.


title: Co-matching: Combating Noisy Labels by Augmentation Anchoring

abstract: Deep learning with noisy labels is challenging as deep neural networks have the high capacity to memorize the noisy labels. In this paper, we propose a learning algorithm called Co-matching, which balances the consistency and divergence between two networks by augmentation anchoring. Specifically, we have one network generate anchoring label from its prediction on a weakly-augmented image. Meanwhile, we force its peer network, taking the strongly-augmented version of the same image as input, to generate prediction close to the anchoring label. We then update two networks simultaneously by selecting small-loss instances to minimize both unsupervised matching loss (i.e., measure the consistency of the two networks) and supervised classification loss (i.e. measure the classification performance). Besides, the unsupervised matching loss makes our method not heavily rely on noisy labels, which prevents memorization of noisy labels. Experiments on three benchmark datasets demonstrate that Co-matching achieves results comparable to the state-of-the-art methods.


title: Integrating Novelty Detection Capabilities with MSL Mastcam Operations to Enhance Data Analysis

abstract: While innovations in scientific instrumentation have pushed the boundaries of Mars rover mission capabilities, the increase in data complexity has pressured Mars Science Laboratory (MSL) and future Mars rover operations staff to quickly analyze complex data sets to meet progressively shorter tactical and strategic planning timelines. MSLWEB is an internal data tracking tool used by operations staff to perform first pass analysis on MSL image sequences, a series of products taken by the Mast camera, Mastcam. Mastcam's multiband multispectral image sequences require more complex analysis compared to standard 3-band RGB images. Typically, these are analyzed using traditional methods to identify unique features within the sequence. Given the short time frame of tactical planning in which downlinked images might need to be analyzed (within 5-10 hours before the next uplink), there exists a need to triage analysis time to focus on the most important sequences and parts of a sequence. We address this need by creating products for MSLWEB that use novelty detection to help operations staff identify unusual data that might be diagnostic of new or atypical compositions or mineralogies detected within an imaging scene. This was achieved in two ways: 1) by creating products for each sequence to identify novel regions in the image, and 2) by assigning multispectral sequences a sortable novelty score. These new products provide colorized heat maps of inferred novelty that operations staff can use to rapidly review downlinked data and focus their efforts on analyzing potentially new kinds of diagnostic multispectral signatures. This approach has the potential to guide scientists to new discoveries by quickly drawing their attention to often subtle variations not detectable with simple color composites.


title: Jet-driven AGN feedback on molecular gas and low star-formation efficiency in a massive local spiral galaxy with bright X-ray halo

abstract: It has long been suspected that powerful radio sources may lower the efficiency with which stars form from the molecular gas in their host galaxy, but so far, alternative mechanisms, in particular related to the stellar mass distribution in the massive bulges of their host galaxies, are not ruled out. We present new ALMA CO(1-0) interferometry of cold molecular gas in the nearby (z=0.0755), massive (M_stellar=4x10^11 M_sun), isolated, late-type spiral galaxy 2MASSX J23453269-044925, which is outstanding for having two pairs of powerful, giant radio jets, and a bright X-ray halo. The molecular gas is in a massive (M_gas=2x10^10 M_sun), 24 kpc wide, rapidly rotating ring, which is associated with the inner stellar disk. Broad (FWHM=70-180 km s^-1) lines with complex profiles associated with the radio source are seen over large regions in the ring, indicating gas velocities that are high enough to keep the otherwise marginally Toomre-stable gas from fragmenting into gravitationally bound, star-forming clouds. About 1-2% of the jet kinetic energy are required to power these motions. Resolved star-formation rate surface densities fall factors 50-75 short of expectations from the Kennicutt-Schmidt law of star-forming galaxies, and near gas-rich early-type galaxies with signatures of star formation lowered by jet feedback. We argue that radio AGN feedback is the only plausible mechanism to explain the low star-formation rates in this galaxy. Previous authors have already noted that the X-ray halo of J2345-0449 implies a baryon fraction near the cosmic average, which is very high for a galaxy. We contrast this finding with other, equally massive baryon-rich spiral galaxies without prominent radio sources. Most of the baryons in these galaxies are in stars, not in the halos. We also discuss the implications of our results for our general understanding of AGN feedback in massive galaxies.


title: Training and pattern recognition by an opto-magnetic neural network

abstract: Neuromorphic computing aims to mimic the architecture of the human brain to carry out computational tasks that are challenging and much more energy consuming for standard hardware. Despite progress in several fields of physics and engineering, the realization of artificial neural networks which combine high operating speeds with fast and low-energy adaptability remains a challenge. Here we demonstrate an opto-magnetic neural network capable of learning and classification of digitized 3x3 characters exploiting local storage in the magnetic material. Using picosecond laser pulses, we find that micrometer sized synapses absorb well below 100 picojoule per synapse per laser pulse, with favorable scaling to smaller spatial dimensions. We thus succeeded in combining the speed and low-dissipation of optical networks with the low-energy adaptability and non-volatility of magnetism, providing a promising approach to fast and energy-efficient neuromorphic computing.


title: Position Measurement of Multiple Microparticles in Hollow-Core Photonic Crystal Fiber by Coherent Optical Frequency Domain Reflectometry

abstract: Flying particle sensors in hollow-core photonic crystal fibers require accurate localization of the optically trapped microparticles. We report position measurement to micrometer-resolution, using optical frequency domain reflectometry, of two 1.65-$\mu$m-diameter polystyrene particles.


title: A Massively Parallel Time-Domain Coupled Electrodynamics-Micromagnetics Solver

abstract: We present a new, high-performance coupled electrodynamics-micromagnetics solver for full physical modeling of signals in microelectronic circuitry. The overall strategy couples a finite-difference time-domain (FDTD) approach for Maxwell's equations to a magnetization model described by the Landau-Lifshitz-Gilbert (LLG) equation. The algorithm is implemented in the Exascale Computing Project software framework, AMReX, which provides effective scalability on manycore and GPU-based supercomputing architectures. Furthermore, the code leverages ongoing developments of the Exascale Application Code, WarpX, primarily developed for plasma wakefield accelerator modeling. Our novel temporal coupling scheme provides second-order accuracy in space and time by combining the integration steps for the magnetic field and magnetization into an iterative sub-step that includes a trapezoidal discretization for the magnetization. The performance of the algorithm is demonstrated by the excellent scaling results on NERSC multicore and GPU systems, with a significant (59x) speedup on the GPU using a node-by-node comparison. We demonstrate the utility of our code by performing simulations of an electromagnetic waveguide and a magnetically tunable filter.


title: A Review & Framework for Modeling Complex Engineered System Development Processes

abstract: Developing complex engineered systems (CES) poses significant challenges for engineers, managers, designers, and businesspeople alike due to the inherent complexity of the systems and contexts involved. Furthermore, experts have expressed great interest in filling the gap in theory about how CES develop. This article begins to address that gap in two ways. First, it reviews the numerous definitions of CES along with existing theory and methods on CES development processes. Then, it proposes the ComplEx System Integrated Utilities Model (CESIUM), a novel framework for exploring how numerous system and development process characteristics may affect the performance of CES. CESIUM creates simulated representations of a system architecture, the corresponding engineering organization, and the new product development process through which the organization designs the system. It does so by representing the system as a network of interdependent artifacts designed by agents. Agents iteratively design their artifacts through optimization and share information with other agents, thereby advancing the CES toward a solution. This paper describes the model, conducts a sensitivity analysis, provides validation, and suggests directions for future study.


title: Detecting micro fractures: A comprehensive comparison of conventional and machine-learning based segmentation methods

abstract: Studying porous rock materials with X-Ray Computed Tomography (XRCT) has been established as a standard procedure for the non-destructive visualization of flow and transport in opaque porous media. Despite the recent advances in the field of XRCT, some challenges still remain due to the inherent noise and imaging artefacts in the produced data. These issues become even more profound when the objective is the identification of fractures, and/or fracture networks. The challenge is the limited contrast between the regions of interest and the neighboring areas. This limited contrast can mostly be attributed to the minute aperture of the fractures. In order to overcome this challenge, it has been a common approach to apply digital image processing, such as filtering, to enhance the signal-to-noise ratio. Additionally, segmentation methods based on threshold-/morphology schemes can be employed to obtain enhanced information from the features of interest. However, this workflow needs a skillful operator to fine-tune its input parameters, and the required computation time significantly increases due to the complexity of the available methods, and the large volume of the data-set. In this study, based on a data-set produced by the successful visualization of a fracture network in Carrara marble with XRCT, we present the segmentation results from a number of segmentation methods. Three conventional and two machine-learning-based methods are evaluated. The segmentation results from all five methods are compared to each other in terms of segmentation quality and time efficiency. Due to memory limitations, and in order to accomplish a fair comparison, all the methods are employed in a 2D scheme. The output of the 2D U-net model, which is one of the adopted machine-learning-based segmentation methods, shows the best performance regarding the quality of segmentation and the required processing time.


title: Putting the dynamic pathosome in practice: a novel way of analyzing longitudinal data

abstract: Previously we have developed the concept of the dynamic pathosome, which suggests that individual patterns of phenotype development, i.e., phenotypic trajectories, contain more information than is commonly appreciated and that a phenotype's past trajectory predicts its future development. In this article, we present a pathosome-inspired approach to analyzing longitudinal data by functional linear models. We demonstrate how to use this approach and compare it with classical linear models on data from the Czech section of the European Longitudinal Study of Pregnancy and Childhood (ELSPAC). Our results show that functional linear models explain more observed variance in age at menarche from height and weight data than the commonly used approaches. Furthermore, we demonstrate that functional linear models can be used to identify crucial time points that can be used to create linear models achieving almost the same performance as functional linear models. In addition, we use data from the Berkeley growth study (BGS) to demonstrate that growth trajectories from birth to 15 years can be used to explain 97% of observed variance of height at 18 years, thus supporting the notion that a phenotype's past trajectory affects its future course. Overall, this article presents experimental support for the concept of the dynamic pathosome and presents a method that can be used as a powerful tool for analyzing quantitative longitudinal data.


title: Thermal effects on the Casimir energy of a Lorentz-violating scalar in magnetic field

abstract: In this work I investigate the finite temperature Casimir effect due to a massive and charged scalar field that breaks Lorentz invariance in a CPT-even, aether-like way. I study the cases of Dirichlet and mixed (Dirichlet-Neumann) boundary conditions on a pair of parallel plates. I will not examine the case of Neumann boundary conditions since it produces the same results as Dirichlet boundary conditions. The main tool used in this investigation is the $\zeta$-function technique that allows me to obtain the Helmoltz free energy and Casimir pressure in the presence of a uniform magnetic field perpendicular to the plates. Three cases of Lorentz asymmetry are studied: timelike, spacelike and perpendicular to the magnetic field, spacelike and parallel to the magnetic field. Asymptotic cases of small plate distance, high temperature, strong magnetic field, and large mass will be considered for each of the three types of Lorentz asymmetry and each of the two types of boundary conditions examined. In all these cases simple and very accurate analytic expressions of the thermal corrections to the Casimir energy and pressure are obtained and I discover that these corrections strongly depend on the direction of the unit vector that produces the breaking of the Lorentz symmetry.


title: Discovery of an Edge-on Circumstellar Debris Disk Around BD+45$^{\circ}$598: a Newly Identifed Member of the $\beta$ Pictoris Moving Group

abstract: We report the discovery of a circumstellar debris disk viewed nearly edge-on and associated with the young, K1 star BD+45$^{\circ}$598 using high-contrast imaging at 2.2$\mu$m obtained at the W.M.~Keck Observatory. We detect the disk in scattered light with a peak significance of $\sim$5$\sigma$ over three epochs, and our best-fit model of the disk is an almost edge-on $\sim$70 AU ring, with inclination angle $\sim$87$^\circ$. Using the NOEMA interferometer at the Plateau de Bure Observatory operating at 1.3mm, we find resolved continuum emission aligned with the ring structure seen in the 2.2$\mu$m images. We estimate a fractional infrared luminosity of $L_{IR}/L_{tot}$ $\simeq6^{+2}_{-1}$$\times$$10^{-4}$, higher than that of the debris disk around AU Mic. Several characteristics of BD+45$^{\circ}$598, such as its galactic space motion, placement in a color-magnitude diagram, and strong presence of Lithium, are all consistent with its membership in the $\beta$ Pictoris Moving Group with an age of 23$\pm$3 Myr. However, the galactic position for BD+45$^{\circ}$598 is slightly discrepant from previously-known members of the $\beta$ Pictoris Moving Group, possibly indicating an extension of members of this moving group to distances of at least 70pc. BD+45$^{\circ}$598 appears to be an example from a population of young circumstellar debris systems associated with newly identified members of young moving groups that can be imaged in scattered light, key objects for mapping out the early evolution of planetary systems from $\sim$10-100 Myr. This target will also be ideal for northern-hemisphere, high-contrast imaging platforms to search for self-luminous, planetary mass companions residing in this system.


title: Converse Lyapunov Functions and Converging Inner Approximations to Maximal Regions of Attraction of Nonlinear Systems

abstract: This paper considers the problem of approximating the "maximal" region of attraction (the set that contains all asymptotically stable sets) of any given set of locally exponentially stable nonlinear Ordinary Differential Equations (ODEs) with a sufficiently smooth vector field. Given a locally exponential stable ODE with a differentiable vector field, we show that there exists a globally Lipschitz continuous converse Lyapunov function whose 1-sublevel set is equal to the maximal region of attraction of the ODE. We then propose a sequence of d-degree Sum-of-Squares (SOS) programming problems that yields a sequence of polynomials that converges to our proposed converse Lyapunov function uniformly from above in the L1 norm. We show that each member of the sequence of 1-sublevel sets of the polynomial solutions to our proposed sequence of SOS programming problems are certifiably contained inside the maximal region of attraction of the ODE, and moreover, we show that this sequence of sublevel sets converges to the maximal region of attraction of the ODE with respect to the volume metric. We provide numerical examples of estimations of the maximal region of attraction for the Van der Pol oscillator and a three dimensional servomechanism.


title: Robowflex: Robot Motion Planning with MoveIt Made Easy

abstract: Robowflex is a software library for robot motion planning in industrial and research applications, leveraging the popular MoveIt library and Robot Operating System (ROS) middleware. Robowflex provides an augmented API for crafting and manipulating motion planning queries within a single program, making motion planning with MoveIt easy. Robowflex's high-level API simplifies many common use-cases while still providing low-level access to the MoveIt library when needed. Robowflex is particularly useful for 1) developing new motion planners, 2) evaluating motion planners, and 3) complex problems that use motion planning as a subroutine (e.g., task and motion planning). Robowflex also provides visualization capabilities, integrations to other robotics libraries (e.g., DART and Tesseract), and is complementary to other robotics packages. With our library, the user does not need to be an expert at ROS or MoveIt to set up motion planning queries, extract information from results, and directly interface with a variety of software components. We demonstrate its efficacy through several example use-cases.


title: Fisher Task Distance and Its Application in Neural Architecture Search

abstract: We formulate an asymmetric (or non-commutative) distance between tasks based on Fisher Information Matrices, called Fisher task distance. This distance represents the complexity of transferring the knowledge from one task to another. We provide a proof of consistency for our distance through theorems and experiments on various classification tasks from MNIST, CIFAR-10, CIFAR-100, ImageNet, and Taskonomy datasets. Next, we construct an online neural architecture search framework using the Fisher task distance, in which we have access to the past learned tasks. By using the Fisher task distance, we can identify the closest learned tasks to the target task, and utilize the knowledge learned from these related tasks for the target task. Here, we show how the proposed distance between a target task and a set of learned tasks can be used to reduce the neural architecture search space for the target task. The complexity reduction in search space for task-specific architectures is achieved by building on the optimized architectures for similar tasks instead of doing a full search and without using this side information. Experimental results for tasks in MNIST, CIFAR-10, CIFAR-100, ImageNet datasets demonstrate the efficacy of the proposed approach and its improvements, in terms of the performance and the number of parameters, over other gradient-based search methods, such as ENAS, DARTS, PC-DARTS.


title: Learning to Optimize: A Primer and A Benchmark

abstract: Learning to optimize (L2O) is an emerging approach that leverages machine learning to develop optimization methods, aiming at reducing the laborious iterations of hand engineering. It automates the design of an optimization method based on its performance on a set of training problems. This data-driven procedure generates methods that can efficiently solve problems similar to those in the training. In sharp contrast, the typical and traditional designs of optimization methods are theory-driven, so they obtain performance guarantees over the classes of problems specified by the theory. The difference makes L2O suitable for repeatedly solving a certain type of optimization problems over a specific distribution of data, while it typically fails on out-of-distribution problems. The practicality of L2O depends on the type of target optimization, the chosen architecture of the method to learn, and the training procedure. This new paradigm has motivated a community of researchers to explore L2O and report their findings. This article is poised to be the first comprehensive survey and benchmark of L2O for continuous optimization. We set up taxonomies, categorize existing works and research directions, present insights, and identify open challenges. We also benchmarked many existing L2O approaches on a few but representative optimization problems. For reproducible research and fair benchmarking purposes, we released our software implementation and data in the package Open-L2O at https://github.com/VITA-Group/Open-L2O.


title: Updated parameters of 1743 open clusters based on Gaia DR2

abstract: In this study we follow up our recent paper (Monteiro et al. 2020) and present a homogeneous sample of fundamental parameters of open clusters in our Galaxy, entirely based on Gaia DR2 data. We used published membership probability of the stars derived from Gaia DR2 data and applied our isochrone fitting code, updated as in Monteiro et al. (2020), to GB and GR Gaia DR2 data for member stars. In doing this we take into account the nominal errors in the data and derive distance, age, and extinction of each cluster. This work therefore provides parameters for 1743 open clusters and, as a byproduct, a list of likely not physical or dubious open clusters is provided as well for future investigations. Furthermore, it was possible to estimate the mean radial velocity of 831 clusters (198 of which are new and unpublished so far) using stellar radial velocities from Gaia DR2 catalog. By comparing the open cluster distances obtained from isochrone fitting with those obtained from a maximum likelihood estimate of individual member parallaxes, we found a systematic offset of $(-0.05\pm0.04)$mas.


title: Parabolic Singular Integrals with Nonhomogeneous Kernels

abstract: We establish $L^2$ boundedness of all "nice" parabolic singular integrals on "Good Parabolic Graphs", aka {\em regular} Lip(1,1/2) graphs. The novelty here is that we include non-homogeneous kernels, which are relevant to the theory of parabolic uniform rectifiability. Previously, the third named author had treated the case of homogeneous kernels. The present proof combines the methods of that work (which in turn was based on methods described in Christ's CBMS lecture notes), with the techniques of Coifman-David-Meyer. This is a very preliminary draft. Eventually, these results will be part of a more extensive work on parabolic uniform rectifiability and singular integrals.


title: An Eigenmodel for Dynamic Multilayer Networks

abstract: Dynamic multilayer networks frequently represent the structure of multiple co-evolving relations; however, statistical models are not well-developed for this prevalent network type. Here, we propose a new latent space model for dynamic multilayer networks. The key feature of our model is its ability to identify common time-varying structures shared by all layers while also accounting for layer-wise variation and degree heterogeneity. We establish the identifiability of the model's parameters and develop a structured mean-field variational inference approach to estimate the model's posterior, which scales to networks previously intractable to dynamic latent space models. We demonstrate the estimation procedure's accuracy and scalability on simulated networks. We apply the model to two real-world problems: discerning regional conflicts in a data set of international relations and quantifying infectious disease spread throughout a school based on the student's daily contact patterns.


title: How to Motivate and Engage Generation Clash of Clans at Work? Emergent Properties of Business Gamification Elements in the Digital Economy

abstract: Organisations are currently lacking in developing and implementing business systems in meaningful ways to motivate and engage their staff. This is particularly salient as the average employee spends eleven cumulative years of their life at work, however less than one third of the workforce are actually engaged in their duties throughout their career. Such low levels of engagement are particularly prominent with younger employees, referred to as Generation Y (GenY), who are the least engaged of all groups at work. However, they will dedicate around five cumulative years of their life immersed playing video games such as Clash of Clans, whether for social, competitive, extrinsic, or intrinsic motivational factors. Using behavioural concepts derived from video games, and applying game design elements in business systems to motivate employees in the digital economy, is a concept which has come to be recognised as Business Gamification. Thus, the purpose of this research paper is to further our understanding of game design elements for business, and investigate their properties from design to implementation in gamified systems. Following a two-year ethnographic style study with both a system development, and a communication agency largely staffed with GenY employees, findings suggest properties in game design elements are emergent and temporal in their instantiations.


title: Online Learning in Budget-Constrained Dynamic Colonel Blotto Games

abstract: In this paper, we study the strategic allocation of limited resources using a Colonel Blotto game (CBG) under a dynamic setting and analyze the problem using an online learning approach. In this model, one of the players is a learner who has limited troops to allocate over a finite time horizon, and the other player is an adversary. In each round, the learner plays a one-shot Colonel Blotto game with the adversary and strategically determines the allocation of troops among battlefields based on past observations. The adversary chooses its allocation action randomly from some fixed distribution that is unknown to the learner. The learner's objective is to minimize its regret, which is the difference between the cumulative reward of the best mixed strategy and the realized cumulative reward by following a learning algorithm while not violating the budget constraint. The learning in dynamic CBG is analyzed under the framework of combinatorial bandits and bandits with knapsacks. We first convert the budget-constrained dynamic CBG to a path planning problem on a directed graph. We then devise an efficient algorithm that combines a special combinatorial bandit algorithm for path planning problem and a bandits with knapsack algorithm to cope with the budget constraint. The theoretical analysis shows that the learner's regret is bounded by a term sublinear in time horizon and polynomial in other parameters. Finally, we justify our theoretical results by carrying out simulations for various scenarios.


title: A fast and oblivious matrix compression algorithm for Volterra integral operators

abstract: The numerical solution of dynamical systems with memory requires the efficient evaluation of Volterra integral operators in an evolutionary manner. After appropriate discretisation, the basic problem can be represented as a matrix-vector product with a lower diagonal but densely populated matrix. For typical applications, like fractional diffusion or large scale dynamical systems with delay, the memory cost for storing the matrix approximations and complete history of the data then would become prohibitive for an accurate numerical approximation. For Volterra-integral operators of convolution type, the \emph{fast and oblivious convolution quadrature} method of Sch\"adle, Lopez-Fernandez, and Lubich allows to compute the discretized valuation with $N$ time steps in $O(N \log N)$ complexity and only requiring $O(\log N)$ active memory to store a compressed version of the complete history of the data. We will show that this algorithm can be interpreted as an $\mathcal{H}$-matrix approximation of the underlying integral operator and, consequently, a further improvement can be achieved, in principle, by resorting to $\mathcal{H}^2$-matrix compression techniques. We formulate a variant of the $\mathcal{H}^2$-matrix vector product for discretized Volterra integral operators that can be performed in an evolutionary and oblivious manner and requires only $O(N)$ operations and $O(\log N)$ active memory. In addition to the acceleration, more general asymptotically smooth kernels can be treated and the algorithm does not require a-priori knowledge of the number of time steps. The efficiency of the proposed method is demonstrated by application to some typical test problems.


title: Spoken Digit Classification by In-Materio Reservoir Computing with Neuromorphic Atomic Switch Networks

abstract: Atomic Switch Networks (ASN) comprising silver iodide (AgI) junctions, a material previously unexplored as functional memristive elements within highly-interconnected nanowire networks, were employed as a neuromorphic substrate for physical Reservoir Computing (RC). This new class of ASN-based devices has been physically characterized and utilized to classify spoken digit audio data, demonstrating the utility of substrate-based device architectures where intrinsic material properties can be exploited to perform computation in-materio. This work demonstrates high accuracy in the classification of temporally analyzed Free-Spoken Digit Data (FSDD). These results expand upon the class of viable memristive materials available for the production of functional nanowire networks and bolster the utility of ASN-based devices as unique hardware platforms for neuromorphic computing applications involving memory, adaptation and learning.

categories: cs.ET cond-mat.dis-nn cond-mat.mes-hall cond-mat.mtrl-sci


title: The longitudinal neutron resonant spin echo spectrometer RESEDA

abstract: The instrumental layout and technical realisation of the neutron resonant spin echo (NRSE) spectrometer RESEDA at the Heinz Maier-Leibnitz Zentrum (MLZ) in Garching, Germany, is presented. RESEDA is based on a longitudinal field configuration, boosting both dynamic range and maximum resolution of the spectrometer compared to the conventional transverse layout. The resonant neutron spin echo technique enables the realisation of two complementary implementations: A longitudinal NRSE (LNRSE) option comparable to the classical neutron spin echo (NSE) method for highest energy resolution and large momentum transfers as well as a Modulation of Intensity with Zero Effort (MIEZE) option for depolarising samples or sample environments such as high magnetic fields, and strong incoherent scattering samples. With their outstanding dynamic range, exceeding nominally seven orders of magnitude, both options cover new fields for ultra-high resolution neutron spectroscopy in hard and soft condensed matter systems. In this paper the concept of RESEDA as well as the technical realisation along with reference measurements are reported.


title: An Approach for the Automation of IaaS Cloud Upgrade

abstract: An Infrastructure as a Service (IaaS) cloud provider is committed to each tenant by a service level agreement (SLA) which indicates the terms of commitment, e.g. the level of availability of the IaaS cloud service.The different resources providing this IaaS cloud service may need to be upgraded several times throughout their life-cycle; and these upgrades may affect the service delivered by the IaaS layer. This may violate the SLAs towards the tenants and result in penalty as they impact the tenant services relying on the IaaS.Therefore, it is important to handle upgrades properly with respect to the SLAs.The upgrade of IaaS cloud systems inherits all the challenges of clustered systems and faces other, cloud specific challenges, such as size and dynamicity due to elasticity.In this paper, we propose a novel approach to automatically upgrade an IaaS cloud system under SLA constraints such as availability and elasticity.In this approach, the upgrade methods and actions appropriate for each upgrade request are identified, scheduled, and applied automatically in an iterative manner based on the vendors descriptions of the infrastructure components, the tenant SLAs, and the status of the system. The proposed approach allows new upgrade requests during ongoing upgrades, which makes it suitable for continuous delivery.In addition, it also handles failures of upgrade actions through localized retry and undo operations automatically.


title: Repairing Pronouns in Translation with BERT-Based Post-Editing

abstract: Pronouns are important determinants of a text's meaning but difficult to translate. This is because pronoun choice can depend on entities described in previous sentences, and in some languages pronouns may be dropped when the referent is inferrable from the context. These issues can lead Neural Machine Translation (NMT) systems to make critical errors on pronouns that impair intelligibility and even reinforce gender bias. We investigate the severity of this pronoun issue, showing that (1) in some domains, pronoun choice can account for more than half of a NMT systems' errors, and (2) pronouns have a disproportionately large impact on perceived translation quality. We then investigate a possible solution: fine-tuning BERT on a pronoun prediction task using chunks of source-side sentences, then using the resulting classifier to repair the translations of an existing NMT model. We offer an initial case study of this approach for the Japanese-English language pair, observing that a small number of translations are significantly improved according to human evaluators.


title: Majorant series for the $N$-body problem

abstract: As a follow-up of a previous work of the authors, this work considers {\em uniform global time-renormalization functions} for the {\em gravitational} $N$-body problem. It improves on the estimates of the radii of convergence obtained therein by using a completely different technique, both for the solution to the original equations and for the solution of the renormalized ones. The aforementioned technique which the new estimates are built upon is known as {\em majorants} and allows for an easy application of simple operations on power series. The new radii of convergence so-obtained are approximately doubled with respect to our previous estimates. In addition, we show that {\em majorants} may also be constructed to estimate the local error of the {\em implicit midpoint rule} (and similarly for Runge-Kutta methods) when applied to the time-renormalized $N$-body equations and illustrate the interest of our results for numerical simulations of the solar system.


title: A Survey of Distributed Optimization Methods for Multi-Robot Systems

abstract: Distributed optimization consists of multiple computation nodes working together to minimize a common objective function through local computation iterations and network-constrained communication steps. In the context of robotics, distributed optimization algorithms can enable multi-robot systems to accomplish tasks in the absence of centralized coordination. We present a general framework for applying distributed optimization as a module in a robotics pipeline. We survey several classes of distributed optimization algorithms and assess their practical suitability for multi-robot applications. We further compare the performance of different classes of algorithms in simulations for three prototypical multi-robot problem scenarios. The Consensus Alternating Direction Method of Multipliers (C-ADMM) emerges as a particularly attractive and versatile distributed optimization method for multi-robot systems.


title: Ground Truths for the Humanities

abstract: Ensuring a faithful interaction with data and its representation for humanities can and should depend on expert-constructed ground truths.


title: Is radicalization reinforced by social media censorship?

abstract: Radicalized beliefs, such as those tied to QAnon, Russiagate, and other political conspiracy theories, can lead some individuals and groups to engage in violent behavior, as evidenced in recent months. Understanding the mechanisms by which such beliefs are accepted, spread, and intensified is critical for any attempt to mitigate radicalization and avoid increased political polarization. This article presents and agent-based model of a social media network that enables investigation of the effects of censorship on the amount of dissenting information to which agents become exposed and the certainty of their radicalized views. The model explores two forms of censorship: 1) decentralized censorship-in which individuals can choose to break an online social network tie (unfriend or unfollow) with another individual who transmits conflicting beliefs and 2) centralized censorship-in which a single authority can ban an individual from the social media network for spreading a certain type of belief. This model suggests that both forms of censorship increase certainty in radicalized views by decreasing the amount of dissent to which an agent is exposed, but centralized "banning" of individuals has the strongest effect on radicalization.


title: Scam Pandemic: How Attackers Exploit Public Fear through Phishing

abstract: As the COVID-19 pandemic started triggering widespread lockdowns across the globe, cybercriminals did not hesitate to take advantage of users' increased usage of the Internet and their reliance on it. In this paper, we carry out a comprehensive measurement study of online social engineering attacks in the early months of the pandemic. By collecting, synthesizing, and analyzing DNS records, TLS certificates, phishing URLs, phishing website source code, phishing emails, web traffic to phishing websites, news articles, and government announcements, we track trends of phishing activity between January and May 2020 and seek to understand the key implications of the underlying trends. We find that phishing attack traffic in March and April 2020 skyrocketed up to 220\% of its pre-COVID-19 rate, far exceeding typical seasonal spikes. Attackers exploited victims' uncertainty and fear related to the pandemic through a variety of highly targeted scams, including emerging scam types against which current defenses are not sufficient as well as traditional phishing which outpaced the ecosystem's collective response.


title: Architecture agnostic algorithm for reconfigurable optical interferometer programming

abstract: We develop the learning algorithm to build the architecture agnostic model of the reconfigurable optical interferometer. Programming the unitary transformation on the optical modes of the interferometer either follows the analytical expression yielding the unitary matrix given the set of phaseshifts or requires the optimization routine if the analytic decomposition does not exist. Our algorithm adopts the supervised learning strategy which matches the model of the interferometer to the training set populated by the samples produced by the device under study. The simple optimization routine uses the trained model to output the phaseshifts of the interferometer with the given architecture corresponding to the desired unitary transformation. Our result provides the recipe for efficient tuning of the interferometers even without rigorous analytical description which opens opportunity to explore new architectures of the interferometric circuits.


title: Cancellation of the central singularity of the Schwarzschild solution with natural mass inversion process

abstract: We reconsider the classical Schwarzschild solution in the context of a Janus cosmological model. We show that the central singularity can be eliminated through a simple coordinate change and that the subsequent transit from one fold to the other is accompanied by mass inversion. In such scenario matter swallowed by black holes could be ejected as invisible negative mass and dispersed in space.


title: On the global identifiability of logistic regression models with misclassified outcomes

abstract: In the last decade, the secondary use of large data from health systems, such as electronic health records, has demonstrated great promise in advancing biomedical discoveries and improving clinical decision making. However, there is an increasing concern about biases in association studies caused by misclassification in the binary outcomes derived from electronic health records. We revisit the classical logistic regression model with misclassified outcomes. Despite that local identification conditions in some related settings have been previously established, the global identification of such models remains largely unknown and is an important question yet to be answered. We derive necessary and sufficient conditions for global identifiability of logistic regression models with misclassified outcomes, using a novel approach termed as the submodel analysis, and a technique adapted from the Picard-Lindel\"{o}f existence theorem in ordinary differential equations. In particular, our results are applicable to logistic models with discrete covariates, which is a common situation in biomedical studies, The conditions are easy to verify in practice. In addition to model identifiability, we propose a hypothesis testing procedure for regression coefficients in the misclassified logistic regression model when the model is not identifiable under the null.


title: Polarization, Abstention, and the Median Voter Theorem

abstract: The median voter theorem has long been the default model of voter behavior and candidate choice. While contemporary work on the distribution of political opinion has emphasized polarization and an increasing gap between the "left" and the "right" in democracies, the median voter theorem presents a model of anti-polarization: competing candidates move to the center of the ideological distribution to maximize vote share, regardless of the underlying ideological distribution of voters. These anti-polar results, however, largely depend on the "singled-peakedness" of voter preferences, an assumption that is rapidly loosing relevance in the age of polarization. This article presents a model of voter choice that examines three potential mechanisms that can undermine this finding: a relative cost of voting that deters voters who are sufficiently indifferent to both candidates, ideologically motivated third-party alternatives that attract extreme voters, and a bimodal distribution of voter ideology. Under reasonable sets of conditions and empirically observed voter opinion distributions, these mechanisms can be sufficient to cause strategically-minded candidates to fail to converge to the center, or to even become more polarized than their electorate.


title: Epidemics from the Eye of the Pathogen

abstract: While a common trend in disease modeling is to develop models of increasing complexity, it was recently pointed out that outbreaks appear remarkably simple when viewed in the incidence vs. cumulative cases (ICC) plane. This article details the theory behind this phenomenon by analyzing the stochastic SIR (Susceptible, Infected, Recovered) model in the cumulative cases domain. We prove that the Markov chain associated with this model reduces, in the ICC plane, to a pure birth chain for the cumulative number of cases, whose limit leads to an independent increments Gaussian process that fluctuates about a deterministic ICC curve. We calculate the associated variance and quantify the additional variability due to estimating incidence over a finite period of time. We also illustrate the universality brought forth by the ICC concept on real-world data for Influenza A and for the COVID-19 outbreak in Arizona.


title: Numerical estimation of discharge probability in GEM-based detectors

abstract: Discharge probability in GEM-based gaseous detectors has been numerically estimated using an axisymmetric hydrodynamic model. Initial primary charge configurations in the drift region, obtained using Heed and Geant4, are found to have significant effect on the subsequent evolution of detector response. Simulation of energy resolution has been performed to establish the capability of the hydrodynamic model to capture statistical nature of the experimental situation. Finally, single and triple GEM configurations exposed to alpha sources have been simulated to estimate discharge probability which have been compared with available experimental data. Despite the simplifying and drastic assumptions in the numerical model, the comparisons are encouraging.


title: One-loop multicollinear limits from 2-point amplitudes on self-dual backgrounds

abstract: For scattering amplitudes in strong background fields, it is -- at least in principle -- possible to perturbatively expand the background to obtain higher-point vacuum amplitudes. In the case of self-dual plane wave backgrounds we consider this expansion for two-point, one-loop amplitudes in pure Yang-Mills, QED and QCD. This enables us to obtain multicollinear limits of 1-loop vacuum amplitudes; the resulting helicity configurations are surprisingly restricted, with only the all-plus helicity amplitude surviving. These results are shown to be consistent with well-known vacuum amplitudes. We also show that for both abelian and non-abelian supersymmetric gauge theories, there is no helicity flip (and hence no vacuum birefringence) on any plane wave background, generalising a result previously known in the Euler-Heisenberg limit of super-QED.


title: Electroproduction of $D$- and $B$-mesons in high-multiplicity $ep$ collisions

abstract: In this paper we study the electroproduction of open heavy flavor $D$- and $B$-mesons in the kinematics of future $ep$ colliders, such as the Electron Ion Collider (EIC), the Large Hadron electron Collider (LHeC) and the Future Circular Collider (FCC-he). We study in detail the dependence of the cross-sections on multiplicity of co-produced hadrons, in view of its possible sensitivity to contributions from multipomeron contributions, and discuss different observables which might be used for its study. According to our theoretical expectations, in $ep$ collisions the multipomeron contributions are small in the EIC kinematics, although they might be sizable at LHeC and FCC-he. We also provide theoretical predictions for the production cross-sections of heavy mesons in the kinematics of all the above-mentioned $ep$ colliders.


title: A Bijective Proof of Richard Stanley's Observation that the sum of the cubes of the n-th row of Stern's Diatomic array equals 3 times 7 to the power n-1

abstract: In a delightful article, Richard Stanley derived, algebraically, the surprisingly simple formula, 3 times 7 to the power n-1, for the sum of the cubes of the n-th row of Stern's diatomic array. In this note, we find an elegant bijective proof of this surprising fact, that explains it and gives insight. The novelty is that this gorgeous bijection was discovered by a computer (SBE), with minimal guidance by a human (DZ). This debunks the conventional wisdom, held by some human supremacists, that computers can only compute, but they can't give insight


title: A unifying review of NDE models towards optimal decision support

abstract: Non-destructive evaluation (NDE) inspections are an integral part of asset integrity management. The relationship between the condition of interest and the quantity measured by NDE is described with probabilistic models such as PoD or ROC curves. These models are used to assess the quality of the information provided by NDE systems, which is affected by factors such as the experience of the inspector, environmental conditions, ease of access, and the precision of the measurement device. In this paper, we review existing probabilistic models of NDE andshow how they are connected within a unifying framework. This frameworkprovides insights into how these models should be learned, calibrated, and applied. We investigate and highlighthow the choice of the model can affect the maintenance decisions taken on the basis of NDE results. In addition, we analyze the impact of experimental design on the performance of a given NDE system in a decision-making context.


title: Actionable Cognitive Twins for Decision Making in Manufacturing

abstract: Actionable Cognitive Twins are the next generation Digital Twins enhanced with cognitive capabilities through a knowledge graph and artificial intelligence models that provide insights and decision-making options to the users. The knowledge graph describes the domain-specific knowledge regarding entities and interrelationships related to a manufacturing setting. It also contains information on possible decision-making options that can assist decision-makers, such as planners or logisticians. In this paper, we propose a knowledge graph modeling approach to construct actionable cognitive twins for capturing specific knowledge related to demand forecasting and production planning in a manufacturing plant. The knowledge graph provides semantic descriptions and contextualization of the production lines and processes, including data identification and simulation or artificial intelligence algorithms and forecasts used to support them. Such semantics provide ground for inferencing, relating different knowledge types: creative, deductive, definitional, and inductive. To develop the knowledge graph models for describing the use case completely, systems thinking approach is proposed to design and verify the ontology, develop a knowledge graph and build an actionable cognitive twin. Finally, we evaluate our approach in two use cases developed for a European original equipment manufacturer related to the automotive industry as part of the European Horizon 2020 project FACTLOG.


title: Automated Generation of Generating Functions Related to Generalized Stern's Diatomic Arrays in the footsteps of Richard Stanley

abstract: Using Symbolic Dynamic Programming we describe algorithms, fully implemented in Maple, for automatically generating generating functions introduced by Richard Stanley in his study of generalized Stern arrays, generalized even further, to arrays defined in terms of general sequences satisfying linear recurrences with constant coefficients, rather than just the Fibonacci and k-bonacci sequences


title: The Geography and Election Outcome (GEO) Metric: An Introduction

abstract: We introduce the Geography and Election Outcome (GEO) metric, a new method for identifying potential partisan gerrymanders. In contrast with currently popular methods, the GEO metric uses both geographic information about a districting plan as well as district-level partisan data, rather than just one or the other. We motivate and define the GEO metric, which gives a count (a non-negative integer) to each political party. The count indicates the number of previously lost districts which that party potentially could have had a 50% chance of winning, without risking any currently won districts, by making reasonable changes to the input map. We then analyze GEO metric scores for each party in several recent elections. We show that this relatively easy to understand and compute metric can encapsulate the results from more elaborate analyses.


title: Embracing the Disharmony in Medical Imaging: A Simple and Effective Framework for Domain Adaptation

abstract: Domain shift, the mismatch between training and testing data characteristics, causes significant degradation in the predictive performance in multi-source imaging scenarios. In medical imaging, the heterogeneity of population, scanners and acquisition protocols at different sites presents a significant domain shift challenge and has limited the widespread clinical adoption of machine learning models. Harmonization methods which aim to learn a representation of data invariant to these differences are the prevalent tools to address domain shift, but they typically result in degradation of predictive accuracy. This paper takes a different perspective of the problem: we embrace this disharmony in data and design a simple but effective framework for tackling domain shift. The key idea, based on our theoretical arguments, is to build a pretrained classifier on the source data and adapt this model to new data. The classifier can be fine-tuned for intra-site domain adaptation. We can also tackle situations where we do not have access to ground-truth labels on target data; we show how one can use auxiliary tasks for adaptation; these tasks employ covariates such as age, gender and race which are easy to obtain but nevertheless correlated to the main task. We demonstrate substantial improvements in both intra-site domain adaptation and inter-site domain generalization on large-scale real-world 3D brain MRI datasets for classifying Alzheimer's disease and schizophrenia.


title: A Spectral Survey of WASP-19b with ESPRESSO

abstract: High resolution precision spectroscopy provides a multitude of robust techniques for probing exoplanetary atmospheres. We present multiple VLT/ESPRESSO transit observations of the hot-Jupiter exoplanet WASP-19b with previously published but disputed atmospheric features from low resolution studies. Through spectral synthesis and modeling of the Rossiter-McLaughlin (RM) effect we calculate stellar, orbital and physical parameters for the system. From narrow-band spectroscopy we do not detect any of H\,I, Fe\,I, Mg\,I, Ca\,I, Na\,I and K\,I neutral species, placing upper limits on their line contrasts. Through cross correlation analyses with atmospheric models, we do not detect Fe\,I and place a 3$\sigma$ upper limit of $\log\,(X_{\textrm{Fe}}/X_\odot) \approx -1.83\,\pm\,0.11$ on its mass fraction, from injection and retrieval. We show the inability to detect the presence of H$_2$O for known abundances, owing to lack of strong absorption bands, as well as relatively low S/N ratio. We detect a barely significant peak (3.02\,$\pm$\,0.15\,$\sigma$) in the cross correlation map for TiO, consistent with the sub-solar abundance previously reported. This is merely a hint for the presence of TiO and does \textit{not} constitute a confirmation. However, we do confirm the presence of previously observed enhanced scattering towards blue wavelengths, through chromatic RM measurements, pointing to a hazy atmosphere. We finally present a reanalysis of low resolution transmission spectra of this exoplanet, concluding that unocculted starspots alone cannot explain previously detected features. Our reanalysis of the FORS2 spectra of WASP-19b finds a $\sim$\,100$\times$ sub-solar TiO abundance, precisely constrained to $\log\,X_{\textrm{TiO}} \approx -7.52 \pm 0.38$, consistent with the TiO hint from ESPRESSO. We present plausible paths to reconciliation with other seemingly contradicting results.


title: Hidden Geometry of Bi-Directional Grid Constrained Stochastic Processes

abstract: Bi-Directional Grid Constrained (BGC) stochastic processes (BGCSP) are constrained It\^{o} diffusions with the property that the further they drift away from the origin, the more resistance to movement in that direction they undergo. We investigate the underlying characteristics of the BGC parameter $\Psi (x, t)$ by examining its geometric properties. The most appropriate convex form for $\Psi$, i.e. the parabolic cylinder is identified after extensive simulation of various possible forms. The formula for the resulting hidden reflective barrier(s) is determined by comparing it with the simpler Ornstein-Uhlenbeck process (OUP). Applications of BGCSP arise when a series of semipermeable barriers are present, such as regulating interest rates and chemical reactions under concentration gradients, which gives rise to two hidden reflective barriers.


title: Some interactions between Hopf Galois extensions and noncommutative rings

abstract: In this paper, our objects of interest are Hopf Galois extensions (e.g., Hopf algebras, Galois field extensions, strongly graded algebras, crossed products, principal bundles, etc.) and families of noncommutative rings (e.g., skew polynomial rings, PBW extensions and skew PBW extensions, etc.). We collect and systematize questions, problems, properties and recent advances in both theories by explicitly developing examples and doing calculations that are usually omitted in the literature. In particular, for Hopf Galois extensions we consider approaches from the point of view of quantum torsors (also known as quantum heaps) and Hopf Galois systems, while for some families of noncommutative rings we present advances in the characterization of ring-theoretic and homological properties. Every developed topic is exemplified with abundant references to classic and current works, so this paper serves as a survey for those interested in either of the two theories. Throughout, interactions between both are presented.


title: Ultralow threshold bistability and generation of long-lived mode in a dissipatively coupled nonlinear system: application to magnonics

abstract: The prospect of a system possessing two or more stable states for a given excitation condition is of topical interest with applications in information processing networks. In this work, we establish the remote transfer of bistability from a nonlinear resource in a dissipatively coupled two-mode system. As a clear advantage over coherently coupled settings, the dissipative nature of interaction is found to support a lower pumping threshold for bistable signals. For comparable parameters, the bistability threshold for dissipatively coupled systems is lower by a factor of about five. The resulting hysteresis can be studied spectroscopically by applying a probe field through the waveguide and examining the polariton character of the transmitted field. Our model is generic, apropos of an extensive set of quantum systems, and we demonstrate our results in the context of magnonics where experimental interest has flourished of late. As a consequence of dissipative coupling and the nonlinearity, a long-lived mode emerges, which is responsible for heightened transmission levels and pronounced sensitivity in signal propagation through the fiber.


title: On Counting Propositional Logic

abstract: We study counting propositional logic as an extension of propositional logic with counting quantifiers. We prove that the complexity of the underlying decision problem perfectly matches the appropriate level of Wagner's counting hierarchy, but also that the resulting logic admits a satisfactory proof-theoretical treatment. From the latter, a type system for a probabilistic lambda-calculus is derived in the spirit of the Curry-Howard correspondence, showing the potential of counting propositional logic as a useful tool in several fields of theoretical computer science.


title: A Plenum-Based Calibration Device for Tactile Sensor Arrays

abstract: In modern robotic applications, tactile sensor arrays (i.e., artificial skins) are an emergent solution to determine the locations of contacts between a robot and an external agent. Localizing the point of contact is useful but determining the force applied on the skin provides many additional possibilities. This additional feature usually requires time-consuming calibration procedures to relate the sensor readings to the applied forces. This letter presents a novel device that enables the calibration of tactile sensor arrays in a fast and simple way. The key idea is to design a plenum chamber where the skin is inserted, and then the calibration of the tactile sensors is achieved by relating the air pressure and the sensor readings. This general concept is tested experimentally to calibrate the skin of the iCub robot. The validation of the calibration device is achieved by placing the masses of known weight on the artificial skin and comparing the applied force against the one estimated by the sensors.


title: Learned complex masks for multi-instrument source separation

abstract: Music source separation in the time-frequency domain is commonly achieved by applying a soft or binary mask to the magnitude component of (complex) spectrograms. The phase component is usually not estimated, but instead copied from the mixture and applied to the magnitudes of the estimated isolated sources. While this method has several practical advantages, it imposes an upper bound on the performance of the system, where the estimated isolated sources inherently exhibit audible "phase artifacts". In this paper we address these shortcomings by directly estimating masks in the complex domain, extending recent work from the speech enhancement literature. The method is particularly well suited for multi-instrument musical source separation since residual phase artifacts are more pronounced for spectrally overlapping instrument sources, a common scenario in music. We show that complex masks result in better separation than masks that operate solely on the magnitude component.


title: Privacy-preserving Identity Broadcast for Contact Tracing Applications

abstract: Wireless Contact tracing has emerged as an important tool for managing the COVID19 pandemic and relies on continuous broadcasting of a person's presence using Bluetooth Low Energy beacons. The limitation of current contact tracing systems in that a reception of a single beacon is sufficient to reveal the user identity, potentially exposing users to malicious trackers installed along the roads, passageways, and other infrastructure. In this paper, we propose a method based on Shamir secret sharing algorithm, which lets mobile nodes reveal their identity only after a certain predefined contact duration, remaining invisible to trackers with short or fleeting encounters. Through data-driven evaluation, using a dataset containing 18 million BLE sightings, we show that the method drastically reduces the privacy exposure of users. Finally, we implemented the approach on Android phones to demonstrate its feasibility and measure performance for various network densities.


title: PAC-Bayesian theory for stochastic LTI systems

abstract: In this paper we derive a PAC-Bayesian error bound for autonomous stochastic LTI state-space models. The motivation for deriving such error bounds is that they will allow deriving similar error bounds for more general dynamical systems, including recurrent neural networks. In turn, PACBayesian error bounds are known to be useful for analyzing machine learning algorithms and for deriving new ones.


title: Dynamical stability of the modified Tolman VII solution

abstract: Studies of neutron stars are at their peak after the multi-messenger observation of the binary merger event GW170817, which strongly constraints the stellar parameters like tidal deformability, masses and radii. Although current and future observations will provide stronger limits on the neutron stars parameters, knowledge of explicit interior solutions to Einstein's equations, which connect observed parameters with the internal structure, are crucial to have a satisfactory description of the interior of these compact objects. A well known exact solution, which has shown a relatively good approximation to a neutron star, is the Tolman VII solution. In order to provide a better fitting for the energy density profile, with the realistic equations of state for neutron stars, recently Jiang and Yagi proposed a modified version of this model which introduces an additional parameter $\alpha$ reflecting the interplay of the quadratic and the newly added quartic term in the energy density profile. Here we study the dynamical stability of this modified Tolman VII solution using the theory of infinitesimal and adiabatic radial oscillations developed by Chandrasekhar. For this purpose, we determine values of the critical adiabatic index, for the onset of instability, considering configurations with varying compactness and $\alpha$. We found that the new models are stable against radial oscillations for a considerable range of values of compactness and the new parameter $\alpha$, thus supporting their applicability as a physically plausible approximation of realistic neutron stars.


title: A High-order Tuner for Accelerated Learning and Control

abstract: Gradient-descent based iterative algorithms pervade a variety of problems in estimation, prediction, learning, control, and optimization. Recently iterative algorithms based on higher-order information have been explored in an attempt to lead to accelerated learning. In this paper, we explore a specific a high-order tuner that has been shown to result in stability with time-varying regressors in linearly parametrized systems, and accelerated convergence with constant regressors. We show that this tuner continues to provide bounded parameter estimates even if the gradients are corrupted by noise. Additionally, we also show that the parameter estimates converge exponentially to a compact set whose size is dependent on noise statistics. As the HT algorithms can be applied to a wide range of problems in estimation, filtering, control, and machine learning, the result obtained in this paper represents an important extension to the topic of real-time and fast decision making.


title: Spin Wave Based Approximate Computing

abstract: Spin Waves(SWs) enable the realization of energy efficient circuits as they propagate and interfere within waveguides without consuming noticeable energy. However, SW computing can be even more energy efficient by taking advantage of the approximate computing paradigm as many applications are error-tolerant like multimedia and social media. In this paper we propose an ultra-low energy novel Approximate Full Adder(AFA) and a 2-bit inputs Multiplier(AMUL). We validate the correct functionality of our proposal by means of micromagnetic simulations and evaluate the approximate FA figure of merit against state-of-the-art accurate SW, 7nmCMOS, Spin Hall Effect(SHE), Domain Wall Motion(DWM), accurate and approximate 45nmCMOS, Magnetic Tunnel Junction(MTJ), and Spin-CMOS FA implementations. Our results indicate that AFA consumes 43% and 33% less energy than state-of-the-art accurate SW and 7nmCMOS FA, respectively, and saves 69% and 44% when compared with accurate and approximate 45nm CMOS, respectively, and provides a 2 orders of magnitude energy reduction when compared with accurate SHE, accurate and approximate DWM, MTJ, and Spin-CMOS, counterparts. In addition, it achieves the same error rate as approximate 45nmCMOS and Spin-CMOS FA whereas it exhibits 50% less error rate than the approximate DWM FA. Furthermore, it outperforms its contenders in terms of area by saving at least 29% chip real-estate. AMUL is evaluated and compared with state-of-the-art accurate SW and 16nm CMOS accurate and approximate state-of-the-art designs. The evaluation results indicate that it saves at least 2x and 5x energy in comparison with the state-of-the-art SW designs and 16nm CMOS accurate and approximate designs, respectively, and has an average error rate of 10%, while the approximate CMOS MUL has an average error rate of 13%, and requires at least 64% less chip real-estate.


title: Fully-echoed Q-routing with Simulated Annealing Inference for Flying Adhoc Networks

abstract: Current networking protocols deem inefficient in accommodating the two key challenges of Unmanned Aerial Vehicle (UAV) networks, namely the network connectivity loss and energy limitations. One approach to solve these issues is using learning-based routing protocols to make close-to-optimal local decisions by the network nodes, and Q-routing is a bold example of such protocols. However, the performance of the current implementations of Q-routing algorithms is not yet satisfactory, mainly due to the lack of adaptability to continued topology changes. In this paper, we propose a full-echo Q-routing algorithm with a self-adaptive learning rate that utilizes Simulated Annealing (SA) optimization to control the exploration rate of the algorithm through the temperature decline rate, which in turn is regulated by the experienced variation rate of the Q-values. Our results show that our method adapts to the network dynamicity without the need for manual re-initialization at transition points (abrupt network topology changes). Our method exhibits a reduction in the energy consumption ranging from 7% up to 82%, as well as a 2.6 fold gain in successful packet delivery rate}, compared to the state of the art Q-routing protocols


title: Teacher-Explorer-Student Learning: A Novel Learning Method for Open Set Recognition

abstract: If an unknown example that is not seen during training appears, most recognition systems usually produce overgeneralized results and determine that the example belongs to one of the known classes. To address this problem, teacher-explorer-student (T/E/S) learning, which adopts the concept of open set recognition (OSR) that aims to reject unknown samples while minimizing the loss of classification performance on known samples, is proposed in this study. In this novel learning method, overgeneralization of deep learning classifiers is significantly reduced by exploring various possibilities of unknowns. Here, the teacher network extracts some hints about unknowns by distilling the pretrained knowledge about knowns and delivers this distilled knowledge to the student. After learning the distilled knowledge, the student network shares the learned information with the explorer network. Then, the explorer network shares its exploration results by generating unknown-like samples and feeding the samples to the student network. By repeating this alternating learning process, the student network experiences a variety of synthetic unknowns, reducing overgeneralization. Extensive experiments were conducted, and the experimental results showed that each component proposed in this paper significantly contributes to the improvement in OSR performance. As a result, the proposed T/E/S learning method outperformed current state-of-the-art methods.


title: Towards a Formal Model of Narratives

abstract: In this paper, we propose the beginnings of a formal framework for modeling narrative \textit{qua} narrative. Our framework affords the ability to discuss key qualities of stories and their communication, including the flow of information from a Narrator to a Reader, the evolution of a Reader's story model over time, and Reader uncertainty. We demonstrate its applicability to computational narratology by giving explicit algorithms for measuring the accuracy with which information was conveyed to the Reader and two novel measurements of story coherence.


title: Spin excitations in metallic kagome lattice FeSn and CoSn

abstract: In two-dimensional (2D) metallic kagome lattice materials, destructive interference of electronic hopping pathways around the kagome bracket can produce nearly localized electrons, and thus electronic bands that are flat in momentum space. When ferromagnetic order breaks the degeneracy of the electronic bands and splits them into the spin-up majority and spin-down minority electronic bands, quasiparticle excitations between the spin-up and spin-down flat bands should form a narrow localized spin-excitation Stoner continuum coexisting with well-defined spin waves in the long wavelengths. Here we report inelastic neutron scattering studies of spin excitations in 2D metallic Kagome lattice antiferromagnetic FeSn and paramagnetic CoSn, where angle resolved photoemission spectroscopy experiments found spin-polarized and nonpolarized flat bands, respectively, below the Fermi level. Although our initial measurements on FeSn indeed reveal well-defined spin waves extending well above 140 meV coexisting with a flat excitation at 170 meV, subsequent experiments on CoSn indicate that the flat mode actually arises mostly from hydrocarbon scattering of the CYTOP-M commonly used to glue the samples to aluminum holder. Therefore, our results established the evolution of spin excitations in FeSn and CoSn, and identified an anomalous flat mode that has been overlooked by the neutron scattering community for the past 20 years.


title: Using Meta-learning to Recommend Process Discovery Methods

abstract: Process discovery methods have obtained remarkable achievements in Process Mining, delivering comprehensible process models to enhance management capabilities. However, selecting the suitable method for a specific event log highly relies on human expertise, hindering its broad application. Solutions based on Meta-learning (MtL) have been promising for creating systems with reduced human assistance. This paper presents a MtL solution for recommending process discovery methods that maximize model quality according to complementary dimensions. Thanks to our MtL pipeline, it was possible to recommend a discovery method with 92% of accuracy using light-weight features that describe the event log. Our experimental analysis also provided significant insights on the importance of log features in generating recommendations, paving the way to a deeper understanding of the discovery algorithms.


title: Chain decompositions of q,t-Catalan numbers: tail extensions and flagpole partitions

abstract: This article is part of an ongoing investigation of the combinatorics of $q,t$-Catalan numbers $\textrm{Cat}_n(q,t)$. We develop a structure theory for integer partitions based on the partition statistics dinv, deficit, and minimum triangle height. Our goal is to decompose the infinite set of partitions of deficit $k$ into a disjoint union of chains $\mathcal{C}_{\mu}$ indexed by partitions of size $k$. Among other structural properties, these chains can be paired to give refinements of the famous symmetry property $\textrm{Cat}_n(q,t)=\textrm{Cat}_n(t,q)$. Previously, we introduced a map that builds the tail part of each chain $\mathcal{C}_{\mu}$. Our first main contribution here is to extend this map to construct larger second-order tails for each chain. Second, we introduce new classes of partitions called flagpole partitions and generalized flagpole partitions. Third, we describe a recursive construction for building the chain $\mathcal{C}_{\mu}$ for a (generalized) flagpole partition $\mu$, assuming that the chains indexed by certain specific smaller partitions (depending on $\mu$) are already known. We also give some enumerative and asymptotic results for flagpole partitions and their generalized versions.


title: Complex Factoid Question Answering with a Free-Text Knowledge Graph

abstract: We introduce DELFT, a factoid question answering system which combines the nuance and depth of knowledge graph question answering approaches with the broader coverage of free-text. DELFT builds a free-text knowledge graph from Wikipedia, with entities as nodes and sentences in which entities co-occur as edges. For each question, DELFT finds the subgraph linking question entity nodes to candidates using text sentences as edges, creating a dense and high coverage semantic graph. A novel graph neural network reasons over the free-text graph-combining evidence on the nodes via information along edge sentences-to select a final answer. Experiments on three question answering datasets show DELFT can answer entity-rich questions better than machine reading based models, bert-based answer ranking and memory networks. DELFT's advantage comes from both the high coverage of its free-text knowledge graph-more than double that of dbpedia relations-and the novel graph neural network which reasons on the rich but noisy free-text evidence.


title: Biases in orbit fitting of directly-imaged exoplanets with small orbital coverage

abstract: The eccentricity of a planet's orbit and the inclination of its orbital plane encode important information about its formation and history. However, exoplanets detected via direct-imaging are often only observed over a very small fraction of their period, making it challenging to perform reliable physical inferences given wide, unconstrained posteriors. The aim of this project is to investigate biases (deviation of the median and mode of the posterior from the true values of orbital parameters, and the width and coverage of their credible intervals) in the estimation of orbital parameters of directly-imaged exoplanets, particularly their eccentricities, and to define general guidelines to perform better estimations of uncertainty. For this, we constructed various orbits and generated mock data for each spanning $\sim 0.5 \%$ of the orbital period. We used the Orbits For The Impatient (OFTI) algorithm to compute orbit posteriors, and compared those to the true values of the orbital parameters. We found that the inclination of the orbital plane is the parameter that most affects our estimations of eccentricity, with orbits that appear near edge-on producing eccentricity distributions skewed away from the true values, and often bi-modal. We also identified a degeneracy between eccentricity and inclination that makes it difficult to distinguish posteriors of face-on, eccentric orbits and edge-on, circular orbits. For the exoplanet-imaging community, we propose practical recommendations, guidelines and warnings relevant to orbit-fitting.


title: Quantum walk-based search algorithms with multiple marked vertices

abstract: The quantum walk is a powerful tool to develop quantum algorithms, which usually are based on searching for a vertex in a graph with multiple marked vertices, Ambainis's quantum algorithm for solving the element distinctness problem being the most shining example. In this work, we address the problem of calculating analytical expressions of the time complexity of finding a marked vertex using quantum walk-based search algorithms with multiple marked vertices on arbitrary graphs, extending previous analytical methods based on Szegedy's quantum walk, which can be applied only to bipartite graphs. Two examples based on the coined quantum walk on two-dimensional lattices and hypercubes show the details of our method.