title: Automating Cryptographic Protocol Language Generation from Structured Specifications

abstract: Security of cryptographic protocols can be analysed by creating a model in a formal language and verifying the model in a tool. All such tools focus on the last part of the analysis, verification, and the interpretation of the specification is only explained in papers. Rather, we focus on the interpretation and modelling part by presenting a tool to aid the cryptographer throughout the process and automatically generating code in a target language. We adopt a data-centric approach where the protocol design is stored in a structured way rather than as textual specifications. Previous work shows how this approach facilitates the interpretation to a single language (for Tamarin) which required aftermath modifications. By improving the expressiveness of the specification data structure we extend the tool to export to an additional formal language, ProVerif, as well as a C++ fully running implementation. Furthermore, we extend the plugins to verify correctness in ProVerif and executability lemmas in Tamarin. In this paper we model the Diffie-Hellman key exchange, which is traditionally used as a case study; a demo is also provided for other commonly studied protocols, Needham- Schroeder and Needham-Schroeder-Lowe.


title: 3-OGC: Catalog of gravitational waves from compact-binary mergers

abstract: We present the third Open Gravitational-wave Catalog (3-OGC) of compact-binary coalescences, based on the analysis of the public LIGO and Virgo data from 2015 through 2019 (O1, O2, O3a). Our updated catalog includes a population of 57 observations, including four binary black hole mergers that had not previously been reported. This consists of 55 binary black hole mergers and the two binary neutron star mergers GW170817 and GW190425. We find no additional significant binary neutron star or neutron star--black hole merger events. The most confident new detection is the binary black hole merger GW190925\_232845 which was observed by the LIGO Hanford and Virgo observatories with $\mathcal{P}_{\textrm{astro}} > 0.99$; its primary and secondary component masses are $20.2^{+3.9}_{-2.5} M_{\odot}$ and $15.6^{+2.1}_{-2.6} M_{\odot}$, respectively. We estimate the parameters of all binary black hole events using an up-to-date waveform model that includes both sub-dominant harmonics and precession effects. To enable deep follow-up as our understanding of the underlying populations evolves, we make available our comprehensive catalog of events, including the sub-threshold population of candidates, and the posterior samples of our source parameter estimates.


title: Preconditioning for a pressure-robust HDG discretization of the Stokes equations

abstract: We introduce a new preconditioner for a recently developed pressure-robust hybridized discontinuous Galerkin (HDG) finite element discretization of the Stokes equations. A feature of HDG methods is the straightforward elimination of degrees-of-freedom defined on the interior of an element. In our previous work (J. Sci. Comput., 77(3):1936--1952, 2018) we introduced a preconditioner for the case in which only the degrees-of-freedom associated with the element velocity were eliminated via static condensation. In this work we introduce a preconditioner for the statically condensed system in which the element pressure degrees-of-freedom are also eliminated. In doing so the number of globally coupled degrees-of-freedom are reduced, but at the expense of a more difficult problem to analyse. We will show, however, that the Schur complement of the statically condensed system is spectrally equivalent to a simple trace pressure mass matrix. This result is used to formulate a new, provably optimal preconditioner. Through numerical examples in two- and three-dimensions we show that the new preconditioned iterative method converges in fewer iterations, has superior conservation properties for inexact solves, and is faster in CPU time when compared to our previous preconditioner.


title: Procedural animations in interactive art experiences -- A state of the art review

abstract: The state of the art review broadly oversees the use of novel research utilized in the creation of virtual environments applied in interactive art experiences, with a specific focus on the application of procedural animation in spatially augmented reality (SAR) exhibitions. These art exhibitions frequently combine sensory displays that appeal, replace, and augment the visual, auditory and touch or haptic senses. We analyze and break down art-technology related innovations in the last three years, and thoroughly identify the most recent and vibrant applications of interactive art experiences in the review of numerous installation applications, studies, and events. Display mediums such as virtual reality, augmented reality, mixed reality, and robotics are overviewed in the context of art experiences such as visual art museums, park or historic site tours, live concerts, and theatre. We explore research and extrapolate how recent innovations can lead to different applications that will be seen in the future.


title: Using four different online media sources to forecast the crude oil price

abstract: This study looks for signals of economic awareness on online social media and tests their significance in economic predictions. The study analyses, over a period of two years, the relationship between the West Texas Intermediate daily crude oil price and multiple predictors extracted from Twitter, Google Trends, Wikipedia, and the Global Data on Events, Language, and Tone database (GDELT). Semantic analysis is applied to study the sentiment, emotionality and complexity of the language used. Autoregressive Integrated Moving Average with Explanatory Variable (ARIMAX) models are used to make predictions and to confirm the value of the study variables. Results show that the combined analysis of the four media platforms carries valuable information in making financial forecasting. Twitter language complexity, GDELT number of articles and Wikipedia page reads have the highest predictive power. This study also allows a comparison of the different fore-sighting abilities of each platform, in terms of how many days ahead a platform can predict a price movement before it happens. In comparison with previous work, more media sources and more dimensions of the interaction and of the language used are combined in a joint analysis.


title: Probing the hadronic nature of the gamma-ray emission associated with Westerlund 2

abstract: Star-forming regions have been proposed as potential Galactic cosmic-ray accelerators for decades. Cosmic-ray acceleration can be probed through observations of gamma-rays produced in inelastic proton-proton collisions, at GeV and TeV energies. In this paper, we analyze more than 11 years of Fermi-LAT data from the direction of Westerlund 2, one of the most massive and best-studied star-forming regions in our Galaxy. In particular, we investigate the characteristics of the bright pulsar PSR J1023-5746 that dominates the gamma-ray emission below a few GeV at the position of Westerlund 2, and the underlying extended source FGES J1023.3-5747. The analysis results in a clear identification of FGES J1023.3-5747 as the GeV counterpart of the TeV source HESS J1023-575, through its morphological and spectral properties. This identification provides new clues about the origin of the HESS J1023-575 gamma-ray emission, favouring a hadronic origin of the emission, powered by Westerlund 2, rather than a leptonic origin related to either the pulsar wind nebula associated with PSR J1023-5746 or the cluster itself. This result indirectly supports the hypothesis that star-forming regions can contribute to the cosmic-ray sea observed in our Galaxy


title: Generalizable Person Re-identification with Relevance-aware Mixture of Experts

abstract: Domain generalizable (DG) person re-identification (ReID) is a challenging problem because we cannot access any unseen target domain data during training. Almost all the existing DG ReID methods follow the same pipeline where they use a hybrid dataset from multiple source domains for training, and then directly apply the trained model to the unseen target domains for testing. These methods often neglect individual source domains' discriminative characteristics and their relevances w.r.t. the unseen target domains, though both of which can be leveraged to help the model's generalization. To handle the above two issues, we propose a novel method called the relevance-aware mixture of experts (RaMoE), using an effective voting-based mixture mechanism to dynamically leverage source domains' diverse characteristics to improve the model's generalization. Specifically, we propose a decorrelation loss to make the source domain networks (experts) keep the diversity and discriminability of individual domains' characteristics. Besides, we design a voting network to adaptively integrate all the experts' features into the more generalizable aggregated features with domain relevance. Considering the target domains' invisibility during training, we propose a novel learning-to-learn algorithm combined with our relation alignment loss to update the voting network. Extensive experiments demonstrate that our proposed RaMoE outperforms the state-of-the-art methods.


title: Hunter in the Dark: Discover Anomalous Network Activity Using Deep Ensemble Network

abstract: Machine learning (ML)-based intrusion detection systems (IDSs) play a critical role in discovering unknown threats in a large-scale cyberspace. They have been adopted as a mainstream hunting method in many organizations, such as financial institutes, manufacturing companies and government agencies. However, existing designs achieve a high threat detection performance at the cost of a large number of false alarms, leading to alert fatigue. To tackle this issue, in this paper, we propose a neural-network-based defense mechanism named DarkHunter. DarkHunter incorporates both supervised learning and unsupervised learning in the design. It uses a deep ensemble network (trained through supervised learning) to detect anomalous network activities and exploits an unsupervised learning-based scheme to trim off mis-detection results. For each detected threat, DarkHunter can trace to its source and present the threat in its original traffic format. Our evaluations, based on the UNSW-NB15 dataset, show that DarkHunter outperforms the existing ML-based IDSs and is able to achieve a high detection accuracy while keeping a low false positive rate.


abstract: Recent advances in fluorescence microscopy techniques and tissue clearing, labeling, and staining provide unprecedented opportunities to investigate brain structure and function. These experiments' images make it possible to catalog brain cell types and define their location, morphology, and connectivity in a native context, leading to a better understanding of normal development and disease etiology. Consistent annotation of metadata is needed to provide the context necessary to understand, reuse, and integrate these data. This report describes an effort to establish metadata standards for 3D microscopy datasets for use by the Brain Research through Advancing Innovative Neurotechnologies (BRAIN) Initiative and the neuroscience research community. These standards were built on existing efforts and developed with input from the brain microscopy community to promote adoption. The resulting Essential Metadata for 3D BRAIN Microscopy includes 91 fields organized into seven categories: Contributors, Funders, Publication, Instrument, Dataset, Specimen, and Image. Adoption of these metadata standards will ensure that investigators receive credit for their work, promote data reuse, facilitate downstream analysis of shared data, and encourage collaboration.


title: Terahertz pulse-driven collective mode in the nematic superconducting state of Ba$_{1-x}$K$_x$Fe$_2$As$_2$

abstract: We investigate the iron-based superconductor Ba$_{1-x}$K$_x$Fe$_2$As$_2$ using intense terahertz (THz) light. In the superconducting state a THz Kerr signal is observed and assigned to non-linear THz coupling to superconducting degrees of freedom. The polarization dependence of the THz Kerr signal is remarkably sensitive to the coexistence of a nematic order. In the absence of nematic order the $C_4$ symmetric polarization dependence of the THz Kerr signal is consistent with a coupling to the Higgs amplitude mode of the superconducting condensate. In the coexisting nematic and superconducting state the signal becomes purely nematic with a vanishing $C_4$ symmetric component, signaling the emergence of a new superconducting collective mode activated by nematicity.


title: Automatic View Selection in Graph Databases

abstract: Recently, several works have studied the problem of view selection in graph databases. However, existing methods cannot fully exploit the graph properties of views, e.g., supergraph views and common subgraph views, which leads to a low view utility and duplicate view content. To address the problem, we propose an end-to-end graph view selection tool, G-View, which can judiciously generate a view set from a query workload by exploring the graph properties of candidate views and considering their efficacy. Specifically, given a graph query set and a space budget, G-View translates each query to a candidate view pattern and checks the query containment via a filtering-and-verification framework. G-View then selects the views using a graph gene algorithm (GGA), which relies on a three-phase framework that explores graph view transformations to reduce the view space and optimize the view benefit. Finally, G-View generates the extended graph views that persist all the edge-induced subgraphs to answer the subgraph and supergraph queries simultaneously. Extensive experiments on real-life and synthetic datasets demonstrated G-View achieved averagely 21x and 2x query performance speedup over two view-based methods while having 2x and 5x smaller space overhead, respectively. Moreover, the proposed selection algorithm, GGA, outperformed other selection methods in both effectiveness and efficiency.


title: Regular local rings of dimension four and Gorenstein syzygetic prime ideals

abstract: Let $R$ be a Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the Andr\'e-Quillen homology.


title: Isoparametric unfitted BDF -- Finite element method for PDEs on evolving domains

abstract: We propose a new discretization method for PDEs on moving domains in the setting of unfitted finite element methods, which is provably higher-order accurate in space and time. In the considered setting, the physical domain that evolves essentially arbitrarily through a time-independent computational background domain, is represented by a level set function. For the time discretization, the application of standard time stepping schemes that are based on finite difference approximations of the time derivative is not directly possible, as the degrees of freedom may get active or inactive across such a finite difference stencil in time. In [Lehrenfeld, Olshanskii. An Eulerian finite element method for PDEs in time-dependent domains. ESAIM: M2AN, 53:585--614, 2019] this problem is overcome by extending the discrete solution at every timestep to a sufficiently large neighborhood so that all the degrees of freedom that are relevant at the next time step stay active. But that paper focuses on low-order methods. We advance these results with introducing and analyzing realizable techniques for the extension to higher order. To obtain higher-order convergence in space and time, we combine the BDF time stepping with the isoparametric unfitted FEM. The latter has been used and analyzed for several stationary problems before. However, for moving domains the key ingredient in the method, the transformation of the underlying mesh, becomes time-dependent which gives rise to some technical issues. We treat these with special care, carry out an a priori error analysis and two numerical experiments.


title: High-Performance FPGA-based Accelerator for Bayesian Neural Networks

abstract: Neural networks (NNs) have demonstrated their potential in a wide range of applications such as image recognition, decision making or recommendation systems. However, standard NNs are unable to capture their model uncertainty which is crucial for many safety-critical applications including healthcare and autonomous vehicles. In comparison, Bayesian neural networks (BNNs) are able to express uncertainty in their prediction via a mathematical grounding. Nevertheless, BNNs have not been as widely used in industrial practice, mainly because of their expensive computational cost and limited hardware performance. This work proposes a novel FPGA-based hardware architecture to accelerate BNNs inferred through Monte Carlo Dropout. Compared with other state-of-the-art BNN accelerators, the proposed accelerator can achieve up to 4 times higher energy efficiency and 9 times better compute efficiency. Considering partial Bayesian inference, an automatic framework is proposed, which explores the trade-off between hardware and algorithmic performance. Extensive experiments are conducted to demonstrate that our proposed framework can effectively find the optimal points in the design space.


title: An Observational Study of a "Rosetta-Stone" Solar Eruption

abstract: This Letter reports observations of an event that connects all major classes of solar eruptions: those that erupt fully into the heliosphere versus those that fail and are confined to the Sun, and those that eject new flux into the heliosphere, in the form of a flux rope, versus those that eject only new plasma in the form of a jet. The event originated in a filament channel overlying a circular polarity inversion line (PIL) and occurred on 2013-03-20 during the extended decay phase of the active region designated NOAA 12488/12501. The event was especially well-observed by multiple spacecraft and exhibited the well-studied null-point topology. We analyze all aspects of the eruption using SDO AIA and HMI, STEREO-A EUVI, and SOHO LASCO imagery. One section of the filament undergoes a classic failed eruption with cool plasma subsequently draining onto the section that did not erupt, but a complex structured CME/jet is clearly observed by SOHO LASCO C2 shortly after the failed filament eruption. We describe in detail the slow buildup to eruption, the lack of an obvious trigger, and the immediate reappearance of the filament after the event. The unique mixture of major eruption properties observed during this event places severe constraints on the structure of the filament channel field and, consequently, on the possible eruption mechanism.


title: Evacuation Problem Under the Nuclear Leakage Accident

abstract: To handle the detrimental effects brought by leakage of radioactive gases at nuclear power station, we propose a bus based evacuation optimization problem. The proposed model incorporates the following four constraints, 1) the maximum dose of radiation per evacuee, 2) the limitation of bus capacity, 3) the number of evacuees at demand node (bus pickup stop), 4) evacuees balance at demand and shelter nodes, which is formulated as a mixed integer nonlinear programming (MINLP) problem. Then, to eliminate the difficulties of choosing a proper M value in Big-M method, a Big-M free method is employed to linearize the nonlinear terms of the MINLP problem. Finally, the resultant mixed integer linear program (MILP) problem is solvable with efficient commercial solvers such as CPLEX or Gurobi, which guarantees the optimal evacuation plan obtained. To evaluate the effectiveness of proposed evacuation model, we test our model on two different scenarios (a random one and a practical scenario). For both scenarios, our model attains executable evacuation plan within given 3600 seconds computation time.


title: Asymptotic Structure with vanishing cosmological constant

abstract: This is the first of two papers devoted to the asymptotic structure of space-time in the presence of a non-negative cosmological constant $\Lambda$. This first paper is concerned with the case of $\Lambda =0$. Our approach is fully based on the tidal nature of the gravitational field and therefore on the `tidal energies' built with the Weyl curvature. In particular, we use the (radiant) asymptotic supermomenta computed from the rescaled Weyl tensor at infinity to provide a novel characterisation of radiation escaping from, or entering into, the space-time. Our new criterion is easy to implement and shown to be fully equivalent to the classical one based on the news tensor. One of its virtues is that its formulation can be easily adapted to the case with $\Lambda>0$ covered in the second paper. We derive the general energy-momentum-loss formulae including the matter terms and all factors associated to the choices of arbitrary foliation and of super-translation. We also revisit and present a full reformulation of the traditional peeling behaviour with a neat geometrical construction that leads, in particular, to an asymptotic alignment of the supermomenta in accordance with the radiation criterion.


title: Asymptotic Structure with a positive cosmological constant

abstract: This is the second of two papers that study the asymptotic structure of space-times with a non-negative cosmological constant $\Lambda$. This paper deals with the case $\Lambda >0$. Our approach is founded on the `tidal energies' built with the Weyl curvature and, specifically, we use the asymptotic super-Poynting vector computed from the rescaled Bel-Robinson tensor at infinity to provide a covariant, gauge-invariant, criterion for the existence, or absence, of gravitational radiation at infinity. The fundamental idea we put forward is that the physical asymptotic properties are encoded in $(\scri,h_{ab},D_{ab})$, where the first element of the triplet is a 3-dimensional manifold, the second is a representative of a conformal class of Riemannian metrics on $\scri$, and the third element is a traceless symmetric tensor field on $\scri$. We similarly propose a no-incoming radiation criterion based also on the triplet $(\scri,h_{ab},D_{ab})$ and on radiant supermomenta deduced from the rescaled Bel-Robinson tensor too. We search for news tensors and argue that any news-like object must be associated to, and depends on, 2-dimensional cross-sections of $\scri$. We identify one component of news for every such cross-section and present a general strategy to find the second component. We also introduce the concept of equipped $\scri$, consider the limit $\Lambda\rightarrow 0$ and apply all our results to selected exact solutions of Einstein Field Equations. The full-length abstract is available in the paper.


title: A Riesz representation theorem for log-concave functions

abstract: The classic Riesz representation theorem characterizes all linear and increasing functionals on the space $C_{c}(X)$ of continuous compactly supported functions. A geometric version of this result, which characterizes all linear increasing functionals on the set of convex bodies in $\mathbb{R}^{n}$, was essentially known to Alexandrov. This was used by Alexandrov to prove the existence of mixed area measures in convex geometry. In this paper we characterize linear and increasing functionals on the class of log-concave functions on $\mathbb{R}^{n}$. Here "linear" means linear with respect to the natural addition on log-concave functions which is the sup-convolution. Equivalently, we characterize pointwise-linear and increasing functionals on the class of convex functions. For some choices of the exact class of functions we prove that there are no non-trivial such functionals. For another choice we obtain the expected analogue of the result for convex bodies. And most interestingly, for yet another choice we find a new unexpected family of such functionals. Finally, we explain the connection between our results and recent work done in convex geometry regarding the surface area measure of a log-concave functions. An application of our results in this direction is also given.


title: Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR

abstract: In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existing methods, (3) introduces approaches to proof obligation generalization that have never been used in the context of PDR, (4) compares the strengths of different methods from a theoretical point of view, and (5) intensively evaluates the methods on various benchmarks from hardware model checking as well as from AI planning.


title: Transverse instability and dynamics of nonlocal bright solitons

abstract: We study the transverse instability and dynamics of bright soliton stripes in two-dimensional nonlocal nonlinear media. Using a multiscale perturbation method, we derive analytically the first-order correction to the soliton shape, which features an exponential growth in time -- a signature of the transverse instability. The soliton's characteristic timescale associated with its exponential growth,is found to depend on the square root of the nonlocality parameter. This, in turn, highlights the nonlocality-induced suppression of the transverse instability. Our analytical predictions are corroborated by direct numerical simulations, with the analytical results being in good agreement with the numerical ones.


title: Random Forests as a viable method to select and discover high redshift quasars

abstract: We present a method of selecting quasars up to redshift $\approx$ 6 with random forests, a supervised machine learning method, applied to Pan-STARRS1 and WISE data. We find that, thanks to the increasing set of known quasars we can assemble a training set that enables supervised machine learning algorithms to become a competitive alternative to other methods up to this redshift. We present a candidate set for the redshift range 4.8 to 6.3 which includes the region around z = 5.5 where quasars are difficult to select due to photometric similarity to red and brown dwarfs. We demonstrate that under our survey restrictions we can reach a high completeness ($66 \pm 7 \%$ below redshift 5.6 / $83^{+6}_{-9}\%$ above redshift 5.6) while maintaining a high selection efficiency ($78^{+10}_{-8}\%$ / $94^{+5}_{-8}\%$). Our selection efficiency is estimated via a novel method based on the different distributions of quasars and contaminants on the sky. The final catalog of 515 candidates includes 225 known quasars. We predict the candidate catalog to contain an additional $148^{+41}_{-33}$ new quasars below redshift 5.6 and $45^{+5}_{-8}$ above and make the catalog publicly available. Spectroscopic follow-up observations of 37 candidates lead us to discover 20 new high redshift quasars (18 at $4.6\le z\le5.5$, 2 $z\sim5.7$). These observations are consistent with our predictions on efficiency. We argue that random forests can lead to higher completeness because our candidate set contains a number of objects that would be rejected by common color cuts, including one of the newly discovered redshift 5.7 quasars.


title: A stellar constraint on Eddington-inspired Born-Infeld gravity from cataclysmic variable binaries

abstract: Eddington-inspired Born-Infeld gravity is an important modification of Einstein's general relativity, which can give rise to non-singular cosmologies at the classical level, and avoid the end-stage singularity in a gravitational collapse process. In the Newtonian limit, this theory gives rise to a modified Poisson's equation, as a consequence of which stellar observables acquire model dependent corrections, compared to the ones computed in the low energy limit of general relativity. This can in turn be used to establish astrophysical constraints on the theory. Here, we obtain such a constraint using observational data from cataclysmic variable binaries. In particular, we consider the tidal disruption limit of the secondary star by a white dwarf primary. The Roche lobe filling condition of this secondary star is used to compute stellar observables in the modified gravity theory in a numerical scheme. These are then contrasted with the values obtained by using available data on these objects, via a Monte Carlo error progression method. This way, we are able to constrain the theory within $5\sigma$ confidence level.


title: Joule-Thomson expansion of Reissner-Nordstr\"om-Anti-de Sitter black holes with cloud of strings and quintessence

abstract: The Joule-Thomson expansion is studied for Reissner-Nordstr\"om-Anti-de Sitter black holes with cloud of strings and quintessence, as well as its thermodynamics. The cosmological constant is treated as thermodynamic pressure, whose conjugate variable is considered as the volume. The characteristics of the Joule-Thomson expansion are studied in four main aspects with the case of $\omega=-1$ and $\omega=-\frac{2}{3}$, including the Joule-Thomson coefficient, the inversion curves, the isenthalpic curves and the ratio between $T_{i}^{min}$ and $T_{c}$. The sign of the Joule-Thomson coefficient is possible for determining the occurrence of heating or cooling. The scattering point of the Joule-Thomson coefficient corresponds to the zero point of the Hawking temperature. Unlike the van der Waals fluids, the inversion curve is the dividing line between heating and cooling regions, above which the slope of the isenthalpic curve is positive and cooling occurs, and the cooling-heating critical point is more sensitive to $Q$. Concerning the ratio $\frac{T_{i}^{min}}{T_{c}}$, we calculate it separately in the cases where only the cloud of strings, only quintessence and both are present.


title: Particle motion around a static axially symmetric wormhole

abstract: We consider the properties of a static axially symmetric wormhole described by an exact solution of Einstein's field equations and investigate how we can distinguish such a hypothetical object from a black hole. To this aim, we explore the motion of test particles and photons in the wormhole's space-time and compare it with the particle dynamics in the well known space-times of Schwarzschild and Kerr black holes. We show that precise simultaneous measurement of test particle motion and photon motion may provide the means to distinguish the wormhole geometry from that of a black hole.


title: Stability of Respiratory-Like Droplets under Evaporation

abstract: Pathogens contained in airborne respiratory droplets have been seen to remain infectious for periods of time that depend on the ambient temperature and humidity. In particular, regarding the humidity, the empirically least favorable conditions for the survival of viral pathogens are found at intermediate humidities. However, the precise physico-chemical mechanisms that generate such least-favorable conditions are not understood yet. In this work, we analyze the evaporation dynamics of respiratory-like droplets in air, semi-levitating them on superhydrophobic substrates with minimal solid-liquid contact area. Our results reveal that, compared to pure water droplets, the salt dissolved in the droplets can significantly change the evaporation behaviour, especially for high humidities close to and above the deliquesence limit. Due to the hygroscopic properties of salt, water evaporation is inhibited once the salt concentration reaches a critical value that depends on the relative humidity. The salt concentration in a stable droplet reaches its maximum at around 75% relative humidity, generating conditions that might shorten the time in which pathogens remain infectious.


title: Deriving the PEE proposal from the Locking bit thread configuration

abstract: In the holographic framework, we argue that the partial entanglement entropy (PEE) can be explicitly interpreted as the component flow flux in a locking bit thread configuration. By applying the locking theorem of bit threads, and constructing a concrete locking scheme, we obtain a set of uniquely determined component flow fluxes from this viewpoint, and successfully derive the PEE proposal and its generalized version in the multipartite cases. Moreover, from this perspective of bit threads, we also present a coherent explanation for the coincidence between the BPE (balanced partial entanglement)/EWCS (entanglement wedge cross section) duality proposed recently and the EoP (entanglement of purification)/EWCS duality. We also discuss the issues implied by this coincident between the idea of the PEE and the picture of locking thread configuration.


title: Distributionally Constrained Black-Box Stochastic Gradient Estimation and Optimization

abstract: We consider stochastic gradient estimation using only black-box function evaluations, where the function argument lies within a probability simplex. This problem is motivated from gradient-descent optimization procedures in multiple applications in distributionally robust analysis and inverse model calibration involving decision variables that are probability distributions. We are especially interested in obtaining gradient estimators where one or few sample observations or simulation runs apply simultaneously to all directions. Conventional zeroth-order gradient schemes such as simultaneous perturbation face challenges as the required moment conditions that allow the "canceling" of higher-order biases cannot be satisfied without violating the simplex constraints. We investigate a new set of required conditions on the random perturbation generator, which leads us to a class of implementable gradient estimators using Dirichlet mixtures. We study the statistical properties of these estimators and their utility in constrained stochastic approximation, including both Frank-Wolfe and mirror descent update schemes. We demonstrate the effectiveness of our procedures and compare with benchmarks via several numerical examples.


title: Search for strongly interacting massive particles generating trackless jets in proton-proton collisions at $\sqrt{s} = $ 13 TeV

abstract: A search for dark matter in the form of strongly interacting massive particles (SIMPs) using the CMS detector at the LHC is presented. The SIMPs would be produced in pairs that manifest themselves as pairs of jets without tracks. The energy fraction of jets carried by charged particles is used as a key discriminator to suppress efficiently the large multijet background, and the remaining background is estimated directly from data. The search is performed using proton-proton collision data corresponding to an integrated luminosity of 16.1 fb$^{-1}$, collected with the CMS detector in 2016. No significant excess of events is observed above the expected background. For the simplified dark matter model under consideration, SIMPs with masses up to 100 GeV are excluded and further sensitivity is explored towards higher masses.


title: On Interpretation and Measurement of Soft Attributes for Recommendation

abstract: We address how to robustly interpret natural language refinements (or critiques) in recommender systems. In particular, in human-human recommendation settings people frequently use soft attributes to express preferences about items, including concepts like the originality of a movie plot, the noisiness of a venue, or the complexity of a recipe. While binary tagging is extensively studied in the context of recommender systems, soft attributes often involve subjective and contextual aspects, which cannot be captured reliably in this way, nor be represented as objective binary truth in a knowledge base. This also adds important considerations when measuring soft attribute ranking. We propose a more natural representation as personalized relative statements, rather than as absolute item properties. We present novel data collection techniques and evaluation approaches, and a new public dataset. We also propose a set of scoring approaches, from unsupervised to weakly supervised to fully supervised, as a step towards interpreting and acting upon soft attribute based critiques.


title: PPR10K: A Large-Scale Portrait Photo Retouching Dataset with Human-Region Mask and Group-Level Consistency

abstract: Different from general photo retouching tasks, portrait photo retouching (PPR), which aims to enhance the visual quality of a collection of flat-looking portrait photos, has its special and practical requirements such as human-region priority (HRP) and group-level consistency (GLC). HRP requires that more attention should be paid to human regions, while GLC requires that a group of portrait photos should be retouched to a consistent tone. Models trained on existing general photo retouching datasets, however, can hardly meet these requirements of PPR. To facilitate the research on this high-frequency task, we construct a large-scale PPR dataset, namely PPR10K, which is the first of its kind to our best knowledge. PPR10K contains $1, 681$ groups and $11, 161$ high-quality raw portrait photos in total. High-resolution segmentation masks of human regions are provided. Each raw photo is retouched by three experts, while they elaborately adjust each group of photos to have consistent tones. We define a set of objective measures to evaluate the performance of PPR and propose strategies to learn PPR models with good HRP and GLC performance. The constructed PPR10K dataset provides a good benchmark for studying automatic PPR methods, and experiments demonstrate that the proposed learning strategies are effective to improve the retouching performance. Datasets and codes are available: https://github.com/csjliang/PPR10K.


title: Effective results on the size and structure of sumsets

abstract: Let $A \subset \mathbb{Z}^d$ be a finite set. It is known that $NA$ has a particular size ($\vert NA\vert = P_A(N)$ for some $P_A(X) \in \mathbb{Q}[X]$) and structure (all of the lattice points in a cone other than certain exceptional sets), once $N$ is larger than some threshold. In this article we give the first effective upper bounds for this threshold for arbitrary $A$. Such explicit results were only previously known in the special cases when $d=1$, when the convex hull of $A$ is a simplex or when $\vert A\vert = d+2$, results which we improve.


title: Free Energy Node Embedding via Generalized Skip-gram with Negative Sampling

abstract: A widely established set of unsupervised node embedding methods can be interpreted as consisting of two distinctive steps: i) the definition of a similarity matrix based on the graph of interest followed by ii) an explicit or implicit factorization of such matrix. Inspired by this viewpoint, we propose improvements in both steps of the framework. On the one hand, we propose to encode node similarities based on the free energy distance, which interpolates between the shortest path and the commute time distances, thus, providing an additional degree of flexibility. On the other hand, we propose a matrix factorization method based on a loss function that generalizes that of the skip-gram model with negative sampling to arbitrary similarity matrices. Compared with factorizations based on the widely used $\ell_2$ loss, the proposed method can better preserve node pairs associated with higher similarity scores. Moreover, it can be easily implemented using advanced automatic differentiation toolkits and computed efficiently by leveraging GPU resources. Node clustering, node classification, and link prediction experiments on real-world datasets demonstrate the effectiveness of incorporating free-energy-based similarities as well as the proposed matrix factorization compared with state-of-the-art alternatives.


title: Non-blocking programmable delay line with minimal dead time and tens of picoseconds jitter

abstract: We report a non-blocking high-resolution digital delay line based on an asynchronous circuit design. Field programmable gate array logic primitives were used as a source of delay and optimally arranged using combinatorial optimization. This approach allows for an efficient trade-off of the resolution and a delay range together with minimized dead time operation. We demonstrate the method by implementing the delay line adjustable from 23 ns up to 1635 ns with a resolution of 10 ps. We present a detailed experimental characterization of the device focusing on thermal instability, timing jitter, and pulse spreading, which represent three main issues of the asynchronous design. We found a linear dependence of the delay on the temperature with the slope of 0.2 ps/K per a logic primitive. We measured the timing jitter of the delay to be in the range of 7 ps - 165 ps, linearly increasing over the dynamic range of the delay. We reduced the effect of pulse spreading by introducing pulse shrinking circuits, and reached the overall dead time of 4 ns - 22.5 ns within the dynamic range of the delay. The presented non-blocking delay line finds usage in applications where the dead time minimization is crucial, and tens of picoseconds excess jitter is acceptable, such as in many advanced photonic networks.


title: Equigeodesics on some classes of homogeneous spaces

abstract: We study homogeneous curves on some classes of reductive homogeneous spaces G=H which are geodesics with respect to any G-invariant metric on G=H. These curves are called equigeodesics. The spaces we consider are certain Stiefel manifolds VkRn, generalized Wallach spaces and spheres. We give a characterization for algebraic equigeodesics on V2Rn, V4R6, SO(6)= SO(3) ? SO(2), W6 = U(3)= U(1)3, W12 = Sp(3)= Sp(1)3, S2n+1 ?= U(n + 1)= U(n) and S4n+3 ?= Sp(n + 1)= Sp(n).


title: Stability of regularized Hastings-Levitov aggregation in the subcritical regime

abstract: We prove bulk scaling limits and fluctuation scaling limits for a two-parameter class ALE$(\alpha,\eta)$ of continuum planar aggregation models. The class includes regularized versions of the Hastings--Levitov family HL$(\alpha)$ and continuum versions of the family of dielectric breakdown models, where the local attachment intensity for new particles is specified as a negative power $-\eta$ of the density of arc length with respect to harmonic measure. The limit dynamics follow solutions of a certain Loewner--Kufarev equation, where the driving measure is made to depend on the solution and on the parameter $\zeta=\alpha+\eta$. Our results are subject to a subcriticality condition $\zeta\le1$: this includes HL$(\alpha)$ for $\alpha\le1$ and also the case $\alpha=2,\eta=-1$ corresponding to a continuum Eden model. Hastings and Levitov predicted a change in behaviour for HL$(\alpha)$ at $\alpha=1$, consistent with our results. In the regularized regime considered, the fluctuations around the scaling limit are shown to be Gaussian, with independent Ornstein--Uhlenbeck processes driving each Fourier mode, which are seen to be stable if and only if $\zeta\le1$.


title: Accidental Interaction in the Torsional Spectrum of Singly Deuterated Hydrogen Peroxide HOOD

abstract: We extended previously recorded infrared spectra of singly deuterated hydrogen peroxide (HOOD) to the submm-wavelength region and derived accurate molecular parameters and a semi-empirical equilibrium structure. In total, more than 1500 ro-torsional HOOD transitions have been assigned between 6 and 120 cm$^{-1}$. We succeeded to analyze the accidental interaction between the torsional sub-states by measuring several perturbed transitions. In addition to the set of Watsonian parameters for each tunneling component, only two interaction constants were required to describe the spectrum. The $K_a$- and $J$-dependance of the torsional splitting could be determined also for the perturbed states.


title: High performance and energy efficient inference for deep learning on ARM processors

abstract: We evolve PyDTNN, a framework for distributed parallel training of Deep Neural Networks (DNNs), into an efficient inference tool for convolutional neural networks. Our optimization process on multicore ARM processors involves several high-level transformations of the original framework, such as the development and integration of Cython routines to exploit thread-level parallelism; the design and development of micro-kernels for the matrix multiplication, vectorized with ARMs NEON intrinsics, that can accommodate layer fusion; and the appropriate selection of several cache configuration parameters tailored to the memory hierarchy of the target ARM processors. Our experiments evaluate both inference throughput (measured in processed images/s) and inference latency (i.e., time-to-response) as well as energy consumption per image when varying the level of thread parallelism and the processor power modes. The experiments with the new inference engine are reported for the ResNet50 v1.5 model on the ImageNet dataset from the MLPerf suite using the ARM v8.2 cores in the NVIDIA Jetson AGX Xavier board. These results show superior performance compared with the well-spread TFLite from Google and slightly inferior results when compared with ArmNN, the native library from ARM for DNN inference.


title: High-Resolution Photorealistic Image Translation in Real-Time: A Laplacian Pyramid Translation Network

abstract: Existing image-to-image translation (I2IT) methods are either constrained to low-resolution images or long inference time due to their heavy computational burden on the convolution of high-resolution feature maps. In this paper, we focus on speeding-up the high-resolution photorealistic I2IT tasks based on closed-form Laplacian pyramid decomposition and reconstruction. Specifically, we reveal that the attribute transformations, such as illumination and color manipulation, relate more to the low-frequency component, while the content details can be adaptively refined on high-frequency components. We consequently propose a Laplacian Pyramid Translation Network (LPTN) to simultaneously perform these two tasks, where we design a lightweight network for translating the low-frequency component with reduced resolution and a progressive masking strategy to efficiently refine the high-frequency ones. Our model avoids most of the heavy computation consumed by processing high-resolution feature maps and faithfully preserves the image details. Extensive experimental results on various tasks demonstrate that the proposed method can translate 4K images in real-time using one normal GPU while achieving comparable transformation performance against existing methods. Datasets and codes are available: https://github.com/csjliang/LPTN.


title: Optimization of inventory and capacity in large-scale assembly systems using extreme-value theory

abstract: High-tech systems are typically produced in two stages: 1) Production of components using specialized equipment and staff; 2) System assembly/integration. Component production capacity is subject to fluctuations, causing a high risk of shortages of at least one component, which results in costly delays. Companies hedge this risk by strategic investments in excess production capacity and in buffer inventories of components. To optimize these, it is crucial to characterize the relation between component shortage risk and capacity and inventory investments. We suppose that component production capacity and produce demand are normally distributed over finite time intervals, and we accordingly model the production system as a symmetric fork-join queueing network with $N$ statistically identical queues with a common arrival process and independent service processes. Assuming a symmetric cost structure, we subsequently apply extreme value theory to gain analytic insights into this optimization problem. We derive several new results for this queueing network, notably that the scaled maximum of $N$ steady-state queue lengths converges in distribution to a Gaussian random variable. These results translate into asymptotically optimal methods to dimension the system. Tests on a range of problems reveal that these methods typically work well for systems of moderate size.


title: Buchsbaumness and Castelnuovo-Mumford regularity of non-smooth monomial curves

abstract: Projective monomial curves correspond to rings generated by monomials of the same degree in two variables. Such rings always have finite Macaulayfication. We show how to characterize the Buchsbaumness and the Castelnuovo-Mumford regularity of these rings by means of their finite Macaulayfication, and we use this method to study the Buchsbaumness and to estimate the Castelnuovo-Mumford regularity of large classes of non-smooth monomial curves in terms of the given monomials.


title: Hybrid structural arrangements mediate stability and feasibility in mutualistic networks

abstract: Perhaps the largest debate in network Ecology, the emergence of structural patterns stands out as a multifaceted problem. To the methodological challenges -- pattern identification, statistical significance -- one has to add the relationship between candidate architectures and dynamical performance. In the case of mutualistic communities, the debate revolves mostly around two structural arrangements (nestedness and modularity) and two requirements for persistence, namely feasibility and stability. So far, it is clear that the former is strongly related to nestedness, while the latter is enhanced in modular systems. Adding to this, it has recently become clear that nestedness and modularity are antagonistic patterns -- or, at the very least, their coexistence in a single system is problematic. In this context, this work addresses the role of the interaction architecture in the emergence and maintenance of both properties, introducing the idea of hybrid architectural configurations. Specifically, we examine in-block nestedness, compound by disjoint subsets of species (modules) with internal nested organization, and prove that it grants a balanced trade-off between stability and feasibility. Remarkably, we analyze a large amount of empirical communities and find that a relevant fraction of them exhibits a marked in-block nested structure. We elaborate on the implications of these results, arguing that they provide new insights about the key properties ruling community assembly.


title: Thin accretion disks around rotating black holes in $4D$ Einstein-Gauss-Bonnet gravity

abstract: Recently, Kumar and Ghosh have derived Kerr-like rotating black hole solutions in the framework of four-dimensional Einstein-Gauss-Bonnet theory of gravity and investigated the black hole shadow. Using the steady-state Novikov-Thorne model, we study thin accretion disk processes for such rotating black holes including the energy flux, temperature distribution, emission spectrum, energy conversion efficiency as well as the radius of the innermost stable circular orbit. We also study the effects of the Gauss-Bonnet coupling parameter $\alpha$ on these quantities. The results are compared to slowly rotating relativistic Kerr black holes which show that for a positive Gauss-Bonnet coupling, thin accretion disks around rotating black holes in four-dimensional Einstein-Gauss-Bonnet gravity are hotter and more efficient than that for Kerr black holes with the same rotation parameter $a$, while for a negative coupling they are cooler and less efficient. Thus the accretion disk processes may be considered as tools for testing Einstein-Gauss-Bonnet gravity using astrophysical observations.


title: Covalent hadronic molecules induced by shared light quarks

abstract: After examining the Feynman diagrams corresponding to the $\bar D^{(*)} \Sigma_c^{(*)}$, $\bar D^{(*)} \Lambda_c$, $D^{(*)} \bar K^{*}$, and $D^{(*)} \bar D^{(*)}$ hadronic molecular states, we propose a possible binding mechanism induced by shared light quarks. This mechanism is similar to the covalent bond in chemical molecules induced by shared electrons. We use the method of QCD sum rules to calculate its corresponding light-quark-exchange diagrams, and the obtained results indicate a model-independent hypothesis: the light-quark-exchange interaction is attractive when the shared light quarks are totally antisymmetric so that obey the Pauli principle. We build a toy model with four parameters to formulize this picture, and estimate binding energies of some possibly-existing covalent hadronic molecules. A unique feature of this picture is that binding energies of the $(I)J^P = (0)1^+$ $D\bar B^*/D^* \bar B$ hadronic molecules are much larger than those of the $(I)J^P = (0)1^+$ $DD^*/\bar B \bar B^*$ ones, while the $(I)J^P = (1/2)1/2^+$ $\bar D \Sigma_c/\bar D \Sigma_b/B \Sigma_c/B \Sigma_b$ hadronic molecules have similar binding energies.


title: Minimum degree and the graph removal lemma

abstract: The clique removal lemma says that for every $r \geq 3$ and $\varepsilon>0$, there exists some $\delta>0$ so that every $n$-vertex graph $G$ with fewer than $\delta n^r$ copies of $K_r$ can be made $K_r$-free by removing at most $\varepsilon n^2$ edges. The dependence of $\delta$ on $\varepsilon$ in this result is notoriously difficult to determine: it is known that $\delta^{-1}$ must be at least super-polynomial in $\varepsilon^{-1}$, and that it is at most of tower type in $\log \varepsilon^{-1}$. We prove that if one imposes an appropriate minimum degree condition on $G$, then one can actually take $\delta$ to be a linear function of $\varepsilon$ in the clique removal lemma. Moreover, we determine the threshold for such a minimum degree requirement, showing that above this threshold we have linear bounds, whereas below the threshold the bounds are once again super-polynomial, as in the unrestricted removal lemma. We also investigate this question for other graphs besides cliques, and prove some general results about how minimum degree conditions affect the bounds in the graph removal lemma.


title: Topological Insulators: An in-depth Review of their Use in Modelocked Fiber Lasers

abstract: Topological Insulators (TIs) exhibit exciting optical properties, which opens up a new pathway to generate ultrashort pulses from fiber lasers. Layered TIs display distinct saturable absorption property due to excited state absorption, as compared to their bulk structures. Moreover, the electronic structures of the films of TIs depend on the thickness of the films due to the quantum confinement of the electrons. By virtue of this, the nanoparticles of TIs play a key role in all-fiber modelocked laser. By tweaking the crystal structures of TIs, it is possible to generate ultrashort pulses across the visible, near-infrared and mid-infrared wavelengths. Starting from the crystal structures and density of states calculations, how different topological insulators can be fabricated and integrated as an efficient passive saturable absorber in all-fiber modelocked lasers with the capability of producing fundamental to high-harmonic pulse generation are described clearly in this review report. Moreover, this report reviews the current state-of-art of TI-based saturable absorbers and their applications in different regimes of modelocked fiber lasers.


title: Power to Integral Forms

abstract: A novel reformulation of D=4, N=1 supergravity action in the language of integral forms is given. We illustrate the construction of the Berezinian in the supergeometric framework, providing a useful dictionary between mathematics and physics. We present a unified framework for Berezin-Lebesgue integrals for functions and for integral forms. As an application, we discuss Volkov-Akulov theory and its coupling to supergravity from this new perspective.


title: Uniform Embeddings for Robinson Similarity Matrices

abstract: A Robinson similarity matrix is a symmetric matrix where the entry values on all rows and columns increase toward the diagonal. Decompose the Robinson matrix into the sum of k {0, 1}-matrices, then these k {0, 1}-matrices are the adjacency matrices of a set of nested unit interval graphs. Previous studies show that unit interval graphs coincide with indifference graphs. An indifference graph has an embedding that maps each vertex to a real number, where two vertices are adjacent if their embedding is within a fixed threshold distance. In this thesis, consider k different threshold distances, we study the problem of finding an embedding that, simultaneously and with respect to each threshold distance, embeds the k indifference graphs corresponding to the k adjacency matrices. This is called a uniform embedding of a Robinson matrix with respect to the k threshold distances. We give a sufficient and necessary condition on Robinson matrices that have a uniform embedding, which is derived from paths in an associated graph. We also give an efficient combinatorial algorithm to find a uniform embedding or give proof that it does not exist, for the case where k = 2.


title: A Privacy-Preserving Approach to Extraction of Personal Information through Automatic Annotation and Federated Learning

abstract: We curated WikiPII, an automatically labeled dataset composed of Wikipedia biography pages, annotated for personal information extraction. Although automatic annotation can lead to a high degree of label noise, it is an inexpensive process and can generate large volumes of annotated documents. We trained a BERT-based NER model with WikiPII and showed that with an adequately large training dataset, the model can significantly decrease the cost of manual information extraction, despite the high level of label noise. In a similar approach, organizations can leverage text mining techniques to create customized annotated datasets from their historical data without sharing the raw data for human annotation. Also, we explore collaborative training of NER models through federated learning when the annotation is noisy. Our results suggest that depending on the level of trust to the ML operator and the volume of the available data, distributed training can be an effective way of training a personal information identifier in a privacy-preserved manner. Research material is available at https://github.com/ratmcu/wikipiifed.


title: Piecewise orthogonal collocation for computing periodic solutions of renewal equations

abstract: We extend the use of piecewise orthogonal collocation to computing periodic solutions of renewal equations, which are particularly important in modeling population dynamics. We prove convergence through a rigorous error analysis. Finally, we show some numerical experiments confirming the theoretical results, and a couple of applications in view of bifurcation analysis.


title: Linear-Scaling Selected Inversion based on Hierarchical Interpolative Factorization for Self Green's Function for Modified Poisson-Boltzmann Equation in Two Dimensions

abstract: This paper studies an efficient numerical method for solving modified Poisson-Boltzmann (MPB) equations with the self Green's function as a state equation to describe electrostatic correlations in ionic systems. Previously, the most expensive point of the MPB solver is the evaluation of Green's function. The evaluation of Green's function requires solving high-dimensional partial differential equations, which is the computational bottleneck for solving MPB equations. Numerically, the MPB solver only requires the evaluation of Green's function as the diagonal part of the inverse of the discrete elliptic differential operator of the Debye-H\"uckel equation. Therefore, we develop a fast algorithm by a coupling of the selected inversion and hierarchical interpolative factorization. By the interpolative factorization, our new selected inverse algorithm achieves linear scaling to compute the diagonal of the inverse of this discrete operator. The accuracy and efficiency of the proposed algorithm will be demonstrated by extensive numerical results for solving MPB equations.


title: Transition metal dichalcogenide dimer nano-antennas with ultra-small gaps

abstract: Transition metal dichalcogenides have emerged as promising materials for nano-photonic resonators due to their large refractive index, low absorption within a large portion of the visible spectrum and compatibility with a wide range of substrates. Here we use these properties to fabricate WS$_2$ double-pillar nano-antennas in a variety of geometries enabled by the anisotropy in the crystal structure. Using dark field spectroscopy, we reveal multiple Mie resonances, to which we couple WSe$_2$ monolayer photoluminescence and achieve Purcell enhancement and an increased fluorescence by factors up to 240. We introduce post-fabrication atomic force microscope repositioning and rotation of dimer nano-antennas, achieving gaps as small as 10$\pm$5 nm, opening the possibility to a host of potential applications including strong Purcell enhancement of single photon emitters and optical trapping, which we study in simulations. Our findings highlight the advantages of using transition metal dichalcogenides for nano-photonics by exploring new applications enabled by their unique properties.


title: Neighbourhood semantics for graded modal logic

abstract: We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable. We also obtain a new definition of graded bisimulation with respect to Kripke frames by modifying the definition of monotonic bisimulation.


title: Lorentz spaces and embeddings induced by almost greedy bases in superreflexive Banach spaces

abstract: The aim of this paper is to show that almost greedy bases induce tighter embeddings in superreflexive Banach spaces than in general Banach spaces. More specifically, we show that an almost greedy basis in a superreflexive Banach space $\mathbb{X}$ induces embeddings that allow squeezing $\mathbb{X}$ between two superreflexive Lorentz sequence spaces that are close to each other in the sense that they have the same fundamental function.


title: POINTREC: A Test Collection for Narrative-driven Point of Interest Recommendation

abstract: This paper presents a test collection for contextual point of interest (POI) recommendation in a narrative-driven scenario. There, user history is not available, instead, user requests are described in natural language. The requests in our collection are manually collected from social sharing websites, and are annotated with various types of metadata, including location, categories, constraints, and example POIs. These requests are to be resolved from a dataset of POIs, which are collected from a popular online directory, and are further linked to a geographical knowledge base and enriched with relevant web snippets. Graded relevance assessments are collected using crowdsourcing, by pooling both manual and automatic recommendations, where the latter serve as baselines for future performance comparison. This resource supports the development of novel approaches for end-to-end POI recommendation as well as for specific semantic annotation tasks on natural language requests.


title: Quantum secure data transfer with pulse shape encoded optical qubits

abstract: Quantum secure data transfer is an important topic for quantum cyber security. We propose a scheme to realize quantum secure data transfer in the basis of quantum secure direct communication (QSDC). In this proposal, the transmitted data is encoded in the pulse shape of a single optical qubit, which is emitted from a trapped atom owned by the sender and received by the receiver with another trapped atom. The encoding process can be implemented with high fidelity by controlling the time-dependent driving pulse on the trapped atom to manipulate the Rabi frequency in accordance with the target pulse shape of the emitted photons. In the receiving process, we prove that, the single photon can be absorbed with arbitrary probability by selecting appropriate driving pulse. We also show that, based on the QSDC protocol, the data transfer process is immune to the individual attacks.


title: Analysis and Stabilization of AC Line Synchronized Timing System for SuperKEKB

abstract: A timing system provides high-precision signals to allow the controls over a variety of hardware and software components in the accelerator complex. This is guaranteed by the radio frequency (RF) and trigger signal synchronization for subsystems such as klystrons, pulsed magnets, and beam monitors. The main trigger signal should be distributed throughout the facility and repeated at the beam repetition rate. This trigger signal is usually generated by the same phase of an AC power line to follow the source of the fluctuation of an electrical grid and reduce the unwanted variation of the beam quality. To fulfill the needs of the multi-accelerator facility at KEK, apart from the normal trigger synchronization and bucket selection injection control, a beam operation scheme called the pulse-to-pulse modulation is utilized; hence, the complexity of the timing system increases. Uncertainty in the system and a trigger signal delivery error caused by a drastic AC power line drift are observed. Further, the effort to establish a reliable timing system at KEK and several solutions to improve the system robustness are presented.


title: Tool- and Domain-Agnostic Parameterization of Style Transfer Effects Leveraging Pretrained Perceptual Metrics

abstract: Current deep learning techniques for style transfer would not be optimal for design support since their "one-shot" transfer does not fit exploratory design processes. To overcome this gap, we propose parametric transcription, which transcribes an end-to-end style transfer effect into parameter values of specific transformations available in an existing content editing tool. With this approach, users can imitate the style of a reference sample in the tool that they are familiar with and thus can easily continue further exploration by manipulating the parameters. To enable this, we introduce a framework that utilizes an existing pretrained model for style transfer to calculate a perceptual style distance to the reference sample and uses black-box optimization to find the parameters that minimize this distance. Our experiments with various third-party tools, such as Instagram and Blender, show that our framework can effectively leverage deep learning techniques for computational design support.


title: Forecasting managerial turnover through e-mail based social network analysis

abstract: In this study we propose a method based on e-mail social network analysis to compare the communication behavior of managers who voluntarily quit their job and managers who decide to stay. Collecting 18 months of e-mail, we analyzed the communication behavior of 866 managers, out of which 111 left a large global service company. We compared differences in communication patterns by computing social network metrics, such as betweenness and closeness centrality, and content analysis indicators, such as emotionality and complexity of the language used. To study the emergence of managers' disengagement, we made a distinction based on the period of e-mail data examined. We observed communications during months 5 and 4 before managers left, and found significant variations in both their network structure and use of language. Results indicate that on average managers who quit had lower closeness centrality and less engaged conversations. In addition, managers who chose to quit tended to shift their communication behavior starting from 5 months before leaving, by increasing their degree and closeness centrality, the complexity of their language, as well as their oscillations in betweenness centrality and the number of "nudges" they need to send to peers before getting an answer.


title: Indefinite nilsolitons and Einstein solvmanifolds

abstract: A nilsoliton is a nilpotent Lie algebra $\mathfrak{g}$ with a metric such that $\operatorname{Ric}=\lambda \operatorname{Id}+D$, with $D$ a derivation. For indefinite metrics, this determines four different geometries, according to whether $\lambda$ and $D$ are zero or not. We illustrate with examples the greater flexibility of the indefinite case compared to the Riemannian setting. We determine the algebraic properties that $D$ must satisfy when it is nonzero. For each of the four geometries, we show that under suitable assumptions it is possible to extend the nilsoliton metric to an Einstein solvmanifold of the form $\mathfrak{g}\rtimes \mathbb{R}^k$. Conversely, we introduce a large class of indefinite Einstein solvmanifolds of the form $\mathfrak{g}\rtimes \mathbb{R}^k$ that determine a nilsoliton metric on $\mathfrak{g}$ by restriction. We show with examples that, unlike in the Riemannian case, one cannot establish a correspondence between the full classes of Einstein solvmanifolds and nilsolitons.


title: Monte Carlo Investigation of the Ratios of Short-Lived Radioactive Isotopes in the Interstellar Medium

abstract: Short-lived radioactive nuclei (SLR) with mean lives below 100 Myr provide us with unique insights into current galactic nucleosynthetic events, as well as events that contributed to the material of our Solar System more that 4.6 Gyr ago. Here we present a statistical analysis of the ratios of these radioactive nuclei at the time of early Solar System (ESS) using both analytical derivations and Monte Carlo methods. We aim to understand the interplay between the production frequency and the mean lives of these isotopes, and its impact on their theoretically predicted ratios in the interstellar medium (ISM). We find that when the ratio of two SRLs, instead of the ratios of each single SLR relative to its stable or long-lived isotope, is considered, not only the uncertainties related to the galactic chemical evolution of the stable isotope are completely eliminated, but also the statistical uncertainties are much lower. We identify four ratios, 247Cm/129I, 107Pd/182Hf, 97Tc/98Tc, and 53Mn/97Tc, that have the potential to provide us with new insights into the r-, s-, and p-process nucleosynthesis at the time of the formation of the Sun, and need to be studied using variable stellar yields. Additionally, the latter two ratios need to be better determined in the ESS to allow us to fully exploit them to investigate the galactic sites of the p process.


title: First detection of CNO neutrinos with Borexino

abstract: Neutrinos are elementary particles which are known since many years as fundamental messengers from the interior of the Sun. The Standard Solar Model, which gives a theoretical description of all nuclear processes which happen in our star, predicts that roughly 99% of the energy produced is coming from a series of processes known as the "pp chain". Such processes have been studied in detail over the last years by means of neutrinos, thanks also to the important measurements provided by the Borexino experiment. The remaining 1% is instead predicted to come from a separate loop-process, known as the "CNO cycle". This sub-dominant process is theoretically well understood, but has so far escaped any direct observation. Another fundamental aspect is that the CNO cycle is indeed the main nuclear engine in stars more massive than the Sun. In 2020, thanks to the unprecedented radio-purity and temperature control achieved by the Borexino detector over recent years, the first ever detection of neutrinos from the CNO cycle has been finally announced. The milestone result confirms the existence of this nuclear fusion process in our Universe. Here, the details of the detector stabilization and the analysis techniques adopted are reported.


title: The small impact of various partial charge distributions in ground and excited state on the computational Stokes shift of 1-methyl-6-oxyquinolinium betaine in diverse water models

abstract: The influence of the partial charge distribution obtained from quantum mechanics of the solute 1-methyl-6-oxyquinolinium betaine in the ground- and first excited state on the time-dependent Stokes shift is studied via molecular dynamics computer simulation. Furthermore, the effect of the employed solvent model - here the non-polarizable SPC, TIP4P and TIP4P/2005 and the polarizable SWM4 water model - on the solvation dynamics of the system is investigated. The use of different functionals and calculation methods influences the partial charge distribution and the magnitude of the dipole moment of the solute, but not the orientation of the dipole moment. Simulations based on the calculated charge distributions show nearly the same relaxation behavior. Approximating the whole solute molecule by a dipole results in the same relaxation behavior, but lower solvation energies, indicating that the time scale of the Stokes shift does not depend on peculiarities of the solute. However, the SPC and TIP4P water models show too fast dynamics which can be ascribed to a too large diffusion coefficient and too low viscosity. The calculated diffusion coefficient and viscosity for the SWM4 and TIP4P/2005 model coincide well with experimental values and the corresponding relaxation behavior is comparable to experimental values. Furthermore we found that for a quantitative description of the Stokes shift of the applied system at least two solvation shells around the solute have to be taken into account.


title: Representative Methods of Computational Socioeconomics

abstract: The increasing data availability and imported analyzing tools from computer science and physical science have sharply changed traditional methodologies of social sciences, leading to a new branch named computational socioeconomics that studies various phenomena in socioeconomic development by using quantitative methods based on large-scale real-world data. Sited on recent publications, this Perspective will introduce three representative methods: (i) natural data analyses, (ii) large-scale online experiments, and (iii) integration of big data and surveys. This Perspective ends up with in-depth discussion on the limitations and challenges of the above-mentioned emerging methods.


title: Low-order divergence-free approximations for the Stokes problem on Worsey-Farin and Powell-Sabin splits

abstract: We derive low-order, inf-sup stable and divergence-free finite element approximations for the Stokes problem using Worsey-Farin splits in three dimensions and Powell-Sabin splits in two dimensions. The velocity space simply consists of continuous, piecewise linear polynomials, where as the pressure space is a subspace of piecewise constants with weak continuity properties at singular edges (3D) and singular vertices (2D). We discuss implementation aspects that arise when coding the pressure space, and in particular, show that the pressure constraints can be enforced at an algebraic level.


title: Geodesic complexity of homogeneous Riemannian manifolds

abstract: We study the geodesic motion planning problem for complete Riemannian manifolds and investigate their geodesic complexity, an integer-valued isometry invariant introduced by D. Recio-Mitter. Using methods from Riemannian geometry, we establish new lower and upper bounds on geodesic complexity and compute its value for certain classes of examples with a focus on homogeneous Riemannian manifolds. Methodically, we study properties of stratifications of cut loci and use results on their structures for certain homogeneous manifolds obtained by T. Sakai and others.


title: Transmission and generation of arbitrary W states via an optomechanical interface

abstract: We propose a universal and nontrivial scheme to transmit and generate an arbitrary W state for multiple cavities via an optomechanical interface. In transmission and generation processes, high fidelity can be obtained by optimizing the time-dependent coupling strengths between the cavities and the mechanical resonator. With a group of optimal couplings, an arbitrary entangled W state in the multipartite system can be mapped to the pulse shape of a single photon and transmitted out of the system. In the time reversal process, an arbitrary W state can be generated with an incident single photon with certain pulse shape. The functions of the optimal couplings, which are used for both transmission and generation processes, only depend on the parameters of the system, which does not change with the arbitrary entangled W states and the pulse shape of the single photons.


title: Approximation Algorithms For The Euclidean Dispersion Problems

abstract: In this article, we consider the Euclidean dispersion problems. Let $P=\{p_{1}, p_{2}, \ldots, p_{n}\}$ be a set of $n$ points in $\mathbb{R}^2$. For each point $p \in P$ and $S \subseteq P$, we define $cost_{\gamma}(p,S)$ as the sum of Euclidean distance from $p$ to the nearest $\gamma $ point in $S \setminus \{p\}$. We define $cost_{\gamma}(S)=\min_{p \in S}\{cost_{\gamma}(p,S)\}$ for $S \subseteq P$. In the $\gamma$-dispersion problem, a set $P$ of $n$ points in $\mathbb{R}^2$ and a positive integer $k \in [\gamma+1,n]$ are given. The objective is to find a subset $S\subseteq P$ of size $k$ such that $cost_{\gamma}(S)$ is maximized. We consider both $2$-dispersion and $1$-dispersion problem in $\mathbb{R}^2$. Along with these, we also consider $2$-dispersion problem when points are placed on a line. In this paper, we propose a simple polynomial time $(2\sqrt 3 + \epsilon )$-factor approximation algorithm for the $2$-dispersion problem, for any $\epsilon > 0$, which is an improvement over the best known approximation factor $4\sqrt3$ [Amano, K. and Nakano, S. I., An approximation algorithm for the $2$-dispersion problem, IEICE Transactions on Information and Systems, Vol. 103(3), pp. 506-508, 2020]. Next, we develop a common framework for designing an approximation algorithm for the Euclidean dispersion problem. With this common framework, we improve the approximation factor to $2\sqrt 3$ for the $2$-dispersion problem in $\mathbb{R}^2$. Using the same framework, we propose a polynomial time algorithm, which returns an optimal solution for the $2$-dispersion problem when points are placed on a line. Moreover, to show the effectiveness of the framework, we also propose a $2$-factor approximation algorithm for the $1$-dispersion problem in $\mathbb{R}^2$.


title: Energy derivatives in real-space diffusion Monte Carlo

abstract: We present unbiased, finite--variance estimators of energy derivatives for real--space diffusion Monte Carlo calculations within the fixed--node approximation. The derivative $d_\lambda E$ is fully consistent with the dependence $E(\lambda)$ of the energy computed with the same time step. We address the issue of the divergent variance of derivatives related to variations of the nodes of the wave function, both by using a regularization for wave function parameter gradients recently proposed in variational Monte Carlo, and by introducing a regularization based on a coordinate transformation. The essence of the divergent variance problem is distilled into a particle-in-a-box toy model, where we demonstrate the algorithm.


title: The wave equation with acoustic boundary conditions on non-locally reacting surfaces

abstract: The aim of the paper is to study the problem $u_{tt}-c^2\Delta u=0$ in $\mathbb{R}\times\Omega$, $\mu v_{tt}- \text{div}_\Gamma (\sigma \nabla_\Gamma v)+\delta v_t+\kappa v+\rho u_t =0$ on $\mathbb{R}\times \Gamma_1$, $v_t =\partial_\nu u$ on $\mathbb{R}\times \Gamma_1$,$\partial_\nu u=0$ on $\mathbb{R}\times \Gamma_0$, $u(0,x)=u_0(x)$ and $u_t(0,x)=u_1(x)$ in $\Omega$, $v(0,x)=v_0(x)$ and $v_t(0,x)=v_1(x)$ on $\Gamma_1$, where $\Omega$ is a open domain of $\mathbb{R}^N$ with uniformly $C^r$ boundary ($N\ge 2$, $r\ge 1$), $\Gamma=\partial\Omega$, $(\Gamma_0,\Gamma_1)$ is a relatively open partition of $\Gamma$ with $\Gamma_0$ (but not $\Gamma_1$) possibly empty. Here $\text{div}_\Gamma$ and $\nabla_\Gamma$ denote the Riemannian divergence and gradient operators on $\Gamma$, $\nu$ is the outward normal to $\Omega$, the coefficients $\mu,\sigma,\delta, \kappa, \rho$ are suitably regular functions on $\Gamma_1$ with $\rho,\sigma$ and $\mu$ uniformly positive while $c$ is a positive constant. This problem have been proposed long time ago by Beale and Rosencrans, when $N=3$, $\sigma=0$, $r=\infty$, $\rho$ is constant, $\kappa,\delta\ge 0$, to model acoustic wave propagation with locally reacting boundary. In this paper we first study well-posedness in the natural energy space and give regularity results. Hence we give precise qualitative results for solutions when $\Omega$ is bounded and $r=2$, $\rho$ is constant, $\kappa,\delta\ge 0$. These results motivate a detailed discussion of the derivation of the problem in Theoretical Acoustics and the consequent proposal of adding to the model the integral condition $\int_\Omega u_t=c^2\int_{\Gamma_1}v$.


title: Joint Calibrationless Reconstruction and Segmentation of Parallel MRI

abstract: The volume estimation of brain regions from MRI data is a key problem in many clinical applications, where the acquisition of data at high spatial resolution is desirable. While parallel MRI and constrained image reconstruction algorithms can accelerate the scans, image reconstruction artifacts are inevitable, especially at high acceleration factors. We introduce a novel image domain deep-learning framework for calibrationless parallel MRI reconstruction, coupled with a segmentation network to improve image quality and to reduce the vulnerability of current segmentation algorithms to image artifacts resulting from acceleration. The combination of the proposed image domain deep calibrationless approach with the segmentation algorithm offers improved image quality, while increasing the accuracy of the segmentations. The novel architecture with an encoder shared between the reconstruction and segmentation tasks is seen to reduce the need for segmented training datasets. In particular, the proposed few-shot training strategy requires only 10% of segmented datasets to offer good performance.


title: Program Synthesis as Dependency Quantified Formula Modulo Theory

abstract: Given a specification $\varphi(X,Y)$ over inputs $X$ and output $Y$, defined over a background theory $\mathbb{T}$, the problem of program synthesis is to design a program $f$ such that $Y=f(X)$ satisfies the specification $\varphi$. Over the past decade, syntax-guided synthesis (SyGuS) has emerged as a dominant approach for program synthesis where in addition to the specification $\varphi$, the end-user also specifies a grammar $L$ to aid the underlying synthesis engine. This paper investigates the feasibility of synthesis techniques without grammar, a sub-class defined as $\mathbb{T}$-constrained synthesis. We show that $\mathbb{T}$-constrained synthesis can be reduced to DQF($\mathbb{T}$), i.e., to the problem of finding a witness of a Dependency Quantified Formula Modulo Theory. When the underlying theory is the theory of bitvectors, the corresponding DQF(BV) problem can be further reduced to Dependency Quantified Boolean Formulas (DQBF). We rely on the progress in DQBF solving to design DQBF-based synthesizers that outperform the domain-specific program synthesis techniques, thereby positioning DQBF as a core representation language for program synthesis. Our empirical analysis shows that $\mathbb{T}$-constrained synthesis can achieve significantly better performance than syntax-guided approaches. Furthermore, the general-purpose DQBF solvers perform on par with domain-specific synthesis techniques.


title: More Similar Values, More Trust? -- the Effect of Value Similarity on Trust in Human-Agent Interaction

abstract: As AI systems are increasingly involved in decision making, it also becomes important that they elicit appropriate levels of trust from their users. To achieve this, it is first important to understand which factors influence trust in AI. We identify that a research gap exists regarding the role of personal values in trust in AI. Therefore, this paper studies how human and agent Value Similarity (VS) influences a human's trust in that agent. To explore this, 89 participants teamed up with five different agents, which were designed with varying levels of value similarity to that of the participants. In a within-subjects, scenario-based experiment, agents gave suggestions on what to do when entering the building to save a hostage. We analyzed the agent's scores on subjective value similarity, trust and qualitative data from open-ended questions. Our results show that agents rated as having more similar values also scored higher on trust, indicating a positive effect between the two. With this result, we add to the existing understanding of human-agent trust by providing insight into the role of value-similarity.


title: Improving Adaptive Seamless Designs through Bayesian optimization

abstract: We propose to use Bayesian optimization (BO) to improve the efficiency of the design selection process in clinical trials. BO is a method to optimize expensive black-box functions, by using a regression as a surrogate to guide the search. In clinical trials, planning test procedures and sample sizes is a crucial task. A common goal is to maximize the test power, given a set of treatments, corresponding effect sizes, and a total number of samples. From a wide range of possible designs we aim to select the best one in a short time to allow quick decisions. The standard approach to simulate the power for each single design can become too time-consuming. When the number of possible designs becomes very large, either large computational resources are required or an exhaustive exploration of all possible designs takes too long. Here, we propose to use BO to quickly find a clinical trial design with high power from a large number of candidate designs. We demonstrate the effectiveness of our approach by optimizing the power of adaptive seamless designs for different sets of treatment effect sizes. Comparing BO with an exhaustive evaluation of all candidate designs shows that BO finds competitive designs in a fraction of the time.


title: Prime group graded rings with applications to partial crossed products and Leavitt path algebras

abstract: In this article we generalize a classical result by Passman on primeness of unital strongly group graded rings to the class of nearly epsilon-strongly group graded rings which are not necessarily unital. Using this result, we obtain (i) a characterization of prime $s$-unital strongly group graded rings, and, in particular, of infinite matrix rings and of group rings over $s$-unital rings, thereby generalizing a well-known result by Connell; (ii) characterizations of prime $s$-unital partial skew group rings and of prime unital partial crossed products; (iii) a generalization of the well-known characterizations of prime Leavitt path algebras, by Larki and by Abrams-Bell-Rangaswamy.


title: High sensitivity characterization of an ultra-high purity NaI(Tl) crystal scintillator with the SABRE proof-of-principle detector

abstract: We present new results on the radiopurity of a 3.4-kg NaI(Tl) crystal scintillator operated in the SABRE proof-of-principle detector setup. The amount of potassium contamination, determined by the direct counting of radioactive $^{40}$K, is found to be $2.2\pm1.5$ ppb, lowest ever achieved for NaI(Tl) crystals. With the active veto, the average background rate in the crystal in the 1-6 keV energy region-of-interest (ROI) is $1.20\pm0.05$ counts/day/kg/keV, which is a breakthrough since the DAMA/LIBRA experiment. Our background model indicates that the rate is dominated by $^{210}$Pb and that about half of this contamination is located in the PTFE reflector. We discuss ongoing developments of the crystal manufacture aimed at the further reduction of the background, including data from purification by zone refining. A projected background rate lower than $\sim$0.2 counts/day/kg/keV in the ROI is within reach. These results represent a benchmark for the development of next-generation NaI(Tl) detector arrays for the direct detection of dark matter particles.


title: Detection of Emotions in Hindi-English Code Mixed Text Data

abstract: In recent times, we have seen an increased use of text chat for communication on social networks and smartphones. This particularly involves the use of Hindi-English code-mixed text which contains words which are not recognized in English vocabulary. We have worked on detecting emotions in these mixed data and classify the sentences in human emotions which are angry, fear, happy or sad. We have used state of the art natural language processing models and compared their performance on the dataset comprising sentences in this mixed data. The dataset was collected and annotated from sources and then used to train the models.


title: Radiation-induced magnetoresistance oscillations with massive Dirac fermions

abstract: We report on a theoretical study on the rise of radiation-induced magnetoresistance oscillations in two-dimensional systems of massive Dirac fermions. We study the bilayer system of monolayer graphene and hexagonal boron nitride (h-BN/graphene) and the trilayer system of hexagonal boron nitride encapsulated graphene (h-BN/graphene/h-BN). We extend the radiation-driven electron orbit model that was previously devised to study the same oscillations in two-dimensional systems of Schr\"odinger electrons (GaAs/AlGaAS heterostructure) to the case of massive Dirac fermions. In the simulations we obtain clear oscillations for radiation frequencies in the terahertz and far-infrared bands. %which contrasts with the two-dimensional Schrodinger electrons case, %that are mainly sensitive to microwave frequencies. We investigate also the power and temperatures dependence. For the former we obtain similar results as for Schr\"odinger electrons and predict the rise of zero resistance states. For the latter we obtain a similar qualitatively dependence but quantitatively different when increasing temperature. While in GaAs the oscillations are wiped out in a few degrees, interestingly enough, for massive Dirac fermions, we obtain observable oscillations for temperatures above $100$ K and even at room temperature for the higher frequencies used in the simulations.


title: A Stochastic Adaptive Dynamics Model for Bacterial Populations with Mutation, Dormancy and Transfer

abstract: This paper introduces a stochastic adaptive dynamics model for the interplay of several crucial traits and mechanisms in bacterial evolution, namely dormancy, horizontal gene transfer (HGT), mutation and competition. In particular, it combines the recent model of Champagnat, M\'el\'eard and Tran (2021) involving HGT with the model for competition-induced dormancy of Blath and T\'obi\'as (2020). Our main result is a convergence theorem which describes the evolution of the different traits in the population on a `doubly logarithmic scale' as piece-wise affine functions. Interestingly, even for a relatively small trait space, the limiting process exhibits a non-monotone dependence of the success of the dormancy trait on the dormancy initiation probability. Further, the model establishes a new `approximate coexistence regime' for multiple traits that has not been observed in previous literature.


title: The Pollution-Routing Problem with Speed Optimization and Uneven Topography

abstract: This paper considers a joint pollution-routing and speed optimization problem (PRP-SO) where fuel costs and $\textit{CO}_2e$ emissions depend on the vehicle speed, arc payloads, and road grades. We present two methods, one approximate and one exact, for solving the PRP-SO. The approximate strategy solves large-scale instances of the problem with a tabu search-based metaheuristic coupled with an efficient fixed-sequence speed optimization algorithm. The second strategy consists of a tailored branch-and-price (BP) algorithm in which speed optimization is managed within the pricing problem. We test both methods on modified Solomon benchmarks and newly constructed real-life instance sets. Our BP algorithm solves most instances with up to 50 customers and many instances with 75 and 100 customers. The heuristic is able to find near-optimal solutions to all instances and requires less than one minute of computational time per instance. Results on real-world instances suggest several managerial insights. First, fuel savings of up to 53\% are realized when explicitly taking into account arc payloads and road grades. Second, fuel savings and emissions reduction are also achieved by scheduling uphill customers later along the routes. Lastly, we show that ignoring elevation information when planning routes leads to highly inaccurate fuel consumption estimates.


title: Airborne Urban Microcells with Grasping End Effectors: A Game Changer for 6G Networks?

abstract: Airborne (or flying) base stations (ABSs) embedded on drones or unmanned aerial vehicles (UAVs) can be deemed as a central element of envisioned 6G cellular networks where significant cell densification with mmWave/Terahertz communications will be part of the ecosystem. Nonetheless, one of the key challenges facing the deployment of ABSs is the inherent limited available energy of the drone, which limits the hovering time for serving ground users to the orders of minutes. This impediment deteriorate the performance of the UAV-enabled cellular network and hinders wide adoption and use of the technology. In this paper, we propose robotic airborne base stations (RABSs) with grasping capabilities to increase the serving time of ground users by multiple orders of magnitude compared to nominal hovering based operation. More specifically, to perform the grasping task, the RABS is equipped with a versatile, albeit, general purpose gripper manipulator. Depending on the type of the gripper RABS can provide service in the range of hours, compared to minutes of hovering based ABSs. In theory it is possible that grasping can be energy neutral, hence the time of service can be bounded by the communications energy consumption. To illustrate the case, energy consumption comparison between hovering and grasping is performed in order to reveal the significant benefits of the proposed approach. Finally, overarching challenges, design considerations for RABS, and future avenues of research are outlined to realize the full potential of the proposed robotic aerial base stations.


title: On Cosymplectic Conformal Connections

abstract: The aim of this paper is to introduce a cosymplectic analouge of conformal connection in a cosymplectic manifold and proved that if cosymplectic manifold M admits a cosymplectic conformal connection which is of zero curvature, then the Bochner curvature tensor of M vanishes.


title: Diffusion Approximations for Thompson Sampling

abstract: We study the behavior of Thompson sampling from the perspective of weak convergence. In the regime where the gaps between arm means scale as $1/\sqrt{n}$ with the time horizon $n$, we show that the dynamics of Thompson sampling evolve according to discrete versions of SDEs and random ODEs. As $n \to \infty$, we show that the dynamics converge weakly to solutions of the corresponding SDEs and random ODEs. (Recently, Wager and Xu (arXiv:2101.09855) independently proposed this regime and developed similar SDE and random ODE approximations for Thompson sampling in the multi-armed bandit setting.) Our weak convergence theory, which covers both multi-armed and linear bandit settings, is developed from first principles using the Continuous Mapping Theorem and can be directly adapted to analyze other sampling-based bandit algorithms, for example, algorithms using the bootstrap for exploration. We also establish an invariance principle for multi-armed bandits with gaps scaling as $1/\sqrt{n}$ -- for Thompson sampling and related algorithms involving posterior approximation or the bootstrap, the weak diffusion limits are in general the same regardless of the specifics of the reward distributions or the choice of prior. In particular, as suggested by the classical Bernstein-von Mises normal approximation for posterior distributions, the weak diffusion limits generally coincide with the limit for normally-distributed rewards and priors.


title: Symmetry energy at high densities from neutron/proton flow excitation functions

abstract: Determination of the high density behavior of the symmetry energy through the simultaneous measurement of elliptic flow excitation functions of neutrons, protons and light clusters is proposed. The elliptic flow developed in relativistic heavy ion collisions has been proven theoretically and experimentally to have a unique sensitivity and robustness in probing the symmetry energy up to around $2 \rho_{o}$. The knowledge of the density dependence of the symmetry energy in a broad range of densities will provide a missing link for astrophysical predictions of the neutron star mass--radius relation. In particular, the data colud provide tighter constraints on the slope parameter L and entirely new limits on $K_{sym}$, the currently poorly constrained symmetry energy curvature parameter.


title: Definability of henselian valuations by conditions on the value group

abstract: Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for a $t$-henselian non-henselian ordered field elementarily equivalent to a henselian field with a specified value group.


title: Retrieval-Augmented Transformer-XL for Close-Domain Dialog Generation

abstract: Transformer-based models have demonstrated excellent capabilities of capturing patterns and structures in natural language generation and achieved state-of-the-art results in many tasks. In this paper we present a transformer-based model for multi-turn dialog response generation. Our solution is based on a hybrid approach which augments a transformer-based generative model with a novel retrieval mechanism, which leverages the memorized information in the training data via k-Nearest Neighbor search. Our system is evaluated on two datasets made by customer/assistant dialogs: the Taskmaster-1, released by Google and holding high quality, goal-oriented conversational data and a proprietary dataset collected from a real customer service call center. Both achieve better BLEU scores over strong baselines.